I have a question about integral. Prove:
$\int_0^{\frac{\pi}{2}}t\left(\dfrac{\sin(nt)}{\sin(t)}\right)^4dt<\dfrac{\pi^2n^2}{4}$
I have tried several methods including $\sin(t)\geq\frac{2t}{\pi}$, but I can't work it out.
I have a question about integral. Prove:
$\int_0^{\frac{\pi}{2}}t\left(\dfrac{\sin(nt)}{\sin(t)}\right)^4dt<\dfrac{\pi^2n^2}{4}$
I have tried several methods including $\sin(t)\geq\frac{2t}{\pi}$, but I can't work it out.
On the interval $0 < t < {\pi \over 2n}$, use the estimate ${\sin(nt) \over \sin(t)} < n$, giving that $\int_0^{\pi \over 2n} t({\sin(nt) \over \sin(t)})^4 \,dt < \int_0^{\pi \over 2n}n^4 t\,dt$ $= n^4 {({\pi \over 2n})^2 \over 2} = {\pi^2 n^2 \over 8}$ On the interval ${\pi \over 2n} < t < {\pi \over 2}$, use the estimates $|\sin(nt)| \leq 1$ and $\sin(t) > {2t \over \pi}$, giving the estimate $\int_{\pi \over 2n}^{\pi \over 2} t({\sin(nt) \over \sin(t)})^4 \,dt < \int_{\pi \over 2n}^{\pi \over 2}t ({\pi \over 2t})^4\,dt$ $= {\pi^4 \over 16}\int_{\pi \over 2n}^{\pi \over 2} t^{-3}\,dt$ $< {\pi^4 \over 16}{1 \over 2}({\pi \over 2n})^{-2}$ $= {\pi^2 n^2 \over 8}$ Adding this to the first part of the integral, we get the upper bound of ${\pi^2 n^2 \over 4}$ as needed.
As for the proof that ${\displaystyle {\sin(nt) \over \sin(t)} < n}$ for ${\displaystyle 0 < t < {\pi \over 2n}}$, it's equivalent to ${\displaystyle {\sin(nt) \over nt} < {\sin(t) \over t}}$. This follows from the fact that ${\displaystyle {\sin(x) \over x}}$ is decreasing on ${\displaystyle (0,{\pi \over 2}]}$; the same fact gives that ${\displaystyle {\sin(t) \over t} < {\sin({\pi \over 2}) \over {\pi \over 2}} = {2 \over \pi}}$ for ${\displaystyle 0 < t < {\pi \over 2}}$, which we also used above.
Assume that $n\in \mathbb{N}$.
Then the ratio of sines is polynomial in cosines: $ \frac{\sin(n t)}{\sin(t)} = \cos((n-1) t) + \cos(t) \frac{\sin((n-1) t}{\sin(t)} = \ldots = \sum_{k=1}^n \cos((n-k) t) \cdot \cos^{k-1}(t) \leqslant n $
Since $\sin(t)$ is increasing on the interval $\left(0,\frac{\pi}{2}\right)$, and since $\frac{\sin(n t)}{\sin(t)} < n$ for $0
Hint: prove that $\dfrac{\sin n t}{\sin t}\le n$ for $0
Write $ \frac{\sin(n\,t)}{\sin t}=\frac{\sin(n\,t)}{t}\cdot\frac{t}{\sin t}. $ From $\sin t\le t$ it follows that $ \frac{|\sin(n\,t)|}{t}\le\min(n,t^{-1}),\quad t>0.\tag1 $ From convexity, it follows that $ \Bigl(\frac{t}{\sin t}\Bigr)^4\le1+\Bigl(\Bigl(\frac{\pi}{2}\Bigr)^3-\frac{2}{\pi}\Bigr)t,\quad0\le t\le\frac{\pi}{2}.\tag2 $ From (1) and (2) we get that $\begin{align*} \int_0^{\frac{\pi}{2}}t\Bigl(\dfrac{\sin(nt)}{\sin t}\Bigr)^4dt&\le\int_0^{\frac{\pi}{2}}t\bigl(\min(n,t^{-1})\bigr)^4\Bigl(1+\Bigl(\Bigl(\frac{\pi}{2}\Bigr)^3-\frac{2}{\pi}\Bigr)t\Bigr)dt\\ &=n^4\int_0^{\frac1n}t\,\Bigl(1+\Bigl(\Bigl(\frac{\pi}{2}\Bigr)^3-\frac{2}{\pi}\Bigr)t\Bigr)dt+\int_{\frac1n}^{\frac\pi2}t^{-3}\Bigl(1+\Bigl(\Bigl(\frac{\pi}{2}\Bigr)^3-\frac{2}{\pi}\Bigr)t\Bigr)dt\\ &=n^2+\frac{(\pi ^4-16) n}{6 \pi }-\frac{\pi ^4-8}{4 \pi ^2}\\ &<\frac{\pi^2}{4}\,n^2 \end{align*}$ if $n>2$. The cases $n=1$ and $n=2$ can be checked by direct computation.
Note
A better estimate can be obtained using the inequality $ \frac{\sin t}{t}\le\min\Bigl(\frac{\pi}{2},1+(1-\frac{2}{\pi})t,\frac{6}{6-t^2}\Bigr). $