Über das Integrationsmaß in der Vollständigkeitsformel des kohärenten Zustands

In Negeles Buch „Quanten-Vielteilchen-Systeme“ steht die Vollständigkeitsformel für kohärenten Zustand

(1) D ϕ D ϕ 2 π ich e ϕ ϕ | ϕ ϕ | = ICH
und es heißt die Integrationsmaßnahme ist
(2) D ϕ D ϕ 2 π ich = D ( Betreff ϕ ) D ( Ich bin ϕ ) π .
Wie ist diese Integrationsmaßnahme Gleichstellung zu verstehen?

Wie ich verstehe, wenn ich sehe ϕ = X + ich j , Dann

(3) D ( Betreff ϕ ) D ( Ich bin ϕ ) = D X D j .
Aber

(4) D ϕ D ϕ = ( D X ich D j ) ( D X + ich D j ) = D X 2 + D j 2

Ich bin mir ziemlich sicher, dass dieses Verständnis falsch ist. Was ist der richtige Weg?

Antworten (3)

In Bezug auf die letzte Formel (4) von OP: Erinnern Sie sich daran, dass es einen implizit geschriebenen antisymmetrischen Keil gibt im Integralmaß. Daher sollte das letzte Gleichheitszeichen von OP lauten

(4') ( D X ich D j ) ( D X + ich D j )   =   2 ich D X D j .
Siehe auch zB diesen Phys.SE Beitrag.

Diese alternative Herleitung (ohne Grassman-Algebra) verwendet die Transformationsregel für Integrale. Wir haben ein Integral über R 2 mit dem Maß D X   D j (Ist mir egal π ). Wir betrachten eine Variablenänderung ( X , j ) ( z , z ) := ( X + ich j , X ich j ) Dies ist ein Unterschied zu seinem Bild. (Eine Teilmenge von C 2 als 4d reeller Vektorraum gesehen). Der Jakobi ist

J = ( 1 ich 1 ich )
. Der „Absolutwert“ (für Real- und Komplexteil einzeln) der Determinante ist 2 ich , der Faktor, den wir brauchen.

Warum sollte man den absoluten Wert des Jacobi für Real- und Imaginärteil einzeln nehmen? Scheint willkürlich.
Es ist willkürlich. Die normale Variablenänderungsformel ist für den Umgang mit komplexen Domänen nicht wirklich geeignet. Ich nehme an, um dies mathematisch genau zu machen, müsste man Real- und Imaginärteile des Maßes getrennt und die Bereiche als tatsächlich real betrachten.

Ich bin hier, um zu erklären, wo das π in Gl. (2) kommt von:

( ϕ ) N ϕ M e | ϕ | 2 D Betreff ϕ D Ich bin ϕ = 0 | ϕ | N + M + 1 e | ϕ | 2 D | ϕ | 0 2 π e ich ( M N ) θ D θ = π N ! δ N M
1 π | ϕ ϕ | D Betreff ϕ D Ich bin ϕ = N | N N | = 1
Der kohärente Zustand ist also tatsächlich übervollständig und π Hier hilft kohärenter Zustand, sich als vollständiger zu tarnen. Für weitere Informationen sei auf Abschnitt 2.4 von Quantum optics von Scully und Zubairy verwiesen.
Übrigens, wie von Adomas Baliuka und Qmechanic♦ illustriert, ist die Beziehung der Koeffizienten in Gl.(1)&(2) klar. Beide kommen auf unterschiedliche Weise zum selben Ziel, da das Aussehen des Jacobi-Musters eine natürliche Eigenschaft des Keilprodukts ist.