12.

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

уравнения
Будем исследовать задачу
utt = a2 ∆u + f (x, t) в R3 × (0, ∞), (12.1)
u(x, 0) = u0 (x), ut (x, 0) = u1 (x), (12.2)
где f ∈ C (R × [0, ∞)), u0 ∈ C 3 (R3 ) и u1 ∈ C 2 (R3 ).
2 2

Теорема 12.1. Для любых f ∈ C 2 (R2 × [0, ∞)), u0 ∈ C 3 (R3 ) и u1 ∈ C 2 (R3 ) за-
дача (12.1), (12.2) имеет, причем единственное, решение u ∈ C 2 (R3 × [0, ∞)),
которое выражается формулой Кирхгофа
 
Z f ξ, t − |x−ξ| Z
1 a 1
u(x, t) = dξ + u1 (ξ) dSat
4πa2 Bat
x |x − ξ| 4πa2 t Sat
x

Z !
1 ∂ 1
+ u0 (ξ) dSat (12.3)
4πa2 ∂t t Satx

для всех (x, t) ∈ R3+ .

Доказательство. Единственность следует из теоремы 10.1, т.к. разность двух
решений задачи Коши (12.1), (12.2) является решением задачи (9.1), (9.2), где
u0 = u1 = 0. Докажем существование. Будем искать решение (12.1), (12.2) в
виде
u = v + w,
где v и w — решения задач
vtt = a2 ∆v в R3 × (0, ∞),
v(x, 0) = u0 (x), vt (x, 0) = u1 (x),
и
wtt = a2 ∆w + f (x, t) в R × (0, ∞), (12.4)
w(x, 0) = 0, wt (x, 0) = 0. (12.5)
Согласно теоремам 10.1 и 11.1
Z Z !
1 1 ∂ 1
v(x, t) = u1 (ξ) dSat + u0 (ξ) dSat . (12.6)
4πa2 t Sat
x 4πa2 ∂t t Satx

Будем искать w в виде интеграла Дюамеля

Z t
w(x, t) = K(x, t, τ ) dτ,
0

где K(x, t, τ ) для всех τ > 0 удовлетворяет задаче Коши

Ktt (x, t, τ ) − a2 ∆K(x, t, τ ) = 0, t > τ,
K(x, τ, τ ) = 0, Kt (x, t, τ )|t=τ = f (x, τ ).
1
2

Непосредственным дифференцированием несложно убедиться, что w — реше-

ние (12.4), (12.5). Полагая K̃(x, t, τ ) = K(x, t + τ, τ ), будем, очевидно, иметь
K̃tt (x, t, τ ) − a2 ∆K̃(x, t, τ ) = 0, t > 0,


K̃(x, 0, τ ) = 0, K̃t (x, t, τ ) = f (x, τ ).
t=0
Согласно теоремам 10.1 и 11.1 функция K̃(x, t, τ ) выражается формулой
Z
1
K̃(x, t, τ ) = f (ξ, τ ) dSat ,
4πa2 t Sat
x

из которой следует, что

Z
1
K(x, t, τ ) = f (ξ, τ ) dSa(t−τ ) , x ∈ R3 , t > τ > 0.
4πa2 (t − τ ) Sa(t−τ
x
)

Таким образом,
Z t Z
1 dτ
w(x, t) = f (ξ, τ ) dSa(t−τ ) , (x, t) ∈ R3+ ,
4πa2 0 t−τ x
Sa(t−τ )

откуда, взяв ρ = a(t − τ ) в качестве полярного радиуса, будем иметь

 
Z at Z   Z f ξ, t − |x−ξ|
1 dρ ρ 1 a
w(x, t) = f ξ, t − dSρ = dξ
2
4πa 0 ρ Sρx a 2
4πa Bat
x |x − ξ|
для всех (x, t) ∈ R3+ . Складывая последнее выражение и (12.6), получим (12.3).
Доказательство завершено. □