§ О9. Уравнения в частных производных первого порядка |
Башня старинного английского собора? Откуда тут взялась башня английского собора?
Ч. Диккенс. Тайна Эдвина Друда
... сплошная среда из невзаимодействующих частиц может описываться как уравнением в частных производных для поля, так и обыкновенными дифференциальными уравнениями для частиц.
В.И. Арнольд. Дополнительные главы теории обыкновенных дифференциальных уравнений
Линейным дифференциальным уравнением в частных производных первого порядка называется уравнение вида
| (1) |
в котором f1, ..., fn
заданные непрерывные скалярные функции, определенные в области
Как уже указывалось в очерке О8, автономные первые интегралы системы обыкновенных дифференциальных уравнений
x′ = f(x) | (2) |
(здесь f = (f1, ..., fn):
D(f) → Rn)
и только они являются решениями уравнения (1). Таким
образом, траектории
системы (2) являются линиями уровня интегральной поверхности
уравнения (1) (см.
Таким образом, задача о нахождении решений
уравнения (1) сводится к задаче о нахождении
первого интеграла
системы (2). Полный первый интеграл
этой системы играет при этом роль "базиса" во множестве всех решений. Более подробно. Пусть
функция
u(x) = F[V(x)], |
где F: Rn1 → R некоторая (своя для каждого решения) непрерывно дифференцируемая функция.
Более сложный объект представляет собой
| (3) |
в котором f = (f1, ..., fn+1):
С уравнением (3) тесно связано следующее линейное(!) дифференциальное уравнение в частных производных первого порядка
| (4) |
и соответствующая ему
| (5) |
где f = (f1, ..., fn). Траектории системы (5) называются характеристиками уравнения (3).
В линейном случае, как уже отмечалось,
характеристики являются линиями уровня
интегральных поверхностей. В
квазилинейном случае дело обстоит несколько иначе. А именно,
интегральные поверхности квазилинейного уравнения в некотором
смысле целиком "склеены" из характеристик.
Точнее, это утверждение выглядит так: через каждую точку интегральной поверхности проходит
целиком лежащая в ней характеристика (см.
x′ = f[x, u(x)], |
x(t0) = x0. |
Тогда кривая (φ(t), ψ(t)), где ψ(t) = u[φ(t)], очевидно, лежит в S и, кроме того, является характеристикой.
Задача О9.1. Докажите.
Связь между уравнениями (3) и (4) выявляет
следующее утверждение: если
ψ[x, u(x)] = 0, | (6) |
то в D функция φ является решением уравнения (3). Действительно, по теореме о дифференцировании неявной функции из (6) вытекает, что
|
Подставляя u = φ(x) и вычисленное значение
|
|
|
|
Последнее и означает, что φ является в D решением уравнения (3).
На самом деле имеет место и обратное утверждение: если
Описанная связь между уравнениями (3) и (4) позволяет строить общее решение уравнения (3). А именно, как уже говорилось, общее решение уравнения (4) имеет вид
v = F[V(x, u)], |
где V n-мерный
невырожденный
автономный
первый интеграл
системы (5), а
F[V(x, u)] = 0. |
Как и в случае обыкновенных дифференциальных уравнений,
для уравнений в частных производных индивидуальное решение во
множестве всех решений можно выделять различными способами. В
данном очерке мы, не углубляясь в точные формулировки, дадим
лишь геометрические представления о постановке задач Коши для
уравнений (1) и (3).
Задача Коши, или начальная задача
для этих уравнений обычно ставится так. В пространстве Rn
задается
Для уравнения (1) геометрическая
интерпретация задачи Коши такова: через каждую точку
Для уравнения же (3) через каждую точку графика функции u0
надо провести характеристику уравнения (3)
и "склеить" из них интегральную поверхность,
отвечающую решению задачи Коши
(см.
Следует подчеркнуть следующее обстоятельство. Если пересечение
поверхности Γ с каждой характеристикой
уравнения (1) состоит не более, чем из одной точки (например, в
окрестности Γ это бывает так, если характеристики
пересекают Γ трансверсально,
В противном случае задача Коши может и не иметь решения. На
Аналогичная (несколько более сложная) ситуация имеет место и для
задачи Коши для
Задача О9.2. Найдите решение задачи Коши
|
u(x1, x2)|Γ = sin x2, |
где Γ = {(x1, x2): x1 = 2}.
Литературные указания. Теория
дифференциальных уравнений в частных производных первого
порядка традиционно излагается в учебниках по теории обыкновенных
дифференциальных уравнений:
[Арнольд,
Бибиков,
Картан,
Задачи. О9.3. Найдите общее решение уравнения
|
О9.4. Найдите общее решение уравнения
|
О9.5. Докажите, что решение задачи Коши
|
u(x1, x2)|Γ = x1, |
где Γ = {(x1,
x2): x1 =
x2, 1 < x1 <
x2} в кольце
О9.6. Докажите, что задача Коши
|
u(x1, x2)|Γ = x2, |
где Γ = {(x1,
x2): x2 =
(x1 1)2}
не имеет решения ни в одной области, содержащей точку
О9.7. Докажите, что задача Коши
|
u(x1, x2)|Γ = φ(x1), |
где Γ = {(x1,
x2): x2 =
0, x1 ∈ R}
имеет единственное решение в R2
в том и только том случае, когда функция
О9.8. Найдите общее решение u(t, x) уравнения
|
(a1, ..., an заданные n-мерные векторы, (·,·) скалярное произведение в Rn).
О9.9. Найдите решение уравнения из предыдущей задачи,
удовлетворяющее условию
О9.10. Пусть C
объединение точек всех
характеристик уравнения (1).
Докажите, что если
File based on translation from
TEX by TTH,
version 2.32.
Created 17 Jan 2000, 23:06.
Last modified 24 Apr 2002.