Intégration en mathématiques/Exercices/Généralité

Exercice 1-1

Soient $f$ et $g$ deux fonctions continues sur un intervalle fermé borné $[a,b]$ ($a<b$). Quel est le signe de

$\int _{a}^{b}[f(t)+\lambda g(t)]^{2}\,\mathrm {d} t$

où $\lambda$ désigne un nombre réel ?

En déduire l'inégalité suivante, appelée inégalité de Schwarz :

$\left[\int _{a}^{b}f(t)g(t)\,\mathrm {d} t\right]^{2}\leqslant \int _{a}^{b}[f(t)]^{2}\,\mathrm {d} t\int _{a}^{b}[g(t)]^{2}\,\mathrm {d} t$.

Aide : On pourra développer $\int _{a}^{b}[f(t)+\lambda g(t)]^{2}\,\mathrm {d} t$, et la considérer comme un polynôme en $\lambda$, de degré inférieur ou égal à 2.

Solution

Pour tout réel $\lambda$,

$0\leq \int _{a}^{b}[f(t)+\lambda g(t)]^{2}\,\mathrm {d} t=A\lambda ^{2}+2B\lambda +C$

avec $A=\int _{a}^{b}[f(t)]^{2}\,\mathrm {d} t\geq 0$, $B=\int _{a}^{b}f(t)g(t)\,\mathrm {d} t$ et $C=\int _{a}^{b}[g(t)]^{2}\,\mathrm {d} t$, et l'on veut en déduire que $B^{2}\leq AC$.

Si $A>0$, en appliquant l'inégalité précédente à $\lambda =-B/A$, on trouve : $0\leq C-B^{2}/A$, qui équivaut à l'inégalité souhaitée.

Si $A=0$ alors $f$ est la fonction nulle donc $B^{2}=0=AC$.

 

Exercice 1-2

Démontrer que, si $f$ et $g$ deux fonctions numériques continues, positives sur un intervalle $[a,b]$ ($a<b$) telles que, pour tout $x$ de $[a,b]$, $f(x)g(x)\geq 1$, alors :

$\int _{a}^{b}f(x)\,\mathrm {d} x\int _{a}^{b}g(x)\,\mathrm {d} x\geq (a-b)^{2}$.

Aide : On pourra utiliser l'exercice 1-1.

Solution

Posons $F(x)={\sqrt {f(x)}}$ et $G(x)={\sqrt {g(x)}}$. Alors :

• $\int _{a}^{b}f(x)\,\mathrm {d} x\int _{a}^{b}g(x)\,\mathrm {d} x=\int _{a}^{b}[F(x)]^{2}\,\mathrm {d} x\int _{a}^{b}[G(x)]^{2}\,\mathrm {d} x$ ;
• d'après l'inégalité de Schwarz, $\int _{a}^{b}[F(x)]^{2}\,\mathrm {d} x\int _{a}^{b}[G(x)]^{2}\,\mathrm {d} x\geq \left(\int _{a}^{b}F(x)G(x)\,\mathrm {d} x\right)^{2}$ ;
• $F(x)G(x)={\sqrt {f(x)g(x)}}\geq 1$ donc $\int _{a}^{b}F(x)G(x)\,\mathrm {d} x\geq \int _{a}^{b}1\,\mathrm {d} x=b-a$.

L'inégalité annoncée se déduit de ces trois points.

 

Exercice 1-3

Soient $f$ et $g$ deux fonctions continues sur $[a,b]$ ($a<b$), avec $g$ non constamment nulle. Démontrer que si $g$ garde un signe constant sur $[a,b]$ et si $m\leq f\leq M$, on a :

$m\leq {\frac {\int _{a}^{b}f(t)g(t)\,\mathrm {d} t}{\int _{a}^{b}g(t)\,\mathrm {d} t}}\leq M$.

Solution

Supposons par exemple $g\geq 0$ (si $g\leq 0$, on aura la même conclusion en remplaçant $g$ par $-g$).

Alors, $mg\leq fg\leq Mg$ donc $m\int _{a}^{b}g(t)\,\mathrm {d} t\leq \int _{a}^{b}f(t)g(t)\,\mathrm {d} t\leq M\int _{a}^{b}g(t)\,\mathrm {d} t$. La conclusion s'ensuit en divisant les trois membres de cet encadrement par $\int _{a}^{b}g(t)\,\mathrm {d} t$, qui est $>0$.

 

Exercice 1-4

Soit f une fonction numérique continue sur un intervalle [a, b], et soit $M=\sup _{x\in [a,b]}|f(x)|$. On suppose que a < b et que M > 0.

1°  Prouver que :

$\int _{a}^{b}|f(t)|^{n}\,\mathrm {d} t\leqslant (b-a)M^{n}$

2°  Démontrer que :

$\lim _{n\to \infty }{\sqrt[{n}]{\int _{a}^{b}|f(t)|^{n}\,\mathrm {d} t}}\leqslant M$

3°  Démontrer que, quel que soit le réel strictement positif ε, il existe un intervalle [α,β] inclus dans [a,b] tel que, pour tout x de [α,β], $|f(x)|\geqslant M-\epsilon$.

En déduire que

$\int _{a}^{b}|f(t)|^{n}\,\mathrm {d} t\geqslant (M-\epsilon )^{n}(\beta -\alpha )$

Solution

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. ^{Comment faire ?}

 

Exercice 1-5

Soit $f$ une fonction deux fois dérivable et telle que $f''$ soit continue. Démontrer que :

$\int _{a}^{b}xf''(t)\,\mathrm {d} t=\left(bf'(b)-f(b)\right)-\left(af'(a)-f(a)\right)$.

Solution

Intégration par parties.