Fractional part integral representation for derivatives of a function related to lnγ(x+1)
|
|
- Shawn Nelson
- 5 years ago
- Views:
Transcription
1 arxiv:.4257v2 [math-ph] 23 Aug 2 Fractional part integral representation for derivatives of a function related to lnγ(x+) For x > let Mark W. Coffey Department of Physics Colorado School of Mines Golden, CO 84 (Received 2) August 4, 2 Abstract (x) = lnγ(x+). x Recently Adell and Alzer proved the complete monotonicity of on (, ) by giving an integral representation of ( ) n (n+) (x) in terms of the Hurwitz zeta function ζ(s, a). We reprove this integral representation in different ways, and then re-express it in terms of fractional part integrals. Special cases then haveexplicit evaluations. Otherrelations for (n+) (x) arepresented, including its leading asymptotic form as x. Key words and phrases Gamma function, digamma function, polygamma function, Hurwitz zeta function, Riemann zeta function, fractional part, integral representation 33B5, M35, Y6 2 AMS codes
2 For x > let Introduction and statement of results (x) = lnγ(x+), () = γ, (.) x where Γ is the Gamma function, γ = ψ() is the Euler constant, and ψ(x) = Γ /Γ is the digamma function. The study of the convexity and monotonicity of the functions Γ and and of their derivatives is of interest [8, 3, 4, 7]. For instance, the paper [8] gave an analog of the well known Bohr-Mollerup theorem for the function (x). Monotonicity and convexity are very useful properties for developing a variety of inequalities. Completely monotonic functions have applications in several branches, including complex analysis, potential theory, number theory, and probability (e.g., [5]). In [4], (x) was shown to be a Pick function, with integral representation (x) = π 4 + ( t z t ) dt t 2 + t. I.e., this function is holomorphic in the upper half plane with nonnegative imaginary part. Recently Adell and Alzer [2] proved the complete monotonicity of on (, ) by demonstrating the following integral representation. Proposition. (Adell and Alzer). For x > and n an integer one has ( ) n (n+) (x) = (n+)! u n+ ζ(n+2,xu+)du, (.2) where ζ(s, a) is the Hurwitz zeta function (e.g., []). The complete monotonicity of, the statement ( ) n (n+) (x), then follows from ζ(n + 2,xu + ) for 2
3 x >. We reprove the result (.2) in two other ways, and in so doing illustrate properties of the ζ function. Corollary. We have the following recurrence: ( ) n (n+)! (n+) (x) = x ( ) n n! (n) (x) ζ(n+,x+). (.3) (n+)x We then relate cases of (.2) to fractional part integrals, including the following, wherein we let {x} = x [x] denote the fractional part of x. Proposition 2. Let k be an integer. Then we have u n+ ζ(n+2,ku+)du = k n+2 As a further special case we have Corollary 2. We have {w} n+ k w dw+ n+2 j= ({x}+j) n+ (x+j +) n+2dx. ( ) n (n+) () = (n+)! y n+ {x} n+ ζ(n+2,y +)dy = (n+)! (x+) n+2dx = (n+)! γ k where ζ(s) = ζ(s,) is the Riemann zeta function [7,, 5, 6]. j=2 (.4) j [ζ(j) ], (.5) More generally, we have the following, wherein we put P (x) = {x} /2. Let 2F be the Gauss hypergeometric function [3, 9]. Proposition 3. We have for integers n u n+ ζ(n+2,xu+)du = 2(n+2) (x+) n+2 2 F (,n+2;n+3; ) x x+ 3
4 + (n+)(n+2)(x+) n+ 2 F (,n+;n+3; ) x x+ P (t) (t+)(t+x+) n+2dt. (.6) From this Proposition we may then determine the following asymptotic form: Corollary 3. We have (n+) (x) ( ) n n! (x+) n+, x, (.7) in agreement with Corollary.2 of [2]. In fact, the proof shows how higher order terms may be systematically found. Many expressions may be found for the 2 F functions in (.6) and (2.2) below, and we present a sample of these in an Appendix. A simple property of is given in the following. Proposition 4. We have (a) and (b) ( ) k (x)dx = γ + ζ(k), k=2 k 2 2 (x)dx = γ 2 ( ) k 2γ ζ(k)+ k=2 k 2 m=4 ( ) m m 2 (m ) l=2 (.8a) ζ(m l)ζ(l). (.8b) (m l)l Throughout we let ψ (j) denote the polygamma functions (e.g., []), and we note the relation for integers n > ψ (n) (x) = ( ) n+ n!ζ(n+,x). (.9) Therefore, as to be expected, (.2) could equally well be written as an integral over ψ (n+) (xu+). The polygamma functions possess the functional equation ψ (j) (x+) = ψ (j) (x)+( ) j j! xj+. (.) 4
5 For a very recent development of single- and double-integral and series representations for the Gamma, digamma, and polygamma functions, [6] may be consulted. Proof of Propositions Proposition. We provide two alternative proofs of this result. The result holds for n =, and for the first proof we proceed by induction. For the inductive step we have (n+2) (x) = d dx (n+) (x) = ( ) n (n+)! u n+ d dx ζ(n+2,xu+)du = ( ) n+ (n+2)! u n+2 ζ(n+3,xu+)du. (2.) In the last step, we used a ζ(s,a) = sζ(s+,a). We remark that this first method shows that (.2) may be evaluated by repeated integration by parts, for we have ( ) (n+)! u n+ ζ(n+2,xu+)du = ( )n n u n+ ζ(2,xu+)du. (2.2) x n u Second method. By the product rule we have (n+) (x) = = n+ j= n+ j= ( ) n+ j ( ) n [lnγ(x+)] (n j)( )j j! j x j+ ψ (n j) (x+) ( )j j! x j+. (2.3) Here, it is understood that ψ ( ) (x) = lnγ(x). We now apply (.9) and the integral representation (n j)!ζ(n j +,x+) = t n j e xt dt, (2.4) e t 5
6 so that n+ (n+) (x) = ( ) n+ j! t n j e xt x j+ e t dt = ( )n+ x n+2 j= e xt (e t ) [ext Γ(n+2,xt) (n+)!] dt t, (2.5) where the incomplete Gamma function Γ(x, y) has the property [9] (p. 94) Now we use a Laplace transform, u n+ e xut du = Γ(n+,x) = n!e x n m= x m m!. (2.6) (xt) n+2[(n+)! Γ(n+2,xt)], (2.7) to write (n+) (x) = ( ) n e xt (e t ) tn+ u n+ e xtu dudt = ( ) n u n+ t n+ e t e xut dtdu = ( ) n u n+ ζ(n+2,xu+)du. (2.8) By absolute convergence and the Tonelli-Hobson theorem, the interchange of integrations is justified. In the last step, we applied the representation (2.4). Corollary. This is proved by integrating by parts in (.2). Remark. It is possible to find explicit expressions for the values (n+) (j + /2) with half-integer argument. This is due to the functional equation (.) along with the values ψ ( ) (/2) = ln π, ψ(/2) = γ 2ln2, and [] (p. 26) ( ) ψ (n) = ( ) n+ n!(2 n+ )ζ(n+), n. (2.9) 2 6
7 We then obtain, for instance, by using (2.3) ( (n+) 2 (n+)! ) = n j= ( ) n j (n j +) (2n+2 2 j+ )ζ(n j+)+2 n+ (γ+2ln2) 2 n+2 ln π. (2.) Similarly, it is possible to find explicit expressions for the values (n+) (j+/4) and (n+) (j +3/4) by using the corresponding values of ψ (k) []. Proposition 2. We use two Lemmas. Lemma. When the integrals involved are convergent, we have for integrable functions f and g f({x})g(x)dx = f(y) g(y+l)dy. (2.) l= Lemma 2. For b >, λ >, and c we have for integrable functions f ({ x dx f b}) (x+c) = f(y)ζ(λ,y+c/b)dy. (2.2) λ b λ This holds when the integrals are convergent. Proof. For Lemma we have For Lemma 2 we first have l+ f({x})g(x)dx = f({x})g(x)dx l= l l+ = f(x l)g(x)dx = f(y)g(y+l)dy. (2.3) l= l l= f ({ x g(x)dx = b f({v})g(bv)dv b}) 7
8 = b = b l+ l= l l= We now put g(x) = /(x+c) λ, so that f(v l)g(bv)dv f(y)g[b(y+l)]dy. (2.4) g[b(y +l)] = l= b λ l= (y +l+c/b) = λ bλζ(λ,y+c/b). (2.5) Proof of Proposition 2. We have for integers k u n+ ζ(n+2,ku+)du = k v n+ ζ(n+2,v+)dv k n+2 = k n+2 = k n+2 k l= k l= l+ l v n+ ζ(n+2,v+)dv (w +l) n+ ζ(n+2,w+l+)dv. (2.6) We now apply Lemma 2 with b =, c = l+, and f(w) = (w+l) n+, giving u n+ ζ(n+2,ku+)du = k n+2 = [ {w} n+ k k n+2 w dw+ n+2 l= k l= In the last step we used the periodicity {w } = {w}. Then For Corollary 2, we apply Lemma 2 of [6]. Proposition 3. We start from the integral representation ({x}+l) n+ (x+l+) n+2dx ({x}+l) n+ ] (x+l+) n+2dx. (2.7) ζ(s,a) = a s 2 + a s s s P (x) (x+a) s+dx, Re s >. (2.8) u n+ ζ(n+2,xu+)du = [ u n+ 8 2(xu+) + n+2 (n+)(xu+) n+
9 ] P (t)dt (n+2) du. (2.9) (t+xu+) n+3 By using a standard integral representation of 2 F (e.g., [9], p. 4 or [3] p. 65) we have u n+ ζ(n+2,xu+)du = + (n+)(n+2) 2 F (n+,n+2;n+3; x) 2(n+2) 2 F (n+2,n+2;n+3; x) P (t) (t+)(t+x+) n+2dt. (2.2) By applying a standard transformation rule [9] (p. 43) to the 2 F functions, we obtain the Proposition. Corollary 3. We give the detailed asymptotic forms as x of the hypergeometric functions in (.6). We easily have that 2 F (,n+;n+3;) = n+2 and these forms will then show that the corresponding term in (.6) gives the leading term as x. We let (a) j = Γ(a + j)/γ(a) be the Pochhammer symbol. The following expansions are valid for z < and arg( z) < π: and 2F (,y;+y;z) = y k= 2F (,y;2+y;z) = y+ y(y+) (y) k [ψ(k +) ψ(k +y) ln( z)]( z) k, (2.2a) k! k= (y +) k [ψ(k+) ψ(k+y+) ln( z)]( z) k+, k! (2.2b) where (y) =. These expansions are the n = and n = cases of (9.7.5) in [2] (p. 257), respectively. We put y = n+, z = x/(x+), ln( z) = ln(x+) and then 9
10 find 2F (,n+;n+3; and 2F (,n+2;n+3; ) x = n+2+(n+)(n+2)[γ lnx+ψ(n+2)] ( ) lnx x+ x +O, x 2 (2.22a) ) x = (n+2)[γ lnx+ψ(n+2)]+o x+ ( ) lnx. (2.22b) x The integral term in (.6) is at most O[(x+) (n+2) ], and is actually much smaller due to cancellation within the integrand, and the Corollary then follows. Remarks. Ofcoursewehavefrom(.2) (n+) () = ( ) n (n+)!ζ(n+2)/(n+2), in agreement with the expansion (2.26). This special case is recovered from Proposition 3 in the following way. We have 2 F (a,b;c;) = and the representation [6] (p. 4) ζ(s) = s + 2 s P (x) dx, (2.23) xs+ the a = case of (2.8), giving the identity un+ ζ(n+2,)du = ζ(n+2)/(n+2). In connection with Propositions 2 and 3, another representation that might be employed is [7] lnγ(x+) = ( x+ ) lnx x+ 2 2 ln2π P (t) dt. (2.24) t+x We may note that representations (2.9) or (2.2), for instance, provide another basis for proving integral representations for ( ) n (n+) (x) by induction. When using (2.2), we use the derivative property d dx 2 F (a,b;c; x) = ab c 2 F (a+,b+;c+; x). (2.25)
11 The 2 F function in (.6) can be written in other ways, including using a transformation formula [9] (p. 43), so that 2F (,n+2;n+3; ) x = (x+) 2 F (,2;n+3; x). (2.26) x+ Proposition 4. The result uses the expansion [9] (p. 939) ( ) k lnγ(x+) = γx+ ζ(k)x k. (2.27) k=2 k Remark. Let Ei(x) be the exponential integral function (e.g., [9], p. 925). Given the relations [9] (pp. 927, 942) it is possible to write Γ(,x) = Ei( x) = (x)dx = γ ( γ +lnx+ k= ( x) k ), (2.28) kk! [γ t+γ(,t)+lnt] dt. (2.29) t(e t ) This follows by inserting a standard integral representation for the values ζ(k) into the right side of (.8a). Acknowledgement I thank J. A. Adell for reading the manuscript.
12 Appendix Here we present illustrative relations for the sort of hypergeometric functions appearing in (.6) and (2.2). The contiguous relations [9] (pp ) may be readily applied. As well, we have for instance [9] (p. 43) 2F (n+2,n+2;n+3; x) = (+x) (n+) 2F (,;n+3; x). (A.) The next result provides a type of recurrence relation in the first parameter of the 2F function. Proposition A. For integers n we have = u n+ (xu+) n+2du = (n+2) 2 F (n+2,n+2;n+3; x) [ ] (n+) (x+) n+ (n+2) 2 F (n+,n+2;n+3; x) Proof. With v = xu in (A.2), we have = [ x x n+2 x v n+ x n+2 (v+) n+2dv = x v n+ [(v +) v] x n+2 (v +) n+2dv = [ x x n+2 v n+ (n+2) x (v +) n+dv (n+) v n+ x (v +) n+dv v n+2 ] (v+) n+2dv v n+ (v +) n+dv+ x n+2 (n+)(x+) n+. (A.2) ], (A.3) where we integrated by parts. Using a standard integral representation for 2 F [9] (p. 4) leads to the Proposition. 2
13 Proposition A may be iterated in the first parameter of the 2 F function. Then the following relation may be applied: u n+ (xu+) 2du = ( ) n+ +x n+2 2F (,n+2;n+3; x). (A.4) The 2 F functions of concern here may be written with one or more terms containing ln(x+). One way to see this is the following. We have for the function of (A.4), first integrating by parts, = x u n+ [ (xu+) 2du = u n (n+) x xu+ du+ ] x+ = x = x { (n+) x n+ [ (n+) [ (n+) x n+ [ x n+ x x ln(x+) v n v + dv+ ] x+ [ ( v n )] dv + v + x+ ] x ( v n ) v + dv ] + x+ }. (A.5) For x we may note the following simple inequality for the integral of (A.5): x ( v n ) x v + dv ( v n )dv x. (A.6) 3
14 References [] M. Abramowitz and I. A. Stegun, Handbook of Mathematical Functions, Washington, National Bureau of Standards (964). [2] J. A. Adell and H. Alzer, A monotonicity property of Euler s gamma function, Publ. Math. Debrecen (2). [3] G. E. Andrews, R. Askey, and R. Roy, Special Functions, Cambridge University Press (999). [4] C. Berg and H. L. Pedersen, Pick functions related to the gamma function, Rocky Mtn J. Math. 32, (22). [5] S. Bochner, Harmonic analysis and the theory of probability, Univ. California Press (955). [6] M. W. Coffey, Integral and series representations of the digamma and polygamma functions, arxiv:8.4v2 (2). [7] H. M. Edwards, Riemann s Zeta Function, Academic Press, New York (974). [8] P. J. Grabner, R. F. Tichy, and U. T. Zimmerman, Inequalities for the gamma function with applications to permanents, Discrete Math. 54, (996). [9] I. S. Gradshteyn and I. M. Ryzhik, Table of Integrals, Series, and Products, Academic Press, New York (98). 4
15 [] A. Ivić, The Riemann Zeta-Function, Wiley New York (985). [] K. S. Kölbig, The polygamma function ψ (k) (x) for x = and x = 3, J. Comput. 4 4 Appl. Math. 75, (996). [2] N. N. Lebedev, Special functions and their applications, Dover Publications (972). [3] F. Qi and C.-P. Chen, A complete monotonicity property of the gamma function, J. Math. Analysis Appl. 296, (24). [4] F. Qi and B.-N. Guo, Some logarithmically completely monotonic functions related to the gamma function, 47, (2). [5] B. Riemann, Über die Anzahl der Primzahlen unter einer gegebenen Grösse, Monats. Preuss. Akad. Wiss., 67 (859-86). [6] E. C. Titchmarsh, The Theory of the Riemann Zeta-Function, 2nd ed., Oxford University Press, Oxford (986). [7] H. Vogt and J. Voigt, A monotonicity property of the Γ-function, J. Inequal. Pure Appl. Math. 3, Art. 73 (22). 5
INEQUALITIES FOR THE GAMMA FUNCTION
INEQUALITIES FOR THE GAMMA FUNCTION Received: 16 October, 26 Accepted: 9 February, 27 Communicated by: XIN LI AND CHAO-PING CHEN College of Mathematics and Informatics, Henan Polytechnic University, Jiaozuo
More informationThe Generating Functions for Pochhammer
The Generating Functions for Pochhammer Symbol { }, n N Aleksandar Petoević University of Novi Sad Teacher Training Faculty, Department of Mathematics Podgorička 4, 25000 Sombor SERBIA and MONTENEGRO Email
More informationOn the coefficients of the Báez-Duarte criterion for the Riemann hypothesis and their extensions arxiv:math-ph/ v2 7 Sep 2006
On the coefficients of the Báez-Duarte criterion for the Riemann hypothesis and their extensions arxiv:math-ph/0608050v2 7 Sep 2006 Mark W. Coffey Department of Physics Colorado School of Mines Golden,
More informationDefining Incomplete Gamma Type Function with Negative Arguments and Polygamma functions ψ (n) ( m)
1 Defining Incomplete Gamma Type Function with Negative Arguments and Polygamma functions ψ (n) (m) arxiv:147.349v1 [math.ca] 27 Jun 214 Emin Özc. ağ and İnci Ege Abstract. In this paper the incomplete
More informationFRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS
FRACTIONAL HYPERGEOMETRIC ZETA FUNCTIONS HUNDUMA LEGESSE GELETA, ABDULKADIR HASSEN Both authors would like to dedicate this in fond memory of Marvin Knopp. Knop was the most humble and exemplary teacher
More informationCOMPLETE MONOTONICITIES OF FUNCTIONS INVOLVING THE GAMMA AND DIGAMMA FUNCTIONS. 1. Introduction
COMPLETE MONOTONICITIES OF FUNCTIONS INVOLVING THE GAMMA AND DIGAMMA FUNCTIONS FENG QI AND BAI-NI GUO Abstract. In the article, the completely monotonic results of the functions [Γ( + 1)] 1/, [Γ(+α+1)]1/(+α),
More informationSOME INEQUALITIES FOR THE q-digamma FUNCTION
Volume 10 (009), Issue 1, Article 1, 8 pp SOME INEQUALITIES FOR THE -DIGAMMA FUNCTION TOUFIK MANSOUR AND ARMEND SH SHABANI DEPARTMENT OF MATHEMATICS UNIVERSITY OF HAIFA 31905 HAIFA, ISRAEL toufik@mathhaifaacil
More informationSharp inequalities and complete monotonicity for the Wallis ratio
Sharp inequalities and complete monotonicity for the Wallis ratio Cristinel Mortici Abstract The aim of this paper is to prove the complete monotonicity of a class of functions arising from Kazarinoff
More informationEXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS. M. Aslam Chaudhry. Received May 18, 2007
Scientiae Mathematicae Japonicae Online, e-2009, 05 05 EXTENDED RECIPROCAL ZETA FUNCTION AND AN ALTERNATE FORMULATION OF THE RIEMANN HYPOTHESIS M. Aslam Chaudhry Received May 8, 2007 Abstract. We define
More informationOn a series of Ramanujan
On a series of Ramanujan Olivier Oloa To cite this version: Olivier Oloa. On a series of Ramanujan. Gems in Experimental Mathematics, pp.35-3,, . HAL Id: hal-55866 https://hal.archives-ouvertes.fr/hal-55866
More informationA Note about the Pochhammer Symbol
Mathematica Moravica Vol. 12-1 (2008), 37 42 A Note about the Pochhammer Symbol Aleksandar Petoević Abstract. In this paper we give elementary proofs of the generating functions for the Pochhammer symbol
More informationarxiv: v1 [math.ca] 17 Feb 2017
GENERALIZED STIELTJES CONSTANTS AND INTEGRALS INVOLVING THE LOG-LOG FUNCTION: KUMMER S THEOREM IN ACTION OMRAN KOUBA arxiv:7549v [mathca] 7 Feb 7 Abstract In this note, we recall Kummer s Fourier series
More informationSharp inequalities and asymptotic expansion associated with the Wallis sequence
Deng et al. Journal of Inequalities and Applications 0 0:86 DOI 0.86/s3660-0-0699-z R E S E A R C H Open Access Sharp inequalities and asymptotic expansion associated with the Wallis sequence Ji-En Deng,
More informationOn the stirling expansion into negative powers of a triangular number
MATHEMATICAL COMMUNICATIONS 359 Math. Commun., Vol. 5, No. 2, pp. 359-364 200) On the stirling expansion into negative powers of a triangular number Cristinel Mortici, Department of Mathematics, Valahia
More informationComplete monotonicity of a function involving the p-psi function and alternative proofs
Global Journal of Mathematical Analysis, 2 (3) (24) 24-28 c Science Publishing Corporation www.sciencepubco.com/index.php/gjma doi:.449/gjma.v2i3.396 Research Paper Complete monotonicity of a function
More informationA COMPLETELY MONOTONIC FUNCTION INVOLVING THE TRI- AND TETRA-GAMMA FUNCTIONS
ao DOI:.2478/s275-3-9-2 Math. Slovaca 63 (23), No. 3, 469 478 A COMPLETELY MONOTONIC FUNCTION INVOLVING THE TRI- AND TETRA-GAMMA FUNCTIONS Bai-Ni Guo* Jiao-Lian Zhao** Feng Qi* (Communicated by Ján Borsík
More informationQuadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers
Quadratic Transformations of Hypergeometric Function and Series with Harmonic Numbers Martin Nicholson In this brief note, we show how to apply Kummer s and other quadratic transformation formulas for
More informationarxiv: v3 [math.nt] 8 Jan 2019
HAMILTONIANS FOR THE ZEROS OF A GENERAL FAMILY OF ZETA FUNTIONS SU HU AND MIN-SOO KIM arxiv:8.662v3 [math.nt] 8 Jan 29 Abstract. Towards the Hilbert-Pólya conjecture, in this paper, we present a general
More informationThe Riemann and Hurwitz zeta functions, Apery s constant and new rational series representations involving ζ(2k)
The Riemann and Hurwitz zeta functions, Apery s constant and new rational series representations involving ζ(k) Cezar Lupu 1 1 Department of Mathematics University of Pittsburgh Pittsburgh, PA, USA Algebra,
More informationThe Continuing Story of Zeta
The Continuing Story of Zeta Graham Everest, Christian Röttger and Tom Ward November 3, 2006. EULER S GHOST. We can only guess at the number of careers in mathematics which have been launched by the sheer
More informationRiemann s explicit formula
Garrett 09-09-20 Continuing to review the simple case (haha!) of number theor over Z: Another example of the possibl-suprising application of othe things to number theor. Riemann s explicit formula More
More informationMathematics 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More informationSharp Bounds for the Harmonic Numbers
Sharp Bounds for the Harmonic Numbers arxiv:math/050585v3 [math.ca] 5 Nov 005 Mark B. Villarino Depto. de Matemática, Universidad de Costa Rica, 060 San José, Costa Rica March, 08 Abstract We obtain best
More informationA FEW REMARKS ON THE SUPREMUM OF STABLE PROCESSES P. PATIE
A FEW REMARKS ON THE SUPREMUM OF STABLE PROCESSES P. PATIE Abstract. In [1], Bernyk et al. offer a power series and an integral representation for the density of S 1, the maximum up to time 1, of a regular
More informationRiemann s ζ-function
Int. J. Contemp. Math. Sciences, Vol. 4, 9, no. 9, 45-44 Riemann s ζ-function R. A. Mollin Department of Mathematics and Statistics University of Calgary, Calgary, Alberta, Canada, TN N4 URL: http://www.math.ucalgary.ca/
More informationMath 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationSOME MONOTONICITY PROPERTIES AND INEQUALITIES FOR
Kragujevac Journal of Mathematic Volume 4 08 Page 87 97. SOME MONOTONICITY PROPERTIES AND INEQUALITIES FOR THE p k-gamma FUNCTION KWARA NANTOMAH FATON MEROVCI AND SULEMAN NASIRU 3 Abtract. In thi paper
More informationMOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS
MOMENTS OF HYPERGEOMETRIC HURWITZ ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a generalization the classical Hurwitz zeta function. It is shown that many of the properties
More informationResearch Article Some Monotonicity Properties of Gamma and q-gamma Functions
International Scholarly Research Network ISRN Mathematical Analysis Volume 11, Article ID 375715, 15 pages doi:1.54/11/375715 Research Article Some Monotonicity Properties of Gamma and q-gamma Functions
More informationEvaluation of the non-elementary integral e
Noname manuscript No. will be inserted by the editor Evaluation of the non-elementary integral e λx dx,, and related integrals Victor Nijimbere Received: date / Accepted: date Abstract A formula for the
More informationSJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Gamma function related to Pic functions av Saad Abed 25 - No 4 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET, 6 9
More informationarxiv: v2 [math.nt] 28 Feb 2010
arxiv:002.47v2 [math.nt] 28 Feb 200 Two arguments that the nontrivial zeros of the Riemann zeta function are irrational Marek Wolf e-mail:mwolf@ift.uni.wroc.pl Abstract We have used the first 2600 nontrivial
More informationARGUMENT INVERSION FOR MODIFIED THETA FUNCTIONS. Introduction
ARGUMENT INVERION FOR MODIFIED THETA FUNCTION MAURICE CRAIG The standard theta function has the inversion property Introduction θ(x) = exp( πxn 2 ), (n Z, Re(x) > ) θ(1/x) = θ(x) x. This formula is proved
More informationarxiv: v2 [math.ca] 12 Sep 2013
COMPLETE MONOTONICITY OF FUNCTIONS INVOLVING THE q-trigamma AND q-tetragamma FUNCTIONS arxiv:1301.0155v math.ca 1 Sep 013 FENG QI Abstract. Let ψ qx) for q > 0 stand for the q-digamma function. In the
More informationarxiv: v6 [math.nt] 12 Sep 2017
Counterexamples to the conjectured transcendence of /α) k, its closed-form summation and extensions to polygamma functions and zeta series arxiv:09.44v6 [math.nt] Sep 07 F. M. S. Lima Institute of Physics,
More informationAnalytic Aspects of the Riemann Zeta and Multiple Zeta Values
Analytic Aspects of the Riemann Zeta and Multiple Zeta Values Cezar Lupu Department of Mathematics University of Pittsburgh Pittsburgh, PA, USA PhD Thesis Overview, October 26th, 207, Pittsburgh, PA Outline
More informationSUB- AND SUPERADDITIVE PROPERTIES OF EULER S GAMMA FUNCTION
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 11, November 27, Pages 3641 3648 S 2-9939(7)957- Article electronically published on August 6, 27 SUB- AND SUPERADDITIVE PROPERTIES OF
More informationPseudo-Boolean Functions, Lovász Extensions, and Beta Distributions
Pseudo-Boolean Functions, Lovász Extensions, and Beta Distributions Guoli Ding R. F. Lax Department of Mathematics, LSU, Baton Rouge, LA 783 Abstract Let f : {,1} n R be a pseudo-boolean function and let
More informationA Simple Counterexample to Havil s Reformulation of the Riemann Hypothesis
A Simple Counterexample to Havil s Reformulation of the Riemann Hypothesis Jonathan Sondow 209 West 97th Street New York, NY 0025 jsondow@alumni.princeton.edu The Riemann Hypothesis (RH) is the greatest
More informationREFINEMENTS AND SHARPENINGS OF SOME DOUBLE INEQUALITIES FOR BOUNDING THE GAMMA FUNCTION
REFINEMENTS AND SHARPENINGS OF SOME DOUBLE INEQUALITIES FOR BOUNDING THE GAMMA FUNCTION BAI-NI GUO YING-JIE ZHANG School of Mathematics and Informatics Department of Mathematics Henan Polytechnic University
More information1. Introduction Interest in this project began with curiosity about the Laplace transform of the Digamma function, e as ψ(s + 1)ds,
ON THE LAPLACE TRANSFORM OF THE PSI FUNCTION M. LAWRENCE GLASSER AND DANTE MANNA Abstract. Guided by numerical experimentation, we have been able to prove that Z 8 / x x + ln dx = γ + ln) [cosx)] and to
More informationHorst Alzer A MEAN VALUE INEQUALITY FOR THE DIGAMMA FUNCTION
Rendiconti Sem. Mat. Univ. Pol. Torino Vol. 75, 2 (207), 9 25 Horst Alzer A MEAN VALUE INEQUALITY FOR THE DIGAMMA FUNCTION Abstract. A recently published result states that for all ψ is greater than or
More informationOn Some Mean Value Results for the Zeta-Function and a Divisor Problem
Filomat 3:8 (26), 235 2327 DOI.2298/FIL6835I Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat On Some Mean Value Results for the
More informationA PROBABILISTIC PROOF OF WALLIS S FORMULA FOR π. ( 1) n 2n + 1. The proof uses the fact that the derivative of arctan x is 1/(1 + x 2 ), so π/4 =
A PROBABILISTIC PROOF OF WALLIS S FORMULA FOR π STEVEN J. MILLER There are many beautiful formulas for π see for example [4]). The purpose of this note is to introduce an alternate derivation of Wallis
More informationHYPERGEOMETRIC ZETA FUNCTIONS. 1 n s. ζ(s) = x s 1
HYPERGEOMETRIC ZETA FUNCTIONS ABDUL HASSEN AND HIEU D. NGUYEN Abstract. This paper investigates a new family of special functions referred to as hypergeometric zeta functions. Derived from the integral
More informationRECENT RESULTS ON STIELTJES CONSTANTS ADDENDUM TO HIGHER DERIVATIVES OF THE HURWITZ ZETA FUNCTION. 1. Introduction
RECENT RESULTS ON STIELTJES CONSTANTS ADDENDUM TO HIGHER DERIVATIVES OF THE HURWITZ ZETA FUNCTION DOMINIC LANPHIER. Introduction Much recent significant wor on the arithmetic and analytic properties of
More informationarxiv: v22 [math.gm] 20 Sep 2018
O RIEMA HYPOTHESIS arxiv:96.464v [math.gm] Sep 8 RUIMIG ZHAG Abstract. In this work we present a proof to the celebrated Riemann hypothesis. In it we first apply the Plancherel theorem properties of the
More informationAssignment 4. u n+1 n(n + 1) i(i + 1) = n n (n + 1)(n + 2) n(n + 2) + 1 = (n + 1)(n + 2) 2 n + 1. u n (n + 1)(n + 2) n(n + 1) = n
Assignment 4 Arfken 5..2 We have the sum Note that the first 4 partial sums are n n(n + ) s 2, s 2 2 3, s 3 3 4, s 4 4 5 so we guess that s n n/(n + ). Proving this by induction, we see it is true for
More informationTHE RIEMANN HYPOTHESIS: IS TRUE!!
THE RIEMANN HYPOTHESIS: IS TRUE!! Ayman MACHHIDAN Morocco Ayman.mach@gmail.com Abstract : The Riemann s zeta function is defined by = for complex value s, this formula have sense only for >. This function
More informationExplicit formulas for computing Bernoulli numbers of the second kind and Stirling numbers of the first kind
Filomat 28:2 (24), 39 327 DOI.2298/FIL4239O Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Explicit formulas for computing Bernoulli
More informationSums of Products of Bernoulli Numbers*
journal of number theory 60, 234 (996) article no. 00 Sums of Products of Bernoulli Numbers* Karl Dilcher Department of Mathematics, Statistics, and Computing Science, Dalhousie University, Halifax, Nova
More informationThe Hardy-Littlewood Function: An Exercise in Slowly Convergent Series
The Hardy-Littlewood Function: An Exercise in Slowly Convergent Series Walter Gautschi Department of Computer Sciences Purdue University West Lafayette, IN 4797-66 U.S.A. Dedicated to Olav Njåstad on the
More informationInvestigating Geometric and Exponential Polynomials with Euler-Seidel Matrices
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 14 (2011), Article 11.4.6 Investigating Geometric and Exponential Polynomials with Euler-Seidel Matrices Ayhan Dil and Veli Kurt Department of Mathematics
More information6.3 Exponential Integrals. Chi-Square Probability Function
6.3 Exponential Integrals 5 Chi-Square Probability Function P (χ ν is defined as the probability that the observed chi-square for a correct model should be less than a value χ. (We will discuss the use
More informationarxiv: v11 [math.gm] 30 Oct 2018
Noname manuscript No. will be inserted by the editor) Proof of the Riemann Hypothesis Jinzhu Han arxiv:76.99v [math.gm] 3 Oct 8 Received: date / Accepted: date Abstract In this article, we get two methods
More informationSome Results Based on Generalized Mittag-Leffler Function
Int. Journal of Math. Analysis, Vol. 6, 2012, no. 11, 503-508 Some Results Based on Generalized Mittag-Leffler Function Pratik V. Shah Department of Mathematics C. K. Pithawalla College of Engineering
More informationThe Asymptotic Expansion of a Generalised Mathieu Series
Applied Mathematical Sciences, Vol. 7, 013, no. 15, 609-616 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.1988/ams.013.3949 The Asymptotic Expansion of a Generalised Mathieu Series R. B. Paris School
More informationThe Cycle Problem: An Intriguing Periodicity to the Zeros of the Riemann Zeta Function
The Cycle Problem: An Intriguing Periodicity to the Zeros of the Riemann Zeta Function David D. Baugh dbaugh@rice.edu ABSTRACT. Summing the values of the real portion of the logarithmic integral of n ρ,
More informationApproximating the Conway-Maxwell-Poisson normalizing constant
Filomat 30:4 016, 953 960 DOI 10.98/FIL1604953S Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Approximating the Conway-Maxwell-Poisson
More informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationarxiv: v1 [math.gm] 1 Jun 2018
arxiv:806.048v [math.gm] Jun 08 On Studying the Phase Behavior of the Riemann Zeta Function Along the Critical Line Henrik Stenlund June st, 08 Abstract The critical line of the Riemann zeta function is
More informationTransformation formulas for the generalized hypergeometric function with integral parameter differences
Transformation formulas for the generalized hypergeometric function with integral parameter differences A. R. Miller Formerly Professor of Mathematics at George Washington University, 66 8th Street NW,
More informationConditions for convexity of a derivative and some applications to the Gamma function
Aequationes Math. 55 (1998) 73 80 0001-9054/98/03073-8 $ 1.50+0.0/0 c Birkhäuser Verlag, Basel, 1998 Aequationes Mathematicae Conditions for conveity of a derivative and some applications to the Gamma
More informationRiemann s Zeta Function and the Prime Number Theorem
Riemann s Zeta Function and the Prime Number Theorem Dan Nichols nichols@math.umass.edu University of Massachusetts Dec. 7, 2016 Let s begin with the Basel problem, first posed in 1644 by Mengoli. Find
More informationTHE LAPLACE TRANSFORM OF THE FOURTH MOMENT OF THE ZETA-FUNCTION. Aleksandar Ivić
THE LAPLACE TRANSFORM OF THE FOURTH MOMENT OF THE ZETA-FUNCTION Aleksandar Ivić Univ. Beograd. Publ. Elektrotehn. Fak. Ser. Mat. (2), 4 48. Abstract. The Laplace transform of ζ( 2 +ix) 4 is investigated,
More informationarxiv: v1 [math.ca] 4 Apr 2016
The Fourier series of the log-barnes function István Mező Department of Mathematics, Nanjing University of Information Science and Technology, No.29 Ningliu Rd, Pukou, Nanjing, Jiangsu, P. R. China arxiv:64.753v
More informationSome integrals of the Dedekind η-function
Some integrals of the Dedekind η-function arxiv:9.768v [math.nt] 22 Jan 29 Mark W. Coffey Department of Physics Colorado School of Mines Golden, CO 84 mcoffey@mines.edu Department of Mathematics University
More informationENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS. Special Functions GEORGE E. ANDREWS RICHARD ASKEY RANJAN ROY CAMBRIDGE UNIVERSITY PRESS
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS Special Functions GEORGE E. ANDREWS RICHARD ASKEY RANJAN ROY CAMBRIDGE UNIVERSITY PRESS Preface page xiii 1 The Gamma and Beta Functions 1 1.1 The Gamma
More informationRiemann Zeta Function and Prime Number Distribution
Riemann Zeta Function and Prime Number Distribution Mingrui Xu June 2, 24 Contents Introduction 2 2 Definition of zeta function and Functional Equation 2 2. Definition and Euler Product....................
More informationarxiv: v1 [math.ca] 25 Jan 2011
AN INEQUALITY INVOLVING THE GAMMA AND DIGAMMA FUNCTIONS arxiv:04698v mathca] 25 Jan 20 FENG QI AND BAI-NI GUO Abstract In the paper, we establish an inequality involving the gamma and digamma functions
More informationEvidence for the Riemann Hypothesis
Evidence for the Riemann Hypothesis Léo Agélas September 0, 014 Abstract Riemann Hypothesis (that all non-trivial zeros of the zeta function have real part one-half) is arguably the most important unsolved
More informationAsymptotics of a Gauss hypergeometric function with large parameters, IV: A uniform expansion arxiv: v1 [math.
Asymptotics of a Gauss hypergeometric function with large parameters, IV: A uniform expansion arxiv:1809.08794v1 [math.ca] 24 Sep 2018 R. B. Paris Division of Computing and Mathematics, Abertay University,
More informationarxiv: v2 [math.nt] 19 Apr 2017
Evaluation of Log-tangent Integrals by series involving ζn + BY Lahoucine Elaissaoui And Zine El Abidine Guennoun arxiv:6.74v [math.nt] 9 Apr 7 Mohammed V University in Rabat Faculty of Sciences Department
More informationComputing the Principal Branch of log-gamma
Computing the Principal Branch of log-gamma by D.E.G. Hare Symbolic Computation Group Department of Computer Science University of Waterloo Waterloo, Canada Revised: August 11, 1994 Abstract The log-gamma
More informationLatter research on Euler-Mascheroni constant. 313, Bucharest, Romania, Târgovişte, Romania,
Latter research on Euler-Mascheroni constant Valentin Gabriel Cristea and Cristinel Mortici arxiv:3.4397v [math.ca] 6 Dec 03 Ph. D. Student, University Politehnica of Bucharest, Splaiul Independenţei 33,
More informationEvaluating ζ(2m) via Telescoping Sums.
/25 Evaluating ζ(2m) via Telescoping Sums. Brian Sittinger CSU Channel Islands February 205 2/25 Outline 2 3 4 5 3/25 Basel Problem Find the exact value of n= n 2 = 2 + 2 2 + 3 2 +. 3/25 Basel Problem
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationThe integrals in Gradshteyn and Ryzhik. Part 10: The digamma function
SCIENTIA Series A: Mathematical Sciences, Vol 7 29, 45 66 Universidad Técnica Federico Santa María Valparaíso, Chile ISSN 76-8446 c Universidad Técnica Federico Santa María 29 The integrals in Gradshteyn
More informationThe Riemann Hypothesis
The Riemann Hypothesis Matilde N. Laĺın GAME Seminar, Special Series, History of Mathematics University of Alberta mlalin@math.ualberta.ca http://www.math.ualberta.ca/~mlalin March 5, 2008 Matilde N. Laĺın
More informationPolyexponentials. Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH
Polyexponentials Khristo N. Boyadzhiev Ohio Northern University Departnment of Mathematics Ada, OH 45810 k-boyadzhiev@onu.edu 1. Introduction. The polylogarithmic function [15] (1.1) and the more general
More informationDIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume, Number, Pages S -9939(XX)- DIFFERENTIAL CRITERIA FOR POSITIVE DEFINITENESS J. A. PALMER Abstract. We show how the Mellin transform can be used to
More informationarxiv:math/ v1 [math.ca] 8 Aug 2003
arxiv:math/886v [math.ca] 8 Aug CONTRIBUTIONS TO THE THEORY OF THE BARNES FUNCTION V. S. ADAMCHIK Abstract. This paper presents a family of new integral representations and asymptotic series of the multiple
More informationA Proof of the Riemann Hypothesis using Rouché s Theorem and an Infinite Subdivision of the Critical Strip.
A Proof of the Riemann Hypothesis using Rouché s Theorem an Infinite Subdivision of the Critical Strip. Frederick R. Allen ABSTRACT. Rouché s Theorem is applied to the critical strip to show that the only
More informationAN ASYMPTOTIC FORM FOR THE STIELTJES CONSTANTS γ k (a) AND FOR A SUM S γ (n) APPEARING UNDER THE LI CRITERION
MATHEMATICS OF COMPUTATION Volume 8, Number 76, October, Pages 97 7 S 5-578(97-X Article electronically published on May, AN ASYMPTOTIC FORM FOR THE STIELTJES CONSTANTS γ k (a AND FOR A SUM S γ (n APPEARING
More informationIn this chapter we study several functions that are useful in calculus and other areas of mathematics.
Calculus 5 7 Special functions In this chapter we study several functions that are useful in calculus and other areas of mathematics. 7. Hyperbolic trigonometric functions The functions we study in this
More information1. Prove the following properties satisfied by the gamma function: 4 n n!
Math 205A: Complex Analysis, Winter 208 Homework Problem Set #6 February 20, 208. Prove the following properties satisfied by the gamma function: (a) Values at half-integers: Γ ( n + 2 (b) The duplication
More informationHYPERGEOMETRIC BERNOULLI POLYNOMIALS AND APPELL SEQUENCES
HYPERGEOMETRIC BERNOULLI POLYNOMIALS AND APPELL SEQUENCES ABDUL HASSEN AND HIEU D. NGUYEN Abstract. There are two analytic approaches to Bernoulli polynomials B n(x): either by way of the generating function
More informationHigher monotonicity properties of q gamma and q-psi functions
Advances in Dynamical Systems and Applications ISSN 973-5321, Volume x, Number x, pp. 1 13 (2xx) http://campus.mst.edu/adsa Higher monotonicity properties of q gamma and q-psi functions Mourad E. H. Ismail
More informationIntegral representations for the Dirichlet L-functions and their expansions in Meixner-Pollaczek polynomials and rising factorials
Integral representations for the Dirichlet L-functions and their expansions in Meixner-Pollaczek polynomials and rising factorials A. Kuznetsov Dept. of Mathematical Sciences University of New Brunswick
More informationToward verification of the Riemann hypothesis: Application of the Li criterion
arxiv:math-ph/050505v 9 May 005 Toward verification of the Riemann hypothesis: Application of the Li criterion Mark W. Coffey Department of Physics Colorado School of Mines Golden, CO 8040 (Received 004)
More informationBusiness and Life Calculus
Business and Life Calculus George Voutsadakis Mathematics and Computer Science Lake Superior State University LSSU Math 2 George Voutsadakis (LSSU) Calculus For Business and Life Sciences Fall 203 / 55
More informationHigher Monotonicity Properties of q-gamma and q-psi Functions
Advances in Dynamical Systems and Applications ISSN 973-5321, Volume 8, Number 2, pp. 247 259 (213) http://campus.mst.edu/adsa Higher Monotonicity Properties of q-gamma and q-psi Functions Mourad E. H.
More informationPolyGamma Functions of Negative Order
Carnegie Mellon University Research Showcase @ CMU Computer Science Department School of Computer Science -998 PolyGamma Functions of Negative Order Victor S. Adamchik Carnegie Mellon University Follow
More informationCertain inequalities involving the k-struve function
Nisar et al. Journal of Inequalities and Applications 7) 7:7 DOI.86/s366-7-343- R E S E A R C H Open Access Certain inequalities involving the -Struve function Kottaaran Sooppy Nisar, Saiful Rahman Mondal
More information6.3 Exponential Integrals. Chi-Square Probability Function
6.3 Exponential Integrals 5 Chi-Square Probability Function P (χ ν is defined as the probability that the observed chi-square for a correct model should be less than a value χ. (We will discuss the use
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationSPECIAL FUNCTIONS OF MATHEMATICS FOR ENGINEERS
SPECIAL FUNCTIONS OF MATHEMATICS FOR ENGINEERS Second Edition LARRY C. ANDREWS OXFORD UNIVERSITY PRESS OXFORD TOKYO MELBOURNE SPIE OPTICAL ENGINEERING PRESS A Publication of SPIE The International Society
More informationGENERALIZED STIELTJES CONSTANTS AND INTEGRALS INVOLVING THE LOG LOG FUNCTION: KUMMER S THEOREM IN ACTION OMRAN KOUBA. 1. Introduction and notation
Journal of Classical Analysis Volume 9, Number 16, 79 88 doi:1715/jca-9-9 GENERALIZED STIELTJES CONSTANTS AND INTEGRALS INVOLVING THE LOG LOG FUNCTION: KUMMER S THEOREM IN ACTION OMRAN KOUBA Abstract In
More informationAn Euler-Type Formula for ζ(2k + 1)
An Euler-Type Formula for ζ(k + ) Michael J. Dancs and Tian-Xiao He Department of Mathematics and Computer Science Illinois Wesleyan University Bloomington, IL 670-900, USA Draft, June 30th, 004 Abstract
More informationMath 229: Introduction to Analytic Number Theory Čebyšev (and von Mangoldt and Stirling)
ath 9: Introduction to Analytic Number Theory Čebyšev (and von angoldt and Stirling) Before investigating ζ(s) and L(s, χ) as functions of a complex variable, we give another elementary approach to estimating
More information