A simple proof of monotonicity for remainder of Stirling's formula

Yuling Xue,Songbai Guo

2023-07-17

Abstract:The monotonicity properties of remainder of Stirling's formula for the gamma function are simply obtained by using the integral transforms with series.

Number Theory

What problem does this paper attempt to address?

A Short Proof of Stirling’s Formula

Hongwei Lou

DOI: https://doi.org/10.4169/amer.math.monthly.121.02.154

2013-01-01

Abstract:By changing variables in a suitable way and using dominated convergence methods, this note gives a short proof of Stirling's formula and its refinement.
A Summation Theorem and Its Applications

Wu Junde,Lu Shijie

DOI: https://doi.org/10.1006/jmaa.2000.7260

IF: 1.417

2001-01-01

Journal of Mathematical Analysis and Applications

Abstract:In this paper, we establish a general summation theorem. From it we can improve the famous Hahn–Schur summation theorem and the famous Orlicz–Pettis theorem.
On the Complete Monotonicity of Quotient of Gamma Functions

Yi-Chao Chen,Toufik Mansour,Qian Zou

DOI: https://doi.org/10.7153/mia-15-33

2012-01-01

Mathematical Inequalities & Applications

Abstract:In this paper, we concern with a conjecture involving the ratio of two gamma functions posed by Qi, Guo and Chen [Math. Inequal. Appl. 9(3)(2006), 427-436]. We also generalize a result of Qi [Theorem 2, J. Comput. Appl. Math. 214 (2008), 610-616].
An Elementary Proof of Stirling's Formula

Jakub Smolík

2023-10-08

Abstract:Stirling's formula is a powerful asymptotic approximation of the factorial function. Many well-known proofs of this formula are grounded in integral calculus. In this paper, we present an alternative proof of Stirling's formula using only limits and the Wallis product.

Combinatorics
Complete monotonicity of a function involving the gamma function and applications

Feng Qi

DOI: https://doi.org/10.1007/s10998-014-0056-x

2011-04-22

Abstract:In the article we present necessary and sufficient conditions for a function involving the logarithm of the gamma function to be completely monotonic and apply these results to bound the gamma function $\Gamma(x)$, the $n$-th harmonic number $\sum_{k=1}^n\frac1k$, and the factorial $n!$.

Classical Analysis and ODEs
Two Approximation Formulas for Gamma Function with Monotonic Remainders

Mansour Mahmoud,Hanan Almuashi

DOI: https://doi.org/10.3390/math12050655

IF: 2.4

2024-02-24

Mathematics

Abstract:In this paper, two new approximation formulas with monotonic remainders for the gamma function have been presented. Also, we present some numerical comparisons between our new approximation formulas and some known ones, which demonstrate the superiority of our results.

mathematics
Complete monotonicity for a ratio of finitely many gamma functions

Hai-Sheng Chen,Ye-Cheng Zhu,Jia-Hui Wang

DOI: https://doi.org/10.1515/ms-2024-0027

2024-05-29

Mathematica Slovaca

Abstract:In this paper, we solve the question completely raised by Feng Qi and Dongkyu Lim in paper " Monotonicity properties for a ratio of finite many gamma functions " published in Advances in Difference Equations and get some properties about ratios of finitely many gamma functions such as complete monotonicity, logarithmically complete monotonicity, the Bernstein function property, null point and extreme value.

mathematics
A Class of logarithmically completely monotonic functions relating the $q$-gamma function and applications

Khaled Mehrez

DOI: https://doi.org/10.48550/arXiv.1512.08548

2015-12-28

Classical Analysis and ODEs

Abstract:In this paper, the logarithmically complete monotonicity property for a functions involving $q$-gamma function is investigated for $q\in(0,1).$ As applications of this results, some new inequalities for the $q$-gamma function are established. Furthermore, let the sequence $r_n$ be defined by $$n!=\sqrt{2\pi n}(n/e)^n e^{r_n}.$$ We establish new estimates for Stirling's formula remainder $r_n.$
On the monotonicity of left and right Riemann sums

Ludovick Bouthat

2024-02-16

Abstract:Riemann sums, a classical method for approximating the definite integral of a function, have been extensively studied in the past. However, their monotonic properties, while still of great importance, particularly in approximation theory and interpolation theory, remain somewhat obscure. This paper is dedicated to proving general theorems about the monotonicity of left and right Riemann sums, a problem first raised by Fejér in 1950. We provide a much-needed review of the literature on the problem and offer several new sufficient and necessary conditions for the monotonicity of Riemann sums. Additionally, we present a new insightful proof of a fundamental theorem related to these sums using tools from the theory of majorization. The author also delves deeper into a question posed by Borwein, almost resolving it completely.

Classical Analysis and ODEs
Proofs for a monotonicity result of a function involving the psi and exponential functions

Feng Qi,Bai-Ni Guo

DOI: https://doi.org/10.48550/arXiv.0902.2519

2009-02-15

Classical Analysis and ODEs

Abstract:In the note, two alternative proofs are provided for a monotonicity result that the function $\psi(x)+\ln\bigl(e^{1/x}-1\bigr)$ is strictly increasing on $(0,\infty)$, where $\psi(x)$ is the psi function.
A probabilistic proof of some integral formulas involving incomplete gamma functions

Robert E. Gaunt

2024-05-28

Abstract:The theory of normal variance mixture distributions is used to provide elementary derivations of closed-form expressions for the definite integrals $\int_0^\infty x^{-2\nu}\cos(bx)\gamma(\nu,\alpha x^2)\,\mathrm{d}x$ (for $\nu>1/2$, $b>0$ $\alpha>0$) and $\int_0^\infty x^{2\nu-1}\cos(bx)\Gamma(-\nu,\alpha x^2)\,\mathrm{d}x$ (for $\nu>0$, $b>0$ $\alpha>0$), where $\gamma(a,x)$ and $\Gamma(a,x)$ are the lower and upper incomplete gamma functions, respectively. The method of proof is of independent interest and could be used to derive further new definite integral formulas.

Probability
Unimodality preservation by ratios of functional series and integral transforms

Dmitrii Karp,Anna Vishnyakova,Yi Zhang

2024-08-03

Abstract:Elementary, but very useful lemma due to Biernacki and Krzyż (1955) asserts that the ratio of two power series inherits monotonicity from that of the sequence of ratios of their corresponding coefficients. Over the last two decades it has been realized that, under some additional assumptions, similar claims hold for more general series ratios as well as for unimodality in place of monotonicity. This paper continues this line of research: we consider ratios of general functional series and integral transforms and furnish natural sufficient conditions for preservation of unimodality by such ratios. Numerous series and integral transforms appearing in applications satisfy our sufficient conditions, including Dirichlet, factorial and inverse factorial series, Laplace, Mellin and generalized Stieltjes transforms, among many others. Finally, we illustrate our general results by exhibiting certain statements on monotonicity patterns for ratios of some special functions. The key role in our considerations is played by the notion of sign regularity.

Classical Analysis and ODEs
Decreasing and complete monotonicity of two functions defined by three derivatives of a completely monotonic function involving the trigamma function

Hong-Ping Yin,Ling-Xiong Han,Feng Qi

2024-05-24

Abstract:In the paper, by convolution theorem of the Laplace transforms, a monotonicity rule for the ratio of two Laplace transforms, Bernstein's theorem for completely monotonic functions, and other analytic techniques, the authors verify decreasing property of a ratio between three derivatives of a function involving trigamma function and find necessary and sufficient conditions for a function defined by three derivatives of a function involving trigamma function to be completely monotonic. These results confirm previous guesses posed by Qi and generalize corresponding known conclusions.

General Mathematics
An Inequality for Ratios of Gamma Functions

Yaming Yu

DOI: https://doi.org/10.1016/j.jmaa.2008.11.040

2009-09-21

Abstract:An inequality concerning ratios of gamma functions is proved. This answers a question of Guo and Qi (2003).

Classical Analysis and ODEs
A completely monotonic function involving the gamma and tri-gamma functions

Feng Qi

DOI: https://doi.org/10.48550/arXiv.1307.5407

2013-07-20

Abstract:In the paper the author provides necessary and sufficient conditions on $a$ for the function $\frac{1}{2}\ln(2\pi)-x+\bigl(x-\frac{1}{2}\bigr)\ln x-\ln\Gamma(x)+\frac1{12}{\psi'(x+a)}$ and its negative to be completely monotonic on $(0,\infty)$, where $a\ge0$ is a real number, $\Gamma(x)$ is the classical gamma function, and $\psi(x)=\frac{\Gamma'(x)}{\Gamma(x)}$ is the di-gamma function. As applications, some known results and new inequalities are derived.

Classical Analysis and ODEs
Elementary Proofs of Some Stirling Bounds

Nader H. Bshouty,Vivian E. Bshouty-Hurani,George Haddad,Thomas Hashem,Fadi Khoury,Omar Sharafy

DOI: https://doi.org/10.48550/arXiv.1802.07046

2018-02-20

Functional Analysis

Abstract:We give elementary proofs of several Stirling's precise bounds. We first improve all the precise bounds from the literature and give new precise bounds. In particular, we show that for all $n\ge 8$ $$\sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n}-\frac{1}{360n^3+103n}} \ge n!\ge \sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n}-\frac{1}{360n^3+102n}}$$ and for all $n\ge 3$ $$\sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n+\frac{2}{5n}-\frac{1.1}{10n^3}}} \ge n!\ge \sqrt{2\pi n}\left(\frac{n}{e}\right)^n e^{\frac{1}{12n+\frac{2}{5n}-\frac{0.9}{10n^3}}}.$$
Monotonicity rules for the ratio of two function series and two integral transforms

Zhong-Xuan Mao,Jing-Feng Tian

2023-06-07

Abstract:In this paper, we investigate the monotonicity of the functions $t \mapsto \frac{\sum_{k=0}^\infty a_k w_k(t)}{\sum_{k=0}^\infty b_k w_k(t)}$ and $x \mapsto \frac{\int_\alpha^\beta f(t) w(t,x) \textrm{d} t}{\int_\alpha^\beta g(t) w(t,x) \textrm{d} t}$, focusing on case where the monotonicity of $a_k/b_k$ and $f(t)/g(t)$ change once. The results presented also provide insights into the monotonicity of the ratios of two power series, two $\mathcal{Z}$-transforms, two discrete Laplace transforms, two discrete Mellin transforms, two Laplace transforms, and two Mellin transforms. Finally, we employ these monotonicity rules to present several applications in the realm of special functions and stochastic orders.

General Mathematics
Some Results on Numerical Divided Difference Formulas

Xinghua Wang,Heyu Wang,Lai Ming-Jun

DOI: https://doi.org/10.1360/03ys0245

2005-01-01

Science in China Series A Mathematics

Abstract:The remainder estimates of numerical divided difference formula are given for the functions of lower and higher smoothness, respectively. Then several divided difference formulas with super-convergence are derived with their remainder expressions.
Probability Proofs for Stirling (and More): the Ubiquitous Role of $\mathbf{\sqrt{2π}}$

Nils Lid Hjort,Emil Aas Stoltenberg

2024-10-25

Abstract:The Stirling approximation formula for $n!$ dates from 1730. Here we give new and instructive proofs of this and related approximation formulae via tools of probability and statistics. There are connections to the Central Limit Theorem and also to approximations of marginal distributions in Bayesian setups. Certain formulae emerge by working through particular instances, some independently verifiable but others perhaps not. A particular case yielding new formulae is that of summing independent uniforms, related to the Irwin--Hall distribution. Yet further proofs of the Stirling flow from examining aspects of limiting normality of the sample median of uniforms, and from these again we find a proof for the Wallis product formula for $\pi$.

Probability,Statistics Theory,Other Statistics

A simple proof of monotonicity for remainder of Stirling's formula

A Short Proof of Stirling’s Formula

A Summation Theorem and Its Applications

On the Complete Monotonicity of Quotient of Gamma Functions

An Elementary Proof of Stirling's Formula

Complete monotonicity of a function involving the gamma function and applications

Two Approximation Formulas for Gamma Function with Monotonic Remainders

Complete monotonicity for a ratio of finitely many gamma functions

A Class of logarithmically completely monotonic functions relating the $q$-gamma function and applications

On the monotonicity of left and right Riemann sums

Proofs for a monotonicity result of a function involving the psi and exponential functions

A probabilistic proof of some integral formulas involving incomplete gamma functions

Unimodality preservation by ratios of functional series and integral transforms

Decreasing and complete monotonicity of two functions defined by three derivatives of a completely monotonic function involving the trigamma function

An Inequality for Ratios of Gamma Functions

A completely monotonic function involving the gamma and tri-gamma functions

Elementary Proofs of Some Stirling Bounds

Monotonicity rules for the ratio of two function series and two integral transforms

Some Results on Numerical Divided Difference Formulas

Probability Proofs for Stirling (and More): the Ubiquitous Role of $\mathbf{\sqrt{2π}}$