должно быть
С другой стороны,
что противоречит (4), и теорема доказана.
Из доказанной теоремы непосредственно вытекает, что:
1) Решение первой граничной задачи
в цилиндре
единственно. В самом деле, если бы мы имели два каких-либо решения
задачи, то их разность
удовлетворяя однородному уравнению (1), обращалась бы в нуль как при
так и на поверхности
области
Но тогда, в силу теоремы о максимуме и минимуме, следует, что
равна тождественно нулю в области
при т. е.
2) Решение первой граничной задачи (1) — (2) непрерывно зависит от правых частей начального и граничного условий. Действительно, если разность функций, входящих соответственно в начальное и граничное условия, по абсолютной величине не превосходит некоторого положительного числа
то и разность
соответствующих решений, как решение однородного уравнения теплопроводности с малыми начальным и граничным значениями, во всем цилиндре
по абсолютной величине также не будет превосходить