26 views

Uploaded by ucaptd3

FCM Zeta equation (Cambridge), astronomy, astrophysics, cosmology, general relativity, quantum mechanics, physics, university degree, lecture notes, physical sciences
Mathematical Tripos Part II Further Complex Methods
Michaelmas term 2007 Dr S.T.C. Siklos
ζ(z): The functional equation.
This handout gives the proof of the functional equation for the zeta function, which is similar to, but more complicated than, the reﬂection formula for the gamma function. You do not need to remember the formula. The last part of the proof involves some estimation which is included for completeness: for this course, you are not expected to reproduce such material. The funct

- UT Dallas Syllabus for ee3300.021.06u taught by (jsl032000)
- L09_NumInteg
- CourseSyllabus_Dec2012-Apr2013
- Double Dirichlet Average of M-series and Fractional Derivative
- Calculus BC Formulas
- Calculus BC Formulas
- 620-332
- Euler Critical Strip
- Math 10b Brandeis Curriculum
- GATE_Old_Syllabus.pdf
- Extended Essay - Riemann
- Max-min problems
- Term Test (2005) Sample2
- Complex 6
- CouStudy_201718
- unit 3 - integration
- AQA-7357-SP-2017.PDF
- sdarticle4.pdf
- Pol Interface
- Complex Plane

You are on page 1of 2

This handout gives the proof of the functional equation for the zeta function, which is similar to, but more complicated than, the reection formula for the gamma function. You do not need to remember the formula. The last part of the proof involves some estimation which is included for completeness: for this course, you are not expected to reproduce such material. The functional equation, which provides the analytic continuation of (z) to z < 1 and much other useful information about the function, is (z) = 2z z1 sin(z/2)(1 z)(1 z) . This can be obtained from the Hankel integral representation (1 z) (z) = 2i

(0+ )

tz1 dt. et 1

We add to the Hankel contour a large rectangle with vertices at z = R (2N + 1)i, forming a closed contour C.

Let J(z) =

C

et

tz1 dt. 1

The integrand has simple poles at z = 2im, m = 1, 2, . . . and the horizontal sides of the rectangle pass between two poles. The integrand also has a branch point at z = 0 which does not lie within C. To evaluate the integral, we need only sum the residues at the 2N simple poles. The residue at z = 2im is (using lHpitals rule) (1)(2im)z1 , so o

N N

J(z) = 2i

m=1 z1

(2im)z1 +

m=1 i(z1)/2

(2im)z1

N

= 2i(2)

+e

i(z1)/2 m=1

1 m1z

Note that the poles are encircled in the clockwise sense, which gives rise to the extra minus signs. Taking the limit N gives J(z) = 2i(2)z1 2 sin(z/2)(1 z) provided the series converges, for which we need (1 z) > 1, i.e. z < 0; we will prove the formula subject to this restriction and then use analytic continuation and the identity theorem to show that the formula holds for all z (except those values for which there are singularities).

If we assume that the contributions to the integral along the sides of the large rectangle tend to zero as N and R , then we have (z) = 2z z1 sin(z/2)(1 z)(1 z) as required. But what about the contribution from the sides of the rectangle? We consider the sides separately. First note that tz1 dt et 1 1 tz1 dt |et 1|

side

side

so if the denominator is bounded away from zero, i.e. |et 1| K > 0, for some K on the side we are looking at, we only have to show that tz1 dt 0.

side

()

(2N +1)

tz1 dt =

side (2N +1)

(R2

1 dy + y 2 )(1z)/2

and there is a similar expression for the other three sides. This integral is easily shown to tend to zero as R (even in the limit N by virtue of the condition z < 0 (there are more Rs and ys on the bottom than on the top).2 Now we consider the denominator, which we only have to show is bounded away from zero. On the right vertical side, we have t = R + iy with (2N + 1) y (2N + 1). Thus |et 1| 1 eR which certainly satises () for large R. On the left vertical side, we have t = R + iy so the denominator is exponentially large as R , which is more than we require. On the horizontal sides, we have t = x (2N + 1)i with R x R. Thus |et 1| 1 + ex and again () is satised. Thus all is secure.

1 In the following inequality, it is assumed that z is real: there is a little more straightforward work to do if this is not so. 2 Actually, we can evaluate the integral explicitly; or, rather, www.integrals.com can. For the indenite integral, it gives k x x2 x2 1+ 2 F ( 1 , k, 3 , R2 ) 2 2 (R2 + x2 )k R

where k = (1 z)/2 and F is the hypergeometric function (see on). We can therefore take the limits explicitly, 3 1 in whichever order we like, using F ( 2 , k, 2 , 0) = 1 or F ( 1 , k, 3 , z) z 1/2 for large z and k > 1 . 2 2 2

- UT Dallas Syllabus for ee3300.021.06u taught by (jsl032000)Uploaded byUT Dallas Provost's Technology Group
- L09_NumIntegUploaded byMahir Mahmood
- CourseSyllabus_Dec2012-Apr2013Uploaded bylady G
- Double Dirichlet Average of M-series and Fractional DerivativeUploaded byIJSRP ORG
- Calculus BC FormulasUploaded byTara Wright
- Calculus BC FormulasUploaded byYasmin Khalil
- 620-332Uploaded byaleong1
- Euler Critical StripUploaded byCarlos Villeda
- Math 10b Brandeis CurriculumUploaded bydnow4p
- GATE_Old_Syllabus.pdfUploaded byrandyzzz
- Extended Essay - RiemannUploaded bydjeong_3
- Max-min problemsUploaded byakirank1
- Term Test (2005) Sample2Uploaded byPeng Xu
- Complex 6Uploaded byHalis Alacaoglu
- CouStudy_201718Uploaded byEnd End
- unit 3 - integrationUploaded byapi-457118443
- AQA-7357-SP-2017.PDFUploaded byJuan
- sdarticle4.pdfUploaded byrs0004
- Pol InterfaceUploaded bySelvi Selvaraj
- Complex PlaneUploaded byryan_jay55
- 1505.02140.pdfUploaded byVignesh Ramakrishnan
- vcalc (2).pdfUploaded byLynn Hollenbeck Breindel
- 1front MatterUploaded bySaif Rahman
- SolNPMaDVT1999Uploaded byEpic Win
- 01-indefinite-integration.pdfUploaded byAbhishek Aryan
- angelomingarelli.pdfUploaded bybm.over2933
- ProblemsUploaded byBrahmanand Singh
- Calculus, Complex NumbersUploaded byChery-an Plet
- syllabus ap calculus bc 2018Uploaded byapi-318044188
- 1st I.T. 1Uploaded byGorishsharma

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

- Engineering MechanicsUploaded bymafiapumba
- dts-12Uploaded bynambiias
- What Came First the Chicken or the EggUploaded byborapinaki4725
- Inflammatory Airway Disease of HorsesUploaded byGita Amalia
- Tajweed of QuranUploaded bybbatif
- Mahoyo - The novel on AokoUploaded bydiegokouga
- aux inputUploaded byfoxast
- Quiz 3 Ans- Partial DerivativesUploaded byRiskiBiz
- StorefrontUploaded byMary Mae Jeremias
- CM Lodestar MechanicalPartsUploaded byMiguelSQS
- Power-plant Control and Instrumentation - The Control of Boilers and HRSG Systems ch_tocUploaded byparthasarothi_sikder79
- Atrial Fibrillation and ComorbiditiesUploaded byDalmo Moreira
- Network QuoteUploaded byIng Dario Ortega
- VMWare Interview Questions and AnswersUploaded bytubaidada
- Asphalt Surface Treatments for Local Roads and StreetsUploaded byShakeelKhan
- Antiparkinsons DrugsUploaded byJoana
- ConectordeTonilloZAPScrewlokBrochureUploaded byMarco Antonio Quispe Berrocal
- 3M DBI-SALA Flexiguard Catalog Rev EUploaded byMohamed Hassan
- CephalgiaUploaded byAriel Nugroho
- Solo Selectividades y RendimientosUploaded byManuelLozano
- north face marketing planUploaded byapi-264782078
- NYS Math Test Review Units 5Uploaded byjohnsontan1985
- neurocisticercosis actualizado 2018Uploaded byRoberth Sanchez
- ME2405 Lab Manual 1Uploaded byjaycee68
- fisica de plantaUploaded byJulian Tello
- coating on magnesium alloyUploaded bymdsaifulquddus
- Adams Tutorial Kit for Mechanical Engineering CoursesUploaded bySajjad4434
- ~ HP z400 Workstation - DataSheet (2011.06-Jun)Uploaded byJSSmith
- 0610_w05_qp_2Uploaded byavipsita09
- X1 HID Flashlight Longer SpecificationUploaded byhollabackcock