Интегрирование и дифференцирование интегралов, зависящих от параметра (стр. 3 из 7)

Поскольку интеграл

сходится, то по признаку Вейерштрасса интеграл сходится равномерно по . В силу следствия 1 функция регулярна при ; так как можно выбрать сколь угодно большим, а - сколь угодно малым, то интеграл (12) представляет функцию , регулярную в верхней полуплоскости. Аналогично доказывается, что интеграл (12) представляет функцию , регулярную в нижней полуплоскости.

Пример 1. [7, c.119] Пусть функция

непрерывна на полуоси и удовлетворяет оценке

. Тогда интеграл типа Коши представляет функцию, регулярную в плоскости с разрезом по полуоси .

3. Если функция

регулярная на контуре интегрирования , то интеграл типа Коши допускает аналитическое продолжение через точки контура. Прием, который при этом используется, заключается в том, что мы сдвигаем контур интегрирования.

Пример 2. [7, c.119] Пусть

.

Функция

регулярна в круге . Покажем, что функцию можно аналитически продолжить на всю комплексную плоскость . Положим при

.

Функция

регулярна в круге . Покажем, что

.

тем самым наше утверждение будет доказано. Подынтегральная функция

регулярна в кольце , если , так как функция регулярна при всех .

Следовательно, в силу интегральной теоремы Коши интегралы по окружностям

и от функции равны при что и требовалось доказать.

Этот пример допускает следующее обобщение. Рассмотрим интеграл

типа коши (11), где - простая замкнутая кривая. Тогда этот интеграл определяет функцию, регулярную в области , лежащей внутри .

Пусть функция

регулярна в замкнутой области , ограниченной кривыми и , где - простая замкнутая кривая, и лежит внутри . Тогда формула

дает аналитическое продолжение функции

в область , лежащую внутри . Действительно, функция регулярна в области , если , так что в силу интегральной теоремы Коши

.

Интеграл в левой части этой формулы задает функцию, регулярную в

, а интеграл в правой части равен . Следовательно, , и наше утверждение доказано.

Аналогичный метод применим к интегралам вида (12).

Теорема 6. [7, c.120] Пусть функция

регулярна в полосе и удовлетворяет условию

.

Тогда интеграл (2) допускает аналитическое продолжение в полуплоскость

и это продолжение дается формулой

3. Интеграл коши на области

3.1 Аналитическая зависимость от параметра

Аналитическая зависимость от параметра. Рассматривая интеграл Коши, мы видим, что подынтегральная функция зависит от двух комплексных переменных: переменной интегрирования

и фиксированного значения переменной . Тем самым интеграл Коши является интегралом, зависящим от параметра . Естественно поставить вопрос об общих свойствах интегралов по комплексной переменной, зависящих от параметра.

Пусть задана функция двух комплексных переменных

, однозначно определенная для значений комплексной переменной из области и для значения комплексной переменной , принадлежащих некоторой кусочно-гладкой кривой С. Взаимное расположение области и кривой может быть совершенно произвольно. Пусть функция двух комплексных переменных удовлетворяют следующим условиям: