Richtige Definition der Wannier-Funktion

Ich studiere die Konstruktion der Wannier-Funktionen für 1D-Systeme mit periodischen Randbedingungen und meine Argumentation scheint sich ein wenig von dem zu unterscheiden, was ich in Lehrbüchern finden kann.

Zunächst einmal, wenn mein Gitter hat M Knoten, dann ist der zur 1. Brillouin-Zone gehörende Wellenvektor diskret und hat die Form:

k N = π D ( 2 M N 1 )
Wo N = 0 , 1 , , M Und D - Gitterabstand. So, π / D k N π / D . Insgesamt haben wir M + 1 verschiedene Werte. Sobald wir Bloch-Funktionen normalisiert haben ψ N ( X ) wir definieren die Wannier-Funktion als:
W ( X ) = 1 M + 1 N = 0 M ψ N ( X )
mit 1 / M + 1 Koeffizient, der die Normalisierung gewährleistet:
0 L D X   W ( X ) W ( X ) = 1
Wo L = D M . Wir nutzen die Tatsache, dass:
0 L D X   ψ N ( X ) ψ M ( X ) = δ N , M
Die meisten Lehrbücher definieren die Wannier-Funktion mit 1 / M was für meinen Geschmack falsch ist, weil die Wannier-Funktion nicht richtig normalisiert würde. Was denken Sie?

Zweite Sache. Betrachten wir den einfachsten Fall von freien Teilchen. Dann sind die Bloch-Funktionen die folgenden:

ψ N ( X ) = 1 L e ich k N X
Nach meiner Definition der Wannier-Funktion erhalten wir:
W ( X ) = 1 L ( M + 1 ) N = 0 M e ich k N X = 1 L ( M + 1 ) Sünde [ π D ( 1 M + 1 ) X ] Sünde [ π D 1 M X ]
In Lehrbüchern abgesehen von dem bereits erwähnten Unterschied zw M Und M + 1 Sie schreiben:
W ( X ) = M L Sünde ( X π / D ) X π / D
Ich habe das numerisch für groß überprüft M
Sünde [ π D ( 1 N + 1 ) X ] Sünde [ π D 1 N X ] M Sünde ( X π / D ) X π / D
Weißt du, wie man das zeigt?

AKTUALISIEREN

Laut Definition ist die 1. Brillouin-Zone in 1D eine Reihe von Wellenvektoren, die auf eine Region beschränkt sind:

π D k N < π D
Wo
k N = π D ( 2 M N 1 )
mit N = 0 , 1 , , M 1 . Mit dieser Definition sieht die Wannier-Funktion für freie Teilchen so aus
W ( X ) = 1 M L N = 0 M 1 e ich k N X = 1 M L { Kinderbett ( π D M X ) Sünde ( π D X ) ich Sünde ( π D X ) }
Für groß M Die obige Funktion verhält sich wie folgt: W ( X ) M L { Sünde ( π X / D ) π X / D ich Sünde ( π X / D ) } was aufgrund des unkompensierten Imaginärteils nicht das Lehrbuchergebnis ist. In der Originalarbeit von Kohn ersetzte er jedoch die diskrete Summe durch ein Integral. Meiner Meinung nach ist es nicht gut definiert (zusätzlicher Begriff fehlt). Betrachten Sie die Euler-Maclaurin-Formel
N = 0 M 1 F ( N ) = N = 0 M F ( N ) F ( M ) 0 M D N   F ( N ) + 1 2 ( F ( 0 ) F ( M ) ) = D M 2 π π / D π / D D k F ~ ( k ) + 1 2 ( F ( 0 ) F ( M ) )
Kohn und andere Autoren haben den zweiten Term vergessen, der nicht klein ist und eigentlich nicht davon abhängt M im Fall von freien Partikeln. Jetzt gibt die diskrete Formel die gleiche Antwort wie die Integraldarstellung - die Wannier-Funktion ist nicht rein reell, solange wir nicht zwei Extrempunkte in die Summation aufnehmen.

k 0 Und k M gleichwertig sind und Sie sollten nicht beide zählen. Das gibt M anstatt M + 1 verschiedene Werte. Und ich denke, Sie haben einen Phasenkoeffizienten in der Definition von Wannier-Funktionen übersehen.
@seyed Wenn Sie nicht einschließen k M In der Summe werden Sie den Imaginärteil nicht los. Sie wollen mehr Funktion wird nicht real sein
Wannier-Funktionen sind lokalisierte Wellenfunktionen, was ist das Problem daran, dass sie komplexe Funktionen sind wie andere Wellenfunktionen in der QM?
@seyed Sie können zwar komplex sein, aber das Beispiel für das freie Teilchen am Ende ist real. Ich werde das Lehrbuchergebnis nicht reproduzieren. Ich habe auch überprüft, ob die 1. Brillouin-Zone ohne definiert ist k 0 oder k M , aber das lässt mich mit einem Rätsel der komplexen Wannier-Funktion für freie Partikel zurück.
Eigentlich, wenn Sie die integrale Definition wo anstelle von verwenden k man nimmt π / D π / D D k die resultierende Funktion ist das Lehrbuchergebnis. Der Imaginärteil verschwindet, weil Sie symmetrisch über Positiv und Negativ "summieren". k und dies hebt die Sinusfunktion auf. Im diskreten Fall macht es einen Unterschied, ob Sie beide Extrempunkte zählen oder nur einen.

Antworten (1)

Über die Grenze:

Sünde [ π D ( 1 / N + 1 ) X ] Sünde [ π X D N ] = Sünde [ π D ( 1 / N + 1 ) X ] × π X D N Sünde [ π X D N ] × D N π X Sünde [ π D X ] × 1 × N D π X

im letzten Schritt habe ich verwendet lim X 0 Sünde X X = 1 Und 1 / N + 1 1 . nach dem Umordnen der Begriffe würde es zu dem werden, den Sie gefunden haben.