Note on the Hurwitz–Lerch Zeta Function of Two Variables

Total Page:16

File Type:pdf, Size:1020Kb

Note on the Hurwitz–Lerch Zeta Function of Two Variables S S symmetry Article Note on the Hurwitz–Lerch Zeta Function of Two Variables Junesang Choi 1, Recep ¸Sahin 2, O˘guzYa˘gcı 2 and Dojin Kim 3,* 1 Department of Mathematics, Dongguk University, Gyeongju 38066, Korea; [email protected] 2 Department of Mathematics, Kırıkkale University, Kırıkkale 71450, Turkey; [email protected] (R.S.); [email protected] (O.Y.) 3 Department of Mathematics, Dongguk University, Seoul 04620, Korea * Correspondence: [email protected] Received: 3 August 2020; Accepted: 27 August 2020; Published: 28 August 2020 Abstract: A number of generalized Hurwitz–Lerch zeta functions have been presented and investigated. In this study, by choosing a known extended Hurwitz–Lerch zeta function of two variables, which has been very recently presented, in a systematic way, we propose to establish certain formulas and representations for this extended Hurwitz–Lerch zeta function such as integral representations, generating functions, derivative formulas and recurrence relations. We also point out that the results presented here can be reduced to yield corresponding results for several less generalized Hurwitz–Lerch zeta functions than the extended Hurwitz–Lerch zeta function considered here. For further investigation, among possibly various more generalized Hurwitz–Lerch zeta functions than the one considered here, two more generalized settings are provided. Keywords: beta function; gamma function; Pochhammer symbol; Hurwitz–Lerch zeta function; Hurwitz–Lerch zeta function of two variables; hypergeometric functions; confluent hypergeometric functions; Appell hypergeometric functions; Humbert hypergeometric functions of two variables; integral representations; generating functions; derivative formulas; recurrence relation 1. Introduction and Preliminaries The generalized (or Hurwitz) zeta function z(s, n) is defined by (see, e.g., [1], pp. 24–27); see also ([2] Chapter XIII) ¥ 1 z(s, n) = <(s) > 1, n 2 n − , (1) ∑ ( + )s C Z0 n=0 n n which is a generalization of the Riemann zeta function z(s) := z(s, 1) (see, e.g., [1] Section 1.12). Apostol [3] showed that the following analytic continuation formula (see, e.g., ([1] p. 26, Equation (6)), ([4] Equation (5.1)) 2 G(s) ¥ cos(ps/2 − 2pnn) z(1 − s, n) = (0 < n ≤ 1, <(s) > 1), (2) ( )s ∑ s 2p n=1 n where G(s) is the familiar Gamma function whose Euler’s integral (see, e.g., [1] pp. 1–24) is ¥ Z G(s) = e−u us−1 du (<(s) > 0), (3) 0 Symmetry 2020, 12, 1431; doi:10.3390/sym12091431 www.mdpi.com/journal/symmetry Symmetry 2020, 12, 1431 2 of 11 and it can be derived from a known transformation formula for the Lerch zeta function ¥ e2pinx f(x, n, s) = <(s) > 1, n 2 n −, x 2 . (4) ∑ ( + )s C Z0 R n=0 n n Note that It is easy to read that f(x, n, s) = z(s, n) when x 2 Z. The Hurwitz–Lerch zeta function F (z, s, n) is defined by (see, e.g., [1] p. 27) ¥ zn F (z, s, n) = ∑ s , (5) n=0 (n + n) − where n 2 C n Z0 . The F (z, s, n) in (5) converges for all s 2 C when jzj < 1 and for <(s) > 1 when jzj = 1. Here and elsewhere, let N, Z, R, and C be the sets of positive integers, integers, real numbers, − and complex numbers, respectively. Furthermore, let us denote Z0 := Z n N and N0 := N [ f0g. The various special cases of the Hurwitz–Lerch zeta function (5) including the Riemann zeta function z(s), the Hurwitz zeta function (1), and the Lerch zeta function (4) have been intensively studied and applied. We choose to take some examples: Adamchik and Srivastava ([5] Propostion 5) evaluated a series involving polygamma functions in terms of the Hurwitz–Lerch zeta function (5). Rassias and Yang [6] studied certain equivalent conditions of a reverse Hilbert-type integral inequality, for which, in an example, the generalized zeta function z(s, a) is shown to be related to a best possible constant factor (see also [7? ,8]). Recently, a number of generalizations of the Hurwitz–Lerch zeta function (5) have been actively investigated (see, e.g., [9–18] and the references cited therein). Furthermore, very recently, Choi and Parmar [19] have introduced and investigated the following two-variable extension of the Hurwitz–Lerch zeta function (5) ¥ 0 k ` (a)k+` (b)k (b )` x y F 0 (x, y, s, a) = , (6) a,b,b ;c ∑ ( ) ` ( + ` + )s k,`=0 c k+` k! ! k a 0 − where a, b, b 2 C and c, a 2 C n Z0 . The function Fa,b,b0;c (x, y, s, a) in (6) converges for all s 2 C 0 when jxj < 1 and jyj < 1, and for <(s + c − a − b − b ) > 1 when jxj = 1 and jyj = 1. Here (h)n is the Pochhammer symbol given (for h, n 2 C) by G(h + n) − (h)n : = (h + n 2 C n Z ) G(h) 0 ( (7) 1 (n = 0), = h(h + 1) ··· (h + n − 1)(n = n 2 N). From (3) and (7), the following integral formula for the Pochhammer symbol ¥ 1 Z (s) = e−u us+n−1 du (<(s + n) > 0) (8) n G(s) 0 can be easily obtained. Here, in a systematic way, we aim to establish certain formulas and representations for the extended Hurwitz–Lerch zeta function of two variables (6) such as integral representations, generating functions, derivative formulas and recurrence relations. We also point out that the results presented here can be reduced to produce corresponding results for several less generalized Hurwitz–Lerch zeta functions than the extended Hurwitz–Lerch zeta function (6). Further, two more generalized settings than (6) are provided. Symmetry 2020, 12, 1431 3 of 11 2. Integral Representations for the Extended Hurwitz–Lerch Zeta Function of Two Variables We begin by recalling a known integral representation of the extended Hurwitz–Lerch zeta function (6) (see [19] Theorem 1) ¥ Z 1 s−1 −au 0 −u −u F 0 (x, y, s, a) = u e F a, b, b ; c; xe , ye du, (9) a,b,b ;c G(s) 1 0 which converges for min f<(s), <(a)g > 0 when jxj ≤ 1 (x 6= 1) and jyj ≤ 1 (y 6= 1), and for <(s) > 1 when x = 1 and y = 1. Here F1 is the Appell hypergeometric function of two variables defined by (see, e.g., ([1] p. 224, Equation (6)); see also ([20] p. 22)) ¥ 0 m n (a) + (b) (b ) x y F a, b, b0; c; x, y = m n m n 1 ∑ ( ) m,n=0 c m+n m! n! " 0 # (10) ¥ (a) (b) a + m, b ; xm = m m F y , ∑ ( ) 2 1 m=0 c m c + m ; m! 0 − where a, b, b 2 C, c 2 C n Z0 and whose convergence region is maxf<(x), <(y)g < 1. Here pFq (p, q 2 N0) are the generalized hypergeometric functions (see, e.g., ([1] Chapters II and V); see also ([21] Section 1.5), [20,22–25]). The following confluent form of the Appell hypergeometric function F1 is recalled (see, e.g., [1] p. 225, Equation (21)); see also ([20] p. 22 et seq.) ¥ (b) (b0) xm yn F [b, b0; c; x, y] = m n (jxj < ¥, jyj < ¥). (11) 2 ∑ ( ) m,n=0 c m+n m! n! We provide further integral representations of the extended Hurwitz–Lerch zeta function (6), asserted in the following theorem. Theorem 1. Each of the following integral representations holds. ¥ ¥ ¥ Z Z Z 1 s−1 b−1 b0−1 F 0 (x, y, s, a) = u v v exp(−au − v − v ) a,b,b ;c G(s) G(b)G(b0) 1 2 1 2 0 0 0 (12) −u × 1F1 a; c; e (xv1 + yv2) du dv1 dv2, where min f<(s), <(a), <(b), <(b0)g > 0; ¥ ¥ ¥ ¥ Z Z Z Z 1 s−1 b−1 b0−1 a−1 F 0 (x, y, s, a) = u v v v a,b,b ;c G(s) G(a)G(b)G(b0) 1 2 3 0 0 0 0 (13) −u × exp(−au − v1 − v2 − v3)0F1 −; c; e (xv1 + yv2) v3 du dv1 dv2 dv3, where min f<(s), <(a), <(a), <(b), <(b0)g > 0; ¥ ¥ Z Z 1 s−1 a−1 F 0 (x, y, s, a) = u v exp(−au − v) a,b,b ;c G(s) G(a) 0 0 (14) 0 −u −u × F2 b, b ; c; xe v, ye v du dv, Symmetry 2020, 12, 1431 4 of 11 where minf<(s), <(a), <(a)g > 0 and maxf<(x), <(y)g < 1; G(c) F 0 (x, y, s, a) = a,b,b ;c G(s) G(a) G(b)G(b0)G(c − b − b0) ¥ ¥ 1 1 Z Z Z Z 0 × us−1 va−1 xb−1 hb −1 (1 − x)c−b−1 (15) 0 0 0 0 0 × (1 − h)c−b−b −1 exp −au − v + xe−uvx + ye−uv(1 − x)h dx dh du dv, where minf<(s), <(a), <(a), <(b)g > 0 and <(c − b) > <(b0) > 0; ¥ ¥ 1 1 Z Z Z Z G (d) s−1 a−1 b−1 b0−1 F 0 (x, y, s, a) = u v x h a,b,b ;c G (s) G (a) G (b) G (b0) G (d − b − b0) 0 0 0 0 − − − − 0− (16) × (1 − x)d b 1 (1 − h)d b b 1 exp −au − v + xe−uvx + ye−uv (1 − x) h −u −u × 1F1 c − d; c; −ze vx − ye v (1 − x) h dx dh du dv, where minf<(s), <(a), <(a), <(b)g > 0 and <(d − b) > <(b0) > 0; G (c) F 0 (x, y, s, a) = a,b,b ;c G (s) G (a) G (d) G (b0) G (c − d − b0) ¥ ¥ 1 1 Z Z Z Z 0 0 × us−1va−1xd−1hb −1 (1 − x)c−d−1 (1 − h)c−d−b −1 (17) 0 0 0 0 −u −u −u × exp −au − v + xe vx + ye v(1 − x)h 1F1 d − b; d; −xe vx dx dh du dv, where minf<(s), <(a), <(a), <(d)g > 0 and <(c − d) > <(b0) > 0; ¥ ¥ 1 1 Z Z Z Z G (c) s−1 a−1 d−1 b0−1 F 0 (x, y, s, a) = u v x h a,b,b ;c G (s) G (a) G (d) G (b0) G (c − d − b0) 0 0 0 0 0 (18) × (1 − x)c−d−1(1 − h)c−d−b −1 exp −au − v + xe−uvx + ye−uv (1 − x) h 0 −u × 1F1 b − d; c − d − b ; xe v (1 − x)(1 − h) dx dh du dv, where minf<(s), <(a), <(a), <(d)g > 0 and <(c − d) > <(b0) > 0; ¥ ¥ 1 1 G (c) Z Z Z Z s−1 a−1 d1−1 d2−1 Fa,b,b0;c (x, y, s, a) = u v x h G (s) G (a) G (d1) G (d2) G (c − d1 − d2) 0 0 0 0 (19) c− − c− − − −u −u × (1 − x) d1 1(1 − h) d1 d2 1 exp −au − v + xe vx + ye v(1 − x)h −u 0 −u × 1F1 d1 − b; d1; −xe vx 1F1 d2 − b ; d2; −ye v(1 − x)h dx dh du dv, where minf<(s), <(a), <(a), <(d1)g > 0 and <(c − d1) > <(d2) > 0; G (c) Fa,b,b0;c (x, y, s, a) = G (s) G (a) G (d1) G (d2) G (c − d1 − d2) ¥ ¥ 1 1 Z Z Z Z − − − − − × us−1va−1xd1−1hd2−1 (1 − x)c d1 1 (1 − h)c d1 d2 1 (20) 0 0 0 0 × exp −au − v + xe−uvx + ye−uv (1 − x) h 0 −u −u × F2 b − d1; b − d2; c; xe v(1 − x)(1 − h), ye v(1 − x)(1 − h)] dx dh du dv, Symmetry 2020, 12, 1431 5 of 11 where minf<(s), <(a), <(a), <(d1)g > 0 and <(c − d1) > <(d2) > 0; G (c) F 0 (x, y, s, a) = a,b,b ;c G (s) G (a) G (b) G (b0) G (c − b − b0) ¥ 1 1−h Z Z Z 0 − − 0− × e−au us−1xb−1hb −1 (1 − x − h)c b b 1 (21) 0 0 0 −a × 1 − xxe−u − yhe−u dx dh du, where minf<(s), <(a), <(b), <(b0)g > 0 and <(c − b − b0) > 0; G (c) F 0 (x, y, s, a) = a,b,b ;c G (s) G (a) G (c − a) ¥ 1 (22) Z Z − − −b −b0 × e−au us−1va−1 (1 − v)c a 1 1 − vxe−u 1 − vye−u dv du, 0 0 where minf<(s), <(a), <(a)g > 0 and <(c − a) > 0; ¥ 1 Z Z G (c) −au s−1 c−b−1 b−1 F 0 (x, y, s, a) = e u v (1 − v) a,b,b ;c G (s) G (b) G (c − b) 0 0 (23) −uc−a−b −ua−c 0 −u × 1 − xe 1 − vxe 2F1 a, b ; c − b; ye v dv du, where minf<(s), <(a), <(b)g > 0 and <(c − b) > 0.
Recommended publications
  • The Lerch Zeta Function and Related Functions
    The Lerch Zeta Function and Related Functions Je↵ Lagarias, University of Michigan Ann Arbor, MI, USA (September 20, 2013) Conference on Stark’s Conjecture and Related Topics , (UCSD, Sept. 20-22, 2013) (UCSD Number Theory Group, organizers) 1 Credits (Joint project with W. C. Winnie Li) J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function I. Zeta Integrals, Forum Math, 24 (2012), 1–48. J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function II. Analytic Continuation, Forum Math, 24 (2012), 49–84. J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function III. Polylogarithms and Special Values, preprint. J. C. Lagarias and W.-C. Winnie Li , The Lerch Zeta Function IV. Two-variable Hecke operators, in preparation. Work of J. C. Lagarias is partially supported by NSF grants DMS-0801029 and DMS-1101373. 2 Topics Covered Part I. History: Lerch Zeta and Lerch Transcendent • Part II. Basic Properties • Part III. Multi-valued Analytic Continuation • Part IV. Consequences • Part V. Lerch Transcendent • Part VI. Two variable Hecke operators • 3 Part I. Lerch Zeta Function: History The Lerch zeta function is: • e2⇡ina ⇣(s, a, c):= 1 (n + c)s nX=0 The Lerch transcendent is: • zn Φ(s, z, c)= 1 (n + c)s nX=0 Thus ⇣(s, a, c)=Φ(s, e2⇡ia,c). 4 Special Cases-1 Hurwitz zeta function (1882) • 1 ⇣(s, 0,c)=⇣(s, c):= 1 . (n + c)s nX=0 Periodic zeta function (Apostol (1951)) • e2⇡ina e2⇡ia⇣(s, a, 1) = F (a, s):= 1 . ns nX=1 5 Special Cases-2 Fractional Polylogarithm • n 1 z z Φ(s, z, 1) = Lis(z)= ns nX=1 Riemann zeta function • 1 ⇣(s, 0, 1) = ⇣(s)= 1 ns nX=1 6 History-1 Lipschitz (1857) studies general Euler integrals including • the Lerch zeta function Hurwitz (1882) studied Hurwitz zeta function.
    [Show full text]
  • Tsinghua Lectures on Hypergeometric Functions (Unfinished and Comments Are Welcome)
    Tsinghua Lectures on Hypergeometric Functions (Unfinished and comments are welcome) Gert Heckman Radboud University Nijmegen [email protected] December 8, 2015 1 Contents Preface 2 1 Linear differential equations 6 1.1 Thelocalexistenceproblem . 6 1.2 Thefundamentalgroup . 11 1.3 The monodromy representation . 15 1.4 Regular singular points . 17 1.5 ThetheoremofFuchs .. .. .. .. .. .. 23 1.6 TheRiemann–Hilbertproblem . 26 1.7 Exercises ............................. 33 2 The Euler–Gauss hypergeometric function 39 2.1 The hypergeometric function of Euler–Gauss . 39 2.2 The monodromy according to Schwarz–Klein . 43 2.3 The Euler integral revisited . 49 2.4 Exercises ............................. 52 3 The Clausen–Thomae hypergeometric function 55 3.1 The hypergeometric function of Clausen–Thomae . 55 3.2 The monodromy according to Levelt . 62 3.3 The criterion of Beukers–Heckman . 66 3.4 Intermezzo on Coxeter groups . 71 3.5 Lorentzian Hypergeometric Groups . 75 3.6 Prime Number Theorem after Tchebycheff . 87 3.7 Exercises ............................. 93 2 Preface The Euler–Gauss hypergeometric function ∞ α(α + 1) (α + k 1)β(β + 1) (β + k 1) F (α, β, γ; z) = · · · − · · · − zk γ(γ + 1) (γ + k 1)k! Xk=0 · · · − was introduced by Euler in the 18th century, and was well studied in the 19th century among others by Gauss, Riemann, Schwarz and Klein. The numbers α, β, γ are called the parameters, and z is called the variable. On the one hand, for particular values of the parameters this function appears in various problems. For example α (1 z)− = F (α, 1, 1; z) − arcsin z = 2zF (1/2, 1, 3/2; z2 ) π K(z) = F (1/2, 1/2, 1; z2 ) 2 α(α + 1) (α + n) 1 z P (α,β)(z) = · · · F ( n, α + β + n + 1; α + 1 − ) n n! − | 2 with K(z) the Jacobi elliptic integral of the first kind given by 1 dx K(z)= , Z0 (1 x2)(1 z2x2) − − p (α,β) and Pn (z) the Jacobi polynomial of degree n, normalized by α + n P (α,β)(1) = .
    [Show full text]
  • A Short and Simple Proof of the Riemann's Hypothesis
    A Short and Simple Proof of the Riemann’s Hypothesis Charaf Ech-Chatbi To cite this version: Charaf Ech-Chatbi. A Short and Simple Proof of the Riemann’s Hypothesis. 2021. hal-03091429v10 HAL Id: hal-03091429 https://hal.archives-ouvertes.fr/hal-03091429v10 Preprint submitted on 5 Mar 2021 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. A Short and Simple Proof of the Riemann’s Hypothesis Charaf ECH-CHATBI ∗ Sunday 21 February 2021 Abstract We present a short and simple proof of the Riemann’s Hypothesis (RH) where only undergraduate mathematics is needed. Keywords: Riemann Hypothesis; Zeta function; Prime Numbers; Millennium Problems. MSC2020 Classification: 11Mxx, 11-XX, 26-XX, 30-xx. 1 The Riemann Hypothesis 1.1 The importance of the Riemann Hypothesis The prime number theorem gives us the average distribution of the primes. The Riemann hypothesis tells us about the deviation from the average. Formulated in Riemann’s 1859 paper[1], it asserts that all the ’non-trivial’ zeros of the zeta function are complex numbers with real part 1/2. 1.2 Riemann Zeta Function For a complex number s where ℜ(s) > 1, the Zeta function is defined as the sum of the following series: +∞ 1 ζ(s)= (1) ns n=1 X In his 1859 paper[1], Riemann went further and extended the zeta function ζ(s), by analytical continuation, to an absolutely convergent function in the half plane ℜ(s) > 0, minus a simple pole at s = 1: s +∞ {x} ζ(s)= − s dx (2) s − 1 xs+1 Z1 ∗One Raffles Quay, North Tower Level 35.
    [Show full text]
  • 1 Evaluation of Series with Hurwitz and Lerch Zeta Function Coefficients by Using Hankel Contour Integrals. Khristo N. Boyadzhi
    Evaluation of series with Hurwitz and Lerch zeta function coefficients by using Hankel contour integrals. Khristo N. Boyadzhiev Abstract. We introduce a new technique for evaluation of series with zeta coefficients and also for evaluation of certain integrals involving the logGamma function. This technique is based on Hankel integral representations of the Hurwitz zeta, the Lerch Transcendent, the Digamma and logGamma functions. Key words: Hankel contour, Hurwitz zeta function, Lerch Transcendent, Euler constant, Digamma function, logGamma integral, Barnes function. 2000 Mathematics Subject Classification: Primary 11M35; Secondary 33B15, 40C15. 1. Introduction. The Hurwitz zeta function is defined for all by , (1.1) and has the integral representation: . (1.2) When , it turns into Riemann’s zeta function, . In this note we present a new method for evaluating the series (1.3) and (1.4) 1 in a closed form. The two series have received a considerable attention since Srivastava [17], [18] initiated their systematic study in 1988. Many interesting results were obtained consequently by Srivastava and Choi (for instance, [6]) and were collected in their recent book [19]. Fundamental contributions to this theory and independent evaluations belong also to Adamchik [1] and Kanemitsu et al [13], [15], [16], Hashimoto et al [12]. For some recent developments see [14]. The technique presented here is very straightforward and applies also to series with the Lerch Transcendent [8]: , (1.5) in the coefficients. For example, we evaluate here in a closed form the series (1.6) The evaluation of (1.3) and (1.4) requires zeta values for positive and negative integers . We use a representation of in terms of a Hankel integral, which makes it possible to represent the values for positive and negative integers by the same type of integral.
    [Show full text]
  • Hypergeometric Functions and Feynman Diagrams 3
    Hypergeometric Functions and Feynman Diagrams Mikhail Kalmykov, Vladimir Bytev, Bernd Kniehl, Sven-Olaf Moch, Bennie Ward, and Scott Yost Abstract The relationship between Feynman diagrams and hypergeometric functions is discussed. Special attention is devoted to existing techniquesfor the constructionof the Y-expansion. As an example, we present a detailed discussion of the construction of the Y-expansion of the Appell function 3 around rational values of parameters via an iterative solution of differential equations. As a by-product,we have found that the one-loop massless pentagon diagram in dimension 3 = 3 2n is not expressible in terms of multiple polylogarithms. Another interesting example− is the Puiseux-type solution involving a differential operator generated by a hypergeometric function of three variables. The holonomic properties of the # hypergeometric functions are briefly discussed. Mikhail Kalmykov JINR, Dubna, Russia, e-mail: [email protected] Vladimir Bytev BLTP JINR, 141980 Dubna, Moscow region, Russia e-mail: [email protected] Bernd A. Kniehl, II. Institut fuer Theoretische Physik, Universitaet Hamburg, Luruper Chaussee 149, 22761 Hamburg, Germany e-mail: [email protected] Sven-Olaf Moch II. Institut fuer Theoretische Physik, Universitaet Hamburg, Luruper Chaussee 149, 22761 arXiv:2012.14492v3 [hep-th] 22 Jan 2021 Hamburg, Germany e-mail: [email protected] B.F.L. Ward Department of Physics, Baylor University, One Bear Place, # 97316, Waco, TX 76798-7316, USA e- mail: BFL{\protect\relax$\@@underline{\hbox{\}}\mathsurround\z@$\relax}[email protected] S.A. Yost Department of Physics, The Citadel, 171 Moultrie St., Charleston, SC 29409, USA e-mail: [email protected] 1 2 Authors Suppressed Due to Excessive Length 1 Introduction Recent interest in the analytical properties of Feynman diagrams has been motivated by processes at the LHC.
    [Show full text]
  • The Riemann and Hurwitz Zeta Functions, Apery's Constant and New
    The Riemann and Hurwitz zeta functions, Apery’s constant and new rational series representations involving ζ(2k) Cezar Lupu1 1Department of Mathematics University of Pittsburgh Pittsburgh, PA, USA Algebra, Combinatorics and Geometry Graduate Student Research Seminar, February 2, 2017, Pittsburgh, PA A quick overview of the Riemann zeta function. The Riemann zeta function is defined by 1 X 1 ζ(s) = ; Re s > 1: ns n=1 Originally, Riemann zeta function was defined for real arguments. Also, Euler found another formula which relates the Riemann zeta function with prime numbrs, namely Y 1 ζ(s) = ; 1 p 1 − ps where p runs through all primes p = 2; 3; 5;:::. A quick overview of the Riemann zeta function. Moreover, Riemann proved that the following ζ(s) satisfies the following integral representation formula: 1 Z 1 us−1 ζ(s) = u du; Re s > 1; Γ(s) 0 e − 1 Z 1 where Γ(s) = ts−1e−t dt, Re s > 0 is the Euler gamma 0 function. Also, another important fact is that one can extend ζ(s) from Re s > 1 to Re s > 0. By an easy computation one has 1 X 1 (1 − 21−s )ζ(s) = (−1)n−1 ; ns n=1 and therefore we have A quick overview of the Riemann function. 1 1 X 1 ζ(s) = (−1)n−1 ; Re s > 0; s 6= 1: 1 − 21−s ns n=1 It is well-known that ζ is analytic and it has an analytic continuation at s = 1. At s = 1 it has a simple pole with residue 1.
    [Show full text]
  • Multiple Hurwitz Zeta Functions
    Proceedings of Symposia in Pure Mathematics Multiple Hurwitz Zeta Functions M. Ram Murty and Kaneenika Sinha Abstract. After giving a brief overview of the theory of multiple zeta func- tions, we derive the analytic continuation of the multiple Hurwitz zeta function X 1 ζ(s , ..., s ; x , ..., x ):= 1 r 1 r s s (n1 + x1) 1 ···(nr + xr) r n1>n2>···>nr ≥1 using the binomial theorem and Hartogs’ theorem. We also consider the cog- nate multiple L-functions, X χ (n )χ (n ) ···χ (n ) L(s , ..., s ; χ , ..., χ )= 1 1 2 2 r r , 1 r 1 r s1 s2 sr n n ···nr n1>n2>···>nr≥1 1 2 where χ1, ..., χr are Dirichlet characters of the same modulus. 1. Introduction In a fundamental paper written in 1859, Riemann [34] introduced his celebrated zeta function that now bears his name and indicated how it can be used to study the distribution of prime numbers. This function is defined by the Dirichlet series ∞ 1 ζ(s)= ns n=1 in the half-plane Re(s) > 1. Riemann proved that ζ(s) extends analytically for all s ∈ C, apart from s = 1 where it has a simple pole with residue 1. He also established the remarkable functional equation − − s s −(1−s)/2 1 s π 2 ζ(s)Γ = π ζ(1 − s)Γ 2 2 and made the famous conjecture (now called the Riemann hypothesis) that if ζ(s)= 1 0and0< Re(s) < 1, then Re(s)= 2 . This is still unproved. In 1882, Hurwitz [20] defined the “shifted” zeta function, ζ(s; x)bytheseries ∞ 1 (n + x)s n=0 for any x satisfying 0 <x≤ 1.
    [Show full text]
  • Some New Results for Humbert's Double
    Palestine Journal of Mathematics Vol. 8(2)(2019) , 146–158 © Palestine Polytechnic University-PPU 2019 SOME NEW RESULTS FOR HUMBERT’S DOUBLE HYPERGEOMETRIC SERIES 2 AND φ2 Ghazala Yasmin and Abdulghani Muhyi Communicated by P.K. Banerji MSC 2010 Classifications: Primary 33B15, 33C20; Secondary 33C70. Keywords and phrases: Gamma Function, Generalized Hypergeometric Function, Kummer’s Theorem, Generalized (Wright) Hypergeometric Function, Humbert’s Functions, Lavoie-Trottier Integral Formula. Abstract. This article aims to establish new expressions of Humbert’s functions 2 and φ2 with the help of the generalization of Kummer’s summation theorem. Some special cases are also obtained. Further, we present some interesting integrals involving the Humbert’s functions, which are expressed in terms of generalized (Wright) hypergeometric function. Also, some special cases were considered as an application of the presented integral formulas. 1 Introduction The theory of hypergeometric functions has a vast popularity and great interest. The usefulness of this functions lies in the fact that the solutions of many applied problems involving partial dif- ferential equations are obtainable with the help of such hypergeometric functions. For instance, the energy absorbed by some non ferromagnetic conductor sphere contained in an internal mag- netic field can be calculated with the help of such functions [12, 15]. Multi-variable hyper- geometric functions are used in physical and quantum chemical applications as well [14, 19]. Especially, many problems in gas dynamics lead to those of degenerate second order partial differential equations, which are then solvable in terms of multiple hypergeometric functions. Further, in the investigation of the boundary value problems for these partial differential equa- tions, we need decompositions for multivariate hypergeometric functions in terms of simpler hypergeometric functions of the Gauss and Humbert types.
    [Show full text]
  • A New Family of Zeta Type Functions Involving the Hurwitz Zeta Function and the Alternating Hurwitz Zeta Function
    mathematics Article A New Family of Zeta Type Functions Involving the Hurwitz Zeta Function and the Alternating Hurwitz Zeta Function Daeyeoul Kim 1,* and Yilmaz Simsek 2 1 Department of Mathematics and Institute of Pure and Applied Mathematics, Jeonbuk National University, Jeonju 54896, Korea 2 Department of Mathematics, Faculty of Science, University of Akdeniz, Antalya TR-07058, Turkey; [email protected] * Correspondence: [email protected] Abstract: In this paper, we further study the generating function involving a variety of special numbers and ploynomials constructed by the second author. Applying the Mellin transformation to this generating function, we define a new class of zeta type functions, which is related to the interpolation functions of the Apostol–Bernoulli polynomials, the Bernoulli polynomials, and the Euler polynomials. This new class of zeta type functions is related to the Hurwitz zeta function, the alternating Hurwitz zeta function, and the Lerch zeta function. Furthermore, by using these functions, we derive some identities and combinatorial sums involving the Bernoulli numbers and polynomials and the Euler numbers and polynomials. Keywords: Bernoulli numbers and polynomials; Euler numbers and polynomials; Apostol–Bernoulli and Apostol–Euler numbers and polynomials; Hurwitz–Lerch zeta function; Hurwitz zeta function; alternating Hurwitz zeta function; generating function; Mellin transformation MSC: 05A15; 11B68; 26C0; 11M35 Citation: Kim, D.; Simsek, Y. A New Family of Zeta Type Function 1. Introduction Involving the Hurwitz Zeta Function The families of zeta functions and special numbers and polynomials have been studied and the Alternating Hurwitz Zeta widely in many areas. They have also been used to model real-world problems.
    [Show full text]
  • Transformation Formulas for the Generalized Hypergeometric Function with Integral Parameter Differences
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Abertay Research Portal Transformation formulas for the generalized hypergeometric function with integral parameter differences A. R. Miller Formerly Professor of Mathematics at George Washington University, 1616 18th Street NW, No. 210, Washington, DC 20009-2525, USA [email protected] and R. B. Paris Division of Complex Systems, University of Abertay Dundee, Dundee DD1 1HG, UK [email protected] Abstract Transformation formulas of Euler and Kummer-type are derived respectively for the generalized hypergeometric functions r+2Fr+1(x) and r+1Fr+1(x), where r pairs of numeratorial and denominatorial parameters differ by positive integers. Certain quadratic transformations for the former function, as well as a summation theorem when x = 1, are also considered. Mathematics Subject Classification: 33C15, 33C20 Keywords: Generalized hypergeometric function, Euler transformation, Kummer trans- formation, Quadratic transformations, Summation theorem, Zeros of entire functions 1. Introduction The generalized hypergeometric function pFq(x) may be defined for complex parameters and argument by the series 1 k a1; a2; : : : ; ap X (a1)k(a2)k ::: (ap)k x pFq x = : (1.1) b1; b2; : : : ; bq (b1)k(b2)k ::: (bq)k k! k=0 When q = p this series converges for jxj < 1, but when q = p − 1 convergence occurs when jxj < 1. However, when only one of the numeratorial parameters aj is a negative integer or zero, then the series always converges since it is simply a polynomial in x of degree −aj. In (1.1) the Pochhammer symbol or ascending factorial (a)k is defined by (a)0 = 1 and for k ≥ 1 by (a)k = a(a + 1) ::: (a + k − 1).
    [Show full text]
  • 2 Values of the Riemann Zeta Function at Integers
    MATerials MATem`atics Volum 2009, treball no. 6, 26 pp. ISSN: 1887-1097 2 Publicaci´oelectr`onicade divulgaci´odel Departament de Matem`atiques MAT de la Universitat Aut`onomade Barcelona www.mat.uab.cat/matmat Values of the Riemann zeta function at integers Roman J. Dwilewicz, J´anMin´aˇc 1 Introduction The Riemann zeta function is one of the most important and fascinating functions in mathematics. It is very natural as it deals with the series of powers of natural numbers: 1 1 1 X 1 X 1 X 1 ; ; ; etc. (1) n2 n3 n4 n=1 n=1 n=1 Originally the function was defined for real argu- ments as Leonhard Euler 1 X 1 ζ(x) = for x > 1: (2) nx n=1 It connects by a continuous parameter all series from (1). In 1734 Leon- hard Euler (1707 - 1783) found something amazing; namely he determined all values ζ(2); ζ(4); ζ(6);::: { a truly remarkable discovery. He also found a beautiful relationship between prime numbers and ζ(x) whose significance for current mathematics cannot be overestimated. It was Bernhard Riemann (1826 - 1866), however, who recognized the importance of viewing ζ(s) as 2 Values of the Riemann zeta function at integers. a function of a complex variable s = x + iy rather than a real variable x. Moreover, in 1859 Riemann gave a formula for a unique (the so-called holo- morphic) extension of the function onto the entire complex plane C except s = 1. However, the formula (2) cannot be applied anymore if the real part of s, Re s = x is ≤ 1.
    [Show full text]
  • Special Values of Riemann's Zeta Function
    The divergence of ζ(1) The identity ζ(2) = π2=6 The identity ζ(−1) = −1=12 Special values of Riemann's zeta function Cameron Franc UC Santa Cruz March 6, 2013 Cameron Franc Special values of Riemann's zeta function The divergence of ζ(1) The identity ζ(2) = π2=6 The identity ζ(−1) = −1=12 Riemann's zeta function If s > 1 is a real number, then the series X 1 ζ(s) = ns n≥1 converges. Proof: Compare the partial sum to an integral, N X 1 Z N dx 1 1 1 ≤ 1 + = 1 + 1 − ≤ 1 + : ns xs s − 1 Ns−1 s − 1 n=1 1 Cameron Franc Special values of Riemann's zeta function The divergence of ζ(1) The identity ζ(2) = π2=6 The identity ζ(−1) = −1=12 The resulting function ζ(s) is called Riemann's zeta function. Was studied in depth by Euler and others before Riemann. ζ(s) is named after Riemann for two reasons: 1 He was the first to consider allowing the s in ζ(s) to be a complex number 6= 1. 2 His deep 1859 paper \Ueber die Anzahl der Primzahlen unter einer gegebenen Gr¨osse" (\On the number of primes less than a given quantity") made remarkable connections between ζ(s) and prime numbers. Cameron Franc Special values of Riemann's zeta function The divergence of ζ(1) The identity ζ(2) = π2=6 The identity ζ(−1) = −1=12 In this talk we will discuss certain special values of ζ(s) for integer values of s.
    [Show full text]