Криволинейный интеграл от Ñψ

В предыдущей главе мы видели, что брать производные от поля можно по-разному. Одни приводят к векторным полям; другие — к скалярным. Хотя формул было выведено до­вольно много, все их можно подытожить одним правилом: операторы д/дх, д/ду и д/dz суть три компоненты векторного оператора у. Сейчас нам хотелось бы лучше разобраться в значении производных поля. Тогда мы легче почувствуем смысл векторных уравнений поля.

Мы уже говорили о смысле операции градиен­та (Ñ на скаляр). Обратимся теперь к смыслу опе­раций вычисления дивергенции (расходимости) и ротора (вихря). Толкование этих величин лучше всего сделать на языке векторных интегралов и уравнений, связывающих эти интегралы. Но уравнения эти, к несчастью, нельзя вывести из векторной алгебры при помощи каких-либо легких подстановок, так что вам придется учить их как что-то новое. Одна из этих инте­гральных формул практически тривиальна, а другие две — нет. Мы выведем их и поясним их смысл. Эти формулы фактически являются математическими теоремами. Они полезны не только для толкования смысла и содержания понятий дивергенции и ротора, но и при раз­работке общих физических теорий. Для теории полей эти математические теоремы — все равно, что теорема о сохранении энергии для меха­ники частиц. Подобные теоремы общего харак­тера очень важны для более глубокого пони­мания физики. Но вы увидите, что, за немногими простыми исключениями, они мало что дают для решения задач. К счастью, как

раз в начале нашего курса многие простые задачи будут решаться именно этими тремя интегральными формулами.

 

Фиг. 3.1. Иллюстрация уравнения (3.1).

Вектор Ñψ вычисляется на линей­ном элементе ds.

Позже, однако, когда задачи станут потруднее, этими простыми методами мы больше обойтись не сможем.

Мы начнем с той интегральной формулы, куда входит гра­диент. Мысль, которая содержится в ней, очень проста: раз градиент есть быстрота изменения величины поля, то интеграл от этой быстроты даст нам общее изменение поля. Пусть у нас есть скалярное поле ψ(x, у, z). В двух произвольных точках (1) и (2) функция я|з имеет соответственно значения ψ(l) и ψ(2). [Используется такое удобное обозначение: (2) означает точку (x₂, y₂, z₂), а ψ(2) это то же самое, что ψ(x₂, y₂, z₂).] Если Г (гамма) — произвольная кривая, соединяющая (1) и (2) (фиг. 3.1), то справедлива

Т Е О Р Е М А 1

 

 

(3.1)

Интеграл, стоящий здесь, это криволинейный интеграл от (1) до (2) вдоль кривой Г от скалярного произведения вектора Ñψ) на другой вектор, ds, являющийся бесконечно малым элемен­том дуги кривой Г [направленной от (1) к (2)].

Напомним, что мы понимаем под криволинейным интегралом. Рассмотрим скалярную функцию f(x, y, z) и кривую Г, соеди­няющую две точки (1) и (2). Отметим на кривой множество то­чек и соединим их хордами, как на фиг. 3.2. Длина i-й хорды равна Ds_i,-, где i пробегает значения 1, 2, 3, .... Под криволиней­ным интегралом

 

подразумевается предел суммы

где f_i — значение функции где-то на i-й хорде. Предел — это то,

 

Фиг. 3.2. Криволинейный интег­рал есть предел суммы.

к чему стремится сумма, когда растет число хорд (разумным об­разом, чтобы даже наибольшее Ds_i®0).

В нашей теореме (3.1) интеграл означает то же самое, хоть и выглядит чуть по-иному. Вместо f стоит другой скаляр — составляющая Ñψ в направлении Ds. Если обозначить эту составляющую через (Ñψ)_t , то ясно, что

 

(3.2)

Интеграл в (3.1) и подразумевает сумму таких членов.

А теперь посмотрим, почему уравнение (3.1) правильно. В гл. 1 мы показали, что составляющая Ñψ вдоль малого сме­щения DRравна быстроте изменения ψ в направлении DR. Рассмотрим хорду кривой Ds от точки (1) до точки а на фиг. 3.2. По нашему определению

 

(3.3)

Точно так же мы имеем

 

(3.4)

где, конечно, (Ñψ)₁ означает градиент, вычисленный на хорде Ds₁, a (Ñψ)₂ — градиент, вычисленный на Ds₂. Сложив (3.3) и (3.4), получим

 

(3.5)

Вы видите, что, продолжая прибавлять такие члены, мы полу­чаем в итоге

 

 

(3.6)

Левая часть не зависит от того, как выбирать интервалы — лишь бы точки (1) и (2) были теми же самыми, так что справа можно перейти к пределу. Так доказывается уравнение (3.1). Из нашего доказательства видно, что, подобно тому как ра­венство не зависит и от выбора точек а, b, с,..., точно так же оно не зависит от выбора самой кривой Г. Теорема верна для любой кривой, соединяющей точки (1) и (2).

Два слова об обозначениях. Не будет путаницы, если писать для удобства

 

 

 

(3.7)

Тогда наша теорема примет такой вид:

Т Е О Р Е М А 1

 

 

(3.8)