Oraux X Ens Analyse 4 24.djvu ❲2024-2026❳

Thus [ I_n = \frac1n J_n - \fracf(1)\cos nn = \frac1n \left( O(1/n) \right) - \fracf(1)\cos nn = -\fracf(1)\cos nn + O\left(\frac1n^2\right). ] So ( I_n = O(1/n) ), not yet ( o(1/n^2) ). Hmm — but the problem statement says: if ( f'(0)=0 ) and ( f \in C^2 ), prove ( I_n = o(1/n^2) ). That suggests extra cancellation in the boundary term? Let's check carefully.

Better: By Riemann–Lebesgue lemma, for any ( g \in L^1 ), ( \int g(t) \cos(nt) dt \to 0 ). Here ( g = f' \in L^1 ). Therefore [ \int_0^1 f'(t) \cos(nt) , dt \to 0. ] Hence [ I_n = \frac1n \cdot o(1) = o\left(\frac1n\right). ] Example with ( I_n \sim C/n ) Take ( f(t) = t ). Then ( f(0)=0 ), ( f \in C^1 ). Oraux X Ens Analyse 4 24.djvu

[ I_n = \left[ -f(t) \frac\cos(nt)n \right]_0^1 + \frac1n \int_0^1 f'(t) \cos(nt) , dt. ] Boundary term: at ( t=1 ): ( -f(1) \frac\cos nn ). At ( t=0 ): ( + f(0) \frac1n = 0 ). So boundary term is ( O(1/n) ). Thus [ I_n = \frac1n J_n - \fracf(1)\cos

We made a mistake: The boundary term at ( t=0 ) in the second integration by parts: ( f'(0) \sin(0)/n = 0 ) indeed, but the first integration by parts gave the term ( -f(1)\cos n / n ). That term is ( O(1/n) ), not smaller. So we cannot get ( o(1/n^2) ) unless ( f(1)=0 ). But the problem didn't assume ( f(1)=0 ). Possibly the intended condition is ( f(0)=f(1)=0 ) and ( f'(0)=0 )? Or perhaps the statement in (3) is: prove ( I_n = o(1/n) ) (already done) but with ( C^2 ) and ( f'(0)=0 ) we can improve? Wait, let's recompute properly with a view to ( o(1/n^2) ). That suggests extra cancellation in the boundary term