3所示。Hartley-Hilbert变换的商
让<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
/米米l:mo>
δ米米l:mi>
n米米l:mi>
∈米米l:mo>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
Δ米米l:mi>
;然后我们定义的扩展Hartley-Hilbert变换<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
/米米l:mo>
δ米米l:mi>
n米米l:mi>
作为
(22)米米l:mtext>
ϕ米米l:mi>
n米米l:mi>
δ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
ϕ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
δ米米l:mi>
n米米l:mi>
,米米l:mo>
在商空间<我nline-formula>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
*米米l:mi>
,米米l:mo>
Δ米米l:mi>
。
定理6。
操作员<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
/米米l:mo>
δ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
是定义良好的和线性的<我nline-formula>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
Δ米米l:mi>
成<我nline-formula>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
*米米l:mi>
,米米l:mo>
Δ米米l:mi>
。
证明。
我们表明,<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
/米米l:mo>
δ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
是定义良好的。
让<我nline-formula>
ψ米米l:mi>
n米米l:mi>
/米米l:mo>
μ米米l:mi>
n米米l:mi>
=米米l:mo>
ξ米米l:mi>
n米米l:mi>
/米米l:mo>
ϵ米米l:mi>
n米米l:mi>
在<我nline-formula>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
Δ米米l:mi>
;然后,通过商空间的概念<我nline-formula>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
Δ米米l:mi>
我们有
(23)米米l:mtext>
ψ米米l:mi>
n米米l:mi>
⊛米米l:mo>
ϵ米米l:mi>
米米米l:mi>
=米米l:mo>
ξ米米l:mi>
米米米l:mi>
⊛米米l:mo>
μ米米l:mi>
n米米l:mi>
。米米l:mo>
因此,通过定理
1gydF4y2Ba我们从(
23),
(24)米米l:mtext>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
*米米l:mi>
ϵ米米l:mi>
米米米l:mi>
=米米l:mo>
ξ米米l:mi>
米米米l:mi>
h米米l:mi>
h米米l:mi>
*米米l:mi>
μ米米l:mi>
n米米l:mi>
。米米l:mo>
因此,从(
24),gydF4y2Ba它遵循
(25)米米l:mtext>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
μ米米l:mi>
n米米l:mi>
~米米l:mo>
ξ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
ϵ米米l:mi>
n米米l:mi>
,米米l:mo>
在<我nline-formula>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
*米米l:mi>
,米米l:mo>
Δ米米l:mi>
。
因此,
(26)米米l:mtext>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
μ米米l:mi>
n米米l:mi>
=米米l:mo>
ξ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
ϵ米米l:mi>
n米米l:mi>
,米米l:mo>
在<我nline-formula>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
*米米l:mi>
,米米l:mo>
Δ米米l:mi>
。
也就是说,
(27)米米l:mtext>
ψ米米l:mi>
n米米l:mi>
μ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
ξ米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
。米米l:mo>
表明<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
/米米l:mo>
δ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
是线性的,让<我nline-formula>
f米米l:mi>
n米米l:mi>
/米米l:mo>
ϵ米米l:mi>
n米米l:mi>
,米米l:mo>
g米米l:mi>
n米米l:mi>
/米米l:mo>
τ米米l:mi>
n米米l:mi>
∈米米l:mo>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
Δ米米l:mi>
,米米l:mo>
κ米米l:mi>
,米米l:mo>
η米米l:mi>
∈米米l:mo>
R米米l:mi>
;然后
(28)米米l:mtext>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
,米米l:mo>
我米米l:mtext>
。米米l:mo>
e米米l:mtext>
。米米l:mo>
=米米l:mo>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
⊛米米l:mo>
τ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
⊛米米l:mo>
ϵ米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
⊛米米l:mo>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
,米米l:mo>
我米米l:mtext>
。米米l:mo>
e米米l:mtext>
。米米l:mo>
=米米l:mo>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
⊛米米l:mo>
τ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
⊛米米l:mo>
ϵ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
ϵ米米l:mi>
n米米l:mi>
⊛米米l:mo>
τ米米l:mi>
n米米l:mi>
。米米l:mo>
古典Hartley-Hilbert变换的线性
(29)米米l:mtext>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
⊛米米l:mo>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
⊛米米l:mo>
ϵ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
ϵ米米l:mi>
n米米l:mi>
⊛米米l:mo>
τ米米l:mi>
n米米l:mi>
。米米l:mo>
定理
1gydF4y2Ba给了
(30)米米l:mtext>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
*米米l:mi>
τ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
*米米l:mi>
ϵ米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
⊛米米l:mo>
τ米米l:mi>
n米米l:mi>
。米米l:mo>
因此,通过添加Boehmians
(31)米米l:mtext>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
τ米米l:mi>
n米米l:mi>
。米米l:mo>
因此,
(32)米米l:mtext>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
τ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
κ米米l:mi>
f米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
ϵ米米l:mi>
n米米l:mi>
+米米l:mo>
η米米l:mi>
g米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
τ米米l:mi>
n米米l:mi>
。米米l:mo>
定理的证明。
定理7。
充分必要条件<我nline-formula>
g米米l:mi>
n米米l:mi>
/米米l:mo>
ψ米米l:mi>
n米米l:mi>
∈米米l:mo>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
*米米l:mi>
,米米l:mo>
Δ米米l:mi>
的范围<我nline-formula>
g米米l:mi>
n米米l:mi>
/米米l:mo>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
是,<我nline-formula>
g米米l:mi>
n米米l:mi>
属于经典的范围<我nline-formula>
h米米l:mi>
h米米l:mi>
,每<我nline-formula>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
。
证明。
让<我nline-formula>
g米米l:mi>
n米米l:mi>
/米米l:mo>
ψ米米l:mi>
n米米l:mi>
的范围<我nline-formula>
g米米l:mi>
n米米l:mi>
/米米l:mo>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
;当然<我nline-formula>
g米米l:mi>
n米米l:mi>
属于经典的范围<我nline-formula>
h米米l:mi>
h米米l:mi>
,<我nline-formula>
∀米米l:mo>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
。
建立对话,让<我nline-formula>
g米米l:mi>
n米米l:mi>
的范围<我nline-formula>
h米米l:mi>
h米米l:mi>
,<我nline-formula>
∀米米l:mo>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
。然后是<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
∈米米l:mo>
ϑ米米l:mi>
(米米l:mo>
R米米l:mi>
+米米l:mo>
)米米l:mo>
这样<我nline-formula>
h米米l:mi>
h米米l:mi>
ϕ米米l:mi>
n米米l:mi>
=米米l:mo>
g米米l:mi>
n米米l:mi>
,<我nline-formula>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
。
自<我nline-formula>
g米米l:mi>
n米米l:mi>
/米米l:mo>
ψ米米l:mi>
n米米l:mi>
∈米米l:mo>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
*米米l:mi>
,米米l:mo>
Δ米米l:mi>
,我们得到<我nline-formula>
g米米l:mi>
n米米l:mi>
*米米l:mi>
ψ米米l:mi>
米米米l:mi>
=米米l:mo>
g米米l:mi>
米米米l:mi>
*米米l:mi>
ψ米米l:mi>
n米米l:mi>
,<我nline-formula>
∀米米l:mo>
米米米l:mi>
,米米l:mo>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
。
因此,定理
1gydF4y2Ba收益率
(33)米米l:mtext>
h米米l:mi>
h米米l:mi>
ϕ米米l:mi>
n米米l:mi>
⊛米米l:mo>
ψ米米l:mi>
米米米l:mi>
=米米l:mo>
h米米l:mi>
h米米l:mi>
ϕ米米l:mi>
米米米l:mi>
⊛米米l:mo>
ψ米米l:mi>
n米米l:mi>
,米米l:mo>
∀米米l:mo>
米米米l:mi>
,米米l:mo>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
,米米l:mo>
在哪里<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
∈米米l:mo>
ϑ米米l:mi>
(米米l:mo>
R米米l:mi>
+米米l:mo>
)米米l:mo>
和<我nline-formula>
ψ米米l:mi>
n米米l:mi>
∈米米l:mo>
Δ米米l:mi>
,<我nline-formula>
∀米米l:mo>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
。
因此,<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
⊛米米l:mo>
ψ米米l:mi>
米米米l:mi>
=米米l:mo>
ϕ米米l:mi>
米米米l:mi>
⊛米米l:mo>
ψ米米l:mi>
n米米l:mi>
,<我nline-formula>
米米米l:mi>
,米米l:mo>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
。
因此,
(34)米米l:mtext>
ϕ米米l:mi>
n米米l:mi>
ψ米米l:mi>
n米米l:mi>
∈米米l:mo>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
Δ米米l:mi>
,米米l:mo>
ϕ米米l:mi>
n米米l:mi>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
g米米l:mi>
n米米l:mi>
ψ米米l:mi>
n米米l:mi>
。米米l:mo>
因此,这个定理是完全证明。
定理8。
转换<我nline-formula>
ϕ米米l:mi>
n米米l:mi>
/米米l:mo>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
是一致的<我nline-formula>
h米米l:mi>
h米米l:mi>
:米米l:mo>
ϑ米米l:mi>
(米米l:mo>
R米米l:mi>
+米米l:mo>
)米米l:mo>
→米米l:mo>
ϑ米米l:mi>
(米米l:mo>
R米米l:mi>
+米米l:mo>
)米米l:mo>
。
证明。
对于每一个<我nline-formula>
ϕ米米l:mi>
∈米米l:mo>
ϑ米米l:mi>
(米米l:mo>
R米米l:mi>
+米米l:mo>
)米米l:mo>
,让<我nline-formula>
β米米l:mi>
∈米米l:mo>
B米米l:mi>
ϑ米米l:mi>
,米米l:mo>
ϑ米米l:mi>
1米米l:mn>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
⊛米米l:mo>
,米米l:mo>
Δ米米l:mi>
是它的代表;然后我们有<我nline-formula>
β米米l:mi>
=米米l:mo>
ϕ米米l:mi>
⊛米米l:mo>
ψ米米l:mi>
n米米l:mi>
/米米l:mo>
ψ米米l:mi>
n米米l:mi>
,<我nline-formula>
∀米米l:mo>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
,<我nline-formula>
ψ米米l:mi>
n米米l:mi>
∈米米l:mo>
Δ米米l:mi>
。对所有<我nline-formula>
n米米l:mi>
∈米米l:mo>
N米米l:mi>
很明显,<我nline-formula>
ψ米米l:mi>
n米米l:mi>
是独立的代表。
由定理
1gydF4y2Ba我们有
(35)米米l:mtext>
β米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
ϕ米米l:mi>
⊛米米l:mo>
ψ米米l:mi>
n米米l:mi>
ψ米米l:mi>
n米米l:mi>
h米米l:mi>
h米米l:mi>
=米米l:mo>
h米米l:mi>
h米米l:mi>
ϕ米米l:mi>
⊛米米l:mo>
ψ米米l:mi>
n米米l:mi>
ψ米米l:mi>
n米米l:mi>
=米米l:mo>
h米米l:mi>
h米米l:mi>
ϕ米米l:mi>
*米米l:mi>
ψ米米l:mi>
n米米l:mi>
ψ米米l:mi>
n米米l:mi>
,米米l:mo>
代表的是哪一个<我nline-formula>
h米米l:mi>
h米米l:mi>
ϕ米米l:mi>
在空间<我nline-formula>
ϑ米米l:mi>
(米米l:mo>
R米米l:mi>
+米米l:mo>
)米米l:mo>
。
因此这个定理的证明。