Я работаю над «Введением в электродинамику» Гриффита. Дюйм. 10 вводятся калибровочные преобразования. Автор показывает, что при любом магнитном потенциале и электрические потенциалы , мы можем создать новый набор эквивалентных магнитных и электрических потенциалов:
Эти преобразования определяются как «калибровочное преобразование». Затем автор вводит два из этих преобразований, кулоновскую калибровку и калибровку Лоренца, определяемые соответственно как:
Вот тут я в замешательстве. Я не понимаю, как подобрать расхождение быть любым из этих двух значений фактически представляет собой калибровочное преобразование, поскольку оно удовлетворяет условиям двух верхних уравнений. Откуда мы знаем, что такой существует даже для установки дивергенции к любому из этих значений. Может ли кто-нибудь убедить меня, что такая функция существует для любого преобразования, или как-то показать мне, что эти преобразования действительно являются «калибровочными преобразованиями», как они определены выше.
Комментарий к вопросу (v1): кажется, что OP, с одной стороны, объединяет калибровочное преобразование
с, с другой стороны, условием фиксации калибровки , т. е. выбором калибровки, например, калибровки Лоренца, кулоновской калибровки, осевой калибровки, временной калибровки и т. д.
Калибровочное преобразование может, например, происходить между двумя условиями фиксирования калибровки. В более общем случае калибровочные преобразования выполняются по калибровочным орбитам. В идеале условие фиксирования калибровки пересекает все калибровочные орбиты ровно один раз.
С математической точки зрения, в зависимости от топологии пространства-времени, часто возникает нетривиальная проблема, является ли такое условие фиксации калибровки глобально корректным и однозначно определяет калибровочное поле, ср. например, проблема Грибова . Существование и уникальность решений условий фиксирования калибровки является темой нескольких сообщений Phys.SE, см., например, этот и этот сообщения Phys.SE.
Калибровки Кулона и Лоренца — это фиксирующие условия калибровки, а не калибровочные преобразования. Ваш вопрос по-прежнему имеет смысл, но его следует сформулировать примерно так: как вы можете доказать, что для произвольного и всегда существует калибровочное преобразование в поля и которые удовлетворяют этим условиям? На самом деле всегда существует много таких преобразований (эти условия не фиксируют полностью калибровку).
Для условия кулоновской калибровки нам нужно . Это уравнение Пуассона , которое можно решить относительно с функциями Грина. Случай Лоренца проще, если вы используете четырехвекторы, и в этом случае вы получаете 3 + 1-мерную версию уравнения Пуассона.
Дану