0, mort obey the maximum principle, Indood, if ¥ had 9 maxsnam
the rule of the calla would yield 3V/20" 5°, 17/29" 0, and
hence AV’ Oat that poin. On the other aad,
AV = bu e+e > 0
‘The contradiction shows thatthe maximum prntple obtain, We ean
{hes concade that u~ e+ er — 29" 5 ein the dk [P~ ay
Letting «tend to nero we Sind v, andthe oppnteinogliy ean
proved in the amo way. Hench wis harmesies!
4.2. Harnack’s Principle, We eal that Poison’ fornia (Chap. 4,
‘See, 6.3) permits ust expron harmonisforeion trough i value ot
‘cirde, "To. our promt neode we write ta the for
» w- Ef aap one
ter ~ F< pandwisamind wb armen ls »rharmnio
for fe] 0, vabharmoni. Yor
the neces, show that < Othe an valun over scree woud bea
decreasing fonetion ofthe radius,
“& Prove that » ebarmonie fometion remainaaubharroni i the
Independent varabo i subjected toa cufornal mapping.
"& Formulate and prove a theorem othe alone vat uform Heit
‘of watbartonie funetonn i wibrmonie
ef) upper semicontinuous on the open a0 sow thet th a
imum on sey compact wot BC 2
‘42, Solution of Dirichlet Problem. ‘he Sento a sabbaronic
foncons forthe study of Dirchle’sprodiem wan 0. Parton. is
meebo i chwotesed by estrone greraty, anc tia competaly
Sooty
"Wooster bounded regia andareabvaied fection) defied
omit boundary lr dai, boundary points wll be denoted by
{To begin wit, J) teed even be ontnuoun, bu fr the make of
stmity we mwoe tht ite Hound, YE] 32 With euch {we
{teocate aharmone Faction w() ode by single procam which
‘ill dtaled below onion and if sates certain ld
“nitions the comeponding faneon ww lve the Diehl pba
for with ch boundary vues :
"Wo dae the can 8) of functions» withthe flowing proper
() sis abharwoni a3;
© Wine) 3/0) forall er.
‘The prsi moaning of) i thi: gen «> 0 and s point fe there
2 nhbobood 8 of Fad Ha) CY) +a SVG. The
‘lee 87 inno emo for cota al constants S —AL. We soe
Lemma 1. The function defined ot le) = Lub, of) fr # € BD) it
arn fo 8.
nthe Sst place, ouch in § Ming, Tala ina snp enough conse
eng mini inl bt er ining we
{explain this point in wome deta. Hora given « > 0 et at
of pelota +0 for which o@) & MC -+ «The points +n the complement
‘~E are of three kinds: (1) points inthe exterior of 9, (2 points on r,
(@) points in with e@) M__ Hence His vo for every 4 andi llr tht 6 Min
Consider «dk & whowe closures contned i atl pints 4
‘Thoreeastan aoquene of fanetions xe BC) eas that fim tl) ~ wed.
Sot Va max (ven... Then the Ve form « rondecensiog
sequmte of fanetions ia B(). We construct F equal to. ous of
and equi to tho Polo intl of Vin A. By property (2) oft
recoding wetion the V7 are atl in 8(), ‘They form a tondeceasng
‘equate, and tho inequity nd) 5 Vie) Vela) © we) shows that
‘im Vile) = ae By arnaek’s principle the maquecey {V con-
‘ergs to hurmoni limit fontion 7 in A which ation U aw and
Toa = we.
Suppose now that wo tart the aan proce fom enotur poate
Wo aden. ¢8() that lim wx) = wa), but thi tna, before eo.
‘ding with the constuction, wo replace, by = max bas). Sete
hag Wm ane (0y - b) wo oat the ‘uence
(74) with thea ofthe Poison integral sed are ed oa harmon it
function Us whch staion Uz Us fu and Ute) = ale). Tt fellows
Wat U — tr, hw the mason sero at sp Tharefore Os etialy
‘qual to Uy, aad we have proved that u(e) = Uta) fr ariinry sve
‘fllows that is harmon in any dak & and, comeueny inl 2
‘We will now investigate the eamstances under which u sles the
Dizichlet problem for continuous - We aote it tha the Dil
problem dose aot alwave have n mfinn War intency if the
‘unctred dik 0 0, We ao il aang that in
bounded and (0) 2
‘Detormine a naighborbood a of Zo wih that (tt) ~ |< «for
fea. Tag ~ A \a the fuetion ue) hava postive minimum wy We
‘order th boundary val ofthe harmonie Fonction
a =160-+04¢ 2 oF = 160
For fea we have WG) 2 f(r) + #> Jl), and for ¢ out of & we
‘Diaia WG) 2M +e > JG). By the masinam princple any faneion
F€BC) mart beoce albfy fo) <0). Te follons that ws) 5 17)
sad consequently
Inequality we st out to prove
Fo the weond inequality we need only show tht the function
Vo = 160 += “2.ar 9
lnin BO). For Fea we have VO) G0 ~ « 1. Tho
‘component ofthe complement are devoted by By Pu.» y Band
‘retake 210 be the unbounded component. Without iw of generality
‘ro ean and will mime that 0H adore o pa for i ie lar that
1 print component i a removable cngulaty of any mapiag function,
ta onsequenty the rappings eran Ue evo if thi lated bouncy
pti added to the region.
‘Thecomplement of £,bacimply oosestedregont. By Riomana's
theorem, 7 can be mapped conformally onto the dine [el < 1; under
{his mpping & i tmanormed indo a ten region, and the images of
By Hey are the bounded components of i complement. Tor
the i ot seein: ee te th eon a etre te
reine: in pevisler, Fehon the wtf 21 Tonsil m1,
{rad in the postive Grrtion, wil be deaoted by Cand is elled the
‘one contour ofthe new region.
‘Consdos now the complement of E, with repet to the extended
plane. ‘Thin again ply eonneete region, and we map cont the
‘uli of the uniter with = eoresponding to tell. The image of C,
‘Ba cnetad domed analy crve wih ne contin to denote by Cua
{mrvv op allthe ether ntations. Ta adtion we dete the ne ome
low Ci 0 be the cit Geele In the new plane, raved inthe nagaive
rection
hs poe an vent ype unt we elu ith gin
‘ooundd yan oer anourCotndn = Vimar cocoue NE
(Pi 69, stmpertact onto ta tenses le neal
Lose sihiy pt inthepasocane ay emul, Torna
ste tgs wer Cb 2 ary, the gt ntegzal a ~1 fo oy << 130 0
for [od > Ie Th Snkgras over Cy, 1 <<, vanish forall w with
{esl es. Supp now tha the van asta take by) ise
{husk att mad be mapped onto an open ret, we ean choose | al
For tia we th exprestion (08) mont bo postive. But that i» pomible
nly it < ol <0 The hy > O an, by continaty, OS Ns
‘From ere on the proof cull be sampled by means of « purely
topolopea! argument. Tit mare Insroetve, however, and i fact
‘Soon, to douw the onchxon from the argument pric. Whee
{here ae spe poles onthe boundary, the etdne tearm continues to
Told provided the! the costou integral epoed by its Caney pec
pal veloc, snd provided that he mm of reidues intros ane hall of
{he rsdn on she boundary. Inthe presen situation the semod cose
‘yeti mesat thats valn taken te boundary i oounte with half
Tis maltplity. ‘The computation of te principal vulons eats to
isculty. Ud = e% we ind tat
; Pidd 1 PO
fa Fa) = wy” Bho Fe)
for by demeatary geometry (or direet computation)
1 ag (PC) — 9) ~ dog PO
Consequently, the principal values i (5) are} for k = 1, 0 for 2
Egan, “pork =m
Woconclae tam tat each vahison the dele = Yorn = 2s
‘taken ove al, hat ato ay one on Ue boundary: this proves hat
Giand Cs ae mappnd is onetoone manaer and thet @< hs < hy
Cin.” Next 1 < [el <2 follows tat wy etek ibe once
{a the interior, te on Ue boundary, or one the Boundary with the
Iukipeity 2" On each contour Cy «Cans a aagle-valund branch
arg Ps) can be deed, and tho vas of malic 2 eorespond Uo
{tative tania and msima of ang Phere is at Sas. one ras
{num sod ene mismo, aa Der caot be more or dee PU) would
‘usr nore thu twice through the eae alu Partheriaoe be ier.
‘hor betwen the masimm ond the minimum mut be <2x, which
‘Shows tat each contour sapped onto proper arc Fall, the ce
‘ich correspon o diferent contours must be djl.
an Chap. 83th Cay pital vse an nde it hn
sche res it rh te ye ct
DEE uC pdtal rte ty eae of a tsi soa ope veh
fannie intr he gue he wand pom ote re
reales my and eve ins epoca ote
Etiy efomal warn
fe ne een ei Pe
te canonical mapping uniqulyHeterninad
7 ain “oie om th fat hat sh yen 1) ha
‘he ape of» canal region af coecivity n dpeadaon 3m —
rel contact. In fat, th poston sods ofeach si cs cad
by hm nantr atl n— 6; hisef e ein e
ue sional parte, bt aaother ‘ a
ihe ‘ameter us be inoue
qa.h Pio icy Chat (wo cretar annul ar conformally sgtivalens
and ool te ealin of Uni rai are eu ee
2 Prove that ag = a. Min: Apply Theorem 21, Chap. 4.
52. Creen's Punction. Wo spi ssn a 0 rep fie
‘Stee a natu te pecinay card ee le
Permantle ‘we can tao tat Oe bended Uy saeco
Br seein te an n= I vile
ones pst ays wien Deh pale n 2 wth
{he boy vat nt fa Theis dete yO) ae
{8 ml rat ted be con gt ego
nate Oren funcin wihpeatn Whes hn pens
‘ic ivemphada nied yesh
"The Gren oe ri xp an vain
on the boundary. Toe nh feo eg oad
Latur yh reper) ebqndy drei
follows that gis idenaly equal tog.
two rons are conformally equivalent, then the Green'tunetions|
with corresponding poles ae equal st points which conrspnd to each
other. ‘To bo more expt, lets = () deine «o0e-to-oe conformal
Imspping of « region {fin the page onto a repon 2 ithe plone,
Chooses point tee and denote by gl) the Crees fontion of
ith pole se = elf.” Tein calmed cht g(t.) the Grom’ fe
‘Hon of . To begin with iff tala to a beauty pint th st)
ppconabes the boundary of 0 and Meee Hatavalapezer._ Axo tho behave af we know that (dies fom
log iG) — eG) by « baronie foneion of ef), and hence by» bar
‘honk faction off. Bot the dilerence log (7) ~ a} ~ og — fl
{sali harmonic, andi follows tht (7) bas the desired behavior
ste Welave proved tht the Greco's function i fnarian! under cou-
Seca ain ow of hi vais tha paiiory
‘onformal mapping oan be performed x:
Tn the cam of «simply connentl ron ther is a simple consetion
‘eevee Gre fin ad Ken apn en, or he
nit dee fl <1 the Gren’ fneton with respect co the origin is er-
‘dently —og ful. Therefor if = f() mnpe 2 onto the uit dk with
‘es aoing nt the erga, we fad by the invariance thas
oe20 = log
CConvermly if 30) in owe, the mapping function ean be determined.
"The Gren uncon bas aa mportactayanstry property. Given
to poiate 24 2:6, we write for short g(a) = go, stn) = oe BY
‘Theorem 2, Chap. 4, thediferentalg, py — od fs trally exact.
‘he exon bain hy nating the pina and =i from © Tes ad
race emall ices about», and, decibd inthe postive seas, the
(ysleC ~~ eishorologousto soo (asbeore,C = Cyt" +00)
‘hace gad gs veizh on C, we conclude that
Logntin— nti =0
‘gis — ale = 86 ear
Introducing 6, =
snd fod
forties = [04
06, ~ fos — 2
+ peter te — 2.
san i tg en
Seabee te te i
Sint wrcity tiecws ated nnmntoaea
Saas te tipemran eames
Seal aplanntvo ietgtowrsaatoes Sco,
SiThend ats ad ose
oles) = ote).
‘Reeaus ofthis apmametry property the Greens function (ea) i a
‘onic alm in the tooand variable. "
[Tho coujugnn fuetion of g(a), denotad by Meo is of cours
‘uliplevalved Tt hat above all the period aloag tall cela ¢
bout se” In edition, it hae the peiods
Pals) ~ faa = fy (62) ty
Temuma8. The period Pt equals the harmonic monaren) mltipied
bye.
‘The proof ia another application of Theorem 21, Chap. 4. We
npr the fact that the integral of wy "dp —g "dan over O—¢ must
‘atch, ‘The integral over C reduces to Pilg) and by the sane computer
Hon ahve the integral over cequal raed). Henon Ped = Bead)
5.5, Parallel Site Reglons. iti more eplisity thas before, ot un
re
as) W620) = Ole20 — log — a
ithe ~ 214 idee. Welnow thst O(a) ingymmeti od hanaoeie
‘n ench vrisble; as funeton oft has the boundary vlvoniog fa
Consider te ditezence quotient Qh) = (Olea +h) = Gleady/h
‘where we choose real and 30 small that 4h oval ia Thy
f Barmonic funtion of « with boundary valves Gog cs — A] —
Jog if ~ s/h As’ h+0 thewe boundary vals tend watery to
8/42 log & — al = Re /(f~ 29) Tt flows by the rinsing
‘mum principle that Qu) tends to its Lait (@/aes}0l09 uniformly,
‘ot ony on sompc wt, bat on all of @. If we inside the touadacy
‘alu, we have thus uniform convergence on the claret whic fs
compact set The conhaion is tha (/8x).Gg2) strc ao
fection of and that it hn the boundary wales “He if ad. Iter
‘ompare with (1) it follows tha (2) (0/3tdgtea) is hurmonia for
nt continaoudy seco onthe boundary, and difersfrom Re te 8)
‘bya harmonie fone,
‘The conjugate diferent of 4) haa ettain periods Aa long the
soatours C.. But it is eaay to consret a near eoxbinaton oft)
sand the harmonic mearures a} whowe conjugate diferetil fen oat
Pri “Tadeed wif ert ot hewn at he property Boe
Dau + haan
Desa
Ay (Ems =a),
Je know already that this inhomograsous system of equating always
thas a-tetuton. “We haves eetablabed the exten of funcdon(2) which is singl-valvod and analytic in , exept for szple pole
‘with th resdao I ty and whoa real part i constant on each coutour
Biy thew roqirements 2) is uniquely determined up to an ative
conan.
‘By diferetiaton with respect to 4 we conclude cute sary that
4G) = —(/opdpte) vaitbes on the boundary and has the se
legality ar Im 1/(~). If stable lncar combination of her
‘monic eure is aed, the conjugate funtion becomes inge-valud.
Hence thro oie a ingl-raluod analyte action (2) with tho siclar
part 1/(e~ 2) whose imaginary prt i contant of pach cantor
‘The functions 9() and fe) oad ta simple eanoieal mappings
‘Theorem IL, The mappinge ermine by p(t) and #2} ore one fo one
and he image of D0 region owe complet con of nor
Arion mans, reapcinty (ig a,
‘The proot is quite anlar to that of Thoorem 10, ‘This tau the
xpresion
‘ aces
‘epmeats the umber of xeroe ofp) ~ minus the number of poles.
‘Buti i egy to me that (17) vanishes for all wy, including boundary
values. Tn the latter eae the principal value ist be formed, bat if
tts be takan om Cy the imaginary pare of” dep) vara alg
Cand thee is no diffolty whstowver Blaze there exactly ane pole
‘we onside that p() takes every value once ithe flee of , twice
0 the boundary, or ance or the boundary withthe aulphcty 2. The
‘est ofthe proof in an ext duplication af the eater remosing The
roof remnne valid fr g(} without cage.
‘Paral sit region ay be thought ofa xnonial regions, ut thay
a abt al sonformaliy inequivalent even if erected thatthe pol
20° "thoull correspond to aa. "For Insane, the mappings by la)
o o ee nel at js
sd ye) lend to veri at opin which are diferent, but confor
mally equivalent. “It is only for mapyings with the tame rsd ot
f+ Ut the as mappings ar uniquely determined, exoopt fc a parle
‘anda.
exercises
4, Prove that g(r) i sealtnonaty continuous in both yvisbles,
fore ze. Tint: Apply the maxinwm-aiainum peneipia o Glee)
2 Show that tho fonetion H(@ 008 + ip in a) mage © onto a
region bounded by ntned ai,
8 Using x2, show that p + g mape ie sone tone nmnncronto
‘region Bounded by eonver contours Comment:
(@ A slowed carve ie eid tobe convor it ntesecls evny erlght
line at st ie,
(To prove tht th image of Cy ander p+ conver wo need
only show that for every w the fusetion Rr (p+ ge take 0 vale more
than trice on Ca But Ho (p+ gh fers fous Re (geome +p)
only lym consant, and the dered eaeshrion follows by the properties
ofthe mapping faneton in Bx. 2
Gi) Pally, the argument principle cam be wad to shew thatthe
‘image ofthe contours Cy have winding cme 0 with remeet to al
values of» + o. ‘This imple, in parler, that the eonver curves le
utd of ech other7 ~=(ELLIPTIC FUNCTIONS
a simety 1¢ FUNCTIONS.
‘A Gunetion J) in id tobe pera with period w 90 it
fet 9) =$)
for alle. For intanc, has the pid ran sin # and on
Ihave the period 2r.‘To be more previ, we are interested only
i nulytc oF meromorphic fantone ft), and they sal be
‘onadered ina region which a mapped utes the toe,
Intion sae
fain period so ae alategral multiples na Thre may.
be other periods ax wel ut forthe pret we fous our aa
Sion cacusively othe periods nu” From thi pinto riew wo
‘Gall cll) a imply periodic faction with periods. Ta por
tial it rlovant whether wi tela ovale af another
eid
LE. Representation by Exjwentiate, ‘The simple function
‘ith petod isthe exponantal =, Tu infarc fact
‘hat any funetion with pried ean be expe internat
Durtala function,
Tat 9 be « region with the property that #1 implies
sof we and + — wed We dotne in the fplane to be the‘Suppose tht) i meromorphio in and has the peiod «Ten
here ext unig funtion Fin wach that
o Sea) = Pee,
Indeed, to determine FG) we wote = erie unique up tou a
tive multiple of, and this mltple dacs ot infueno tho valve f().
Teimoviert that Fu sceromorphie, Converly i is marimrphic in
1, then (1) defines w neromorphi function J with pede
1.8, The Fonrlr Deslopments, Assos tht eptans an annals
fo fl'crnim bids Fhe pola isola Fn Eanes
Selo :
r= 5 en
aad we obtain
$0 = Sewn,
‘Tita the complex Fourier developient of 0, valid in te poral tip
that crrspoads to the given anal
‘Th elit (Chap. 8 Se. 18) are given by
fa POR sr cra,
sdb ehaage of vara hin becomes
en} LP jaye mend
ore ais an arbitrary pot in the paral etep, an ube integration is
slong any path from ata -+ whieh romaine wid the atepe—1EJ(2)
iW aaalytie inthe whole plane, the sae Pounce development valid
coreywlere.
113, Functions of Pinta Order. Whee 0s tho whole plane F() bas
{lated snguartis a f= Oandf ~ =. If oth hao singular are
inowentah, that i either removable Sagulnities or pole, then
‘ional faction, We my in thle ese that fas faite order, ql
order fF
‘We recall that rational function saames overy comples vale,
including, th sane pomber of Umos, provided that we abeere tho
‘anal mulapicy conven. We btn « lar rel for simply
pero functions of finite order we ngres not to datngush twee 2
sod ++, Hor convenant terminology, lel ur my Unt #4 ne ia
‘qulvalent to nf sof ord m wo fad tha every empl value
¢# FQ) and F(~) it sumed atm aegulalet points, wth doe count
‘fulton We cbnere further that fa) + FOO) whea lin /a) =
~ © and f() ~ F(o) whan Im (/a)-> 2. If wo ee wiling
‘re that the valuoe are alan “aoumed” (with propor mllpiay),
‘we can maintain that all complex vals are aausted crac m times
or acothor interpretation we nay consider the period ep, died
by 01g Im (fe) 0, GD —}< Re +34,
(GU) F181, Uy) Ror BOM bl = 1. The rato te wrialy deriva
{by Bea conns and there 8 choice of ee our er ws caverponding
tone
Prosf, I we sleet oy and oy a8 in tho proof of Theorem, then |
bo lo Shay ad fn Jon — a Tn tarts of "show onde
ors are equivalent o r| = 1 sad (Re of im <0 me replace
(ey) by (oni thit makes Im > Owitbout changing he condtion
fon Ra 7. If Berm 4 we replace the basin by (oyn+ on), and
Ir) = 1, Rey <0 we replace it by (aye). After thew minor chabace
1 tho eonditons ares.
Geometrically, the conditions () 4 Ge) man that tho point rH a
‘the pat ofthe samples paw sows ia ge ?-2. Tia bounded by the
cele | = 1 aad the vertical nas Ro r=, Bat only pat of the
‘boundary is nctnded. Altbough the et st pen i infra toa the
fimdonenal repion of the sie OUD,
‘Wo have son that the mast genorl change of basse by 8 wi:
smodelartestformation. TF the new ratio + we ebain
wee
© vege
Wiha — te = 1. Single computation gee
lm
® tat a
src the ig i th ne that fo — be
‘uppoe that both rand are in the fundamental region, We sal
ow it they sust thea be equal Our fst ceca dati the
‘upper sga tha yal in 7), and hea a — be = 1. Bao, booane +
Sand 7” pay symm ron, we are fre to nanane tat In? = tm
1. then fllons from (2) tht ert | 1. Been nd dao integers,
there are very fe possibile for hs ine to bold
‘Ons rush peusilty ia wo have e™= Oy = tL, ‘The reli a ~
te = Lredaosto ad ~ 1, td because end dae toga etter a =~ 1
org = d-~ 1. Baustion( brermes =r std by soo (8)
follows thas |= [Rey — Rev] <1. Therefore, aud bent Bisa
integer, b = O andy = 7
‘sume now that ¢ 0. The eontion jr + el 1/e pion
lel = I, fori fel were 22, the pot + woold be at a dstance rn the
real asiy which b obviously ipods, she aro pot in the find
‘meatal gia bing itanes V5/2.” Thu di 1, and lance
st Fig, 72 shows tht this con door ony if d = O-or d'= 4 The
insaity r+ 1] 1 ie never fle, for the pont ot inthe
al region, ced jr I Lenly when y — e°". Inthe Iter
‘ease rsh =, end It fllows from (that Ime = Im rand hens, by
the hap ofthe fundamental region,” ~
‘here zemaias cal the enw d= 0. Jf = 1. ‘Th aon Ie 1
gether with (i) shows that = 1. Trom be =~ it flows thas
Wem “Landy = te~ r= dat. Hence Re(e tv ~ ayaa
‘by this poe only for = 0, in whieh eave = Ie. There
then contrediction with Gi) tales = 7 =
‘We tive proved thit + ie uqus. The eaneneal bas (oie) ean
sbnays be replaced by ( "There ae ober bass with the ear +
‘and only rina fied point of unimadaartramormetio (0). This
Ibappea only for» = sandr = ete fer se fed pont of —3/s,
‘he aero ie -f D/e and ot —1/o¢ 1). "Thaw are oo tkipe
‘oie ler fo i te hoor,rata vane.
24, Canal Properties of Elite Puetians. 1s he liwig (6)
Tai Site's neti tnt eh ab tah te
‘ods a ih ayo) apron Woshal st cms Ua the
SOAS Ghana aarti tat comp al the
Tle nile oy Sat cgi y= od 3,
i te dicen oc idongyo Met = oe hn aee Te
fenton take tin mine vata congo pot snd may tun be
‘pric sus func on tbe capo deh mec wa 19
‘Bib hin prpery te ont neo tos prngetP
wit wrong aay atone ton or, by clang po is
Tenndy we ay orate nhc dt y ely oe an
iS'Fy aud thn fins tte by hao Pe Te
‘haiStatateeat and welne ein ere ta, forte,
Shas mp in bodayof
‘Phoocean 8. An allipic fonction witha ple ao coant
116) hana pol todd on the om of Py nce in
te wie ane hy Lo ir (hap. 8, Be 23) a
rahos aint
“Sonn the aha uo soulton pint thr oly Etaty
nay pia Wha we apa fe peta ip anion
Sr Til mcf mately ment pee" Mlio we ome
ihe onan
‘Treorem 4 Phe sum ofthe rene of en elite fancionis re
‘We may chow « 0 tht nove ofthe pol fll ou the boundary of
‘Pe, Af the boundary 3Ps is taced inthe positive seme, the ou of the
‘sides atthe pole in P, quale
a btioge
Benue fas prids us the integral vanishes, for the itera over
‘opposite sides of the paralloea cane! wgaina each ote
‘Ass consequence of the theorem there doesnot crit an elipic
function with sna simple ple
‘Tico §. A nonce eiic ancton ha ely many plea it
‘The poles and see off are simple polo of f/f, wBch i tlt an
lipicfunetion. ‘Tho mulls ae’ the zeduoe of [/, counted
postive fr sees and negative for plone theorem now faiowe fem
‘Theor 4
fe br aay constant, f(@) ~ cha the same poles 18 fe. Therefore,
sl values ae assumed equally many tines, ‘The wunberofncongrat
vos of the equations J@) ef ealed the onde f the epic Fanetion.
‘Taeoreen 6 The roe ay «<5 ag and pole, be of om lic
famction satiny aye bag byt +B ed Be
pore marae ee
® a he Roe
ee yee ee ee
Pelee repre eeneatry vinnpiil tal
Teh, a Shed aon ase
sod plein P Consider the idee froma toa + cod hom at ot
toarhen-ton ‘The comeepording part af the iniegral maybe writen
Bal = Lo) RG a ~ 8 [GG ae
‘Bzoept for the actor —y the vight-band member represmate the winding
‘umber around the org af tha ese trv ‘detibed by (0) when §‘ses fromatoe +o Itinconmquenty sn integer. Tho same apie
{0 the other pair ofepposie siden. Thrfore Ue val of (8) ofthe
fox nist, and th hoor s proved,
2. THE WEIERSTRASS THEORY
‘The simples eliptie funetions ae of onder 2, and sch functions have
sith «double poe with residue so, orto simple poles with oppose
FesidvesWechall flow theslaacal example of Weternteey who hose
‘funtion with s double pole a the waring pinto m aysemate try
4.1, The Weterstrase P-function. We may ss well lace the pol
the origin, sad ence maltpention with oastast factor i loniy
Irvelvant, wo may eure that the angular part n=. 1 finellpic end
‘ie only this agar a dhe igi sod ite ongroent pint, eany
to we that f must bean even funtion Indeed, fi) ~ f(s) Bas the
sme periods and wo wingulaesy. ‘Thorofore it mus eduos to cna,
{ted on siting + = uy we conelide thatthe constant i ato.
‘8 conta eam be added at wil, and we ean therefore choose the
constant term inthe Laurent development sbout the ain to be sero.
‘With this additional normaisason @) i uniqusly detrmaod, and
rationally denoted by special typographical symbol pla). The
Laurent development asthe frm
P= et ett ont
So far al this hyposttiea, for wehave aot ot shown the exstnos|
ofan elipi function with ths development. We aball flow tho unl
‘rocedare in much cases, nacly to postulate the exitece and derive aa
plist expan. ‘The ete i to develop i partial fractions bythe
‘method in Chap. 5, Se. 2 Osram inv prove she formula
© 0-443 (gty-4)
where the sue ranges aver all = sy + many exept 0. Observe that
Ge 9) is tho singular part a and had we hove subtracted «in
‘erder o prodace convor:nan.
‘Ouest tk i o vary hat the sree converge. 1 [ol > 2,
sy, am imundinte ent given
ieee
le=or al
‘Theretor the eres (8) converges, uniformly on every eomate et, peo
vided that
Doee
oh”
he iinet em Hesai / , hewte n8> 0
sh int fon ed ed fer ares a) on
seuss aly ites thee are pie Ga) wth In + ol =
Zbrsirferce.
“The es sep so peove that the iht-hand Sie (% ha pad
and ws Diret varicaion Ue rlaively eumboreome. Tonad we
‘rite, temporary,
ao
2 2 ea
ro~-B- JS eta- kets
‘The lt sum is obviouly doubly pac. Therefore fle +) — Je)
sad f+ 0) ~ fa) ar constants. Borate fc) jn even (a oe tom
(00), it ufioos ochowse 2 = —y/2 ands = ~y/ to soothe that the
fonsints ao zero. Weare than proved thas ho the wero prods,
Is folloms now that P(e) ~ fina constat, and by th form f the
evelopment atthe origin the cootent in zo. We heve thereby
‘proved the exience of 4), and sls that it ea be rpremnted By as
vevies (0). For convenient rfeeace we dimplay the Iniportant fora
=F,
Xe
4.4, The Functions {() and of). Because 9(0) has sro ries it
in the derivative of sngle-valued Function. Ie ss reditionl to denote
‘he antderivative of 9) by —t0), aed Yo narmalize 9 ia i no,
By toe of () wo are ke tothe explo expeeion
HUG
a cctataahiia
an ro
cc) oy‘The convergence iscbviou for par frm the term /s obtain he new
series by integration fom 0 ox along any path Ut does ao par rough
the pales
Te i clear chat £3) sutnfon conditions Fe +19) = He) + m6
Heb) = 0) ey whore ys andy are cnstanla. "They're come
scod with wy wy bya very cape lion, To derive it we choo any
(ft O and obwarve that
etd,
by the residue heave. The intogral omy to evaluat by ang the
‘oatribuloas fro opposite sider of the parleogai, and we obtain
the equation
ee en = Bes,
own at Legendre ration
"The integration cau be eased one step frthor provided Ut wes
4 exponential to eininae the rulipleravedarme at 18 ely we
‘an very directly that the product
03) sto) eT] (1S) etee
‘converges and ropromnte an entire function which estision
Hablete) = 1
"The fouls 15) as eanotisl product repreentation of).
How doveete) change when replced by e+ wor F xt Prom
eto) 4,
eee) ~ ee) TY
‘follows at once that
ele $a) = Coie
vith constant Cy. ‘To determine th constant we observe thas (2) is an
‘dd fanetion, netting 2 = —uy/2 the valu of Cyeaa be delaras,
Ad wo id that (2) enti
ay ete a) = —efadentonn
Set a) = moleneran,
‘exercises
2 Show that any evn
‘expres inthe ore
oF POLO) — com)
Ch to=ee emo
jptic fonction with periods a ea bo
provided that Oi oethee aan nor «pole. What is th
fora: if she function ether vathes Or become nite atthe org?
‘2 Show that any elie funton with period uy oven be writen aa
CH= ca comty
int Uo 8) ad Theorem
44, The DigerentatBywation. By woof foro (2 ay to
‘nthe Lt epson oF) bra he rg aa dir
‘il he yi the omapondng enon of Ph. Wo iene fs
cage
poatatae aa
snd when wo un over lps we cian
‘where we have writen
CObaarve that the corespoding sun of odd pomers of th periods are
toro a wan tobe expected eins Fn an od funeon, Beets
v= =")
wha ater
w= + $e ~ Dome
3a the fllowing computation we write down only the sgnsant
‘terme, sine ita under thatthe omit tei are of hight ender?
00) = Bs scan 4 1
2-24 66 0s
Por $2 aay"The lat three line yield
Pe — 490)" + e0G,9.) = 1400, +
“er th nt-band side ea doubly periodic notion, and the right-hand
ride as no poles. We may therefore conclude that
9" = 490" = 009) ~ HO
seaionny omy = 80, = Ms a oc bea
a Per = 0-980
“is ina tore femal oan feo = fb
Ee geet
Taare tom
which shows Ut 9(2) is the invert of an elliptic integral, More
‘eouretaly, this connection is expend by the ely
8 geting
eT
vr hint tna ttn ap Pap es
Siemans aren ton ee
mimewenan narra c eae
Foe re ne ten ati
tenn sats ty ene
Sn Sey
(EReISES
‘The Weirtcss functions satay numero identities which ar best
eal: with nan exes ection. They canbe proved ier by compar
Ing two alliptefaetions withthe eamo eos and poles (hen efuccoos
a involved), of by comparing elipti fnetione with the aun gular
bart when ‘oly @x sad. eforeionn are inwntva) Ta tlleing
‘quence of formulas obo arunged hat we eed ta reset thin method
aly one,
*
as) 0) - peo = ~ 85,
(Vos (1) to show thatthe righthand member in 9 period fenction
of «Fd the multipicative eoactast by comparing the Latent
fievelpmenta)
ele +)
7 wo,
tet) Fo = Pw
(Potows trom (16) by taking logarithmic deivative!
=te- 0 +1e+ 9) ~ 249.
Ott ari si + B= Be.
(inn mid vain of 12)
rine fre ton
a eet =P 4} (B=BE.
(Dierentition of 15) oa to a formula which eontsina PC).
can be slminsted by (15) which gives @” = OB" ~ don Symseetrian-
tion yields (9). Observe hat thea algebra aditionteocem,fot
1) and 9) can be cxnesed algebraically through Pt) and Ple))
von -1(B8) — a9,
& Prove 9) = out
2. Prove that
eo eat
Pets) Pt
34, The Modular Function NG). The diferatiat equation (15) eas
loo bo writen
2) PL = ABE) — 22H) ~ a1 — 00,
shee uy ue tho rots ofthe polynomial dt — gx ~ gu
"To od the valrs of iy we termine th 30s 1 ()e_Th
symmetry and periodicity of PG) imply Plas 2) ~ POO). Hence
(a ~ 2) = —P) rom which lt Slow that Pei) ~ 0. Sine
lacy Ga/2) = 0, a also @'C(ox + 0/2) = 0. The nts w/2,
o/2 sod (or + o9)/2 are tually inoongret modi the period
‘Therefor they are presely the thru aro of which nol rd 8, aed
Alte sree ae ple. When we sompare wi (2) flow thet we
an
em) B® '
mo.
2 OW, = Ro se Blea to
i. sieciateae: aeamaaaa16 follows, moreover nd thie very important that hee rote are
at date, Todeed,s) mmartn each valve with sultipby 2, ed
{Tio of them wert exual that rave would be ssmuned four tos in
‘coatadition with th fant et @ is of order 2
Te we ube & = soy, aed oy + 09/2 th dition (2)
of p() iti eam a oven that the o ae bomogencous of ord —2 in
(or Gin ther wot, the periods sre mulupled by then the a are
‘aliplied by €3)- We eonlods that the quantity
ey «
depends tly on the rato + = oy/ay at indicated by our station. Ite
(git clea fom (0) that Xin the qotint of two weal Felis in
Beppe tall plane Kany 0. Bez er ert io aetually analyte
rather than meromarphie; because ey 4H i never equal 0 0, aad
Because e, eit never equal t 1
"We chal stacy the dependence on in greater detail 1 ho periods
sre eubjcted to the ustmodalar wansformaton
fr enthn
a deen tee,
then, rt fate atin do ot ange Therefore by king
Soy, The olser cana mes be permed. Let une wat astaly
Reppert (2) at w/t = wf and fhm ft
SPE 1 food) snd =e 0 od). Unde his conn the
Gorn huge, a wha howe hat
oc a (0
e (EE)=r we (2 )=(L Yom
‘The tandormatons which eliy the cogrinee ration i 0)
form a ebgoup tthe le oup (See 22), Haown th con-
tro aoup meh Eaa OH) rt that 46) a
nde sero. hits prea, when an analytic eonorbic
‘Selon var: wo 8 ou of tier afro nea
itn autor funtion Moro mel, «function which aoe
trerphe wi repel to's ebgroup ofthe modular up i ald =
IRodhlr fanction (or a ite aaa fret.
"We ell hve to dire the bbavar of NG) wer « modular
season at dots berg 10 ha congrats mgr. Te
caer
teint conte mts grt not 20 (5 !)ant(® 3)
Treaty rar gpeas beng ma he nt
case we obtain wf2 = (og 0/2 and a/2 = a/; this oan hat ep
sed esareinterchangn, while remains fed, and ence en aver ino
Go al/le)— 0) =NOA— D. Tn tho second owe wf/2 = on) f/2 =
1/20 tated earinterchanged and Agoee over isto —. Sean
fransformatons ater + lands+ —1/e. We fod tht Noateoe
the functional equations
om wendy a/
35. The Conformal Mepping by Nc). For convene we shall
heweforth ov tho ormalntion oy = 1, oy = 7. With thie choice of
psiode we obtain fons () and (1)
oe wo 3 [eater eres]
Jee eal
seh ni lly ep eaten
Pane ae ope aan ere
trian)” ite ae Segue ean
So ean ee
anenmemecs se
tees (1 2) a the eongrenee hooey sk 28 hare
Gee ee eee ae
ae ae
eee eee
eae
Se gees ge
ee= te anda
the convergence ni-
‘he mre are ron converge ot or
Icom an nr ar compari too
femiorins 510
"The nits can sow be ton termi, and wo find hn 5 ~ m+ 0,
geste fone tem n= Bee LO i 2
‘form with pet tothe real prt of 18 flows frter by
tsroed equnion G5) Unt 2¢)-a4 hea approschat © slong te
NS Ve ond ono or poe of inertaton, ace the oder to which
2) vies taper witha (2) te lading bra inet
(and = 1. The mum of eos or
my Net
for kmr—+ 2.
Tn Big 73 tho rogion 0 is Boonded by the imaginary axis, he Line
or = and the dice jr jf'= $ The transformation +} 1 mage
‘he imaginary sue on Har = Land — 1/rmape Rey — Lonfe~ i=
‘Since 4) areal onthe imaginry xi it ellowe by vue ofthe ations
(25) that iia ral on the whale boundary off.” Furthermore, Xe) =a
+ tend to Oat 24) > © ws tends tins
‘We apply the arrumoct priacile to determine the numberof tre
2) takes nonreal ylos yi Cut off the corners of by meaae of «
‘orisootl ine segment Im = tanditsimager under the unsaforaions
Zr and 1— i (eee images are elon tangent ta the rel a)
For sufiienty Inge titi ear chat 6) m wa the portions that have
‘bun ent of." ‘The cele near y= 1 it mopped by AG) 00 « cure
A= NO — Ie) 1 = IAG); wheres = et ay OS 5 thin vow of
(28) thins approsiately a lange semicirleia Uwe appr bat plana Tele
now evident thatthe ie a the eontou ofthe tunes ron has
‘winding aumber 1 about we iim wy >, and windiog uumir Of
{Im vy <0. Asa remit 46) takes every vloe inthe eper hel pane
‘exacly once in 0, and vale in the lower half place Thin i slant
‘int to guaranie tha! AG) ie monotone on the boundary of Todead,
iit were not, the derieaive X() would vanish a «boundary point, and
‘8 woud be impossible fr w full wemirvlar might of that Bound
‘ry pot to be app into the upper al plane,
‘Taearem 7. The madular function Ne) afte & metowne confermat
‘mapping ofthe egion ono the upper hl plane. The mapping sends
continue othe brundary én uch a ay at + = O, 1, correspond te
we
By rection the gion OY thsi yeniotso to 9 with expect to the
imaginary ais soap onto tho lower half plane, an thor hoch rg
(orithe corepond to the win plane, wept for the pte O ad
We call alo prove:
‘Theorem 8, Bhory point inthe upper hal plane ie eqn wer be
omgrunceexhroup md 2 ecety one pot in OME,
Woreferto Fig 7-4. ‘Tho reader i shed to very thatthe raion 8
lemappecon the shaded rons inthe gure by means th nas tran
formations, I/r,r = L/L = 2G ~ D/nsa/ 1) which we chal
denote by Si, Bu... Sy. The razon ofthe vee tanformations
S01, 6) we fa order
GC 9G dG VE DED
sre ttn nsmms casera
repartee setae
Soeeare ee
Raeaie preeees
Ea“Together the 12 images of Band W cove the set O1U 0 (dosuos should
te taken with rect tothe open half pane).
ety be any poist in the upper bal plese, The wi AU can be
‘deal withthe slote ofthe shaded region in Fig. 74. Therefore,
srcording to Theorem 2 tee exile » modular teanformation $ eh
{hat elena SU" Suppose drs that Sr iain Z We know thatthe
tater of 8 i eomgrntmod 2 to tho matric of wn 5. T follows that
le matrix of 7 = 8 in songrocns to the Hentty matrix; in other
‘word, T belong othe eongranoe mibgroup. Since Sr lis in we know.
Turther that Ty = B48) les in OU (The sume renpaog apis i
‘Bred! Thus there alwaya Tein OU, anda tive eomideraion
‘hows that it ean be shen in DUG
"Phe iguanse flows realy fom the fact that the Sy a8 wal ss
the Sere mutually incogrocat, Wo sal nave tt the reader to work
fot the detail
Exercise,
Show tht the function
adnate
10mg ray
is automorphic with respect tothe full modular group. Where don it
fae the rnesD and J, and with what mullet” Show th
ae
Show als that. J) maps the rion in Fig, 7 nto half lane
rie Pandan ron
§ GLOBAL ANALYTIC FUNCTIONS
Inthe ring bat wo har sr tht fn mt
sl died td ee tno th eof cons
Sa ane # ich se nt tly mined by at als
‘Sonn, «spl tt wn eed fe Saw tte ore
teimsar aslo ran eeceand Whe nae
‘heel fringed ary ds an oust he fcr a 0k
shy fhe ope sth nome fe tk
tot te gore" tha er ed fr «tmp sea,
‘Soars cress ae aches
11. The Weierstrass Theory, Weiztcm, in cont to Riemann,
iar mre retail wate old we hy
‘aalytie factions ttm te enc of power ser For Weir
bese Didi block nat a ree tr aaa
Pe tatoo tae Dee
‘ith pastive radi of convergence r(P). Sus a nis e determine by
‘complex number the cede of the power atin segue [anf of
‘omples elena, The radi of convergence ia given by Hadar
formule r(P)-*= fi a," Ian eat equement that) > 0,
for only then des the power seis deine an alti functio i) in the
soe ae eae
JalGiven pit 5 «D, the fame 6) hs » Taylor developmen
0 2'1) iat ovng nk wh rn AP a
tort) fs bc ry elage "The new mre deer
‘Scab aD hi el 1)
St oni nai." Taper, ine a atl anes
in'B de fr thy ar sl nt ntti DA Det Ds mt
Crease a, the we fat an esi ot 8
tin ie pnp th matron
so Titres enbsepenadan aero ino In hy rar ee
wotvetnomeeys woreion pow atin Pt), Pao
Fle i), obelisk nadir snc cnteoin of he pod
Ge. Te othe wor Pe convent anton fi he de Dy then
feeDesaedjenfesinDei De. Usher folie Bate fe
Se Stoica tact In De Ds 0" De fr
Derwh fen fos kta kp, hee ko ert st
KoTyvin DPD Wi rocely th phy tha len beyond the
foi feo he sm tango one ae th
orm other ex pwc acc Pa Pa .- Pas oreo say
iat ‘P's an anny cmination of Pe” Wiketn ciers the
tei’ all owe arn Pe) tt amb btm rm Pas
ty ayer ennai a pve sno il be called
nels cam in eof Warr
“Te property nt verse tow an anal eontitin of
sector tetas eaecn elton An arly ran oe
Sow of Won tog ut see mn pet oh
‘inion, sd theft mo Pe in digs gion
‘Tike clan "hed shat wo poner ora whieh beg
{oi ome opine cs fern ro he sa eon
112, Gorma and Sheaves, The Weert hoor bas tly historical
Into, forthe atton to pvrer sre and thir dma of convergence
more of indrane thin sbep. Te should, neverdbelaw, be recogtaed
{nt he Men uf Weeedews milly tis fins edertading f
‘mulipe-raluedsee in the they of complex eonlytisfonetions
‘We hal cutie amore dzetepproach whith is ror in ine with the
ema sphtaned dba that dominio tho reeet theory of analy
fuesions of several complex varables. Bocause wf the limited wope of
thisbook we have to be entant o oerow sone of the tnminalgy and we
itt simplify rome prot
‘An analyte fuetion f dein in a rgion@ wll constitute a function
denen, Henated by (sud lta! analy fonction will appear a2 &
‘allestion of function elements which are rat to each oer ina p=
sero manner,
‘Two faoetion elements (0) sad J) are mld to be rc anatic
continuation ofeach othe if 0 710, i nonempty ane fi) = Jae)
ANN More mpeciealy, sf) ik aled a direct analyte continuation
of Gi) to the regan "There ned not exist any dive analytic to
{imnaion to My but thre tae, es unigunly termine. Por ropes
ha 0) sad (90) sre wo direct says eoatimanions a? Ue) en
i= 97380104 ol brea Oy in conned ths imple fs~ gthrogh
‘out th, Wo aoe that ify C0, then the det analyte continuo of
Gus ad.
‘As in te case af power sin we consider chai Ui), Jad,
Unie ich that 0) and ruta) ars ict act cotntions ob
sath other, and we way that ULf2) ivan analytic minsatn of Ga,
‘This des an aquivalene elton, and te elslnce canes ee ale
tl enolic nets. As & typographical deviee the glial salle
{xeton determined by the fameton slement (72) wil be denoted by
bold type, f° Wor more lst terminclogy (72) i lined or
Iranch ff. While termine fwnigiy, the converse 9 Tal tues
ray have several ranehon over the sume 2
1s cute obvious that lol annyte feta ca be ati wth
‘walt fasion inthe cease of Weir, and we have gned algo
‘thing in generality. ‘Thee, however, m more fri pint of ioe
Instead of pis (0) we shal eonsidne pire (0) mbere fm it a0
nati at thas oma, fs doteed nt analytic some oe se a
emaainnz. "Dwo pairs Vat) and Gat) sll be equals icod oly
f= fanod f= fri some neihborbonl off, "The endion for a
auivaono® ration are obvoly fullled. ‘The eqivlenr clames att
‘alld goms, or more specify germs of analytic tionn ach gan
‘Astermips unique the srojcon of the germ aed we se the nated
1 innate x germ with projoction fA fusion element ves te
‘em f for each £0; converly, every & i determined by wine)
‘Th ao wl of osm recogni that the yn fob ere
‘ith the correnonngeoovorgent power cries Ple ~ 1), and wear back
bet we lated.” However, hy intwusing th notion of goon we have
clad an onetil property of convergent jer ecg manly tho fet
‘that tro power sero withthe ame eater ar ential i end nly if thy
Yepresent the same funtion in sone mighiorbeed of the ater, Te
‘ursit of tie iden it tomes clo that wr could equly wll ena
ferns of eter dame of funetins fr lata, gen of entaacun fe.
reve sp Ih an aerm of analyte function, we are neverUsess going to take 9 sihtly
nove geval pint of view
et bean opon tm the complex plana, ‘The sto all germs f
sith fe D incaleds shen over Dr we shall denote iby ® or Gy. I we
tre dealing with yrs of analy Tusctions, Sy is ale the af of erm
(of ena forclione wer D. There 0 projection map x: > D which
rape fon Fora Seed ¢ ¢ D she inverse image +") ie ello the
stale over {its denoted by
"Th mt @ sintering eoaine i carrie & trol! wructse: one
topological snd one algebra. Fist, & ean be taco ino n topolgial
pace, which enables us to pea of continue napping. Sond there
fm obvious algebras structaze on each tlk fo is let Wht we oan
fet mocks a Porth make of simplicity we shal ix our sttetion on
‘he editiveatoctore. Inferno thir strurtre each sal ean absian
soon.
‘Wear ready for a fy general dinition.
Definition 1. A shayf wer D ie a pelea apace @ and a mapping
+ D eh the follwing properties
(The mepping + 122 lca homeonorphion; thir call mean tat
toch 8¢& haa pen neighbor mach tal 8) Hae ad th vition
x00 ia lameomerphion
() Foreosh « D th walle ¥G) = & han he rate of an betion
sree.
{l) Th group eperation re cmtnuous in he epslepy of B.
Aculy, D canbe au abitrary tpolgia space, but we hal think
‘ef D ae an open ot in te complex plan Als the sructre of un abel
tin group can be replaced by othe lgbrae stractares,
"We shall rw vey that cho aa © of gare of analytic futons
sotinfoe the ondiions in Deaton 1. or this parpiae we muse Sn
Introd tapaogy on & Te awkward and untassry, to take © a
tele epson. rend, we nv merely spell tho aubsets of & which are
{be the open acts im the topology. Uur charucerasnon of ope sts
‘Sal be a foie: A ot VC w open if for every 9¢ ther eit
{eneton elamens sch that (1) on) = foe (2 0 determines the
fem t a fy G) all he germ fy detomnined by (0) axe in V. The
Feuer wil ave no diet ering hat the conditions of Chap. 3, Det
‘Sere atid.
With and (a ovr Ibe the set ofall the germs determin
by Gi). Owing tour definition of open eet, i quite obvious hal &
itn open sighberhood of a and that the mapping =: >i Dome
‘pore, Ths cnditin (of Ue efi ed
Condition (i) nes 90 proof. Condition (ii) alo cary, but i
important to uidertund what i evolved. Addition acd mbtacion
‘ake sense only fr germs om the sme stalk; it uelrt to eneder
‘subteuction. “Conider two pore tae with a(a) = ale), = fe Lat
them. be determined by faetion elents (72) and (gf) wild fe «
for tho sae of sinplkity we hase chown the ate for bath fmetion
flementa, If «5 ith (9) = w(¢) = Ghee ¢~¢ le the gore,
eterminod by Y—s, 0) at. When rages ove Qs ~¥ ranges over a
ighbothood of te ~ a; marovae (ef) — x0) — a(). The pr
Jecion tps establish homeomorphisms betwoan fy Aa Af aad QI ie
‘horsore clear that we can sinks oo a1 a eatin
‘ay prseibod neighborhood of sy ~ ry thereby proving the eotlnty.
1S tne pee.
pn iceoe topes seice sat
series aint!
Serceemanmametic ns
Ena
ards tear en
sigs tases ceanee drei
So
cu tyieees ater, 4
roe cers ewe, 2
Heri beeen yeaecess
Sei phkeaietaal iat gre
eee road oh
Rice ag a naveoge
pone homme aracerrnnatctmnstate
seas ere aoa
Heit camera" aecertoe
sexo extiownbrays exis and PCT) he nt eity, From now on the
‘ero cction wil be denoted by 0,
HEU is const and wf EUS), then either» and ¥ ae ential,
or the images (0) sad 40) mo dnjoit. Indeed, te ala wip 9 = 0
tad op = 0 aebth pen
‘We have eared ou this dicuion in tome dtl to sho how the
ontltea work. Tho pal cae ofthe she! of germs of lie fone
loo rather tiv for in that enon F(U,e) en be Interred ae the
additive group of analytic ('nglevelind”) functions oo Eo The tee
“pe eta anton
dee neatertions over the whois compler plane. The eomponents of © rpardd as
‘topologiea! nes, ean te identified with the pubal analyte fpetions
‘To nr this It my ¢ © be gurm deteminad by tho funtion cleat
(el ad et (f) be m det analti continuation of (4); we remind
the reer thet sed ar aumed to be eonmeted. Beenave fo ™ Je
jn a6 Oy the ata dy any of perme determined by these two fetion
ements inereet a aoocorphi images of the set nds re
fonnsted, and the sane iv eoaaqentiy trae of tir union, Ay U
If fotos that all he funetion element that are obtainable from (2)
by a cham of eve sale eoatinuations give rise gyms contained in
te sampoownt © of On the clher hand, lt & Bethe wet of oem
in ©y which can be determined yan analytic entiation (i) of Ga)
1 rodiy sec that &¢ ands comport in are both open. Henoe
1 = ey, and we sel that By comin precy ofall the germs
belonging to» gla! analyte function
neta ofthis Menten, 1 tone mete to regard 86
the domain of tho gh! wali anetin, whi we shall pow dole by &
ita valor at f being noehing but the comsant term inthe power erie
evened with tat ganm. With this aterzetation Sy rood to
{he Riemann surface aff. Wen indeed quite sinise to the lementary
TRiemarm surfaces which wee ify eiied in Chap. 3, Se. 4.3, end it
terven he wane pores, arely Uo make fcnge-valued. One ean picture
{Se ae Bing seen out is lyers over tho plane, andthe sheet that is
Sat cre warts to cll tary are imsgos of etinn Tabou be noe
That wore not yet cing the Leach points, how role wl be invent
‘ad ater
Tor rete laity, lt the Riemann aurfacs of lob analy fn
tion fb noted by Gf, Given two glabalfnetions xed, there ay
cuit wrapping aff) = Gx) such that (2) x2 8 = x and @) Pisa
Keel homesmoryisn. In thowe cisumtaoees > 8's sngle-valued
fencton on Sf) sally, the notations eamplied sad ono agree to
oie intend of g + Tn this way all the derivatives 40% are
Timed on the Romane sifu nf All rls feos Bae ato
‘natal defined on every Sx), abd fg. redefined on G0),
in overy polynomial Gay «>
"There i 9 olan plaspte known asthe pemanece of fentimal
retatoa Seppo Ut eetain Canton lesen (8) (0,
an be outinued salytialy whenever (0) ea bo continued, diet or
{Brough asain of ‘inst "eoatnaationsAawume mormver_ cht
GUgh,-..) = Don. “Then the mune ration ols forall analyte ot-
inition fet that may be expeed ty OU) — 01a pare
[calc germ aon polyol deren aqui GGA.)
tan the iba function f sting the me equation
1.4, Analytic Continuation long Arco. Lela ~+ Co arin
‘he complex pane. Consider a lobe! seat function fw ts Riemann
surface 0, defined, as before, to ben eemaponeat of the she! © of all
‘gent of enaotie fonctions An ave: [oD] —> 0) neat be an
Analyte contisustion af € along ir =F = 1 hen HO peta on 10
forall C4 [a8 Naturally, by the dation of re, 50) sabe coe
‘tinuous on [a3] fa the tpg of B48). Tn woother termine,
lao called tng of» w O10).
Continuation slog ax are coresond tthe lative oton of |
contououly changing. germ. The extence af x cortiniaton it tot
suaranted, bot the folowing important uniquenes there » vai
‘Theorem 1. Tue anaitic continuations 9y an 7s of yeh analyic:
Suction lang he rae are are ier enti, 70) 92 940) for al
‘he pot i eily. Donan «i oa msrp the
image 7 Feet ena port of th nr son os ng
‘By vir ofthis thaorem a onination i iq determined by itn
ina vale he gem); tel gr ote fn fb may
Seve emer Ons ial ard war
the right fo spank of he anti cotaaaton fem tat em,
(Gate sunt ee enemucaeerecnan
Way ‘well poe hat f dt wot ve cotinnaen slog , oF
‘hn contin xt for sane nl gemy but tt for Law
investigate the exe fan intial gar ich ona be cote Song
1 Hte> aise hse to they ml ways ads stivation
i the io gem alg the sare fy ht oeroads terra
ln inde is dterined by ha fonction eae, tas
{evilly th ofthe sabre tonto phe let type baad
‘talloch ins number + with «" eS "= * and comenponding eoced
‘rves + ch thatthe continuation of te nal gar along des
at led back the same germ. Bar bof Ube form extaec! where
ibn welldctenioed polymon leading from 0 to the lower Iefehas
emer of RO" and Ty dnotan the permetar of RY; mansves, ex bea
bare of en,
‘Arn r= the rectangles converge to pint Pa and the poles
frm, inthe int a are ending at There oft a continuation
GF the intial gor along op3 i lensinatee with 9 gorm detrmined by ©
facet element (2) Over the Sage of Py unde he rpping Gs).
or suticienty larg m the mage of T, wel Be ents nh, td the
‘germ obtain x the terminal pant ofo willbeiong to the function element
G8). When thins the owe the elomeat (0) can booed to constret
‘"ceainaition abing = which Tends back to the iil germ This
tenteudte the property iy which x wn chow. aad we have prove
thatthe cotinutin long ees withthe inital germ
"The menadomy Shen fig, aero all, hat my gba analyte
funetion nhich ean be continued along al arc in » ply connate
‘econ determiner one sngl-yaloed enalyte fosstion for enc shaso of
the iil branch, Thi fact eat aun be expressed Uy suylog tht ©
“Riaiean surface (witha branch points) overs ply canned region
‘must ct ofa sage chet.
Wo ean Turter daw the consequenes alrndy announced, that &
resion whote honetony esp reduon co tha ait cement. mos: nicer
‘arly be simply eonmeted. For eppowe that Oi multiply connected.
‘Then ther exit abounded comsponeat By of the complamant of Gand
it sede we koow tht log (¢~ 2) is uot sloglo-vaucl in @ By che
‘anodromy theorem i flows that the Lomotogy soup of @ cannot
recuse to th unt elment
‘Thins the Ist ep toward proving the equialence ofthe flowing
thee cburactrastios of simply connote regis (1 ity br
novied if ta complereat is comnertod; (2) is simpy connected if ie
hhomeomorphie with «dik; (3) 0 eirply connected ft fedamontal
group reducer uo the unit element.
eee ee a cee
ear reendants rtm ot ede as
See eee
Frei brta ped
Coen eee ee es
0) = 1 — wel) + wr 1,
st) = on + a,
eee
Scie icae one ot eee:
ee eee
ea eg ale
See eee cee ete a
Hedman oe ke ie
ST tin wie pee er te
Pep ary peep aetna
enrmine eiceaare e hy ra ,
Sicunee Teta reas peat eh a
Tea ca weal pe te eae
cee icra reece ant th ete
Te rah cutes meet
pce cose eye!
SORA ts, Rem ert
ee oe olka ten Re ie
flay Stag weds ha fe Ait
comers
are cay seatpost sec cvs
cca pb Piers tel eo
Seb ete een one
Serta cin ee Pei ey
‘Ther inthe full clrle. Conmauenty, evry slosed curv hemotopis
Toe pomer af @.
ip bate weaion, we ober that Coie homotopic to only itim = 8, ‘This
seen by the fot that
[etme tet,
hile ifthe curve were homotopic to 1 the rtgral would have to vanish,
‘From our relia we conclude tht he fundamental grosp af tho pune-
‘red disk isizmsorphie to the oddto royp of tater. Rvdently, wa
ssbiteary annulus has the same fundamental group,
‘We comer now a global ancltie fmetion€ which can be eontinaed
song ll eres inthe panetured disk 0 < fe] < p. We chor an iil
fg tt 25 = + and eontinue it along all curves C%. Exhor the oon
{lngaton never resarm to tho nal ger, o there ext small postive
Indep hoch that C™ leads back to where we rartd. In the later exe,
elm = hot qwithm an integer and sq 0 ll germs (8) wit I~ e) <#ebtanal by
suteingin(®) asinglevalud seek fe 4)" dined ina neh
bod off.» The reine topaogia spmen wil be mau inte seme
thst evry pin, insding tho brush poi hae w ncigborkoad which
ishonseomarpis tox di,
Ine Weert ieory iti customary to easier the totality ofa
over ses developmicat including the fratonal one that are cal
fle by analyte coxtination from & single on, and otal in enaic
empwation analytes Geb)
2 ALOEMRALe FUNCTIONS
‘An equation of the form P(ws) = 0, where Pt piymoial in two
‘uvnbls has foreach» ite amber of elution (3), =, wa).
‘We wich to show that thee rote oan be oterreted a values of 8
soba analyte funtion (2) which inthe calla a aera faction,
Convery, is global scaly fnetion i given, we want tobe ele to
tall wheter it dos or doe not esi a polynomial equation.
2.1, The Resultant of Tuo Polynomials. A polynomial (wz) i two
variables is seduce if Ft casnot be expreand tthe prt of two.
polynomial navn f which i soatans, "awe pelynomiao Pond @ ore
‘elt prime i they have no ooranonfaetar exept fer cote
‘The following thoorem is lgebsle Ia charanar. Becatos ofS
fundamental importance forthe teary of alesis Funeione we will
nevertheless produce it proof,
Theorem 8. 1/Po) and Qo) ee rlatialy prime polynomials there
are only a ie numberof vals for which the equations Pez) ~ 0
‘and se) = O have common re
‘We moppore that P and @ aro ordered sscoding 1 dereuing powers
of w and mt Qa) = Bsr sk == + gC) where Bl) at Meat
cally nro. IEP individ by Q, th division nlgritim ye «guoaent
fd reminder which are polynomicle in w and rational function in
‘We se up a Fucldean algorithm of the fore
P= ot
2 = ou + Ra
“ fat = lls
cas = tes + Re
bee the Q, and 2 ae polynomials iw and = while the ae poly-
nomise in # used ta clear the fractions. ‘The dagrese nw ofthe Re ro
decreasing, and Ris» polynomial in alae. If f(a) weve deaiely
ser, the unique factorinntion theo ipo, bythe la ton ia (4),
‘hat Roa would be dvi by any ireduebl factor of R- which sof
poritive degre in w. "The sano ressoaing shows, rap by sap that all
‘he well a Qand P would be vse by the ave feta Tha
‘centary tothe assumption for Rs bof pontive degee in and tr
‘heneore have a irda factor which contains we
Soppore now that Pleats) = 0 sad Olona) = 0. Sabaitating
‘thes values in (6) wo obtsin (et) = 0,» Resfwyn) = O and
finally R.(o) = 0. “But nee By not identically er, thee we aly 8
finite nuzber of 2 which myths conton, andthe thee follows,
"The polyacmial (0) i ealed the revlon of P and @. More pre:
nly, if we wish the Teutant to be usiguely determined, we shuld
gui thatthe exponents in () ae ofthe lomet degree pete. We
‘re not eo intersted inthe roultant atin tho statement 0 Theorem 8.
‘The theorem wil be applied to aa reducible payor PG) un en
patil derivative Po) with epost tow. "Then polynomial te lee
Lively ripe as ron as Phas poative degre ia wand th relat of
P tad Pin caled the dicriminand of P The seen ofthe Cees
‘8 the vals 1y for wish the eauation Prin) =O han mine me
‘We nota, sally, thatthe rnltant (2) of aay two relay fe
‘polynomials P ad Q ean be writen inthe form R= pP + o@ whore
and ae plyaowials. This follows ininediaely fom (4)
2.2, Dainicon and Properties of Algobrale Functions. We beg
ty formulating a preindefrtion:
Detiniton 3. A global anattic fnaion £ i cllod am apron
on i ol ie faction eementa (i) way vlan POS) a) = in,ohare Pa) iso polynomial which doe ct vith ential
Because of the permaneace of functona relations i eflent to
secure that ote fuscton clement anesthe equation PU)
‘The othere wil then automata sats the sae rlsen. Morcover,
‘may be assumed thet P(e) ia a iredable polynomial. Suppom
eed that PCa) has the factonnaion P = PiPy Pein iobuctln
factor For auy Sized point 26 one of the exuaions PAUt02) = 0
rust hold. If we conlder 4 Sequence of diferent pinta 2, €0 which
{ead to a initia 2, then ove of the relations P,((w)s.) oust bold
ately often. Tt follows that this partir vlaion Pfs) = Oe
tnd Hdentically in 8 and, consequeatly, by all tbe fanetin elements
ff. Wo aro thus fea to replace P by Pr z
Rin ul cay owe that the reducible polyoomial P determined by
sn algebra fonetion i unique up tos constant factae. Tis an em
{ial diferent edule polynomial, we can dolaraine tho reutant
HG) = pP + QI PUG) = 0 and QU) 8) = 0 forall £69) we
‘would obtain M2) = 0 in coatary tothe fat that BX) i not Kent
tally sero. We note that P omant reduce to 4 polynoala of # slave
Ei contains oxy wit mat bof the form wo ~ a, eed te felon f
reduc ta the ceatant
‘We prove net that there exes an algebra uneion eoreepondling
‘to any inedube polyooial P(w2) of positive degree iow. Suppow
at
Poop) = eladur ashen + + ta
1 mn sther ne of she pokromial enor xr of the dis
saat of P, the eauaton P(g) ~ O has exactly dati’ roots wy tn
Sev ste Under ti condition the flowing i tre:
Lemma L. Thee exide on open dak A, conlaining and» function dle
‘ments Gus Only» «+ + Un) th tae proprtier
pel ee
oaerotpe seamay ante
nae rere od
koe
Ane
1 eis replaced by s, the integrals become well-fed continuous func=
‘ions of in a uelghorbood of 2 Sinoe they ean only ake iteger
vale, thare exist wneigiburood each that
1 / Paws)
aa hee =|
{orl ze. This mesos that tbe oquation P(e) ~ 0 as actly ou
oot in the dak fe ~ | — 0 for
1, (6) i map by 27> i fellows that all terms exept he
fiw tod so tro. ‘Thit 8 contradiction, and we may eondode tha
‘s) hot rac an algsbrae pole at infin.
‘To mu up, we have proved shat an algpbais faction bas at most
‘igbrae ngalatien nthe extended pane. Wo wl now prove 8 coo
{rere of thin slaiement. Th onder to obtain converte fix ewenil 10
‘sidan sorption which implies at there ace only fie umber of
branches ato given pnt
Tet be global analytic function. or each ¢ we wou the x
inlece om puncraed dink 3 entre a och that al germs otf whieh
fo dened at point yam be cotiocd song all nes 2 wd show
‘Tnbresebrseor at. ‘Tho sorption eal be atid elo for c= =,
invwich cae & inthe exterior of cle. Moreover for ono i must
‘be mune that the munberof diferent gem a ui it,
‘Since the extended plane oan be covered by a finite aurber of disks
1, the eater inlode i fllows that ely ite numberof pint ex
Tetfstivedagaloita; we daote these pints by cILiey trove
thot the nunber of onan at any pont = cy la eoastant, Por every
feck pola has a oeighbortd kn which all gra of xe sigl-valued
{Ted can be contiowedIroughost the aeghboriood. I folows thatthe
et of aia with exslly'» gor open (ex bo faite cr init).
‘ince the extaaded plane minus Ue pinta eis conseind, ely one of
thes ote ooempey. Hanes b constant, by amumtin it exnnot
bernie, and fe eannot be aro snc in Ut case Fwould be a eat
‘lion of function cements.
"Tobratchen at any point # cmay now be denoted anf) ==
‘fe eeept that the ordering emai indeterminate. We form now tht
‘mentary symmeti functions ofthe i) tha is toany the coaienta
ofthe polyno!
= hlante = Ho) «++ Ce £000.
“ha et wl eed fenton ed ovo nao
Srp la ha “seen‘swe know that each i) may grow towne infty at mot ke nega
tive power of [2 ol. “The mmo is beac tebe of the elementary sn
mete funciona, Wo conelade thatthe iolated singlaiiy,inclding
the ane a infinity, are wt moet poles, and contmquenty the elementery
‘symmetric fonctions are rational nein sf thee sraron devonh-
‘ori denoted ty au), we End that all branche) mon satily &
polynomial equation
BE + ae! ae) = 0,
dit is proved that Fs algpbric.
ito eny to settle the point which wasleftopen nS 22. Sup-
pote that the funtion elomeat (0) aaier the equntion PU) = 0
hice P it ieredcile and of degre m ke. ‘Then the soresponding
loa analyte function f hae ony algebra singalariin and ite
Duma of branches Atcording wo what we havent own f will any
‘polynomial equation wee dire fo ua othe ramber ef ranches, Th
wil hence aatity an iedasble oqunion whose degree i not higher.
But th only freduriblogeation vt ean stiey i P(e) = 0, wa is
‘ogre isn ‘Therefore tho mamber of Daschee neatly, ad wo ave
shown shat ll ations of Pl) = 0 ae brass of the une analyte
funation.
Te remains only t lt the rote:
‘Theorem 4. An analytic faction i om algera ction fit has a fe
amber of bronchen end of mow algraic sigur, Bey alpiraie
Junction = Ma) stron on sreducle equation Pua) = 0, nique up
1 const fac, ond wery cwch equation determines a arreponding
‘lero ncn ei
{tia ako customary 4 may that aniedcible equation Pea) = 0
deines aa aerate cure.” The theory of algebraic carve ins hghly
‘developed branch of alge and function tory. We have been soto
‘evel only the mont elementary pasta the feson theoreti spect.
wexancise
‘Determine the postion aad nature ofthe sogulstonof ho slanbrie
fonction dined by w! ~ Su + 22" = 0,
2 PIcARD’s THEOREM
Tm this section we sall prove the exlebrated theorem of Pier, which
‘ere that a8 nl fusetion ote a nest ote ile vale. We shal
‘rove tes an application f the monodromy theorem (So. 1, wring the
rwodalssfenoion Xe) (Chap. 7, Bebe sad 23) in ah venti ay
‘This is Pica own proot. Many eter proofs have ber given which
‘are more clemeatary ie that chey need lms preperation, but note in at
easiatg an the original rot.
3.1, Lacunary Values. A complex number as asi to bea lewnary
‘sae of faetion 6) if 73) m8 inthe region where fn cated, Yor
inate, Osa lncary vale of inthe whale plas,
‘Thoucean § Pear). An ents fection with more dan on fae let
sary vale race conto,
We rrall that an entire fonction) i on which i analy in the
whole plane. If a und bar distinct tite values and ff) i dient
frou db for alls, we ae ried to how that fe le conan.
Consider fi) = (le) ~ 0) = 2). This fonction is enire and 0
snd 1. Tfr is octant ff. Thraore tno retistion to eames
{roma the begining thet = 0, = 1
‘We hal dein a global analy fonction whase funtion elements
(a) share th fllowtag property: Im MG) > 0, and Nh) — J) for
100, Tere 26) isthe dul funtion defined in Chap 7, See, 8.
1 willbe showa thas hean be cotinue slong all path. asthe plane
ia simply conaceted it wil follow by the monodromy Ahroeay atk
fn an entire funeam AG). "Boeuuge A) har all Re values i, the
‘upper half plane, eis hounded. By Liouville thoten:hsnuet reduce
10's constant, nad wm doef) ~ XAG)
‘By Theorem of Chap. 7 Wane exit point rin the wper bal plane
such that Xn) = JO). Because Xo) 70, by the sae Corer, thee
‘isa aloalinveraof 9, sine ins aeghtorbood dv ol 0) end devoted
bby A, charcteraed by the condone X0s'(w)) =n Ayand
25") = re
‘By continuity hero ie a neghbobod yf the origin wish J) «Bo
so wo ean therefore dete a) = As") in So We hal let he the
ddobal snaytio funtion obtained by ooatisting the fuzeion element
{0.09 in al ponibi wags.
‘Wie hnve to abow thatthe element (0) ean bo eontinned long al
pathy sod that Kn remain postive. If tha were not wo, we ould fd a
‘ish 70) wih that hon be continued sod nh ena live upto
any 1'< whl thee beaot be aml ap ta fy oF ve LAC]
tend fg We oan elon alae thn ae
relane with No) — fod) aed lal iver A with EHO) = na
etined in mughtrhood 3s of fly@)] Let 0, be a ueghborioed af
‘in which i) « 2 and choee ty < 90 et 0) €or € Fal
‘We know that 4) has the sae Fate ft) abr = Ml] ad =
AUbOND. Hence, by Theares 8 of Chap. 7, thee txts modular
‘rsaalomstion in th congrusne eubgroup med 2 sch that
SINFirtaD) = Ho)
We now define hin Osby hie) = Sx") Tes evident that 4)
len continuation of hap tot, whch staland(()) ~ fe) and Linh >
‘We eoneiad that h ean indesd be contnne along wl ps, and a we
ave pated out, Pear'echerem follows at once
‘We have cari out the proof in sch paitaking detail in an effort
to convince the render thatthe monodromy theorem pays ax cecal &
role the proof sa the medal metic,
LINEAR, ENTIAL EQUATIONS
"The thoory of eobal analyte functions maken it pombe to say, with
‘great dpe of ganealiy, the ecrple sitions of ndinary diferent
‘ogoations Of all deren‘ equations the linear ones ae he senply
‘Sb aay the moet pera, A liner equation of order mls the for
0) SE + aoe +a caf +acie =a)
shore the conficints ae) and the right-hand member H() are single
“aloe mune fupetins. Tarde to simplify the teste we rect
ar attantion t th cas wbare thew Sanetioan are defined in the whole
‘oo; thoy wre thus asuned to be ete factions, A elon of @) la
‘Boba tale uation € which matte the entity
o oe retary
‘We have alesdy romain that this isa easiogfol oquation and
‘at tis flfled season ara function eleent (fof Fenian te core
‘sponding equnion wit freplaced Uy J." A fonction arent with tis
ropety wil bo ead «Leal sellin.
"Ta ronder who fnliae with Ue rel ea wil emoct the equation
(© to have nlinonly independent saatonn "The in mom fara eal
‘elutions are concerned, but wo rust be prepared to Sed tht difereot
local wootions eaa be tlemanta of the sume global analyte fern.
Tnotier words inthe complex eae pat ofthe probam So nd ont
‘what extent the oe! selutons are slyteenatnnations ofeach other.
"Th equation (8) 8 hmaponoue if a) ienealy sere, Thi
‘he mow important eas ef the only on wo wl teas, Furtber-
more, we ca ative the the eoalients af) have no cemmon seus
infact if ts were scomuon zero we cold did ll oficens bre te
‘nd the solutions would remain esate. Asn matter oft eae
‘iling to consider meromorphic coetBcients we nay dvi () bye)
{com the beginning. Convery, sn oqustion with meromorphic coe!
Sicha is given, cach cootient ean be writen ase quotient of bo entre
fencing; efter multiphicaon with the comes dooominsor we cota
sn equivalest equation with entre cufienta. It i this Ilerant
‘whether we door do nt allow the cognate to have poles
Ta the cae m = 1 the equation () han the exp eolsion
ao Se,
‘The only problem is sho to detamine the miltip-vaied charter of
the Sater, x question which has already bean treated, On th ator
Ihand, the case n= 2 is found to have all the charters features of
‘he goveral enc. Pr this reamn we find i icant to deal with hose:
sensous liner diferent! equations of the second order
4.1. Ordinary Points, A poate elle un ordinary pont fr tne
‘itera equation
ao) Ge ae! + axohw = 0
tnd only He) #0. ‘Te central then toe prove i che
wing
‘Theorem 6 ft is erinary point Jor the spuntion 0, there ete
1 local elution i, 25 €0, with arin dered vl fes) = brand
SG) = by. The germ (2) aig determined.
‘We prefer to write (10)in the fora
a w= pon! + aie
ince 7) = ~Ai/eu a2) = —ay/ee “the semmpton sens thay)
sod (te enalytic in a nughborhood of ay; for sonrenence we ony
kos, 0. Let
aa 20) = mek pet pet
Oa abned tae
‘be the Taylor developments of 7) end 4)
In onder to solve (11) we um the welled of indeterminate ceef-
‘ciate. "tthe thorem is tr, she selaton ‘© =f) soa have 8
‘Taplor development ‘oragenct ag
“om = nc ae03) {= deb bebo bbe
hase coficiente satiny the conditions
2a = bape + ba
= Diape + ips + Date + ba,
nls = Db. = Diet (Blt + Pe
seb beat tha
an
‘This sendy proves the woiguenest. Al that remains ta prove ie that
the equations (14) lad tom power ois (15) with « postive radius of
convergence. It will Ux fellow by pormivable operons of tra wie
Aiferentiation, moltipication, and rexrangement that (12) ia seuton
‘of the equation with deed itil valee off and
‘Siar the sros (12) have positive radi of corenrgnee thee ent ky
the Cauchy ineguaies,constante Me and ro > O euch tat
nl s Mest
ae led 5 Mew
Tn over to show tha (18) hs ikewin& positive radu of convergence,
ielweulicent wo prove similar inequaliee
a) ba sates
for amiable choice of A aa
"The natural denis ta prove (10) by induction on n. In thet place
(16) mas hod fo 9 = O'aad m = 1 this ead to the preliminary cone
ions Ul M, [Mfr whisk are sated for euleenyIrge AL
fd euicinty inal 7. Aseumo (10) tobe vald forall abscripa the (8) esa of te ropa 1Index
Abel. Ht 38
‘Abe's init toremy, 41—42
‘Abe's power stis theorem.
shea
Absolute convergence, 35
‘Absobte value 6-8
‘Accestory parameter, 237
‘Accumulation point, $3
‘dition theorem 43,277
‘Ative group, 298
Algebraic eure, 306
‘Algebrae fonction, 300306
‘Alacbrae singular. 293
“Amplitude, 13
“Analy are, 234
‘Analytic continuation, 172,284
Analytic function ee Function,
‘analtc)
Analytic geometry, 17
‘Angle, 14 46,88
‘Apollonius, 33,
Ate. 67=69
snalytc, 234|
‘Siereniable, 68
Sorina, 68
Ace
opposite. 68
Feet, 104165
regulr, 68
simple, 68
‘Are fengih 75, 104
‘Area, 75-76
1.46
incl, 152~ 154
i
‘ArzelarAscol theorem, 222-203
‘Assocatve lw. 4
Asymptotic development, 208
‘Automorphic fneton, 270
‘Axis
imaginary, 12
Bal, 32
closed, $2
Bares, 250,
Beardon, A.
Bergman, S161
Bernoulli J. 186,205
Bed: F.W. 31d,
Han,iective, definition, 65
ioral equation, 1516
Bolzano-Weierstas theorem, 62
Boundary, 53
eta, 252
Bounded st, 56
‘ounded variation, 105
Branch, 288
Branch poet, 98,299
Calls of resis, 148161
‘Canonical asi, 268269
‘Canonical mapping. 251~ 261
‘Canonical product, 193197
Canonical region, 252
Cantor, 63,223
Carathondory, 24
Cauchy. A 25m, 148
‘Cauchy principal vale, 158
Cauely sequence, 33
(Cauchy's estimate, 122
‘Cauchy's neal, 10
‘Cavehys integral fort,
Mia 123
CCanchy'sinewal theorem,
109123, 13718
Chain, 37-138
‘Change of parameter, 68
revere, 68
Crt of convergence. 38
Closst curve, 68
Clowed se 82
Closure, 32
‘Commnative Lae 4
‘Compaciess, $963
‘Complement, 50
‘Couples fonction, 21—47
‘Complex integration, 101—134
Component 37
‘Conformal eglvaenee, 251
Conform mapping. 67-99,
229-261
Congrucace subgroup, 278
Conjugate diferent, 163
‘Conjugate harmonic Finetion,
23-25
Conjugate number, 6—8
Conmected set 8458
Connectivity. 146— 148
‘Connell, E101
‘Continous fuscuon, 23,6366
tniformly, 65
Conte, 109
‘ner, 252
‘wer, 282
‘Contrtetion. 35
‘Convergence:
absolute, 33
circle of 38
‘ior, 35-37
‘Convergent sequence, 33
‘Cota! pont, 304—306
(Cross rato, 78-80
Curve, 6
“Jordan, 68
level #8
point, 68
i, 293
oye, 7-138
etait integral. 101
de Moive's forma, 15
De Morgaa law, 51
Dense st 58
Derivative, 23-24
Differensuble are, 68
Diller equation, 275—277,
Son 01
Dirichlet problem, 248251
Discrete set 58,265
Discriminant, 301
Distance #1
‘oneuciiean, 136
Sheil, 20
Distributive law, 4
Domain, 63
Doubly periodic fonction, 265
lement, 50
lips, 95
Eliptic function, 265281
Epic itera, 239
Elite modula faction, 278
lipse trnstormation, 86
Empty set 50
Entire function, 193, 206212
Equiconaiity. 219220
Essential singularity, 129
Euler, U4, 44 19
act diferent 107
Exponential fnetion, 4247
Exterior, 53
Fibonacci numbers, 184
Fld. ¢
Fixed point, 86
Fourier development, 264
Fraction. parti 31, 187-190
Fresnel tes, 206
‘lgelnai, 300 — 308
analytic, 2478,
etm of, 285
‘tal, 283 ~ 321
comples, 21— a8
‘conjugate harmonic, 25-26
‘continuo, 25, 6366
oie, 193, 206212
‘exponential, 42-47
‘emma, 196205,
Function
‘Green's, 252, 256-259
Inumonk, 25,162 -174,
pied
hnlomoepbi, 21.24
bypergeomesre, 315-321
itera 113
regular, 127
semicontiouous, 247
slngl-valued, 22
is, 212-2i8
‘Punetion element, 284
Functional, 169
Functional equation, 216217
Functional telation, 288
Fundamental group. 294
Fundamental region, 899,282
Fundamental sequence, 34
Fundamental theoremat astra,
2h, 12
Gamma funeton, 198-206
Gauss, KF, 200
Genus, 196
Geometric veres, 38
‘Gorm, 284
Global anal function, 283-324
Gourst, E11
Greatest lower bound ig), 55
Green's functon, 257259,
Hadamard, J, 206
‘Hadamarsformala, 9
Hadamari's theorem, :05—212
Hadamard’ thee-crethoorem,
166
“Harmonic funtion, 25,162 174,
‘Dat ~244
4
Hamack’s inequality,
Harnoct rncilel 20 0440.
diane sceHeine-Borel property. 60
Holomorphic unctio, 21
Homotogous, definition, 141
Homology tusis. 147
Homomorphisa. 45
Homothetic transformation, 77
Homoxopy, 291 —300
Hurwitz A. 178, 225~226
Hyperbole. 95-97
Hyperbolic transformation, 86
Hypergsometrie deren oqu-
ion, 315—321
-Hyporgcometric function, 317
Lagrange's 9
ae, 63.73,
Index of pict 114118,
Indl equation, 312
Indireesy conformal mapping, 76
In 95
Infinite product, 191,
Init. 18
3
Iniective, definition, 65
Iegr, 101108
Imegrl domain. 4
Intersection, $0
Into, definition, 63
verse function, 65
were image, 63
wolutory transformation, 7
reducible polynomial, 300
Tsolted point, $3
isolated singularity, 124
Isomorpaism. 5
Jacobi K. G3. 241
Jacobian, 25,74
Senses formula, 207 208
Sonden are, 68
Sordan curve, 68
Jordan curve theorem, 118
Kernel 45, 161
Kobe, P 230
[acunary value, 307
[Capange's ident,
Laplace's equation, 25,162
splcia, 248
[arent series, 184186
(east upper bound lub) 34
Bs
Legendre polyaomia, 184
[Legendre relation, 278
emg, 75,104
evel curve, #9
ies inferior im ini, 34
ims superior Gin sup i). 3
imi 22-24
oat pat 62
inde, ©, 97,208
ine itera, 101 — 108
Liner eiferetal equation,
106-321
Linea group, 1578
ear traneorsation 76-89
{Coal mapping, 130133
cal soiton, 30%
{ocaly bounded family, 225
Locally connected set 38
Cocally exact ferent
14a 196
Loprithm, 46—48
Coxedromie transformation, 88
ca’ theorem, 297
Me test, 37
Major, 77
Marina:
conformal, 73-75, 29-261
‘contious, 646
focal, 130-135
schlich, 230
Sle, 260
{opoogical, 6
‘nivaent, 230
Mary, F226
Maxim, 56
Maximum principle, 133137,
166
Mean-valve propery, 165-166
2220)
Meromorphic faction, 128
Metric space, 51
Minimum 56
Minorant. 37
Mitag-Lemer. G. 187
‘Modula funtion, 278
Modula group, 267
Modal 147,268
Modus, 7
Monodromy theorem, 295-297
Morem's theorem, 122
Multiply connected region,
16— 14
Natural toundary. 291
Newhbomood, #2
‘Noncuclidean distance, 136
Normal derivative, 163
Normal fail, 219=227
One to one dfiton, 65,
Onto, denon, 65
‘Open covering, 38
‘Open set 52
Onder, slgebnac, 128
‘fa branch po, 98
ot etire function, 208
fa pole, 30, 128
Df atonal aneton, 32
‘of zero. 29, 127
‘Order elation, 5
Orienaon, #3
Osgood, WF, 2300
{@onction, 272-277
Parabola, 99
arable transformation, 86
Parallel ransaton, 31
Parameter, 68
‘change of, 68
arta traction, 31,157 190
Peri, 45-46, 263
Perron, 0.,245, 248
46
Picard’ theorem, 306308
Piecewise diferente are, 68
Plane
‘omplen, 12
tented, 18
Plonkett RL, 101
Poin, 12, $0
‘sociation, 33
‘ranch 98, 299
Sued, 85
Isolatad, 53
ondary, 309
Point curve, 68
Poisson formula, 166~ 168
Poisson Jensen formu, 208
Pole. 30,127
‘algebra, 299
Polygon. 37
conformal mapping f.235—241
Polynomial, 26-29,
sce taalPorc, P 10m
Power series, 3842
Principal branch, 71
Probability integral, 206
Projection of germ. 285
Ratios function, 30-33
Real umber 1
Real prt
Rectangle, mapping on,
‘2241
Rectifble ar 104105,
‘Retection principal, 172174
Region, 57
owed, 57
‘termined by 9. 116
Regular are, 68
Regular fneton, 127
‘Regular singular point, 311—313
Retativly prime, 300
Removatle sngilariy, 124126
Residue, 18-161
Rese theovem, 147—151
Resultant, 301
Riomana, B.. 258
Riera mapping theorem,
79-235
Riemann sphere, 19
Ricmane surfce.97—99,
M9235
Riemann zeta fUnetion, 212-218
Rovehes theorem, 153
Schteh fneton, 230,
Schwarz, HA. 135
Tema of, 133
theorem proved by, 169
SchwaacChrstofi formal,
26238
Scowarz tingle function. 241
Sehwarzian derivative, 86
‘Section, 257-288
ivrgen, 33
funiamentl, 33
set, 50
bounded, $6
closed, 52
‘compact, 59-63
Sonnected, $458
‘dscrete, $8, 268
empty. 50
totaly bounded. 61
‘heat, 286
Sheet, 97
‘Simply connect region,
139-148
Singevalued tution, 22
Singer path, 289
‘Sinpiar point, 288,317
Solution, 308
‘Space
"complete, 58
Hasdort 67
metric, 51-58
Separable, 33
topological, 67-68
Savare root. 3
Stalk, 286
Stereograpi projection. 19
Stings formals, 201-206
Stolz angle, 41
Straight in, 17
Subcovering, 39
‘Subharmoni function, 248-248
Sun. 35
Sutjective, defntion, 65
Symbolic derivative, 27
Symmetry. 80-85
‘Symmety prinine, 82,172
Tangent, 69
‘Taylor series, 179184
“Taplor’s theorem, 125
“Topological mapping. 65
‘Topolsical property. 65
‘Totally bounded set, 61
‘Trane finetion, 253,
Tange inequality, 241
Teigonometne factions, 43—44
Usiform continuity, 66
Uniform convergence, 35—37
Unitorizing variable, 300
Unimodolartrnstormation,
366-267
Union, 30
Uni curve, 295
‘Univaent fonction, 230,
Vector 22
Vector addition, 12
Wolersrass, K.63, 129,283 284
Weiertrace M text "7
Weierstrass @unetion, 272277
Welerstrass's theo 175-179.
Whybur, GT, 1Oln
Winding number, 1118
Zero,29, 127