Prove the series converges almost everywhere

Mathematics Asked by Christopher Rose on January 7, 2022

Question: Given Lebesgue integrable $f: mathbb{R}rightarrow [0,infty)$, prove the following series converges almost everywhere on $mathbb{R}$:
$$varphi(x) = lim_{krightarrow infty} sum_{t=-k}^k f(t+x)$$

Attempt: Towards a contradiction suppose there is a non-null set $A$ such that for all $x in A$ we have $varphi(x)=infty$. Somehow I want to conclude that $int_A f=infty$ and contradict the integrability of $f$.

lebesgue integral measure theory real analysis sequences and series

One Answer

Let $I=(-1/2,1/2]$. Then

$$int_{I}Big|sum_{kinmathbb{Z}}f(x+k),dxBig|leq int_{I}sum_{zinmathbb{Z}}|f(x+k)|,dx=sum_{kinmathbb{Z}}int_{I+k}|f(x)|,dx=|f|_1<infty$$ Here the change of order of summation and integration can be justified by either monotone convegernce, or by Fubini's theorem.

Thus $g(x)=sum_{kinmathbb{Z}}f(x+k)<infty$ a.s for all $xin I$, which can then be extended as a periodic function.

Answered by Oliver Diaz on January 7, 2022

Prove the series converges almost everywhere

One Answer

Add your own answers!

Related Questions

Is it true that if $P(int_0^T f^2(s) ds<infty)=1$ then the exponential defines a density?

Random walk returning probability

Prove that $mathrm{ht}(P/Ra)=mathrm{ht}(P) -1$

Bayesian statistics notation: “$P(text{event}|x)$” vs “$P(text{event}|theta, x)$”

Finding the third side of a triangle given the area

Analytic continuation of $Phi(s)=sum_{n ge 1} e^{-n^s}$

If the monoid algebra $R[M]$ is finitely generated, then $M$ is a finitely generated monoid.

Second cohomology group of an affine Lie algebra

A problem on spectrum of a self-adjoint operator

Computing $2 binom{n}{0} + 2^2 frac{binom{n}{1}}{2} + 2^3 frac{binom{n}{2}}{3} + cdots + 2^{n+1} frac{binom{n}{n}}{n+1}$

Let $Lin End(V)$ with $L(V)=W$. Then $Tr(L)=Tr(L|_W)$

What’s nonsensical about this definition of the order of a meromorphic function?

Let $lambda$ be a real eigenvalue of matrix $AB$. Prove that $|lambda| > 1$.

Integral of a product of Bessel functions of the first kind

Connectives in George Tourlakis’ Mathematical Logic

Let $T=int_{0}^{x}f(y)dt$. Find eigenvalues and range of $T+T^*$

Find the smallest eigenvalue of $G=[ exp(-(x_i-x_j )^2]_{i,j}$ for ${bf x}=[x_1,dots,x_n]$

Proof of convergence of $sum_{n=1}^{infty}frac{(-1)^{lfloor nsqrt{2}rfloor}}{n}$

Inverting product of non-square matrices?

Half-SAT/ Half-Satisfiability

Ask a Question