80. Граничные значения интеграла
Опр: Пусть - область и - гладкая жорданова кривая и непрерывна на по Гёльдеру с показателем . Рассмотрим интеграл .
Теорема:
Доказательство: Зададим и пусть - из леммы параграфа 79.
1 шаг: Пусть и - такие, что . Тогда
,
Где Оценим последние два интеграла. В силу выбора : , откуда получаем оценку первого интеграла: (см. лемму параграфа 79). Пусть , имеем: , откуда , пусть , тогда . Из последних оценок, получаем итог первого шага: при .
2 шаг: Пусть и . Легко видеть, что верна следующая оценка: , откуда следует, что : .
3 шаг: Оценим такую разность: . Последнее неравенство получается за счёт того, что , и в силу того, что : , откуда заключаем, что . Пусть теперь , тогда по неравенству треугольника: в силу всех предыдущих выкладок . Отсюда заключаем, что и в силу произвольности , откуда . Теорема доказана.
< Предыдущая | Следующая > |
---|