Laplace s Résultat Remarquable[4] and its Ramifications
|
|
- Amelia Simmons
- 5 years ago
- Views:
Transcription
1 Laplace s Résultat Remarquable[4] and its Ramifications Mark Bun 3 June 29 Contents Introduction 2 2 Laplace s Integral 2 3 Laplace s Identity 5 3. A Few Estimates The Reflection Formula A Simple Proof of the Identity Some Summation Formulas 9 4. Confluent Hypergeometric Functions Maass Formula Lipschitz s Formula Conclusion 2
2 Introduction One of the most important and widely studied special functions in mathematics is the gamma function Γz) = t z e t dt, Re z >, Figure : A domain-colored plot of Γz), rendered with Sage along with its meromorphic extension to the entire complex plane. However, in studying the gamma function, it is sometimes useful to consider its reciprocal. Like the gamma function itself, there are numerous definitions for this mathematical object. One common form is: Γz) = zeγz k= + z ) e z/k, z C, k where γ.5772 denotes the Euler-Mascheroni constant. For the derivation, see [3] p But occasionally more useful is Pierre-Simon Laplace s 82 integral formula 2π a + it) z dt = Γz). In [7], Wladimir de Azevedo Pribitkin explores Laplace s integral and applies it to the proofs of several properties of the gamma function. This paper will highlight some of the major results of Pribitkin s exposition, culminating in the derivations of the Maass and Lipschitz summation formulas. 2 Laplace s Integral We will begin by defining Laplace s Integral and recording a few of its essential properties. 2
3 Definition 2.. We define Laplace s Integral as where a, Re z >. L a z) = 2π a + it) z dt, We will use the convention z α = e α log z where we take the principal branch of the logarithm, with π arg z < π. Almost immediately clear from the definition is that L a z) converges absolutely and uniformly for Re z + ɛ and Im z C for any C. Let z = x + iy. We estimate the integrand: a + it) z = expa + it z loga + it)) = expa x log a + it + y arga + it)) e a+πc a + it x. For t [ a, a], the integrand is bounded from above by 2e a+πc a x, and is hence proper. Elsewhere, it is bounded by 2e a+πc t x. Since a t x and a t x converge, L a z) converges absolutely and uniformly by the Weierstrass M-Test. Since C was arbitary, we have absolute and uniform convergence for all compact subsets of x >. We leave it to the reader to show that L a z) also converges uniformly on compact subsets of x >, and hence defines an analytic function on this half-plane. Next we will demonstrate the functional equation L a z) = zl a z + ). ) As in the proof of the analogous property for the gamma function, we will integrate by parts: L a z) = 2π = 2π = zl a z + ). a + it) z dt a + it) z+ ) z a + it) z+ We can use this recurrence relation to perform an analytic continuation See [3], pp ) of L a z) to arbitrary z. As a result, we see that L a z) can be extended to be an entire function. Thirdly, we will show that L a z) is in fact independent of a. We accomplish this by formally differentiating with respect to a: 3
4 2π a a + it) z dt = 2π = 2π a + it) z za + it) z a + it) 2z dt a + it) z + zea+it a + it) = L a z) zl a z + ). z+ dt Since these integrals converge uniformly, and by ) their difference is zero, we find that L a z) = Lz) is independent of our choice of positive a. For convenience in calculations, we will generally choose a = in the remainder of this paper. Figure 2: Lz), rendered with Sage Finally, we demonstrate the connection between Lz) and the factorial function. To do so, we evaluate L 2) via contour integration. Let C R be the semicircular contour in the upper half-plane with radius R >. Then by the Residue Theorem, we have: R R e +it + it) CR 2 dt + e +iζ dζ = 2πi Res + iζ) 2 = 2πi lim ζ i = 2π. [ ] e +iζ + iζ) 2, i ζ i) 2 e +iζ d dζ By the ML-estimate, we have: e CR +iζ + iζ) 2 dζ e R 2 πr, + iζ) 2 ) 4
5 which tends to as R. Since the integral defining L2) converges absolutely, we thus have L2) =. By induction on our functional equation ), we have: Ln) = n )! for all n Z +. Our recurrence relation shows that we have simple zeroes at each nonpositive integer. 2) 3 Laplace s Identity The objective of this section is to prove the identity Γz)Lz) =, 3) for all z C, taking limits as appropriate for the nonpositive integers. 3. A Few Estimates An easy result from complex power series is Liouville s Theorem, which states that a bounded entire function is constant. With a little more work, we can prove the following extension. Theorem 3. Extended Liouville Theorem). Let P z) be a polynomial of degree n. Suppose fz) is an entire function and fz) P z ) for z > ρ. Then f is a polynomial of degree at most n. Proof. Suppose P z ) = a n z n + a n z n + + a z + a. Choose R > max{, ρ}. Then: n n P z ) z n a j R n a j. Hence, by the Cauchy estimates, we have f m) ) m! R m Rn n a j. Suppose m > n. Then f m) ) as R, so f m) ) = for all m > n. Hence, the power series expansion of fz) centered at the origin consists only of terms with degree less than or equal to n, so fz) is a polynomial of at most degree n. Example. Suppose fz) is an entire function that satisfies fz) z 4 / log z for z >. For z >, we have log z z, so fz) z 3. Then by the extended Liouville theorem, fz) is a polynomial of at most degree 3. 5
6 A popular and somewhat surprising result characterizing the gamma function is the Bohr-Mollerup Theorem. The theorem states that a continuous function F : R R satisfying F ) =, the functional relation F x + ) = xf x) and the condition of log convexity is the gamma function. In 939, Helmut Wielandt discovered a similar result for the gamma function in the complex plane. The following theorem is taken from [5]. Theorem 3.2 Wielandt s Theorem). Let F z) be an analytic function in the right half-plane A = {z C : Re z > } having the following properties: a) F z + ) = zf z) for all z A b) F z) is bounded in the strip S = {z C : Re z < 2} c) F ) =. Then F z) = Γz). Proof. Let f = F Γ, which is analytic in A. Note that since f) =, we have fz) = z )gz) for gz) analytic at. From a) and the recurrence relation for the gamma function, we can extend f to be analytic at : z + ) )fz + )gz + ) f) lim = g). z z Therefore, by our recurrence formula, we can extend f to the entire function ˆf. Since Γz) ΓRe z), we have that Γ is bounded on S and hence f is bounded by b). Let S = {z C : Re z < }. For all z S with Im z, it is clear that f is bounded. For points with Im z >, the boundedness of f on S follows from fz) = fz + )/z and the boundedness of f on S. Consider the entire function sz) = ˆfz) ˆf z). Since fz) and f z) take on the same values in S, the function sz) is bounded in S. Since ˆfz + ) = z ˆfz) and ˆf z) = ˆf z)/z, it follows that sz + ) = sz). Hence sz) is bounded on C and therfore constant by Liouville s theorem. Since sz) s) = f) ˆf) =, we have ˆfz) so F z) = Γz) on A. Example 2. Let z F z) = π /2 2 z Γ Γ 2) z + Since the gamma function is analytic in the right half-plane, F is also analytic here. We also have ) ) z + z + 2 F z + ) = 2π /2 2 z Γ Γ 2 2 ) z + z = π /2 2 z Γ zγ 2 2) = zf z). 2 ). 6
7 Since t z Re z = t we have that Γz) ΓRe z) in the right half-plane. Hence, Γz) is bounded on vertical strips {z C : a Re z b} for < a < b. In addition, we have that 2 z is bounded on vertical strips, so F z) is bounded on {z C : Re z < 2}. Finally, it is easy to show directly that F ) =. Therefore, by Wielandt s Theorem, F z) = Γz). By a simple change of variables, we have the Legendre Duplication Formula Γ2z) = π /2 2 2z Γz)Γ z + ) The Reflection Formula In this section, we will prove an analog of the Euler reflection formula for Laplace s Integral. We will use this formula to prove Laplace s Identiy, and as a corollary, give an easy proof of the reflection formula for the gamma function. Theorem 3.3. Lz)L z) = sin πz π. Proof. Let Qz) = πlz)l z)/ sin πz. Since the simple zeroes of sin πz coincide with those of Lz), we see that Qz) is an entire function. Further, from our functional equation ), we have Qz) = Qz + ). Let z = x + iy. Then for x 2 and y we have Lz) e 2π = π/2 π/2 e y arg+it) + it x dt e y arctan t + t 2 dt e yt dt = y eπy/2 e πy/2 ). Furthermore, for all x and for all y sin πz = 2i e iz e iz 2 e π y e. π y 7
8 By repeated applications of ), on the strip 2 x 3 we have π Qz) = z)2 z)3 z)4 z)l5 z)lz) sin πz = Oy 4 )O y e π y /2 ) 2 Oe π y ) = Oy 2 ), independent of x in this strip. Hence, there are positive constants A and B such that Qz) A z 2 + B on the strip. By our recurrence relation Qz) = Qz + ), this estimate holds on C. By the extended Liouville theorem, Qz) is a polynomial of at most degree 2. However, since Q) = Q2) = Q3), the polynomial Qz) Q) has at least three zeroes. By the fundamental theorem of algebra, Qz) must be constant. Since Qz) lim z desired reflection formula. 3.3 A Simple Proof of the Identity πz sin πz =, we have the In [7], Pribitkin formally gives two rather different proofs of Laplace s Identity 3). Relegated to his closing remarks is an outline of the following proof. With the reflection formula and Wielandt s Theorem in hand, we can fill in the details. Let F z) = /Lz) = πl z)/ sin πz from the reflection formula, and as usual let z = x + iy. We note that where sin πz has simple zeroes, L z) does as well. Hence, the singularities of F are removable, so F is analytic for x >. Furthermore, we have F z + ) = πl z) zπl z) = = zf z). sinπz + π) sin πz Finally, we show that F z) is bounded in the strip x < 2. Making use of our estimates from Theorem 3.3, we have F z) = π z)2 z)3 z)l4 z) sin πz 2π z)2 z)3 z)e πy/2 e πy/2 ) e π y e π y = Oy 2 e π y /2 ). Since the polynomial factor is dominated by the exponential as y, we have that F z) is bounded in this strip. Finally, since F ) = /L) = /L2) =, we can apply the result of Wielandt s theorem to prove that F z) = Γz). Since Γz) has simple poles where Lz) has simple zeroes, it follows that Γz)Lz) on C, taking limits at the nonpositive integers. 8
9 As promised, the following corollary is immediately clear from 3) and Theorem 3.3. Corollary 3.4 Euler s Reflection Formula). Γz)Γ z) = π sin πz. 4 Some Summation Formulas Pribitkin s primary application of Laplace s integral is to the derivation of the Maass and Lipschitz summation formulas. These formulas in turn have a wide range of consequences, especially in the theory of modular forms. To illustrate the power of this field, we present the following surprising result. Theorem 4. Radamacher s Formula). A partition of a positive integer n is an expression of n as the sum of smaller positive integers. Let pn), called the partition function, be the number of partitions of n where order does not matter). Then pn) = π 2 k= A k n) k d sinh dn π k 2 3 n 24 n 24 ) ) ), where and and finally A k n) = m<k,gcd m,k)= sm, k) = fx) = n mod k e πism,k) 2nm/k), fn/k)fmn/k), { x x /2, if x R \ Z;, if x Z. The summation formulas we will derive thus build a bridge between analysis and number theory. For a further discussion, see [6]. 4. Confluent Hypergeometric Functions The coefficients of Maass Formula are most easily expressed in terms of the confluent hypergeometric function of the second kind. Here, we present a few of the basics. Definition 4.2. We define the hypergeometric equation as for a, b, c C. z z)w + c a + b + )z)w abw = 9
10 If we replace z with z/b, the equation has singularities at, b, and. If we let b, then becomes a confluence of two singularities. This gives rise to the confluent hypergeometric equation. Definition 4.3. The confluent hypergeometric equation is given by for a, c C. zw + c z)w aw = The confluent hypergeometric functions are two linearly independent solutions of the confluent hypergeometric equation around z =. Definition 4.4. Suppose Re c > Re a >. Then define the confluent hypergeometric function of the first kind as Φa, c, z) = Γc) Γa)Γc a) t) c a t a e zt dt. Example 3. Here is a quick frustruating example from elementary calculus. For x R erfx = 2 x e t2 dt = 2x Φ/2, 3/2, x). π π Definition 4.5. Suppose Re a >, c C, Re z >. hypergeometric function of the second kind is Ψa, c, z) = Γa) t + ) c a t a e zt dt. Then the confluent Hypergeometric functions have diverse applications in physics and engineering, particularly in the study of waves. For instance, the confluent hypergeometric equation is related to the Bessel equation, which appears in the study of coincidentally) Laplace s equation. Most importantly for this paper, we note that Ψ has an entire analytic continuation. In particular, Ψ, b, z) =. For more information see [] and [2]. 4.2 Maass Formula A function that makes numerous appearances in the theory of automorphic forms is fz) = l= e 2πiλx+l) z + l) s z + l) w, for λ R and s, w, z = x + iy C. To ensure absolute convergence, we suppose y and Res + w) >. Since fz) is periodic with period, we can express it as a Fourier series
11 where fz) = c n+λ y, s, w)e 2πinx, 4) n= c n+λ y, s, w) = fz)e 2πinx dx. Since our definition is symmetric about the imaginary axis, we can take y >. Evaluating the coefficients, and making use of the substitution u = x + l: c n+λ y, s, w) = = l= l= l+ = i) s w l e 2πiλx+l) z + l) s z + l) w e 2πinx dx e 2πin+λ)u u + yi) s u yi) w du e 2πin+λ)u y iu) s y + iu) w du. Suppose Re s > and Re w >. Then from the definitions of the gamma function and Laplace s integral, and by Fubini s theorem, we have c n+λ y, s, w) = i) s w = i)s w Γs) Γz) v s e yv = 2π i)s w Γs)Γw) e2πn+λ)y ) e v s e y iu)v 2πin+λ)u dv y + iu) w du e i[v 2πn+λ)]u y + iu) w du dv max{,2πn+λ)} v s v 2πn + λ)) w e 2yv dv. Hence we have and c y, s, w) = 2π i)s w Γs + w ) Γs)Γw)2y) s+w, 5) c n+λ y, s, w) = 2π) s+w i) s+w n + λ s+w e 2π n+λ y { Ψw,s+w,4πn+λ)y) Γs), if n + λ > ; Ψs,s+w, 4πn+λ)y) Γw), if n + λ <. Maass formula is the Fourier series 4) given by coefficients 5) and 6). 6)
12 4.3 Lipschitz s Formula Although Maass formula in its full generality has numerous important uses, we can easily derive from it a relatively simple summation formula with interesting consequences of its own. If we set w = in Maass s formula which is legal, since Ψ, c, z) = ), then for y > we obtain for Re s >. l= e 2πiz+l)λ z + l) s = 2πi)s Γs) n+λ> n + λ) s e 2πinz, 7) Example 4. Take s = 2 and λ = in Lipschitz s formula. We have on the right-hand side 2πi) 2 Γ2) ne 2πinz = 4π 2 = 2πi d dz d dz e 2πiz 2πie 2πiz = 2πi e 2πiz ) 2 = 4π 2 e πiz e 2πiz 2πi e2πinz ) 2 ) = 4π 2 2i sin πz ) 2 = π2 sin 2 πz. As a result, we have the identity 5 Conclusion π 2 sin 2 πz = n= ) z + n) 2. since e 2πiz < for y > Pribitkin s examination emphasizes some of the truly powerful aspects of complex analysis. Just as the gamma function has a way of cropping up in various areas of mathematics, so too have we seen Laplace s integral. While the infinite product form for the reciprocal of the gamma function has its merits, Laplace s integral form has proven to be very convenient for making estimates. Further, its applications to the theory of modular forms reinforces the connection between complex analysis and number theory, much in the spirit of the prime number theorem. Although after two centuries, this result still has yet to catch on as a mainstream mathematical tool, its elegance and versatility still make it an exceptional piece of mathematics. 2
13 References [] G. Andrews, R. Askey and R. Roy, Special Functions, Encyclopedia of Mathematics and its Applications, Cambridge University Press, Cambridge, 999. [2] H. Buchholz, The Confluent Hypergeometric Function, Springer Tracts in Natural Philosophy, Springer-Verlag, Berlin, 969. [3] T. Gamelin, Complex Analysis, Undergraduate Texts in Mathematics, Springer, New York, 2. [4] P.S. Laplace, Théorie Analytique des Probabilités, V. Courcier, Paris, 82. [5] R. Remmert, Wielandt s Theorem about the Γ-function. The American Mathematical Monthly, 33):24-22, Mar., 996. [6] W. Pribitkin, Revisiting Rademacher s formula for the partition function pn). Ramanujan J., 4: , 2. [7] W. Pribitkin, Laplace s Integral, the Gamma Function and Beyond. The American Mathematical Monthly, 93): , Mar., 22. 3
MATH COMPLEX ANALYSIS. Contents
MATH 3964 - OMPLEX ANALYSIS ANDREW TULLOH AND GILES GARDAM ontents 1. ontour Integration and auchy s Theorem 2 1.1. Analytic functions 2 1.2. ontour integration 3 1.3. auchy s theorem and extensions 3
More informationComplex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm
Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are
More informationMath 185 Fall 2015, Sample Final Exam Solutions
Math 185 Fall 2015, Sample Final Exam Solutions Nikhil Srivastava December 12, 2015 1. True or false: (a) If f is analytic in the annulus A = {z : 1 < z < 2} then there exist functions g and h such that
More informationNOTES ON RIEMANN S ZETA FUNCTION. Γ(z) = t z 1 e t dt
NOTES ON RIEMANN S ZETA FUNCTION DRAGAN MILIČIĆ. Gamma function.. Definition of the Gamma function. The integral Γz = t z e t dt is well-defined and defines a holomorphic function in the right half-plane
More informationMORE CONSEQUENCES OF CAUCHY S THEOREM
MOE CONSEQUENCES OF CAUCHY S THEOEM Contents. The Mean Value Property and the Maximum-Modulus Principle 2. Morera s Theorem and some applications 3 3. The Schwarz eflection Principle 6 We have stated Cauchy
More informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More informationComplex Analysis. Travis Dirle. December 4, 2016
Complex Analysis 2 Complex Analysis Travis Dirle December 4, 2016 2 Contents 1 Complex Numbers and Functions 1 2 Power Series 3 3 Analytic Functions 7 4 Logarithms and Branches 13 5 Complex Integration
More informationMATH5685 Assignment 3
MATH5685 Assignment 3 Due: Wednesday 3 October 1. The open unit disk is denoted D. Q1. Suppose that a n for all n. Show that (1 + a n) converges if and only if a n converges. [Hint: prove that ( N (1 +
More informationPOISSON SUMMATION AND PERIODIZATION
POISSON SUMMATION AND PERIODIZATION PO-LAM YUNG We give some heuristics for the Poisson summation formula via periodization, and provide an alternative proof that is slightly more motivated.. Some heuristics
More informationMA3111S COMPLEX ANALYSIS I
MA3111S COMPLEX ANALYSIS I 1. The Algebra of Complex Numbers A complex number is an expression of the form a + ib, where a and b are real numbers. a is called the real part of a + ib and b the imaginary
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More informationSynopsis of Complex Analysis. Ryan D. Reece
Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationMath 220A Homework 4 Solutions
Math 220A Homework 4 Solutions Jim Agler 26. (# pg. 73 Conway). Prove the assertion made in Proposition 2. (pg. 68) that g is continuous. Solution. We wish to show that if g : [a, b] [c, d] C is a continuous
More informationz b k P k p k (z), (z a) f (n 1) (a) 2 (n 1)! (z a)n 1 +f n (z)(z a) n, where f n (z) = 1 C
. Representations of Meromorphic Functions There are two natural ways to represent a rational function. One is to express it as a quotient of two polynomials, the other is to use partial fractions. The
More informationComplex Variables...Review Problems (Residue Calculus Comments)...Fall Initial Draft
Complex Variables........Review Problems Residue Calculus Comments)........Fall 22 Initial Draft ) Show that the singular point of fz) is a pole; determine its order m and its residue B: a) e 2z )/z 4,
More informationProblems for MATH-6300 Complex Analysis
Problems for MATH-63 Complex Analysis Gregor Kovačič December, 7 This list will change as the semester goes on. Please make sure you always have the newest version of it.. Prove the following Theorem For
More informationIntroductions to ExpIntegralEi
Introductions to ExpIntegralEi Introduction to the exponential integrals General The exponential-type integrals have a long history. After the early developments of differential calculus, mathematicians
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More information1. Introduction Interest in this project began with curiosity about the Laplace transform of the Digamma function, e as ψ(s + 1)ds,
ON THE LAPLACE TRANSFORM OF THE PSI FUNCTION M. LAWRENCE GLASSER AND DANTE MANNA Abstract. Guided by numerical experimentation, we have been able to prove that Z 8 / x x + ln dx = γ + ln) [cosx)] and to
More informationComplex Analysis Qual Sheet
Complex Analysis Qual Sheet Robert Won Tricks and traps. traps. Basically all complex analysis qualifying exams are collections of tricks and - Jim Agler Useful facts. e z = 2. sin z = n=0 3. cos z = z
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More informationElliptic functions. MATH 681: Lecture Notes. Part I. 1 Evaluating ds cos s. 18 June 2014
MATH 68: Lecture Notes 8 June 4 Part I Elliptic functions Evaluating cos s Consider cos s First we can substitute u cos s and arrive at u u p3 u, where p 3 is a third-degree polynomial We can also write
More informationComplex Variable Outline. Richard Koch
Complex Variable Outline Richard Koch March 6, 206 Contents List of Figures 5 Preface 8 2 Preliminaries and Examples 0 2. Review of Complex Numbers.......................... 0 2.2 Holomorphic Functions..............................
More information1 Discussion on multi-valued functions
Week 3 notes, Math 7651 1 Discussion on multi-valued functions Log function : Note that if z is written in its polar representation: z = r e iθ, where r = z and θ = arg z, then log z log r + i θ + 2inπ
More informationConformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.
Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the
More informationComplex Analysis Important Concepts
Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationTopic 4 Notes Jeremy Orloff
Topic 4 Notes Jeremy Orloff 4 auchy s integral formula 4. Introduction auchy s theorem is a big theorem which we will use almost daily from here on out. Right away it will reveal a number of interesting
More information(z + n) 2. n=0. 2 (z + 2) (z + n). 2 We d like to compute this as an integral. To this end, we d like a function with residues
8. Stirling Formula Stirling s Formula is a classical formula to compute n! accurately when n is large. We will derive a version of Stirling s formula using complex analysis and residues. Recall the formula
More informationMAT389 Fall 2016, Problem Set 11
MAT389 Fall 216, Problem Set 11 Improper integrals 11.1 In each of the following cases, establish the convergence of the given integral and calculate its value. i) x 2 x 2 + 1) 2 ii) x x 2 + 1)x 2 + 2x
More informationSolutions to practice problems for the final
Solutions to practice problems for the final Holomorphicity, Cauchy-Riemann equations, and Cauchy-Goursat theorem 1. (a) Show that there is a holomorphic function on Ω = {z z > 2} whose derivative is z
More informationTopic 13 Notes Jeremy Orloff
Topic 13 Notes Jeremy Orloff 13 Analytic continuation and the Gamma function 13.1 Introduction In this topic we will look at the Gamma function. This is an important and fascinating function that generalizes
More informationMATH 452. SAMPLE 3 SOLUTIONS May 3, (10 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic.
MATH 45 SAMPLE 3 SOLUTIONS May 3, 06. (0 pts) Let f(x + iy) = u(x, y) + iv(x, y) be an analytic function. Show that u(x, y) is harmonic. Because f is holomorphic, u and v satisfy the Cauchy-Riemann equations:
More informationf (n) (z 0 ) Theorem [Morera s Theorem] Suppose f is continuous on a domain U, and satisfies that for any closed curve γ in U, γ
Remarks. 1. So far we have seen that holomorphic is equivalent to analytic. Thus, if f is complex differentiable in an open set, then it is infinitely many times complex differentiable in that set. This
More informationFunctions of a Complex Variable and Integral Transforms
Functions of a Complex Variable and Integral Transforms Department of Mathematics Zhou Lingjun Textbook Functions of Complex Analysis with Applications to Engineering and Science, 3rd Edition. A. D. Snider
More informationMOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS
MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a generalization the classical Hurwitz zeta function. It is shown that many of the properties
More informationMath 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationElementary properties of the gamma function
Appendi G Elementary properties of the gamma function G.1 Introduction The elementary definition of the gamma function is Euler s integral: 1 Γ(z) = 0 t z 1 e t. (G.1) For the sake of convergence of the
More informationComplex Variables. Cathal Ormond
Complex Variables Cathal Ormond Contents 1 Introduction 3 1.1 Definition: Polar Form.............................. 3 1.2 Definition: Length................................ 3 1.3 Definitions.....................................
More information2 Write down the range of values of α (real) or β (complex) for which the following integrals converge. (i) e z2 dz where {γ : z = se iα, < s < }
Mathematical Tripos Part II Michaelmas term 2007 Further Complex Methods, Examples sheet Dr S.T.C. Siklos Comments and corrections: e-mail to stcs@cam. Sheet with commentary available for supervisors.
More information4 Uniform convergence
4 Uniform convergence In the last few sections we have seen several functions which have been defined via series or integrals. We now want to develop tools that will allow us to show that these functions
More informationThe Bierstone Lectures on Complex Analysis
The Bierstone Lectures on Complex Analysis Scribed by Oleg Ivrii during Spring 2007 Preface These notes of my lectures on Complex Analysis at the University of Toronto were written by Oleg Ivrii on his
More informationChapter 30 MSMYP1 Further Complex Variable Theory
Chapter 30 MSMYP Further Complex Variable Theory (30.) Multifunctions A multifunction is a function that may take many values at the same point. Clearly such functions are problematic for an analytic study,
More informationREVIEW OF COMPLEX ANALYSIS
REVIEW OF COMPLEX ANALYSIS KEITH CONRAD We discuss here some basic results in complex analysis concerning series and products (Section 1) as well as logarithms of analytic functions and the Gamma function
More informationThe Riemann Zeta Function
The Riemann Zeta Function David Jekel June 6, 23 In 859, Bernhard Riemann published an eight-page paper, in which he estimated the number of prime numbers less than a given magnitude using a certain meromorphic
More informationTHE LAPLACE TRANSFORM OF THE FOURTH MOMENT OF THE ZETA-FUNCTION. Aleksandar Ivić
THE LAPLACE TRANSFORM OF THE FOURTH MOMENT OF THE ZETA-FUNCTION Aleksandar Ivić Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. (2), 4 48. Abstract. The Laplace transform of ζ( 2 +ix) 4 is investigated,
More informationComplex Analysis Homework 9: Solutions
Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges
More information1. The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions.
Complex Analysis Qualifying Examination 1 The COMPLEX PLANE AND ELEMENTARY FUNCTIONS: Complex numbers; stereographic projection; simple and multiple connectivity, elementary functions 2 ANALYTIC FUNCTIONS:
More informationSecond Midterm Exam Name: Practice Problems March 10, 2015
Math 160 1. Treibergs Second Midterm Exam Name: Practice Problems March 10, 015 1. Determine the singular points of the function and state why the function is analytic everywhere else: z 1 fz) = z + 1)z
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More informationCauchy Integral Formula Consequences
Cauchy Integral Formula Consequences Monday, October 28, 2013 1:59 PM Homework 3 due November 15, 2013 at 5 PM. Last time we derived Cauchy's Integral Formula, which we will present in somewhat generalized
More informationFRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS
FRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS HUNDUMA LEGESSE GELETA, ABDULKADIR HASSEN Both authors would like to dedicate this in fond memory of Marvin Knopp. Knop was the most humble and exemplary teacher
More informationFINAL EXAM MATH 220A, UCSD, AUTUMN 14. You have three hours.
FINAL EXAM MATH 220A, UCSD, AUTUMN 4 You have three hours. Problem Points Score There are 6 problems, and the total number of points is 00. Show all your work. Please make your work as clear and easy to
More informationVII.8. The Riemann Zeta Function.
VII.8. The Riemann Zeta Function VII.8. The Riemann Zeta Function. Note. In this section, we define the Riemann zeta function and discuss its history. We relate this meromorphic function with a simple
More informationKey to Homework 8, Thanks to Da Zheng for the text-file
Key to Homework 8, Thanks to Da Zheng for the text-file November 8, 20. Prove that Proof. csc z = + z + 2z ( ) n z 2 n 2, z 0, ±π, ±2π, π2 n= We consider the following auxiliary function, where z 0, ±π,
More informationMA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I
MA30056: Complex Analysis Revision: Checklist & Previous Exam Questions I Given z C and r > 0, define B r (z) and B r (z). Define what it means for a subset A C to be open/closed. If M A C, when is M said
More informationHere are brief notes about topics covered in class on complex numbers, focusing on what is not covered in the textbook.
Phys374, Spring 2008, Prof. Ted Jacobson Department of Physics, University of Maryland Complex numbers version 5/21/08 Here are brief notes about topics covered in class on complex numbers, focusing on
More informationAnalysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both
Analysis Comprehensive Exam, January 2011 Instructions: Do as many problems as you can. You should attempt to answer completely some questions in both real and complex analysis. You have 3 hours. Real
More informationComplex Analysis, Stein and Shakarchi The Fourier Transform
Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationINTRODUCTION TO COMPLEX ANALYSIS W W L CHEN
INTRODUTION TO OMPLEX ANALYSIS W W L HEN c W W L hen, 986, 2008. This chapter originates from material used by the author at Imperial ollege, University of London, between 98 and 990. It is available free
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationPart IB. Complex Analysis. Year
Part IB Complex Analysis Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 Paper 1, Section I 2A Complex Analysis or Complex Methods 7 (a) Show that w = log(z) is a conformal
More informationAn Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010
An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.
More informationPhysics 307. Mathematical Physics. Luis Anchordoqui. Wednesday, August 31, 16
Physics 307 Mathematical Physics Luis Anchordoqui 1 Bibliography L. A. Anchordoqui and T. C. Paul, ``Mathematical Models of Physics Problems (Nova Publishers, 2013) G. F. D. Duff and D. Naylor, ``Differential
More informationLecture 16 and 17 Application to Evaluation of Real Integrals. R a (f)η(γ; a)
Lecture 16 and 17 Application to Evaluation of Real Integrals Theorem 1 Residue theorem: Let Ω be a simply connected domain and A be an isolated subset of Ω. Suppose f : Ω\A C is a holomorphic function.
More informationComplex Variables & Integral Transforms
Complex Variables & Integral Transforms Notes taken by J.Pearson, from a S4 course at the U.Manchester. Lecture delivered by Dr.W.Parnell July 9, 007 Contents 1 Complex Variables 3 1.1 General Relations
More informationMath 220A - Fall Final Exam Solutions
Math 22A - Fall 216 - Final Exam Solutions Problem 1. Let f be an entire function and let n 2. Show that there exists an entire function g with g n = f if and only if the orders of all zeroes of f are
More informationUnderstanding the Prime Number Theorem
Understanding the Prime Number Theorem Misunderstood Monster or Beautiful Theorem? Liam Fowl September 5, 2014 Liam Fowl Understanding the Prime Number Theorem 1/20 Outline 1 Introduction 2 Complex Plane
More informationPOWER SERIES AND ANALYTIC CONTINUATION
POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges
More informationComplex Analysis Math 185A, Winter 2010 Final: Solutions
Complex Analysis Math 85A, Winter 200 Final: Solutions. [25 pts] The Jacobian of two real-valued functions u(x, y), v(x, y) of (x, y) is defined by the determinant (u, v) J = (x, y) = u x u y v x v y.
More informationHecke s Converse Theorem
Hecke s Converse Theorem Christoph Rösch January 7, 2007 Introduction In Andrea s Talk we saw how to get a Dirichlet series from a modular form. Moreover we saw that this Dirichlet series can be analytically
More informationEvaluation of integrals
Evaluation of certain contour integrals: Type I Type I: Integrals of the form 2π F (cos θ, sin θ) dθ If we take z = e iθ, then cos θ = 1 (z + 1 ), sin θ = 1 (z 1 dz ) and dθ = 2 z 2i z iz. Substituting
More informationf(w) f(a) = 1 2πi w a Proof. There exists a number r such that the disc D(a,r) is contained in I(γ). For any ǫ < r, w a dw
Proof[section] 5. Cauchy integral formula Theorem 5.. Suppose f is holomorphic inside and on a positively oriented curve. Then if a is a point inside, f(a) = w a dw. Proof. There exists a number r such
More informationComplex Variables Notes for Math 703. Updated Fall Anton R. Schep
Complex Variables Notes for Math 703. Updated Fall 20 Anton R. Schep CHAPTER Holomorphic (or Analytic) Functions. Definitions and elementary properties In complex analysis we study functions f : S C,
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More informationIntroduction to Complex Analysis MSO 202 A
Introduction to Complex Analysis MSO 202 A Sameer Chavan Semester I, 2016-17 Course Structure This course will be conducted in Flipped Classroom Mode. Every Friday evening, 3 to 7 videos of total duration
More informationComplex Analysis Math 205A, Winter 2014 Final: Solutions
Part I: Short Questions Complex Analysis Math 205A, Winter 2014 Final: Solutions I.1 [5%] State the Cauchy-Riemann equations for a holomorphic function f(z) = u(x,y)+iv(x,y). The Cauchy-Riemann equations
More information1 Introduction. or equivalently f(z) =
Introduction In this unit on elliptic functions, we ll see how two very natural lines of questions interact. The first, as we have met several times in Berndt s book, involves elliptic integrals. In particular,
More informationSome Fun with Divergent Series
Some Fun with Divergent Series 1. Preliminary Results We begin by examining the (divergent) infinite series S 1 = 1 + 2 + 3 + 4 + 5 + 6 + = k=1 k S 2 = 1 2 + 2 2 + 3 2 + 4 2 + 5 2 + 6 2 + = k=1 k 2 (i)
More informationExercises involving elementary functions
017:11:0:16:4:09 c M K Warby MA3614 Complex variable methods and applications 1 Exercises involving elementary functions 1 This question was in the class test in 016/7 and was worth 5 marks a) Let z +
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationMA424, S13 HW #6: Homework Problems 1. Answer the following, showing all work clearly and neatly. ONLY EXACT VALUES WILL BE ACCEPTED.
MA424, S13 HW #6: 44-47 Homework Problems 1 Answer the following, showing all work clearly and neatly. ONLY EXACT VALUES WILL BE ACCEPTED. NOTATION: Recall that C r (z) is the positively oriented circle
More information9. Series representation for analytic functions
9. Series representation for analytic functions 9.. Power series. Definition: A power series is the formal expression S(z) := c n (z a) n, a, c i, i =,,, fixed, z C. () The n.th partial sum S n (z) is
More informationAppendix A Vector Analysis
Appendix A Vector Analysis A.1 Orthogonal Coordinate Systems A.1.1 Cartesian (Rectangular Coordinate System The unit vectors are denoted by x, ŷ, ẑ in the Cartesian system. By convention, ( x, ŷ, ẑ triplet
More information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More information1 Review of di erential calculus
Review of di erential calculus This chapter presents the main elements of di erential calculus needed in probability theory. Often, students taking a course on probability theory have problems with concepts
More informationLecture 9. = 1+z + 2! + z3. 1 = 0, it follows that the radius of convergence of (1) is.
The Exponential Function Lecture 9 The exponential function 1 plays a central role in analysis, more so in the case of complex analysis and is going to be our first example using the power series method.
More informationProblem Set 7 Solution Set
Problem Set 7 Solution Set Anthony Varilly Math 3: Complex Analysis, Fall 22 Let P (z be a polynomial Prove there exists a real positive number ɛ with the following property: for all non-zero complex numbers
More informationIs Analysis Necessary?
Is Analysis Necessary? Ira M. Gessel Brandeis University Waltham, MA gessel@brandeis.edu Special Session on Algebraic and Analytic Combinatorics AMS Fall Eastern Meeting University of Connecticut, Storrs
More informationF (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n
6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued
More informationBarnes integral representation
Barnes integral representation The Mellin transform of a function is given by The inversion formula is given by F (s : f(x Note that the definition of the gamma function, Γ(s x s f(x dx. x s F (s ds, c
More informationThe Circle Method. Basic ideas
The Circle Method Basic ideas 1 The method Some of the most famous problems in Number Theory are additive problems (Fermat s last theorem, Goldbach conjecture...). It is just asking whether a number can
More informationHarmonic Mappings and Shear Construction. References. Introduction - Definitions
Harmonic Mappings and Shear Construction KAUS 212 Stockholm, Sweden Tri Quach Department of Mathematics and Systems Analysis Aalto University School of Science Joint work with S. Ponnusamy and A. Rasila
More informationThe Hardy-Ramanujan-Rademacher Expansion of p(n)
The Hardy-Ramanujan-Rademacher Expansion of p(n) Definition 0. A partition of a positive integer n is a nonincreasing sequence of positive integers whose sum is n. We denote the number of partitions of
More informationLecture 1 The complex plane. z ± w z + w.
Lecture 1 The complex plane Exercise 1.1. Show that the modulus obeys the triangle inequality z ± w z + w. This allows us to make the complex plane into a metric space, and thus to introduce topological
More informationConvergence of Infinite Composition of Entire Functions
arxiv:009.2833v [math.cv] 5 Sep 200 Convergence of Infinite Composition of Entire Functions Shota Kojima Abstract The purpose of the present article is to obtain the condition that the function defined
More informationCHAPTER 3 ELEMENTARY FUNCTIONS 28. THE EXPONENTIAL FUNCTION. Definition: The exponential function: The exponential function e z by writing
CHAPTER 3 ELEMENTARY FUNCTIONS We consider here various elementary functions studied in calculus and define corresponding functions of a complex variable. To be specific, we define analytic functions of
More information