Intégration (mathématiques)/Exercices/Propriétés de l'intégrale
Une page de Wikiversité.
| Exercice 1 | |||
| Leçon : Intégration (mathématiques) | |||
|---|---|---|---|
|
Cet exercice est de niveau 14. |
|||
Sommaire |
[modifier] Exercice 1
Soit
continue non nulle telle que 
Montrer que
pour tout
.
Comme
et
alors
.
En intégrant, on a :

Or si f(x) < 1 pour tout
alors :
et :
La fonction
prenant au moins une valeur strictement positive sur [0,1], nous pouvons écrire :
![\int_0^1 \left[f(x) - f^2(x)\right]\mathrm{d}x > 0](http://upload.wikimedia.org/math/a/0/7/a078afcdf4a8ce6c2b6608a04bf79f8f.png)
d'où :

soit :

Ainsi, l'égalité cherchée ne peut avoir lieu que si f(x) = 1, qui est d'ailleurs aussi une condition suffisante puisque l'on aurait :

La condition recherchée est démontrée.
[modifier] Exercice 2
Soit
continue telle que 
Montrer qu'il existe
tel que 
Remarquons que :
![\begin{align}
\int_0^1 x\mathrm{d}x &= \left[\frac{1}{2}x^2\right]_0^1 \\
&= \frac{1}{2}.
\end{align}](http://upload.wikimedia.org/math/8/8/4/88490d9cb200a9d6308890632f3af464.png)
On a alors :

d'où :
![\int_{0}^{1} [f(x) - x]\mathrm{d}x = 0.](http://upload.wikimedia.org/math/4/6/3/463ad5c2fde56975450da63d8b350430.png)
Les fonctions y = f(x) et y = x étant toutes deux continues,
l'est aussi.
Supposons que g ne s'annule jamais sur ]0,1[, avec, par exemple, f(x) > x pour tout élément x de ]0,1[. Par continuité,
et
. Nous aurions donc :
![\int_0^1 [f(x)-x]\mathrm{d}x > 0](http://upload.wikimedia.org/math/0/c/6/0c646cfb8229c1f9c7e088e54b001ca1.png)
soit :

et :

Nous aboutissons à la même conclusion si l'on suppose que f(x) < x.
La fonction g est donc soit la fonction nulle soit une fonction prenant des valeurs positives et négatives sur ]0,1[. Dans tous les cas, du fait de sa continuité, elle s'annule au moins une fois, à un point c, sur cet intervalle.
[modifier] Exercice 3
Montrer que la suite définie par
converge et calculer sa limite.
Posons : 
En divisant par n2 aux nominateurs et dénominateurs de la somme, on a :

Nous reconnaissons une somme de Riemann de f associée à la partition de [0,1] en n sous-segments. Or f est continue et intégrable sur [0,1]. Sa somme de Riemann un converge donc vers
.
![\begin{align}
\lim_{n\to +\infty} u_n &= \int_0^1 \frac{1}{1+x^2}\mathrm{d}x \\
&= \left[\arctan x\right]_0^1 \\
&= \frac{\pi}{4}
\end{align}](http://upload.wikimedia.org/math/c/8/1/c814d92d302317247e029d9f62eabace.png)
Se reporter au Chapitre 3 du cours de Trigonométrie pour la dérivée de la fonction arctan.
[modifier] Exercice 4
- Soient f une fonction continue, T-périodique sur
, et a < b dans
. Montrer que 
Considérons la somme de Riemann de f définie par :

Comme f est T-périodique, alors pour toute valeur de X, f(X + t) = f(X). Ainsi :

donc :

- Soient f une fonction impaire sur
, et
. Que dire de
? Quid si f est paire ?
Pour f impaire, on a :

Pour f paire, on a :

[modifier] Exercice 5
Soient 0 < a < b et f une fonction continue sur
. Déterminer

- Tout d'abord, fixons
. On va se ramener à l'étude de la convergence de

quand x tend vers 0.
En effet, par changement de variables à l'aide de la fonction
de classe C1, on a :

Remarque : la fonction g qui, à un réel strictement positif t, associe le réel
, est continue sur
et donc Riemann-intégrable sur tout segment inclus dans
.
- On remarque qu'à
fixé, par continuité de f en 0, on a

Montrons que

Pour cela, on revient à la définition en epsilon.
Soit
. Par continuité de f en 0, il existe
tel que :
![\forall x \in ]0,\delta[ \quad |f(x)-f(0)| \le \frac{\varepsilon}{\ln\left(\frac{b}{a}\right)}.\qquad (2)](http://upload.wikimedia.org/math/a/a/a/aaa4398a1a001a1b93bcecb3fc34209f.png)
Fixons
où
. Par (1) on a tout d'abord

et en utilisant la linéarité de l'intégration et la propriété de continuité de l'intégration, on obtient
![\begin{align}
\left|\int_{ax}^{bx} \frac{f(t)}{t}\mathrm{d}t - \int_{a}^{b} \frac{f(0)}{t}\mathrm{d}t\right| & = \left|\int_{a}^{b}\left[\frac{f(tx)}{t} - \frac{f(0)}{t}\right]\mathrm{d}t\right| \\
& \le \int_{a}^{b} \frac{|f(tx)-f(0)|}{t}\mathrm{d}t.\qquad (3) \\
\end{align}](http://upload.wikimedia.org/math/e/a/f/eafed5b4cc4e67024237d3ff0a0d0f44.png)
Pour
, on a

car
et
d'où, de (2),

En utilisant (3) et (4) et la croissance de l'intégration, on obtient

Finalement, on a démontré
![\forall \varepsilon \in \mathbb{R}_+^* \quad \exists \eta \in \mathbb{R}_+^* \quad \forall x \in ]0,\eta[ \quad \left|\int_{ax}^{bx}\frac{f(t)}{t}\mathrm{d}t - \int_{a}^{b} \frac{f(0)}{t}\mathrm{d}t\right| \le \varepsilon](http://upload.wikimedia.org/math/8/b/3/8b388800eecbde50c253f58fda323f2f.png)
i.e.

[modifier] Exercice 6
Soient
continues telles que
. Montrer

On a
, comme les deux fonctions sont positives.
D'où :
.
On applique ensuite l'inégalité de Cauchy-Schwartz :
.
[modifier] Exercice 7
Soit a > 0 et
de classe C1 telle que
. Montrer que :

Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. Comment faire ?
[modifier] Exercice 8
Soit a > 0 et
de classe C2. Montrer que :
![\forall t \in [-a,a],\quad |f'(t)| \le \frac{1}{2a}|f(a)-f(-a)|+\frac{a^2+t^2}{2a}\sup_{[-a,a]}|f''|](http://upload.wikimedia.org/math/0/2/b/02bda878ba735fccc8e8bd447657ab54.png)
Cette solution n'a pas été rédigée. Vous pouvez le faire en modifiant le paramètre « contenu » du modèle. Comment faire ?