MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS
|
|
- William Melton
- 5 years ago
- Views:
Transcription
1 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 exhibited by this special function extends to class of functions called hypergeometric Hurwitz zeta functions, including their analytic continuation to the complex plane and a pre-functional equation satisfied by them. As an application, a formula for moments of hypergeometric Hurwitz zeta functions is developed, extending the formula by Espinosa and Moll for moments of the classical Hurwitz zeta function.. INTRODUCTION In our paper 2, we investigated a family of special functions called hypergeometric zeta functions as a generalization of the Riemann zeta function. In this paper, we investigate a generalization of the Hurwitz zeta function, which we refer to as hypergeometric Hurwitz zeta functions, defined by x s+n 2 e ( a)x ζ N (s, a) Γ(s + N ) e x dx ( < a ). (.) T N (x) Here, N is a positive integer and T N (x) is the (N )-order Taylor polynomial of e x. Observe that for N, ζ (s, a) ζ(s, a), where ζ(s, a) x s e ( a)x Γ(s) e x dx (.2) is the classical Hurwitz zeta function. Following Riemann, we develop the analytic continuation of ζ N (s, a) to the entire complex plane, except for N simple poles at s,,,, 2 N, and establish many properties analogous to those satisfied by the classical Hurwitz zeta function as was done in 2 for hypergeometric zeta functions. In section 2, we formally define hypergeometric Hurwitz zeta functions, establish their convergence on a right half-plane, and develop their series representations. In section 3, we reveal their analytic continuation to the entire complex plane, except at a finite number of poles, and calculate their residues in terms of generalized Bernoulli numbers. In section 4, we establish a series formula (called a pre-functional equation) for hypergeometric Hurwitz zeta functions that is valid on a left half-plane and use it to establish a formula involving their moments, extending a formula for moments of the classical Hurwitz zeta function given by Espinosa and Moll in. 2. PRELIMINARIES In this section we formally define hypergeometric zeta functions, establish a domain of convergence, and demonstrate their series representations. Date: /2/. 2 Mathematics Subject Classification. Primary M4. Key words and phrases. Riemann zeta function, hypergeometric integrals.
2 2 ABDUL HASSEN AND HIEU D. NGUYEN Definition 2.. Denote the Maclaurin (Taylor) polynomial of the exponential function e x by T N (x) N k We define the N th -order hypergeometric Hurwitz zeta function (or just hypergeometric Hurwitz zeta function for short) to be x s+n 2 e ( a)x ζ N (s, a) Γ(s + N ) e x dx (N, < a ). (2.) T N (x) x k k!. Lemma 2.. ζ N (s, a) converges absolutely for σ R(s) >. Proof. Choose < α < such that a + α >. Let K > be such that e x e αx + T N (x) for all x K. This is equivalent to e x T N (x) e αx. For σ >, we have K ζ N (s, a) e ( a)x x s+n 2 Γ(s + N ) e x T N (x) dx + e ( a)x x s+n 2 K e x T N (x) dx K e ( a)x x σ+n 2 Γ(s + N ) x N dx + x σ+n 2 e ( a α)x dx. /N! The first integral is finite and since a α <, the second integral is convergent. lemma. The next lemma establishes a series representation for ζ N (s, a). Lemma 2.2. For σ >, we have where f n (N, s, a) ζ N (s, a) Γ(s + N ) K This proves our f n (N, s, a), (2.2) n x s+n 2 T n N (x)e (n+a)x dx. (2.3) Proof. Since T N (x)e x < for all x >, we can rewrite the integrand in (2.) as a geometric series: x s+n 2 e ( a)x e x T N (x) e ax x s+n 2 T N (x)e x e ax x s+n 2 TN (x)e x n x s+n 2 TN (x)e n (n+a)x. n The lemma now follows by reversing the order of integration and summation because of Dominated Convergence Theorem: ζ N (s, a) Γ(s + N ) Γ(s + N ) n x s+n 2 n T n N (x)e (n+a)x dx n x s+n 2 TN (x)e n (n+a)x dx. Unfortunately, the coefficients f n (N, s, a) given by (2.3) have no closed form in general. However, in the special case where s, we find that f n (N,, a) is harmonic so that ζ N (s, a) has the same formal harmonic series representation as the classical Hurwitz zeta function at s. This is the content of the next lemma.
3 MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS 3 Lemma 2.3. For f n (N, s, a) given by (2.3), we have Proof. Since x N (N )! T N (x) T N 2 (x), it follows that f n (N,, a) (N )! f n (N,, a) n + a. (2.4) x N T n N (x)e (n+a)x dx T n+ N (x)e (n+a)x dx T N 2 (x)t n N (x)e (n+a)x dx. But the two integrals above merely differ by /(n + a), which results from integrating by parts: This establishes the lemma. T n+ N (x)e (n+a)x dx n + a + T N 2 (x)t n N (x)e (n+a)x dx. We are now ready to describe a Dirichlet series representation of hypergeometric Hurwitz zeta functions. Lemma 2.4. For R(s) σ >, we have ζ N (s, a) n µ N (n, s, a), (2.5) (n + a) s+n where Here a k (N, n) is generated by µ N (n, s, a) n(n ) k a k (N, n) (n + a) k (s + N ) k. (2.6) (T N (x)) n ( N k ) n x k n(n ) k! Proof. With a k (N, n) as defined in (2.7), we rewrite f n (N, s, a) as follows: k a k (N, n)x k. (2.7) f n (N, s, a) Γ(s + N ) Γ(s + N ) Γ(s + N ) Γ(s + N ) x s+n 2 TN (x)e n (n+a)x dx a(n ) a k (N, n)x k e (n+a)x dx x s+n 2 n s+n n s+n n(n ) k k n(n ) k a k (N, n) (n + a) k a k (N, n) xs+k+n 2 (n + a) k e x dx x s+k+n 2 e x dx
4 4 ABDUL HASSEN AND HIEU D. NGUYEN Then reversing the order of the inner summation with the integration, we obtain n(n ) f n (N, s, a) a k (N, n) Γ(s + N ) n s+n (n + a) k x s+k+n 2 e x dx n s+n n(n ) k (n + a) s+n Formula (2.5) now follows from (2.2). µ N (n, s, a) (n + a) s+n. k a k (N, n) Γ(s + N + k ) (n + a) k Γ(s + N ) n(n ) k a k (N, n) (n + a) k (s + N ) k We note that the coefficients µ N (n, s, a) have no closed form in general (at least the authors are not aware of one); however, for the particular case where s, the following formula holds. Lemma 2.5. µ N (n,, a) n(n ) k a k (N, n) (n + a) k (N) k (n + a) N (2.8) Proof. Since f n (N, s, a) µ N (n, s, a)/(n + a) s+n holds even at s, we have from (2.4) that µ N (n,, a) (n + a) N f n (N,, a) (n + a) N. 3. ANALYTIC CONTINUATION In this section we follow Riemann by using contour integration to develop the analytic continuation of ζ N (s, a). As in 2, we consider the contour integral I N (s, a) ( w) s+n e ( a)w dw e w T N (w) w, (3.) γ where the contour γ is taken to be along the real axis from to δ >, then counterclockwise around the circle of radius δ, and lastly along the real axis from δ to (cf. Figure ). Moreover, we let w have argument π backwards along to δ and argument π when going to. Also, we choose the radius δ to be sufficiently small (depending on N) so that there are no roots of e w T N (w) inside the circle of radius δ besides the trivial root z. This follows from the fact that z is an isolated zero. It is then clear from this assumption that I N (s, a) must converge for all complex s and therefore defines an entire function. Remark 3.. (a) To be precise the contour γ should be taken as a limit of contours γ ɛ as ɛ, where the portions running along the x-axis are positioned at heights ±ɛ. Moreover, the poles of the integrand in (3.) cannot accumulate inside this strip due to the asymptotic exponential growth of the zeros of e w T N (w) (see 2). (b) Since we are most interested in the properties of I N (s, a) in the limiting case when δ, we will also write I N (s, a) to denote lim δ I N (s, a).
5 MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS 5 Figure. Contour γ. We begin by evaluating I N (s, a) at integer values of s. To this end, we decompose it as follows: I N (s, a) δ + + e ( a)x (s+n )(log x πi) e e x T N (x) w δ δ ( w) s+n e ( a)w e w T N (w) dx x dw w e ( a)x (s+n )(log x+iπ) e dx e x T N (x) x. (3.2) Now, for integer s n, the two integrations along the real axis in (3.2) cancel and we are left with just the middle integral around the circle of radius δ: I N (n, a) ( w) n+n e ( a)w dw w δ e w T N (w) w. Since the expression e ( a)w w N (e w T N (w)) inside the integrand has a removable singularity at the origin, it follows by Cauchy s Theorem that for integers n >, I N (n, a). For integers n, we consider the power series expansion w N e ( a)w /N! e w T N (w) It now follows from the Residue Theorem that I N (n, a) m ( w) n+n e ( a)w w δ e w T N (w) ( n+n N! ( ) w δ B N,m ( a) w m. (3.3) m! m ( )n+n N!B N, n ( a). ( n)! dw w ) B N,m ( a) w m m! dw w 2 n (3.4)
6 6 ABDUL HASSEN AND HIEU D. NGUYEN We now express ζ N (s, a) in terms of I N (s, a). For R(s) σ >, the middle integral in (3.2) goes to zero as δ. It follows that ( e πi(s+n ) e πi(s+n ) ) I N (s, a) (e x T N (x)) e ( a)x x s+n 2 dx sin π(s + N ) Γ(s + N )ζ N (s, a). π Now, by using the functional equation for the gamma function: we obtain Γ( (s + N ))Γ(s + N ) π sinπ(s + N ) ζ N (s, a) Γ( (s + N ))I N (s, a). (3.5) Remark 3.2. Equation (3.5) and the fact that < a < imply that the zeros of I N (s, a) at positive integers n > are simple since we know by definition (.) that ζ N (n, a) > for n >. We close this section by proving Theorem 3.. ζ N (s, a) is analytic on the entire complex plane except for simple poles at {2 N, 3 N,, } whose residues are ( ) N Res (ζ N (s, a), s n) (2 n) B 2 n N, n ( a) (2 N n ). (3.6) Furthermore, for negative integers n less than 2 N, we have ζ N (n, a) ( ) n N+ ( n N ) B N, n( a). (3.7) Proof. Since Γ( (s + N )) has only simple poles at s 2 N, 3 N,, and I N (s, a) has simple zeros at s 2, 3,, it follows from (3.5) that ζ N (s, a) is analytic on the whole plane except for simple poles at s n, 2 N n. Recalling the fact that the residue of Γ(s) at negative integer n is ( ) n / n!, it follows from (3.4) that Res (ζ N (s, a), s n) lim s n (s n)ζ N (s, a) lim s n (s n)γ( (s + N ))I N (s, a) ( )2 N n (2 N n)! I N(n, a) ( )2 N n (2 N n)! ( N (2 n) 2 n ) B N, n ( a), ( ) n+n N!B N, n ( a) ( n)! which proves (3.6). For n < 2 N, (3.4), (3.5), and the fact that Γ( (n + N )) ( N n)! imply ζ N (n, a) Γ( (n + N )I N (n, a) ( )n+n N!( N n)!b N, n ( a) ( n)! ( ) ( ) n N+ n B N N, n( a), which is (3.7). This completes the proof of the theorem.
7 MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS 7 Figure 2. Contour γ M. 4. MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS In the present section, we discuss a pre-functional equation satisfied by ζ N (s, a) and use it to derive a formula for its moments. Let γ R be the contour shown in figure 2 where the outer circular region is part of a circle of radius R (2M + )π, (M is a positive integer so that the poles of the integrand are not on the contour), the inner circle has radius δ <, the vertical line is R(z). The outer semi-circle is traversed clockwise, the imaginary axis is traversed from bottom to top, the inner circle counterclockwise and the radial segment along the positive real axis is traversed in both directions. Then define I γr (s, a) ( z) γr s+n e ( a)z dz e z T N (z) z. (4.) We claim that I γr (s, a) converges to I N (s, a) as R for R(s) <. To prove this, observe that the portion of I γr (s, a) around the outer circle and the imaginary axis tends to zero as R on the same domain. To prove this we first choose a constant P > such that A z N T N (z) B z N, for all z > P. But then on the outer circle defined by z R(cos θ + i sin θ) (2M + )π, if we choose R > P then where η ± and C A or B. Thus z N e ( a)z e z T N (z) e z T N η ( e x C z N ), e( a)x z N η (e x C z N ) R N e ar cos θ η ( CR N e R cos θ ) converges to zero as R, since π/2 < θ < π/2. On the imaginary axis z iy, we have z N e ( a)z e z T N (z) y N A y N
8 8 ABDUL HASSEN AND HIEU D. NGUYEN which converges to /A as y. Since ( z) s /z < z R(s) and R(s) <, we conclude that the integrals on the outer circle and the vertical lines both converge to zero as R. On the circle of radius 2δ the integrand is bounded and hence the integral vanishes as δ. On the other hand, we have by residue theory K ( ( z) s+n 2 e ( a)z ) I γr (s, a) Res e z, z z k T N (z) k I N (s, a) lim R I γ R (s, a). (4.2) ( ( z) s+n 2 e ( a)z ) + Res e z, z z k. (4.3) T N (z) Here, z k r k e iθ k and z k r k e iθ k are the complex conjugate roots of e z T N (z) and K K M is the number of roots inside γ R in the upper-half plane. Clearly z k depends on N. We will make this assumption throughout and use the same notation z k instead of the more cumbersome notation z k (N). Moreover, we arrange the roots in ascending order so that z < z 2 < z 3 <, since none of the roots can have the same length (see 2). Now, to evaluate the residues, we call upon Cauchy s Integral Formula: Since it follows that Therefore, ( ( z) s+n 2 e ( a)z ) Res e z, z z k ( z k ) s+n 2 e ( a)z k z z k lim T N (z) z z k e z T N (z). lim z z k z z k e z T N (z) e z k TN 2 (z k ) (N )! z N, k ( ( z) s+n 2 e ( a)z ) Res e z, z z k ( ) N (N )!( z k ) s e ( a)z k. T N (z) I γr (s, a) ( ) N (N )! K k Since K as R, we have by (4.2) and (4.4), I N (s, a) lim R I γ R (s, a) 2( ) N (N )! k ( z k ) s e ( a)z k + ( z k ) s e ( a) z k. (4.4) ( z k ) s e ( a)z k + ( z k ) s e ( a) z k. (4.5) Combining (3.5) and (4.5) we have proved the following pre-functional equation for ζ N (s, a). Theorem 4.. For R(s) <, ζ N (s, a) 2( ) N (N )!Γ( (s + N )) k ( z k ) s e ( a)z k + ( z k ) s e ( a) z k. (4.6) As an application of our pre-functional equation, we consider moments of hypergeometric Hurwitz zeta functions. Our main result, Theorem 4.2 below, extends the formula for moments of the classical Hurwitz zeta functions given by Espinosa and Moll (, Theorem 3.7). The following lemma will be useful in our proof of the theorem.
9 MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS 9 Lemma 4.. If z is a root of e z T N (z), then if M N, N z n M M! if M < N, a M e ( a)z da nm+ M z n M M! if M N. Proof. Integration by parts yields a M e ( a)z k da M! ez k T M (z ) z M+ k nn The lemma now follows from the fact that e z T N (z ). We now state our main result. M! ez T N (z ) z M+ M! ez T N (z ) + N nm+ z M+ M! ez T N (z ) M nn z M+ z n z n if M N, if M < N, if M N. Theorem 4.2. Let N > and M >. Then for R(s) < N, if M N, N ( ) M n M!Γ( (s + N )) ζ N (s + n M ) if M < N, a M ζ N (s, a)da Γ( (s + N + n M 2)) nm+ M ( ) M n M!Γ( (s + N )) Γ( (s + N + n M 2)) ζ N(s + n M ) if M N. nn Proof. Denote by A 2( ) N (N )!Γ( (s + N )). Then a M ζ N (s, a)da A A a M k ( z k ) s e ( a)z k + ( z k ) s e ( a) z k ( z k ) s a M e ( a)z k da + ( z k ) s k (4.7) (4.8) (4.9) da (4.) a M e ( a) z k da (4.) To justify the interchange of the sum and the integral above, we note that z k x k + iy k with x k and y k. Then ( z k ) s e ( a)z k z k σ e z k e ax k z k σ T N (z k ) β z k σ z k N where we have used the fact that z k is a root of e z T N (z) and T N (z k ) β z k N for some positive constant β. Now, recall from the work in 2 that z k αk for some positive constant α. Consequently, ( z k ) s e ( a)z k < α σ βk σ+n 2 : M k
10 ABDUL HASSEN AND HIEU D. NGUYEN for all z k and σ + N 2 <. Since M k α σ βζ(2 N σ) <, k we see that this infinite series is uniformly convergent and hence the interchange mentioned previously is admissible. Next, we apply Lemma (4.) to the roots z k to obtain the formula if M N, N z n M k M! if M < N, a M e ( a)z k da (4.2) M! nm+ M nn z n M k if M N. A similar integral formula holds for the roots z k. Then substituting these formulas into (4.) yields the lemma. For example, if M N, then { M a M M n M! ζ N (s, a)da A ( ) ( zk ) s+n M 2 + ( z k ) s+n M 2} k nn { M ( ) M n M!Γ( (s + N )) ( zk ) s+n M 2 + ( z k ) s+n M 2} Γ( (s + N + n M 2)) nn M nn k ( ) M n M!Γ( (s + N )) Γ( (s + N + n M 2)) ζ N(s + n M ) (4.3) The argument for the cases M N and M < N are completely analogous. Thus, we have shown in this paper that many of the properties satisfied by the classical Hurwitz zeta function extends to hypergeometric Hurwitz zeta functions. However, the interesting and more challenging problem of finding a functional equation for the latter remains open, as is the case for hypergeometric zeta functions. References O. Espinosa and V. H. Moll, On Some Integrals Involving the Hurwitz Zeta Function: Part I, The Ramanujan Journal 6 (22), A. Hassen and H. D. Nguyen, Hypergeometric Zeta Function, Intern. J. Number Theory 6 (2), No., Department of Mathematics, Rowan University, Glassboro, NJ address: hassen@rowan.edu, nguyen@rowan.edu
FRACTIONAL 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 informationHYPERGEOMETRIC ZETA FUNCTIONS. 1 n s. ζ(s) = x s 1
HYPERGEOMETRIC ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a new family of special functions referred to as hypergeometric zeta functions. Derived from the integral
More informationHYPERGEOMETRIC BERNOULLI POLYNOMIALS AND APPELL SEQUENCES
HYPERGEOMETRIC BERNOULLI POLYNOMIALS AND APPELL SEQUENCES ABDUL HASSEN AND HIEU D. NGUYEN Abstract. There are two analytic approaches to Bernoulli polynomials B n(x): either by way of the generating function
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 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 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 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 informationx s 1 e x dx, for σ > 1. If we replace x by nx in the integral then we obtain x s 1 e nx dx. x s 1
Recall 9. The Riemann Zeta function II Γ(s) = x s e x dx, for σ >. If we replace x by nx in the integral then we obtain Now sum over n to get n s Γ(s) = x s e nx dx. x s ζ(s)γ(s) = e x dx. Note that as
More informationComplex Variables. Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit.
Instructions Solve any eight of the following ten problems. Explain your reasoning in complete sentences to maximize credit. 1. The TI-89 calculator says, reasonably enough, that x 1) 1/3 1 ) 3 = 8. lim
More informationLECTURE-13 : GENERALIZED CAUCHY S THEOREM
LECTURE-3 : GENERALIZED CAUCHY S THEOREM VED V. DATAR The aim of this lecture to prove a general form of Cauchy s theorem applicable to multiply connected domains. We end with computations of some real
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 informationζ (s) = s 1 s {u} [u] ζ (s) = s 0 u 1+sdu, {u} Note how the integral runs from 0 and not 1.
Problem Sheet 3. From Theorem 3. we have ζ (s) = + s s {u} u+sdu, (45) valid for Res > 0. i) Deduce that for Res >. [u] ζ (s) = s u +sdu ote the integral contains [u] in place of {u}. ii) Deduce that for
More informationRiemann Zeta Function and Prime Number Distribution
Riemann Zeta Function and Prime Number Distribution Mingrui Xu June 2, 24 Contents Introduction 2 2 Definition of zeta function and Functional Equation 2 2. Definition and Euler Product....................
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 informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
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 informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
More informationEXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS. M. Aslam Chaudhry. Received May 18, 2007
Scientiae Mathematicae Japonicae Online, e-2009, 05 05 EXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS M. Aslam Chaudhry Received May 8, 2007 Abstract. We define
More informationFirst, let me recall the formula I want to prove. Again, ψ is the function. ψ(x) = n<x
8.785: Analytic Number heory, MI, spring 007 (K.S. Kedlaya) von Mangoldt s formula In this unit, we derive von Mangoldt s formula estimating ψ(x) x in terms of the critical zeroes of the Riemann zeta function.
More informationINTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 2004 COMPLEX ANALYSIS EXERCISES PHILIP FOTH 1. Cauchy s Formula and Cauchy s Theorem 1. Suppose that γ is a piecewise smooth positively ( counterclockwise ) oriented simple closed
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 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 informationComplex numbers, the exponential function, and factorization over C
Complex numbers, the exponential function, and factorization over C 1 Complex Numbers Recall that for every non-zero real number x, its square x 2 = x x is always positive. Consequently, R does not contain
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y
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 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 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 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 informationMath Spring 2014 Solutions to Assignment # 12 Completion Date: Thursday June 12, 2014
Math 3 - Spring 4 Solutions to Assignment # Completion Date: Thursday June, 4 Question. [p 67, #] Use residues to evaluate the improper integral x + ). Ans: π/4. Solution: Let fz) = below. + z ), and for
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 informationTopic 7 Notes Jeremy Orloff
Topic 7 Notes Jeremy Orloff 7 Taylor and Laurent series 7. Introduction We originally defined an analytic function as one where the derivative, defined as a limit of ratios, existed. We went on to prove
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 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 informationMathematics 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More informationFinal Exam - MATH 630: Solutions
Final Exam - MATH 630: Solutions Problem. Find all x R satisfying e xeix e ix. Solution. Comparing the moduli of both parts, we obtain e x cos x, and therefore, x cos x 0, which is possible only if x 0
More informationPhysics 2400 Midterm I Sample March 2017
Physics 4 Midterm I Sample March 17 Question: 1 3 4 5 Total Points: 1 1 1 1 6 Gamma function. Leibniz s rule. 1. (1 points) Find positive x that minimizes the value of the following integral I(x) = x+1
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 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 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 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 informationComplex Analysis for Applications, Math 132/1, Home Work Solutions-II Masamichi Takesaki
Page 48, Problem. Complex Analysis for Applications, Math 3/, Home Work Solutions-II Masamichi Takesaki Γ Γ Γ 0 Page 9, Problem. If two contours Γ 0 and Γ are respectively shrunkable to single points in
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More information1 Res z k+1 (z c), 0 =
32. COMPLEX ANALYSIS FOR APPLICATIONS Mock Final examination. (Monday June 7..am 2.pm) You may consult your handwritten notes, the book by Gamelin, and the solutions and handouts provided during the Quarter.
More informationINDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012
INDIAN INSTITUTE OF TECHNOLOGY BOMBAY MA205 Complex Analysis Autumn 2012 September 5, 2012 Mapping Properties Lecture 13 We shall once again return to the study of general behaviour of holomorphic functions
More informationON THE TAYLOR COEFFICIENTS OF THE HURWITZ ZETA FUNCTION
ON THE TAYLOR COEFFICIENTS OF THE HURWITZ ZETA FUNCTION Khristo N. Boyadzhiev Department of Mathematics, Ohio Northern University, Ada, Ohio, 45810 k-boyadzhiev@onu.edu Abstract. We find a representation
More informationThe result above is known as the Riemann mapping theorem. We will prove it using basic theory of normal families. We start this lecture with that.
Lecture 15 The Riemann mapping theorem Variables MATH-GA 2451.1 Complex The point of this lecture is to prove that the unit disk can be mapped conformally onto any simply connected open set in the plane,
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x+iy, x,y R:
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 informationMTH4101 CALCULUS II REVISION NOTES. 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) ax 2 + bx + c = 0. x = b ± b 2 4ac 2a. i = 1.
MTH4101 CALCULUS II REVISION NOTES 1. COMPLEX NUMBERS (Thomas Appendix 7 + lecture notes) 1.1 Introduction Types of numbers (natural, integers, rationals, reals) The need to solve quadratic equations:
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 informationDirichlet s Theorem. Calvin Lin Zhiwei. August 18, 2007
Dirichlet s Theorem Calvin Lin Zhiwei August 8, 2007 Abstract This paper provides a proof of Dirichlet s theorem, which states that when (m, a) =, there are infinitely many primes uch that p a (mod m).
More informationLAURENT SERIES AND SINGULARITIES
LAURENT SERIES AND SINGULARITIES Introduction So far we have studied analytic functions Locally, such functions are represented by power series Globally, the bounded ones are constant, the ones that get
More information13 Maximum Modulus Principle
3 Maximum Modulus Principle Theorem 3. (maximum modulus principle). If f is non-constant and analytic on an open connected set Ω, then there is no point z 0 Ω such that f(z) f(z 0 ) for all z Ω. Remark
More informationarxiv: v22 [math.gm] 20 Sep 2018
O RIEMA HYPOTHESIS arxiv:96.464v [math.gm] Sep 8 RUIMIG ZHAG Abstract. In this work we present a proof to the celebrated Riemann hypothesis. In it we first apply the Plancherel theorem properties of the
More informationMTH 3102 Complex Variables Final Exam May 1, :30pm-5:30pm, Skurla Hall, Room 106
Name (Last name, First name): MTH 32 Complex Variables Final Exam May, 27 3:3pm-5:3pm, Skurla Hall, Room 6 Exam Instructions: You have hour & 5 minutes to complete the exam. There are a total of problems.
More informationConvergence of Some Divergent Series!
Convergence of Some Divergent Series! T. Muthukumar tmk@iitk.ac.in 9 Jun 04 The topic of this article, the idea of attaching a finite value to divergent series, is no longer a purely mathematical exercise.
More informationBernoulli Polynomials
Chapter 4 Bernoulli Polynomials 4. Bernoulli Numbers The generating function for the Bernoulli numbers is x e x = n= B n n! xn. (4.) That is, we are to expand the left-hand side of this equation in powers
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 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 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 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 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 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 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
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 informationResidues and Contour Integration Problems
Residues and ontour Integration Problems lassify the singularity of fz at the indicated point.. fz = cotz at z =. Ans. Simple pole. Solution. The test for a simple pole at z = is that lim z z cotz exists
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 informationInfinite Series. 1 Introduction. 2 General discussion on convergence
Infinite Series 1 Introduction I will only cover a few topics in this lecture, choosing to discuss those which I have used over the years. The text covers substantially more material and is available for
More informationFourier Theory on the Complex Plane II Weak Convergence, Classification and Factorization of Singularities
Fourier Theory on the Complex Plane II Weak Convergence, Classification and Factorization of Singularities Jorge L. delyra Department of Mathematical Physics Physics Institute University of São Paulo April
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 informationA RAPID INTRODUCTION TO COMPLEX ANALYSIS
A RAPID INTRODUCTION TO COMPLEX ANALYSIS AKHIL MATHEW ABSTRACT. These notes give a rapid introduction to some of the basic results in complex analysis, assuming familiarity from the reader with Stokes
More informationThe Asymptotic Expansion of a Generalised Mathieu Series
Applied Mathematical Sciences, Vol. 7, 013, no. 15, 609-616 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.1988/ams.013.3949 The Asymptotic Expansion of a Generalised Mathieu Series R. B. Paris School
More information7 Asymptotics for Meromorphic Functions
Lecture G jacques@ucsd.edu 7 Asymptotics for Meromorphic Functions Hadamard s Theorem gives a broad description of the exponential growth of coefficients in power series, but the notion of exponential
More informationMTH 3102 Complex Variables Solutions: Practice Exam 2 Mar. 26, 2017
Name Last name, First name): MTH 31 omplex Variables Solutions: Practice Exam Mar. 6, 17 Exam Instructions: You have 1 hour & 1 minutes to complete the exam. There are a total of 7 problems. You must show
More informationMath Final Exam.
Math 106 - Final Exam. This is a closed book exam. No calculators are allowed. The exam consists of 8 questions worth 100 points. Good luck! Name: Acknowledgment and acceptance of honor code: Signature:
More information2. Complex Analytic Functions
2. Complex Analytic Functions John Douglas Moore July 6, 2011 Recall that if A and B are sets, a function f : A B is a rule which assigns to each element a A a unique element f(a) B. In this course, we
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 informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationMath 680 Fall A Quantitative Prime Number Theorem I: Zero-Free Regions
Math 68 Fall 4 A Quantitative Prime Number Theorem I: Zero-Free Regions Ultimately, our goal is to prove the following strengthening of the prime number theorem Theorem Improved Prime Number Theorem: There
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 informationRIEMANN S FIRST PROOF OF THE ANALYTIC CONTINUATION OF ζ(s) AND L(s, χ)
RIEMANN S FIRST PROOF OF THE ANALYTIC CONTINUATION OF ζ(s AND L(s, χ FELIX RUBIN SEMINAR ON MODULAR FORMS, WINTER TERM 6 Abstrat. In this hapter, we will see a proof of the analyti ontinuation of the Riemann
More informationComplex varibles:contour integration examples
omple varibles:ontour integration eamples 1 Problem 1 onsider the problem d 2 + 1 If we take the substitution = tan θ then d = sec 2 θdθ, which leads to dθ = π sec 2 θ tan 2 θ + 1 dθ Net we consider the
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 Homework Summer 2014
omplex Homework Summer 24 Based on Brown hurchill 7th Edition June 2, 24 ontents hw, omplex Arithmetic, onjugates, Polar Form 2 2 hw2 nth roots, Domains, Functions 2 3 hw3 Images, Transformations 3 4 hw4
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 informationBernoulli polynomials
Bernoulli polynomials Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto February 2, 26 Bernoulli polynomials For k, the Bernoulli polynomial B k (x) is defined by ze xz
More informationIntroduction to Series and Sequences Math 121 Calculus II Spring 2015
Introduction to Series and Sequences Math Calculus II Spring 05 The goal. The main purpose of our study of series and sequences is to understand power series. A power series is like a polynomial of infinite
More informationMath 411, Complex Analysis Definitions, Formulas and Theorems Winter y = sinα
Math 411, Complex Analysis Definitions, Formulas and Theorems Winter 014 Trigonometric Functions of Special Angles α, degrees α, radians sin α cos α tan α 0 0 0 1 0 30 π 6 45 π 4 1 3 1 3 1 y = sinα π 90,
More informationMath 141: Lecture 19
Math 141: Lecture 19 Convergence of infinite series Bob Hough November 16, 2016 Bob Hough Math 141: Lecture 19 November 16, 2016 1 / 44 Series of positive terms Recall that, given a sequence {a n } n=1,
More informationPSI Lectures on Complex Analysis
PSI Lectures on Complex Analysis Tibra Ali August 14, 14 Lecture 4 1 Evaluating integrals using the residue theorem ecall the residue theorem. If f (z) has singularities at z 1, z,..., z k which are enclosed
More informationCERTAIN INTEGRALS ARISING FROM RAMANUJAN S NOTEBOOKS
CERTAIN INTEGRALS ARISING FROM RAMANUJAN S NOTEBOOKS BRUCE C. BERNDT AND ARMIN STRAUB Abstract. In his third noteboo, Ramanujan claims that log x dx + π 2 x 2 dx. + 1 In a following cryptic line, which
More informationGeometric Series and the Ratio and Root Test
Geometric Series and the Ratio and Root Test James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 5, 2018 Outline 1 Geometric Series
More informationMA 412 Complex Analysis Final Exam
MA 4 Complex Analysis Final Exam Summer II Session, August 9, 00.. Find all the values of ( 8i) /3. Sketch the solutions. Answer: We start by writing 8i in polar form and then we ll compute the cubic root:
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 informationarxiv: v2 [math.gm] 24 May 2016
arxiv:508.00533v [math.gm] 4 May 06 A PROOF OF THE RIEMANN HYPOTHESIS USING THE REMAINDER TERM OF THE DIRICHLET ETA FUNCTION. JEONWON KIM Abstract. The Dirichlet eta function can be divided into n-th partial
More informationThe Residue Theorem. Integration Methods over Closed Curves for Functions with Singularities
The Residue Theorem Integration Methods over losed urves for Functions with Singularities We have shown that if f(z) is analytic inside and on a closed curve, then f(z)dz = 0. We have also seen examples
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 informationARGUMENT INVERSION FOR MODIFIED THETA FUNCTIONS. Introduction
ARGUMENT INVERION FOR MODIFIED THETA FUNCTION MAURICE CRAIG The standard theta function has the inversion property Introduction θ(x) = exp( πxn 2 ), (n Z, Re(x) > ) θ(1/x) = θ(x) x. This formula is proved
More informationMATH 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 informationCONVERGENCE OF THE FOURIER SERIES
CONVERGENCE OF THE FOURIER SERIES SHAW HAGIWARA Abstract. The Fourier series is a expression of a periodic, integrable function as a sum of a basis of trigonometric polynomials. In the following, we first
More information