🌐 Матфизика

Задача Дирихле

англ. Dirichlet problem

Краевая задача, где на границе области заданы значения самой функции: найди гармоническое поле внутри. Эталонная постановка для уравнения Лапласа и плёнки на рамке.

Проволоку согнули кольцом, окунули в мыльный раствор — плёнка натянулась и приняла единственно возможную форму: край сидит на рамке, внутри — равновесие. Так устроена задача Дирихле: найти функцию, удовлетворяющую уравнению Лапласа внутри области $Ω$ , если на границе $\partial Ω$ заданы её значения. Хотите знать температуру внутри пластины — задайте температуру по всему периметру. Значения могут быть любыми непрерывными, решение подстроится. Это эллиптическая постановка: времени нет, всё решает граница целиком.

Единственность даёт принцип максимума: разность двух решений с совпадающей границей гармонична и нулевая на краю — значит, нулевая везде. Для круга решение выписывается явно: граничная функция раскладывается в ряд Фурье, а внутри сумма ряда сворачивается в интеграл Пуассона. Тонкость неограниченных областей: без внешней границы нужно требование ограниченности, иначе возможны добавки вроде логарифма. Полный разбор для круга — в уроке задача Дирихле для круга, обоснование единственности — в материале принцип максимума, сами ряды — в ряды Фурье.

Δ u = 0 в Ω, u_{\partial Ω} = g

постановка задачи Дирихле: уравнение Лапласа внутри области, значения функции на границе; для пластины это температура по периметру, для плёнки — форма рамки

Частые вопросы

Чем задача Дирихле отличается от задачи Неймана?

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

Всегда ли у задачи Дирихле единственное решение?

Для ограниченной области с приличной границей — да, из принципа максимума. На неограниченных областях нужно дополнительное требование: ограниченность или стремление к нулю на бесконечности. Классическая ловушка — круг с выколотым центром: функция $ln r$ гармонична в кольце и нулевая на окружности радиуса единица, но не тождественный ноль. Без контроля на бесконечности единственность рассыпается.