Вы находитесь на странице: 1из 6

1. поле С комплексных чисел. Модуль и 2. Соответствие, устанавливаемое ai=const Опр.Ф-я w=f(z) наз.

равномерно
аргумент комплексного числа.  сферическими проекциями яв-ся z-аргумент. непрерывной на мн-ве Е, если
3. z=iy при у>0 argz= при у<0 argz=-
Окрестности. конформным, т.е. сохраняет углы. Пусть ф-я w=f(z) определена и непрерывна
Системы комплексных чисел – это объект 2 3. Отображение из С в С, его (  0)(   ( ))(z1, z2 
изучения алгебры, в котором они возникают действительные и мнимые части. Прелел во всех точках, кроме точки z0 .
как упорядоченные пары действительных  и непрерывность ф-ии комплексного Опр. Комплексное число А наз. пределом ф-
( z1  z2    f ( z1)  f ( z2 )
чисел. переменного.
В курсе математического анализа 2 Понятие функции комплексного z0 .
комплексные числа удобнее рассматривать в переменного является частным случаем ии f(z) в т. если 4.степенные ряды в комплексной области.
,
Argz  arg z  2k k- общего понятия функций. В этом случаи Теорема Абеля. Круг сходимости.
z  x  yi (  0)(   ( ))(Будем
zрассматривать
 z0 ) функциональные посл-
виде где х- дейтв. целое число. Из геометр соображ ясно что область определения и множ значений как
правило являются подмнож множ С, т.е. ти и функ-ые ряды. По аналогии с
Часть, у – мнимая часть.i- мнимая единица. х
= Rez, y=Imz. Над компл. Числами можно
x  z * cos Argz ( z  z0    ( f ( z )предыдущей
 A)   )рядов очевидно, что все
теорией
Е1  С , Е 2  С ф-ции должны иметь общую обл опр-ия Е.
y  z * sin Argz .
выполнять арифм опреации: +, -, *, /,

 

т
, соотв формулы получ с учетом
,
z  x  yi
Z  E1 W  E2 lim f ( z )  A тогда для любого
z0  E
получаем
  область множ z  z0 соотв-ую посл-ть и ряд.
z  z (cos Argz  i sin Argz опред. ) знач. 
i 2  1
, - тригонометрическая форма записи С числа.
z-множ т. Из обл. опред.
. .
 f n ( z0 )  un ( z0 ) к

z1  x1  iy1 Используя формулы Эйлера z  x  i  y , n 1


отрые будут явл-ся соотв-но числовой посл-
eiz  cos z  i sin z wu  iv тью и числовым рядом, членами котрых
z 2  x 2  iy 2 п будут С числа.главным вопросом в теории
e iz  cos z  i sin z w=f(z) E1  E 2 посл-ти и в теории рядов явл-ся вопрос об
z  z1  z 2  ( x1  x 2 ) олучим  y2 )
i ( y1 показательную формулу записи Где z-аргумент, w-функция. Для  -окрестности найдется такая -
обл-ти сходимости функц посл-ти и функц

eiArgz
И этого следует, что задание функции 
z  z1 * z 2  ( x1 x 2  y1компл  i( x
y 2 )числа z  y z * x y ) -
комплексного переменного связано с окрестность т. z0 z-плоскости, которая ряда, т.к при подстановке вместо z
1 2 2 1
показательная формула записи. Для заданием двух функций целиком отображается в -окрестность т.А. z
0
z1 1( x  iy )( x  iy )
1
дальнейшего рассмотрения важно понятие u  u ( x, y ) , v=v(x,y)
2 2
Пусть ф-я , функц ряд(посл-ть) может оказаться
z  
окрестности С числа.  окрестностью т- w=u(x,y)+i∙ v(x,y)
как
f ( z )  u ( x, y )  iv ( x,в y ) случае
сход-ся так и расходящейся. В частности
степенного ряда
z2 2( x  iy )( x  iy )
2 2 z 2наз-ся мн-во т-к компл пл-ти Rew=Ref(z)=u(x,y) 
ки 0 Imw=Imf(z)= v(x,y) z 0  x 0  iy 0
( x x  y y )  i( x y  x y )
1 2 1 2 2котрое 1 2 z  z0   Наоборот
1 удовл-ет задание пары функций двух дейст. , , cn z n

как и в случае действ
 переменных можно расценивать как задание A  a  bi n 0
2 2
x2  y 2  0
функции комплексного переменного.

u  u ( x, y )
. переменной Х имеет место теорема Абеля.

lim f ( z)  A 
  w  f ( z) Теорема Абеля: функц ряд вида
v  v ( x, y )


Геометрическая интерпритация компл числа 
возникает в результате соотв-ия мн-ва С z xi y
z  z0  cn ( z  z0 ) n  c0  c1( z  z0 )
чисел и мн-ва т-к пл-ти, т.е. каждому компл
числу ставится в соотв-ие т-ка пл-ти корд-ты
z0 
n 0
lim u ( x, y )  a называется степенным рядом (общий случай)
которой, представляют собой действ и
zz x  x0 ;
в частности
мнимую часть числа С.
x
y  y0

lim v ( x, y )  b
z  x  yi  ( x, y ) ; 2 x  x0 .Справедливы 
 cn z n cn z n 
y  y0

основные теоремы о пределах.  c0  c1 z  ... 


( x, y )  z  x  yi 2. Расширенная комплексная плоскость.  n0
её z  x  i  y
x, y  R  - аргумент.
Стереографическая
основные свойства.
проекция;
lim f ( z)  A ,
т.к явл-ся степенным; заметим что посл ряд
отл-ся от первого простым преобразованием
Для дальнейшего построения теории удобно
расширить описанную выше конечную z-
 zz 0
(сдвигом). В дальнейшем мы будем всю
у
плоскость, присоединив к ней одно zz теорию рассматривать для этого частного
несобственное число ∞. Наглядная модель y 
случая, а «переложить» ее на общий случай

z
Z(x,y) расширения возникает с помощью
стереографической проекции (см. рис.). Таким
2i
образом задание функции
lim f ( z)  A ,то 1)
можно воспользовавшись указанным
преобразованием, что степенные ряды имеют
комплексного переменного эквивалентно zz 0
область сходимости специального вида: вид
этой обл можно усмотреть из т. Абеля. Т: 1)


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

lim ( f ( z )  q( z))  A  B  c z
n
иллюстрируется отображением множ т. z- если ряд (1) n сходится в
х плоскости на множ т. w-плоскости. n 0
В частности при определенных
ограничениях взаимная однозначность
zz 0 z0  0
поэтому с компл числом связано 2 его хар-ки: т-ке то он сходится в любой т-
отображ и не прерывность w=f(z) будем
1. модуль компл числа это длина вектора, ;
Точки сферы единичного радиуса иметь отображение областей (это связанное z  z0
исходящего из начала корд, с концом в т-ке z. 2) ке z, удовл-ий нер-ву 2)
Аргумент C числа Z это величина угла проектируют из “северного полюса” на открытое множ при чем граница переходит в
“экваторную ” плоскость. Возникает вз.- границу)
lim ( f ( z)  q( z))  A  B
между действ осью ОХ и соотв радиусом если ряд (1) расходится в любой т-ке удовл
однозн. соотв. м/у точками сферы и пл., при w=f(z)
нер-ву z  z1 . Док-во: т.к ряд (1)
x2  y 2 кот. верхней полусфере соответствует
вектора. z  . В
внешность единичного круга на пл., а его zz 0
данном случае, плоскость в кот отмечалось внутренность соответствует нижней сходится в т-ке x0 , то ряд
компл число наз-ся компл пл-тью или z – пл- полусфере; “южному полюсу” S соотв. ;

тью. Ось OX- действ ось, ОУ- мнимая ось. 3)
Центр окр. О, а “северному” N ~ ∞.
c
n
Мн-во компл чисел с введением на нем Единственность т. ∞, создающей 1. w=z2
z
n 0  cz
 z , ,*  расширенную компл. пл., наглядно f ( z) A n0

операц +,*,
образуют поле, это поле наз-ся компл и
иллюстрируется тем, что любому варианту z  x  i  y lim ( q( z ) )  B , Bобщий
0 член этого ряда:
неограниченного удаления от т. О по пл.
z с2n z0n  0, при n  
обозн-ся С. Т.о нами установлено соотв-ие м- соответствует приближение к N по сфере. w  ( x  i  y ) 2  x 2  2 xiy zi02 y 2  x 2  2 xiy  y
ду полем компл чисел и пл-тью. Аргумент Естественно поэтому, что окрестность т. ∞ (по необходимому признаку сходимости)
.
компл числа опр-ся неодн-но, с точностью до определяется как внешность любого круга. u(x,y)= x 2  y 2
Пусть ф-я w=f(z)определена в некоторой
2к Напр.: окрест-ю ∞ будет мн-во компл. ч. z, значит (cn z0n )  M (n- по
слаг-го где k-целое число.Argz- для кот-х |z|>R, где R фиксир. действ. ч., v(x,y)=2xy окрестности z0 .
аргумент. Аргумент можно вычислить с R>0. модулю ограничено.) рассмотрим теперь
2. w= z модуль общего члена степенного ряда (1)
учетом ограничений Опр.Ф-я w=f(z) наз.непрерывной в т.
Данная функция является однозначной
     z0 , если 
при этом,
получается главное значение аргумента
только в одну сторону, т.к. всем точкам w=R
z
 cn z n
произведем его оценку

lim f ( z ) 
n 0
компл числа, которое обоз-ся ставят в соответствии = R это
окружность с центром в т. (0;0) и радиусом
f ( z0 )
  Argz  
. Получим R. Следовательно в обратную сторону
zz zn zn
формулу для вычисления главного значения отображение многозначное. 0 с n z n  c n z 0n *  cn z n
n
аргумента с учетом того что Говоря о функции комплексного
.
z 0 z 0n
Понятие модуля, аргумента, действ. и переменного мы будем иметь в виду Опр.Ф-я
 y  мнимой части для ∞ не вводится; ∞ компл. ч. однозначное отображение, но случай когда где М>0 z-фиксировано.
  аrgtg  . не является, но с ∞ возможны некоторые одному прообразу соответствует более f ( z )  u ( x, y )  iv ( x, y )
2 x 2 операции, напр., для комл. ч. z, ∞±z-∞; одного образа множ, бесконечное множ), не  zn
z/∞=0; ∞/z=∞; при z≠0 z∙∞=∞ и z/0=∞ и т.п. будет исключением в дальнейших явл. непрерывной в т. z =x+iy, если ф- M* 
0 z0n
 y
 arctg ; x  0
 Лишены xсмысла конструкции ∞±∞, 0/0, ∞/∞, рассуждениях. Речь тогда пойдет о n 0
0, ∞. x   ; x  0,

 y
arg z   arctg многозначных
y  функциях.
0 ии u(x,y) и v(x,y) – непрерывны в т.


Основные
yсв-ва:
  ; x  0, y  0
3. w=Argz – функция многозначная мажорирущ для ряда (1). Рассмотрим
т.к. ( x 0 , y 0 )
 arctg

1. окружности на сфере соответствуют бесконечно-значная,
 x
. n
Особые случаи:1. z=x, при x>0 argz=0 при окружностям на пл., причем окружностям, 
z  0, Argz  arg z  2 f(z),   цел.числ . z z
x<0 argz=  проходящим ч/з центр сферическим
Опр.Ф-я – наз.непрерывной в области,
w= если она непрерывна в каждой точке этой
g 
z0
 1  M
z0

проекциям, соответствуют на пл. прямые 4. области. Для непрерывных ф-ий n 0
2. z=0 аргумент не опр-ся линии. 2 3
а 0  а1 z  a 2 z  a3 zсправедливы    теоремы о непрерывности. f(z) будет рядом, состоящим из членов геометр.
+q(z); f(z)*q(z); f(z)/q(z),q(z)не=0.
 Таким образом задание функции 

u

v в точке: Праобраз
Прогрессии со знаменателем g<1. он комплексного переменного эквивалентно  x y Образ
заданию пары функций двух действительных  u v
 

u
 
v
f ' ( z)  i Угол наклона касательной к оси OX
сх-ся. ряд (1) сх-ся абсолютно для переменных, а геометрически оно  y x
x x
указанных значений z. 2) пусть ряд (1) расх- иллюстрируется отображением множ т. z- Д-во:Ранее было arg ( z(t0 ))
ся в т-ке z1, покажем, что в любой т-ке z, где плоскости на множ т. w-плоскости. Опр:Ф-ия W=f(z) называется аналит а т.z0 совпадает с .
В частности при определенных f  f ' ( z ) z  z ( ,если она имеет производную в некотор окр-
z  z1 Действительно: Угол наклона
ограничениях взаимная однозначность ти в этой т. z0, вкл z0/
ряд расх-ся. отображ и не прерывность w=f(z) будем *) секущей(направление секущей) совпадает с
Опр:Ф-ия W=f(z) наз-ся аналит в некотор
Предположим, что ряд в т-ке z сх-ся. Тогда иметь отображение областей (это связанное 1.НЕОБХОДИМОСТЬ
дано:f(z)-диффер. док-ть:1),2)
обл,если она диффер-ма в каждой т этого f ( z )  f ( z0 ) f (t )  f (t0 )
z 2  z по первой части теоремы открытое множ при чем граница переходит в док-во:по условию ф-я f(z)-дифф. значит
множ-ва. 
рядв т-ке z должен сх-ся, что противоречит
границу)
w=f(z) выполняется (*) 6.Гармонические функции; их связь с z  z0 t  t0
аналитическими функциями.
усл-ию, т.к в т z по усл-ию ряд (1) расх-ся f ' ( z )  a  bi Восстановление аналитической функции .
ч.т.д. вывод Т. Абеля позволяет установить по действительной или мнимой части. Тоесть ее угол с осью абцисс совпадает с
специальный вид обл сх-ти, который для z  x  iy Если предположить, что ф-ии υ(x;y), иu аргументом этого числа. Остается лишь
случая компл переменных пред собой круг (x;y) для аналитической ф-ии f(z)=u+iυ
сход. 1) ряд f  u  iv имеют вторые производные, то легко док-ть, перейти к пределу t  t0 .
 1. w=z2 что каждая из них удов-ет так называемому
 cn ( z  z0 ) n
z  z0  zR x  i  y  
 1 i 2  ур-ию Лапласа: Пусть диффер. Ф-ия w  f (z )
n 0 Подставим все эти выраж-я в равенство (*) и  2  2u отображает обл. G в W -
w  ( x  i  y ) 2  x 2  2 xiy 2 действ.
y 2  иx
 вiнем
разделим 2 части
мним 2 xiy  y 2 0  .
2 2 w( z0 )  0
R u(x,y)= x 2  y 2
u  iv  (a  ib )z (x1  iy 2 )z плоскость, причем .
Ф-ия двух дейст. переменных наз-ся
v(x,y)=2xy u  iv  ax  aiyгармонической 
 1xв области  1iG,y если
 она Тогда для образа исходной кривой в
W
обладает непрерывными частными
z0 2. w= z

 i (bx  biy  2 ) производными 2-го порядка и удов-ет ур-ию
- плоскости, угол наклона касательной
определяется так:
Данная функция является однозначной Лапласа. Т.о. верно утверждение: дейст. и
R- радиус сходимости. 2) только в одну сторону, т.к. всем точкам w=R 
v  ay  1y  мнимая    части
bаналитической
x ф-ии в области
z = R это  G2 яв-чя гармоническими в G. Пример: Arg W   Arg (W z  Z t )  A
 ставят в соответствии
 cn z n z  R  
u  ax  by  1поxус-ям: u(x;y)=x4-6x2y2+y4, f(0)=0. Для
восстановить аналитическую ф-ию w=f(z)
Угол наклона у образа отличается от угла
окружность с центром в т. (0;0) и радиусом
n 0 наклона у праобраза касательной на первое
R. Следовательно в обратную сторону Ф-ии u(х;у) и v(x;y)- это ф-ии двух действ-х начала нужно проверить яв-ся ли ф-ия
отображение многозначное. переменных,условия системы гарантирует гармонической, т.е. удов-ет ли ус-м Лапласа:
слагаемое Arg Wz  .
Говоря о функции комплексного дифф. этих ф-ий в точке (х;у),т.к.
переменного мы будем иметь в виду  2u  2u
однозначное отображение, но случай когда  1  0,  2  0, х  0, у  0 0 . Arg Wz не зависит от
одному прообразу соответствует более x 2 y 2
одного образа множ, бесконечное множ), не  v  ay  bx

выбора исходной кривой, т.е. любая кривая
будет исключением в дальнейших  u  аx  вy
u 3 2 проходящая через точку z 0 в результате
рассуждениях. Речь тогда пойдет о Ранее было.что  4 x  12 xy ,
По аналогии с предыдущей теорией можно многозначных функциях. 
du 
u
dx 
u x 
dy отображения повернется на угол
сформировать понятие равномерной 3. w=Argz – функция многозначная  x y
сходимости степенного ряда и теоремы о св- бесконечно-значная,

т.к. dv  v dx  v dy 2  Arg W ( z 0 )
  u .
2 ,    12 x 2  12 y 2 Вывод: Это и есть геометрический смысл
ах степенных рядов.1) у авномерной z  0, Argz  arg z  x y
 цел.числ .
сходимости степенного ряда внутри круга 2
сходимости. 2) о непрерывности суммы 4. w=
 u

 x

v
y
x аргумента производной.
степенного ряда внутри круга сходимости 3) 2 3 
 u v
о возможности почленного а 0  а 1 z  a 2 z  a 3 z       u
 4 y 3  12 x 2 y ,
 y x

дифференцирования и интегрирования ai=const
степенного ряда внутри круга сходимости.
y
z-аргумент. 2.ДОСТАТОЧНОСТЬ
Понятие производной и дифференциала ф- дано:1),2). док-ть: f(z)-дифф-ма .Док-во:
5. Дифференцируемость и производная ии компл-го переменного.  2u Если даны 2 кривые, а угол между этими
функции комплексного переменного. Внешне (формально) опр-е производной ф-  v  12 y 2  12 x 2 . 
Условия Коши-Римана. Понятие ии в точке аналитично опр-ю производной ф- из 1ого условия  ∆u= ∆ y 2 кривыми равный , то при отображении
аналитической функции. ии дйствительного аргумента. x кривые повернутся, а угол между ними
Понятие функции комплексного сохранится.
переменного является частным случаем f f (zu0  z )  f ( z0 ) 7.модуля Геометрический смысл аргумента и Опр. Отобр. задаваемое аналитической ф-ей
общего понятия функций. В этом случаи f ' ( z )  lim  lim x   y    x    y производной аналитической сохран. Углы между кривыми проходящих
0 1 2функции. Конформные отображения.
область определения и множ значений как z 0 z z 0 y z через данную точку называется конформным
правило являются подмнож множ С, т.е.
Аналогично с ф-ей действительного f ( z )  вИзfданной
( z0точке.
) ясно, что отображение будет
Е1  С , Е 2  С переменного можно ввести понятие v  v x  v y  f' ( z0 )  l im предыдущей
1 x   2zyz z  z
конформным, если w( z )  0 .
x y
.
дифференциала. 0 0
Z  E1 W  E2
f  f ( z0  z )  f ( z0 )  f  (uu  iv) v ul im
При отображении угол сохраняется, а
f ( z)  f ( z0 )плоскости может поменяться,
ориентация

 
область множ
u  iv  x  f ' (
xi 0z ) y  1x  при этом говорят о конформном
опред.
z-множ т.
знач.
Из обл. опред.  u ( x0  x, y0  y )  u ( x0 , y0 ) x x y z  z0 z z0 1-го рода.
отображении

 
Если ориентация не меняется, то конформное
z  xi y ,
 i ( v( x0  x, y0  y
) vv(xyi y0)) xi
0,  u iМодуль
v  zyi отображении 2-го рода.
1 2 y  z 2 0 - расстояние от т. Т.: Отображение посредством аналитической
wu  iv Важное знач. имеет запись: y функции w  f ( z ) явл.
w=f(z)
f  f ' ( z0 ) z  z Подставить Коши-Римона
z до т. z0
конформным отображением 1-го рода во
E1  E 2 Домножим второе равенство на I и сложим с
(*) первым. f ( z )  f ( z0 ) - расстояние Z
Где z-аргумент, w-функция. всех точках точках - плоскости, для
И этого следует, что задание функции u  ivУчитывая равенство частных производных между их образами.
W  0
комплексного переменного связано с f ' ( z0 )  lim получим:
z  z0
которой

заданием двух функций z  0 z u v


При переходе к пределу при

u  u ( x, y ) , v=v(x,y) (*)-получили по 3 св-ву бесконечно малой ф- f  x  i ( 1 расстояний


x отношения i1 )этих ( 2можно
x модулей  i8. 2Линейная
)y функция и конформное
ии,отличается от своего предела на x x трактовать как коэффициент растяжения в отображение, задаваемое ею.
w=u(x,y)+i∙ v(x,y) бесконечно малую ф-ию. Сравнивая полученное с равенством (*) и данной т. z w  az  b
Rew=Ref(z)=u(x,y) 0 при данном отображении.
обозначая
Imw=Imf(z)= v(x,y) df  f ' ( z0 ) z , z  dz , df ч/з f ' ( z0 ) dz a, b - комплексные числа.
Наоборот задание пары функций двух дейст. Пр. f ' ( z0 )  2 - то расст.
-дифференци-ая ф-ия.
переменных можно расценивать как задание 1 z - переменная.
функции комплексного переменного.
Правила дифферен-ия:   (( 1  i1 )x Между ( 2 образ.
 i )y
в 2 раза
2
больше
) чем между

u  u ( x, y )
1.(CW)’=CW’, C=const
2.(f1f2)’=f1’f2+f1f2’
z праобразами, т.е. любая окрестность радиус a  0 w  a  0
  w  f ( z) которой в 2 раза больше
v  v ( x, y )

3.(f1+f2)’=f1’+f2’
 u v  k  f ' ( z0 ) . При этом z    W  
z  xi y
4.(f1/f2)’=(f1’f2-f1f2’)/ f 22 f    i 
 z  z Рассмотрим частные случаи
 x  x G
Z - плоскости
 Пусть в области в a 1 w  z  b
5.W=f(z), z=z(  ), W’=(dW/dz)(dz/d 
) (**)
zz задано Жорданова гладкая кривая 1)
x Необходимое и достаточное условие дифф- получим (**) где при
z  z (t ),   t   , y
2 ти ф-ии комплексного переменного. z  0, x  0, y  0
f ( z )  u ( x, y )  iv ( x, y ) рассмотрим случай, для которой z
 и   бес.мал.
z  x i y Т:Ф-ия f(z) диффер-ма в точке z=x+iy т.и z(t )  0 . b x
т,к:1)ф-ии u(x;y) и v(x;y) диффер-ма в точке достаточность доказана.
 (x;y),как ф-ии двух действ-х Замечание: в ходе док-ва была получена z (t0 ) v b
переменных.2)Выполняются условия Коши- формула для вычисления производной ф-ии Известно, что в каждой точке
zz Римана: существует касательная понимаемая как
y предельное положение секущей. z
2i (рис.) u
Задает параллельный перенос на вектор функция превращается в линейную. Если окажется, что какое-то из чисел
 z 2n
задаваемый числом
b
.
z
d z1, z2 , z3 , w1, w2 , w3   cos z   (1)n ( 2n)!
2)
c , то с использованием понятия линейн. n0
b  0 a  a ei Arg z перехода можно доказать, что в этом случае Рассмотрим св-ва показ-й ф-ции:
Ф-ия будет аналитической, поэтому она для нахождеия дробно-линейн. ф-ии,

W  e i z ,   Arg a
отобр. конформным отображением Z разность
- в котор входит бесконечность
нужно заменить на 1.
1. (e z )  e z  0 отображе
плоскости, т.е. 4. С помощью дробно-линейного
. ние конформно в любой точке пл-ти.
отображения можно совершать При том образом данного угла будет вся w 2.
Из вида уравнения следует a  1 . d областей, плоскость с разрезом по положительным
z w преобразования круговых
Данная функция задает поворот на угол c руководствуясь правилом обхода области по направлениям оси Ox
z1  z2 ( z1  z2 ) 2

контуру.
Для рассмотрения св-в этой функции рассм. Например при обходе по границе области
e z1  z 2  1  
. 1! 2!
 ei  z  ei  1 z1 z3
W  z
частный случай w . праобраза от т. до т. область  z z 2  z z2
z остается справа, то и при обходе обл. образа  1  1  1  ...1  2  2
w  z
Этот частный случай получается из общего w1 w2
 1! 2!  1! 2!
 
Arg w  Arg e i  z a  0, b  1, c  1, d т. 0 до область будет так же
оставаться справа.
. e z1  z2  e z1 e z 2
Arg w  Arg e i   Arg
Св-ваzэтой функции состоит в том, что это y Если угол 0 будет расти и примет
преобр. явл. композицией 2-ч преобразов. 3.
Arg w    Arg z симметрии. 2 W iz (iz ) 2 (iz )3 (iz )
1. Инверсия – преобр. точки относительно 0   2 eiz  1    
y окружности (0,1).
x n 1! 2! 3! 4!
2. Симметрии относительно прямой (в z1 z2 z3 значение
w данном случае отн. оси ОХ). 2 4  z 2
z 4
z 6   z
y
w3
 0   1     ...   i
x 1 n n  2! 4! 6!   1!
y z w2 То образ начнет покрывать W-плоскость
  
w1 вторично, как бы переходя на новый лист W-
v W x плоскости как по винтовой линии. eiz  cos z  i sin z
x
1 Когда 0 станет равным
e iz  cos z  i sin z
 W’ 
z
10. Cтепенная функция и радикал.
Понятие о Римановой поверхности. 4 4. Периодичность ф-ции
u
Любое дробно-линейное отображение Общий вид степенной функции с 0  , то W покроется T  2ki , k=0,1,…
натуральным показателем n
az  b a bc  ad e z  2ki  e z  e 2ki  e z (cos 2k
3) a  r , r  0, b  0 w   w  ( z  a)n вторично.
cz  d c c(cz  d )
Рассмотрим теорию для частного случая, Увеличивая  0 мы будем получать все Рассмотрим св-ва отображения z-плоскости с
w  r  z Можно описать как композицию 2-х который получается из общего помощью этой ф-ции w  e z
преобразований: подобие и симметрии параллельным переносом на вектора новые и новые экземпляры W-плоскости с
w r z Кроме этих св-в дробно-линейн функции
разрезом, которые в конечном итоге и будут
обладает след св-ми.
Ta образовывать Риманову поверхность.
Arg w  Arg (r  z )  Arg 1. r  Arg z  0  Arg z
Групповое. При 0  2 , мы получим образ,
n 1
0
Совокупность всех дробно-линейных w  n( z  a )
Получим гомотетию с центром в начале преобразований образует группу относит. соответствующий   0 , т.е.
r . операции умножения. w  0 z  a последний n-ый лист римановой
координат и коэф. равным
w  z  еденичный элемент Для частного случая z  0 , поэтому
поверхности должен без самопересечения
склеиться с первым листом.
v w  ez
dw  b отображение будет конформным. В трехмерном пространстве такие
w z поверхности не помещаются, след-но они
cw  a Рассмотрим св-ва: w  z n
пред-ют собой идеальную модель. w  e x  iy  e x eiy
w’ В z=0 конформность отображения
2. Круговое Определим, как будет отображаться
u w  ec  eiy
Можно обосновать что при дробно- координатная сетка. Зафиксируем для этого нарушается, поэтому соотв-ю ей точку N=0, 1) x=с=const ,
линейном отображение любая окружность z. называют точкой разветвления n -го порядка.
Рассм ф-цию обратную к степенной w  const
отображения в окружность в частности
прямую можно рассмотреть как частн.
y
случай окружности с бесконечн радиусом.
w  n z , z – натур. Эта ф-ция в w  e x  eic
2) y=с
На практике выяснить в какую линию кажд точке z ставит в соотв-ии
преобразовать исходн. линию позволяет Argw  const
z подстановка(проверка) принадлежности w : wn  z
, кот-я м.б. вычислена
x
по ф-ле Муавра. 12. Логарифмическая функция.
d
праобразу точки  , если
Рассмотрим общий случай. c n  arg z  2wk ln z Логарифм
arg z  2ф-ция k 
z  n z   cos  i  sin 
n каждому z  0 ставит в соответствие
n
 
a  a ei Arg a l  праобраз L  образ
Эта ф-ла при ew
i Arg a d k  0,1,2,..., n  1 w
w  a e   z  b z  l , L  окружность e  z w  u  iv
c , позволяет получить n-разных знач-й корня
   w1  d
n-й степени. z  z (cos Argz  i sin Argz )

  w2    z  l , L  прямая Если рассм ф-цию w  n z в w-


c e w  e n iv  e n  eiv  e n (cos v  i
w3 плоскости, то она будет многозначной (n-
3. Дробно-линейная функция может значной). Если рассм ф-цию Римановой пов-
ти, то ф-ция будет однозначной. В этом и e w  e n (cos v  i sin v )
быть обнозначно задана с помощью указания
w1  поворот образов 3-х точек.
w  zn  z
n заключается смысл Римановой пов-ти. Н-р,
z  z (cos Argz  i sin Argz )
w2  гомотетия z1  w1 z  const  c
3 1 все значения этого корня
eu  z u  ln z
лежат на окружности с центром (0;0) и
w3  паралл. перенос a b
z  arg w  Argz  n  ArgzR  3 1 v  Argz
n
и являются
Таким образом получим композицию,
которая является преобразован. Подобия, z 2  w2 W d d arg w  n   вершинами правильного треугольника (n- v  Argz  2k , k=0,1,2,…
таким образом с помощью лин. отображения c угольника n=3)
ln z  ln z  i arg z  i 2k
можно фигуру преобраз в подобную ей  1 Рассмотрим угол 0    2 11. Показательная функция.
фигуру. d 0
n z
Показательная ф-ция w  e м.б.
9. Дробно - линейная функция и её z 3  w3 определена с помощью ряда
свойства.
В результате получим
az  b
w w  w1 w3  w1 z  z1 z  z1 z z2 
Пример:z
n
cz  d :  : 3 ez  1 
1!

2!
 ...  
Ln(-i)=?
Для того чтобы было комфорными, нужно w1  w2 w3  w2 z1  z 2 z 3  z 2 n  0 n!
Z=-i
чтобы z 1
w  0, ( az  b)  0 ad 
z1 bc 
 00
  w1   z 2 n 1
 (1) n
    
 z2        w2  sin z 
Интересен случай когда c  0 , т.к.


 z3




 
1 
 

 w3


 n 0 ( 2n  1)!
Замечание:
 (*), f ( z )  u  iv ,  непрерывность 1 частных
f ( z)  
arg z  
2
 2k
dz  dx  idy (проверить).
производных. 
2i L z  z 0  n
f (z0 ) 
dz a ( z  z ) n 
0  a m ( z  z 0

  напоминающую

Мы получили конструкцию,  f ( z ) dz   udx  vdy  i  vdx  udy  m 1
a0  a1 ( z  z0 )  a2 ( z  z0 ) 2 
криволинейного интеграла L L L
Ln( i )  ln 1  i  ф-ии
 2ki
  2 для дейст-го переменного. В
 
предыдущих предложениях м.б получены (*) Применим ф-лу Грина:
след. вычислит. формула:
Q I
a1 a 2 a
  ... 
Ln ( i )  

i  2ki
  I ( x, y )dx  Q( x, y ). dy   (  ) dxdy
yвид: z  z0 ( z  z0 ) 2
(z 
2  f ( z )dz    D xКоши
При этом интеграл
f (u ( x(t ), y (t )), v( x(t ), y (t )))( x (t )  iy (t ))dt
L  имеет
– L  к каждому интегралу записи(*) . 1 f ( ) Ряд (2) яв-ся степенным, значит область
Логарифмическая функция
бесконечнозначная функция.
, т.е мы получили формулу: v u

2i L u
d
 z0 v
сходимости ряда – круг с радиусом R, т.е
Можно показать, что справедливы все
формулы для логарифма, аналогичные   (  x

x

y
) dxdy  i  (
y .
)dxdy  z0 z 0  R . Ряд (1) можно
D Замечание:
D интеграл Коши позволяет преобр-ь в степенной путем замены
соответствующим ф-лам для действит-го
логарифма.
f 
( z ) dz  f ( z (t )) z(t ) dt
. 
Поэтому исходный
вычислять значение ф-ии, в некот.
интеграл внутренней точки обл-ти, если известно
1
Ln( z1  z2 )  ln z1  ln z2L  значение ф-ии на границе этой обл-ти. переменной:  

. Тогда
. По аналогии с интегралом ф-ии действ-го
f ( z ) dz  0 . Интеграл Коши (формула Коши) имеет z  z0
и т.д. переменного рассмотрим св-ва: L место и для точек, лежащих вне этой области
Иногда бывает полезно рассмотреть главные 1).Линейность и =0. интеграл теряет смысл, для точек,
значения логарифма: Оказывается, что инт. теорема Коши имеет 1
кот.принадлежат границе.   r1   r1 , z  z0  r
  
место и длч многосвязных обл.
ln z  ln z  i arg z ((c1 f1 ( z )  c 2 f 2 ( z )) dz  c1 f1 ( z ) dz  c 2 f 2 ( z )dz z  z0
Рассмотрим рассуждения о вышесказанных L L L
. Исходный ряд будет сходиться в кольце
16,19Бесконечная дифференцируемость
показат-х функциях следует, что . 2) Аддетивность интеграла относительно аналитической функции. Ряд Тейлора.
отображение взаимнооднозначное для области интегрирования Разложение аналитической функции в
r  z  z0  R
. Рис.2.
полосы 0  y  2 степенной ряд.
Введенная нами замена переменной не
Справедлива след. теорема: однозначная
L  L1     L2    аналитическая в области G ф-ия f(z) нарушает аналитичности ф-ии. Ф-ия f(z)
будет бесконечно диф-ой, поэтому ряд
; разлагается в степенной ряд в окр-ти каждой
Лорана представляет собой аналит. ф-ию в
точки области G. (рис.1)
кольце. Ясно, что сходимость ряда Лорана
f ( z )dz   f ( z ) dz 
f ( z )dz 

f ( z ) dz
      
Р!z0 принад. G. Начертим окр-ть γρ в центре
в т.z0 и радиусом ρ. Все точки на границе  внутри кольца будет равномерной, поэтому
ряд Лорана можно почленно интегрировать
L1  L2 окр-ти будем обозначать ξ. Р! т.z внутри этой
L L1 L2 по окр-ти γρ, расположенной внутри кольца:
окр-ти, тогда для этой точки будет
справедлива интегральная формула Коши: z  z0   .
 
. 3) При смене направления интегрирования рис.3.
При отображении соседних полос будут  0
получаться следующие экземпляры w-
интеграл меняет знак ;  1 f ( )
плоскости с разрезом, поэтому f ( z ) dz    f ( z ) dz
L 1

L2 f ( z)  d   1
логарифмическая ф-ция будет однозначной 2i   z f ( z)   an ( z  z 0 ) n 
2i
(z
на своей бесконечно-листной римановой
пов-ти. При чем z  0 - это точка .
AB BA  
. Получили что интеграл по  n  
4) Оценка модуля
L L 1 1 1 1 
1 2
 1 f ( z ) 1
  z   z0  ( z  z0 ) 2i ( zz0 z1 )kz1 z0 2i  an
разветвления бесконечного порядка.
 f ( z ) dz   границе
f ( z ) dz обл. Д:
13. Интеграл по комплексному 0 n  
 f ( z )dz   f ( z )dz  0
L L
переменному, его основные св-ва.   z0 γ :
Пусть в компл-ой пл-ти задано f ( z)  1 L1 L2
Проинтегрируем рав-во по окр-ти ρ

параметрически гладкая кривая . Пример, Модуль дроби в знаменателе <1, т.к.


1 f ( z ) dz
2i  ( z  z 0 ) k 1
z  z (t ) , где   t  
. z  z0   ,   z0   
В случае n-связной области Т.Коши так же
имеет место. Тогда по формуле бесконечно убывающей 
z(t )  0 , z(t ) - геом. прогрессии все равно:

1 n ( z  z ) n  k 1dz
( z
2i n   0
непрерывна. На этой кривой определена 1  ( z  z0 ) n  z )a n

0
f (z )
n 1  
 1z k
непрерывная ф-ия
   z   z0 Формула имеет вид:   z0 n 0 (  z0 ) n
n  0 (  z0 )
n 1
k 0 Интеграл, стоящий в правой части равен 0 во
 f ( z )dz    ...   Подставляя
 ... полученное выр-ие в всех случаях, кроме n=k. В этом случае он

 1dz  z   z 0 L L1 Ln
интегральную формулу Коши, получим: равен 2πi. Тогда весь интеграл равен 2πian.
След-но, получается
n выр-ие для
L . Однако для удобства важное значение имеет 1 (z  z0 ) 
, .
14. Теорема Коши для односвязной и интегральная
f ( z)  f ( ) 1 
d f ( z )dz 
многосвязной области. Т.Коши.: 2  i 
a
n 0 (n z 0
 ) n 1
2i  ( z  z 0 ) n 1 
n 1
   
Опр. Односвязной областью наз. область 
f ( z ) dz    ...   ...
   f ( i ) zi , ограниченная одним связным контуром,
иначе область наз. n-связной по числу L L
Почленно
получим:
L
интегрируя данное рав-во,
Формула по виду напоминает соот-ую
i 0 ограниченных ее связных контуров.
1 2 n формулу для ряда Тейлора. Формула
Причем, контуры могут обходиться водном и  1 f ( ) показывает, что коэф-ты ряда Лорана выч-ся
 i - произвольным образом выбранная том же направлении, н-р по часовой стрелки.
2 i n  1  z 0 ) nразложение ф-ии в ряд
d ( z поэтому
однозначно,

точка на участке. Интеграл и первообразная. Из инт.Т.Коши n  0  (   z 0 ) Лорана един-но. Теорема: ф-ия f(z)
однозначная и анал. в круговом кольце

z (t )  z (t )  z (t )  x  i  y
i 1 i i i , что интеграл от аналит.ф-ии в , где представима в нем рядом Лорана.
односвязной обл.не зависит от пути
. Разбиению кривой АВ на участки, интегрирования. Поэтому можно записать, 1 f ( ) 17.теорема Лиувилля.( понятие целой ф-
соответствует разбиение отрезка от  до  a nОсновная теорема алгебры)
d ции.
z 2i  (  z 0 ) n 1 1. Нер-ва Коши для коэф-тов степенного
 точками ti . Если рассмотреть
Т: Пусть G – односвязная область, f(z) –
F ( z)   f ( z ) dz  ряда. Обозначим

однозначная аналитическая ф-я, z0


.
Т.к. полученное разложение аналитической  
max f ( )  M (  ) и
предел   max ti ,
определенная на этой области и L – любая что ,
ф-ии f(z) в степенной ряд един-о, то 
замкнутая кривая спрямляемая лежащая в G. где F(z)-первообразная для ф-ии f(z).
полученный степенной ряд будет яв-ся рядом оценим коэф-т степенного ряда
рассмотрим предел lim  . Если этот F’(z)=f(z). В связи с этим для функции
Тейлора, коэф-ты которого выч-ся по
 Тогда 
f ( z ) dz  0 . Д-во: комплексного переменного имеет место
an 
1 M ( )
2 _ _ _, , _ _ _
f ( n) ( z 0 )
предел , конечен и не зависит от формула Ньютона – Лейбница для данной ф-
L
способа разбиения кривой АВ на участки и
ии: формуле: an  . 2  n 1
выбора т-ки i , то он наз интегралом от
в дополнительном предположении, что ф-я f
'(z)- непрерывна. По условию f(z) –
z n! - нер-во Коши.
ф-ии комплексного переменного   f ( z ) dz  F ( z )  F (Замечание:
z0 ) сравнивая последнее выр-ие с Опр-е: ф-ция наз-ся целой, если она
аналитическая выполняется условие z0 последней формулой можно записать аналитическая во всей конечной компл пл-ти.
f (z ) по L формулы Коши для зн-ий n- ой производной: Пример. целые ф-ции: многочлен
кривой АВ= . u v .
Коши – Римана:  ; n! f ( )
( n)
a 0 z n  ...  a n ; e z
x y 15. Интегральная формула Коши.
 f ( z ) dz . Само определение
Т: Пусть ф-я f(z) – однозначная и f ( z0 ) 
2i  ( z  z0 )n 1
 Pn ( z ) d 1 z
l аналитическая на обл.G; L- замкнутая
u v спрямляемая, принадлежащая обл.G вместе

2. Т. Лиувилля: если целая ф-ция ограничена
интеграла позволяло определить интеграл  , т.к. f '(z)- со своей внутренней обл.Д, тогда для любой .
вида: y x по модулю, то она константа. Док-во:
Р! случай, когда в некоторой отдельной степенной ряд .в который разлогается целая
z0  Д изолированной точке ус-ие аналитичности ф-ция f(z)=
непрерывна, то точки
 udx  vdy  i  vdx  udy u v формула:
справедлива
нарушается. В этом случае поведение ф-и
L L можно описать рядом Лорана: a 0  a1 z  ...  a n z n  ...
f ( z )  i
x y сх-ся во всей пл-ти, т.е; заведомо, в любом
круге z   . Пусть по условию
f ( z)  M f ( z) полюсов.Пусть,например,а-простой 3).Столь же эффективных способов
. Применим нер-во 1 не ограничен во крестности
полюс.Тогда в его окр-ти ряд Лорана для f(z) вычисления вычетов в случае существенно
f  z
k для ф-ии . Учитывая вид имеет вид: особой точки не сущ-ет.Очевидно,что вычет
M z 0 . Пусть А   . Рассуждаем от относительно правильной точки равен
Коши: аn  . Учитывая что a
f ( z )  1  a0  a1(4).z
нулю(по теореме Коши).
n степенного ряда для ф-ии f(z), в случаи, когда
z0-яв-ся нулем кратности k легко понять, что
противного. Если в любой окрестности z 0 a)  ...
-существенно особая:формул
ряд Лорана будет содержать конечное число z 0 нет точек сколь угодно близких А , то za нет,получить разложение в ряд Лорана и по
 можно выбрать сколь угодно членов с «-» степенями, т.е ряд Лорана будет нему найти вычет.
Очевидно поэтому, что

 
иметь вид: f(z)=a-k(z-z0)-k+...а0+a1(z-z0)+...a- f ( z )  A   (  0)
an  0
большим, убеждаемся что

n  1 . Теорема доказана.
k≠0. Для разложения ф-ии f(z) в окр-ти сущ-
но особой точки z0 в ряд Лорана потребуется в некоторой окрестности U ( z  z0 ) Выч f ( z )  z  a
lim f ( z )( z  a)
24. применение теории вычетов к
вычислению интегралов.
при бесконечно много членов с «-» степенями,
поэтому
z  a Как ясно из основной теоремы о вычетах,
последние играют решающую роль при
С помощью этой теоремы может быть поэтому признак сущ-но особой точки — это
наличие в ряде Лорана бесконечного числа вычислении интегралов комплексной пл-ти .
установлено, например, алгебраическая 1 однако оказывается, что и многие интегралы
замкнутость поля комплексных чисел. Суть членов с «-» степенями.  ( z)  . В частности, если от ф-ции действ переменной эффективно
ее в основной теореме алгебры. f ( z)  A вычисляются с помощью теории вычетов.
3. основная теорема алгебры: всякий 21. теорема Соходского.  ( z)
многочлен z0  z0 f ( z)  ,где
Укажем на некоторые примеры и идеи. 1).
Т. Т-ка - полюс для f(z) ограниченна по модулю в U, т.е
 ( z ) рассмотрим интеграл вида
Pn ( z )  c0  c1 z  ...  c n z n n  1; c n  0 2
z 0 нуль для правильная точка для  (z )  (a)  0  ( z)
 R(cos t * sin t )dt
. Однако ,а имеет
имеет в поле комплексных чисел по крайней
мере один корень. Док-во: от противного: f ( z) не ограничен в U. Поэтому простой нуль в т.а
1 0
пусть нет чисел обращающих Pn в  ( z)  . док-во: ( ( a )  0,  ( a )  0) где
f ( z) R(U,V)это рациональная ф-ция.

Lim  ( z )  0 ,тогда R*(cost*sint) непрерывна на отрезке

 ( z0)(,2z a)
1 z0 , но it
нуль. Тогда f ( z)  - необходимость если полюс F(z)то
z  z0 . Положим
ze
 ( z)
Pn ( z )
Выч f ( z )  lim  lim
тогда при возрастании t  0,2 
f ( z)    ( z)  ( z )   (a)
целая ф-ция, она ограничена по модулю.
Действительно, lim и z0
1 za z a z a
переменная z пробегает окружность
положительном z  a
тогда - полюс для , т.е
z  z0  ( z) z 1 в

lim f ( z )  0 т.е она


 окрестность т-ки z0
и для f(z), что приводит к противоречию с .
, в которой условием теоремы. Ч.т.д. Примеры: •Для ф-ии
направлении, подставляя
z  1 1 1
cos z cos z  (z  ) , sin z  (z 
ограничена в некоторой окр-ти т-ки  -
например, f ( z)  1 тогда в 22. Вычет Ф комплексного f ( z)  разложение в 2 z 2i
переменного.Основная теорема о
z3
во внешности некоторого круга и в нем –  ( z)  1 z 0 - правильная
вычетах.
этой окр-ти т.е
Пусть требуется вычислить интеграл по ряд Лорана получается подстановкой вместо dz
тоже (как всякая непрерывная ф-ция) тогда и dt  , перепишем интеграл в
замкнутому контуру Г от аналитической в сos z его ряда Тейлора.
по теореме Лиув.
т-ка для
 (z ) причем обл. D ф-ии f(z),которая может иметь iz
f ( x )  const  0 , что изолированные особые точки z1,…,zn в Имеем виде
противоречит очевидности зависимости ее от
z. lim  ( z ) 0 .
D.Опишем вокруг zi (i=1…n) окружности
i f ( z)  3 
1 1 1
 
1 1 1
z  ... R ( ( z  ),
1 1
 (z 
1
))
z  z0 (см. рис). z 2 ! z 4 i z 1
2 z 2 i z
18,20 Нули аналитической функции. , т.е.
Изолированность нулей. Значит  ( z0 )  0 , которому применима основная теорема о
вычетах. Например
Если ряд Тейлора однозначной 1
аналитической ф-и f(z) имеет вид f(z)=ak(z-
Достаточность: Если z0 - нуль для Выч f ( z)   2
dt 2 dz
k k+1 n
z0) +ak+1(z-z0) +...+an(z-z0) +...(ak≠0), то z0
Г z 0 2    z2  4z  1
– нуль кратности k. Если k=1, то k наз-ся  (z ) , то он изолирован: поэтому существ
простым нулем. Пример: f(z)=1-cos z, z=0. Тогда 0
cos t  2 i z 1
f(0)=1-cos 0=1-1=0. f'(z)=sin z, f'(0)=0,  , такое что f(z)- аналетическая, в .
f''(z)=cos z, f''(0)=1≠0 — значит k=2, т.е нуль n . Задание: проведите подобные рассуждения,
кратности 2. Очевидно, признак простого
нуля f(z0)=0, f'(z0)≠0. Для аналитической ф-
кольце 0  z  z0   . По  f ( z )dz   f ( z ) dz
• tg 
sin z
; сos z
учитывая, что у подынтегральной ф-ции

скольку Г i 1  i cos z только один простой полюс 2  3


ии имеет место след. Теорема: если f(z)≠0 и
ф-ия f(z) — аналитическая, то все нули ф-ии .Разложим f(z) в ряд Лорана в окр-ти т. zi и z  1 . 2)
f(z) — изолированы. Изолированность нуля 1 
оказывается внутр круга
означает, что сущ-ет окр-ть нуля, внутри Lim  , то z0
проинтегрируем по i имеет в т. z простой нуль, 
которой нет другого нуля. Будем р!-ь U окр-
z  z0  ( z) 2 Pm ( x)
ть т.z0 и ф-ию f(z)- аналитическую в этой U-
окр-ти т.z0, исключая возможно саму т.z 0
почленно.Интегралы от всех членов ряда
будут равны нулю,кроме того,что относится поэтому:  Qn ( x)
dx , где ем
- полюс для f(z). Ч.т.д. 
(рис.1). Возможно 2 случая: 1) сущ-ет такая
z0 а(i1) 
точка а0, что положив f(z0)=a0, получим
аналитическую ф-ию, значит z0 – наз-ся
Опр: т. - называется полюсом
к члену и равен sin Qm многочлены, причм
z  zi Выч tg z  2  1
правильной; 2) такое число а0 не сущ-ет, z0- кратности К для f(z) если z0 - нуль
изолированная особая точка. Теорема: т.z0- z 0 m ( x)  0
Q и
правильная для аналитической в окр-ти т.z0
1 (i )
a  2i ,поэтому
(cos z )' z 
ф-ии f(z) (z≠z0)↔сущ-ет U-окр-ть т.z0, в
кратности К, для . 1  n2 .
m2 Взяв контур
которой |f(z)|-ограничена. Из этой теоремы
можно получить признак правильной точки
f ( z) (1) ( 2) теперь а-полюс
( n ) кратности к
интегрирования, как указано на рис., можно
отсутствием ряда Учитывая вид степенного ряда, для  f ( z ) dz  2i ( a 1  2).Пусть
a 1  ряд
(к>1).Тогда
...  a 1 )вид:
Лорана имеет R

 
аналетической функции в окрестности нуля, Г
a  m z  z 0  m , в легко понять, что ряд Лорана построенный в .Т.о,коэффициент при (z-a) в ряде f ( z ) 
а к а
вычислить   для   
    1  a 0 aR1 ( z  a )  ...
-1

окрестности полюса кратности К для Лорана,построенном для окрестности


m=1 функции содержит конечное число членов с изолированной особой т аналитической ( z  а) к za
соот-ем разложении ф-ии f(z) в виде ряда отрицательными стипенями: Ф,играет особую роль при вычислении P ( x)
Лорана (т.е. Отсутствуют коэф-ты с «-»
степенями). Если |f(z)|-не ограничена, то z0 –
интегралов.Он наз-ся вычетом f(z) ( z  a) k F ( z)  m с
особая точка. Возможны случаи: 1) f ( z )    K ( z  z0 )  Kотносительно т.
   K 1 ( z  z0 )
а и K обозн-ся
1 Умножив обе части на
дифференцируя
...
и Qn ( z )
их (к-1), получим:
lim f x = 
z  z0
  , то т.z0 – наз-ся ,  K  0 . Поэтому признак Выч f (z )
(или d k 1   f ( z )( z  a ) k  
помощью вычетов. Нетрудно показать, что

существенно особой точки- наличие z a  



при( k  R1 )! a 0
1  k ( k  1).  2a 0 ( z 
полюсом. 2) бесконечного числа членов с dz k 1 n
lim f x = не 
Re s f ( z )
отрицательными степенями в ряде Лорана. Остается перейти к приделу при
, тогда т.z0 Поведение функции в окрестности Поэтому в пределе исходный интеграл будет
z  z0
существенно особой точки заслуживает
) za равен произведению 2i на сумму
– наз-ся существенно особой точкой. особого внимания. z a
вычетовk F(z)
1 относительно всех ее полюсов
Теор Сохоцкого: Если z 0 - существ Получаемая выше формула носит наз-е d f ( z )( z 3) a) k 
 Рассмотрим
  1  
1 в верхней полуплоскости.
 
f z = основной теоремы о вычетах: Выч f ( z )  lim комплексный интеграл I=
 
Пример:
2 , особая точка для f(z) то, какого бы ни было Т:пусть f(z)-аналит-я в обл. G z  a ( k  1 ) z a k 1
z  z0 комплексное число А(не исключая и А= функция,исключая конечное число особых 1
dz
'
f ( z)
z0 – полюс кратности 2. Имеет место след.  ), существ послед точек.Тогда интеграл от нее по замкнутому
.
Например, возвращаясь к первому примеру •, 2  i f ( x)
dz , где f(z)- 
Теорема о взаимосвязи нуля и полюса ф-ии:  замечаем, что в т. z=0 ф-я имеет полюс p
z0 – полюс f(z) ↔z0 – яв-ся полюсом ( zn )  z0 , для которой контуру Г G равен умноженной на
порядка 3.Поэтому аналитическая, за исключ, возможно,
2i
1 сумме вычетов относительно 1 полюсов, функции в области G, а Г-
1замкнут
f  z
. Т.z0 наз-ся полюсом кратности
lim f ( zn )  A . Док-
особых точек,лежащих внутри Г. Выч f ( z ) 
z 0
im ( входящий
l контур, cos z )в G вместе с
(3  1)! zограниченной
0 им областью D 2 и не
k для ф-ии f(z), если z0 яв-ся нулем кратности n  23.Вычисление вычетов относительно
,т.к.
проходящей через нули и полосы f(z). Тогда,
пользуясь теорией вычетов, можно показать,
полюса.
что I=N-P, где N- число нулей, а P – число
во: Если А=  , то теорема очевидна, т.к 1).Вычисление
сравнительно
вычетов
простым
оказывается (cos
для
z )' '   cos z .
полюсов f(z) внутри D. Интеграл I
называется логорифмическим вычетом
функции f(z) относитьельно контура Г.
Указанный факат позволяет установить
некоторые важные свойства аналетических
функций и имеем интересные приложения в
ряде научных областей.

R

- R
R

25. тригонометрические ф-ции


Ранее были введены тригонометрические ф-
ии cos z sin z с помощью соот-их рядов:
 z 2n 1
sin z   (1) n (2n  1)!
n 0

 z 2n
cos z   (1) n ( 2n)!
n0
Можно ввести эти ф-и с помощью формулы
Эйлера: eiz=cos z+isin z, e-iz=cos z-isin z.

e iz  e iz
cos z 
2
,

eiz  e iz
sin z 
2i
.
На основе этих формул м.б. получены
аналогичные дейст. аргументам формулы
тригонометрии: sin2 z+cos2 z=1, sin
(z1+z2)=sin z1∙cos z2+cos z1∙sin z2 и др. Но св-
ва триг. ф-ий комплексного переменного не
совпадают со св-ми триг. ф-ий дейст.
переменного. Например: не будет иметь
место ограниченность ф-и

e y  e y
cos iy  , y  , cos iy  
2
.
Р!-им обратные триг. ф-ии: W=Arcsin z, sin
w=z, W=?

e iz  e iz
z
2i
1
 e i   2iz ,2izei  e 2i ,
e i

ei  t , t 2  2izt  1  0, t1,2  iz  1  z 2

ei  iz  1  z 2 , i  ln(iz  1  z 2 )
1
w ln(iz  1  z 2 ).
i
Аналогичным образом выводятся:
W=Arcсos z -

1
w ln( z  z2 1
i
,
W=Arctg z -

i 1  iz
w ln , W=Arcctg
2 1  iz
i iz  1
z- w ln .
2 iz  1
.

Оценить