Vektorpotential für Magnetfelder, wenn sich das Feld nicht in einer einfach verbundenen Region befindet

Nach dem Lemma von Poincare gilt, wenn U R N eine sternförmige Menge ist und wenn ω ist ein k -Form definiert in U das ist dann geschlossen ω ist genau, was bedeutet, dass es einige gibt ( k 1 ) -Form sagen η mit ω = D η . Nun, übersetzen in Vektorfelder, wenn wir darüber nachdenken U sternförmig eingelassen R 3 und wenn B ist ein Vektorfeld im Inneren U so dass B = 0 , dann gibt es ein Vektorfeld A definiert in U so dass B = × A .

Ich habe gehört, dass sich das Lemma von Poincare als wahr herausstellt, selbst wenn U ist nicht sternförmig, sondern nur zusammenziehbar. Nun, in der Hypothese von Poincares Lemma, die Tatsache, dass das Magnetfeld erfüllt B = 0 impliziert die Existenz des Vektorpotentials A , mit B = × A . Aber was passiert nun, wenn das Magnetfeld in einem Bereich des Raums definiert ist, der nicht einfach verbunden ist? In diesem Fall könnte das Vektorpotential gemäß Poincares Lemma nicht existieren (es sagt nicht, dass es nicht existiert, aber es garantiert nicht die Existenz).

Was passiert also, wenn der Bereich, in dem das Feld definiert ist, Löcher aufweist? Besteht wirklich die Chance, dass das Vektorpotential nicht existiert? Was sind in diesem Fall die körperlichen Folgen davon? Da mir immer gesagt wurde, dass das Vektorpotential nur ein mathematisches Werkzeug sei, das eingeführt wurde, um das Leben einfacher zu machen, denke ich, dass es keine so großen Auswirkungen auf den Standpunkt der konzeptionellen Erklärung der Situation haben würde, bin mir jedoch nicht sicher .

Antworten (2)

Du fragst

Was passiert, wenn der Bereich, in dem das Feld definiert ist, Löcher aufweist?

Nun, in diesem Fall können Sie das Vektorpotential auf einfach zusammenhängenden Teilgebieten definieren R ich dessen Schnittpunkt die gesamte nicht einfach zusammenhängende Region ist R und derart, dass sie sich nur durch eine Eichtransformation in den Überlappungsbereichen unterscheiden. Dies ist eine physikalisch gut motivierte Sache, weil dadurch bis zur Eichtransformation das Vektorpotential definiert werden kann R .

Hier ist ein einfaches Beispiel. Lassen = { ( X , j , z ) | X = 0 , j = 0 } bezeichnen die z -Achse, dann die Region R = R 2 ist nicht einfach verbunden. Um dies zu sehen, betrachten Sie einfach eine geschlossene Schleife, die die Achse umschließt; Es gibt keine Möglichkeit, es während des Aufenthalts kontinuierlich auf einen Punkt zu verkleinern R . Aus diesem Grund gibt es keine A auf allen definiert R . Allerdings lassen + bezeichnen das Positive z -Achse, und lassen negativ bezeichnen z -Achse, dann die Regionen R = R 3 + Und R + = R 3 haben die Eigenschaft, dass sie einfach miteinander verbunden sind und R = R + R . Außerdem können wir ein Vektorpotential definieren A + An R + Und A An R so dass es eine Skalarfunktion gibt Λ wofür

A + ( X ) A ( X ) = Λ ( X ) , für alle  X R
Tatsächlich sind hier die expliziten Ausdrücke in sphärischen Koordinaten ( R , θ , ϕ ) :
A ± = G cos θ 1 R Sünde θ ϕ ^
Ich überlasse es Ihnen zu bestimmen Λ ; Es ist eine lustige Übung.

welche körperlichen Folgen hat das?

Nun, im Kontext der Quantenmechanik sind diese Arten von topologischen Problemen physikalisch relevant (ich bin mir nicht sicher, ob es Beispiele gibt, in denen sie auf klassischer Ebene relevant sind, aber ich glaube nicht). Ich werde hier nicht auf die Details eingehen (es sei denn, es besteht vielleicht Bedarf), aber genau die Vektorpotentiale, die ich im obigen Beispiel aufgeschrieben habe, tauchen auf, wenn es um magnetische Monopole und die Quantisierung elektrischer Ladung geht (siehe Dirac-Quantisierung ).

Diese topologischen Fragen werden auch bei der Diskussion des berühmten Aharonov-Bohm-Effekts bedeutsam .

Ich habe gesehen, dass Topologie im QM ziemlich wichtig ist. Gibt es relevante Beispiele in CM?
@jinawee Ich bin nicht wirklich die richtige Person, um danach zu fragen, weil mein Wissen über kondensierte Materie sehr begrenzt ist, aber das könnte Sie interessieren en.wikipedia.org/wiki/Topological_insulator
Gibt es eigentlich einen Beweis für Ihre erste Behauptung? Und meinst du damit eigentlich Vereinigung statt Schnitt?

Das inverse quadratische Feld X / R 3 hat die Divergenz 0 im Einfachzusammenhang R 3 minus Ursprung, hat aber in dieser Region kein Vektorpotential. Wenn dies der Fall wäre, dann wäre sein Integral über eine am Ursprung zentrierte Kugel nach dem Stokes-Theorem 0, was nicht der Fall ist. „Einfach verbunden“ ist also nicht ganz das Richtige. Sie möchten, dass die Domain 2-verbunden ist. Das ist ausreichend.

Seltsamerweise hat es ein Vektorpotential in einem Bereich, der nicht einmal einfach verbunden ist: ( j z , X z , 0 ) / ( ( X 2 + j 2 ) X 2 + j 2 + z 2 ) arbeitet ab z Achse.