Часть 4. Функции комплексного переменного - Теория и практика. (509318), страница 62
Текст из файла (страница 62)
1.1. Вычет относительно изолированной конечной точки. Определение. Вычетолг аналитической функции ) относительно ее изолированной особой точки з = а Е О называется коэффициент с ~ нри нервой отрицательной стенени разлоэкения Функции г' в ггяд Лорана в окрестности этой точки, Обозначение вычета ~: 24б Гл. 7. Вычеты и вк примеиеитв В частности, при р = 1 формула (2) принимает вид гезу(г) = Ош у(г)(г — а).
(3) На практике оказывается полезной небольшая модификация последней формулы. Пусть функция 7 в окрестности простого полюса г = а имеет вид У(г) =— Р(г) ф(г) (4) где !о и ф — аналитические в точке г = а функции, причем р(а) ф О, ф(а) = О, ф (а) зе О. В соответствии с формулой (3) имеем !з(г)(г — а), зз(г) у(а) гез |(г) = !пп = !пп т.е р(а) гез Г(г) = —, ф'(а) Например, ге»си) г = гез ',~,' = ,'— „", = 1. ь ь В случае, когда функция у определена формулой (4), а функции !з и ф имеют в точке г = а нули порядка выше первого, для вычисления вычета удобно заменить функции р и ф несколь- кими членами разложения их в ряд Тейлора.
Например, 9 3 .Э з з!пЗ» — Зз!пг Зг — -г +... — Зг 4 = -4» гез, = гез 1 2 = гез, = 24. О япг(5!Пг г) О ( м~+ 1 ( з ) 0 1.2. Вычет относительно бесконечности. Пусть г = со — изолированная особая точка функции У. Разложение функции У в окрестности бесконечности О = (г Е С: г < (г! < оо) имеет вид у(г) = ~~> с„г". ПРоинтегРиРУем это Равенство по окРУжности Г„= (У„, Улм ), оРиентиРованной в напРавлении хода часовой стрелйн (при этом бесконечность остается слева).
Тогда получим: у(г)йг = ь с / г бг = — 2яФс г- г- так как г" Игтб при пав!. Г гез Г(г) = -с, = — )' у(г) аг, 2я(,/ (2) гЗаметим„что в соответствии с данным определением гез У(г) определяется коэффициентом ) правильной части ряда Лорана и поэтому может быть отличным от нуля и в том случае, когда бесконечность является Ус»ранимой особой точкой функции у, например, геа -,' = — 1. гОпредеаеиие. Вычетом функции у' относительно бесконечности но»мелется коэффициент лри первой отрнцотельной степени рамон»ения функции у е окрестности бесконечности, умнолселный на — 1. Принимая во внимание (1), имеем и 1.
Определенве вычета. Основная теорема 247 Пуси бесконечность является устранимой особой точкой функции 1. Введем обозначение йш 1(г) = 1'(оо). Тогда гезу(г) = йщ г (У(ос) — У(г)) . (3) Действительно, разложение функции Т в ряд в окрестности бесконечности в этом случае имеет вид 1(г) = 1(оо) + ~ с ьг откуда г(1(г) — 1(ос)) = ~~) с ьг и=! Совершив в последнем равенстве предельный переход при г со, получим формулу (3). Легко можно получить следующую формуяу гез Г(г) = — (о'(О), (4) гле р (-) = 1(г) и р(г) — аналитическая функция в точке г = О. 1.3. Теорема о вычетах. Теорема 1(Коши). Если функция 1 аналитическая в Р Ы дР С С, зо исключением некоторого мнозкества изолированных особых точек (аь„й = 1, и), принадлехсаты области Р (но не дР), то справедливо равенство à — / Г(г)с(г = ~~! гезу(г).
2я! / оп и=! I т РассмотРим окРУжности 7!, .(г, ...,7„( ( ) 7ь и! причем рь выбираем настолько малыми, пабы круги лежали области Р. Рассмотрим область Р ! (Крь, й неодносвязной области (см. теорему 4, и.3.3, гл.4): =ц!) радиуса рь с центром в точках аь, К,ь с гРаниЦами уь компактно пРинад= 1, и) и применим формулу Коши лля 1 г — / 1(г)бг = ~~! — / ((г)дг = ) гез|(г), 2!Г! 2я!',1 ь ап г.
и=! ь Г„ы (7а 7,") . и. Эта теорема имеет большое принципиаььное значение. Она сводит вычисление глобатьной величины, которой является интеграл от аналитической функции по границе области, к вычислению величин яокальных вычетов функции в ее особых точках. Например, вычислим интеграт дг Р = (» б С: ~г — 1 — г~ < 2). (г — 1)'(»' + 1)' оп Подынтегральная функция 1 аналитическая в замыкании Р, за исключением точек г! = 1 (полюс второго порядка), г, = ! (полюс первого порядка). С помощью формулы (1) получаем: Иг г 1 1) = 2ьп' (гезу(г) + гез Г(г)) = 2я! — — +— (г — 1)г(гг+1) ! ! ( 2 4/ 2 ' оп Справедливо следующее утверждение.
Теорема 2. Пусть 1 б А (С ! (аь( й = 1, и)). Тогда сумма вычетов функции 1 во всех ее конечных особых точкак и вычета на бесконечности равна нулю: гезу(г) ! ьч51(г) = О, (2) и и=! 249 б1. Определеиие вычета. Основная теорема Коэффициент при (г — 2) ' равен нулю, следовательно, гез)(х) = О.
г Согласно формуле (2), п.1.3, гезу(г) + гезу(г) = О, откуда гезу(г) = О. ~ 3 1 4. у(г) =г соз —. -г' и Как и в предыдущем примере, ° = 2 — сугцественно особая точка для функции ) . Поскольку гз = (2 4 (г — 2)) = 8+! 2(с — 2) + 6(г — 2)' + (г — 2), 3 то 3 3 „3 1 1 — = (Н 22 — 22 НН* — 22 \ — 22 ) ( г — 2 [ 23(г — 2)' 4!(г — 2)' Очевиюю, что коэффициент при (г — 2) равен -6+ —, = —,4 .
Следовагеггьно, гез|(г) = — —,. — ! 243 343 Согласно формуле (2), п.1.3, гез 3(г)+ гсвг(х) = О, откуда гезг(я) = 3„. ~ 3 1 5. У(з) = г" 3!л — (и Е Х). м точка х = Π— существенно особая лля функции )'. Ряд лорана функции 3' в окрестности точки г = О имеет вид С ( !)ь 1 С ( 1) г(г) = з" ~ ~-4 (2)н 4 1)! х'34' ~-4 (2)н + 1)! хм ь=о ь=о Равенство 2й — и 4- 1 = 1 невозможно, если и ( О или если и Е У, — нечепюе. В указанных случаях гез 3'(г) = гез Г(г) = О. о если и = 2нп (пз ) О), то главная часть ряда лорана функции / будет содержать член (-1) -н (-1) ' (2гп + 1)! (п Ч- 1)! Следовательно, для всех четных и Е Уа гез Г(г) = '='! 3, .
В частности, при п = О гез Г(г) = 1. ! «- ! !' ' Применив формулу (2), п. 1.3, получим, что дяя всех четных ц Е Уа — 4! (-1) " гез)'(г) = — гезу(г) = о (и+ 1)! В частности, при и = О геа г(г) = — 1. м 15гз — 11гг + 4з 4 6 гг. у(х) = 2гг(х' — 1) < Представляя функцию у в виде суммы простых дробей, получим: 2 3 4 3 3()= — — — + — + г хг г + 1 2(г — 1) Особыми точками функции Г являются г, = О, а, = -1, сз = 1, е« = гю.
Поскольку точки г„яз и гз — простые полюсы функции Г, то гезу(х) = 2, гезу(а) = 4, гезу(а) = -'. Согласно о -! ! формуле (2)„п. 1.3, геа3(х) + гсвг(а) + геа3(х) + газ!(е) = О, о -! ! откуда геа 3 (е) = — геа у(е) + гез г(х) + гез у(х) = -7,5. 3ь е ! Гл. 7. Вычепа и вх применения 250 7.
Найти вычеты всех ветвей многозначной функции ! У(г) = 44424/г+ /г+ 1 во всех ее конечных точках однозначного характера. О Из представления функпии з/24/г — ъзг + 1 У(») = Уз(2) = 2 — з 3, Уз(2) = -2 — з 3, Уз(2) = 2 + з/3, У4(2) = -2 + з/3, Тогда получим: 1 зг ; — / агйг агй» д ; — — У агд(г + 1) ага(г + 1) зз зз У,(1) = — з/2~4 ~соз — +зяп — ) — з/!г+ И соз »вЂ !1 ~ 2 -!- 4яп 2 1 У,- — / агбг агбг), — У шд(г+!) агд(»+1) ! Уз(г) = — — з/2!г! ( соз — + 2пп — ) — 4!г -З- Р, ~соз г — 1 ~, З, 2 + 4ззп 2 Уз(г) У2(г) У4(г) Уз(г)' Таким образом, гезУЗ(г) =!пп(» — !)УЗ(г) = -з/2 — ч2 = -2ч2, З гезУ,(г) = Бш(г — 1)У,(г) = з/2 — з/2 = О, З ! гезУз(г) = 2ч2, гезУ4(г) = О. ~ З г гз 8.
Доказать, что если г„явшется полюсом функции г У(г) =, то ге»У(г) = — ". »4 04 ' , !04 О Воспользуемся формулой (3), и. 1.1, и правилом Лолиталя раскрытия неопределенностей вида '-. Получим: г г(г — г,) 2» — »„1 2»2 — г„» 1 2»2 — гз »2 »4 04 »4 04 , , 4»з 4 , »4 04 ! 04 4 04 404' ез* е'* 9. Найти: а) гез; б) гез, (О б В). 1)з' 2+аз < а) Согласно формуле (2), п. 1.3, имеем: е' 24 ! !2 2 2 гез —, = — гез —, = -- йш — е ' = -2е .
(» — 1)з з (г — 1)з 2, з 4(»2 б) Аналогично, е'" гю аа — гсз + гсз аа 12+02 'За За» +О 4 -За1 +О У е'*, е" !пп — + йш 'ха За 1+$0 4 — ы» — $0У (' ') 1 еггзаз — е 44"З яп за 2$0 2$а о 2$ видно, что она четырехзначная и что конечной особой точкой олнозначного характера для кахгдой из ее ветвей является простой полюс », = 1. Точки »2 — — О н г, = -1 являются точками разветвления, т.е, особыми точками неоднозначного характера. Вьшелим четыре однозначные ветви функции У в области С (зпоскости С с выброшенной отрицательной действительной полуосью) их значениями в фиксированной точке, например, в точке г = 2.
б 1. Определенме вычета. Основная теорема 251 10. Найти вычеты следуюгдих функций относительно всех конечных изолированных точек и на бесконечности, когда она является изолированной особой точкой: 3 1 а) У(а) = з!и —; б) 1(з) = (Ь т'- 0); а+1' х (! — е-ь*) 1/ 1 в) У(а) = — ~1 Ь вЂ” + — +... -Ь 1 + х (1 -Ь з)' (1 + х)" / М а) Воспользуемся формулой (3), п, 1.2: з / гез з!и — = !пп з ~ з!п1 — згп — ) = Йп 2зз!и '+' соз .+1 .
~ .+1) 2 2 = соз 1 !пп з 1 — — 1 = соз 1 Игл — = соз 1. з-Ь1/ а+1 Согласно формуле (2), п. 1.3, имеем з 3 гез $!и — = — гез 3!и — = — соз 1. г+! а+1 б) Особыми точками функции /' являются гь = зь„' (й Е Х). Точка з = 0 — полюс второго порядка, а точки зь при (г зь 0 — полюсы первого порядка. Применив формулу (2), п.1.1, получим: И / з т и, 1 — е ~*(1+Аз) -ь / . ебг ~1-е — -) 1 — (1+ 6а) ~! — )гг+ ь а~+ о(з~)) ! 1+ дз з ь' ' + ( з) — 1!гп -о (1 — 1+ Ьз + о(г))' о Изг'+ о(аз) 2 Для вычисления вычетов функции У в точках зь (я ~ 0) воспользуемся формулой (5), п. !.1, полагая р(з) = — ', гР(я) = 1 — е ь*.