Главная » Просмотр файлов » А.В. Домрин, А.Г. Сергеев - Лекции по комплексному анализу

А.В. Домрин, А.Г. Сергеев - Лекции по комплексному анализу (1124322), страница 8

Файл №1124322 А.В. Домрин, А.Г. Сергеев - Лекции по комплексному анализу (А.В. Домрин, А.Г. Сергеев - Лекции по комплексному анализу) 8 страницаА.В. Домрин, А.Г. Сергеев - Лекции по комплексному анализу (1124322) страница 82019-05-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 8)

Два пути γ0 : I → D и γ1 : I → D с общими концамиγ0 (0) = γ1 (0) = a ,γ0 (1) = γ1 (1) = bназываются гомотопными в области D, если существует непрерывное отображение γ = γ(s, t) : I × I → D такое, чтоγ(0, t) ≡ γ0 (t), γ(1, t) ≡ γ1 (t),γ(s, 0) ≡ a, γ(s, 1) ≡ b,s∈I .t∈I ,Тем самым, при любом фиксированном s ∈ I отображениеγs (t) := γ(s, t) : I −→ Dзадает (непрерывный) путь в D с началом в точке a и концом в точке b.Приведем также вариант предыдущего определения для случая замкнутыхпутей.38Определение 2. Два замкнутых пути γ0 : I → D и γ1 : I → D называютсягомотопными в области D, если существует непрерывное отображениеγ = γ(s, t) : I × I → D такое, чтоγ(0, t) ≡ γ0 (t), γ(1, t) ≡ γ1 (t),γ(s, 0) = γ(s, 1),s∈I .t∈I ,Отношение гомотопности определяет отношение эквивалентности на множестве всех путей в области D, разбивающее это множество на классы гомотопных путей. Для нас особый интерес представляют замкнутые пути, гомотопные нулю, т.е.

эквивалентные “постоянному” пути γ : I → z0 ∈ D.Определение. Область D называется односвязной, если любой замкнутый путь в D гомотопен нулю.Например, единичный круг U = {z ∈ C | |z| < 1} односвязен: любой замкнутый путь γ0 : I → U стягивается в точку гомотопией γ(s, t) = (1 − s)γ0 (t).Напротив, кольцо {z ∈ C | α < |z| < β} неодносвязно, но доказательство этогомы отложим до п. 5.3.Задача. Покажите, что в односвязной области любые два пути с общими концамигомотопны.Теорема Коши о гомотопии. Если функция f голоморфна в области Dи пути γ0 , γ1 гомотопны в D, тоZf dz =γ0Zf dz .γ1Подчеркнем, что в формулировке теоремы не уточняется, в смысле какого издвух определений 1,2 гомотопны пути γ0 , γ1 — они могут быть гомотопнымикак пути с общими концами или как замкнутые пути — теорема справедливав обеих ситуациях. Кроме того, мы не требуем кусочной гладкости путей γ0 ,γ1 .

(Интегралы по путям, не являющимся кусочно-гладкими, понимаются всмысле замечания 8 из п. 4.5).Доказательство. Пусть семейство путейγs (t) = γ(s, t) : I → Dосуществляет гомотопию γ0 в γ1 . ПоложимJ(s) :=Zf dzγsдляs∈I .Нам нужно доказать, что J(1) = J(0). Для этого достаточно показать, чтофункция J(s) локально постоянна на I, т.е. каждая точка s0 ∈ I обладаетокрестностью v = v(s0 ) ⊂ I такой, что J(s) = J(s0 ) для всех s ∈ v.39Пусть Φ : I → C — произвольная первообразная функции f вдоль пути γs0 .Воспользуемся тем же приемом, что и при доказательстве теоремы о существовании первообразной вдоль пути (п. 4.5). А именно, рассмотрим разбиениеотрезка I точками0 = t0 < t1 < · · · < tn−1 < tn = 1на отрезки Ij = [tj−1 , tj ], для которого найдутся:(1) круги Uj ⊂ D такие, что γs0 (Ij ) ⊂ Uj ;(2) первообразные Fj ∈ O(Uj ) функции f в Uj такие, чтоΦ = Fj ◦ γs0Ijнаj = 1, . .

. , n .при всехИз условия 2) вытекает, в частности, что Fj ≡ Fj−1 на Uj ∩ Uj−1 . Кроме того,в силу равномерной непрерывности γ(s, t) на I × I найдется окрестность v ⊂ Iточки s0 такая, что γ(v × Ij ) ⊂ Uj при всех j.Рассмотрим функцию Φs : I → C переменного t, зависящую от s ∈ v как отпараметра, полагая:Φs := Fj ◦ γsнаIjприj = 1, . . . , n .Тогда при каждом s ∈ v функция Φs непрерывна на I и совпадает в окрестностикаждой точки t0 ∈ I с F (γs (t)) для некоторой первообразной F функции f вокрестности точки γ(t0 ) (здесь важно, что Fj ≡ Fj−1 на Uj ∩Uj−1 !).

Тем самым,Φs является первообразной функции f вдоль пути γs .RПо формуле Ньютона–Лейбница (или по самому определению γs f dz длянепрерывных путей γs ) имеемZJ(s) :=f dz = Φs (1) − Φs (0) .γsДокажем, что эта функция не зависит от s ∈ v, откуда будет вытекать утверждение теоремы.Рассмотрим отдельно случаи путей с общими концами и замкнутых путей.1.

Если γ0 и γ1 гомотопны как пути с общими концами (так что γs (0) = aи γs (1) = b для всех s ∈ I), то числаΦs (0) = F1 (γs (0)) = F1 (a) иΦs (1) = Fn (γs (1)) = Fn (b)не зависят от s ∈ v. Следовательно, их разность J(s) принимает одно и то жезначение для всех s ∈ v.2. Если γ0 и γ1 гомотопны как замкнутые пути (так что γs (0) = γs (1) длявсех s ∈ I), то (не зависящие от s) функции F1 и Fn , как две первообразныефункции f в окрестности U1 ∩ Un точки zs := γs (0) = γs (1), отличаются на (независящую от s) константу:Fn (z) − F1 (z) = Cдля всехz ∈ U1 ∩ Un .ПоэтомуJ(s) = Fn (γs (1)) − F1 (γs (0)) = Fn (zs ) − F1 (zs ) = Cпринимает одно и то же значение для всех s ∈ v.Отметим два важных следствия из доказанной теоремы.40Следствие 1. Если функция f голоморфна в области D и путь γ : I → Dгомотопен нулю в этой области, тоZf dz = 0 .γВ частности, в односвязной области D интеграл от функции f ∈ O(D) полюбому замкнутому пути γ : I → D равен нулю.Доказательство.

Вытекает из теоремы о гомотопии с учетом того факта,что интеграл от функции f по постоянному пути γ(t) ≡ z0 равен нулю.Задача. Пользуясь этим следствием и примером 1 из п. 4.1, покажите, что при0 6 α < r < β 6 ∞ окружность |z| = r не гомотопна нулю в области D ={z ∈ C | α < |z| < β}. Тем самым, эта область не односвязна.Следствие 2. Пусть D ⊂ C — односвязная область. Тогда всякая функция f , голоморфная в D, имеет в этой области первообразную.Для случая, когда область D есть круг, это утверждение было установленоранее в п.

4.4.Доказательство. Фиксируем точку a ∈ D. Для каждой точки z ∈ Dвыберем кусочно-гладкий (или даже просто непрерывный) путь γ : I → D,соединяющий a с z, и положимZF (z) :=f (ζ) dζ .γЗначение F (z) не зависит от выбора γ. Действительно, если γ1 , γ2 — двапути указанного вида, то интеграл от f по замкнутому пути γ2− ∪ γ1 равеннулю по предыдущему следствию, т.е.ZZf (ζ) dζ −f (ζ) dζ = 0 .γ1γ2В частности, если z0 ∈ D — произвольная точка в D и U — произвольныйкруг с центром z0 , содержащийся в D, то для z ∈ U функцию F (z) можнобудет записать в видеZ zF (z) = F (z0 ) +f (ζ) dζ ,z0где интеграл берется по отрезку от z0 до z. По предложению 2 из п. 4.4получаем, что F дифференцируема в U иF ′ (z) = f (z) для всехz∈U .В силу произвольности z0 заключаем отсюда, что F есть первообразная функции f в области D.415.2. Теорема Коши для многосвязной области. Как уже отмечалось,в неодносвязной области может нарушаться как теорема о существовании первообразной, так и теорема об обращении в нуль интеграла по замкнутому контуру.

Тем не менее, теорема Коши все же допускает обобщение на некоторыенеодносвязные области.Напомним (см. п. 1.4), что ограниченная область D ⋐ C называется областью с простой границей, если ее граница ∂D есть объединение конечного числа непересекающихся кусочно-гладких замкнутых жордановых кривыхγ0 , γ1 , . . . , γn , где γ0 обозначает внешнюю границу D, а γ1 , . . . , γn – внутренниекомпоненты ∂D.Теорема Коши для многосвязной области. Пусть D ⋐ C – областьс простой границей и функция f голоморфна в некоторой области G ⊃ D.ТогдаZZn ZXf dz =f dz −f dz = 0 .∂Dγ0j=1γjДоказательство.

Первое из доказываемых равенствZf dz =∂DZγ0есть просто определение интегралаZf dz −n ZXj=1f dzγjf dz∂Dв соответствии с нашим соглашением об ориентации ∂D, принятом в п. 1.4.Таким образом, содержательная часть утверждения теоремы заключается вравенствеZf dz = 0 .∂DДадим идею его доказательства. Проведем в области D конечное число раз±резов λ±1 , . . .

, λn , связывающих компоненты границы γ0 , γ1 , . . . , γn между собойтак, чтобы замкнутая кривая Γ, составленная из отрезков границы ∂D и путей λ±j , как указано на рисунке, была гомотопна нулю в области G. Тогда потеореме Коши (точнее, по ее следствию 1) будем иметь0=Zf dz =ΓZf dz +∂Dn ZXj=1λ+jf dz +n ZXj=1f dz =λ−jZf dz ,∂D−так как интегралы по λ+j и λj в сумме дают нуль.Замечание 1. Чтобы довести приведенное выше рассуждение до строгого±доказательства, необходимо уточнить, как проводить разрезы λ±1 , .

. . , λn так,чтобы кривая Γ была гомотопна нулю в G. Это делается на основе следующихтопологических утверждений, которые мы приводим без доказательства.42A) Если D ⊂ C – область с простой границей, причем ее граница ∂D = γ0состоит только из одной связной компоненты, то кривая ∂D гомотопна нулюв любой области G ⊃ D.B) Пусть D ⊂ C – область с простой границей. Тогда для любых двухразличных точек z0 , z1 ∈ ∂D существует соединяющий их жорданов путь λ :I → C, лежащий в D за исключением концов, т.е. λ(0) = z0 , λ(1) = z1 иλ(t) ∈ D при 0 < t < 1.

При этом, если точки z0 , z1 принадлежат разнымсвязным компонентам ∂D, то открытое множество D \ λ(I) является связным,т.е. D \ λ(I) есть снова область с простой границей. Более того, справедливи ”параметрический” аналог этого утверждения. А именно, вместе с путем λуказанного вида найдется целая “лента”, заметаемая путями такого же типа.Точнее, существует гладкое вложение Λ : I × I → C такое, что(a) Λ(1/2, t) = λ(t) при всех t ∈ I ;(b) Λ(s, 0), Λ(s, 1) ∈ ∂D для всех s ∈ I ;(c) Λ(s, t) ∈ D при всех s ∈ I , 0 < t < 1 .При этом для каждого s > 0 множество D \ Λ([−s, s] × I) является областью спростой границей.Приняв на веру приведенные утверждения A) и B), можно закончить доказательство теоремы следующим образом. Для произвольных точек z0 ∈ γ0 ,z1 ∈ γ1 , .

. . , zn ∈ γn , пользуясь утверждением B), найдем по индукции непересекающиеся жордановы пути λj , j = 1, . . . , n, соединяющие zj−1 с zj , каждыйиз которых допускает расширение до “ленты” Λj : I × I → C с указанными вутверждении B) свойствами. Тогда при любом s > 0 множествоDs := D \n[j=1Λj ([−s, s] × I)есть область с простой границей, так что кривая Γs := ∂Ds гомотопна нулю вG по утверждению A). Но совокупность кривых Γs , 0 6 s 6 1, задает (непрерывную) гомотопию кривой Γ1 в кривую Γ, фигурирующую в доказательстветеоремы. Поэтому Γ также гомотопна нулю в G, что завершает доказательствотеоремы Коши для многосвязной области.Заметим еще, что утверждения A), B) достаточно проверить для областейD простого вида, а именно, для неконцентрических колец (т.е. для круга, изкоторого удален круг меньшего радиуса). Пользуясь этим частным случаемтеоремы Коши, можно доказать интегральную формулу Коши для круга (см.следующий параграф), а из нее, в свою очередь, вытекает бесконечная дифференцируемость голоморфных функций (см.

Характеристики

Тип файла
PDF-файл
Размер
790,34 Kb
Тип материала
Высшее учебное заведение

Список файлов лекций

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6480
Авторов
на СтудИзбе
303
Средний доход
с одного платного файла
Обучение Подробнее