Les-Mathematiques.net - Cours de mathématiques supérieures

A lire

Deug/Prépa

Licence

Agrégation
A télécharger

Télécharger

227 personne(s) sur le site en ce moment

E. Cartan

A lire

Articles

Math/Infos

Récréation
A télécharger

Télécharger

Théorème de Cantor-Bernstein

Théo. Sylow

Théo. Ascoli

Théo. Baire

Loi forte grd nbre

Nains magiques

Propriétés de l'intégrale de Riemann

suivant: Intégrale de Riemann et monter: Calcul intégral précédent: Intégrale de Riemann

Propriétés de l'intégrale de Riemann

Proposition Pour $f\in \Ri ab$ , on a

$\displaystyle \forall X\in S_{a,b}: s(f,X) \le \int_a^b f(x)\,\rd x \le S(f,X) ~. \eqno{(sIS)}$

En particulier, on a

$\displaystyle (b-a)\inf f([a,b]) \le \int_a^b f(x)\,\rd x \le (b-a) \sup f([a,b]) ~. \eqno{(iIs)}$

Démonstration L'inégalité est conséquence immédiate de la définition de resp. . Pour montrer , il suffit de prendre $X=\set{a,b}$ .

Théorème [de Chasles] Soit $a\le c\le b$ . Alors,

$\displaystyle f\in \Ri ab \iff \lr(){~ f\in \Ri ac \land f\in \Ri cb ~}$

et on a la relation de Chasles :

$\displaystyle \int_a^b f(x)dx = \int_a^c f(x)dx + \int_c^b f(x)dx ~.$

Démonstration Pour tout $X\in S_{a,c},~Y\in S_{c,b}$ , on a évidemment $X\cup Y\in S_{a,b}$ et $s(f,X\cup Y)=s(f,X)+s(f,Y)$ . Ceci entraîne . Le même s'applique à . Ainsi l'intégrabilité sur et implique celle sur , et la relation de Chasles. Réciproquement, tout $Z\in S_{a,b}$ qui contient se décompose en $X\cup Y$ avec $X\in S_{a,c},~Y\in S_{c,b}$ , et on a les mêmes relations pour les sommes de Darboux. Pour passer à et , on peut toujours supposer $c\in Z$ , quitte à l'ajouter, sans perte de généralité. On en déduit le théorème. (Exercice: détailler cette démonstration.)

Définition Pour , on définit

$\displaystyle \int_a^b f(x)dx = -\int_b^a f(x)dx ~,$

et pour

, $\int_a^af(x)dx=0$ .

Remarque Avec ces conventions, la relation de Chasles est valable quel que soit l'ordre de (par exemple aussi pour ). C'est en effet la principale motivation pour ces définitions, ce qui laisse deviner l'utilité et importance de cette relation dans les applications.
Il convient d'être très vigilant concernant cette généralisation lorsqu'on utilise des inégalités (telles que celles de la Prop. ), qui ne sont généralement valables que pour .

Proposition $\Ri ab$ est un sous-espace vectoriel du $\R$ -espace vectoriel $\R^{[a,b]}$ des fonctions de dans $\R$ , et $I: \Ri ab\to\R$ , $f\mapsto\int_a^bf(x)dx$ est une forme linéaire sur $\Ri ab$ . Autrement dit, $o\in \Ri ab$ et surtout

$\displaystyle \forall f,g\in \Ri ab,\, \forall \a,\b\in\R: \a\,f + \b\,g\in \Ri ab$

$\displaystyle \int_a^b\p{\a\,f(x)+\b\,g(x)}dx = \a\int_a^b f(x)dx + \b\int_a^b g(x)dx ~.$

Démonstration Les sommes de Darboux ne sont pas linéaires (car $\sup$ et $\inf$ ne sont pas additives). Passons donc par les sommes de Riemann, dont la linéarité, $S(\a f+\b g,X,\xi)=\a S(f,X,\xi)+ \b S(g,X,\xi)$ , est évidente, ce qui donne, par passage à la limite $\vert X\vert\to0$ , le résultat souhaité. (Exercice: détailler ceci...)

Proposition Pour $f,g\in \Ri ab$ , (), on a:

$\displaystyle f \ge 0$	$\displaystyle \impl$	$\displaystyle \int_a^b f(x)dx \ge 0 ~,$	(1)
$\displaystyle f \le g$	$\displaystyle \impl$	$\displaystyle \int_a^b f(x)dx \le \int_a^b g(x)dx ~,$	(2)
$\displaystyle \vert f\vert\in \Ri ab$	et	$\displaystyle \lr\vert\vert{\int_a^b f(x)dx} \le \int_a^b \vert f(x)\vert dx ~.$	(3)

Démonstration (1): $f\ge0\impl s(f,X)\ge0$ et $s(f,X)\le\int_a^b f(x)dx$ .
(2): $g\ge f\impl g-f\ge0\stackrel{(1)}\impl\int(g-f)\ge0 \stackrel{(lin)}\impl\int g\ge\int f$ .

(3): on a $-\vert f\vert\le f \le \vert f\vert$ , avec le (2) donc $\int f\le\int\vert f\vert$ et $-\int f\le\int\vert f\vert$ .