11.

Существование решения задачи Коши для трехмерного

однородного волнового уравнения
Теорема 11.1. Для любых начальных условий u0 ∈ C 3 (R3 ) и u1 ∈ C 2 (R3 ) най-
дется функция u ∈ C 2 (R3 ×[0, ∞)), удовлетворяющая задаче Коши (9.1), (9.2).
Доказательство. Покажем, что правая часть формулы Кирхгофа (10.1) яв-
ляется решением задачи (9.1), (9.2). В самом деле, запишем эту формулу в
виде
∂
u(x, t) = tMu1 (x, at) + (tMu0 (x, at)) , (x, t) ∈ R3+ . (11.1)
∂t
Согласно предложению 8.1 имеем
 
1 ∂ 2 ∂

∆x Mu1 (x, at) = M∆u1 (x, at) = 2 r Mu1 (x, r) 
r ∂r ∂r
 2  r=at
∂ 2 ∂ 
= Mu1 (x, r) + Mu (x, r) 
∂r 2 r ∂r 1
 
r=at
1 ∂2 2∂ 1 ∂2
= 2 M u (x, at) + M u (x, at) = (tMu1 (x, at))
a ∂t2 1 t ∂t 1 a2 t ∂t2
для всех (x, t) ∈ R3+ . Аналогично,
1 ∂2
∆x Mu0 (x, at) = (tMu0 (x, at))
a2 t ∂t2
для всех (x, t) ∈ R3+ . Таким образом,
∂
a2 ∆u(x, t) = a2 t∆x Mu1 (x, at) + a2
(t∆x Mu0 (x, at))
∂t
∂2 ∂3
= 2 (tMu1 (x, at)) + 3 (tMu0 (x, at)) = utt (x, t)
∂t ∂t
для всех (x, t) ∈ R+ , и мы показали справедливость уравнения (9.1). Покажем
3

теперь справедливость условий (9.2). Из формулы (11.1) следует, что

lim u(x, t) = lim Mu0 (x, t) = u0 (x)
t→+0 t→+0

для всех x ∈ R3 . Это доказывает справедливость первого условия в (9.2). Со-

гласно (9.2) имеем также
∂ ∂2 ∂
ut (x, t) = Mu1 (x, at) + tMu1 (x, at) + t 2 Mu1 (x, at) + 2 Mu1 (x, at).
∂t ∂t ∂t
для всех (x, t) ∈ R+ . Поскольку
3

lim Mu1 (x, t) = u1 (x)

t→+0
и  
∂ ∂2
lim t Mu1 (x, at) + t 2 Mu1 (x, at) = 0
t→+0 ∂t ∂t
для всех x ∈ R , для доказательства второго условия в (9.2) достаточно уста-
3

новить справедливость соотношения

∂
lim Mu1 (x, at) = 0 (11.2)
t→+0 ∂t
1
2

для всех x ∈ R3 . Несложно увидеть, что

Z Z
∂ 1 ∂ a
Mu (x, at) = u(x + atη) dS1 = ∇x u(x + atη) · η dS1
∂t 1 |S1 | η∈S1 ∂t |S1 | η∈S1
Z
a
= (∇x u(x + atη) − ∇u(x)) · η dS1
|S1 | η∈S1
Z
a
+ ∇u(x) · η dS1
|S1 | η∈S1
для всех (x, t) ∈ R3+ , где первое слагаемое в правой части удовлетворяет оценке
 Z 
 1 
 (∇ u(x + atη) − ∇u(x)) · η dS 
 |S1 | x 1 
η∈S1
Z
1
≤ |∇x u(x + atη) − ∇u(x)| dS1
|S1 | η∈S1
≤ sup |∇x u(x + atη) − ∇u(x)| → 0 при t → +0
η∈S1

для всех x ∈ R , а второе слагаемое равно нулю, т.к. значение интеграла

3
Z
∇u(x) · η dS1
η∈S1

представляет из себя поток постоянного вектора ∇u(x) через сферу S1 . Таким

образом, справедливо (11.2), а вместе с ним и второе условие в (9.2). □
Упражнение 11.1. Докажите, что поток постоянного вектора, через поверх-
ность любой ограниченной кусочно гладкой области равен нулю.
Подсказка. Воспользуйтесь формулой Гаусса – Остроградского.