в цилиндрической области
принадлежит, очевидно, пространству
(см. (4.6)) и для любой
при
согласно (4.8)
Так как, очевидно,
и при
то для
имеем
По теореме п. 1.4
почти всюду в области
Ввиду произвольности
при
отсюда и из (4.10) получаем утверждение леммы.
Как и в § 3, из этой леммы немедленно вытекает следующая теорема сравнения (ср. п. 3.1).
Теорема 1. Пусть ограниченные функции
при любой неотрицательной функции
удовлетворяют неравенству (см. (4.5))
Пусть, кроме того,
Тогда
почти всюду в области
Аналогично п. 3.1 из этой теоремы выводим следствия. Следствие 1 (теорема единственности). Ограниченное обобщенное решение задачи Коши (4.1), (4.2) единственно.
Следствие 2 (теорема об ограниченности). Если ограниченные функции и, имеющие след при
удовлетворяют неравенствам
для любой функции
решение
задачи (4.1), (4.2) почти всюду в области
удовлетворяет неравенствам
Определение. 2. Ограниченные функции
имеющие след при
и удовлетворяющие условиям (4.13), (4.14), называются верхней и нижней функциями задачи (4.1), (4.2).
Следствие 3. Если
то для решения задачи (4.1), (4.2) имеет место оценка
Непосредственно проверяется, что
образуют верхнюю и нижнюю функции.
Теорема 2. Пусть
ограничена, выполнено условие (4.3) и в области
существуют верхняя и нижняя функции и, и задачи (4.1), (4.2).
Тогда в области
существует обобщенное решение задачи (4.1), (4.2), удовлетворяющее неравенствам (4.15).
Доказательство этой теоремы получается дословным повторением доказательства теоремы п. 3.2, только вместо цилиндрических
областей
следует рассматривать полосы
и вместо следствия 3 и. 1.4 используется оценка (4.16).
Очевидным образом переносятся на случай задачи Коши и следствия 1, 2 п. 3.2.