Exercices corrigés - Fonctions à valeurs vectorielles
Enoncé
Soit $I$ un intervalle, $E$ un espace vectoriel euclidien et $f:I\to E$ dérivable. On suppose de plus que $f$ ne s'annule pas et on pose, pour tout $t\in I$, $g(t)=\|f(t)\|$. Démontrer que $g$ est dérivable et donner $g'$.
Exercice 2 - Inégalité des accroissements finis pour un espace euclidien [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien et $f:[a,b]\to E$ continue sur $[a,b]$ et dérivable sur $]a,b[$. En considérant $\phi(t)=\langle f(b)-f(a),f(t)\rangle$, démontrer qu'il existe $c\in ]a,b[$ tel que
$$\|f(b)-f(a)\|\leq (b-a)\|f'(c)\|.$$
Exercice 3 - Inégalité des accroissements finis vectorielle [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel normé de dimension finie, $f:[a,b]\to E$ et $g:[a,b]\to\mathbb R$. On suppose que $f$ et $g$ sont dérivables sur $[a,b]$ et que pour tout $t\in [a,b]$, $\|f'(t)\|\leq g'(t)$.
Soit $\veps>0$ et
$$A_\veps=\{x\in [a,b];\ \forall t\in [a,x],\ \|f(t)-f(a)\|\leq g(t)-g(a)+\veps(t-a)\}.$$
- Justifier que $A_\veps$ admet une borne supérieure, puis que $\sup(A_\veps)\in A_\veps$.
- Démontrer que $\sup A_\veps=b$.
- En déduire que $\|f(b)-f(a)\|\leq g(b)-g(a)$.
Enoncé
Soit $f:[a,b]\to E$ de classe $\mathcal C^1$ telle que $f(a)=0$. Démontrer que
$$\left\| \int_a^b f(t)dt\right\|\leq \frac{(b-a)^2}2\sup_{t\in [a,b]}\|f'(t)\|.$$
Exercice 5 - Norme d'une intégrale égale à l'intégrale de la norme [Signaler une erreur] [Ajouter à ma feuille d'exos]
Enoncé
Soit $E$ un espace vectoriel euclidien et $f:[a,b]\to E$ continue. On suppose que
$$\int_a^b \|f(t)\|dt=\left\|\int_a^b f(t)dt\right\|.$$
On note $u$ le vecteur unitaire de $E$ défini par
$$u=\frac{\int_a^b f(t)dt}{\int_a^b \|f(t)\|dt}.$$
Pour tout $t\in [a,b]$, on décompose $f(t)$ dans la somme directe $\mathbb Ru\oplus^\perp(\mathbb Ru)^\perp$ sous la forme
$f(t)=\alpha (t)u+v(t)$.
- Démontrer que $\alpha$ et $v$ sont continues sur $[a,b]$.
- Démontrer que $\int_a^b v(t)dt$ est orthogonal à $u$.
- Démontrer que $\int_a^b \alpha(t)dt=\int_a^b \|f(t)\|dt$.
- Démontrer que, pour tout $t\in [a,b]$, $\alpha(t)\leq \|f(t)\|$.
- En déduire que, pour tout $t\in [a,b]$, $f(t)=\|f(t)\|u$.
- Le résultat subsiste-t-il si on ne suppose pas que $E$ est euclidien?
Enoncé
Soit $n\geq 1$ et $f\in\mathcal C^n(I,\mathbb C)$, où $I$ est un intervalle de $\mathbb R$, telle que $|f(t)|=1$ pour tout $t\in I$. On souhaite prouver l'existence de $\alpha\in\mathcal C^n(I,\mathbb R)$ telle que, pour tout $t\in I$, on ait
$$f(t)=e^{i\alpha(t)}.$$
- Montrer que si $\alpha_1$ et $\alpha_2$ sont deux solutions du problème, alors il existe $k\in\mathbb Z$ tel que, pour tout $t\in I$, $\alpha_1(t)=\alpha_2(t)+k2\pi$.
- Soit $t_0\in I$ et $\alpha_0$ un argument de $f(t_0)$. En considérant $$\alpha(t)=\alpha_0+\frac 1i\int_{t_0}^t \frac{f'(x)}{f(x)}dx$$ démontrer que le problème admet bien une solution.
Enoncé
Soit $f:\mathbb R\to E$ de classe $\mathcal C^2$. On suppose que $f$ et $f''$ sont bornées.
- Soit $x\in\mathbb R$ et $h>0$. Démontrer que $$\|f'(x)\|\leq\frac{2\|f\|_\infty}h+\frac{h\|f''\|_\infty}2.$$
- En déduire que $$\|f'\|_\infty\leq 2\sqrt{\|f\|_\infty \|f''\|_\infty}.$$