Intereting Posts

Cramer's rule: Geometric Interpretation
regularization of sum $n \ln(n)$
Is $W_0^{1,p}(\Omega)\cap L^\infty(\Omega)$ complete?
Couldn't we have defined the material conditional differently?
how to find the maximum height perpendicular to arc without knowing radius of the arc
Independence in infinite sequence of random variables
Can this approach to showing no positive integer solutions to $p^n = x^3 + y^3$ be generalized?
How do you compute negative numbers to fractional powers?
Why is the volume of a sphere $\frac{4}{3}\pi r^3$?
How to prove that Riemann zeta function is zero for negative even numbers?
How do I find a Bezier curve that goes through a series of points?
Why does the hard-looking integral $\int_{0}^{\infty}\frac{x\sin^2(x)}{\cosh(x)+\cos(x)}dx=1$?
Errors of Euler interpretation?
Finite Field Extensions and the Sum of the Elements in Proper Subextensions (Follow-Up Question)
Induced map of homology groups of torus

My question concerns the proof of Theorem 1, section VIII.4, in Vol II of Feller’s book ‘An Introduction to Probability Theory and its Applications’. Theorem 1 proves the Central Limit Theorem in the i.i.d. zero mean, unit variance case.

In purely analytical terms, this theorem says that if $F$ is a (probability) distribution function with zero expectation and unit variance, then $$F^{n*}(x\sqrt{n}) \rightarrow \mathfrak{N}(x)$$ in the distributional sense (where $\mathfrak{N}$ is the standard normal distribution, and $(\cdot)^{n*}$ denotes the n-fold convolution operation).

To prove this, Feller uses the following (the proof of which I understand):

- How to evaluate $\int _{-\infty }^{\infty }\!{\frac {\cos \left( x \right) }{{x}^{4}+1}}{dx}$
- Continuity of the basis of the null space
- From to
- bounded sequence in $L^p(\mathbb{R}^n)$ that converges a.e.
- When adding zero really counts …
- Evaluating the integral $\int_0^\infty \frac{\sin x} x \ dx = \frac \pi 2$?

$\textbf{Lemma}$ $\quad$ Denote by $\mathfrak{F}_n$ the convolution operator associated with the functions $F_n(x):= F(x\sqrt{n})$. Then for any $u : \mathbb{R} \rightarrow \mathbb{R}$ with three bounded derivatives and finite limits at $\pm \infty$, we have the following uniform convergence on the line: $$n[\mathfrak{F}_nu – u] \rightarrow \frac{1}{2}u”. \quad \square $$

Now denote by $\mathfrak{G}$ and $\mathfrak{G}_n$ resoectively the convolution operators associated with the distributions $\mathfrak{N}(x)$ and $\mathfrak{N}(x\sqrt{n})$. Then it is easy to derive the following inequality, where the norm is the supremum norm:

$$ \|\mathfrak{F}_n^n(u) – \mathfrak{G}(u) \| \leq n\|\mathfrak{F}_n(u) – u \| + n\|\mathfrak{G}_n(u)-u \| .$$

Now comes the bit I don’t understand. He claims that, by the Lemma above, the RHS of this inequality tends to zero. (N.B. He doesn’t specify what kind of function $u$ is). How can this be so, unless $u”=0$ on the line? This suggests to me that he is approximating all continuous functions on $\mathbb{R}$ with finite limits at $\pm \infty$ by functions with zero second derivative. I guess this can be done? And do you think this is what Feller is doing at this stage?

Many thanks for your help.

Frank.

- A condition for a function to be constant
- inequality using Lagrange Multipliers and Cauchy Schwarz inequality
- Backwards Heat Equation $ u_{t} = -\lambda^2 u_{xx}$
- Cauchy-Formula for Repeated Lebesgue-Integration
- Claims in Pinchover's textbook's proof of existence and uniqueness theorem for first order PDEs
- Linear w.r.t. any measure
- Properties of Weak Convergence of Probability Measures on Product Spaces
- Negation of uniform convergence
- Convergence tests for improper multiple integrals
- Connected Implies Path (Polygonally) Connected

I know i’m probably 3 years late, but i was studying this chapter of the book and hammering my head around this lemma and theorem for half a day before I managed to make sense of it!

In my opinion, i think there is a small mistake on his proof. I would go on to prove it like this:

$$||\frak{F}_n^n u – \frak{G}u|| = ||\frak{F}_n^n u – \frak{G}_n^n u|| \leq n||\frak{F}_n u – \frak{G}_n u|| = ||n(\frak{F}_n u – u) – n(\frak{G}_n u – u)||\to\left|\left|\frac{u^{\prime \prime}}{2} – \frac{u^{\prime \prime}}{2}\right|\right|$$

Then the lemma works like a glove to finish the proof

- Prove $\sum\limits_{n = 1}^\infty \frac{( – 1)^n}{\ln n + \sin n} $ is convergent.
- Picking random points in the volume of sphere with uniform probability
- How many combinations of 20 balls can be drawn from a bag of 10 blue balls and a bag of 10 red balls
- Proving that $ 2 $ is the only real solution of $ 3^x+4^x=5^x $
- Is there a sequence of primes whose decimal representations are initial segments of each other?
- How to prove the property of the Lemoine point of a triangle?
- Prove that $A=B$ considering: $(A \cap C = B \cap C) \land (A \cup C = B \cup C)$
- What will be the one's digit of the remainder in: $\left|5555^{2222} + 2222^{5555}\right|\div 7=?$
- Is there a name for these oscillations in the self-similarity of a set under the action of a cyclic group?
- Question about the ring of polynomials bounded on a real variety
- Counting ways to partition a set into fixed number of subsets
- Closed sum of sets
- (Whitney) Extension Lemma for smooth maps
- Pre-image of a measurable set A is always measurable?
- restriction of scalars, reference or suggestion for proof