где 𝑑ν - элемент внутренней нормали к граничной поверхности, первый поверхностный интеграл берётся по граничной поверхности, а остальные - по различным диафрагмам, каждый элемент поверхности которых входит в интеграл один раз с нормалью, направленной в соответствии с положительным направлением контура.
Необходимость такой модификации теоремы для многосвязных областей была впервые показана Гельмгольцем 2, а первое её применение к рассматриваемой теореме принадлежит Томсону 3.
2 «Über Integrate der hydrodynamischen Gleichungen, welche den Wirbelbewegungen entsprechen», Crelle, 1858. Англ, перевод проф. Тэта; Phil. Mag., 1867 (I).
3 «On Vortex Motion», Trans. R. S. Edin., XXV, part. I, p. 241 (1867).
96 г. Предположим теперь вместе с Грином, что одна из функций, скажем Φ, не удовлетворяет тому условию, что сама функция и её первые производные не обращаются в бесконечность внутри заданной области. Пусть она обращается в бесконечность в точке 𝑃 этой области, и только в ней, причём вблизи точки 𝑃 функция Φ равна Φ0+𝑒/𝑟, где Φ0 - конечная и непрерывная величина, а 𝑟 - расстояние от 𝑃. Такой случай имеет место, если Φ - потенциал количества электричества 𝑒, сосредоточенного в точке 𝑃, и любого распределения электричества с объёмной плотностью, нигде не обращающейся в бесконечность в рассматриваемой области.
Предположим теперь, что вокруг точки 𝑃 как центра описана сфера очень малого радиуса 𝑎. Поскольку в области вне сферы, но внутри поверхности 𝑠, функция Φ никаких особенностей не имеет, то мы можем применить к ней Теорему Грина, не забыв учесть при поверхностном интегрировании и поверхность малой сферы.
При вычислении объёмных интегралов следует из интеграла, взятого по всей области, вычесть интеграл по объёму малой сферы.
Но интеграл
∭
Φ∇²Ψ
𝑑𝑥
𝑑𝑦
𝑑𝑧
по объёму сферы не может по абсолютной величине превосходить
(∇²Ψ)
𝑔
∭
Φ
𝑑𝑥
𝑑𝑦
𝑑𝑧
,
т.е.
(∇²Ψ)
𝑔
⎛
⎜
⎝
2π𝑒𝑎²
+
4
3
π𝑎³
Φ
0
⎞
⎟
⎠
,
где индекс 𝑔 какой-либо величины означает наибольшее численное значение этой величины внутри рассматриваемой сферы.
Таким образом, этот объёмный интеграл порядка 𝑎² и может быть опущен при стремлении 𝑎 к нулю.
Второй объёмный интеграл
∭
Ψ∇²Φ
𝑑𝑥
𝑑𝑦
𝑑𝑧
мы будем считать взятым по объёму между малой сферой и поверхностью 𝑠 так что область интегрирования не включает точки, где Φ обращается в бесконечность.
Поверхностный интеграл
∬
Φ
𝑑Φ
𝑑ν
𝑑𝑠'
для сферы не может численно превосходить
Φ
𝑔
∬
𝑑Ψ
𝑑ν
𝑑𝑠'
Но по Теореме III, п. 21,
∬
𝑑Ψ
𝑑ν
𝑑𝑠
=-
∭
∇²Ψ
𝑑𝑥
𝑑𝑦
𝑑𝑧
,
так как здесь 𝑑ν отсчитывается наружу от сферы. Этот интеграл не может численно превосходить (∇²Ψ)𝑔⋅4/3⋅π𝑎³, а Φ𝑔 на поверхности примерно равно 𝑒/𝑎 так что
∬
Φ
𝑑Ψ
𝑑ν
𝑑𝑠
не может численно превосходить
4
3
π𝑎²𝑒
(∇²Ψ)
𝑔
,
т.е. он порядка 𝑎² и в пределе при 𝑎, стремящемся к нулю, может быть опущен.
Однако поверхностный интеграл по сфере, стоящий в правой части равенства (4):
∬
Ψ
𝑑Φ
𝑑ν
𝑑𝑠'
,
не обращается в нуль, так как
∬
𝑑Φ
𝑑ν
𝑑𝑠'
=
-4π𝑒
,
𝑑ν отсчитывается наружу от сферы).
Обозначая через Ψ0 значение Ψ в точке 𝑃, получим
∬
Ψ
𝑑Φ
𝑑ν
𝑑𝑠
=
-4π𝑒
Ψ
0
.
Таким образом, уравнение (4) принимает вид
∬
Ψ
𝑑Φ
𝑑ν
𝑑𝑠
-
∭
Ψ∇²Φ
𝑑ς
-4π𝑒
Ψ
0
=
=
∬
Φ
𝑑Ψ
𝑑ν
𝑑𝑠
-
∭
Φ∇²Ψ
𝑑ς
.
(4b)