Для сферических средних Mu (x, r) справедливы следующие утверждения. (1) Пусть u ∈ C 1 (Rn ), тогда ∂ Mu (x, r) = Muxi (x, r), i = 1, 2, . . . , n, (8.1) ∂xi для всех x ∈ Rn . (2) Пусть u ∈ C 1 (Rn × [0, ∞)), тогда ∂ Mu(·,t) (x, r) = Mut (·,t) (x, r) (8.2) ∂t для всех x ∈ Rn и t ∈ [0, ∞). В самом деле, применяя правило дифференцирования интеграла по пара- метру, получим ∫ ∫ ∂ 1 1 Mu (x, r) = ux (x+y) dSr = uy (x+y) dSr , i = 1, 2, . . . , n, ∂xi |Sr | y∈Sr i |Sr | y∈Sr i откуда немедленно вытекает (8.1). Аналогично, ∫ ∂ 1 Mu(·,t) (x, r) = ut (x + y, t) dSr , ∂t |Sr | y∈Sr что, в свою очередь, влечет (8.2). Предложение 8.1. Пусть u ∈ C 2 (Rn ), тогда ( ) 1 ∂ n−1 ∂ M∆u (x, r) = n−1 r Mu (x, r) (8.3) r ∂r ∂r для всех x ∈ Rn , r > 0. Доказательство. Имеем ∫ 1 M∆u (x, r) = ∆y u(x + y) dSr |Sr | y∈Sr ∫ r∫ 1 ∂ = ∆y u(x + y) dSρ (8.4) |S1 |rn−1 ∂r 0 y∈Sρ для всех x ∈ Rn и r > 0. При этом ввиду формулы Гаусса-Остроградского справедливо равенство ∫ r∫ ∫ ∫ ∆y u(x + y) dSρ = ∆y u(x + y) dy = ν · ∇y u(x + y) dSr , 0 y∈Sρ Br Sr
где ν = y/|y| — единичный вектор внешней нормали к Sr в точке y ∈ Sr .
Согласно правилу дифференцирования функции вдоль вектора ( ) ∂u(x + y) ∂ y ν · ∇y u(x + y) = = u x+ r . ∂νy ∂r |y| 1 2
Таким образом, приходим к соотношению
∫ r∫ ∫ ( ) ∫ ∂ y n−1 ∂ ∆y u(x + y) dSρ = u x + r dSr = r u(x + νr) dS1 0 y∈Sρ y∈Sr ∂r |y| ν∈S1 ∂r ∫ n−1 ∂ ∂ =r u(x + νr) dS1 = |S1 |rn−1 Mu (x, r), ∂r ν∈S1 ∂r объединяя которое с (8.4), получим (8.3). □