Пусть Г –кусочно-гладкий
контур, а
непрерывная
на Г функция, тогда
z не принадлежит границе Г –
называется интегралом типа Коши.
При
сформулированных условиях функция
определена и дифференцируема бесконечное число раз, причём для производных
справедлива формула ![]()
Доказательство:
Докажем формулу при n=1. Так как
непрерывна
на контуре Г, то существует число М<
такое, что![]()
Фиксируем точку z не принадлежащую Г. Пусть
.
Очевидно d>0. Выберем число r
и
возьмём произвольное число
так,
чтобы
.
Тогда для любого ![]()
Оценим выражение
Упростим выражение в скобках под
интегралом получим
Поэтому получаем оценку
![]()
в
пределе получаем равенство.
Общий
случай получается аналогично первому случаю для n-1 производной, учитывая равенство
![]()
Пусть функция f регулярна в области G. Тогда эта функция имеет в G производные всех порядков.