Курсовая работа: Интегрирование и дифференцирование интегралов, зависящих от параметра
.
Так как - конечная кривая, то знаменатель при достаточно малых и функция регулярна в точке в силу теоремы 1.
2. Пусть - бесконечная кривая. Ограничимся, для простоты случаем, когда - вещественная ось; тогда
(12)
Пусть функция удовлетворяет оценке
(13)
Покажем, что тогда формула (12) определяет две функции , которые регулярны в полуплоскостях , соответственно. Воспользуемся следствием 1.Рассмотрим случай . Пусть лежит в полуполосе : , где , . При вещественных и при имеем , если . Следовательно,
Поскольку интеграл сходится, то по признаку Вейерштрасса интеграл сходится равномерно по . В силу следствия 1 функция регулярна при ; так как можно выбрать сколь угодно большим, а - сколь угодно малым, то интеграл (12) представляет функцию , регулярную в верхней полуплоскости. Аналогично доказывается, что интеграл (12) представляет функцию , регулярную в нижней полуплоскости.
Пример 1. [7, c.119] Пусть функция непрерывна на полуоси и удовлетворяет оценке . Тогда интеграл типа Коши представляет функцию, регулярную в плоскости с разрезом по полуоси .
3. Если функция регулярная на контуре интегрирования , то интеграл типа Коши допускает аналитическое продолжение через точки контура. Прием, который при этом используется, заключается в том, что мы сдвигаем контур интегрирования.
Пример 2. [7, c.119] Пусть
.
Функция регулярна в круге . Покажем, что функцию можно аналитически продолжить на всю комплексную плоскость . Положим при
.
Функция регулярна в круге . Покажем, что
.
тем самым наше утверждение будет доказано. Подынтегральная функция регулярна в кольце , если , так как функция регулярна при всех .
Следовательно, в силу интегральной теоремы Коши интегралы по окружностям и от функции равны при что и требовалось доказать.
Этот пример допускает следующее обобщение. Рассмотрим интеграл типа коши (11), где - простая замкнутая кривая. Тогда этот интеграл определяет функцию, регулярную в области , лежащей внутри .
Пусть функция регулярна в замкнутой области , ограниченной кривыми и , где - простая замкнутая кривая, и лежит внутри . Тогда формула
дает аналитическое продолжение функции в область , лежащую внутри . Действительно, функция регулярна в области , если , так что в силу интегральной теоремы Коши
.
Интеграл в левой части этой формулы задает функцию, регулярную в , а интеграл в правой части равен . Следовательно, , и наше утверждение доказано.
Аналогичный метод применим к интегралам вида (12).
Теорема 6. [7, c.120] Пусть функция регулярна в полосе и удовлетворяет условию
.
Тогда интеграл (2) допускает аналитическое продолжение в полуплоскость и это продолжение дается формулой