DOCSLIB.ORG

Topics in Complex Analysis

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Topics in Complex Analysis Topics in Complex Analysis M. Bertola‡1 ‡ Department of Mathematics and Statistics, Concordia University 7141 Sherbrooke W., Montr´eal, Qu´ebec, Canada H4B 1R6 [email protected] Contents 1 Introduction 4 1 Complex numbers, complex plane ................................ 4 2 Sequences, series and convergence ................................ 6 3 Functions of one complex variable ............................... 7 2 Calculus 8 1 Holomorphic functions ...................................... 8 2 Power series ............................................ 11 3 Integration ............................................ 12 3.1 Cauchy’s Theorem .................................... 15 4 Cauchy’s integral formula .................................... 18 4.1 Taylor Series ....................................... 19 4.2 Morera’s theorem ..................................... 21 5 Maximum modulus and mean value .............................. 22 5.1 Mean value principle ................................... 24 6 Laurent series and isolated singularities ............................ 26 7 Residues .............................................. 28 7.1 Zeroes of holomorphic functions ............................. 28 7.2 Meromorphic functions ................................. 29 7.3 Application of the residue theorem to multiplicities of zeroes ............ 29 3 Applications of complex integration 31 1 Summation of series ....................................... 31 1.1 Fourier series ....................................... 33 2 Integrals .............................................. 33 2.1 Case1 ........................................... 33 2.2 Case2 ........................................... 34 3 Jordan’s lemma and applications ................................ 34 1 4 Analytic continuation 36 1 Analytic continuation ...................................... 36 1.1 Monodromy theorem ................................... 39 2 Schwartz reflection principle ................................... 41 5 One-dimensional complex manifolds 42 1 Definition ............................................. 42 2 One-forms and integration .................................... 44 2.1 Zeroes and poles: residues ................................ 46 3 Coverings and Riemann surfaces ................................ 47 4 Fundamental group and universal covering ........................... 49 4.1 Intersection number ................................... 51 5 Universal covering ........................................ 52 6 Riemann’s sphere ......................................... 53 6.1 One forms ......................................... 55 6.2 Automorphisms ...................................... 55 7 The unit disk .......................................... 57 7.1 Automorphisms ...................................... 58 8 Complex tori and elliptic functions ............................... 59 8.1 One-forms ......................................... 62 8.2 Elliptic functions ..................................... 62 8.3 Automorphisms and equivalence of complex tori ................... 75 9 Modular group and modular forms ............................... 76 9.1 Modular functions and forms .............................. 80 10 Classification of complex one-dimensional manifolds ..................... 86 11 Algebraic functions and algebraic curves ............................ 87 11.1 Manifold structure on the locus P (w,z)=0 ...................... 89 11.2 Surgery .......................................... 90 11.3 Hyperelliptic curves ................................... 91 11.4 Abelian Integrals ..................................... 94 11.5 Symplectic basis in the homology ............................ 95 6 Harmonic functions 97 1 Harmonic conjugate ....................................... 97 2 Mean and maximum value theorems .............................. 98 2 7 Riemann mapping theorem 101 1 Statement ............................................. 101 2 Topologyof ( ) ........................................ 104 H D 3 Proof ................................................ 108 4 Extensions of the theorem .................................... 109 4.1 Some conformal mappings ................................ 110 5 Exercises ............................................. 110 8 Picard’s theorems 111 1 Picard’s Little Theorem ..................................... 111 2 ProofofThm. 8.1.0 ....................................... 114 3 Picard’s great theorem ...................................... 115 3 Chapter 1 Introduction 1 Complex numbers, complex plane We define the following structure (=set + operations) C := z := (a,b) a,b R (= R2) (1.1.1) { | ∈ } (a,b) + (c, d) := (a + c,b + d) (1.1.2) (a,b) (c, d) := (ac bd, ad + bc) (1.1.3) · − Lemma 1.1.3 The strucuture (C, +, ) satisfies the axioms of field with the multiplicative inverse given · as follows: 1 a b 1 z = (a,b) =0=:(0, 0) , z− = , − , z z− =1=:(1, 0). (1.1.4) 6 a2 + b2 a2 + b2 · Remark 1.1 For which n’s we can endow the set Rn with a structure of division algebra? Only for n = 1, 2, 4, 8. This was proved by J. Adams in 1962 using methods of algebraic topology. We will use the following shortccut for complex numbers z = a + ib, i2 = 1, i := (0, 1). (1.1.5) − We also define the following real-valued functions (z) := a , (z)= b (1.1.6) ℜ ℑ and the following operation : C C (1.1.7) → (1.1.8) z z := a ib 7→ − 4 We then have the following properties: z + z z z (z)= , (z)= − (1.1.9) ℜ 2 ℑ 2i z w = z w (1.1.10) ± ± z w = z w (1.1.11) · · [From now on we omit the to denote the multiplication of complex numbers] · The modulus and argument are defined by z := √zz = a2 + b2 0 and = 0 iff z =0. (1.1.12) | | ≥ (z) (z) arg(z)= φ(mod 2π) s.t. cos φ = ℜ , sin φ = ℑ . (1.1.13) z z | | | | Lemma 1.1.13 [Exercise] Prove that z w z + w z + w (1.1.14) | | | − | ||≤| | ≤ | | | | Exercise 1.1 Find all complex numbers satisfying the following relations z = z (1.1.15) 1 z z− = , z =0. (1.1.16) z 2 6 | | Examples 1.1 . 1. The map z z is the reflection about the Real axis. 7→ 2. The set z z = R is the circle of radius R centered at z . {| − 0| } 0 3. The set arg(z) θ <ǫ is a wedge of width 2ǫ with bisecant forming an agle θ with the positive {| − 0| } 0 real axis. Lemma 1.1.16 [Exercise] zw = z w (1.1.17) | | | | | | arg(zw)= arg(z)+ arg(w) mod 2π (1.1.18) Corollary 1.1.18 (Exercise) The map z λz with λ C× (C× := C 0 ) is a rotation of angle 7→ ∈ \{ } arg(λ) followed by a dilation by λ . | | Example 1.1 Using the tautological identification of C R2, find the matrix that represents the linear ≃ map T (z) := λz : C C as a linear transformation T˜ : R2 R2. Characterize all linear maps R2 R2 → → → that can be represented by multiplication by a complex number. 5 Lemma 1.1.18 [Euler’s formula] Let z = x + iy, then ex+iy =ex cos(y)+ i sin(y) (1.1.19) Exercise 1.2 Using Euler’s formula prove that Tn(x) := cos(nθ) , x := cos(θ) (1.1.20) is a polynomial in x of degree n (Tchebicheff’s polynomial). [Hint: cos(nθ)= (exp(inθ))]. ℜ 2 Sequences, series and convergence The topology of C is inherited from the tautological identification with R2 (which is a metric space) i.e. Definition 2.1 A sequence zn : N C converges limn zn = w iff limn zn w =0. → →∞ →∞ | − | Since R2 is complete, so is C, namely Corollary 1.2.0 Every Cauchy sequence in C has a limit in C, or, in more detail: A sequence zn n N converges iff { } ∈ ǫ> 0 N s.t. n,m>N z z <ǫ (1.2.1) ∀ ∃ ∀ | n − m| As for real numbers, convergence for series is defined according to the convergence of the partial sums, i.e. the series ∞ zn (1.2.2) n=0 X n converges iff the sequence of its partial sums sn := j=0 zj converges. Lemma 1.2.2 [Exercise] If the series P ∞ z (1.2.3) | n| n=0 X converges then the series n∞=0 zn converges as well and P ∞ ∞ zn zn (1.2.4) ≤ | | n=0 n=0 X X Definition 2.2 If the series ∞ zn converges we say that the series ∞ zn is absolutely con- n=0 | | n=0 vergent. P P 6 Example 2.1 Suppose we have ∞ zn and ∞ wn two absolutely convergent series, with sum respec- tively Z and W . Prove (with an ǫ δ proof) that P− P azn + bwn = aZ + bW (1.2.5) X ∞ ∞ znwm = ZW (1.2.6) n=0 m=0 X X 3 Functions of one complex variable Definition 3.1 A subset of C is called a domain if it is open and connected. D Recall that a set Y in a topological space (X, τ) is said to be connected if the following condition applies Y = Y Y , Y and Y open subsets , Y = ,Y, Y Y = . (1.3.1) 1 ∪ 2 1 2 j 6 ∅ 1 ∩ 2 ∅ We now begin the study of the properties of functions f : C (1.3.2) D → Limits and continuity are defined as for any maps between topological (actually metric) spaces. Differ- entiability can be defined using the tautological identification C R2, however we will need a refinement ≃ of this notion which is ”compatible” with the structure of the complex plane. We will use the notations z = x + iy f(z)= u(x, y)+ iv(x, y). (1.3.3) Exercise 3.1 Formulate the continuity requirement and prove that a function f = u+iv is continuous (at a point/ on a domain) iff both its real and imaginary parts (u and v) are. Prove that the product, linear combination, ratio (iff the denominator does not vanish) of two continuous functions f,g is continuous. Examples 3.1 . 1. f(z)= z 2. f(z)= z N M n m 3. f(x)= n=0 m=0 anmz z Remark 3.1P[Exercise]P If D⊂ C is closed and bounded ( and hence compact) then a continuous function f is also uniformly continous, namely ∀ǫ> 0 ∃δ > 0 s.t. ∀z, w ∈ D, |z − w| < δ ⇒ |f(z) − f(w)| < ǫ . (1.3.4) 7 Chapter 2 Calculus 1 Holomorphic functions Definition 1.1 Given a function f(z) : C we say that it has complex derivative at z if the D → 0 following limit exists finite f(z) f(z0) f ′(z0) := lim − . (2.1.1) z z0 z z → − 0 Note that the ratio is the ratio of complex numbers and the limit is taken in C. Example 1.1 The function f(z)= zz does not have complex derivative in the above sense: however it is differentiable when seen as a function R2 R2. → Exercise 1.1 Prove that the functions f(z) = zn, n Z have complex derivative at all points in C ∈ (excluding z =0 for n< 0) and that n 1 f ′(z)= nz − . (2.1.2) Definition 1.2 A function f : C defined on the domain is called holomorphic if it has complex D → D derivative at all points of the domain.
Load more

Recommended publications
  • Analytic Continuation of Massless Two-Loop Four-Point Functions
    CERN-TH/2002-145 hep-ph/0207020 July 2002 Analytic Continuation of Massless Two-Loop Four-Point Functions T. Gehrmanna and E. Remiddib a Theory Division, CERN, CH-1211 Geneva 23, Switzerland b Dipartimento di Fisica, Universit`a di Bologna and INFN, Sezione di Bologna, I-40126 Bologna, Italy Abstract We describe the analytic continuation of two-loop four-point functions with one off-shell external leg and internal massless propagators from the Euclidean region of space-like 1 3decaytoMinkowskian regions relevant to all 1 3and2 2 reactions with one space-like or time-like! off-shell external leg. Our results can be used! to derive two-loop! master integrals and unrenormalized matrix elements for hadronic vector-boson-plus-jet production and deep inelastic two-plus-one-jet production, from results previously obtained for three-jet production in electron{positron annihilation. 1 Introduction In recent years, considerable progress has been made towards the extension of QCD calculations of jet observables towards the next-to-next-to-leading order (NNLO) in perturbation theory. One of the main ingredients in such calculations are the two-loop virtual corrections to the multi leg matrix elements relevant to jet physics, which describe either 1 3 decay or 2 2 scattering reactions: two-loop four-point functions with massless internal propagators and→ up to one off-shell→ external leg. Using dimensional regularization [1, 2] with d = 4 dimensions as regulator for ultraviolet and infrared divergences, the large number of different integrals6 appearing in the two-loop Feynman amplitudes for 2 2 scattering or 1 3 decay processes can be reduced to a small number of master integrals.
    [Show full text]
  • An Explicit Formula for Dirichlet's L-Function
    University of Tennessee at Chattanooga UTC Scholar Student Research, Creative Works, and Honors Theses Publications 5-2018 An explicit formula for Dirichlet's L-Function Shannon Michele Hyder University of Tennessee at Chattanooga, [email protected] Follow this and additional works at: https://scholar.utc.edu/honors-theses Part of the Mathematics Commons Recommended Citation Hyder, Shannon Michele, "An explicit formula for Dirichlet's L-Function" (2018). Honors Theses. This Theses is brought to you for free and open access by the Student Research, Creative Works, and Publications at UTC Scholar. It has been accepted for inclusion in Honors Theses by an authorized administrator of UTC Scholar. For more information, please contact [email protected]. An Explicit Formula for Dirichlet's L-Function Shannon M. Hyder Departmental Honors Thesis The University of Tennessee at Chattanooga Department of Mathematics Thesis Director: Dr. Andrew Ledoan Examination Date: April 9, 2018 Members of Examination Committee Dr. Andrew Ledoan Dr. Cuilan Gao Dr. Roger Nichols c 2018 Shannon M. Hyder ALL RIGHTS RESERVED i Abstract An Explicit Formula for Dirichlet's L-Function by Shannon M. Hyder The Riemann zeta function has a deep connection to the distribution of primes. In 1911 Landau proved that, for every fixed x > 1, X T xρ = − Λ(x) + O(log T ) 2π 0<γ≤T as T ! 1. Here ρ = β + iγ denotes a complex zero of the zeta function and Λ(x) is an extension of the usual von Mangoldt function, so that Λ(x) = log p if x is a positive integral power of a prime p and Λ(x) = 0 for all other real values of x.
    [Show full text]
  • Bernstein's Analytic Continuation of Complex Powers of Polynomials
    Bernsteins analytic continuation of complex p owers c Paul Garrett garrettmathumnedu version January Analytic continuation of distributions Statement of the theorems on analytic continuation Bernsteins pro ofs Pro of of the Lemma the Bernstein p olynomial Pro of of the Prop osition estimates on zeros Garrett Bernsteins analytic continuation of complex p owers Let f b e a p olynomial in x x with real co ecients For complex s let n s f b e the function dened by s s f x f x if f x s f x if f x s Certainly for s the function f is lo cally integrable For s in this range s we can dened a distribution denoted by the same symb ol f by Z s s f x x dx f n R n R the space of compactlysupp orted smo oth realvalued where is in C c n functions on R s The ob ject is to analytically continue the distribution f as a meromorphic distributionvalued function of s This typ e of question was considered in several provo cative examples in IM Gelfand and GE Shilovs Generalized Functions volume I One should also ask ab out analytic continuation as a temp ered distribution In a lecture at the Amsterdam Congress IM Gelfand rened this question to require further that one show that the p oles lie in a nite numb er of arithmetic progressions Bernstein proved the result in under a certain regularity hyp othesis on the zeroset of the p olynomial f Published in Journal of Functional Analysis and Its Applications translated from Russian The present discussion includes some background material from complex function theory and
    [Show full text]
  • [Math.AG] 2 Jul 2015 Ic Oetime: Some and Since Time, of People
    MONODROMY AND NORMAL FORMS FABRIZIO CATANESE Abstract. We discuss the history of the monodromy theorem, starting from Weierstraß, and the concept of monodromy group. From this viewpoint we compare then the Weierstraß, the Le- gendre and other normal forms for elliptic curves, explaining their geometric meaning and distinguishing them by their stabilizer in PSL(2, Z) and their monodromy. Then we focus on the birth of the concept of the Jacobian variety, and the geometrization of the theory of Abelian functions and integrals. We end illustrating the methods of complex analysis in the simplest issue, the difference equation f(z)= g(z + 1) g(z) on C. − Contents Introduction 1 1. The monodromy theorem 3 1.1. Riemann domain and sheaves 6 1.2. Monodromy or polydromy? 6 2. Normalformsandmonodromy 8 3. Periodic functions and Abelian varieties 16 3.1. Cohomology as difference equations 21 References 23 Introduction In Jules Verne’s novel of 1874, ‘Le Tour du monde en quatre-vingts jours’ , Phileas Fogg is led to his remarkable adventure by a bet made arXiv:1507.00711v1 [math.AG] 2 Jul 2015 in his Club: is it possible to make a tour of the world in 80 days? Idle questions and bets can be very stimulating, but very difficult to answer when they deal with the history of mathematics, and one asks how certain ideas, which have been a common knowledge for long time, did indeed evolve and mature through a long period of time, and through the contributions of many people. In short, there are three idle questions which occupy my attention since some time: Date: July 3, 2015.
    [Show full text]
  • Chapter 4 the Riemann Zeta Function and L-Functions
    Chapter 4 The Riemann zeta function and L-functions 4.1 Basic facts We prove some results that will be used in the proof of the Prime Number Theorem (for arithmetic progressions). The L-function of a Dirichlet character χ modulo q is defined by 1 X L(s; χ) = χ(n)n−s: n=1 P1 −s We view ζ(s) = n=1 n as the L-function of the principal character modulo 1, (1) (1) more precisely, ζ(s) = L(s; χ0 ), where χ0 (n) = 1 for all n 2 Z. We first prove that ζ(s) has an analytic continuation to fs 2 C : Re s > 0gnf1g. We use an important summation formula, due to Euler. Lemma 4.1 (Euler's summation formula). Let a; b be integers with a < b and f :[a; b] ! C a continuously differentiable function. Then b X Z b Z b f(n) = f(x)dx + f(a) + (x − [x])f 0(x)dx: n=a a a 105 Remark. This result often occurs in the more symmetric form b Z b Z b X 1 1 0 f(n) = f(x)dx + 2 (f(a) + f(b)) + (x − [x] − 2 )f (x)dx: n=a a a Proof. Let n 2 fa; a + 1; : : : ; b − 1g. Then Z n+1 Z n+1 x − [x]f 0(x)dx = (x − n)f 0(x)dx n n h in+1 Z n+1 Z n+1 = (x − n)f(x) − f(x)dx = f(n + 1) − f(x)dx: n n n By summing over n we get b Z b X Z b (x − [x])f 0(x)dx = f(n) − f(x)dx; a n=a+1 a which implies at once Lemma 4.1.
    [Show full text]
  • Introduction to Analytic Number Theory More About the Gamma Function We Collect Some More Facts About Γ(S)
    Math 259: 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 L(s, χ). All of these, and most of the Exercises, are standard textbook fare; one basic reference is Ch. XII (pp. 235–264) of [WW 1940]. One reason for not just citing Whittaker & Watson is that some of the results concerning Euler’s integrals B and Γ have close analogues in the Gauss and Jacobi sums associated to Dirichlet characters, and we shall need these analogues before long. The product formula for Γ(s). Recall that Γ(s) has simple poles at s = 0, −1, −2,... and no zeros. We readily concoct a product that has the same behavior: let ∞ 1 Y . s g(s) := es/k 1 + , s k k=1 the product converging uniformly in compact subsets of C − {0, −1, −2,...} because ex/(1 + x) = 1 + O(x2) for small x. Then Γ/g is an entire function with neither poles nor zeros, so it can be written as exp α(s) for some entire function α. We show that α(s) = −γs, where γ = 0.57721566490 ... is Euler’s constant: N X 1 γ := lim − log N + . N→∞ k k=1 That is, we show: Lemma. The Gamma function has the product formulas ∞ N ! e−γs Y . s 1 Y k Γ(s) = e−γsg(s) = es/k 1 + = lim N s . (1) s k s N→∞ s + k k=1 k=1 Proof : For s 6= 0, −1, −2,..., the quotient g(s + 1)/g(s) is the limit as N→∞ of N N ! N s Y 1 + s s X 1 Y k + s e1/k k = exp s + 1 1 + s+1 s + 1 k k + s + 1 k=1 k k=1 k=1 N ! N X 1 = s · · exp − log N + .
    [Show full text]
  • Appendix B the Fourier Transform of Causal Functions
    Appendix A Distribution Theory We expect the reader to have some familiarity with the topics of distribu­ tion theory and Fourier transforms, as well as the theory of functions of a complex variable. However, to provide a bridge between texts that deal with these topics and this textbook, we have included several appendices. It is our intention that this appendix, and those that follow, perform the func­ tion of outlining our notational conventions, as well as providing a guide that the reader may follow in finding relevant topics to study to supple­ ment this text. As a result, some precision in language has been sacrificed in favor of understandability through heuristic descriptions. Our main goals in this appendix are to provide background material as well as mathematical justifications for our use of "singular functions" and "bandlimited delta functions," which are distributional objects not normally discussed in textbooks. A.l Introduction Distributions provide a mathematical framework that can be used to satisfy two important needs in the theory of partial differential equations. First, quantities that have point duration and/or act at a point location may be described through the use of the traditional "Dirac delta function" representation. Such quantities find a natural place in representing energy sources as the forcing functions of partial differential equations. In this usage, distributions can "localize" the values of functions to specific spatial 390 A. Distribution Theory and/or temporal values, representing the position and time at which the source acts in the domain of a problem under consideration. The second important role of distributions is to extend the process of differentiability to functions that fail to be differentiable in the classical sense at isolated points in their domains of definition.
    [Show full text]
  • Introduction. There Are at Least Three Different Problems with Which One Is Confronted in the Study of L-Functions: the Analytic
    L-Functions and Automorphic Representations∗ R. P. Langlands Introduction. There are at least three different problems with which one is confronted in the study of L•functions: the analytic continuation and functional equation; the location of the zeroes; and in some cases, the determination of the values at special points. The first may be the easiest. It is certainly the only one with which I have been closely involved. There are two kinds of L•functions, and they will be described below: motivic L•functions which generalize the Artin L•functions and are defined purely arithmetically, and automorphic L•functions, defined by data which are largely transcendental. Within the automorphic L• functions a special class can be singled out, the class of standard L•functions, which generalize the Hecke L•functions and for which the analytic continuation and functional equation can be proved directly. For the other L•functions the analytic continuation is not so easily effected. However all evidence indicates that there are fewer L•functions than the definitions suggest, and that every L•function, motivic or automorphic, is equal to a standard L•function. Such equalities are often deep, and are called reciprocity laws, for historical reasons. Once a reciprocity law can be proved for an L•function, analytic continuation follows, and so, for those who believe in the validity of the reciprocity laws, they and not analytic continuation are the focus of attention, but very few such laws have been established. The automorphic L•functions are defined representation•theoretically, and it should be no surprise that harmonic analysis can be applied to some effect in the study of reciprocity laws.
    [Show full text]
  • The Complex Dirac Delta, Plemelj Formula, and Integral Representations
    The complex Dirac Delta, Plemelj formula, and integral representations J. Julve IMAFF, Consejo Superior de Investigaciones Cient´ıficas, Serrano 113 bis, Madrid 28006, Spain E-mail: [email protected] R. Cepedello Universitat de Valencia, Burjassot (Valencia), Spain E-mail: [email protected] F. J. de Urr´ıes Universidad de Alcal´ade Henares, Spain E-mail: [email protected] Abstract. The extension of the Dirac Delta distribution (DD) to the complex field is needed for dealing with the complex-energy solutions of the Schr¨odinger equation, typically when calculating their inner products. In quantum scattering theory the DD usually arises as an integral representation involving plane waves of real momenta. We deal with the complex extension of these representations by using a Gaussian regularization. Their interpretation as distributions requires prescribing the integration path and a corresponding space of test functions. An extension of the Sokhotski- Plemelj formula is obtained. This definition of distributions is alternative to the historic one referred to surface integrations on the complex plane. arXiv:1603.05530v1 [math-ph] 17 Mar 2016 PACS numbers: 02.30.+g, 03.65.Db, 03.65.Ge, 03.65.Nk Complex Dirac Delta 2 1. Introduction We consider 1-dimensional quantum barriers of compact support, often referred to as cut-off potentials, and the solutions to the corresponding time-independent Schr¨odinger equation. Besides the real-energy solutions, namely the bound states (negative discrete spectrum) and the scattering states (positive continuum spectrum) or ”Dirac kets”, of well-known physical meaning, there exists a much larger set of complex-energy solutions.
    [Show full text]
  • Polylogarithms and Riemann's Function
    PHYSICAL REVIEW E VOLUME 56, NUMBER 4 OCTOBER 1997 Polylogarithms and Riemann’s z function M. Howard Lee Department of Physics and Astronomy, University of Georgia, Athens, Georgia 30602 ~Received 12 March 1997! Riemann’s z function has been important in statistical mechanics for many years, especially for the under- standing of Bose-Einstein condensation. Polylogarithms can yield values of Riemann’s z function in a special limit. Recently these polylogarithm functions have unified the statistical mechanics of ideal gases. Our par- ticular concern is obtaining the values of Riemann’s z function of negative order suggested by a physical application of polylogs. We find that there is an elementary way of obtaining them, which also provides an insight into the nature of the values of Riemann’s z function. It relies on two properties of polylogs—the recurrence and duplication relations. The relevance of the limit process in the statistical thermodynamics is described. @S1063-651X~97!01510-9# PACS number~s!: 05.90.1m, 02.90.1p I. INTRODUCTION standard methods. It also lends an interesting insight into the nature of the values of Riemann’s z function. Riemann’s z function perhaps first appeared in statistical mechanics in 1900 in Planck’s theory of the blackbody ra- II. POLYLOGS AND THEIR PROPERTIES diation and then in 1912 in Debye’s theory of the specific heats of solids @1#. Subsequently, this function has played an To show their relationship to Riemann’s z function, we important role in the statistical theory of the ideal Bose gas, shall introduce a convenient integral representation for poly- especially for the understanding of Bose-Einstein condensa- logs Lis(z) of complex numbers s and z @6#, defined by tion ~BEC!@2#.
    [Show full text]
  • NM Temme 1. Introduction the Incomplete Gamma Functions Are Defined by the Integrals 7(A,*)
    Methods and Applications of Analysis © 1996 International Press 3 (3) 1996, pp. 335-344 ISSN 1073-2772 UNIFORM ASYMPTOTICS FOR THE INCOMPLETE GAMMA FUNCTIONS STARTING FROM NEGATIVE VALUES OF THE PARAMETERS N. M. Temme ABSTRACT. We consider the asymptotic behavior of the incomplete gamma func- tions 7(—a, —z) and r(—a, —z) as a —► oo. Uniform expansions are needed to describe the transition area z ~ a, in which case error functions are used as main approximants. We use integral representations of the incomplete gamma functions and derive a uniform expansion by applying techniques used for the existing uniform expansions for 7(0, z) and V(a,z). The result is compared with Olver's uniform expansion for the generalized exponential integral. A numerical verification of the expansion is given. 1. Introduction The incomplete gamma functions are defined by the integrals 7(a,*)= / T-Vcft, r(a,s)= / t^e^dt, (1.1) where a and z are complex parameters and ta takes its principal value. For 7(0,, z), we need the condition ^Ra > 0; for r(a, z), we assume that |arg2:| < TT. Analytic continuation can be based on these integrals or on series representations of 7(0,2). We have 7(0, z) + r(a, z) = T(a). Another important function is defined by 7>>*) = S7(a,s) = =^ fu^e—du. (1.2) This function is a single-valued entire function of both a and z and is real for pos- itive and negative values of a and z. For r(a,z), we have the additional integral representation e-z poo -zt j.-a r(a, z) = — r / dt, ^a < 1, ^z > 0, (1.3) L [i — a) JQ t ■+■ 1 which can be verified by differentiating the right-hand side with respect to z.
    [Show full text]
  • QUADRATIC BASE CHANGE and the ANALYTIC CONTINUATION of the ASAI L-FUNCTION: a NEW TRACE FORMULA APPROACH 1. Introduction Underst
    QUADRATIC BASE CHANGE AND THE ANALYTIC CONTINUATION OF THE ASAI L-FUNCTION: A NEW TRACE FORMULA APPROACH P. EDWARD HERMAN Abstract. Using Langlands’s Beyond Endoscopy idea and analytic number theory tech- niques, we study the Asai L-function associated to a real quadratic field K/Q. If the Asai L-function associated to an automorphic form over K has a pole, then the form is a base change from Q. We prove this and further prove the analytic continuation of the L-function. This is one of the first examples of using a trace formula to get such information. A hope of Langlands is that general L-functions can be studied via this method. 1. Introduction Understanding the analytic continuation of L-functions is a central object of interest in number theory. If the L-function is associated to an automorphic form, then the analytic properties of the function are key in understanding the form itself. This is clearly demon- strated with the√ Asai L-function in this paper. We will now define it. Let K = Q( D) be a real quadratic extension of Q, with D a prime. We assume for computational clarity in this paper that K has class number one. Let Π be an automorphic form with level one and trivial nebentypus over the field K. The details we need of a auto- morphic form we save to next section, and for more elaborate details we refer to [BMP1], [BMP2], and [V]. If it is more comfortable, one can think of a Hilbert modular form instead of an automorphic form over K.
    [Show full text]