Quantenmechanik: Wie genau funktioniert die "Delta-Funktionsnormalisierung" für Eigenfunktionen im 1-d-Freiraumfall?

Die Definition von "Delta-Funktionsnormalisierung" besagt, dass eine Basis von Eigenfunktionen eines Teilchens im freien Raum orthonormal ist, wenn

ϕ N ( R ) ϕ M ( R ) D R = δ N , M
Wo δ N , M ist die Kronecker-Delta-Funktion.

Betrachten Sie daher ein Teilchen im eindimensionalen freien Raum. Die Ortseigenfunktionen des Teilchens haben die Form ϕ P Ö S ich T ich Ö N = δ N ( X X N ) , und seine Impuls-Eigenfunktionen ϕ M Ö M e N T u M = e ich k N X .

Ich verstehe, dass Positionseigenfunktionen orthonormal sind, da man die Siebungseigenschaft der Deltafunktionen in der folgenden Formel verwenden und zeigen kann, dass Positionseigenfunktionen tatsächlich orthonormal im Sinne der Deltafunktionsnormalisierung sind. Mit anderen Worten

δ N ( X X N ) δ M ( X X M ) D X = δ N ( X X N ) δ M ( X X M ) = δ ( X N X M ) = δ N , M

Es fällt mir jedoch schwer, dieselbe Definition auf Impuls-Eigenfunktionen wie anzuwenden

( e ich k N X )   e ich k M X D X = e ich ( k N k M ) X D X
wo wenn N = M , dann wird die Gleichung 1   D X = ; und wenn N M , dann bleibt die Gleichung oszillierend und konvergiert nicht.

In beiden Fällen ist nicht klar, ob das Integral die Definition der Deltafunktionsnormierung erfüllt. Für die N = M Fall, 1   D X = könnte ein beliebiges Vielfaches der Delta-Funktion sein, dh δ , 2 δ , 3 δ , etc., da die Definition der Unendlichkeit vage ist. Andererseits wann N M , verschwindet das Integral nicht gegen Null und erfüllt somit nicht die Definition.

Ich bin mir ziemlich sicher, dass die Verwirrung, die ich hier habe, mit den Definitionen der Integration verallgemeinerter Funktionen und der Fourier-Transformation zusammenhängt. Weil Moden in der Fourier-Transformation auch orthogonal zueinander sind. Aber als Elektroingenieur hielt ich die Fourier-Transformation für selbstverständlich und vergaß, wie man die Orthogonalität beweist.

Was fehlt mir hier? Wie beweist man 1   D X = = δ Und ( e ich k N X )   e ich k M X D X = δ N , M ?

Die Gleichungen sind im Sinne von Verteilungen zu verstehen.
Ja, Sie verstehen nicht wirklich, was ein Dirac-Delta ist. Es ist keine Unendlichkeit bei Null, es ist eine Verteilung, die durch ihre integralen Eigenschaften definiert ist. Also ist einer der ersten integralen Ausdrücke der letzten Zeile falsch.
@Benjamin Warte. Können Sie erläutern, warum man das erste Integral der letzten Zeile nicht beweisen kann? Genau deswegen bin ich verwirrt. Ich weiß, dass Dirac Delta eine verallgemeinerte Funktion ist und nur so funktioniert, dass ihr Integral eins ist. Aber es funktioniert nicht umgekehrt und ein bloßes Ergebnis der Unendlichkeit ist kein Dirac-Delta. Deshalb habe ich erwähnt, dass es alles sein kann. Dann bleibt immer noch die Frage, wie man eine Dirac-Funktionsnormierung für Impuls-Eigenfunktionen durchführt.
Ah, ich sehe die Hauptverwirrung, die hier vor sich geht ... die 1-d freie Teilchenwellenfunktion ist nicht normalisierbar, da sie im Unendlichen nicht auf Null geht. Hier könnte eine nette Quelle zum Ansehen sein: physicalpages.com/2012/09/11/…
Danke für den Hinweis Benjamin. Wenn Sie auf die zwielichtige Formel klicken, heißt es: "Diese Formel ist eindeutig Unsinn, da wir eine oszillierende Funktion über einen unendlichen Bereich integrieren, sodass sie nicht konvergiert." Ich denke also, Impuls-Eigenfunktionen sind im streng mathematischen Sinne nicht orthogonal? Aber sie sind orthogonal in der Physik? :/ Ich nerv mich trotzdem.

Antworten (1)

Die Delta-Funktion ist nicht wirklich eine Funktion, es ist eine Verteilung, im engeren Sinne beides δ ( X ) Und e ich k X sind nicht normalisierbar, wenn N = M

Eine Möglichkeit, Ihre Gleichungen zu beweisen, ist die Verwendung von Fourier-Transformationen

Unter Verwendung des Satzes von Placherel die Fourier-Transformation F ( [ F ( X ) ] k ) für die Funktion F ( X ) wird von gegeben

F [ δ ( X X 0 ) ] ( k ) = 1 2 π δ ( X X 0 ) e ich k X D X = 1 2 π e ich k X 0

Betrachten Sie die Fourier-Inverse

F 1 [ e ich k X 0 ] = 1 2 π e ich k ( X X 0 ) D k

klar ist das aber es gibt einen Trick oder eine Lösung dafür, wir können sicher sein, dass dies für jede Funktion gilt F ( X ) Wenn

F ( X ) Fourier-Transformation F [ F ( X ) ] ( k )
Dann

F [ F ( X ) ] ( k )  inv Fourier-Transformation F ( X )

Damit wir schreiben können

e ich k ( X X 0 ) D k = 2 π δ ( X X 0 )

Für Impuls-Eigenfunktionen Ersetzen unter Verwendung der obigen Gleichung und Ersetzen X , X 0 , k von k M , k N , X wir haben

e ich X ( k M k N ) D X = e ich X k M ( e ich X k N ) D X = 2 π δ ( k M k N )

So werden die „ normalisierten “ Eigenfunktionen des Impulses

δ ( k M k N )

Wichtig ist, dass die Funktionen δ ( X ) Und e ich k X sind vollständig und orthogonal, und das ist alles, was wir brauchen, wenn wir sie als Basisvektoren für unseren Hilbert-Raum verwenden würden

Siehe auch Griffths – Einführung in die Quantenmechanik, Kapitel 3 – Formalismus

Ich verstehe jetzt deinen Punkt. Sie haben Fourier-Paare der Delta-Funktion und komplexe Exponentialfunktionen verwendet, um zu beweisen, dass die Basis von Impuls-Eigenfunktionen orthogonal ist. Dann haben Sie behauptet, dass man beliebige Funktionen in Bezug auf die Basis erweitern kann, da sie orthogonal und vollständig sind, eine Behauptung, die ich auch in anderen Lehrbüchern gelesen habe. So weit, ist es gut. Ich stimme Ihrer Argumentation vollkommen zu. Aber die Vorstellung, dass die Basis nicht normalisierbar ist, scheint mir immer noch nicht sehr physikalisch zu sein. Hast du vielleicht irgendwelche Gedanken dazu?
PS: Vielleicht möchten Sie Ihren Wortlaut ändern. Wenn der orthogonale Satz von Vektoren nicht normalisierbar ist, dann sind sie nicht orthogonal und ein solcher Satz von Vektoren erfüllt nicht die Anforderung, eine Basis für einen Hilbert-Raum zu bilden. Nur etwas mathematische Strenge hier. (Obwohl ich jetzt verwirrt bin, wie ich mich auf die Menge komplexer Exponentiale beziehen soll, da sie keine Basis sind. :-/)
Entschuldigung dafür, ich habe aktualisiert
@ user3336365 Hey, Sie müssen meine Antwort nicht wirklich akzeptieren, wenn Sie nicht zufrieden sind (ich weiß, dass Sie es nicht sind), das ist alles, was die meisten Lehrbücher auf UG-Niveau zu bieten haben, und ich habe das nur für einen tieferen Einblick studiert :) Antworten Sie könnten wahrscheinlich warten oder die von Qmechanic bereitgestellten Links sehen :)