Пусть имеется система 𝑁 проводников в вакууме с зарядами {𝑞𝑖} и потенциалами {𝜑𝑖}. Покажем, что потенциал 𝑖-го проводника является линейной комбинацией зарядов всех проводников:
𝜑𝑖=𝑁∑𝑗=1𝛼𝑖𝑗𝑞𝑗,(1)
где потенциальные коэффициенты𝛼𝑖𝑗 определяются только взаимным расположением и формой проводников. Обратно, заряды проводников представляются в виде линейной комбинации потенциалов:
𝑞𝑖=𝑁∑𝑗=1𝐶𝑖𝑗𝜑𝑗,(2)
где ёмкостные коэффициенты𝐶𝑖𝑗 также определяются только геометрией задачи. Причём эти коэффициенты определяются однозначно.
Основным фактом, на котором строится доказательство, является теорема единственности решения задачи Дирихле для уравнения Лапласа.
Добавим небольшой комментарий к формулировке теоремы единственности. Область Ω может быть неограниченной. В этом случае для обеспечения единственности решения уравнения (3) граничное условие (4) необходимо дополнить условием поведения решения на бесконечности:
lim𝑟→∞𝑓(𝒓)=0.(5)
Следует подчеркнуть, что теорема единственности — это строго доказываемое в математике утверждение, которое справедливо всякий раз, когда корректно сформулированы граничные условия типа (4) или (5).
Отметим также, что для уравнения Лапласа может быть сформулирована так называемая задача Неймана. Она отличается от задачи Дирихле типом граничных условий: в задаче Неймана на границе задаётся производная функции 𝑓, а не сама функция. Для задачи Неймана также можно сформулировать и доказать теорему единственности решения.
Конструирование решения
В качестве области Ω, в которой предлагается решать задачу Дирихле для уравнения Лапласа, рассмотрим всё пространство вне проводников между их поверхностями. Эта область неограничена на бесконечности, а её внутренними границами являются поверхности всех 𝑁 проводников.
Рассмотрим некоторую безразмерную функцию 𝑓𝑖(𝒓), для которой граничные условия сформулируем следующим образом: пусть эта функция стремится к нулю на бесконечности, принимает значение 1 на поверхности 𝑖-го проводника и обращается в нуль на поверхностях всех остальных проводников. Пусть 𝑓𝑖(𝒓) в области Ω удовлетворяет уравнению Лапласа. Вопрос о существовании1 такой функции мы пока не обсуждаем, допустим, что такая функция существует.
Важнейшим следствием теоремы единственности является то, что функция 𝑓𝑖(𝒓) определена однозначно. Это означает, что для данной конфигурации проводников в пространстве существует один и только один набор базисных функций {𝑓𝑖(𝒓)}, таких что любая 𝑓𝑖 удовлетворяет уравнению Лапласа в области Ω, равна нулю на поверхности любого проводника кроме 𝑖-го и равна 1 на поверхности 𝑖-го проводника. Причём вид этих функций зависит исключительно от геометрии системы.
Любое произвольное распределение потенциала 𝜑(𝒓), удовлетворяющее уравнению Лапласа в Ω и принимающее значения 𝜑𝑗 на проводниках, в силу линейности уравнения Лапласа может быть представлено в виде суперпозиции этих базисных функций:
𝜑(𝒓)=𝑁∑𝑗=1𝜑𝑗⋅𝑓𝑗(𝒓).(6)
С физической точки зрения рассуждения, приведённые выше, сводятся к следующему. Пусть все проводники, кроме 𝑖-го, заземлены, а потенциал 𝑖-го проводника задан. Тогда, очевидно, существует функция, описывающая распределение потенциала в пространстве вне проводников; согласно теореме единственности (поскольку потенциал должен удовлетворять уравнению Лапласа) эта функция определяется однозначно. Переход к базисным функциям 𝑓𝑖(𝒓) обусловлен необходимостью показать, что это распределение представляется в виде 𝜑𝑖⋅𝑓𝑖(𝒓), где 𝑓𝑖(𝒓) зависит только от геометрии системы.
Таким образом, кроме прочего снимается вопрос существования набора базисных функций {𝑓𝑖(𝒓)} для заданной геометрии проводников. Очевидно, существует электрическое поле, создаваемое заряженным до известного потенциала 𝑖-ым проводником при условии, что все остальные заземлены.
Связь между потенциалами и зарядами (2) устанавливается через теорему Гаусса. Заряд 𝑖-го проводника определяется потоком вектора напряжённости через его поверхность 𝑆𝑖:
𝑞𝑖=𝜀0∮𝑆𝑖𝑬⋅d𝑺=−𝜀0∮𝑆𝑖𝛁𝜑⋅d𝑺.(7)
Подставляя в (7) разложение (6), получаем:
𝑞𝑖=𝑁∑𝑗=1𝜑𝑗⎛⎜
⎜
⎜
⎜
⎜⎝−𝜀0∮𝑆𝑖𝛁𝑓𝑗⋅d𝑺⎞⎟
⎟
⎟
⎟
⎟⎠.(8)
Величины в скобках зависят только от вида базисных функций 𝑓𝑗(𝒓) и формы поверхности интегрирования, иначе говоря, определяются исключительно геометрией системы. Обозначив их через 𝐶𝑖𝑗, приходим к системе уравнений (2):
𝑞𝑖=𝑁∑𝑗=1𝐶𝑖𝑗𝜑𝑗,где𝐶𝑖𝑗=−𝜀0∮𝑆𝑖𝛁𝑓𝑗⋅d𝑺.(9)
Чтобы перейти к искомой формуле (1), перепишем полученную систему уравнений в матричном виде:
𝒒=ˆ𝑪⋅𝝋,(10)
где 𝒒 и 𝝋 — столбцы зарядов и потенциалов соответственно. Из физических соображений (теорема взаимности Грина и положительность энергии поля) следует, что матрица ёмкостных коэффициентов ˆ𝑪 является симметричной и положительно определённой. Следовательно, она невырождена, и для неё существует обратная матрица:
ˆ𝜶=ˆ𝑪−1.
Умножая векторное уравнение (10) на ˆ𝜶, получаем однозначную связь потенциалов с зарядами:
𝝋=ˆ𝜶⋅𝒒⇒𝜑𝑖=𝑁∑𝑗=1𝛼𝑖𝑗𝑞𝑗.
Таким образом, потенциальные коэффициенты 𝛼𝑖𝑗 являются элементами матрицы, обратной матрице ёмкостных коэффициентов. Поскольку элементы ˆ𝑪 зависят только от геометрии системы (через потоки градиентов базисных функций 𝑓𝑗), то и коэффициенты 𝛼𝑖𝑗 определяются исключительно взаимным расположением и формой проводников.
Примечания
В математике доказывается теорема о существовании решения задачи Дирихле для уравнения Лапласа. Впрочем в нашем случае этот вывод можно сделать из физических соображений. ↩