Ну хорошо. Мы договорились, что всё у нас сферически симметрично, значит решение в шаре определяется решением на любом отрезке радиуса (решения на отрезке от 0 до любой точки сферы будут совпадать друг с другом). Давайте теперь рассмотрим конкретный радиус, например, (0,0,R), т.е. рассмотрим U(t,0,0,z), т.е. решение на прямой x=y=0, т.е. на оси Oz. Теперь продолжим решение в противоположную сторону до (0,0,-R). Рассматриваемое на отрезке [-R,R] как функия от z (при любом фиксированном t) такое решение будет просто симметрично. Итак, U(t, 0, 0, z) = U(t, 0, 0, -z). Т.е. функция, рассматриваемая при любом фиксированном t и x=y=0, как функция одного переменного z, будет
чётной. Согласны?
Дальше, функция является дифференцируемой и чётной, значит,
. Согласны?
Подставим теперь
(мы договорились, что в нуле производная существует). Что получается?