13.

Задачи Коши для двумерного волнового уравнения

Рассмотрим задачу
utt = a2 ∆u + f (x, t) в R2 × (0, ∞), (13.1)
u(x, 0) = u0 (x), ut (x, 0) = u1 (x), (13.2)
где f ∈ C (R × [0, ∞)), u0 ∈ C (R ) и u1 ∈ C (R ).
2 2 3 2 2 2

Теорема 13.1. Для любых f ∈ C 2 (R2 × [0, ∞)), u0 ∈ C 3 (R2 ) и u1 ∈ C 2 (R2 ) за-
дача (13.1), (13.2) имеет, причем единственное, решение u ∈ C 2 (R2 × [0, ∞)),
которое выражается формулой Пуассона
∫ t∫ ∫
1 f (ξ, τ ) dξdτ 1 u (ξ) dξ
u(x, t) = √ + √ 1
2πa 0 Ba(t−τ
x a (t − τ ) − |x − ξ|
2 2 2 2πa Bat
x a t2 − |x − ξ|2
2
(∫ )
)

1 ∂ u0 (ξ) dξ
+ √ (13.3)
2πa ∂t x
Bat a2 t2 − |x − ξ|2
для всех (x, t) ∈ R2+ = R2 × (0, ∞).
Доказательство. Считая функции u, u0 и u1 формально зависящими от тре-
тьей пространственной переменной, сведем задачу Коши (13.1), (13.2) к трех-
мерной задаче (12.1), (12.2). По теореме 12.1 решение (12.1), (12.2) существует,
единственно и выражается формулой Кирхгофа (12.3). Для второго слагаемо-
го в правой части (12.3) имеем
∫ ∫
1 1 u1 (ξ) dξ
u1 (ξ) dSat = √ ,
4πa2 t Sat
x 2πa Bat
x′ a2 t2 − |x′ − ξ|2
откуда следует выражение для второго слагаемое в (13.3). Здесь мы восполь-
зовались формулой
dξ = | cos(ν, x3 )|dSat ,
выражающей связь площади проекции элемента сферы радиуса at с площадью
самого этого элементы, где
√
a2 t2 − |x − ξ|2
| cos(ν, x3 )| =
at
— абсолютная величина косинуса угла между осью координат x3 и нормалью
x
ν к сфере Sat . При этом через x′ = (x1 , x2 ) мы обозначаем первые две коорди-
x′
наты точки x = (x′ , x3 ) ∈ R3 . Тем самым, Bat — шар в R2 , который является
ортогональной проекцией сферы Sat в R на плоскость x′ .
x 3

Аналогично,
∫ ∫
1 1 u0 (ξ) dξ
u0 (ξ) dSat = √ ,
2
4πa t Satx 2πa Bat x ′
a t2 − |x′ − ξ|2
2

поэтому третье слагаемое в правой части (12.3) превращается в третье слага-

емое в правой части (13.3).
1
2

Наконец, чтобы получить первое слагаемое в правой части (13.3), достаточно

представить первое слагаемое в правой части (12.3) в виде
( )
∫ f ξ, t − |x−ξ| ∫ at ∫ (
1 a 1 dρ ρ)
dξ = f ξ, t − dSρ
4πa2 Batx |x − ξ| 4πa2 0 ρ Sρx a
∫ t ∫
1 dτ
= f (ξ, τ ) dSa(t−τ )
4πa2 0 t − τ Sa(t−τ
x
)

(см. доказательство теоремы 12.1) и воспользоваться равенством

∫ ∫
1 1 f (ξ, τ ) dξdτ
f (ξ, τ ) dSa(t−τ ) = √ .
4πa (t − τ ) Sa(t−τ
2 x
)
2πa Ba(t−τ
x ′
)
a (t − τ )2 − |x − ξ|2
2

Теорема 13.1 полностью доказана. □