Intereting Posts

Prove that there exists a nearest point in a closed set $A \subset \mathbf{R}^n$ to a point outside of $A$
Elementary proof that $a_n \to a \implies a_n^r \to a^r$ for $r \in \mathbb{Q}$
Problem about $G_{\delta}$-set and $F_{\sigma}$-set
Represent Dirac distruibution as a combination of derivatives of continuous functions?
Finding a cyclotomic field implied by Kronecker-Weber
Exponential Factorial vs Tetration
Elementary central binomial coefficient estimates
When does $V=L$ becomes inconsistent?
Solve $f^n(x)=4^nx+\frac{4^n-1}{3}$ for $n$.
Evaluating $\int_{0}^{\pi}\ln (1+\cos x)\, dx$
Proving that there exists a unique f(x) given Area and arc-length of f(x) on a given interval
Prove that $\sqrt5 – \sqrt3$ is Irrational
Infinite Series $\sum_{n=1}^\infty\frac{H_n}{n^32^n}$
Applications of the p-adics
Finding the intersecting points on two circles

Let $(X_i)_{i\in\mathbb{N}}$ be a sequence of $L^2$ random variables with expected value $m$ for all $n$. Let $S_n=\sum_{i=1}^n X_i$ and $|\mathrm{Cov}(X_i,X_j)|\leq\epsilon_{|i-j|}$ for finite, non-negative constants $\epsilon_k$. Show that:

(1) If $\lim_{n\to\infty} \epsilon_n=0$ then $S_n/n\to m$ in $L^2$ and probability

(2) If $\sum_{k=1}^\infty \epsilon_k<\infty$, then $\mathrm{Var}(S_n/n)$ is of order $O(1/n)$ and $S_n/n\to m$ almost surely

- Link between convergence in Probability of a supremum and a limsup
- “Pseudo-Cauchy” sequences: are they also Cauchy?
- What are the rules for convergence for 2 series that are added/subtracted/multiplied/divided?
- Unit ball in $C$ not sequentially compact
- Basic facts about ultrafilters and convergence of a sequence along an ultrafilter
- A “non-trivial” example of a Cauchy sequence that does not converge?

(1) First of, I found a similar looking question here, but we don’t have, that the constants are bounded by $1$, so I don’t know if the Chebyshev-inequality approach works here.

(2) We have $\mathrm{Var}(S_n/n)=\dfrac{1}{n^2}Var(S_n)=\dfrac{1}{n^2}\sum_{i\ne j}\mathrm{Cov}(X_i,X_j)=\dfrac{1}{n^2}(\sum_{k=1}^n\mathrm{Cov}(X_i,X_i)+\sum_{i=1}^{n-1}\sum_{j=i}^n \mathrm{Cov}(X_i,X_j))\leq\dfrac{1}{n^2}(n\cdot\epsilon_0+\sum_{i=1}^{n-1}\sum_{j=i}^n \mathrm{Cov}(X_i,X_j))$.

This is where I’m stuck.

- $\sin(2\pi nx)$ does not converge for $x \in (0,1/2)$
- How is the Radius of Convergence of a Series determined?
- Terms that get closer and closer together
- Sum of the alternating harmonic series $\sum_{k=1}^{\infty}\frac{(-1)^{k+1}}{k} = \frac{1}{1} - \frac{1}{2} + \cdots $
- Weak Convergence in $L^p$
- Equicontinuity and uniform convergence 2
- What is $ \lim_{n\to\infty}\frac{1}{e^n}\Bigl(1+\frac1n\Bigr)^{n^2}$?
- Determine the limit distribution
- Can I understand Egorov's theorem in this way?
- Lebesgue Dominated Convergence example

We can assume that $m=0$. Then take $\delta\gt 0$ write for a fixed $C$:

$$\frac 1{n^2} \mathbb E[S_n^2]\leqslant \frac 1{n^2}\sum_{i,j=1}^n\varepsilon_{|i-j|}

[|i-j|\leqslant C]+\frac 1{n^2}\sum_{i,j=1}^n\varepsilon_{|i-j|}

[|i-j|\gt C].$$

If we choose it such that $\varepsilon_k \leqslant \delta$ if $k\geqslant C$, then we have

$$\frac 1{n^2} \mathbb E[S_n^2]\leqslant \frac{2Cn}{n^2}\sup_k \varepsilon_k+\delta,$$

hence the sequence $\left(\mathbb E[S_n^2]/n^2\right)_{n\geqslant 1}$ converges to $0$.

Once we showed the good asymptotic of $\mathbb E[S_n^2]$, an application of the Borel-Cantelli’s lemma yields $2^{-n}S_{2^n}\to 0$ almost surely. Indeed, define for a fixed $j$ the event $A_n:=\{|S_{2^n}|\gt 2^n/j\}$ for a fixed $\delta$. Then the series $\sum_n\mathbb P(A_n)$ is convergent, and we get $\mathbb P\left(\limsup_{n\to\infty} A_n \right)=0$. As a consequence, on a set $\Omega_j$ of probability one, we have $|S_{2^n}(\omega)| 2^n\lt1/j $ for $n\geqslant N(j,\omega)$.

In order to deduce the result for the whole sequence, note that

$$\mu\left\{\max_{2^n\leqslant k\lt 2^{n+1}}\frac{|S_k|}{2^n}>\delta\right\}

\leqslant 2^n\max_{2^n\leqslant k\lt 2^{n+1}}\mu\left\{\frac{|S_k|}{2^n}>\delta\right\}\\

\leqslant 2^n\max_{2^n\leqslant k\lt 2^{n+1}}\frac 1{\delta^2}\mathbb E\left[\frac{S_k^2}{2^{2n}}\right].$$

- Generating series using partitions
- Evaluation of $\int_0^\infty \frac{x^2}{1+x^5} \mathrm{d} x$ by contour integration
- How to reformulate a multiplicative formula (with two primes, perhaps like totient-function)?
- Proof of the inequality $(x+y)^n\leq 2^{n-1}(x^n+y^n)$
- Questions about the concept of Structure, Model and Formal Language
- Mental estimate for tangent of an angle (from $0$ to $90$ degrees)
- How to prove convex+concave=affine?
- Relations (Binary) – Composition
- Atiyah Macdonald Exercise 5.22
- Generic Points to the Italians
- Show that $\lim_{x\to \infty}\left( 1-\frac{\lambda}{x} \right)^x = e^{-\lambda}$
- Equivalency of Norms and the Open Mapping Theorem
- what does the “L” in “L-function” stand for?
- Is it possible for cosine functions to have Fourier sine series expressions or sine functions to have Fourier cosine series expressions?
- Inhomogeneous equation