ВУЗ:
Составители:
Рубрика:
f
W (q , p)P = (2π)
−d
Z
exp(−Q)
f
W (ξ , η)dξdη
Q = ((ξ − q)
2
+ (η − p)
2
)/4 + iσ(q ⊕ p , ξ ⊕η)/2).
P = 0,
∀(q ⊕ p , φ , ψ ∈ H) : < φ ,
f
W (q , p)P ψ >≡ 0
J
φψ
(q , p) := (2π)
−d
Z
exp(−Q) < φ ,
f
W (ξ , η)ψ > dξdη ≡ 0.
J
φψ
(q , p) = (2π)
−d
exp(−
1
4
(q
2
+ p
2
))×
Z
exp(−
ξ
2
+ η
2
4
+
1
2
ξ(q −ip) +
1
2
η(p − iq)) < φ ,
f
W (ξ , η)ψ > dξdη
(ξ , η) 7→< φ ,
f
W (ξ , η)ψ >
J
φψ
(q , p)
q ∈ C
d
, p ∈ C
d
(q − ip) ∈ R
d
, (p − iq)) ∈ R
d
.
(ξ , η) 7→ exp(−
ξ
2
+ η
2
4
) < φ ,
f
W (ξ , η)ψ >
∀(φ , ψ ∈ H)
f
W (ξ , η)
0
Ïîëó÷àåì:
Z
f (q , p)P = (2π)−d
W exp(−Q)W
f (ξ , η)dξdη (A.30)
ãäå
Q = ((ξ − q)2 + (η − p)2 )/4 + iσ(q ⊕ p , ξ ⊕ η)/2). (A.31)
Åñëè
P = 0,
òî
∀(q ⊕ p , φ , ψ ∈ H) : < φ , W
f (q , p)P ψ >≡ 0
è
Z
−d f (ξ , η)ψ > dξdη ≡ 0.
Jφψ (q , p) := (2π) exp(−Q) < φ , W
Ïðåîáðàçóåì èíòåãðàë
1
Jφψ (q , p) = (2π)−d exp(− (q 2 + p2 ))×
4
Z 2 2
ξ +η 1 1
exp(− + ξ(q − ip) + η(p − iq)) < φ , W
f (ξ , η)ψ > dξdη
4 2 2
(A.32)
Òàê êàê ôóíêöèÿ
(ξ , η) 7→< φ , W
f (ξ , η)ψ > (A.33)
íåïðåðûâíà è îãàíè÷åíà, òî èíòåãðàë Jφψ (q , p) ñõîäèòñÿ ïðè âñåõ êîì-
ïëåêñíûõ q ∈ Cd , p ∈ Cd , â ÷àñòíîñòè è íà ìíîãîîáðàçèè
(q − ip) ∈ Rd , (p − iq)) ∈ Rd .
Îòñþäà ñëåäóåò, ÷òî ïðåîáðàçîâàíèå Ôóðüå ôóíêöèè
ξ 2 + η2
(ξ , η) 7→ exp(− ) < φ, W
f (ξ , η)ψ >
4
òîæäåñòâåííî ðàâíî íóëþ è ïîýòîìó ôóíêöèÿ (A.33) òîæäåñòâåííî ðàâíà
íóëþ ∀(φ , ψ ∈ H), ÷åãî áûòü íå ìîæåò, åñëè îïåðàòîð W
f (ξ , η) íå åñòü
îïåðàòîð óìíîæåíèÿ íà 0. Óòâåðæäåíèå 2 äîêàçàíî.
476
Страницы
- « первая
- ‹ предыдущая
- …
- 486
- 487
- 488
- 489
- 490
- …
- следующая ›
- последняя »
