\( \int 9 ^ { x ^ { k } + r _ { x } } . \)

Partie II- Comportement à l'infini des solutions de \( :(E): y^{\prime \prime}-\frac{1}{1+t^{2}} y^{\prime}+y=0 \) Soi \( f \) une solution non nulle de \( (E): y^{\prime \prime}-\frac{1}{1+t^{2}} y^{\prime}+y=0 \). On note \( q: t \in \mathbb{R}^{+} \mapsto \frac{1}{1+t^{2}} \) 3. Justifier à l'aide du théorème de Cauchy-Lipschitz, que pour tout \( t \in \mathbb{R},\left(f(t), f^{\prime}(t)\right) \neq(0,0) \) 4. En déduire qu'il existe deux applications \( r \in \mathcal{C}^{1}\left(\mathbb{R}^{+}, \mathbb{R}_{+}^{*}\right) \) et \( \theta \in \mathcal{C}^{1}\left(\mathbb{R}^{+}, \mathbb{R}\right) \) telles que \[ \forall t \in \mathbb{R}^{+}, f(t)=r(t) \cos (\theta(t)) \text { et } f^{\prime}(t)=r(t) \sin (\theta(t)) \]

7. On se propose dans cette question de montrer que la fonction \( t \mapsto \theta(t)+t \) tend vers ur réelle quand \( t \rightarrow+\infty \). (a) Etablir que que \( \forall t \geq 0,\left|\theta^{\prime}(t)+1\right| \leq \frac{1}{1+t^{2}} \). En déduire que : i. La fonction \( t \mapsto \theta(t)+t \) est majorée sur \( \mathbb{R}^{+} \).

Partie II- Comportement à l'infini des solutions de \( :(E): y^{\prime \prime}-\frac{1}{1+t^{2}} y^{\prime}+y=0 \) Soi \( f \) une solution non nulle de \( (E): y^{\prime \prime}-\frac{1}{1+t^{2}} y^{\prime}+y=0 \). On note \( q: t \in \mathbb{R}^{+} \mapsto \frac{1}{1+t^{2}} \). 3. Justifier à l'aide du théorème de Cauchy-Lipschitz, que pour tout \( t \in \mathbb{R},\left(f(t), f^{\prime}(t)\right) \neq(0,0) \). 4. En déduire qu'il existe deux applications \( r \in \mathcal{C}^{1}\left(\mathbb{R}^{+}, \mathbb{R}_{+}^{*}\right) \) et \( \theta \in \mathcal{C}^{1}\left(\mathbb{R}^{+}, \mathbb{R}\right) \) telles que \[ \forall t \in \mathbb{R}^{+}, f(t)=r(t) \cos (\theta(t)) \text { et } f^{\prime}(t)=r(t) \sin (\theta(t)) \text {. } \] 5. Exprimer \( r \) en fonction de \( f \) et \( f^{\prime} \). Les fonctions \( r \) et \( \theta \) sont fixées ainsi pour la suite de la partie. (a) Montrer que \( \theta^{\prime}=-1+q \sin (\theta) \cos (\theta) \) (b) Montrer que \( r^{\prime}=q r \sin 2 \theta \). En déduire la monotonie de \( r \). (c) Etudier les variations de \( t \mapsto r(t) \exp (-\arctan (t)) \) et en déduire que \( 0 \leq r(t) \leq r(0) \exp \) (arctar que \( r \) a une limite strictement positive en \( +\infty \).

Démontrer que \( f \) et \( f^{\prime} \) sont bornées.

(18) \( \int \frac{\tan ^{-1} x}{1+x^{2}} d x \)