I try to derive Stirling's approximation from Euler-Maclaurin formula with form: $$\sum_{x=m}^nf(x)=\int_m^n{f(x)dx}+\frac{f(n)+f(m)}{2}+\sum_{k=2}^p{\frac{(-1)^kB_k}{k!}[f^{(k-1)}(n)-f^{(k-1)}(m)]+\frac{(-1)^{p-1}}{p!}\int_m^n{f^{(p)}(x)P_p(x)dx}}$$ $P_p(x)$ is periodic Bernoulli functions, $B_k$ is Bernoulli number,when $f(x)=\ln(x)$ and $m=1$,get: $$ \sum_{x=1}^n\ln(x)=\int_1^n{\ln(x)dx}+\frac{\ln(n)+\ln(1)}{2}+\sum_{k=2}^p{\frac{(-1)^kB_k}{k!}[\ln^{(k-1)}(n)-\ln^{(k-1)}(1)]+\frac{(-1)^{p-1}}{p!}\int_1^n{f^{(p)}(x)P_p(x)dx}} \\ =n\ln(n)-n+1+\frac{\ln(n)}{2}+\sum_{k=2}^p{\frac{(-1)^kB_k}{k!}\ln^{(k-1)}(n)+\frac{(-1)^{p-1}}{p!}\int_1^n{f^{(p)}(x)P_p(x)dx}} \\ =n\ln(n)-n+1+\frac{\ln(n)}{2}+\sum_{k=2}^p{\frac{(-1)^kB_k}{k!}{\frac{(-1)^{k-1}(k-2)!}{n^{k-1}}}+\frac{(-1)^{p-1}}{p!}\int_1^n{f^{(p)}(x)P_p(x)dx}} \\ =n\ln(n)-n+1+\frac{\ln(n)}{2}+\sum_{k=2}^p{\frac{(-1)^kB_k}{k(k-1)n^{k-1}}+\frac{(-1)^{p-1}}{p!}\int_1^n{f^{(p)}(x)P_p(x)dx}} \\ $$ so that: $$\ln(n!)-\frac{\ln(n)}{2}=\sum_{x=1}^n\ln(x)-\frac{\ln(n)}{2}\\=n\ln(n)-n+1+\sum_{k=2}^p{\frac{(-1)^kB_k}{k(k-1)n^{k-1}}+\frac{(-1)^{p-1}}{p!}\int_1^n{f^{(p)}(x)P_p(x)dx}} $$ but on [wikipedia]:https://en.wikipedia.org/wiki/Stirling%27s_approximation the form is : $$\ln(n!)-\frac{\ln(n)}{2}=n\ln(n)-n+1+\sum_{k=2}^p{\frac{(-1)^kB_k}{k(k-1)}\left(\frac{1}{n^{k-1}}-1\right)+R_{m,n}} $$ Where am I wrong?And what is the actual formula of $R_{m,n}$
2026-03-25 14:27:34.1774448854
Stirling's approximation from Euler-Maclaurin formula
1k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in CALCULUS
- Equality of Mixed Partial Derivatives - Simple proof is Confusing
- How can I prove that $\int_0^{\frac{\pi}{2}}\frac{\ln(1+\cos(\alpha)\cos(x))}{\cos(x)}dx=\frac{1}{2}\left(\frac{\pi^2}{4}-\alpha^2\right)$?
- Proving the differentiability of the following function of two variables
- If $f ◦f$ is differentiable, then $f ◦f ◦f$ is differentiable
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Number of roots of the e
- What are the functions satisfying $f\left(2\sum_{i=0}^{\infty}\frac{a_i}{3^i}\right)=\sum_{i=0}^{\infty}\frac{a_i}{2^i}$
- Why the derivative of $T(\gamma(s))$ is $T$ if this composition is not a linear transformation?
- How to prove $\frac 10 \notin \mathbb R $
- Proving that: $||x|^{s/2}-|y|^{s/2}|\le 2|x-y|^{s/2}$
Related Questions in SEQUENCES-AND-SERIES
- How to show that $k < m_1+2$?
- Justify an approximation of $\sum_{n=1}^\infty G_n/\binom{\frac{n}{2}+\frac{1}{2}}{\frac{n}{2}}$, where $G_n$ denotes the Gregory coefficients
- Negative Countdown
- Calculating the radius of convergence for $\sum _{n=1}^{\infty}\frac{\left(\sqrt{ n^2+n}-\sqrt{n^2+1}\right)^n}{n^2}z^n$
- Show that the sequence is bounded below 3
- A particular exercise on convergence of recursive sequence
- Proving whether function-series $f_n(x) = \frac{(-1)^nx}n$
- Powers of a simple matrix and Catalan numbers
- Convergence of a rational sequence to a irrational limit
- studying the convergence of a series:
Related Questions in POLYNOMIALS
- Alternate basis for a subspace of $\mathcal P_3(\mathbb R)$?
- Integral Domain and Degree of Polynomials in $R[X]$
- Can $P^3 - Q^2$ have degree 1?
- System of equations with different exponents
- Can we find integers $x$ and $y$ such that $f,g,h$ are strictely positive integers
- Dividing a polynomial
- polynomial remainder theorem proof, is it legit?
- Polyomial function over ring GF(3)
- If $P$ is a prime ideal of $R[x;\delta]$ such as $P\cap R=\{0\}$, is $P(Q[x;\delta])$ also prime?
- $x^{2}(x−1)^{2}(x^2+1)+y^2$ is irreducible over $\mathbb{C}[x,y].$
Related Questions in EULER-MACLAURIN
- How to find value of arctan using Maclaurin
- 6th Degree Polynomial and Chebyshev minmax
- How to integrate the "fractional part"/sawtooth function?
- Maclaurin polynomial error bounds
- the remainder of Maclaurin Series
- Bounds for Periodic Bernoulli Polynomials via Fourier Series
- Numerical integration of sharply peaking function: $\int_0^{1000} \exp(1000\sin(x)/x)\,{\rm d}x $
- Using the Euler-Maclaurin formula to approximate Euler's constant, $\gamma := \lim_{n\to\infty}\left(-\ln n+\sum_{k=0}^n\frac1n\right)$
- Are the partial sums for $\sum_{n=1}^{\infty}\sin(n^a)$ bounded for $a\geq1$ and unbounded for $0<a<1$?
- Integral involving the fractional part function
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
You just sort of dropped that $\ln^{(k-1)}(1)$ term up there, and although $\ln(1)=0$, its derivatives aren't, and that's where wikipedia got $\left(\frac1{n^{k-1}}-1\right)$ vs. your $\frac1{n^{k-1}}$. It doesn't really matter though, because that term could have been $42$ for all that wikipedia did with it in the next line or so when they used the Wallis product to estimate that all the constant stuff amounted to $\frac12\ln(2\pi)$.