Антидемидович 4 - ТФКП (1113365), страница 65
Текст из файла (страница 65)
'), о !(Г+е) ) -р)«1(Ф+ег )) Оба рассмотренных случая объединяются в один: 1 = лр звп а. При а = 0 данный интеграл рассматриваем в смысле главного значения: ° 2 2- .р)'О,Ь= ею( ) ° ьр, ) О р,~)-!ьь(! *! „Ь, *)' р") = и +о,/ ,-+о ) о о 2 = и (-ьр.;и- гьи-ы!)) = р (ь(=.*) -ь(И) к,(и-ы-)=р ° оо +о), ) япе г 257 й 2. Целые и мероморфиые функции 52. Целые и мероморфные функции 2Л. Целые функции. Определение. Функция У, аналитическая ва всей плоскости С, называется целой. Из опрелеления следует, что целая функция не имеет конечных особых точек. Точка» = оо является изолированной особой точкой целой функции. Если» = оо — устранимая особая точка, то по теореме Лиувилля целая функция является постоянной.
Пусть» = со — полюс целой функции 7". Тогда ее разложение в ряд Лорана в окрестности бесконечности имеет вид ((»)=с„»" +...ч-с~»+с+~~ с „» "=Р,(»)+~~ с „» ". Функция У вЂ” Р„удовлетворяет условиям теоремы Лиувилля, так как !цп (Т(») — Р„(»)) = О. Отсюда имеем У(») — Р„(») = О, или Г(») = Р„(»). Итак если функция У целая и имеет на бесконечности полюс, то она является многочленом, т.е. целой рациональной функцией. Целые функции с существенной особенностью на бесконечности называются целыми трансцендентными функциями.
Примерами таких функций являются» ь е', » ~ соз», » ~ цп». 2.2. Мероморфные функции. Теорема Миттаг-Леффлера. Определение. Функция г, аналитическая в С, за исключением лишь полюсов, называвшая м в- ромарфнай. Из определения сяедует, что у мероморфной функции / в плоскости С нет никаких иных особенностей, кроме полюсов. Целые функции образуют подкласс класса мероморфных функций. Поскольку кюклый полюс является изолированной особой точкой, то мероморфная функция У не может иметь в С более чем счетное множес~во полюсов.
Действительно, в каждом круге Кя = (» б С: !»! ( Л), Л = сопи, полюсов может быть лишь конечное число, в противном случае существовала бы их конечная предельная точка, которая была бы неизолированной особой точкой, а не гюлюсом. Таким образом, все полюсы мероморфной функции можно пересчитать, например, в порядке возрастания их абсолкпных величин. Рассмотрим два случая. Пусть функция У имеет: 1) конечное множество полюсов; 2) бесконечное (счетное) множество полюсов, В случае 1) бесконечность является изолированной особой точкой.
Пусть (Ь,; у = 1, гп)— множество полюсов функции У, )3, — порядок полюса Ь,, со1 со' с „, д(»)= + +...+ — (» — Ьу)з ' " (» — Ьу)пг ' — главная часть лорановского разложения функции У в окрестности полюса Ь;. Рассмотрим функцию » ~-~ )з(») = 1(») — ~г д.(»), ры которая является целой, поскольку ее устранимые точки Ь; можно считать устраненными.
Так как Шп ,'г д(»)=О, то функции з и )р прн подходе к бесконечности ведут себя одинаково. Гл. 7. Вычеты и их применения 258 Пусть 1 (а значит и гр) имеет на бесконечности устранимую особую точку нли полюс. Тогда Р!(г) оо(г) = ~~о аьг , Т(г) = 7 аьг + 7 д.(г) = — , Р (г)' ь=о ь=о г=! где Р, и Р, — некоторые многочлены. Доказано следующие утверждение. Теорема 1.
Если мероморфная функция 1 имеет на бесконечности устранимую особую точку или полюс, то она является рациональной функцией. Если же у мероморфной функции Г бесконечность является существенно особой точкой, то такую функцию можно представить в виде У(г) = уо( ) + ~' дз(г) (1) э=! где р — некоторая целая функция, отличная от полинома. Рассмотрим теперь случай 2), когда мероморфная функция 1 имеет бесконечное множество полюсов.
Такими функциями, например, являются г ! гдг, г ! сгдг. Покюкем, что и в этом случае лля функции 1 можно получить формулу, аналогичную (1). Определение. Рядмероморфныгфункций 2,д„называется сходящимся (равномерно сходя щ имея) на множестве М С С, если лишь конечное число членов этого ряда имеют полюсы на М и после устранения этих членов ряд сходится (равномерно сходится) на М. Теорема 2 (Митта г-Леффлера). 1(акой бы ни была последовательность точек (Ь,), 1пп Ь, = оо, (Ь!'1 ( (1Ьз! (... и последовательность функций (д,) вида р! о! с „ ~Л-~ г(г — Ь,)" =! существует мероморфная функция 1, имеюшяя полюсы в точках Ь, с главными частями в них, рав- ными д,(г).
ц Не ограничивая общности считаем, что Ь, ф О. Функция д, является аналитической в кр)те К = (г б С: (4 < ~Ь, Ц н, слеловательно, может быть представлена в нем степенным рядом д(г)ш~ *, г . " д!щ(о), (2) ь=о Фиксируем д б)к, где б < д < 1. Круг К, = (г б С: (г( < д(Ь,1) компактно принадпежиткругу К, в силу чего рял (2) сходится в нем абсолютно и равномерно.
Поэтому существует такое и, б )ь(, "* д,"'(о), д,(г) — ~~! ' г < — оуг б К,. о=о Обозначим !ю(б) Ь Тогда 1 1д (г) — Ру(г)~ < —. !Гг б К;. Рассмотрим рял 2 (д, — Р,'1. Он равномерно сходится на любом компакте К С С в смысле данного выше определения. Действительно, ПК С С ЗЖ б (ч) ". Уп )~ р( К С Кй т (г Е С: )г! < д)Ь„Ц. Рассмотрим ряд 2 (ду — Р,:), 1 > )гг. Его члены являются аналитическими функциями на К н мажорируются геометрической прогрессией 2 -', г ) )ог.
Следовательно, его сумма 3и(г)— аналитическая функция в круге К. 259 б 2. Целме и мероморфиые функции Пусть функция у определена равенством н-! У(л) = ~~~,(ду — Р,) + ун(л). Функция у аналитическая в круге К, за исключением полюсов Ь; (з = 1, )У вЂ” 1) и имеет в Ьу ~лавные части д,(х). Поскольку К вЂ” произвольный компакт, то функция У мероморфная, имеет в С заданные полюсы Ь; с главными частями д;. м Следствие. Любую мероморфную функцию у можно лредставить суммой ряда У(л) = 6(л)+ .'Е;(д-(л) — Р-(х)), т равномерно сходящегося на каждом камнакте, где Ь вЂ” целая функция, д„— главные части лоранавгких разложений у' в окрестности Ь„(полюсы Ь„занумерованы в порядке возрастания их абсолютных величин, Ь| ф О), Є— некоторые миогочлены.
М По теореме Митгаг-Леффлера строим функцию уо, где уе(л) = ~~> (д„(л) — Р„(г)). Она имеет те же полюсы и те же главные части в них, что и г". Следовательно, У вЂ” Уе = 6— целая функция. М замечмеае. если функиия У имеет полюс в точке г = О с главной частью до, то в наших рассуждениях везде / заменим на г — де. Иногда термин "мероморфная функция" используется в более общем понимании. Именно, функцию У называют меранорфиой а области, если г не имеет в ней кроме полюсов других особенностей. Такая функция также не может иметь более чем счетное множество полюсов.
Если зто множество беаконечное, то предельные точки множества полюсов принадлежат границе области. 2.3. Разложение мероморфиык функций иа простейшие дроби. Пусть ( у(() — любая меромарфная функция, у — замкнутая жорданова кривая, окружающая начало координат и не проходящая через полюсы функции У.
Пусть (Ь„; й = 1, и)— множество полюсов функции у, принадлежащее внутренности т, Чй = 1, и Ьь ф О, дь — главные части лорановских разложений функции г в окрестности полюса Ь„. Если ( = Π— полюс функции /, то главную часть лорановского разложения в его окрестности обозначим до (если ( = О не является полюсам, то считаем де ая О). Пусть л — любая фиксированная точка, принадлежащая внутренности Г. Рассмотрим функцию 2.дь(() ь=о Она рациональная в С, имеет на бесконечности по меньшей мере нуль второго порядка и, слеловательно, ее вычет на бесконечности равен нулю. Воспользуемся теоремой Коши дпя неодносвязной области, а также определением вычета на бесконечности.
Получим Еде(0 Еде(О 2 д.(0 ь о 1 ь о ь=е д(= —, д(= — гез =О .(l ~ — -1 г г 260 Гл. 7. Вычеты и их применения (здесь Г„= (7„, та ), 7„= (Ь 6 С: 1(1 = Я) — окРУжносаь, охватывающаа 7). Отсюда слелУет равенство У(0 — д рь(0 2ла' У Г вЂ” з 2лаУ Г вЂ” з г г Функция У вЂ”,> дь аналитическая в области, ограниченной кривой у (устранимые особено=о ности этой функции считаем устраненными). Согласно теореме Коши У(0- Ер (0 — д( = У(а) — ~ ра(з). 2ага у ( — г ь=о В результате получим равенство У(з)=~ рь(з)+ —.
У вЂ” дГ 1 У У(0 2.;/ 0-я о=о Допустим, что существует послеловательность (7 ) замкнутых жордановых кривых„окружающих начало коорлинат и не проходящих через гюлюсы функции У, с такими свойствами: 1) Ущ Е (а) 7 приналлежит внутренности у +„' 2) г -! со при гп оо, где г — расстояние от начзла координат до кривой 7 Из этого, в частности, следует, что агЛ > 0 существует такое апо Е (а(, что круг Кл — — (( Е С; Ц < )а) ощ > апо(Я) принадлежит внутренности у 3) Нщ / — =О, Г =('у 7 ),!4<В. УУ(0 Г (2) ---./ Г- г„, Запишем формулу (1) лля Г . Обозначим через и число полюсов, охватываемых кривой -! Получим: У(з) = ~~а дь(з) 4 — а(0 ап > апо(Л).
1 УУ(0 2лаУ Г вЂ” з ь=! (3) Перейдем в (3) к пределу при щ оо. Принимая во внимание формулу (2), имеем У(х) = !пп ~~а дь(з). (4) ь=! Таким образом, функция У в круге Кл представлена в виде предела последовательности сумм главных частей ее лорановских разлоакений относительно полкков, принадлежащих внутренности 7т ° Укажем достаточные условия справедливости формулы (2). Из оценки —.