Если закон Ампера подразумевает закон Био-Савара, который подразумевает закон Гаусса для магнетизма, значит ли это, что уравнения Максвелла избыточны?

Изучая электромагнетизм, я наткнулся на следующий факт:

  • Третье уравнение Максвелла (дивергенция магнитного поля равна нулю) может быть получено из закона Био-Савара.
  • Закон Био-Савара можно вывести из закона Максвелла-Ампера.

Следовательно, кажется, что четыре уравнения избыточны.

К сожалению ничего не нашел по этому поводу, поэтому и спрашиваю: это правда?

РЕДАКТИРОВАТЬ: Для полноты это доказательство третьего уравнения (в основном это доказательство Гриффита):

Б ( р ) "=" К мю 0 я 4 π Дж × р р 3 г т "=" К мю 0 я 4 π   Дж × ( 1 р ) г т
Применяя дивергенцию к обоим терминам, мы получаем:
див Б "=" мю 0 я 4 π К див ( Дж × ( 1 р ) ) г т "=" мю 0 я 4 π К × Дж ( 1 р ) Дж × ( 1 р ) г т "=" 0

Последний член равен нулю, поскольку ротор градиента всегда равен нулю, а дивергенция Дж равен нулю ( Дж зависит только от заштрихованных координат).

И это вывод закона Био-Савара из закона Максвелла-Ампера: получен ли закон Био-Савара эмпирически или его можно вывести?

Пожалуйста, покажите детали вашего доказательства.
Я добавил доказательства/ссылки.
С вашим определением «избыточности» любая математическая теорема избыточна. Все, что вам нужно, это аксиомы.
Я не совсем это имел в виду. Уравнения Максвелла в определенном смысле являются аксиомами теории электромагнетизма, поэтому мой вопрос заключался в том, может ли одна из аксиом быть выведена из других аксиом (так что на самом деле это будет теорема).

Ответы (2)

Поскольку в законе Био-Савара нет термина магнитного заряда, он верен только в том случае, если закон Гаусса для магнетизма ( Б "=" 0 ) верно и магнитных монополей нет. Поэтому логично, что закон Гаусса можно вывести из закона Био-Савара.

Однако закон Био-Савара не может быть выведен из закона Максвелла-Ампера без неявного принятия закона Гаусса. В общем, мы знаем это как из-за отсутствия члена магнитного заряда, так и потому, что, как указал Джорджио, завиток и дивергенция векторного поля являются независимыми величинами. Конкретная проблема с приведенным вами доказательством заключается в том, что оно предполагает, что непрерывный векторный потенциал А можно построить так, что × А "=" Б , что неверно при наличии магнитных монополей.

Завихренность и дивергенция векторного поля являются независимыми величинами ( теорема Гельмгольца позволяет восстановить векторное поле, если они оба известны). Таким образом, невозможно вывести что-либо для каждой из этих двух величин из другой.

Стоит отметить, что закон Био-Савара эквивалентен теореме Гельмгольца для бездивергентного векторного поля. Точно так же закон Кулона эквивалентен теореме Гельмгольца для векторного поля без завитков.