s w {WEDENKO
. .
na~ala analiza
funkcij
kompleksnoj peremennoj
rEKOMENDOWANO umo \qDERNYE FIZIKA I TEHNOLOGII"
W KA^ESTWE U^EBNOGO POSOBIQ DLQ STUDENTOW
WYSIH U^EBNYH ZAWEDENIJ
mOSKWA 2008
udk 517.53 (075)
bbk 22.161.5Q7
{ 34
{ W E D E N K O s. w. nA^ALA ANALIZA FUNKCIJ
KOMPLEKSNOJ PEREMENNOJ : m.: mifi, 2008. | 356 c.
dANO SISTEMATI^ESKOE IZLOVENIE TOJ ^ASTI WUZOWSKOGO
KURSA MATEMATI^ESKOGO ANALIZA , KOTORU@ W U^EBNYH PRO-
GRAMMAH OBY^NO NAZYWA@T TEORIEJ FUNKCIJ KOMPLEKSNOJ
PEREMENNOJ . tEKST SOPROWOVDAETSQ MNOGO^ISLENNYMI RISUN-
KAMI, WKL@^AET ZADA^I, UPRAVNENIQ, RAZBOR BOLXOGO ^ISLA
PRIMEROW.
aDRESOWAN STUDENTAM, IZU^A@]IM DANNYJ PREDMET KAK
PO OBY^NOJ, TAK I UGLUBLENNOJ PROGRAMME.
rECENZENT: KAND. FIZ.-MAT NAUK, DOCENT d. s. tELQKOWSKIJ
iZDANIE PODGOTOWLENO W RAMKAH iNNOWACIONNOJ OB]EOB-
RAZOWATELXNOJ PROGRAMMY.
ISBN 978-5-7262-1023-0 c mOSKOWSKIJ
INVENERNO - FIZI^ESKIJ INSTITUT
(GOSUDARSTWENNYJ UNIWERSITET), 2008
rEDAKTOR n. n. aNTONOWA
pODPISANO W PE^ATX fORMAT 60841/16
pE^. L. 22,25 u^.-IZD. L. 22,5 iZD. N 1/33 tIRAV 150 \KZ.
mOSKOWSKIJ INVENERNO - FIZI^ESKIJ INSTITUT
(GOSUDARSTWENNYJ UNIWERSITET).
115409, mOSKWA, kAIRSKOE ., 31
tIPOGRAFIQ \tROWANT" G. tROICK mOSKOWSKOJ OBL.
3
pREDISLOWIE
dANNAQ KNIGA NAPISANA NA OSNOWE LEKCIJ PO KURSU \tEORIQ
FUNKCIJ KOMPLEKSNOJ PEREMENNOJ", MNOGOKRATNO ^ITAWIHSQ AW-
TOROM W mOSKOWSKOM INVENERNO - FIZI^ESKOM INSTITUTE, W SO^ETA-
NII S OPYTOM PROWEDENIQ IM PRAKTI^ESKIH ZANQTIJ PO DANNOMU
RAZDELU MATEMATI^ESKOGO ANALIZA.
pRI NAPISANII KNIGI AWTOR STAWIL PERED SOBOJ SLEDU@]IE
OGRANI^ENIQ.
1. oBRA]AQSX (^TO NEIZBEVNO) K PONQTIQM I FAKTAM IZ PRED-
ESTWU@]EGO KURSA DEJSTWITELXNOGO ANALIZA, IZBEGATX SSYLOK
NA TE EGO RAZDELY, K TRADICIONNOMU IZLOVENI@ KOTORYH MOVNO
WYSKAZATX PRETENZII. w ^ASTNOSTI, \TO OTNOSITSQ K RAZDELAM
\kRIWOLINEJNYE INTEGRALY"1 I \nESOBSTWENNYE INTEGRALY S
PARAMETROM"2.
2. wYDERVATX ROWNYJ UROWENX IZLOVENIQ, NE PRIBEGAQ K
STAWEMU PRIWY^NYM W MATEMATI^ESKIH KURSAH PRIEMU \WYBO-
RO^NOJ STROGOSTI".
3. oTDAWAQ DOLVNOE ROLI RISUNKOW3 W POQSNENII RASSUV-
DENIJ, OTKAZATXSQ OT ^REZMERNO RASPROSTRANIWEGOSQ (OSOBENNO
PRI OPISANII DEJSTWIJ NA KOMPLEKSNOJ PLOSKOSTI) PRIEMA \RI-
SUNO^NOJ ARGUMENTACII", KOGDA RISUNKI SLUVAT NE STOLXKO IL-
L@STRACIEJ LOGI^ESKIH DOWODOW, SKOLXKO SPOSOBOM \UPROSTITX"
DOKAZATELXSTWA NEZAMETNOJ PODMENOJ (POSREDSTWOM \UDA^NOGO"
RISUNKA) \NEUDOBNOGO" OB]EGO SLU^AQ BOLEE \UDOBNYM" ^AST-
NYM .
1 kAVDYJ SLUATELX LEKCIJ PO ANALIZU WSPOMNIT TOROPLIWOSTX, S
KOTOROJ WWODILISX PONQTIQ KONTURA I INTEGRALA PO KONTURU , A KAV-
DYJ SOWESTLIWYJ LEKTOR | ^UWSTWO NELOWKOSTI, ISPYTYWAEMOE IM PRI
\WYWODE" FORMULY gRINA .
2 tRADICIONNYE TEOREMY \TOGO RAZDELA IME@T BOLEE VESTKIE USLO-
WIQ PO SRAWNENI@ S TEMI, KOTORYE PREDOSTAWLQ@T PRILOVENIQ (NAPRI-
MER, W RAMKAH PREOBRAZOWANIQ lAPLASA ).
3 w \TOJ KNIGE IH 133 STOIT OTMETITX, ^TO W IZLOVENIQH KLASSIKOW
RISUNKI LIBO OTSUTSTWU@T (NAPRIMER, U kOI), LIBO KRAJNE REDKI.
4
4. oTKAZATXSQ OT SLOW I SLOWOSO^ETANIJ \O^EWIDNO", \LEG-
KO WIDETX", \NETRUDNO POKAZATX\, KOTORYE W MATEMATIKE DAWNO
UTRATILI IZNA^ALXNYJ SMYSL I PREWRATILISX W UKAZATELI SLA-
BYH MEST I PROBELOW W RASSUVDENIQH.
5. uSTANOWITX PO PERWOISTO^NIKAM PROISHOVDENIE OSNOW-
NYH PONQTIJ I FAKTOW TEORII FUNKCIJ KOMPLEKSNOJ PEREMENNOJ,
DAW TO^NYE SSYLKI.1
sTRUKTURNO KNIGA SOSTOIT IZ 20 GLAWOK (ILI SEKCIJ), NAZWA-
NIQ KOTORYH MOGUT ZWU^ATX KAK WOPROSY, NA KOTORYE AWTOR STRE-
MILSQ DATX PO WOZMOVNOSTI POLNYE (W RAMKAH ZADANNOGO OB_EMA
KNIGI I \RUDICII AWTORA), NO NEPREMENNO WNQTNYE I ARGUMENTI-
ROWANNYE OTWETY. sREDI WYWODIMYH UTWERVDENIJ , W KOTORYH
KONCENTRIRU@TSQ \TI OTWETY, LIX NAIBOLEE FUNDAMENTALXNYE
I IMENNYE SNABVENY TITULOM (\TEOREMA", \LEMMA", \KRITERIJ "
I T. P.), UTWERVDENIQ VE \WTOROGO RQDA", NE TREBU@]IE ^ASTOGO
K NIM OBRA]ENIQ, WYDELQ@TSQ W TEKSTE DWOJNOJ WERTIKALXNOJ
^ERTOJ.
iSPOLXZOWANIEM DWUHUROWNEWOGO RIFTA MATERIAL RAZDELQ-
ETSQ NA OSNOWNOJ (PRIMERNO SOOTWETSTWU@]IJ PROGRAMME KURSA,
PRINQTOJ W mifi) I DOPOLNITELXNYJ, W KOTORYJ WYNESENY WY-
HODQ]IE ZA RAMKI KURSA (NO PRIMYKA@]IE K NEMU) UTWERVDENIQ,
OTDELXNYE DOKAZATELXSTWA (ILI IH FRAGMENTY), ISTORI^ESKIJ
KOMMENTARIJ I WSQ^ESKIE PODROBNOSTI.
zADA^I, RAZBIRAEMYE W KA^ESTWE PRIMEROW, WZQTY IZ POPULQR-
NYH ZADA^NIKOW, ZADA^I VE UPRAVNENIJ (PREDLAGAEMYE W KONCE
KAVDOJ GLAWKI) W BOLXINSTWE SOSTAWLENY AWTOROM.
|LEKTRONNYJ ADRES AWTORA | sershvedenko@mail.ru
rIS. 1
PROIZWEDENIEM zw WEKTOROW z I w, SREDI KOTORYH ESTX NU-
LEWOJ , S^ITAETSQ NULEWOJ WEKTOR .
1 oTKLADYWAEMYE OT L@BOJ TO^KI .
6
oT TRADICIONNYH SKALQRNOGO I WEKTORNOGO UMNOVENIJ WWODIMU@
OPERACI@ OTLI^AET TO, ^TO EE REZULXTAT ESTX WEKTOR , PRI^EM TOJ VE
PLOSKoSTI , KAKOJ PRINADLEVAT SOMNOVITELI.
wOT PRQMYE SLEDSTWIQ DANNOGO PRAWILA PEREMNOVENIQ
WEKTOROW .
1. sOBL@DA@TSQ PRIWY^NYE \ZAKONY" :
zw = wz | PEREMESTITELXNYJ ,
(zw) = z (w ) | SO^ETATELXNYJ ,
(z + w) = z + w | RASPREDELITELXNYJ .
2. BYPOLNIMA OBRATNAQ K UMNOVENI@ OPERACIQ DELENIQ
L@BOGO WEKTORA NA L@BOJ NENULEWOJ WEKTOR (KAK NA RIS. 1).
nA QZYKE ALGEBRY \TO OZNA^AET, ^TO PLOSKOSTX C QWLQETSQ POLEM ,
W TO WREMQ KAK PLOSKOSTX R2 ESTX LIX LINEJNOE PROSTRANSTWO (NAD
POLEM R DEJSTWITELXNYH ^ISEL).
nA WOPROS, MOVNO LI PREWRATITX W POLE KOORDINATNOE PROSTRANST-
Wo R3 , OTRICATELXNYJ OTWET DAET TEOREMA fROBENIUSA1 : WWESTI W PRO-
STRANSTWE Rn n > 1, OPERACI@ yMNOVENIQ WEKTORA NA WEKTOR c WY-
POLNENIEM PEREMESTITELXNOGO, SO^ETATELXNOGO I RASPREDELITELX-
NOGO ZAKONOW I WOZMOVNOSTX@ DELENIQ NA NENULEWYE WEKTORY MOVNO
LIX PRI n =2 (I IMENNO UKAZANNYM WYE SPOSOBOM).
dLQ L@BOGO NENULEWOGO WEKTORA z 2 C I n = 2 3 : : :
3.
OPREDELENY n ZNA^ENIJ KORNQ n-J STEPENI IZp z , OBOZNA-
^AEMYE (WSE WMESTE I KAVDYJpW OTDELXNOSTI p ) z . BSE ONI
n
QWLQ@TSQ WEKTORAMI DLINY n jzj (ZDESX n jzj | ARIFME-
TI^ESKIJ KORENX IZ POLOVITELXNOGO ^ISLA jzj), OBRAZU@T
DRUGpS DRUGOM UGLY , KRATNYE 2n , PRI^EM ODIN IZ WEKTO-
ROW n z SOSTAWLQET S OSX@ ABSCISS UGOL , W n RAZ MENXIJ
UGLA MEVDU \TOJ OSX@ pI WEKTOROM z . kAK SLEDSTWIE, KON-
CEWYE TO^KI WEKTOROW n z , OTLOVENNYH OT OB]EGO NA^ALA ,
fROBENIUS (Frobenius, Georg Ferdinand, 1849 {1917) | NEMECKIJ
1
MATEMATIK. pOLNU@ FORMULIROWKU I DOKAZATELXSTWO USTANOWLENNOJ
IM (W 1877 G.) TEOREMY MOVNO NAJTI, NAPRIMER, U l. q. oKUNEWA 14].
7
OBRAZU@T WERINY PRAWILXNOGO n-UGOLXNIKA, WPISANNOGO W
n jz j (NA RIS. 2 IZOBRAVENY WEKTORY
p
p p
OKRUVNOSTX RADIUSA
z z I 3 z PRI jzp
jn> 1). dLQ NULEWOGO WEKTORA z EDINST-
WENNYM ZNA^ENIEM z QWLQETSQ NULEWOJ WEKTOR .
rIS. 2
rIS. 3
|TI OBOZNA^ENIQ POZWOLQ@T ZAPISYWATX WEKTORY z 2 C
W WIDE z = x + iy, GDE x I y | DEJSTWITELXNYE ^ISLA , KO-
TORYE ODNOWREMENNO MOVNO RASSMATRIWATX I KAK WEKTORY
PLOSKOSTI C , KOLLINEARNYE OSI ABSCISS WEKTOR iy OBRETA-
ET PRI \TOM SMYSL PROIZWEDENIQ WEKTOROW i I y (RIS. 3).
wEKTORY z w : : : 2 C , ZAPISANNYE W WIDE SO^ETANIJ
z = x+iy w = u+iv : : : , I ESTX KOMPLEKSNYe ^ISLA 2, PRAWI-
LA SLOVENIQ , WY^ITANIQ , UMNOVENIQ I DELENIQ KOTORYH |
S REZULXTATAMI W WIDE TAKIH VE SO^ETANIJ | OPREDELQ@T-
SQ PRAWILAMI WEKTORNOGO SLOVENIQ I WWEDENNOJ OPERACII
WEKTORNOGO UMNOVENIQ (c. 5{6):
iSKL@^AQ \LEKTROTEHNIKOW, OBOZNA^A@]IH EGO j , POSKOLXKU i ONI
1
PRIWYKLI WOSPRINIMATX KAK WELI^INU TOKA .
2 lAT. complexio | SO^ETANIE .
9
(x + iy) (u + iv) = (x u)+ i (y v)
(x + iy)(u + iv) = x(u + iv)+ iy(u + iv) =
= xu + xiv + iyu + iyiv = (xu ; yv)+ i (xv + yu)
x+iy = (x+iy)(u;iv) = xu+iyu;xiv;i2yv =
u+iv (u+iv)(u;iv) u2+ivu;uiv;i2v2
= xu +yv + i yu;xv (PRI USLOWII u+iv 6= 0).
u + v2 u2+ v2
2
wOSPRINIMAQ KOMPLEKSNYE ^ISLA z = x+iy KAK WEKTORY
PLOSKOSTI1 C IH, SLEDUQ gAUSSU2, ODNOWREMENNO PREDSTAW-
LQ@T SEBE I KAK TO^KI 3 \TOJ PLOSKOSTI | KONCEWYE TO^KI
WEKTOROW , OTKLADYWAEMYH OT NA^ALA KOORDINAT .
rIS. 4
iRLANDSKIJ MATEMATIK gAMILXTON4, W MONOGRAFII KOTOROGO 35]
OKON^ATELXNO OFORMILOSX PONQTIE WEKTORA 5, PREDLOVIL WOSPRINIMATX
KOMPLEKSNYE ^ISLA KAK (UPORQDO^ENNYE ) PARY DEJSTWITELXNYH ^ISEL :
1 s^ITAQ, ^TO KAVDYJ IZ NIH MOVNO OTLOVITX OT L@BOJ EE TO^KI .
2 g
AUSS (Gauss, Carl Friedrich, 1777{1855) | NEMECKIJ MATEMATIK.
nA RIS. 4 | ZAIMSTWOWANNYJ IZ 33] (Bd. VIII, S. 105) FRAGMENT EGO ZA-
METOK 1805 G. | ODNO IZ PERWYH IZOBRAVENIJ KOMPLEKSNOJ PLOSKOSTI .
3 iNOGDA NAZYWAQ KOMPLEKSNOE ^ISLO x + iy AFFIKSOM IZOBRAVA@-
]EJ EGO TO^KI (LAT. axus | PRIKREPLENNYJ).
4 Hamilton, William Rowan, 1805 {1865.
5 sOEDINIWEGO PONQTIQ DLINY I NAPRAWLENIQ I OPREDELQEMOGO gA-
MILXTONOM | W OTLI^IE OT RADIUSA{WEKTORA , WYRAVA@]EGO LIX DLI-
NU , | KAK \VECTOR = VECTUM ; VEHEND" | PERENESENIE TO^KI
IZ NA^ALXNOGO POLOVENIQ W KONE^NOE (LAT. veStor | NESU]IJ ).
10
p
\The more general expression of algebra, a1+ ;1 a2 , for any (so called)
imaginary root of a quadratic or other equation, : : : interpreted as being a
symbol of the number-couple which I had otherwise denoted by (a1 a2 ) : : :
its multiplication by another number-couple is expressed by the formula
(b1 b2 )(a1 a2 ) = (b1 a1 ; b2a2 b2 a1 + b1a2 )" (35], p. 12).
w REZULXTATE IROKO RASPROSTRANILOSX IMENNO TAKOE OPREDELENIE
KOMPLEKSNYH ^ISEL | KAK UPORQDO^ENNYH PAR (a b) DEJSTWITELXNYH
^ISEL S OPERACIQMI IH SLOVENIQ I UMNOVENIQ PO FORMULAM:
(a b)+(c d) = (a + c b + d) (a b)(c d) = (ac ; bd ad + bc).
fORMALXNU@ BEZUPRE^NOSTX \TOGO OPREDELENIQ NESKOLXKO PORTIT
WOZNIKA@]IJ TERMINOLOGI^ESKIJ KAZUS: POSKOLXKU TERMIN \KOMPLEKS-
NYE ^ISLA" OB_EDINQET ^ISLA DEJSTWITELXNYE I MNIMYE , PRINIMAQ
DANNOE OPREDELENIE, PRIHODITSQ DELATX NE UKRAA@]IJ MATEMATIKU
WYWOD: L@BOE DEJSTWITELXNOE ^ISLO ESTX UPORQDO^ENNAQ PARA DEJST-
WITELXNYH ^ISEL .
aLGEBRAI^ESKOE OPREDELENIE KOMPLEKSNYH ^ISEL , NE SWQ-
ZANNOE S IH NAGLQDNYM PREDSTAWLENIEM, MOVET BYTX DANO
SLEDU@]IM OBRAZOM.
sISTEMA KOMPLEKSNYH ^ISEL C ESTX REZULXTAT PRISO-
EDINENIQ K SISTEME DEJSTWITELXNYH ^ISEL R NE SODERVA-
]EGOSQ W NEJ \LEMENTA i, PO OPREDELENI@ OBLADA@]EGO SWOJ-
STWOM i2 = ;1. nA WOZNIKA@]IE W HODE \TOGO PRISOEDINENIQ 1
SO^ETANIQ a+ib (^ISEL a b 2 R I \LEMENTA i ), POLU^IWIE
NAZWANIE KOMPLEKSNYH ^ISEL 2, RASPROSTRANQ@TSQ DEJSTWIQ
SLOVENIQ , WY^ITANIQ , UMNOVENIQ I DELENIQ 3 S REZULXTA-
TAMI (^TO SU]ESTWENNO ) W WIDE TAKIH VE SO^ETANIJ (c. 9).
sUDITX O TOM, KAKOJ SPOSOB WWEDENIQ KOMPLEKSNYH ^ISEL PREDPO-
^TITELXNEJ | ALGEBRAI^ESKIJ ILI GEOMETRI^ESKIJ , | SLEDUET S U^E-
1 t. E. RASPROSTRANENIQ NA \LEMENT i IME@]IHSQ W SISTEME R OPERA-
CIJ SLOVENIQ I UMNOVENIQ S SOHRANENIEM IH PRIWY^NYH \ZAKONOW".
2 s WOZMOVNOSTX@ PERESTANOWOK W NIH SLAGAEMYH I SOMNOVITELEJ,
ZAPISX@ a ; ib WMESTO a + i (;b) I SOKRA]ENIQMI a + i 0= a 0+ ib = ib.
3 pO TEM VE PRAWILAM, KAK ESLI BY \LEMENT i BYL DEJSTWITELXNOJ
PEREMENNOJ S DOPOLNITELXNYM SWOJSTWOM i2 = ;1.
11
TOM WYSKAZYWANIJ PO \TOMU POWODU ODNOGO IZ OSNOWOPOLOVNIKOW SOWRE-
MENNOGO MATEMATI^ESKOGO ANALIZA FRANCUZSKOGO MATEMATIKA kOI1 .
w SWOIH RABOTAH DO 1847 G. (NAPRIMER, \kURSE ANALIZA" 26] 1821 G.)
ON PONIMAL KOMPLEKSNYE ^ISLA (NE UPOTREBLQQ, ODNAKO \TOT p TERMIN)
KAK \MNIMYE WYRAVENIQ" (\expressions imaginaires")p a + b ;1, SOSTAW-
LENNYE IZ DWUH DEJSTWITELXNYH ^ISEL I SIMWOLA ;1, OBRA]ATXSQ p S
KOTORYMI NADLEVIT PO OBY^NYM PRAWILAM ALGEBRY, OPERIRUQ c ;1
KAK S DEJSTWITELXNOJ PEREMENNOJ , KWADRAT KOTOROJ RAWEN ;1.
w 1847 G. ON, ODNAKO, NAPISAL SLEDU@]EE: \nO POSLE NOWYH I ZRELYH
RAZMYLENIJ
p NAILU^IM PUTEM MNE PREDSTAWLQETSQ POLNYJ OTKAZ OT
SIMWOLA ;1 I ZAMENA TEORII MNIMYH WYRAVENIJ TEORIEJ WELI^IN,
KOTORYE Q BUDU NAZYWATX GEOMETRI^ESKIMI : : : pROWEDEM W FIKSIRO-
WANNOJ PLOSKOSTI ^EREZ FIKSIROWANNU@ TO^KU O, PRINQTU@ ZA NA^ALO ,
ILI POL@S , POLQRNU@ OSX OX : : : bUDEM NAZYWATX GEOMETRI^ESKOJ WE-
LI^INOJ I OBOZNA^ATX rp RADIUS - WEKTOR OA, NAPRAWLENNYJ IZ O K A .
eGO DLINA, OBOZNA^AEMAQ BUKWOJ r, BUDET NAZYWATXSQ ^ISLENNYM ZNA^E-
NIEM , ILI MODULEM GEOMETRI^ESKOJ WELI^INY rp UGOL p, UKAZYWA@]IJ
NAPRAWLENIE RADIUSA - WEKTORA OA, | ARGUMENTOM , ILI AZIMUTOM \TOJ
VE WELI^INY. dWE GEOMETRI^ESKIE WELI^INY BUDUT RAWNY MEVDU SOBOJ,
KOGDA ONI BUDUT PREDSTAWLQTX ODIN I TOT VE RADIUS - WEKTOR."2
iSTORI^ESKI VE KOMPLEKSNYe ^ISLa WOZNIKLI WNE KAKIH-LIBO GEO-
METRI^ESKIH ASSOCIACIJ. iH POQWLENIE W XVI W. BYLO WYZWANO OTKRY-
1 Cauchy, Augustin-Louis, 1789{1857.
2 w ORIGINALE: \Mais, apr
es de nouvelles et m^ures reexions le meilleur
parti
p
a prendre me para^t ^etre d'abandonner enti
erement l'usage du signe
;1, et de remplacer la theorie des expressions imaginaire par la theorie
des quantites que j'appellerai geometriques : : : Menons, dans un plan xe
et par un point xe O pris pour origine ou p^ole , un axe polaire OX : : :
Nous appellerons quantite geometrique , et nous designerons par la notation
rp le rayon vecteur OA dirige de O vers A. La longueur de ce rayon,
representee par la lettre r sera nommee la valeur numerique ou le module
de la quantite geometrique rp l'angle p, qui indique la direction du rayon
vecteur OA, sera l'argument ou l'azimut de cette m^eme quantite. Deux
quantites geometriques seront egales entre elles, lorsqu'elles representeront
le m^eme rayon vecteur." (28], ser. 1, t. II, p. 283 kOI PRAKTIKOWAL
MNOGOKRATNU@ PUBLIKACI@ SWOIH REZULXTATOW, PO\TOMU SSYLKI NA NIH
DOPUSKA@T WARIANTY).
12
TIEM ITALXQNSKIMI MATEMATIKAMI FORMULY KORNEJ NEPOLNOGO KUBI-
^ESKOGO URAWNENIQr
z 3+pz +q =0, IME@]EJ
r
(W SOWREMENNOJ ZAPISI) WID
q; ; q; ;
z = 3 ; q2 + q2 2 + p3 3 + 3 ; q2 ; q2 2 + p3 3
I IZWESTNOJ POD NAZWANIEM FORMULY kARDANO 1. oKAZALOSX, ^TO W SLU-
^AE URAWNENIQ S TREMQ RAZLI^NYMI DEJSTWITELXNYMI KORNQMI (NAPRI-
MER, z 3 ; z =0) W WY^ISLENIQ PO FORMULE kARDANO WOWLEKA@TSQ \NESU-
]ESTWU@]IE ^ISLA" | KWADRATNYE KORNI IZ OTRICATELXNYH ^ISEL .
|TI \^ISLA" SO STRANNYM POSTOQNSTWOM WOZNIKALI W HODE WY^ISLENIJ,
PRI^EM OKAZYWALOSX, ^TO ESLI DEJSTWOWATX S NIMI KAK S OBY^NYMI
^ISLAMI , TO NA KONE^NOM AGE ONI SOKRA]ALISX I ITOGOWYJ OTWET OKA-
ZYWALSQ WERNYM. nE OSTAWALOSX DRUGOGO WYHODA KAK LEGALIZOWATX \TI
DEJSTWIQ, ^TO I SDELAL ITALXQNSKIJ MATEMATIK I INVENER - GIDRAWLIK
bOMBELLI2 W SWOEJ \aLGEBRE" (\L'Algebra"), IZDANNOJ W 1572 G.
sUTX \TOJ LEGALIZACII SWODITSQ K PRISOEDINENI@ K SISTEME DEJST-
WITELXNYH ^ISEL OTSUTSTWU@]EGO W NEJ KORNQ URAWNENIQ x2 + 1=0, SO
WREMENEM POLU^IWEGO OBOZNA^ENIE i I NAZWANIE \MNIMOJ EDINICY"3.
pOD PRISOEDINENIEM \MNIMOJ EDINICY" K SISTEME DEJSTWITELX-
NYH ^ISEL R PONIMAETSQ RASPROSTRANENIE NA \LEMENT i IME@]IHSQ W
sArdano, Gerolamo, 1501{1576, ITALXQNSKIJ WRA^, FILOSOF, MA-
1
TEMATIK I IZOBRETATELX (\KARDANNYJ WAL"), NE BYL AWTOROM DANNOJ
FORMULY, NO PERWYM OPUBLIKOWAL EE W 1545 G. W TRAKTATE \wELIKOE
ISKUSSTWO" (\Ars magna"). zABAWNYE PODROBNOSTI \TOJ ISTORII WMES-
TE S OPISANIEM VIZNI kARDANO MOVNO NAJTI W KNIGE 40], SODERVA]EJ
TAKVE PEREWOD S LATINSKOGO EGO \kNIGI OB AZARTNYH IGRAH" (\Liber de
Ludo Aleae") | PERWOGO W ISTORII U^EBNIKA PO TEORII WEROQTNOSTEJ .
Bombelli, Raaele, 1526{1573.
2
tERMIN \MNIMYJ" W SMYSLE WOOBRAVAEMYJ (\imaginaire") WWEL W
3
MATEMATIKU FRANCUZSKIJ MATEMATIK I FILOSOF dEKART (Descartes, ILI
Cartesius, Rene, 1596{1650), UKAZAWIJ W SWOEJ \gEOMETRII" (WPERWYE
IZDANNOJ W 1637 G.), ^TO \KORNI : : : NE WSEGDA BYWA@T DEJSTWITELX-
NYMI, NO INOGDA LIX WOOBRAVAEMYMI" (\les racines : : : ne sont pas
p mais quelquefois seulement imaginaires" 30], p. 63). sIM-
toujours reelles,
WOL i WMESTO ;1 WWEL (W 1777 G.) |JLER, ODNAKO AKTIWNO WNEDRQTX EGO
NA^AL (S 1801 G.) gAUSS: \scribendo brevitatis caussa i pro quantitate
imaginaria p ;1" (33], Bd. I, S. 414) WNEDRENIE
p LO POSTEPENNO:kOI,
NAPRIMER, DO 1847 G. PISAL ISKL@^ITELXNO ;1 TO^NEE, p ; 1 .
;
13
\TOJ SISTEME OPERACIJ SLOVENIQ I UMNOVENIQ S SOHRANENIEM PRIWY^-
NYH PERESTANOWO^NOGO , SO^ETATELXNOGO I RASPREDELITELXNOGO ZAKO-
NOW I WOZMOVNOSTX@ WYPOLNENIQ OBRATNYH DEJSTWIJ WY^ITANIQ I DE-
LENIQ . rEZULXTATY UMNOVENIQ \LEMENTA i NA NENULEWYE DEJSTWITELX-
NYE ^ISLA b, ZAPISYWAEMYE KAK ib ILI (WWIDU PERESTANOWO^NOGO ZA-
KONA ) bi, NAZYWA@T ^ISTO MNIMYMI ^ISLAMI . |TO I ESTX KWADRATNYE
KORNI IZ OTRICATELXNYH ^ISEL : (ib)2 = (ib)(ib) = biib = b(;1)b = ;b2 .
mNIMYMI VE ^ISLAMI NAZYWA@T REZULXTATY SLOVENIQ a + bi DEJST-
WITELXNYH ^ISEL c ^ISTO MNIMYMI .
mNIMYE ^ISLA WMESTE S DEJSTWITELXNYMI I SOSTAWLQ@T POLE C
KOMPLEKSNYH ^ISEL (campus numerorum complexorum)1 | WSEWOZMOV-
NYH SO^ETANIJ a + bi a b 2 R , RACIONALXNYE OPERACII S KOTORYMI
SOWERA@TSQ PO TEM VE PRAWILAM, KAK ESLI BY i BYLA DEJSTWITELX-
NOJ PEREMENNOJ , S DOBAWLENIEM K NIM SWOJSTWA i2 = ;1, PRIWODQ]EGO
K TOMU, ^TO REZULXTATAMI \TIH OPERACIJ OKAZYWA@TSQ TAKIE VE SO^E-
TANIQ (O ^EM UVE GOWORILOSX WYE).
pO SWIDETELXSTWU kOI (28], ser. I, t. II, p. 282) PERWYM GEOMETRI-
^ESKU@ TRAKTOWKU KOMPLEKSNOGO ^ISLA DAL W 1786 G. \SKROMNYJ U^ENYJ
G-N aNRI - dOMINIK tR@ELX" (\un savant modeste M. Henri-Dominique
Truel"). oBY^NO VE IZOBRETATELQMI IZOBRAVENIQ KOMPLEKSNYH ^ISEL W
WIDE NAPRAWLENNYH OTREZKOW NA PLOSKOSTI NAZYWA@T ANGLIJSKOGO MA-
TEMATIKA I RELIGIOZNOGO DEQTELQ wALLISA2 (O EGO TRAKTOWKE MNIMYH
^ISEL NIVE, W XV, S. 246), NORWEVSKOGO TOPOGRAFA wESSELQ3, PREDSTA-
WIWEGO W 1797 G. DOKLAD4 NA \TU TEMU W dATSKU@ KOROLEWSKU@ AKADE-
MI@ (nORWEGIQ TOGDA BYLA ^ASTX@ DATSKOGO KOROLEWSTWA) I FRANCUZ-
SKOGO MATEMATIKA - L@BITELQ aRGANA5 , IMEQ W WIDU WYEDEE W 1806 G.
PERWOE (ANONIMNOE) IZDANIE EGO KNIGI 21], ZNAKOMQSX S KOTOROJ, MOV-
NO OT^ETLIWO O]UTITX SEBQ PRISUTSTWU@]IM PRI ROVDENII PONQTIQ
1tERMIN WWEDEN gAUSSOM (33], Bd. II, S. 102) W 1837 G.
pRAWILXNEE uOLLISA Wallis, John, 1616{1703 (PODROBNO OB \TOM
2
UDIWITELXNOM ^ELOWEKE MOVNO PRO^ITATX W KNIGE dV. sKOTTA 42]).
3 Wessel, Caspar, 1745{1818.
4 k DWUHSOTLETI@ EGO OPUBLIKOWANIQ (W 1799 G. NA DATSKOM QZYKE)
WYLO EGO ANGLIJSKOE IZDANIE 44], WKL@^A@]EE BIOGRAFI@ wESSELQ
I PODROBNYJ ISTORI^ESKIJ O^ERK IZOBRAVENIQ KOMPLEKSNYH ^ISEL.
5 Argand, Jean-Robert, 1768{1822 BYL RODOM IZ vENEWY, DERVAL
KNIVNU@ LAWKU W pARIVE.
14
WEKTOR , SOEDINIWEGO W SEBE DLINU I NAPRAWLENIE . mOVNO LIX PO-
VALETX TEH, KOGO ^REZMERNOE RASPROSTRANENIE W SOWREMENNOM OB]ESTWE
NEZNANIQ FRANCUZSKOGO QZYKA LIAET \TOGO UDOWOLXSTWIQ.
hOTQ DLQ aRGANA GLAWNYM BYLO GEOMETRI^ESKOE PREDSTAWLENIE
KOMPLEKSNYH ^ISEL , A DLQ wESSELQ | pALGEBRAI^ESKIE OPERACII S NA-
PRAWLENIQMI , ONI OBA PREDSTAWILI ;1 \NAPRAWLENNYMI OTREZKA-
MI" (\lignes dirigees" U aRGANA), PERPENDIKULQRNYMI K NAPRAWLENI@
\POLOVITELXNOJ EDINICY\ +1, I OB]IM DLQ NIH BYLO PONIMANIE TOGO,
^TO UMNOVENIE NA WEKTOR SWODITSQ K POWOROTU W PLOSKOSTI \TOGO WEK-
TORA I \POLOVITELXNOJ EDINICY" NA UGOL, RAWNYJ UGLU MEVDU NIMI,
I RASTQVENI@ S KO\FFICIENTOM, RAWNYM DLINE \TOGO WEKTORA .
kAK UVE OTME^ALOSX (S. 9), IZOBRAVATX KOMPLEKSNYE ^ISLA NA PLOS-
KOSTI TO^KAMI (A NE NAPRAWLENNYMI OTREZKAMI ) NA^AL gAUSS.
dEJSTWITELXNYE ^ISLA x I y NAZYWA@T SOOTWETSTWENNO
DEJSTWITELXNOJ I MNIMOJ ^ASTQMI KOMPLEKSNOGO ^ISLA
z = x+iy c ISPOLXZOWANIEM OBOZNA^ENIJ x = Re z y = Im z.
pRIMER. iZOBRAZITX NA PLOSKOSTI KOMPLEKSNYE ^ISLA z ,
UDOWLETWORQ@]IE DLQ DANNYH KOMPLEKSNYH ^ISEL z1 z2 SO-
;z1 =0 B) Re z;z1 =0.
OTNOENIQM: a) Im zz; z2 z;z2
rIS. 5
dOSTATO^NO ZAPISATX SOOTNOENIQ KAK a) zz ; z1 z ;z1
;z2 = I B) z ;z2 = i ,
GDE | DEJSTWITELXNOE ^ISLO, I ZAMETITX, ^TO SOGLASNO PRAWILU
UMNOVENIQ WEKTOROW PLOSKOSTI C (S. 5) WEKTORY z ; z1 I z ; z2 SOOT-
WETSTWENNO a) KOLLINEARNY I B) PERPENDIKULQRNY , A POTOMU ^ISLA z
15
IZOBRAVA@TSQ TO^KAMI SOOTWETSTWENNO a) PRQMOJ , PROHODQ]EJ ^EREZ
TO^KI, IZOBRAVA@]IE ^ISLA z1 z2 (RIS. 5, a), I B) OKRUVNOSTI , DLQ
KOTOROJ \TI TO^KI SLUVAT KONCAMI DIAMETRA (W OBOIH SLU^AQH, TO^KA,
IZOBRAVA@]AQ ^ISLO z2 , ISKL@^AETSQ RIS. 5, B).
HAZWANIQ DEJSTWITELXNOJ I MNIMOJ RASPROSTRANQ-
@T I NA KOORDINATNYE OSI PLOSKOSTI C , NO S ZAPISX@ IH
\LEMENTOW UVE NE x I y (KAK NA PLOSKOSTI R 2 ), a x I iy.
pEREHODU NA PLOSKOSTI R 2 OT DEKARTOWYH KOORDINAT
x y K POLQRNYM r ' SOOTWETSTWUET NA PLOSKOSTI C ZA-
PISX KOMPLEKSNYH ^ISEL z = x + iy 6= 0 W POLQRNOJ , ILI
TRIGONOMETRI^ESKOJ , FORME z = r (cos ' + i sin '), W KOTOROJ
r = jzj ESTX MODULX KOMPLEKSNOGO ^ISLA z | DLINa IZOBRA-
VA@]EGO EGO WEKTORA, A ' = arg z | ARGUMENT 1 | WYRA-
VAEMAQ DLINOJ DUGI EDINI^NOJ OKRUVNOSTI2 WELI^INA UGLA ,
OBRAZUEMOGO \TIM WEKTOROM S DEJSTWITELXNOJ OSX@ . s^ITA-
@T, ^TO j0j = 0, TOGDA KAK NI ARGUMENT , NI POLQRNAQ FORMA
^ISLA 0 NE OPREDELENY
p; ;
.
;
nAPRIMER, 2 cos ; 4 +2k +i sin ; 4 +2k (PRI L@BOM WYBORE
CELOGO ^ISLA k) ESTX POLQRNAQ FORMA ^ISLA 1 ; i .3
nAPRQMU@ WYTEKA@]AQ IZ PRAWILA UMNOVENIQ KOMPLEKS-
NYH ^ISEL ;(S. 5) FORMULA mU n
AWRA4
r(cos ' + i sin ') = rn(cos n' + i sin n')
1 tERMINY MODULX I ARGUMENT WWELI SOOTWETSTWENNO aRGAN (21],
p. 122) I kOI (28], ser. II, t. II, p. 38).
2 wZQTOJ SO ZNAKOM \PL@S" ILI \MINUS" SOOTWETSTWENNO OTS^ETU EE
\PROTIW" ILI \PO HODU ^ASOWOJ STRELKI" I WY^ISLQEMOJ S TO^NOSTX@
DO CELOGO ^ISLA OBOROTOW
p ;.
3 rAWENSTWO 1;i = 2 cos ;i sin TAKVE WERNO, ODNAKO EGO PRAWAQ
4 4
^ASTX NE QWLQETSQ POLQRNOJ FORMOJ ^ISLA 1 ; i.
4 de Moivre, Abraham (1687{1754) | FRANCUZSKIJ MATEMATIK. o TOM,
KAKIM SLOVNYM PUTEM WYWEL ON (W 1730 G.) NAZWANNU@ EGO IMENEM FOR-
MULU , MOVNO PRO^ITATX W 19] NA S. 329{330 (PRIME^ANIE K x133).
16
LEVIT W OSNOWE PRAKTI^ESKOGO IZWLE^ENIQ KORNEJ IZ NENU-
LEWYH KOMPLEKSNYH ^ISEL .
p
a IMENNO , ESLI a 6= 0 I a = jaj(cos + i sin ), TO SOOTNO-
ENIE a = z, PO OPREDELENI@ RAWNOSILXNOE zn = a, W ZAPISI
n
z = r(cos ' + i sin ') OZNA^AET, ^TO
rn(cos n' + i sin n') = jaj(cos + i sin ),
OTKUDA SLEDUET:
r = n jaj (ARIFMETI^ESKIJ KORENX) A ' = n + 2 nk (k 2 Z).
p
rIS. 6
p
tAK KAK i 6 = ;1, ODNIM IZ ZNA^ENIJ 6 ;1 QWLQETSQ i. wSE VE ONI
IZOBRAVA@TSQ WERINAMI PRAWILXNOGO ESTIUGOLXNIKA , WPISANNOGO
1 |TO POZWOLQET PO ODNOMU NAJDENNOMU ZNA^ENI@ p n a NAJTI I WSE
OSTALXNYE.
17
p
W EDINI^NU@ OKRUVNOSTX: i 23 2i (RIS. 6, a).
p pEREHOD p ;K POLQRNOJ
; FORME
^ISLA
; 1;i (S.1_ 5)pPOZWOLQET
; ; ZAKL@^ITX
; :
1 ; i = 4 2 cos ; 8 + k + i sin ; 8 + k = 4 2 cos ; 8 + i sin ; 8
(RIS. 6, B).
iZWLEKATX KWADRATNYJ KORENX MOVNO I NE PRIBEGAQ ( K POLQRNOJ
p
FORME ^ISLA: ZAPISX 1 ; i = x+iy PRIWODIT K SISTEME x ; y =1
2 2
2 xy = ;1
(S DEJSTWITELXNYMI ;xqy), REENIE KOTOROJ POZWOLQET POLU^ITX ZNA-
p p2+1 qp2;1
^ENIQ 1 ; i W WIDE 2 ; i 2 .
kOMPLEKSNYE ^ISLA x+iy I x;iy NAZYWA@T SOPRQVEN -
NYMI 1, OBOZNA^AQ IH z I z . nA PLOSKOSTI C KOMPLEKSNOE
SOPRQVENIE ESTX ZERKALXNOE OTRAVENIE OTNOSITELXNO DEJ-
STWITELXNOJ OSI (KAK NA RIS. 3) W ^ASTNOSTI:
z = z z w = z w zw = z w wz = wz ,
z z = jzj2 21 (z + z ) = Re z 21i (z ; z ) = Im z jz j = jzj,
arg z = ; arg z (S TO^NOSTX@ DO SLAGAEMOGO, KRATNOGO 2).
~TO KASAETSQ NERAWENSTW | SOOTNOENIJ \BOLXE" I
\MENXE", TO ONI DLQ KOMPLEKSNYH ^ISEL (NE QWLQ@]IHSQ
DEJSTWITELXNYMI ) NE OPREDELENY.
iME@T MESTO, ODNAKO, SLEDU@]IE NERAWENSTWA DLQ MO-
DULEJ KOMPLEKSNYH ^ISEL, WYRAVA@]IE IZWESTNYE SOOTNO-
ENIQ MEVDU DLINAMI STORON SOOTWETSTWENNO a) L@BOGO I
B) PRQMOUGOLXNOGO TREUGOLXNIKA , I PO \TOJ PRI^INE NAZY-
WAEMYE NERAWENSTWAMI TREUGOLXNIKA :
A) jz + wj 6 jzj + jwj jzj;jwj 6 jz ; wj
B) 8 8"> 0 9
> 0 8z 2 E ^ z 2 E ^ jz ; j <
=)
;
rIS. 7
1
PRI^EM ABSOL@TNO (T. E. SHODITSQ TAKVE I RQD jcnzn j), a
+P
n=0
PRI jzj >r | RASHODITSQ.
dOKAZATELXSTWO . eSLI jzj <r, TO WZQW ^ISLO , PROMEVU-
TO^NOE MEVDU jzj I r, MOVNO ZAKL@^ITX: DLQ p WSEH DOSTA-
TO^NO BOLXIH n WYPOLNQETSQ NERAWENSTWO n jcnj < 1= , A
1; n
SLEDOWATELXNO, jcnjjzjn 6 jzj= n. tAK KAK RQD jzj=
; +P
n=0
SHODITSQ , TO (W SILU KRITERIQ kOI) SHODQTSQ OBA RQDA
1 1
+P
n=0
j cnjjzjn I cnzn .
+P
n=0
eSLI VE jzj >r, TO TAK KAK j1zj < 1r = n!lim n jc j , DLQ BES-
p
+1 n
KONE^NOGO ^ISLA NOMEROW n BUDET WYPOLNQTXSQ NERAWENSTWO
+1
1 <p n jc j , ILI jc jjz jn > 1, A POTOMU RQD P c z n RASHO-
jzj n n
n=0
n
DITSQ . Q.E.D.3
1 fRANCUZSKIJ MATEMATIK aDAMAR (Hadamard, Jacque, 1865{1963)
POQWILSQ NA SWET POZVE SODERVA]EGO \TU TEOREMU \kURSA ANALIZA"
kOI 26] (Chap. IX, p. 286{287), NO EGO IMQ W USTOQWEMSQ NAZWA-
NII TEOREMY PRIQTNO RAZNOOBRAZIT SPISOK UTWERVDENIJ, POLU^ENNYH
kOI. ;
2 rAWENSTWO = lim ESTX WERHNIJ PREDEL POSLEDOWATELXNOS-
n!+1 n
TI DEJSTWITELXNYH ^ISEL fng OZNA^AET, ^TO W L@BOJ OKRESTNOSTI
TO^KI SODERVITSQ BESKONE^NO MNOGO \LEMENTOW n , TOGDA KAK SPRAWA
OT \TOJ OKRESTNOSTI IH MOVET BYTX LIX KONE^NOE ^ISLO.
3 Q.E.D. | SOKRA]ENIE LAT. quod erat demonstrandum (^TO TREBO-
WALOSX DOKAZATX) | UKAZATELX ZAWERENIQ DOKAZATELXSTWA.
28
wWIDU TEOREMY kOI {aDAMARA; NEOTRICATELXNOE
;1
(NO,
WOZMOVNO, RAWNOE +1) ^ISLO r = n!lim jcnj NAZYWA@T
p
n
+1
+P1
RADIySOM SHODIMOSTI STEPENNOGO RQDA cnzn , a MNOVES-
n=0
TWO z 2 C : jzj <r | EGO KRUGOM SHODIMOSTI 1.
+1
w NEKOTORYH SLU^AQH RADIUS SHODIMOSTI STEPENNOGO RQDA P cn z n
n=0
MOVNO WY^ISLQTX PO BOLEE PROSTOJ FORMULE2 .
eSLI SU]ESTWUET n!lim+1 jcjnc;n j1 j = r (0 6 r 6 +1)3 , TO ^ISLO r SOWPADAET
+1
S RADIUSOM SHODIMOSTI STEPENNOGO RQDA P cn z n .
n=0
dOKAZATELXSTWO. eSLI jz j < r, TO WZQW ^ISLO , PROMEVUTO^NOE
MEVDU jz j I r, MOVNO ZAKL@^ITX: DLQ WSEH n, BOLXIH NEKOTOROGO n0 ,
WYPOLNQETSQ NERAWENSTWO jcjnc;n j1 j > , A SLEDOWATELXNO,
jcn0+10 j jcn00+2 j jcnj > n;n0 , I PO\TOMU jcn0 jn0 > jcnjn.
jcn j jcn +1 j jcn;1j
iZ POSLEDNEGO NERAWENSTWA ;
SLEDUET
n
, ^TO PRI;
n>n
n
0
jcn jjz j = jcn j jz j= 6 jcn0 j jz j= ,
n n n 0
+1 ; +1
A TAK KAK RQD P jz j= n SHODITSQ, TO SHODITSQ I RQD P jcn jjz jn ,
n=n0+1 n=n0+1
A WMESTE S NIM ISHODNYJ STEPENNOJ RQD.
eSLI VE jz j > r, TO IZ TOGO, ^TO n!lim+1 jcjnc;n j1 j = r, SLEDUET, ^TO DLQ
WSEH n, BOLXIH NEKOTOROGO n0 , WYPOLNQETSQ NERAWENSTWO jcjnc;nj1 j < jz j ,
A SLEDOWATELXNO,
jcn0+10 j jcn00+2j jcnj < jzjn;n0 , I PO\TOMU jcn0 jjzjn0 < jcnjjzjn.
jcn j jcn +1j jcn;1j
+1
w SILU POSLEDNEGO NERAWENSTWA cn z n 9 0, T. E. DLQ RQDA P cn z n NE
n=0
WYPOLNENO NEOBHODIMOE USLOWIE EGO SHODIMOSTI. Q.E.D.
1 pRI r =0 \TOT \KRUG" PUST , A PRI r =+1 ESTX WSQ PLOSKOSTX C .
2 tAKVE PRIWODIMOJ kOI W 26] (Chap. IX, p. 286{287).
3 |TOT PREDEL NE WSEGDA SU]ESTWUET, TOGDA KAK WERHNIJ PREDEL PO-
p
SLEDOWATELXNOSTI n jcn j SU]ESTWUET WSEGDA.
29
oPREDELQ@]U@ ROLX W ANALIZE NA KOMPLEKSNOJ PLOSKOS-
TI IGRA@T (KROME STEPENNYH ) OBOB]ENNYE STEPENNYE RQDY
1 1 1
cn(z ; z0 )n def
= cn(z ; z0 )n + c;n(z ; z0 );n,
+P +P +P
n=;1 n=0 n=1
SOSTAWLENNYE, KAK SLEDUET IZ \TOJ ZAPISI, IZ DWUH RQDOW,
PERWYJ IZ KOTORYH STEPENNOJ (PO STEPENQM z ;z0 ) S KRUGOM
;1
SHODIMOSTI z 2 C : jz;z0 j <r r = n!lim+1 n jcnj (RIS. 8, A),
p
p p
=n!lim
+1
n jc;n j , r = n!lim
+1
n jcnj (RIS. 8, W)2 , I RASHODITSQ
DLQ WSEH z c jz ; z0 j < ILI jz ; z0 j >r.
gLAWNYM (POSLE TEOREMY kOI {aDAMARA) UTWERVDENI-
EM O STEPENNYH RQDAH QWLQETSQ SLEDU@]EE.
tEOREMA O PROIZWODNOJ SUMMY+1STEPENNOGO RQDA. w
P
KRUGE SHODIMOSTI STEPENNOGO RQDA cnzn EGO SUMMA IME-
n=0
+P1
ET PROIZWODNU@, RAWNU@ SUMME STEPENNOGO RQDA cnnzn;1 ,
n=1
IME@]EGO TOT VE paDIUS SHODIMOSTI , ^TO I ISHODNYJ RQD.
1u kOI W 28], ser. I, t. VIII, p. 272 I ser. II, t. XIII, p. 439{440.
2~ASTNYMI SLU^AQMI \TOGO \KOLXCA" QWLQ@TSQ: A) KRUG S IZ_QTYM
CENTROM z0 B) WNENOSTX OKRUVNOSTI W) PLOSKOSTX S IZ_QTOJ
TO^KOJ z0 PRI r1 > r2 \TO \KOLXCO" PUSTO .
30
rIS. 8
rIS. 9
+P1
pUSTX r | RADIUS SHODIMOSTI STEPENNOGO RQDA cnzn
n=0
I z | L@BAQ TO^KA EGO KRUGA SHODIMOSTI , T. E. jzj <r. eSLI
| L@BOE POLOVITELXNOE ^ISLO, PROMEVUTO^NOE MEVDU
jzj I r, TO DLQ L@BOGO NENULEWOGO \WEKTORA PRIRA]ENIQ"
Mz, DLQ KOTOROGO jMzj <;jzj, TO^KA z+Mz ToVE PRINADLE-
VIT KRUGU SHODIMOSTI \TOGO STEPENNOGO RQDA : jz+Mzj < r
(RIS. 9). s U^ETOM TOVDESTWA
an ; bn = a ; b an;1 + an;2b + + abn;2 + bn;1 1,
; ;
n=0
sLOVENIE I PEREMNOVENIE STEPENNYH RQDOW
1
+P +P1
sUMMOJ DWUH STEPENNYH RQDOW anzn I bnzn NAZY-
n=0 n=0
+P1
WA@T STEPENNOJ RQD (an+ bn)z (RADIUS SHODIMOSTI \TO-
n
n=0
GO RQDA NE MENXE MINIMALXNOGO IZ RADIUSOW SHODIMOSTI
SLAGAEMYH RQDOW, A EGO SUMMA RAWNA SUMME IH SUMM ).
1 Taylor, Brook (1685{1731) I Maclaurin, Colin (1698{1746) | ANG-
LIJSKIJ I OTLANDSKIJ MATEMATIKI PERWYJ OPUBLIKOWAL W 1715
G. W RABOTE \pRQMOJ I OBRATNYJ METOD PRIRA]ENIJ" (\Methodus
incrementorum directa et inversa") IZOBRETENNYJ IM (W 1712 G.) RQD ,
POLU^IWIJ EGO IMQ (HOTQ K \TOMU RQDU DO tEJLORA PRIHODILI DRU-
GIE AWTORY) WTOROJ W MONOGRAFII 1742 G. 38] (c. 610{611), PRIZNA-
WAQ PRIORITET tEJLORA, OPERIROWAL ^ASTNYM SLU^AEM \TOGO RQDa |
PO STEPENQM NEZAWISIMOJ PEREMENNOJ, KOTORYJ STALI NAZYWATX RQDOM
mAKLORENA ON VE USTANOWIL SWOJSTWO \TOGO RQDA, PREDSTAWLENNOE ZDESX
KAK SLEDSTWIE 2.
34
uMNOVA@T STEPENNOJ RQD NA STEPENNOJ RQD PO TOMU VE
PRAWILU, ^TO I MNOGO^LENY , T. E. RASKRYWAQ SKOBKI I SKLA-
DYWAQ KO\FFICIENTY PRI ODINAKOWYH STEPENQH z :
(a0 + a1 z + a2 z2 + )(b0 + b1 z + b2 z2 + ) =
= a0 b0 + (a0b1 + a1 b0 )z + (a0b2 + a1 b1 + a2 b0 )z2 +
SOGLASNO \TOMU PRAWILU PRI PEREMNOVENII STEPENNYH RQ-
+P1 +P1 1
+P
DOW an zn I bn zn WOZNIKAET STEPENNOJ RQD cnzn c
KO\FFICIENTAMI cn= a0 bn +a1bn;1 + +anb0 n =0 1 2 : : :
n=0 n=0 n=0
+P
tEOREMA O PEREMNOVENII STEPENNYH RQDOW. eSLI
1 n +P1 n
anz I bn z | STEPENNYE RQDY S RADIUSAMI SHODIMOS-
n=0 n=0
TI ra I rb, TO PRI jzj < minfra rbg
a) SHODITSQ (ABSOL@TNO ) REZULXTAT IH PEREMNOVENIQ
1 n
cnz (cn = a0 bn + a1bn;1 + + anb0)
+P
n=0
1 n +P1 n +P1 n
+P
B) cnz = anz bnz , T. E. SUMMa PROIZWEDE-
n=0 n=0 n=0
NIQ STEPENNYH RQDOW RAWNA PROIZWEDENI@ IH SUMM .
|TOT FAKT NAPRQMU@ WYTEKAET1 IZ SLEDU@]EGO UTWERV-
DENIQ DLQ ^ISLOWYH RQDOW.
tEOREMA kOI O PEREMNOVENII
+1
RQDOW
+1
( 26 ], p. 283).
P P
eSLI RQDY (KOMPLEKSNYH ^ISEL ) an I
bn SHODQTSQ AB-
n=0 n=0
1
+P
SOL@TNO , TO PROIZWEDENIE \TIH RQDOW | RQD cn SO SLA-
GAEMYMI cn = a0 bn+a1 bn;1+ +an b0 | IMEET SUMMU , RAWNU@
n=0
+jan;k+1j jbkj+ +jbnj + + janj jb1j+ +jbnj <
;
+1 ; +1 ;;
< ja1j+ +jan;k j " 2 P jaj j + " 2 P jbj j jb1j+ +jbnj <"
; 1 1
j =1 j =1
TAK ^TO RAZNOSTX (c0 + + cn) ; (a0 + + an)(b0 + + bn)
;
n=0
1 n
RADIUS SHODIMOSTI r = +1 (c. 28), EGO SUMMA w(z) = zn!
+P
n=0
36
ESTX FUNKCIQ , OPREDELENNAQ NA WSEJ PLOSKOSTI C , PRI \TOM
W SILU TEOREMY O PROIZWODNOJ SUMMY STEPENNOGO RQDA (c. 29)
0
1 zn +P1 zn;1 +P1 zn
= (n;1)! = n! = w(z) z 2 C .
+P
w 0 (z ) =
n=0 n! n=1 n=0
|TA FUNKCIQ POLU^ILA NAZWANIE \KSPONENCIALXNOJ , ILI
\KSPONENTY 1, I OBOZNA^ENIQ w(z) = exp z I w(z) = ez .
eE MOVNO RASSMATRIWATX KAK RASPROSTRANENIE NA KOMP-
LEKSNU@ PLOSKOSTX \KSPONENCIALXNOJ FUNKCII y = ex DEJST-
WITELXNOJ PEREMENNOJ | PUTEM PEREHODA W EE RAZLOVENII
1 n
+P
mAKLORENA ex = xn! OT DEJSTWITELXNOJ PEREMENNOJ x K
n=0
KOMPLEKSNOJ z. a IMENNO, ZAMENA STEPENEJ x NA STEPENI z,
+1 n
NE MENQ@]AQ RADIUSA SHODIMOSTI STEPENNOGO RQDA P xn! ,
n=0
RASIRQET OBLASTX OPREDELENIQ EGO SUMMY S DEJSTWITELX-
NOJ OSI DO KOMPLEKSNOJ PLOSKOSTI .
+1 n +1 n
sRAWNIWAQ RAWENSTWA ex = P xn! (x 2 R ) I exp z = P zn! (z 2 C )
n=0 n=0
I PRIBEGAQ K OBRAZNYM SRAWNENIQM, MOVNO SKAZATX, ^TO PERWOE QWLQ-
ETSQ TEOREMOJ , TOGDA KAK WTOROE ESTX OPREDELENIE .2
bAZOWYM SWOJSTWOM \KSPONENCIALXNOJ FUNKCII , OPRAW-
DYWA@]IM ee OBOZNA^ENIE w = ez I SAMO EE NAZWANIE , QWLQ-
ETSQ OSNOWNOE TOVDESTWO DLQ \KSPONENTY
(exp z)(exp ) = exp(z + ) z 2 C ,
NAPRQMU@ WYTEKA@]EE IZ TEOREMY kOI O PEREMNOVENII
RQDOW (c. 34) I FORMULY BINOMA nX@TONA:
lAT. expono | WYSTAWLQTX, POKAZYWATX.
1
+1
2 wPRO^EM, OPREDELENIE ex KAK P xn = lim 1+ z + + z n QWLQ-
;
n=0 n! n!+1 1! n!
ETSQ NAILU^IM W OTNOENII WNQTNOSTI I WYWODA SWOJSTW I DLQ DEJ-
STWITELXNYH x. iMENNO TAK OPREDELQL ex E]E W XVIII W. PORTUGALEC
DA kUNXQ (da Cunha, Joseph-Anastase, 1744{1787) W 29] (c. 142{146).
37
+ 1 zn
P
+1 n
P 1 P
+P n zk
n;k =
(exp z)(exp ) = n ! n ! = k ! ( n;k)!
n=0 n=0 n=0 k=0
1 1 P
+P n n ! ;
+1
P 1
= n! k ! ( n; k )! z k n k = n ! (z + )n = exp(z + ).
n=0 k=0 n=0
iMENNO S U^ETOM \TOGO TOVDESTWA, POLAGAQ1
1n
+P 1
+P
ez def = zn! , e def
= exp z def = n1! ,
= exp 1 def
n=0 n=0
PRIHODQT K PRIWY^NOMU PRAWILU POKAZATELEJ : ez1 ez2 = ez1+z2 .
tO^NO TAK VE OPREDELQ@T FUNKCII
1 nz2n+1
= z ; z3! + z5! ; z7! + z 2 C ,
+P
= (;(21)n+1)!
sin z def
3 5 7
n=0
1 n 2n
= (;(21)n)!z = 1 ; z2! + z4! ; z6! + z 2 C ,
+P
cos z def
2 4 6
n=0
S SOHRANENIEM SOOTNOENIJ sin(;z)= ; sin z cos(;z)=cos z
I FORMULAMI
PROIZWODNYH
0
sin0z = z ; z3! + z5! ; z7! + = 1 ; z2! + z4! ; z6! + = cos z,
3 5 7 2 4 6
0
cos z = 1 ; 2! + 4! ; 6! + = ;z + z3! ; z5! + = ; sin z.
0 z z z
2 4 6 3 5
; ;
= 1 ; z2! + z4! ; z6! + + i z ; z3! + z5! ; z7! + .
2 4 6 3 5 7
t
oPERACIQ PEREMNOVENIQ STEPENNYH RQDOW POZWOLQET WOZWODITX IH
W STEPENX I NA OSNOWE \TOGO PROIZWODITX c NIMI DRUGIE DEJSTWIQ.
tEOREMA O PODSTANOWKE +STEPENNOGO
1
RQDA W STEPENNOJ RQD.3
dLQ L@BOGO STEPeNNOGO RQDA P an z n (NE SODERVA]EGO NULEWOJ STE-
n=1
PENI z ) OPREDELENA OPERACIQ EGO PODSTANOWKI (WMESTO PEREMENNOJ ) W
+1
L@BOJ STEPENNOJ RQD P bn n , REZULXTAT KOTOROJ ESTX STEPENNOJ RQD
+ 1 +1 m n=0
P P ;
bm an z n = b0 + b1 a1 z + a2 z 2 + a3 z 3 + +
m=0 n=1 ;
+ b2 a1 z + a2 z 2 + a3 z 3 + 2 + ,
IME@]IJ
A) NENULEWOJ RADIUS SHODIMOSTI , ESLI NENULEWYMI QWLQ@TSQ RA-
+P1 +
P 1 m
DIUSY SHODIMOSTI ra I rb STEPENNYH RQDOW an z n I bm
n=1 m=0
B) SUMMU , SOWPADA@]U@ S REZULXTATOM PODSTANOWKI SUMMY PERWOGO
STEPENNOGO RQDA W SUMMU WTOROGO (WMESTO PEREMENNOJ ).
1 w KOTOROM EE I POLU^IL PERWONA^ALXNO |JLER ISHODQ IZ FORMULY
mUAWRA (19], xx 132{138, S. 128{)134.
2 wWEDENNYE W 1757 G. ITALXQNSKIM MATEMATIKOM rIKK ATI (Riccati,
Vicenzo, 1707{1775). (\uRAWNENIE rIKKATI" | \TO NE ON, A EGO OTEC,
Iacopo Francesco Riccati, 1676{1754.)
3 u kOI W 28], s
er. II, t. X, p. 177.
39
+1 +1 m
P P
dOKAZATELXSTWO. tO, ^TO bm an z n
(REZULXTAT UKAZANNOJ
m=0 n=1
PODSTANOWKI RQDA W RQD ) QWLQETSQ STEPENNYM RQDOM , WYTEKAET IZ
TOGO, ^TO W HODE WNENEGO SUMMIROWANIQ (PO m) KO\FFICIENT PRI
z k (k = 0 1 2 : : : ) STABILIZIRUETSQ
+1 PO DOSTIVENI@
m
ZNA^ENIQ m = k,
P
T. E. NE ZAWISIT OT SLAGAEMYH bm an z n S m>k. (eSLI BY PODSTAW-
n=1
LQEMYJ RQD SODERVAL NULEWU@ STEPENX z , TO W HODE WNENEGO SUMMIRO-
WANIQ KO\FFICIENT PRI z k IZMENQLSQ BY S KAVDYM NOWYM SLAGAEMYM,
I REZULXTAT PODSTANOWKI TAKOGO RQDA W RQD BYL BY NE OPREDELEN .)
+
P 1
sUMMA a(z ) STEPENNOGO RQDA an z n OPREDELENA I NEPRERYWNA (PO-
n=1
SKOLXKU IMEET PROIZWODNU@ ) W KRUGE jz j < ra , PRI \TOM (TAK KAK
a(0) = 0) SU]ESTWUET ^ISLO > 0 SO SWOJSTWOM: ja(z )j <rb DLQ L@BOGO
z c jz j <, A SLEDOWATELXNO, DLQKAVDOGOTAKOGO z OPREDELENo ZNA^ENIE
+
P 1 +P1 n m +P1 ; m
SUMMY STEPENNOGO RQDA bm an z = bm a(z ) Q.E.D.
m=0 n=1 m=0
+
P1 +
P 1
rAZDELITX STEPENNOJ RQD an z n NA STEPENNOJ RQD bn z n ZNA-
n=0 n=0
+
P1 n +P1 n +P 1 n
^IT NAJTI PREDSTAWLENIE an z = bn z cn z .
n=0 n=0 n=0
+ 1
tEOREMA O DELENII STEPENNYH RQDOW
+1
.1 l@BOJ STEPENNOJ RQD
P P
an z n DELITSQ NA L@BOJ STEPENNOJ RQD bn z n c b0 6= 0 REZULXTA-
n=0 n=0
+
P 1 n
TOM DELENIQ QWLQETSQ STEPENNOJ RQD cn z S NENULEWYM RADIUSOM
n=0
SHODIMOSTI, ESLI OTLI^NY OT NULQ RADIUSY SHODIMOSTI DELIMOGO I
DELITELQ .
dOKAZATELXSTWO. tAK KAK STEPENNOJ RQD 1 + 0z + 0z 2 + IGRAET
(PRI UMNOVENII RQDOW) RoLX EDINICY , DOSTATO^NO RAZOBRATX SLU^AJ,
KOGDA DELIMYM QWLQETSQ IMENNO \TOT STEPENNOJ RQD :
a0 +a1z +a2z 2+ ; 1+0z +0z 2+
b0 +b1z +b2z 2+ = a0 + a1z + a2 z + b0 +b1z +b2z 2 + .
2
LEKSNYH ^ISEL).
4 w \TOM RAWENSTWE (W OTLI^IE OT PREDYDU]EGO) k ESTX KONKRETNOE
CELOE ^ISLO, ZAWISQ]EE OT WYBORA ZNA^ENIQ ln(exp w) 2 Ln(exp w).
46
s U^ETOM \TOGO SOGLAENIQ IZ PRAWILA PEREMNOVENIQ
KOMPLEKSNYH ^ISEL (I, c. 5) WYTEKAET WYPOLNENIE DLQ NENU-
LEWYH z 2 C SOOTNOENIQ Arg (z )=Arg z+Arg 1 NAPRO-
TIW, ^ISLOWOE RAWENSTWO arg(z )=arg z +arg SPRAWEDLIWO
LIX S TO^NOSTX@ DO SLAGAEMOGO , KRATNOGO 2 . kAK SLED-
STWIE, SPRAWEDLIWY SOOTNOENIQ Ln(z ) = Ln z + Ln (W
SMYSLE SOWPADENIQ MNOVESTW ) I ln(z ) = ln z +ln (PL@S
SLAGAEMOE , KRATNOE 2 i).
w KA^ESTWE ILL@STRACII MOVNO OTMETITX, ^TO 2Ln z
Ln z 2, OD-
NAKO 2Ln z 6= Ln z 2 . |TO WYTEKAET IZ TOGO, ^TO \LEMENTAMI MNOVESTWA
2Ln z QWLQ@TSQ ^ISLA 2 ln jz j + i (2 arg z +4k) k 2 Z, W TO WREMQ KAK
MNOVESTWO Ln z 2 SOSTOIT IZ ^ISEL 2 ln jz j + i (2 arg z +2k) k 2 Z.
nAGLQDNO PREDSTAWITX DEJSTWIE MNOGOZNA^NOJ FUNKCII
w =Ln z (A TAKVE OBRATNOJ K NEJ FUNKCII z = ew ) MOVNO NA
DWUH \KZEMPLQRAH KOMPLEKSNOJ PLOSKOSTI : C z PEREMENNOJ
z I C w PEREMENNOJ w = u + iv (RIS. 10). w ^ASTNOSTI:
a) LU^ , WYHODQ]IJ IZ NA^ALA KOORDINAT POD UGLOM K
DEJSTWITELXNOJ OSI 2 PRI OTOBRAVENII w = Ln z PEREHODIT
W BESKONE^NYJ NABOR RAWNOOTSTOQ]IH GORIZONTALXNYH PRQ-
MYH v = + 2 k k = 0 1 2 : : : , PRI WZAIMNO ODNOZNA^-
NOM SOOTWETSTWII MEVDU TO^KAMI LU^A I KAVDOJ OTDELXNO
WZQTOJ PRQMOJ OBRATNOE OTOBRAVENIE z = ew WSE \TI PRQ-
MYE PEREWODIT W UKAZANNYJ LU^
B) UGoL MEVDU DWUMQ TAKIMI LU^AMI (SOSTAWLENNYJ IZ
PROMEVUTO^NYH LU^EJ ) PRI OTOBRAVENII w = Ln z PEREHO-
DIT W NABOR PARALLELXNYH POLOS (IRINA KAVDOJ RAWNA RAS-
TWORU UGLA ) OBRATNYM OTOBRAVENIEM z = ew KAVDAQ TAKAQ
POLOSA (MYSLIMAQ SOSTAWLENNOJ IZ PARALLELXNYH PRQMYH )
pONIMAEMOGO KAK SOWPADENIE MNOVESTWA Arg (z ) WSEH ZNA^ENIJ
1
ARGUMENTA ^ISLA z I MNOVESTWA Arg z+Arg SUMM WZQTYH PO ODNOMU
WSEWOZMOVNYH ZNA^ENIJ ARGUMENTA ^ISLA z I ARGUMENTA ^ISLA .
2 tO^KI \TOGO LU^A IME@T WID z = r (cos + i sin ) 0 <r< +1.
47
PEREWODITSQ (WZAIMNO-ODNOZNA^NO) NA UKAZANNYJ UGOL .
W) DUGU OKRUVNOSTI RADIUSA r S CENTROM 0, ZAKL@^EN-
NU@ W \TOM UGLE , OTOBRAVENIE w = Ln z PEREWODIT W PROME-
VUTKI PRQMOJ u = ln r, POPADA@]IE W UKAZANNYE POLOSY
(PRI WZAIMNO-ODNOZNA^NOM SOOTWETSTWII MEVDU KAVDYM IZ
\TIH PROMEVUTKOW I UKAZANNOJ DUGOJ ).
rIS. 10
48
sO^ETANIE STEREOGRAFI^ESKOJ PROEKCIEJ (I, S. 21) S LOGARIFMOM
(I KOMPLEKSNYM SOPRQVENIEM ) PRIWODIT K TAK NAZYWAEMOJ PROEKCII
mERKATORA 1, PO SEJ DENX LEVA]EJ W OSNOWE SOSTAWLENIQ NAWIGACION-
NYH KART | KART mERKATORA . sETKA MERIDIANOW I PARALLELEJ NA TA-
KIH KARTAH QWLQETSQ PRQMOUGOLXNOJ I PRQMOLINEJNOJ (RIS. 11).
rIS. 11
gLAWNOE DOSTOINSTWO KART mEKATORA | W PROSTOTE ZADA^ TUR-
MANA I RULEWOGO: PROLOVIW NA \TOJ KARTE KURS W WIDE OTREZKA PRQMOJ
(PERESEKA@]EGO MERIDIANY POD ODNIM I TEM VE UGLOM), DLQ WYDER-
VIWANIQ KURSA DOSTATO^NO SLEDOWATX S POSTOQNNYM RUMBOM | ^TOBY
STRELKA KOMPASA OSTAWALASX W NEIZMENNOM POLOVENII.
dWIVENIE PRI \TOM BUDET PROISHODITX NE PO KRAT^AJEJ LINII NA
POWERHNOSTI, NO \TOT NEDOSTATOK KOMPENSIRUETSQ KRAJNEJ PROSTOTOJ
UPRAWLENIQ2. kUDA BOLXIM NEDOSTATKOM KART mERKATORA QWLQETSQ
SWOJSTWENNOE IM NARASTANIE ISKAVENIJ PRI PRIBLIVENII K POL@SAM,
WSLEDSTWIE ^EGO IZ NIH ISKL@^A@TSQ WYSOKIE IROTY (KAK NA RIS. 11).
Mercator (NAST. IMQ Kremer), Gerhard, 1512{1594, | FLAMANDSKIJ
1
KARTOGRAF, OPUBLIKOWAWIJ W 1569 G. MOREHODNU@ KARTU MIRA NA OS-
NOWE \TOJ PROEKCII.
2 dWIVENIE PO KRAT^AJEJ LINII | OKRUVNOSTI BOLXOGO KRUGA
(ESLI zEML@ PRINIMATX ZA PRAWILXNYJ AR ) | TREBUET POSTOQNNOJ
KORREKTIROWKI RUMBA.
49
dOLGOTA I IROTA ' (STANDARTNYE OBOZNA^ENIQ) TO^KI NA PO-
WERHNOSTI zEMLI I DEKARTOWY KOORDINATY x y EE IZOBRAVENIQ ; NA
KARTE mERKATORA SWQZANY URAWNENIQMI x = y = ln tg 4 + '2 ,
GDE | RADIUS zEMLI , A | MASTAB KARTY .
pOSTROENIE PROEKCII mERKATORA KAK SO^ETANIQ STEREOGRAFI^ES-
KOJ PROEKCII I OTOBRAVENIQ w = i ln z ILL@STRIRUET RIS. 12.
rIS. 12
50
iMEQ OPREDELENIQ \KSPONENTY I LOGARIFMA , MOVNO DATX OB]EE
OPREDELENIE STEPENI z | S L@BYM KOMPLEKSNYM POKAZATELEM I
PRI L@BOM KOMPLEKSNOM OSNOWANII z 6= 0:
= exp Ln z = exp ln jz j + i (arg z +2 k) k 2 Z 1
; ;
z def
o TOM, SKOLXKO ZNA^ENIJ IMEET z DLQ RAZLI^NYH z I I NASKOLX-
KO DANNOE OPREDELENIE STEPENI SOGLASUETSQ S OBY^NYM W SLU^AE CELOGO
POKAZATELQ, OBSUVDAETSQ NIVE (S. 54{56). pOKA VE SLEDUET OTMETITX,
^TO DAVE DLQ DEJSTWITELXNYH ZNA^ENIJ z = a I = b S a > 0 (I
;
arg a = 0) TOLXKO OPREDELENIE ab def = exp b ln a WKUPE S SOOTNOENI-
QMI exp(a + b) = (exp a)(exp b) (II, c. 36) I exp 0 = 1 POZWOLQET DATX
KOROTKIJ I WNQTNYJ ;
WYWODOSNOWNYH
;
SWOJSTW
;
STEPENI
:
ab+c =exp (b + c) ln a =exp b ln a + exp c ln a = ab + ac
; b c ; ; ;
a =exp c ln ab =exp c ln exp(b ln a) =exp cb ln a = abc
; ; exp(b ln a) exp 0 = 1 .
a;b =exp ;b ln a =exp ;b ln a exp( b ln a) = exp( b ln a) ab
;
a0 =exp 0 ln a =1.
gLQDQ NA TO, KAK AKKURATNO DELAET \TO NA S. 142 {146 SWOEGO U^EB-
NIKA 29] UVE UPOMINAWIJSQ (II, S. 36) DA kUNXQ, MOVNO LIX PORA-
VATXSQ, NASKOLXKO \TOT PORTUGALXSKIJ MATEMATIK, VIWIJ W XVIII W.
I PREPODAWAWIJ W UNIWERSITETE G. kOIMBRA, WYIGRYWAET W SRAWNENII
S NYNENIMI WUZOWSKIMI PROPAGANDISTAMI MATEMATI^ESKIH ZNANIJ.
bOLXINSTWO IZ NIH, DOJDQ W SWOIH LEKCIQH (ILI U^EBNIKAH) DO OPRE-
DELENIQ I SWOJSTW STEPENI S L@BYM POKAZATELEM, LIBO OTSYLA@T ZA
NIMI W SREDN@@ KOLU (WARIANT: OBHODQTSQ BEZ OPREDELENIQ , A SWOJ-
STWA \WYNIMA@T IZ RUKAWA"), LIBO WYSTUPA@T S PROGRAMMOJ: \SNA^ALA
OPREDELIM STEPENX ^ISLA S RACIONALXNYM POKAZATELEM, ZATEM, USTANO-
WIW EE SWOJSTWA, PEREJDEM K SLU^A@ L@BOGO POKAZATELQ etc.", KAKOWU@
PROGRAMMU TUT VE SWORA^IWA@T ILI PROWALIWA@T.
mNOGOZNA^NOSTX LOGARIFMA | GLAWNAQ PRI^INA IRO-
KOGO RASPROSTRANENIQ QWLENIQ MNOGOZNA^NOSTI SREDI FUNK-
dANNOE OB]EE OPREDELENIE STEPENI IMEET EDINSTWENNOE ISKL@-
1
+P1 zn
^ENIE: ez WSEGDA PONIMA@T IMENNO KAK exp z def = , A NE KAK
n=0 n!
exp z Ln e =exp z (1+ i 2 k) =exp z exp(i 2 kz ) k 2 Z .
; ;
51
CIJ KOMPLEKSNOJ PEREMENNOJ, W ^ASTNOSTI, TEH IZ NIH, KO-
TORYE PRINQTO NAZYWATX \LEMENTARNYMI .
k \LEMENTARNYM FUNKCIQM 1 KOMPLEKSNOJ PEREMENNOJ
OTNOSQT2 TE I TOLXKO TE , FORMULXNYE WYRAVENIQ KOTORYH
(^EREZ PEREMENNU@ I KONSTANTY ) MOVNO POLU^ITX, KOMBI-
NIRUQ (W KONE^NOM ^ISLE ) DEJSTWIQ SLOVENIQ , WY^ITANIQ ,
UMNOVENIQ , DELENIQ , WZQTIQ \KSPONENTY I LOGARIFMA .
|LEMENTARNYMI , K PRIMERU, QWLQ@TSQ ODNOZNA^NYE FUNKCII
iz ;iz
a) w = z 3 B) w = 21 z + z1 W) w = cos z = e +2e ,
A TAKVE OBRATNYE ; K NIM, OKAZYWA@]IESQ
; MNOGOZNA^NYMI
p ; :
p
a 0) z = 3 w = exp 3 Ln w = exp 3 (ln w+i 2k) = 3 w cosp3 +i sin 2k
1 1 2 k
3
(PONIMATX \TO SLEDUET W TOM SMYSLE, ^TO WSE ZNA^ENIQ 3 w QWLQ@TSQ
REZULXTATAMI UMNOVENIQ KAKOGO -TO ODNOGO IZ NIH, OBOZNA^AEMOGO TEM
VE SIMWOLOM p3 w , NA WSEWOZMOVNYE KORNI 3-J STEPENI IZ ;1)
p
B 0) z = w + w2 ; 1 = w + exp 12 Ln (w2 ; 1) =
; ; p p
= w + exp 21 ln(w2 ; 1)+ i 2k = w + w2 ; 1 eik = w w2 ; 1
p
(W PERWOM RAWENSTWE PODRAZUMEWA@TSQ WSE ZNA^ENIQ w2 ; 1, a W DWUH
POSLEDNIH | KAKOE-TO ODNO IZ NIH)
iz ;iz
W 0) z = Arccos w ()def
w = e +2e () e2iz ; 2weiz + 1 = 0 ()
p ; p
() eiz = w + w2 ; 1 () z = ;i Ln w + w2 ; 1
p 2 ZNA^ENIJ wp= 2u 2 ; 1 1] (RIS. 13)
W ^ASTNOSTI, DLQ DEJSTWITELXNYH
;
Arccos w = ;i ln jw + w ; 1j + i Arg (w + w ; 1) =
p p
= ;i ln ju i 1 ; u2j + Arg (u i 1 ; u2) =
= arccos u + 2k k = 0 1 2 : : : ,
GDE arccos u | OBY^NYJ (\KOLXNYJ") ARKKOSINUS ^ISLA u 2 ;1 1].
dLQ \LEMENTARNYH FUNKCIJ PRINQTA SLEDU@]AQ DOPOL-
NITELXNAQ KLASSIFIKACIQ.
1iME@TSQ W WIDU QWNO ZADANNYE FUNKCII w = f (z).
2wSLED ZA kOI (28], ser. II, t. X, p. 19) I ANGLIJSKIM MATEMATIKOM
gARDI (TO^NEE, hARDI Hardy, Godfrey Harold, 1877{1947 2] S. 7).
52
rIS. 13
WELI^INA zn def
= exp(n Ln z) IMEET EDINSTWENNOE ZNA^ENIE,
SOWPADA@]EE S OBY^NYM PONIMANIEM zn KAK PROIZWEDENIQ
n SOMNOVITELEJ, RAWNYH z. tAKIM OBRAZOM, STEPENNAQ FUNK-
CIQ w = zn S NATURALXNYM POKAZATELEM n QWLQETSQ ODNO-
ZNA^NOJ I PRI \TOM CELOJ RACIONALXNOJ .
55
2. pUSTX a ESTX CELOE OTRICATELXNOE ^ISLO (a = ;n).
kAKOW BY NI BYL WYBOR KONKRETNOGO ZNA^ENIQ ln z 2 Ln z,
za = exp(;n ln z) = exp(;n ln z) exp( n ln z ) exp 0 1
exp(n ln z ) = exp(n ln z ) = z n
z;n = exp(;n ln z) SOGLASUETSQ S OBY^NYM,
;
T. E. OPREDELENIE
T. E. z;n =1=zn , W SILU ^EGO STEPENNAQ FUNKCIQ w = z;n (S
ZNA^ENIJ z = 0 I z = 1 : 0=0, 1 = 1.
n n
rIS. 15
1 t. E. KONSTRUKCIQ IZ \LISTOW" DOLVNA BYTX SWQZNOJ .
2 fUNKCIQ NA POWERHNOSTI DOLVNA BYTX NEPRERYWNOJ .
61
kAVDOJ TO^KE z 6= 0 PLOSKOSTI C SOOTWETSTWUET BESKONE^NYJ
NABOR (RASPOLOVENNYH NAD I POD NEJ) TO^EK OBRAZUEMOJ \TIM \LEJ-
FOM" RIMANOWOJ POWERHNOSTI , ZNA^ENIE VE ' =Arg z W KAVDOJ IZ NIH
OPREDELQETSQ KAK WZQTAQ SO ZNAKOM (SOOTWETSTWENNO, + DLQ TO^EK, LE-
VA]IH NAD z I ; DLQ LEVA]IH POD NEJ) DLINA PUTI , PROJDENNOGO
TO^KOJ 1 LU^A (SOOTWETSTWENNO, L+ ILI L; ) DO PROHOVDENIQ EGO ^EREZ
DANNU@ TO^KU .1
dLQ BOLXINSTWA MNOGOZNA^NYH FUNKCIJ w = F (z ) POSTROENIE IH
RIMANOWYH POWERHNOSTEJ OKAZYWAETSQ BOLEE SLOVNYM I PO^TI WSEGDA
LIX WIRTUALXNYM | NE OSU]ESTWIMYM WpREALXNOJ MODELI | DAVE
DLQ PROSTEJEJ DWUHZNA^NOJ FUNKCII w = z (XVIII, c. 299{300).
pOSTROENIE RIMANOWYH POWERHNOSTEJ DALO IMPULXS RAZWITI@ KAK
OTDELXNOJ MATEMATI^ESKOJ NAUKI | TOPOLOGII 2 (S EE RAZLI^NYMI SPE-
CIALIZACIQMI), TAK I NOWOGO RAZDELA ANALIZA | TEORII FUNKCIJ NA
RIMANOWYH POWERHNOSTQH . s POZICII VE ANALIZA NA KOMPLEKSNOJ PLOS-
KOSTI POSTROENIE RIMANOWYH POWERHNOSTEJ ESTX SKOREE RAZWLE^ENIE
NEVELI PRAKTI^ESKIJ APPARAT OBRA]ENIQ S MNOGOZNA^NYMI FUNKCIQ-
MI : NA PERWOE MESTO WYSTUPAET NE NAGLQDNAQ ILL@STRACIQ USTROJSTWA
IH MNOGOZNA^NOSTI , A UMENIE WYDELQTX IH ODNOZNA^NYE WETWI .
oDNOZNA^NOJ WETWX@ (ILI PROSTO WETWX@ 3 ) MNOGOZNA^-
NOJ FUNKCII w = F (z) NA MNOVESTWE E C NAZYWA@T L@BU@
NEPRERYWNU@ NA \TOM MNOVESTWE FUNKCI@ w = f (z), OBLADA-
@]U@ TEM cWOJSTWOM, ^TO f (z) 2 F (z) 4 DLQ L@BOGO z 2 E .
eSLI TAKAQ NEPRERYWNAQ FUNKCIQ w = f (z) z 2 E , SU-
]ESTWUET, TO GOWORQT, ^TO MNOGOZNA^NAQ FUNKCIQ w = F (z)
DOPUSKAET NA MNOVESTWE E WYDELENIE ODNOZNA^NOJ WETWI .
tREBOWANIE NEPRERYWNOSTI ODNOZNA^NYH WETWEJ w = f (z ) ISHODIT
IZ NAMERENIQ SOGLASOWANNOGO WYBORA ZNA^ENIJ f (z ) 2 F (z ), SOHRANQ-
@]EGO SU]ESTWU@]U@ ZAWISIMOSTX MEVDU PEREMENNYMI . rAZRYWNYE
ODNOZNA^NYE WETWI, SOOTWETSTWU@]IE SLU^AJNOMU WYBORU PO ODNOMU
1 sOOTWETSTWU@]IM ZNA^ENIEM w 2 Ln z BUDET w =ln jz j + i'.
2 gRE^. oo& | MESTO, o
o& | SLOWO, U^ENIE (PERWONA^ALXNOE NA-
ZWANIE TOPOLOGII BYLO analysis situs , T. E. ANALIZ RASPOLOVENIQ ).
3 tERMIN rIMANA (15], c. 89 W NEMECKOM ORIGINALE Zweig).
4 t. E. f (z ) QWLQETSQ KAKIM-TO ODNIM IZ MNOVESTWA ZNA^ENIJ F (z ).
62
ZNA^ENI@ f (z ) W KAVDOM MNOVESTWE F (z ), NE NASLEDOWALI BY (ILI
ISKAVALI) \TU ZAWISIMOSTX , TEM BOLEE ^TO RAZRYWNYE FUNKCII PLOHO
PODDA@TSQ IZU^ENI@ METODAMI MATEMATI^ESKOGO ANALIZA .
tO^KU z0 2 C , W OKRESTNOSTI KOTOROJ 1 PREDPOLAGA-
ETSQ ZADANNOJ MNOGOZNA^NAQ FUNKCIQ w = F (z), NAZYWA@T
TO^KOJ WETWLENIQ (ILI RAZWETWLENIQ )2 \TOJ MNOGOZNA^NOJ
FUNKCII , ESLI NE SU]ESTWUET TAKOJ OKRESTNOSTI TO^KI
z0 , W KOTOROJ MNOGOZNA^NAQ FUNKCIQ w = F (z) DOPUSKALA BY
WYDELENIE ODNOZNA^NOJpWETWI .
pRIMERY.3 1. w = ( n z )npz 2 C , | \TO OBY^NAQ (ODNO-
ZNA^NAQ) FUNKCIQ
p , TAK KAK ( n z )n z.
2. w = n z n z 2 C , | \TO MNOGOZNA^NAQ FUNKCIQ , SO-
POSTAWLQ@]AQ KAVDOMU KOMPLEKSNOMU ^ISLU z 6= 0 ROWNO n
RAZLI^NYH ZNA^ENIJ KORNQ n-J STEPENI IZ ^ISLA zn (LIX
z =0 SOOTWETSTWUET EDINSTWENNOE ZNA^ENIE w =0). pOSKOLX
KU NABOR \TIH ZNA^ENIJ SOWPADAET S NABOROM ZNA^ENIJ z 1,
p
n
-
IH MOVNO ZAPISATX W WIDE
z z cos 2n + i sin 2n : : : z cos 2(nn;1) + i sin 2 (nn;1) ,
; ;
rIS. 16
1 mOVNO (HOTQ NE OBQZATELXNO) S^ITATX, ^TO \TO GLAWNOE ZNA^ENIE
ARGUMENTA , WYDELQEMOE USLOWIQMI ;< arg z 6 ILI 0 6 arg z < 2.
66
|TI VE RASSUVDENIQ POKAZYWA@T, ^TO MNOGOZNA^NAQ FUN-
KCIQ ' = Arg z NE IMEET ODNOZNA^NYH WETWEJ NI NA KAKOM
PODMNOVESTWE E C , DOPUSKA@]EM OBHOD TO^KI z WOKRUG
NA^ALA KOORDINAT . w ^ASTNOSTI, \TIM SWOJSTWOM OBLADAET
L@BAQ OKRESTNOSTX NULQ I L@BAQ OKRESTNOSTX BESKONE^-
NOSTI , A POTOMU
0 I 1 QWLQ@TSQ DLQ MNOGOZNA^NOJ FUNKCII ' = Arg z
TO^KAMI WETWLENIQ .
tO, ^TO DRUGIH TO^EK WETWLENIQ U MNOGOZNA^NOJ FUNK-
CII ' =Arg z NET , WYTEKAET IZ SLEDU@]EGO UTWERVDENIQ.
w PLOSKOSTI C c \RAZREZOM" PO L@BOMU LU^U 1 L S WER-
INOJ 0 MOVNO WYDELITX ODNOZNA^NU@ WETWX 2 ' = arg z
MNOGOZNA^NOJ FUNKCII ' = Arg z. (kAK SLEDSTWIE, ODNO-
ZNA^NU@ WETWX ' =arg z MOVNO WYDELITX W OKRESTNOSTI
L@BOJ TO^KI z0 2 C z0 6= 0).
dOKAZATELXSTWo. pUSTX LU^ \RAZREZa" L WYHODIT IZ TO^-
KI 0 POD UGLOM K DEJSTWITELXNOJ OSI. pOSKOLXKU ESTX
(c TO^NOSTX@ DO SLAGAEMOGO, KRATNOGO 2 ) DLINA DUGI EDI-
NI^NOJ OKRUVNOSTI3 OT LU^A 0 +1) DO LU^A L , DOSTATO^NO
DLQ z 2 C z 2= L, POLOVITX arg z RAWNYM SLOVENNOJ S
DLINE DUGI EDINI^NOJ OKRUVNOSTI3 OT LU^A L DO LU^A ^EREZ
TO^KU z (RIS. 16, B). tO, ^TO FUNKCIQ ' =arg z OKAZYWAETSQ
NEPRERYWNOJ NA MNOVESTWE C r L (BESKONE^NO MALOMU PRI-
RA]ENI@ Mz TO^KI z 2 C z 2= L, OTWE^AET BESKONE^NO MALOE
PRIRA]ENIE Marg z EE ARGUMENTA), WYTEKAET IZ NERAWENSTWA
jM arg zj 6 arcsin jMjzzj j (SPRAWEDLIWOGO PRI jMzj 6 jzj ). Q.E.D.
t. E. W PLOSKOSTI , IZ KOTOROJ IZ_QT \TOT LU^ (WMESTE S TO^KOJ 0).
1
tO^NEE, BESKONE^NO MNOGO ODNOZNA^NYH WETWEJ, RAZLI^A@]IHSQ
2
SLAGAEMYMI, KRATNYMI 2 .
3 oBHODIMOJ \PROTIW HODA ^ASOWOJ STRELKI".
67
wYDELITX ODNOZNA^NU@ WETWX ' =arg z W OKRESTNOSTI PROIZWOLX-
NO WZQTOJ TO^KI z0 6= 0 MOVNO I W WIDE FUNKCII KOORDINAT x y. |TO
MOVNO SDELATX LIBO RAZBOROM SLU^AEW NAHOVDENIQ TO^KI W KAVDOJ IZ
POLUPLOSKOSTEJ , NA KOTORYE8DELQT PLOSKOSTX C KOORDINATNYE OSI:
>
>
>
arctg xy (+2 k) ESLI x> 0
<arcctg x (+2 k ) ESLI y> 0
>
arg z = arg(x + iy) = > y
arctg y (+2 k) ESLI x< 0 1
>
> x
:arcctg x (+2 k ) ESLI y< 0 1
>
y
LIBO, POLAGAQ ODNIM IZ ZNA^ENIJ arg z0 , SOWERITX POWOROT PLOS-
KOSTI C NA UGOL ;, POLAGAQ ze = xe+i ye = ze;i =(x+iy)(cos ;i sin ),
I PRIJTI K FORMULE
arg z = arctg xyee + = arctg xy cos ;x sin
cos +y sin + (+2 k ),
SPRAWEDLIWOJ W POLUPLOSKOSTI fz = x + iy : Re(ze;i) > 0g (RIS. 17).
rIS. 17
zADA^A WYDELENIQ ODNOZNA^NYH WETWEJ ' = arg(z ; z0)
MNOGOZNA^NOJ FUNKCII ' = Arg(z ; z0) REAETSQ TO^NO TAK
1wYBOROM ZNAKOW (PERED ) DOSTIGAETSQ POPARNOE SOGLASOWANIE
ZNA^ENIJ L@BYH TREH IZ ^ETYREH STROK PRAWOJ ^ASTI W PERESE^ENI-
QH POLUPLOSKOSTEJ, ^TO SOOTWETSTWUET WYDELENI@ ODNOZNA^NOJ WETWI
' = arg z W PLOSKOSTI C S \RAZREZOM" WDOLX ODNOJ IZ ^ETYREH KOOR-
DINATNYH POLUOSEJ. dOSTI^X POPARNOGO SOGLASOWANIQ ZNA^ENIJ WSEH
^ETYREH STROK NEWOZMOVNO , ^TO OTRAVAET NEWOZMOVNOSTX WYDELENIQ
ODNOZNA^NOJ WETWI ' =arg z W PLOSKOSTI C BEZ \RAZREZA".
68
VE, NO UVE W PLOSKOSTI C S \RAZREZOM" PO LU^U c WERINOJ
z0 (DOSTATO^NO PRINQTX z ; z0 ZA NOWU@ PEREMENNU@ ).
wNIMANIE, UDELQEMOE NAHOVDENI@ ODNOZNA^NYH WETWEJ
ARGUMENTA , OB_QSNQETSQ TEM, ^TO NA IH OSNOWE MOGUT BYTX
WYRAVENY ODNOZNA^NYE WETWI BOLXINSTWA (ESLI NE WSEH)
MNOGOZNA^NYH FUNKCIJ KOMPLEKSNOJ PEREMENNOJ.
k PRIMERU, DLQ MNOGOZNA^NYH FUNKCIJ w = Ln(z ; z0)
I w = (z ; z0)a (PRI NECELOM a) ODNOZNA^NYE WETWI IME@T
SOOTWETSTWENNO WID
w = ln(z ; z0) = ln jz ; z0 j + i arg(z ; z0)
I
w = ea ln(z;z0) = ea ln jz;z0jeia arg(z;z0)
PERWYE RAZLI^A@TSQ SLAGAEMYMI i 2 k, A WTORYE | MNOVI-
TELQMI 1 eia2k k = 1 2 : : : KAVDAQ OPREDELENA TAM, GDE
MOVNO WYDELITX ODNOZNA^NU@ WETWX ' = arg(z ; z0) | NA-
PRIMER, W PLOSKOSTI C S \RAZREZOM" PO L@BOMU LU^U L ,
WYHODQ]EMU IZ TO^KI z0 .
rIS. 18
w SLU^AE DEJSTWITELXNOGO RACIONALXNOGO POKAZATELQ a SREDI NIH
1
LIX KONE^NOE ^ISLO RAZLI^NYH , W SLU^AE VE IRRACIONALXNOGO ILI
MNIMOGO | NAPROTIW, WSE ONI RAZLI^NY (III, c. 55{56).
69
w KAVDOJ VE TO^KE LU^A L \TI (OPREDELENNYE W PLOS-
KOSTI C S \RAZREZOM" PO \TOMU LU^U ) ODNOZNA^NYE WETWI
w = ln(z ; z0) I w = ea ln(z;z0) TERPQT RAZRYW | IZ-ZA RAZ-
LI^IQ (NA 2 ) PREDELXNYH ZNA^ENIJ arg(z ; z0) PO RAZNYE
STORONY OT LU^A L (RIS. 18, a). kROME TOGO, k-KRATNYJ OB-
HOD TO^KI z WOKRUG TO^KI z0 , NEPRERYWNO IZMENQQ ZNA^ENIE
arg(z ; z0), PRIDAET EMU PRIRA]ENIE 2 k, WSLEDSTWIE ^EGO K
ODNOZNA^NYM WETWQM w = ln(z;z0) = ln jz;z0 j+i arg(z;z0) I
w = ea ln(z;z0) = ea ln jz;z0jeia arg(z;z0) DOBAWLQETSQ, SOOTWETSTWEN-
NO, SLAGAEMOE i 2k I MNOVITELX ei2k: PROISHODIT TO, ^TO
NAZYWA@T WETWLENIEM | NEPRERYWNYJ PEREHOD K OT ODNOJ
ODNOZNA^NOJ WETWI K DRUGOJ.1
~UTX BOLEE SLOVNYJ PRIMER p | NAHOVDENIE ODNOZNA^NYH
; WETWEJ
DWUHZNA^NOJ FUNKCII w = z + z 2 ; 1, OBRATNOJ K pz = 12pw + w1 .
oNI ZAWEDOMO OPREDELENY I IME@TpWID w = z + pz ; 1 z +1 TAM, GDE
OPREDELENY ODNOZNA^NYE WETWI w = z ; 1 I w = z +1, W ^ASTNOSTI,
W PLOSKOSTI C S \RAZREZAMI" PO (L@BYM) DWUM LU^AM , WYHODQ]IM IZ
TO^EK 1 I ;1 (RIS. 18, B). p
p ;2 VE DWUHZNA^NOJ FUNKCII w = z + z 2 ; 1 W WIDE
pREDSTAWLENIE
w = z + z 1 ; z POZWOLQET WYDELITX (DWE) EE ODNOZNA^NYE WETWI W
PLOSKOSTI
; C S \RAZREZOM" PO OTREZKU ;1 1]. dOSTATO^NO ZAMETITX,
^TO TAK KAK z 2= ;1 1] () 1;z ;2 2= (;1 0] ZNA^ENIQM z IZ PLOS-
KOSTI C S \RAZREZOM" PO OTREZKU ;1 1] SOOTWETSTWU@T ZNA^ENIQ
1 ; z;2, PRINADLEVA]IE PLOSKOSTI C S \RAZREZOM" PO LU^U (;1 0]
(RIS. 19), PO\TOMU DLQ NIHpOPREDELENY DWE (RAZLI^A@]IESQ ZNAKOM)
ODNOZNA^NYE WETWI wp = 1 ; z;2, A SLEDOWATELXNO, I DWE ODNOZNA^-
NYE WETWI w = z + z 1 ; z;2. kAK SLEDSTWIEp, 1 NE QWLQETSQ TO^KOJ
WETWLENIQ DLQ DWUZNA^NOJ FUNKCII w = z + z 2 ; 1 .
rIS. 19
g(z) = g 2 (z ) ,
A TAKVE PROIZWODNOJ 0
SLOVNOJ FUNKCII
f ('(z) = f 0() '0(z), GDE = '(z).
;
GDE = n!lim
p
n
+1 ;n
jc j , A r = n!lim+1 jcnj (II, STR. 29).
p
n
rIS. 20
rIS. 21
81
sWOJSTWO OTOBRAVENIQ FUNKCIEJ w = f (z), IME@]EJ W
TO^KE z0 NE RAWNU@ NUL@ PROIZWODNU@ f 0(z0), | PEREWODITX
STQGIWA@]IESQ K TO^KE z0 TREUGOLXNIKI (I DRUGIE FIGURY)
W FIGURY , W PREDELE IM PODOBNYE (I ODINAKOWO S NIMI ORI-
ENTIROWANNYE ) | NAZYWA@T KONFORMNOSTX@1 OTOBRAVENIQ
(W TO^KE z0 ).
|KWIWALENTNO KONFORMNOSTX OTOBRAVENIQ w = f (z) (W
TO^KE z0 ) OZNA^AET WYPOLNENIE SLEDU@]IH DWUH USLOWIJ.
\COHRANENIE UGLOW" 2. pUSTX TO^KI z1 I z2 STREMQTSQ K
TO^KE z0 TAK, ^TO arg Mz1 ! 1 , A arg Mz1 ! 2 (NAGLQDNO
\TO SOOTWETSTWUET STREMLENI@ TO^EK z1 I z2 K TO^KE z0
WDOLX \LINIJ", IME@]IH W TO^KE z0 KASATELXNYE , WYHODQ-
]IE IZ NEE POD UGLAMI, SOOTWETSTWENNO, 1 I 2 K DEJSTWI-
TELXNOJ OSI ). tOGDA (ESLI f 0( z0 ) 6= 0)
; ;
arg Mw1 = arg MMwz11 Mz1 = arg MMwz11 + Mz1 ! arg f 0(z0)+ 1 ,
; ;
arg Mw2 = arg MMwz22 Mz2 = arg MMwz22 + Mz2 ! arg f 0(z0)+ 2 ,
IZ ^EGO SLEDUET WYWOD: PRI UKAZANNOM STREMLENII TO^EK z1
I z2 K TO^KE z0 TO^KI w1 = f (z1) I w2 = f (z2) STREMQTSQ K
TO^KE w0 = f (z0) WDOLX \LINIJ", UGOL PERESE^ENIQ KOTORYH
(W TO^KE w0) RAWEN UGLU PERESE^ENIQ (W TO^KE z0) \LINIJ",
WDOLX KOTORYH STREMQTSQ K TO^KE z0 TO^KI z1 I z2 (PRI
ODNOM I TOM VE NAPRAWLENII OTS^ETA UGLOW RIS. 22).
1 sFORMULIROWANNOE SWOJSTWO OTMETIL gAUSS W RABOTE 1822 G. (33],
Bd. IV, S. 189{216), OHARAKTERIZOWAW EGO KAK \PODOBIE W MALOM" (\in den
kleinsten Theilen $ahnlich") S WKL@^ENIEM \TOGO TERMINA W SAMOE NAZWA-
NIE RABOTY. pOZDNEE (W 1844 G.) ON NAZWAL \TO SWOJSTWO KONFORMNOSTX@
OTOBRAVENIQ (33], Bd. IV, S. 262) LAT. conformis | SHODNYJ, PODOB-
NYJ .
2 s WERINOJ W TO^KE z . CRAZU SLEDUET OTMETITX, ^TO ODNOGO \SO-
0
HRANENIQ UGLOW" W TO^KE z0 E]E NEDOSTATO^NO DLQ KONFORMNOSTI OTO-
BRAVENIQ W UKAZANNOJ TO^KE (PRIMER IZ UPRAVNENIQ 4 NA S. 87).
82
rIS. 22
\pOSTOQNSTWO
RASTQVENIQ". eSLI Mlim jMwj = jf 0 (z)j 6= 0,
z!0 jMz j
TO KAKIM BY MALYM NI BYLO ^ISLO "> 0, NERAWENSTWA
jf (z)j;" jMzj < jMwj < (jf 0(z)j+ ") jMzj
; 0
rIS. 23
sWOJSTWO KONFORMNOSTI OTOBRAVENIQ w = f (z) (W TO^-
KAH, GDE f 0(z) 6= 0) I EGO NARUENIE (W TO^KAH, GDE f 0(z) = 0)
ILL@STRIRUET NA PROSTYH PRIMERAH RIS. 14 (S. 57)1. w ^AST-
NOSTI, PRI OTOBRAVENII w = z2 RASTWORY UGLOW, WYHODQ]IH
IZ TO^KI 0, UWELI^IWA@TSQ W DWA RAZA, A WEKTORY Mz I Mz
PEREHODQT W WEKTORY, RAZLI^A@]IESQ PO DLINE W 2 RAZ (HO-
TQ PRI \TOM KAVDAQ OKRUVNOSTX S CENTROM 0 PEREHODIT W
OKRUVNOSTX ).
gIDROMEHANI^ESKIJ SMYSL PROIZWODNOJ PO KOMPLEKSNOJ PEREMENNOJ
pUSTX W NEKOTOROJ ^ASTI PROSTRANSTWA ZADANO WEKTORNOE POLE , PO
SMYSLU QWLQ@]EESQ POLEM SKOROSTEJ ^ASTIC VIDKOSTI. pREDPOLAGAET-
SQ, ^TO
A) POLE QWLQETSQ PLOSKOPARALLELXNYM : WSE WEKTORY PARALLELXNY
FIKSIROWANNOJ PLOSKOSTI (PRINIMAEMOJ ZA PLOSKOSTX KOORDINAT x y
ILI KOMPLEKSNU@ PLOSKOSTX PEREMENNOJ z = x + iy) I NE ZAWISQT OT
RASSTOQNIQ DO \TOJ PLOSKOSTI
1 sLEDUET POD^ERKNUTX LOKALXNOSTX cWOJSTWA KONFORMNOSTI : QW-
LQQSX KONFORMNYM W OTDELXNO WZQTYH TO^KAH, OTOBRAVENIE w = f (z)
MOVET SU]ESTWENNO IZMENITX FORMU FIGURY W CELOM (^TO I WIDNO NA
RIS. 14).
84
B) PROEKCIQ NA UKAZANNU@ PLOSKOSTX TOJ ^ASTI PROSTRANSTWA, W
KOTOROJ ZADANO POLE, QWLQETSQ ODNOSWQZNOJ OBLASTX@ 1
W) POLE2 QWLQETSQ BEZWIHREWYM I NE IMEET ISTO^NIKOW I STOKOW .
pERWOE PREDPOLOVENIE POZWOLQET ZAPISATX POLE W WIDE v = fp qg,
GDE p = p(x y) q = q(x y) | FUNKCII, IME@]IE NEPRERYWNYE ^ASTNYE
PROIZWODNYE PO x I y W UPOMQNUTOJ ODNOSWQZNOJ OBLASTI .
pREDPOLOVENIE O TOM, ^TO WEKTORNOE POLE QWLQETSQ BEZWIHREWYM I
NE IMEET ISTO^NIKOW (I STOKOW ), OZNA^AET WYPOLNENIE RAWENSTW
@q @p @p @q
@x = @y (rot v = 0) I @x = ; @y (div v =0).
wWIDU ODNOSWQZNOSTI OBLASTI, GDE SPRAWEDLIWY \TI RAWENSTWA,
IZ NIH WYWODITSQ3, SOOTWETSTWENNO, ^TO pdx + qdy = du, A ; qdx +
pdy = dv DLQ NEKOTORYH FUNKCIJ4 u = u(x y) I v = v(x y). pERWU@
IZ NIH NAZYWA@T POTENCIALXNOJ FUNKCIEJ (SKOROSTI ), A WTORU@ |
FUNKCIEJ TOKA .
kAK SLEDSTWIE, @u @u @v @v
@x = p, @y = q, @x = ;q, @y = p, W SILU ^EGO FUNK-
CII u = u(x y) I v = v(x y) UDOWLETWORQ@T URAWNENIQM kOI { rI-
MANA , A POTOMU | SOGLASNO USTANOWLENNOMU KRITERI@ SU]ESTWOWANIQ
PROIZWODNOJ (S. 73) | PREDSTAWLQ@T SOBOJ, SOOTWETSTWENNO, DEJSTWI-
TELXNU@ I MNIMU@ ^ASTI NEKOTOROJ FUNKCII w = f (z ) KOMPLEKSNOJ
PEREMENNOJ z = x+iy, IME@]EJ (W KAVDOJ TO^KE UPOMQNUTOJ ODNOSWQZ-
NOJ OBLASTI) PROIZWODNU@ f 0 (z )= @ (u@x+iv) = p ; iq.
|TA FUNKCIQ w = f (z ) (OPREDELQEMAQ S TO^NOSTX@ DO POSTOQNNO-
GO KOMPLEKSNOGO SLAGAEMOGO ) NAZYWAETSQ KOMPLEKSNYM POTENCIALOM
WEKTORNOGO POLQ v = fp qg : NA KOMPLEKSNOJ PLOSKOSTI SWQZX MEVDU
NIMI WYRAVAETSQ RAWENSTWOM f 0 (z ) = v. |KWIWALENTNO: MODULX PRO-
IZWODNOJ KOMPLEKSNOGO POTENCIALA WYRAVAET ABSOL@TNU@ WELI^INU
1 pODROBNO PONQTIE ODNOSWQZNOJ OBLASTI OBSUVDAETSQ NIVE (X,
S. 149{151), SUTX VE ODNOSWQZNOSTI SOSTOIT W TREBOWANII, ^TO ESLI
GRANICA KAKOJ-LIBO PLOSKOJ FIGURY PRINADLEVIT OBLASTI , TO I SAMA
\TA FIGURA PRINADLEVIT \TOJ OBLASTI .
2 eGO KOMPONENTY PREDPOLAGA@TSQ NEPRERYWNO DIFFERENCIRUEMYMI
FUNKCIQMI TO^KI.
3 pRIMENENIEM FORMULY gRINA K MNOGOUGOLXNIKAM .
4 oPREDELQEMYH S TO^NOSTX@ DO POSTOQNNOGO SLAGAEMOGO . eSLI NE
TREBOWATX ODNOSWQZNOSTI OBLASTI, TO \TI FUNKCII MOGUT OKAZATXSQ
MNOGOZNA^NYMI .
85
SKOROSTI POTOKA, A EE ARGUMENT | WZQTYJ S OBRATNYM ZNAKOM UGOL
MEVDU WEKTOROM SKOROSTI I OSX@ x.
lINII TOKA 1 WEKTORNOGO POLQ v = fp qg | A \TO REENIQ DIFFE-
RENCIALXNOGO URAWNENIQ dxp = dyq (WEKTORY POLQ QWLQ@TSQ KASATELX-
NYMI K NIM) | IME@T WID v = const, TAK KAK W SILU \TOGO URAWNENIQ
dv = ;qdx + pdy =0.
eSLI v = v1 I v = v2 | DWE LINII TOKA , A y1 y2 OPREDELQ@TSQ
(DLQ FIKSIROWANNOGO x) IZ URAWNENIJ v(x y1 ) = v1 v(x y2 ) = v2 , TO
@v = p)
(POSKOLXKU @y
Ry2 (xy) Ry2
v2 ; v1 = v(x y2 ) ; v(x y1 ) = @v@y dy = p(x y) dy
y1 y1
ESTX RASHOD (KOLI^ESTWO PROTEKA@]EJ W EDINICU WREMENI) VIDKOSTI
^EREZ WERTIKALX (S KOORDINATOJ x) MEVDU UROWNQMI y1 I y2 .
oTYSKANIEM KOMPLEKSNOGO POTENCIALA (I ^EREZ NEGO RASPREDELE-
NIQ SKOROSTEJ ) POTOKA VIDKOSTI ZANIMALSQ E]E d'aLAMBER (c. 75). o
TOM, KAK EGO NAHODQT W TAK NAZYWAEMYH ZADA^AH NA OBTEKANIE , MOVNO
PONQTX NA SLEDU@]EM PROSTEJEM PRIMERE.
rIS. 24
pUSTX PLOSKOPARALLELXNYJ POTOK VIDKOSTI | NASTOLXKO BOLXOJ
GLUBINY , ^TO EE MOVNO S^ITATX BESKONE^NOJ , | WSTRE^AET PREPQTSTWIE
W WIDE WERTIKALXNOGO OTREZKA WYSOTY h (RIS. 24, a).2 s^ITAQ, ^TO
1 w PROSTRANSTWE IM OTWE^A@T CILINDRI^ESKIE POWERHNOSTI S OB-
RAZU@]IMI, PERPENDIKULQRNYMI PLOSKOSTI x y.
2 w PROSTRANSTWE \TOMU OTREZKU SOOTWETSTWUET PERPENDIKULQRNAQ
PLOSKOSTI DNA I WEKTORU SKOROSTI POLOSA IRINOJ h.
86
SKOROSTX POTOKA WDALI OT PREPQTSTWIQ RAWNA v1 I NAPRAWLENA WDOLX
OSI x, NAJTI KOMPLEKSNYJ POTENCIAL w = f (z) \TOGO POTOKA.
pOSKOLXKU KAVDOJ ^ASTICE VIDKOSTI OTWE^AET SWOQ LINIQ TOKA , I
GRANI^NOJ (v(x y)= v0 ) DLQ NIH QWLQETSQ OSX x S OTREZKOM-PREPQTST-
WIEM , A WWIDU BESKONE^NOJ GLUBINY POTOKA RASHOD VIDKOSTI SLEDUET
S^ITATX BESKONE^NYM , ISKOMAQ FUNKCIQ w = f (z) DOLVNA WZAIMNO -
ODNOZNA^NO OTOBRAVATX POLUPLOSKOSTX fz 2 C : Im z > 0g, \RAZREZAN-
NU@" PO OTREZKU 0 ih], NA POLUPLOSKOSTX fw 2 C : Im w > v0 g2 PRI
\TOM | TAK KAK KOMPLEKSNYJ POTENCIAL OPREDELQETSQ S TO^NOSTX@ DO
POSTOQNNOGO SLAGAEMOGO | MOVNO S^ITATX v0 =0 (RIS. 24, B ).
rIS. 25
p
oDNOJ IZ TAKIH FUNKCIJ QWLQETSQ w = z 2 + h2, DEJSTWIE KOTOROJ
SWODITSQ K POSLEDOWATELXNOMU WYPOLNENI@ SLEDU@]IH (RIS. 25):
A) = z 2 (LU^I PLOSKOSTI C z , WYHODQ]IE IZ TO^KI z =0 POD UGLA-
MI IZ PROMEVUTKA (0 ), ODIN IZ KOTORYH | WYHODQ]IJ POD UGLOM
| NEPOLNYJ, PEREHODQT W LU^I , WYHODQ]IE IZ TO^KI =0 POD WDWOE
2
2 iLI NA POLUPLOSKOSTX fw 2 C : Im w<v g.
0
87
BOLXIMI UGLAMI I POTOMU ZAPOLNQ@]IE WS@ PLOSKOSTX C S \RAZRE-
ZOM" PO DEJSTWITELXNOJ OSI OT TO^KI = ;h2 WPRAWO DO BESKONE^NOS-
TI)
B) ! = + h2 (NA^ALO \RAZREZA" PEREME]AETSQ W TO^KU ! = 0 PLOS-
KOSTX C ! S \TIM \RAZREZOM" MOVNO RASSMATRIWATX KAK SOWOKUPNOSTX
LU^EJ , WYHODQ]IH pIZ TO^KI ! =0 POD UGLAMI IZ PROMEVUTKA (0 2 ))
W) w = p! = z 2 + h2 (LU^I PLOSKOSTI C ! , WYHODQ]IE IZ TO^KI
! = 0 POD UGLAMI IZ PROMEVUTKA (0 2 ), PEREHODQT W LU^I PLOSKOSTI
C w , WYHODQ]IE IZ TO^KI w =0 POD WDWOE MENXIMI UGLAMI).
l@BAQ DRUGAQ FUNKCIQ w = f (z) S UKAZANNYMI
p 2 2 OTOBRAVA@]IMI
SWOJSTWAMI OBQZANA IMETX WID f (z) = cpzz2++hh2 ++db , GDE a b c d |
a
DEJSTWITELXNYE ^ISLA S ac;bd> 0 (VI, S. 99 XVIII, S. 307). oSTAETSQ
U^ESTX DOPOLNITELXNYE TREBOWANIQ, WYTEKA@]IE IZ PRIRODY ZADA^I:
f (1)= 1 (\BESKONE^NOSTX" QWLQETSQ EDINSTWENNOJ \TO^KOJ", W KOTOROJ
p 2 ) I2 f (1)= v1 .
PERESEKA@TSQ WSE LINII TOKA 0
sREDI FUNKCIJ w = acpzz2 ++hh2 ++db EDINSTWENNOJ (S TO^NOSTX@ DO PO-
STOQNNOGO SLAGAEMOGO
p ), UDOWLETWORQ@]EJ DANNYM TREBOWANIQM QWLQ-
ETSQ w = v1 z 2 + h2 | \TO I ESTX ISKOMYJ KOMPLEKSNYJ POTENCIAL .
wY^ISLENIE PROIZWODNOJ NAJDENNOGO KOMPLEKSNOGO POTENCIALA W
TO^KAH z = ih I z = 0 POKAZYWAET, ^TO W KONCEWOJ TO^KE PREPQTSTWIQ
SKOROSTX POTOKA OKAZYWAETSQ BESKONE^NOJ , TOGDA KAK W UGLOWYH TO^-
KAH ONA RAWNA NUL@ .
pREDSTAWLENIE
p VE NAJDENNOGO KOMPLEKSNOGO POTENCIALA W WIDE
u+iv = v1 (x + iy)2 + h2 S POSLEDU@]IM WOZWEDENIEM W KWADRAT I PRO-
WEDENIEM \LEMENTARNYH ALGEBRAI^ESKIH PREOBRAZOWANIJ POZWOLQET PO-
LU^ITX URAWNENIE LINIJ TOKA ( v =const): x2 y2 = c4 ; c2 (y2 ; x2 ; h2 ).
uPRAVNENIQ. 1. nAJTI TO^KI z = x + iy, W KOTORYH SU]ESTWU@T
PROIZWODNYE FUNKCIJ: a) w = z 2+ z2 B) w =sin2 (x+y) + i cos2 (x+y).
2. pUSTX PODMNOVESTWO S
R2 ESTX OB_EDINENIE ODNOJ IZ KOORDI-
NATNYH OSEJ I DWUH KRUGOW , RASPOLOVENNYH PO OBE STORONY I KASA-
@]IHSQ EE W NA^ALE KOORDINAT
( . pROWERITX, ^TO W NA^ALE KOORDINAT
FUNKCIQ w = f (x y) def
= 1 ESLI (x y) 2 S IMEQ PROIZWODNU@ PO L@-
0 ESLI (x y) 2= S
BOMU NAPRAWLENI@ (S WYPOLNENIEM USLOWIQ kOI { rIMANA), NE IMEET
PROIZWODNOJ KAK FUNKCIQ KOMPLEKSNOJ PEREMENNOJ z = x + iy.
88
(
3. pUSTX f (z) = z ESLI Im z > 0 uBEDITXSQ, ^TO OTOBRAVENIe
def
z ESLI Im z < 0:
w = f (z) W TO^KE z =0 OBLADAET SWOJSTWOM POSTOQNSTWA RASTQVENIQ ,
NO NE SOHRANQET UGLY . w KAKIH TO^KAH SU]ESTWUET PROIZWODNAQ f 0 (z)?
^ASTNYE PROIZWODNYE @f @f
@x @y ? WYPOLNQETSQ USLOWIE kOI { rIMANA ?
4. pUSTX f (0)=0,( A DLQ z 6= 0
;1
f (z)= z j cos(arg z )j;1 ESLI jIm z j 6 jRe z j
z j sin(arg z )j ESLI jIm z j > jRe z j:
( w = f (z) ESTX UDOWLETWORQ@]AQ USLOWI@ arg w = arg z TO^KA KWADRA-
TA , OPISANNOGO OKOLO PROHODQ]EJ ^EREZ TO^KU z OKRUVNOSTI S CENT-
ROM 0 RIS. 26). pROWERITX, ^TO FUNKCIQ w = f (z) IMEET W NA^ALE KOOR-
DINAT KAK ^ASTNYE PROIZWODNYE @f @f
@x @y (UDOWLETWORQ@]IE USLOWI@
kOI { rIMANA), TAK I PROIZWODNU@ PO L@BOMU NAPRAWLENI@ , ODNAKO
PROIZWODNAQ f 0(0) NE SU]ESTWUET . qWLQETSQ LI OTOBRAVENIE w = f (z)
KONFORMNYM W TO^KE z = 0? oBLADAET LI ONO W NEJ SWOJSTWOM POSTO-
QNSTWA RASTQVENIQ ? SOHRANENIQ UGLOW ?
rIS. 26
5. oPERACIQ KOMPLEKSNOGO SOPRQVENIQ z 7! z , SOHRANQQ UGLY, ME-
NQET NAPRAWLENIE IH OTS^ETA (QWLQQ SOBOJ PRIMER ANTIKONFORMNOGO
OTOBRAVENIQ , ILI KONFORMNOGO OTOBRAVENIQ 2-GO RODA ). pO^EMU \TA
OPERACIQ U^ASTWUET W PROEKCII mERKATORA (III, S. 48{49)?
89
VI. kAKIMI SWOJSTWAMI OBLADA@T
OTOBRAVENIQ DROBNO-LINEJNYMI
FUNKCIQMI
pROSTAQ, NO ISKL@^ITELXNO WAVNAQ PO OTOBRAVA@]IM
SWOJSTWAM RAZNOWIDNOSTX FUNKCIJ KOMPLEKSNOJ PEREMEN-
NOJ | \TO DROBNO-LINEJNYE FUNKCII w = cz az +b (S L@BYMI
+d
KOMPLEKSNYMI
KO\FFICIENTAMI a b c d DLQ KOTORYH, OD-
NAKO, ac db 6= 0)1 .
pRI c = 0 DROBNO-LINEJNAQ FUNKCIQ PRIWODITSQ K WIDU
w = eaz +eb, T. E. OKAZYWAETSQ LINEJNOJ .
w OBRAZNOM PREDSTAWLENII PEREMENNYH z I w TO^KAMI
PLOSKOSTI C (ILI DWUH EE \KZEMPLQROW) DROBNO-LINEJNYE
FUNKCII NAZYWA@T DROBNO-LINEJNYMI OTOBRAVENIQMI .
nA SAMOM DELE DROBNO-LINEJNYE FUNKCII w = az +b
cz +d RAS-
PROSTRANQ@T NA WS@ RASIRENNU@ KOMPLEKSNU@ PLOSKOSTX
C , POLAGAQ PO DOGOWORENNOSTI W \OSOBYH TO^KAH" z0 = ; c I
d
1 \TIH FUNKCIJ2
w(z0) def = limd czaz +b = 1 w(1) def
= zlim az +b = a
z!; c + d !1 cz +d c
zAPISX SOOTNOENIQ w = az +b dw;b
cz +d W WIDE z = ;cw+a I, S DRU-
GOJ STORONY, PODSTANOWKA W NEGO z = +
+ S REZULXTATOM
w = ac(( + )+b(
+) = (a+b
) +(a +b)
+ )+d(
+) (c+d
) +(c +d)
DOKAZYWA@T SPRAWEDLIWOSTX SLEDU@]IH UTWERVDENIJ.
1 iNA^E w const. kO\FFICIENTY a b c d DOPUSKA@T UMNOVENIE
(1+i)z +i (3;i)z +2+i
NA OB]IJ NENULEWOJ MNOVITELX : w = (1+2 i)z ;i I w = 5z ;2;i |
\TO ODNa I Ta VE DROBNO -LINEJNAQ FUNKCIQ .
2 dLQ LINEJNYH FUNKCIJ \OSOBYE TO^KI" SLIWA@TSQ W ODNU z = 1.
0
90
wSQKAQ DROBNO - LINEJNAQ FUNKCIQ WZAIMNO - ODNOZNA^NO
OTOBRAVAET (WS@) RASIRENNU@ KOMPLEKSNU@ PLOSKOSTX
NA. (WS@) RASIRENNU@ KOMPLEKSNU@ PLOSKOSTX 1.
l@BAQ DROBNO-LINEJNAQ FUNKCIQ IMEET OBRATNU@ , TAKVE
QWLQ@]U@SQ DROBNO-LINEJNOJ .
kOMPOZICIQ (REZULXTAT POSLEDOWATELXNOGO WYPOLNENIQ )
DROBNO-LINEJNYH FUNKCIJ ESTX DROBNO-LINEJNAQ FUNKCIQ.
dROBNO-LINEJNYE FUNKCII OTNOSITELXNO OPERACII KOMPOZICII SO-
STAWLQ@T GRUPPU , PRI^EM NEKOMMUTATIWNU@ W NEJ ESTX FUNK-
CIJ : w = z w = 1z w = 1 ; z w = 1;1 z , w = z;z 1 , w = z;z 1
SOSTAWLQ@T PODGRUPPU .
nEPODWIVNOJ TO^KOJ DROBNO-LINEJNOJ FUNKCII (OTO-
cz +d NAZYWA@T L@BOE ZNA^ENIE z 2 C , DLQ
BRAVENIQ ) w = az +b
az +b = z , PRI \TOM 1 OKAZYWAETSQ NEPODWIVNOJ
KOTOROGO cz +d
TO^KOJ LIX W SLU^AE c = 0, T. E. KOGDA FUNKCIQ QWLQET-
SQ LINEJNOJ (DLQ TOVDESTWENNOJ FUNKCII w = z L@BAQ
TO^KA z 2 C QWLQETSQ NEPODWIVNOJ ).2
dROBNO-LINEJNAQ FUNKCIQ (OTLI^NAQ OT TOVDESTWENNOJ)
NE MOVET IMETX BOLEE DWUH NEPODWIVNYH TO^EK.
dOKAZATELXSTWo . sOOTNOENIE az cz +d = z W SLU^AE c 6= 0
+b
DLQ z = 1 NE WYPOLNQETSQ, A DLQ KONE^NYH z RAWNOSILX-
NO KWADRATNOMU URAWNENI@, W SILU ^EGO TAKIH ZNA^ENIJ z
DWA ILI ODNO 3 W SLU^AE VE c = 0 (LINEJNOJ FUNKCII) UKA-
ZANNOMU SOOTNOENI@ UDOWLETWORQ@T z = 1 I z = d;b a (OBA
RAWNYE 1 PRI d = a I b 6= 0)3 SLU^AJ c = 0 d = a, b = 0
SOOTWETSTWUET TOVDESTWENNOJ FUNKCII. Q.E.D.
tU VE SAMU@ ILI DRUGOJ EE \KZEMPLQR.
1
pODROBNU@ KLASSIFIKACI@ DROBNO-LINEJNYH FUNKCIJ NA OSNOWE
2
IH NEPODWIVNYH TO^EK MOVNO NAJTI U l. fORDA 18].
3 z TOGDA NAZYWA@T DWOJNOJ NEPODWIVNOJ TO^KOJ .
91
kAKOWY BY NI BYLI TRI (RAZNYE ) TO^KI z1 z2 z3 2 C I
TRI (RAZNYE ) TO^KI w1 w2 w3 2 C , SU]ESTWUET I PRI-
TOM EDINSTWENNAQ DROBNO -LINEJNAQ FUNKCIQ, PEREWODQ-
]AQ TO^KI z1 z2 z3 SOOTWETSTWENNO W w1 w2 w3.
dOKAZATELXSTWO. eDINSTWENNOSTX TAKOJ FUNKCII WY-
TEKAET IZ TOGO, ^TO ESLI w = w(z) I w = we(z) | DWE DROBNO-
LINEJNYE FUNKCII, PEREWODQ]IE TO^KI z1 z2 z3 SOOTWET-
STWENNO W w1 w2 w3, A z = we;1(w) | DROBNO-LINEJNAQ FUNK-
; ;
CIQ, OBRATNAQ K w = we(z), TO KOMPOZICIQ z = we w(z) OKA-
1
ZYWAETSQ DROBNO-LINEJNOJ FUNKCIEJ S TEM SWOJSTWOM, ^TO
we;1 w(zj) = we;1(wj) = zj j = 1 2 3, I PO\TOMU IME@-
;
KAH z 2 C .
dOKAZATELXSTWO. fUNKCIQ w = cz az +b PRI z 6= ; d IMEET
; az +b 0 ad;bc +d c
PROIZWODNU@ cz+d = (cz+d)2 , NE RAWNU@ NUL@ , A POTOMU
OTOBRAVENIE \TOJ FUNKCIEJ W L@BOJ TO^KE z 2 C z 6= ; dc ,
QWLQETSQ KONFORMNYM (V, c. 81). Q.E.D.
pRI IZOBRAVENII PEREMENNYH NA SFERE rIMANA (I, S. 21) SWOJST-
WO KONFORMNOSTI OTOBRAVENIJ DROBNO-LINEJNYMI FUNKCIQMI RASPRO-
STRANQETSQ I NA IH \OSOBYE" TO^KI (WKL@^AQ BESKONE^NO UDALENNU@ ).
sWOJSTWO SOHRANENIQ UGLOW PRI STEREOGRAFI^ESKOJ PROEKCII WYWO-
DITSQ LIBO ANALITI^ESKI (U a. i. mARKUEWI^A 12] I l. fORDA 18]),
LIBO GEOMETRI^ESKI (U d. gILXBERTA I s. kON -fOSSENA 3]).
\ kRUGOWOE azSWOJSTWO
"
+b
.oTOBRAVENIE DROBNO-LINEJNOJ
FUNKCIEJ w = cz+d PREOBRAZUET OKRUVNOSTI I PRQMYE W
OKRUVNOSTI ILI PRQMYE . tO^NEE: OKRUVNOSTI I PRQMYE ,
NE PROHODQ]IE ^EREZ \OSOBU@" TO^KU z0 = dc , PREOBRAZU@TSQ
W OKRUVNOSTI , A PROHODQ]IE ^EREZ NEE | W PRQMYE 2.
eSLI ODNA IZ TO^EK z1 z2 I/ILI w1 w2 ESTX 1, TO SOOTWETSTWU-
1
@]IE ^ISLITELI I ZNAMENATELI ZAMENQ@TSQ NA 1.
2 kAVDAQ PRQMAQ S^ITAETSQ PROHODQ]EJ ^EREZ TO^KU 1.
93
dOKAZATELXSTWO. dELENIE (S OSTATKOM) PRIWODIT DROBNO-
LINEJNU@ FUNKCI@ w = az cz
+b K WIDU w = a z + b (PRI c =0)
+ d d d
b; adc
ILI w = c + cz+d (PRI c 6= 0), T. E. LIBO K LINEJNOJ FUNKCII,
a
LIBO K KOMPOZICII :
a) LINEJNOJ FUNKCII = cz + d (PEREWODQ]EJ \OSOBU@"
TO^KU z0 = ; dc W NA^ALO KOORDINAT ),
B) FUNKCII ! = 1 (S \OSOBOJ" TO^KOJ 0),
;
W) LINEJNOJ FUNKCII w = b; adc ! + ac .
uSTANOWIW \KRUGOWOE" SWOJSTWO DLQ WSEH LINEJNYH FUNKCIJ
w = az + b (S a 6= 0) I FUNKCII w = 1z , MOVNO S^ITATX EGO
DOKAZANNYM DLQ WSEH DROBNO-LINEJNYH FUNKCIJ.
oTOBRAVENIE w = az + b z 2 C , PREDSTAWLQET SOBOJ RAS-
TQVENIe PLOSKOSTI C (PO WSEM NAPRAWLENIQM) W jaj RAZ,
POWOROT NA UGOL arg a I SDWIG NA WEKTOR b . w REZULXTATE
KAVDOGO IZ \TIH DEJSTWIJ L@BAQ OKRUVNOSTX PEREHODIT W
OKRUVNOSTX , A L@BAQ PRQMAQ | W PRQMU@ .
w ZAPISI z = x+iy w = u+iv SOOTWETSTWIE w = z1 PRINI-
MAET WID x = u2+u v2 , y = u2;+vv2 , L@BAQ VE PRQMAQ ILI OKRUV-
NOSTX NA PLOSKOSTI PEREMENNOJ z = x + iy ZADAETSQ URAWNE-
NIEM (x2 + y2)+ x + y +
= 0, KO\FFICIENTY
rIS. 27
95
dOKAZATELXSTWO. pUSTX z1 z2 | TO^KI, SIMMETRI^NYE
OTNOSITELXNO PRQMOJ ILI OKRUVNOSTI L , I w = w(z) |
DROBNO-LINEJNAQ FUNKCIQ, PEREWODQ]AQ IH, SOOTWETSTWEN-
NO, W TO^KI w1 w2 I PRQMU@ ILI OKRUVNOSTX (\KRUGOWOE"
SWOJSTWO !) w(L). tREBUETSQ DOKAZATX, ^TO ESLI PRQMAQ ILI
OKRUVNOSTX L PROHODIT ^EREZ TO^KI w1 w2 , TO ONA PERE-
SEKAET LINI@ w(L) POD PRQMYM UGLOM (RIS. 27). nO OBRAT-
NYM OTOBRAVENIEM z = z;1 (w), TAKVE QWLQ@]IMSQ DROBNO-
LINEJNYM (S. 90), PRQMAQ ILI OKRUVNOSTX L PEREWODITSQ W
PRQMU@ ILI OKRUVNOSTX , PROHODQ]U@ ^EREZ TO^KI z1 z2 ,
A SLEDOWATELXNO, PERESEKA@]U@ PRQMU@ ILI OKRUVNOSTX
L POD PRQMYM UGLOM . oSTAETSQ PRIMENITX SWOJSTWO KON-
FORMNOSTI (S. 92), W SILU KOTOROGO PRQMYM QWLQETSQ I UGOL
PERESE^ENIQ LINIJ L I w(L). Q.E.D.
OPREDELENIE SIMMETRII TO^EK z1 z2 2 C OTNOSITELX-
NO PRQMOJ ILI OKRUVNOSTI L , PREDESTWU@]EE FORMULI-
ROWKE \KRUGOWOGO" SWOJSTWA, W SLU^AE PRQMOJ RAWNOSILXNO
OBY^NOMU: TO^KI z1 I z2 SLUVAT KONCAMI OTREZKA, PERPEN-
DIKULQRNOGO PRQMOJ L I PERESEKAEMOGO E@ W EGO SEREDINe .
eSLI VE L | OKRUVNOSTX , TO SIMMETRI^NYMI OTNOSITELX-
NO NEE QWLQ@TSQ: a) CENTR O OKRUVNOSTI L I BESKONE^NO
UDALENNAQ TO^KA B) TO^KI z1 I z2 , LEVA]IE NA LU^E , WY-
HODQ]EM IZ TO^KI O, I OTSTOQ]IE OT NEE NA RASSTOQNIQ,
PROIZWEDENIE KOTORYH RAWNO KWADRATU RADIUSA OKRUVNOS-
TI L (\PROIZWEDENIE SEKU]EJ NA EE WNEN@@ ^ASTX RAWNO
KWADRATU KASATELXNOJ" RIS. 28).
nAPRIMER, SIMMETRI^NYMI OTNOSITELXNO DEJSTWITELX-
NOJ OSI QWLQ@TSQ PARY KOMPLEKSNO-SOPRQVENNYH ^ISEL z
I z (TO^NEE, IZOBRAVA@]IH IH TO^EK ). sIMMETRI^NYMI
OTNOSITELXNO OKRUVNOSTI RADIUSA 1 S CENTROM W NA^ALE
KOORDINAT QWLQ@TSQ : a) 0 I 1 B) z I (z );1 (TAK KAK
arg(z );1 = arg z, a (z );1 jzj = 1).
96
rIS. 28
kAKOWY BY NI BYLI TRI (RAZNYE ) TO^KI z1 z2 z3 2 C I
TRI (RAZNYE ) TO^KI w1 w2 w3 2 C , SU]ESTWUET (I PRI-
TOM EDINSTWENNAQ ) PRQMAQ ILI OKRUVNOSTX L , KOTORAQ
PROHODIT ^EREZ TO^KU z3 I OTNOSITELXNO KOTOROJ TO^KI
z1 I z2 SIMMETRI^NY .
rIS. 29
97
dOKAZATELXSTWO. eSLI z3 = 1 ILI VE WSE TRI TO^KI z1 z2 z3
KONE^NY , PRI^EM DWE PERWYH RAWNOUDALENY OT TRETXEJ, TO L | \TO
PRQMAQ , KOTORAQ PERPENDIKULQRNA K SOEDINQ@]EMU TO^KI z1 I z2 OT-
REZKU I DELIT EGO POPOLAM (RIS. 29, A).
eSLI BESKONE^NO UDALENNOJ QLQETSQ ODNA IZ TO^EK z1 z2 (NAPRI-
MER, z2 ), TO L | \TO PROHODQ]AQ ^EREZ TO^KU z3 OKRUVNOSTX S CENTROM
z1 (RIS. 29, B).
eSLI z1 z2 z3 2 C , A IZ ZNA^ENIJ a = jz1 ; z3 j I b = jz2 ; z3 j ODNO
(K PRIMERU, PERWOE) BOLXE DRUGOGO, TO L | \TO OKRUVNOSTX , CENTR
z0 KOTOROJ LEVIT NA PRQMOJ , PROHODQ]EJ ^EREZ TO^KI z1 I z2 (BLIVE
KO WTOROJ IZ NIH). ESLI PRI \TOM z3 NE LEVIT NA \TOJ VE PRQMOJ ,
TO z0 ESTX Ta EE TO^KA , W KOTOROJ \TU PRQMU@ PERESEKAET KASATELX-
NAQ , PROWEDENNAQ IZ TO^KI z3 K OKRUVNOSTI , PROHODQ]EJ ^EREZ TO^KI
z1 z2 z3 (RIS. 29, W). eSLI VE TO^KI z1 z2 z3 LEVAT NA ODNOJ PRQ-
MOJ , TO CENTR z0 OKRUVNOSTI L UDALEN OT TO^KI z1 NA RASSTOQNIE
a2=(a b) | SOOTWETSTWENNO TOMU, LEVIT TO^KA z3 MEVDU ILI PO ODNU
STORONU OT TO^EK z1 z2 . Q.E.D
wOT NESKOLXKO ZADA^, REAEMYH PRIMENENIEM SWOJSTW
DROBNO-LINEJNYH OTOBRAVENIJ.
1. zADANNU@ PRQMU@ (OKRUVNOSTX ) PEREWESTI DROBNO-
LINEJNOJ FUNKCIEJ W ZADANNU@ PRQMU@ (OKRUVNOSTX ).
dOSTATO^NO, WZQW (PROIZWOLXNO) NA OBEIH LINIQH PO TRI
TO^KI z1 z2 z3 I w1 w2 w3, POSTROITX DROBNO-LINEJNU@
FUNKCI@ SOGLASNO FORMULE
w;w1 w3 ;w2 z ;z1 z3;z2
w;w2 w3 ;w1 = z ;z2 z3;z1 ,
POSLE ^EGO WOSPOLXZOWATXSQ \KRUGOWYM" SWOJSTWOM I TEM,
^TO PRQMAQ ILI OKRUVNOSTX POLNOSTX@ OPREDELQETSQ ZADA-
NIEM L@BYH TREH Ee TO^EK.
2. nAJTI FUNKCI@, WZAIMNO ODNOZNA^NO I KONFORMNO
OTOBRAVA@]U@: A) WNUTRENNOSTX OKRUVNOSTI , B) WNE-
NOSTX OKRUVNOSTI (S WKL@^ENIEM W NEE TO^KI 1), W) PO-
LUPLOSKOSTX (^ASTX PLOSKOSTI, LEVA]EJ PO ODNU STORONU
OT PRQMOJ ) NA L@BU@ OBLASTX G IZ \TOGO VE SPISKA.
98
zAME^ANIE . kAK BUDET USTANOWLENO NIVE (XVIII , S. 307{
308), DRUGIH (POMIMO DROBNO - LINEJNYH ) FUNKCIJ , DA@]IH
REENIQ ZADA^ \TOGO I SLEDU@]EGO PUNKTOW, NE SU]ESTWU-
ET .
rIS. 30
pUSTX, K PRIMERU, D | WNUTRENNOSTX OKRUVNOSTI C ,
a G | WNENOSTX OKRUVNOSTI Ce . wZQW TO^KI z1 z2 z3
SOOTWETSTWENNO WNUTRI , WNE I NA OKRUVNOSTI C , A TO^KI
w1 w2 w3 | WNE , WNUTRI I NA OKRUVNOSTI Ce , PRI^EM TAK,
^TOBY TO^KI z1 I z2 BYLI SIMMETRI^NY OTNOSITELXNO C , a
w1 I w2 | OTNOSITELXNO Ce (W KA^ESTWE z1 I w2 MOVNO WZQTX
CENTRY OKRUVNOSTEJ C I Ce , A W KA^ESTWE z2 I w1 | BES-
KONE^NOSTX RIS. 30), SLEDUET POSTROITX DROBNO-LINEJNU@
FUNKCI@ KAK W PREDYDU]EM PUNKTE. oSTAETSQ ZAMETITX, ^TO
TO^KI, LEVA]IE PO ODNU STORONU OT OKRUVNOSTI , NE MOGUT
PEREJTI W TO^KI, LEVA]IE PO RAZNYE STORONY OT OKRUVNOS-
TI Ce : L@BYE DWE TO^KI IZ WNENOSTI OKRUVNOSTI C MOVNO
SOEDINITX LOMANOJ , NE PERESEKA@]EJ \TU OKRUVNOSTX, A OB-
RAZ \TOJ LOMANOJ PRI DROBNO-LINEJNOM OTOBRAVENII ESTX
(W SILU \KRUGOWOGO" SWOJSTWA) \LOMANAQ" (IZ DUG OKRUVNOS-
99
TEJ), NE PERESEKA@]AQ OKRUVNOSTI Ce . (rAZBOR DRUGIH SLU-
^AEW OBLASTEJ D I G PROWODITSQ PO \TOJ VE SHEME.)
3. nAJTI OB]IJ WID DROBNO-LINEJNYH FUNKCIJ, OTOBRA-
VA@]IH:
a) KRUG z 2 C : jz j < 1 NA KRUG w 2 C : jw j < 1 (ILI,
rIS. 31
PLOSKOSTX Im w < 0
p
oBRATNYE OTOBRAVENIQ PROIZWODQT ODNOZNA^NYe WETWI
OBRATNOJ FUNKCII z = w + w ; 1 (IV, c. 69).
2
tAK; KAK PODSTANOWKA z = eit PREOBRAZUET SOOTNOENIE
w = 21 z + z1; W w= cos t, OKRUVNOSTX z 2 C : jzj = 1 FUNK-
rIS. 32
104
pODOBNYE PREDSTAWLENIQ OTOBRAVENIJ w = ch z I w = sin z SOOT-
WETSTWENNO NA ODIN AG; KORO^EI DLINNEE:
z 7;! ez 7;! 12 ez + e1z = ch z , a sin z = cos 2 ; z
;
rIS. 33
1 gRE^. oo& | ODIN, EDINSTWENNYJ oo& | BEG, MESTO DLQ BEGA
"o& | PROISHOVDENIE, ROD " & | SWQZNYJ, NEPRERYWNYJ .
2 t. E. PODOBNAQ CELOJ (GRE^. oo& | CELYJ o' | WID).
3 pODRAZUMEWA@]IM RAZLOVIMOSTX FUNKCII W STEPENNOJ RQD .
4 Weierstrass, Karl, 1815{1897, | NEMECKIJ MATEMATIK, OSNOWATELX
(WMESTE S kOI I rIMANOM) TEORII FUNKCIJ KOMPLEKSNOJ PEREMENNOJ .
5 fUNKCII KOMPLEKSNOJ PEREMENNOJ w = f (z) W TO^KE z 2 C .
0
107
tO, ^TO MNOVESTWO O C QWLQETSQ OTKRYTYM , OZNA^A-
ET, ^TO WSE EGO TO^KI OKAZYWA@TSQ WNUTRENNIMI TO^KAMI
\TOGO MNOVESTWA (KAVDAQ WHODIT W NEGO WMESTE S NEKOTOROJ
OKRESTNOSTX@ ). sIMWOLI^ESKI \TO WYRAVAETSQ FORMULOJ
8z z 2 O =) 9
> 0 8 ; j ; zj <
=) 2 O.1
;
rIS. 34
dOKAZATELXSTWO (OT \PROTIWNOGO"). pUSTX D | OBLASTX,
KAKIE-TO DWE TO^KI KOTOROGO NE SOEDINIMY (W PREDELAH \TOJ
OBLASTI) LOMANOJ . nO | SOGLASNO OPREDELENI@ OBLASTI |
DLQ \TIH TO^EK ESTX SOEDINQ@]IJ ; IH (W PREDELAH OBLASTI)
PUTX z = z(t) t 2 a b]. tO^KA z a+2 b , SOOTWETSTWU@]AQ SE-
REDINE OTREZKA a b], OKAZYWAETSQ LIBO SOEDINIMOJ , LIBO
NE SOEDINIMOJ S TO^KOJ z(a) LOMANOJ W PERWOM SLU^AE W
KA^ESTWE a1 b1 ] WYBIRA@T OTREZOK a+2 b b], A WO WTOROM |
OTREZOK a a+2 b ]. tAK ILI INA^E PUTX z = z(t) t 2 a1 b1 ],
SOEDINQET TO^KI, NE SOEDINIMYE (W PREDELAH OBLASTI D) LO-
MANOJ . s OTREZKOM a1 b1 ] POSTUPA@T TAK VE: W SLU^AE SO-
EDINIMOSTI (W PREDELAH OBLASTI D) TO^KI z(a1 +2 b1 ) S TO^KOJ
z(a1 ) LOMANOJ W KA^ESTWE a2 b2] BERUT OTREZOK a1 +2 b1 b], W
SLU^AE VE IH NESOEDINIMOSTI POLAGA@T a2 b2 ] = a a1 +2 b1 ].
pOSLEDOWATELXNOE WYPOLNENIE \TOJ PROCEDURY PRIWODIT
K STQGIWA@]EJSQ POSLEDOWATELXNOSTI WLOVENNYH OTREZKOW
a b] a1 b1 ] a2 b2] an bn ] ,
IME@]IH OB]U@ TO^KU . tAK KAK OBLASTX D | OTKRY-
TOE MNOVESTWO, TO^KA z( ) PRINADLEVIT OBLASTI D WMES-
TE S NEKOTORYM KRUGOM S CENTROM z( ), A ESLI U^ESTX, ^TO
109
fz(an)g! z( ) I fz(bn)g! z( ) (WWIDU NEPRERYWNOSTI FUNK-
CII z = z(t) NA OTREZKE a b]), TO SLEDUET WYWOD: OBE TO^KI
z(an) z(bn) POPADA@T (PRI DOSTATO^NO BOLXOM n ) W UKA-
ZANNYJ KRUG , PRI^EM | PO POSTROENI@ | \TI TO^KI NE SO-
EDINIMY (W PREDELAH OBLASTI D ) LOMANOJ . nO \TO PROTI-
WORE^IT \LEMENTARNOMU GEOMETRI^ESKOMU FAKTU: W PREDELAH
KRUGA L@BYE DWE EGO TO^KI SOEDINIMY MEVDU SOBOJ LOMANOJ
(SO ZWENXQMI, PARALLELXNYMI OSQM KOORDINAT). Q.E.D.
zAME^ANIE. sOEDINIMOSTX TO^EK POSREDSTWOM LOMANOJ
ESTX BOLEE SILXNOE TREBOWANIE, NEVELI IH SOEDINIMOSTX PO-
SREDSTWOM PUTI : ESLI z0 z1 z2 : : : zn zn+1 | POSLEDOWA-
TELXNYE WERINY LOMANOJ , SOEDINQ@]EJ TO^KI z0 zn+1 , TO
z0 + t (z1 ; z0 ) PRI 0 6 t 6 1
8
>
>
z = >z1 + (t ; 1)(z2 ; z1 ) PRI 1 6 t 6 2
>
<
t 2 0 n +1],
> : : : : : : : : : : : : : : : : : : : : : : : :
zn + (t ; n)(zn+1 ; zn) PRI n 6 t 6 n +1
>
:
W OBLASTI D. Q.E.D.
zAME^ANIE. tAK KAK Im f (z) = Re ;if (z) , FORMULA WOS-
;
rIS. 35
1 w \TOM SLU^AE GOWORQT, ^TO FUNKCIQ z = z (t) a 6 t 6 b, ZADAET
PARAMETRIZACI@ GLADKOJ DUGI L . nA DEJSTWITELXNOJ
( PLOSKOSTI R2
\TA VE GLADKAQ DUGA IMEET PARAMETRIZACI@ xy == yx((tt)) a 6 t 6 b.
2 sOGLASNO OPREDELENI@ IZ KURSA DEJSTWITELXNOGO ANALIZA.
118
nAGLQDNO, GLADKAQ DUGA | \TO PRQMOLINEJNYJ OTREZOK , PODWERG-
NUTYJ OBRATIMOJ GLADKOJ DEFORMACII | RASTQVENI@ I IZGIBU BEZ
RAZRYWOW , IZLOMOW I SKLEIWANIJ . mATEMATI^ESKIM WYRAVENIEM TAKO-
GO SRAWNENIQ QWLQ@TSQ SLEDU@]IE UTWERVDENIQ.
1. fUNKCIQ z = z (t) t 2 a b], ZADA@]AQ PARAMETRIZACI@ GLADKOJ
DUGI L , IMEET NEPRERYWNU@ OBRATNU@ : t = t (z) z 2 L , OBLADA@]U@
NEPRERYWNOJ PROIZWODNOJ t0 (z ).1
2. w KAVDOJ TO^KE z 2 L GLADKAQ DUGA L IMEET KASATELXNU@ PRQMU@
L , NAPRAWLQ@]IJ WEKTOR KOTOROJ QWLQETSQ NEPRERYWNOJ FUNKCIEJ
TO^KI KASANIQ .
dOKAZATELXSTWa. 1. sU]ESTWOWANIE FUNKCII t = t (z) z 2 L , ESTX
SLEDSTWIE WZAIMNO-oDNOZNA^NOSTI OTOBRAVENIQ z = z (t) t 2 a b]: RAZ-
NYM TO^KAM t 2 a b] SOOTWETSTWU@T RAZNYE TO^KI z 2 L .
fUNKCIQ t = t (z) z 2 L , NEPRERYWNA : DLQ L@BOJ POSLEDOWATELXNOS-
TI fzng TO^EK zn 2 L , SHODQ]EJSQ K TO^KE z0 2 L , SOOTWETSTWU@]AQ
POSLEDOWATELXNOSTX ftng TO^EK tn = t (zn) SHODITSQ K TO^KE t0 = t (z0).
eSLI BY \TO BYLO NE TAK, TO U POSLEDOWATELXNOSTI ftng SU]ESTWO-
WALA BY PODPOSLEDOWATELXNOSTX ftnkg, SHODQ]AQSQ K NEKOTOROJ TO^KE
t 2 a b], OTLI^NOJ OT t0 . tEM SAMYM WOZNIKALO BY PROTIWORE^IE : OD-
e
NOWREMENNO fznkg ! z0 I fznkg = fz (tnk )g ! z (et) =
6 z0 .
rIS. 36
1 wELI^INY jz 0 (t)j I jt0 (z)j IME@T SMYSL KO\FFICIENTOW RASTQVE-
NIQ (W TO^KAH t 2 a b] I z 2 L ) PRI DEFORMACII OTREZKA a b] W
GLADKU@ DUGU L I OBRATNO.
119
t0 (z)= Mlim Mt = lim Mz ;1 = z 0(t) ;1 | S U^ETOM TOGO, ^TO z 0 (t) 6= 0,
; ;
z!0 Mz Mt!0 Mt
A Mz ! 0 () Mt ! 0 (NEPRERYWNOSTX FUNKCII t = t(z) I z = z (t)).
2. pRQMAQ L , PROHODQ]AQ ^EREZ TO^KU z0 = z (t0) W NAPRAWLENII
NENULEWOGO WEKTORA z 0(t0), QWLQETSQ KASATELXNOJ K GLADKOJ DUGE L W
TO^KE z0 : ESLI (z L) | RASSTOQNIE OT TO^KI z 2 L DOPRQMOJ L , TO
(z L ) ;
!z0 jz;z0j = 0, TAK KAK PRI t ! t0 KOGDA z ! z0
(RIS. 36) zlim
z 2L
(zL) 6 jz(t);z(t );z0 (t )(t;t )j = o (t;t ) ! 0 0 .
jz;z j jz(t);z(t )j jz(t);z(t )j jz (t )j
0 0 0 0
0 0 0 0
wWIDU NEPRERYWNOSTI ZAWISIMOSTI z 0 (t) OT t 2 a b], A t OT z 2 L
(P. 1), NAPRAWLQ@]IJ WEKTOR z 0(t (z0)) KASATELXNOJ PRQMOJ L OKAZY-
WAETSQ NEPRERYWNOJ FUNKCIEJ TO^KI KASANIQ z0 2 L. Q.E.D.
wOT NEKOTORYE PRIMERY GLADKIH DUG L C (WMESTE S IH
PARAMETRIZACIQMI):
1) OTREZOK PRQMOJ ; , SOEDINQ@]IJ TO^KI z0 z1 2 C :
z = z0 +(z1 ; z0) t ILI z = z1 +(z0 ; z1) t , t 2 0 1]
2) GRAFIK FUNKCII y = f (x) (ILI x = f (y)), IME@]EJ
NEPRERYWNU@ PROIZWODNU@ NA OTREZKE a b] R :
z = x + if (x) x 2 a b], (ILI z = f (y)+ iy y 2 a b] RIS. 37)
rIS. 37
DUGA OKRUVNOSTI fz 2 C : jz ; z0 j = rg MEVDU DWUMQ
3)
LU^AMI , WYHODQ]IMI IZ TO^KI z0 POD UGLAMI I K DEJ-
STWITELXNOJ OSI (0 < ; < 2): z = z0 + reit t 2 ].
120
pONQTIQ KONCEWOJ I WNUTRENNEJ TO^EK GLADKOJ DUGI L
I ZNA^ENIE EE DLINY l(L) (S. 117) NE ZAWISQT OT WYBORA
PARAMETRIZACII \TOJ GLADKOJ DUGI , T. E. PRISU]I SAMOJ
\TOJ GLADKOJ DUGE .
dOKAZATELXSTWO. eSLI z = z (t) t 2 a b], I z = ( ) 2 ], |
DWe PaRaMETRIZACII (ODNOJ I TOJ VE) GLADKOJ DUGI L , TO KOMPOZICIQ
FUNKCIJ z = ( ) I t = t (z) (OBRATNOJ K z = z (t) S. 118, UTWERVDENIE
1) PRIWODIT K FUNKCII t = t ( ( )) S PROIZWODNOJ t0 = t0z 0 = (zt0 );1 0 ,
NE RAWNOJ NUL@ , A SLEDOWATELXNO, SOHRANQ@]EJ ZNAK NA OTREZKE ].
sOOTWETSTWIE $ t 2 ] t 2 a b] (RIS. 38) OKAZYWAETSQ PO\TOMU
STROGO MONOTONNYM , TAK ^TO WNUTRENNIM I KONCEWYM TO^KAM OTREZKA
] OTWE^A@T, SOOTWETSTWENNO, WNUTRENNIE I KONCEWYE TO^KI OTREZ-
KA a b], PRI \TOM LIBO () = z (a), A ( ) = z (b) (ESLI t0( ) > 0), LIBO
()= z (b), A ( )= z (a) (ESLI t0( ) < 0).
rIS. 38
~TO KASAETSQ FORMULY DLINY l(L) GLADKOJ DUGI , TO W PERWOM SLU-
^AE (PRI t0( ) > 0)
Rb 0 R R R
jz (t)j dt = z 0(t ( ))t0( ) d = z 0(t ( )) t0( ) d = j 0 ( )j d ,
a
A WO WTOROM (KOGDA t0( ) > 0)
Rb 0 R R R
jz (t)j dt = z 0 (t ( )) t0( ) d = ; z 0(t( ))t0( ) d = j 0 ( )j d . Q.E.D.
a
pOD SOEDINENIEM DWUH GLADKIH DUG L1 L2 PONIMAETSQ
NALI^IE U NIH OB]EJ KONCEWOJ TO^KI SOEDINENIE S^ITAETSQ
121
GLADKIM , ESLI SU]ESTWUET GLADKAQ DUGA L L1 L2 , DLQ
KOTOROJ \TA OB]AQ KONCEWAQ TO^KA QWLQETSQ WNUTRENNEJ .1
rAZDELENIE GLADKOJ DUGI L PODRAZUMEWAET WYBOR KONE^NOGO ^ISLA
EE WNUTRENNIH TO^EK, KAVDAQ IZ KOTORYH STANOWITSQ OB]EJ KONCEWOJ
TO^KOJ ODNOJ IZ PAR OBRAZU@]IHSQ GLADKIH DUG (IME@]IH W \TOJ TO^KE
GLADKoE SOEDINENIe ).
oRIENTIROWANNAQ GLADKAQ DUGA | \TO GLADKAQ DUGA L S
UKAZANIEM, KAKAQ IZ DWUH EE KONCEWYH TO^EK PRINIMAETSQ
ZA NA^ALXNU@ (A KAKAQ ZA KONE^NU@ ), I USTANOWLENIEM TEM
SAMYM PORQDKA SLEDOWANIQ TO^EK \TOJ GLADKOJ DUGI 2.
pEREHOD K PROTIWOPOLOVNOMU PORQDKU SLEDOWANIQ TO^EK
ORIENTIROWANNOJ GLADKOJ DUGI L (OB_QWLENII EE NA^ALXNOJ
TO^KI KONE^NOJ , A KONE^NOJ | NA^ALXNOJ ) OBOZNA^AETSQ ^ER-
TO^KOJ : L; .
kUSO^NO-GLADKIJ KONTUR ; | \TO LIBO ORIENTIROWAN-
NAQ GLADKAQ DUGA (;= fLg), LIBO REZULXTAT POSLEDOWATELX-
NOGO SOEDINENIQ (; = fL1 : : : Lng) NESKOLXKIH ORIENTI-
ROWANNYH GLADKIH DUG 3, NA^ALXNAQ TO^KA PERWOJ IZ KOTO-
RYH S^ITAETSQ NA^ALXNOJ , A KONE^NAQ TO^KA POSLEDNEJ |
KONE^NOJ TO^KOJ KONTURA ; W SLU^AE SOWPADENIQ NA^ALX-
NOJ I KONE^NOJ TO^EK KONTURA EGO NAZYWAA@T ZAMKNUTYM .
kUSO^NO-GLADKIJ KONTUR NAZYWA@T GLADKIM , ESLI WSE SOEDINENIQ
SOSTAWLQ@]IH EGO ORIENTIROWANNYH GLADKIH DUG (WKL@^AQ SOEDINENIE
PERWOJ I POSLEDNEJ U ZAMKNUTOGO KONTURA) QWLQ@TSQ GLADKIMI .
1 PEZULXTAT GLADKOGO SOEDINENIQ DWUH GLADKIH DUG NE OBQZATELXNO
QWLQETSQ GLADKOJ DUGOJ . k PRIMERU, OKRUVNOSTX ESTX REZULXTAT GLAD-
KOGO SOEDINENIQ DWUH (ILI BOLXEGO ^ISLA) GLADKIH DUG .
2 eSLI z = z (t) t 2 a b] | KAKAQ-LIBO PARAMETRIZACIQ GLADKOJ DU-
GI L , TO PORQDOK SLEDOWANIQ TO^EK z 2 L SOOTWETSTWUET WOZRASTANI@
ILI UBYWANI@ t 2 a b].
3 dLQ KRATKOSTI PROSTO DUG . pOD IH POSLEDOWATELXNYM SOEDINENIEM
PONIMAETSQ, ^TO KONE^NAQ TO^KA DUGI L1 SOWPADAET S NA^ALXNOJ TO^KOJ
DUGI L2 I T. D.
122
s^ITAETSQ, ^TO DWA RAZNYH NABORA POSLEDOWATELXNO SOEDINENNYH
ORIENTIROWANNYH GLADKIH DUG L1 : : : Ln I L01 : : : L0m SOSTAWLQ@T
ODIN I TOT VE KUSO^NO-GLADKIJ KONTUR ;, ESLI RAZBIENIEM I SOEDI-
NENIEM SOSTAWLQ@]IH \TI NABORY SWODQTSQ DRUG K DRUGU (RIS. 39).
rIS. 39
rIS. 40
1 kAK ZAMKNUTYH , TAK I NEZAMKNUTYH .
123
2. oKRUVNOSTX C C (L@BAQ) QWLQETSQ MNOVESTWOM
TO^EK NEOBOZRIMOGO ^ISLA KUSO^NO-GLADKIH KONTUROW 1, NO
OBY^NO PODRAZUMEWA@T TOT2, KOTORYJ WYDELQET DOBAWLENIE:
ODIN RAZ OBHODIMAQ (OT KAKOJ-TO TO^KI 3 ) W POLOVITELXNOM
NAPRAWLENII (\PROTIW HODA ^ASOWOJ STRELKI" RIS. 40, B ).
pEREHOD K OBRATNOMU PORQDKU SLEDOWANIQ SOSTAWLQ@]IH
DUG I TO^EK KAVDOJ IZ NIH PREOBRAZUET KUSO^NO-GLADKIJ
KONTUR ; = fL1 : : : Lng W PROTIWOPOLOVNO ORIENTIRO-
WANNYJ ;;= fL;n : : : L;1 g.
kUSO^NO-GLADKIJ KONTUR ; = fL1 : : : Lng ESTX KONTUR
BEZ SAMOPERESE^ENIJ, ESLI IZ SOSTAWLQ@]IH EGO DUG L@BYE
DWE NESMEVNYE NE IME@T OB]IH TO^EK , A SMEVNYE IME@T
OB]IMI LIX TO^KI IH SOEDINENIQ .
kUSO^NO-GLADKIJ KONTUR ;, WSE SOSTAWLQ@]IE DUGI KO-
TOROGO QWLQ@TSQ OTREZKAMI PRQMYH (ORIENTIROWANNYMI ),
NAZYWA@T LOMANOJ (ORIENTIROWANNOJ RIS. 41, a), A PRI DO-
BAWO^NOM USLOWII ZAMKNUTOSTI I OTSUTSTWIQ SAMOPERESE-
^ENIJ | MNOGOUGOLXNIKOM (ORIENTIROWANNYM RIS. 41, B).
rIS. 41
1 nE WSE IZ KOTORYH ZAMKNUTYE I GLADKIE .
2 zAMKNUTYJ GLADKIJ | REZULXTAT GLADKOGO SOEDINENIQ NESKOLXKIH
ORIENTIROWANNYH DUG OKRUVNOSTI C BEZ OB]IH WNUTRENNIH TO^EK.
3 z 2 C , SLUVA]EJ NA^ALXNOJ I KONE^NOJ DLQ \TOGO KONTURA .
1
124
pUTX : z = z(t) t 2 a b], T. E. NEPRERYWNAQ KOMPLEKS-
NOZNA^NAQ FUNKCIQ NA OTREZKE a b] 2 R (VII , S. 107) ESTX
PUTX OBHODA KUSO^NO-GLADKOGO KONTURA ; = fL1 : : : Lng,
ESLI PRI WOZRASTANII t OT a DO b ZNA^ENIE z(t) \TOJ FUNK-
CII POO^EREDNO PROHODIT | W SOOTWETSTWII S IH PORQDKOM
SLEDOWANIQ | WSE TO^KI WSEH SOSTAWLQ@]IH KONTUR ; DUG .
pUTX : z = z(t) t 2 a b], S^ITAETSQ PUTEM KLASSA C 1,
ESLI FUNKCIQ z = z(t) IMEET NA OTREZKE a b] NEPRERYWNU@
PROIZWODNU@ z0 (t).1
eSLI FUNKCIQ z = z(t) t 2 a b], ZADAET PARAMETRIZACI@
GLADKOJ DUGI L (S. 117), TO \TA VE FUNKCIQ ZADAET PUTX
(KLASSA C 1) OBHODA TOJ VE, NO UVE ORIENTIROWANNOJ GLAD-
KOJ DUGI L (S NA^ALXNOJ TO^KOJ z(a)).
oBRATNOE NEWERNO: PUTX KLASSA C 1 z = tjtj+it2 t 2 ;1 1],
SOWERA@]IJ OBHOD DWUHZWENNOJ LOMANOJ (RIS. 42), NE QWLQ-
ETSQ PARAMETRIZACIEJ GLADKOJ DUGI.
rIS. 42
1 |TU PROIZWODNU@ OBOZNA^A@T TAKVE z_ (t), POSKOLXKU t OBY^NO IN-
TERPRETIRU@T KAK WREMQ , A FUNKCI@ z = z (t) KAK ZAWISIMOSTX POLOVE-
NIQ TO^KI OT WREMENI (W SLU^AE PUTI KLASSA C 1 | PRI USLOWII, ^TO
SKOROSTX EE PEREME]ENIQ ESTX NEPRERYWNAQ FUNKCIQ WREMENI). C 1 |
TRADICIONNAQ SOKRA]ENNAQ ZAPISX TREBOWANIQ SU]ESTWOWANIQ NEPRE-
RYWNOJ (LAT. continuus) PROIZWODNOJ (PO KRAJNEJ MERE) 1-GO PORQDKA .
125
dLQ L@BOGO KUSO^NO-GLADKOGO KONTURA ; = fL1 : : : Lng
cy]ESTWUET PUTX KLASSA C 1 EGO OBHODA.
dOKAZATELXSTWO. pUSTX PARAMETRIZACI@ GLADKOJ DUGI
L1 ZADAET FUNKCIQ z = z1 ( ) 2 a1 b1 ]. mOVNO PRI \TOM
S^ITATX, ^TO ORIENTACIQ (PORQDOK SLEDOWANIQ TO^EK) DUGI
L1 SOOTWETSTWUET WOZRASTANI@ ZNA^ENIJ 2 a1 b1 ].1
zAMENA PEREMENNOJ = a1 +(b;1; a1) sin2 2t , t 2 0 ], POZWO-
LQET ZAKL@^ITX: FUNKCIQ z = z1 a1 +(b1; a1) sin2 2t t 2 0 ],
ZADAET PUTX KLASSA C 1, OSU]ESTWLQ@]IJ OBHOD ORIENTIRO-
WANNOJ GLADKOJ DUGI L1 (RIS. 43) SO SKOROSTX@
0 ;
z_ (t)= z1 a1 +(b1; a1) sin2 2t (b1; a1)sin 2t cos 2t ,
QWLQ@]EJSQ NEPRERYWNOJ FUNKCIEJ NA OTREZKE 0 6 t 6 ,
RAWNOJ NUL@ W EGO KONCEWYH TO^KAH .
rIS. 43
rIS. 44
iZ DANNOGO
R OPREDELENIQ WYTEKA@T SLEDU@]IE SWOJSTWA
WELI^INY f (z) dz .
; R R R
1. lINEJNOSTX : (f (z) + g(z)) dz = f (z)dz + g(z)dz .
; ; ;
R R R
2. aDDITIWNOSTX : f (z) dz = f (z) dz + + f (z) dz , ESLI
; ;1 ;m
KUSO^NO-GLADKIJ KONTUR ; ESTX REZULXTAT POSLEDOWATELXNOGO
SOEDINENIQ KUSO^NO-GLADKIH KONTUROW ;1 : : : ;m .1
R R
3. f (z) dz = ; f (z) dz .
;; ;
R
4. zNA^ENIE f (z) dz NE ZAWISIT OT
;
a) KONKRETNOGO PUTI
(KLASSA C 1 ) OBHODA KONTURA ;
B) PREDSTAWLENIQ KONTURA ; W WIDE POSLEDOWATELXNO SOEDINENNYH
ORIENTIROWANNYH GLADKIH DUG (I WYBORA NA^ALXNOJ TO^KI KONTURA
W SLU^AE EGO ZAMKNUTOSTI ).
1 w IH ROLI MOGUT WYSTUPATX, NAPRIMER, SOSTAWLQ@]IE KONTUR ;
ORIENTIROWANNYE GLADKIE DUGI .
129
sWOJSTWA 1, 2 | SLEDSTWIQ LINEJNOSTI I ADDITIWNOSTI
OBY^NOGO INTEGRALA (PO OTREZKU ). w ^ASTNOSTI, ESLI PUTX
(KLASSA C 1 ) z = z(t), t 2 a b], OBHODIT KONTUR ;, A ZNA^ENIQ
t1 : : : tm;1 2 (a b), OTWE^A@T KONE^NYM TO^KAM KONTUROW
;1 : : : ;m;1 (ONI VE NA^ALXNYE DLQ ;2 : : : ;m ), TO
R Rb Rt1 Rb
f (z) dz = f (z (t)) z_ (t) dt = f (z (t)) z_ (t) dt + + f (z(t)) z_ (t) dt =
; a Ra R tm;1
= f (z) dz + + f (z) dz .
;1 ;m
sWOJSTWO 3 WYTEKAET IZ TOGO, ^TO ESLI z = z (t) t 2 a b], |
PUTX OBHODA KONTURA ;, TO z = z (;t) t 2 ;b ;a], | PUTX OBHODA
KONTURA ;;, TAK ^TO (S ZAMENOJ PEREMENNOJ t = ; )1
R Rb t=; ;
Rb
f (z) dz = f (z (t)) z_ (t) dt = f (z(; )) z_ (; )(;1) d =
; a ;a
;b ;R a R
= f (z(; )) z0(; ) d = ; f (z(;t)) z_ (;t) dt = ; f (z) dz.
R
;a ;b ;;
pUNKT B) SWOJSTWA 4 WYTEKAET IZ SWOJSTWA 2 (ADDITIWNOSTI ), POZ-
WOLQ@]EGO TAKVE PRI OBOSNOWANII PUNKTA A) S^ITATX KONTUR ; SOSTO-
Q]IM LIX IZ ODNOJ (ORIENTIROWANNOJ ) GLADKOJ DUGI L .
pUSTX L : z = z (t) t 2 a b], | KAKAQ-LIBO PARAMETRIZACIQ \TOJ
GLADKOJ DUGI (S. 117). |TU PARAMETRIZACI@ ODNOWREMENNO MOVNO RAS-
SMATRIWATX I KAK KONKRETNYJ PUTX
e (KLASSA C 1 ), OBHODQ]IJ LIBO
KONTUR ; (ESLI DUGA L ORIENTIROWANA TAK, ^TO EE NA^ALXNOJ TO^KOJ
QWLQETSQ z (a)), LIBO KONTUR ;; (ESLI NA^ALXNOJ SLUVIT TO^KA z (b)).
sOOTWETSTWENNO \TIM DWUM SLU^AQM LIBO
R R Rb
f (z) dz = f (z) dz = f (z (t))z_ (t) dt,
;
e a
LIBO
R R R Rb Ra
f (z) dz = ; f (z) dz = ; f (z) dz = ; f (z (t))z_ (t) dt = f (z (t))z_ (t) dt.
; ;;
e a b
rIS. 45
2. pUSTX ; | OKRUVNOSTX RADIUSA 1 S CENTROM 0, OD-
NOKRATNO OBHODIMAQ OT EE TO^KI = ei W POLOVITELXNOM
NAPRAWLENII (\PROTIW HODA ^ASOWOJ STRELKI"). tAK KAK ZA
PUTX OBHODA (KLASSA C 1 ) \TOGO ZAMKNUTOGO GLADKOGO KONTU-
RA MOVNO WZQTX FUNKCI@ z = eit t 2 +2 ] (RIS. 45, B ),
DLQ L@BOJ NEPRERYWNOJ NA ; FUNKCII w = f (z)
H +2
R R2
f (z) dz = f (eit) ieit dt = f (eit) ieit dt
; 0
POSLEDNEE RAWENSTWO (A ONO WYTEKAET IZ 2-PERIODI^NOSTI
PODYNTEGRALXNOJ FUNKCII) ILL@STRIRUET NEZAWISIMOSTX
132
INTEGRALA PO ZAMKNUTOMU KONTURU ; OT WYBORA EGO NA^ALX-
NOJ TO^KI 1 (SLUVA]U@ OPRAWDANIEM ZAPISI jzj = 1 W KA-
^ESTWE SIMWOLA KONTURA ) W ^ASTNOSTI,
H R2
Re zdz = cos t (cos t + i sin t) idt = i.
jz j=1 0
3.pUSTX ; | TOT VE ZAMKNUTYJ GLADKIJ KONTUR , ^TO
I W PRIMERE 2 (S TOJ VE NA^ALXNOJ TO^KOJ = ei I TEM VE
PUTEM z = eit t 2 +2 ] EGO OBHODA . eSLI SREDI MNOVES-
TWA WSEH ZNA^ENIJ Ln = Ln ei WYBRANO i, TO PRI L@BOM
WYBORE ^ISLA 2 ( +2 ), OTWE^A@]EM RAZDELENI@ KON-
TURA ; NA U^ASTKI ;1 (OT TO^KI ei DO TO^KI ei ) I ;2 (OT
TO^KI ei DO TO^KI ei(+2) ),
H R R R +2
R
Ln zdz = ln zdz + ln zdz = + (0+ it)(eit)0dt =
; ;1 ;2
+2
R t = +2 +2
R
= it(eit )0dt = iteit
H
t=
;
ieit dt = 2 iei = 2 i
ZNA^ENIE Ln zdz OKAZYWAETSQ2 ZAWISQ]IM OT TOGO, KAKAQ
;
TO^KA ZAMKNUTOGO KONTURA ; WZQTA W KA^ESTWE NA^ALXNOJ .
pOQSNENIE . wDOLX U^ASTKOW ;1 I ;2 INTEGRIRU@TSQ DWE RAZNYE
WETWI LOGARIFMA , KOTORYE PRODOLVA@T DRUG DRUGA W TO^KE ei , NO
NE SOWPADA@T W TO^KE = ei = ei(+2 ) : DLQ PERWOJ IZ NIHH ln = i,
TOGDA KAK DLQ WTOROJ ln = i (+2 . zAWISIMOSTX ZNA^ENIQ Ln zdz OT
;
WYBORA NA^ALXNOJ TO^KI ZAMKNUTOGO KONTURA ; OB_QSNQETSQ TEM,
^TO PRI ZAMENE
^0
EE DRUGOJ, 0 = ei ( < 0 < +2 ), NA SOEDINQ@]EJ
0
rIS. 46
rIS. 47
1 oBOROTY \PROTIW HODA ^ASOWOJ STRELKI" S^ITA@TSQ SO ZNAKOM
\PL@S", A W PROTIWOPOLOVNOM NAPRAWLENII | SO ZNAKOM \MINUS".
2 iLI INDEKSOM TO^KI z OTNOSITELXNO KONTURA ;.
0
3 pRI^INY \TOGO WIDNY IZ RASSMOTRENIQ SFERY rIMANA (I, S. 21).
139
nAGLQDNO PONQTIE INDEKSA (OTNOSITELXNO TO^KI z0 2 C ) MOVNO
OPREDELITX DLQ L@BOGO (NE PROHODQ]EGO ^EREZ \TU TO^KU) ZAMKNUTOGO
PUTI
: z = z (t) t 2 a b]1. a IMENNO, ind(
z0 ) POLAGAETSQ RAWNYM
^ISLU OBOROTOW 2 WEKTORA z (t);z0 PRI WOZRASTANII t OT a DO b , PRI^EM
W SLU^AE PUTI
KLASSA C 1 WYPOLNQETSQ RAWENSTWO
H ; Rb
= 21i zz(_t()t;) dtz0 .3
ind(
z0 )= 21i z;dzz0 def
a
w SOOTWETSTWII S \TIM OPREDELENIEM INDEKS ZAMKNUTOGO KONTURA
; (OTNOSITELXNO KAKOJ-LIBO TO^KI z0 ) SOWPADAET S INDEKSOM L@BOGO
PUTI
, OSU]ESTWLQ@]EGO OBHOD \TOGO KONTURA .
pONQTIE INDEKSA ZAMKNUTOGO KONTURA (HOTQ I W DRUGIH TERMINAH
I OBOZNA^ENIQH) WWEL kOI 28] (ser. I, t. 12, p. 222{224 ser. II, t. VI,
p. 121). w SOOTWETSTWII S EGO PODHODOM ind(; z0 ) | \TO WZQTOE S KO\F-
FICIENTOM 12 ^ISLO PEREMEN ZNAKA 4 WELI^INY Im( Re(z ;z0) W TO^KAH OBRA-
z;z0)
]ENIQ EE W BESKONE^NOSTX PRI PEREME]ENII z WDOLX KONTURA ;.
oPERIRUQ INDEKSOM (I FORMULOJ nX@TONA { lEJBNICA),
UDOBNO WY^ISLQTX INTEGRALY RACIONALXNYH FUNKCIJ | OT-
NOENIJ pq((zz)) MNOGO^LENOW | PO NE PROHODQ]IM ^EREZ \OSO-
BYE TO^KI" \TIH FUNKCIJ (KORNI ZNAMENATELEJ) ZAMKNUTYM
KUSO^NO -GLADKIM KONTURAM. dOSTATO^NO WOSPOLXZOWATXSQ RAZ-
LOVIMOSTX@ L@BOJ RACIONALXNOJ FUNKCII W SUMMU MNOGO-
^LENA I PROSTYH DROBEJ :
p(z) = p (z) + A1 + + Ak + B1 + + Bm +
q(z) 0 z ;a (z ;a)k z ;b (z ;b)m
+ zC;c + + (z;Ckc)n
1
; ; ; ;
= 2i A1 ind(; a)+ B1 ind(; b)+ + C1 ind(; c) .
;
rIS. 48
1 oBY^NO NAHODIMYE METODOM
; A 0NEOPREDELENNYH KO\FFICIENTOW.
2 k PRIMERU, (z;a)2 = ; z;2a .
A2
141
pEREHODQ K SWOJSTWAM INDEKSA ZAMKNUTOGO KONTURA KAK
FUNKCII TO^KI, OTNOSITELXNO KOTOROJ ON WY^ISLQETSQ H d , UDOB-
NEE WWESTI PEREOBOZNA^ENIE: ind(; z) = 2i ;z , z 2= ;.
1
;
1. ind (;; z ) = ; ind (; z ).
2. ind (; z ) = ind (;1 z ) + ind (;2 z ), ESLI ZAMKNUTYJ KON-
TUR ; RAZDELQETSQ NA ZAMKNUTYE KONTURY ;1 ;2 .
oBA UTWERVDENIQ | PRQMYE SLEDSTWIQ SWOJSTW KONTUR-
NYH INTEGRALOW (VIII , S. 128, SWOJSTWA 2, 3 ).
rIS. 49
;
ind(;z +Mz );ind(;z ) = 1 1 H d 1 H d
Mz Mz 2i ;z;Mz 2i ;z =
; ;
H H d H
= 2i ( ;z;Mz)( ;z) = 2i ( ;z)2 + ( ;z;MMzd
1 d 1
z)( ;z)2 ,
; ; ;
PRI \TOM, POSKOLXKU j ; z j < , a j ; z ;Mz j < 2
, WTOROE SLAGAEMOE W
SKOBKAH PO MODUL@ NE PREWOSHODIT WELI^INY jMz j ;3 2 l(;), GDE l(;) |
DLINA KONTURA ; (VIII, c. 133, OCENKA INTEGRALA PO KONTURU ) I POTOMU
STREMITSQ K NUL@ PRI Mz ! 0.
rIS. 50
rIS. 51
144
s DRUGOJ STORONY, W SILU SWOJSTW 1 { 2
ind (;0 zk ) ; ind (;00 zk ) = ind(C zk ) = 1 k = 1 2
OKRUVNOSTX C WOSPRINIMAETSQ ZDESX KAK KONTUR C 0 C 00 ; , A ZNAK
rIS. 52
rIS. 53
rIS. 54
rEENIE. dLQ j =1 : : : n PUSTX ~rj = fxj ; x0 yj ; y0g | WEKTOR ,
j ; x0 yj ; y0 | UDWO-
WEDU]IJ IZ TO^KI p0 W TO^KU pj , a Sj = xxj+1 ; x0 yj+1 ; y0
ENNAQ PLO]ADX TREUGOLXNIKA p0 pj pj+1 , WZQTAQ SO ZNAKOM \PL@S", ESLI
DANNYJ PORQDOK SLEDOWANIQ WERIN SOOTWETSTWUET POLOVITELXNOMU
OBHODy \TOGO TREUGOLXNIKA (KAK NA RIS. 54), I SO ZNAKOM \MINUS" PRI
OTRICATELXNOM OBHODE.
eSLI PRI KAKOM : : : n ODNOWREMENNO WYPOLNQ@TSQ SOOT-
; - TO j =1
NOENIQ Sj =0 I ~rj ~rj+1 6 0, TO GOTOW OTWET: TO^KA p0 (x0 y0 ) LEVIT
\NA" LOMANOJ P , A IMENNO NA j -M EE ZWENE (RIS. 55, a).
w PROTIWNOM SLU^AE, PEREHODQ K KOMPLEKSNOJ PLOSKOSTI, SLEDUET
WY^ISLITX INDEKS MNOGOUGOLXNIKA P (ORIENTIROWANNOGO SOGLASNO PO-
RQDKU SLEDOWANIQ EGO WERIN
n
) OTNOSITELXNO TO^KI p0 = x0 + iy0 , T. E.
1 P
^ISLO ind(P p0 ) = 2 M'j , GDE
j =1
148
8 ;
>
>
>
0 ESLI Sj =0 I ~rj ~rj+1 > 0
>
>arcsin ~rj Sj ;
ESLI Sj > 0 I ~rj ~rj+1 > 0
>
>
>
< j jj~rj+1Sj ;
M'j = > ; arcsin j~rj jj~rjj+1j ESLI Sj > 0 I ~rj ~rj+1 6 0
>
> ; arcsin ;Sj ESLI Sj < 0 I ;~rj ~rj+1 > 0
>
> j~
r j ~rj +1 j
jj
:; + arcsin ;Sj
>
>
> ;
j~rj jj~rj+1j ESLI Sj < 0 I ~rj ~rj+1 6 0
(RIS. 55, B, W, G, D, E). zNA^ENIQMI ind(P p0 ) MOGUT BYTX LIX 0 I 1.
eSLI ind(P p0 ) = 0, TO^KA p0 LEVIT WNE, A ESLI ind(P p0 ) = 1 |
WNUTRI MNOGOUGOLXNIKA P .
rIS. 55
rIS. 56
rIS. 57
T2
IH PRODOLVENIE | K POSLEDOWATELXNOSTI H fTng TREUGOLXNI-
p
KOW Tn PERIMETROW 2n , DLQ KOTORYH f (z) dz > 4cn . tAK KAK
Tn
PROEKCII TREUGOLXNIKOW Tn NA STORONY TREUGOLXNIKA T OBRA-
ZU@T STQGIWA@]IESQ POSLEDOWATELXNOSTI WLOVENNYH OTREZKOW ,
156
SU]ESTWUET (EDINSTWENNAQ ) TO^KA z? (NE WYHODQ]AQ ZA PREDE-
LY TREUGOLXNIKA T ), -OKRESTNOSTX KOTOROJ (DLQ SKOLX UGODNO
MALOGO ^ISLA > 0) SODERVIT WSE TREUGOLXNIKI Tn , NA^INAQ S
NEKOTOROGO (ZAWISQ]EGO OT ^ISLA ) NOMERA n0 (RIS. 57, B).
sU]ESTWOWANIe PROIZWODNOJ f 0(z?) = zlim f (z);f (z?)
!z? z;z? OZNA^A-
ET, ^TO DLQ SKOLX UGODNO MALOGO ^ISLA " > 0 SU]ESTWUET TAKOE
^ISLO
> 0, ^TO PRI 0 < jz ; z? j < WYPOLNQETSQ NERAWENSTWO
f (z);f (z?)
z ;z? ; f 0(z?) <", ILI, ^TO RAWNOSILXNO
, NERAWENSTWO
f (z) ; f (z?) ; f 0 (z?)(z ; z?) <" jz ; z? j.
H
C U^ETOM TOGO, ^TO f (z?) + f 0(z?)(z ;z?) dz = 0 (TAK KAK
Tn
PODYNTEGRALXNAQ FUNKCIQ IMEET PERWOOBRAZNU@ W PLOSKOSTI C ),
I ^TO WSE TREUGOLXNIKI Tn (NA^INAQ S NEKOTOROGO NOMERA p
n0 )
POPADA@T W -OKRESTNOSTX TO^KI z? I IME@T PERIMETRY 2n ,
H H
0 ; p p
f (z) dz =
f (z) ; f (z?) ; f (z?)(z ; z?) dz 6 " n n
22 2
Tn Tn
(IX, c. 114, OCENKA INTEGRALA
H PO KONTURU ).
kAK SLEDSTWIE, 4n 6 f (z) dz <" 4pn , A POTOMU pc2 <" DLQ
c 2
Tn
L@BOGO
H " > 0, ^TO NEWOZMOVNO PRI c > 0. pREDPOLOVENIE
6 0 OKAZYWAETSQ PO\TOMU LOVNYM.
f (z) dz =
T
pUSTX TEPERX FUNKCIQ w = f (z) IMEET PROIZWODNU@ f 0(z) WO
WSEH TO^KAH TREUGOLXNIKA T (I WNUTRI NEGO) ZA ISKL@^ENIEM TO-
^EK z1 : : : zk , W KOTORYH, ODNAKO, SU]ESTWOWU@T KONE^NYE PRE-
DELY lim f (z) j =1 : : : k . rAZDELQQ TREUGOLXNIK T OTREZKAMI
z!zj H
PRQMYH NA MENXIE TREUGOLXNIKI, ^ISLO f (z) dz MOVNO PRED-
T
STAWITX KAK SUMMU INTEGRALOW PO TREUGOLXNIKAM, KAVDYJ
IZ KOTORYH SODERVIT NE BOLEE ODNOJ IZ TO^EK z1 : : : zk I
157
LIX W ODNOJ IZ WERIN . iNTEGRAL VE PO KAVDOMU TAKOMU
TREUGOLXNIKU W SWO@ O^EREDX MOVET BYTX PREDSTAWLEN KAK
SUMMA TREH INTEGRALOW : PO DWUM TREUGOLXNIKAM, NE SODER-
VA]IM \TU TO^KU (A PO DOKAZANNOMU OBA \TI INTEGRALA RAW-
NY NUL@ ), I INTEGRALU PO TREUGOLXNIKU, PERIMETR KOTOROGO
MOVNO S^ITATX SKOLX UGODNO MALYM , DLQ KOTOROGO UKAZAN-
NAQ TO^KA QWLQETSQ WERINOJ . tAK KAK W OKRESTNOSTI \TOJ
TO^KI PODYNTEGRALXNAQ FUNKCIQ (W SILU SU]ESTWOWANIQ KO-
NE^NOGO PREDELA ) QWLQETSQ OGRANI^ENNOJ , SUMMA \TIH TREH
INTEGRALOW OKAZYWAETSQ (PO MODUL@)HSKOLX UGODNO MALOJ , A
POTOMU RAWNOJ NUL@ . kAK SLEDSTWIE f (z) dz =0. Q.E.D.
T
lEMMA OB INTEGRALAH PO ZAMKNUTYM LOMANYM 1.
eSLI FUNKCIQ w = f (z) W ODNOSWQZNOJHOBLASTI D C OBLA-
2 ( )
rIS. 58
rIS. 59
rIS. 60
rIS. 61
rIS. 62
; ;() a a
;
VE SLAGAEMOE STREMITSQ K 0 PRI ! 1 ; 0 WWIDU
a) OGRANI^ENNOSTI KAK ZADA@]EJ PUTX (KLASSA C 1 )
FUNKCII z = z(t), ;TAK I EE PROIZWODNOJ :
9h> 0 8t t 2 a b] =) jz(t)j 6 h ^ jz0(t)j 6 h
B) NEPRERYWNOSTI , A POTOMU I RAWNOMERNOJ NEPRERYW-
NOSTI FUNKCII w = f (z) NA ZAMKNUTOM I OGRANI^ENNOM
MNOVESTWE D = D ; @D :
8"> 0 9
> 0 8z18z2 z12 D ^ z22 D ^ jz1 ; z2j <
=)
=) jf (z1);f (z2)j <" ,
SILU ^EGO
b
f z (t) ; f z? + (z (t) ; z?) z (t) dt 6 "h (b ; a).
R ; ; 0
a
uPRAVNENIE. pOKAZATX (NA PRIMERE FUNKCII w =(z; z0);1 W KOLXCE
z 2 C : 1 < jz ; z0j < 2 ), ^TO DLQ NEODNOSWQZNOJ OBLASTI UTWERVDENIE
rIS. 63
rIS. 64
rIS. 65
1 sLEDUET OTMETITX
H , ^TO W SLU^AE NEODNOSWQZNOJ OBLASTI D IZ \TO-
GO NE SLEDUET , ^TO f (z) dz = 0 DLQ L@BOJ ZAMKNUTOJ LOMANOJ P ,
P
RASPOLOVENNOJ W OBLASTI D (X, UPRAVNENIE NA S. 164).
2 fRANCUZSKIJ MATEMATIK lIUWI LLX (Liouville, Joseph, 1809{1882)
OPUBLIKOWAL \TU TEOREMU W 1844 G. sWOE NEDOWOLXSTWO \TIM NEODNOKRAT-
NO WYRAVAL kOI (28], ser. I, t. VIII, p. 378 t. XI, p. 374), S^ITAWIJ
SEBQ AWTOROM \TOJ TEOREMY.
177
kAK OPERIRU@T TEOREMOJ I
XII .
rIS. 66
rIS. 67
pRIMENQQ TEOREMU kOI (X , S. 151) K FUNKCII w = f (z)
W ODNOSWQZNOJ OBLASTI | KOLXCE A S \RAZREZOM" PO LU^U IZ
TO^KI z0 WDOLX PRQMOJ L1 W NAPRAWLENII, PROTIWOPOLOVNOM
NAPRAWLENI@
H NA TO^KU z1 , MOVNO SDELATX WYWOD: ZNA^ENIQ
f (z) dz I ind(; z0) NE IZMENQTSQ , ESLI U^ASTOK KONTURA
;
180
; OT TO^KI z1 DO TO^KI z2 ZAMENITX KUSO^NO-GLADKIM KON-
TUROM , SOSTOQ]IM IZ OTREZKOW PRQMYH L1 L2 , SOEDINQ@-
]IH TO^KI z1 I z2 S OKRUVNOSTX@ C , I ^ETWERTI \TOJ
OKRUVNOSTI (RIS. 67, A).
dEJSTWIQ PO \TOJ SHEME (PRI KOTOROJ PRQMYE L1 I L2
POPEREMENNO MENQ@TSQ HROLQMI) PREOBRAZU@T KONTUR ; | S
SOHRANENIEM ZNA^ENIJ f (z) dz I ind(; z0) | W SOSTOQ]IJ
;
IZ ^ETWERTEJ OKRUVNOSTI C , SOEDINENNYH OTREZKAMI PRQ-
MYH L1 I L2 (RIS. 67, B ). pOSKOLXKU KAVDYJ IZ \TIH OTREZ-
KOW OBHODITSQ DWAVDY W PROTIWOPOLOVNYH NAPRAWLENIQH,
INTEGRAL PO \TOMU KONTURU RAWEN INTEGRALU PO OKRUVNOS-
TI C , OBHODIMOJ STOLXKO VE RAZ, KAKOW ind(; z0). Q.E.D.
tEOREMA tEJLORA.1 fUNKCIQ w=2 f (z), ANALITI^ESKAQ
W KRUGE D = z 2 C : jz ; z0 j < r IMEET W \TOM KRUGE
PREDSTAWLENIE W WIDE SUMMY SHODQ]EGOSQ STEPENNOGO RQDA
1
f (z) = cn(z ; z0)n z 2 D,
+P
n=0
KO\FFICIENTY KOTOROGO SWQZANY S NEJ SOOTNOENIQMI3
(n) H
cn = f n(!z0) I cn = 21i ( ;fz(0))n+1 d
, n =0 1 2 : : : ,
;
GDE ; | L@BOJ ZAMKNUTYJ KUSO^NO -GLADKIJ KONTUR , RASPO-
LOVENNYJ W KRUGE D I ODIN RAZ OBHODQ]IJ EGO CENTR z0 W
POLOVITELXNOM NAPRAWLENII (RIS. 68, A).
1 nAZWANIE USLOWNO: \TU TEOREMU (USTANOWLENNU@ kOI W 1831 G.
DLQ SLU^AQ z0 = 0 28], ser. II, t. XV, p. 448{450) PRAWILXNEE NAZYWATX
TEOREMOJ kOI O RAZLOVENII ANALITI^ESKOJ FUNKCII W RQD tEJLORA.
pO UDIWITELXNO ^ASTOMU POWTORENI@ EE FORMULIROWKI W RABOTAH kOI
RAZNOGO WREMENI MOVNO SDELATX WYWOD, ^TO IMENNO EE (A NE TO, ^TO NYNE
NAZYWA@T TEOREMOJ kOI ) ON S^ITAL GLAWNYM SWOIM REZULXTATOM.
2 wKL@^AQ SLU^AJ r =+1, KOGDA KRUG D ESTX WSQ PLOSKOSTX C .
3 pERWOE IZ KOTORYH I OZNA^AET, ^TO \TOT STEPENNOJ RQD QWLQETSQ
RQDOM tEJLORA FUNKCII w = f (z) (II, S. 33).
181
rIS. 68
C
H
= 21i f;(z)0 1+ z ;;zz00 + + ((z;;zz00))m d
+
m
C H
+ 21i ( ;z0f);(()z;z0) ((z ;;zz00))m+1 d
= I1 + I2 .
m+1
C
tAK KAK NA OKRUVNOSTI C ANALITI^ESKAQ W KRUGE D
FUNKCIQ w = f (z) OGRANI^ENA : 9h 8z (z 2 C =) jf (z)j 6 h),
182
WTOROe SLAGAEMOe W PRAWOJ ^ASTI PREDYDU]EJ SERII RA-
WENSTW DOPUSKAET OCENKU (VIII , c. 133):
z ;z0 m+1
jI2j 6 ;jz;z0j ;! 0 m ! +1.
h
kAK SLEDSTWIE H
1 f () 1+ z ;z0 + + (z ;z0)m d
=
f (z) = mlim
!+1 2i C ;z0 ;z0 ( ;z0)m
m 1 H f () (z ;z0)n 1
cn(z ; z0)n,
P +P
= mlim
!+1 n=0 2i C ( ;z0) n+1 d
=
n=0
H
GDE cn = 21i ( ;fz(0))n+1 d
n = 0 1 2 : : :
C
pOSKOLXKU PODYNTEGRALXNYE FUNKCII (PEREMENNOJ ) W
PRAWYH ^ASTQH POSLEDNIH FORMUL QWLQ@TSQ ANALITI^ESKI-
MI W KRUGE D S IZ_QTYM CENTROM z0 , TEOREMA kOI DLQ
\KOLXCA" (W DANNOM SLU^AE KOLXCA A = D r fz0g) POZWOLQET
ZAMENITX W FORMULAH DLQ KO\FFICIENTOW cn OKRUVNOSTX
C L@BYM ZAMKNUTYM KUSO^NO-GLADKIM KONTUROM ; D S
TEM VE ZNA^ENIEM INDEKSA OTNOSITELXNO TO^KI z0 , T. E. ODIN
RAZ OBHODQ]IM EE W POLOVITELXNOM NAPRAWLENII (KAK NA
RIS. 68, A). |TO OZNA^AET, ^TO W POLU^ENNOM PREDSTAWLENII
+1
FUNKCII f (z) = P cn(z ; z0)n KO\FFICIENTY cn NE ZAWISQT
OT NA^ALXNOGO WYBORA TO^KI z 2 D, I POTOMU \TO PREDSTAW-
n=0
n=k
183
tEOREMA lORANA 1 eSLIFUNKCIQ w = f (z) QWLQETSQ
ANALITI^ESKOJ W KOLXCE A = z 2 C : r1 < jz ; z0 j < r2 , TO
.
2
rIS. 69
1 hOTQ PERWYM \TU TEOROMU DOKAZAL (W 1841 G.) wEJERTRASS (43],
Bd. I, S. 51), ZA NEJ ZAKREPILOSX IMQ FRANCUZSKOGO WOENNOGO INVENERA
lORANA (Laurent, Pierre Alphonce, 1813 {1854), KOTORYJ OPUBLIKOWAL
EE W 1843 G. KAK \OBOB]ENIE TEOREMY kOI" (\Extension du theor*eme
de M. Cauchy relatif *a la convergence du developpement d'une fonction
suivant les puissances ascendentes de la variable x "), ^TO SAMIM kOI
NEODNOKRATNO POD^ERKIWALOSX (28], ser. I, t. VIII, p. 115{117 147).
2 wKL@^AQ SLU^AI r =0 r =+1.
1 2
184
dOKAZATELXSTWO 1. dLQ PROIZWOLXNO WZQTOJ TO^KI z 2 A
PUSTX C1 I C2 | OKRUVNOSTI S CENTROM z0 RADIUSOW 1 I
2 , UDOWLETWORQ@]IH NERAWENSTWAM r1 <1 < jz ;z0j <2 <r2
(RIS. 69, B ). kAVDAQ IZ OKRUVNOSTEJ C1 C2 RASSMATRIWA-
ETSQ KAK ZAMKNUTYJ GLADKIJ KONTUR , ODIN RAZ OBHODQ]IJ
CENTR z0 KOLXCA A (A SLEDOWATELXNO, I TO^KU z ) W POLOVI-
TELXNOM NAPRAWLENII. pERWYJ AG DOKAZATELXSTWA SOSTOIT
W USTANOWLENII SOOTNOENIQ H H
f (z) = 21i f;(z) d
+ 21i f;(z) d
C2 C1;
;
(C1 | OKRUVNOSTX C1 , ODNOKRATNO OBHODIMAQ W OTRICA-
TELXNOM NAPRAWLENII).
dLQ \TOGO SLEDUET, SOEDINIW OKRUVNOSTI C1 I C2 DWU-
MQ NE PROHODQ]IMI ^EREZ TO^KU z PRQMOLINEJNYMI OTREZ-
KAMIH , PREDSTAWITXH PRAWU@ ^ASTX RAWENSTWA W WIDE SUMMY
1 f () 1 f ()
2i ;z d
+ 2i ;z d
, GDE ZAMKNUTYE KUSO^NO-GLADKIE
;2 ;1
KONTURY ;1 I ;2 OBRAZOWANY DUGAMI OKRUVNOSTEJ C1; I
C2 I SOEDINQ@]IMI IH OTREZKAMI , OBHODIMYMI W PROTI-
WOPOLOVNYH NAPRAWLENIQH | TAK, ^TO TO^KA z OKAZYWAETSQ
WNUTRI KONTURA ;1 I WNE KONTURA ;2 (RIS. 70).
wY^ISLITX INTEGRALY PO KONTURAM ;1 I ;2 MOVNO S PO-
MO]X@ INTEGRALXNOJ FORMULY kOI (XI , S. 166), PRIMENQQ
EE, SOOTWETSTWENNO, K ODNOSWQZNYM OBLASTQM ArL1 I ArL2 ,
GDE L1 L2 | KAKIE-LIBO LU^I , WYHODQ]IE IZ TO^KI z0 I
NE PERESEKA@]IE , SOOTWETSTWENNO, KONTURY ;1 I ;2 (KAK NA
RIS. 70). tAK KAK ind(;1 z)=1, A ind(;2 z)=0,
1 H f () d
= f (z) A 1 H f () d
=0.
2i ;z 2i ;z
;1 ;2
1pO SHEME DOKAZATELXSTWA TEOREMY tEJLORA (S. 181{182), NO S UDLIN-
NQ@]IMI OSLOVNENIQMI, WYZWANNYMI NEODNOSWQZNOSTX@ KOLXCA.
185
rIS. 70
1 H f () d
= 1 H f ()
2i ;z 2i ( ;z0);(z ;z0) d
=
C2 C2
H f () z ;z
+ d
=
= 2i ;z0 1+ ;z00 + ((z ;;zz00))2
1 2
C2
H m
= 21i f;(z)0 1+ z ;;zz00 + + ((z;;zz00))m d
+
C2
H
+ 21i ( ;z0f);(()z;z0) ((z ;;zz00))m+1 d
,
m+1
C2
PRI^EM SOGLASNO OCENKE INTEGRALA (VIII , c. 133) MODULX WTO-
ROGO SLAGAEMOGO W PRAWOJ ^ASTI NE PREWOSHODIT WELI^INY
h2 z ;z0 m+1, STREMQ]EJSQ K NUL@ PRI n ! +1, W SILU
2 ;jz ;z0j 2
^EGO ISHODNYJ INTEGRAL ESTX PREDEL (PRI n ! +1) PERWOGO
IZ DWUH SLAGAEMOYH W PRAWOJ ^ASTI:
186
1 H f () d
= lim 1 H Pm f () (z ;z0)n
d
=
2i ;z m!+1 2i n=0 ;z0 ( ;z0)n
C 2 C 2
= mlim
m
P1 H f () (z ;z0)n d
=
!+1 n=0 2i ( ;z0)n+1
C2
1 1 H f ()
=
+P
n=0 2iC2 ( ;z0)
n+1 d
(z ;z0)n
1 H f () d
= 1 H f () d
= 1 H
; f ()
2i ; ;z 2i ;z 2i (z ;z0);( ;z0) d
=
C1 C1 C1
H
+ d
=
= 21i zf;(z)0 1+ z;;zz00 + ((z;;zz00))2
2
C1
H
= 21i zf;(z)0 1+ z;;zz00 + + ((z ;;zz00))m d
+
m
C1
H
+ 21i (z;z0f);(() ;z0) ((z;;zz00))m+1 d
,
m+1
C2
PRI \TOM MODULX POSLEDNEGO SLAGAEMOGO
m+1W PRAWOJ ^ASTI NE
h
PREWOSHODIT WELI^INY jz;z0j;1 z;z0 , STREMQ]EJSQ K
1 1
= mlim
m
P 1 H f () ( ;z0)n d
(n=;=k;1)
!+1 n=0 2i (z ;z0)n+1
C1
P;1 1 H f () ( ;z0);k;1
= mlim
!+1 k=;m;1 2iC1 (z;z0);k d
=
;1 1 H f ()
k+1 d
(z ; z0 ) .
P k
=
k=;1 2iC1 ( ;z0)
187
sLOVENIE INTEGRALOW PO OKRUVNOSTQM C2 I C1; DAET:
1
+P ;1
P
f (z) = cn (z ; z0)n + ck (z ; z0)k ,
n=0 k=;1
GDE H H
cn = 21i ( ;fz(0))n+1 d
, a ck = 21i ( ;fz(0))k+1 d
.
C2 C1
oSTAETSQ ZAMENITX W POSLEDNEM RAWENSTWE OBOZNA^ENIE
k NA n I ZAMETITX, ^TO SOGLASNO TEOREMe kOI DLQ KOLX-
CA (c. 178) OBE OKRUVNOSTI C1 I C2 MOGUT BYTX ZAMENENY
L@BYM ZAMKNUTYM KUSO^NO-GLADKIM KONTUROM ;, RASPOLO-
VENNYM W KOLXCE A I IME@]IM TOT VE (RAWNYJ 1) INDEKS
OTNOSITELXNO EGO CENTRA z0 (T. E. ODNOKRATNO OBHODQ]IM
TO^KU z0 W POLOVITELXNOM NAPRAWLENII (KAK NA RIS. 93, a).
|TO OZNA^AET, ^TO HOTQ WYBOR OKRUVNOSTEJ C1 I C2 IZNA-
^ALXNO ZAWISEL OT WYBORA TO^KI z 2 A, KO\FFICIENTY cn W
PREDSTAWLENII
1 ;1 1
f (z) = cn(z ; z0)n + cn(z ; z0)n = cn(z ; z0)n
+P P +P
n=0 n=;1 n=;1
NE ZAWISQT OT \TOJ TO^KI, T. E. \TO PREDSTAWLENIE IMEET
MESTO WO WSEM KOLXCE A. Q.E.D.
uSTANAWLIWAEMYE TEOREMAMI tEJLORA (S. 180) I lORANA
(S. 183) PREDSTAWLENIQ
1 1
f (z)= cn(z ; z0)n I f (z)= cn(z ; z0 )n
+P +P
n=0 k=;1
FUNKCII w = f (z), ANALITI^ESKOJ , SOOTWETSTWENNO, W KRUGE
D = z 2 C : jz;z0 j <r I KOLXCE A = z 2 C : r1< jz;z0 j <r2
pz = (z ; i) + i = pi 1 + z;i = 1
2
i
= p2 1 + 2 ; 22 2! + 2333! 3; 12434!5 4 + =
1+ i 1 1 2 1
p i 1 + 21i (z ;i) ; (2i)12 2! (z ;i)2 + (21i)333! (z ;i)3 ; .
= 1+ 2
5. rAZLOVENIQ lORANA W OKRESTNOSTI BESKONE^NOSTI
(RAZLI^A@]IHSQ ZNAKOM) ODNOZNA^NYH q WETWEJ DWUHZNA^NYH
FUNKCIJ w = (z ; a)(z ; b) I w = zz;;ab MOVNO POLU^ITX,
p
;
ZAPISAW IH W WIDE w = z 1; az 1; zb , w = 1; az 1; zb ,
1 1 1 1
2 2 2 2
;
OTKUDA c20 =1 (c0 = 1) 2c0 c1 =0 (c1 =0) 2c0 c2 = ; 2!1 c2 = ; c40 : : :
rIS. 71
2! 3!
GDE KO\FFICIENTY c0 c1 : : : POSLEDOWATELXNO NAHODQTSQ IZ RAWENSTW:
c0 = 1 c0 2!1 +c1 = 0 c0 3!1 +c1 2!1 +c2 = 0 : : : ~A]E, ODNAKO, IH ZAPISY-
WA@T KAK cn = Bnn! , n = 0 1 2 : : : , NAZYWAQ Bn ^ISLAMI bERNULLI 1. w
+1
\TIH OBOZNA^ENIQH ezz;1 = P Bnn! z n W KOLXCE A0 (PRI 0 < jz j < 2).
n=0
pOLU^ENNOMU RAZLOVENI@ MOVNO PRIDATX INOJ WID, ESLI U^ESTX,
+1 z ;z
^TO P Bnn! z n = ezz;1 + z2 ;1 = z2 eez+1 ;1 ;1 = ;2z ee;z+1
;1 ;1 | ^ETNAQ
n=2
FUNKCIQ, A PO\TOMU EE STEPENNOE RAZLOVENIE SODERVIT TOLXKO ^ET-
NYE STEPENI z KAK SLEDSTWIE, ^ISLA bERNULLI Bn S NE^ETNYMI NOME-
RAMI, BOLXIMI 1, RAWNY NUL@ I, TAKIM OBRAZOM,
z +
P 1 Bn n z +P1 B2k 2k
ez ;1 = n=0 n! z = 1; 2 + k=1 (2k)! z 0 < jz j < 2.
+1
pOLU^ITX RAZLOVENIE lORANA ezz;1 = P ecn z n W KOLXCE A1 MOV-
n=;1
NO IZ UVE POLU^ENNOGO RAZLOVENIQ H (W KOLXCE A0 ) I FORMULY KO\FFI-
CIENTOW lORANA ecn = 21i (ez ;1) z
z n+1 dz n = 0 1 2 : : : (S. 183),
;e
BERQ W KA^ESTWE KONTURA INTEGRIROWANIQ ;e LEVA]U@ W KOLXCE A1
OKRUVNOSTX S CENTROM 0, ODNOKRATNO OBHODIMU@ W POLOVITELXNOM
NAPRAWLENII (RIS. 71, B). sLEDUET U^ESTX, ^TO PRI ZAMENE OKRUVNOS-
TI ;e KONCENTRI^ESKOJ OKRUVNOSTX@ ; RADIUSA, MENXEGO 2 (A
PO\TOMU LEVA]EJ W KOLXCE A0 ), ZNA^ENIE PRAWOJ ^ASTI FORMULY OKA-
ZYWAETSQ IZWESTNYM: (
1 H z dz = c =
Bn DLQ n =0 1 2 : : :
n!
2i (e ;1)z
z n +1 n
0 DLQ n = ;1 ;2 : : :
;
RAZNOSTX VE INTEGRALOW PO OKRUVNOSTQM ;e I ; RAWNA SUMME INTEG-
1 iH WWEL W OSNOWOPOLAGA@]EJ DLQ TEORII WEROQTNOSTEJ RABOTE
\iSKUSSTWO DOGADKI" (\Ars conjectanti"), WYEDEJ W 1713 G., STARIJ
IZ WEJCARSKIH MATEMATIKOW bERNULLI (Bernoulli, Jakob, 1654{1705).
193
RALOW PO ZAMKNUTYM ;+ I ;; , IZOBRAVENNYM NA RIS. 72.
rIS. 72
z +P1 ;1
P +
P1
ez ;1 = cn z n =
e cn z n + ec0 + ec1 z + ecn z n =
e
n=;1 n=;1 n=2
;1
1 Bn
P 1 + 1 z n + +P 1 + 1 n
=
n=;1 (2i) (;2i)
n n +
n=0 n! (2i)
n (;2i) z ,
n
ILI ;1 (;1)k 2 2k 1 B2k (;1)k 2 2k
z = P z + 3 ; 1 z + +P + 2k z .
ez ;1 k=;1 (2)2k 2 k=1 (2k)! (2)
194
nERAWENSTWA kOI DLQ KO\FFICIENTOW+1tEJLORA I
lORANA 1 kO\FFICIENTY RAZLOVENIQ f (z) = nP=0 cn(z ; z0)n
.
1
cn(z ; z0 )n FUNKCII w = f (z),
; +P
SOOTWETSTWENNO f (z) =
n=;1
ANALITI^ESKOJ W KRUGE (SOOTWETSTWENNO KOLXCE ) S CENTROM
z0 , UDOWLETWORQ@T NERAWENSTWAM kOI
jcnj 6 n
n =0 1 2 : : : (SOOTWETSTWENNO n =0 1 2 : : : ),
GDE | L@BOE POLOVITELXNOE ^ISLO, MENXEE RADIUSA \TOGO
KRUGA (SOOTWETSTWENNO ^ISLO, PROMEVUTO^NOE MEVDU WNUT-
RENNIM I WNENIM RADIUcAMI KOLXCA ), A
| WERHNQQ GRA-
NICA ZNA^ENIJ jf (z)j NA OKRUVNOSTI C
= fz 2 C : jz;z0 j = g.
dOKAZATELXSTWO. B FORMULAH DLQ KO\FFICIENTOW RAZ-
LOVENIJ tEJLORA (S. 180) I lORANA (S. 183) SLEDUET WZQTX
W KA^ESTWE KONTURA ; OKRUVNOSTX C
, ODNOKRATNO OBHO-
DIMU@ W POLOVITELXNOM NAPRAWLENII, I WOSPOLXZOWATXSQ
OCENKOJ INTEGRALA
(VIII , c. 133):
H
jcnj = 21i ( ;fz(0))n+1 d
6 21 n+1
2 = n
. Q.E.D.
C
uPRAVNENIQ. 1. oB_QSNITX, PO^EMU DLQ L@BOJ ^ETNOJ ANALITI^ES-
KOJ FUNKCII RAZLOVENIE tEJLORA (lORANA ) W KRUGE (KOLXCE ) S CENTROM
z0 =0 SODERVIT LIX ^ETNYE STEPENI z .
2. pOLXZUQSX PREDSTAWLENIEM 1=2 1=2
(z ; a)(z ; b) = (c ; a)(c ; b) 1+ cz;;ac 1+ zc;;bc ,
p p
rIS. 73
p
(1;i) ; (r = 2).
; (z +(1 ;i))
4
3
rIS. 74
197
tEOREMA lIUWILLQ 1 fUNKCIQ, ANALITI^ESKAQ WO WSEJ
.
PLOSKOSTI C (a TAKIE FUNKCII NAZYWA@T CELYMI ) QWLQETSQ
LIBO NEOGRANI^ENNOJ, LIBO POSTOQNNOJ.
dOKAZATELXSTWO. pRIMENENIE K FUNKCII w = f (z), ANALI-
TI^ESKOJ WO WSEJ PLOSKOSTI C , TEOREMY tEJLORA S z0 =0,
PRIWODIT K EE RAZLOVENI@
1
f (z)= cnzn z 2 C
+P (n)
cn = f k!(0) .
n=0
eSLI \TA FUNKCIQ OGRANI^ENA 9h > 0 8z jf (z)j 6 h , TO
; ;
= z4 2!1 ; z4! + z6! ; 1+ z2! + z3! + ,
2 4 2 4
rIS. 75
rIS. 76
1 tERMIN \ANALITI^ESKOE PRODOLVENIE" QWLQETSQ SOBIRATELXNYM,
TAK ^TO NARQDU S PREDLAGAEMYM ZDESX, KRATKIM I UPRO]ENNYM, IME-
@TSQ DRUGIE EGO TOLKOWANIQ.
203
+P1
pRIMERY. 1 . fUNKCIQ w = zn OPREDELENA I QWLQETSQ
n=0
ANALITI^ESKOJ W KRUGE SHODIMOSTI D = z 2 C : jzj < 1 STE-
+1
PENNOGO RQDA W PRAWOJ ^ASTI. tAK KAK P zn = 1;1 z z 2 D,
n=0
FUNKCIQ w = 1;1 z OSU]ESTWLQET ANALITI^ESKOE PRODOLVE-
+P 1
NIE FUNKCII w = zn IZ KRUGA D W L@BU@ WYHODQ]U@ ZA
n=0
EGO PREDELY I OTLI^NU@ OT 1 TO^KU PLOSKOSTI C .
2. pUSTX w = ln z = ln jz j + i arg z | ODNOZNA^NAQ WETWX
LOGARIFMA W OBLASTI z 2 C : ; 2 < arg z < 2 (T. E. PLOS-
3
rIS. 77
rIS. 78
n=0 n!
ODNOZNA^NOSTX \TOJ FUNKCII | SOWPADENIE ZNA^ENIJ f (z)
+1 (n)
I P f n(!z0) (z ; z0)n W PERESE^ENII D \ K OBLASTI D I
n=0
KRUGA K | WYTEKAET IZ TEOREMY EDINSTWENNOSTI (c. 201),
PRIMENENNOJ K ANALITI^ESKIM W OBLASTI D \ K FUNKCIQM
207
1 (n)
w = f (z) I w = f n(!z0) (z ; z0)n (PERWAQ QWLQETSQ ANALITI-
+P
n=0
^ESKOJ W OBLASTI D, a WTORAQ | W KRUGE K ) I (W KA^ESTWE
MNOVESTWA E IZ FORMULIROWKI TEOREMY EDINSTWENNOSTI)
KONCENTRI^ESKOMU S K KRUGU K0 (D \ K ), W KOTOROM DAN-
NYE FUNKCII SOWPADA@T PO TEOREME tEJLORA (S. 195).
rIS. 79
rIS. 80
OKRESTNOSTI TO^KI z0 .
dOKAZATELXSTWO . pUSTX z0 | TO^KA KONE^NOJ PLOSKOSTI.
1
1 ) 2 . tAK KAK f (z) = cn(z ; z0)n W KOLXCE WIDA
+P
n=0
z 2 C : 0 < jz ; z0 j < r , \TO KOLXCO PRINADLEVIT KRUGU
SLU^AJ z0 = 1 POZWOLQET
PEREHOD OT FUNKCII w = f (z) K
1
FUNKCII w = f z , DLQ KOTOROJ IZOLIROWANNOJ OSOBOJ TO^-
KOJ QWLQETSQ z0 =0. sLEDUET LIX ZAMETITX, ^TO:
a) USTRANIMOSTX OSOBOJ TO^KI z0 = 1 ANALITI^ESKOJ
FUNKCII w = f (z) (T. E. OTSUTSTWIE GLAWNOJ ^ASTI W EE RAZ-
LOVENII lORANA W OKRESTNOSTI BESKONE^NOSTI ) RAWNOSILX-
NA USTRANIMOSTI
OSOBOJ TO^KI z0 =0 ANALITI^ESKOJ FUNK-
CII w = f z1
1
B) zlim
!1 f (z ) = lim
z!0 z
f
W) OGRANI^ENNOSTX FUNKCII w = f (z) W OKRESTNOSTI BES-
KONE^NOSTI ( jf (z)j 6 hPRI jz j >r ) RAWNOSILXNA OGRANI^EN
1 -
1
NOSTI FUNKCII w = f z W OKRESTNOSTI NULQ : f z 6 h
PRI 0 < jzj < 1r . Q.E.D.
1 sTEPENNOJ RQD W PRAWOJ ^ASTI SHODITSQ W OKRESTNOSTI TO^KI z0 ,
WKL@^AQ SAMU \TU TO^KU , A POTOMU EGO SUMMA OSU]ESTWLQET ANALITI-
^ESKOE PRODOLVENIE FUNKCII W TO^KU z0 , T. E. USTRANQET OSOBENNOSTX
W \TOJ TO^KE (W SMYSLE OPREDELENIQ USTRANIMOSTI , DANNOGO NA c. 209).
218
hARAKTERISTIKA POL@SA
dLQ KONE^NOJ (z0 2 C ) IZOLIROWANNOJ OSOBOJ TO^KI z0
ANALITI^ESKOJ FUNKCII w = f (z) cLEDU@]IE USLOWIQ \K-
WIWALENTNY :
1 z0 | POL@S (PORQDKA k ) FUNKCII w = f (z), T. E. RAZ-
LOVENIE lORANA \TOJ FUNKCII W OKRESTNOSTI TO^KI z0
IMEET W GLAWNOJ ^ASTI LIX KONE^NOE ^ISLO (NENULEWYH )
SLAGAEMYH : 1
f (z) = (z;c;zk0)k + + zc;;z10 + cn(z ; z0)n (GDE c;k 6= 0)
+P
n=0
2 lim f (z) = 1
;
z!z0
PRI \TOM SU]ESTWUET KONE^NYJ I NE
RAWNYJ NUL@ zlim !z0 (z ; z 0 ) k f (z)
3 z0 QWLQETSQ USTRANIMOJ OSOBOJ TO^KOJ DLQ FUNKCII
w = f (1z) , PRI^EM | PRI DOOPREDELENII f (1z0) def = 0 | NULEM
\TOJ FUNKCII (KRATNOSTI k).
dOKAZATELXSTWO. 1 ) 2 . dOSTATO^NO ZAPISATX RAZLOVE-
NIE lORANA FUNKCII W OKRESTNOSTI TO^KI z0 W WIDE
f (z)= (z;z0)k c;k + c;k+1 (z ; z0)+ + c0 (z ; z0)k +
1 ;
lim
(z ; z0 ) kf (z) (k;1) = (k ; 1)! c;1. Q.E.D.
z !z0
wOT PRIMER PRIMENENIQ \TOJ FORMULY S PRIWLE^ENIEM
(DLQ SOKRA]ENIQ WY^ISLENIJ) OPERACIJ DELENIQ , UMNOVE-
NIQ I PO^LENNOGO DIFFERENCIROWANIQ STEPENNYH RQDOW (II ,
S. 39, 34, 33): 00 1
res 1 k=3 1
= lim z3 = 1 ; z 2 + ;1
rIS. 81
1 w PERWONA^ALXNOM WIDE | W SLU^AE PROSTYH POL@SOW FUNKCII
(I E]E DO OFORMLENIQ PONQTIQ \WY^ET") | SODERVITSQ W ZNAMENITOM
MEMUARE kOI 1825 G. 27], p. 26 (=28], ser. II, t. XV, p. 59). w OB]EJ
FORMULIROWKE WIDE BYLA POLU^ENA IM W 1831 G. (28], ser. I, t. XI, p. 307).
234
1
dOKAZATELXSTWO. pUSTX f (z)= cn(z;z1)n | RAZLOVE-
+P
n=;1
NIE DANNOJ FUNKCII W RQD lORANA W KRUGE S IZ_QTYM CENT-
ROM z1 , NE WYHODQ]EM ZA PREDELY OBLASTI D I NE SODER-
VA]EM TO^EK z2 : : : zm (RIS. 81).
;1
cn(z ; z1)n \TOGO RQDA (BEZ NEOTRI-
P
gLAWNAQ ^ASTX
n=;1
CATELXNYH STEPENEJ z ;z1 ) SHODITSQ NE TOLXKO W UKAZANNOM
KRUGE , NO I WO WSEJ PLOSKOSTI C S ISKL@^ENNOJ TO^KOJ z1
;1
cn(z ; z1)n
P
(II , S. 29), WSLEDSTWIE ^EGO EE SUMMA g1(z) =
n=;1
QWLQETSQ ANALITI^ESKOJ FUNKCIEJ W OBLASTI C r fz1 g.
sLEDUET WYWOD (XIV, UTWERVDENIE NA S. 222): ZAMENA
f (z) NA f (z) ; g1 (z), USTRANQQ GLAWNU@ ^ASTX RQDA lORANA
FUNKCII w = f (z) W OKRESTNOSTI EE OSOBOJ TO^KI z1 , OSTAW-
LQET NEIZMENNYMI GLAWNYE ^ASTI RQDOW lORANA \TOJ FUNK-
CII W OKRESTNOSTQH PRO^IH EE OSOBYH TO^EK ( z2 : : : zm) I
NE DOBAWLQET K NIM NOWYH .
pOWTORENIE PROWEDENNYH RASSUVDENIJ POSLEDOWATELXNO
DLQ TO^EK z2 : : : zm S OBOZNA^ENIEM g2(z) : : : gm (z) SUMM
GLAWNYH ^ASTEJ RQDOW lORANA FUNKCII w = f (z) W OKREST-
NOSTQH \TIH TO^EK POZWOLQET ZAKL@^ITX: W ODNOSWQZNOJ
OBLASTI D FUNKCIQ w = f (z) ; g1 (z) ; ; gm(z) QWLQET-
SQ ANALITI^ESKOJ ZA ISKL@^ENIEM KONE^NOGO ^ISLA OSOBYH
TO^EK z1 : : : zm , OKAZYWA@]IHSQ DLQ \TOJ FUNKCII USTRA-
NIMYMI , I W KOTORYH, SLEDOWATELXNO, ONA IMEET KONE^NYE
PREDELY .
pRIMENQQ K FUNKCII w =f (z);g1(z);;gm (z) TEOREMU
kOI (X , c. 151), MOVNO PRIJTI K PREDWARITELXNOMU WYWO-
DU: DLQ L@BOGO ZAMKNUTOGO KUSO^NO-GLADKOGO KONTURA ;,
RASPOLOVENNOGO W OBLASTI D I NE PROHODQ]EGO ^EREZ TO^KI
z1 : : : zm ,
235
H
f (z) ; g1(z) ; ; gm(z) dz =0,
;
A POTOMU H H H
f (z) dz = g1(z)dz + + gm(z)dz.
; ; ;
oSTAETSQ PRIMENITX K PERWOMU, A ZATEM I KO WSEM POSLE-
DU@]IM SLAGAEMYM W PRAWOJ ^ASTI POSLEDNEGO RAWENSTWA
FORMULU nX@TONA { lEJBNICA (VIII , c. 133) I WOSPOLXZOWATX-
SQ OPREDELENIEM INDEKSA ZAMKNUTOGO KONTURA (IX , c. 138):
H H P;1
g1 (z) dz = cn(z ; z1)ndz =
; ; n=;1
H P;2
cn(z ; z1) + c;1(z ; z1) dz =
= n ; 1
; n=;1
H P;2 (z;z1)n+1 0 H
= cn n+1 dz + zc;;z11 dz =
; nH=;1 ;
= 0 + z;z1 dz = 2i zres
c ;1
=z1
f (z) ind(; z1 ),
I, SLEDOWATELXNO, ;
H m;
P
f (z) dz = 2i zres =zj
j =1
f (z )
ind(; z j )
. Q.E.D.
;
k PRIMERU, WY^ISLENIE WY^ETOW NA S. 232 POZWOLQET NAJ-
TI H dz 1
sin z (1;cos z) = 2i zres
=0 sin z (1;cos z)
= i ,
jz j=3
a H
= ;i
dz 1
P 1
sin z (1;cos z) = 2i k=;1 zres
=k sin z (1;cos z)
jz j=5
(PREDPOLAGAETSQ, ^TO KAVDAQ IZ OKRUVNOSTEJ | RADIUSOW
3 I 5 | ODNOKRATNO OBHODITSQ W POLOVITELXNOM NAPRAWLE-
NII). dOSTATO^NO PRIMENITX TEOREMU O WY^ETAH K FUNKCII
236
w = sin z(11;cos z) , BERQ W KA^ESTWE ODNOSWQZNOJ OBLASTI D NE
WS@ PLOSKOSTX C (W NEJ DANNAQ FUNKCIQ IMEET BESKONE^-
NOE ^ISLO OSOBYH TO^EK ), A KAKOJ-NIBUDX KRUG , SODERVA]IJ
KONTURY INTEGRIROWANIQ (RIS. 82).
rIS. 82
0
0
+1
rIS. 83
eSLI ZA POSLEDOWATELXNOSTX ;n KONTUROW WZQTX POSLE-
DOWATELXNOSTX ODNOKRATNO OBHODIMYH W POLOVITELXNOM NA-
PRAWLENII
KWADRATOW ;
;n = z 2 C : jRe zj = n + 21 _jIm zj = n + 12 (RIS. 83),
;
z;1ctg z = n!lim
P 1 + P 1 1 =
g
+1zj 2int;n j
(z ) = lim
n!+1 z 2 ;n6j 6nj z ;j
60
j=
11 1 1
= z2 + j z;j ; z+j
1 +P
j =1
+P1 +P1
ctg z = z1 + z2;2(zj )2 = z1 + z;1j + z+1j
j =1 j =1
(\RASKRYTIE SKOBOK" W PRAWYH ^ASTQH OBOIH RAZLOVENIJ NE
+P1 +P1
DOPUSKAETSQ : OBA RQDA z;1j I z+1j PO OTDELXNOSTI
j =1 j =1
RASHODQTSQ !).
zAPISAW POSLEDNEE RAZLOVENIE W WIDE
1 1 1 , z 2 C z 6= 2 : : : ,1
ctg z ; z1 =
+P
+
j =1 z ;j z +j
MOVNO UTWERVDATX , ^TO ESLI TO^KA z OSTAETSQ W PREDELAH
KRUGA RADIUSA r S CENTROM 0 T. E. jzj 6 r , TO DLQ L@BOGO
;
rIS. 84
L L
R 1 1 d = MLn( ; j)L+ MLn( + j)L=
;j + +j
L 2
= ln(z ;j) ; ln(;j) + ln(z +j) ; ln(j) = ln 1; jz
; ;
z z n!+1 j =1
n z 2 n 2
ln 1; j 1; jz .
P Q
= n!lim
+1
exp = n!lim
+1
j =1 j =1
wYWOD: IMEET MESTO RAZLOVENIE SINUSA W BESKONE^NOE
PROIZWEDENIE 1
1 z 2 z z z z
sin z = z 1; j = z 1; 1+ 1; 2 1+ 2 ,
+Q
j =1
SLEDSTWIEM KOTOROGO (PRI z = 2 ) QWLQETSQ FORMULA wALLISA
= 22 4 4 6 6
2 13 35 57 def= n!lim+1 13325254(24n;2n1)2(2nn+1) .
1 wYWEDENNOE |JLEROM (IZ DRUGIH SOOBRAVENIJ) W 19], GL. IX.
246
|TA FORMULA BYLA WYWEDENA wALLISOM1 W IZDANNOJ W 1656 G. \aRIF-
METIKE BESKONE^NOSTEJ" (\Arithmetica In#nitorum")
R p
POSREDSTWOM CEPI
PREOBRAZOWANIJ INTEGRALA W RAWENSTWE 4 = 01 1 ; x2 dx. o ROLI \TOGO
AWTORA W RAZWITII MATEMATIKI GOWORIT UVE TO, ^TO IMENNO ON
WWEL SIMWOL 1 (I, S. 22) I TERMIN \INTERPOLQCIQ"
NAEL pZNA^ENIE \LEMENTA (TO^NEE, DIFFERENCIALA ) DLINY GLADKOJ
DUGI : dl = 1+(y 0(x))2 dx
POKAZAL \REALXNOSTX" MNIMYH ^ISEL 2 I DAL KL@^ K IH GEOMETRI-
^ESKOJ TRAKTOWKE, PRIWEDQ W SWOEM IZDANNOM W 1685 G. \kURSE aLGEB-
RY" (\Treatise of Algebra") SLEDU@]IE RASSUVDENIQ: \These Imaginary
Quantities (as they are commonly called) arising from the supposed root
of a negative square (when they happen) are reputed to imply that the
case proposed is Impossible . But suppose that we gain from the sea 10
acres, but that we lose 20. Our gain must be ;10 acres, or ;1600 square
perches3. Now suppose this negative plain, ;1600 square perches, to be in
the form of a square, must not this supposed square be supposed to have
a side? And ifpso, what shallpthis side be? We cannot say that it is 40 or
;40, but it is ;1600, or 40 ;1, where p signies a mean proportional
between a positive and a negative quantity".
uPRAVNENIQ. 1. dOKAZATX, ^TO MEROMORFNAQ FUNKCIQ QWLQETSQ RA-
CIONALXNOJ W TOM I TOLXKO W TOM SLU^AE, KOGDA 1 QWLQETSQ DLQ NEE
USTRANIMOJ OSOBOJ TO^KOJ ILI POL@SOM .
2. dOKAZATX, ^TO ESLI DLQ FUNKCII w = f (z) BESKONE^NOSTX QWLQ-
ETSQ a) USTRANIMOJ OSOBOJ TO^KOJ ILI B) POL@SOM PORQDKA
; 2 0
6 k, TO
; k+2 (k+1)
1
f (z) = (;1) (k+1)! zlim
k
a) zres
=1 !1 z f (z) B) zres
f (z) = zlim =1 !1 z f (z) .
3. oPIRAQSX NA TEOREMU wEJERTRASSA (XI, c. 174), POLU^ITX DIF-
FERENCIROWANIEM RAZLOVENIQ KOTANGENSA (c. 243) RAZLOVENIE
1
(z ;j)2 , z 2 C z 6= 0 2 : : :
+
P
1 1
sin2 z =j =;1
1 I, SNOSKA 2 NA S. 13.
2 w PROTIWOWES IH IZOBRETATELQM | ITALXQNSKIM MATEMATIKAM
XVI W. (I, S. 12), S^ITAWIM IH \FIKCIEJ".
3 aNGL. perch (EST ) | MERA DLINY (=5,03 M) square perch (KWAD-
RATNYJ EST) | MERA PLO]ADI (=25,3 M2 ).
247
XVI . kAK, PRIMENQQ WY^ETY, WY^ISLQ@T
INTEGRALY PO NEZAMKNUTYM KONTURAM
iSPOLXZUQ DEMONSTRIRUEMYE NIVE PRIEMY, WY^ISLENIe
KONTURNYH INTEGRALOW S POMO]X@ WY^ETOW MOVNO RASPRO-
STRANITX1 NA INTEGRALY PO NEZAMKNUTYM KONTURAM I PREV-
DE WSEGO | PO PROMEVUTKAM DEJSTWITELXNOJ OSI .
sUTX \TIH PRIEMOW SOSTOIT W DOPOLNENII NEZAMKNUTYH
KONTUROW DO ZAMKNUTYH S POSLEDU@]EJ OCENKOJ INTEGRALOW
PO \ZAMYKA@]IM" GLADKIM DUGAM. sDELATX \TU OCENKU BOLEE
EDINOOBRAZNOJ POZWOLQ@T SLEDU@]IE UTWERVDENIQ.
lEMMY OB INTEGRALAH PO DUGAM OKRUVNOSTEJ 2 .
pUSTX FUNKCIQ
1.
R
w = f (z) OBLADAET SWOJSTWAMI:
1) INTEGRAL f (z) dz , GDE Cr | DUGa OKRUVNOSTI RA-
Cr
DIUSA r S CENTROM 0 (RIS. 85), OPREDELEN DLQ DOSTATO^NO
BOLXIH (SOOTWETSTWENNO DOSTATO^NO MALYH ) r> 0
rIS. 85
1 iDEQ \TOGO RASPROSTRANENIQ WOSHODIT K MEMUARU kOI 27].
2 iMENNO DUGAMI OKRUVNOSTEJ OBY^NO DOPOLNQ@T NEZAMKNUTYE
KONTURY S CELX@ PREOBRAZOWANIQ IH W ZAMKNUTYE .
248
z f (z) ! 0 PRI z !1 (SOOTWETSTWENNO z ! 0)1
2)
R
TOGDA f (z) dz ! 0 PRI r ! +1 (SOOTWETSTWENNO r ! 0)2.
Cr
2. eSLI DLQ ANALITI^ESKOJ FUNKCII w = f (z)TO^KA z0
QWLQETSQ POL@SOM 1-GO PORQDKA , a GLADKIE DUGI L1 I L2 PE-
RESEKA@TSQ W \TOJ RTO^KE POD UGLOM (0 6 6 2 RIS. 86),
TO DLQ INTEGRALOW f (z) dz PO ZAKL@^ENNYM MEVDU L1 I L2
Cr
DUGAM Cr OKRUVNOSTEJ z 2 C : jz ; z0j = r (OBHODIMYM W
rIS. 86
rIS. 87
2) lim f (z) = 0
z!1
Im z>0
R
TOGDA r!lim
+1
f (z) eiz dz = 0.
Cr
dOKAZATELXSTWa. 1 . w SILU WTOROGO IZ USLOWIJ LEMMY
DLQ L@BOGO (SKOLX UGODNO MALOGO) ^ISLA " > 0 SU]ESTWUET
NASTOLXKO BOLXOE (SOOTWETSTWENNO NASTOLXKO MALOE ) ^ISLO
r" > 0, ^TO z f (z) < 2 PRI jzj > r" (SOOTWETSTWENNO PRI
"
0 < jzj < r"). tOGDA SOGLASNO OCENKE INTEGRALA PO KONTURU
(VIII , c. 133)
R R
f (z) dz = z f (z) dz < " 1 l(C ) 6 " 2r = "
z 2 r r 2r
Cr Cr
LIX TOLXKO r>r" (SOOTWETSTWENNO 0 <r<r").
2. pREDSTAWLENIE TO^EK z DUGI Cr W WIDE z = z0 + reit,
t 2 r r ] (KAK NA RIS. 86) POZWOLQET ZAPISATX:
250
R R r ;
f (z) dz = f z0 + reit reitidt =
Cr r
R r ;
= f z0 + reit reiti ; i zres
=z0
f (z) + i zres
=z0
f (z) dt =
r
R r ;
= i f z0 + reit reit ;zres f (z) dt + i r ; r zres
;
=z =z
f (z).
r 0 0
rIS. 88
1 fR. valeur principale (PROIZNOSITSQ PRIMERNO KAK WALER PREN-
SIPALX) | PONQTIE, WWEDENNOE kOI W 1822 G. (28], ser. I, t. I, p. 289).
nA^ALXNYE BUKWY v.p. | OB]EPRINQTOE EGO OBOZNA^ENIE.
252
dLQ L@BOGO ^ISLA r > 1 PUSTX ;r = ;r Cr | ZAMKNU-
rIS. 89
BYBOR \TOJ OBLASTI OBUSLOWLEN TEM, ^TO PRI L@BOM z 2 D ZNA-
^ENIE 1+ z 2 NE WYHODIT ZA PREDELY PLOSKOSTI C c \RAZREZOM" OT NU-
LQ WDOLX OTRICATELXNOJ ^ASTI DEJSTWITELXNOJ OSI , A SLEDOWATELXNO
(IV, c. 68), W OBLASTI Dp OPREDELENY DWE (RAZLI^A@]IESQ
p ZNAKOM) OD-
NOZNA^NYE WETWI w = 1+ z 2, DLQ ODNOJ IZ KOTORYH 1+02 = 1.
pRIMENENIE K INTEGRALU PO KONTURU ;r D TEOREMY
O WY^ETAH (XV, S. 233) S OBOZNA^ENIEM z1234 = p12 pi2
KORNEJ 4-J STEPENI IZ ;1 (KAK NA RIS. 89) DAET:
253
H 4
p dz = 2 i
P
res p 1 ind(; z
r j = )
1+z 2(1+z 4) j =1 z=zj 1+z 2(1+z 4)
;r
= ; 2i zres
p 1 + res p 1 =
=z1 1+z 2 (1+z 4) z =z4 1+z 2 (1+z 4)
= ; 2i zlim
p z ; z p z ; z
!z1 1+z2(1+z4) + zlim
!z4 1+z2(1+z4) =
1 4
p p
;
1+ 2
= p2 p1;i1(1;i) p 1 i
1+i (1+i) = 2 Im(1+i) = i 2 .
3
4
rIS. 90
R' d', GDE a> 0.
wOT BOLEE SLOVNYJ PRIMER: I = 1;cos
2
; a sin2
'
pRI 0 <a 6 1 \TOT INTEGRAL QWLQETSQ SOBSTWENNYM (cLU-
^AJ a = 1 INTERESA NE PREDSTAWLQET), A PRI a > 1 | NESOB-
STWENNYM , PRI^EM RASHODQ]IMSQ I PO\TOMU PONIMAEMYM W
SMYSLE GLAWNOGO ZNA^ENIQ (KAK IMENNO | ^UTX NIVE).
pUSTXi'WNA^ALE
;i'
0 < a < i'1. pRIMENENI
;i'
e FORMUL |JLERA
e + e
cos ' = 2 , sin ' = 2i e ; e I PODSTANOWKA ei' = z
PREOBRAZU@TINTEGRAL W KONTURNYJ | WZQTYJ PO OKRUV-
NOSTI C = z 2 C : jzj = 1 , ODNOKRATNO OBHODIMOJ (OT
rIS. 91
rIS. 92
rIS. 93
H
pO TEOREME O WY^ETAH iaz (z;z1()(zz+2 z +1) 4 2
; z 2)(z ;z3)(z ;z4)
dz RA-
;"
WEN UMNOVENNOMU NA 2i WY^ETU PODYNTEGRALXNOJ
1
FUNKCII
W NULE . tAK KAK \TOT WY^ET RAWEN ia , ZNA^ENIEM INTEGRALA
QWLQETSQ 2a . nAHOVDENIE
pa;1
VE WY^ETOW W TO^KAH z1 z2 z3 z4
(A ONI RAWNY 2apa(pa;1i) I SOSTAWLQ@T W SUMME 0), A TAKVE
PRIMENENIE K INTEGRALAM PO DUGAM Cr;1 Cr;2 Cr;3 Cr;4 LEM-
MY 2 (S. 248) S = (RIS. 93, B) DAET:
R ' d'def
v.p. 1;cos
2
; a sin2
' =
H 4 R (z +2z +1)
dz = 2a .
P 4 2
= "lim! 0
+ iaz (z ; z )(z ;z )(z ; z )(z ; z )
j " j =1Cr; 1 2 3 4
j =1234 ; j
d' R
pO \TOJ VE SHEME WY^ISLQETSQ INTEGRAL 1;2a cos '+a2
;
(a 2 C a 6= 1)1.
R d' R d' '
1 pRI a = 1 ON PRINIMAET WID 2' ILI I RAWEN +1.
;4 sin 2 ;4 cos 2
2
258
eSLI jaj 6= 1, TO INTEGRAL QWLQETSQ SOBSTWENNYM I WY-
^ISLQETSQ PREOBRAZOWANIEM W KONTURNYJ | PO OKRUVNOSTI
C = z 2 C : jzj = 1 , ODNOKRATNO OBHODIMOJ (OT TO^KI
H
= ; 1i "!lim
0+0 " az
dz
2 ;(1+a2 )z +a +
;
+ i zres 1 + i res1 az2;(1+1 a2)z+a =
=a az 2 ;(1+a2 )z +a z= a
;
= 1i 0 + 2az;i(1+a
z=a
+ 2az;i(1+a2) 1 = 0.
2)
z= a
rIS. 94
r3 !0+0
2 rADIUSOW Cr (RIS. 94, A) I Cr1 Cr2 Cr3 (RIS. 94, B ), POD^INENNYH
USLOWIQM r> 1 r1 > 1 r2 < 1 r3 < 1.
3 i SPOSOBA WY^ISLENIQ WY^ETA W POL@SE 1-GO PORQDKA (XV, S. 232).
261
H z2 z + res z =
2 2
a) z 4 +1 dz = 2i zres
=z1 z 4 +1 z =z2 z 4 +1
;r
= 2i (z4z+1)0 + (z4z+1)0 = 24i z11 + z12 = p2 ,
2 2
z=z1 z=z2
1+ i ; 1+ i
( z1 = p2 , z2 = p2 | TE IZ KORNEJ z1 z2 z3 z4 URAWNENIQ
z4 +1=0,1 KOTORYE LEVAT WNUTRI KONTURA ;r RIS. 94, A)
H 2
B) z4z;1 dz = 2i res
z=i z
z2 z 2
4 ;1 = 2i (z 4 ;1)0 = 2 .
;0r z=i
oSTAETSQ WYDELITX INTeGRALY PO OTREZKAM DEJSTWITELX-
NOJ OSI (POLAGAQ NA NIH z = x) I USTREMITX r I r1 K +1,
A r2 I r3 K 0, PRIMENQQ K INTEGRALAM PO POLUOKRUVNOSTQM
Cr I Cr1 PERWU@, A PO POLUOKRUVNOSTQM Cr;2 I Cr;3 WTORU@
IZ LEMM OB INTEGRALAH PO DUGAM OKRUVNOSTEJ (S. 247{248):
a)
Rr x2 dx = H z 2 dz R z 2 dz; ;! p
;r x +1
4
;r
z 4 +1
Cr
z 4 +1
r ! + 1 2
;1R;r2 1;
R r3 Rr1 x2 H z2 R z2
B) + +
;r1 ;1+r2 1+r3 x ;1
4 dx =
0 z ;1
4 dz ;z 4;1 dz +
;r Cr1
R z2 R z2
+ z4;1 dz + z4;1 dzr !+1 2 + ;!
Cr;2 Cr;3 r2 !0+0
1
r3 !0+0
z + res z 2 = .
2
+ i zres
=;i z ;1 z =i z 4 ;1
4 2
+R1 2 +R1 2
sLEDOWATELXNO, x4x+1 dx = p2 , A v.p. x4x;1 dx = 2 .
;1 ;1
wOT E]E PRIMERY WY^ISLENIQ NESOBSTWENNYH INTEGRA-
LOW SWEDENIEM IH K KONTURNYM I PRIMENENIEM LEMM OB IN-
TEGRALAH PO DUGAM OKRUVNOSTEJ (S. 247{249).
1 qWLQ@]IHSQ POL@SAMI 1-GO PORQDKA PODYNTEGRALXNOJ FUNKCII.
262
+R1
1. a cos bx dx, +R1x sin bx dx ( a I b | POLOVITELXNYE
0 x +a 0 x +a
2 2 2 2
+R1
x sin bx dx = 1 +R1x sin bx dx = 1 Im +R1 xeibx dx,
0 x +a 2 ;1 x2 +a2 2 ;1x2 +a2
2 2
;1x +a
2 2
r!+1 ;r x2 +a2 r!+1 z 2+a2
;r Cr
263
+R1
KAK SLEDSTWIE a cos bx dx = +R1x sin bx dx = e;ab .1
0 x +a 0 x +a 2
2 2 2 2
p NA DEJSTWITELXNOJ
PODRAZUMEWA@TSQ ZNA^ENIQ p OSI TOJ ODNO-
ZNA^NOJ WETWI w = z + i,1 DLQ KOTOROJ 0+ i = e i4 .
rIS. 95
rIS. 96
rIS. 97
rIS. 98
pRIMENQQ LEMMU 1 K INTEGRALAM PO DUGAM Cr0 1 Cr001 Cr0 2 Cr002 , A
1
LEMMU 2 | K INTEGRALAM PO DUGAM Cr0 3; Cr003; .
271
PRI \TOM SLAGAEMYE W SKOBKAH | \TO WY^ETY DWUH RAZ ;1
-
NYH ODNOZNA^NYH WETWEJ MNOGOZNA^NOJ FUNKCII w = z+b z
(S RAZNYMI ZNA^ENIQMI (;b);1 ). dLQ ODNOJ IZ \TIH ; WETWEJ ,
WYDELQEMOJ W OBLASTI C r L , W KOTOROJ arg z 2 ; 2 2 ,
0 3
res z ;1 = e(;1) ;ln j; bj + i arg(;b) = e(;1) ln jbj = jbj;1 ,
z = ; b z +b
DLQ DRUGOJ VE | W OBLASTI C r L00, GDE arg z 2 2 52 , |
;
rIS. 99
272
sU]ESTWENNO, ^TO DANNYJ KONTUR PRINADLEVIT ODNO-
SWQZNOJ OBLASTI | PLOSKOSTI S \RAZREZOM" OT TO^KI ;i
WNIZ PO MNIMOJ OSI : W \TOJ OBLASTI ; 2 < arg(z ; (;i)) < 32 ,
A SLEDOWATELXNO, LOGARIFM W ^ISLITELE PODYNTEGRALXNOJ
FUNKCII IMEET ODNOZNA^NU@ WETWX
ln(1 ; iz) def
= ln j1 ; izj + i arg(1 ; iz) =
= ln j1;izj + i arg (;i)(z +i) = ln j1;izj + i arg(z ;(;i)); 2 .
; ;
rIS. 100
;r 0 0 Cr
1iME@]IE PRILOVENIE W TEORII DIFRAKCII SWETA I NAZWANNYE W
^ESTX EE SOZDATELQ | FRANCUZSKOGO FIZIKA fRENELQ (Fresnel, Augustin
Jean, 1788 {1827).
2 eGO WY^ISLQ@T W KURSE DEJSTWITELXNOGO ANALIZA SWEDENIEM K NE-
SOBSTWENNOMU DWOJNOMU INTEGRALU.
3 iLI TEOREMY O WY^ETAH (XV, S. 233).
274
pRI POSLEDU@]EM PEREHODE W \TIH RAWENSTWAH K PREDE-
LURPRI2 r ! +1 NEBOLXAQ TRUDNOSTX SOSTOIT W TOM, ^TO
K eiz dz LEMMA 1 NAPRQMU@ NE PRIMENIMA: NE WYPOLNENO
Cr
USLOWIE 2) \TOJ LEMMY . ~TOBY OBOJTI \TU TRUDNOSTX, SLEDU-
2 0
iz iz2
ET ZAPISATX eiz = 2i z + 2eiz2 I, PREDSTAWIW INTEGRAL PO
2 1 e
DUGE Cr W WIDE SUMMY DWUH, PRIMENITX K PERWOMU FORMULU
nX@TONA { lEJBNICA (VIII , S. 133), A KO WTOROMU | UPOMQNU-
TU@ LEMMUR 2
:
;r2 eir2 R eiz2
e dz = 2i rei 4 ; r + 2iz2 dz r;!
iz 1 e
Cr Cr !+1 0.
+R1 +R1
wYWOD: eix2 dx = e;x2ei 4 dx , T. E.
0 0
+R1 +R1 +R1 ;
cos x2dx + i sin x2 dx = e;x2 cos 4 + i sin 4 dx,
0 0 0
+R1 +R1 p
A SLEDOWATELXNO, cos x2dx = sin x2 dx = 12 2 .
0 0
uPRAVNENIQ. 1 (K POSLEDNEMU PRIMERU). w KAKOJ ^ASTI PLOSKOSTI
C FUNKCIQ w = eiz2 QWLQETSQ OGRANI^ENNOJ ?
2 (K PRIMERU 8). pO^EMU WY^ISLITX zres ln(1;iz) (S. 272) MOVNO I PO
ln(1;iz) 0 =0 z 2 (1+z 2)
rIS. 101
0
w USLOWIQH TEOREMY FUNKCIQ w = ff ((zz)) QWLQETSQ ANALI-
TI^ESKOJ W OBLASTI D , ISKL@^AQ LIX a) NULI I B) POL@SY
FUNKCII w = f (z).
pUSTX z = a | NULX FUNKCII w = f (z) KRATNOSTI k
(XIII , S. 198), T. E. RAZLOVENIE tEJLORA \TOJ FUNKCII W OKREST-
NOSTI TO^KI a IMEET WID
f (z) = ck (z ; a)k + ck+1(z ; a)k+1 + (c ck 6= 0),
A TAK KAK
f 0(z) = kck (z ; a)k;1 + (k +1)ck+1(z ; a)k + ,
DLQ ^ASTNOGO 0
f (z) = kck +(k+1)ck+1 (z ;a)+
f (z) (z ;a)ck +ck+1 (z ;a)+ ]
z = a QWLQETSQ POL@SOM 1-GO PORQDKA S WY^ETOM
res f 0 (z) = lim kck +(k+1)ck+1 (z ;a)+ (z ; a) = k.
z=a f (z) z!a (z ;a)ck +ck+1 (z ;a)+ ]
pUSTX TEPERX z = b | POL@S FUNKCII w = f (z) PORQDKA
n (XIV, c. 218), T. E. RAZLOVENIE lORANA \TOJ FUNKCII W
OKRESTNOSTI TO^KI b IMEET WID
f (z) = (zc;;bn)n + (zc;;bn)+1n;1 + (c c;n 6= 0),
277
TAK ^TO
b)n+1 + (z ;b)n + ,
(;n+1) c;n+1
f 0(z) = (z;;nc n
rIS. 102
rIS. 103
rIS. 104
rIS. 105
rIS. 106
rIS. 107
rIS. 108
rIS. 109
1eSLI f 0 (z0) 6= 0, TO (W SILU NEPRERYWNOSTI PROIZWODNOJ ANALITI-
^ESKOJ FUNKCII) f 0 (z) 6= 0 W OKRESTNOSTI TO^KI z0 , ESLI VE f 0 (z0)=0,
TO (TAK KAK f (z) 6 0) z0 ESTX IZOLIROWANNYJ NULX FUNKCII w = f 0 (z).
290
dALEE, PUSTX Ce | KAKAQ-LIBO OKRUVNOSTX S CENTROM z0 ,
PRINADLEVA]AQ KRUGU K , a C | KONCENTRI^ESKAQ OKRUV-
NOSTX MENXEGO RADIUSA (RIS. 109), NA KOTOROJ (POSKOLXKU
f (z) ; w0 6= 0 W KRUGE K ) zinf
2Cjf (z) ; w0j = > 0.
kAKOWO BY NI BYLO ZNA^ENIE we c jwe ; w0 j <, WZQW W KA-
^ESTWE ODNOSWQZNOJ OBLASTI D I KONTURA ; SOOTWETSTWEN-
NO WNUTRENNOSTX OKRUVNOSTI Ce I OKRUVNOSTX C , K FUNK-
CIQM w = f (z);we I w = f (z);w0 MOVNO PRIMENITX TEOREMU
rUE 1 : TAK KAK NA OKRUVNOSTI C
j(f (z); we) ; (f (z);w0)j = jwe ;w0j < 6 jf (z); w0j,
WNUTRI \TOJ OKRUVNOSTI FUNKCIQ w = f (z);we IMEET STOLX-
KO VE NULEJ , SKOLXKO IH U FUNKCII w = f (z) ; w0, A IMENNO:
ROWNO ODIN , ESLI f 0(z0) 6= 0, TAK KAK EDINSTWENNYJ NULX
z0 FUNKCII w = f (z) ; w0 QWLQETSQ PROSTYM
ROWNO k , ESLI f 0(z0) = = f (k;1) (z0) = 0, a f (k) (z0) 6= 0,
TAK KAK EDINSTWENNYJ NULX z0 FUNKCII w = f (z) ; w0 W
\TOM SLU^AE IMEET KRATNOSTX k , A KAVDYJ NULX FUNKCII
w = f (z);we QWLQETSQ PROSTYM ( f 0(z) 6= 0 DLQ z 2 K z 6= z0 ).
w \KWIWALENTNOJ PEREFORMULIROWKE \TO OZNA^AET, ^TO
WNUTRI OKRUVNOSTI C FUNKCIQ w = f (z) PRINIMAET KAV-
DOE SWOE ZNA^ENIE ROWNO ODIN RAZ (QWLQETSQ ODNOLISTNOJ ),
ESLI f 0(z0) 6= 0, I ROWNO k RAZ (W k RAZLI^NYH TO^KAH WNUT-
RENNOSTI OKRUVNOSTI C ), ESLI f 0(z0) = = f (k;1) (z0) = 0,
a f (k) (z0) 6= 0. Q.E.D.
zAME^ANIE. pRIMER FUNKCII w = exp z (S exp0z 6= 0 W
PLOSKOSTI C ) POKAZYWAET, ^TO USLOWIE f 0(z) 6= 0 OBESPE^I-
WAET LIX LOKALXNU@ (NO NE GLOBALXNU@ ) ODNOLISTNOSTX
1 CLEDUET OTMETITX, ^TO FUNKCIQ w = f (z);we MOVET IMETX WNUTRI
OKRUVNOSTI Ce LIX KONE^NOE ^ISLO NULEJ : W PROTIWNOM SLU^AE \TI
NULI IMELI BY PREDELXNU@ TO^KU (WNUTRI ILI NA OKRUVNOSTI Ce ),
OKAZYWA@]U@SQ DLQ \TOJ FUNKCII NEIZOLIROWANNYM NULEM .
291
ANALITI^ESKOJ FUNKCII w = f (z) | NE NA WSEM MNOVESTWE ,
GDE \TO USLOWIE WYPOLNQETSQ, A TOLXKO W NEKOTOROJ OKREST-
NOSTI KAVDOJ EGO TO^KI. iMENNO, WWIDU 2i-PERIODI^NOSTI
FUNKCII w =exp z ONA NE QWLQETSQ ODNOLISTNOJ W PLOSKOS-
TI C (I POTOMU OBRATNOJ K NEJ QWLQETSQ \MNOGOZNA^NAQ
FUNKCIQ" z =Ln w ). w OKRESTNOSTI VE L@BOJ TO^KI z0 2 C
FUNKCIQ w =exp z ODNOLISTNA I POTOMU DLQ NEE W OKREST-
NOSTI TO^KI w0 = exp z0 SU]ESTWUET OBRATNAQ z = ln w |
ODNOZNA^NAQ WETWX MNOGOZNA^NOJ FUNKCII z =Ln w .
pRINCIP SOOTWETSTWIQ GRANIC. pUSTX ; | ZAMKNU-
TYJ I NE IME@]IJ SAMOPERESE^ENIJ KUSO^NO -GLADKIJ KON-
TUR, RASPOLOVENNYJ W ODNOSWQZNOJ OBLASTI D C , W KO-
TOROJ FUNKCIQ w = f (z) QWLQETSQ ANALITI^ESKOJ . tOGDA
ESLI \TA FUNKCIQ WZAIMNO - ODNOZNA^NO OTOBRAVAET KONTUR
; NA ZAMKNUTYJ I NE IME@]IJ SAMOPERESE^ENIJ KUSO^NO-
GLADKIJ KONTUR ;e c cOHRANENIEM NAPRAWLENIQ OBHODA 1, TO
ONA OTOBRAVAET | WZAIMNO-ODNOZNA^NO I KONFORMNO | WNUT-
RENNOSTX int; KONTURA ; NA WNUTRENNOSTX int ;e KONTURA ;e.
rIS. 110
rIS. 111
rIS. 112
rIS. 113
rIS. 114
rIS. 115
rIS. 116
1 nEPRERYWNOSTX \TOJ FUNKCII WPLOTX DO PROMEVUTKA L PONI-
MAETSQ W DANNOM SLU^AE KAK EE NEPRERYWNOSTX W TO^KAH z 2 L LIBO
IZ WERHNEJ , LIBO IZ NIVNEJ POLUPLOSKOSTI , cOOTWETSTWENNO WYBORU
DLQ WSEH TO^EK z 2 L ODNOGO IZ DWUH ZNA^ENIJ arg pz : LIBO 0, LIBO
(ZDESX WYBRANO ZNA^ENIE 0).
299
nAGLQDNO PREDSTAWITX \TU DWUHZNA^NU@ FUNKCI@ KAK ODNOZNA^NU@
POZWOLQET SLEDU@]AQ KONSTRUKCIQ. oBLASTX G = G PREDSTAWLQ@T KAK
WTOROJ \KZEMPLQR OBLASTI G, \SKLEENNYJ
p p" S PERWYM PO PROMEVUTKU L
(NA KOTOROM PREDELXNYE ZNA^ENIQ z I z SOWPADA@T RIS. 117, a).
kAVDAQ TO^KA z 2 G G OTME^AETSQ NA OBOIH \KZEMPLQRAH, ILI, KAK
GOWORQT, \pLISTAH", PRI^EM TO^KE z pNA PERWOM \LISTE" (z 2 G) OTWE^AET
ZNA^ENIE z (DLQ KOTOROGO 0p< arg z<),pA EE \DWOJNIKU" NA WTOROM
\LISTE" (z 2 G ) | ZNA^ENIE z (;< arg z< 0 RIS. 117, B ).
rIS. 117
p
pOSKOLXKU PREDELXNYE ZNA^ENIQ pz I z SOWPADA@T TAKVE I NA
PROTIWOPOLOVNYH STORONAH WERHNEGO I NIVNEGO \LISTOW" (IZOBRAVEN-
NYH \OTOGNUTYMI" SOOTWETSTWENNO WWERH I WNIZ NA RIS. 117, a), PRI-
MENENIE PRINCIPA NEPRERYWNOSTI PRIWODIT K \SKLEJKE" TAKVE I \TIH
STORON | RAZUMEETSQ, WOOBRAVAEMOJ (I TO S TRUDOM, POSKOLXKU NA RE-
ALXNOJ MODELI \TO SDELATX NEWOZMOVNO).
tAKIE KONSTRUKCII, \SKLEENNYE" IZ NESKOLXKIH (INOGDA BESKONE^-
NOGO ^ISLA) \LISTOW" | \KZEMPLQROW PLOSKOSTI C ILI EE ^ASTEJ1, |
1 ~ISLO \LISTOW", A TAKVE SPOSOB IH SOEDINENIQ (PUTEM \RAZREZA-
NIJ" I \SKLEIWANIJ") OPREDELQ@TSQ KONKRETNOJ MNOGOZNA^NOJ FUNK-
CIEJ w = F (z), PRI^EM EE ZNA^ENIQM NA OTDELXNYH \LISTAH" OTWE^A@T
RAZLI^NYE ODNOZNA^NYE WETWI w = f (z) \TOJ MNOGOZNA^NOJ FUNKCII .
300
POLU^ILI NAZWANIE RIMANOWYH POWERHNOSTEJ | PO IMENI IH IZOBRE-
TATELQ (IV, S. 59{61.) | I DALI IMPULXS RAZWITI@ KAK OTDELXNOJ MA-
TEMATI^ESKOJ NAUKI TOPOLOGII 1 (S EE RAZLI^NYMI SPECIALIZACIQMI),
TAK I NOWYH RAZDELOW ANALIZA, W ^ASTNOSTI TEORII FUNKCIJ NA RI-
MANOWYH POWERHNOSTQH . w RAMKAH VE MATEMATI^ESKOGO ANALIZA NA
KOMPLEKSNOJ PLOSKOSTI ROLX \TIH KONSTRUKCIJ NE STOLX WELIKA, TAK
KAK NA PERWYJ PLAN WYHODIT NE NAGLQDNOE IZOBRAVENIE MNOGOZNA^NOS-
TI FUNKCII , A PRAKTI^ESKOE WYDELENIE EE ODNOZNA^NYH WETWEJ .
pRIMEROM PRAKTI^ESKOGO PRIMENENIQ PRINCIPA SIMMET-
RII MOVET SLUVITX REENIE SLEDU@]EJ ZADA^I.
nAJTI ANALITI^ESKU@ FUNKCI@ w = f (z), WZAIMNO - OD-
NOZNA^NO I KONFORMNO OTOBRAVA@]U@ OBLASTX G | PLOS-
KOSTX C S \RAZREZAMI" PO POLOVITELXNOJ ^ASTI DEJSTWI-
TELXNOJ OSI I OTREZKAM BISSEKTRIS KOORDINATNYH UGLOW
MEVDU KORNQMI 4-J STEPENI IZ ;1 (RIS. 118, a) | NA WERH-
N@@ POLUPLOSKOSTX .
rIS. 118
rIS. 119
rIS. 120
304
tEPERX MOVNO DOKAZATX I ANALITI^NOSTX \TOJ FUNKCII
W OBLASTI f (G), T. E. SU]ESTWOWANIE U NEE PROIZWODNOJ W
L@BOJ TO^KE w0 2 f (G). tAK KAK z ! z0 () w ! w0 (WWIDU
NEPRERYWNOSTI FUNKCIJ w = f (z) I z = f ;1(w)), A f 0(z0) 6= 0
(W SILU PRINCIPA LOKALXNOJ ODNOLISTNOSTI),
; ;10
f (w0) def
=wlim f ;1(w);f ;1(w0) = lim z ;z0 =
!w0 w;w0 w!w0 f (z);f (z0)
= zlim z ;z0 = 1 .
!z0 );f (z0) f 0(z0)
f (z
kONFORMNOSTX OSU]ESTWLQEMYH FUNKCIQMI w = f (z) I
z = f ;1(w) OTOBRAVENIJ OBLASTEJ G I f (G) DRUG NA DRUGA
WYTEKAET IZ NEOBRA]ENIQ W NULX PROIZWODNYH OBEIH FUNK-
CIJ. Q.E.D.
pRIMER. tAK KAK CELAQ FUNKCIQ w =exp z QWLQETSQOD-
NOLISTNOJ W L@BOJ POLOSE z 2 C : < Im z < +2 1 I
arg f fe;1 0(0)=arg f (z0) =0 arg fe f ;1) 0(0)=arg f 0(z0) =0.
; ; 0 ; ; e0
fe0(z0) f (z0)
rIS. 121
w NA fe f ;1(w) PRIWO-
;
PRI \TOM ZAMENA W PERWOM; NERAWENSTWE
DIT K NERAWENSTWU jwj6jfe f ;1(w) j, KOTOROE W SO^ETANII SO WTO-
; I UTWERVDENIEM
RYM LEMMY {WARCA PRIWODIT K SOOTNOENI@
fe f ;1(w) ei w w 2 D (DLQ NEKOTOROGO
DEJSTWITELXNOGO ^IS-
0
LA ), A ESLI U^ESTX, ^TO arg fe(f ) (0)=0, TO fe f ;1(w) w W
;
; 1 ;
EDINSTWENNOJ .3
uPRAVNENIQ. 1. dOKAZATX, ^TO NI W KAKOJ OKRESTNOSTI SU]ESTWEN-
NO OSOBOJ TO^KI ANALITI^ESKAQ FUNKCIQ NE QWLQETSQ ODNOLISTNOJ :
2. dOKAZATX, ^TO ANALITI^ESKAQ FUNKCIQ QWLQETSQ ODNOLISTNOJ
W OKRESTNOSTI POL@SA TOGDA I TOLXKO TOGDA, KOGDA \TO POL@S 1-GO
PORQDKA .
3. wYWESTI IZ PREDYDU]IH UPRAVNENIJ, ^TO ESLI CELAQ FUNKCIQ
WZAIMNO - ODNOZNA^NO OTOBRAVAET PLOSKOSTX C NA PLOSKOSTX C , TO \TA
FUNKCIQ QWLQETSQ LINEJNOJ .
1 eE DOKAZATELXSTWA (TREBU@]IE PRIWLE^ENIQ SPECIALXNYH PONQ-
TIJ) IME@TSQ, NAPRIMER, U k. kARATEODORI 7] (WMESTE S ISTORI^ESKIM
O^ERKOM \TOJ TEOREMY), a. kARTANA 8] I a. i. mARKUEWI^A 12].
2 aNALITI^NOSTX FUNKCII W BESKONE^NOSTI (ESLI 12 G) PONIMA-
ETSQ KAK USTRANIMOSTX ee OSOBOJ TO^KI z = 1.
3 w PERWONA^ALXNOJ FORMULIROWKE rIMANA 15] (S. 83{84) \NORMIRO-
WO^NYMI USLOWIQMI" BYLI: PROIZWOLXNO WZQTAQ TO^KA z0 2 G PEREHO-
DIT W CENTR EDINI^NOGO KRUGA, A PROIZWOLXNO WZQTAQ TO^KA GRANICY
OBLASTI G | W L@BU@ ZADANNU@ TO^KU GRANICY \TOGO KRUGA.
309
XIX . ~TO TAKOE PREOBRAZOWANIE lAPLASA
I KAKOWY EGO SWOJSTWA
+R1
nESOBSTWENNYE INTEGRALY f (t) e;pt dt (S KOMPLEKSNYM
0
PARAMETROM p ) PRINQTO NAZYWATX INTEGRALAMI lAPLASA 1 .
kAVDYJ TAKOJ INTEGRAL (ESLI ON SHODITSQ HOTQ BY DLQ NE-
KOTORYH ZNA^ENIJ p 2 C ) ZADAET PREOBRAZOWANIE lAPLASA
+R1
f (t) 7! F (p) def
= f (t) e;pt dt,
0
FUNKCII = f (t) DEJSTWITELXNOJ PEREMENNOJ2 , NAZYWAEMOJ
W \TOM SLU^AE ORIGINALOM 3 , W FUNKCI@ KOMPLEKSNOJ PERE-
MENNOJ w = F (p) (oBOZNA^AEMU@ SOOTWETSTWU@]EJ ZAGLAW-
NOJ BUKWOJ 4 FUNKCI@ KOMPLEKSNOJ PEREMENNOJ, KOTORU@ NA-
ZYWA@T IZOBRAVENIEM (PO lAPLASU) DANNOGO ORIGINALA , S
ISPOLXZOWANIEM OBOZNA^ENIJ f (t) : F (p) I F (p) f (t).5
k FUNKCIQM - ORIGINALAM = f (t) OBY^NO PRED_QWLQ@T
SLEDU@]IJ NABOR TREBOWANIJ, NE QWLQ@]IHSQ STROGO OBQ-
ZATELXNYMI DLQ SU]ESTWOWANIQ IZOBRAVENIJ, NO PRIDA@-
]IH PREOBRAZOWANI@ lAPLASA UDOBNYE DLQ OBRA]ENIQ S NIM
SWOJSTWA:
1 hOTQ DO lAPLASA (Laplace, 1749{1827) IMI OPERIROWAL |JLER.
2 zNA^ENIQ \TOJ FUNKCII MOGUT BYTX KOMPLEKSNYMI .
3 iLI FUNKCIEJ - ORIGINALOM LAT. originalis | PERWONA^ALXNYJ .
4 kAK W KNIGE dV. kARSONA 24], GDE WPERWYE BYLO DANO SISTEMA-
TI^ESKOE OBOSNOWANIE \OPERACIONNOGO IS^ISLENIQ" | PREDLOVENNOGO
ANGLIJSKIM FIZIKOM hEWISAJDOM (Heaviside, Oliver, 1850 {1925) SPO-
SOBA OBRA]ENIQ DIFFERENCIALXNYH URAWNENIJ W ALGEBRAI^ESKIE (\The
process of algebraisation, or conversion from dierential to algebraic form"
36], p. iv) ZAMENOJ PROIZWODNOJ PO WREMENI (the time dierentiator) d=dt
ALGEBRAI^ESKIM SIMWOLOM p. pODROBNO O hEWISAJDE I EGO DEQTELXNOS-
TI MOVNO PRO^ITATX W @BILEJNOM IZDANII The Heaviside Centenary
Volume. London, 1950 (ESTX W rOSSIJSKOJ GOSUDARSTWENNOJ BIBLIOTEKE).
5 iME@T HOVDENIE I DRUGIE OBOZNA^ENIQ.
310
1 FUNKCIQ -ORIGINAL = f (t) OPREDELENA I QWLQETSQ NE-
PRERYWNOJ (A WMESTE S NEJ I EE PROIZWODNYE DO SPECIALXNO
OGOWARIWAEMOGO PORQDKA) NA WSEJ OSI ; 1 <t< +1 ZA WOZ-
MOVNYM ISKL@^ENIEM OTDELXNYH TO^EK (IH NA KAVDOM OT-
REZKE OSI MOVET BYTX LIX KONE^NOE ^ISLO), W KOTORYH ONA
(I EE PROIZWODNYE) IMEET (IME@T) KONE^NYE PREDELY (SLEWA
I SPRAWA )
2 f (t) = 0 PRI t < 0, A f (0) = lim f (t) (T. E. FUNKCIQ-
t!0+0
ORIGINAL QWLQETSQ NEPRERYWNOJ SPRAWA W TO^KE 0
f (t)
3 f (t)= O et (T. E. OTNOENIE et OSTAETSQ OGRANI^EN-
;
rIS. 122
311
pOKAZATELEM ROSTA FUNKCII-ORIGINALA = f (t) NAZY-
WA@T ^ISLO f =inf 2 R : f (t)= O e .
; t
rIS. 123
rIS. 124
313
tEOREMA ANALITI^NOSTI IZOBRAVENIQ. eSLI ORIGI-
NAL = f (t) IMEET POKAZATELX ROSTA f , TO IZOBRAVENIE PO
+R1
lAPLASU F (p) = f (t) e;ptdt \TOGO ORIGINALA QWLQETSQ ANA-
0
LITI^ESKOJ FUNKCIEJ W POLUPLOSKOSTI p 2 C : Re p>f 1
+R1
S PROIZWODNOJ F 0(p) = (;t) f (t) e;pt dt.
dOKAZATELXSTWO. dLQ FIKSIROWANNOGO p 2 C c Re p>f
0
0
+R1
= (;t)f (t) e;pt 1 + ;M2!pt + (;M3!pt) + dt =
2
0
+R1
= (;t) f (t) e;pt dt + MpJ (Mp),
0
+R1
GDE J (Mp) = t2 f (t) e;pt 2!1 + ;M3!pt + (;M4!pt) + dt.
2
0
dLQ DOKAZATELXSTWA SU]ESTWOWANIQ PROIZWODNOJ
F 0(p) = Mlim F (p +Mp) ; F (p) , RAWNOJ +R1(;t) f (t)e;pt dt,
p!0 Mp 0
DOSTATO^NO PO\TOMU USTANOWITX, ^TO INTEGRAL J (Mp) OSTAET-
SQ OGRANI^ENNYM PRI Mp ! 0. |TO WYTEKAET IZ SLEDU@]IH
OCENOK SOMNOVITELEJ EGO PODYNTEGRALXNOJ FUNKCII:
1 tEOREMA NE ISKL@^AET ANALITI^NOSTI IZOBRAVENIQ I WNE UKA-
ZANNOJ POLUPLOSKOSTI .
314
jf (t)j 6 he(f +)t t2 6 h1 et (S POSTOQNNYMI h> 0 I h1 > 0)
I
1 ;Mpt (;Mpt)2
+ 6 2!1 + j;M3!ptj + j;M4!ptj + 6
2
2! + 3! + 4!
A IMENNO,
jJ (Mp)j 6 +R01t2jf (t)jje;ptj 2!1 + ;M3!pt + (;M4!pt)2 + dt 6
+R1 +R1
6 h1 he(f +2) t e;Re ptet dt = h1he;t dt = h1h . Q.E.D.
0 0
pRIMERY. 1. fUNKCIQ = e!t (! | KOMPLEKSNOE ^ISLO)
QWLQETSQ
ORIGINALOM 1 c POKAZATELEM ROSTA Re ! (TAK KAK
e!t = eRe !t ). eSLI Re p > Re ! , TO
R +1 !t ;pt R b ;(p;!)t 1;e;(p;!)b = 1
0 e e dt =b! lim
+1 0 e dt = lim
b!+1 p;! p;!
POSKOLXKU e;(p;!)b = e;Re(p;!)bb!;!
;
+1
0 . wYWOD:
sin2 !t = 12 1 ; cos 2 !t : 12 p1 ; p2+4p !2 = p(p22+4
; !2
!2)
316
et cos t = 21 e(+i )t + e(;i )t :
;
: 12 p;1;i + p;1+i = (p;p;)2+2
et sin t = 1 e(+i )t ; e(;i )t :
;
2i
: 21i p;1;i ; p;1+i = (p;) +
2 2 .
dIFFERENCIROWANIE ORIGINALA. eSLI FUNKCIQ-ORI-
GINAL = f (t) IMEET PROIZWODNU@ , TOVE QWLQ@]U@SQ ORI-
GINALOM , I f (t) : F (p), TO f 0(t) : pF (p) ; f (0).
dOKAZATELXSTWO. pUSTX p | L@BOE KOMPLEKSNOE ^ISLO,
DEJSTWITELXNAQ ^ASTX KOTOROGO BOLXE POKAZATELQ ROSTA
f FUNKCII-ORIGINALA = f (t). tOGDA SOGLASNO FORMULE
INTEGRIROWANIQ PO ^ASTQM,
+R1 Rb 0
f 0(t) : f 0(t) e;ptdt = b!lim +1 0
f (t) e;ptdt =
0
=b!lim
f (t) e ;pt b ; (;p)Rb f (t) e;ptdt= ;f (0) + pF (p),
+1 t=00
;
ESLI U^ESTX, ^TO f (t)= O e(f +)t DLQ POLOVITELXNOGO ^IS-
Re p;f
LA
= 2 , A SLEDOWATELXNO,
f (b)e;pb = O e(f +)b e;Re pb = O e;b ;! 0. Q.E.D.
; ;
b!+1
dWUKRATNOE PRIMENENIE POLU^ENNOGO SOOTWETSTWIQ c ZA-
MENOJ W NEM f (t) NA f 0(t), a f 0(t) NA f 00(t) (ESLI I WTORAQ
PROIZWODNAQ ORIGINALA QWLQETSQ ORIGINALOM ) DAET:
f 00(t) : p pF (p) ; f (0) ; f 0(0) = p2F (p) ; pf (0) ; f 0(0).
;
rIS. 125
318
sWOJSTWO PODOBIQ eSLI f (t) : F (p), A a | POLOVI-
1 p
.
(p; 2 ) + 2
OBRAVENIJ SINUSA I KOSINUSA
p
(c. 315) POZWOLQET SDELATX WY-
WOD: FUNKCIQ w = p2;pp+1 SLUVIT p3
IZOBRAVENIEM FUNKCII -
t;
ORIGINALA = e 2 cos 2 t + p3 sin 2 t .
3 1
zAPAZDYWANIE ORIGINALA. eSLI f (t) : F (p),;Ap |
POLOVITELXNOE ^ISLO, TO f (t) : F (p), TO f (t; ) : e F (p)
(WKL@^ENI@ ORIGINALA S ZAPAZDYWANIEM SOOTWETSTWUET
UMNOVENIE IZOBRAVENIQ NA e;p )1.
1 wMESTO f (t ; ) INOGDA ISPOLXZU@T ZAPISX f (t).
319
rIS. 126
rIS. 127
k PRIMERU, PROSTEJIJ SPOSOB POLU^ITX IZOBRAVENIQ
FUNKCIJ - ORIGINALOW , PREDSTAWLENNYH NA RIS. 127, a, B , | ZA-
PISATX IH KAK a) f (t)= t ; t1 ; t2 + t3 I B) g(t)= t ; t1 ;11
I PRIMENITX SWOJSTWO ZAPAZDYWANIQ ORIGINALA:
320
rIS. 128
321
w ^ASTNOSTI, ESLI PREDSTAWLENNYE NA RIS. 127 ORIGINALY
f (t)= t ; t1 ; t2 + t3 I g(t)= t ; t1 ;11 S^ITATX PERIODI^ESKI
PRODOLVENNYMI (S PERIODAMI , SOOTWETSTWENNO, l =3 I l =1
RIS. 128), TO;pIH IZOBRAVENIQMI OKAVUTSQ, SOOTWETSTWENNO,
(1;e )(1;e;2p) ;p ;p
F (p) = (1;e;3p) p2 I G(p) = 1;(1e;e;;pe) p2p .
iZOBRAVENIE SWERTKI. eSLI f (t) : F (p), a g(t) : G(p),
Rt
TO F (p) G(p) f ( ) g(t; ) d , T. E. yMNOVENI@ IZOBRAVENIJ
0
OTWE^AET SWERTKA ORIGINALOW 1.
dOKAZATELXSTWO. pUSTX | NAIBOLXIJ IZ POKAZA-
TELEJ ROSTA FUNKCIJ - ORIGINALOW = f (t) I = g(t), I
PUSTX p | L@BOE KOMPLEKSNOE ^ISLO c Re p > . ;pOSKOLX -
Re p ;
KU
= ; 2 > 0, WYPOLNQ@TSQ OCENKI f (t) = O e ( +)t
I
g(t) = O e (+ )t , T. E. NERAWENSTWA
jf (t)j 6 h1e(+)t I jg(t)j 6 h2 e(+)t t 2 0 +1),
GDE h1 I h2 | NEKOTORYE POLOVITELXNYE POSTOQNNYE.
dLQ L@BOGO POLOVITELXNOGO ^ISLA b PUSTX P | PARAL-
LELOGRAMM W PLOSKOSTI R 2 PEREMENNYH t I , ZADAWAEMYJ
SOOTNOENIQMI = 0 = b = t = t ; b I RAZDELQEMYJ
DIAGONALX@ (t = b) NA TREUGOLXNIKI T1 I T2 (RIS. 129).
RR pEREHOD OT DWOJNOGO INTEGRALA (PO PARALLELOGRAMMU)
f ( ) g(t ; ) e;pt dtd K POWTORNYM WKUPE SO SWOJSTWOM
P
ADDITIWNOSTI DWOJNOGO INTEGRALA DAET, S ODNOJ STORONY,
wOOB]E SWERTKOJ FUNKCIJ = f (t) I = g(t) NA ^ISLOWOJ OSI
1
NAZYWA@T FUNKCI@ , OBOZNA^AEMU@ SIMWOLOM f g I OPREDELQEMU@ SO-
+R1
OTNOENIEM (f g)(t) def
= f ( )g(t ; ) d ;1 < t < +1, KOTOROE DLQ
;1
FUNKCIJ-ORIGINALOW PRINIMAET UKAZANNYJ WYE WID. CWERTKA OBLA-
DAET SWOJSTWOM PERESTANOWO^NOSTI : f g = g f , ^TO PROWERQETSQ ZA-
MENOJ NA u = t ; .
322
rIS. 129
RR Rb R+b
f ( ) g(t ; ) e;ptdtd = f ( ) g(t ; ) e;pt dt d t;= =u
P 0
Rb Rb
= f ( ) e;p d g(u) e;pudu b!;!
+1
F (p) G(p),
0 0
ARRS DRUGOJ |
f ( ) g(t ; ) e;ptdtd =
P
Rb Rt RR
f ( ) g(t ; ) d e;ptdt + f ( ) g(t ; ) e;pt dtd
=
0 0 T2
SO SLEDU@]EJ OCENKOJ DWOJNOGO INTEGRALA PO TREUGOLXNIKU
T 2 :
RR RR
f ( ) g (t ; ) e ; pt dtd 6
f ( ) g (t ; )e;ptdtd 6
T2 RR T2
6 h1e(+) h2 e(+)(t;) e;Re ptdtd =
RR T2
= h1 h2 e(+;Re p)t dtd < b2 h1h2 e;b b!;!
2
+1
0.
T2
sOPOSTAWLENIE \TIH SOOTNOENIJ DAET:
323
Rt +R1Rt
f ( ) g(t ; ) d : f ( ) g(t ; ) d e;ptdt =
0 0 0
RbRt
f ( ) g(t ; ) d e;ptdt = F (p) G(p). Q.E.D.
= b!lim
+10 0
pRIMERY PRIMENENIQ:
Rt
ESLI f (t) : F (p), TO f ( ) d = (f 1)(t) : F p(p) (SWOJSTWO
0
INTEGRIROWANIQ ORIGINALA )
1 Rt sin sin(t ; ) d = 1 Rtcos(2 ; t) ; cos t d =
(p +1)2 0
2 20
= 12 sin t ; t cos t .
;
= 21 dt f (t) e;(t;t0) e;i(t;t0) d = 1 f (t) e;(t;t0) sintr;(tt;0 t0) dt.
+R1 Rr +R1
0 ;r 0
wZQW SKOLX UGODNO MALOE ^ISLO "> 0, POSLEDNIJ INTEGRAL SLEDUET
RAZBITX NA TRI: J1 | OT 0 DO t0 ; ", J2 | OT t0 ; " DO t0 + " I J3
| OT t0 + " DO +1, A ZATEM K INTEGRALAM J1 I J3 PRIMENITX IZWEST-
NU@ IZ KURSA DEJSTWITELXNOGO ANALIZA (NAPRIMER, 17], n 682) LEMMU
Rb
rIMANA, UTWERVDA@]U@, ^TO ESLI INTEGRAL g(t) dt SU]ESTWUET (KAK
a
SOBSTWENNYJ ILI KAK NESOBSTWENNYJ , NO ABSOL@TNO SHODQ]IJSQ ), TO
Rb
g(t) sin rtdt r!;!
+1
0.
a
pRIMENENIE \TOJ LEMMY DAET:
t0R;" ;(t;t )
J1 = 1 f (t) et;t0 0 sin r(t;t0) dt r!;!
+1
;!
0 I (TO^NO TAK VE) J3 r! +1
0.
0
~TO KASAETSQ INTEGRALA J2 , TO EGO, W SWO@ O^EREDX, SLEDUET ZAPI-
SATX W WIDE
1nAPRIMER, NA OSNOWANII TEOREMY O PEREHODE OT DWOJNOGO INTEG-
RALA (PO PRQMOUGOLXNIKU ) K POWTORNYM .
326
1 t0R+" f (t) e;(t;t0) ;f (t0) sin r(t ; t ) dt + 1 t0R+" f (t0) sin r (t ; t ) dt
t0;" t;t0 0 t0;" t;t0 0
+1
f (t0).
0
oB_EDINENIE POLU^ENNYH PREDELXNYH SOOTNOENIJ DLQ INTEGRA-
LOW J1 J2 J3 DAET OKON^ATELXNO:
1 +Ri1 1 R+ir F (p) ept0 dp =
2i v.p. F (p) ept0 dp def
= r!lim
+1 i
2
;i1 ;ir
f (t) e;(t;t0) sin r(t;t0) dt =
+R1
= r!lim 1
+1 0
t;t0
;
= r!lim
+1
J1 + J2 + J3 = f (t0). Q.E.D.
dLQ PRAKTI^ESKOGO WOSSTANOWLENIQ ORIGINALA PO EGO IZ-
OBRAVENI@ TEOREMU OBRA]ENIQ PREOBRAZOWANIQ lAPLASA PRI-
MENQ@T SRAWNITELXNO REDKO (XVI , c. 266, PRIMER 5). ~A-
]E S \TOJ CELX@ ISPOLXZU@T2 SLEDU@]IE WYWODIMYE IZ NEE
UTWERVDENIQ.
1 iMENNO ZDESX ISPOLXZUETSQ SU]ESTWOWANIE PROIZWODNOJ (ILI HO-
TQ BY ODNOSTORONNIH PROIZWODNYH ) U FUNKCII - ORIGINALA W TO^KE t0 :
PODYNTEGRALXNAQ FUNKCIQ W f (t) e t;t00 ;f (t0) dt IMEET W \TOM SLU-
t0R+" ;(t;t )
t0;"
^AE W TO^KE t0 USTRANIMYJ RAZRYW (ILI VE RAZRYW 1-GO RODA ), ^TO
OBESPE^IWAET SU]ESTWOWANIE DANNOGO INTEGRALA.
2 hOTQ, RAZUMEETSQ, NE TAK ^ASTO, KAK RAZNOJ STEPENI PODROBNOSTI
SPRAWO^NYE TABLICY \ORIGINAL"{\IZOBRAVENIE" I (W PROSTYH SLU^A-
QH) IZLOVENNYE WYE SWOJSTWA PREOBRAZOWANIQ lAPLASA.
327
tEOREMY RAZLOVENIQ 1 . 1. eSLI ORIGINAL = f (t)
IMEET SWOIM IZOBRAVENIEM (PO lAPLASU ) FUNKCI@, ANALI-
TI^ESKU@ W OKRESTNOSTI BESKONE^NOSTI , S RAZLOVENIEM
+P1 k 1 ak tk
+P
lORANA F (p) = pak+1 , TO f (t) = , t> 0.
k=0 k=0 k!
2. eSLI ORIGINAL = f (t) IMEET SWOIM IZOBRAVENIEM
(PO lAPLASU ) RACIONALXNU@ FUNKCI@ S POL@SAMI p1 : : : pm,
m ;
TO f (t) = P pres F (p) ept t> 0.
j =1 =pj
dOKAZATELXSTWA. B USLOWIQH OBOIH UTWERVDENIJ SU]EST-
WUET POLOVITELXNOE ^ISLO S TEM SWOJSTWOM, ^TO DLQ WSEH
DOSTATO^NO BOLXIH ZNA^ENIJ r> 0 ZAMKNUTYJ KONTUR ;r ,
SOSTOQ]IJ IZ OTREZKA PRQMOJ p 2 C : Re p = OT TO^KI
rIS. 130
1 \Expansion Theorem" | TAK NAZYWAL hEWISAJD SFORMULIROWANNYJ
IM WARIANT WTOROJ IZ \TIH TEOREM (36], p. 126{131).
328
w SOOTWETSTWII S \KWIWALENTNYMI OPREDELENIQMI WY^E-
TA W BESKONE^NOSTI (XV, c. 229, 231) I TEOREMOJ O WY^ETAH
(XV, c. 233) W USLOWIQH PERWOGO UTWERVDENIQ
1 H F (p) eptdp = ; res ;F (p) ept =
2i p=1
;r
a a1 + a2 + 1+ pt + (pt)2 + =
= ;pres
=1 p
0
+ p2 p3 1! 2!
= a0 + a1!1t + a2!2 t + 1 ,
2
A W USLOWIQH WTOROGO
H
|
m
1 F (p) e pt dp = P res ;F (p) ept.
2i p=pj
j =1
;r
s DRUGOJ STORONY,
1 H F (p) ept dp = 1 R+irF (p) ept dp + 1 R F (p)ept dp,
2i 2i;ir 2i
;r Cr
p ;
PRI \TOM WWEDENIE PEREMENNOJ zR= i PREOBRAZUET WTOROE
t
SLAGAEMOE W PRAWOJ ^ASTI W 2ei F (+iz) eitz dz | INTEGRAL
Cr
PO IZOBRAVENNOJ NA RIS. 96, B (XVI , S. 266) POLUOKRUVNOSTI
Cr , K KOTOROMU PRI L@BOM t> 0 PRIMENIMA LEMMA vORDANA
(XVI , c. 248{249) S = t I f (z)= F ( + iz)2 :
lim 1 R F (p) eptdp = lim et R F ( + iz) eitz dz = 0,
r!+1 2i r!+1 2i
Cr Cr
1 wZQTYJ SO ZNAKOM \MINUS" KO\FFICIENT PRI p;1 W PROIZWEDENII
STOQ]IH W SKOBKAH ABSOL@TNO SHODQ]IHSQ RQDOW.
2 wYPOLNENIE USLOWIQ f (z) ;! 0 W SLU^AE PERWOGO UTWERVDENIQ
z!1
+1
WYTEKAET IZ PREDSTAWLENIQ F (p) = P pak+1
k , A W SLU^AE WTOROGO |
k=0
IZ TOGO, ^TO F (p) ESTX PRAWILXNAQ RACIONALXNAQ DROBX , POSKOLXKU
F (p) Re ;!
p!+1
0 (S. 311).
329
A SLEDOWATELXNO (S U^ETOM TEOREMY OBRA]ENIQ PREOBRAZO-
WANIQ lAPLASA) DLQ WSEH TO^EK t > 0, W KOTORYH FUNKCIQ -
ORIGINAL IMEET PROIZWODNU@ f 0(t)1,
f (t) = r!lim 1 R+irF (p) ept dp = lim 1 H F (p) ept dp,
+1 2i;ir r!+1 2i
;r
+P1 ak tk
A POTOMU f (t) = k! W USLOWIQH PERWOGO UTWERVDENIQ I
k=0
m
P ;
f (t) = res W USLOWIQH WTOROGO . Q.E.D.
F (p) ept
j =1 p=pj
zAME^ANIE. eSLI ZARANEE NE IZWESTNO , ^TO DANNAQ FUNK-
CIQ w = F (p) DEJSTWITELXNO SLUVIT IZOBRAVENIEM NEKOTO-
ROGO ORIGINALA , TO NAJDENNU@ PO PRIWEDENNYM FORMULAM
FUNKCI@ = f (t) SLEDUET RASSMATRIWATX LIX KAK \PRED-
POLAGAEMYJ" ORIGINAL, TREBU@]IJ PROWERKI, ^TO W SAMOM
+R1
DELE f (t) : F (p), T. E. f (t) e;ptdt = F (p).
0
pREDLAGAEMYE INOGDA DOSTATO^NYE PRIZNAKI TOGO, ^TO TA ILI
INAQ FUNKCIQ w = F (p) SLUVIT IZOBRAVENIEM PO lAPLASU NEKOTOROJ
FUNKCII = f (t), QWLQ@TSQ TIPI^NYMI PRIMERAMI \DISSERTACION-
NYH" TEOREM - PUSTOCWETOW, BESPOLEZNYH W PLANE IH KONKRETNOGO PRI-
MENENIQ. sUDITX OB \TOM MOVNO PO IH FORMULIROWKAM (NAPRIMER, W
11], S. 404, TEOREMA 4):
eSLI FUNKCIQ F (p) ANALITI^NA W POLUPLOSKOSTI Re p > s0 , STRE-
MITSQ K NUL@ PRI jpj!1 W L@BOJ POLUPLOSKOSTI Re p > a>s0 RAWNO-
a+Ri1
MERNO OTNOSITELXNO arg p I INTEGRAL F (p) dp ABSOL@TNO SHODIT-
a;i1
a+Ri1
SQ, TO F (p) QWLQETSQ IZOBRAVENIEM FUNKCII f (t) = 21i eptF (p) dp.
a;i1
1
pRIMER. iZ RAZLOVENIQ DROBI (p2+1) 3 W RQD lORANA
I
x(t) = t 21! sin !t PRI = ! (REZONANSNYJ SLU^AJ).
333
8
<x_ = y
> ;z
rEITX SISTEMU URAWNENIJ >y_ = x + y S NA^ALXNYMI
2.
:
z_ = x + z
USLOWIQMI x(0)=1 y(0)=2 z(0)=3.
<pX ; 1= Y ; Z
8
>
pEREHOD K IZOBRAVENIQM DAET SISTEMU >pY ; 2= X + Y ,
:
pZ ; 3= X + Z
REAQ KOTORU@ (NAPRIMER, PO PRAWILU kRAMERA), MOVNO PO-
LU^ITX OTWET W IZOBRAVENIQH :
X = p (pp;;21) , Y = 2pp(p;;p1);22 , Z = 3pp(p;;21)p ;2 2
2 2
I OKON^ATELXNO x(t)= 12 sint t ; cos t .
5. rEITX INTEGRALXNOE URAWNENIE wOLXTERRY1 (TIPA
Rt
SWERTKI)2 x(t) = t + sin(t ; u) x(u) du.
0
pOLAGAQ x(t) : X (p) I WSPOMINAQ IZOBRAVENIE SWERTKI 2 ,
URAWNENIE MOVNO ZAPISATX W IZOBRAVENIQH :
X (p)= p12 + p21+1 X (p)
REENIE EGO I WOZWRA]ENIE K ORIGINALU DA@T:
1
p2 = p12 + p14 , A SLEDOWATELXNO, x(t) = t + t6 .
3
X (p) = 1; p21+1
1 wOLXTERRA (Volterra, Vito, 1860 {1940) | ITALXQNSKIJ MATEMATIK.
2 XIX, S. 321.
335
rIS. 131
rIS. 132
rIS. 133
1
WSEGO PUTEM RAZLOVENIQ DROBI e2 p;ep;1 NA PROSTYE:
e2 p ;ep;1 = (ep ;q1)(ep ;q2) = q1 ;q2 ep;q1 ; ep ;q2 ,
1 1 1 1 1
A SLEDOWATELXNO, p
ep = 1 ep ; ep , GDE q = 1 5 .
e2 p ;ep;1 q1 ;q2 ep;q1 ep ;q2 12 2
D
pOSKOLXKU fqng : epe;q , SLEDUET OKON^ATELXNYJ OTWET:
p
p n p n
xn = p15 1+2 5 ; 1;2 5 , n = 1 2 : : : |
TAK NAZYWAEMAQ FORMULA bIN
E 1 ^ISEL fIBONA^^I .
kAK SLEDSTWIE, DLQ ^ISEL fIBONA^^I WYPOLNQETSQ (W PREDELE p PRI
x
n ! +1) \BOVESTWENNAQ (ZOLOTAQ ) PROPORCIQ" 2 : xnn+1 n;! 5;1
!+1 2 .
uPRAVNENIQ. 1. nAJTI DISKRETNOE PREOBRAZOWANIE lAPLASA POSLE-
D ep
DOWATELXNOSTI fng = 0 1 2 3 : : : oTWET: fng : (ep ;1)2 .
2. nAJTI FORMULU OB]EGO \LEMENTA POSLEDOWATELXNOSTI fxng, OPRE-
xn +xn+1 (PRI PROIZWOLXNYH x I x ).
DELQEMOJ SOOTNOENIEM xn+2 = 2 0 1
x 0 +2x1 n x0 ;x1
oTWET: xn = 3 +(;1) 32n;1 .
1Binet, Jacques (1786{1856) | FRANCUZSKIJ ASTRONOM I MATEMATIK.
2mENXAQ ^ASTX TAK OTNOSITSQ K BOLXEJ, KAK BOLXAQ K CELOMU.
bOVESTWENNOJ NAZWAL \TU PROPORCI@ ITALXQNSKIJ MATEMATIK pA^OLI
(Pacioli, Luca, 1445{1515) W KNIGE 41], WPERWYE WYEDEJ W 1509 G. S
ILL@STRACIQMI PRIQTELQ pA^OLI | lEONARDO DA wIN^I (1452{1519).
346
pRILOVENIE. bUKWY DREWNEGRE^ESKOGO PISXMA
nAPISANIE nAZWANIE pEREDAWAEMYJ ZWUK
A ALXFA a]
B BETA B]
; GAMMA G]
%
DELXTA D]
E " \ PSILON e] (KRATKOE)
Z DZETA DZ]
H \TA e] (DOLGOE)
& TETA T] (S PRIDYHANIEM)
I IOTA I]
K KAPPA K]
' LAMBDA L]
M M@ (MI) M]
N N@ (NI) N]
(
KSI KS]
O o o MIKRON o] (KRATKOE)
) PI P]
P RO R]
* & (W KONCE SLOWA) SIGMA c]
T TAU T]
+ I PSILON MEVDU I] I U]
' FI F]
X HI x]
, PSI PS]
- ! O MEGA o] (DOLGOE)
("
& | BOLXOJ, o& | MALYJ, o& | GOLYJ, KRATKIJ)
347
sPISOK CITIROWANNOJ LITERATURY1
1. bREMERMAN g. rASPREDELENIQ, KOMPLEKSNYE PEREMENNYE I
PREOBRAZOWANIQ fURXE. m.: mIR, 1968.
2. gARDI g. iNTEGRIROWANIE \LEMENTARNYH FUNKCIJ. m.{ l.:
onti, 1935.2
3. gILXBERT d., kON-fOSSEN s. nAGLQDNAQ GEOMETRIQ. M.: nAUKA,
1981.
4. gURWIC a. tEORIQ ANALITI^ESKIH I \LLIPTI^ESKIH FUNKCIJ.
m.{ l.: gtti, 1933.2
5. gURSA |. kURS MATEMATI^ESKOGO ANALIZA. t. II. m.{ l.: onti,
1936.2
6. dE^ g. rUKOWODSTWO K PRAKTI^ESKOMU PRIMENENI@ PREOBRA-
ZOWANIQ lAPLASA. m.: nAUKA, 1965.
7. kARATEODORI k. kONFORMNOE OTOBRAVENIE. m.{ l.: onti,
1934.2
8. kARTAN a. |LEMENTARNAQ TEORIQ FUNKCIJ ODNOGO I NESKOLX-
KIH KOMPLEKSNYH PEREMENNYH. m.: il., 1963.
9. kOLXMAN |. bERNARD bOLXCANO. m.: iZD-WO an sssr, 1955.
10. kURANT r. gEOMETRI^ESKAQ TEORIQ FUNKCIJ KOMPLEKSNOJ PE-
REMENNOJ. m.{ l.: onti, 1934.
11. lAWRENTXEW m. a., {ABAT b. w. mETODY TEORII FUNKCIJ
KOMPLEKSNOGO PEREMENNOGO. m.{ l.: gittl, 1951.
12. mARKUEWI^ a. i. tEORIQ ANALITI^ESKIH FUNKCIJ. m.{ l.:
gittl, 1950.
13. mATWIEWSKAQ g. p. o^ERKI ISTORII TRIGONOMETRII. tA-
KENT: \fan", 1990.2
14. oKUNEW l. q. wYSAQ ALGEBRA. m.{ l.: gittl, 1949.
1 pOMIMO PRIWEDENNOJ W TEKSTE. dLQ SRAWNITELXNO REDKIH I ZARU-
BEVNYH IZDANIJ UKAZANO, GDE IH MOVNO NAJTI.
2 iMEETSQ W rOSIJSKOJ GOSUDARSTWENNOJ BIBLIOTEKE.
348
15. rIMAN b. sO^INENIQ. m.{ l.: gittl, 1948.
16. tIT^MAR e. tEORIQ FUNKCIJ. m.{ l.: gittl, 1951.
17. fIHTENGOLXC g.m. kURS DIFFERENCIALXNOGO I INTEGRALXNO-
GO IS^ISLENIQ. t. III. m.: nAUKA, 1966.
18. fORD l. r. aWTOMORFNYE FUNKCII. m.{ l.: onti, 1936.1
19. |JLER l. wWEDENIE W ANALIZ BESKONE^NO MALYH. t. 1. m.{ l.:
onti, 1936.
20. |JLER l. tRI STATXI PO MATEMATI^ESKOJ KARTOGRAFII. m.:
gEODEZIZDAT, 1959.1
21. Argand R. Essai sur une maniere de representer les quantites
imaginaires dans les constructions geometriques. 2-me edition.
Paris, 1874.1
22. Borel E. Lecons sur les fonctions monogenes uniformes d'une
variable complexe. Paris, 1917.1
23. Briot et Bouquet. Theorie des fonctions elliptiques. 2-me edition.
Paris, 1875.1
24. Carson J.R. Electric circuit theory and the operational calculus.
New York{London, 1926.1
25. Casorati F. Teorica delle funzioni di variabili complesse. V. I.
Pavia, 1868.1 ,2
26. Cauchy A.-L. Cours d'Analyse de l'E cole Royale Polytechnique.
Paris, 1821.2
27. Cauchy A.-L. Memoire sur les integrales de!nies. Paris, 1825.1
28. Cauchy A.-L. "uvres completes. Ser. I { II. Paris, 1887{1974.1 ,2
29. da Cunha J.-A. Principes mathematiques. Bordeaux, 1811.1
30. Descartes R. La geometrie (nouvelle edition). Paris, 1927.2
31. Euler L. Opera omnia, series prima. V. VI. Lipsiae et Berolini,
1921.1
1 iMEETSQ W rOSSIJSKOJ GOSUDARSTWENNOJ BIBLIOTEKE.
2 iMEETSQ W BIBLIOTEKE MEH.- MAT. F -TA mgu.
349
32. Euler L. Opera omnia, series prima. V. XIX. Turici, 1932.1
33. Gauss C. F. Werke. Gottingen, 1863{1933.2
34. Gies J., Gies F. Leonard of Pisa and the new mathematics of
the middle ages. New York, 1969.1
35. Hamilton W.R. Lectures on quaternions. London{Cambridge,
1853.2
36. Heaviside O. Electromagnetic theory. V. II. London, 1899.1
37. Lagrange. Theorie des fonctions analytiques. Paris, 1813.1 ,2
38. Maclaurin C. A treatise of #uxions. Edinburgh, 1742.2
39. Neumann C. Vorlesungen uber Riemann's Theorie der abel-
schen Integrale. Leipzig, 1865.1
40. Ore O. Cardano the gambling scholar. Prinston, N.-J., 1953.1
41. Pacioli L. De divina proportione. Milano, 1956.1
42. Scott J.F. The mathematical work of John Wallis. New York,
1981.1
43. Weierstrass K. Mathematische Werke. Berlin, 1894{1927.2
44. Wessel C. On the Analytical Representation of Direction. An
Attempt Applied Chie#y to Solving Plane and Spherical Poly-
gons. Copenhagen, 1999.2
pREDMETNYJ UKAZATELX
aBELQ TEOREMA 41 gOLOMORFNOSTX 106
aLGEBRAI^ESKAQ FUNKCIQ 52{53 gRANICA OBLASTI 149
aNALITI^ESKAQ FUNKCIQ 105 dELENIE STEPENNYH RQDOW 39
aNALITI^ESKOE PRODOLVENIE 202 dELXTA - FUNKCIQ (dIRAKA) 344
aNALITI^NOSTX 106 dISKRETNOE PREOBRAZOWANIE lA-
aRGUMENT KOMPLEKSNOGO ^ISLA 15 PLASA 343
bERNULLI ^ISLA 192 dIFFERENCIROWANIE IZOBRAVENIQ
bESKONE^NO UDALENNAQ TO^KA 317
(BESKONE^NOSTX) 22 ; ORIGINALA 316
bINE FORMULA 345 dIFFERENCIRUEMOSTX FUNKCII 72
\bOVESTWENNAQ PROPORCIQ" 345 dROBNO -LINEJNAQ FUNKCIQ, OTO-
wEJERTRASSA TEOREMA O POSLE- BRAVENIE 89
DOWATELXNOSTQH ANALITI^ES- vORDANA LEMMA 248{249
KIH FUNKCIJ 174 ; SWOJSTWO 144
; (kAZORATI { sOHOCKOGO) TEORE- vUKOWSKOGO FUNKCIQ 100
MA 220 zAPAZDYWANIE ORIGINALA 318
wERHNIJ PREDEL 27 \zOLOTAQ PROPORCIQ" 345
wETWLENIE 69 iZOBRAVENIE (PO lAPLASU) 309
wETWLENIQ TO^KA 62 ; PERIODI^ESKOGO ORIGINALA 320
wETWX (ODNOZNA^NAQ) 61 ; SWERTKI 321
wOSSTANOWLENIE ANALITI^ESKOJ iZOLIROWANNAQ OSOBAQ TO^KA 212
FUNKCII PO EE DEJSTWITELX- iNDEKS ZAMKNUTOGO KONTURA 138
NOJ (MNIMOJ) ^ASTI 113{115 iNTEGRAL WDOLX PUTI (KLASSA C 1 )
wY^ET 229 127
gAMMA-FUNKCIQ 315 ; (TIPA) kOI 166{167
gARMONI^ESKAQ FUNKCIQ 115 ; PO KUSO^NO -GLADKOMU KONTURU
gIDROMEHANI^ESKIJ SMYSL PROIZ- 127
WODNOJ 83 ; lAPLASA 309
gIPERBOLI^ESKIE KOSINUS I SINUS ; |JLERA 2-GO RODA 315
38 iNTEGRALA OCENKA 133
gLAWNOE ZNA^ENIE INTEGRALA 251 iNTEGRALY fRENELQ 273
gLADKAQ DUGA 117 iNTEGRALXNAQ FORMULA kOI 165
; ; ORIENTIROWANNAQ 121 kAZORATI { sOHOCKOGO { wEJER-
gLADKOE SOEDINENIE DUG 120{121 TRASSA TEOREMA 220
351
kARDANO FORMULA 12 PARAMETRU 169
kARTA mERKATORA 48 ; O SU]ESTWOWANII PERWOOBRAZ-
kOLXCO SHODIMOSTI (OBOB]ENNOGO NOJ 159{160
STEPENNOGO RQDA) 29 ; OB INTEGRALAH PO ZAMKNUTYM
kOMPLEKSNAQ PLOSKOSTX 5 LOMANYM 157
; ; KONE^NAQ, RASIRENNAQ 22 ; OB INTEGRALE PO TREUGOLXNIKU
kOMPLEKSNYE ^ISLA 8, 10 154
kOMPLEKSNYJ POTENCIAL 85 ; {WARCA 306
kONTUR (KUSO^NO -GLADKIJ, GLAD- lEMMY OB INTEGRALAH PO DUGAM
KIJ, ZAMKNUTYJ) 121 OKRUVNOSTEJ 247{249
kONFORMNOSTX OTOBRAVENIQ 81 lIUWILLQ TEOREMA 176, 197, 225
kORENX IZ KOMPLEKSNOGO ^ISLA 6, lOGARIFM 43
kOI INTEGRAL 166 lOMANAQ (ORIENTIROWANNAQ) 123
; TEOREMA 151 lORANA RAZLOVENIE, RQD 187
; INTEGRALXNAQ FORMULA ; TEOREMA 183
; NERAWENSTWA DLQ KO\FFICI- mAKLORENA RAZLOVENIE, RQD 187
ENTOW tEJLORA I lORANA 194 mERKATORA PROEKCIQ, KARTA 48
; FORMULA DLQ PROIZWODNYH 172 mNIMAQ ^ASTX ^ISLA 14
kOI { aDAMARA TEOREMA 27 mNIMYE ^ISLA 13
kO\FFICIENT LOKALXNOGO RASTQ- mNOGOZNA^NAQ FUNKCIQ 45, 59
VENIQ 82 ; PERWOOBRAZNAQ 135
kRATNOSTX (PORQDOK) NULQ 198 mNOVESTWO ZAMKNUTOE 126
kRITERIJ kOI SHODIMOSTI ^IS- ; LINEJNO SWQZNOE 109
LOWOJ SLEDOWATELXNOSTI 18 ; OTKRYTOE 107
; ; ; ^ISLOWOGO RQDA 25{26 ; SWQZNOE
; SU]ESTWOWANIQ PROIZWODNOJ 73 ; SHODIMOSTI RQDA 26
kRUG SHODIMOSTI (STEPENNOGO RQ- ; TO^EK KONTURA 126
DA) 28 mODULX KOMPLEKSNOGO ^ISLA 15
\kRUGOWOE" SWOJSTWO DROBNO -LI- mONOGENNOSTX 106
NEJNYH OTOBRAVENIJ 92 mORERY TEOREMA 173
kUSO^NO -GLADKIJ KONTUR 121 mUAWRA FORMULA 15{16
; ; BEZ SAMOPERESE^ENIJ 123 nEIZOLIROWANNAQ OSOBAQ TO^KA 212
; ; ZAMKNUTYJ 121 nEKASATELXNOE STREMLENIE K EDI-
lAPLASA INTEGRAL 309 NI^NOJ OKRUVNOSTI 41
; PREOBRAZOWANIE 309 nEPODWIVNAQ TO^KA DROBNO -LI-
; ; DISKRETNOE 343 NEJNOGO OTOBRAVENIQ 90
lEMMA vORDANA 248{249 nEPRERYWNOSTX FUNKCII 19
; O PROIZWODNOJ INTEGRALA PO nERAWENSTWA kOI DLQ KO\FFICI-
352
ENTOW tEJLORA I lORANA 194 pORQDOK POL@SA 214
; TREUGOLXNIKA 17 pOTENCIALXNAQ FUNKCIQ 84
nULI ANALITI^ESKIH FUNKCIJ 198 pRAWILXNAQ TO^KA 211
oBLASTX 107 pREDEL (FUNKCII) 18{19
; WNENQQ, WNUTRENNQQ 144 pREOBRAZOWANIE lAPLASA 309
; ZWEZDNAQ 162 ; ; DISKRETNOE 343
; ODNOSWQZNAQ 149 pRINCIP ARGUMENTA 275
oBOB]ENNYJ STEPENNOJ RQD 29 ; LOKALXNOJ ODNOLISTNOSTI 289
oBRAZ TO^KI, MNOVESTWA 285 ; MAKSIMUMA MODULQ 288
oGRANI^ENNOSTX FUNKCII 19 ; NEPRERYWNOGO PRODOLVENIQ 292
oDNOZNA^NYE WETWI 61 ; SIMMETRII (rIMANA {{WARCA)
; ; ARGUMENTA 65 295
; ; LOGARIFMA, STEPENI 68 ; SOOTWETSTWIQ GRANIC 291
oKRESTNOSTX TO^KI 18 ; SOHRANENIQ OBLASTI 286
; BESKONE^NOSTI 23 pROEKCIQ mERKATORA 48
oRIGINAL 309 pROIZWODNAQ ODNOZNA^NYH WETWEJ
oRIENTIROWANNAQ GLADKAQ DUGA 121 LOGARIFMA, STEPENI 78
; LOMANAQ 123 ; SUMMY OBOB]ENNOGO STEPENNO-
oSOBAQ TO^KA (ANALITI^ESKOJ GO RQDA 72
FUNKCII) 209 ; SUMMY STEPENNOGO RQDA 29
; ; IZOLIROWANNAQ, NEIZOLIRO- ; FUNKCII KOMPLEKSNOJ PEREMEN-
WANNAQ 212 NOJ 71
; ; SU]ESTWENNO OSOBAQ 213, 220 pUTX (NA PLOSKOSTI C ) 107, 124
; ; USTRANIMAQ 209, 213, 216 ; KLASSA C 1 124
oTOBRAVENIE 78, 285 ; OBHODA KONTURA 124
; DROBNO -LINEJNOE 89 rAWNOMERNAQ NEPRERYWNOSTX
; KONFORMNOE 81{82 (FUNKCII NA MNOVESTWE) 19
oCENKA INTEGRALA PO KONTURU 133 rAZLOVENIE MEROMORFNYH FUNK-
pERWOOBRAZNAQ 133 CIJ W RQDY PROSTYH DROBEJ 238
pEREDATO^NAQ FUNKCIQ 337 ; PRAWILXNOJ RACIONALXNOJ DRO-
pIKARA TEOREMA 221 BI NA PROSTYE
pLOSKOSTX KOMPLEKSNAQ 5 ; tEJLORA (mAKLORENA), lORANA
; ; RASIRENNAQ 22 187
pOKAZATELX ROSTA ORIGINALA 311 rAZNOSTNOE URAWNENIE 341
pOL@S (FUNKCII) 213{216, 218 rASIRENNAQ KOMPLEKSNAQ PLOS-
pOLQRNAQ (TRIGONOMETRI^ESKAQ) KOSTX 22
FORMA KOMPLEKSNOGO ^ISLA 15 rEGULQRNOSTX 106
pOSTOQNSTWO RASTQVENIQ 82 rIMANA TEOREMA 308
353
rIMANOWA POWERHNOSTX 59, 300 sU]ESTWENNO OSOBAQ TO^KA 213{215,
; ; ARGUMENTA, LOGARIFMA 60{61 220
; ; KORNQ n-J STEPENI 63{64 sFERA rIMANA (nEJMANA) 22
; ; OBRATNOJ K FUNKCII vUKO- sHODIMOSTX POSLEDOWATELXNOSTI 18
WSKOGO 70 ; ; FUNKCIJ, RAWNOMERNAQ WNUT-
rUE TEOREMA 278 RI OBLASTI 174
rQD, EGO ^ASTI^NYE SUMMY, SHODI- ; RQDA 25
MOSTX, SUMMA 25 tEJLORA RAZLOVENIE, RQD 187
; ; SUMMIROWANIE PO aBEL@ 42 ; TEOREMA 183, 195
; lORANA 187 tEOREMA aBELQ 41
; ; EGO GLAWNAQ I PRAWILXNAQ ; ANALITI^NOSTI IZOBRAVENIQ 313
^ASTI 213 ; wEJERTRASSA O POSLEDOWATELX-
; tEJLORA (mAKLORENA) 33, 187 NOSTQH ANALITI^ESKIH FUNK-
sWERTKA FUNKCIJ 321 CIJ 174
sWOJSTWO EDINSTWENNOSTI RAZLO- ; EDINSTWENNOSTI 201
VENIJ tEJLORA I lORANA 188 ; ; OTOBRAVENIQ 305
; vORDANA 144 ; kAZORATI { sOHOCKOGO { wEJER-
; IZOLIROWANNOSTI NULEJ ANALI- TRASSA 220
TI^ESKIH FUNKCIJ 200 ; kOI 151
; KONFORMNOSTI 81 ; ; DLQ KOLXCA 178
; ; DROBNO -LINEJNOGO OTOBRAVE- ; ; O PEREMNOVENII RQDOW 34
NIQ 92 ; ; OB INTEGRALE PO GRANICE
; LINEJNOSTI PREOBRAZOWANIQ ZWEZDNOJ OBLASTI 162
lAPLASA 315 ; kOI { aDAMARA 27
; PODOBIQ 318 ; lORANA 183
; SOHRANENIQ SIMMETRII (DROB- ; lIUWILLQ 176, 197, 225
NO -LINEJNOuj OTOBRAVENIQ 94 ; mORERY 173
sWQZNOE MNOVESTWO 109 ; O WY^ETAH 233
sISTEMA KOMPLEKSNYH ^ISEL 10 ; O DELENII STEPENNYH RQDOW 39
sOPRQVENNYE GARMONI^ESKIE ; O PEREMNOVENII STEPENNYH
FUNKCII 116 RQDOW 34
; ^ISLA 17 ; O PODSTANOWKE STEPENNOGO RQDA
sOHOCKOGO (kAZORATI { wEJER- W STEPENNOJ RQD 38
TRASSA) TEOREMA 220 ; O PROIZWODNOJ SUMMY STEPENNO-
sOHRANENIE UGLOW 81 GO RQDA 29
sTEPENNOJ RQD 26 ; O PROIZWODNYH ANALITI^ESKOJ
sTEREOGRAFI^ESKAQ PROEKCIQ 21 FUNKCII 172
sUMMIRUEMOSTX RQDA PO aBEL@ 42 ; O PROIZWODNYH INTEGRALA kO-
354
I 168 fORMULA bINE 345
; O RAZLOVENII PRAWILXNOJ RA- ; kARDANO 12
CIONALXNOJ DROBI NA PROSTYE ; kOI DLQ PROIZWODNYH 172
225 ; mUAWRA 15{16
; O SU]ESTWOWANII KORNQ U MNO- ; nX@ TONA { lEJBNICA 133
GO^LENA 197, 225 ; |JLERA 37
; OB OBRATNOJ FUNKCII 302 fRENELQ INTEGRALY 273
; OB OBRA]ENII PREOBRAZOWANIQ fROBENIUSA TEOREMA 6
lAPLASA 323 fUNKCIQ ALGEBRAI^ESKAQ 52{53
; pIKARA 221 ; ANALITI^ESKAQ 105
; ; \BOLXAQ", \MALAQ" 222 ; GARMONI^ESKAQ 115
; rIMANA 308 ; ; SOPRQVENNAQ 116
; rUE 278 ; GOLOMORFNAQ 105{106
; SU]ESTWOWANIQ IZOBRAVENIQ 311 ; DROBNO { LINEJNAQ 52, 89
; tEJLORA 180, 195 ; vUKOWSKOGO 100
; fROBENIUSA 6 ; LINEJNAQ 52, 89
tEOREMY RAZLOVENIQ 327 ; LOGARIFMI^ESKAQ 43
tO^KA WETWLENIQ MNOGOZNA^NOJ ; MEROMORFNAQ 238
FUNKCII 62 ; MONOGENNAQ 105
; ; KORNQ n-J STEPENI 63 ; MONODROMNAQ 105
; ; ARGUMENTA 66 ; OBRATNAQ 302
; NEPODWIVNAQ (DROBNO { LINEJ- ; ODNOLISTNAQ 286
NOGO OTOBRAVENIQ) 90 ; PEREDATO^NAQ 337
; OSOBAQ (ANALITI^ESKOJ FUNK- ; RACIONALXNAQ 52
CII) 209 ; REGULQRNAQ 105
; ; IZOLIROWANNAQ 212 ; SINEKTI^ESKAQ 105
; ; NEIZOLIROWANNAQ 212 ; STEPENNAQ 54
; ; USTRANIMAQ 209, 213{216 ; TOKA 84
; SU]ESTWENNO OSOBAQ 213{215, ; TRANSCENDENTNAQ 53
220 ; CELAQ 105
uSLOWIQ kOI { rIMANA (D'aLAM- ;; ;\KSPONENCIALXNAQ
RACIONALXNAQ 52
36
BERA { |JLERA) 73{74
; ; W POLQRNYH KOORDINATAH 77 ; \LEMENTARNAQ 51
uSLOWIQ POSTOQNSTWA ANALITI^ES- ~ISLA bERNULLI 192
KOJ FUNKCII W OBLASTI 112 ; KOMPLEKSNYE 8{10
uSTRANIMAQ OSOBAQ TO^KA 209, ; MNIMYE, ^ISTO MNIMYE 13
213{216 ; SOPRQVENNYE 17
fIBONA^^I ^ISLA 344 ; fIBONA^^I 344
355
oGLAWLENIE
pREDISLOWIE : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 3
I. ~TO NAZYWA@T KOMPLEKSNOJ PLOSKOSTX@
I W ^EM EE OTLI^IE OT DEJSTWITELXNOJ : : : : : : : : : : : : : : 5
II. kAK OPERIRU@T SO STEPENNYMI RQDAMI : : : : : : : : : : : : : 25
III. kAKIE FUNKCII NAZYWA@T \LEMENTARNYMI
I PO^EMU SREDI NIH ESTX MNOGOZNA^NYE : : : : : : : : : : : : 43
IV. ~TO NAZYWA@T ODNOZNA^NYMI WETWQMI
I TO^KAMI WETWLENIQ MNOGOZNA^NYH FUNKCIJ : : : : : : 59
V. w ^EM SUTX PONQTIQ PROIZWODNOJ FUNKCII
KOMPLEKSNOJ PEREMENNOJ : : : : : : : : : : : : : : : : : : : : : : : : : : : :71
VI. kAKIMI SWOJSTWAMI OBLADA@T OTOBRAVENIQ
DROBNO -LINEJNYMI FUNKCIQMI : : : : : : : : : : : : : : : : : : : : 89
VII. kAKIE MNOVESTWA NA PLOSKOSTI C NAZYWA@T
OBLASTQMI, A FUNKCII | ANALITI^ESKIMI: : : : : : : : :105
VIII. kAK WWODITSQ INTEGRAL PO KOMPLEKSNOJ
PEREMENNOJ : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 117
IX. ~TO NAZYWA@T INDEKSOM ZAMKNUTOGO KONTURA
I NA ^TO ON UKAZYWAET : : : : : : : : : : : : : : : : : : : : : : : : : : : : 135
X. kAKU@ OBLASTX NAZYWA@T ODNOSWQZNOJ
I ^TO UTWERVDAET TEOREMA kOI : : : : : : : : : : : : : : : : : 149
XI. ~TO WYRAVAET INTEGRALXNAQ FORMULA kOI
I KAKOWY SWOJSTWA INTEGRALA kOI : : : : : : : : : : : : : : : 165
XII. kAK OPERIRU@T TEOREMOJ I INTEGRALXNOJ
FORMULOJ kOI I ^TO UTWERVDA@T
TEOREMY tEJLORA I lORANA : : : : : : : : : : : : : : : : : : : : : : : : 177
XIII. ~TO SLEDUET IZ TEOREMY tEJLORA : : : : : : : : : : : : : : : : : : 195
XIV. kAK WYDELQ@T I KLASSIFICIRU@T OSOBYE TO^KI
ANALITI^ESKIH FUNKCIJ: : : : : : : : : : : : : : : : : : : : : : : : : : 209
356
XV. ~TO NAZYWA@T WY^ETAMI ANALITI^ESKIH
FUNKCIJ I KAK IMI OPERIRU@T : : : : : : : : : : : : : : : : : : : : : 229
XVI. kAK, PRIMENQQ WY^ETY, WY^ISLQ@T INTEGRALY
PO NEZAMKNUTYM KONTURAM : : : : : : : : : : : : : : : : : : : : : : : : : 247
XVII. w ^EM SOSTOIT PRINCIP ARGUMENTA
I ^TO UTWERVDAET TEOREMA rUE : : : : : : : : : : : : : : : : : : : : 275
XVIII. kAKIE OB]IE PRINCIPY SWOJSTWENNY
OTOBRAVENIQM ANALITI^ESKIMI FUNKCIQMI : : : : : : : : : 285
XIX. ~TO TAKOE PREOBRAZOWANIE lAPLASA
I KAKOWY EGO SWOJSTWA : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 309
XX. kAK OPERIRU@T PREOBRAZOWANIEM lAPLASA : : : : : : : : : : : : 331
pRILOVENIE. bUKWY DREWNEGRE^ESKOGO PISXMA : : : : : : : :346
sPISOK CITIROWANNOJ LITERATURY : : : : : : : : : : : : : : : : : : : 347
pREDMETNYJ UKAZATELX : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 350