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