43 views

Uploaded by ucaptd3

Mathematical Tripos Part II Further Complex Methods
Michaelmas term 2007 Dr S.T.C. Siklos
Wielandt’s theorem
This very striking result theorem is a uniqueness theorem for the Gamma function: it says roughly that the Γ(z) is the only function that satisﬁes the recurrence relationship Γ(z + 1) = zΓ(z) and is bounded in the strip 0 < Re z < 1. The key step of the proof uses Liouville’s theorem but there is some ﬁddling about to do ﬁrst. Compared with every other result in this course, it is moder

- [cikgujep.com] MS Terengganu P2.pdf
- Dawson, 2016 - Was Wittgenstein Really a Constructivist
- Cox Theorem
- abstract algebra theory and practice
- Proof that a perfect cuboid does not exist
- Math4301 Project Template
- Angle
- 038_00_www.pdf
- Math Task Assignment
- Takehome Akhil
- Coffee With Aristotle
- VI.3
- Towards
- Gamma and Beta Function
- Logic Week 6 Lecture 1
- Introduction to Metalogic Version March 9 2012
- Math 116 week 3
- M3 (2016-2017) Term II Unit 1
- Cenbin Nook
- Spm Mat Trial 15 1

You are on page 1of 2

Wielandts theorem

This very striking result theorem is a uniqueness theorem for the Gamma function: it says roughly that the (z) is the only function that satises the recurrence relationship (z + 1) = z(z) and is bounded in the strip 0 < Re z < 1. The key step of the proof uses Liouvilles theorem but there is some ddling about to do rst. Compared with every other result in this course, it is modern, having rst seen the light of day in 1939. It is not the only uniqueness theorem for : there is also the Bohr-Mollerup theorem for which the extra condition beyond the recurrence relation is the convexity of log (x); and various other theorems which require certain asymptotic behaviour. The proof is not only interesting and very neat; it uses some of the core ideas of this course. It is important to understand the proof, but not to be able to reproduce it. Wielandts theorem If F (z) satises: (i) F (z) is analytic for Re z > 0; (ii) F (z + 1) = zF (z); (iii) F (z) is bounded in the strip 1 Re z 2; (iv) F (1) = 1; then F (z) = (z). Comment: if, instead of (iv), F (z) = k, then k 1 F (z) satises the above conditions (the recurrence relation being linear) so F (z) = k(z). Proof We proceed by means of two lemmas. Lemma 1 Let F (z) be any function satisfying (i) to (iv) above. Then the function f (z) dened by f (z) = F (z) (z) is entire. Note rst that conditions (i) and (ii) of the theorem show that F (z) can be analytically (meromorphically) continued to Re z 0 by the method used for (z): F (z) = F (z + N ) z(z + 1) (z + N 1) Re z > N .

Thus f (z) is dened for all z, except for possible simple poles at z = 0, 1, 2, . . .. However, condition (iv) of the theorem shows that the residues of F (z) at these points, namely F (1)(1)n n = 0, 1, 2, . . ., n! are the same as those of (z). The dierence function f (z) is therefore analytic at these points (think of the Laurent expansion), and hence entire.

Lemma 2 The dierence function f (z) dened in Lemma 1 is bounded in the strip 0 Re z 1. To prove this, we establish boundedness in the adjacent strip 1 Re z 2 and then use the recurrence relation. Since f (z) is analytic, our only worry is the behaviour as Im z . Since F (z) is bounded by condition (iii) of the theorem, we can conne our attention to (z). We have

|(z)| =

0

et tz1 dt

et tx1 dt et t21 dt = 1

since x 2 in the strip, so (z) and hence f (z) is bounded in the strip. The result immediately transfers to the strip 0 Re z 1 using f (z) = z 1 f (z + 1), the apparent problem at z = 0 being solved by remembering that f (1) = 0 by conditions (ii) and (iv) of the theorem. Proof of the theorem Let s(z) = f (z)f (1 z), which is analytic by lemma 1 and bounded in the strip 0 Re z 1 by lemma 2 (note that f (1 z) takes the same set of values as f (z) in the strip). Now using the recurrence relation twice gives s(z + 1) = f (z + 1)f (z) = zf (z) (z)1 f (1 z) = s(z) so s(z) (being periodic with period 2 and bounded in 0 Rez 2) is bounded for all z, and entire. It is therefore constant by Liouvilles theorem. Finally, from s(1) = 0, we infer that s(z) 0. Hence f (z) = 01 and F (z) = (z).

1 If g and h are entire and g(z)h(z) = 0 then g(z) or h(z) is identically zero. How could it be otherwise? But if you want to prove it, you nd a point z0 for which g(z0 ) = 0 and expand g and h in Taylor series about that point, multiply them together and equate coecients of (z z0 )n to zero.

- [cikgujep.com] MS Terengganu P2.pdfUploaded byJun Xiang Chan
- Dawson, 2016 - Was Wittgenstein Really a ConstructivistUploaded byAnderson Luis Nakano
- Cox TheoremUploaded byMichele Sponsale
- abstract algebra theory and practiceUploaded bybob
- Proof that a perfect cuboid does not existUploaded byTristen
- Math4301 Project TemplateUploaded byJesse Lawrence Dubruiel
- AngleUploaded bySheila Putri Syarah
- 038_00_www.pdfUploaded byVignesh Ramakrishnan
- Math Task AssignmentUploaded byAlana
- Takehome AkhilUploaded bylahsddosjdhfboshdf
- Coffee With AristotleUploaded byAnonymous zNyWGQWXk1
- VI.3Uploaded byMark D. Ehlke
- TowardsUploaded byVivek Parmar
- Gamma and Beta FunctionUploaded byTeferi
- Logic Week 6 Lecture 1Uploaded byPi
- Introduction to Metalogic Version March 9 2012Uploaded byNorman Street
- Math 116 week 3Uploaded byhomeworkanytimehelp
- M3 (2016-2017) Term II Unit 1Uploaded byFairazooden Mohammed
- Cenbin NookUploaded byPinto Sjafri
- Spm Mat Trial 15 1Uploaded byPuvanarajan Renganathan
- CtryUploaded byShane John
- Foundations for a Practical Theory of Program Refinement and TransformationUploaded bymartinward
- Introduction to ProofsUploaded bySaptarshi S Mohanta
- Numerical ReasoningUploaded byDenise Labagnao
- Arithmetic of Algebraic FractionsUploaded byEbookcraze
- WASSCE WAEC 2015 May June Core General Mathematics Past Questions Paper 1 ObjectivesUploaded byAkibo Tunde Williamson Davies
- MVA-I for B. S.4 Years VI sem. P. U. Practical 14.02.18fnl;.docxUploaded byfazalulbasit9796
- MATH219 Lecture 5Uploaded bySerdar Bilge
- Simple or Linear Equations Tricks and Examples.Uploaded byPiyush Chandel
- International Future of Mathematics ConferenceUploaded bythinx

- FCM Arcsin function defined as an integral (Cambridge)Uploaded byucaptd3
- FCM Hypergeometric equation (Cambridge)Uploaded byucaptd3
- FCM Zeta equation (Cambridge)Uploaded byucaptd3
- FCM Harmonic Plot Problem sheet 2 Q.6 (Cambridge)Uploaded byucaptd3
- FCM Laplace Transform properties (Cambridge)Uploaded byucaptd3
- FCM Papperitz equation (Cambridge)Uploaded byucaptd3
- FCM Harmonic Response Plot (Cambridge)Uploaded byucaptd3
- FCM Waves on a String (Cambridge)Uploaded byucaptd3
- FCM Wronskian solution (Cambridge)Uploaded byucaptd3
- FCM Hankel Representation for Gamma Function (Cambridge)Uploaded byucaptd3
- FCM Branch cut integrals (Cambridge)Uploaded byucaptd3
- FCM Analysis I (Cambridge)Uploaded byucaptd3
- FCM Analytic Continuation by Contour Deformation (Cambridge)Uploaded byucaptd3
- FCM Laplace Transform inversions (Cambridge)Uploaded byucaptd3
- FCM Wave Equation (Cambridge)Uploaded byucaptd3
- FCM Fourier Transform properties (Cambridge)Uploaded byucaptd3
- FCM Gaussian Integrals (Cambridge)Uploaded byucaptd3
- 1977 Possible Ultimate Fate of the Universe - J. N. IslamUploaded byucaptd3
- FCM Cauchy Principal Value (Cambridge)Uploaded byucaptd3
- Dimensional Analysis Lecture (Cambridge)Uploaded byucaptd3
- FCM Hermite equation (Cambridge)Uploaded byucaptd3
- VCUploaded byperlhacker_indo
- FCM-Functions Defined by IntegralsUploaded byucaptd3
- FCM Frobenius method of series solution outline (Cambridge)Uploaded byucaptd3
- ND Mathematical Methods Lecture notesUploaded byucaptd3
- The Collision Between the Milky Way and Andromeda - Cox and LoebUploaded byucaptd3
- FCM Airy equation (Cambridge)Uploaded byucaptd3
- IA Geometry Lecture Notes (Cambridge)Uploaded byucaptd3
- IA Matrices Notes (Cambridge)Uploaded byucaptd3

- Huawei Switch Config StepsUploaded byjohnmathai_16
- Nursery Newsletter Spring Term 2015Uploaded byElmwood Croydon
- DiwaliUploaded byJhonny Cage
- Load Plan TemplateUploaded byRamesh Babu
- English WordsUploaded bychandrashekhar
- Middle Eastern Studies 2018Uploaded byPrinceton University Press
- A Complete Review of Vedic Literature and the Knowledge Within - Stephen KnappUploaded bySaptarshi Roy
- Motivate 3 Test U8 BasicUploaded byAruzaAruza
- 3 Combining Cl and StylisticsUploaded byWidiyati
- Chapter1 - Understanding and Configuring TCP-IP.pdfUploaded byJh0n Fredy H
- JavaScript- Form Validation- Date and TimeUploaded byWalter Buyela
- Entry Assessment Test.4th Am LevelUploaded bySamir Bounab
- Level 1 HomeworkUploaded byAragornn Elessarr
- Venkateswara Govinda Namavali LyricsUploaded byShaniya
- AI_2013Uploaded byUmer Farooq Shah
- Manual programa Net MonitorUploaded byramspawn135
- 2014 Blended and FlippedUploaded byJenn An
- Implementing Siebel eBusiness ApplicationsUploaded byhendyoldboy
- in-class 4 - brain map keyUploaded byapi-335364132
- Min Story v2 FullUploaded byBlake Houchin
- Is Test Automation FrameworkUploaded byJack Jill
- life history interview of xxxxUploaded byapi-241434187
- Language Skills 5 KeyUploaded byMaria Anna Figueroa
- Semiotics of the City’s Pedestrian SpacesUploaded bySuhailNajim
- Ms Word NoteUploaded bywhitesalju
- EFL Teachers’ Beliefs and Pedagogy in the EAP-Oriented ReformUploaded byIJ-ELTS
- NewAction3 Revision AKUploaded byTTNLittleGenius
- ooad i unitUploaded byananthmt
- math140a_note3Uploaded byCarloNewtonion
- laudon_mis12_ppt13Uploaded byAndy P Bintoro