§ 72. Продолжение.
Для облегчения вычисления интегралов типа Коши, взятых по бесконечной прямой
можно привести ряд формул, вполне аналогичных формулам § 70. Мы ограничимся выводом простейших из этих формул, которые читатель легко сможет обобщить сам.
I. Пусть
обозначает функцию, голоморфную
непрерывную в
включая бесконечно удаленную точку, и пусть
Тогда
II. Пусть
функция, голоморфная в
и непрерывная в
включая бесконечно удаленную точку, и пусть
Тогда
То обстоятельство, что функция
предполагается непрерывной в
(или в
и при
можно выразить так):
Формулы (1) и (2) можно назвать формулами Коши соответственно для областей
Докажем, например, формулу (1). Опишем из О, как из центра, окружность настолько большого радиуса
чтобы точка z попала внутрь этой окружности. Рассмотрим замкнутый контур
состоящий из отрезка
действительной оси, заключенного в окружности, и из той полуокружности, которая находится в
положительное направление на
выберем так, чтобы часть
проходилась в направлении
Так как по предположению точка z заключена внутри
то на основании формулы Коши имеем:
где у — полуокружность, входящая в контур интегрирования.
Второй интеграл правой части, как показывают самые элементарные рассуждения, стремится при
в силу формулы (3) к величине
следовательно, и первое слагаемое стремится при
к определенному пределу, а именно к пределу
а. Но предел
и есть по определению главное значение интеграла
Таким образом, формула (1) доказана. Заметим, что одновременно доказано существование главного значения предыдущего интеграла, что не очевидно заранее, так как в нашем случае функция
подчинена условию
о (1), а не условию
при котором было доказано раньше существование главного значения.
Совершенно аналогично доказываются и другие приведенные выше формулы.