|o(z-z„)l<slz—zo[. (10)
Выберем п столь большим, чтобы треугольник An лежал в круге Iz—Zol < б. Тогда из (9) и (10) имеем
./„= J/(z)dz <e J|z-zJ|dz|<ePnj'|dz|=8P„=8^,
Дп Дп Дп
т. е.
^п<е^ (11)
Сравнивая (7) и (11), получаем а/4" < sP2/^", т. е. а<еР2, что при а > 0 невозможно, так как е > 0 можно выбрать сколь угодно малым. Следовательно, а == 0, т. е. равенство (3) справедливо для любого треугольника, лежащего в области D.
2. Пусть теперь в качестве f взят контур произвольного замкнутого многоугольника, лежащего в области D.
(О i". 11. ГДХУЛНРИЫй ФУНКЦИИ
Если многоугольник является выпуклым, то его можно разбить на треугольники диагоналями, проведенными из одной вершины. Представляя J= \f(z)dz в виде суммы интегралов, взя-
V
тых по границам треугольников, на которые разбивается данный ;
многоугольник, получаем J =0. 1 Далее, любой многоугольник можно разбить на конечное i. число выпуклых многоугольников. Следовательно, и в этом слу- 1
чае J/(z)dz=0. 1
3. Пусть, наконец, ^ — произвольная замкнутая кривая, ле-
С жащая в области D. По лемме 2, § 5 / (z) dz можно с любой
т точностью приблизить интегралом по замкнутой ломаной, лежащей в области D, т. е. для любого е > 0 существует замкнутая ломаная L такая, что
[J/(z)dz- \f(z)dz <e.
it L
По доказанному выше | / (z) dz = 0 и поэтому последнее нера-l
I Г венство принимает вид \\f(z)dz <; 8, откуда в силу произволь-
Iv
поста числа 8 > 0 заключаем, что J / (z) dz = 0.
v
3. Следствия, дополнения и замечания к теореме Коши. >
^ Замечание 1. Функция /(z)=— дифференцируема в
Z
кольце 0< Izl < 2, но \ -^-^=0 (§5, пример 3). Этот пример
z|=l
показывает, что требование односвязности области в теореме Коши существенно.
Следствие 1. Если функция f(z) дифференцируема в односвязной области D, то интеграл от /(z) не зависит от пути интегрирования. Именно, если кривые f, fi лежат в области D и имеют общие начало и конец, то
J/(z)dz= J/(z)rfz. v ti
Таким образом, кривую у можно деформировать в области D (оставляя концы неподвижными), не меняя значения интеграла.
Используя следствие, приведенное в § 6. п. 2, получаем теорему 3, которая также называется интегральной теоремой Коши.
§ 9. ИНТЕГРАЛЬНАЯ ТЕОРЕМА КОШИ 79
Теорема 3. Если функция /(z) дифференцируема в области D, а кривые fi и ^г гомотопны в области D, то
J/(z)riz= J/(z)dz.
Vl V,
Область D может быть и неодносвязной.
Теорема Коши остается в силе и для случая, когда кривая ^ является границей области D. Приведем формулировку теоремы Коши для этого случая.
Теорема 4. Пусть D—ограниченная односвязная область с кусочно гладкой границей Г и пусть функция f(z) дифференцируема в области D и непрерывна вплоть до ее границы. Тогда
f/(z)dz=0. г
Доказательство теоремы 4 вытекает из теоремы 2 и леммы 3, § 5.
Утверждение теоремы 4 остается в силе и для многосвязных областей.
Следствие 2. Пусть граница Г многосвязной области D состоит из замкнутой кусочно гладкой кривой Го и попарно не пересекающихся замкнутых кусочно гладких кривых Гц Г2, ... ..., Гп, расположенных внутри Го, и пусть функция f(z) дифференцируема в области D и непрерывна вплоть до ее границы. Тогда
f/(z)dz+ S }f(z)dz==0. (12)
Го ^Fft
Кривые Гц,Fi, ..., Гц ориентированы так, что при обходе каждой из этих кривых область D остается слева.
Доказательство. Соединим кривую Го с кривыми Fi, Га, ..., Гп разрезами Yi, ^2, • •., Тп (рис. 43) так, чтобы получившаяся область D была односвязной. Граница Г области D состоит из кривых Го,Fi, ..., Г„ и разрезов 'fi, ^2, ..., "fn. По
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.