10.

Формула Кирхгофа для решения трехмерного однородного

волнового уравнения
Теорема 10.1. Пусть u ∈ C 2 (R3 × [0, ∞)) — решение задачи (9.1), (9.2), где
u0 ∈ C 3 (R3 ) и u1 ∈ C 2 (R3 ). Тогда
Z Z !
1 1 ∂ 1
u(x, t) = u1 (ξ) dSat + u0 (ξ) dSat (10.1)
4πa2 t Satx 4πa2 ∂t t Sat
x

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

Замечание 10.1. Формулу (10.1) впервые получил немецкий физик и матема-
тик Густав Роберт Кирхгоф (Gustav Robert Kirchhoff), поэтому она носит его
имя.
Доказательство теоремы 10.1. Пусть u ∈ C 2 (R3 × [0, ∞)) — решение зада-
чи (9.1), (9.2). Согласно лемме 9.1 функция
v(r, t, x) = rMu(·,t) (x, r)
является решением начально-краевой задачи (9.3) – (9.6). Применяя теоре-
му 6.1, будем иметь
Z r+at
1  1
v(r, t, x) = ξMu0 (x, ξ)|ξ=r+at − ξMu0 (x, ξ)|ξ=at−r + ξMu1 (x, ξ) dξ
2 2a at−r
для всех x ∈ R3 , r, t ∈ [0, ∞) таких, что r ≤ at. При этом, очевидно,
v(r, t, x)
u(x, t) = lim (10.2)
r→+0 r
или, другими словами,
1  
u(x, t) = lim ξMu0 (x, ξ)|ξ=r+at − ξMu0 (x, ξ)|ξ=at−r
r→+0 2r
Z r+at
1
+ lim ξMu1 (x, ξ) dξ,
r→+0 2ar at−r

откуда ввиду элементарных соотношений


1   ∂ 
lim ξMu0 (x, ξ)|ξ=r+at − ξMu0 (x, ξ)|ξ=at−r = (rMu0 (x, r))
r→+0 2r ∂r r=at
и Z r+at
1
lim ξMu1 (x, ξ) dξ = tMu1 (x, at)
r→+0 2ar at−r
следует, что 
∂ 
u(x, t) = (rMu0 (x, r)) + tMu1 (x, at) (10.3)
∂r r=at
для всех x ∈ R3 и t ∈ (0, ∞). В то же время, очевидно,
 Z  Z !
∂  ∂ r  1 ∂ at
(rMu0 (x, r)) = u0 (y) dSr  = u0 (y) dS
∂r r=at ∂r |Sr | x
Sr r=at
a ∂t |Sat | Satx

Z !
1 ∂ 1
= u0 (y) dS
4πa2 ∂t t Sat x

1
2

и Z
1
tMu1 (x, at) = u1 (ξ) dS.
4πa2 t x
Sat
Таким образом, (10.3) влечет (10.1).
Доказательство завершено. □
Упражнение 10.1 (в духе В.И. Арнольда). Найдите ошибки в формулах (9.4)
и (9.5) лекции 9.