Материал: Высшая математика. Теория функций комплексного переменного. Пантелеев И.Н

4°. Модуль интеграла ∫ f (z)dz не превосходит значения

Γ

криволинейного интеграла от модуля функции по длине кривой s (криволинейного интеграла от f (z) первого рода):

Доказательство. Воспользуемся тем, что для интеграла по отрезку

ββ

∫g(t)dt ≤ ∫ g(t) dt

αα

(это неравенство сразу следует из определения интеграла по отрезку как предела интегральных сумм). Отсюда и из (1.5) имеем

α

5.2. Теорема Коши

Рассмотрим теперь интегралы от (однозначных) аналитических функций. Важную роль играет следующая теорема.

Теорема 1.1 (теорема Коши для односвязной области).

Пусть функция f(z) аналитична в односвязной области D. Тогда для любого замкнутого контура Г, лежащего в D,

∫ f (z)dz = 0 .

Γ

91

Доказательство. Для краткости мы проведем доказательство при дополнительном предположении, что производная f'(z) непрерывна в D. В силу равенства (1.3) для

выполнения условия ∫ f (z)dz = 0 необходимо и достаточно,

Γ

чтобы

ΓΓ

Напомним, что если Р(х,у) и Q(x,y) — непрерывные действительные функции в односвязной области D, имеющие в D непрерывные частные производные первого порядка, то равенство

∫Pdx +Qdy = 0

Γ

Применительно к интегралам из (2.1) условие (2.2) имеет вид

(непрерывность частных производных функций и и v вытекает из непрерывности f'(z)). Но условия (2.3) совпадают с условиями Коши-Римана, которые выполнены в силу предположения о том, что функция f(z) является аналитической в D. Таким образом, справедливы равенства

(2.1), а значит, и равенство ∫ f (z)dz = 0 , что и требовалось

Γ

доказать.

Заметим, что если функция f(z) является аналитической в

замкнутой односвязной области D , то в качестве Г можно взять также границу этой области.

92

Рассмотрим теперь обобщение теоремы Коши на многосвязные области. Пусть D — n-связная область, граница которой состоит из внешнего контура Г1 и внутренних контуров Г2, ..., Гn.

Теорема 1.2 (теорема Коши для n-связной области).

Предположим, что функция f(z) аналитична в замкнутой п-

связной области D . Тогда интеграл от f по границе области

которой состоит из контуров Г1, Г2, Г3 и дуг АВ и СЕ. При обходе этой границы контуры Г1, Г2, Г3 проходятся однократно, а дуги АВ и СЕ — дважды в противоположных направлениях. Поскольку область D* односвязна, то в силу теоремы 1.1 интеграл по ее границе Г* равен нулю, а в силу свойства 2° интеграл по Г* распадается на сумму интегралов по участкам, составляющим Г*. Поэтому

0 = ∫ f (z)dz = ∫ f (z)dz + ∫ f (z)dz + ∫ f (z)dz + ∫ f (z)dz +

+ ∫ f (z)dz + ∫ f (z)dz + ∫ f (z)dz

BA CE EC

Согласно свойству 3° интегралы по АВ и ВА (и, аналогично, по СЕ и ЕС) отличаются лишь знаками и поэтому сокращаются. Получаем

93

что и требовалось доказать.

Теорему 1.2 можно сформулировать в следующей форме.

Теорема 1.2'. Если функция f(z) аналитична в замкнутой п-связной области D и все граничные контуры Г1 , ..., Гn обходятся в одном и том же направлении, то

где Г1 — внешний контур, охватывающий остальные.

Доказательство сразу получается из формулы (2.4), если у контуров Г2,... ,Гn (или у контура Г1) изменить направление обхода на противоположное и перенести соответствующие интегралы в другую часть равенства (2.4).

Теорема 1.1 эквивалентна следующему важному

свойству независимости интеграла ∫ f (z)dz от пути

Γ

интегрирования.

Следствие 1.3. Пусть функция f(z) аналитична в односвязной области D, и пусть а и b — две любые точки из D. Тогда интегралы по всем кривым, идущим из а в b и лежащим внутри D, равны между собой.

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

Доказательство. Пусть Г1 и Г2 — два пути, идущие из а в b (рис. 5.3). Обозначим через Г1- кривую Г1, проходимую в противоположном направлении, т.е. из b в а. По теореме 1.1

интеграл ∫ f (z)dz по замкнутому контуру Г = Г2 Г1- равен

Γ

нулю. Отсюда

0 = ∫ f (z)dz = ∫ f (z)dz + ∫ f (z)dz = ∫ f (z)dz − ∫ f (z)dz

и, следовательно,

94

∫ f (z)dz = ∫ f (z)dz

Γ1 Γ2

Следствие 1.3 доказано.

Точки z, в которых (однозначная) функция f(z) является аналитической, называются регулярными или правильными точками функции f(z). Точки, в

которых f(z) не является аналитической, в том числе точки, в которых f(z) не определена, называются особыми. Особая точка z0 называется изолированной, если найдется такая окрестность с центром z0, в каждой точке

которой, за исключением самой точки z0, функция f(z) является аналитической.

Следствие 1.4 (неизменяемость интеграла при деформации пути интегрирования). Интеграл от аналитической функции f(z) по кривой Г (замкнутой или незамкнутой) не изменяет своей величины при любой непрерывной деформации кривой Г, если только при этой деформации кривая Г не пересекает особых точек функции f(z); в случае незамкнутой кривой Г подразумевается, что при деформации начало и конец Г остаются неподвижными.

Доказательство. Для незамкнутой кривой нужное утверждение вытекает из следствия 1.3, поскольку при непрерывной деформации кривой Г1 в Г2 функция f(z) будет аналитической в односвязной области, заключенной между ними (см. рис. 5.3). (Действительно, если между Г1 и Г2 есть хотя бы одна особая точка функции f(z), то непрерывная деформация кривой Г1 в Г2 без пересечения этой точки невозможна.)

Для замкнутого контура равенство ∫ f (z)dz = ∫ f (z)dz

Γ1 Γ2

сразу следует из формулы (2.5) при п = 2, поскольку функция

95