Уравнения в частных производных: классификация и канонический вид
Как определить тип уравнения в частных производных по знаку B²−AC: гиперболические, параболические и эллиптические уравнения и приведение к каноническому виду.
Струна рояля после удара молоточка дрожит и звучит, нагретый с одного конца стержень медленно выравнивает температуру, электрическое поле вокруг неподвижного заряда стоит на месте годами. Три процесса описываются уравнениями, которые различаются буквально парой знаков при вторых производных. Этой пары знаков хватает, чтобы один процесс колебался, второй необратимо затухал, а третий не зависел от времени вообще. Сейчас вы научитесь читать эти знаки по коэффициентам — и предсказывать поведение решения, ещё не начав его искать.
Что такое УЧП и что считать его решением#
Уравнение в частных производных (УЧП) связывает неизвестную функцию нескольких переменных и её частные производные. Простейший вид: . Порядок уравнения — порядок старшей входящей в него производной: если самое глубокое, что дифференцируют, — это , уравнение второго порядка. Частные производные считаются по правилам из урока про частные производные и градиент, а сам термин расписан в словаре: частная производная.
Решение — функция, которая при подстановке обращает уравнение в тождество на всей области. Здесь прячется главное отличие от обычных дифференциальных уравнений: в общем решении УЧП живут не произвольные константы, а произвольные функции. Возьмём . Производная по равна нулю — значит, от не зависит: , где — любая функция. В ОДУ ответ жёсткий — константа; здесь свобода целого семейства кривых.
Пример на второй порядок: . Интегрируем по : — от зависеть уже нельзя. Интегрируем по : . Проверка: , а — тождество. Итог: уравнение второго порядка прячет в общем решении две произвольные функции, ровно как ОДУ второго порядка прячет две константы. Это не случайность, а отражение природы уравнения.
Физика этим пользуется буквально: волна на струне описывается решением — двумя произвольными функциями, «правой» и «левой» бегущей волной. К этой формуле мы вернёмся в конце урока, а пока — инструмент, которым её получают.
Линейное уравнение второго порядка: главная часть#
Курс математической физики крутится вокруг одного шаблона — линейного уравнения второго порядка с двумя независимыми переменными , :
Линейность означает: и все её производные входят в первой степени, никаких , или . Если же при старших производных встают коэффициенты, зависящие от самого решения, уравнение зовут квазилинейным. При уравнение называется однородным. Расшифруем каждый символ: и — вторые производные по одной переменной, — смешанная, , — первые. Коэффициент при смешанной производной записан как — двойка ставится намеренно, чтобы дискриминант имел симметричный вид.
Тип уравнения определяется только главной частью — старшими членами . Младшие на тип не влияют совсем, как степень многочлена не зависит от свободного члена. Поэтому в классификации смотрят только на тройку , , .
Как различить три типа уравнений?#
Аналогия старая и работающая: главная часть — это в точности квадратичная форма из аналитической геометрии, где по знаку того же выражения различают эллипс, параболу и гиперболу — см. кривые второго порядка. Для УЧП действуют те же три имени — это и есть классификация УЧП второго порядка, и различает их дискриминант:
| Тип | Знак $B^2 - AC$ | Каноническая форма | Эталонный пример | Физический процесс |
|---|---|---|---|---|
| Гиперболический | или | колебания: струна, звук, электромагнитные волны | ||
| Параболический | теплопроводность, диффузия | |||
| Эллиптический | стационарные поля, уравнение Лапласа |
Потренируем на числах. : здесь , , , значит — гиперболическое. : коэффициент при смешанной производной равен двум, поэтому , то есть ; — эллиптическое. : , , , — параболическое.
Почему классификация диктует постановку задачи?#
Тип — не ярлык для каталога, а прямое указание, какие данные нужны, чтобы задача имела решение. Гиперболическое уравнение описывает распространение с конечной скоростью: возмущение из точки добирается до соседних не сразу. Ему отвечает задача Коши — два начальных условия и : струне задают форму и скорость, дальше она живёт сама. Для ОДУ близкий сюжет разобран в уроке про задачу Коши для ДУ высших порядков.
Параболическое уравнение — необратимое выравнивание: разница температур гаснет, назад время не отматывается. Одного начального условия мало — нужно ещё поведение на границе стержня, поэтому ставят смешанную задачу: плюс граничные условия на концах. Пара начальных условий здесь не просто лишняя — задача с ними неустойчива.
Эллиптическое уравнение про равновесие: времени в нём нет вообще, задавать «начальный момент» бессмысленно. Ставят краевую задачу — значения функции (условие Дирихле) или её нормальной производной (условие Неймана) на всей границе области. Куда тепло уходит через края сковороды, настолько и распределится температура внутри.
| Тип | Задача | Что задают | Вопрос физики |
|---|---|---|---|
| Гиперболический | задача Коши | два начальных условия (+ границы, если струна конечна) | как колеблется система? |
| Параболический | смешанная | одно начальное условие + граничные | как выравнивается температура? |
| Эллиптический | краевая | только граничные условия | какое установилось равновесие? |
Отсюда практическое правило, экономящее часы на семинарах: сначала посчитайте , потом читайте условие задачи. Если вам дают эллиптическое уравнение с начальными условиями — либо опечатка, либо ловушка: такого устойчивого решения в общем случае не существует — нарушено требование корректности по Адамару.
Как привести уравнение к каноническому виду?#
Каноническая форма — это замена переменных , , после которой в главной части остаётся единственная вторая производная (или одна смешанная). Направления замены подсказывают характеристики — кривые, вдоль которых решение переносится; техника их отыскания и решения вдоль них — отдельный метод характеристик. Их находят из уравнения
- Выписать , , и проверить — какой тип, тот и план.
- Решить уравнение характеристик: для гиперболического получатся два семейства кривых и .
- Положить , и пересчитать производные по цепному правилу.
- Записать уравнение в новых переменных — главная часть упростится до (гиперболический), (параболический) или (эллиптический).
- Решать уже каноническое уравнение — оно выглядит на порядок проще.
Полный пример — уравнение . Здесь , , , : гиперболическое. Уравнение характеристик: , то есть . Интегрируем: и . Берём новые переменные , .
Пересчёт производных по цепному правилу: , . Дифференцируем ещё раз: , . Разность даёт , и уравнение превращается в
Интегрируем так же, как в начале урока: . Возвращаясь к старым переменным: — знаменитая формула Даламбера. Смешанные производные исчезли, потому что и мы взяли вдоль характеристик: по каждой из них решение просто переносится, не «перемешиваясь».
- Порядок УЧП — старшая производная; решение второго порядка несёт две произвольные функции, первого — одну
- Тип определяется только главной частью: считаем и ничего больше
- — волны и задача Коши, — тепло и смешанная задача, — Лаплас и краевая задача
- В записи двойка принадлежит записи: коэффициент при смешанной производной делите на два
- Характеристики диктуют замену переменных; вдоль них решение переносится без искажений
Следующий логичный шаг — научиться решать гиперболические уравнения вдоль характеристик: это метод характеристик, прямой потомок выкладок из этого урока. Волновое уравнение с физической стороны разобрано отдельно: волновое уравнение и колебания струны. Параболический и эллиптический цеха живут в соседних уроках — уравнение теплопроводности и уравнение Лапласа.
Определите тип уравнения
Общее решение уравнения — это...
Для эллиптического уравнения корректной постановкой будет...
Частые вопросы
Как определить тип уравнения в частных производных?
Выпишите коэффициенты при вторых производных: при , — половина коэффициента при , при . Посчитайте . Положительный знак — гиперболический тип (волны), ноль — параболический (тепло), отрицательный — эллиптический (Лаплас). Младшие члены , , и правая часть на тип не влияют.
Почему уравнение теплопроводности параболическое, а волновое — гиперболическое?
У волнового уравнения коэффициенты при вторых производных имеют разные знаки, поэтому — и решения бегут как волны с конечной скоростью. У уравнения тепла есть лишь одна вторая производная, смешанной нет, . Физически тепло выравнивается необратимо и не образует бегущих волн.
Что такое канонический вид и зачем его искать?
Это форма уравнения после замены переменных, выбранной вдоль характеристик, когда в главной части остаётся минимум производных: , или . В каноническом виде уравнение решается последовательными интегрированиями или стандартными методами, а вид решения сразу виден — как формула Даламбера для .
Чем УЧП отличается от обычного дифференциального уравнения?
У неизвестной функции несколько аргументов, и дифференцируем она по каждому. Отсюда три следствия: в общем решении вместо констант появляются произвольные функции; вместо начальных условий возникают краевые — данные на границах области; один и тот же порядок уравнения допускает разные типы поведения решений, которых у ОДУ просто нет.
Готовитесь к контрольной?
Чеклист тем по «Матфизика»: что вы уже умеете, что повторить и в каком порядке.
Открыть чеклист предмета →
Проверьте себя в бою
Босс-экзамен по «Матфизика»: квизы всех уроков плюс бесконечный поток сгенерированных задач. Каждая попытка — новый расклад.
Начать босс-экзамен →