L. Эллиптические уравнения: сведение к стационарной задаче

Основной текст книги посвящён нестационарному тепловому полю — уравнению параболического типа. Однако те же конечно-элементные построения без каких-либо изменений переносятся на широкий класс эллиптических краевых задач, в которых время либо отсутствует в постановке, либо нас не интересует переходный процесс, а нужно лишь установившееся (стационарное) состояние поля. Это приложение показывает, как такая задача приводится к более простому виду и решается уже рассмотренными методами: сборкой матрицы жёсткости и итерационным решением разреженной симметричной положительно определённой системы.

От параболического уравнения к эллиптическому

Исходное нестационарное уравнение (1.8) имеет вид

T(M,t)t=a2ΔT(M,t)+f(M,t).\frac{\partial T(M, t)}{\partial t} = a^2 \cdot \Delta T(M, t) + f(M, t).

Если интересует только установившееся поле, то производная по времени обращается в нуль, T/t=0\partial T / \partial t = 0, и уравнение теряет временную координату, превращаясь в эллиптическое уравнение Пуассона

a2ΔT(M)+f(M)=0,илиΔT(M)=1a2f(M).a^2 \cdot \Delta T(M) + f(M) = 0, \qquad\text{или}\qquad -\Delta T(M) = \frac{1}{a^2}\,f(M).
(L.1)

В частном случае отсутствия источников (f0f \equiv 0) оно вырождается в однородное уравнение Лапласа

ΔT(M)=0.\Delta T(M) = 0.
(L.2)

Принципиально важно, что искомая функция здесь зависит только от геометрии MM, но не от времени: задача из эволюционной стала чисто пространственной.

Пример: электростатическое поле

Каноническим эллиптическим уравнением является уравнение электростатики. Потенциал электрического поля V(M)V(M) в среде без объёмных зарядов удовлетворяет уравнению Лапласа, а при наличии плотности заряда ρ\rho — уравнению Пуассона

ΔV(M)=ρ(M)ε,\Delta V(M) = -\frac{\rho(M)}{\varepsilon},
(L.3)

где ε\varepsilon — диэлектрическая проницаемость среды [Ф/м][\text{Ф/м}]. Сопоставление с (L.1) показывает полное соответствие вплоть до размерностей: потенциал VV [В][\text{В}] играет роль температуры TT [К][\text{К}], отношение ρ/ε\rho/\varepsilon с плотностью заряда ρ\rho [Кл/м3][\text{Кл/м}^3] имеет размерность [В/м2][\text{В/м}^2] и играет роль плотности источников f/a2f/a^2 размерности [К/м2][\text{К/м}^2], а коэффициент a2a^2 заменяется единицей. Следовательно, та же программа, что решает стационарную задачу теплопроводности, без изменений вычисляет и электростатическое поле.

Рассмотрим показательную конфигурацию из трёх проводников — «фаз», — каждый из которых поддерживается при своём напряжении V1,V2,V3V_1, V_2, V_3. Проводники задают на своих границах условие Дирихле VΩk=VkV|_{\partial\Omega_k} = V_k; внешняя граница расчётной области полагается изолированной, что отвечает однородному условию Неймана V/n=0\partial V / \partial n = 0. Наличие хотя бы одного проводника делает конечно-элементную систему невырожденной, и она решается тем же предобусловленным методом сопряжённых градиентов.

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

Эквипотенциали и силовые линии поля трёх проводников
Рис. L.1. Картина поля трёх проводников (V=+1V = +1, 0.5-0.5, 0.5-0.5): синие линии — эквипотенциали, оранжевые — силовые; расчёт на сетке из 6486 треугольников.