22355

Бесконечно удаленная точка

Лекция

Математика и математический анализ

Пусть функция аналитична в некоторой окрестности бесконечно удаленной точки кроме самой точки . В этом случае функция очевидно ограничена и в некоторой окрестности точки . Пусть функция аналитична в полной поскости. Но тогда функция ограничена во всей плоскости: для всех имеем .

Русский

2013-08-04

682.5 KB

13 чел.

Бесконечно удаленная точка.

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

Положим  и , тогда  будет аналитиче-ской в некоторой окрестности точки  Последняя будет для  особой точкой того же типа, что и  для  ибо  . Лорановское разложение  в окрестности  можно получить простой заменой  в лорановском разложении  в окрестности . Но при такой замене правильная часть заменяется главной, и обратно. Таким образом, справедлива

Теорема 1. В случае устранимой особенности в бесконечно удалённой точке, лорановское разложение функции  в окрестности этой точки вовсе не содержит положительных степеней , в случае полюса содержит конечное их число, а в случае существенной особенности -  бесконечное.

Если  имеет в точке  устранимую особенность, то обычно говорят, что она аналитична в бесконечности, и принимают . В этом случае функция, очевидно, ограничена и в некоторой окрестности точки .

Пусть функция  аналитична в полной поскости. Из аналитичности функции в бесконечно удаленной точке следует её ограниченность в окрестности этой точки; пусть  при . С другой стороны, из аналитичности  в замкнутом круге  следует её ограниченность в этом круге; пусть в нём . Но тогда функция ограничена во всей плоскости: для всех имеем . Таким образом, теореме Лиувилля можно придать следующую форму.

Теорема 2. Если функция  аналитична в полной плоскости  , то она постоянна.

Введем теперь понятие вычета в бесконечно удаленной точке. Пусть функция  аналитична в некоторой окрестности точки  (кроме, быть может, самой этой точки); под вычетом функции в бесконечности понимают

где - достаточно большая окружность , проходимая по часовой стрелке (так что окружность точки остается слева).

Из этого определения непосредственно следует, что вычет функции в бесконечности равен коэффициенту при  в лорановском её разложении в окрестности точки , взятому с обратным знаком:

.

Теорема 3. Если функция имеет в полной плоскости конечное число особых точек, то сумма всех её вычетов, включая и вычет в бесконечности, равна нулю.

Доказательство. В самом деле, пусть а1,…аn – конечные особые точки функции  и - окружность , содержащая их все внутри. По свойству интегралов, теореме о вычетах и определению вычета в бесконечно удаленной точке имеем:

.

Ч.т.д.

Приложения теории вычетов к вычислению интегралов.

Пусть требуется вычислить интеграл от действительной функции по какому-нибудь (конечному или бесконечному) отрезку (a,b) оси х. Дополним (a, b) некоторой кривой , ограничивающей вместе с (a,b) область , и аналитически продолжим  в .

        К построенному аналитическому продолжению  применяем теорему о вычетах:

                                                     (1)

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

В случае бесконечных отрезков (a,b) обычно рассматривают семейства неограниченно расширяющихся контуров интегрирования, которые строят так, чтобы в результате предельного перехода получить интеграл по (a,b). В этом случае интеграл по  в соотношении (1) можно не вычислять, а лишь найти его предел, который часто оказывается равен нулю.

Весьма полезной при этом оказывается следующая

Лемма (Жордана). Если на некоторой последовательности дуг окружностей  ,(, а фиксировано) функция  стремится к нулю равномерно относительно , то для

                                                     .                                   (2)

Доказательство. Обозначим

. По условиям леммы при также стремится к нулю, причем Пусть a>0; на дугах АВ и CD имеем .

Следовательно , и интеграл по дугам АВ,CD стремится к нулю при .

Поскольку при  справедливо неравенство , то на дуге ВЕ 

. Поэтому и, таким образом, также стремится к нулю при . Если на дуге СЕ полярный угол отсчитывать по часовой стрелке, то для  получится такая же оценка. В случае, когда  доказательство упрощается, т.к. будет излишней оценка интеграла по дугам АВ и CD. Лемма доказана.

Замечание 1. Последовательность дуг окружностей в лемме можно заменить семейством дуг

,,,

тогда, если функция  при стремится на  к нулю равномерно относительно  то для

.       (3)

Доказательство остается в силе.

Замечание 2. Заменим переменную: iz=p, тогда дуги окружностей леммы заменятся дугами , и мы получим, что для любой функции F(p), стремящейся на  к нулю при  равномерно относительно и для любого положительного t

            .                         (4)

Заменяя в (4) р на () мы получим, что в тех же условиях для                     

                                                          ,                                   (5)

где - дуга окружности (см. рис.).

Рассмотрим примеры вычисления интегралов.

Пример 1. .

Выберем вспомогательную функцию . Т.к. функция  на удовлетворяет неравенству , то она равномерно стремится к нулю при , и по лемме Жордана, при

.

Для имеем по теореме о вычетах

.

В пределе при  получаем:

.

Отделяя действительные части и используя четность функции, найдем

.

Пример 2. Для вычисления интеграла

возьмем вспомогательную функцию. Контур интегрирования обходит особую точку z=0. По теореме Коши

.

Из леммы Жордана видно, что . Для оценки рассмотрим лорановское разложение в окрестности точки z=0

,

где - регулярная в точке z=0 функция. Отсюда видно, что

.

Таким образом, теорему Коши можно переписать в виде

.

Заменяя в первом интеграле х на –х, получим, что он равен , поэтому имеем

.

В пределе при и  окончательно:

                                                        .                                        (7)

Пример 3. Вычислить интеграл

                  

Введем вспомогательную функцию  и выберем контур интегрирования таким же, как и в предыдущем примере. Внутри этого контура логарифм допускает выделение однозначной ветви. Пусть означает ту ветвь, которая определяется неравенством . Функция  имеет в точке z=i полюс второго порядка с вычетом

.

По теореме о вычетах                               .

При , начиная с некоторого достаточно большого R, , следовательно, .

Аналогично при , начиная с некоторого достаточно малого r, , следовательно

.

В первом интеграле после замены z=-x получим:

,

и, таким образом, в пределе при  имеем:

+.

Сравнение действительных и мнимых частей дает:

                                  ,         .

Пример 4. Для интеграла

выберем вспомогательную функцию  и контур, указанный на рисунке. Внутри контура однозначен, если считать, что .

На верхнем и нижнем берегах разреза, входящих в этот контур, принимает соответственно значения  и , поэтому интегралы от взаимно уничтожаются, что дает возможность вычислить искомый интеграл. Внутри контура лежат два полюса первого порядка  функции  с вычетами соответственно равными:

,,

где . Применяя теорему о вычетах, получим:

.

В соответствии со сказанным выше имеем:

.

Так же как и в предыдущем примере, докажем, что , и тогда в пределе, при будем иметь:

.

Отсюда, сравнивая мнимые части, получим:

.

Пример5. Вычислить главное значение особого интеграла

     .

Выберем вспомогательную функцию  и контур, изобра-женный на рисунке. Внутри контура функция  регулярна. На нижнем берегу разреза вдоль положительной полуоси . Таким образом, по теореме Коши:

                                          (8).

Очевидно, что  при  и  при . Вдоль ,  имеем соответственно  и , где меняется от 0 до   и от  до  соответственно. Следовательно,

.

Переходя в (8) к пределу при  получим, таким образом, ,

откуда искомый интеграл равен

.

Пример 6. Вычислить интеграл

.

Рассмотрим функцию . Проведем разрез*) .

Положим . При обходе против часовой стрелки замкнутого пути (см. рис., пунктир)  и  получают приращение ,

следовательно, argf(z)=(1+22)/3 получает также приращение . Таким образом, во внешности разреза  функция  распадается на 3 регулярные ветви, отличающиеся друг от друга выбором исходного элемента функции, т.е. значением в некоторой точке .

Будем рассматривать ту ветвь функции, , которая на верхнем берегу разреза (-1,1) принимает положительные значения, и возьмем контур,

___________________

*) На самом деле проведены два разреза:  и , однако, на оси х правее точки х=1 функция  непрерывна: над разрезом , под разрезом .

изображенный на рисмунке. На берегу I имеем , т.е. , на берегу II (после обхода точки z=1 по часовой стрелке)  ( т.е. ), т.е. , интегралы же по окружностям  и , очевидно, стремятся к нулю**) при . Следовательно, по теореме Коши для многосвязных областей

.

Для вычисления воспользуемся разложением ветви 1/ в окрестности бесконечно удаленной точки. Вынесем из-под знака корня , тогда получим , где  и - ветви этих функций,  положи-тельные на отрезке (1, ) действительной оси.

на отрезке  действительной оси. Разлагая последние по формуле бинома:

,

находим вычет выбранной ветви 1/ в бесконечно удаленной точке: (коэффициент при 1/z  с обратным знаком). Но интеграл равен этому вычету, помноженному на , т.е. имеем , откуда окончательно

.

Пример 7. Рассмотрим интеграл      .

__________________

**) Рассмотрим, например интеграл по . На  имеем  , т.е.  

Положим , тогда , таким образом,

. Внутри окружности   подинтегральная функция имеет один полюс II порядка  с вычетом

.

По теореме о вычетах имеем

.

Пример 8. Аналогично вычислим интеграл

.

После подстановки  имеем:

.

Один из полюсов подынтегральной функции  лежит внутри единичной окружности, а другой - вне её, ибо по свойству корней квадратного уравнения , при этом в силу условия  , эти корни действительны и различны. Таким образом, по теореме о вычетах

                           (9)

где - полюс, лежащий внутри окружности. Т.к. правая часть (9) действительна, то она дает искомый интеграл

.


 

А также другие работы, которые могут Вас заинтересовать

45348. Моделирование в музыке 40.5 KB
  В памяти композитора существует множество различных мелодий накопленных им в течение жизни. И естественно полагать что фрагменты этих мелодий отдельные музыкальные фразы музыкальные инварианты осознанно или неосознанно используются композитором в его творческом процессе. Далее следует прочитать следующую за найденной фразой ноту приписать ее к текущей музыкальной фразе а первую ноту из этой фразы выдать в файл формируемых мелодий и вычеркнуть из текущей фразы так чтобы в ней попрежнему оставалось четыре ноты. В результате в файле...
45349. Модели представления знаний 64 KB
  Декларативная модель представления знаний основывается на предположении что проблема предоставления некоторой предметной области решается независимо от того как эти знания потом будут использоваться. Такую модель можно разделить на две части: статически описательные модели знаний и механизм вывода оперирующий этими структурами и практически независимый от их содержательного наполнения. Декларативные модели представления знаний Семантические сети Семантические сети были предложены американским психологом Куиллианом.
45350. Инструментарии построения экспертных систем 30 KB
  Инструментальное средство разработки экспертных систем – это язык программирования используемый инженером знаний или и программистом для построения экспертной системы. Оболочки экспертных систем Системы этого типа создаются как правило на основе какойнибудь экспертной системы достаточно хорошо зарекомендовавшей себя на практике. При создании оболочки из системыпрототипа удаляются компоненты слишком специфичные для области ее непосредственного применения и оставляются те которые не имеют узкой специализации.
45351. Интеллектуальные базы данных 29.5 KB
  Развитие приложений ИС требует реализации более легкого и удобного доступа к базам данных. Другой продукт это КЕЕ Connection Intelli Corportion который переводит команды КЕЕ КЕЕ Knowledge Engineering Environment в запросы БД и автоматически поддерживает тракт данных флуктуирующих туда и обратно между базой знаний КЕЕ и реляционной БД использующей SQL. Другими преимуществами такой интеграции являются способности использовать символьное представление данных и улучшения в конструкции операциях и поддержании СУБД.
45352. Методы распознавания образов 27 KB
  Этот метод требует либо большого количества примеров задачи распознавания с правильными ответами либо специальной структуры нейронной сети учитывающей специфику данной задачи. Методы распознавания образов В целом можно выделить три метода распознавания образов: Метод перебора. Например для оптического распознавания образов можно применить метод перебора вида объекта под различными углами масштабами смещениями деформациями и т.
45353. Пандемониум Селфриджа 56 KB
  Демоны – это относительно автономные сущности выполняющие элементарные функции. На самом нижнем уровне находятся демоны данных или демоны изображения рис. Вычислительные демоны обрабатывая визуальную информацию от демонов данных вырабатывают признаки и передают их демонам понимания. Демоны понимания всего лишь вычисляют взвешенные суммы сигналов поступающих от вычислительных демонов.
45354. Методы обучения нейросетей 62 KB
  Эта теория ставит своей задачей поиск минимума некоторой целевой функции функционала  которая зависит от нескольких переменных представленных в виде вектора w=[w1 w2 . Все градиентные методы теории оптимизации основаны на разложении целевой функции w в ряд Тейлора в окрестности некоторой начальной точки w nмерного пространства переменных: где p – вектор вдоль которого строится разложение в ряд Тейлора gw – вектор градиента целевой функции . Согласно методу наискорейшего спуска реализованному в алгоритме обратного...
45355. Рекуррентные сети 91.5 KB
  В связи с этим были предприняты попытки дополнить искусственные нейронные сети обратными связями что привело к новым неожиданным результатам. Таким образом под воздействием входных сигналов х1 и х2 на выходе сети в момент времени t вырабатываются сигналы y1t и y2t а в следующий момент времени под воздействием этих сигналов подаваемых на вход вырабатываются новые выходные сигналы y1t1 и y2t1. Для всякой рекуррентной сети может быть построена идентичная сеть без обратных связей с прямым распространением сигнала поэтому для...
45356. Направления исследований в области искусственного интеллекта 30.5 KB
  Второй подход в качестве объекта исследования рассматривает системы искусственного интеллекта. Третий подход ориентирован на создание смешанных человекомашинных или как еще говорят интерактивных интеллектуальных систем на симбиоз возможностей естественного и искусственного интеллекта. Сообщения об уникальных достижениях специалистов в области искусственного интеллекта суливших невиданные возможности пропали со страниц научнопопулярных изданий много лет назад.