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

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.
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
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}}}.$$
A probabilistic proof of Wallis's formula for pi

Steven J. Miller

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

2008-06-25

Abstract:Using mostly elementary results and functions from probability, we prove Wallis's formula for pi: pi/2 = prod_n (2n * 2n) / ((2n-1) * (2n+1)). The proof involves normalization constants and the Gamma function, Standard normal, and the Student t-Distribution.

Number Theory,Probability
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
A new generalization of the Stirling numbers of the first kind

Abdelghafour Bazeniar,Moussa Ahmia,Said Amrouche

DOI: https://doi.org/10.1007/s13226-024-00707-z

2024-10-21

Indian Journal of Pure and Applied Mathematics

Abstract:In this paper, we study a generalization of the Stirling numbers of the first kind (classical and analogues versions) related to an extension of elementary symmetric function. These numbers appear as the coefficients of in the expression . The array formed by these coefficients can be seen as a natural generalization of the first Stirling triangle. We also give a combinatorial interpretation of the classical numbers in terms of s -tuples of permutations of [ n ] with k cycles and using the inversion and co-inversion statistics on the cycles in the case of the analogues numbers, which also allows us to establish as a particular case the analogues of the Stirling numbers of the first kind. In addition, using the Legendre–Stirling numbers and the Stirling numbers of the first kind new formulas and useful properties are proposed.

mathematics
Summation of Divergent Power Series by Means of Factorial Series

Ernst Joachim Weniger

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

2010-05-04

Abstract:Factorial series played a major role in Stirling's classic book "Methodus Differentialis" (1730), but now only a few specialists still use them. This article wants to show that this neglect is unjustified, and that factorial series are useful numerical tools for the summation of divergent (inverse) power series. This is documented by summing the divergent asymptotic expansion for the exponential integral $E_{1} (z)$ and the factorially divergent Rayleigh-Schrödinger perturbation expansion for the quartic anharmonic oscillator. Stirling numbers play a key role since they occur as coefficients in expansions of an inverse power in terms of inverse Pochhammer symbols and vice versa. It is shown that the relationships involving Stirling numbers are special cases of more general orthogonal and triangular transformations.

Numerical Analysis,Mathematical Physics
Explicit formulae for generalized Stirling and Eulerian numbers

Josef Küstner

2024-04-26

Abstract:In this article we generalize the $q$-difference operator due to Carlitz in order to derive explicit sum formulae for several extensions of Stirling numbers of the second kind, including complete homogeneous symmetric functions, complementary symmetric functions, $r$-Whitney numbers and elliptic analogues of rook, Stirling and Lah numbers. Furthermore, we generalize Carlitz' $q$-Eulerian numbers to a Lagrange polynomial extension. We define them by generalizing Worpitzky's identity appropriately, and derive a recursion and an explicit sum formulae. Special cases include $r$-Whitney Eulerian numbers and elliptic Eulerian numbers.

Combinatorics
New formulas involving Bernoulli and Stirling numbers of both kinds

Bakir Farhi

2024-10-08

Abstract:This paper is devoted to establishing several new formulas relating Bernoulli and Stirling numbers of both kinds.

Number Theory,Combinatorics
Extension of Summation Formulas involving Stirling series

Raphael Schumacher

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

2016-05-16

Abstract:This paper presents a family of rapidly convergent summation formulas for various finite sums of the form $\sum_{k=0}^{\lfloor x\rfloor}f(k)$, where $x$ is a positive real number.

Number Theory
Some integrals involving the Stieltjes constants

Donal F. Connon

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

2009-02-13

Abstract:Some new integrals involving the Stieltjes constants are developed in this paper.

Classical Analysis and ODEs
On generalized Stirling numbers and zeta values

Kamel Mezlini,Tahar Moumni,Najib Ouled Azaiez

2024-07-12

Abstract:The generalized Stirling numbers of the second kind together with the Stirling numbers of the first kind are used to present a novel method to approximate the Riemann zeta function at integer values by rationals. We show that the error committed in such approximation decay exponentially to zero

Number Theory
$B$-Stirling numbers associated to potential polynomials

José A. Adell,Beáta Bényi

2024-10-16

Abstract:We introduce the $B$-Stirling numbers of the first and second kind, which are the coefficients of the potential polynomials when we express them in terms of the monomials and the falling factorials, respectively. These numbers include, as particular cases, the partial and complete Bell polynomials, the degenerate and probabilistic Stirling numbers, and the $S$-restricted Stirling numbers, among others. Special attention is devoted to the computation of such numbers. On the one hand, a recursive formula is provided. On the other, we can compute Stirling numbers of one kind in terms of the other, with the help of the classical Stirling numbers.

Combinatorics
Some Applications of the Stirling Numbers of the First and Second Kind

Mohammad Masjed-Jamei,M. A. Jafari,H. M. Srivastava

DOI: https://doi.org/10.1007/s12190-014-0767-4

2014-01-01

Journal of Applied Mathematics and Computing

Abstract:By using the familiar Stirling numbers, we derive the explicit forms of the weighted Newton-Cotes integration formulas and the weighted Adams-Bashforth and Adams-Moulton rules in terms of the Stirling numbers of the first and second kind. Some illustrative examples involving the Fredholm integral equation of the second kind are also considered.
Using the Jacobi-Trudi formula to compute Stirling determinants

Tewodros Amdeberhan,Shalosh B. Ekhad

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

2022-06-18

Abstract:We use the Jacobi-Trudi formula to execute "explicit" evaluation of determinants of Stirling numbers of both kinds. We also offer a Maple package accompanying the paper on the personal websites at the end of the second page.

History and Overview,Combinatorics
Plea for the use of the exact Stirling formula in statistical mechanics

Didier Lairez

DOI: https://doi.org/10.21468/SciPostPhysLectNotes.76

2023-09-27

Abstract:In statistical mechanics, the generally called Stirling approximation is actually an approximation of Stirling's formula. In this article, it is shown that the term that is dropped is in fact the one that takes fluctuations into account. The use of the Stirling's exact formula forces us to reintroduce them into the already proposed solutions of well-know puzzles such as the extensivity paradox or the Gibbs' paradox of joining two volumes of identical gas. This amendment clearly results in a gain in consistency and rigor of these solutions.

Classical Physics,Statistical Mechanics
Note on expanding implicit functions into formal power series by means of multivariable Stirling polynomials

Alfred Schreiber

2023-08-05

Abstract:Starting from the representation of a function $f(x,y)$ as a formal power series with Taylor coefficients $f_{m,n}$, we establish a formal series for the implicit function $y=y(x)$ such that $f(x,y)=0$ and the coefficients of the series for $y$ depend exclusively on the $f_{m,n}$. The solution to this problem provided here relies on using partial Bell polynomials and their orthogonal companions.

Combinatorics
A Proof of Ramanujan's Classic $π$ Formula

Thang Pang Ern,Devandhira Wijaya Wangsa

2024-11-24

Abstract:In 1914, Ramanujan presented a collection of 17 elegant and rapidly converging formulae for $\pi$. Among these, one of the most celebrated is the following series: \[\frac{1}{\pi}=\frac{2\sqrt{2}}{9801}\sum_{n=0}^{\infty}\frac{26390n+1103}{\left(n!\right)^4}\cdot \frac{\left(4n\right)!}{396^{4n}}\] In this paper, we give a proof of this classic formula using hypergeometric series and a special type of lattice sum due to Zucker and Robertson. In turn, we will also use some results by Dirichlet in Algebraic Number Theory.

Number Theory
New approach to $λ$-stirling numbers

Dae san Kim,Hye Kyung Kim,Taekyun Kim

2023-08-18

Abstract:The aim of this paper is to study the $\lambda$-Stirling numbers of both kinds which are $\lambda$-analogues of Stirling numbers of both kinds. Those numbers have nice combinatorial interpretations when $\lambda$ are positive integers. If $\lambda$ =1, then the $\lambda$-Stirling numbers of both kinds reduce to the Stirling numbers of both kinds. We derive new types of generating functions of the $\lambda$-Stirling numbers of both kinds which are related to the reciprocals of the generalized rising factorials. Furthermore, some related identities are also derived from those generating functions. In addition, all the corresponding results to the $\lambda$-Stirling numbers of both kinds are obtained also for the $\lambda$-analogues of r-Stirling numbers of both kinds which are generalizations of those numbers.

Number Theory
Factorial Series Representation of Stieltjes Series Converging Factors

Riccardo Borghi

2024-06-01

Abstract:The practical usefulness of Levin-type nonlinear sequence transformations as numerical tools for the summation of divergent series or for the convergence acceleration of slowly converging series, is nowadays beyond dispute. Weniger's transformation, in particular, is able to accomplish spectacular results when used to overcome resummation problems, often outperforming better known resummation techniques, the most known being Padé approximants. However, our understanding of its theoretical features is still far from being satisfactory and particularly bad as far as the decoding of factorially divergent series is concerned. Stieltjes series represent a class of power series of fundamental interest in mathematical physics. In the present paper, it is shown how the Stieltjes series converging factor of any order is expressible as an inverse factorial series, whose terms can be analytically retrieved through a simple recursive algorithm. A few examples of applications of our algorithm are presented, in order to show its effectiveness and implementation ease. We believe the results presented here could constitute an important, preliminary step for the development of a general convergence theory of Weniger's transformation on Stieltjes series. A rather ambitious project, but worthy of being pursued in the future.

Numerical Analysis,Mathematical Physics,Computational Physics

An Elementary Proof of Stirling's Formula

A Short Proof of Stirling’s Formula

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

Elementary Proofs of Some Stirling Bounds

A probabilistic proof of Wallis's formula for pi

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

A new generalization of the Stirling numbers of the first kind

Summation of Divergent Power Series by Means of Factorial Series

Explicit formulae for generalized Stirling and Eulerian numbers

New formulas involving Bernoulli and Stirling numbers of both kinds

Extension of Summation Formulas involving Stirling series

Some integrals involving the Stieltjes constants

On generalized Stirling numbers and zeta values

$B$-Stirling numbers associated to potential polynomials

Some Applications of the Stirling Numbers of the First and Second Kind

Using the Jacobi-Trudi formula to compute Stirling determinants

Plea for the use of the exact Stirling formula in statistical mechanics

Note on expanding implicit functions into formal power series by means of multivariable Stirling polynomials

A Proof of Ramanujan's Classic $π$ Formula

New approach to $λ$-stirling numbers

Factorial Series Representation of Stieltjes Series Converging Factors