DOCSLIB.ORG

Hardy Spaces of Dirichlet Series and the Riemann Zeta Function

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Hardy Spaces of Dirichlet Series and the Riemann Zeta Function Hardy spaces of Dirichlet Series and the Riemann Zeta Function Kristian Seip Norwegian University of Science and Technology NTNU Nonlinear Functional Analysis Valencia, October 20, 2017 1997 paper with Hedenmalm and Lindqvist In 1997, I published a paper with Håkan Hedenmalm and Peter Lindqvist in Duke Math. J. which begins with the following words: “The purpose of this paper is twofold. First we study systems of functions '(x),'(2x),'(3x),..., and second we study the Hardy space H2 of the infinite dimensional polydisk. Building on ideas of Arne Beurling and Harald Bohr, we find that the two topics are intimately connected, the common feature being the use of Dirichlet series.” Systems of dilated functions—an example More precisely, we were concerned with the case when ' is an odd 2-periodic function—the prototype being '(x) sin¼x. Our Æ interest in systems of the form '(nx) came from a nonlinear eigenvalue problem (for the one-dimensional p-Laplacian): d ³ p 2 ´ p 2 u0 ¡ u0 ¸ u ¡ u 0, dx j j Å j j Æ where 1 p , studied in depth by Ôtani in 1984. It has a Ç Ç 1 remarkable solution, and all eigenfunctions can be expressed in terms of dilations of a single odd periodic function, called sinp(x), an inverse of a certain Abelian integral, corresponding to the smallest eigenvalue ¸. Riesz bases of systems of dilated functions We were led from this special case to a general problem: Question When will a system of functions '(nx), n 1,2,3,..., ' odd and Æ 2-periodic, be a Riesz basis for L2(0,1)? When '(x) p2sin¼x, we have an orthonormal basis, and the Æ question is somehow how much a general ' can differ from p2sin¼x for the Riesz basis property to be “preserved”. (A problem well known from systems of exponentials!) An effective way of expressing analytically such “deviation” comes from work of Beurling (and also Wintner, as we later we discovered). The Beurling–Wintner transformation We may write X1 '(x) anp2sin(¼nx); Æ n 1 Æ then X1 X bn'(nx) cnp2sin(¼nx), (1) n 1 Æ n Æ P where cn d n anbn/d (which is called the Dirichlet convolution Æ j of (an) and (bn)). Therefore, the mapping X X1 s S anp2sin(¼nx): ann¡ n 1 Æ n 1 Æ Æ P s P s transforms (1) into a bona fide product of ann¡ and bnn¡ . This observation is found in the notes from a seminar held by Beurling in 1945, as well as in a 1944 paper of Wintner. The Hardy space of Dirichlet series H 2 Under S , L2(0,1) is mapped to the following space: Definition H 2 consists of all Dirichlet series of the form X1 s f (s) ann¡ , Æ n 1 Æ (s σ it a complex variable) with Æ Å X1 f 2 a 2 . H 2 n k k Æ n 1j j Ç 1 Æ 2 2 P 2σ Since by Cauchy–Schwarz, f (s) f 1 n , an f in H 2 n 1 ¡ 2 j j · k k Æ H is analytic in CÅ {s σ it : σ 1/2}. 1/2 Æ Æ Å È Observation on the Riesz basis problem By the Beurling–Wintner transformation, the following is essentially immediate from the definition of a Riesz basis: Observation (Hedenmalm–Lindqvist–Seip 97) The dilated system '(nx) is a Riesz basis for L2(0,1) if and only if both S ' and 1/S ' are multipliers for H 2. Recall: m a multiplier means m a Dirichlet series such that mf in H 2 whenever f is in H 2. (Then obviously m itself is in H 2 and f mf is a bounded operator.) 7! Reproducing kernel of H 2 Clearly, H 2 is a Hilbert space with reproducing kernel, and the kernel is Kw (s) ³(s w), Æ Å where ³ is the Riemann zeta-function defined in σ 1 by È X1 s Y s 1 ³(s) n¡ (1 p¡ )¡ . Æ n 1 Æ p ¡ Æ Thus, for f in H 2 and σ 1/2, we have È f (s) f ,³( s) . Æ h ¢ Å i Harald Bohr’s viewpoint s s s Set z1 2¡ , z2 3¡ , ..., zj pj¡ , ..., i.e. think of the Æ Æ s Æ “prime powers” p¡ as independent variables (by the fundamental theorem of arithmetic). 2 2 In this way, H may be thought of as H (D1). A simple estimate using the multiplicative definition of ³(s) 2 shows that the series converges in D1 ` .(CÅ can be \ 1/2 thought of as a subset.) The theorem on multipliers We denote the set of multipliers by M . As noted before, every multiplier m defines a bounded operator on H 2; the corresponding operator norm is denoted by m . k kM Theorem (Hedenmalm–Lindqvist–Seip 97) 2 M H H1(C0) and m M sup m(s) . Æ \ k k Æ s C0 j j 2 Thus the multipliers live a fully-fledged life in the larger half-plane C0. 2 We write M H 1 : H H1(C ). Æ Æ \ 0 Our proof uses the Bohr lift and relies on the fact that BH 1 H1(T1). Æ In hindsight: The multiplier theorem (stated and proved differently) was known to Toeplitz in the 1920s ... Beurling’s completeness problem: Cyclicity in H 2 By the Beurling–Wintner transformation, proving completeness of the system '(nx) in L2(0,1) amounts to proving cyclicity of S ' in H 2. This is a much more delicate problem, studied by Wintner, Beurling, Kozlov, Helson, Hedenmalm–Lindqvist–S, Nikolski (and possibly others). Only partial results are known. There is (not surprisingly), quantitatively, a huge difference between the two problems (Riesz basis and completeness). Example The Davenport series X1 sin(¼nx) ' (x): ¸ ¸ Æ n 1 n Æ yields a Riesz basis iff ¸ 1 and completeness iff ¸ 1/2. È È “In a shadow of RH” This metaphor is used by Nikolski (2012), in the title of so far the last significant paper on the dilation completeness problem, to illustrate the relation to the Riemann hypothesis (RH). Indeed, the following statement about dilations of a nonperiodic function is equivalent to RH. The Nyman–Báez-Duarte criterion Set ½(x): x [x] and '(x): ½(1/x). The function  (x) is in Æ ¡ Æ [0,1] the closure in L2(0, ) of the system 1 '(nx), n 1,2,3,... Æ A number of more direct nontrivial links to the Riemann zeta function and analytic number theory (not just “shadows”) appear in our subject. p P s H spaces of Dirichlet series n1 1 ann¡ Æ We follow Bayart (2002) and assume 0 p . Ç Ç 1 On the one hand, we define H p as the completion of the PN s set of Dirichlet polynomials P(s) ann¡ with respect Æ n 1 to the norm (quasi-norm when 0 p Æ1) Ç Ç µ Z T ¶1/p 1 p P H p lim P(it) dt . k k Æ T T 0 j j !1 s p On the other hand, via the Bohr lift zj pj ¡ , H is p Æ p isometrically isomorphic to H (T1), the closure in L (T1) of holomorphic polynomials in infinitely many variables (zj ). Explicitly, in multi-index notation we write n (p )®(n) and obtain Æ j X1 ®(n) Bf (z) anz , Æ n 1 Æ P s 2 P 2 the Bohr lift of f (s) 1 ann¡ . Note: f an . n 1 H 2 n Æ Æ k k Æ j j Overall goals We want to do the usual things: understand the basic function theoretic properties of H p study suitable analogues of classical operators acting on H p, typically operators defined in terms of symbols and the interplay between properties of the operator and function theoretic properties of the symbol and in addition to: understand how our theory of Hardy spaces H p interacts with relevant parts of number theory and possibly other fields. From one to infinitely many variables Our theorem on multipliers is an example of a result obtained by looking for analogies with the classical theory of Hardy spaces. It is in line with the perspective of Rudin’s classic treatise on complex analysis in polydiscs (from the preface): “Briefly, the object is to see how much of our extremely detailed knowledge about holomorphic functions in the unit disc (...) can be carried over to an analogous setting, namely to polydiscs.” This is natural and the most obvious approach we may take, and it has led to many interesting results of which only a few will be mentioned in this talk. There are however some less evident points that can be made about the relation to the classical theory of Hardy spaces. The Riemann zeta function—a reminder “Additive” definition: X1 s ³(s): n¡ , Re(s) 1. Æ n 1 È Æ “Multiplicative” definition (Euler product) 1 Y³ s´¡ ³(s): 1 p¡ , Re(s) 1. Æ p ¡ È The multiplicative representation is what relates ³(s) to ¼(x) (the number of primes p x), for instance by the formula · Z 1 ¼(x) log³(s) s s dx. Æ 2 x(x 1) ¡ The motivation for the study of ³(s) is our desire to understand the behavior of ¼(x). Interplay between additive and multiplicative structure The interplay between the additive and the multiplicative embodied in ³(s) appears in our context in the following way: Interplay between function theory in half-planes (“additive” model) and function theory on polydiscs (“multiplicative” model) Another version of this which is sometimes useful to keep in mind: the dual group (in the Pontryagin sense) of T1 is the multiplicative group Q which has as well an additive structure (the order inducedÅ by the numerical size of positive rational numbers).
Load more

Recommended publications
  • 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]
  • 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]
  • 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]
  • Lagrange Inversion Theorem for Dirichlet Series Arxiv:1911.11133V1
    Lagrange Inversion Theorem for Dirichlet series Alexey Kuznetsov ∗ November 26, 2019 Abstract We prove an analogue of the Lagrange Inversion Theorem for Dirichlet series. The proof is based on studying properties of Dirichlet convolution polynomials, which are analogues of convolution polynomials introduced by Knuth in [4]. Keywords: Dirichlet series, Lagrange Inversion Theorem, convolution polynomials 2010 Mathematics Subject Classification : Primary 30B50, Secondary 11M41 1 Introduction 0 The Lagrange Inversion Theorem states that if φ(z) is analytic near z = z0 with φ (z0) 6= 0 then the function η(w), defined as the solution to φ(η(w)) = w, is analytic near w0 = φ(z0) and is represented there by the power series X bn η(w) = z + (w − w )n; (1) 0 n! 0 n≥0 where the coefficients are given by n−1 n d z − z0 bn = lim n−1 : (2) z!z0 dz φ(z) − φ(z0) 0 This result can be stated in the following simpler form. We assume that φ(z0) = z0 = 0 and φ (0) = 1. We define A(z) = z=φ(z) and check that A is analytic near z = 0 and is represented there by the power series arXiv:1911.11133v1 [math.NT] 25 Nov 2019 X n A(z) = 1 + anz : (3) n≥1 Let us define B(z) implicitly via A(zB(z)) = B(z): (4) Then the function η(z) = zB(z) solves equation η(z)=A(η(z)) = z, which is equivalent to φ(η(z)) = z. Applying Lagrange Inversion Theorem in the form (2) we obtain X an(n + 1) B(z) = zn; (5) n + 1 n≥0 ∗Dept.
    [Show full text]
  • On the Fourier Transform of the Greatest Common Divisor
    On the Fourier transform of the greatest common divisor Peter H. van der Kamp Department of Mathematics and Statistics La Trobe University Victoria 3086, Australia January 17, 2012 Abstract The discrete Fourier transform of the greatest common divisor m X ka id[b a](m) = gcd(k; m)αm ; k=1 with αm a primitive m-th root of unity, is a multiplicative function that generalises both the gcd-sum function and Euler's totient function. On the one hand it is the Dirichlet convolution of the identity with Ramanujan's sum, id[b a] = id ∗ c•(a), and on the other hand it can be written as a generalised convolution product, id[b a] = id ∗a φ. We show that id[b a](m) counts the number of elements in the set of ordered pairs (i; j) such that i·j ≡ a mod m. Furthermore we generalise a dozen known identities for the totient function, to identities which involve the discrete Fourier transform of the greatest common divisor, including its partial sums, and its Lambert series. 1 Introduction In [15] discrete Fourier transforms of functions of the greatest common divisor arXiv:1201.3139v1 [math.NT] 16 Jan 2012 were studied, i.e. m X ka bh[a](m) = h(gcd(k; m))αm ; k=1 where αm is a primitive m-th root of unity. The main result in that paper is 1 the identity bh[a] = h ∗ c•(a), where ∗ denoted Dirichlet convolution, i.e. X m bh[a](m) = h( )cd(a); (1) d djm 1Similar results in the context of r-even function were obtained earlier, see [10] for details.
    [Show full text]
  • SOLUTIONS of the LINEAR BOLTZMANN EQUATION and SOME DIRICHLET SERIES 1. Introduction Classical Special Functions Are Used In
    SOLUTIONS OF THE LINEAR BOLTZMANN EQUATION AND SOME DIRICHLET SERIES A.V. BOBYLEV(∗) AND I.M. GAMBA(∗∗) Abstract. It is shown that a broad class of generalized Dirichlet series (includ- ing the polylogarithm, related to the Riemann zeta-function) can be presented as a class of solutions of the Fourier transformed spatially homogeneous linear Boltz- mann equation with a special Maxwell-type collision kernel. The result is based on an explicit integral representation of solutions to the Cauchy problem for the Boltz- mann equation. Possible applications to the theory of Dirichlet series are briefly discussed. 1. Introduction Classical special functions are used in different fields of mathematics and its ap- plications. Most of such functions (spherical and cylindrical functions, Hermite and Laguerre polynomials and many others) appear as solutions of some ODEs or PDEs. There is, however, another big class of functions which have no connections with differential equations. The well known examples are the Gamma and Beta functions, the Riemann Zeta-function ζ(z), obtained as an analytic continuation of the Dirichlet series [6] 1 X 1 (1.1) ζ(z) = ; Re z > 1 ; nz n=1 and some similar functions. One more example is a generalization of ζ(z), the so called polylogarithm 1 X xn (1.2) Li (x) = ; jxj < 1 ; z nz n=1 also known as de Longni´ere'sfunction [3]. Hilbert conjectured in the beginning of last century that ζ(z) and other functions of the same type do not satisfy algebraic differential relations [4]. His conjectures were proved in [7, 8]. Other references and new results on differential independence of zeta-type functions can also be found, for example, in the book [6].
    [Show full text]
  • Pell Numbers
    Int. Journal of Math. Analysis, Vol. 7, 2013, no. 38, 1877 - 1884 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2013.35131 On Some Identities and Generating Functions for k- Pell Numbers Paula Catarino 1 Department of Mathematics School of Science and Technology University of Trás-os-Montes e Alto Douro (Vila Real – Portugal) [email protected] Copyright © 2013 Paula Catarino. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. Abstract We obtain the Binet’s formula for k-Pell numbers and as a consequence we get some properties for k-Pell numbers. Also we give the generating function for k-Pell sequences and another expression for the general term of the sequence, using the ordinary generating function, is provided. Mathematics Subject Classification: 11B37, 05A15, 11B83. Keywords : Pell numbers, k-Pell numbers, Generating functions, Binet’s formula 1. Introduction Some sequences of number have been studied over several years, with emphasis on studies of well-known Fibonacci sequence (and then the Lucas sequence) that is related to the golden ratio. Many papers and research work are dedicated to Fibonacci sequence, such as the work of Hoggatt, in [15] and Vorobiov, in [13], among others and more recently we have, for example, the works of Caldwell et al . in [4], Marques in [7], and Shattuck, in [11]. Also 1 Collaborator of CIDMA and CM-UTAD (Portuguese researches centers). 1878 Paula Catarino relating with Fibonacci sequence, Falc ın et al ., in [14], consider some properties for k-Fibonacci numbers obtained from elementary matrix algebra and its identities including generating function and divisibility properties appears in the paper of Bolat et al., in [3].
    [Show full text]
  • ANALYTIC NUMBER THEORY (Spring 2019)
    ANALYTIC NUMBER THEORY (Spring 2019) Eero Saksman Chapter 1 Arithmetic functions 1.1 Basic properties of arithmetic functions We denote by P := f2; 3; 5; 7; 11;:::g the prime numbers. Any function f : N ! C is called and arithmetic function1. Some examples: ( 1 if n = 1; I(n) := 0 if n > 1: u(n) := 1; n ≥ 1: X τ(n) = 1 (divisor function). djn φ(n) := #fk 2 f1; : : : ; ng j (k; n))1g (Euler's φ -function). X σ(n) = (divisor sum). djn !(n) := #fp 2 P : pjng ` ` X Y αk Ω(n) := αk if n = pk : k=1 k=1 Q` αk Above n = k=1 pk was the prime decomposition of n, and we employed the notation X X f(n) := f(n): djn d2f1;:::;ng djn Definition 1.1. If f and g are arithmetic functions, their multiplicative (i.e. Dirichlet) convolution is the arithmetic function f ∗ g, where X f ∗ g(n) := f(d)g(n=d): djn 1In this course N := f1; 2; 3;:::g 1 Theorem 1.2. (i) f ∗ g = g ∗ f, (ii) f ∗ I = I ∗ f = f, (iii) f ∗ (g + h) = f ∗ g + f ∗ h, (iv) f ∗ (g ∗ h) = (f ∗ g) ∗ h. Proof. (i) follows from the symmetric representation X f ∗ g(n) = f(k)f(`) k`=n (note that we assume automatically that above k; l are positive integers). In a similar vain, (iv) follows by iterating this to write X (f ∗ g) ∗ h(n) = f(k1)g(k2)h(k3): k1k2k3=n Other claims are easy. Theorem 1.3.
    [Show full text]
  • 979 KOJIMA on DOUBLE DIRICHLET SERIES the Object of This Note Is
    1933-1 KOJIMA ON DIRICHLET SERIES 979 KOJIMA ON DOUBLE DIRICHLET SERIES BY C. R. ADAMS The object of this note is to direct attention to the most ex­ tensive and for us one of the most interesting papers by Tet- suzô Kojima, whose death on April 7, 1921, at the early age of thirty-four deprived Japan of an able and promising mathe­ matician. This paper, which has only just now come to our notice* and whose existence may not be generally known, is On the double Dirichlet series, (Science Reports of the Tôhoku Imperial University, (1), (math., phys., chem.), vol. 9 (1920), pp. 351-400). It is devoted mainly to the convergence properties of double Dirichlet series, certain related double integrals, double factorial series, and double binomial coefficient series. Unaware of Kojima's work, Leja and the present writerf have recently considered some of the same questions; it may there­ fore be appropriate to give a brief description of Kojima's mem­ oir and to point out the main features of its relationship to the more recent papers cited. a r A double series ^{ =i a f° which the sequence {Smn} of ai conv partial sums, 5TOn =237/—i ^ ^rges as m, w-*oo and of which each row and column converges has been called regularly convergent by Hardy. If {Smn} is both convergent and bounded, the series may be said to be convergent-bounded. One sees at once that every series regularly convergent is convergent- bounded but that the converse is not true. The notion of regular convergence is basic in Kojima's work; that of convergence- bounded in L, AI, and AIL * An obituary in the Tôhoku Mathematical Journal, vol.
    [Show full text]
  • Dirichlet-Power Series -.:: Natural Sciences Publishing
    J. Ana. Num. Theor. 5, No. 1, 41-48 (2017) 41 Journal of Analysis & Number Theory An International Journal http://dx.doi.org/10.18576/jant/050107 Dirichlet-Power Series Hunduma Legesse Geleta∗ Department of Mathematics, Addis Ababa University, Ethiopia Received: 2 Sep. 2016, Revised: 18 Nov. 2016, Accepted: 23 Nov. 2016 Published online: 1 Jan. 2017 Abstract: In this paper we introduce and investigate a new type of series which we call a ”Dirichlet-power” series. This series includes both Dirichlet series and power series as a special case. It arose during the investigation of series representations of the second order hypergeometric zeta function. The Dirichlet-power series has many properties analogous to Dirichlet series. For a Dirichlet-power series we establish Domain of convergence and show the existence of zero free regions to the right half plane. Keywords: Multiplicative cone b-metric space, fixed point, contractive mapping. 1 Introduction In this paper we introduce and investigate a new type of series which we call a ”Dirichlet-power series”. This The Riemann Zeta function ζ(s) defined by series includes both Dirichlet series and power series as a ∞ special case. As in the case of Dirichlet series it has a 1 kind of abscissa of absolute convergence is attached to it ∑ s n=1 n with a right half plane convergence. On the other hand as a power series it has a kind of radius of convergence with with an integral representation D-shaped region of convergence. This kind of series actually arose during the investigation of series ∞ s−1 ζ 1 x representations of the second order hypergeometric zeta (s)= x dx Γ (s) Z0 e − 1 function.
    [Show full text]