Трактат об электричестве и магнетизме

L=

s

0

R cos

ds

называется линейным интегралом от R вдоль s.

Это выражение может быть записано так:

L=

s

0

X

dx

ds

+

Y

dy

ds

+

Z

dz

ds

ds

,

где X, Y, Z - составляющие R, параллельные осям x, y, z соответственно.

В общем случае этот интеграл для различных линий, проведённых между A и P различен. Но когда внутри некоторой области величина

Xdx

+

Ydy

+

Zdz

=

– D

является полным дифференциалом, то интеграл L становится равным L=_A– _P. при этом он одинаков для любых двух путей произвольной формы между точками A и P при условии, что форма одного пути может быть преобразована в форму другого посредством непрерывного перемещения без выхода за пределы данной области.

О потенциалах

Величина есть скалярная функция положения точки, и поэтому она не зависит от направлений отсчёта. Её называют Потенциальной Функцией; а про векторную величину с компонентами X, Y, Z говорят, что она имеет потенциал , если

X

=-

d

dx

,

Y

=-

d

dy

,

Z

=-

d

dz

.

Если потенциальная функция существует, то поверхности, на которых потенциал постоянен, называются Эквипотенциальными. В любой точке такой поверхности направление R совпадает с нормалью к ней; если обозначить через n нормаль в точке P то R=-(d/dn).

Метод представления составляющих вектора через первые производные по координатам от некоторой функции этих координат был предложен Лапласом ⁴ при разработке теории притяжений. Само название «Потенциал» впервые было дано этой функции Грином ⁵, который положил её в основу своего подхода к изучению электричества. Эта работа Грина осталась незамеченной математиками вплоть до 1846 года, а к тому времени большая часть содержащихся в ней важных теорем была уже переоткрыта Гауссом, Шалем (Chasles), Штурмом и Томсоном ⁶.

⁴M'ec. C'eleste, liv. III.

⁵ Essay on the Application of Mathematical Analisys to the Theories of Electricity and Magnetism, 1828. Reprinted in Crelle’s Journal and in Mr. Ferrers’ edition of Green’s Works.

⁶ Thomson and Tait, Natural Philosophy, § 483.

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

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

Как мы видели, составляющая вектора в каком-либо направлении равна взятой с обратным знаком первой производной от потенциала по координате в этом направлении.

Пусть i, j, k - три единичных вектора, образующих между собой прямые углы, а X, Y, Z - параллельные им составляющие вектора F тогда

F

=

iX

+

jY

+

kZ

.

(1)

Согласно сказанному выше, если является потенциалом, то

F

=-

i

d

dx

+

j

d

dy

+

k

d

dz

.

(2)

Используем теперь запись для оператора

i

d

dx

+

j

d

dy

+

k

d

dz

(3)

тогда

F

=-

.

(4)

Значок можно понимать как указание измерить скорость увеличения в каждом из трёх направлений прямоугольной системы координат и затем, считая найденные величины векторами, объединить их в единый вектор. Это и есть как раз то, что предписывается делать в соответствии с выражением (3). Но мы можем считать также, что это заставляет нас отыскать сначала направление наибыстрейшего увеличения а затем построить в этом направлении некоторый вектор, представляющий скорость такого возрастания.

Ламе в своём «Трактате об обратных функциях» (М. Lame, Trait'e des Fonctions Inverses) для выражения величины этой наибольшей скорости роста пользовался термином «дифференциальный параметр», однако ни сам этот термин, ни принятый Ламе способ употребления его не свидетельствуют о том, что данная величина характеризуется как направлением, так и модулем. В тех редких случаях, когда я должен буду обращаться к этому соотношению как к чисто геометрическому, я буду называть вектор F пространственной вариацией скалярной функции , используя эти слова для того, чтобы отметить и направление, и величину наиболее быстрого убывания .

18. Есть, однако, такие случаи, когда условия

dZ

dy

–

dY

dz

=0,

dX

dz

–

dZ

dx

=0,

dY

dx

–

dX

dy

=0,

Являющиеся условиями того, что выражение Xdx+Ydy+Zdz образует полный дифференциал, выполняются внутри некоторой области пространства, и, несмотря на это, линейный интеграл от A до P может быть различен для двух кривых, каждая из которых целиком лежит внутри данной области. Это может произойти в том случае, когда область имеет форму кольца, а две линии, соединяющие A с P, проходят по противоположным сегментам этого кольца. В этом случае нельзя преобразовать непрерывным изменением один путь в другой без выхода за пределы этой области.

Здесь мы пришли к представлениям, относящимся к Геометрии Положения, топологии, предмет которой изучен ещё мало, хотя важность его была отмечена Лейбницем и наглядно пояснена Гауссом. Наиболее полное его рассмотрение дано Дж. Б. Листингом ⁷.

⁷Der Census Ra"umlicher Complexe, Gott. Abh., Bd. X, S. 97 (1861).

Пусть в пространстве имеется p точек и проведено l линий произвольной формы, соединяющих эти точки, причём никакие две линии не пересекаются друг с другом и ни одна точка не остаётся изолированной. Фигуру, составленную из линий таким способом, мы будем называть Диаграммой (графом). Для того чтобы образовать связанную систему, достаточно для соединения p точек взять p-1 таких линий. Каждая новая линия завершит петлю или замкнутый путь, или, как мы будем называть его, Цикл. Таким образом, число независимых циклов в диаграмме равно =l-p+1.