# 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$$.

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 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) a.s for all $$xin I$$, which can then be extended as a periodic function.

Answered by Oliver Diaz on January 7, 2022

## Related Questions

### Formula for Repeated Derivatives

1  Asked on November 9, 2021

### Need help understanding the last step of the proof of this lemma involving probabilities

2  Asked on November 9, 2021

### Proof: For $n in mathbb{Z_+}$, the set of all functions $f: {1,…,n} to mathbb{Z_+}$ is countable

1  Asked on November 9, 2021

### Compute the following product limit

3  Asked on November 9, 2021

### Show that $(sum a_{n}^{3} sin n)$ converges given $sum{a_n}$ converges

2  Asked on November 9, 2021 by user791682

### Remarkable logarithmic integral $int_0^1 frac{log^2 (1-x) log^2 x log^3(1+x)}{x}dx$

2  Asked on November 9, 2021

### Prove that $512^3 + 675^3 + 720^3$ is a composite number

1  Asked on November 9, 2021

### How to prove that $lim_{kto+infty}frac{sin(kx)}{pi x}=delta(x)$?

4  Asked on November 9, 2021 by lrh2000

### Induction. Circular track and fuel stations

2  Asked on November 9, 2021

### How do I write the Laurent series for $frac{1}{z^2(z-i)}$ for $1<|z-1|<sqrt2$?

2  Asked on November 9, 2021 by complexanalysis

### Are we guaranteed a Lie group by taking the algebraic closure of finitely many one-parameter groups acting (each periodically) on a Euclidean space?

0  Asked on November 9, 2021

### Proximal operator of conjugate function

1  Asked on November 9, 2021 by user11999776

### Calculate the fourier transform of $(ax^2+bx+c)^{-1}$

2  Asked on November 9, 2021 by jojo98

### Definition and intuition of a tubular neighborhood of a submanifold

1  Asked on November 9, 2021

### Showing that $q=(z_1,z_2^2)$ is primary in $mathcal O_2$

1  Asked on November 9, 2021

### Common root of a cubic and a biquadratic equation

4  Asked on November 9, 2021 by um-desai

### On the double series $sum_{(m,n)inmathbb{Z}^2setminus{(0,0)}}frac{m^2+4mn+n^2}{(m^2+mn+n^2)^s}$

1  Asked on November 9, 2021

### Set of possible reflections of a vector.

1  Asked on November 9, 2021 by alexander-mathiasen

### limit of arithmetic mean of $|sin n|$, $ninmathbb{N}$

2  Asked on November 9, 2021 by jean-l

### Is the product of two Cesaro convergent series Cesaro convergent?

1  Asked on November 9, 2021 by antonio-claire