01.12.2012 Views

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

МЕТОДИЧЕСКИЕ УКАЗАНИЯ

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Министерство образования и науки Украины<br />

Харьковский национальный университет имени В. Н. Каразина<br />

Б. В. Кондратьев<br />

<strong>МЕТОДИЧЕСКИЕ</strong> <strong>УКАЗАНИЯ</strong><br />

к решению задач по теории функций<br />

комплексного переменного<br />

для студентов радиофизического<br />

и физического факультетов<br />

Харьков – 2010


УДК 517.53/.54(075.8)<br />

ББК 22.161.5я73<br />

М 54<br />

Рецензенты:<br />

доктор физико-математических наук, профессор, заведующий кафедрой<br />

теоретической радиофизики радиофизического факультета Харьковского<br />

национального университета имени В. Н. Каразина Колчигин Н. Н.;<br />

доктор физико-математических наук, профессор, заведующий отделом радиофизической<br />

интроскопии Харьковского института радиофизики и электроники<br />

имени академика В. Я. Усикова Масалов С. А.<br />

М 54<br />

Рекомендовано к печати Научно-методическим советом<br />

Харьковского национального университета имени В. Н. Каразина<br />

(протокол №6 от 19.06.09)<br />

Методические указания к решению задач по теории функций комплексного переменного<br />

для студентов радиофизического и физического факультетов /<br />

Сост. : Кондратьев Б. В. – Х. : ХНУ имени В. Н. Каразина, 2010. – 76 с.<br />

Методические указания имеют целью оказать помощь студентам радиофизического<br />

и физического факультетов при подготовке к практическим занятиям по теории<br />

функций комплексного переменного и ее приложениям (свойства аналитических<br />

функций, их отображения, интегралы и вычеты, операционные методы, плоское<br />

электростатическое поле, асимптотические методы и др.). Этот материал входит<br />

в первую часть курса "Методы математической физики" и излагается в четвертом семестре.<br />

В указаниях к каждой теме приводятся перечень основных вопросов, ссылки на<br />

литературу, решения типичных задач и задания для самостоятельной работы.<br />

2<br />

УДК 517.53/.54(075.8)<br />

ББК 22.161.5я73<br />

© Харьковский национальный университет<br />

имени В. Н. Каразина, 2010<br />

© Кондратьев Б. В., сост., 2010<br />

© Дончик И. Н., макет обложки, 2010


Оглавление<br />

ВСТУПЛЕНИЕ…………………………………………………………. 4<br />

Тема 1. Комплексные числа и действия над ними.<br />

Функции комплексного переменного, их аналитичность…...<br />

Тема 2. Конформные отображения, осуществляемые различными<br />

5<br />

элементарными аналитическими функциям………………... 7<br />

Тема 3. Интегрирование ФКП и степенные ряды……………………. 11<br />

Тема 4. Ряды Лорана и особые точки ФКП…………………………... 14<br />

Тема 5. Вычеты и их применения…………………………………….. 18<br />

Тема 6. Операционное исчисление…………………………………… 25<br />

Тема 7. Специальные функции и их свойства……………………….. 31<br />

Тема 8. Теория плоского электростатического поля………………… 36<br />

Тема 9. Основы асимптотических методов…………………………... 40<br />

Задания для самостоятельного решения................................................ 57<br />

СПИСОК ЛИТЕРАТУРЫ…………………………….......…………… 75<br />

3


Вступление<br />

Теория функций комплексного переменного (ТФКП) как продолжает,<br />

так и расширяет идеи математического анализа функций действительного<br />

переменного. Обычные определения, известные из алгебры<br />

чисел и математического анализа функций действительного переменного,<br />

остаются почти без изменений, но их содержание меняется весьма<br />

существенным образом. Хорошо известно, что уже обычные простейшие<br />

операции над действительными числами могут вывести за пределы<br />

их области. И решения большинства алгебраических уравнений не могут<br />

быть выражены только обычными действительными числами. Поэтому<br />

приходится расширять область действительных чисел, а таким<br />

расширением этой области и является область комплексных чисел.<br />

Причем замечательным свойством комплексных чисел является тот<br />

факт, что основные математические операции над комплексными числами<br />

не выводят из области комплексных чисел. Однако, множество<br />

комплексных чисел не обладает свойством упорядоченности; не существует<br />

правил сравнения этих чисел понятий больше или меньше.<br />

Основное понятие комплексного анализа аналитическая функция.<br />

Это понятие позволяет доказать теоремы о существовании производных<br />

любого порядка от этих функций, о независимости интегралов от формы<br />

пути интегрирования. Позволяет сравнительно единообразно вычислять<br />

сложные интегралы с помощью вычетов и многое другое.<br />

Свойство аналитического продолжения различных математических<br />

соотношений позволяет единообразно перенести их в комплексную область.<br />

А построение графиков действительных функций заменяется<br />

конформными отображениями, осуществляемыми аналитическими<br />

функциями.<br />

На основе ТФКП построены все свойства специальных функций<br />

Эйлера, Бесселя, Лежандра и др. На той же основе построено операционное<br />

исчисление, с помощью которого можно упростить решение многих<br />

задач радиофизики и гидродинамики. А с помощью конформных<br />

отображений можно решать задачи электростатики и определять функцию<br />

Грина при решении задач математической физики.<br />

Часто возникает вопрос о приближенном вычислении сложных интегралов<br />

или решении дифференциальных уравнений при больших или<br />

малых значениях некоторого параметра. На такой вопрос могут дать ответ<br />

методы асимптотических оценок, хорошо разработанные в ТФКП.<br />

В предлагаемых методических указаниях приводятся образцы решения<br />

примеров по курсу ТФКП, решаемые со студентами на практических<br />

занятиях.<br />

4


Тема 1 Комплексные числа и действия над ними.<br />

Функции комплексного переменного, их аналитичность<br />

Основные вопросы: Модуль и аргумент комплексного числа. Три<br />

формы комплексного числа. Условия дифференцируемости ФКП<br />

(условия Коши-Римана). Понятие аналитической ФКП в области.<br />

Построение аналитической функции по ее заданной части. Аналитичность<br />

и вычисление значений элементарных ФКП: степенной, показательной,<br />

логарифмической и др.<br />

Литература: 1, гл. 1, § 1-4, гл.3, § 1 (3); 2, п. 1-5, 8-10; 3, § 1, 4, 7.<br />

Задание: 4, № 1(4), 4(2,3), 23, 26, 28, 29, 68(4,6), 71, 74(1,5,6),<br />

81(1,2,4,6), 112, 113, 137, 159, 160.<br />

Пример 1. Найти модуль и аргумент комплексного числа<br />

z � re<br />

i�<br />

� �1�<br />

i<br />

Модуль r �| z | � 2 ; аргумент � � Arg z � arg z � 2�<br />

k , k � Z ,<br />

где главное значение arg( � 1�<br />

i 3)<br />

= � � � arctg<br />

2<br />

3 � � .<br />

3<br />

Пример 2. Исследовать аналитичность функции<br />

2<br />

w(z)<br />

� U � iV � z � Im z � xy � iy .<br />

�U<br />

�V<br />

�U<br />

�V<br />

Так как � y , � �2y<br />

, � x и � 0 , то условия Коши- Ри-<br />

�x<br />

�y<br />

�y<br />

�x<br />

�U<br />

�V<br />

�U<br />

�V<br />

мана � , � � выполняются только в точке z � 0 , следо-<br />

�x<br />

�y<br />

�y<br />

�x<br />

вательно, функция w (z)<br />

нигде не аналитическая, но в нуле имеет производную<br />

w �(<br />

0)<br />

� 0 функция дифференцируемая.<br />

Пример 3. Построить аналитическую функцию<br />

w (z)<br />

= U ( x,<br />

y)<br />

� iV ( x,<br />

y)<br />

по заданной мнимой части:<br />

Найдём действительную часть<br />

2<br />

5<br />

3<br />

V ( x,<br />

y)<br />

� x � y � 3y<br />

.<br />

2<br />

.


� �<br />

( x,<br />

y)<br />

( 0,<br />

0)<br />

( x,<br />

y)<br />

�V<br />

�V<br />

U ( x,<br />

y)<br />

� � dx � dy =<br />

( 0,<br />

0)<br />

�y<br />

�x<br />

( �2y<br />

� 3)<br />

dx � 2xdy<br />

� �3x<br />

� 2xy<br />

� C ,<br />

тогда w( z)<br />

� U � iV � iz � 3z<br />

� C .<br />

Пример 4. Найти все значения выражений:<br />

�<br />

а) Вычислить Arg th(ln<br />

2 � i ) . Сначала найдём<br />

4<br />

1<br />

ln 4�<br />

� i<br />

� e 2 �1<br />

1�<br />

4i<br />

15 � 8i<br />

th(ln<br />

2 � i ) � � � �<br />

1<br />

, затем<br />

4 ln 4�<br />

� i 1�<br />

4i<br />

17<br />

e 2 �1<br />

15 � 8i<br />

8<br />

Arg � �arctg<br />

� 2�k<br />

, k � Z ,<br />

17 15<br />

8<br />

1<br />

где arctg � � � 0,<br />

155956...<br />

� � .<br />

15<br />

6<br />

i i�Ln(<br />

�2i)<br />

� � �<br />

б) Вычислить ( �2i)<br />

� e � exp<br />

�<br />

i � ln 2 � ( 4k<br />

�1)<br />

� 2 � =<br />

�<br />

� � �<br />

=�cos(ln 2)<br />

� isin(ln<br />

2)<br />

��exp �<br />

� ( 4k<br />

�1)<br />

� 2 � при k � Z .<br />

�<br />

Пример 5. Найти все корни уравнений:<br />

а) Уравнение cos z � 2 преобразуем к виду e e � 4,<br />

затем<br />

2iz<br />

iz<br />

iz<br />

e � 4e<br />

�1<br />

� 0,<br />

откудаe � 2 � 3 ; тогда<br />

6<br />

2<br />

iz<br />

� �iz<br />

z � Arccos2<br />

� �i<br />

� Ln(<br />

2 � 3)<br />

� � i �ln(<br />

2 � 3)<br />

� 2�<br />

k при k � Z .<br />

Главное значение arccos 2 � � i �ln(<br />

2 � 3)<br />

при k � 0 .<br />

б) Уравнение 2 ch z � sh z � i преобразуем к виду<br />

3 2 1 0<br />

2z<br />

z<br />

e � ie � � , откуда ( 1 2)<br />

3 �<br />

i<br />

e � z<br />

, тогда z� i<br />

z� � �Ln<br />

3i � �ln3<br />

� � ( 4k<br />

�1)<br />

при k � Z .<br />

2<br />

i<br />

� Ln i � � ( 4k<br />

�1)<br />

,<br />

2


Тема 2<br />

Конформные отображения, осуществляемые<br />

различными элементарными аналитическими функциями<br />

Основные вопросы: Геометрический смысл модуля и аргумента<br />

производной аналитической функции. Определение конформного отображения;<br />

необходимые и достаточные условия такого отображения.<br />

Принцип соответствия границ. Теорема Римана. Дробно-линейное отображение.<br />

Отображение на верхнюю полуплоскость луночки (двуугольника),<br />

плоскости с разрезом, полосы и полуполосы. Понятие римановой<br />

поверхности.<br />

Литература: 1, гл.1, §4(3), гл.3, §1(4), 2(3), гл.6, §1,2; 2, п.6, 24,<br />

26, 31, 33; 3, §8, 34, 35.<br />

Задание: 4, № 43 (1,3,5), 117, 187, 210 (3), 213, 220(1,2), 229(1,3),<br />

283(2,3), 287, 291-293, 306, 338(1,3,6), 350, 351, 356, 358, 359.<br />

Пример 6. Какая часть плоскости растягивается (сжимается) при<br />

2<br />

отображении с помощью функции f ( z)<br />

� z � 2z<br />

; как при этом ведёт<br />

себя бесконечно малая окрестность точки z0 �1 � i .<br />

Коэффициент растяжения равен K � f �(<br />

z)<br />

� 2 z �1<br />

, поэтому<br />

внутренность круга<br />

2<br />

2 2 1<br />

z �1 � ( x �1)<br />

� y � сжимается, а его внеш-<br />

4<br />

ность растягивается в K �<br />

�<br />

� � arg f �(<br />

z0<br />

) � arg( �i)<br />

� � .<br />

2<br />

f �(<br />

z0<br />

) � 2 раза и поворачивается на угол<br />

2<br />

Пример 7. Для функции f ( z)<br />

� z �1<br />

при z � 2 примем начальное<br />

значение Arg f ( 2)<br />

� 0 . Считая, что Arg f (z)<br />

изменяется непрерывно,<br />

когда точка z делает полный оборот против часовой стрелки по<br />

окружности C � � z � 2�<br />

и возвращается в точку z � 2 , найти приращение<br />

аргумента � C Arg f (z).<br />

i�<br />

1,<br />

2<br />

1<br />

Обозначим z � 1 � r1,<br />

2 �e<br />

, тогда Arg f ( z)<br />

� ( �1 ��<br />

2)<br />

. При об-<br />

2<br />

ходе по контуру C , внутри которого оказываются обе точки ветвления<br />

z � �1,<br />

каждый из углов � 1 и � 2 получит приращение 2 � , поэтому<br />

� Arg f ( z)<br />

� 2�<br />

.<br />

C<br />

7


Пример 8. Круговую лунку (двуугольник) на рис.1<br />

отобразить на верхнюю полуплоскость Im w � 0 .<br />

На плоскости z будет z A � 0 и zC � i , а<br />

координаты точек<br />

уравнений<br />

B и D найдём из системы<br />

Рис. 1<br />

2<br />

��<br />

2 2<br />

z � x � y �1<br />

� 2 2<br />

2 ,<br />

�� z �1<br />

� x � ( y �1)<br />

�1<br />

1<br />

откуда x � �<br />

2<br />

1<br />

1<br />

3 , y � ; поэтому zB, D � ( �<br />

2<br />

2<br />

3 � i)<br />

. Дробно-линейная<br />

z � zB<br />

2z<br />

�<br />

функция p(<br />

z)<br />

� �<br />

z � zD<br />

2z<br />

�<br />

3 � i<br />

выпрямляет дуги BCD и BAD и<br />

3 � i<br />

отображает заданную лунку DABCD на сектор D 1BD2<br />

в плоскости р<br />

(рис.2), так как p B � 0 и p D � � . Поскольку<br />

1<br />

pA<br />

( 0)<br />

� � ( 1�<br />

i<br />

2<br />

4<br />

� i<br />

3)<br />

� e 3<br />

и<br />

1<br />

pC<br />

( i)<br />

� � ( 1�<br />

i<br />

2<br />

2<br />

� i<br />

3)<br />

� e 3<br />

, то луч BD 1<br />

4<br />

имеет направление arg p A � � , а луч BD 2 - направление arg p C<br />

3<br />

2<br />

� � .<br />

3<br />

Величина угла, образованного границей лунки в точке B , не изме-<br />

2<br />

няется при отображении p (z)<br />

и равна �ABC � arg pA<br />

� arg pC<br />

� � .<br />

3<br />

Отображение<br />

его вершины B на угол<br />

2<br />

� � i<br />

3<br />

q(<br />

p)<br />

� p � e повернёт сектор 2<br />

D 1BD вокруг<br />

2<br />

� � . На плоскости q луч BD 2 совпадает<br />

3<br />

Рис. 2<br />

8


с действительной положительной полуосью; точки<br />

Так как<br />

2<br />

argq C � 0 и arg A � �<br />

3<br />

q , то при отображении<br />

9<br />

q<br />

A<br />

2<br />

� i<br />

3<br />

� e � 1<br />

q .<br />

C<br />

3<br />

w � q 2<br />

на<br />

плоскости w луч BD 2 останется на месте, а луч BD 1 совпадёт с действительной<br />

отрицательной полуосью. Таким образом, сектор 1 2 BD D<br />

отобразится на верхнюю полуплоскость Imw � 0 и w A,<br />

C � �1.<br />

Выражая<br />

w через z, получим отображающую функцию<br />

3 2<br />

� 2z<br />

�<br />

w ( z)<br />

� ��<br />

�<br />

� 2z<br />

�<br />

3 � i �<br />

�<br />

3 � i �<br />

�<br />

. Во всех плоскостях z , p,<br />

q,<br />

и w рассматриваемые<br />

области расположены слева от границы.<br />

Пример 9. Верхнюю полуплоскость с вырезанными полукругами<br />

(рис. 3), т.е. область Im z � 0 и z �1<br />

� 1,<br />

отобразить на верхнюю полуплоскость<br />

Im w � 0 .<br />

Рис. 3<br />

2<br />

Функция p(<br />

z)<br />

� отобразит заданную область в полуполосу<br />

z<br />

П p � � Re p �1,<br />

Im p � 0 �,<br />

т.е. границы области выпрямляются и<br />

� �1�<br />

i p � � ; p<br />

�<br />

� 0 . Функция q(<br />

p)<br />

� � � i�<br />

� i ( p �1)<br />

pB, F ; C,<br />

E 1<br />

переводит полуполосу P<br />

D<br />

z<br />

П в полуполосу П � �� � 0,<br />

0 ��<br />

� ��<br />

q<br />

2


(рис.4); при этом<br />

q B<br />

Наконец, функция<br />

Рис. 4<br />

� �<br />

� � � i , qC � � i , qD � i , q E � 0 ,<br />

2<br />

2<br />

w U � iV � ch q<br />

10<br />

�<br />

q F � .<br />

2<br />

� отобразит полуполосу П q на<br />

верхнюю полуплоскость Imw � 0 ; причём wF , B � �ch<br />

� �2,<br />

50918 ,<br />

2<br />

w E,<br />

C � �1,<br />

w D � 0 . Действительно, участок границы полуполосы<br />

EA 1 � �0����, � � 0�<br />

с помощью функции wEA � ch�<br />

� 1 перейдёт<br />

1<br />

на плоскости w в полупрямую EA 1 � �U �1,<br />

V � 0 �;<br />

участок<br />

CA 2 � �0����, � � � � функция wCA � �ch�<br />

� �1<br />

переведёт в<br />

2<br />

полупрямую CA 2 � �U � �1,<br />

V � 0�;<br />

отрезок<br />

EC � ���0, 0 ��<br />

� � � функция w EC � cos�<br />

переведёт в отрезок<br />

EC � � U �1,<br />

V � 0 �.<br />

Таким образом заданное отображение<br />

сделает функция<br />

1 1 �<br />

w(<br />

z)<br />

� ch i�<br />

( � ) � �sin<br />

.<br />

z 2 z<br />


Тема 3 Интегрирование ФКП и степенные ряды<br />

Основные вопросы: Методы вычисления контурных интегралов.<br />

Теорема и формула Коши. Степенные ряды, их радиус сходимости. Разложение<br />

аналитических функций в ряд Тейлора. Нули функций, их<br />

кратность. Свойство единственности аналитических функций.<br />

Литература: 1, гл.1, §5, 6, гл.2, §1-3, гл.3, §1(1,2), 2(1-3); 2, п.11-14,<br />

17-20; 3, §2, 5, 9-12, 14.<br />

Задание: 4, №388 (1,2), 393 (2,3,5), 403-405, 412, 434, 470, 471,<br />

506-509, 523 (1,2), 525.<br />

Пример 10. Вычислить интеграл �<br />

правлении по левой полуокружности<br />

L<br />

� � z �1,<br />

x � 0 �<br />

11<br />

1<br />

�<br />

3<br />

I � z dz в положительном на-<br />

L от той ветви<br />

3<br />

корня, для которой i � �i<br />

.<br />

Для выделения заданной ветви, выберем нужное значение числа k<br />

из трёх возможных k � 0, �1.<br />

Для этого в начальной точке контура интегрирования<br />

L запишем<br />

откуда<br />

3<br />

i �� � � � �<br />

� exp � � 2�<br />

k � � �i<br />

� exp��<br />

i �<br />

3 � 2 � � 2 �<br />

i ,<br />

1 �� � �<br />

� � 2�<br />

k � � � или<br />

3 � 2 � 2<br />

Под знаком интеграла сделаем замену<br />

1 3<br />

� 2k<br />

� � , значит k � �1.<br />

2 2<br />

z �)<br />

� e<br />

i�<br />

( при<br />

и с учётом требуемой ветви подынтегральной функции<br />

запишем<br />

3�<br />

2<br />

� 3<br />

i�<br />

I<br />

� e �i<br />

e d�<br />

� ie 3<br />

�<br />

�<br />

2<br />

d�<br />

� ie<br />

z<br />

3<br />

� e<br />

2i<br />

1<br />

�<br />

3<br />

� 3�<br />

� � �<br />

2 2<br />

� e<br />

i<br />

2�<br />

3�<br />

2 2 3<br />

� �<br />

2 2i<br />

� i<br />

�<br />

( � 2�<br />

)<br />

i �<br />

i�<br />

2<br />

3<br />

3 3<br />

�<br />

2<br />

e<br />

�<br />

2<br />

i<br />

� ( ��2�<br />

)<br />

3<br />


�<br />

3<br />

2<br />

e<br />

�(<br />

e<br />

� e<br />

3<br />

) � � e<br />

2<br />

12<br />

�e<br />

�<br />

��<br />

e<br />

�<br />

�<br />

2<br />

2 � � �<br />

� i<br />

� i i i �i 3 i�<br />

i�<br />

3<br />

3 6 6 6<br />

� �3e<br />

�<br />

5<br />

� 1 �<br />

� i<br />

�1�<br />

�<br />

6 � i�<br />

� 6 �<br />

�cos<br />

6<br />

� �3e<br />

�<br />

3<br />

2<br />

� e<br />

�<br />

�<br />

� �<br />

�<br />

�<br />

3 3<br />

3<br />

3 e 6 3 cos isin<br />

3 ( 3 i)<br />

2 2 6 6 4<br />

i � � � � �<br />

� � � ��<br />

� � � � �<br />

�<br />

�<br />

dz<br />

Пример 11. Вычислить интеграл I � � 3 , где C самопере-<br />

C z(<br />

1�<br />

z)<br />

секающийся замкнутый контур (”восьмёрка”), который обходит особую<br />

точку z 0 � 0 в отрицательном направлении, а 1 1 � z в положительном.<br />

Деформируем контур C в ”гантель”, по перемычке которой интегралы<br />

взаимно уничтожаются и остаются интегралы по окружностям<br />

около особых точек C0 � � z � ��<br />

и C 1 � � z �1<br />

� ��<br />

(здесь 0 � � �� 1);<br />

поэтому<br />

3<br />

� 1 � dz � 1 � dz<br />

I � � � � � � � � ��<br />

2�1<br />

.<br />

C �1�<br />

z � z � 0 � � ( �1)<br />

0<br />

C z z<br />

1<br />

Затем, воспользовавшись интегральной формулой Коши, получим<br />

� 3<br />

�<br />

1 1 1<br />

�<br />

I 2�<br />

i �<br />

� � � �<br />

� � � � � � � � 4�<br />

i .<br />

� 1 z 2!<br />

z<br />

�<br />

� � � z�0<br />

� � z�1<br />

�<br />

�<br />

z<br />

Пример 12. Функцию f ( z)<br />

� разложить в ряд Тейлора в ок-<br />

z � 2<br />

рестности точки 0 1 � z и найти область сходимости ряда.<br />

Воспользуемся формулой для суммы бесконечно убывающей геометрической<br />

прогрессии и получим<br />

� � k<br />

2 1<br />

( �1)<br />

k<br />

f ( z)<br />

�1<br />

�<br />

�1<br />

� 2 ( z �1)<br />

1<br />

k�1<br />

3<br />

k�0<br />

1�<br />

( z �1)<br />

3<br />

.<br />

3<br />

Важно учесть, что радиус сходимости ряда – это расстояние от точки<br />

разложения z 1 до ближайшей к ней особой точки ~ z � �2<br />

расклады-<br />

0 �<br />

.


ваемой функции f (z)<br />

(в этой точке f ( 2)<br />

� f �(<br />

2)<br />

� � ); поэтому<br />

R � z � ~<br />

2<br />

z � 3 , а область сходимости z �1 2 2<br />

� ( x �1)<br />

� y � 9 .<br />

0<br />

Пример 13. Разложить в ряд Тейлора в окрестности точки z0 � i ту<br />

ветвь функции<br />

i<br />

2<br />

3<br />

f ( z)<br />

� z , для которой<br />

Представим функцию в виде<br />

2<br />

3<br />

2<br />

f ( i)<br />

� i 3 � �1.<br />

� � � � 3<br />

2<br />

2<br />

i � ( z � i)<br />

3 � i 3 � 1�<br />

i(<br />

z )<br />

f ( z)<br />

� z �<br />

� i .<br />

Для выбора нужной ветви проще использовать первый множитель<br />

2<br />

� 3 �<br />

2 � i �2�<br />

ki � i ( 4k<br />

�1)<br />

3 2<br />

3<br />

� �e<br />

�<br />

�<br />

�<br />

�<br />

�<br />

� e<br />

13<br />

2<br />

при k � 0, �1.<br />

Очевидно, нужная ветвь<br />

2<br />

� �i<br />

�<br />

функции получится при k � �1;<br />

тогда i 3<br />

k ��1<br />

e � �1.<br />

Затем для<br />

второго множителя можно принять главное значение и воспользоваться<br />

формулой разложения бинома<br />

� � k<br />

� t � ��� �t<br />

k k<br />

��<br />

� �<br />

�<br />

� �<br />

( 1 )<br />

, где<br />

�0<br />

t � 1 и<br />

��<br />

� 1<br />

�� �� � ��<br />

( � �1)(<br />

� � 2)...(<br />

� � k �1)<br />

биномиальный коэффициент.<br />

� k � k!<br />

� �<br />

Тогда получим � ��<br />

� �� �� � � � � � � �<br />

� �<br />

�<br />

k 2 3<br />

k 2i<br />

f ( z)<br />

( i)<br />

( z i)<br />

1 ( z i)<br />

k �0<br />

k<br />

3<br />

2 4i<br />

3 7<br />

� ( z � i)<br />

� ( z � i)<br />

� ( z � i)<br />

2<br />

4<br />

5<br />

3 3 3<br />

1 4<br />

2<br />

Ряд сходится в круге z � i � x � ( y �1)<br />

�1<br />

. Радиус сходимости<br />

ряда R � i � 0 � 1,<br />

где i центр круга разложения и 0 ближайшая особенность<br />

(точка ветвления третьего порядка).<br />

2<br />

2<br />

� ...<br />

Пример 14. Определить порядки всех нулей функции<br />

f ( z)<br />

( z � 4)<br />

z<br />

2<br />

5<br />

� .


Функция обращается в нуль при z � �2i<br />

, но её производная<br />

в этих точках<br />

1 2<br />

f �(<br />

�2i)<br />

� � ( 3z<br />

� 20)<br />

6<br />

z<br />

1<br />

� � 0 , значит, точки<br />

8<br />

z��2i<br />

z1, 2 � �2i<br />

являются простыми нулями. Для определения порядка нуля<br />

в бесконечности z � � сделаем замену z � 1 t , тогда<br />

3<br />

3 2<br />

f ( 1 t)<br />

� � ( t)<br />

� t ( 4t<br />

�1)<br />

; функция � (t)<br />

имеет при t � 0 нуль третьего<br />

порядка, значит, и функция f (z)<br />

имеет при z 3 � � так же нуль<br />

третьего порядка.<br />

Пример 15. Проверка тождественности двух аналитических<br />

функций.<br />

�<br />

2 �<br />

Функции f1(<br />

z)<br />

� sin и f2<br />

( z)<br />

� sin аналитические во всей<br />

z<br />

z<br />

плоскости переменного z , за исключением точки z � 0 (там существенная<br />

особенность). Эти функции совпадают на последовательности<br />

1<br />

zk � ( k � N,<br />

k<br />

k � 0)<br />

. Однако функции не тождественны, так как эта<br />

последовательность имеет предельную точку z � 0 , а функции 1( ) z f<br />

и ( ) f в нуле не аналитические.<br />

2 z<br />

Тема 4 Ряды Лорана и особые точки ФКП<br />

Основные вопросы: Методы разложения функций в ряд Лорана.<br />

Разложение в окрестности бесконечности. Единственность разложения<br />

в ряд. Классификация особых точек аналитических функций; поведение<br />

функций в окрестности особых точек. Связь между нулями и полюсами.<br />

Литература: 1, гл.3, §2(5); гл.4, §1, 2; 2, п.21, 22, 25; 3, §17, 18.<br />

Задание: 4, №543, 545, 549, 551, 559, 561(1,2,4,8,11), 562(1-3,6),<br />

566-571, 576-578, 580, 582-585, 601, 602.<br />

1<br />

Пример 16. Функцию f ( z)<br />

� при 0 � a � b � � разло-<br />

( z � a)(<br />

z � b)<br />

жить в ряды Лорана в окрестности точек z1 � a , z2 � b , z 3 � � и в<br />

кольце a � z � b ; определить области сходимости этих рядов.<br />

14<br />

1,<br />

2


Для разложения рациональных функций в ряды обычно бывает достаточно<br />

разложить их на простые дроби и воспользоваться формулой<br />

суммы бесконечно убывающей геометрической прогрессии; поэтому в<br />

окрестности точки z1 � a получим<br />

� � ��<br />

�<br />

�<br />

k<br />

�1<br />

� 1 1 1 � �1<br />

� z � a �<br />

f ( z)<br />

� � � � � � � �<br />

�<br />

�<br />

2<br />

b a<br />

�<br />

z � a b � a z a<br />

� � k��1<br />

1�<br />

b a � b � a<br />

.<br />

�<br />

�<br />

b � a �<br />

z � a<br />

Этот ряд сходится при<br />

b � a<br />

выколотым центром; здесь<br />

�1<br />

, т. е. внутри круга 0 � z � a � b � a с<br />

R 1 � a � a � 0 и 2 � b � a � 0<br />

z �<br />

R . Аналогично<br />

получается разложение в окрестности точки b<br />

1<br />

k � z � b �<br />

f ( z)<br />

�<br />

( �1)<br />

� � при 0 � z � b � a � b .<br />

�1<br />

� a � b �<br />

� � �� 2<br />

b � a k �<br />

Разложение в окрестности бесконечности будет<br />

� �<br />

�<br />

�<br />

k k<br />

1 �1<br />

1 1 1 � 1 b � a<br />

f ( z)<br />

� � � � � � �<br />

�1<br />

� b a<br />

k ;<br />

b a<br />

�<br />

z<br />

�<br />

� k �1<br />

1�<br />

z<br />

1�<br />

b a z<br />

� z z �<br />

ряд сходится вне круга z � b , т. е. в области b � z � � .<br />

Разложение внутри кольца 0 � a � z � b � � имеет вид:<br />

�<br />

�<br />

1 ��1<br />

1 1 1 � �1<br />

f ( z)<br />

� � � � � � � �<br />

b � a<br />

�<br />

b z<br />

1�<br />

z a<br />

1�<br />

�<br />

b � a<br />

� b z �<br />

здесь первая часть разложения сходится при<br />

a<br />

z<br />

�1.<br />

15<br />

k<br />

z<br />

b<br />

2<br />

� �<br />

k �0<br />

�1<br />

� z<br />

�<br />

�<br />

� b<br />

�<br />

;<br />

�<br />

� � � �<br />

k k<br />

a<br />

� k 1 k 1<br />

z<br />

, а вторая – при


По виду разложений заключаем, что в точках z1 � a и z2 � b находятся<br />

простые полюсы функции f (z)<br />

, а в точке z 3 � � - устранимая<br />

особенность. Вычеты функций в этих точках равны<br />

�1<br />

Re s f ( z)<br />

� � Re s f ( z)<br />

� , Re s f ( z)<br />

� 0 .<br />

z�a z�b<br />

b � a z��<br />

Пример 17. Функцию f ( z)<br />

� z �e<br />

z<br />

разложить в ряды Лорана в<br />

окрестности всех её особых точек; определить области сходимости.<br />

При разложении в ряды Лорана элементарных аналитических<br />

функций обычно используют их известные разложения в ряды Тейлора.<br />

Предложенная функция имеет две особенности при 1 0 � z и � � z 2<br />

лорановское разложение будет:<br />

; её<br />

1<br />

�<br />

3<br />

f ( z)<br />

� z e z 3 � 1 1<br />

� z ��1<br />

� � 2<br />

� 1!<br />

z 2!<br />

z<br />

1 �<br />

� � ... � �<br />

3<br />

3!<br />

z �<br />

2<br />

3 z z 1 1 1<br />

� z � � .... �<br />

+<br />

...<br />

1!<br />

2!<br />

3!<br />

2<br />

4!<br />

5!<br />

� � z z<br />

Правильн. часть при z � 0<br />

Главн. часть при z � 0<br />

Главн. при z � �<br />

Правильн. часть при z � �<br />

Здесь разложения в окрестностях нуля и бесконечности по форме совпадают.<br />

Разложение сходится в области 0 � z � � .<br />

По виду разложения заключаем, что в точке 1 0 � z находится существенная<br />

особенность, а в точке z 2 � � полюс третьего порядка. Вычеты<br />

в этих точках равны:<br />

1<br />

Re s f ( z)<br />

� � Re s f ( z)<br />

� � .<br />

z�0<br />

z��<br />

24<br />

Пример 18. Найти особые точки функций и выяснить их характер.<br />

1<br />

3<br />

а) f ( z)<br />

� 3 . Так знаменатель z � z � z(<br />

1�<br />

z)(<br />

1�<br />

z)<br />

имеет<br />

z � z<br />

простые нули при 1 0 � z , 2 1 � z и z 3 � �1,<br />

то для функции f (z)<br />

это<br />

будут простые полюсы. Точка z 0 � � является устранимой особенностью,<br />

так как f ( �)<br />

� 0 .<br />

16<br />

3<br />

1<br />


f<br />

z<br />

z<br />

e<br />

�z<br />

б) ( ) . Точка z 0 � � будет существенно особой, так как<br />

f ( ��)<br />

� 0 и f ( ��)<br />

� 0 .<br />

в) f ( z)<br />

� z �cth<br />

z . Точка z 0 � 0 устранимая особая, там f ( 0)<br />

�1.<br />

Точки zk � ik�<br />

� 0 ( k � Z,<br />

k � 0)<br />

, в которых sh z � 0 и<br />

� 3<br />

k<br />

( sh zk<br />

) � � ch zK<br />

� ( �1)<br />

� 0 будут простыми полюсами функции. В бесконечности<br />

z � � находится неизолированная особенность – точка<br />

предельная для полюсов.<br />

г)<br />

2 1<br />

f ( z)<br />

� z � cos . Представим функцию в виде ряда Лорана<br />

z<br />

2 1 1<br />

f ( z)<br />

� z � � 2<br />

2!<br />

4!<br />

z<br />

1<br />

� � ... 4 , очевидно, она имеет при z 1 � � полюс<br />

6!<br />

z<br />

второго порядка и при 2 0 � z существенную особенность.<br />

д) f ( z)<br />

�<br />

1�<br />

1<br />

. Функция двузначна, она имеет точки ветвле-<br />

z �1<br />

ния второго порядка при 1 1 � z и z 2 � � . Кроме того, та ветвь функции,<br />

для которой � 1 � �1,<br />

имеет простой полюс в точке z 3 � 2 ;<br />

действительно, числитель функции там постоянный, а её знаменатель<br />

1 z �1)<br />

� ( 1�<br />

1)<br />

� 0 , но производная от знаменателя<br />

( � z�2<br />

1��1<br />

( 1<br />

z �1)<br />

�<br />

�1<br />

� z�2<br />

2 z �1<br />

�1<br />

� z�2<br />

2 1<br />

1<br />

� � � 0<br />

1�<br />

1 . Для другой ветви,<br />

2<br />

� , точка z 2 правильная, так как там существуют конечные<br />

� �<br />

где 1 �1<br />

значения<br />

3 �<br />

1<br />

f ( 2)<br />

� и<br />

2<br />

1<br />

f �(<br />

2)<br />

� � .<br />

8<br />

Пример 19. Выяснить, допускают ли указанные функции f (z)<br />

(или их однозначные ветви) разложение в ряд в окрестности заданной<br />

точки z 0 ; если разложение возможно, указать область сходимости ряда<br />

D .<br />

1<br />

а) f ( z)<br />

� z �sin<br />

при 0 0<br />

z<br />

� z . Точка нуль является изолированной<br />

существенно особой точкой функции f (z)<br />

. Поэтому возможно лора-<br />

новское разложение в кольцевой области � � � z � � �<br />

17<br />

D 0 .<br />

k


б) f ( z)<br />

� ctg z при z 0 � � . Точка бесконечность является неизолированной<br />

особой точкой, она предельная для полюсов<br />

zk � � k ( k � Z)<br />

; поэтому требуемое разложение невозможно.<br />

в) f ( z)<br />

� ln( z �1)<br />

при 0 1 � z . Многозначная функция<br />

fk ( z)<br />

� Ln(<br />

z �1)<br />

� ln( z �1)<br />

� 2�<br />

k i ( k � Z)<br />

имеет при z 0 � �1<br />

точку<br />

ветвления логарифмического типа. Для выделения однозначной ветви<br />

f ( z)<br />

� ln( z �1)<br />

при k � 0 нужно на плоскости z провести разрез из<br />

точки z 0 �1<br />

в бесконечность. Поэтому в окрестности точки z 0 �1<br />

нельзя найти неразрезанное кольцо вида D � �0 � z �1<br />

� ��,<br />

в котором<br />

было бы возможно разложение функции f (z)<br />

.<br />

2<br />

3<br />

г) f ( z)<br />

� z(<br />

z �1)<br />

при z 1 � 0,<br />

z 2 � �1<br />

и z 3 � � . Точки z 1 � 0 и<br />

z 2 �1<br />

точки ветвления третьего порядка функции f (z)<br />

, поэтому в их<br />

окрестностях разложения в ряды невозможны. Бесконечность – простой<br />

2 3<br />

� 1 � 3<br />

f ( z)<br />

� z�1�<br />

� � 1 , поэтому в окрестности точки<br />

полюс функции<br />

� z �<br />

z � � возможно лорановское разложение в области D � �1 � z � ��.<br />

3<br />

Тема 5<br />

Вычеты и их применения<br />

Основные вопросы: Вычеты аналитических функций. Методы их<br />

вычисления в изолированных особых точках разного типа. Теорема<br />

Коши о вычетах. Приложение теории вычетов к вычислению определённых<br />

интегралов. Четыре основных леммы. Исследование нулей аналитических<br />

функций.<br />

Литература: 1, гл.5 §1,2; 2, 23, 24, 73-75; 3, §28-30.<br />

Задание: 4, № 621, 628, 643, 658, 659, 662, 673, 676, 678, 680, 683,<br />

685, 692-694, 696-698, 702, 704, 714, 716, 733, 788, 793.<br />

Пример 20. Вычислить контурный интеграл<br />

18<br />

�<br />

�<br />

Ir 5 2<br />

C ( z �1)<br />

вдоль положительного направления обхода окружности<br />

C r<br />

� z � � 1�<br />

� r<br />

.<br />

r<br />

z<br />

9<br />

dz


Подынтегральная функция f (z)<br />

на единичной окружности z �1<br />

имеет пять полюсов второго порядка в точках<br />

5 � � �<br />

zk � �1<br />

� exp�i<br />

( 2k<br />

�1)<br />

� при k � 0,<br />

1,<br />

2,<br />

3,<br />

4 и устранимую<br />

� 5 �<br />

особенность в бесконечности (там<br />

r � 1,<br />

а при r � 1 получим:<br />

f ( �)<br />

� 0 ). Поэтому I r � 0 при<br />

I<br />

r<br />

� 2�<br />

i �<br />

4<br />

�<br />

Re s<br />

k�0 z�z<br />

k<br />

f ( z)<br />

� �2�<br />

i �Re<br />

s f ( z)<br />

�<br />

19<br />

z��<br />

�2<br />

�1<br />

� 1 � �<br />

� �2�<br />

i � Re s�<br />

�1�<br />

� �2�<br />

i<br />

z<br />

5 � �<br />

��<br />

��<br />

z � z � ��<br />

Пример 21. Вычислить интеграл от тригонометрической функции<br />

3�<br />

I( �) �� tg( ��i�) d�<br />

при действительном � � 0 .<br />

0<br />

2i(<br />

2�<br />

�i�<br />

)<br />

Сделав замену z(<br />

�)<br />

� e и d� � dz 2iz<br />

, перейдём к контурному<br />

интегралу<br />

�2� здесь � � z � e �1�<br />

�1 3 �1<br />

I ��i� d �� dz<br />

e �1 2 z( z�1)<br />

2( i ��i�) 3�<br />

e z<br />

�<br />

0 2( i ��i�) C<br />

� �� ;<br />

C окружность, пробегаемая в положительном<br />

z �1<br />

направлении. Подынтегральная функция f ( z)<br />

� имеет простые<br />

z(<br />

z �1)<br />

полюсы в точках 1 0 � z и z 2 � �1<br />

и устранимую особенность при<br />

�2�<br />

z 3 � � . Если число � � 0 , то внутрь контура C � � � z � e �1<br />

� попадает<br />

одна особая точка 0 z ; если же � � 0 , то внутрь конту-<br />

2 �<br />

ра � � z � e �1�<br />

1 �<br />

C �<br />

попадают две особенности 1 0 � z и z 2 � �1.<br />

Поэтому при � � 0 получим:<br />

I<br />

3<br />

� �<br />

�<br />

2 �<br />

C�<br />

z �1<br />

z<br />

� i s z 1 �1<br />

... � �3<br />

� Re � � �3�<br />

i � � �3�<br />

i<br />

z�0<br />

z z �1<br />

.<br />

z�0<br />

;


а при � � 0 будет<br />

I<br />

3<br />

� �<br />

� � 2 C�<br />

� z �1<br />

1 �<br />

�<br />

1�<br />

�<br />

... � �3�<br />

i �Re<br />

s z �1<br />

� Re s z � � �3�<br />

i<br />

z 0 z z 1 z 1<br />

�<br />

� �<br />

��<br />

�<br />

�<br />

�<br />

�<br />

�<br />

Окончательно результат запишем в виде: I( �) � 3�<br />

i � sign�<br />

, I ( 0)<br />

� 0.<br />

sin ax � dx<br />

Пример 22. Вычислить интеграл по полуоси I � � 2 2 2<br />

0 x(<br />

x � b )<br />

a , b � 0 .<br />

при<br />

Выберем вспомогательный контурный интеграл вида<br />

iaz<br />

~ e � dz<br />

I � � 2 2 2 , где новая подынтегральная функция имеет простой<br />

C z(<br />

z � b )<br />

полюс 0 z , полюсы второго порядка<br />

z � �bi<br />

1 �<br />

2 , 3 и существенно особую точку<br />

z � � . В верхней полуплоскости Im z � 0<br />

4<br />

выберем контур интегрирования вида<br />

C � ( �, r)<br />

� Cr<br />

� ( �r,<br />

��<br />

) � C�<br />

(рис. 5), где<br />

Рис. 5<br />

0 � � �� b и b �� r � � . Тогда вспомогательный<br />

интеграл легко вычисляется по теореме о<br />

вычетах (все контуры интегрирования будем<br />

обходить только против часовой стрелки в положительном<br />

направлении)<br />

~<br />

e<br />

I � 2�<br />

i�<br />

Re s<br />

z�bi<br />

2 2 2<br />

z(<br />

z � b )<br />

�<br />

� 2<br />

iaz �<br />

� e �<br />

i<br />

�<br />

�<br />

z z ib<br />

�<br />

�<br />

2<br />

� ( � ) �<br />

� i<br />

� � ( ab � 2)<br />

e<br />

4<br />

2b<br />

z�bi<br />

20<br />

iaz<br />

�<br />

�ab<br />

� .<br />

Затем распишем интеграл I ~ по четырём участкам контура C ; это даст<br />

~<br />

I �<br />

r iax<br />

�<br />

e<br />

dx<br />

�<br />

�<br />

e<br />

iaz<br />

dz<br />

2 2 2<br />

� x x � b � 2 2 2<br />

2 2 2<br />

( ) C z(<br />

z � b ) �r x(<br />

x � b ) �<br />

r<br />

C�<br />

�<br />

��<br />

�<br />

e<br />

iax<br />

dx<br />

�<br />

�<br />

e<br />

z(<br />

z<br />

2<br />

iaz<br />

.<br />

dz<br />

� b<br />

2<br />

)<br />

2<br />

.


Сделав в третьем интеграле замену переменной x � �x<br />

, после преобразований<br />

получим:<br />

ia z<br />

r<br />

sin ax � dx e dz e<br />

2i<br />

�� � � �<br />

2 2 2<br />

�<br />

x x � b � 2 2 2<br />

( ) z(<br />

z � b ) � z(<br />

z<br />

� Cr<br />

C�<br />

21<br />

2<br />

iaz<br />

dz<br />

� b<br />

2<br />

)<br />

2<br />

� i �<br />

� � ( ab � 2)<br />

e<br />

2b 4<br />

�<br />

В этом равенстве перейдём к пределам � � 0 и r � � , тогда<br />

�<br />

sin ax � dx e dz<br />

2 i � � � lim � � lim<br />

2 2 2<br />

�<br />

x x � b ��<br />

� 2 2 2<br />

( ) z(<br />

z � b ) � �0<br />

�<br />

0<br />

iaz<br />

iaz<br />

r<br />

2 2<br />

C<br />

C z(<br />

z b<br />

r<br />

�<br />

� i �<br />

� ( ab � 2)<br />

e<br />

2b 4<br />

�<br />

ab<br />

.<br />

e<br />

dz<br />

� )<br />

Здесь предел второго интеграла равен нулю по лемме Жордана, так как<br />

1<br />

a � 0 и lim � 0<br />

2 2 2 , а предел третьего по лемме о половине<br />

z��<br />

z(<br />

z � b )<br />

вычета равен:<br />

iaz<br />

e<br />

iaz<br />

2 2 2<br />

e dz<br />

( z � b ) � i<br />

lim<br />

� � i � Re s � �<br />

� �0 2 2 2<br />

0<br />

4<br />

z(<br />

z � b )<br />

z�<br />

z � 0 b<br />

� � .<br />

C�<br />

После простых преобразований получаем окончательно:<br />

I<br />

�<br />

�<br />

�<br />

0<br />

sin ax � dx<br />

2 2<br />

x(<br />

x � b )<br />

2<br />

�<br />

1<br />

2b<br />

4<br />

� �<br />

�1�<br />

�1�<br />

� �<br />

1 �<br />

ab�e<br />

2 �<br />

Из последнего выражения легко получить значения многих других<br />

нетривиальных интегралов, например:<br />

�<br />

�<br />

cos ax � dx �<br />

�ab<br />

dx �<br />

Ia�<br />

� � � ( ab �1)<br />

e<br />

2 2 2 3<br />

, I a�<br />

� � �<br />

2 2 2 3 .<br />

( x � b ) 4b<br />

( x � b ) 4b<br />

0<br />

a�0<br />

0<br />

�ab<br />

Пример 23. Вычислить интеграл от алгебраической функции<br />

I<br />

�<br />

�<br />

�<br />

0<br />

x<br />

2<br />

x<br />

p<br />

� dx<br />

� 2x �cos�<br />

�1<br />

�<br />

� .<br />

�<br />

при 0 � � � � и p �1<br />

.<br />

2<br />

�<br />

ab<br />

.


~ z � dz<br />

Выберем вспомогательный интеграл вида I � � 2<br />

,<br />

C z � 2z<br />

�cos�<br />

�1<br />

где новая подынтегральная функция в общем случае бесконечнозначная<br />

(так как z exp( p Ln z)<br />

exp( p ln z 2 k pi)<br />

p<br />

� � � � � � при k � Z ) и имеет<br />

логарифмические точки ветвления в нуле и бесконечности (при z 3 � 0<br />

и z 4 � � ); кроме того, каждая ветвь функции имеет простые полюсы<br />

i�<br />

( 2�<br />

��<br />

)<br />

при z1 � e и 2 � i<br />

z e (здесь z 1,<br />

2 � 1 и 0 � � � � ), которые соответствуют<br />

простым нулям знаменателя<br />

2<br />

z � z �cos�<br />

�1<br />

� ( z � z ) ( z � z ) .<br />

2 1 2<br />

Выберем главную ветвь подынтегральной функции (когда k � 0<br />

и 0 � arg z � 2�<br />

), для этого на плоскости комплексного переменного<br />

z проведём разрез по действительной положительной полуоси<br />

0 � Re z � � и положим на верхнем берегу разреза arg z � 0 . Выберем<br />

контур интегрирования C , проходящий по берегам этого разреза и дополненный<br />

двумя окружностями (рис.6); пусть<br />

C � C � ( r,<br />

) � C � ( �,<br />

r)<br />

r<br />

� �<br />

arg z�2�<br />

где 0 � �<br />

��1<br />

�� r � �<br />

22<br />

arg z�0<br />

,<br />

p


Рис. 6<br />

Тогда вспомогательный интеграл I ~ легко вычисляется по теореме<br />

о вычетах:<br />

чим:<br />

p<br />

p<br />

~ � z ( z � z<br />

� 2<br />

�<br />

�Re<br />

2) z ( z �z<br />

�<br />

I � i s � Res 1)<br />

�<br />

z�<br />

z<br />

� 1 z � z<br />

�<br />

�<br />

z � z<br />

1<br />

2 z �z<br />

2 �<br />

p p<br />

ip�<br />

ip(<br />

2�<br />

��<br />

)<br />

z 1 � z 2 e � e<br />

� 2�<br />

i �<br />

� 2� i �<br />

�<br />

i�<br />

i(<br />

2�<br />

��<br />

)<br />

z1<br />

� z 2 e � e<br />

sin p(<br />

� ��<br />

) i�<br />

p<br />

� �2<br />

� i<br />

� e .<br />

sin�<br />

Распишем интеграл I ~ по четырём участкам контура C и полу-<br />

p<br />

r<br />

~ 2�p<br />

i x � dx<br />

z � dz<br />

I � ( 1�<br />

e ) ��<br />

� �<br />

�<br />

2<br />

x � x � � 2<br />

2 cos 1 z � 2z<br />

cos�<br />

�1<br />

� �<br />

C�<br />

p<br />

�<br />

z � dz<br />

sin p(<br />

� ��<br />

) i�<br />

p<br />

�<br />

� 2<br />

� 2 � i �<br />

�e<br />

.<br />

z � 2z<br />

cos�<br />

�1<br />

sin�<br />

Здесь учтено, что на верхнем берегу разреза arg z � 0 и<br />

p<br />

i0<br />

p<br />

p<br />

z � ( x �e<br />

) � x � 0 , а на нижнем arg z � 2�<br />

и<br />

z<br />

p<br />

2�<br />

i p p 2�<br />

pi<br />

p<br />

� ( x �e<br />

) � x �e<br />

(здесь � 0<br />

� � 0 и r � � , тогда<br />

23<br />

C<br />

r<br />

p<br />

x ). Затем перейдём к пределам<br />

2�<br />

pi<br />

z � dz<br />

z � dz<br />

1�<br />

e ) � I � lim � � lim �<br />

�<br />

r��<br />

� 2<br />

z � 2z<br />

� cos�<br />

�1<br />

� �0<br />

� z � 2z<br />

� cos�<br />

�1<br />

( 2<br />

Cr<br />

C�<br />

p<br />

sin p(<br />

� ��<br />

) � p i<br />

� �2�<br />

i �<br />

e .<br />

sin�<br />

Здесь предел второго интеграла по лемме об оценке равен нулю, так как<br />

lim<br />

z��<br />

z<br />

2<br />

p�1<br />

z<br />

� lim z<br />

� 2z<br />

cos�<br />

�1<br />

z��<br />

p�1<br />

� 0<br />

при p � 1;<br />

предел третьего – по<br />

лемме об интегрируемой особенности тоже равен нулю, так как<br />

p


lim<br />

z�0<br />

z<br />

2<br />

p�1<br />

z<br />

� lim z<br />

� 2z<br />

cos�<br />

�1<br />

z�0<br />

p�1<br />

� 0<br />

24<br />

при p � �1.<br />

Следовательно, для<br />

параметра p можно указать интервал сходимости �1 � p � 1.<br />

Наконец,<br />

после преобразований получим:<br />

I<br />

�<br />

� �<br />

0<br />

x<br />

2<br />

p<br />

x � dx � sin p(<br />

� ��<br />

)<br />

� �<br />

� 2x<br />

�cos�<br />

�1<br />

sin�<br />

p sin�<br />

0 � � � и �1<br />

при �<br />

p .<br />

Из этого результата легко получить значения многих нетривиальных<br />

интегралов; например, I<br />

� ��<br />

� ,<br />

sin�<br />

I � � ,<br />

� p<br />

I � и др.; после дифференцирования по параметру p по-<br />

sin�<br />

p<br />

� ��<br />

лучим:<br />

� p<br />

x �ln<br />

x � dx<br />

I�p<br />

� �<br />

�<br />

2<br />

0 x � 2x<br />

�cos�<br />

�1<br />

� � sin�<br />

p<br />

�<br />

� �� � ��<br />

cos p(<br />

� ��<br />

)<br />

sin �sin<br />

�� ,<br />

� � p � sin�<br />

p<br />

�<br />

далее найдём<br />

I � 0 и т. п.<br />

p<br />

0 �<br />

p�<br />

Пример 24. Сколько нулей функции<br />

в круге z �1<br />

и в кольце 1� z � 2 ?<br />

f ( z)<br />

� z � 5z<br />

�1<br />

находится<br />

4<br />

Положим f ( z)<br />

� � ( z)<br />

��<br />

( z)<br />

� z � 5z<br />

�1.<br />

Если min � ( z) � max � ( z)<br />

� 0 на окружности C � � z � r�,<br />

то<br />

по теореме Руше функции f (z)<br />

и � (z)<br />

имеют одинаковое число нулей<br />

внутри круга<br />

4<br />

z � r . Сначала выберем � ( z) � �5z<br />

и � ( z)<br />

� z �1,<br />

тогда на окружности � � z �1�<br />

1<br />

p�0<br />

1<br />

4<br />

1<br />

� �0<br />

C получим � ( z)<br />

� 5 и<br />

min 1<br />

z�C<br />

max � ( z)<br />

� z �1<br />

� ( z �1)<br />

� 2,<br />

поэтому внутри круга z<br />

�1<br />

z�C<br />

1<br />

1<br />

4<br />

C<br />

1<br />

4<br />

C<br />

1<br />

1


находится один корень функции f(z), так как там находится один корень<br />

функции � ( ) .<br />

1 z<br />

Затем выберем<br />

сти � � z � 2�<br />

2<br />

2 )<br />

4<br />

� ( z � z и ( z)<br />

� �5z<br />

�1<br />

� , тогда на окружно-<br />

25<br />

2<br />

4<br />

C получим min�<br />

( z)<br />

� z �16<br />

и<br />

max � ( z)<br />

� 5z<br />

�1<br />

� ( 5 z �1)<br />

�11,<br />

поэтому внутри круга z � 2<br />

z�C<br />

2<br />

2<br />

C<br />

2<br />

C<br />

2<br />

функция f (z)<br />

имеет четыре корня. Внутри кольца 1� z � 2 функция<br />

f (z)<br />

имеет<br />

корней нет.<br />

4 � 1 � 3 корня; причём на окружностях z �1<br />

и z � 2<br />

Тема 6<br />

z�C<br />

Операционное исчисление<br />

Основные вопросы: Свойства функций оригиналов и изображений.<br />

Показатель роста. Функция Хевисайда. Интегралы Лапласа<br />

и Римана-Меллина. Теоремы подобия, смещения, дифференцирования<br />

и интегрирования, свёртки, разложения. Методы решения интегральнодифференциальных<br />

уравнений. Вычисление определённых интегралов.<br />

Расчёт радиоконтуров.<br />

Литература: 1, гл.8, §1, 2(1,3), 3(1); 2, п.79-81,83,84; 3, §47-49.<br />

Задание: 5, №3, 5(1,2), 7, 8(1-3), 13(1-2), 49(2,3,6), 50(1,2,4,10),<br />

53(1), 96(2,4), 97(1,4,7), 100(1,3,4).<br />

Пример 25. Являются ли заданные функции оригиналами?<br />

�t<br />

e<br />

f1(<br />

t)<br />

� �(<br />

t)<br />

t �1<br />

- да;<br />

Являются ли заданные функции изображениями?<br />

F ( p)<br />

� th p p - да;<br />

1<br />

2<br />

f<br />

2<br />

2<br />

2<br />

t<br />

e<br />

( t)<br />

� �(<br />

t)<br />

- нет.<br />

t �1<br />

F ( p)<br />

� tg p p - нет.<br />

Пример 26. Найти изображение функции<br />

при a , b � 0 и a � b .<br />

f ( t)<br />

� ( e � e ) t<br />

2<br />

2<br />

C<br />

2<br />

at<br />

bt


Функция f (t)<br />

удовлетворяет всем трём условиям, накладываемым<br />

на функцию-оригинал; её показатель роста S0 � max( a,<br />

b)<br />

. Так<br />

как известно изображение более простой функции<br />

f<br />

bt<br />

0 ( 0<br />

at 1 1<br />

�<br />

p�a p� b<br />

,<br />

t ) � e � e � F ( p ) �<br />

то по теореме об интегрировании изображения найдём<br />

�<br />

1<br />

p � b<br />

f ( t)<br />

� f0<br />

( t)<br />

� F(<br />

p)<br />

� � F0<br />

( q)<br />

dq � ln . Полученная функция<br />

t<br />

p<br />

p � a<br />

F ( p)<br />

удовлетворяет обоим условиям, накладываемым на функцииизображения.<br />

2 2<br />

p � a<br />

Пример 27. Найти оригинал для функции F(<br />

p)<br />

� 2 2 2 при<br />

( p � a )<br />

a � 0 .<br />

Функция F ( p)<br />

удовлетворяет обоим условиям для функцийизображений;<br />

для неё S 0 �1<br />

. Известен оригинал более простой функции<br />

p<br />

F0 ( p)<br />

� � f0<br />

( t)<br />

� cosat<br />

2 2<br />

,<br />

p � a<br />

поэтому по теореме о дифференцировании изображения найдём<br />

�<br />

F p)<br />

� �F<br />

( p)<br />

� f ( t)<br />

� t � f ( t)<br />

� t � cosat<br />

.<br />

( 0<br />

0<br />

Полученная функция f (t)<br />

удовлетворяет всем трём условиям, накладываемым<br />

на оригиналы.<br />

Пример 28. Воспользовавшись формулой обращения (интеграл<br />

Римана-Меллина), найти оригинал f (t)<br />

для функции-изображения<br />

�a<br />

p<br />

F p � e<br />

p<br />

1<br />

( ) при a � 0<br />

Функция F ( p)<br />

на плоскости p � S � i�<br />

имеет две точки ветвления<br />

второго порядка при p � 0 и p � �;<br />

её показатель роста 0 0 � S ,<br />

и можно выбрать путь интегрирования S 1 �1<br />

. Для выделения главного<br />

значения функции F ( p)<br />

проведём разрез � � � S � 0 и положим на его<br />

верхнем берегу arg p � � .<br />

26


Рис. 7<br />

pt<br />

Рассмотрим вспомогательный интеграл I � � F(<br />

p)<br />

e dp по замк-<br />

нутому контуру C � ( S � i r � S , S � i r � S ) �<br />

1<br />

2<br />

2<br />

1<br />

�<br />

� Cr<br />

� ( �r,<br />

��<br />

) � C�<br />

� ( ��<br />

, �r)<br />

�<br />

� Cr<br />

arg p��<br />

arg p���<br />

при 0 � � � r � � (рис. 7) .По теореме о вычетах он равен нулю. На<br />

верхнем берегу разреза p � Se ( S � 0)<br />

, там<br />

�i�<br />

нижнем берегу p � Se ( S � 0)<br />

интегралов по берегам разреза равна<br />

i�<br />

и<br />

27<br />

F<br />

1<br />

2<br />

C<br />

F<br />

p � � e<br />

S<br />

1<br />

)<br />

2<br />

1<br />

�ia<br />

p � � e<br />

S<br />

1<br />

)<br />

�ia<br />

( ; на<br />

S<br />

( ; поэтому сумма<br />

r<br />

i �� e<br />

�<br />

2<br />

�<br />

S t<br />

�sin<br />

a<br />

После перехода к пределам � � 0 и r � � получим<br />

S1�i�<br />

� r��<br />

�<br />

� �<br />

�<br />

� 0<br />

S i<br />

C<br />

C<br />

1<br />

pt<br />

pt<br />

F(<br />

p)<br />

�e dp � lim � F(<br />

p)<br />

�e<br />

dp � lim � F(<br />

p)<br />

�e<br />

� 2i<br />

� � e<br />

0<br />

r<br />

�<br />

�st<br />

� sin a<br />

s<br />

�<br />

dS<br />

S<br />

�<br />

� 0<br />

.<br />

S<br />

�<br />

dS<br />

S<br />

pt<br />

.<br />

S<br />

dp �<br />

�<br />

�<br />

Здесь пределы интегралов по контурам �<br />

� �<br />

�<br />

�<br />

�<br />

�<br />

Cr � p � r,<br />

S � S1,<br />

� 0<br />

r обращаются в нуль по видоизменённой лемме Жордана, так<br />

при � �


как показатель � 0<br />

�<br />

� � � �<br />

C � p при � 0<br />

легко вычисляется:<br />

lim<br />

�<br />

� �0<br />

C<br />

�<br />

t и F ( �)<br />

� 0 . Предел интеграла по окружности<br />

� после замены p � � e ( ��<br />

� � � � )<br />

pt<br />

F(<br />

p)<br />

�e dp � �i<br />

lim � exp( t�<br />

�e<br />

�<br />

� �0<br />

��<br />

= � 2�<br />

i.<br />

28<br />

i�<br />

� a<br />

i�<br />

� �e<br />

i�<br />

2<br />

) � d�<br />

�<br />

Интеграл по прямой Re 1 0 � � S p даёт искомый оригинал 2� i f ( t)<br />

,<br />

поэтому после преобразований получим<br />

S �i�<br />

( S<br />

2<br />

� �<br />

1 1<br />

pt 2<br />

f ( t)<br />

� � F(<br />

p)<br />

�e<br />

dp �1<br />

� � � e<br />

2�<br />

i<br />

�<br />

S �i�<br />

1<br />

)<br />

�<br />

2<br />

�t�<br />

0<br />

sin a�<br />

� d�<br />

.<br />

�<br />

Этот результат можно представить в виде (см. пример 33):<br />

� a �<br />

f ( t)<br />

�1<br />

� Ф�<br />

�, где �<br />

� 2 t �<br />

�<br />

�<br />

2<br />

2<br />

�<br />

Ф ( � ) � � e d�<br />

.<br />

�<br />

Пример 29. Найти частное решение линейного обыкновенного<br />

дифференциального уравнения с постоянными коэффициентами и начальными<br />

условиями (задача Коши):<br />

y<br />

2x<br />

� �<br />

; ( 0)<br />

� 0<br />

� 4y( x)<br />

� 2e<br />

y , y �(<br />

0)<br />

�1<br />

при 0 � x � � . Решение делится на три этапа:<br />

1) По задаче для функции-оригинала y (x)<br />

поставить задачу для<br />

функции-изображения Y ( p)<br />

:<br />

или<br />

p<br />

2<br />

2<br />

�Y<br />

( p)<br />

� p � y(<br />

0)<br />

� y�(<br />

0)<br />

� 4Y<br />

( p)<br />

�<br />

p � 2<br />

2 2<br />

Y ( p)<br />

�(<br />

p � 4)<br />

�1<br />

� .<br />

p � 2<br />

p<br />

2) Определить функцию-изображение: Y ( p)<br />

�<br />

2 .<br />

( p � 2)(<br />

p � 4)<br />

0


Эта функция удовлетворяет обоим условиям для изображений; причём<br />

S 0 � 3.<br />

3) По найденной функции-изображению Y ( p)<br />

определяем функцию-оригинал<br />

y (x)<br />

. Для этого методом неопределённых коэффициентов<br />

разложим изображение Y ( p)<br />

на простые дроби<br />

1 � 1 2 p �<br />

Y ( p)<br />

� �<br />

� � � �<br />

�<br />

2 2 ;<br />

4 � p � 2 p � 4 p � 4 �<br />

откуда, зная операционные соответствия этих дробей, получаем<br />

1 2x<br />

y(<br />

x)<br />

� ( e � sin 2x<br />

� cos2x)<br />

��(<br />

x)<br />

.<br />

4<br />

Этот результат можно также получить, воспользовавшись интегралом<br />

Римана-Меллина или теоремой об умножении изображений.<br />

Полученное решение удовлетворяет обоим условиям задачи<br />

y ( 0)<br />

� 0 , y �(<br />

0)<br />

�1.<br />

Пример 30. Операционные методы вычисления определённых интегралов.<br />

а) Формула обмена (равенство Парсеваля); если f ( t)<br />

� F(<br />

p)<br />

�<br />

и g( t)<br />

� G(<br />

p)<br />

, то � f ( x)<br />

�G(<br />

x)<br />

dx � � F(<br />

x)<br />

� g(<br />

x)<br />

dx .<br />

0<br />

sin ax<br />

Вычислим интеграл I � � dx при a � 0 ;<br />

x<br />

�<br />

0<br />

�<br />

0<br />

a<br />

1<br />

Пусть f ( t)<br />

� sin at � F(<br />

p)<br />

� 2 2 и G ( p)<br />

� � g(<br />

t)<br />

�1,<br />

тогда<br />

p � a<br />

p<br />

�<br />

a<br />

x �<br />

I � � dx � arctg �<br />

2 2<br />

.<br />

x � a<br />

a 0 2<br />

0<br />

б) Метод преобразования Лапласа под знаком интеграла. Примем за<br />

�<br />

cos xt<br />

оригинал f ( t)<br />

� � dx<br />

2 2 при a � 0 ; тогда изображение<br />

x � a<br />

0<br />

29<br />


�<br />

� pt<br />

F p)<br />

� � f ( t)<br />

e<br />

0<br />

� �<br />

( � dt<br />

p dx p<br />

� � � � �<br />

2 2 2 2 2 2 �<br />

p � x x � a p � a<br />

0 0<br />

�<br />

p<br />

2<br />

p<br />

� a<br />

2<br />

� 1<br />

���<br />

� arctg<br />

� a<br />

x<br />

a<br />

возвращаясь к оригиналу, найдём<br />

30<br />

�<br />

�<br />

�<br />

� x<br />

1<br />

� � arctg<br />

p<br />

F(<br />

p)<br />

�<br />

2<br />

x<br />

p<br />

1<br />

�<br />

� a<br />

�<br />

��<br />

�<br />

2<br />

�<br />

0<br />

�<br />

x<br />

2<br />

�<br />

f ( t)<br />

� e<br />

2a<br />

1<br />

� p<br />

2<br />

�<br />

�<br />

� dx<br />

�<br />

� 1<br />

� �<br />

2a<br />

p � a<br />

Пример 31. В электрической цепи последовательно соединены постоянные<br />

элементы: R активное сопротивление, L индуктивность,<br />

C ёмкость. Первоначально в цепи отсутствовали токи и заряды, но в<br />

момент времени t � 0 включается ЭДС � ( t) � �0�<br />

( t)<br />

, где � 0 � const ;<br />

требуется определить в цепи силу тока J (t)<br />

при t � 0.<br />

С помощью правил Кирхгофа составим уравнение цепи:<br />

�a<br />

t<br />

t<br />

dJ 1<br />

R � J ( t)<br />

� L � ��<br />

J ( � ) d�<br />

� � ( t)<br />

, J ( 0)<br />

� 0 .<br />

dt C<br />

0<br />

Примем ток J (t)<br />

за функцию-оригинал и перейдём к уравнению для<br />

изображений; если J( t)<br />

� I(<br />

p)<br />

операторный ток и � ( t) � E(<br />

p)<br />

-<br />

операторная ЭДС, получим уравнение для операторного тока:<br />

� 1 �<br />

� 0<br />

I(<br />

p)<br />

�� R � pL � � L � J ( 0)<br />

� E(<br />

p)<br />

�<br />

pC<br />

��<br />

.<br />

�<br />

�<br />

p<br />

Выведем операторное сопротивление (импеданс) цепи<br />

1 L<br />

2 2<br />

Z(<br />

p)<br />

� R � pL � � �( p � �) � � �,<br />

где �<br />

pC p<br />

R<br />

0 - декремент<br />

затухания;<br />

2<br />

2 � � L<br />

2 1 R<br />

� � � � 0 2 частота свободных колебаний цепи.<br />

CL 4L<br />

.<br />

;<br />


E(<br />

p)<br />

� 0 L<br />

Тогда операторный ток I ( p)<br />

� �<br />

2 2<br />

Z(<br />

p)<br />

( p ��<br />

) ��<br />

.<br />

Функция I ( p)<br />

обладает всеми свойствами изображения, причём<br />

0 0 � S . Теперь, воспользовавшись теоремой смещения, получим функцию-оригинал<br />

J (t)<br />

(силу тока при t � 0 ) в виде<br />

� �<br />

0 � t sin � t<br />

J ( t)<br />

e �(<br />

t)<br />

L �<br />

� , т.е. в нашей цепи возбуждаются затухаю-<br />

щие колебания тока (и напряжения).<br />

Указание Для определения тока J (t)<br />

в электрической цепи часто<br />

сразу записывают уравнение для операторного тока, где операторная<br />

ЭДС E (P)<br />

находится по заданной � ( t) � E(<br />

p)<br />

, а импеданс всей цепи<br />

Z ( p)<br />

составляется из импедансов отдельных элементов цепи ZR � R ,<br />

ZL � pL и � 1 pC по правилам Кирхгофа.<br />

Тема 7<br />

Z C<br />

Специальные функции и их свойства<br />

Основные вопросы: Гамма-функция Эйлера: определение, связь с<br />

факториалом, формулы смещения и дополнения, особые точки, значения<br />

при полуцелом аргументе, асимптотика. Бета-функция Эйлера: определение,<br />

связь с гамма-функцией.<br />

Интегралы вероятностей и Френеля; их свойства, представления<br />

в виде рядов.<br />

Функции Бесселя; представления в виде ряда и интеграла, уравнение,<br />

производящая функция, рекуррентные соотношения, функции<br />

Неймана и Ханкеля, нули, графики, функции с полуцелым индексом,<br />

асимптотики, интегралы от функций Бесселя.<br />

Функции Лежандра; формула Родрига, интегральные представления,<br />

уравнение, нули, графики, производящая функция, рекуррентные<br />

соотношения. Присоединенные функции Лежандра, их уравнение<br />

и свойства.<br />

Литература: 1, гл.8, §2(3,4); 2, п.16, 70(1,2,4), 80, 90, 94(1-3), 95<br />

(5-7); 6, Дополнение II(1): §1(2,3), 3(1,2,), 5(2); Дополнение II(2):§1<br />

(1-3,6,7), 2(1); 7, гл.13, §1, 2, 5-7, гл.16, §1, 3-7; 9, гл.4, §1-4.<br />

31


�x<br />

� �1<br />

Пример 32. Для � - и � - функций Эйлера �(<br />

� ) � � e x dx ,<br />

1<br />

B ( �,<br />

� ) � � x<br />

0<br />

� �1<br />

( 1�<br />

x)<br />

� �1<br />

dx � �(<br />

�)<br />

��(<br />

� )<br />

32<br />

�(<br />

� � � )<br />

при Re� , Re � � 0 проверить следующие соотношения ( n, m � N)<br />

:<br />

2n�1<br />

� 1 �<br />

� ( n �1)<br />

� n!<br />

� ��(<br />

2n)<br />

� 2 ��(<br />

n)<br />

���<br />

n � �. � 2 �<br />

( n �1)!<br />

�(<br />

m �1)!<br />

B ( n,<br />

m)<br />

�<br />

.<br />

( n � m � 2)!<br />

� 2<br />

�<br />

� 1 � 2�<br />

( 2n)!<br />

!<br />

B �n<br />

�1,<br />

� � .<br />

� 2 � ( 2n<br />

�1)!<br />

!<br />

2�<br />

�1<br />

2�<br />

�1<br />

� �1<br />

��<br />

��<br />

B( �, � ) � B(<br />

�,<br />

�)<br />

� 2 � � sin � � cos � � d � � ��<br />

( 1�<br />

� ) d�<br />

.<br />

0<br />

( �1)<br />

Re s �(<br />

�)<br />

�<br />

� ��n<br />

n!<br />

�<br />

��<br />

�1<br />

�<br />

B ( �,<br />

1��<br />

) � � t ( 1�<br />

t)<br />

dt � при 0 � � � 1.<br />

0<br />

sin��<br />

Указание. В интегралах сделать соответственно замены �<br />

2<br />

x � cos ,<br />

� � x ( 1�<br />

x)<br />

, t � x ( 1�<br />

x)<br />

.<br />

Пример 33. Проверить указанные ниже свойства интеграла вероятностей<br />

� �<br />

�(<br />

z)<br />

�<br />

2<br />

z<br />

2<br />

�<br />

� e d�<br />

при z � C и связанных с ним функ-<br />

ций:<br />

�<br />

0<br />

2<br />

�( ) � � � �<br />

z<br />

�<br />

� �<br />

��<br />

� �<br />

� 2�<br />

�<br />

� ( �z)<br />

� ��(<br />

z)<br />

; � ( 0)<br />

� 0;<br />

� ( �)<br />

� 1.<br />

k �0<br />

�<br />

k<br />

2k<br />

�1<br />

( �1)<br />

� z<br />

( 2k<br />

�1)<br />

� k!<br />

� 2�<br />

�<br />

� 2<br />

2 2<br />

��<br />

�<br />

�<br />

0<br />

�<br />

2<br />

��<br />

2<br />

e d�<br />

� � e<br />

� �<br />

n<br />

.<br />

�<br />

0<br />

2z<br />

�...<br />

при z � � .<br />

�<br />

0<br />

0<br />

sin ��<br />

� d�<br />

�<br />

.


Здесь разложить в ряд sin �� , почленно проинтегрировать и воспользоваться<br />

значением ��k � 1 � 2<br />

, тогда получится ряд для функции � (z)<br />

.<br />

С функцией � (z)<br />

связаны интеграл ошибок Erf ( z)<br />

� �(<br />

z)<br />

2<br />

�<br />

и дополнительный интеграл ошибок<br />

� � 2<br />

�1��( z)<br />

��� 33<br />

� �<br />

Erfc ( z)<br />

�<br />

2<br />

e<br />

z<br />

d�<br />

.<br />

С функцией � (z)<br />

связаны интегралы Френеля<br />

1<br />

2<br />

�<br />

���<br />

�<br />

z<br />

�<br />

z 2<br />

� i �<br />

��<br />

�<br />

�<br />

� C(<br />

z)<br />

� i � S(<br />

z)<br />

� � cos d�<br />

� i<br />

2 �<br />

0 2<br />

( �) � S(<br />

�)<br />

�1<br />

i 0<br />

Эти функции нечётные и<br />

ды ( z � �)<br />

:<br />

�<br />

C�<br />

�<br />

z<br />

�<br />

�<br />

S�<br />

�<br />

z<br />

�<br />

2 �<br />

�<br />

�<br />

�<br />

� �<br />

z<br />

�<br />

��<br />

sin<br />

2<br />

2<br />

d�<br />

C ; их можно разложить в ря-<br />

2<br />

�<br />

�<br />

�<br />

0<br />

�<br />

k�<br />

k<br />

4k<br />

�1<br />

( �1)<br />

� z<br />

� z<br />

( 4k<br />

�1)<br />

�(<br />

2k)!<br />

4 3<br />

2 � 2 ( �1)<br />

� 1 3<br />

�<br />

�<br />

� � � �<br />

�<br />

0(<br />

4 � 3)<br />

�(<br />

2 �1)!<br />

3<br />

� k k�<br />

Z<br />

z<br />

� � k�<br />

k k<br />

2<br />

�...<br />

�<br />

.<br />

2<br />

�...<br />

�<br />

Пример 34. Функция Бесселя J� (z)<br />

и другие связанные с ними<br />

функции.<br />

Проверить, что функция<br />

является решением уравнения:<br />

J<br />

( z)<br />

� �<br />

�<br />

k�0<br />

k<br />

�z �<br />

2k<br />

��<br />

( �1)<br />

�<br />

2<br />

k!<br />

��(<br />

k ��<br />

�1)<br />

� при � � R<br />

2<br />

� 1 � � � �<br />

J � �<br />

�<br />

�1�<br />

� ( ) � 0<br />

2 �<br />

�<br />

� J�<br />

J�<br />

z<br />

z � z �<br />

Записать ряды для функций J n (z)<br />

при n � 0,<br />

1,<br />

2 . Проверить, что<br />

J<br />

�<br />

( 0)<br />

� 1,<br />

J ( 0)<br />

� J<br />

�<br />

( 0)<br />

� J ( 0)<br />

� 0 ,<br />

0<br />

n<br />

J n<br />

n<br />

n<br />

0<br />

( �z) � J � ( z)<br />

� ( �1)<br />

� J ( z)<br />

и J n ( x)<br />

�1<br />

при n � N .<br />

n<br />

n<br />

.<br />

.


Воспользовавшись рекуррентными формулами, доказать, что<br />

� 1 � �<br />

J 2(<br />

z)<br />

� J0<br />

( z)<br />

� J0<br />

( z)<br />

� 2J<br />

0 ( z)<br />

� J0<br />

( z)<br />

.<br />

z<br />

Проверить справедливость соотношений:<br />

2<br />

J 1 ( z)<br />

� �N<br />

1 ( z)<br />

� �cos<br />

z<br />

� � z<br />

2<br />

2<br />

.<br />

34<br />

� � �<br />

�i�<br />

z�<br />

�<br />

� 2 �<br />

( 1,<br />

2)<br />

2<br />

H 1 ( z)<br />

� �e<br />

.<br />

� z<br />

2 � sin z �<br />

J 3 ( z)<br />

� �N<br />

3 ( z)<br />

� ��<br />

� cos z �<br />

� � z � z �<br />

Вычислить интегралы:<br />

2<br />

�<br />

2<br />

3 2<br />

3<br />

� J0 ( z)<br />

� zdz � z � J1(<br />

z)<br />

; J0 ( z)<br />

� z dz � 2z<br />

� J0<br />

( z)<br />

� ( z � 4z)<br />

J1(<br />

z)<br />

�<br />

2<br />

2 2<br />

�J ( z)<br />

� J ( z)<br />

�� 2nz<br />

� J ( z)<br />

� J ( z)<br />

�<br />

2<br />

2<br />

J n<br />

n<br />

n<br />

n n<br />

2� ( z)<br />

� zdz � z � �1<br />

�1<br />

2<br />

2 2 2 2 �<br />

� ( � n ) � J ( z)<br />

� z � J ( z)<br />

.<br />

z n<br />

n<br />

Доказать операционное соответствие:<br />

0<br />

2<br />

2<br />

f ( t)<br />

� J ( at)<br />

� F(<br />

p)<br />

� ( p � a ) , Ошибка! Объект не может<br />

1<br />

�<br />

2<br />

быть создан из кодов полей редактирования..<br />

Воспользовавшись разложением в ряд для J� (bx)<br />

, вычислить интеграл<br />

Ошибка! Объект не может быть создан из кодов полей редактирования.<br />

� �<br />

2<br />

�<br />

0<br />

e<br />

�ax<br />

b<br />

�<br />

4a<br />

� �1<br />

1 � b �<br />

� J�<br />

( bx)<br />

� x dx � � � �e<br />

.<br />

2a<br />

� 2a<br />

�<br />

Проверить справедливость разложений<br />

cos( x<br />

sin( x<br />

� 0 �<br />

n 1<br />

�<br />

�<br />

sin�)<br />

� J ( x)<br />

� 2 � J ( x)<br />

� cos2n�<br />

2n<br />

sin�<br />

) � 2 � J ( x)<br />

�sin(<br />

2n<br />

�1)<br />

�<br />

� � �<br />

n�0<br />

2n<br />

�1<br />

.<br />

2<br />

.<br />

,<br />

.


35<br />

I<br />

� i<br />

�<br />

� �<br />

( z)<br />

e 2 � J ( iz)<br />

Для модифицированных функций �<br />

что I� n(<br />

z)<br />

� �I<br />

n(<br />

z)<br />

при n� Z и I 1 ( z)<br />

�<br />

2<br />

� sh z .<br />

� z<br />

2<br />

�<br />

доказать,<br />

Пример 35. Полиномы Лежандра Pn (x)<br />

и присоединённые функции<br />

Pnk (x)<br />

при �1 � x � �1<br />

и n, k � Z0<br />

.<br />

Проверить, что полином Лежандра, записанный в виде формулы<br />

n<br />

1 d 2 n<br />

Родрига P n(<br />

x)<br />

� � ( x �1)<br />

n n , является решением уравнения:<br />

2 n!<br />

dx<br />

2 � �<br />

( 1�<br />

) P � 2xP<br />

� n(<br />

n �1)<br />

� P ( x)<br />

� 0.<br />

x n n<br />

n<br />

Воспользовавшись формулой Родрига, вычислить Pn (x)<br />

при<br />

n � 0,<br />

1,<br />

2,<br />

3,<br />

4.<br />

Проверить, что<br />

P ( � )<br />

n<br />

n<br />

� 1)<br />

� ( 1 ,<br />

1<br />

2<br />

� n�1<br />

n ( �1)<br />

� n(<br />

n �1)<br />

( �1)<br />

P ,<br />

P 2n�1(<br />

0)<br />

� 0 , Ошибка! Объект не может быть создан из кодов по-<br />

�<br />

( 0)<br />

� 0<br />

лей редактирования.,<br />

P ,<br />

2n<br />

n<br />

( � x)<br />

� ( �1)<br />

� P ( x)<br />

, ( x)<br />

� 1.<br />

Pn n<br />

Используя формулу Родрига, доказать, что<br />

P n<br />

( 2n<br />

�1) ��<br />

Pn<br />

( x)<br />

dx � Pn<br />

�1(<br />

x)<br />

� Pn<br />

�1(<br />

x)<br />

.<br />

1<br />

�<br />

2<br />

) 2<br />

Воспользовавшись производящей функцией F ( x,<br />

� ) � �(<br />

1�<br />

2x�<br />

� � ,<br />

получить внутри круга � �1<br />

разложение:<br />

P<br />

nk<br />

2<br />

1�<br />

�<br />

2<br />

( 1�<br />

2x�<br />

� � )<br />

3 2<br />

�<br />

� �<br />

n�0<br />

( 2n<br />

�1)<br />

� P (<br />

Проверить, что присоединённая функция Лежандра<br />

2<br />

k<br />

( k)<br />

n<br />

n x<br />

( x)<br />

� ( 1�<br />

x ) 2 � P ( x)<br />

является решением уравнения:<br />

) �<br />

n<br />

.


2<br />

2 � � � k �<br />

1�<br />

x ) P � 2 �<br />

�<br />

� ( �1)<br />

� � ( ) � 0<br />

1 �<br />

�<br />

nk xPnk<br />

n n<br />

Pnk<br />

x .<br />

� � x �<br />

( 2<br />

n�k<br />

Показать, что Pnk ( x)<br />

� Pn<br />

( x)<br />

при k � 0 , Pnk ( �x)<br />

� ( �1)<br />

� Pnk<br />

( x)<br />

,<br />

Pnk ( x)<br />

� 0 при, Pnn( x)<br />

� ( 2n<br />

�1)!<br />

! �(<br />

1�<br />

x 2<br />

, P nk ( �1) � Pnn(<br />

�1)<br />

� 0 .<br />

Воспользовавшись формулой Родрига, вычислить<br />

n , k � 0,<br />

1,<br />

2,<br />

3 и k � n .<br />

Pnk (x)<br />

при<br />

36<br />

n<br />

2<br />

)<br />

Тема 8<br />

Теория плоского электростатического поля<br />

Основные вопросы: Комплексный потенциал электростатического<br />

поля, силовая и эквипотенциальная функции. Определение по известному<br />

комплексному потенциалу напряжённости поля, работы и заряда,<br />

картины поля. Определение комплексного потенциала методом конформных<br />

отображений.<br />

Литература: 1, гл.7. §2(2); 2, п.46, 47 (3,4); 3, §39, 40; 6, Приложение<br />

к гл.4, п.5.<br />

Задание: 4, №1335, 1337, 1338, 1340, 1345, 1375.<br />

Пример 36. Исследовать структуру плоского электростатического<br />

поля по заданному комплексному потенциалу ( ) ln( 0)<br />

z z a z W � � � , где<br />

a и z 0 постоянные.<br />

Сначала определим физический смысл размерной постоянной a .<br />

Пусть A работа, совершаемая пробным зарядом при движении по контуру<br />

C , и Q поток вектора напряжённости E � через контур C , создаваемый<br />

зарядами, расположенными внутри контура. Тогда<br />

dz<br />

A � iQ � i�<br />

W �(<br />

z)<br />

dz � ia � � �2�<br />

a<br />

C � C<br />

, где z � D<br />

z � z<br />

0<br />

0 и C � �D<br />

-<br />

замкнутый контур, а D область внутри этого контура. В потенциальном<br />

поле всегда A C � 0 . По теореме Гаусса Q � 4�<br />

q , где q величина линейного<br />

заряда, создающего поток Q ; поэтому a � ia0<br />

(Rea<br />

� 0)<br />

и a 2q<br />

� � . Таким образом, a � �2iq<br />

и комплексный потенциал равен<br />

0


) 2 ln( ) z z iq z W � � � � .<br />

( 0<br />

Исследуем картину поля в плоскости, перпендикулярной к наводящим<br />

линейным зарядам. Так как W ( z)<br />

� G(<br />

x,<br />

y)<br />

� i�(<br />

x,<br />

y)<br />

, где G ( x,<br />

y)<br />

силовая и � ( x,<br />

y)<br />

потенциальная функции поля, то, полагая<br />

i�<br />

z � z0<br />

� re , получим W � G � i�<br />

� 2q( � � i ln r)<br />

, где<br />

y � y0<br />

G(<br />

x,<br />

y)<br />

� 2q�<br />

� 2q<br />

� arctg<br />

x � x<br />

и � ( x, y)<br />

� �2q<br />

ln r �<br />

0<br />

2<br />

2<br />

�( x � x0<br />

) � ( y 0)<br />

�<br />

� �q<br />

�ln<br />

� y . Поэтому уравнения силовых линий<br />

C1<br />

будут G( x,<br />

y)<br />

� C1<br />

или y � y0<br />

� ( x � x0)<br />

�tg<br />

лучи из точки<br />

2q<br />

( 0, 0 ) y x M , а уравнения эквипотенциальных линий � ( x, y)<br />

� C2<br />

или<br />

2<br />

2 � C2<br />

�<br />

( x � x0)<br />

� ( y � y0)<br />

� exp��<br />

� �� семейство окружностей с центром<br />

� q �<br />

в той же точке M ( x0,<br />

y0<br />

) . Семейства силовых и эквипотенциальных<br />

линий взаимно ортогональны, так как ( grad G,<br />

grad�)<br />

� 0.<br />

Полученная<br />

картина поля может создаваться только линейным зарядом q , расположенным<br />

в точке ( 0, 0 ) y x M ; заряд-изображение �� �q�<br />

находится в<br />

бесконечности. Комплексный потенциал поля W (z)<br />

должен иметь особенности<br />

в тех точках, где находятся заряды, создающие поле.<br />

Вектор напряжённости нашего поля равен<br />

�<br />

( x,<br />

y)<br />

� E ( x,<br />

y)<br />

� iE ( x,<br />

y)<br />

�<br />

E(<br />

x,<br />

y)<br />

� e<br />

E x<br />

y<br />

2q<br />

2q<br />

� �i<br />

�W<br />

�(<br />

z)<br />

� � e<br />

z r<br />

i�<br />

( x,<br />

y)<br />

i�<br />

� при r � 0 .<br />

Указания. Воспользовавшись принципом суперпозиции, комплексный<br />

потенциал поля, создаваемого несколькими зарядами k q , расположенными<br />

в точках k z , можно записать в виде:<br />

W ( z)<br />

� �2i<br />

��<br />

qk<br />

�ln(<br />

z � zk<br />

) . Определение комплексного потенциала<br />

k<br />

поля линейных зарядов над металлической поверхностью производится<br />

методом электростатических изображений. Напряжённость постоянного<br />

37


магнитного поля H � (наведенного постоянным линейным током I из<br />

�<br />

H i E<br />

точки 0 z ) равна<br />

меняются местами.<br />

� � , т.е. силовая и потенциальная функции<br />

Пример 37. Исследование поля диполя.<br />

Пусть линейный заряд � q расположен в начале координат z � 0 ,<br />

а заряд ( � q ) в точке z � � � 0 . Комплексный потенциал такой систе-<br />

� � �<br />

мы зарядов равен W0<br />

( z)<br />

� 2qi<br />

�ln�1�<br />

� . Рассмотрим предельный<br />

� z �<br />

случай для этой системы, когда � � 0 и q � � так, что произведение<br />

2 q �� � p � const ; тогда получим комплексный потенциал точечного<br />

1 �<br />

� � � � � p<br />

диполя W ( z)<br />

� i �lim�2q�<br />

�ln�1�<br />

� � � �i<br />

с дипольным моментом<br />

� �0��<br />

� z � ��<br />

z<br />

p � 0 .<br />

В поле диполя работа A � 0 и поток Q � 4� ( q � q)<br />

� 0 . Так как<br />

C<br />

W ( z)<br />

� G(<br />

x,<br />

y)<br />

� i�(<br />

x,<br />

y)<br />

, то уравнения силовых линий будут<br />

i � py<br />

G( x,<br />

y)<br />

� C<br />

z x � y<br />

2<br />

� � p � Re � 2 2 1 или<br />

� � � �2 2<br />

y � p 2C p 2C<br />

x � 1 � 1 семейство окружностей, которые в<br />

начале координат касаются оси абсцисс и имеют центры на оси ординат.<br />

Уравнения эквипотенциальных линий<br />

i<br />

� ( x, y)<br />

� � p � Im �<br />

z<br />

� px<br />

� 2 2<br />

x � y<br />

� C2<br />

или � � � �2 2 2<br />

x � p 2C2 � y � p 2C2<br />

это семейство окружностей,<br />

ортогональных предыдущему. При отображении функцией<br />

p<br />

W ( z)<br />

� �i<br />

на плоскость W � G � i�<br />

указанные семейства окружностей<br />

z<br />

переходят в семейства прямых G � C1<br />

и 2 C � � ; т.е. образуют прямоугольную<br />

сетку.<br />

Вектор напряжённости поля диполя равен: E( x,<br />

y)<br />

� �i<br />

W�(<br />

z)<br />

�<br />

�<br />

p<br />

� � 2<br />

z<br />

p 2i�<br />

� � e 2 при r � 0 .<br />

r<br />

38


Аналогично исследуются поля мультиполей любого порядка. Лорановские<br />

члены разложения комплексного потенциала W (z)<br />

соответствуют<br />

мультипольному разложению системы зарядов, которые создают<br />

этот потенциал.<br />

Пример 38. Найти напряжённость электростатического поля над<br />

идеально проводящей незаряженной плоскостью с ортогональной к ней<br />

пластиной ширины a . На рис. 8 изображено сечение рассматриваемой<br />

системы плоскостью z , которая ортогональна к незаряженной<br />

плоскости AB A�<br />

1 , 2 и к пластине B1 , 2C<br />

.<br />

Если в плоскости z � x � iy требуется определить напряжённость<br />

электростатического поля Ez � , наведенного некоторой системой<br />

проводников (зарядов), и известны EW � напряжённость поля в плоскости<br />

W � G � i�<br />

и аналитическая функция W (z)<br />

, которая конформно<br />

отображает картину поля в плоскости z на картину поля в плоскости<br />

W , то искомая напряжённость равна Ez � EW<br />

�W<br />

�(z)<br />

� �<br />

Рис. 8<br />

. Обычно выбирают<br />

такую новую плоскость, на которой силовые G( x,<br />

y)<br />

� C1<br />

и эквипотенциальные � ( x, y)<br />

� C2<br />

линии образуют прямоугольную декартову<br />

сетку.<br />

2 2<br />

Легко показать, что функция W ( z)<br />

� z � a отображает полуплоскость<br />

Im z � 0 с разрезом 0 � y � a на верхнюю полуплоскость<br />

�<br />

Im w � 0 (без разреза), где напряжённость поля известна EW � �2�<br />

i�<br />

(поле над равномерно заряженной плоскостью); здесь � � const<br />

поверхностная плотность зарядов. Очевидно, линии G � C1<br />

и � � C2<br />

образуют декартову сетку на плоскости W . Если в соотношении<br />

39


2<br />

2<br />

W � G � i�<br />

� z � a положить � � �0<br />

� const и исключить<br />

величину G , то уравнения эквипотенциальных линий в плоскости z<br />

2<br />

получаются в виде<br />

0 2 2<br />

0<br />

1 ) (<br />

� �<br />

�<br />

a<br />

y x � �<br />

�<br />

�<br />

�<br />

� . На рис. 8 эти эквипотен-<br />

� x � � �<br />

циали в плоскостях z и W изображены штриховыми линиями.<br />

Искомая напряжённость поля равна<br />

�<br />

2 � a �<br />

E ( ) 2 �1<br />

�<br />

z z � � � i�<br />

�<br />

�<br />

� 2 �<br />

� z �<br />

.<br />

Вычислим<br />

�<br />

её значения в некоторых характерных точках:<br />

Ez (ia)<br />

� � напряжённость на конце острия, Ez ( 0)<br />

� 0<br />

�<br />

нет зарядов<br />

внутри углов с вершинами 1 B и B 2,<br />

� �i<br />

E �<br />

z ( �)<br />

� �2<br />

поле вдали от неоднородности<br />

1 2 CB B совпадает с полем EW � .<br />

40<br />

1 2<br />

Тема 9 Основы асимптотических методов<br />

Основные вопросы: Асимптотические последовательности и ряды.<br />

Асимптотические методы вычисления определенных интегралов: Лемма<br />

Ватсона, методы Лапласа и стационарной фазы. Основы метода перевала.<br />

Получение ВКБЙ (WKBJ) – приближения при решении линейных<br />

дифференциальных уравнений второго порядка.<br />

Литература: 1, Прилож. 1; п. 1-3; 2, п. 76, 77; 3, § 41-46; 8, гл. 1,<br />

§ 4.<br />

Задание: 4, № 776, 777, 779, 780, 782, 783, 786.<br />

Пример 39. Асимптотические оценки; асимптотические последовательности<br />

и ряды.<br />

�(<br />

z)<br />

а) Пусть lim � A � � для z � D и � ( z)<br />

� 0 при z � z<br />

z �z<br />

0 � � ;<br />

0� ( z)<br />

тогда, если A � 0 обозначают �( z) � O��<br />

( z)<br />

� при 0 z z � , а если<br />

A � 0 обозначают �( z) � o��<br />

( z)<br />

� при 0 z z � . Если A �1,<br />

пишут<br />

� ( z) ~ � ( z)<br />

при 0<br />

z z � (асимптотическое равенство).<br />

�1<br />

2


Проверим оценки:<br />

2 3 2<br />

3z<br />

� 5z<br />

� O(<br />

z ) �или � o(z)<br />

� при z � 0 ;<br />

2 5 5<br />

4z<br />

� 2z<br />

� O(<br />

z ) � ( ) � 6<br />

или � o z при z � � ;<br />

4<br />

3<br />

5z<br />

� sin z � O(<br />

z ) � ( ) � 2<br />

или � o z при z � 0 ;<br />

�<br />

( 1�<br />

z) �1<br />

��<br />

z � o(<br />

z)<br />

при � � R и z � 0 ;<br />

ln z ~ z �1<br />

при z �1;<br />

( )<br />

n z �<br />

e � o z при n � N и z � �� .<br />

б) Последовательность �� k (z)<br />

� называется асимптотической при<br />

z � z0<br />

в области D , если �k � 1(<br />

z) � o��<br />

k ( z)<br />

� при 0 z z � и k � N ;<br />

k ( z)<br />

� 0 z z � .<br />

k<br />

Например, � k ( z ) � ( z � z0)<br />

при 0 z z � 1<br />

и � k ( z)<br />

� k при<br />

z<br />

� �<br />

причем � при 0<br />

z образуют асимптотические последовательности.<br />

в) Формальный ряд � �<br />

ck� k ( z)<br />

называется асимптотическим раз-<br />

ложением функции<br />

� (z)<br />

�<br />

k<br />

k�0<br />

f (z)<br />

по асимптотической последовательности<br />

� при 0 z z � в области D и обозначается � �<br />

( z)<br />

~<br />

41<br />

f c � ( z)<br />

k�0<br />

n<br />

при z � z0<br />

, если разность Rn(<br />

z)<br />

f ( z)<br />

� ck�<br />

k ( z)<br />

�<br />

�� ( ) �<br />

� �<br />

k�0<br />

� f ( z)<br />

� Sn<br />

( z)<br />

� o n z при 0 z z � и n � N . Существует единственное<br />

асимптотическое разложение функции f (z)<br />

при 0 z z � , коэффициенты<br />

которого определяются по формулам<br />

� f ( z)<br />

� S ( z)<br />

� ( z)<br />

���� ck lim k�1<br />

k<br />

z�z<br />

0<br />

Асимптотическое разложение при n � � могут расходиться в<br />

каждой фиксированной точке z � z0<br />

� D , так как c n � 0 при n � � , но<br />

при фиксированном n и 0 z z � частичная сумма Sn (z)<br />

дает приближенное<br />

значение функции f (z)<br />

с точностью O��n � 1(<br />

Z)<br />

��o��n( z)<br />

�<br />

при 0 z z � и z � D .<br />

k<br />

k


Часто члены асимптотического ряда функции � �<br />

( ) ~ k ( ) z u z f при<br />

z � сначала убывают до некоторого номера k � m z ) , а потом на-<br />

z0<br />

чинают возрастать. Поэтому для вычисления значения функции<br />

следует брать частичную сумму Sm ( z0)<br />

и ошибка o�� m(<br />

z0)<br />

� будет при<br />

этом наименьшей. Значение номера k � m(<br />

z0)<br />

можно получить приближенно<br />

из соотношения<br />

um �1<br />

m<br />

( z0)<br />

u ( z0<br />

)<br />

42<br />

� 1.<br />

( 0<br />

k�0<br />

f<br />

( z0<br />

Над асимптотическими степенными рядами (когда<br />

� �k � k ( z) � z � z0<br />

и т.п.) можно производить алгебраические действия,<br />

такие ряды можно почленно дифференцировать и интегрировать, если<br />

полученный ряд тоже оказывается асимптотическим.<br />

Легко проверить, что ряд Тейлора (или Лорана) функции f (z)<br />

в окрестности точки 0 z z � рядом при 0<br />

является асимптотическим сходящимся<br />

z z � .<br />

Можно показать, что в асимптотическом разложении функции<br />

�z<br />

f ( z)<br />

� e по последовательности<br />

1<br />

k ( z)<br />

� k<br />

z<br />

� Re z � 0<br />

k<br />

z 0 0<br />

f ( z)<br />

� e ~ 0 � �...<br />

� ... k<br />

z z<br />

�<br />

это асимптотический нуль при z � �� .<br />

в области � �<br />

� при z � �<br />

D все коэффициенты c � 0 ; т.е.<br />

Пример 40. Разложение в асимптотические ряды интегралов при<br />

большом значении параметра обычно производится методами интегрирования<br />

по частям или разложения в ряд подынтегральной функции,<br />

обобщением последнего метода является лемма Ватсона.<br />

а) Найдем асимптотическое разложение интеграла<br />

I<br />

�)<br />

�<br />

�<br />

�<br />

�<br />

e<br />

��<br />

x<br />

dx<br />

x<br />

( при � � �� .<br />

Если этот интеграл проинтегрировать n �1<br />

раз по частям, получим<br />

)


1 1!<br />

2!<br />

n n!<br />

I(<br />

� ) � � � �...<br />

� ( �1)<br />

�<br />

2 3<br />

n�1<br />

� � �<br />

�<br />

�<br />

n<br />

n<br />

��<br />

x dx k!<br />

� ( �1)<br />

�(<br />

n �1)!<br />

��<br />

e � ��<br />

� R �<br />

n�2<br />

k�1<br />

n(<br />

�)<br />

x ( ��)<br />

Найденное разложение интеграла<br />

�<br />

�<br />

1<br />

�<br />

43<br />

k�0<br />

� S ( ) � R ( �)<br />

.<br />

n<br />

� n<br />

�<br />

I (�)<br />

по асимптотической последова-<br />

тельности k ( ) � k при � � �� будет асимптотическим рядом<br />

�<br />

только в том случае, если выполняются достаточные условия оценки<br />

R ( ) � I(<br />

�)<br />

� S ( �)<br />

� o � ( �)<br />

при � � �� и<br />

� n<br />

n<br />

остаточного члена � �<br />

n<br />

n � N , т.е. для всех n должен существовать предел<br />

lim � � ( �)<br />

�<br />

���<br />

� � 0<br />

n<br />

R n . Сделаем оценку остаточного члена<br />

R<br />

�<br />

�<br />

� �x<br />

dx<br />

� �x<br />

dx ( n �1<br />

n ( �)<br />

� ( n �1)!<br />

��<br />

e � ( n �1)!<br />

� �<br />

n�<br />

2 � e n�<br />

2 n�<br />

2<br />

x<br />

� �<br />

�<br />

�<br />

n<br />

2 � 1 �<br />

поэтому � � Rn ( �)<br />

� ( n �1)!<br />

� � O�<br />

2 � при � � �� и полученное<br />

� � �<br />

разложение является асимптотическим рядом<br />

�<br />

�<br />

��x<br />

dx k!<br />

I(<br />

�)<br />

� � e ~ �<br />

� � k�1<br />

при � � �� .<br />

x k�0<br />

( ��)<br />

Так как отношение членов ряда<br />

k �1<br />

c �1<br />

ck<br />

� � �<br />

�<br />

k � �� , то полученный ряд расходится при всех значениях � 0<br />

)!<br />

,<br />

k при<br />

� .<br />

Чтобы обеспечить наибольшую точность при расчетах, ряд следует обрывать<br />

на члене с номером m � E(�<br />

) , где E (�)<br />

целая часть числа<br />

� � R .<br />

б) Лемма Ватсона: Если интеграл I(<br />

� ) � �<br />

�0 � � �,<br />

� и � � 0�<br />

a<br />

0<br />

f ( x)<br />

� x<br />

� �1<br />

e<br />

�<br />

��x<br />

dx<br />

a абсолютно сходится при� � �� , функ-


ция f (x)<br />

при x � 0 растет не быстрее экспоненты<br />

( M � 0 и b � 0 постоянные) и ее разложение � �<br />

f ( x)<br />

44<br />

f ( x)<br />

�<br />

�<br />

k�0<br />

сходится в некотором интервале x � R � � ( � � 0 , a<br />

возможно разложение интеграла I (�)<br />

в асимптотический ряд<br />

I<br />

1 � 1<br />

�)<br />

~ � � � f<br />

� k!<br />

k �0<br />

( k )<br />

�� � k � �<br />

( 0)<br />

� ���<br />

� �<br />

�<br />

��<br />

� �<br />

k ��<br />

�<br />

( при � � �� .<br />

�<br />

bx<br />

Me<br />

k<br />

( k)<br />

x<br />

f ( 0)<br />

�<br />

k!<br />

R � ), то<br />

в) Получим из леммы Ватсона при a � � и � � � �1<br />

асимптотическое<br />

разложение для интеграла Лапласа<br />

�<br />

�<br />

��<br />

t<br />

�<br />

�<br />

I( �)<br />

� f ( t)<br />

e dt ~ f ( 0)<br />

��<br />

0<br />

k�0<br />

( k)<br />

�k�1<br />

г) Найдем асимптотическое разложение интеграла<br />

при � � �� .<br />

�<br />

I(<br />

� ) � �<br />

1<br />

�<br />

� ���<br />

��<br />

1 2<br />

e d�<br />

� e � � ( 1�<br />

t)<br />

�t<br />

� �1<br />

0<br />

��<br />

t<br />

e dt<br />

при � � �� ; здесь� �1 � t . Воспользуемся леммой Ватсона, считая<br />

1<br />

2<br />

a � � , � � , � � 1 и<br />

�<br />

1 2<br />

k ( 2k<br />

�1)!<br />

! k�1<br />

f ( t)<br />

� ( 1�<br />

t)<br />

�1<br />

� ���1�<br />

t при � 1<br />

( 2k<br />

� 2)!<br />

!<br />

k�0<br />

После преобразований получим<br />

�<br />

I(<br />

�)<br />

~<br />

� ��<br />

e<br />

�<br />

�<br />

�<br />

e<br />

�3<br />

� �<br />

�2<br />

� � �<br />

��<br />

k�1<br />

здесь главный член разложения<br />

2<br />

2<br />

�3<br />

( 1!<br />

! ) ( 3!<br />

! )<br />

� � � �<br />

�2<br />

4!<br />

! �2�<br />

6!<br />

! �(<br />

2�)<br />

�( 2k<br />

�1)!<br />

! �<br />

2<br />

1<br />

�<br />

2<br />

( 2k<br />

� 2)!<br />

! �(<br />

�2�)<br />

2<br />

2<br />

( 5!<br />

! )<br />

�<br />

8!<br />

! �(<br />

2�)<br />

k<br />

3<br />

�<br />

�<br />

�<br />

�<br />

�<br />

� ... �<br />

�<br />

t .<br />

3<br />

I(<br />

�)<br />

~<br />

2<br />

� ��<br />

e при<br />

�<br />

�<br />

� ��<br />

� . Полу-<br />

ченный ряд расходится при всех � 0 так как


2<br />

ck�1<br />

( 2k<br />

� 3)<br />

�<br />

� � при k � � . Этот ряд следует обрывать на<br />

ck<br />

( 2k<br />

� 4)<br />

� 2 �<br />

члене с номером m � E(�)<br />

.<br />

д) Найти асимптотическое разложение интеграла<br />

� ��<br />

t<br />

e<br />

I(<br />

� ) � � dt 2 при � � �� .<br />

t �1<br />

0<br />

Воспользуемся леммой Ватсона, считая a � � , � � � � 1 и<br />

� �<br />

2 �1<br />

2 K<br />

f ( t)<br />

� ( 1�<br />

t ) � ( �t<br />

)<br />

K �0<br />

при � 1<br />

t . После преобразований получим<br />

( 2 )! 1 2!<br />

4!<br />

6!<br />

( ) ~ �( �1)<br />

� � � � � ...<br />

2 1<br />

3 5 7<br />

�<br />

k k<br />

�<br />

k�<br />

� � � � �<br />

I при � � �� .<br />

k�0<br />

Этот ряд расходящийся при всех � � 0 , так как<br />

ck�1<br />

( 2k<br />

�1)(<br />

2k<br />

� 2)<br />

�<br />

� �<br />

2<br />

ck<br />

�<br />

� 1 �<br />

рывать на члене с номером m � E�<br />

� � .<br />

� 2 �<br />

при k � � . Поэтому ряд следует об-<br />

Пример 41. Асимптотическое разложение функций-оригиналов<br />

f (t)<br />

при t � 0 .<br />

Часто оригиналы f (t)<br />

получаются в виде неберущихся интегралов,<br />

для которых можно найти асимптотическое разложение по переменной<br />

t . Например, оригинал в примере № 28 может быть разложен в<br />

асимптотический ряд при t � 0 � 0 . Рассмотрим соответствие<br />

1 �a<br />

p<br />

� a �<br />

F ( p)<br />

� e � f ( t)<br />

� 1�<br />

�<br />

p<br />

�� �� при a � 0 ;<br />

� 2 t �<br />

(<br />

2<br />

�<br />

(z)<br />

z<br />

0<br />

2<br />

�<br />

d�<br />

a<br />

( z � � �� при<br />

2 t<br />

� 0 � 0)<br />

здесь � �<br />

� z)<br />

� � e<br />

Для функции<br />

интеграл вероятностей (см. пример №33).<br />

� найдем асимптотическое разложение при z � ��<br />

t .<br />

45


Сначала запишем<br />

2<br />

�( z)<br />

� 1�<br />

� � e<br />

�<br />

�<br />

��<br />

z<br />

2<br />

d�<br />

� 1�<br />

46<br />

2<br />

� Erfc(<br />

z)<br />

�<br />

Сделаем в интеграле Erfc (z)<br />

замену переменной<br />

� � z 1� x � 0 и получим новый интеграл<br />

Erfc(<br />

z)<br />

�<br />

1<br />

2<br />

ze<br />

�z<br />

2<br />

�<br />

� 1<br />

2 2 �<br />

�z<br />

x<br />

2<br />

�<br />

0<br />

e<br />

� ( 1�<br />

x)<br />

к которому легко применить лемму Ватсона. Действительно, теперь�<br />

� 1,<br />

� � 2,<br />

� � ( 2k<br />

�1)!<br />

! k<br />

f ( x)<br />

� 1�<br />

�(<br />

�x)<br />

, x � 1;<br />

после преобра-<br />

k�1<br />

( 2k)!<br />

!<br />

зований получим<br />

�<br />

� � ��<br />

� � �<br />

�<br />

�<br />

1 2<br />

�z<br />

( z)<br />

~ 1 e 1<br />

z �<br />

k�<br />

1<br />

� 1�<br />

�e<br />

z �<br />

�z<br />

2<br />

1<br />

dx<br />

( 2k<br />

�1)!<br />

! �<br />

�<br />

� � 2 k<br />

( �2z<br />

) �<br />

при z � �� .<br />

Этот ряд расходится при всех z � 0 , так как отношение его чле-<br />

ck<br />

�1<br />

2k<br />

�1<br />

нов � � � 2 при k � � . При расчетах ряд следует обры-<br />

ck<br />

2 z<br />

2<br />

вать на члене с номером m � E(<br />

z ) .<br />

Главный член разложения для функции – оригинала f (t)<br />

будет<br />

� a<br />

f ( t)<br />

� 1�<br />

��<br />

� 2 t<br />

Разложения оригинала<br />

�<br />

�<br />

�<br />

2<br />

~<br />

a<br />

t<br />

� e<br />

�<br />

2<br />

a<br />

�<br />

4t<br />

при t � 0 � 0 .<br />

f (t)<br />

при t � �� непосредственно получа-<br />

ется из тейлоровского разложения функции � (z)<br />

при 0<br />

2 � � z .<br />

t<br />

,<br />

.<br />

a


Пример 42. Асимптотическое вычисление интегралов от функции<br />

с острым максимумом по методу Лапласа.<br />

а) Теорема: Имеет место асимптотическое представление<br />

интеграла<br />

b<br />

�f<br />

( x)<br />

2�<br />

�f<br />

( x � � 1 ��<br />

0 )<br />

I(<br />

�)<br />

� � g(<br />

x)<br />

� e dx � � g(<br />

x0)<br />

� e � �1<br />

� O�<br />

��<br />

� f ��(<br />

x0)<br />

� � � ��<br />

a<br />

при � � � (здесь � � � a � b � � и Im f ( x)<br />

� 0 ), если этот интеграл<br />

абсолютно сходится при� �� 1,<br />

функция f � x � имеет острый максимум<br />

при x � x0<br />

�(<br />

a � � , b � � ) , где 0 � � �� b � a и может быть разложена<br />

в ряд Тейлора в окрестности 0 x x � ; функция g (x)<br />

непрерывна<br />

и изменяется медленнее, чем exp�� � f ( x)<br />

�.<br />

б) Для гамма–функции �( z �1)<br />

при z �� 1 получим асимптотическую<br />

формулу Стирлинга<br />

�<br />

�t<br />

�<br />

47<br />

z�1<br />

�<br />

�<br />

z(ln<br />

x�x<br />

)<br />

�(<br />

z �1)<br />

� e �t<br />

dt � z � e � dx<br />

0<br />

z<br />

t � , g ( x)<br />

� 1 и f ( x)<br />

� ln x � x . Максимум функции f (x)<br />

Здесь zx<br />

достигается при 0 1 � x , при этом f ( 1)<br />

� f ��(<br />

1)<br />

� 1 . Воспользовавшись<br />

формулой асимптотического представления интеграла, получим<br />

z<br />

� z � � � 1 ��<br />

�(<br />

z �1)<br />

� 2�<br />

z ��<br />

� � �1<br />

� O�<br />

��<br />

при �� 1<br />

� e � � � z ��<br />

0<br />

;<br />

z .<br />

Формула Стирлинга дает результаты с хорошей точностью уже при<br />

z � 4.<br />

4<br />

� 4 �<br />

Например, �(<br />

4 �1)<br />

� �(<br />

5)<br />

� 4!<br />

� 24 � 8�<br />

��<br />

� � 23,<br />

50617 ; здесь<br />

� e �<br />

ошибка 2, 05763%<br />

� 2,<br />

06%<br />

.<br />

в) Получить асимптотическое представление интеграла<br />

� �<br />

��x<br />

���x<br />

ln x<br />

�<br />

I(<br />

) � x dx � e dx<br />

0<br />

�<br />

� при � �� 1 ;<br />

0


здесь g ( x)<br />

� 1 и f ( x)<br />

� �x<br />

�ln<br />

x . Максимум функции f (x)<br />

достигается<br />

при x0 1 e � � 1 � 1 � �<br />

, при этом f � � � и f ��� � � �e<br />

� e � e � e �<br />

1<br />

. Асимптотическое представление<br />

интеграла будет<br />

�<br />

2�<br />

� � 1 �<br />

e �<br />

I(<br />

�)<br />

� �e<br />

��1<br />

� O�<br />

��<br />

e�<br />

� � � ��<br />

48<br />

при � �� 1 .<br />

Пример 43. Асимптотическое вычисление интегралов от быстро осциллирующих<br />

функций по методу стационарной фазы (методу Стокса).<br />

а). Теорема. Имеет место асимптотическое представление<br />

интеграла<br />

�<br />

� f ��(<br />

x<br />

I(<br />

� ) �<br />

b<br />

�<br />

a<br />

g(<br />

x)<br />

�e<br />

i�f<br />

( x)<br />

2 � i ) �<br />

� g(<br />

x0)<br />

� e<br />

0)<br />

��f( x � �<br />

dx �<br />

�<br />

� �1<br />

�<br />

�<br />

0 O<br />

� �sign<br />

f ��(<br />

x0)<br />

4<br />

�<br />

� ,<br />

� 1 ��<br />

� ��,<br />

� � ��<br />

при � � �� (здесь � � � a � b � � и Imf ( x)<br />

� 0 ), если этот интеграл<br />

сходится при � �� 1 . Функция f (x)<br />

имеет экстремум при<br />

x � x0<br />

�(<br />

a � � , b � � ) , где 0 � � �� b � a , и может быть разложена<br />

в ряд Тейлора в окрестности 0 x x � ; функция g (x)<br />

непрерывна<br />

и изменяется медленнее, чем exp�i� � f ( x)<br />

� .<br />

Если пределы интегрирования a и b конечны и около них край-<br />

i z�<br />

f ( t)<br />

ние полуволны функции Re�g(<br />

x)<br />

� e � не погашаются, то иногда<br />

приходится учитывать значение интеграла I (�)<br />

вблизи этих концов.<br />

б) Найти асимптотическое представление для функции Бесселя<br />

J<br />

n<br />

�<br />

�<br />

1<br />

1 i<br />

( z)<br />

� � � cos(<br />

z �sin<br />

t � nt)<br />

� dt � Re � e<br />

�<br />

2�<br />

0<br />

при z �� 1 и n� Z ;<br />

��<br />

( z�sin<br />

t�nt)<br />

� dt


здесь<br />

�int<br />

g(<br />

t)<br />

� e и f t)<br />

sin t<br />

имеет две стационарные точки<br />

i<br />

� � � � n<br />

2<br />

( � . В интервале t � � функция f (t)<br />

�<br />

t � � � ; при этом<br />

2<br />

� � � � � � �<br />

g�<br />

� � � e , ��<br />

� � � f ���<br />

� � � �1<br />

� 2 �<br />

� 2 � � 2 �<br />

� � � �<br />

f , � � � � � � .<br />

� 2 � 4<br />

Сумма вкладов обеих стационарных точек дает асимптотическое представление<br />

функции Бесселя<br />

J n<br />

( z)<br />

2 � � � � 1<br />

� cos�<br />

z � ( 2n<br />

�1)<br />

� � O�<br />

3<br />

� z � 4 � � z<br />

� 2<br />

49<br />

�<br />

�<br />

�<br />

при z �� 1.<br />

Далее, подставив в формулу для определения функции Неймана<br />

�<br />

�<br />

n �<br />

( z)<br />

� J n(<br />

z)<br />

� ( �1)<br />

J ( z)<br />

�n<br />

�n<br />

Nn �n<br />

� при n � Z<br />

J � n<br />

интегральные представления для<br />

, получим асимптотику<br />

функции Неймана в виде<br />

2 � � � � 1 �<br />

Nn ( z)<br />

� �sin�<br />

z � ( 2n<br />

�1)<br />

� � O�<br />

3 2 � при z �� 1.<br />

� z � 4 � � z �<br />

Теперь легко находятся и асимптотики для функции Ханкеля, имеем<br />

H<br />

( 1,<br />

2)<br />

n<br />

( z)<br />

�<br />

J<br />

n<br />

( z)<br />

� i � N<br />

n<br />

( z)<br />

�<br />

2<br />

� e<br />

� z<br />

( z<br />

)<br />

� � �<br />

�i�<br />

z�<br />

( 2n�1)<br />

�<br />

� 4 �<br />

� 1<br />

� O�<br />

� z<br />

при z �� 1.<br />

Полученные выше асимптотические выражения верны и<br />

при комплексных значениях аргумента z или индекса n , если z ��1<br />

� � 2<br />

�� n � 0<br />

z .<br />

в) Обобщением методов Лапласа и Стокса является метод перевала<br />

(седловой точки).<br />

Рассмотрим контурный интеграл I(<br />

� ) � � f ( z)<br />

�e<br />

, где па-<br />

L<br />

��(<br />

z) dz<br />

раметр � � 0 , а контур интегрирования L проводится в области анали-<br />

3 2<br />

�<br />

�<br />


тичности однозначных функций � (z)<br />

и f (z)<br />

при z � x � iy . Величина<br />

f (z)<br />

должна меняться медленнее экспоненты и не иметь особенностей<br />

на контуре L (иначе добавляются вычеты). Если при больших значениях<br />

� �� 1 величина подынтегрального выражения быстро растет с увеличением<br />

функции u � Re� ( z)<br />

� 0 и значение v � Im� ( z)<br />

� const , то<br />

это даст основной вклад в асимптотическое значение интеграла I (�)<br />

.<br />

Так как � ( z) � u(<br />

x,<br />

y)<br />

� i � v(<br />

x,<br />

y)<br />

, где функции u ( x,<br />

y)<br />

и v ( x,<br />

y)<br />

являются гармоническими и не имеют абсолютных экстремумов,<br />

то значение z � z0<br />

� x0<br />

� iy0<br />

– корень уравнения � �( z0)<br />

� 0<br />

является точкой минимакса (седловой точкой перевала на поверхности<br />

� (z)<br />

). Контур интегрирования L можно деформировать так, чтобы<br />

он проходил именно через точку перевала 0 z z � – частный экстремум<br />

функции u ( x,<br />

y)<br />

L и далее вдоль направления наискорейшего спуска;<br />

т.е. направления v � Im� ( z)<br />

� const , так как (grad u , grad v)<br />

� 0.<br />

Вдоль такого контура окажется Re� ( z)<br />

� �� при z � � .<br />

В окрестности седловой точки 0 z z � сделаем разложение в ряд<br />

Тейлора<br />

1<br />

2<br />

� ( z) � � ( z0)<br />

� ���(<br />

z0)<br />

�(<br />

z � z0)<br />

� ...<br />

2<br />

Здесь производные � �( z0)<br />

� 0 и � ��( z0)<br />

� 0 , так как вдоль контура<br />

интегрирования L мнимая часть постоянна и мы движемся вниз от седловой<br />

точки. Сделаем замену переменной интегрирования<br />

где<br />

где<br />

z z �<br />

1<br />

2 2<br />

�( z) � �(<br />

z0)<br />

� ���(<br />

z0)<br />

� ( z � z0)<br />

� �t<br />

2�<br />

,<br />

2<br />

�<br />

� i<br />

e<br />

� 0 и � � const . Тогда<br />

dz i<br />

2<br />

�� ( z dz<br />

0 ) �t<br />

2<br />

I(<br />

� ) � f ( z0)<br />

�e<br />

� e � dt ,<br />

dt<br />

dt �<br />

� 1 � e � � ���(<br />

z0)<br />

.<br />

dt dz<br />

50<br />

�<br />

�<br />

��


Теперь окончательный результат примет вид<br />

��(<br />

z0<br />

)<br />

I(<br />

�)<br />

� f ( z �e<br />

� � ����<br />

z 2<br />

0)<br />

( 0)<br />

� e<br />

�<br />

2<br />

� � �<br />

� �� ( z0<br />

) i�<br />

� f ( z0)<br />

e �e<br />

��(<br />

z0)<br />

51<br />

1 �<br />

� 2<br />

�t<br />

2 i�<br />

��<br />

dt �e<br />

при � �� 1 .<br />

Здесь интегрирование проводилось в бесконечных пределах, так как<br />

подынтегральная функция практически равна нулю при достаточно<br />

больших t и использован интеграл ошибок Гаусса. Угол � – аргумент<br />

контура, проходящего через седловую точку 0 z z � . Это направление<br />

выбирается так, чтобы величина � была постоянной и значение<br />

Re � ( z)<br />

– наибольшим.<br />

Важно отметить, что если экспоненциальный множитель подынтегральной<br />

функции записать в форме exp�� � �(<br />

z)<br />

�,<br />

то в методе наискорейшего<br />

спуска Лапласа путь интегрирования следует проводить<br />

вдоль кривой Im� ( z) � const , а в методе стационарной фазы Стокса –<br />

вдоль кривой Re� ( z) � const . Очевидно, эти направления взаимно<br />

ортогональны; причем контур в методе Лапласа проводят через перевал<br />

вниз в долины поверхности � (z)<br />

, а в методе Стокса – наоборот вверх<br />

вдоль вершин горной цепи этой поверхности.<br />

Пример 44. Асимптотический метод решения линейных дифференциальных<br />

уравнений второго порядка – метод ВКБЙ (Wentzel – Kramers –<br />

Brillouin –Jeffreys).<br />

Линейное дифференциальное уравнение второго порядка<br />

~ y �� � p(<br />

x)<br />

� ~ y�<br />

� q(<br />

x)<br />

� ~ y(<br />

x)<br />

� 0 , где p (x)<br />

и q (x)<br />

– заданные непрерывные<br />

функции, с помощью замены искомой функции<br />

~<br />

� 1 �<br />

y ( x)<br />

� y(<br />

x)<br />

�exp��<br />

� p(<br />

x)<br />

dx�<br />

приводится к стандартному виду<br />

� 2 �<br />

y �� � I ( x)<br />

� y(<br />

x)<br />

� 0 , где инвариант уравнения<br />

1 2 1<br />

I ( x)<br />

� q(<br />

x)<br />

� p ( x)<br />

� p�(<br />

x)<br />

4 2<br />

присущ только рассматриваемому уравнению и отличает его от всех<br />

других.<br />


Пусть некоторое линейное дифференциальное уравнение удалось<br />

привести к виду<br />

2<br />

y�� � � �U<br />

( x)<br />

� y(<br />

x)<br />

� 0 при � ��<br />

С помощью замены искомой функции<br />

52<br />

� .<br />

2<br />

y( x)<br />

� y�(<br />

x)<br />

V ( x)<br />

( y� � yV , y�� � yV � yV<br />

�<br />

получим нелинейное уравнение первого порядка типа Риккати<br />

2 2<br />

� � при � ��<br />

V �V<br />

( x)<br />

� �U<br />

( x)<br />

� ,<br />

решение которого будем искать методом разложения по малому пара-<br />

метру<br />

1 ��<br />

�<br />

1<br />

в виде ряда Лорана<br />

1 1<br />

V ( x)<br />

� с�1<br />

� � � с0<br />

� с1<br />

� � с2<br />

� � ... 2 , где с сn(x<br />

)<br />

� �<br />

)<br />

n � .<br />

Здесь разложение функции V (x)<br />

начинается с первой отрицательной<br />

степени параметра � , чтобы обе части уравнения Риккати были эквивалентны<br />

при � � �� . Легко находятся значения<br />

1 1<br />

( x)<br />

� с�1(<br />

x)<br />

� � � с0�<br />

( x)<br />

� с1�<br />

( x)<br />

� � с2�<br />

( x)<br />

� � ... 2<br />

� �<br />

� �<br />

V ,<br />

V<br />

2<br />

( x)<br />

2<br />

� c � 1<br />

�<br />

�c<br />

�<br />

� �1<br />

1<br />

� � � c0<br />

� c1<br />

� c<br />

�<br />

2 2 2 1<br />

��<br />

� c0<br />

� c1<br />

� c 2<br />

�<br />

2<br />

2<br />

2<br />

1 �<br />

� � ... 2 �<br />

� �<br />

2<br />

1<br />

� � ... � 4<br />

�<br />

1 1<br />

2c � 1c0<br />

� � � 2c�1c1<br />

� 2c�1c2<br />

� 2c<br />

1c3<br />

� � ... � 2<br />

� �<br />

� �<br />

1 1<br />

1<br />

� 2 с 0с1<br />

� 2 с0с2<br />

� ... � 2 с1с2<br />

� ...<br />

2<br />

3<br />

� �<br />

�<br />

Приравняв в уравнении Риккати коэффициенты при одинаковых<br />

степенях � , получим<br />


2<br />

� :<br />

1<br />

� :<br />

0<br />

� :<br />

�<br />

�<br />

�1<br />

�2<br />

:<br />

:<br />

с<br />

с�<br />

2<br />

�1<br />

�1<br />

0<br />

� 2с<br />

с�<br />

� с<br />

с�<br />

� 2с<br />

1<br />

с�<br />

2<br />

� U ( x),<br />

2<br />

0<br />

� с<br />

�3<br />

� : и т.д.<br />

�1<br />

2<br />

1<br />

� 2с<br />

� 2с<br />

�1<br />

с<br />

с<br />

0<br />

2<br />

�1<br />

с<br />

�<br />

3<br />

�1<br />

0,<br />

0<br />

с<br />

1<br />

� 2с<br />

с<br />

2<br />

0<br />

�<br />

� 2с<br />

с<br />

�<br />

� 0,<br />

1<br />

0,<br />

�<br />

0,<br />

с<br />

с<br />

с<br />

с<br />

с<br />

53<br />

�1<br />

0<br />

1<br />

2<br />

3<br />

� �с�<br />

�<br />

�<br />

�<br />

�<br />

�<br />

�<br />

�<br />

�<br />

U ( x)<br />

�1<br />

2 �с��с� 0<br />

�с��2сс� 1<br />

2с<br />

�1<br />

0<br />

0<br />

2с<br />

1<br />

�1<br />

2с<br />

�1<br />

2 �с2��с1�2с0с2� 2с�1<br />

В общем случае рекуррентная формула для коэффициентов<br />

будет<br />

с<br />

�<br />

n<br />

n �1(<br />

x)<br />

� ��<br />

сn�<br />

� �сm � сn�m<br />

2с�1<br />

при n � 0,<br />

1,<br />

2,...<br />

m�0<br />

�<br />

�<br />

�<br />

�<br />

сn (x)<br />

По этой рекуррентной формуле находятся все значения коэффицентов<br />

разложения, например:<br />

с � �<br />

U ( x)<br />

� 1<br />

, 0 �U<br />

( x)<br />

4U<br />

( x)<br />

с �<br />

� ,<br />

2 2<br />

с � � ( 4UU<br />

��<br />

� 5U<br />

� ) ( 32U<br />

U ) и т.д.<br />

1<br />

В тех точках 0 x x � , где U ( x0<br />

) � 0 , все выражения для коэффициентов<br />

теряют смысл и асимптотическое разложение невозможно. В общем<br />

случае нельзя сказать сходится ли ряд функции V (x)<br />

при n � � ;<br />

можно только утверждать, что это формальное разложение будет асимптотическим<br />

при � � �� .<br />

Вернемся к функции y (x)<br />

; из V � y�<br />

y получим<br />

1<br />

y<br />

�<br />

( x)<br />

� � e<br />

V ( x)<br />

dx<br />

�<br />

�<br />

1 1 �<br />

� exp��<br />

� � � U dx � lnU<br />

� � � �сn<br />

( x)<br />

dx�<br />

�<br />

n<br />

�<br />

4 n�1�<br />

�<br />

�<br />

� �<br />

� 4<br />

���<br />

� � U dx 1<br />

U e � exp�� � n � с<br />

�n�1<br />

�<br />

n<br />

�<br />

�<br />

( x)<br />

dx�<br />

�<br />

. (*)


Наличие множителя �� ��<br />

U ( x)<br />

� dx�<br />

exp � показывает, что в точках<br />

x � x0<br />

, где функция U (x)<br />

меняет знак, должен меняться и тип асимптотики<br />

– убывание, возрастание, колеблющееся поведение. При больших<br />

значениях � последний в формуле (*) экспоненциальный множитель<br />

близок к единице и не оказывает большого влияния на поведение<br />

функции y (x)<br />

. Постоянные множители везде опущены. Если получается<br />

функция U ( x,<br />

�)<br />

, то решение тоже можно найти, использовав раз-<br />

1<br />

ложение U ( x,<br />

� ) � U 0 ( x)<br />

� U1(<br />

x)<br />

� ... Решения y (x)<br />

являются анали-<br />

�<br />

тическими функциями в некоторой области, их можно неоднократно<br />

дифференцировать. Наличие в решении радикалов показывает, что нули<br />

и полюсы функции U (x)<br />

могут являться точками ветвления (точками<br />

поворота).<br />

Проведем более подробную оценку последнего экспоненциального<br />

множителя функции y (x)<br />

. Для функции V (x)<br />

имеем<br />

�<br />

� � �<br />

� � � � � � � � � � �<br />

� �<br />

� U 1<br />

U 1<br />

V ( x)<br />

� U<br />

с ( x)<br />

� U O<br />

n n<br />

4U<br />

n�1<br />

�<br />

4U<br />

�<br />

при � � �� .<br />

Последняя оценка равномерна по x , если<br />

ными функциями. Поэтому переходя к y � � U ( x)<br />

dx�<br />

54<br />

сn (x)<br />

будут ограничен-<br />

exp , получим два<br />

линейно независимых решения, соответствующие двум разным знакам<br />

(+ и –) перед корнем U ; т.е. найдем<br />

y<br />

�<br />

( x)<br />

� U<br />

1<br />

�<br />

4<br />

�e<br />

�<br />

�<br />

U dx<br />

� 1 �<br />

�expO�<br />

�<br />

� � �<br />

�<br />

при � � �� .<br />

� 1 � � 1 �<br />

Экспонента с оценкой очевидно равна expO � � � 1�<br />

O�<br />

� при<br />

� � � � � �<br />

� � �� , что позволяет записать главный член асимптотики решения<br />

уравнения в окончательном виде<br />

y<br />

�<br />

( x)<br />

� U<br />

1<br />

�<br />

4<br />

� e<br />

�<br />

� � � ��<br />

��<br />

� � ��<br />

� � ��<br />

� � U dx 1<br />

1 O<br />

�<br />

при � � �� .


Теперь подробно выпишем асимптотику решения<br />

1<br />

стью до 2 ; имеем<br />

�<br />

U �<br />

2<br />

V ( x)<br />

� ��<br />

U � � ( 4UU<br />

��<br />

� 5U<br />

� )<br />

4U<br />

55<br />

32�U<br />

при � � �� . После возвращения к функции y (x)<br />

�<br />

y<br />

�<br />

2<br />

y (x)<br />

�<br />

� 1 �<br />

U � O�<br />

�<br />

� � �<br />

получим<br />

1<br />

2<br />

� � � 4UU<br />

��<br />

� 5U<br />

� � � � � 1 ��<br />

4 ( x)<br />

� U �exp��<br />

� ��<br />

�<br />

� U �<br />

�<br />

�dx�<br />

���<br />

1�<br />

O�<br />

���<br />

�<br />

2 2<br />

2<br />

� � 32�<br />

U U � � � � � ��<br />

1<br />

� ��<br />

��<br />

U dx � 1 4UU<br />

��<br />

� 5U<br />

�<br />

4 � U �e<br />

� �1<br />

� ��<br />

� � 32U<br />

U<br />

2<br />

� 1 ��<br />

dx � O�<br />

2 ��<br />

� � ��<br />

с точно-<br />

при � � �� .<br />

Для детальной оценки порядков членов разложения удобно<br />

рассмотреть выражения с U (x)<br />

; например, неравенство с1 �� � �с0<br />

5<br />

сведется к выражению<br />

2�<br />

3 2<br />

4<br />

��<br />

U ��<br />

U �<br />

�<br />

, т.е. достаточны оценки<br />

U � U U<br />

U ��<br />

U �<br />

и �� �<br />

3 2 . Аналогично находятся оценки для последующих<br />

U � U U<br />

членов разложения.<br />

а) Применим полученные результаты к нахождению асимптотики<br />

решения уравнения Эйри<br />

2<br />

d y<br />

� t � y(<br />

t)<br />

� 0<br />

2<br />

, t � 0 ; U ( t)<br />

� t и t � �� .<br />

dt<br />

2 3<br />

С помощью замены t � x ��<br />

� 0 получим стандартную форму уравнения<br />

2<br />

d y 2<br />

� � � x y(<br />

x)<br />

� 0<br />

2<br />

при x и � 0<br />

dx<br />

� , � � �� .<br />

Запишем асимптотическое решение этого уравнения и вернемся к<br />

исходной переменной t , тогда


y<br />

�<br />

�<br />

( x)<br />

�<br />

4<br />

4<br />

1<br />

� e<br />

t<br />

1 � � �<br />

�exp��<br />

�2x<br />

x �<br />

�<br />

�<br />

3<br />

�<br />

2<br />

� t<br />

3<br />

3 2<br />

� 5<br />

��1�<br />

t<br />

� 32<br />

�3<br />

�<br />

�<br />

�<br />

3 2<br />

5<br />

� x 2<br />

16�<br />

� � 1 ��<br />

��1<br />

� O�<br />

��<br />

2<br />

� � t ��<br />

Здесь опущены произвольные постоянные множители.<br />

Если в уравнение Эйри принять t � �� , получим<br />

y<br />

�<br />

e<br />

( t)<br />

�<br />

56<br />

3<br />

�<br />

2<br />

� �<br />

��1<br />

� O�<br />

� �<br />

� � t<br />

�i<br />

2 3 2 � 5 �3<br />

�<br />

4 � i�<br />

t ��1�<br />

t �<br />

3 � 32 � 1<br />

� e<br />

4<br />

2<br />

�<br />

t<br />

�<br />

i<br />

4<br />

��<br />

�<br />

� � 1 ��<br />

� ��1<br />

� O�<br />

��<br />

�<br />

�<br />

2<br />

���<br />

� � � ��<br />

при t � �� .<br />

��<br />

��<br />

��<br />

��<br />

при<br />

t � �� .<br />

Фазовый множитель e �<br />

здесь возникает за счет обхода точки<br />

ветвления t � 0 ; при этом изменяется и тип решения с монотонного на<br />

колеблющийся.<br />

б) Легко проверить, что при � � �� главный член асимптотического<br />

решения уравнения (типа уравнения Эрмита)<br />

если выполняется условие<br />

y<br />

�<br />

2 2 �� � ( a � x ) � y(<br />

x)<br />

� 0<br />

y � , a � const � 0 ,<br />

( t)<br />

�<br />

1<br />

x<br />

e<br />

1<br />

�<br />

2<br />

2<br />

(� x) � a , будет равен<br />

2<br />

� x � � 1 ��<br />

��1<br />

� O�<br />

��<br />

� � � ��<br />

при � � �� .<br />

в) Асимптотическое решение для уравнения вырожденной гипергеометрической<br />

функции<br />

x y��<br />

� ( b � x)<br />

y�<br />

� ay(<br />

x)<br />

� 0 , a и b � const � 0<br />

может быть представлено для одного из решений в виде<br />

a�b<br />

x<br />

y( x)<br />

� x � e при x � �� ;<br />

y<br />

�a<br />

( x)<br />

� x при � ��<br />

x .


Задания для самостоятельного решения<br />

Задания содержат основные типы примеров по теории аналитических<br />

функций (по теории функций комплексного переменного) и операционного<br />

исчисления. Образцы решения всех примеров приведены в<br />

первых шести разделах пособия. Каждый студент должен представить<br />

решение всех 16 примеров; номера пунктов в каждом примере соответствуют<br />

номеру, под которым фамилия студента стоит в списке группы.<br />

Пример 1. Вычислить все значения корня n z , если<br />

1. z �1, n � 3.<br />

2. z � �1,<br />

n � 3.<br />

3. z � i,<br />

n � 3.<br />

4. z � �i,<br />

n � 3.<br />

5. z �1, n � 4.<br />

6. z � �1,<br />

n � 4.<br />

7. z � i,<br />

n � 4.<br />

8. z � �i,<br />

n � 4.<br />

9. z � i,<br />

n � 2.<br />

10. z � �i,<br />

n � 2.<br />

11. z �1 � i,<br />

n � 2.<br />

12. z � �1�<br />

i,<br />

n � 2.<br />

13. z �1 � i,<br />

n � 2.<br />

14. z � �1�<br />

i,<br />

n � 2.<br />

15. z �1 � i,<br />

n � 3.<br />

57<br />

16. z � �1�<br />

i,<br />

n � 3.<br />

17. z � 1� i,<br />

n � 3.<br />

18. z � �1�<br />

i,<br />

n � 3.<br />

19. z � 1� i,<br />

n � 4.<br />

20. z � �1�<br />

i,<br />

n � 4.<br />

21. z �1 � i,<br />

n � 4.<br />

22. z � �1�<br />

i,<br />

n � 4.<br />

23. z � 1, n � 5.<br />

24. z � �1,<br />

n � 5.<br />

25. z � i,<br />

n � 5.<br />

26. z �1 � i,<br />

n � 5.<br />

27. z � 1� i,<br />

n � 5.<br />

28. z � �1�<br />

i,<br />

n � 5.<br />

29. z � �1�<br />

i,<br />

n � 5.<br />

30. z � 1, n � 6.<br />

Пример 2. Выяснить геометрический смысл указанных соотношений.<br />

1. Re( iz ) � 0.<br />

2. Im( iz ) � �1.<br />

3. Re( z � i)<br />

� 1/<br />

2.<br />

4. Im( z � i)<br />

� 2.<br />

5. Re( 2z<br />

� 3)<br />

�1.<br />

6. Im( iz<br />

� 3i)<br />

� 4.


7. Re( iz � 3)<br />

� 0.<br />

8. Im( z � 2i)<br />

� �2.<br />

9. Re( 3 � iz ) � 1.<br />

10. Im( 2 � iz ) � 1.<br />

11. z � 3 � iz.<br />

12. z � i � z �1.<br />

13. z � i � 1� z.<br />

14. z � i � z � i.<br />

15. z � 2i � iz.<br />

16. z � Re z �1.<br />

17. z � Im z �1.<br />

18. z � Re( z � i).<br />

58<br />

19. z � Im( z � i).<br />

20. arg( z � i)<br />

� � / 3.<br />

21. arg( z � i)<br />

� � / 6.<br />

22. arg( z � 2i)<br />

� 0.<br />

23. arg( z �1)<br />

� �.<br />

24. arg( z � 2i)<br />

� ��<br />

/ 2.<br />

25. arg( z �1)<br />

� � / 2.<br />

26. 0 � arg( z � i)<br />

� � / 2.<br />

27. 0 � iz � 2 �1<br />

28. 1 � z � 3i<br />

� 2.<br />

29. 1 � iz � 2 � 2.<br />

30. 1� i � z � z � i.<br />

Пример 3. Первоначальное значение Arg f (z)<br />

при z � a � 0 принято<br />

равным нулю. Точка z делает один полный оборот против часовой<br />

стрелки по окружности z � z0<br />

� a и возвращается в точку z � a.<br />

Считая,<br />

что Arg f (z)<br />

изменяется непрерывно, найти значение Arg f (z)<br />

после такого оборота, если:<br />

3<br />

( 0<br />

1. f z)<br />

� z � 2,<br />

a � 3,<br />

z � 0.<br />

2. ( ) 2,<br />

1,<br />

0 0.<br />

� � � � z a z z f<br />

3<br />

( 0<br />

3. f z)<br />

� z � 2,<br />

a � 3,<br />

z � 2.<br />

4 ( 0 �<br />

4. f z)<br />

� z � 2,<br />

a �1,<br />

z � 2.<br />

5. f ( z)<br />

� z � 2,<br />

a �1,<br />

z0<br />

� �2.<br />

5<br />

( 0<br />

6. f z)<br />

� z � 2,<br />

a � 3,<br />

z � �2i.<br />

4 ( 0 i<br />

7. f z)<br />

�<br />

z � 2,<br />

a � 3,<br />

z � 2 .


3<br />

( 0<br />

8. f z)<br />

� z � 2,<br />

a � 3,<br />

z � 2i.<br />

2<br />

( 0<br />

9. f z)<br />

� z � 2,<br />

a � 3,<br />

z � 2i.<br />

3 2<br />

( 0<br />

10. f z)<br />

� z � 2,<br />

a � 3,<br />

z � 2i.<br />

3 2<br />

( 0<br />

11. f z)<br />

� z �1,<br />

a � 2,<br />

z � 0.<br />

2<br />

( 0<br />

12. f z)<br />

� z � 2z<br />

� 3,<br />

a � 2,<br />

z � 0.<br />

3 2<br />

( 0<br />

13. f z)<br />

� z � 2 z � 3,<br />

a � 2,<br />

z � 0.<br />

2<br />

( 0<br />

14. f z)<br />

� z � 2z<br />

� 3,<br />

a � 2,<br />

z � 0.<br />

3 2<br />

( 0<br />

15. f z)<br />

� z � 2z<br />

� 3,<br />

a � 2,<br />

z � 0.<br />

1<br />

16. ( ) , 2,<br />

0 0.<br />

2<br />

� �<br />

z �<br />

f z � a z<br />

z �<br />

z �1<br />

17. f ( z)<br />

� , a � 2,<br />

z0<br />

� 0.<br />

z �1<br />

z �1<br />

18. f ( z)<br />

� 3 , a � 2,<br />

z0<br />

� 0.<br />

z �1<br />

z �1<br />

19. f ( z)<br />

� 3 , a � 2,<br />

z0<br />

� 0.<br />

z �1<br />

20. ( ) 2 , 2,<br />

0 0.<br />

� �<br />

� z a z Ln z f<br />

21. ( ) 3 ( 2 / ), 2,<br />

0 0.<br />

� �<br />

� z a z i Ln z f<br />

22. ( ) ( 1),<br />

2,<br />

0 0.<br />

� � � � � z a z Ln z Ln z f<br />

23. ( ) ( 1),<br />

2,<br />

0 0.<br />

� � � � � z a z Ln z Ln z f<br />

24. ( ) 3 ( ), 2,<br />

0 0.<br />

� � � � � z a i z Ln z Ln z f<br />

25. ( ) 2 ( 1 ), 2,<br />

0 0.<br />

� � � � z a z Ln z f<br />

26. ( ) 4 ( ), 2,<br />

0 0.<br />

� � � � z a iz Ln z f<br />

59


27.<br />

3<br />

( ) 3 ,<br />

1<br />

2,<br />

0 0.<br />

� �<br />

i<br />

f z � Ln<br />

z �<br />

a z<br />

28. ( ) ( ) ( ), 3,<br />

0 0.<br />

� � � � � z a i z Ln z i Ln z f<br />

29.<br />

1<br />

( ) 3 , 3,<br />

0 0.<br />

� �<br />

�i<br />

f z � Ln<br />

z<br />

a z<br />

30. ( ) 3 2 ( 1),<br />

3,<br />

0 0.<br />

� � � � � z a z Ln Lnz z f<br />

Пример 4. Найти все корни уравнения.<br />

1. sin z � 2.<br />

2. sin z � �2.<br />

3. sin z � 2i.<br />

4. sin z � �2i.<br />

5. cos z � i.<br />

6. sin z � i.<br />

7. sin z � �1/<br />

2.<br />

8. cos z � 1/<br />

2.<br />

9. sh z � �i.<br />

10. sh z � i / 2.<br />

11. cos z � 2.<br />

12. cos z � �2i.<br />

13. sin z � �i.<br />

14. cos z � �i.<br />

15. ch z � �1.<br />

60<br />

16. Ошибка! Объект не может<br />

быть создан из кодов полей<br />

редактирования.<br />

17. ch z �1/<br />

2.<br />

18. ch z � i.<br />

19. tg z � 2i.<br />

20. ch z � �i.<br />

21. ctg z � 2i.<br />

22. th z � 2i.<br />

23. cth z � 2i.<br />

24. th z � 2.<br />

25. cth z � �1/<br />

2.<br />

26. sec z � 3i.<br />

27. sch z � 3i.<br />

Пример 5. Найти все значения степени.<br />

2i<br />

1. ( � i)<br />

.<br />

28. cosec z � 3i.<br />

29. csch z � 3i.<br />

30. ch z � sh z � 2.<br />

2i<br />

2. i .<br />


3i<br />

3. ( � 1)<br />

.<br />

3i<br />

4. ( � i)<br />

.<br />

2i<br />

5. ( i) .<br />

�<br />

�<br />

�3i<br />

6. ( � 1)<br />

.<br />

�2i<br />

7. ( � 1)<br />

.<br />

8. 1 .<br />

2i �<br />

2 i<br />

9. ( 1 i) .<br />

�<br />

�<br />

2 i<br />

10. ( 1 i) .<br />

�<br />

�<br />

2 i<br />

11. ( 1 i) .<br />

�<br />

� �<br />

2 i<br />

12. ( 1 i) .<br />

�<br />

� �<br />

13. 1 .<br />

2<br />

14. 1 .<br />

2 �<br />

2<br />

15. ( � 1)<br />

.<br />

3i<br />

16. i .<br />

17. 1 .<br />

3i<br />

2 i<br />

18. ( 1 i) .<br />

�<br />

�<br />

61<br />

�2�i<br />

19. ( 1�<br />

i)<br />

.<br />

�2�i<br />

20. ( � 1�<br />

i)<br />

.<br />

�2�i<br />

21. ( � 1�<br />

i)<br />

.<br />

1 i<br />

22. .<br />

2<br />

�<br />

� � �<br />

� �<br />

� �<br />

1 i<br />

23. .<br />

2<br />

�<br />

� � �<br />

� �<br />

� �<br />

1 i<br />

24. .<br />

2<br />

�<br />

� � � �<br />

� �<br />

� �<br />

1 i<br />

25. .<br />

2<br />

�<br />

� � � �<br />

� �<br />

� �<br />

26. .<br />

2<br />

i<br />

�<br />

2<br />

27. i .<br />

2<br />

28. ( � i)<br />

.<br />

�<br />

2<br />

29. ( �i ) .<br />

i<br />

2<br />

30. i .<br />

Пример 6. Определить, существует ли область D , в которой функция<br />

f(z) аналитическая (удовлетворяет условиям Коши-Римана); найти<br />

производную f � (z)<br />

при z � D , если:<br />

z �<br />

1. f ( z)<br />

� e 2z.<br />

� z<br />

�<br />

2. f ( z ) � e 2 z .<br />

3. f ( z)<br />

� sin z.<br />

4. f ( z)<br />

� sh z.<br />

5. f ( z)<br />

� cos z.<br />

6. f ( z)<br />

� ch z.<br />

7. f ( z)<br />

�<br />

sin .<br />

i<br />

i<br />

i<br />

i<br />

2 z


2 z<br />

8. f ( z)<br />

� sh .<br />

2 z<br />

9. f ( z)<br />

� cos .<br />

2 z<br />

10. f ( z)<br />

� ch .<br />

2<br />

11. f ( z)<br />

� sin z .<br />

2<br />

12. f ( z)<br />

� sh z .<br />

2<br />

13. f ( z)<br />

� cos z .<br />

2<br />

14. f ( z)<br />

� ch z .<br />

i<br />

15. f ( z)<br />

� z � .<br />

z<br />

2 i<br />

16. f ( z)<br />

� z � .<br />

z<br />

3 i<br />

17. f ( z)<br />

� z � .<br />

z<br />

1<br />

18. f ( z)<br />

� 3i<br />

� .<br />

2<br />

z<br />

62<br />

19. f ( z)<br />

� 2 Ln z.<br />

20. f ( z)<br />

� 2 Ln z � z.<br />

21. f ( z)<br />

� z �Re<br />

z.<br />

22. f ( z)<br />

� z �Im<br />

z.<br />

2<br />

2<br />

23. f ( z)<br />

� z � 3z.<br />

24. f ( z)<br />

� z � i z.<br />

25. f ( z)<br />

� z / z.<br />

26. f ( z)<br />

� z � 2i<br />

z.<br />

27. f ( z)<br />

� z � 2i<br />

z.<br />

28. f ( z)<br />

� z � 2z.<br />

29. f ( z)<br />

� z � 2z.<br />

2<br />

2<br />

2<br />

2<br />

30. f ( z)<br />

� z z.<br />

Пример 7. Какая часть плоскости растягивается (сжимается) при<br />

конформном отображении, которое осуществляет функция f (z)<br />

. Найти<br />

также коэффициент растяжения к и угол поворота Ө в точке z 0 , если:<br />

z �1<br />

1. f ( z)<br />

� , z0<br />

� i.<br />

z � i<br />

z �1<br />

2. f ( z)<br />

� , z0<br />

� �i.<br />

z �1<br />

3. ( ) , 0 1.<br />

2<br />

�<br />

z � i<br />

f z � z<br />

z � i<br />

z � i<br />

4. f ( z)<br />

� , z0<br />

� �1.<br />

z � 2i<br />

5.<br />

1<br />

( ) , 0<br />

1<br />

�<br />

z �<br />

f z � z<br />

z �<br />

6. ( ) , 0 0.<br />

�<br />

z � i<br />

f z � z<br />

z � i<br />

2<br />

( 0<br />

7. f z)<br />

� z � 2i,<br />

z � �1.<br />

2<br />

( 0<br />

8. f z)<br />

� z � 2i,<br />

z � i.<br />

3<br />

( 0<br />

9. f<br />

z)<br />

� z � 3i,<br />

z � �1.<br />

0.


3<br />

( 0<br />

10. f z)<br />

� z � 3i,<br />

z � i.<br />

11. f ( z)<br />

� 2/<br />

z,<br />

z0<br />

� �1.<br />

12. f ( z)<br />

� 2i<br />

/ z,<br />

z0<br />

� i.<br />

13. ( ) ln , 0 2.<br />

�<br />

� z z z f<br />

14. f ( z)<br />

� ln z,<br />

z0<br />

� 2i.<br />

z<br />

� �<br />

15. f ( z)<br />

e , z0<br />

� i.<br />

i z<br />

16. f ( z)<br />

� e , z0<br />

� �i.<br />

2 z<br />

( � 0<br />

�<br />

17. f z)<br />

e , z � 2i.<br />

2 z<br />

( 0<br />

18. f z)<br />

� e , z � �2i.<br />

2<br />

( 0<br />

19. f z)<br />

� z � 2z,<br />

z � i.<br />

2<br />

( 0<br />

20. f z)<br />

� z � 2z,<br />

z � �i.<br />

63<br />

21. f ( z)<br />

� ln( z �1),<br />

z0<br />

� i.<br />

22. ( ) ln( ), 0 1.<br />

� � � z i z z f<br />

3<br />

( 0<br />

23. f z)<br />

� 2z<br />

, z �1<br />

� i.<br />

3<br />

( 0<br />

24. f z)<br />

� 3z<br />

, z �1<br />

� i.<br />

3<br />

( 0<br />

25. f z)<br />

� 2z<br />

, z � �1�<br />

i.<br />

3<br />

( 0<br />

26. f z)<br />

� 3z<br />

, z � �1�<br />

i.<br />

i z<br />

27. f ( z)<br />

� e , z0<br />

� i.<br />

i z<br />

28. f ( z)<br />

� e , z0<br />

� 2i.<br />

3i<br />

z<br />

( � 0<br />

�<br />

29. f z)<br />

e , z � i.<br />

3i<br />

z<br />

( � 0<br />

�<br />

30. f z)<br />

e , z � �i.<br />

Пример 8. Конформно отобразить на верхнюю полуплоскость<br />

Imw � 0 круговую лунку (двуугольник) вида:<br />

1. z �1, z �1<br />

�1.<br />

2. z �1, z �1<br />

� 1.<br />

3. z �1, z � i �1.<br />

4. z � 1, z � i � 1.<br />

5. z �1, z �1<br />

�1.<br />

6. z �1, z �1<br />

�1.<br />

7. z �1, z � i � 1.<br />

8. z � 1, z � i � 1.<br />

9. z �1, z �1<br />

�1.<br />

10. z �1, z �1<br />

� 1.<br />

11. z �1, z � i � 1.<br />

12. z � 1, z � i � 1.<br />

13. z �1, z �1<br />

� 1.<br />

14. z �1, z �1<br />

�1.<br />

15. z � 1, z � i � 1.<br />

16. z �1, z � i �1.<br />

17. z �1 � 1,<br />

Im z � 0.<br />

18. z<br />

�1 �1,<br />

Im z � 0.


19. z � i �1,<br />

Im z � 0.<br />

20. z � i � 1, Im z � 0.<br />

21. z � 1, Re z � 0.<br />

22. z �1, Re z � 0.<br />

23. z �1, Im z � 0.<br />

24. z �1, Im z � 0.<br />

25. z � 1, Re z � 0.<br />

64<br />

26. z �1, Im z � 0.<br />

27. z � 2, z � 2 � 2.<br />

28. z � 2, z � 2 � 2.<br />

29. z � 2, z � 2 � 2.<br />

30. z � 2, z � 2 � 2.<br />

Пример 9. Конформно отобразить на верхнюю полуплоскость<br />

Im w � 0 заданную односвязную область D c разрезом L, где:<br />

1. D : Im z � 0;<br />

L � �0, 2i�<br />

2. D : Im z 0;<br />

L � �0, �3i�<br />

� .<br />

3. D : Re z � 0;<br />

L � �2, ���.<br />

4. D : Re z � 0;<br />

L � �� �,<br />

�2�.<br />

5. D � C;<br />

L � ��1, �1�.<br />

6. D � C;<br />

L � �� i,<br />

�i�.<br />

7. D � C L � ��1�i, 1�<br />

i�<br />

8. D � C;<br />

L � ��1�i, 1�<br />

i�.<br />

9. D : Im z � 0;<br />

; .<br />

i�<br />

� z � e , 0 � � � � / 2�<br />

L �<br />

.<br />

10. D : Im z � 0;<br />

i�<br />

� z � e , � / � � � � �<br />

L � 2<br />

11. D : z �1; L � �0. 5,<br />

1�.<br />

12. : z � 1;<br />

L � ��1, � 0.<br />

5�<br />

13. D : z � 1;<br />

L � �0, 1�.<br />

D .<br />

16. : z � 1;<br />

L � �1, 2�<br />

D .<br />

17. D : z � 1;<br />

L � �1, ���.<br />

18. : z �1; L � ��2, �1�<br />

19. D : z � 1;<br />

L � �i, 2i<br />

�.<br />

D .<br />

20. D : z � 1;<br />

L � �1, ���.<br />

21. D : z �1; L � �i, �i��.<br />

22. D : z �1; Im z � 0;<br />

� 0, i / 2 �<br />

L � .<br />

D � �<br />

24. D � �0 � x � 1,<br />

� � � y � � �.<br />

25. D � �� � � x � �,<br />

0 � y �1,<br />

�.<br />

26. D � ��1 � x � 1,<br />

� � � y � � �.<br />

27. D � � x � 0, 0 � y � 1�.<br />

28. D � � x � 0, �1<br />

� y � 0 �.<br />

29. D � �0 � x �1,<br />

y � 0 �.<br />

23. : z �1; Im z � 0;<br />

L � i / 2,<br />

i .


14. D : z � 1;<br />

L � �i/ 2,<br />

i�.<br />

15. D : z � 1;<br />

L � �0, � i �.<br />

30. D : z �1 �1,<br />

z � 2 � 2,<br />

Imz>0.<br />

Пример 10. Используя интегральную формулу Коши и формулы<br />

для производных от нее, вычислить интегралы вида � f ( z)<br />

dz , если:<br />

z �R<br />

z<br />

e<br />

1. f ( z)<br />

� , R � 3.<br />

2<br />

z � 4<br />

z<br />

e<br />

2. f ( z)<br />

� , R � 2.<br />

2<br />

z �1<br />

z<br />

e<br />

3. f ( z)<br />

� , R � 2.<br />

z(<br />

z �1)<br />

z<br />

e<br />

4. f ( z)<br />

� , R � 2.<br />

2<br />

z ( z �1)<br />

z<br />

e<br />

5. f ( z)<br />

� , R � 2.<br />

3<br />

z ( z �1)<br />

z<br />

e<br />

6. f ( z)<br />

� , R � 2.<br />

2<br />

z(<br />

z �1)<br />

11.<br />

12.<br />

13.<br />

14.<br />

15.<br />

16.<br />

17.<br />

1<br />

f ( z)<br />

� sin z,<br />

R �1.<br />

2<br />

z<br />

1<br />

f ( z)<br />

� sin z,<br />

R �1.<br />

3<br />

z<br />

1 2<br />

f ( z)<br />

� sin z,<br />

R �1.<br />

z<br />

sin z<br />

f ( z)<br />

� , R � 2.<br />

z(<br />

z �1)<br />

sin z<br />

f ( z)<br />

� , R � 2.<br />

z(<br />

z �1)<br />

sin z<br />

f ( z)<br />

� , R � 2.<br />

2<br />

z ( z �1)<br />

sin z<br />

f ( z)<br />

� , R � 2.<br />

z(<br />

z � i)<br />

z<br />

e<br />

7. f ( z)<br />

� ,<br />

3<br />

z(<br />

z �1)<br />

R � 2.<br />

18.<br />

sin z<br />

f ( z)<br />

� ,<br />

2<br />

z(<br />

z �1)<br />

R � 2.<br />

e<br />

8. f ( z)<br />

� , R � 2.<br />

2 2<br />

( z �1)<br />

e<br />

9. f ( z)<br />

� , R � 2.<br />

2 2<br />

( z �1)<br />

sin z<br />

10. f ( z)<br />

� , R �1.<br />

z<br />

z<br />

z<br />

65<br />

sin z<br />

19. f ( z)<br />

� , R � 2.<br />

2<br />

z ( z � i)<br />

sin z<br />

20. f ( z)<br />

� , R � 2.<br />

2<br />

z ( z � i)<br />

ch z<br />

21. f<br />

( z)<br />

� , R � 2.<br />

z(<br />

z �1)


ch z<br />

22. f ( z)<br />

� , R � 2.<br />

2<br />

z ( z � i)<br />

ch z<br />

23. f ( z)<br />

� , R � 2.<br />

2<br />

z(<br />

z � i)<br />

ch z<br />

24. f ( z)<br />

� , R � 2.<br />

2<br />

z<br />

sh z<br />

25. f ( z)<br />

� , R � 2.<br />

2<br />

z<br />

z<br />

26. f ( z)<br />

� , R � 2.<br />

2 2<br />

( z �1)<br />

66<br />

z<br />

27. f ( z)<br />

� , R � 2.<br />

2 2<br />

( z �1)<br />

z<br />

28. f ( z)<br />

� , R � 2.<br />

2<br />

z �1<br />

z<br />

29. f ( z)<br />

� , R � 2.<br />

2<br />

z �1<br />

1<br />

30. f ( z)<br />

� , R � 2.<br />

2 3<br />

( z �1)<br />

Пример 11. Определить нули и особые точки функции f (z)<br />

, если:<br />

1. f ( z)<br />

� z �cos<br />

z.<br />

1<br />

2. f ( z)<br />

� �cos<br />

z.<br />

z<br />

3.<br />

1<br />

f ( z)<br />

� �cos<br />

2<br />

z<br />

z.<br />

4. f ( z)<br />

� z �sin<br />

z.<br />

1<br />

5. f ( z)<br />

� �sin<br />

z.<br />

z<br />

sin z<br />

6. f ( z)<br />

� .<br />

z z<br />

sin z<br />

7. f ( z)<br />

� .<br />

2<br />

z z<br />

3 z<br />

8. f ( z)<br />

� z .<br />

3<br />

z<br />

9. f ( z)<br />

� .<br />

z �1<br />

z<br />

10. f ( z)<br />

� .<br />

2<br />

z �1<br />

z<br />

11. f ( z)<br />

� .<br />

1�<br />

z<br />

z<br />

12. f ( z)<br />

� .<br />

z �1<br />

1<br />

13. f ( z)<br />

� .<br />

2 � sin z<br />

14.<br />

1 2<br />

f ( z)<br />

� �tg<br />

z.<br />

z<br />

15. f ( z)<br />

� sin z.<br />

1 �z<br />

16. f ( z)<br />

� e .<br />

2<br />

z<br />

1<br />

17. f ( z)<br />

� sin .<br />

z �1<br />

1<br />

�<br />

18. f ( z)<br />

�<br />

z e z .


1<br />

2 z<br />

19. f ( z)<br />

� z e .<br />

1<br />

20. f ( z)<br />

� .<br />

1�<br />

z �1<br />

1<br />

21. f ( z)<br />

� .<br />

1�<br />

z � i<br />

22.<br />

f ( z ) �<br />

tg z<br />

23. f ( z)<br />

� e .<br />

ctg<br />

1<br />

z<br />

24. f ( z)<br />

� z �cosec<br />

z.<br />

.<br />

67<br />

25. .<br />

1<br />

f ( z)<br />

� cosec z �<br />

z<br />

� � �<br />

26. f ( z)<br />

� � z � i ��<br />

th z.<br />

� 2 �<br />

27.<br />

� � �<br />

f ( z)<br />

� � z � ��<br />

tg z.<br />

� 2 �<br />

28. f ( z)<br />

� z �cth<br />

z.<br />

29. f ( z)<br />

� z �ctg<br />

z.<br />

2 z<br />

30. f ( z)<br />

� z �ctg<br />

.<br />

Пример 12. Функцию f (z)<br />

разложить в степенной ряд в окрестности<br />

точки z0 (или внутри кольца), определить область сходимости полученного<br />

рядя, если:<br />

1<br />

1. f ( z)<br />

� ,<br />

2<br />

( z �1)<br />

z0<br />

� �.<br />

1<br />

2. f ( z)<br />

� ,<br />

2<br />

( z �1)<br />

z0<br />

� 0.<br />

1<br />

3. ( ) ,<br />

( 1)<br />

0 0.<br />

�<br />

f z �<br />

z z �<br />

z<br />

1<br />

4. ( ) ,<br />

( 1)<br />

0 1.<br />

�<br />

f z �<br />

z z �<br />

z<br />

1<br />

5. ( ) ,<br />

( 1)<br />

0 . � �<br />

1<br />

8. f ( z)<br />

� ,<br />

2<br />

z �1<br />

z0<br />

� �.<br />

1<br />

9. f ( z)<br />

� ,<br />

2 2<br />

( z �1)<br />

z0<br />

� 0.<br />

1<br />

10. f ( z)<br />

� ,<br />

2 2<br />

( z �1)<br />

z0<br />

� i.<br />

1<br />

11. f ( z)<br />

� ,<br />

2 2<br />

( z �1)<br />

z0<br />

� �.<br />

f z �<br />

z z �<br />

z<br />

12. ( ) ( 1)<br />

, 0 .<br />

1<br />

6. f ( z)<br />

� ,<br />

2<br />

z �1<br />

z0<br />

� 0.<br />

1<br />

7. f ( z)<br />

� ,<br />

2<br />

z �1<br />

z0<br />

� i.<br />

� � � � z z z z f<br />

13. ( ) 3 2<br />

f z � z ( z �1)<br />

, z0<br />

� �.<br />

14. ( ) 3 2<br />

f z � z(<br />

z �1)<br />

, z0<br />

� �.<br />

1<br />

15. ( ) ln , 0 . � �<br />

z �<br />

f<br />

z �<br />

z � i<br />

z


sin z<br />

16. f ( z)<br />

� , z0<br />

� 0.<br />

z z<br />

sin z<br />

17. f ( z)<br />

� , z0<br />

� �.<br />

z z<br />

cos<br />

18. ( ) , 0 . � �<br />

f z �<br />

z<br />

z<br />

z<br />

19. f ( z)<br />

� 3 ( z �1)(<br />

z � 2)(<br />

z � 3)<br />

,<br />

. � z<br />

0 �<br />

4 �1/<br />

z<br />

( 0<br />

20. f z)<br />

� z e , z � 0.<br />

3 �1/<br />

z<br />

( 0<br />

21. f z)<br />

� z e , z � �.<br />

1<br />

22. f ( z)<br />

� , 0 � z �1.<br />

z(<br />

1�<br />

z)<br />

1<br />

23. f ( z)<br />

� , 0 � z �1.<br />

2<br />

z ( 1�<br />

z )<br />

24. ( ) , 0 1.<br />

� � z z z f<br />

25. f z)<br />

� z ( z �1)<br />

, z � �.<br />

68<br />

( 4 3<br />

0<br />

26. f ( z)<br />

�<br />

z<br />

,<br />

( z �1)(<br />

z � 2)<br />

0 � z � 2.<br />

z �1<br />

27. f ( z)<br />

� , 0 � z � 2.<br />

z(<br />

z � 2)<br />

z � 2<br />

28. f ( z)<br />

� , 0 � z � 2.<br />

z(<br />

z �1)<br />

z � 4z<br />

29. f ( z)<br />

� сos , z0<br />

� 2.<br />

2<br />

( z � 2)<br />

2<br />

2<br />

z � 4z<br />

30. f ( z)<br />

� sin , z0<br />

� �2.<br />

2<br />

( z � 2)<br />

Пример 13. Вычислить с помощью вычетов контурный интеграл<br />

� f ( z)<br />

dz , где:<br />

z �R<br />

3<br />

�1/<br />

z<br />

1. f ( z)<br />

� z e , R �1.<br />

�1/<br />

z<br />

2. f ( z)<br />

� ze , R � 1.<br />

3. f ( z)<br />

� cosec z,<br />

R � � / 2.<br />

4. f ( z)<br />

� sec z,<br />

R � �.<br />

5. f ( z)<br />

� tg z,<br />

R � �.<br />

6. f ( z)<br />

� ctg z,<br />

R �1.<br />

7. f ( z)<br />

� cth z,<br />

R �1.<br />

2<br />

1<br />

8. f ( z)<br />

� sin , R � 1.<br />

z<br />

1<br />

9. f ( z)<br />

� z �cos<br />

, R �1.<br />

z<br />

2 1<br />

10. f ( z)<br />

� sin , R �1.<br />

z<br />

z<br />

11. f ( z)<br />

� , R � 2.<br />

2<br />

z �1<br />

z<br />

12. f<br />

( z)<br />

� , R � 2.<br />

5<br />

( z � 3)(<br />

z �1)


1<br />

13. f ( z)<br />

� , R �1.<br />

6<br />

z ( z � 2)<br />

1<br />

14. f ( z)<br />

� , R �1.<br />

5 2<br />

z ( z � 2)<br />

z<br />

15. f ( z)<br />

� , R � 2.<br />

6<br />

z �1<br />

� 1 �<br />

16. f ( z)<br />

� cos�<br />

cos �,<br />

R �1.<br />

� z �<br />

� 1 �<br />

17. f ( z)<br />

� z �sin<br />

�sin<br />

�,<br />

R �1.<br />

� z �<br />

� 3 1 �<br />

18. f ( z)<br />

� cos�<br />

z cos �,<br />

R �1.<br />

� z �<br />

� 3 1 �<br />

19. f ( z)<br />

� sin � z sin �,<br />

R �1.<br />

� z �<br />

1<br />

20. f ( z)<br />

� , R � 2.<br />

3<br />

( z � z )<br />

1<br />

21. f ( z)<br />

� , R � 2.<br />

4<br />

( z � z )<br />

грал �<br />

69<br />

1<br />

22. f ( z)<br />

� , R � 2.<br />

2 2<br />

( z �1)<br />

1<br />

23. f ( z)<br />

� , R � 2.<br />

2 2<br />

( z �1)<br />

sin z<br />

24. f ( z)<br />

� , R � 4.<br />

2<br />

( z ��<br />

)<br />

cos z<br />

25. f ( z)<br />

� , R � 3.<br />

2<br />

( z ��<br />

/ 2)<br />

tg z<br />

26. f ( z)<br />

� , R �1.<br />

2<br />

z<br />

th z<br />

27. f ( z)<br />

� , R �1.<br />

2<br />

z<br />

сtg z<br />

28. f ( z)<br />

� , R �1.<br />

z<br />

cth z<br />

29. f ( z)<br />

� , R �1.<br />

z<br />

1<br />

30. f ( z)<br />

� z �tg<br />

, R �1.<br />

z<br />

Пример 14. Вычислить с помощью вычетов определенный инте-<br />

b<br />

a<br />

f ( x)<br />

dx , где:<br />

1<br />

1. f ( x)<br />

� ; a � 0,<br />

b � 2�<br />

.<br />

2 � сos x<br />

1<br />

2. f ( x)<br />

� ; a � 0,<br />

b � 2�<br />

.<br />

2 � sin x<br />

1<br />

3. f<br />

( x)<br />

� ; a � 0,<br />

b � 2�<br />

.<br />

2 � сos x


1<br />

4. f ( x)<br />

� ; a � 0,<br />

b � 2�<br />

.<br />

2 � sin x<br />

cos x<br />

5. f ( z)<br />

� e �cos(<br />

2x<br />

� sin x);<br />

a � 0, b � 2�<br />

.<br />

cos x<br />

6. f ( x)<br />

� e �cos(<br />

3x<br />

� sin x);<br />

a � 0, b � 2�<br />

.<br />

7. f ( x)<br />

� tg( x � i�<br />

/ 3);<br />

a � 0, b � 5�<br />

.<br />

8. f ( x)<br />

� сtg( x � i�<br />

/ 3);<br />

a � 0, b � 5�<br />

.<br />

1<br />

9. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2 2<br />

( x � 4)<br />

2<br />

x<br />

10. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2 2<br />

( x �1)<br />

x cos x<br />

11. f ( x)<br />

� ; � a � b � �.<br />

2<br />

x � 2x<br />

�10<br />

xsin<br />

x<br />

12. f ( x)<br />

� ; � a � b � �.<br />

2<br />

x � 4x<br />

� 20<br />

sin x<br />

13. f ( x)<br />

� ; � a � b � �.<br />

2<br />

x � 2x<br />

�10<br />

x cos x<br />

14. f ( x)<br />

� ; � a � b � �.<br />

2<br />

x � 4x<br />

� 20<br />

cos x<br />

15. f ( x)<br />

� ; � a � b � �.<br />

2<br />

x � 5x<br />

� 6<br />

xsin<br />

x<br />

16. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x �1<br />

cos x<br />

17. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x �1<br />

sin x<br />

18. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

x<br />

sin 2x<br />

19. f<br />

( x)<br />

� ; � a � b � �.<br />

x � 3<br />

70


cos 2x<br />

20. f ( x)<br />

� ; � a � b � �.<br />

x � 3<br />

sin x<br />

21. f ( x)<br />

� ; � a � b � �.<br />

2<br />

( x �1)(<br />

x � 4)<br />

sin x<br />

22. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x ( x � 4)<br />

cos x<br />

23. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2 2<br />

( x �1)<br />

1<br />

24. f ( x)<br />

� �(cos<br />

2x<br />

� cos 4x);<br />

a � 0,<br />

b � �.<br />

2<br />

x<br />

cos x<br />

25. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x �1<br />

xsin<br />

x<br />

26. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x �1<br />

1<br />

27. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x �(<br />

x �1)<br />

1<br />

28. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

3 2<br />

x �(<br />

x �1)<br />

ln x<br />

29. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x �1<br />

2<br />

ln x<br />

30. f ( x)<br />

� ; a � 0,<br />

b � �.<br />

2<br />

x �1<br />

Пример 15. Используя методы операционного исчисления, решить<br />

предложенные задачи Коши для обыкновенных дифференциальных<br />

уравнений (для систем таких уравнений), или вычислить определенные<br />

интегралы, или решить интегральные уравнения. Все параметры a,b>0 .<br />

1. y �� � 2y� � 2y(<br />

x)<br />

�1;<br />

y(<br />

0)<br />

�1,<br />

y�(<br />

0)<br />

� 2.<br />

2. y<br />

�� � 6y� � 9y(<br />

x)<br />

� 2;<br />

y(<br />

0)<br />

� 1,<br />

y�(<br />

0)<br />

� 3.<br />

71


3. y �� � y�<br />

� 6y( x)<br />

� 2;<br />

y(<br />

0)<br />

�1,<br />

y�(<br />

0)<br />

� 0.<br />

�<br />

�<br />

e<br />

0<br />

ax<br />

4. � sin bx dx.<br />

5. y �� � 9y( x)<br />

� 2 � x;<br />

y(<br />

0)<br />

� 0,<br />

y�(<br />

0)<br />

�1.<br />

6. y �� � 4y( x)<br />

� 4x;<br />

y(<br />

0)<br />

�1,<br />

y�(<br />

0)<br />

� 0.<br />

7. y �� � 4y( x)<br />

� 2cos<br />

2x;<br />

y(<br />

0)<br />

� 0,<br />

y�(<br />

0)<br />

� 4.<br />

�<br />

sin ax<br />

8. � dx.<br />

x<br />

0<br />

3<br />

9. y �� � y(<br />

x)<br />

� x � 6x;<br />

y(<br />

0)<br />

� 0,<br />

y�(<br />

0)<br />

� 1.<br />

10. y �� � y(<br />

x)<br />

� cos x � sin 2x;<br />

y(<br />

0)<br />

� y�(<br />

0)<br />

� 0.<br />

2x<br />

11. y��<br />

� 4y(<br />

x)<br />

� 4e<br />

; y(<br />

0)<br />

�1,<br />

y�(<br />

0)<br />

� 0.<br />

�<br />

�<br />

e<br />

0<br />

ax<br />

12. � sin x �cosbx<br />

dx.<br />

13. y �� � 2y� � y(<br />

x)<br />

� x � 2;<br />

y(<br />

0)<br />

� y�(<br />

0)<br />

� 0.<br />

x<br />

14. y��<br />

� 9y( x)<br />

� e ; y(<br />

0)<br />

�1,<br />

y�(<br />

0)<br />

� 0.<br />

15. y �� � 4y� � 4y(<br />

x)<br />

� 2sin<br />

x;<br />

y(<br />

0)<br />

� y�(<br />

0)<br />

� 0.<br />

� �<br />

sin bx<br />

16. � e dx.<br />

x<br />

ax<br />

0<br />

� dy<br />

�<br />

� 3z<br />

� y;<br />

17. dx<br />

�<br />

y(<br />

0)<br />

� z(<br />

0)<br />

� 0.<br />

dz<br />

x<br />

� � z � y � e ,<br />

�dx<br />

18. y �� � y(<br />

x)<br />

� sin 2x;<br />

y(<br />

0)<br />

�1,<br />

y�(<br />

0)<br />

� 0.<br />

�dy<br />

�<br />

� 2y<br />

� 3z;<br />

19. dx<br />

�<br />

y(<br />

0)<br />

� z(<br />

0)<br />

� 0.<br />

dz<br />

� � y �1,<br />

� dx<br />

72


�<br />

dx<br />

20. � (cos ax � cosbx)<br />

.<br />

x<br />

0<br />

�x<br />

21. y��<br />

� y(<br />

x)<br />

� 2 � e ; y(<br />

0)<br />

� 0,<br />

y�(<br />

0)<br />

� 0.<br />

22. y�� � 6y� � 5y(<br />

x)<br />

� 3x;<br />

� y(<br />

0)<br />

�1,<br />

y�(<br />

0)<br />

� 2.<br />

23. y�� � 6y� �13y(<br />

x)<br />

� 2x;<br />

� y(<br />

0)<br />

� 0,<br />

y�(<br />

0)<br />

� 2.<br />

�<br />

x sin x<br />

24. � dx.<br />

3<br />

x<br />

�<br />

0<br />

�<br />

1 cos ax<br />

25. � dx.<br />

2<br />

x<br />

�<br />

0<br />

�<br />

sin ax � a �sin<br />

x<br />

26. �<br />

dx.<br />

2<br />

x<br />

0<br />

27. sh x � cos( x ��<br />

) � y(<br />

� ) d�.<br />

2<br />

� x<br />

0<br />

28. sin x � sin( x ��<br />

) � y(<br />

� ) d�.<br />

� x<br />

x<br />

0<br />

29. y( x)<br />

� � e � y(<br />

� ) d�<br />

� cos3x.<br />

0<br />

�(<br />

x��<br />

)<br />

30. y( x)<br />

� sin( x ��<br />

) � y(<br />

� ) d�<br />

� x .<br />

� x<br />

0<br />

3<br />

Пример 16. Пользуясь теоремой Руше, найти количество лежащих<br />

внутри круга z �1<br />

корней заданных уравнений:<br />

7<br />

4<br />

1. z � 5z<br />

� z � 2 � 0.<br />

5<br />

3<br />

2. 2z<br />

� z � 3z<br />

� z � 8 � 0.<br />

9<br />

6<br />

3. z � 2z<br />

� z �8z<br />

� 2 � 0.<br />

4<br />

4. z � 7z<br />

�1<br />

� 0.<br />

2<br />

2<br />

2<br />

73<br />

7<br />

4<br />

5. z � 5z<br />

� z � 2 � 0.<br />

4<br />

6. z � 8z<br />

�10<br />

� 0.<br />

5<br />

3<br />

7. 2z<br />

� z � 3z<br />

� z �8<br />

� 0.<br />

6<br />

8. z<br />

� 6z<br />

�1<br />

� 0.<br />

2<br />

2


5<br />

9. z � 8z<br />

�11<br />

� 0.<br />

9<br />

6<br />

10. z � 2z<br />

� z � 8z<br />

� 2 � 0.<br />

4<br />

11. z � z � z �1<br />

� 0.<br />

4<br />

7 2<br />

12. z � z � z �1<br />

� 0.<br />

8<br />

5 2<br />

13. z � z �1<br />

� 0.<br />

7<br />

4 2<br />

14. z � z �1<br />

� 0.<br />

7<br />

3 2<br />

15. z � z �1<br />

� 0.<br />

7<br />

5 2<br />

16. z � z � 2 � 0.<br />

5<br />

4 2<br />

17. z � z � z �1<br />

� 0.<br />

5<br />

5 2<br />

18. z � z � 2z<br />

�1<br />

� 0.<br />

5<br />

5 2<br />

19. z � z �1<br />

� 0.<br />

4 2<br />

2<br />

74<br />

5<br />

20. z � z � z �1<br />

� 0.<br />

4<br />

6 2<br />

21. z � z � z � 5 � 0.<br />

4<br />

8 2<br />

22. z � z � 3 � 0.<br />

3<br />

5 2<br />

23. z � z �1<br />

� 0.<br />

3<br />

5 2<br />

24. z � z � z �1<br />

� 0.<br />

3<br />

6 2<br />

25. z � z � 2z<br />

� 2 � 0.<br />

5<br />

7 2<br />

26. z � z �12<br />

� 0.<br />

5<br />

6 2<br />

27. z � z � z �1<br />

� 0.<br />

5<br />

7 2<br />

28. z � z � z � 4 � 0.<br />

5<br />

8 2<br />

29. z � 4z<br />

�1<br />

� 0.<br />

5<br />

30. z<br />

� z �1<br />

� 0.<br />

5 2


СПИСОК ЛИТЕРАТУРЫ<br />

1. Свешников А.Г., Тихонов А.Н. Теория функций комплексной переменной.<br />

– М.: Наука, 1979. – 319 с.<br />

2. Лаврентьев М.А., Шабат Б.В. Методы теории функций комплексного<br />

переменного. – М.: Наука, 1987. – 688 с.<br />

3. Сидоров Ю.В., Федорюк М.В., Шабунин М.И. Лекции по теории<br />

функций комплексного переменного. – М.: Наука, 1982. – 477 с.<br />

4. Волковыский Л.И., Лунц Г.Л., Араманович И.Г. Сборник задач по<br />

теории функций комплексного переменного. – М.: Наука, 1975. – 320 с.<br />

5. Шелковников Ф.А., Такайшвили К.Г. Сборник упражнений по операционному<br />

исчислению. – М.: Высш. школа, 1978. – 184 с.<br />

6. Тихонов А.Н., Самарский А.А. Уравнения математической физики. –<br />

М.: Наука, 1977. – 724 с.<br />

7. Кошляков Н.С., Глинер Э.Б., Смирнов М.М. Уравнения в частных<br />

производных математической физики. – М.: Высш. школа, 1970. – 712 с.<br />

8. Сборник задач по теории аналитических функций / Под ред.<br />

М.А. Евграфова. – М.: Наука, 1972. – 416 с.<br />

9. Сборник задач и упражнений по специальным главам высшей математики<br />

/ Под ред. Г.И. Кручковича. – М.: Высш. школа, 1970. – 512 с.<br />

10. Лунц Г.Л., Эльсгольц Л.Э., Араманович И.Г. Функции комплексного<br />

переменного. Операционное исчисление. Устойчивость движения. –<br />

М.: Наука, 1968. – 416 с.<br />

11. Шахно К.У. Элементы теории функций комплексной переменной и<br />

операционного исчисления. – Минск: Вышейш. школа, 1975. – 400 с.<br />

с илл.<br />

12. Грищенко А.Е., Нагнибида Н.И., Настасиев П.П. Теория функций<br />

комплексного переменного (Решение задач). – К.: Вища шк., 1986. – 336 с.<br />

75


Навчальне видання<br />

Кондратьєв Борис Володимирович<br />

МЕТОДИЧНІ ВКАЗІВКИ<br />

до розвʼязку задач з теорії функцій<br />

комплексного змінного<br />

для студентів радіофізичного<br />

та фізичного факультетів<br />

Коректор Л. Є. Стешенко<br />

Комп’ютерна верстка Н. Є. Пруднік<br />

Макет обкладинки І. М. Дончик<br />

Формат 60х84/16. Умов. друк. арк. 3,98. Наклад 100 прим. Зам. № 23/11<br />

Видавець і виготовлювач<br />

Харківський національний університет імені В. Н. Каразіна,<br />

61077, м. Харків, пл. Свободи, 4.<br />

Свідоцтво суб’єкта видавничої справи ДК № 3367 від 13.01.2009<br />

Видавництво ХНУ імені В. Н. Каразіна<br />

Тел. 705-24-32<br />

76

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!