- Let $E \subset \mathbb R$ be a set of finite (Lebesgue) measure and let $\alpha_n \to +\infty$. Then prove $$ \lim_{n} \int_E 2\sin^2{(\alpha_nt)} dt = \mathscr{L}^{1}(E) $$
- Using the previous point, if necessary, prove that is $a_n$ is a sequence of real numbers such that $\lim_n \sin(a_n x)$ exists on a set of positive measure, then $a_n$ has a finite limit.
I have some ideas concerning point 1 but I have not gota formal proof. I think we should use the identity $2\sin^2x=1-\cos(2x)$ and - obviusly - the dominated convergence theorem. If this approach is correct then it should be enough to prove that the integral of $\cos{\alpha_nt}$ over $E$ tends to zero...
Concerning the second point I have no idea.
For the first question: there is a result that says $E$ can be written as the union $G\cup N$ where $G$ is $G_\delta$ and $N$ has measure zero. Therefore, for any $\varepsilon>0$ there is an open set $U$ such that $|U-E|<\varepsilon.$ Write $U$ as a union of open intervals and on each open interval you have that the integral goes to $0$.
For question 2, try Daniel Fischer's comment.