FEMM 5

Дивергенция и поток

Определить дивергенцию как предел отношения потока к объёму. Вычислять дивергенцию в декартовых и цилиндрических координатах. Распознавать поля с положительной, отрицательной и нулевой дивергенцией

Поток, интегралы и дивергенция. Аналитический эталон. Справа сечение z = 0. Поток через все шесть граней куба вычислен аналитически: 3 × 2³ = 24. Координаты условные; пространственные размеры в миллиметрах не задаются.
Поток, интегралы и дивергенция1 — замкнутая поверхность куба; n — внешняя нормальАналитический эталон. Справа сечение z = 0. Поток через все шесть граней куба вычислен аналитически: 3 × 2³ = 24. Координаты условные; пространственные размеры в миллиметрах не задаются.Открыть SVG целикомРезультат отдельно
Предварительные понятия

Где рождается поле

Линии электрического поля начинаются на положительных зарядах и заканчиваются на отрицательных; линии магнитной индукции не начинаются и не заканчиваются нигде; линии плотности тока в стационарном режиме замкнуты, а при зарядке конденсатора обрываются на его пластинах, где накапливается заряд. Во всех этих утверждениях речь идёт об одном: есть ли в данной точке источник поля — место, где поле возникает или исчезает. Величина, количественно описывающая плотность источников, называется дивергенцией.

Ключ к определению — поток через замкнутую поверхность, введённый в уроке об интегралах. Если из малого объёма выходит больше поля, чем входит, внутри есть источник; если входит больше, чем выходит, — сток. Разделив избыток выходящего потока на объём и стянув объём к точке, получим локальную характеристику.

Определение

Дивергенция

Пусть F(r)\vec F(\ur) — дифференцируемое векторное поле, VV — объём, содержащий точку r\ur и ограниченный замкнутой поверхностью SS с внешней нормалью n\un. Дивергенцией поля в точке r\ur называется предел ∇⋅F=∇⋅F=lim⁡V→01V∮SF⋅n dS.\nabla\cdot \vec F=\nabla\cdot\vec F=\lim_{V\to0}\frac{1}{V}\oint_S\vec F\cdot\un\,\dS . Это скаляр. Единица — [единица F\vec F]/м. Предел не зависит от формы объёма, стягиваемого к точке.

Определение не упоминает координат, поэтому дивергенция — истинный скаляр, одинаковый в любой системе координат. Его знак имеет ясный смысл: ∇⋅F>0\nabla\cdot \vec F>0 — в точке источник (поле «рождается»), ∇⋅F<0\nabla\cdot \vec F<0 — сток, ∇⋅F=0\nabla\cdot \vec F=0 — поле проходит через окрестность точки, не возникая и не исчезая. Поле, у которого дивергенция равна нулю всюду, называют соленоидальным (бездивергентным).

Вывод формулы в декартовых координатах

Возьмём в качестве VV малый прямоугольный параллелепипед с центром в точке (x,y,z)(x,y,z) и рёбрами dx,dy,dz\dd x,\dd y,\dd z, параллельными осям. Его шесть граней попарно перпендикулярны осям координат.

Дивергенция в декартовых координатах

Рассмотрим две грани, перпендикулярные оси xx. На правой грани (центр в x+dx/2x+\dd x/2) внешняя нормаль n=ex\un=\vec e_x, нормальная составляющая Fx(x+dx/2,y,z)F_x(x+\dd x/2,y,z), площадь dy dz\dd y\,\dd z. На левой грани n=−ex\un=-\vec e_x, вклад равен −Fx(x−dx/2,y,z) dy dz-F_x(x-\dd x/2,y,z)\,\dd y\,\dd z. Сумма по двум граням: [Fx(x+dx2,y,z)−Fx(x−dx2,y,z)]dy dz≈∂Fx∂x dx dy dz.\bigl[F_x(x+\tfrac{\dd x}{2},y,z)-F_x(x-\tfrac{\dd x}{2},y,z)\bigr]\dd y\,\dd z\approx\frac{\partial F_x}{\partial x}\,\dd x\,\dd y\,\dd z . Аналогично для граней, перпендикулярных осям yy и zz. Полный поток через поверхность параллелепипеда ∮SF⋅n dS≈(∂Fx∂x+∂Fy∂y+∂Fz∂z)dx dy dz.\oint_S\vec F\cdot\un\,\dS\approx\Bigl(\frac{\partial F_x}{\partial x}+\frac{\partial F_y}{\partial y}+\frac{\partial F_z}{\partial z}\Bigr)\dd x\,\dd y\,\dd z . Разделив на объём dV=dx dy dz\dV=\dd x\,\dd y\,\dd z и перейдя к пределу, получаем ∇⋅F=∂Fx∂x+∂Fy∂y+∂Fz∂z.\nabla\cdot \vec F=\frac{\partial F_x}{\partial x}+\frac{\partial F_y}{\partial y}+\frac{\partial F_z}{\partial z} .

Вывод показывает, что в поток через пару противоположных граней входит не само поле, а его приращение между гранями: однородное поле, каким бы сильным оно ни было, даёт нулевой поток через замкнутую поверхность и нулевую дивергенцию. Формальная запись ∇⋅F\nabla\cdot\vec F подчёркивает, что дивергенция — «скалярное произведение» оператора ∇=ex∂x+ey∂y+ez∂z\nabla=\vec e_x\partial_x+\vec e_y\partial_y+\vec e_z\partial_z на вектор поля. В декартовом базисе это буквально так, потому что базисные векторы постоянны.

Дивергенция в цилиндрических координатах

В цилиндрических координатах базис зависит от точки, и простая формула «сумма производных компонент» неверна. Повторим вывод для элементарного объёма, ограниченного поверхностями rr и r+drr+\dd r, α\alpha и α+dα\alpha+\dd\alpha, zz и z+dzz+\dd z; его объём dV=r dr dα dz\dV=r\,\dd r\,\dd\alpha\,\dd z.

Дивергенция в цилиндрических координатах

Грани r=constr=\mathrm{const} имеют разную площадь: внутренняя r dα dzr\,\dd\alpha\,\dd z, внешняя (r+dr) dα dz(r+\dd r)\,\dd\alpha\,\dd z. Поток через них [(r+dr)Fr(r+dr)−rFr(r)]dα dz≈∂(rFr)∂r dr dα dz.\bigl[(r+\dd r)F_r(r+\dd r)-rF_r(r)\bigr]\dd\alpha\,\dd z\approx\frac{\partial(rF_r)}{\partial r}\,\dd r\,\dd\alpha\,\dd z . Грани α=const\alpha=\mathrm{const} имеют одинаковую площадь dr dz\dd r\,\dd z, поток ∂Fα∂α dα dr dz\dfrac{\partial F_\alpha}{\partial\alpha}\,\dd\alpha\,\dd r\,\dd z; грани z=constz=\mathrm{const} — площадь r dr dαr\,\dd r\,\dd\alpha, поток ∂Fz∂z r dr dα dz\dfrac{\partial F_z}{\partial z}\,r\,\dd r\,\dd\alpha\,\dd z. Складывая и деля на dV\dV: ∇⋅F=1r∂(rFr)∂r+1r∂Fα∂α+∂Fz∂z.\nabla\cdot \vec F=\frac{1}{r}\frac{\partial(rF_r)}{\partial r}+\frac{1}{r}\frac{\partial F_\alpha}{\partial\alpha}+\frac{\partial F_z}{\partial z} .

Множитель rr под знаком производной отражает рост площади боковой поверхности с радиусом: радиальное поле с постоянной компонентой Fr=F0F_r=F_0 не является бездивергентным — через внешнюю грань выходит больше, чем входит через внутреннюю, и ∇⋅F=F0/r\nabla\cdot \vec F=F_0/r. Бездивергентным будет поле Fr∝1/rF_r\propto1/r, у которого убывание модуля точно компенсирует рост площади; это поле заряженной нити. Для осесимметричных задач (∂/∂α=0\partial/\partial\alpha=0) остаются первое и третье слагаемые; подробный вывод в произвольных криволинейных координатах — в [Борисенко] и [Кочин].

Дивергенция в уравнениях поля

Все локальные законы сохранения — а электродинамика и теплопроводность пронизаны ими — записываются через дивергенцию.

Уравнение Название Смысл
∇⋅D=ρ\nabla\cdot \uD=\rho теорема Гаусса (дифференциальная форма) источники электрического смещения — свободные заряды, Кл/м³
∇⋅B=0\nabla\cdot \uB=0 соленоидальность индукции магнитных зарядов нет; линии B\uB не имеют концов
∇⋅J=−∂ρ∂t\nabla\cdot \uJ=-\dfrac{\partial\rho}{\partial t} уравнение непрерывности ток вытекает из точки лишь за счёт убыли заряда в ней; в стационарном режиме ∇⋅J=0\nabla\cdot \uJ=0
∇⋅q=qV−ρmc∂T∂t\nabla\cdot \uq=q_V-\rho_mc\dfrac{\partial T}{\partial t} баланс энергии тепловой поток рождается объёмным тепловыделением qVq_V (Вт/м³) и убылью внутренней энергии (ρm\rho_m — плотность, cc — удельная теплоёмкость); в стационарном режиме ∇⋅q=qV\nabla\cdot \uq=q_V

Каждое из этих уравнений — утверждение о балансе в бесконечно малом объёме: «вытекло минус втекло равно рождено минус накоплено». Их интегральные аналоги — закон Гаусса, закон сохранения заряда, тепловой баланс — получаются из дифференциальных по теореме Остроградского–Гаусса, которую мы докажем в уроке об интегральных теоремах.

Лаборатория

В лаборатории поле выбирается из заранее заданного набора, а в качестве контрольного объёма служит куб с центром (x,y,z)(x,y,z) и ребром aa. На гранях куба показаны стрелки нормальной составляющей поля: входящие — синие, выходящие — красные. Для каждой из шести граней выводится поток, затем суммарный поток Φ\Phi, объём V=a3V=a^3, отношение Φ/V\Phi/V, аналитическое значение ∇⋅F\nabla\cdot \vec F в центре куба и их разность. Поток вычисляется численно — квадратурой Гаусса по граням аналитически заданного поля.

Что стоит проделать:

Примеры полей с положительной, отрицательной и нулевой дивергенцией

Радиальное поле и сток

F=r=xex+yey+zez\vec F=\ur=x\vec e_x+y\vec e_y+z\vec e_z: ∇⋅F=1+1+1=3\nabla\cdot \vec F=1+1+1=3. Поле исходит из начала координат и растёт по модулю с расстоянием; каждый кубик пространства — источник одинаковой «производительности». Поток через сферу радиуса RR: Fn=RF_n=R, площадь 4πR24\pi R^2, Φ=4πR3=3V\Phi=4\pi R^3=3V — согласуется с определением. Для стока F=−r\vec F=-\ur всё меняет знак: ∇⋅F=−3\nabla\cdot \vec F=-3.

Расширение вдоль одной оси

F=xex\vec F=x\vec e_x: ∇⋅F=1\nabla\cdot \vec F=1. Линии поля — параллельные прямые, они не расходятся, но модуль растёт вдоль линии: из куба через правую грань выходит больше, чем входит через левую. Дивергенция положительна, хотя геометрически линии «не расходятся».

Сдвиг и вращение

F=yex\vec F=y\vec e_x: ∇⋅F=∂y/∂x=0\nabla\cdot \vec F=\partial y/\partial x=0. F=−yex+xey\vec F=-y\vec e_x+x\vec e_y (твёрдотельное вращение): ∇⋅F=∂(−y)/∂x+∂x/∂y=0\nabla\cdot \vec F=\partial(-y)/\partial x+\partial x/\partial y=0. В обоих случаях модуль поля вдоль линии не меняется, а линии не сходятся и не расходятся: ни источников, ни стоков. Оба поля, однако, не являются «простыми» — у них отличен от нуля ротор, которому посвящён следующий урок.

Точечный источник

F=rr3\vec F=\dfrac{\ur}{r^3}, где здесь r=∣r∣=x2+y2+z2r=|\ur|=\sqrt{x^2+y^2+z^2}. Компонента Fx=x r−3F_x=x\,r^{-3}, и ∂Fx∂x=r−3+x⋅(−3)r−4xr=1r3−3x2r5.\frac{\partial F_x}{\partial x}=r^{-3}+x\cdot(-3)r^{-4}\frac{x}{r}=\frac{1}{r^3}-\frac{3x^2}{r^5}. Суммируя три компоненты: ∇⋅F=3r3−3(x2+y2+z2)r5=3r3−3r3=0\nabla\cdot \vec F=\dfrac{3}{r^3}-\dfrac{3(x^2+y^2+z^2)}{r^5}=\dfrac{3}{r^3}-\dfrac{3}{r^3}=0 при r≠0r\ne0. Между тем поток через любую сферу с центром в начале координат равен (1/R2)⋅4πR2=4π(1/R^2)\cdot4\pi R^2=4\pi. Противоречия нет: всё поле рождается в единственной точке r=0r=0, где формула теряет смысл. Говорят, что дивергенция этого поля есть «дельта-функция» — величина, равная нулю везде, кроме точки, но имеющая конечный интеграл по любому объёму, содержащему её. Это точная математическая модель точечного заряда: E=q4πε0rr3\uE=\dfrac{q}{4\pi\varepsilon_0}\dfrac{\ur}{r^3}, ∇⋅E=0\nabla\cdot \uE=0 вне заряда, а поток E\uE через охватывающую поверхность равен q/ε0q/\varepsilon_0 [Тамм].

Заряженный слой

В плоском слое с объёмной плотностью заряда ρ=10−6\rho=10^{-6} Кл/м³ (вакуум) поле направлено по оси xx и по уравнению ∇⋅E=ρ/ε0\nabla\cdot \uE=\rho/\varepsilon_0 имеет производную dExdx=ρε0=10−68,854⋅10−12=1,13⋅105 В/м2.\frac{\dd E_x}{\dd x}=\frac{\rho}{\varepsilon_0}=\frac{10^{-6}}{8{,}854\cdot10^{-12}}=1{,}13\cdot10^{5}\ \text{В/м}^2 . Если в середине слоя (x=0x=0) из симметрии Ex=0E_x=0, то Ex(x)=ρx/ε0E_x(x)=\rho x/\varepsilon_0 и на расстоянии x=1x=1 мм от середины Ex=1,13⋅105⋅10−3=113E_x=1{,}13\cdot10^5\cdot10^{-3}=113 В/м. Поле нарастает линейно: каждый слой заряда добавляет к потоку свою долю.

Тепловыделение в стержне

В круглом стержне с равномерным объёмным тепловыделением qVq_V плотность теплового потока радиальна: q=qr(r)er\uq=q_r(r)\vec e_r. Стационарный баланс ∇⋅q=qV\nabla\cdot \uq=q_V в цилиндрических координатах даёт 1rd(rqr)dr=qV\dfrac{1}{r}\dfrac{\dd(rq_r)}{\dd r}=q_V, откуда rqr=qVr2/2rq_r=q_Vr^2/2 и qr=qVr/2q_r=q_Vr/2 (при условии конечности qrq_r на оси). Проверка подстановкой: 1rddr(qVr22)=1r qVr=qV\dfrac{1}{r}\dfrac{\dd}{\dd r}\Bigl(\dfrac{q_Vr^2}{2}\Bigr)=\dfrac{1}{r}\,q_Vr=q_V. При qV=4⋅106q_V=4\cdot10^6 Вт/м³ (нагруженный медный проводник) на радиусе r=2r=2 мм: qr=4⋅106⋅2⋅10−3/2=4,0⋅103q_r=4\cdot10^6\cdot2\cdot10^{-3}/2=4{,}0\cdot10^{3} Вт/м². Поток растёт от оси к поверхности, собирая тепло, выделенное внутри.

Типичные ошибки

  • «Линии расходятся — значит, дивергенция положительна». Контрпример: поле заряженной нити F=r⊥/r2=(xex+yey)/(x2+y2)\vec F=\ur_\perp/r^2=(x\vec e_x+y\vec e_y)/(x^2+y^2). Линии расходятся от оси, но ∂Fx/∂x=1/r2−2x2/r4\partial F_x/\partial x=1/r^2-2x^2/r^4, и сумма с yy-слагаемым равна 2/r2−2(x2+y2)/r4=02/r^2-2(x^2+y^2)/r^4=0. Расхождение линий компенсируется убыванием модуля. Так же устроено поле r/r3\ur/r^3 в трёхмерном случае. Дивергенция определяется потоком, а не рисунком.
  • «Линии параллельны — дивергенция нуль». Контрпример F=xex\vec F=x\vec e_x с ∇⋅F=1\nabla\cdot \vec F=1: модуль растёт вдоль прямых линий.
  • Сумма производных компонент в цилиндрических координатах. Запись ∂Fr/∂r+∂Fα/∂α+∂Fz/∂z\partial F_r/\partial r+\partial F_\alpha/\partial\alpha+\partial F_z/\partial z неверна и даже не имеет единой размерности; правильно 1r∂(rFr)/∂r+1r∂Fα/∂α+∂Fz/∂z\frac1r\partial(rF_r)/\partial r+\frac1r\partial F_\alpha/\partial\alpha+\partial F_z/\partial z.
  • Дивергенция как вектор. Дивергенция — скаляр; «направление дивергенции» бессмысленно.
  • Применение формулы в особой точке. В точке, где поле не дифференцируемо (точечный заряд, ось заряженной нити), дивергенция как функция не определена; источник там описывается интегрально — зарядом внутри поверхности.

Вопросы и упражнения

  1. Вычислите дивергенцию полей F1=(x2, y2, z2)\vec F_1=(x^2,\,y^2,\,z^2), F2=(yz, zx, xy)\vec F_2=(yz,\,zx,\,xy), F3=(x2, 0, 0)\vec F_3=(x^2,\,0,\,0) в точке (1, 2, 3)(1,\,2,\,3). Какое из них соленоидально?
  2. Поле F=F0 er\vec F=F_0\,\vec e_r (F0=constF_0=\mathrm{const}) в цилиндрических координатах. Найдите дивергенцию и объясните результат через потоки через внутреннюю и внешнюю грани элементарного объёма. При каком законе Fr(r)F_r(r) дивергенция равна нулю?
  3. В лаборатории поместите куб с ребром a=1a=1 и центром в (1, 0, 0)(1,\,0,\,0) в поле F=x2ex\vec F=x^2\vec e_x. Вычислите вручную потоки через грани x=0,5x=0{,}5 и x=1,5x=1{,}5 и отношение Φ/V\Phi/V. Сравните с ∇⋅F\nabla\cdot \vec F в центре.
  4. Плотность тока в проводнике J=J0(1−r2/a2)ez\uJ=J_0(1-r^2/a^2)\vec e_z. Чему равна ∇⋅J\nabla\cdot \uJ? Какому режиму это соответствует? Может ли стационарный ток иметь ∇⋅J≠0\nabla\cdot \uJ\ne0?
  5. На пластине конденсатора в процессе зарядки накапливается заряд. В каком смысле ∇⋅J≠0\nabla\cdot \uJ\ne0 на поверхности пластины, если внутри металла и внутри диэлектрика ∇⋅J=0\nabla\cdot \uJ=0?
  6. Поле B\uB некоего устройства во внешней области аппроксимировано выражением B=B0(xex+yey−2zez)/L\uB=B_0(x\vec e_x+y\vec e_y-2z\vec e_z)/L. Проверьте, допустимо ли такое поле физически.

Ответы к пунктам 1, 3 и 6

1. ∇⋅F1=2x+2y+2z=12\nabla\cdot \vec F_1=2x+2y+2z=12; ∇⋅F2=0+0+0=0\nabla\cdot \vec F_2=0+0+0=0 — соленоидально всюду; ∇⋅F3=2x=2\nabla\cdot \vec F_3=2x=2.

3. Через грань x=1,5x=1{,}5 (нормаль +ex+\vec e_x): Fx=2,25F_x=2{,}25, поток 2,25⋅1=2,252{,}25\cdot1=2{,}25. Через грань x=0,5x=0{,}5 (нормаль −ex-\vec e_x): −0,25-0{,}25. Остальные грани — нуль. Φ=2,0\Phi=2{,}0, V=1V=1, Φ/V=2,0\Phi/V=2{,}0; ∇⋅F=2x=2\nabla\cdot \vec F=2x=2 в центре — совпадение точное.

6. ∇⋅B=B0(1+1−2)/L=0\nabla\cdot \uB=B_0(1+1-2)/L=0 — поле соленоидально и условию ∇⋅B=0\nabla\cdot \uB=0 не противоречит. Это поле квадрупольного типа: линии сходятся к плоскости z=0z=0 вдоль оси zz и расходятся в этой плоскости.

Итоги

Далее — ротор и циркуляция: вторая локальная характеристика векторного поля, измеряющая не источники, а вихри.

Применение в FEMM 5