Глава 3 ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ВЕКТОРОВ
Глава 3
ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ВЕКТОРОВ
§1.Векторные интегралы; криволинейный интеграл от ?ш
§2.Поток векторного поля
§З. Поток из куба; теорема Гаусса
§4.Теплопроводность; уравнение диффузии
§5.Циркуляция векторного поля
§6. Циркуляция по квадрату; теорема Стокса
§7. Поля без роторов и поля без дивергенций
§8.Итоги
§ 1. Векторные интегралы;
криволинейный интеграл от Сш
В предыдущей главе мы видели, что брать производные от поля можно по-разному. Одни приводят к векторным полям; другие — к скалярным. Хотя формул было выведено довольно много, все их можно подытожить одним правилом: операторы д/дх, д/ду и д/dz суть три компоненты векторного оператора у. Сейчас нам хотелось бы лучше разобраться в значении производных поля. Тогда мы легче почувствуем смысл векторных уравнений поля.
Мы уже говорили о смысле операции градиента (С на скаляр). Обратимся теперь к смыслу операций вычисления дивергенции (расходимости) и ротора (вихря). Толкование этих величин лучше всего сделать на языке векторных интегралов и уравнений, связывающих эти интегралы. Но уравнения эти, к несчастью, нельзя вывести из векторной алгебры при помощи каких-либо легких подстановок, так что вам придется учить их как что-то новое. Одна из этих интегральных формул практически тривиальна, а другие две — нет. Мы выведем их и поясним их смысл. Эти формулы фактически являются математическими теоремами. Они полезны не только для толкования смысла и содержания понятий дивергенции и ротора, но и при разработке общих физических теорий. Для теории полей эти математические теоремы — все равно, что теорема о сохранении энергии для механики частиц. Подобные теоремы общего характера очень важны для более глубокого понимания физики. Но вы увидите, что, за немногими простыми исключениями, они мало что дают для решения задач. К счастью, как
раз в начале нашего курса многие простые задачи будут решаться именно этими тремя интегральными формулами.
Фиг. 3.1. Иллюстрация уравнения (3.1).
Вектор Сш вычисляется на линейном элементе ds.
Позже, однако, когда задачи станут потруднее, этими простыми методами мы больше обойтись не сможем.
Мы начнем с той интегральной формулы, куда входит градиент. Мысль, которая содержится в ней, очень проста: раз градиент есть быстрота изменения величины поля, то интеграл от этой быстроты даст нам общее изменение поля. Пусть у нас есть скалярное поле ш(x, у, z). В двух произвольных точках (1) и (2) функция я|з имеет соответственно значения ш(l) и ш(2). [Используется такое удобное обозначение: (2) означает точку (x2, y2, z2), а ш(2) это то же самое, что ш(x2, y2, z2).] Если Г (гамма) — произвольная кривая, соединяющая (1) и (2) (фиг. 3.1), то справедлива
Т Е О Р Е М А 1
(3.1)
Интеграл, стоящий здесь, это криволинейный интеграл от (1) до (2) вдоль кривой Г от скалярного произведения вектора Сш) на другой вектор, ds, являющийся бесконечно малым элементом дуги кривой Г [направленной от (1) к (2)].
Напомним, что мы понимаем под криволинейным интегралом. Рассмотрим скалярную функцию f(x, y, z) и кривую Г, соединяющую две точки (1) и (2). Отметим на кривой множество точек и соединим их хордами, как на фиг. 3.2. Длина i-й хорды равна Dsi,-, где i пробегает значения 1, 2, 3, .... Под криволинейным интегралом
подразумевается предел суммы
где fi — значение функции где-то на i-й хорде. Предел — это то,
Фиг. 3.2. Криволинейный интеграл есть предел суммы.
к чему стремится сумма, когда растет число хорд (разумным образом, чтобы даже наибольшее Dsi®0).
В нашей теореме (3.1) интеграл означает то же самое, хоть и выглядит чуть по-иному. Вместо f стоит другой скаляр — составляющая Сш в направлении Ds. Если обозначить эту составляющую через (Сш)t , то ясно, что
(3.2)
Интеграл в (3.1) и подразумевает сумму таких членов.
А теперь посмотрим, почему уравнение (3.1) правильно. В гл. 1 мы показали, что составляющая Сш вдоль малого смещения DR равна быстроте изменения ш в направлении DR. Рассмотрим хорду кривой Ds от точки (1) до точки а на фиг. 3.2. По нашему определению
(3.3)
Точно так же мы имеем
(3.4)
где, конечно, (Сш)1 означает градиент, вычисленный на хорде Ds1, a (Сш)2 — градиент, вычисленный на Ds2. Сложив (3.3) и (3.4), получим
(3.5)
Вы видите, что, продолжая прибавлять такие члены, мы получаем в итоге
(3.6)
Левая часть не зависит от того, как выбирать интервалы — лишь бы точки (1) и (2) были теми же самыми, так что справа можно перейти к пределу. Так доказывается уравнение (3.1). Из нашего доказательства видно, что, подобно тому как равенство не зависит и от выбора точек а, b, с,..., точно так же оно не зависит от выбора самой кривой Г. Теорема верна для любой кривой, соединяющей точки (1) и (2).
Два слова об обозначениях. Не будет путаницы, если писать для удобства
(3.7)
Тогда наша теорема примет такой вид:
Т Е О Р Е М А 1
(3.8)
§ 2. Поток векторного поля
Прежде чем рассматривать следующую интегральную теорему — теорему о дивергенции,— хотелось бы разобраться в одной идее, смысл которой в случае теплового потока легко усваивается. Мы уже определили вектор h, представляющий количество тепла, протекающего сквозь единицу площади в единицу времени. Положим, что внутри тела имеется замкнутая поверхность S, ограничивающая объем V (фиг. 3.3). Нам хочется узнать, сколько тепла вытекает из этого объема. Мы это можем, конечно, определить, рассчитав общий тепловой поток через поверхность S.
Обозначим через da площадь элемента поверхности. Этот символ заменяет двумерный дифференциал. Если, например, элемент окажется в плоскости ху, то
da = dxdy.
Позже мы будем иметь дело с интегралами по объему, и тогда будет удобно рассматривать элемент объема в виде малого кубика и обозначать его dV, подразумевая, что
dV= dxdydz.
Кое-кто пишет и d2a вместо da, чтобы напомнить самому себе, что это выражение второй степени; вместо dV пишут также d3V. Мы будем пользоваться более простыми обозначениями, а вы уж постарайтесь не забывать, что у площадей бывают два измерения, у объемов — три.
Фиг. 3.3. Замкнутая поверхность S, ограничивающая объем V.
Единичный вектор n — внешняя нормаль к элементу поверхности da, a h — вектор теплового потопа сквозь элемент поверхности.
Поток тепла через элемент поверхности da равен произведению площади на составляющую h, перпендикулярную к da. Мы уже определяли n — единичный вектор, направленный наружу перпендикулярно к поверхности (см. фиг. 3.3). Искомая составляющая h равна
hn=h·n, (3.9)
и тогда поток тепла сквозь da равен
h·nda. (3.10)
А весь поток тепла через произвольную поверхность получается суммированием вкладов от всех элементов поверхности. Иными словами, (3.10) интегрируется по всей поверхности
(3.11)
Этот интеграл мы будем называть «поток h через поверхность». Мы рассматриваем h как «плотность потока» тепла, а поверхностный интеграл от h — это общий поток тепла наружу через поверхность, т. е. тепловая энергия за единицу времени (джоули в секунду).
Мы хотим эту идею обобщить на случай, когда вектор не представляет собой потока какой-то величины, а, скажем, является электрическим полем. Конечно, если это будет нужно, то и в этом случае все равно можно проинтегрировать нормальную составляющую электрического поля по площади. Хотя теперь она уже не будет ничьим потоком, мы все еще будем употреблять слово
«поток». Мы будем говорить, что
(3.12)
Слову «поток» мы придаем смысл «поверхностного интеграла от нормальной составляющей» некоторого вектора. То же определение будет применяться и тогда, когда поверхность незамкнута.
А возвращаясь к частному случаю потока тепла, обратим внимание на те случаи, когда количество тепла сохраняется. Представьте себе, к примеру, материал, в котором после первоначального подогрева не происходит ни дальнейшего подвода, ни поглощения тепла. Тогда, если из какой-то замкнутой поверхности наружу поступает тепло, содержание тепла во внутреннем объеме должно падать. Так что в условиях, когда количество тепла сохраняется, мы говорим, что
(3.13)
где Q — запас тепла внутри S. Поток тепла из S наружу равен со знаком минус быстроте изменения со временем общего запаса тепла Q внутри S. Это толкование возможно оттого, что речь идет о потоке тепла, и оттого, что мы предположили, что количество тепла сохраняется. Конечно, если бы внутри объема создавалось тепло, нельзя было бы говорить о полном запасе тепла в нем.
Укажем теперь на интересное свойство потока любого вектора. Можете при этом представлять себе вектор потока тепла, но верно это будет и для произвольного векторного поля С. Представьте себе замкнутую поверхность S, окружающую объем V. Разобьем теперь объем на две части каким-то «сечением» (фиг. 3.4). Получились два объема и две замкнутые поверхности. Объем V1окружен поверхностью S1 , составленной частью из прежней поверхности Saи частью из «сечения» Sab. Объем V2 окружен поверхностью S2, составленной из остатка прежней поверхности (Sb) и замкнутой сечением Sab. Зададим вопрос: если мы рассчитаем поток через поверхность Slи прибавим к нему поток сквозь поверхность S2, будет ли их сумма равна потоку через первоначальную поверхность? Ответ гласит: «Да». Потоки через часть Sab , общую обеим поверхностям S1 и S2, в точности сократятся. Для потока вектора С из V1можно написать
(3.14)
а для потока из V2:
(3.15)
Заметьте, что во втором интеграле мы обозначили внешнюю нормаль к Sabбуквой n1, если она относится к S1 , и буквой n2, если она относится к S1(см. фиг. 3.4).
Фиг.3.4. Объем V, заключенный внутри поверхности S, делится на две части «сечением» (поверхностью Sab). Получается объем V1, окруженный поверхностью S1 = Sa+Sab, и объем V2, окруженный поверхностью S2= Sb+Sab.
Ясно, что n1=-n2, и тем
самым
(3.16)
Складывая теперь уравнения (3.14) и (3.15), мы убеждаемся, что сумма потоков сквозь S1и S2как раз равна сумме двух интегралов, которые, взятые вместе, дают поток через первоначальную поверхность S=Sa+Sb.
Мы видим, что поток через всю внешнюю поверхность S можно рассматривать как сумму потоков из тех двух частей, на которые разрезан объем. Эти части можно еще разрезать: скажем, V1разбить пополам. Опять придется прибегнуть к тем же доводам. Так что для любого способа разбиения первоначального объема всегда остается справедливым то свойство, что поток через внешнюю поверхность (первоначальный интеграл) равен сумме потоков изо всех внутренних частей.
§ 3. Поток из куба; теорема Гаусса
Рассмотрим теперь частный случай потока из маленького кубика и получим интересную формулу. Ребра куба пусть направлены вдоль осей координат (фиг. 3.5), координаты вершины, ближайшей к началу, суть х, у, z, ребро куба в направлении х равно Dx, ребро куба (а точнее, бруска) в направлении у равно Dy, а в направлении z равно Dz. Мы хотим найти поток векторного поля С через поверхность куба. Для этого вычислим сумму потоков через все шесть граней. Начнем с грани 1 (см. фиг. 3.5).
Поток наружу сквозь нее равен x-компоненте С с минусом, проинтегрированной по площади грани. Он равен
Так как куб считается малым, этот интеграл можно заменить значением Сх в центре грани 1эту точку мы обозначили (1), умноженным на площадь грани DyDz:
Поток сквозь 1 наружу=-Cx(1)DyDz.
Подобным же образом поток наружу через грань 2 равен
Поток сквозь 2 наружу= Cx(2) DyDz.
Фиг. 3.5. Вычисление потока вектора С из маленького кубика.
Величины Cx(1) и Сх(2), вообще говоря, слегка отличаются. Если Dх достаточно мало, то можно написать
Существуют, конечно, и другие члены, но в них входит (Dx)2 и высшие степени Dx, и в пределе малых Dx ими запросто можно пренебречь. Значит, поток сквозь грань 2 равен
Складывая потоки через грани 1 и 2, получаем
Производную нужно вычислять в центре грани 1, т. е. в точке [x, y+(Dy/2), z+(Dz/2)]. Но если куб очень маленький, мы сделаем пренебрежимую ошибку, если вычислим ее в вершине (х, у, z).
Повторяя те же рассуждения с каждой парой граней, мы получаем
а
А общий поток через все грани равен сумме этих членов. Мы обнаруживаем, что
Сумма производных в скобках как раз есть С·С, a DxDyDz=DV (объем куба). Таким образом, мы можем утверждать, что для бесконечно малого куба
(3.17)
Мы показали, что поток наружу с поверхности бесконечно малого куба равен произведению дивергенции вектора на объем куба. Теперь мы понимаем «смысл» понятия дивергенции вектора. Дивергенция вектора в точке Р — это поток С («истечение» С наружу) на единицу объема, взятого в окрестности Р. Мы связали дивергенцию С с потоком С из бесконечно малого объема. Для любого конечного объема можно теперь использовать факт, доказанный выше, что суммарный поток из объема есть сумма потоков из отдельных его частей. Иначе говоря, мы можем проинтегрировать дивергенцию по всему объему. Это приводит нас к теореме, согласно которой интеграл от нормальной составляющей произвольного вектора по замкнутой поверхности может быть представлен также в виде интеграла от дивергенции вектора по объему, заключенному внутри поверхности. Теорему эту называют теоремой Гаусса.
ТЕОРЕМА ГАУССА
(3.18)
где S — произвольная замкнутая поверхность, V — объем внутри нее.
§ 4, Теплопроводность; уравнение диффузии
Чтобы привыкнуть к теореме, разберем на примере, как ее применяют. Обратимся опять к распространению тепла, скажем в металле, рассмотрим совсем простой случай: все тепло было подведено к телу заранее, а теперь тело остывает. Источников тепла нет, так что количество тепла сохраняется. Сколько же тогда тепла должно оказаться внутри некоего определенного объема в какой-то момент времени? Оно должно уменьшаться как раз на то количество, которое уходит с поверхности объема. Если этот объем — маленький кубик, то,
следуя формуле (3.17), можно написать
(3.19)
Но это должно быть равно скорости потери тепла внутренностью куба. Если q — количество тепла в единице объема, то весь
запас тепла в кубе qDV, а скорость потерь равна
(3.20)
Сравнивая (3.19) с (3.20), мы видим, что
(3.21)
Внимательно вглядитесь в форму этого уравнения; эта форма часто встречается в физике. Она выражает закон сохранения, в данном случае закон сохранения тепла. В уравнении (3.13) тот же физический факт был выражен иначе. Там была интегральная форма уравнения сохранения, а здесь у нас — дифференциальная форма.
Уравнение (3.21) мы получили, применив формулу (3.13) к бесконечно малому кубу. Можно пойти и по другому пути. Для большого объема F, ограниченного поверхностью S, закон Гаусса утверждает, что
(3.22)
Интеграл в правой части можно, используя (3.21), преобразовать как раз к виду -dQ/dt, и тогда получится формула (3.13).
Теперь рассмотрим другой случай. Представим, что в блоке вещества имеется маленькая дырочка, а в ней идет химическая реакция, генерирующая тепло. Можно еще представить себе, что к маленькому сопротивлению внутри блока подведены проволочки, нагревающие его электрическим током. Предположим, что тепло создается практически в одной точке, a W представляет собой энергию, возникающую в этой точке за секунду. В остальной же части объема пусть тепло сохраняется и, кроме того, пусть генерация тепла началась так давно, что сейчас температура уже нигде больше не изменяется. Вопрос состоит в следующем: как выглядит вектор потока тепла h в разных точках металла? Сколько тепла перетекает через каждую точку?
Мы знаем, что если мы будем интегрировать нормальную составляющую h по замкнутой поверхности, окружающей источник, то всегда получится W. Все тепло, которое генерируется в точечном источнике, должно протечь через поверхность, ибо предполагается, что поток постоянен. Перед нами трудная задача отыскания такого векторного поля, которое после интегрирования по произвольной поверхности всегда давало бы W. Но мы сравнительно легко можем найти это поле, выбрав поверхность специального вида. Возьмем сферу радиусом R с центром в источнике и предположим, что поток тепла радиален (фиг. 3.6). Интуиция нам подсказывает, что h должен быть направлен по радиусу, если блок вещества велик и мы не приближаемся слишком близко к его границам; кроме того, величина h во всех точках сферы должна быть одинакова.
Фиг. 3.6. В области близ точечного источника поток тепла направлен по радиусу наружу.
Вы видите, что для получения ответа к нашим выкладкам мы вынуждены добавить известное количество домыслов (обычно это именуют «физической интуицией»).
Когда h радиально и сферически симметрично, интеграл от нормальной компоненты h по площади поверхности вычисляется очень просто, потому что нормальная компонента в точности равна h и постоянна. Площадь, по которой интегрируется, равна 4pR2. Тогда мы получаем
(3.23)
где h — абсолютная величина h. Этот интеграл должен быть равен W — скорости, с которой источник генерирует тепло. Получается
или
(3.24)
где, как всегда, er обозначает единичный вектор в радиальном направлении. Этот результат говорит нам, что h пропорционален W и меняется обратно квадрату расстояния от источника.
Только что полученный результат применим к потоку тепла вблизи точечного источника тепла. Теперь попытаемся найти уравнения, которые справедливы для теплового потока самого общего вида (придерживаясь единственного условия, что количество тепла должно сохраняться). Нас будет интересовать только то, что происходит в местах вне каких-либо источников или поглотителей тепла.
Дифференциальное уравнение распространения тепла было получено в гл. 2. В соответствии с уравнением (2.44),
(3.25)
(Помните, что это соотношение приближенное, но для некоторых веществ вроде металлов выдерживается неплохо.) Применимо оно, конечно, только в тех частях тела, где нет ни выделения, ни поглощения тепла. Выше мы вывели другое соотношение (3.21), которое выполняется тогда, когда количество тепла сохраняется. Если мы это уравнение скомбинируем с (3.25), то получим
или
(3.26)
если c — величина постоянная. Напоминаю, что q — это количество тепла в единичном объеме, а С·С = С2 — лапласиан, т. е. оператор
Если мы теперь сделаем еще одно допущение, сразу возникнет одно очень интересное уравнение. Допустим, что температура материала пропорциональна содержанию тепла в единице объема, т. е. что у материала есть определенная удельная теплоемкость. Когда это допущение верно (а так бывает часто), мы можем писать
или
(3.27)
Скорость изменения количества тепла пропорциональна скорости изменения температуры. Коэффициент пропорциональности cvздесь — удельная теплоемкость на единицу объема материала. Подставляя (3.27) в (3.26), получаем
(3.28)
Мы обнаружили, что быстрота изменения со временем температуры Т в каждой точке пропорциональна лапласиану от Т, т. е. вторым производным от пространственного распределения температур. Мы имеем дифференциальное уравнение — в переменных х, у, z и t — для температуры Т.
Дифференциальное уравнение (3.28) называется уравнением диффузии тепла, или уравнением теплопроводности. Часто его пишут в виде
(3.29)
где D — постоянная. Она равна x/cv.
Уравнение диффузии появляется во многих физических задачах: о диффузии газов, диффузии нейтронов и других. Мы уже обсуждали физику некоторых таких явлений в вып. 4, гл. 43. Теперь перед вами полное уравнение, описывающее диффузию в самом общем виде. Немного позже мы займемся решением уравнения диффузии, чтобы посмотреть, как распределяется температура в некоторых случаях. А сейчас вернемся к рассмотрению других теорем о векторных полях.
§ 5. Циркуляция векторного поля
Мы хотим теперь рассмотреть ротор поля примерно так же, как рассматривали дивергенцию. Мы вывели теорему Гаусса, вычисляя интеграл по поверхности, хотя с самого начала отнюдь не было ясно, что мы будем иметь дело с дивергенцией. Откуда же можно было знать, что для ее получения надо интегрировать по поверхности? Этот результат вовсе не был очевиден. И столь же неоправданно мы сейчас вычислим другую характеристику поля и покажем, что она связана с ротором. На этот раз мы подсчитаем так называемую циркуляцию векторного поля. Если С — произвольное векторное поле, мы возьмем его составляющую вдоль кривой линии и проинтегрируем эту составляющую по замкнутому контуру. Интеграл называется циркуляцией векторного поля по контуру. Мы уже раньше в этой главе рассматривали криволинейный интеграл от Сy. Сейчас мы то же самое проделываем с произвольным векторным полем С.
Пусть Г — произвольный замкнутый контур в пространстве (воображаемый, разумеется). Пример мы видим на фиг. 3.7. Криволинейный интеграл от касательной составляющей С по контуру записывается в виде
(3.30)
Фиг. 3.7. Циркуляция вектора С но кривой Г есть криволинейный интеграл от Сt (касательной составляющей С).
Фиг. 3.8. Циркуляция по всему контуру есть сумма циркуляции по двум контурам: Г1=Гa+Гab и Г2=Гь+ГaЬ.
Заметьте, что интеграл берется по всему замкнутому пути, а не от одной точки до другой, как это делалось раньше. Кружочек на знаке интеграла должен нам напоминать об этом. Такой интеграл называется циркуляцией векторного поля по кривой Г. Название связано с тем, что первоначально так рассчитывали циркуляцию жидкости. Но название это, как и поток, было распространено на любые поля, даже такие, в которых «циркулировать» нечему.
Забавляясь той же игрой, как с потоком, мы можем показать, что циркуляция вдоль контура есть сумма циркуляции вдоль двух меньших контуров. Положим, что, соединив две точки (1) и (2) первоначальной кривой с помощью некоторой линии, мы разбили кривую на два контура Г1 и Г2 (фиг. 3.8). Контур Г1 состоит из Гa — части первоначальной кривой слева от (1) и (2) и «соединения» Гab. Контур Г2 состоит из остатка первоначальной кривой плюс то же соединение.
Циркуляция вдоль Г1 есть сумма интеграла вдоль Га и вдоль ГаЬ. Точно так же и циркуляция вдоль Г2 есть сумма двух частей, одной вдоль Гb, другой — вдоль Гab. Интеграл вдоль Гab для кривой Г2 имеет знак, противоположный тому знаку, который он имел для кривой Г1, потому что направления обхода противоположны (в обоих криволинейных интегралах направления поворота нужно брать одни и те же).
Повторяя прежние аргументы, мы можем убедиться, что сумма двух циркуляции даст как раз криволинейный интеграл вдоль первоначальной кривой Г. Интегралы по Гab сократятся. Циркуляция по одной части плюс циркуляция вдоль другой равняется циркуляции вдоль внешней линии. Этот процесс разрезания большого контура на меньшие можно продолжить. При сложении циркуляции по меньшим контурам смежные части будут сокращаться, так что сумма их сведется к циркуляции вдоль единственного первоначального контура.
Теперь предположим, что первоначальный контур — это граница некоторой поверхности. Существует бесконечное множество поверхностей, границей которых служит все тот же первоначальный замкнутый контур. Наши результаты не зависят, однако, от выбора этих поверхностей. Сперва мы разобьем наш первоначальный контур на множество малых контуров, лежащих на выбранной поверхности (фиг. 3.9).
Фиг. 3.9. Некоторая поверхность, ограниченная контуром Г.
Поверхность разделена на множество маленьких участков, каждый примерно в форме квадрата. Циркуляция по Г есть сумма циркуляции по всем маленьким контурам.
Какой бы ни была форма поверхности, но если малые контуры сделать достаточно малыми, всегда можно будет считать каждый из них замыкающим достаточно плоскую поверхность. Кроме того, каждый из них можно сделать очень похожим на квадрат. И циркуляцию вокруг большого контура Г можно найти, подсчитав циркуляции по всем квадратикам и сложив их.
§ 6. Циркуляция по квадрату; теорема Стокса
Как нам найти циркуляцию по каждому квадратику? Все зависит от того, как квадрат ориентирован в пространстве. Если ориентация его подобрана удачно (к примеру, он расположен в одной из координатных плоскостей), то расчет сделать легко. Так как пока мы не делали никаких предположений об ориентации осей координат, мы вправе выбрать их так, чтобы тот квадратик, на котором мы сосредоточили свое внимание, оказался в плоскости ху (фиг. 3.10). Если результат расчета будет выражен в векторной записи, то можно говорить, что он не зависит от специальной ориентации плоскости.
Фиг. 3.10. Вычисление циркуляции вектора С по маленькому квадратику.
Мы хотим теперь найти циркуляцию поля С по нашему квадратику. Криволинейное интегрирование легко проделать, если квадратик сделать таким маленьким, чтобы вектор С на протяжении одной стороны квадрата менялся очень мало. (Это предположение выполняется тем лучше, чем меньше квадратик, так что на самом деле речь идет о бесконечно малых квадратиках.) Отправившись от точки (х, у) — в левом нижнем углу фигуры,— мы обойдем весь квадрат в направлении, указанном стрелками. Вдоль первой стороны, отмеченной цифрой 1, касательная составляющая равна Сх(1),а расстояние равно Dх. Первая часть интеграла равна Cx(1) Dх, Вдоль второй стороны получится Су(2) Dy. Вдоль третьей мы получим -Сx(3) Dх, а вдоль четвертой -Cy(4) Dy. Знаки минус стоят потому, что нас интересует касательная составляющая в направлении обхода. Весь криволинейный интеграл тогда равен
(3.31) Посмотрим теперь на первый и третий члены. В сумме они дают
(3.32)
Вам может показаться, что в принятом приближении эта разность равна нулю. Но это только в первом приближении. Мы можем быть более точными и учесть скорость изменения Сх, тогда можно написать
(3.33)
В следующем приближении пойдут члены с (Dy)2, но ввиду того, что нас интересует в конечном счете только предел при Dy®0, то этими членами можно пренебречь. Подставляя (3.33) в (3.32), мы получаем
(3.34)
Производную при нашей точности можно брать в точке (х, у). Подобным же образом оставшиеся два члена можно написать в виде
(3.35)
и циркуляция по квадрату тогда равна
(3.36)
Интересно, что в скобках получилась как раз z-компонента ротора С. Множитель DxDy— это площадь нашего квадрата. Так что циркуляцию (3.36) можно записать как
(СXС)zDа.
Но z-компонента это на самом деле компонента, нормальная к элементу поверхности.
Фиг. 3.11. Циркуляция вектора С по Г равна поверхностному интегралу от нормальной компоненты вектора СXС.
Поэтому циркуляцию вокруг квадратика можно задать и в инвариантной векторной записи:
(3.37)
В результате имеем: циркуляция произвольного вектора С по бесконечно малому квадрату равна произведению составляющей ротора С, нормальной к поверхности, на площадь квадрата.
Циркуляция по произвольному контуру Г легко теперь может быть увязана с ротором векторного поля. Натянем на контур любую подходящую поверхность S (как на фиг. 3.11) и сложим между собой циркуляции по всем бесконечно малым квадратикам на этой поверхности. Сумма может быть записана в виде интеграла. В итоге получится очень полезная теорема, называемая теоремой Стокса [по имени физика Стокса].
ТЕОРЕМА СТОКСА
(3.38)
где S — произвольная поверхность, ограниченная контуром Г. Теперь мы должны ввести соглашение о знаках. На приведенной ранее фиг. 3.10 ось z показывает на вас, если система координат «обычная», т. е. «правая». Когда в криволинейном интеграле мы брали «положительное» направление обхода, то циркуляция получилась равной z-компоненте вектора СXC. Обойди мы контур в другую сторону, мы бы получили противоположный знак. Как вообще узнавать, какое направление надо выбирать для положительного направления «нормальной» компоненты вектора СXC? «Положительную» нормаль надо всегда связывать с направлением так, как это сделано было на фиг. 3.10. Общий случай показан на фиг. 3.11.
Для запоминания годится «правило правой руки». Если вы расположите пальцы вашей правой руки вдоль контура Г, чтобы кончики пальцев показывали положительное направление обхода ds, то ваш большой палец укажет направление положительной нормали к поверхности S.
§ 7. Поля без роторов и поля без дивергенций
Теперь перейдем к некоторым следствиям из наших новых теорем. Возьмем сперва случай вектора, у которого ротор (или вихрь) повсюду равен нулю. Тогда, согласно теореме Стокса, циркуляция по любому контуру — нуль. Если мы теперь возьмем две точки (1) и (2) на замкнутой кривой (фиг. 3.12), то криволинейный интеграл от касательной составляющей от (1) до (2) не должен зависеть от того, какой из двух возможных путей мы выбрали. Можно заключить, что интеграл от (1) до (2) может зависеть только от расположения этих точек, т. е. что он есть функция только от координат точек. Той же логикой мы пользовались в вып. 1, гл. 14, когда доказывали, что если интеграл от некоторой величины по произвольному замкнутому контуру всегда равен нулю, то этот интеграл может быть представлен в виде разности функций от координат двух концов. Это позволило нам изобрести понятие потенциала. Мы доказали далее, что векторное поле является градиентом этой потенциальной функции [см. вып. 1, уравнение (14.13)].
Отсюда следует, что любое векторное поле, у которого ротор равен нулю, может быть представлено в виде градиента некоторой скалярной функции, т. е. если АXС=0 всюду, то существует некоторая функция y (пси), для которой С = Сy (полезное представление). Значит, мы можем, если захотим, описывать этот род векторных полей при помощи скалярных полей.
Теперь докажем еще одну формулу. Пусть у нас есть произвольное скалярное поле j (фи). Если взять его градиент Сj, то интеграл от этого вектора по любому замкнутому контуру должен быть равен нулю.
Фиг. 3.12. Если СXС равно нулю, то циркуляция по замкнутой привой Г тоже нуль.
Криволинейный интеграл от C·ds на участке от (1) до (2) вдоль а должен быть равен интегралу вдоль b.
Фиг. 3.13. При переходе к пределу замкнутой поверхности поверхностный интеграл от (СXС)n должен обратиться в нуль.
Криволинейный интеграл от точки (1) до точки (2) равен [j(2)- j (1)]. Если точки (1) и (2) совпадают, то наша теорема 1 [уравнение (3.8)] сообщает нам, что криволинейный интеграл равен нулю:
Применяя теорему Стокса, можно заключить, что
по любой поверхности. Но раз интеграл по любой поверхности равен нулю, то подынтегральное выражение обязано быть равно нулю. Значит,
Тот же результат был доказан в гл. 2, § 7 при помощи векторной алгебры.
Рассмотрим теперь частный случай, когда на маленький контур Г натягивается большая поверхность S (фиг. 3.13). Мы хотим посмотреть, что случится, когда контур стянется в точку. Тогда граница поверхности исчезнет, а сама поверхность превратится в замкнутую. Если вектор С повсюду конечен, то криволинейный интеграл по Г должен стремиться к нулю по мере стягивания контура (интеграл в общем-то пропорционален длине контура Г, а она убывает). Согласно теореме Стокса, поверхностный интеграл от (СXС)n тоже должен убывать до нуля. Когда поверхность замыкается, то при этом каким-то образом в интеграл привносится вклад, который взаимно уничтожается с накопленным
ранее. Получается новая теорема:
Это нас должно заинтересовать, потому что у нас уже есть одна теорема о поверхностном интеграле векторного поля. Такой поверхностный интеграл равен объемному интегралу от дивергенции вектора, как это следует из теоремы Гаусса [уравнение (3.18)]. Теорема Гаусса в применении к СXС утверждает, что
(3.40)
Мы заключаем, что интеграл в правой части должен обращаться в нуль и что это должно быть справедливо для любого векторного поля С, каким бы оно ни было.
(3.41)
Раз уравнение (3.41) выполнено для произвольного объема, то в каждой точке пространства подынтегральное выражение должно быть равно нулю. Получается, что
Тот же результат был выведен с помощью векторной алгебры в гл. 2, § 7. Теперь мы начинаем понимать, как все здесь прилажено одно к другому.
§ 8. Итоги
Подытожим теперь все, что мы узнали о векторном исчислении. Вот самые существенные моменты гл. 2 и 3.
1. Операторы д/дх, д/ду и д/dz можно рассматривать как три составляющих векторного оператора С; формулы, следующие из векторной алгебры, остаются правильными, если этот оператор считать вектором
2. Разность значений скалярного поля в двух точках равна криволинейному интегралу от касательной составляющей градиента этого скаляра вдоль любой кривой, соединяющей первую точку со второй:
(3.42)
Поверхностный интеграл от нормальной составляющей произвольного вектора по замкнутой поверхности равен интегралу от дивергенции вектора по объему, лежащему внутри этой поверхности:
(3.43)
4. Криволинейный интеграл от касательной составляющей произвольного вектора по замкнутому контуру равен поверхностному интегралу от нормальной составляющей ротора этого вектора по произвольной поверхности, ограниченной этим контуром
(3.44)
От редактора. Начиная изучать уравнения Максвелла, обратите внимание, что в этих лекциях используется рационализированная система единиц, в которой уравнения Максвелла не содержат коэффициентов.
Более привычно вместо e0 писать e0/4p; тогда коэффициент 4p исчезает из знаменателя закона Кулона (4.9), но появляется в правых частях уравнений (4.1) и (4.3). [Улучшение системы единиц всегда похоже на Тришкин кафтан.]
Кроме того, вместо квадрата скорости света вводят новую постоянную m0=e0/c2, называют ее (довольно неудачно) магнитной проницаемостью пустоты (так же, как e0 называют диэлектрической проницаемостью пустоты) и обозначают e0E=D, B=m0H.
Будьте осторожны! Проверяйте систему единиц, когда открываете новую книгу об электричестве!
*Конечно, последующие выкладки в равной мере относятся и к любому прямоугольному параллелепипеду.