现在给出球极坐标量化器的一个重要性质,利用这个性质可以简化系统稳定性的分析。先给出一个引理。
引理2.1
[
r θ
1
θ
2
…
θ
d
-2
θ
d
-1
]
T
和
分别表示
X
,
Y
∈R
d
的球极坐标,则有
这里‖·‖ 2 表示向量的2范数。
证明: 用 d -1个球极坐标
分别表示 d -1个点 Z 1 , Z 2 ,…, Z d -1 ∈R d ,则有
|| Y-X || 2 ≤|| Y-Z 1 || 2 +|| Z 1 -Z 2 || 2 +…+|| Z d -2 -Z d -1 || 2 +|| Z d -1 -X || 2
并且
为估计|| Z 1 -Z 2 || 2 ,考虑连接点 Z 1 和 Z 2 的弧 γ :
这里,参数
ψ
在
θ
1
和
之间变化。显然
|| Z 1 -Z 2 || 2 ≤length( γ )
进一步注意到
则有
因此有
类似地,得到其他的估计,这样就完成证明。
图2-4为引理2.1的图示。
图2-4 引理2.1的图示
定理2.1 对于量化器( L,N,a,M )、编码映射 q 和解码映射 h ,任意的量化误差满足
证明:
由于
,所以
X
位于由(
i,j
1
,
j
2
,…,
j
d
-2
,
s
)索引的量化块内(见定义2.1)。
X
的球极坐标[
r θ
1
θ
2
…
θ
d
-2
θ
d
-1
]
T
满足
则 X 的量化值 h ( q ( X ))为
注意到 r =|| X || 2 ,由引理2.1可得
注解2.1
由定理2.1,在
中被量化的数据
X
和对应的量化误差
h
(
q
(
X
))
-X
之间的关系很自然地反映了一个直觉概念:当||
X
||
2
趋于0时,量化器的分辨率变得精细;反之,当||
X
||
2
远离0时,量化器的分辨率变得粗糙。
注解2.2 为获得有限码率,包含原点的最小球 S 1 ( k )被看作一个量化块,不再被分割。