Вы можете подумать, что это нуль, потому что оно похоже на
а это всегда равно нулю (векторное произведение двух одинаковых векторов А×А всегда нуль). Но в нашем примере два оператора ∇ отнюдь не одинаковы! Первый действует на одну функцию, ψ, а второй — на другую, φ. И хотя мы изображаем их одним и тем же значком ∇, они все же должны рассматриваться как разные операторы. Направление ∇ψ зависит от функции ψ, а направление ∇φ — от функции φ, так что они не обязаны быть параллельными:
К счастью, к таким выражениям мы прибегать не будем. (Но сказанное нами не меняет того факта, что ∇φ×∇ψ=0 в любом скалярном поле: здесь обе ∇ действуют на одну и ту же функцию.) Подвох номер два (он тоже в нашем курсе не встретится): правила, которые мы здесь наметили, выглядят просто и красиво только в прямоугольных координатах. Например, если мы хотим написать x-компоненту выражения ∇2h, то сразу пишем
(2.60)
Но это выражение не годится, если мы ищем радиальную компоненту ∇2h. Она не равна ∇2hr. Дело в том, что в алгебре векторов все их направления полностью определены. А когда мы имеем дело с векторными полями, то их направления в разных местах различны. Когда мы пробуем описать векторное поле, например, в полярных координатах, то «радиальное» направление меняется от точки к точке. И начав дифференцировать компоненты, вы запросто можете попасть в беду. Даже в постоянном векторном поле радиальная компонента от точки к точке меняется.
Обычно безопаснее и проще всего держаться прямоугольных координат. Но стоит упомянуть и одно исключение: поскольку лапласиан ∇2 есть скаляр, то можно писать его в любой системе координат (скажем, в полярных координатах). Но так как это дифференциальный оператор, то применять его надо только к векторам с фиксированным направлением компонент, т. е. к заданным в прямоугольных координатах. Итак, расписывая наши векторные дифференциальные уравнения покомпонентно, мы будем предварительно выражать все наши векторные поля через их х-, у-, z-компоненты.
Глава 3 ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ ВЕКТОРОВ
§ 1. Векторные интегралы; криволинейный интеграл от ∇ψ
В предыдущей главе мы видели, что брать производные от поля можно по-разному. Одни приводят к векторным полям; другие — к скалярным. Хотя формул было выведено довольно много, все их можно подытожить одним правилом: операторы ∂/∂x, ∂/∂y и ∂/∂z суть три компоненты векторного оператора ∇. Сейчас нам хотелось бы лучше разобраться в значении производных поля. Тогда мы легче почувствуем смысл векторных уравнений поля.
Мы уже говорили о смысле операции градиента (∇ на скаляр). Обратимся теперь к смыслу операций вычисления дивергенции (расходимости) и ротора (вихря). Толкование этих величин лучше всего сделать на языке векторных интегралов и уравнений, связывающих эти интегралы. Но уравнения эти, к несчастью, нельзя вывести из векторной алгебры при помощи каких-либо легких подстановок, так что вам придется учить их как что-то новое. Одна из этих интегральных формул практически тривиальна, а другие две — нет. Мы выведем их и поясним их смысл. Эти формулы фактически являются математическими теоремами. Они полезны не только для толкования смысла и содержания понятий дивергенции и ротора, но и при разработке общих физических теорий. Для теории полей эти математические теоремы — все равно что теорема о сохранении энергии для механики частиц. Подобные теоремы общего характера очень важны для более глубокого понимания физики. Но вы увидите, что, за немногими простыми исключениями, они мало что дают для решения задач. К счастью, как раз в начале нашего курса многие простые задачи будут решаться именно этими тремя интегральными формулами. Позже, однако, когда задачи станут потруднее, этими простыми методами мы больше обойтись не сможем.
Фиг. 3.1. Иллюстрация уравнения (3.1). Вектор ∇ψ вычисляется на линейном элементе ds.
Мы начнем с той интегральной формулы, куда входит градиент. Мысль, которая содержится в ней, очень проста: раз градиент есть быстрота изменения величины поля, то интеграл от этой быстроты даст нам общее изменение поля. Пусть у нас есть скалярное поле ψ(x, у, z). В двух произвольных точках (1) и (2) функция ψ имеет соответственно значения ψ(1) и ψ(2). [Используется такое удобное обозначение: (2) означает точку (x2, y2, z2), а ψ(2) это то же самое, что ψ(x2, y2, z2).] Если Γ (гамма) — произвольная кривая, соединяющая (1) и (2) (фиг. 3.1), то справедлива