$\sum_{n=1}^{\infty}\frac{\sin(nx)}{\sqrt{n}} \in L^{1}(0,2\pi)$

Question

I need to prove that $f(x)=\sum_{n=1}^{\infty}\frac{\sin(nx)}{\sqrt{n}} \in L^{1}(0,2\pi).$

By Dirichlet's test $\sum_{n=1}^{\infty}\frac{\sin(nx)}{\sqrt{n}}$ converges uniformly on intervals $[\delta, 2\pi-\delta], \delta>0$. I don't know how to prove that $f \in L^1$ but I thing the following fact may be useful. $$\int\frac{\sin(nx)}{\sqrt{n}}dx=-\frac{\cos(nx)}{n\sqrt{n}}$$ and $F(x)=\sum \frac{\cos(nx)}{n\sqrt{n}}$ converges uniformly and absolutely on $[0,2\pi]$ by Weierstrass M-test.

Thank you for any help!

Answer 1

In the sine series

$$f(x)=\sum_{n\geq1}\frac{\sin n x}{\sqrt{n}}$$

The coefficients $c_n:=\frac{1}{\sqrt{n}}$ form a decreasing sequence converging to $0$, and $$ \sum_{n\geq1}\frac{c_n}{n}=\sum_{n\geq1}\frac{1}{n^{3/2}}<\infty$$ Therefore

1. $f\in L_1(\mathbb{T})$, and
2. $S_n(x)=\sum^n_{k=1}\frac{\sin kx}{\sqrt{k}}$ converges in $L_1(\mathbb{T})$ to $f(x)$.

Here, I am using the following result for special type of trigonometric series(See F. Jones, Lebesgue Integration on Euclidean space, pp. 437 for example).

---

Theorem: Suppose $c_n\searrow0$.
$f(x)=\sum_{n\geq1} c_n\sin nx$ is in $L_1(\mathbb{T})$ iff $\sum_n\frac{c_n}{n}<\infty$. In either case, $S_n(x)=\sum^n_{k=1} c_k\sin kx$ converges to $f$ in $L_1$.

---

Ideas of the proof of Theorem: In one direction, namely that $f\in L_1(\mathbb{T})$ implies the convergence of $\sum_n\frac{c_n}{n}$ follows from a more general result that can be found here. One may also construct a specific proof for the case of sine series of the type considered in the statement of the Theorem (See reference).

On the other direction, the reference above shows that convergence of $\sum_n\frac{c_n}{n}$ implies that $S_n(x)$ converges in $L_1(\mathbb{T})$. This is done by

1. Showing that $c_n\log n=o(1)$ as $n\rightarrow\infty$
2. The sine kernel $K_n(x)=\sin x+\ldots \sin nx$ satisfies $\|K_n\|_{L_1(\mathbb{T})}=O(\log (n+1))$.
3. Using summation by parts, one shows that $$\|f-S_n\|_{L_1(\mathbb{T})}\leq \kappa\sum_{n>N}\frac{c_n}{n}+2\kappa c_{N+1}\log(N+1)$$ for some constant $\kappa>0$.

Edit: F. Jone's gives no references for this result, but I suppose this is well known to every Harmonic Analyst. Hopefully someone who reads this answer can provide more references. I ignore if Zigmund's book contain these sort of results.