Meromorphic Dirichlet Series

Total Page:16

File Type:pdf, Size:1020Kb

Meromorphic Dirichlet Series Meromorphic Dirichlet Series by Corey Everlove A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in The University of Michigan 2018 Doctoral Committee: Professor Jeffrey C. Lagarias, Chair Professor Deborah E. Goldberg Associate Professor Sarah C. Koch Professor Hugh L. Montgomery Professor Karen E. Smith Corey Everlove [email protected] ORCID id: 0000-0001-6301-3085 Acknowledgements There are so many people who I’d like to thank—those who made my time in graduate school here at Michigan such a great experience and those who made this work possible. Thanks to Paul, Angela, Fernando, Gavin, Steven, and everyone else who made teaching at Michigan such a pleasant and rewarding experience. Thanks to Deborah, Shannon, Tony, and everyone at M-Sci for six great summers of teaching. Thanks to the many friends I’ve made here at Michigan, far too numerous to list. Thanks to my parents for always encouraging me to pursue my varied academic interests over the years. Thanks to Salman for your emotional support when work was overwhelming. And thanks to my cats, Link and Luna, for keeping me company while I worked. But most of all, I would like to thank my advisor, Jeff Lagarias. Thank you for suggesting good problems, for many interesting mathematical discussions, and for all your advice on research, writing, and staying motivated. The work contained in this thesis was partially supported by NSF grants DMS-1401224 and DMS-1701576. ii Contents Acknowledgements ii List of Figures v Abstract vi Chapter 1: Introduction 1 1.1 Dirichlet series and meromorphic continuation . 1 1.2 Outline of the thesis and summary of results . 5 Chapter 2: Rings of Dirichlet series 14 2.1 Formal Dirichlet series . 14 2.2 Convergent Dirichlet series . 19 2.3 Meromorphic Dirichlet series . 24 2.4 Finite-order meromorphic Dirichlet series . 26 Chapter 3: Dirichlet series and additive convolutions 31 3.1 Introduction . 31 3.2 A relation between power series and Dirichlet series . 34 3.3 Dirichlet series associated to additive convolutions . 36 3.4 Dirichlet series and the calculus of finite differences . 40 3.5 Examples . 45 Chapter 4: Dirichlet series associated to digital sums 54 4.1 Introduction . 54 4.2 Sum-of-digits Dirichlet series . 59 4.3 Meromorphic continuation of Fb¹sº and Gb¹sº . 62 4.4 Meromorphic continuation of Dirichlet series for non-integer bases . 65 iii Chapter 5: Complex Ramanujan sums and interpolation of the sum-of-divisors function 72 5.1 Introduction . 72 5.2 Classical Ramanujan sums . 77 5.3 Complex Ramanujan sums . 78 5.4 The Dirichlet series generating function of the complex Ramanujan sums . 79 5.5 Interpolation of Fourier coefficients of Eisenstein series . 86 Appendix 90 Bibliography 93 iv List of Figures 1.1 A rectangular contour for using Perron’s formula. 3 4.1 A plot of Sβ¹10º for 1 ≤ β ≤ 15, using terms with jkj ≤ 1000 in the Fourier series for hβ¹xº. ....................................... 66 4.2 A plot of hβ¹2º for 1 ≤ β ≤ 8, using terms with jkj ≤ 1000 in the Fourier series for hβ¹xº. ......................................... 67 4.3 A plot of hβ¹log 2/log βº for 1 ≤ β ≤ 8, using terms with jkj ≤ 1000 in the Fourier series for hβ¹xº..................................... 67 v Abstract This thesis studies several problems concerning the meromorphic continuation of Dirichlet series to the complex plane. Í −s We show that if a Dirichlet series f ¹sº = ann has a meromorphic continuation to Í n the complex plane and the power series generating function bnz of a sequence bn has a meromorphic continuation to z = 1, then the Dirichlet series 1 Õ Õ −s aibj n n=1 i+j=n has a meromorphic continuation to the complex plane. Using specific choices of the sequence bn, we show that the Dirichlet series whose coefficients are a shift, forward or backward difference, or partial sum of the coefficients of f ¹sº has a meromorphic continuation to the complex plane. We study several examples of such Dirichlet series involving important arithmetic functions, including the Dirichlet series whose coefficients are the Chebyshev function, the Mertens function, the partial sums of the divisor function, or the partial sums of a Dirichlet character. We apply these results to study the Dirichlet series whose coefficients are the sum of the base-b digits of the integers. We also study the Dirichlet series whose coefficients are the cumulative sum of the base-b digits of the integers less than n. We show that these Dirichlet series have a meromorphic continuation to the complex plane, and we give the locations of the poles and the residue at each pole. We also consider an interpolation of the sum-of-digits and cumulative sum-of-digits functions from integer bases b ≥ 2 to a real parameter β > 1, and show that Dirichlet series attached to these interpolated sum-of-digits functions meromorphically continue one unit left of their halfplanes of convergence. Finally, we consider a one-parameter family of Dirichlet series related to Ramanujan sums. The classical Ramanujan sum cn¹mº is a function of two integer variables; we replace the integer parameter m with a complex number and consider the Dirichlet series attached to such complex Ramanujan sums. We show that this Dirichlet series continues to a meromorphic function of two complex variables and locate its singularities. vi Chapter 1 Introduction 1.1 Dirichlet series and meromorphic continuation This thesis studies some topics related to the meromorphic continuation of Dirichlet series. A Dirichlet series is a series of the form 1 Õ an f ¹sº = (1.1) ns n=1 with coefficients an 2 C, considered as a function of a complex variable s. As we review in Chapter 2, the region of convergence of a Dirichlet series is a halfplane: each Dirichlet series has an abscissa of convergence σc (possibly 1 or −∞) such that the series converges to a holomorphic function if Re¹sº > σc and diverges if Re¹sº < σc. The holomorphic function defined by a Dirichlet series in its halfplane of convergence may or may not analytically continue to a meromorphic function on a larger region of the complex plane. 1.1.1 The Riemann zeta function The prototypical example of a Dirichlet series is the Riemann zeta function defined for Re¹sº > 1 by the series 1 Õ 1 ζ¹sº = : (1.2) ns n=1 In 1737, Euler studied ζ¹sº as a function of a real variable. By writing the zeta function as a product over the prime numbers Ö 1 ζ¹sº = (1.3) − p−s p 1 and using the fact that ζ¹sº ! 1 as s ! 1+, Euler deduced that the sum Í 1/p of the reciprocals of the primes diverges. Here we see the beginning of a major theme of analytic number theory: 1 information about the analytic behavior of a Dirichlet series (the growth of ζ¹sº at s = 1) is used to deduce arithmetic information (a statement about the distribution of prime numbers). In 1859, Riemann studied the function ζ¹sº as a function of a complex variable (see the appendix to [18] for an English translation of Riemann’s memoir). Riemann proved that ζ¹sº, originally defined for Re¹sº > 1, continues to a meromorphic function on C with only singularity a simple pole at s = 1 with residue 1. Riemann also proved the functional equation s 1 − s π−s/2Γ ζ¹sº = π−(1−s)/2Γ ζ¹1 − sº (1.4) 2 2 relating the values of ζ¹sº for Re¹sº > 1/2 and Re¹sº < 1/2. From the functional equation and the nonvanishing of ζ¹sº for Re¹sº > 1, Riemann deduced that aside from the “trivial zeros” at s = −2k for integers k ≥ 1, the zeros of ζ¹sº must lie in the strip 0 ≤ Re¹sº ≤ 1. Riemann famously conjectured, based on some computational evidence, that all of the zeros in this strip must have real part 1/2. Riemann made some further conjectures about ζ¹sº and its relation to the distribution of the prime numbers; before stating a form of his conjectured “explicit formula”, we return to more general Dirichlet series. 1.1.2 Perron’s formula The following formula provides one of the important links between the analytic behavior of a Dirichlet series and information about its coefficients. Proposition 1.1.1 (Perron’s formula, see [52, sec. 9.42]). If 1 Õ an f ¹sº = (1.5) ns n=1 is a Dirichlet series convergent in the halfplane Re¹sº > σc, then for c > max¹σc; 0º, Õ0 1 ¹ c+iT xs an = lim f ¹sº ds; (1.6) T!1 πi s n≤x 2 c−iT where if x is an integer, the term ax in the sum on the left is counted with weight 1/2. More detailed versions of this relation bound the error in truncating the integral at height T instead of taking the limit or modify the factor xs/s in the integral to introduce weights in the sum of the coefficents an. If the Dirichlet series f ¹sº has a meromorphic continuation to the complex plane, then one might hope to use information about the singularities of f ¹sº to evaluate or estimate the 2 Im iT R Re L c −iT Figure 1.1: A rectangular contour for using Perron’s formula. integral on the right of (1.6) using the residue theorem. For example, one could integrate over a rectangular contour R as in Figure 1.1 by the residue theorem, then estimate the contributions of the integral over the top, left, and bottom sides.
Recommended publications
  • Riemann Sums Fundamental Theorem of Calculus Indefinite
    Riemann Sums Partition P = {x0, x1, . , xn} of an interval [a, b]. ck ∈ [xk−1, xk] Pn R(f, P, a, b) = k=1 f(ck)∆xk As the widths ∆xk of the subintervals approach 0, the Riemann Sums hopefully approach a limit, the integral of f from a to b, written R b a f(x) dx. Fundamental Theorem of Calculus Theorem 1 (FTC-Part I). If f is continuous on [a, b], then F (x) = R x 0 a f(t) dt is defined on [a, b] and F (x) = f(x). Theorem 2 (FTC-Part II). If f is continuous on [a, b] and F (x) = R R b b f(x) dx on [a, b], then a f(x) dx = F (x) a = F (b) − F (a). Indefinite Integrals Indefinite Integral: R f(x) dx = F (x) if and only if F 0(x) = f(x). In other words, the terms indefinite integral and antiderivative are synonymous. Every differentiation formula yields an integration formula. Substitution Rule For Indefinite Integrals: If u = g(x), then R f(g(x))g0(x) dx = R f(u) du. For Definite Integrals: R b 0 R g(b) If u = g(x), then a f(g(x))g (x) dx = g(a) f( u) du. Steps in Mechanically Applying the Substitution Rule Note: The variables do not have to be called x and u. (1) Choose a substitution u = g(x). du (2) Calculate = g0(x). dx du (3) Treat as if it were a fraction, a quotient of differentials, and dx du solve for dx, obtaining dx = .
    [Show full text]
  • The Radius of Convergence of the Lam\'{E} Function
    The radius of convergence of the Lame´ function Yoon-Seok Choun Department of Physics, Hanyang University, Seoul, 133-791, South Korea Abstract We consider the radius of convergence of a Lame´ function, and we show why Poincare-Perron´ theorem is not applicable to the Lame´ equation. Keywords: Lame´ equation; 3-term recursive relation; Poincare-Perron´ theorem 2000 MSC: 33E05, 33E10, 34A25, 34A30 1. Introduction A sphere is a geometric perfect shape, a collection of points that are all at the same distance from the center in the three-dimensional space. In contrast, the ellipsoid is an imperfect shape, and all of the plane sections are elliptical or circular surfaces. The set of points is no longer the same distance from the center of the ellipsoid. As we all know, the nature is nonlinear and geometrically imperfect. For simplicity, we usually linearize such systems to take a step toward the future with good numerical approximation. Indeed, many geometric spherical objects are not perfectly spherical in nature. The shape of those objects are better interpreted by the ellipsoid because they rotates themselves. For instance, ellipsoidal harmonics are shown in the calculation of gravitational potential [11]. But generally spherical harmonics are preferable to mathematically complex ellipsoid harmonics. Lame´ functions (ellipsoidal harmonic fuctions) [7] are applicable to diverse areas such as boundary value problems in ellipsoidal geometry, Schrodinger¨ equations for various periodic and anharmonic potentials, the theory of Bose-Einstein condensates, group theory to quantum mechanical bound states and band structures of the Lame´ Hamiltonian, etc. As we apply a power series into the Lame´ equation in the algebraic form or Weierstrass’s form, the 3-term recurrence relation starts to arise and currently, there are no general analytic solutions in closed forms for the 3-term recursive relation of a series solution because of their mathematical complexity [1, 5, 13].
    [Show full text]
  • Generalized Riemann Hypothesis Léo Agélas
    Generalized Riemann Hypothesis Léo Agélas To cite this version: Léo Agélas. Generalized Riemann Hypothesis. 2019. hal-00747680v3 HAL Id: hal-00747680 https://hal.archives-ouvertes.fr/hal-00747680v3 Preprint submitted on 29 May 2019 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. Generalized Riemann Hypothesis L´eoAg´elas Department of Mathematics, IFP Energies nouvelles, 1-4, avenue de Bois-Pr´eau,F-92852 Rueil-Malmaison, France Abstract (Generalized) Riemann Hypothesis (that all non-trivial zeros of the (Dirichlet L-function) zeta function have real part one-half) is arguably the most impor- tant unsolved problem in contemporary mathematics due to its deep relation to the fundamental building blocks of the integers, the primes. The proof of the Riemann hypothesis will immediately verify a slew of dependent theorems (Borwien et al.(2008), Sabbagh(2002)). In this paper, we give a proof of Gen- eralized Riemann Hypothesis which implies the proof of Riemann Hypothesis and Goldbach's weak conjecture (also known as the odd Goldbach conjecture) one of the oldest and best-known unsolved problems in number theory. 1. Introduction The Riemann hypothesis is one of the most important conjectures in math- ematics.
    [Show full text]
  • Absolute and Conditional Convergence, and Talk a Little Bit About the Mathematical Constant E
    MATH 8, SECTION 1, WEEK 3 - RECITATION NOTES TA: PADRAIC BARTLETT Abstract. These are the notes from Friday, Oct. 15th's lecture. In this talk, we study absolute and conditional convergence, and talk a little bit about the mathematical constant e. 1. Random Question Question 1.1. Suppose that fnkg is the sequence consisting of all natural numbers that don't have a 9 anywhere in their digits. Does the corresponding series 1 X 1 nk k=1 converge? 2. Absolute and Conditional Convergence: Definitions and Theorems For review's sake, we repeat the definitions of absolute and conditional conver- gence here: P1 P1 Definition 2.1. A series n=1 an converges absolutely iff the series n=1 janj P1 converges; it converges conditionally iff the series n=1 an converges but the P1 series of absolute values n=1 janj diverges. P1 (−1)n+1 Example 2.2. The alternating harmonic series n=1 n converges condition- ally. This follows from our work in earlier classes, where we proved that the series itself converged (by looking at partial sums;) conversely, the absolute values of this series is just the harmonic series, which we know to diverge. As we saw in class last time, most of our theorems aren't set up to deal with series whose terms alternate in sign, or even that have terms that occasionally switch sign. As a result, we developed the following pair of theorems to help us manipulate series with positive and negative terms: 1 Theorem 2.3. (Alternating Series Test / Leibniz's Theorem) If fangn=0 is a se- quence of positive numbers that monotonically decreases to 0, the series 1 X n (−1) an n=1 converges.
    [Show full text]
  • Some Questions About Spaces of Dirichlet Series
    Some questions about spaces of Dirichlet series. Jos´eBonet Instituto Universitario de Matem´aticaPura y Aplicada Universitat Polit`ecnicade Val`encia Eichstaett, June 2017 Jos´eBonet Some questions about spaces of Dirichlet series Dirichlet Series P1 an A Dirichlet Series is an expression of the form n=1 ns with s 2 C. Riemann's zeta function: If s 2 C, 1 1 1 X 1 ζ(s) := 1 + + + ::: = : 2s 3s ns n=1 Euler 1737 considered it for s real: He proved ζ(2) = π2=6, and he relation with the prime numbers: −1 Y 1 ζ(s) = 1 − ; ps p the product extended to all the prime numbers p. Jos´eBonet Some questions about spaces of Dirichlet series Riemann Riemann (1826-1866) and his Memoir \Uber¨ die Anzahl der Primzahlen unter einer gegebenen Gr¨osse", in which he formulated the \Riemann Hypothesis". Jos´eBonet Some questions about spaces of Dirichlet series Riemann The series ζ(s) converges if the real part of s is greater than 1, and ζ(s) has an analytic extension to all the complex plane except s = 1, where it has a simple pole. Obtained the functional equation. s s−1 ζ(s) = 2 π sen(πs=2)Γ(1 − s)ζ(1 − s); s 2 C: Proved that there are no zeros of ζ(s) outside 0 ≤ <(s) ≤ 1, except the trivial zeros s = −2; −4; −6; :::. Jos´eBonet Some questions about spaces of Dirichlet series Riemann's Hypothesis Riemann conjectured that all the non-trivial zeros of ζ(s) are in the line <(s) = 1=2.
    [Show full text]
  • Arxiv:Math/0201082V1
    2000]11A25, 13J05 THE RING OF ARITHMETICAL FUNCTIONS WITH UNITARY CONVOLUTION: DIVISORIAL AND TOPOLOGICAL PROPERTIES. JAN SNELLMAN Abstract. We study (A, +, ⊕), the ring of arithmetical functions with unitary convolution, giving an isomorphism between (A, +, ⊕) and a generalized power series ring on infinitely many variables, similar to the isomorphism of Cashwell- Everett[4] between the ring (A, +, ·) of arithmetical functions with Dirichlet convolution and the power series ring C[[x1,x2,x3,... ]] on countably many variables. We topologize it with respect to a natural norm, and shove that all ideals are quasi-finite. Some elementary results on factorization into atoms are obtained. We prove the existence of an abundance of non-associate regular non-units. 1. Introduction The ring of arithmetical functions with Dirichlet convolution, which we’ll denote by (A, +, ·), is the set of all functions N+ → C, where N+ denotes the positive integers. It is given the structure of a commutative C-algebra by component-wise addition and multiplication by scalars, and by the Dirichlet convolution f · g(k)= f(r)g(k/r). (1) Xr|k Then, the multiplicative unit is the function e1 with e1(1) = 1 and e1(k) = 0 for k> 1, and the additive unit is the zero function 0. Cashwell-Everett [4] showed that (A, +, ·) is a UFD using the isomorphism (A, +, ·) ≃ C[[x1, x2, x3,... ]], (2) where each xi corresponds to the function which is 1 on the i’th prime number, and 0 otherwise. Schwab and Silberberg [9] topologised (A, +, ·) by means of the norm 1 arXiv:math/0201082v1 [math.AC] 10 Jan 2002 |f| = (3) min { k f(k) 6=0 } They noted that this norm is an ultra-metric, and that ((A, +, ·), |·|) is a valued ring, i.e.
    [Show full text]
  • Dirichlet’S Test
    4. CONDITIONALLY CONVERGENT SERIES 23 4. Conditionally convergent series Here basic tests capable of detecting conditional convergence are studied. 4.1. Dirichlet’s test. Theorem 4.1. (Dirichlet’s test) n Let a complex sequence {An}, An = k=1 ak, be bounded, and the real sequence {bn} is decreasing monotonically, b1 ≥ b2 ≥ b3 ≥··· , so that P limn→∞ bn = 0. Then the series anbn converges. A proof is based on the identity:P m m m m−1 anbn = (An − An−1)bn = Anbn − Anbn+1 n=k n=k n=k n=k−1 X X X X m−1 = An(bn − bn+1)+ Akbk − Am−1bm n=k X Since {An} is bounded, there is a number M such that |An|≤ M for all n. Therefore it follows from the above identity and non-negativity and monotonicity of bn that m m−1 anbn ≤ An(bn − bn+1) + |Akbk| + |Am−1bm| n=k n=k X X m−1 ≤ M (bn − bn+1)+ bk + bm n=k ! X ≤ 2Mbk By the hypothesis, bk → 0 as k → ∞. Therefore the right side of the above inequality can be made arbitrary small for all sufficiently large k and m ≥ k. By the Cauchy criterion the series in question converges. This completes the proof. Example. By the root test, the series ∞ zn n n=1 X converges absolutely in the disk |z| < 1 in the complex plane. Let us investigate the convergence on the boundary of the disk. Put z = eiθ 24 1. THE THEORY OF CONVERGENCE ikθ so that ak = e and bn = 1/n → 0 monotonically as n →∞.
    [Show full text]
  • Aspects of Quantum Field Theory and Number Theory, Quantum Field Theory and Riemann Zeros, © July 02, 2015
    juan guillermo dueñas luna ASPECTSOFQUANTUMFIELDTHEORYAND NUMBERTHEORY ASPECTSOFQUANTUMFIELDTHEORYANDNUMBER THEORY juan guillermo dueñas luna Quantum Field Theory and Riemann Zeros Theoretical Physics Department. Brazilian Center For Physics Research. July 02, 2015. Juan Guillermo Dueñas Luna: Aspects of Quantum Field Theory and Number Theory, Quantum Field Theory and Riemann Zeros, © July 02, 2015. supervisors: Nami Fux Svaiter. location: Rio de Janeiro. time frame: July 02, 2015. ABSTRACT The Riemann hypothesis states that all nontrivial zeros of the zeta function lie in the critical line Re(s) = 1=2. Motivated by the Hilbert- Pólya conjecture which states that one possible way to prove the Riemann hypothesis is to interpret the nontrivial zeros in the light of spectral theory, a lot of activity has been devoted to establish a bridge between number theory and physics. Using the techniques of the spectral zeta function we show that prime numbers and the Rie- mann zeros have a different behaviour as the spectrum of a linear operator associated to a system with countable infinite number of degrees of freedom. To explore more connections between quantum field theory and number theory we studied three systems involving these two sequences of numbers. First, we discuss the renormalized zero-point energy for a massive scalar field such that the Riemann zeros appear in the spectrum of the vacuum modes. This scalar field is defined in a (d + 1)-dimensional flat space-time, assuming that one of the coordinates lies in an finite interval [0, a]. For even dimensional space-time we found a finite reg- ularized energy density, while for odd dimensional space-time we are forced to introduce mass counterterms to define a renormalized vacuum energy.
    [Show full text]
  • Shintani's Zeta Function Is Not a Finite Sum of Euler Products
    SHINTANI’S ZETA FUNCTION IS NOT A FINITE SUM OF EULER PRODUCTS FRANK THORNE Abstract. We prove that the Shintani zeta function associated to the space of binary cubic forms cannot be written as a finite sum of Euler products. Our proof also extends to several closely related Dirichlet series. This answers a question of Wright [22] in the negative. 1. Introduction In this paper, we will prove that Shintani’s zeta function is not a finite sum of Euler products. We will also prove the same for the Dirichlet series counting cubic fields. Our work is motivated by a beautiful paper of Wright [22]. To illustrate Wright’s work, we recall a classical example, namely the Dirichlet series associated to fundamental discrim- inants. We have s 1 s s ζ(s) s L(s, χ4) (1.1) D− = 1 2− +2 4− + 1 4− , 2 − · ζ(2s) − L(2s, χ4) D>0 X as well as a similar formula for negative discriminants. These formulas may look a bit messy. However, if one combines positive and negative discriminants, one has the beautiful formulas s s s ζ(s) 1 s (1.2) D − = 1 2− +2 4− = Disc(K ) , | | − · ζ(2s) 2 | v |p p [Kv:Qp] 2 X Y X≤ and L(s, χ4) arXiv:1112.1397v3 [math.NT] 9 Nov 2012 s s (1.3) sgn(D) D − = 1 4− . | | − L(2s, χ4) X These are special cases of much more general results. Wright obtains similar formulas for quadratic extensions of any global field k of characteristic not equal to 2, which are in turn n the case n = 2 of formulas for Dirichlet series parameterizing the elements of k×/(k×) .
    [Show full text]
  • The Mobius Function and Mobius Inversion
    Ursinus College Digital Commons @ Ursinus College Transforming Instruction in Undergraduate Number Theory Mathematics via Primary Historical Sources (TRIUMPHS) Winter 2020 The Mobius Function and Mobius Inversion Carl Lienert Follow this and additional works at: https://digitalcommons.ursinus.edu/triumphs_number Part of the Curriculum and Instruction Commons, Educational Methods Commons, Higher Education Commons, Number Theory Commons, and the Science and Mathematics Education Commons Click here to let us know how access to this document benefits ou.y Recommended Citation Lienert, Carl, "The Mobius Function and Mobius Inversion" (2020). Number Theory. 12. https://digitalcommons.ursinus.edu/triumphs_number/12 This Course Materials is brought to you for free and open access by the Transforming Instruction in Undergraduate Mathematics via Primary Historical Sources (TRIUMPHS) at Digital Commons @ Ursinus College. It has been accepted for inclusion in Number Theory by an authorized administrator of Digital Commons @ Ursinus College. For more information, please contact [email protected]. The Möbius Function and Möbius Inversion Carl Lienert∗ January 16, 2021 August Ferdinand Möbius (1790–1868) is perhaps most well known for the one-sided Möbius strip and, in geometry and complex analysis, for the Möbius transformation. In number theory, Möbius’ name can be seen in the important technique of Möbius inversion, which utilizes the important Möbius function. In this PSP we’ll study the problem that led Möbius to consider and analyze the Möbius function. Then, we’ll see how other mathematicians, Dedekind, Laguerre, Mertens, and Bell, used the Möbius function to solve a different inversion problem.1 Finally, we’ll use Möbius inversion to solve a problem concerning Euler’s totient function.
    [Show full text]
  • Chapter 3: Infinite Series
    Chapter 3: Infinite series Introduction Definition: Let (an : n ∈ N) be a sequence. For each n ∈ N, we define the nth partial sum of (an : n ∈ N) to be: sn := a1 + a2 + . an. By the series generated by (an : n ∈ N) we mean the sequence (sn : n ∈ N) of partial sums of (an : n ∈ N) (ie: a series is a sequence). We say that the series (sn : n ∈ N) generated by a sequence (an : n ∈ N) is convergent if the sequence (sn : n ∈ N) of partial sums converges. If the series (sn : n ∈ N) is convergent then we call its limit the sum of the series and we write: P∞ lim sn = an. In detail: n→∞ n=1 s1 = a1 s2 = a1 + a + 2 = s1 + a2 s3 = a + 1 + a + 2 + a3 = s2 + a3 ... = ... sn = a + 1 + ... + an = sn−1 + an. Definition: A series that is not convergent is called divergent, ie: each series is ei- P∞ ther convergent or divergent. It has become traditional to use the notation n=1 an to represent both the series (sn : n ∈ N) generated by the sequence (an : n ∈ N) and the sum limn→∞ sn. However, this ambiguity in the notation should not lead to any confu- sion, provided that it is always made clear that the convergence of the series must be established. Important: Although traditionally series have been (and still are) represented by expres- P∞ sions such as n=1 an they are, technically, sequences of partial sums. So if somebody comes up to you in a supermarket and asks you what a series is - you answer “it is a P∞ sequence of partial sums” not “it is an expression of the form: n=1 an.” n−1 Example: (1) For 0 < r < ∞, we may define the sequence (an : n ∈ N) by, an := r for each n ∈ N.
    [Show full text]
  • Dirichlet Series
    数理解析研究所講究録 1088 巻 1999 年 83-93 83 Overconvergence Phenomena For Generalized Dirichlet Series Daniele C. Struppa Department of Mathematical Sciences George Mason University Fairfax, VA 22030 $\mathrm{U}.\mathrm{S}$ . A 84 1 Introduction This paper contains the text of the talk I delivered at the symposium “Resurgent Functions and Convolution Equations”, and is an expanded version of a joint paper with T. Kawai, which will appear shortly and which will contain the full proofs of the results. The goal of our work has been to provide a new approach to the classical topic of overconvergence for Dirichlet series, by employing results in the theory of infinite order differential operators with constant coefficients. The possibility of linking infinite order differential operators with gap theorems and related subjects such as overconvergence phenomena was first suggested by Ehrenpreis in [6], but in a form which could not be brought to fruition. In this paper we show how a wide class of overconvergence phenomena can be described in terms of infinite order differential operators, and that we can provide a multi-dimensional analog for such phenomena. Let us begin by stating the problem, as it was first observed by Jentzsch, and subsequently made famous by Ostrowski (see [5]). Consider a power series $f(z)= \sum_{=n0}^{+\infty}anZ^{n}$ (1) whose circle of convergence is $\triangle(0, \rho)=\{z\in C : |z|<\rho\}$ , with $\rho$ given, therefore, by $\rho=\varliminf|a_{n}|^{-1/}n$ . Even though we know that the series given in (1) cannot converge outside of $\Delta=\Delta(0, \rho)$ , it is nevertheless possible that some subsequence of its sequence of partial sums may converge in a region overlapping with $\triangle$ .
    [Show full text]