Русская Википедия:Закон Ампера

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Шаблон:Электродинамика Зако́н Ампе́ра  — закон взаимодействия электрических токов. Впервые был установлен Андре Мари Ампером в 1820 году для постоянного тока. Из закона Ампера следует, что параллельные проводники с электрическими токами, текущими в одном направлении, притягиваются, а в противоположных — отталкиваются. Законом Ампера называется также закон, определяющий силу, с которой магнитное поле действует на малый отрезок проводника с током. Сила оказывается линейно зависимой как от тока, так и от магнитной индукции <math>B</math>. Выражение для силы <math>d\vec F</math>, с которой магнитное поле действует на элемент объёма <math>dV</math> проводника с током плотности <math>\vec j</math>, находящегося в магнитном поле с индукцией <math>\vec B</math>, в Международной системе единиц (СИ) имеет вид:

<math>d\vec F = \vec j \times \vec B dV.</math>

Если ток течёт по тонкому проводнику, то <math>\vec j dV = I d\vec l</math>, где <math>d\vec l</math> — «элемент длины» проводника — вектор, по модулю равный <math>dl</math> и совпадающий по направлению с током. Тогда выражение для силы переписывается как <math>d\vec{F} = Id\vec{l} \times \vec{B}</math>.

Физическое содержание закона Ампера

Под законом Ампера понимается совокупность утверждений и формул, характеризующих силовое воздействие на токонесущий проводник со стороны магнитного поля — возможно, созданного другим токонесущим проводником. Закон определяет:

• силу воздействия малого отрезка проводника <math>dl_1</math> с током <math>I_1</math> на другой малый отрезок <math>dl_2</math> с током <math>I_2</math>:

<math>d^2\vec{F}_{12} = \frac{\mu_0I_1I_2}{4\pi}\cdot \frac{d\vec{l}_2\times [d\vec{l}_1\times(\vec{r}_2-\vec{r}_1)]}{|\vec{r}_1-\vec{r}_2|^3} = I_2 d\vec{l}_2\times d\vec{B}_1(\vec{r}_2)</math>,

где <math>\vec{r}_1</math> и <math>\vec{r}_2</math> — радиус-векторы элементов длины проводников <math>d\vec{l}_1</math> и <math>d\vec{l}_2</math>, а <math>d^2\vec{F}_{12}</math> — сила действия элемента <math>d\vec{l}_1</math> (создающего поле <math>d\vec{B}_1(\vec{r}_2)</math> в точке <math>\vec{r}_2</math>) на элемент <math>d\vec{l}_2</math>; <math>\mu_0</math> — магнитная постоянная;

• силу взаимодействия двух проводящих замкнутых контуров формы <math>C_1</math> и <math>C_2</math> с токами <math>I_1</math> и <math>I_2</math>:

<math>\mathbf{F}_{12}={\mu_0I_1I_2 \over 4\pi}\oint\limits_{\Complex_2}\oint\limits_{\Complex_1}\frac{[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2-\mathbf{r}_1]]}{|\mathbf r_1 - \mathbf{r}_2|^3} </math>,

где <math>\mathbf{r}_1</math> и <math>\mathbf{r}_2</math> — радиус-векторы, пробегающие все точки контуров <math>C_1</math>, <math>C_2</math>, а <math>\mathbf{F}_{12}</math> — сила, с которой контур-1 действует на контур-2. По сути, это интегрирование выражения из предыдущего пункта;

• силу, с которой магнитное поле действует на отрезок проводника <math>dl</math> с током <math>I</math> (A), плоский участок <math>dS</math> с током <math>\vec{i}</math> (А/м) или малый объём <math>dV</math> с током <math>\vec{j}</math> (А/м²):

<math>d\vec{F} = I d\vec{l} \times \vec{B},\qquad d\vec{F} = \vec{i} dS \times \vec{B},\qquad d\vec{F} = \vec{j} dV \times \vec{B}</math>.

Направление силы <math>d\vec F</math> определяется по правилу вычисления векторного произведения. Её модуль в случае провода находится как <math>dF = I B dl \sin\alpha</math>, где <math>\alpha</math> — угол между <math>\vec{B}</math> и направлением тока. Сила максимальна, когда проводник перпендикулярен линиям магнитной индукции (<math>\alpha = 90^\circ</math>). Интегрирование позволит получить силу воздействия поля на объект в целом.

Случай двух параллельных проводников

Файл:MagneticWireAttraction.svg

Два бесконечных параллельных проводника с токами в вакууме

Наиболее известным примером, иллюстрирующим силу Ампера, является следующая задача. В вакууме на расстоянии <math>r</math> друг от друга расположены два бесконечных параллельных проводника, в которых в одном направлении текут токи <math>I_1</math> и <math>I_2</math>. Требуется найти силу, действующую на единицу длины проводника.

В соответствии с законом Био — Савара — Лапласа бесконечный проводник с током <math>I_1</math> в точке на расстоянии <math>r</math> создаёт магнитное поле с индукцией

<math>\vec{B}_1(r) = \frac{\mu_0}{4\pi}\frac{2I_1}{r}\,\vec{e}_{\varphi}</math>,

где <math>\mu_0 </math> — магнитная постоянная, <math>\vec{e}_{\varphi}</math> — единичный вектор вдоль окружности, осью симметрии которой является провод с током <math>I_1</math>.

По закону Ампера найдём силу, с которой первый проводник действует на малый участок <math>d\vec{l}</math> второго:

<math>d\vec F_{12} = I_2 d\vec l \times \vec B_1(r).</math>

По правилу левой руки, <math>d\vec F_{12}</math> направлена в сторону первого проводника (аналогично, действующая на первый проводник сила <math>d\vec F_{21}</math> направлена в сторону второго проводника). Следовательно, проводники притягиваются.

Модуль данной силы (<math>r</math> — расстояние между проводниками):

<math>dF_{12} = \frac{\mu_0}{4\pi}\frac{2 I_1 I_2}{r} dl.</math>

Интегрируем по участку проводника длины <matH>L</math> (пределы интегрирования по <math>l</math> от 0 до <math>L</math>):

<math>F_{12} = \frac{\mu_0}{4\pi}\frac{2 I_1 I_2}{r}\cdot L.</math>

Если <math>L</math> — единичная длина, то это выражение задаёт искомую силу взаимодействия.

Полученная формула используется в СИ для установления численного значения магнитной постоянной <math>\mu_0 </math>. Действительно, ампер, являющийся одной из основных единиц СИ, определяется в ней как «сила неизменяющегося тока, который при прохождении по двум параллельным прямолинейным проводникам бесконечной длины и ничтожно малой площади кругового поперечного сечения, расположенным в вакууме на расстоянии 1 метр один от другого, вызвал бы на каждом участке проводника длиной 1 метр силу взаимодействия, равную 2Шаблон:E ньютона».

Таким образом, из полученной формулы и определения ампера следует, что магнитная постоянная <math>\mu_0 </math> равна <math>4 \pi \times 10^{-7}</math> Н/А² или, что то же самое, <math>4 \pi \times 10^{-7}</math> Гн/ м точно.

Проявления закона Ампера

• Электродинамическая деформация шин (токопроводов) трёхфазного переменного тока на подстанциях при воздействии токов короткого замыкания.
• Раздвигание токопроводов рельсотронов при выстреле.

Применение

Любые узлы в электротехнике, где под действием электромагнитного поля происходит движение каких-либо элементов, используют закон Ампера. Принцип работы электромеханических машин (движение части обмотки ротора относительно части обмотки статора) основан на использовании закона Ампера, и самый широко распространённый и используемый чуть ли не во всех технических конструкциях агрегат — это электродвигатель, либо, что конструктивно почти то же самое — генератор. Именно под действием силы Ампера происходит вращение ротора, поскольку на его обмотку влияет магнитное поле статора, приводя в движение. Любые транспортные средства на электротяге для приведения во вращение валов, на которых находятся колёса, используют силу Ампера (трамваи, электрокары, электропоезда и др).

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

Также, он находит применение во многих других видах электротехники, например, в динамической головке (динамике): в динамике (громкоговорителе) для возбуждения мембраны, которая формирует звуковые колебания, используется постоянный магнит, на него под действием электромагнитного поля, создаваемого расположенным рядом проводником с током, действует сила Ампера, которая изменяется в соответствии с нужной звуковой частотой.

Также:

• Электродинамическое сжатие плазмы; например, в токамаках, установках Z-пинч.
• Электродинамический метод прессования.
• Электромагнитный насос

Сила Ампера и третий закон Ньютона

Шаблон:Нет источников в разделе Пусть есть два тонких проводника с токами <math>I_1</math> и <math>I_2</math>, имеющие форму кривых <math>C_1</math> и <math>C_2</math>, которые заданы радиус-векторами <math>\mathbf{r}_1</math> и <math>\mathbf{r}_2</math>.

Для сил взаимодействия бесконечно малых участков этих проводников третий закон Ньютона не выполняется. А именно, сила Ампера для воздействия элемента первого проводника на элемент второго <math>\mathrm{d}^2\mathbf{F}_{12}</math> не равна взятой с обратным знаком силе, действующей со стороны элемента второго проводника на элемент первого <math>\mathrm{d}^2\mathbf{F}_{21}</math>:

<math>\mathrm{d}^2\mathbf{F}_{12} = I_2\mathrm{d}\mathbf{r}_2 \times\mathrm{d}\mathbf B_1 (\mathbf{r}_2) \neq -\mathrm{d}^2\mathbf{F}_{21} = -I_1\mathrm{d}\mathbf{r}_1 \times\mathrm{d}\mathbf B_2 (\mathbf{r}_1)</math>.

Здесь <math>\mathrm{d}\mathbf B_1</math> и <math>\mathrm{d}\mathbf B_2</math> — поле, создаваемое участком первого и участком второго провода, соответственно. Данный факт ни в коем случае не компрометирует динамику Ньютона, так как постоянный ток может протекать только по замкнутому контуру — и, следовательно, третий закон Ньютона обязан действовать только для сил, с которыми взаимодействуют два замкнутых проводника с током. В отличие от отдельных элементов, для замкнутых контуров закон Ньютона выполняется:

<math>\mathbf{F}_{12} = \oint\limits_{\Complex_2}(I_2\mathrm{d}\mathbf{r}_2 \times\mathbf B_1 (\mathbf{r}_2)) = -\mathbf{F}_{21} = -\oint\limits_{\Complex_1}(I_1\mathrm{d}\mathbf{r}_1 \times\mathbf B_2 (\mathbf{r}_1))</math>,

где <math>\mathbf B_1</math> и <math>\mathbf B_2</math> — поле, создаваемое целиком первым и целиком вторым проводом (а не их отдельными участками). Поле в каждом случае находится с использованием формулы Био — Савара — Лапласа.

Шаблон:Начало скрытого блока Пусть есть два тонких проводника с токами <math>I_1</math> и <math>I_2</math>, имеющие форму кривых <math>C_1</math> и <math>C_2</math>, которые заданы радиус-векторами <math>\mathbf{r}_1</math> и <math>\mathbf{r}_2</math>. Сила, действующая на токовый элемент одного провода со стороны токового элемента другого провода, находится по закону Био — Савара — Лапласа: токовый элемент <math>I_1\mathrm{d}\mathbf{r}_1</math>, находящийся в точке <math>\mathbf{r}_1</math>, создаёт в точке <math>\mathbf{r}_2</math> элементарное магнитное поле

<math>\mathrm{d}\mathbf B_1 (\mathbf{r}_2)= {\mu_0 \over 4\pi}\frac{I_1[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]}{|\mathbf r_2 - \mathbf{r}_1|^3}</math>.

По закону Ампера сила, действующая со стороны поля <math>\mathrm{d}\mathbf B_1 (\mathbf{r}_2)</math> на токовый элемент <math>I_2\mathrm{d}\mathbf{r}_2</math>, находящийся в точке <math>\mathbf{r}_2</math>, равна

<math>\mathrm{d}^2\mathbf{F}_{12} = I_2\mathrm{d}\mathbf{r}_2 \times\mathrm{d}\mathbf B_1 (\mathbf{r}_2) = {\mu_0I_1I_2 \over 4\pi} \frac{[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]]}{|\mathbf r_2 - \mathbf{r}_1|^3}.</math>

Токовый элемент <math>I_2\mathrm{d}\mathbf{r}_2</math>, находящийся в точке <math>\mathbf{r}_2</math>, создает в точке <math>\mathbf{r}_1</math> элементарное магнитное поле

<math>\mathrm{d}\mathbf B_2 (\mathbf{r}_1) = {\mu_0 \over 4\pi}\frac{I_2[\mathrm{d}\mathbf{r}_2,\mathbf{r}_1 - \mathbf{r}_2]}{|\mathbf r_2 - \mathbf{r}_1|^3}</math>.

Сила Ампера, действующая со стороны поля <math>\mathrm{d}\mathbf B_2 (\mathbf{r}_1)</math> на токовый элемент <math>I_1\mathrm{d}\mathbf{r}_1</math>, находящийся в точке <math>\mathbf{r}_1</math>, равна

<math>\mathrm{d}^2\mathbf{F}_{21} = I_1\mathrm{d}\mathbf{r}_1 \times\mathrm{d}\mathbf B_2 (\mathbf{r}_1) = {\mu_0I_1I_2 \over 4\pi} \frac{[\mathrm{d}\mathbf{r}_1,[\mathrm{d}\mathbf{r}_2,\mathbf{r}_1 - \mathbf{r}_2]]}{|\mathbf r_2 - \mathbf{r}_1|^3}.</math>

В общем случае для произвольных <math>\mathbf{r}_1</math> и <math>\mathbf{r}_2</math> силы <math>\mathrm{d}^2\mathbf{F}_{12}</math> и <math>\mathrm{d}^2\mathbf{F}_{21}</math> даже не коллинеарны, а значит, не подчиняются третьему закону Ньютона: <math>\mathrm{d}^2\mathbf{F}_{12}+\mathrm{d}^2\mathbf{F}_{21} \neq 0</math>.

Этот результат, однако, не указывает на несостоятельность динамики Ньютона в данном случае. Вообще говоря, постоянный ток может течь только по замкнутому контуру. Поэтому третий закон Ньютона должен действовать только для сил, с которыми взаимодействуют два замкнутых проводника с током. Можно убедиться, что для двух таких проводников третий закон Ньютона выполняется.

Пусть кривые <math>C_1</math> и <math>C_2</math> являются замкнутыми. Тогда ток <math>I_1</math> создает в точке <math>\mathbf{r}_2</math> магнитное поле

<math>\mathbf B_1 (\mathbf{r}_2) = {\mu_0I_1 \over 4\pi}\oint\limits_{\Complex_1}

\frac{[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]}{|\mathbf r_2 - \mathbf{r}_1|^3},</math> где интегрирование по <math>C_1</math> производится в направлении течения тока <math>I_1</math>. Сила Ампера, действующая со стороны поля <math>\mathbf B_1 (\mathbf{r}_2)</math> на контур <math>C_2</math> с током <math>I_2</math>, равна

<math>\mathbf{F}_{12} = \oint\limits_{\Complex_2}(I_2\mathrm{d}\mathbf{r}_2 \times\mathbf B_1 (\mathbf{r}_2)) = \oint\limits_{\Complex_2}(I_2\mathrm{d}\mathbf{r}_2 \times{\mu_0I_1 \over 4\pi}\oint\limits_{\Complex_1} \frac{[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]}{|\mathbf r_2 - \mathbf{r}_1|^3}) ={\mu_0I_1I_2 \over 4\pi} \oint\limits_{\Complex_2}\oint\limits_{\Complex_1}\frac{[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]]}{|\mathbf r_2 - \mathbf{r}_1|^3},</math>

где интегрирование по <math>C_2</math> производится в направлении течения тока <math>I_2</math>. Порядок интегрирования значения не имеет.

Аналогично сила Ампера, действующая со стороны поля <math>\mathbf B_2 (\mathbf{r}_1)</math>, создаваемого током <math>I_2</math>, на контур <math>C_1</math> с током <math>I_1</math>, равна

<math>\mathbf{F}_{21} = \oint\limits_{\Complex_1}(I_1\mathrm{d}\mathbf{r}_1 \times\mathbf B_2 (\mathbf{r}_1)) = {\mu_0I_1I_2 \over 4\pi} \oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{[\mathrm{d}\mathbf{r}_1,[\mathrm{d}\mathbf{r}_2,\mathbf{r}_1 - \mathbf{r}_2]]}{|\mathbf r_2 - \mathbf{r}_1|^3}=\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\mathrm{d}^2\mathbf{F}_{21}.</math>

Равенство <math>\mathbf{F}_{12}+\mathbf{F}_{21} = 0</math> эквивалентно равенству

<math>\oint\limits_{\Complex_2}\oint\limits_{\Complex_1}\frac{[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]]}{|\mathbf r_2 - \mathbf{r}_1|^3}=\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{[\mathrm{d}\mathbf{r}_1,[\mathrm{d}\mathbf{r}_2,\mathbf{r}_2 - \mathbf{r}_1]]}{|\mathbf r_2 - \mathbf{r}_1|^3}</math>.

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

Пользуясь тождеством Лагранжа, двойное векторное произведение в левой части доказываемого равенства можно записать так:

<math>[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]]=\mathrm{d}\mathbf{r}_1(\mathrm{d}\mathbf{r}_2,\mathbf{r}_2 - \mathbf{r}_1)-(\mathbf{r}_2-\mathbf{r}_1)(\mathrm{d}\mathbf{r}_2,\mathrm{d}\mathbf{r}_1).</math>

Тогда левая часть доказываемого равенства примет вид:

<math>\oint\limits_{\Complex_2}\oint\limits_{\Complex_1}\frac{[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2 - \mathbf{r}_1]]}{|\mathbf r_2 - \mathbf{r}_1|^3}=\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{\mathrm{d}\mathbf{r}_1(\mathrm{d}\mathbf{r}_2,\mathbf{r}_2 - \mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}-\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{(\mathbf{r}_2 - \mathbf{r}_1)(\mathrm{d}\mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}.</math>

Рассмотрим отдельно интеграл <math>\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{\mathrm{d}\mathbf{r}_1(\mathrm{d}\mathbf{r}_2,\mathbf{r}_2 - \mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}</math>, который можно переписать в следующем виде:

<math>\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{\mathrm{d}\mathbf{r}_1(\mathrm{d}\mathbf{r}_2,\mathbf{r}_2 - \mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}=\oint\limits_{\Complex_1}\mathrm{d}\mathbf{r}_1\oint\limits_{\Complex_2}\frac{(\mathbf{r}_2 - \mathbf{r}_1,\mathrm{d}(\mathbf{r}_2-\mathbf{r}_1))}{|\mathbf r_2 - \mathbf{r}_1|^3}.</math>

Сделав замену переменной во внутреннем интеграле на <math>\mathbf{r}=\mathbf{r}_2 - \mathbf{r}_1</math>, где вектор <math>\mathbf{r}</math> изменяется по замкнутому контуру <math>C_2'</math>, обнаружим, что внутренний интеграл является циркуляцией градиентного поля по замкнутому контуру. А значит, он равен нулю:

<math>\oint\limits_{\Complex_2}\frac{(\mathbf{r}_2 - \mathbf{r}_1,\mathrm{d}(\mathbf{r}_2-\mathbf{r}_1))}{|\mathbf r_2 - \mathbf{r}_1|^3}=\oint\limits_{\Complex_2'}\frac{(\mathbf{r},\mathrm{d}\mathbf{r})}{|\mathbf r|^3}=-\oint\limits_{\Complex_2'}(\mathrm{grad}(\frac{1}{|\mathbf{r}|}),\mathrm{d}\mathbf{r})=0.</math>

Значит, и весь двойной криволинейный интеграл равен нулю. В таком случае для силы <math>\mathbf{F}_{12}</math> можно записать:

<math>\mathbf{F}_{12}={\mu_0I_1I_2 \over 4\pi}\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{(\mathbf{r}_1 - \mathbf{r}_2)(\mathrm{d}\mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}.</math>

Выражение для силы <math>\mathbf{F}_{21}</math> можно получить из выражения для силы <math>\mathbf{F}_{12}</math>, просто исходя из соображений симметрии. Для этого произведем замену индексов: 2 меняем на 1, а 1 — на 2. В таком случае для силы <math>\mathbf{F}_{21}</math> можно записать:

<math>\mathbf{F}_{21}={\mu_0I_1I_2 \over 4\pi}\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{(\mathbf{r}_2 - \mathbf{r}_1)(\mathrm{d}\mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}.</math>

Теперь совершенно очевидно, что <math>\mathbf{F}_{12}=-\mathbf{F}_{21}</math>. Значит, сила Ампера удовлетворяет третьему закону Ньютона в случае замкнутых проводников. Шаблон:Конец скрытого блока

Некоторые исторические аспекты

Обнаружение эффекта

В 1820 году Ханс Кристиан Эрстед открыл, что провод, по которому идёт ток, создает магнитное поле и заставляет отклоняться стрелку компаса. Он заметил, что магнитное поле перпендикулярно току, а не параллельно ему, как можно было бы ожидать. Ампер, вдохновлённый демонстрацией опыта Эрстеда, обнаружил, что два параллельных проводника, по которым течёт ток, притягиваются или отталкиваются в зависимости от того, в одну ли или разные стороны по ним идёт ток. Таким образом ток не только производит магнитное поле, но магнитное поле действует на ток. Уже через неделю после объявления Эрстедом о своём опыте, Ампер предложил объяснение: проводник действует на магнит, потому что в магните течёт ток по множеству маленьких замкнутых траекторий.

Подбор формулы для силы

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

Оригинальный же закон Ампера имел несколько иную форму: сила, действующая со стороны токового элемента <math>I_1\mathrm{d}\mathbf{r}_1</math>, находящегося в точке <math>\mathbf{r}_1</math>, на токовый элемент <math>I_2\mathrm{d}\mathbf{r}_2</math>, находящийся в точке <math>\mathbf{r}_2</math>, равна

<math>\mathrm{d}^2\mathbf{F}_{12}={\mu_0I_1I_2 \over 4\pi}\frac{(\mathbf{r}_1 - \mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^3}\left(2(\mathrm{d}\mathbf{r}_1,\mathrm{d}\mathbf{r}_2)-3\frac{(\mathbf{r}_1-\mathbf{r}_2,\mathrm{d}\mathbf{r}_1)(\mathbf{r}_1-\mathbf{r}_2,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^2}\right)</math>.

Сила, действующая со стороны токового элемента <math>I_2\mathrm{d}\mathbf{r}_2</math>, находящегося в точке <math>\mathbf{r}_2</math>, на токовый элемент <math>I_1\mathrm{d}\mathbf{r}_1</math>, находящийся в точке <math>\mathbf{r}_1</math>, может быть получена из формулы силы <math>\mathrm{d}^2\mathbf{F}_{12}</math> просто из соображений симметрии, путём замены индексов: 2 на 1, а 1 на 2.

При этом <math>\mathrm{d}^2\mathbf{F}_{21} = -\mathrm{d}^2\mathbf{F}_{12}</math>, то есть оригинальный закон Ампера удовлетворяет третьему закону Ньютона уже для дифференциальной формы. Ампер, перепробовав ряд выражений, остановился именно на таком.

Если при рассмотрении какой-либо задачи расчёта силы взаимодействия (реально, непостоянных) незамкнутых токов с нарушением третьего закона Ньютона мириться нельзя, есть вариант использовать оригинальный закон Ампера. В случае закона Грассмана при этом приходится включать в рассмотрение дополнительную физическую сущность — магнитное поле, чтобы компенсировать несоблюдение третьего закона.

Можно доказать, что в интегральной форме оригинального закона Ампера силы, с которыми взаимодействуют два замкнутых проводника с постоянными токами, получаются теми же самыми, что и в законе Грассмана.

Шаблон:Начало скрытого блока Чтобы доказать это, запишем силу <math>\mathbf{F}_{21}</math> в следующем виде:

<math>\mathbf{F}_{21}={\mu_0I_1I_2 \over 4\pi}\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{(\mathbf{r}_2 - \mathbf{r}_1)(\mathrm{d}\mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}+{\mu_0I_1I_2 \over 4\pi}\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{(\mathbf{r}_2 - \mathbf{r}_1)}{|\mathbf r_2 - \mathbf{r}_1|^3}((\mathrm{d}\mathbf{r}_1,\mathrm{d}\mathbf{r}_2)-3\frac{(\mathbf{r}_2-\mathbf{r}_1,\mathrm{d}\mathbf{r}_1)(\mathbf{r}_2-\mathbf{r}_1,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^2}).</math>

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

Итак, обозначим <math>\mathbf{P}=\oint\limits_{\Complex_1}\oint\limits_{\Complex_2}\frac{(\mathbf{r}_2 - \mathbf{r}_1)}{|\mathbf r_1 - \mathbf{r}_2|^3}((\mathrm{d}\mathbf{r}_1,\mathrm{d}\mathbf{r}_2)-3\frac{(\mathbf{r}_2-\mathbf{r}_1,\mathrm{d}\mathbf{r}_1)(\mathbf{r}_2-\mathbf{r}_1,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^2})</math>. А доказать нужно, что <math>\mathbf{P}=0</math>

Допустим, что в <math>\mathbf{P}</math> интегрирование производится сначала по контуру <math>C_2</math>. В этом случае возможно сделать замену переменной: <math>\mathbf{r}=\mathbf{r}_2 - \mathbf{r}_1</math>, где вектор <math>\mathbf{r}</math> изменяется по замкнутому контуру <math>C_2'</math>. Тогда можно записать

<math>\mathbf{P}=\oint\limits_{\Complex_1}\oint\limits_{\Complex_2'}\frac{\mathbf{r}}{|\mathbf r|^3}((\mathrm{d}\mathbf{r}_1,\mathrm{d}\mathbf{r})-3\frac{(\mathbf{r},\mathrm{d}\mathbf{r}_1)(\mathbf{r},\mathrm{d}\mathbf{r})}{|\mathbf r|^2}).</math>

Теперь при интегрировании по контуру <math>C_2'</math> получится некоторая векторная функция от <math>\mathbf{r}_1</math>, которая затем будет проинтегрирована по контуру <math>C_1</math>.

Можно доказать, что <math>\mathbf{P}</math> можно представить в виде <math>\mathbf{P}=-\oint\limits_{\Complex_1}\oint\limits_{\Complex_2'}\mathbf{r}(\mathrm{grad}(\mathrm{grad}(\frac{1}{|\mathbf{r}|}),\mathrm{d}\mathbf{r}),\mathrm{d}\mathbf{r}_1)</math>, где оба градиента берутся по переменной <math>\mathbf{r}</math>. Доказательство тривиально, достаточно провести процедуру взятия градиентов.

Далее по тождеству Лагранжа можно записать:

<math>\begin{align}

&\mathrm{grad}(\mathrm{grad}(\frac{1}{|\mathbf{r}|}),\mathrm{d}\mathbf{r})=\nabla(\mathrm{grad}(\frac{1}{|\mathbf{r}|}),\mathrm{d}\mathbf{r})=[\mathrm{d}\mathbf{r},[\nabla,\mathrm{grad}(\frac{1}{|\mathbf{r}|})]]+(\mathrm{d}\mathbf{r},\nabla)\mathrm{grad}(\frac{1}{|\mathbf{r}|})=\\ &=0+{\partial\mathrm{grad}(\frac{1}{|\mathbf{r}|})\over\partial x}\mathrm{d}x+{\partial\mathrm{grad}(\frac{1}{|\mathbf{r}|})\over\partial y}\mathrm{d}y+{\partial\mathrm{grad}(\frac{1}{|\mathbf{r}|})\over\partial z}\mathrm{d}z=\mathrm{d}(\mathrm{grad}(\frac{1}{|\mathbf{r}|}))\\ \end{align}. </math>

Здесь ноль получился как ротор градиентного поля. В итоге получился полный дифференциал векторной функции

<math>\mathrm{grad}(\frac{1}{|\mathbf{r}|}) </math>. Значит, теперь <math>\mathbf{P}</math> можно представить в виде <math>\mathbf{P}=-\oint\limits_{\Complex_1}\oint\limits_{\Complex_2'}\mathbf{r}(\mathrm{d}(\mathrm{grad}(\frac{1}{|\mathbf{r}|})),\mathrm{d}\mathbf{r}_1)</math>. Этот интеграл можно взять, проинтегрировав по отдельности каждую проекцию. Для примера проинтегрируем проекцию x.

<math>P_x=-\oint\limits_{\Complex_1}\oint\limits_{\Complex_2'}x(\mathrm{d}(\mathrm{grad}(\frac{1}{|\mathbf{r}|})),\mathrm{d}\mathbf{r}_1)=

-\oint\limits_{\Complex_1}(\mathrm{d}\mathbf{r}_1,\oint\limits_{\Complex_2'}\mathrm{d}(x\mathrm{grad}(\frac{1}{|\mathbf{r}|}))-\mathrm{grad}(\frac{1}{|\mathbf{r}|})\mathrm{d}x).</math>

Интеграл от полного дифференциала по любому замкнутому контуру равен нулю: <math>\oint\limits_{\Complex_2'}\mathrm{d}(x\mathrm{grad}(\frac{1}{|\mathbf{r}|}))=0</math>, поэтому <math>P_x</math> примет вид:

<math>P_x=\oint\limits_{\Complex_1}(\mathrm{d}\mathbf{r}_1,\oint\limits_{\Complex_2'}\mathrm{grad}(\frac{1}{|\mathbf{r}|})\mathrm{d}x)=

\oint\limits_{\Complex_1}(\mathrm{d}\mathbf{r}_1,\oint\limits_{\Complex_2}\frac{\mathbf{r}_1-\mathbf{r}_2}{|\mathbf{r}_1-\mathbf{r}_2|^3}\mathrm{d}x_2). </math>

На этот раз нужно интегрировать сначала по контуру <math>C_1</math>. Сделаем замену переменной: <math>\mathbf{r}=\mathbf{r}_1 - \mathbf{r}_2</math>, где вектор <math>\mathbf{r}</math> изменяется по замкнутому контуру <math>C_1'</math> . Тогда можно записать

<math>P_x=\oint\limits_{\Complex_2}\mathrm{d}x_2\oint\limits_{\Complex_1'}(\mathrm{d}\mathbf{r},\frac{\mathbf{r}}{|\mathbf{r}|^3})

=-\oint\limits_{\Complex_2}\mathrm{d}x_2\oint\limits_{\Complex_1'}(\mathrm{d}\mathbf{r},\mathrm{grad}(\frac{1}{|\mathbf{r}|}))=0 ,</math> где градиент опять берется по переменной <math>\mathbf{r}</math>.

Поскольку в выражении опять появилась циркуляция градиентного поля по замкнутому контуру, то <math>P_x=0</math>.

Аналогично можно записать для оставшихся двух проекций:

<math>P_y=-\oint\limits_{\Complex_1}\oint\limits_{\Complex_2'}y(\mathrm{d}(\mathrm{grad}(\frac{1}{|\mathbf{r}|})),\mathrm{d}\mathbf{r}_1)=

-\oint\limits_{\Complex_1}(\mathrm{d}\mathbf{r}_1,\oint\limits_{\Complex_2'}\mathrm{d}(y\mathrm{grad}(\frac{1}{|\mathbf{r}|}))-\mathrm{grad}(\frac{1}{|\mathbf{r}|})\mathrm{d}y)=0,</math>

<math>P_z=-\oint\limits_{\Complex_1}\oint\limits_{\Complex_2'}z(\mathrm{d}(\mathrm{grad}(\frac{1}{|\mathbf{r}|})),\mathrm{d}\mathbf{r}_1)=

-\oint\limits_{\Complex_1}(\mathrm{d}\mathbf{r}_1,\oint\limits_{\Complex_2'}\mathrm{d}(z\mathrm{grad}(\frac{1}{|\mathbf{r}|}))-\mathrm{grad}(\frac{1}{|\mathbf{r}|})\mathrm{d}z)=0.</math>

Значит, <math>\mathbf{P}=0</math>. Шаблон:Конец скрытого блока

Максвелл предложил наиболее общую форму закона взаимодействия двух элементарных проводников с током, в которой присутствует коэффициент k (он не может быть определен без некоторых предположений, базирующихся на экспериментах, в которых активный ток образует замкнутый контур):

<math>\mathrm{d}^2\mathbf{F}_{12}=\frac{1}{2}{\mu_0I_1I_2 \over 4\pi}\left(

\begin{align} &(3-k)\frac{(\mathbf{r}_1 - \mathbf{r}_2)(\mathrm{d}\mathbf{r}_1,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^3}-3(1-k)\frac{(\mathbf{r}_1 - \mathbf{r}_2)(\mathbf{r}_1-\mathbf{r}_2,\mathrm{d}\mathbf{r}_1)(\mathbf{r}_1-\mathbf{r}_2,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^5}-\\ &-(1+k)\frac{\mathrm{d}\mathbf{r}_1(\mathbf{r}_1 - \mathbf{r}_2,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^3}-(1+k)\frac{\mathrm{d}\mathbf{r}_2(\mathbf{r}_1 - \mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_1 - \mathbf{r}_2|^3}\\ \end{align}\right). </math>

В своей теории Ампер взял <math>k=-1</math>, Гаусс положил <math>k=+1</math>, как Грассман и Клаузиус. В неэфирных электронных теориях Вебер принял <math>k=-1</math>, а Риман принял <math>k=+1</math>. Ритц оставил <math>k</math> неопределенным в своей теории.

Для силы взаимодействия двух замкнутых контуров <math>C_1</math> и <math>C_2</math> с <math>k=+1</math> получается стандартное выражение. Шаблон:Начало скрытого блока

<math>\begin{align}

&\mathrm{d}^2\mathbf{F}_{12}={\mu_0I_1I_2 \over 4\pi}\left(\frac{(\mathbf{r}_1 - \mathbf{r}_2)(\mathrm{d}\mathbf{r}_1,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^3}-\frac{\mathrm{d}\mathbf{r}_1(\mathbf{r}_1 - \mathbf{r}_2,\mathrm{d}\mathbf{r}_2)}{|\mathbf r_1 - \mathbf{r}_2|^3}-\frac{\mathrm{d}\mathbf{r}_2(\mathbf{r}_1 - \mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_1 - \mathbf{r}_2|^3}\right)=\\ &={\mu_0I_1I_2 \over 4\pi}\left(\frac{[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2-\mathbf{r}_1]]}{|\mathbf r_1 - \mathbf{r}_2|^3}-\frac{\mathrm{d}\mathbf{r}_2(\mathbf{r}_1 - \mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_1 - \mathbf{r}_2|^3}\right)\\ \end{align}. </math>

Здесь первые два слагаемых были объединены по тождеству Лагранжа, третье же слагаемое при интегрировании по замкнутым контурам <math>C_1</math> и <math>C_2</math> даст ноль. Действительно,

<math>\oint\limits_{\Complex_2}\oint\limits_{\Complex_1}\frac{\mathrm{d}\mathbf{r}_2(\mathbf{r}_1 - \mathbf{r}_2,\mathrm{d}\mathbf{r}_1)}{|\mathbf r_1 - \mathbf{r}_2|^3}=

\left[\begin{align} &\mathbf{r}=\mathbf{r}_1-\mathbf{r}_2\\ &C_1\rightarrow C_1'\\ \end{align} \right]= \oint\limits_{\Complex_2}\mathrm{d}\mathbf{r}_2\oint\limits_{\Complex_1'}\frac{(\mathbf{r},\mathrm{d}\mathbf{r})}{|\mathbf r|^3}= \oint\limits_{\Complex_2}\mathrm{d}\mathbf{r}_2\oint\limits_{\Complex_1'}(\mathrm{grad}\frac{1}{|\mathbf{r}|},\mathrm{d}\mathbf{r})=0 .</math>

Таким образом получаем форму закона Ампера, данную Максвеллом:

<math>\mathbf{F}_{12}={\mu_0I_1I_2 \over 4\pi}\oint\limits_{\Complex_2}\oint\limits_{\Complex_1}\frac{[\mathrm{d}\mathbf{r}_2,[\mathrm{d}\mathbf{r}_1,\mathbf{r}_2-\mathbf{r}_1]]}{|\mathbf r_1 - \mathbf{r}_2|^3}

.</math> Шаблон:Конец скрытого блока

Хотя сила всегда одна и та же при различных <math>k</math>, момент сил может различаться. Например, при взаимодействии двух бесконечных проводов, скрещенных под прямым углом, сила взаимодействия будет равна нулю. Если рассчитать момент сил, действующий на каждый из проводов, по формуле Грассмана, ни один из них не будет равен нулю (хотя в сумме они будут равны нулю). Если же рассчитать момент сил по оригинальному закону Ампера, каждый из них будет равен нулю.

Закон Ампера как релятивистский эффект

Шаблон:Заготовка раздела Электрический ток в проводнике это движение зарядов относительно других зарядов. Данное движение приводит в СТО к эффектам, которые в классической физике объясняются отдельной физической сущностью — магнетизмом. В СТО данные эффекты не требуют введения магнитизма, и, в первом приближении, достаточно рассмотрения кулоновских взаимодействий. Для описания закона Ампера в рамках СТО металлический проводник описывают прямой с некоторой линейной плотностью положительных зарядов и прямой с подвижными зарядами. Заряд инвариантен, поэтому эффект Лоренцева сокращения длины создаёт разницу между плотностью положительных и отрицательных зарядов в изначально нейтральном металлическом проводе. Отсюда и возникновение силы притяжения или отталкивания между двумя проводниками с током.

См. также

• Сила Лоренца
• Закон Ампера о циркуляции