25. Интегральная формула Коши
Лемма: Пусть непрерывна в области
и точка
, тогда
, где
- окружность.
Доказательство: В силу непрерывности в
:
В силу того, что , оценим разность:
Отсюда следует, что . Это означает, что
. Так как
- число, следовательно,
.
. Лемма доказана.
Теорема: Пусть - область и
,
- кусочно-гладкие жордановы кривые, а
- аналитична в
и непрерывна вплоть до границы
, тогда
верна формула:
Доказательство: Пусть
. Построим круг
,
, выбрав
достаточно малым, чтобы
. Положим
.
- область с кусочно-гладкой границей
. Функция
аналитична в
, так как
в
. Следовательно, по теореме Коши:
Здесь последний интеграл берется по часовой стрелке (область
остается слева). Первый интеграл не зависит от
. Во втором интеграле поменяем направление и применим лемму:
. Теорема доказана.
25. Теорема о среднем
Теорема: Пусть аналитична в
и непрерывна вплоть до границы. Тогда
.
Доказательство: По интегральной формуле Коши . На границе круга переменная
имеет вид
. Отсюда получаем:
Теорема доказана.
< Предыдущая | Следующая > |
---|