Основные методы решения практических задач в курсе «Уравнения математической физики». Учебное пособие
.pdf
§ 1.. Приведение к каноническому виду уравнений в частных производных. . . |
11 |
выражаются через ее производные по новым переменным ξ, η по следующим формулам:
|
|
|
|
|
|
|
|
|
|
|
|
∂u |
= |
∂u ∂ξ |
+ |
|
∂u |
|
∂η |
, |
|
|
|
|
∂u |
= |
|
∂u |
|
|
∂ξ |
+ |
∂u |
|
∂η |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂ξ ∂x |
|
|
|
|
|
|
|
|
|
|
|
|
∂y |
∂ξ ∂y |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
∂x |
|
|
|
|
|
|
|
|
|
∂η ∂x |
|
|
|
|
|
|
|
|
|
|
|
|
∂η ∂y |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
∂2u ∂2u ∂ξ |
2 |
|
|
|
|
|
|
∂2u ∂ξ ∂η ∂2u ∂η |
2 |
|
|
|
∂u ∂2ξ ∂u ∂2η |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
= |
|
|
|
( |
|
|
) |
+ 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
( |
|
|
|
|
|
) |
|
+ |
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
, |
|||||||||||||||||||||||||||||||
|
∂x2 |
∂ξ2 |
∂x |
∂ξ∂η ∂x ∂x |
∂η2 |
∂x |
|
∂ξ |
∂x2 |
∂η |
∂x2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
∂2u ∂2u ∂ξ |
2 |
|
|
|
|
|
∂2u ∂ξ ∂η ∂2u ∂η |
2 |
|
|
∂u ∂2ξ ∂u ∂2η |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
= |
|
|
( |
|
|
) |
|
+ 2 |
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
( |
|
|
) |
+ |
|
|
|
|
|
+ |
|
|
|
|
|
|
, |
(1.6) |
|||||||||||||||||||||||||||||||||||||||||||||||
∂y2 |
∂ξ2 |
∂y |
|
∂ξ∂η |
∂y |
∂y |
|
∂η2 |
∂y |
∂ξ |
∂y2 |
∂η |
∂y2 |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
∂2u ∂2u ∂ξ ∂ξ |
|
|
|
|
|
∂2u ∂ξ ∂η ∂ξ ∂η |
|
|
|
|
|
|
|
∂2u ∂η ∂η |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
= |
|
|
|
|
|
|
+ |
|
|
|
|
( |
|
|
|
|
|
+ |
|
|
|
|
) + |
|
|
|
|
|
+ |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
∂x∂y |
∂ξ2 |
∂x |
∂y |
∂ξ∂η |
∂x |
∂y |
∂y |
∂x |
∂η2 |
∂x |
∂y |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂u ∂2ξ |
|
|
|
|
∂u ∂2η |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂ξ ∂x∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂η ∂x∂y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Подробное обоснование описанного метода можно найти, например, в [6].
Замечание 1. При нахождении функций φ1(x, y), φ2(x, y) полезно иметь в виду следующий известный из теории дифференциальных уравнений факт: если φ(x, y) есть интеграл уравнения
M(x, y) dx + N(x, y) dy = 0
(уравнения (1.51), (1.52), (1.5) именно таковы), то Φ(φ(x, y)), где Φ(z) — любая дифференцируемая функция, также является интегралом этого уравнения.
Например, если ln(x+y−5) является интегралом указанного уравнения, то функция x + y также является интегралом этого уравнения. В самом деле,
x + y = eln(x+y−5) + 5,
а функция Φ(z) = ez + 5 дифференцируема при любом z.
Замечание 2. Аналогичное рассуждение относится и к уравнениям параболического типа. Так, если φ(x, y) = c общий интеграл уравнения (1.5), то в качестве замены берем
ξ = φ(x, y)
12 |
Глава I. Метод характеристик |
или
ξ = Φ(φ(x, y)),
где Φ(z) такая же, как и выше. Пусть, например, (1.5) записалось в виде
3x dy + y dx = 0.
Разделяя переменные, получим
dyy = −dx3x,
или
ln |y| = −ln |x| + ln c.
3 √ √
Отсюда общий интеграл запишется в виде y 3 x = c. Но замена ξ = y 3 x
√
неудобна. Лучше ξ = (y 3 x)3, или ξ = y3x. При подстановке последней редакции ξ «хлопот» будет поменьше.
Для уравнения эллиптического типа изменять φ1(x, y) и φ2(x, y) нельзя.Максимум допустимого умножить на −1 для удобства (см. пример 1.1).
Рассмотрим некоторые примеры задач.
Пример 1.1. Уравнение
|
∂2u |
|
∂2u |
∂2u |
|
∂u |
(1.7) |
||
y2 |
|
+ 2xy |
|
+ 2x2 |
|
+ y |
|
= 0 |
|
∂x2 |
|
∂y2 |
|
||||||
|
|
∂x∂y |
|
∂y |
|
||||
привести к каноническому виду в области x ≠ 0, y ≠ 0.
Решение. Имеем
∆= B2 − AC = x2y2 − 2x2y2 < 0
вуказанной области. Следовательно, в этой области заданное уравнение является эллиптическим. Составляем для него характеристическое урав-
нение:
y2dy2 − 2xy dx dy + 2x2dx2 = 0.
Разрешая его относительно dy, получаем два уравнения:
y dy − (1 + i)x dx = 0 и y dy − (1 − i)x dx = 0.
Найдем интеграл какого-нибудь из этих уравнений (например, первого).
Так как
−y2 + (1 + i)x2 = C
§ 2.. Общее решение линейного уравнения второго порядка. . . |
13 |
есть общий интеграл этого уравнения, его интегралом является комплексная функция
φ(x, y) = x2 − y2 + ix2.
Как указывалось выше, для приведения заданного уравнения к каноническому виду достаточно произвести замену переменных:
ξ = Re φ(x, y) = x2 − y2, η = Im φ(x, y) = x2. |
(1.8) |
Легко видеть, что условие (1.3) для этих функций выполняется. Производя замену (1.8), мы по формулам (1.6) получаем
|
|
|
|
|
|
|
∂u |
|
= |
|
∂u |
2x + |
∂u |
|
2x, |
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
∂x |
∂ξ |
∂η |
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
∂u |
|
|
−2y |
∂u |
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
|
|
|
, |
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
∂y |
∂ξ |
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
∂2u |
|
|
|
|
∂u |
|
∂2u |
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
= −2 |
|
|
+ 4y2 |
|
|
|
|
, |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
∂y2 |
∂ξ |
∂ξ2 |
|
|
|
|||||||||||||||||||||||||
|
|
|
∂2u |
|
|
|
|
|
|
|
|
|
∂2u ∂2u |
|
|
|
|||||||||||||||||||
|
|
|
|
|
= −4xy ( |
|
|
+ |
|
|
|
|
), |
|
|
|
|||||||||||||||||||
|
|
|
∂x∂y |
∂ξ2 |
|
∂ξ∂η |
|
|
|
||||||||||||||||||||||||||
∂2u |
|
∂u |
|
|
|
|
∂u |
|
|
|
|
|
|
|
|
∂2u |
|
|
|
|
∂u |
|
∂2u |
||||||||||||
|
= 2 |
|
+ 2 |
|
|
+ 4x2 ( |
|
+ 2 |
|
|
+ |
|
). |
||||||||||||||||||||||
∂x2 |
∂ξ |
∂η |
|
∂ξ2 |
∂ξ∂η |
∂η2 |
|||||||||||||||||||||||||||||
Подставив полученные выражения в (1.7) и заменив x и y на ξ и η по формулам (1.8), мы приходим к следующему каноническому уравнению:
∂2u |
+ |
∂2u |
− |
|
1 ∂u |
+ |
1 ∂u |
= 0. |
|||||
|
|
|
|
|
|
|
|
|
|
||||
∂ξ2 |
∂η2 |
η |
− |
ξ ∂ξ |
2η ∂η |
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
§2. Общее решение линейного уравнения второго порядка
вчастных производных
Уравнение (1.1), будучи приведенным к каноническому виду, может иметь простое выражение, а в некоторых случаях и проинтегрировано, другими словами, можно записать общее решение. Под общим решением уравнения с частными производными второго порядка понимаем выражение, содержащее две произвольные, достаточно гладкие, независимые
14 |
Глава I. Метод характеристик |
функции определенных аргументов, которое обращает данное уравнение в тождество.
Заметим, что класс уравнений, для которых можно найти общие решения в явном виде, небогат представителями. Все уравнения эллиптического типа (если решение ищется в действительной области) исключаются. Приведем простейшие примеры интегрирования уравнений гиперболического типа.
Пример 2.1. В каноническом виде уравнение (1.1) записалось в такой форме:
∂2u |
(2.1) |
|
|
= 0. |
|
|
||
∂ξ∂η |
|
|
Решение. Здесь u — неизвестная функция от ξ и η. Перепишем равен-
ство (2.1): |
|
|
∂∂ξ ( |
∂u |
|
∂η) = 0. |
(2.2) |
Если u решение уравнения (2.1), а (2.2) понимается как тождество, то равенство нулю производной ∂u/∂η по ξ означает, что последняя не зависит от ξ, а значит, является функцией только η, ∂u/∂η = C(η), C(η) — произвольная функция. Сама u(ξ, η) находится неопределенным интегрированием с произволом в виде некоторого слагаемого, зависящего только от ξ: w
u(ξ, η) = C(η) dη + φ(ξ).
Нет особого смысла записывать решение с интегралом от произвольной функции C(η), но удобно этот интеграл обозначить другой произвольной функцией, например ψ(η). Итак, общее решение (1.1) представилось следующим образом:
u(ξ, η) = φ(ζ) + ψ(η). |
|
||||||||
Пример 2.2. Уравнения вида |
|
|
|
|
|
||||
|
|
∂2u |
|
∂u |
(2.3) |
||||
|
|
|
|
+ a(ξ) |
|
|
= 0 |
||
|
|
|
|
|
|
||||
|
|
∂ξ∂η |
|
∂η |
|
||||
или |
|
|
|
|
|
||||
|
|
∂2u |
∂u |
|
|||||
|
|
|
|
+ b(η) |
|
= 0. |
|
||
|
|
|
|
|
|
||||
|
∂ξ∂η |
∂η |
|
||||||
§ 2.. Общее решение линейного уравнения второго порядка. . . |
15 |
Решение. Найдем общее решение уравнения (2.3), второе решается аналогично. Положив в (2.3) v = ∂u/∂η, получим
|
|
|
|
∂v |
+ a(ξ)v = 0. |
(2.4) |
|
|
|
|
|
∂ξ |
|||
|
|
|
|
|
|
||
Разделим равенство (2.4) на v, считая v ̸= 0: |
|
||||||
|
|
|
|
∂v |
/v = −a(ξ). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂ξ |
|
||
Слева стоит производная |
∂ |
|
|
ln v. Теперь |
|
||
∂ξ |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
wln v = −a(ξ), |
|
||
|
|
|
∂ξ |
|
|||
ln v = − |
a(ξ) dξ + ln C(η), |
(2.5) |
|||||
r
v = C(η) · e− a(ξ) dξ,
C(η) — произвольная функция, а так как при C(η) ≡ 0 имеем v ≡ 0, то потери общности не произошло. Далее из уравнения
∂∂uη = C(η) · e− r a(ξ) dξ
получаем r w
u(ξ, η) = e− a(ξ) dξ · C(η) dη + φ(ξ).
r
Полагая C(η) dη = ψ(η), получаем общее решение уравнения (2.3):
r
u(ξ, η) = φ(ξ) + ψ(η) · e− a(ξ) dξ,
где φ(ξ) и ψ(η) — дважды непрерывно дифференцируемые произвольные функции.
Можно решить (2.4) умножением на интегрирующий множитель
{w }
µ(ξ) = exp a(ξ) dξ .
Предлагаем читателю воспользоваться предложенным методом для интегрирования уравнения
∂2u + a(ξ, η)∂u = f(ξ, η). ∂ξ∂η ∂η
16 |
|
|
|
|
|
|
Глава I. Метод характеристик |
||
Пример 2.3. Решить уравнение |
|
|
|
|
|
|
|||
x2 |
∂2u |
− y2 |
∂2u |
+ 2x |
∂u |
− 2y |
∂u |
= 0, |
(2.6) |
∂x2 |
∂y2 |
∂x |
∂y |
||||||
в области x ≠ 0, y ≠ 0.
Решение. В указанной области справедливо ∆ = x2y2 > 0. Следовательно, в этой области уравнение (2.6) гиперболическое. Для приведения его к каноническому виду составим характеристическое уравнение
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x2 dy2 − y2 dx2 = 0, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
которое распадается на пару различных уравнений |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
x dy + y dx = 0 и x dy − y dx = 0. |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
Общие интегралы этих уравнений соответственно таковы: |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xy = C |
|
|
и |
y |
|
= C. |
|
|
|
|
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Функции же |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
φ1(x, y) = xy и φ2(x, y) = |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
являются их интегралами. Поэтому в результате замены переменных |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ = xy, |
|
η = |
y |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(2.7) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
уравнение (2.6) будет приведено к каноническому виду. |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
Вычисляем частные производные по формулам (1.6): |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
∂u |
|
|
|
∂u ∂ξ |
|
|
∂u ∂η |
|
|
∂u |
|
|
|
|
|
|
|
|
∂u y |
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
= |
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
= |
|
|
|
y − |
|
|
|
|
|
|
, |
|
|
|
× 2x |
|
||||||||||||||||||||||
|
|
∂x |
∂ξ |
∂x |
∂η |
∂x |
∂ξ |
∂η |
x2 |
|
|||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
∂u |
|
|
|
|
∂u ∂ξ |
|
|
|
∂u ∂η |
|
|
|
∂u |
|
|
|
|
|
|
|
|
∂u 1 |
|
|
|
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂y = ∂ξ ∂y + ∂η ∂y = ∂ξ x + ∂η x, |
× −2y |
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
|
∂2u ∂2u |
y2 − |
|
y2 ∂2u |
|
|
|
|
|
∂2u y2 |
|
∂u 2y |
|
|
× x2 |
|
|||||||||||||||||||||||||||||||||||||||||
|
|
= |
|
|
|
2 |
|
|
|
|
+ |
|
|
|
|
|
+ |
|
|
|
|
, |
|
|
|||||||||||||||||||||||||||||||||
|
∂x2 |
|
∂ξ2 |
x2 |
∂ξ∂η |
∂η2 |
x4 |
∂η |
x3 |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
∂ |
2 |
u ∂ |
2 |
u 2 |
|
|
|
|
|
|
∂ |
2 |
u |
|
|
|
∂ |
2 |
u 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂y2 = ∂ξ2 x + 2∂ξ∂η + ∂η2 x2 . |
|
× −y |
|
||||||||||||||||||||||||||||||||||||||||||||||||||
§ 2.. Общее решение линейного уравнения второго порядка. . . |
17 |
Смешанную производную, естественно, не вычисляем. Подставим найденные производные в уравнение (2.6) и приведем подобные члены:
∂2u |
|
∂2u |
|
|
|
|
∂2u y2 |
|
|
y2 |
|||||||||
|
(x2y2 − x2y2) + |
|
|
(−2y2 − 2y2) + |
|
|
|
( |
|
|
− |
|
|
) + |
|||||
∂ξ2 |
∂ξ∂η |
∂η2 |
x2 |
x2 |
|||||||||||||||
|
|
∂u |
|
∂u |
( |
2y |
|
|
2y |
|
|
2y |
) = 0. |
||||||
|
+ |
|
(2xy − 2xy) + |
|
|
− |
− |
||||||||||||
|
∂ξ |
∂η |
x |
x |
x |
||||||||||||||
После очевидных преобразований получаем |
|
|
||||||||||||||||||||||
|
|
−4y2 |
|
∂2u |
− |
2y ∂u |
= 0, |
|
||||||||||||||||
|
|
∂ξ∂η |
|
|
|
|
x |
|
∂η |
|
||||||||||||||
или |
|
|
|
∂2u |
|
|
|
|
1 ∂u |
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
|
|
|
= 0. |
|
|||||
|
|
|
∂ξ∂η |
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
2xy ∂η |
|
|
|||||||||||||||||
С учетом, что ξ = xy, окончательно имеем |
|
|
||||||||||||||||||||||
|
|
|
|
∂2u |
|
|
|
|
1 ∂u |
|
(2.8) |
|||||||||||||
|
|
|
|
|
|
|
|
+ |
|
|
|
|
|
|
= 0. |
|||||||||
|
|
|
|
∂ξ∂η |
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
2ξ ∂η |
|
|
|||||||||||||||
Обозначим |
∂u |
= v(ξ, η). Тогда (2.8) принимает вид |
|
|||||||||||||||||||||
∂η |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∂v |
|
+ |
|
v |
= 0. |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
∂ξ |
|
2ξ |
|
|
||||||||||||||
Это есть уравнение типа (2.3). На основании (2.5) его общее решение опре- |
|||||||||||||
деляется равенством |
w |
dv |
|
|
|
1 |
w |
dξ |
|
|
|
|
|
|
+ |
|
= C(η). |
||||||||||
|
v |
2 |
ξ |
||||||||||
Отсюда |
1 |
|
|
|
|
|
ω(η) |
||||||
|
|
eC(η) = |
|||||||||||
|
v = |
√ |
|
√ |
|
|
|||||||
|
|
|
|
|
ξ |
|
ξ |
||||||
(вследствие произвольности C(η) функция ω(η) также является произвольной). Итак,
∂u |
|
ω(η) |
(2.9) |
|||
|
= |
√ |
|
. |
||
∂η |
||||||
ξ |
||||||
Решение уравнения (2.9) получается интегрированием по η:
w ω(η)
u = √ dη + ψ(ξ).
ξ
18 Глава I. Метод характеристик
Вместо произвольной постоянной мы написали здесь произвольную функцию ψ(ξ), так как указанная функция u удовлетворяет уравнению (2.9)
при произвольной ψ(ξ), в чем легко убедиться. Обозначив w
ω(η) dη = φ(η),
где функция φ(η) снова произвольна, мы получаем общее решение уравнения (2.8) в виде
1
u = √ φ(η) + ψ(ξ).
ξ
Возвращаясь к переменным x, y по формулам (2.7), выводим общее решение исходного уравнения (2.6):
1 |
|
y |
||
u = √ |
|
φ ( |
|
) + ψ(xy). |
|
x |
|||
xy |
||||
Напоминаем, что функции φ и ψ здесь произвольны. |
||||
§ 3. Задача Коши для уравнения в частных производных второго порядка
Для уравнения (1.1), помимо общего решения, зачастую ставится задача определения частных решений, удовлетворяющих специальным требованиям. В данной главе это будет задача Коши, которую мы сформулируем, предположив для простоты, что уравнение (1.1) определено на всей координатной плоскости xOy.
Пусть L — простая гладкая бесконечная кривая. Для уравнения гиперболического типа требуем, чтобы L пересекала характеристики под ненулевым углом. Кривая L разобьет плоскость xOy на две области: D+ и D−, которым соответствуют внутренние нормали n+ и n−. На L задаются две достаточные гладкие функции φ(x, y) и ψ(x, y). Задача Коши формулируется следующим образом.
В области D+ найти частное решение уравнения (1.1), удовлетворяющее
условиям |
|
|
|
|
|
∂u |
|
|
|
|
|
|
|
u |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|||
Если |
|
L= φ(x, y), |
∂n+ L= ψ(x, y). |
), то второе условие |
|||||||
L |
задается уравнением |
y = y(x) |
(или |
||||||||
|
|
|
|
|
|
|
x = x(y) |
|
|||
|
|
|
|
∂u |
|
|
|
∂u |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
может быть «ослаблено»: |
∂y |
L= ψ(x) ( |
∂x |
L= ψ(y)). |
|||||||
§ 3.. Задача Коши для уравнения в частных производных второго порядка |
19 |
В дальнейшем в главах II, III, V и VI неизвестная функция зависит от времени t и геометрических координат (x, y, z). Условия задачи Коши задаются при t = 0 и называются начальными данными, их число равно высшему порядку производной по t в заданном дифференциальном уравнении.
Пример 3.1. Найти решение уравнения |
|
|
|
|
|||||||
|
∂2u |
+ 2 |
∂2u |
− 3 |
|
∂2u |
= 0, |
(3.1) |
|||
|
∂x2 |
∂x∂y |
|
∂y2 |
|||||||
удовлетворяющее начальным условиям |
|
|
|
||||||||
|
|
|
|
|
|
∂u |
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
u |
y=0= 3x2, |
|
∂y |
y=0 |
= 0. |
(3.2) |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
Решение. На всей плоскости xOy справедливо ∆ = 1 + 3 > 0. Следовательно, на всей плоскости уравнение (3.1) является гиперболическим, а его характеристическое уравнение dy2 −2 dx dy −3 dx2 = 0 распадается на два уравнения: dy = −dx и dy = 3dx. Их общие интегралы — x + y = C и y − 3x = C, а функции x + y и y − 3x — интегралы этих уравнений. Поэтому к каноническому виду приводит следующая замена переменных:
ξ = x + y, |
|
η = y − 3x. |
(3.3) |
|||
В результате этой замены мы получаем уравнениe |
|
|||||
|
|
∂2u |
(3.4) |
|||
|
|
|
|
|
= 0. |
|
|
|
∂ξ∂ |
|
|||
|
|
η |
|
|||
Обозначив |
|
|
|
|||
|
∂u |
= v(ξ, η), |
|
|||
|
|
|
||||
|
∂ξ |
|
|
|
||
мы приводим его к виду |
|
|
|
|||
|
|
|
∂v |
= 0, |
|
|
|
|
|
∂η |
|
||
|
|
|
|
|
|
|
откуда заключаем, что функция v от η не зависит, т. е. имеет вид v = ω(ξ), где ω(ξ) — произвольная функция. Таким образом, для функции u мы
имеем уравнение
∂u∂ξ = ω(ξ).
20 |
Глава I. Метод характеристик |
Интегрируя по ξ, находим общее решение уравнения (3.4): w
u = ω(ξ) dξ + ψ(η) = φ(ξ) + ψ(η).
Здесь обе функции φ(ξ), ψ(η) произвольные. Возвращаясь к переменным x, y, получаем общее решение уравнения (3.1):
u(x, y) = φ(x + y) + ψ(y − 3x). |
(3.5) |
Наша задача состоит в том, чтобы из бесконечного множества решений (3.5) выделить то, которое удовлетворяет условиям (3.2). Иными словами, мы должны найти вполне определенные функции φ и ψ, при которых функция u удовлетворяет условиям (3.2). Из (3.5) имеем
|
∂u |
= φ′(x + y) + ψ′(y − 3x). |
|
|
|
|
|
|
∂y |
|
|
Полагая здесь и в (3.5) y = 0, из (3.2) получаем |
|
||
|
|
φ(x) + ψ(−3x) = 3x2, |
(3.6) |
|
|
φ′(x) + ψ′(−3x) = 0. |
(3.7) |
Из последнего равенства желательно получить уравнение, в которое вместо производных φ′(x), ψ′(−3x) входили бы функции φ(x), ψ(−3x). Казалось бы, этой цели можно достичь, изменив в (3.7) сумму производных на производную суммы функций. Но этому мешает то обстоятельство, что штрихи в (3.7) означают производные указанных функций по их аргументам (φ′(x) есть производная по x, ψ′(−3x) — производная по −3x). Поэтому вначале в (3.7) перейдем к производным по одной и той же переменной (например, по x). Имеем
|
|
dψ(−3x) |
|
= |
|
dψ(−3x) |
· |
d(−3x) |
= ψ′( 3x) |
( 3), |
||||||||||||||
|
|
dx |
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
d( |
− |
3x) |
|
|
dx |
|
|
|
− |
· − |
||||||||||
откуда |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
1 |
|
dψ(−3x) |
|
|
||||||||||
|
|
|
|
|
|
|
ψ′( |
− |
3x) = |
|
|
|
. |
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
−3 |
|
dx |
|
|
|
|
|||||
Теперь (3.7) принимает вид |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
dφ(x) |
|
1 |
|
dψ(−3x) |
= |
|
d |
( |
φ(x) |
− |
1 |
ψ( 3x) = 0. |
|||||||||||
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
dx |
3 |
||||||||||||||||||
|
|
dx − 3 |
|
|
dx |
|
|
|
|
|
|
|
− |
) |
||||||||||
