Векторный потенциал для магнитного поля, когда поле не находится в односвязной области

Согласно лемме Пуанкаре, если U р н является звездным множеством, и если ю это к -форма определена в U то закрыто, то ю является точным, что означает, что есть некоторые ( к 1 ) - форма, скажем η с ю "=" д η . Теперь, переводя на векторные поля, если мы рассмотрим U набор в форме звезды р 3 и если Б векторное поле внутри U такой, что Б "=" 0 , то есть какое-то векторное поле А определено в U такой, что Б "=" × А .

Я слышал, что лемма Пуанкаре оказывается верной, даже если U не звездообразная, а просто сжимаемая. Теперь, в предположении леммы Пуанкаре, тот факт, что магнитное поле удовлетворяет условию Б "=" 0 следует существование векторного потенциала А , с Б "=" × А . Но что произойдет, если магнитное поле определено в какой-то области пространства, которая не является односвязной? В таком случае векторный потенциал не мог бы существовать по лемме Пуанкаре (она не говорит, что его не существует, но и не гарантирует его существование).

Итак, если область, в которой определено поле, имеет дыры, что произойдет? Есть ли шанс, что векторного потенциала не существует? В таком случае, каковы физические последствия этого? Поскольку мне всегда говорили, что векторный потенциал — это всего лишь математический инструмент, введенный для облегчения жизни, я думаю, что это не окажет столь большого влияния на точку зрения концептуального объяснения ситуации, однако я не уверен .

Ответы (2)

Ты спрашиваешь

что произойдет, если в области, где определено поле, есть дыры?

Что ж, в этом случае вы можете определить векторный потенциал на односвязных подобластях р я пересечением которых является вся неодносвязная область р и такие, что они отличаются только калибровочным преобразованием в областях перекрытия. Это физически хорошо мотивировано, потому что это означает, что с точностью до калибровочного преобразования векторный потенциал может быть определен на р .

Вот простой пример. Позволять "=" { ( Икс , у , г ) | Икс "=" 0 , у "=" 0 } обозначить г -ось, то область р "=" р 2 не просто связано. Чтобы увидеть это, просто представьте замкнутый контур, охватывающий ось; нет возможности постоянно сжимать его до точки, оставаясь в р . Из-за этого нет А определяется на всех р . Однако пусть + обозначают положительное г -ось, и пусть обозначают отрицательный г -ось, то области р "=" р 3 + и р + "=" р 3 обладают тем свойством, что все они односвязны и р "=" р + р . Более того, мы можем определить векторный потенциал А + на р + и А на р такая, что существует скалярная функция Λ для которого

А + ( Икс ) А ( Икс ) "=" Λ ( Икс ) , для всех  Икс е р
Фактически, вот явные выражения в сферических координатах ( р , θ , ф ) :
А ± "=" г потому что θ 1 р грех θ ф ^
Я оставлю это вам, чтобы определить Λ ; это веселое упражнение.

каковы физические последствия этого?

Ну, в контексте квантовой механики такого рода топологические вопросы физически релевантны (я не уверен, есть ли примеры, в которых они актуальны на классическом уровне, но я так не думаю). Я не буду вдаваться здесь в подробности (разве что, возможно, есть какой-то спрос), но те самые векторные потенциалы, которые я записал в примере выше, всплывают при обсуждении магнитных монополей и квантования электрического заряда (см. Квантование Дирака ).

Эти топологические вопросы также становятся важными при обсуждении знаменитого эффекта Ааронова-Бома .

Я видел, что топология очень важна в QM. Есть ли соответствующие примеры в CM?
@jinawee Я не совсем тот человек, чтобы спрашивать об этом, потому что мои знания о конденсированных средах очень ограничены, но это может вас заинтересовать en.wikipedia.org/wiki/Topological_insulator
Есть ли на самом деле доказательства для вашего первого утверждения? И вы действительно имеете в виду объединение вместо пересечения в нем?

Поле обратных квадратов Икс / р 3 имеет расходимость 0 в односвязном р 3 минус начало координат, но не имеет векторного потенциала в этой области. Если бы это было так, то его интеграл по сфере с центром в начале координат был бы равен 0 по теореме Стокса, что не так. Так что "просто подключенный" - не совсем правильно. Вы хотите, чтобы домен был 2-связным. Этого достаточно.

Любопытно, что у него есть векторный потенциал в области, которая даже не является односвязной: ( у г , Икс г , 0 ) / ( ( Икс 2 + у 2 ) Икс 2 + у 2 + г 2 ) отрабатывает г ось.