Согласно лемме Пуанкаре, если является звездным множеством, и если это -форма определена в то закрыто, то является точным, что означает, что есть некоторые - форма, скажем с . Теперь, переводя на векторные поля, если мы рассмотрим набор в форме звезды и если векторное поле внутри такой, что , то есть какое-то векторное поле определено в такой, что .
Я слышал, что лемма Пуанкаре оказывается верной, даже если не звездообразная, а просто сжимаемая. Теперь, в предположении леммы Пуанкаре, тот факт, что магнитное поле удовлетворяет условию следует существование векторного потенциала , с . Но что произойдет, если магнитное поле определено в какой-то области пространства, которая не является односвязной? В таком случае векторный потенциал не мог бы существовать по лемме Пуанкаре (она не говорит, что его не существует, но и не гарантирует его существование).
Итак, если область, в которой определено поле, имеет дыры, что произойдет? Есть ли шанс, что векторного потенциала не существует? В таком случае, каковы физические последствия этого? Поскольку мне всегда говорили, что векторный потенциал — это всего лишь математический инструмент, введенный для облегчения жизни, я думаю, что это не окажет столь большого влияния на точку зрения концептуального объяснения ситуации, однако я не уверен .
Ты спрашиваешь
что произойдет, если в области, где определено поле, есть дыры?
Что ж, в этом случае вы можете определить векторный потенциал на односвязных подобластях пересечением которых является вся неодносвязная область и такие, что они отличаются только калибровочным преобразованием в областях перекрытия. Это физически хорошо мотивировано, потому что это означает, что с точностью до калибровочного преобразования векторный потенциал может быть определен на .
Вот простой пример. Позволять обозначить -ось, то область не просто связано. Чтобы увидеть это, просто представьте замкнутый контур, охватывающий ось; нет возможности постоянно сжимать его до точки, оставаясь в . Из-за этого нет определяется на всех . Однако пусть обозначают положительное -ось, и пусть обозначают отрицательный -ось, то области и обладают тем свойством, что все они односвязны и . Более того, мы можем определить векторный потенциал на и на такая, что существует скалярная функция для которого
каковы физические последствия этого?
Ну, в контексте квантовой механики такого рода топологические вопросы физически релевантны (я не уверен, есть ли примеры, в которых они актуальны на классическом уровне, но я так не думаю). Я не буду вдаваться здесь в подробности (разве что, возможно, есть какой-то спрос), но те самые векторные потенциалы, которые я записал в примере выше, всплывают при обсуждении магнитных монополей и квантования электрического заряда (см. Квантование Дирака ).
Эти топологические вопросы также становятся важными при обсуждении знаменитого эффекта Ааронова-Бома .
Поле обратных квадратов имеет расходимость 0 в односвязном минус начало координат, но не имеет векторного потенциала в этой области. Если бы это было так, то его интеграл по сфере с центром в начале координат был бы равен 0 по теореме Стокса, что не так. Так что "просто подключенный" - не совсем правильно. Вы хотите, чтобы домен был 2-связным. Этого достаточно.
Любопытно, что у него есть векторный потенциал в области, которая даже не является односвязной: отрабатывает ось.
Джинави
джошфизика
лалала