Convergence of a series of translations of a Lebesgue integrable function

Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a Lebesgue integrable function. Prove that $$\sum_{n=1}^{\infty} \frac{f(x-\sqrt{n})}{\sqrt{n}}$$ converges almost for every $x \in \mathbb{R}$.

My tactic here (which of course might lead me to nowhere) is to express this series as an integral or sum of integrals and use in some way the fact that $f$ is integrable along with a convergence theorem of course.

From integrability of $f$ we know that $f$ is finite almost everywhere which I believe would help me in my proof.

But I don't know exactly how to start with this.

Any useful hint would be appreciated. I don't want a full solution to this.

Thank you in advance.


Solution 1:

A brute-force method: Define $g(x):= \sum_0^{\infty} \frac{|f(x-\sqrt n)|}{\sqrt n}$, which a priori might be infinite at many points. Fix some $j \in \Bbb Z$. By Tonelli's theorem we may interchange sum and integral to compute \begin{align*}\int_j^{j+1} g(x)dx &=\sum_{n=1}^{\infty} \int_j^{j+1}\frac{|f(x-\sqrt n)|}{\sqrt n} dx \\ &=\sum_{n=1}^{\infty} n^{-1/2}\int_{j-\sqrt n}^{j+1-\sqrt n} |f(x)|dx \\ &=\sum_{k=1}^{\infty} \sum_{n=k^2}^{(k+1)^2-1} n^{-1/2}\int_{j-\sqrt n}^{j+1-\sqrt n} |f(x)|dx\\&= \sum_{k=1}^{\infty} \int_{\Bbb R}\bigg(\sum_{n=k^2}^{(k+1)^2-1}n^{-1/2}\cdot1_{[j-\sqrt n,\;j+1-\sqrt n)}(x) \bigg)|f(x)|dx\end{align*} Now if $k^2 \leq n <(k+1)^2$, then $n^{-1/2} \leq k^{-1}$ and also $[j-\sqrt n,j+1-\sqrt n) \subset [j-k-1,j-k+1)$.

Therefore we find that \begin{align*}\sum_{n=k^2}^{(k+1)^2-1}n^{-1/2}\cdot 1_{[j-\sqrt n,\;j+1-\sqrt n)}(x) &\leq \big[(k+1)^2-k^2\big]\cdot k^{-1} \cdot 1_{[j-k-1,j-k+1)}(x) \\ &=(2k+1) \cdot k^{-1} \cdot 1_{[j-k-1,j-k+1)}(x) \\ & \leq 3 \cdot 1_{[j-k-1,j-k+1)}(x)\end{align*} Consequently, \begin{align*}\int_j^{j+1} g(x)dx & \leq 3\sum_{k=1}^{\infty} \int_{j-k-1}^{j-k+1}|f(x)|dx \\ & = 3\sum_{k=1}^{\infty} \int_{j-k-1}^{j-k}|f(x)|dx+3\sum_{k=1}^{\infty} \int_{j-k}^{j-k+1}|f(x)|dx \\ &= 3\int_{-\infty}^{j-1} |f(x)|dx + 3\int_{-\infty}^j |f(x)|dx \\ &\leq 6 \|f\|_{L^1}<\infty\end{align*} We conclude that $g(x)<\infty$ for a.e. $x \in [j,j+1]$. But $j\in \Bbb Z$ was arbitrary, so we find that $g(x)<\infty$ for a.e. $x \in \Bbb R$. With a little more effort, this argument may be generalized to show that $\sum_n n^{\alpha-1}|f(x-n^{\alpha})|<\infty$ for any $\alpha \in (0,1]$. This was the special case $\alpha=\frac{1}{2}$.