Warum können BH und Ket unabhängig voneinander variiert werden?

Bei einem Funktional, das von einer Funktion (ket) abhängt, und seinem komplexen Konjugat (bra), z

F [ φ ] = φ | F ^ | φ = φ ( R ) F ^ φ ( R ) D R
Mir wurde gesagt, dass wir den BH und den Ket unabhängig voneinander variieren können, dh die erste Variation von F im BH ist durch gegeben
δ F = δ F δ φ η ( R ) D R = D D ϵ [ ( φ ( R ) + ϵ η ( R ) ) ( R ) F ^ φ ( R ) D R ] ϵ = 0 ,
und nicht
δ F = δ F δ φ η ( R ) D R = D D ϵ [ ( φ ( R ) + ϵ η ( R ) ) ( R ) F ^ ( φ ( R ) + ϵ η ( R ) ) D R ] ϵ = 0 ,
wie man erwarten könnte.

Wenn das obige richtig ist, wie kann gezeigt werden, dass der BH und der Ket unabhängig voneinander variiert werden können?

Das Argument läuft darauf hinaus, dass Ihr Ket komplexe Zahlen darstellt, bei denen der Realteil und der Imaginärteil unabhängig voneinander variiert werden können. Dies wird dahingehend übersetzt, dass die komplexe Zahl und ihre komplexe Konjugierte als unabhängige Variablen angesehen werden können.
Siehe auch: physical.stackexchange.com/q/89002/2451 und darin enthaltene Links.

Antworten (1)

Das hat nichts mit „bras“ oder „kets“ zu tun, sondern eher mit der elementaren Beobachtung, dass eine komplexe Zahl zwei reelle Freiheitsgrade hat und dass Ableitungen sich auf einen reellen Freiheitsgrad beziehen.

Der ϕ Und ϕ sind die Wirtinger-Derivate , die insbesondere erfüllen ϕ ϕ = 0 , dh die Ableitung von etwas nach seinem Konjugierten ist Null.

Dies lässt sich natürlich auf die funktionellen Ableitungen in Bezug auf eine komplexe Funktion verallgemeinern.

Danke für deine hilfreiche Antwort. Als ich die Frage stellte, wurde mir klar, dass sie grundlegender war als die Bra-Ket-Notation. Dies war jedoch die Art und Weise, wie ich die Frage ursprünglich konzipiert habe (bevor ich das Problem recherchiert habe), und ich dachte, dass andere Personen mit derselben Frage dies möglicherweise schneller finden, wenn sie sie direkt mit der Bra-Ket-Notation in Verbindung bringen.
Es wäre eine große Hilfe, wenn Sie die Verallgemeinerung auf funktionale Ableitungen näher erläutern könnten. Es gibt viele Online-Ressourcen, die dieses Ergebnis in Bezug auf partielle Ableitungen diskutieren, aber ich muss noch eine finden, die das Ergebnis eindeutig in funktionale Ableitungen umwandelt.
@JamesWomack: Sie können in voller Analogie definieren ϕ ich als funktionale Ableitungen bzgl. der Realteile, und definiere dann die komplexen Ableitungen genau wie die Wirtinger-Ableitungen. Da die funktionale Ableitung die gleiche Kettenregel wie die gewöhnliche Ableitung erfüllt und der Grund, warum die Wirtinger-Ableitungen die "richtigen" komplexen Ableitungen sind, nur die Kettenregel ist , spielt es überhaupt keine Rolle, dass die Ableitungen funktional sind.