Теорема единственности в электростатике: одно решение

В электростатике постоянно приходится искать потенциал поля внутри какой-то области: между обкладками конденсатора, вокруг заряженного проводника, в полости внутри металла. Уравнение, которому подчиняется потенциал, имеет в принципе бесконечно много математических решений. Что выделяет среди них единственное физически правильное? Ответ даёт теорема единственности: если на границе области заданы определённые условия, то решение существует ровно одно. Именно она оправдывает «угадывание» поля методом изображений и превращает электростатику в задачу с предсказуемым ответом.

Чтобы не выводить потенциал с нуля для своей конкретной конфигурации зарядов и границ, соберите условие задачи ниже - инструмент подготовит точную формулировку для разбора в чате.

Какую задачу решает теорема

Потенциал электростатического поля $\varphi$ в области без зарядов подчиняется уравнению Лапласа, а в области с объёмной плотностью заряда $\rho$ - уравнению Пуассона:

$$\nabla^2 \varphi = -\frac{\rho}{\varepsilon_0}$$

Это дифференциальное уравнение второго порядка в частных производных. Само по себе оно недоопределено: ему удовлетворяет целое семейство функций. Чтобы выделить одну, нужны граничные условия - данные о том, что происходит на поверхности, ограничивающей область.

Теорема единственности утверждает: решение уравнения Пуассона (или Лапласа) в ограниченной области определено однозначно, если на всей границе задано одно из двух условий - либо значение самого потенциала $\varphi$, либо значение его нормальной производной $\partial\varphi/\partial n$ (то есть нормальной компоненты поля). Физически это означает: если мы знаем потенциалы всех проводников или заряды на них, поле внутри определено единственным образом.

Рассчитать для своей задачи

Два типа граничных условий

Различают две классические постановки, и теорема работает для каждой.

Задача Дирихле: на всей границе $S$ задан потенциал $\varphi|_S = f$. Так бывает, когда мы знаем потенциалы всех проводников (например, одну обкладку держим под напряжением, другую заземляем). Решение внутри единственно.

Задача Неймана: на границе задана нормальная производная $\partial\varphi/\partial n|_S = g$, что эквивалентно заданию поверхностной плотности заряда $\sigma = \varepsilon_0 E_n$. Здесь решение единственно с точностью до аддитивной постоянной - потенциал определён неоднозначно ровно настолько, насколько произволен выбор нуля отсчёта, что физически несущественно, потому что поле $\mathbf{E} = -\nabla\varphi$ от константы не зависит.

Бывает и смешанная (третья) задача: на одной части границы задан потенциал, на другой - производная. Теорема единственности справедлива и тут. Близкая по духу постановка с заданием функции и её производной - это задача Коши, но для эллиптических уравнений электростатики корректны именно краевые условия на замкнутой границе, а не начальные данные.

Как доказывают теорему

Классическое доказательство - от противного, через интеграл энергии. Предположим, что существуют два разных решения $\varphi_1$ и $\varphi_2$ при одних и тех же зарядах и одинаковых граничных условиях. Рассмотрим их разность $\psi = \varphi_1 - \varphi_2$.

Поскольку оба решения удовлетворяют уравнению Пуассона с одинаковой правой частью, их разность удовлетворяет уравнению Лапласа: $\nabla^2\psi = 0$ во всей области. На границе $\psi$ обращается в ноль (для задачи Дирихле) или её нормальная производная равна нулю (для задачи Неймана).

Дальше используют первую формулу Грина. Применим её к функции $\psi$:

$$\int_V \left( \psi\,\nabla^2\psi + |\nabla\psi|^2 \right) dV = \oint_S \psi\,\frac{\partial\psi}{\partial n}\, dS$$

Первое слагаемое в объёмном интеграле зануляется, потому что $\nabla^2\psi = 0$. Поверхностный интеграл справа тоже равен нулю: в задаче Дирихле из-за $\psi|_S = 0$, в задаче Неймана из-за $\partial\psi/\partial n|_S = 0$. Остаётся:

$$\int_V |\nabla\psi|^2\, dV = 0$$

Рассчитать для своей задачи

Подынтегральное выражение $|\nabla\psi|^2$ неотрицательно всюду. Интеграл от неотрицательной функции равен нулю только тогда, когда сама функция тождественно равна нулю. Значит, $\nabla\psi = 0$ во всём объёме, то есть $\psi = \text{const}$. Для задачи Дирихле эта константа равна нулю (на границе $\psi = 0$), поэтому $\varphi_1 = \varphi_2$ всюду. Для задачи Неймана $\varphi_1$ и $\varphi_2$ различаются только на константу, а поле у них одно и то же. Предположение о двух разных решениях привело к противоречию - решение единственно.

Почему это оправдывает метод изображений

Самое практичное следствие теоремы - обоснование метода изображений. Идея метода: вместо того чтобы честно решать уравнение Пуассона с проводящими границами, мы заменяем проводник набором фиктивных зарядов-«изображений», расположенных вне рассматриваемой области, и подбираем их так, чтобы граничные условия выполнились.

Классический пример - точечный заряд $q$ над заземлённой проводящей плоскостью. Мы убираем плоскость и ставим заряд-изображение $-q$ симметрично по другую сторону. Поле двух точечных зарядов даёт на месте бывшей плоскости нулевой потенциал - ровно то граничное условие, что и у заземлённого проводника.

Возникает законный вопрос: имеем ли мы право подменять реальную задачу выдуманной? Право даёт теорема единственности. Поле зарядов-изображений удовлетворяет тому же уравнению Лапласа в нужной области (изображения лежат вне неё, заряды там не добавляются) и тем же граничным условиям. А раз решение единственно, то найденное «обходным путём» поле и есть истинное поле исходной задачи - над плоскостью, в области с реальным зарядом, оно совпадает с настоящим до последней силовой линии.

Рассчитать для своей задачи

Роль проводников и заряженных полостей

Теорема особенно мощно работает с проводниками, потому что у проводника есть жёсткое свойство: в равновесии весь его объём эквипотенциален. Это автоматически даёт граничное условие Дирихле на поверхности каждого проводника.

Отсюда следует знаменитый результат об экранировании. Если внутри полости проводника нет зарядов, то поле в полости тождественно равно нулю - каким бы сложным ни было внешнее поле. Доказывается это одной строчкой через теорему: $\varphi = \text{const}$ всюду внутри полости удовлетворяет уравнению Лапласа и совпадает с потенциалом стенок на границе. По теореме единственности это и есть единственное решение, а постоянному потенциалу отвечает нулевое поле. Так обосновывается работа клетки Фарадея.

Условия применимости

Теорема единственности не безусловна. Чтобы она работала, нужно выполнение нескольких требований.

Во-первых, область должна быть ограничена замкнутой границей, на всей которой заданы условия. Для неограниченных областей (всё пространство) условие на бесконечности заменяет границу: потенциал должен достаточно быстро убывать, как минимум как $1/r$ для локализованного заряда. Если убывание не обеспечено, единственность теряется.

Во-вторых, на каждом куске границы должно быть задано ровно одно условие - либо потенциал, либо производная, но не оба сразу (переопределение) и не ничего (недоопределение). Задание на проводнике одновременно и потенциала, и заряда обычно избыточно.

В-третьих, среда предполагается линейной (диэлектрическая проницаемость не зависит от поля). В нелинейных средах уравнение перестаёт быть линейным, и аккуратное доказательство через формулу Грина уже не проходит напрямую.

Частые ошибки

• Путают единственность с существованием. Теорема говорит, что решений не больше одного, но факт существования решения - отдельное утверждение. На практике для корректно поставленных краевых задач решение существует, но логически это два разных вопроса.
• Забывают про аддитивную константу в задаче Неймана. Когда на всей границе задана только нормальная производная, потенциал определён с точностью до постоянной. Это не «дефект теоремы», а физическая свобода выбора нуля отсчёта.
• Применяют к области с зарядами-изображениями внутри. Заряды-изображения обязаны лежать ВНЕ той области, где мы ищем поле. Если поставить изображение внутри рабочей области, оно изменит уравнение (добавит источник), и метод сломается.
• Считают, что эквипотенциальность проводника надо доказывать в каждой задаче. Это свойство проводника в равновесии, его можно сразу использовать как готовое граничное условие Дирихле.
• Переопределяют границу. Задание на одном проводнике и потенциала, и поверхностного заряда одновременно нарушает условия теоремы и обычно ведёт к противоречию.

FAQ

Чем теорема единственности отличается от теоремы существования? Единственность утверждает, что решений не больше одного, существование - что хотя бы одно есть. Для электростатических краевых задач с разумной геометрией обычно верны обе, но доказываются они по-разному: единственность - через интеграл энергии, существование - через построение решения (функции Грина, разделение переменных).

Можно ли задать на границе и потенциал, и заряд одновременно? Нет. Для единственности на каждом участке границы задаётся ровно одно условие - либо $\varphi$ (Дирихле), либо $\partial\varphi/\partial n$ (Нейман). Одновременное задание обоих переопределяет задачу и, как правило, делает её несовместной.

Почему метод изображений вообще даёт правильный ответ? Потому что поле изображений в рабочей области удовлетворяет тому же уравнению Лапласа и тем же граничным условиям, что и истинное поле. По теореме единственности такое решение ровно одно - значит, найденное изображениями поле и есть настоящее.

Коротко

Теорема единственности в электростатике гарантирует, что при заданных на замкнутой границе значениях потенциала (задача Дирихле) или его нормальной производной (задача Неймана) решение уравнения Лапласа или Пуассона единственно - в случае Неймана с точностью до несущественной константы. Доказывается она от противного через первую формулу Грина: интеграл от $|\nabla\psi|^2$ по объёму обнуляется, а значит, разность двух решений постоянна. Главное практическое следствие - обоснование метода изображений и экранирования: любое поле, удовлетворяющее уравнению и граничным условиям, и есть единственно верное.