The Prime Number Theorem

Total Page:16

File Type:pdf, Size:1020Kb

The Prime Number Theorem The Prime Number Theorem Ben Green Mathematical Institute, Oxford E-mail address: [email protected] 2000 Mathematics Subject Classification. Primary Contents 0.1. Overview 1 0.2. Notation 1 0.3. Quantities 2 Chapter 1. Basic facts about the primes 3 1.1. Euclid's proof 3 1.2. Elementary bounds 3 1.3. The prime number theorem 6 Chapter 2. Arithmetic functions 9 2.1. M¨obiusinversion. 9 Chapter 3. Introducing the Riemann ζ-function 11 3.1. Dirichlet series 11 3.2. The ζ-function 11 3.3. Looking forward 13 3.4. Meromorphic continuation to Re s > 0. 14 Chapter 4. Some Fourier analysis 15 4.1. Introduction 15 4.2. Fourier analysis of Schwarz functions on R 16 4.3. Fourier analysis on Z and R=Z 20 4.4. The Poisson summation formula 24 Chapter 5. The analytic continuation and functional equation 25 5.1. The Γ-function 25 5.2. Statement of the functional equation for ζ 28 5.3. Proof of the functional equation 28 Chapter 6. The partial fraction expansion 31 6.1. Statement of the partial fraction expansion 31 6.2. The product formula for ζ 32 6.3. The size of a holomorphic function and its zeros 33 6.4. Weierstrass product of an integral function of order one: proof 36 v vi CONTENTS Chapter 7. Mellin transforms and the explicit formula 39 7.1. Definitions and statement of the formula 39 7.2. Proof of the explicit formula { overview 41 7.3. Estimates for the Mellin transforms. 43 7.4. Bounds for ζ0/ζ at judicuously chosen points 45 Chapter 8. The prime number theorem 49 Chapter 9. The zero-free region. Error terms. 53 9.1. The classical zero-free region 53 9.2. The prime number theorem with classical error term 55 9.3. The Riemann hypothesis and its implications for primes 57 Chapter 10. *An introduction to sieve theory 59 10.1. Introduction 59 10.2. Selberg's weights 60 Appendix A. *Some smooth bump functions 65 Appendix B. Infinite products 69 Bibliography 73 0.2. NOTATION 1 0.1. Overview These notes give a proof of the prime number theory, together with background on complex analysis, the Riemann ζ-function, and Fourier analysis. My main aim is to give some approximation to the \correct" proof of the theorem which, in my opinion, follows Davenport's book [1] up to a point but emphasises the role of smooth cutoff functions throughout and has no mention of \Perron's formula". Although this demands a little more sophistication on the part of the reader, the payoff is that different types of error terms are cleanly separated, and one can see very clearly the link between the primes and the zeta zeros. A technical advantage is that one may establish the prime number theorem using only the nonvanishing of ζ on Re s = 1, rather than a zero-free region. Other technical advantages are that one may get away with relatively crude estimates in many places, so there is no need for a careful asymptotic analysis of the Γ-function, for example. There are surprisingly few accounts along these lines in the literature. The closest I know if is Kowalski's nice book [2]. However, this is a little faster-paced, wider-ranging and lighter on detail than we aim to be here, and some readers may be put off by the fact that it is in French. Davenport's book is the traditional connoisseur's choice for a course of this nature. It is an excellent book. However, as mentioned above, there are some notable differences in emphasis with our approach here. The book of Iwaniec and Kowalski [3] contains a vast amount of material and is really for the expert, but it should find space on the shelf of any person wishing to describe themselves in that way. The notes have evolved over around 14 years from various courses I have given in Cambridge and Oxford, most recently \C3.8 Analytic Number Theory" in Hilary Term 2018 at the latter institution. 0.2. Notation As with any course, a certain amount of notation will be introduced as we go along. One very important point to be made at the outset is that log x always means the natural logarithm of x. Some people consider the notation ln x, which can be found in some books, tasteless. logC x is the same as (log x)C . We will very often use the notation btc, which means the greatest integer less than or equal to t. Throughout the course we will be using asymptotic notation. This is vital in handling the many inequalities and rough estimates we will encounter. Here is a 2 CONTENTS summary of the notation we will see. We suggest the reader not worry too much about this now; we will gain plenty of practice with this notation. • A B means that there is an absolute constant C > 0 such that jAj 6 CB. In this notation, A and B will typically be variable quantities, depending on some other parameter. For example, x + 1 x for x > 1, because jx + 1j 6 2x in this range. It is important to note that the constant C may be different in different instances of the notation. • A = O(B) means the same thing. • A k;l;m B means that jAj 6 CB, but now C is allowed to depend on some other parameters k; l; m. For example, kx k x, k + l + m = Ok;l;m(1). • A B is the same as B A. • O(A) means some quantity bounded in magnitude by CA for some ab- solute constant C > 0. In particular, O(1) simply means a quantity 5x bounded by an absolute positive constant. For example, 1+x = O(1) for x > 0. • A = o(B) means that jAj 6 "B as some other parameter becomes large enough. The other parameter will usually be clear from context. For 1 example, log x = o(1) (as x ! 1). • A = ok;l;m(B) means that jAj 6 "B as some other parameter becomes large enough, but how large it needs to be may depend on the other k parameters k; l; m. For example, log x = ok(1). • A ∼ B, which we read as \A is asymptotic to B" means that A = (1 + o(1))B. 0.3. Quantities In understanding analytic number theory, it is important to develop a robust intuitive feeling for the rough size of certain quantities. For example, one should be absolutely clear about the fact that, for X large, p 10 log X 0:01 log X n e n X : CHAPTER 1 Basic facts about the primes 1.1. Euclid's proof This course is largely about the prime numbers 2, 3, 5, 7, ::: . The most basic fact about them is the following, proven by Euclid over 2000 years ago. Theorem 1.1. There are infinitely many primes. Proof. Suppose not, and that p1; : : : ; pN is a complete list of the primes. Consider the number M = p1 ··· pN + 1. It must have a prime factor q. However, M is manifestly not divisible by any of p1; : : : ; pN , and so q2 = fp1; : : : ; pN g. This is a contradiction. Of course, it is possible to ask more refined questions. Does the sequence of prime numbers grow extremely rapidly (like the powers of two 1; 2; 22; 23;::: ), or slowly like the odd numbers 1; 3; 5; 7;::: , or somewhere in between? This is the question that will occupy us in this course. 1.2. Elementary bounds If X > 1 is a real number then we write π(X) for the number of primes less than or equal to X. Rather elementary methods suffice to get the correct order of magnitude for π(X). Theorem 1.2. There are constants 0 < c1 < 1 < c2 such that, for all sufficiently large X, X X c π(X) c : 1 log X 6 6 2 log X X Remarks. In asymptotic notation, we may thus assert that log X π(X) X log X , and the upper bound is saying that π(X) = O(X= log X). The lower bound immediately implies the infinitude of primes (and with a much better bound than Euclid's proof). The upper bound implies, in particular, that the density of the primes up to X, that is to say π(X)=X, tends to zero as X ! 1. 3 4 1. BASIC FACTS ABOUT THE PRIMES Proof. We begin with the lower bound, which is slightly easier. For this, it suffices to show that Y n (1.1) p > C1 p62n for some C1 > 1, and for sufficiently large n. Indeed, we then have n Y π(2n) C1 6 p 6 (2n) ; p62n n from which we obtain π(2n) log(2n) . This implies the lower bound in Theorem 1.2 when X is an even integer; the general case follows very quickly from this. 2n To prove (1.1), we look at the prime factorisation of n , which we write as 2n Y = pvp(n): n p62n Now we claim the following three facts. p (i) If p > 2n then vp(n) 6 1; v (n) (ii) For all p, p p 6 2n. 2n 4n (iii) n > 2n+1 . For items (i) and (ii) we use the formula 1 X 2n n (1.2) v (n) = b c − 2b c: p pi pi i=1 P1 m This is a consequence of the fact that the power of p dividing m! is i=1b pi c, this m m 2 sum being composed of b p c multiples of p, b p2 c multiples of p , and so on.
Recommended publications
  • The Saddle Point Method in Combinatorics Asymptotic Analysis: Successes and Failures (A Personal View)
    Pn The number of inversions in permutations Median versus A (A large) for a Luria-Delbruck-like distribution, with parameter A Sum of positions of records in random permutations Merten's theorem for toral automorphisms Representations of numbers as k=−n "k k The q-Catalan numbers A simple case of the Mahonian statistic Asymptotics of the Stirling numbers of the first kind revisited The Saddle point method in combinatorics asymptotic analysis: successes and failures (A personal view) Guy Louchard May 31, 2011 Guy Louchard The Saddle point method in combinatorics asymptotic analysis: successes and failures (A personal view) Pn The number of inversions in permutations Median versus A (A large) for a Luria-Delbruck-like distribution, with parameter A Sum of positions of records in random permutations Merten's theorem for toral automorphisms Representations of numbers as k=−n "k k The q-Catalan numbers A simple case of the Mahonian statistic Asymptotics of the Stirling numbers of the first kind revisited Outline 1 The number of inversions in permutations 2 Median versus A (A large) for a Luria-Delbruck-like distribution, with parameter A 3 Sum of positions of records in random permutations 4 Merten's theorem for toral automorphisms Pn 5 Representations of numbers as k=−n "k k 6 The q-Catalan numbers 7 A simple case of the Mahonian statistic 8 Asymptotics of the Stirling numbers of the first kind revisited Guy Louchard The Saddle point method in combinatorics asymptotic analysis: successes and failures (A personal view) Pn The number of inversions in permutations Median versus A (A large) for a Luria-Delbruck-like distribution, with parameter A Sum of positions of records in random permutations Merten's theorem for toral automorphisms Representations of numbers as k=−n "k k The q-Catalan numbers A simple case of the Mahonian statistic Asymptotics of the Stirling numbers of the first kind revisited The number of inversions in permutations Let a1 ::: an be a permutation of the set f1;:::; ng.
    [Show full text]
  • Asymptotic Analysis for Periodic Structures
    ASYMPTOTIC ANALYSIS FOR PERIODIC STRUCTURES A. BENSOUSSAN J.-L. LIONS G. PAPANICOLAOU AMS CHELSEA PUBLISHING American Mathematical Society • Providence, Rhode Island ASYMPTOTIC ANALYSIS FOR PERIODIC STRUCTURES ASYMPTOTIC ANALYSIS FOR PERIODIC STRUCTURES A. BENSOUSSAN J.-L. LIONS G. PAPANICOLAOU AMS CHELSEA PUBLISHING American Mathematical Society • Providence, Rhode Island M THE ATI A CA M L ΤΡΗΤΟΣ ΜΗ N ΕΙΣΙΤΩ S A O C C I I R E E T ΑΓΕΩΜΕ Y M A F O 8 U 88 NDED 1 2010 Mathematics Subject Classification. Primary 80M40, 35B27, 74Q05, 74Q10, 60H10, 60F05. For additional information and updates on this book, visit www.ams.org/bookpages/chel-374 Library of Congress Cataloging-in-Publication Data Bensoussan, Alain. Asymptotic analysis for periodic structures / A. Bensoussan, J.-L. Lions, G. Papanicolaou. p. cm. Originally published: Amsterdam ; New York : North-Holland Pub. Co., 1978. Includes bibliographical references. ISBN 978-0-8218-5324-5 (alk. paper) 1. Boundary value problems—Numerical solutions. 2. Differential equations, Partial— Asymptotic theory. 3. Probabilities. I. Lions, J.-L. (Jacques-Louis), 1928–2001. II. Papani- colaou, George. III. Title. QA379.B45 2011 515.353—dc23 2011029403 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society.
    [Show full text]
  • Applications of the Mellin Transform in Mathematical Finance
    University of Wollongong Research Online University of Wollongong Thesis Collection 2017+ University of Wollongong Thesis Collections 2018 Applications of the Mellin transform in mathematical finance Tianyu Raymond Li Follow this and additional works at: https://ro.uow.edu.au/theses1 University of Wollongong Copyright Warning You may print or download ONE copy of this document for the purpose of your own research or study. The University does not authorise you to copy, communicate or otherwise make available electronically to any other person any copyright material contained on this site. You are reminded of the following: This work is copyright. Apart from any use permitted under the Copyright Act 1968, no part of this work may be reproduced by any process, nor may any other exclusive right be exercised, without the permission of the author. Copyright owners are entitled to take legal action against persons who infringe their copyright. A reproduction of material that is protected by copyright may be a copyright infringement. A court may impose penalties and award damages in relation to offences and infringements relating to copyright material. Higher penalties may apply, and higher damages may be awarded, for offences and infringements involving the conversion of material into digital or electronic form. Unless otherwise indicated, the views expressed in this thesis are those of the author and do not necessarily represent the views of the University of Wollongong. Recommended Citation Li, Tianyu Raymond, Applications of the Mellin transform in mathematical finance, Doctor of Philosophy thesis, School of Mathematics and Applied Statistics, University of Wollongong, 2018. https://ro.uow.edu.au/theses1/189 Research Online is the open access institutional repository for the University of Wollongong.
    [Show full text]
  • Definite Integrals in an Asymptotic Setting
    A Lost Theorem: Definite Integrals in An Asymptotic Setting Ray Cavalcante and Todor D. Todorov 1 INTRODUCTION We present a simple yet rigorous theory of integration that is based on two axioms rather than on a construction involving Riemann sums. With several examples we demonstrate how to set up integrals in applications of calculus without using Riemann sums. In our axiomatic approach even the proof of the existence of the definite integral (which does use Riemann sums) becomes slightly more elegant than the conventional one. We also discuss an interesting connection between our approach and the history of calculus. The article is written for readers who teach calculus and its applications. It might be accessible to students under a teacher’s supervision and suitable for senior projects on calculus, real analysis, or history of mathematics. Here is a summary of our approach. Let ρ :[a, b] → R be a continuous function and let I :[a, b] × [a, b] → R be the corresponding integral function, defined by y I(x, y)= ρ(t)dt. x Recall that I(x, y) has the following two properties: (A) Additivity: I(x, y)+I (y, z)=I (x, z) for all x, y, z ∈ [a, b]. (B) Asymptotic Property: I(x, x + h)=ρ (x)h + o(h)ash → 0 for all x ∈ [a, b], in the sense that I(x, x + h) − ρ(x)h lim =0. h→0 h In this article we show that properties (A) and (B) are characteristic of the definite integral. More precisely, we show that for a given continuous ρ :[a, b] → R, there is no more than one function I :[a, b]×[a, b] → R with properties (A) and (B).
    [Show full text]
  • Introducing Taylor Series and Local Approximations Using a Historical and Semiotic Approach Kouki Rahim, Barry Griffiths
    Introducing Taylor Series and Local Approximations using a Historical and Semiotic Approach Kouki Rahim, Barry Griffiths To cite this version: Kouki Rahim, Barry Griffiths. Introducing Taylor Series and Local Approximations using a Historical and Semiotic Approach. IEJME, Modestom LTD, UK, 2019, 15 (2), 10.29333/iejme/6293. hal- 02470240 HAL Id: hal-02470240 https://hal.archives-ouvertes.fr/hal-02470240 Submitted on 7 Feb 2020 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. INTERNATIONAL ELECTRONIC JOURNAL OF MATHEMATICS EDUCATION e-ISSN: 1306-3030. 2020, Vol. 15, No. 2, em0573 OPEN ACCESS https://doi.org/10.29333/iejme/6293 Introducing Taylor Series and Local Approximations using a Historical and Semiotic Approach Rahim Kouki 1, Barry J. Griffiths 2* 1 Département de Mathématique et Informatique, Université de Tunis El Manar, Tunis 2092, TUNISIA 2 Department of Mathematics, University of Central Florida, Orlando, FL 32816-1364, USA * CORRESPONDENCE: [email protected] ABSTRACT In this article we present the results of a qualitative investigation into the teaching and learning of Taylor series and local approximations. In order to perform a comparative analysis, two investigations are conducted: the first is historical and epistemological, concerned with the pedagogical evolution of semantics, syntax and semiotics; the second is a contemporary institutional investigation, devoted to the results of a review of curricula, textbooks and course handouts in Tunisia and the United States.
    [Show full text]
  • An Introduction to Asymptotic Analysis Simon JA Malham
    An introduction to asymptotic analysis Simon J.A. Malham Department of Mathematics, Heriot-Watt University Contents Chapter 1. Order notation 5 Chapter 2. Perturbation methods 9 2.1. Regular perturbation problems 9 2.2. Singular perturbation problems 15 Chapter 3. Asymptotic series 21 3.1. Asymptotic vs convergent series 21 3.2. Asymptotic expansions 25 3.3. Properties of asymptotic expansions 26 3.4. Asymptotic expansions of integrals 29 Chapter 4. Laplace integrals 31 4.1. Laplace's method 32 4.2. Watson's lemma 36 Chapter 5. Method of stationary phase 39 Chapter 6. Method of steepest descents 43 Bibliography 49 Appendix A. Notes 51 A.1. Remainder theorem 51 A.2. Taylor series for functions of more than one variable 51 A.3. How to determine the expansion sequence 52 A.4. How to find a suitable rescaling 52 Appendix B. Exam formula sheet 55 3 CHAPTER 1 Order notation The symbols , o and , were first used by E. Landau and P. Du Bois- Reymond and areOdefined as∼ follows. Suppose f(z) and g(z) are functions of the continuous complex variable z defined on some domain C and possess D ⊂ limits as z z0 in . Then we define the following shorthand notation for the relative!propertiesD of these functions in the limit z z . ! 0 Asymptotically bounded: f(z) = (g(z)) as z z ; O ! 0 means that: there exists constants K 0 and δ > 0 such that, for 0 < z z < δ, ≥ j − 0j f(z) K g(z) : j j ≤ j j We say that f(z) is asymptotically bounded by g(z) in magnitude as z z0, or more colloquially, and we say that f(z) is of `order big O' of g(z).
    [Show full text]
  • APPENDIX. the MELLIN TRANSFORM and RELATED ANALYTIC TECHNIQUES D. Zagier 1. the Generalized Mellin Transformation the Mellin
    APPENDIX. THE MELLIN TRANSFORM AND RELATED ANALYTIC TECHNIQUES D. Zagier 1. The generalized Mellin transformation The Mellin transformation is a basic tool for analyzing the behavior of many important functions in mathematics and mathematical physics, such as the zeta functions occurring in number theory and in connection with various spectral problems. We describe it first in its simplest form and then explain how this basic definition can be extended to a much wider class of functions, important for many applications. Let ϕ(t) be a function on the positive real axis t > 0 which is reasonably smooth (actually, continuous or even piecewise continuous would be enough) and decays rapidly at both 0 and , i.e., the function tAϕ(t) is bounded on R for any A R. Then the integral ∞ + ∈ ∞ ϕ(s) = ϕ(t) ts−1 dt (1) 0 converges for any complex value of s and defines a holomorphic function of s called the Mellin transform of ϕ(s). The following small table, in which α denotes a complex number and λ a positive real number, shows how ϕ(s) changes when ϕ(t) is modified in various simple ways: ϕ(λt) tαϕ(t) ϕ(tλ) ϕ(t−1) ϕ′(t) . (2) λ−sϕ(s) ϕ(s + α) λ−sϕ(λ−1s) ϕ( s) (1 s)ϕ(s 1) − − − We also mention, although we will not use it in the sequel, that the function ϕ(t) can be recovered from its Mellin transform by the inverse Mellin transformation formula 1 C+i∞ ϕ(t) = ϕ(s) t−s ds, 2πi C−i∞ where C is any real number.
    [Show full text]
  • M. V. Pedoryuk Asymptotic Analysis Mikhail V
    M. V. Pedoryuk Asymptotic Analysis Mikhail V. Fedoryuk Asymptotic Analysis Linear Ordinary Differential Equations Translated from the Russian by Andrew Rodick With 26 Figures Springer-Verlag Berlin Heidelberg GmbH Mikhail V. Fedoryuk t Title of the Russian edition: Asimptoticheskie metody dlya linejnykh obyknovennykh differentsial 'nykh uravnenij Publisher Nauka, Moscow 1983 Mathematics Subject Classification (1991): 34Exx ISBN 978-3-642-63435-2 Library of Congress Cataloging-in-Publication Data. Fedoriuk, Mikhail Vasil'evich. [Asimptoticheskie metody dlia lineinykh obyknovennykh differentsial' nykh uravnenil. English] Asymptotic analysis : linear ordinary differential equations / Mikhail V. Fedoryuk; translated from the Russian by Andrew Rodick. p. cm. Translation of: Asimptoticheskie metody dlia lineinykh obyknovennykh differentsial' nykh uravnenii. Includes bibliographical references and index. ISBN 978-3-642-63435-2 ISBN 978-3-642-58016-1 (eBook) DOI 10.1007/978-3-642-58016-1 1. Differential equations-Asymptotic theory. 1. Title. QA371.F3413 1993 515'.352-dc20 92-5200 This work is subject to copyright. AII rights are reserved, whether the whole or part of the material is concemed, specifically the rights of translation. reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Duplica­ tion of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current vers ion, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. © Springer-Verlag Berlin Heidelberg 1993 Originally published by Springer-Verlag Berlin Heidelberg New York in 1993 Softcover reprint of the hardcover 1st edition 1993 Typesetting: Springer TEX in-house system 41/3140 - 5 4 3 210 - Printed on acid-free paper Contents Chapter 1.
    [Show full text]
  • Generalizsd Finite Mellin Integral Transforms
    Available online a t www.scholarsresearchlibrary.com Scholars Research Library Archives of Applied Science Research, 2012, 4 (2):1117-1134 (http://scholarsresearchlibrary.com/archive.html) ISSN 0975-508X CODEN (USA) AASRC9 Generalizsd finite mellin integral transforms S. M. Khairnar, R. M. Pise*and J. N. Salunke** Deparment of Mathematics, Maharashtra Academy of Engineering, Alandi, Pune, India * R.G.I.T. Versova, Andheri (W), Mumbai, India **Department of Mathematics, North Maharastra University, Jalgaon-India ______________________________________________________________________________ ABSTRACT Aim of this paper is to see the generalized Finite Mellin Integral Transforms in [0,a] , which is mentioned in the paper , by Derek Naylor (1963) [1] and Lokenath Debnath [2]..For f(x) in 0<x< ∞ ,the Generalized ∞ ∞ ∞ ∞ Mellin Integral Transforms are denoted by M − [ f( x ), r] = F− ()r and M + [ f( x ), r] = F+ ()r .This is new idea is given by Lokenath Debonath in[2].and Derek Naylor [1].. The Generalized Finite Mellin Integral Transforms are extension of the Mellin Integral Transform in infinite region. We see for f(x) in a a a a 0<x<a, M − [ f( x ), r] = F− ()r and M + [ f( x ), r] = F+ ()r are the generalized Finite Mellin Integral Transforms . We see the properties like linearity property , scaling property ,power property and 1 1 propositions for the functions f ( ) and (logx)f(x), the theorems like inversion theorem ,convolution x x theorem , orthogonality and shifting theorem. for these integral transforms. The new results is obtained for Weyl Fractional Transform and we see the results for derivatives differential operators ,integrals ,integral expressions and integral equations for these integral transforms.
    [Show full text]
  • Extended Riemann-Liouville Type Fractional Derivative Operator with Applications
    Open Math. 2017; 15: 1667–1681 Open Mathematics Research Article P. Agarwal, Juan J. Nieto*, and M.-J. Luo Extended Riemann-Liouville type fractional derivative operator with applications https://doi.org/10.1515/math-2017-0137 Received November 16, 2017; accepted November 30, 2017. Abstract: The main purpose of this paper is to introduce a class of new extended forms of the beta function, Gauss hypergeometric function and Appell-Lauricella hypergeometric functions by means of the modied Bessel function of the third kind. Some typical generating relations for these extended hypergeometric functions are obtained by dening the extension of the Riemann-Liouville fractional derivative operator. Their connections with elementary functions and Fox’s H-function are also presented. Keywords: Gamma function, Extended beta function, Riemann-Liouville fractional derivative, Hypergeomet- ric functions, Fox H-function, Generating functions, Mellin transform, Integral representations MSC: 26A33, 33B15, 33B20, 33C05, 33C20, 33C65 1 Introduction Extensions and generalizations of some known special functions are important both from the theoretical and applied point of view. Also many extensions of fractional derivative operators have been developed and applied by many authors (see [2–6, 11, 12, 19–21] and [17, 18]). These new extensions have proved to be very useful in various elds such as physics, engineering, statistics, actuarial sciences, economics, nance, survival analysis, life testing and telecommunications. The above-mentioned applications have largely motivated our present study. The extended incomplete gamma functions constructed by using the exponential function are dened by z p α, z; p tα−1 exp t dt R p 0; p 0, R α 0 (1) t 0 ( ) = − − ( ( ) > = ( ) > ) and S ∞ p Γ α, z; p tα−1 exp t dt R p 0 (2) t z ( ) = − − ( ( ) ≥ ) with arg z π, which have been studiedS in detail by Chaudhry and Zubair (see, for example, [2] and [4]).
    [Show full text]
  • Math 6730 : Asymptotic and Perturbation Methods Hyunjoong
    Math 6730 : Asymptotic and Perturbation Methods Hyunjoong Kim and Chee-Han Tan Last modified : January 13, 2018 2 Contents Preface 5 1 Introduction to Asymptotic Approximation7 1.1 Asymptotic Expansion................................8 1.1.1 Order symbols.................................9 1.1.2 Accuracy vs convergence........................... 10 1.1.3 Manipulating asymptotic expansions.................... 10 1.2 Algebraic and Transcendental Equations...................... 11 1.2.1 Singular quadratic equation......................... 11 1.2.2 Exponential equation............................. 14 1.2.3 Trigonometric equation............................ 15 1.3 Differential Equations: Regular Perturbation Theory............... 16 1.3.1 Projectile motion............................... 16 1.3.2 Nonlinear potential problem......................... 17 1.3.3 Fredholm alternative............................. 19 1.4 Problems........................................ 20 2 Matched Asymptotic Expansions 31 2.1 Introductory example................................. 31 2.1.1 Outer solution by regular perturbation................... 31 2.1.2 Boundary layer................................ 32 2.1.3 Matching................................... 33 2.1.4 Composite expression............................. 33 2.2 Extensions: multiple boundary layers, etc...................... 34 2.2.1 Multiple boundary layers........................... 34 2.2.2 Interior layers................................. 35 2.3 Partial differential equations............................. 36 2.4 Strongly
    [Show full text]
  • Prime Number Theorem
    Prime Number Theorem Bent E. Petersen Contents 1 Introduction 1 2Asymptotics 6 3 The Logarithmic Integral 9 4TheCebyˇˇ sev Functions θ(x) and ψ(x) 11 5M¨obius Inversion 14 6 The Tail of the Zeta Series 16 7 The Logarithm log ζ(s) 17 < s 8 The Zeta Function on e =1 21 9 Mellin Transforms 26 10 Sketches of the Proof of the PNT 29 10.1 Cebyˇˇ sev function method .................. 30 10.2 Modified Cebyˇˇ sev function method .............. 30 10.3 Still another Cebyˇˇ sev function method ............ 30 10.4 Yet another Cebyˇˇ sev function method ............ 31 10.5 Riemann’s method ...................... 31 10.6 Modified Riemann method .................. 32 10.7 Littlewood’s Method ..................... 32 10.8 Ikehara Tauberian Theorem ................. 32 11ProofofthePrimeNumberTheorem 33 References 39 1 Introduction Let π(x) be the number of primes p ≤ x. It was discovered empirically by Gauss about 1793 (letter to Enke in 1849, see Gauss [9], volume 2, page 444 and Goldstein [10]) and by Legendre (in 1798 according to [14]) that x π(x) ∼ . log x This statement is the prime number theorem. Actually Gauss used the equiva- lent formulation (see page 10) Z x dt π(x) ∼ . 2 log t 1 B. E. Petersen Prime Number Theorem For some discussion of Gauss’ work see Goldstein [10] and Zagier [45]. In 1850 Cebyˇˇ sev [3] proved a result far weaker than the prime number theorem — that for certain constants 0 <A1 < 1 <A2 π(x) A < <A . 1 x/log x 2 An elementary proof of Cebyˇˇ sev’s theorem is given in Andrews [1].
    [Show full text]