WikiPrépaLivrets

On définit la suite de fonctions (fn)n∈N∗(f_n)_{n \in \mathbb{N}^*} sur R+\mathbb{R}_+ par :

fn(t)={sin⁡(nt)ntsi t>00si t=0f_n(t) = \begin{cases} \frac{\sin(nt)}{n\sqrt{t}} & \text{si } t > 0
0 & \text{si } t = 0 \end{cases}
Étudier la convergence simple et uniforme de (fn)(f_n) sur R+\mathbb{R}_+.

1.

Pour la convergence simple, distinguer t=0t=0 et t>0t>0.

2.

Pour la convergence uniforme, effectuer le changement de variable u=ntu = nt dans l'expression du maximum ou utiliser l'inégalité ∣sin⁡x∣≤∣x∣|\sin x| \leq |x|.

Idées clés

•

Utilisation de ∣sin⁡u∣≤1|\sin u| \leq 1 pour les grandes valeurs.

•

Utilisation de ∣sin⁡u∣≤u|\sin u| \leq u pour les petites valeurs.

•

Changement de variable pour normaliser l'étude du maximum.

Résolution.

1. Convergence simple :

  • Pour t=0t=0, fn(0)=0→0f_n(0) = 0 \to 0.
  • Pour t>0t > 0, ∣fn(t)∣≤1nt→0|f_n(t)| \leq \frac{1}{n\sqrt{t}} \to 0 quand n→+∞n \to +\infty.
La suite (fn)(f_n) converge simplement vers la fonction nulle sur R+\mathbb{R}_+.

2. Convergence uniforme : Cherchons à majorer ∥fn∥∞\|f_n\|_\infty. Pour t>0t > 0, posons u=ntu = nt. Alors :

fn(t)=sin⁡(u)nu/n=sin⁡(u)nuf_n(t) = \frac{\sin(u)}{n\sqrt{u/n}} = \frac{\sin(u)}{\sqrt{n}\sqrt{u}}
Posons g(u)=sin⁡uug(u) = \frac{\sin u}{\sqrt{u}} pour u>0u > 0.
  • Au voisinage de 00 : g(u)∼uu=u→0g(u) \sim \frac{u}{\sqrt{u}} = \sqrt{u} \to 0. La fonction gg peut être prolongée par continuité en 0 par g(0)=0g(0)=0.
  • Au voisinage de +∞+\infty : ∣g(u)∣≤1u→0|g(u)| \leq \frac{1}{\sqrt{u}} \to 0.
La fonction gg est continue sur R+\mathbb{R}_+ et tend vers 0 à l'infini, elle est donc bornée. Soit M=sup⁡u∈R+∣g(u)∣M = \sup_{u \in \mathbb{R}_+} |g(u)|. Alors :
∀t∈R+,∣fn(t)∣=1n∣g(nt)∣≤Mn\forall t \in \mathbb{R}_+,   |f_n(t)| = \frac{1}{\sqrt{n}} |g(nt)| \leq \frac{M}{\sqrt{n}}
Comme Mn→n→+∞0\frac{M}{\sqrt{n}} \xrightarrow[n \to +\infty]{} 0, on conclut :
La suite (fn) converge uniformeˊment vers 0 sur R+.\boxed{\text{La suite } (f_n) \text{ converge uniformément vers 0 sur } \mathbb{R}_+.}

Majoration insuffisante au voisinage de zéro.

Une fonction continue tendant vers 0 à l'infini est bornée.