Intégrale de Riemann - Définition

Source: Wikipédia sous licence CC-BY-SA 3.0.
La liste des auteurs est disponible ici.
Interprétation géométrique de l'intégrale de la fonction f.
Interprétation géométrique de l'intégrale de la fonction f.

En analyse réelle, l'intégrale de Riemann est une façon simple de définir l'intégrale d'une fonction sur un intervalle. En termes géométriques, cette intégrale s'interprète comme l'aire du domaine sous la courbe représentative de la fonction, comptée algébriquement.

Le procédé général utilisé pour définir l'intégrale de Riemann est l'approximation par des fonctions en escalier, pour lesquelles la définition de l'aire sous la courbe est aisée. Les fonctions pour lesquelles cette définition est possible sont dites intégrables au sens de Riemann. C'est le cas notamment des fonctions continues, continues par morceaux, ou réglées sur un segment [a,b].

On obtient un procédé d'intégration plus général et plus satisfaisant, notamment vis-à-vis du passage à la limite, en introduisant l'intégrale de Lebesgue.

Définition de l'intégrale

Les fonctions en escalier

Aire sous une courbe approchée par une suite de rectangles
Aire sous une courbe approchée par une suite de rectangles

Soit E un sous-ensemble quelconque du segment [a,b]. Soit χE la fonction qui vaut 1 si x appartient à E et 0 si x n'appartient pas à E. χE est appelée la fonction indicatrice de E, ou la fonction caractéristique de E.

Ces fonctions sont notre point de départ et nous posons :

pour tout segment [c,d] inclus dans [a,b] et pour toute constante z≥0, \int z \chi_{[c,d]}(x)\,\mathrm d x = z(d-c).

Dans ce cas l'aire sous la courbe de cette fonction est égale à l'aire du rectangle de base [c,d] et de hauteur z.

De la même manière, quelques expérimentations géométriques avec de telles fonctions nous amènent à penser que si f1, f2,..., f n sont n fonctions indicatrices sur des intervalles disjoints et si a1,a2,...,an sont des scalaires positifs, alors l'aire du domaine sous la courbe de la fonction

f=a_1f_1+a_2f_2+\cdots+a_nf_n

doit être égale à

\int f = a_1 \int f_1 + a_2 \int f_2 + \cdots + a_n \int f_n

Une fonction de cette forme est appelée une combinaison linéaire de fonction indicatrices, ou tout simplement une fonction en escalier. Remarquons maintenant que nous avons décidé quelle devrait être l'intégrale d'une fonction en escalier.

Nous prenons un raccourci maintenant en déclarant que la formule précédente reste valable si certains coefficients aj sont négatifs.

Une différence cruciale entre l'intégrale de Riemann et celle de Lebesgue, est que les fonctions en escalier de l'intégrale de Lebesgue sont des combinaisons linéaires de fonctions indicatrices sur des ensembles qui ne sont pas nécessairement des intervalles.

Bien sûr, nous devons travailler d'avantage pour pouvoir calculer des intégrales d'une plus grande classe de fonctions que celle des fonctions en escalier. Aussi remarquons que l'intégrale de Lebesgue n'utilise pas de sommes supérieures, et que les fonctions positives sont traitées en premier, avant d'étendre l'intégrale aux fonctions qui peuvent prendre des valeurs négatives.

Définition générale

Soit f continue sur [a;b]. Soit x_0,x_1,\dots,x_n une subdivision de [a;b] (avec x0 = a et xn = b), ξi tel que x_{i-1}\leqslant\xi_i\leqslant x_i et Δxi = xixi − 1 :

\int_a^b f(x)\,\mathrm dx = \lim_{\underset{\scriptstyle\Delta x_i\to0}{n\to\infty}}\ \sum_{i=1}^n f(\xi_i)\Delta x_i

Fonctions à valeurs réelles : intégrales inférieure et supérieure

À partir d'observations géométriques, simplement en voyant que le domaine Sf[réf. nécessaire] est un sous-ensemble de Sg[réf. nécessaire] (Au moins dans le cas de fonctions positives, ceci est clair.), nous imposons que si f vérifie pour tout x de [a,b], f(x)≤g(x) alors

\int f \le \int g

Nous appelons cette propriété la croissance de l'intégrale.

L'intégrale d'une fonction en escalier étant définie et la condition de monotonie étant imposée, nous pouvons intégrer des fonctions à valeurs positives arbitraires. Soit f une fonction à valeurs réelles définie sur [a,b] et soit l une fonction en escalier telle que pour tout x on ait, l(x)≤f(x). De plus, soit u une fonction en escalier telle que pour tout x on ait, u(x)≥f(x). Si nous devions donner une valeur à ∫ f conforme à la condition de monotonie, alors nous devrions avoir :

\int l \le \int f \le \int u

L'intégrale ∫l est alors appelée une somme inférieure pour f et l'intégrale ∫u est alors appelée une somme supérieure pour f. L'inégalité précédente doit être vérifiée pour toutes sommes supérieures et inférieures de f, donc nous pouvons en déduire une autre inégalité:

\sup_l\int l\le\int f\le \inf_u\int u

où supll est la borne supérieure de toutes les sommes inférieures, et infuu est la borne inférieure de toutes les sommes supérieures (voir borne supérieure et borne inférieure.) Le nombre supll est parfois appelé intégrale inférieure de f; de la même manière, le nombre infuu est appelé intégrale supérieure.

Si les intégrales supérieures et inférieures sont égales, alors il y a seulement une façon de définir ∫ f. Il ne peut pas arriver que l'intégrale inférieure soit plus grande que l'intégrale supérieure (par construction, comme le lecteur peut le vérifier.) Cependant, il peut arriver que l'intégrale supérieure ne soit pas égale à l'intégrale inférieure. Par exemple, le lecteur peut vérifier cela, pour la fonction indicatrice :

χQ

où Q est l'ensemble des nombres rationnels du segment [a,b] avec a<b, l'intégrale inférieure est égale à 0 et l'intégrale supérieure est égale à b-a>0.

Toutes les fonctions dont les intégrales inférieures et supérieures sont finies et égales, constituent l'ensemble des fonctions intégrables au sens de Riemann ou Riemann-intégrables. En revanche, les fonctions qui ont des intégrales inférieures et supérieures différentes sont dites non intégrables au sens de Riemann. Dans le contexte de cet article, nous dirons intégrable ou non intégrable sachant que nous parlons d'" intégrabilité " au sens de Riemann.

On peut vérifier qu'une fonction en escalier a une intégrale égale à ses intégrales supérieures et inférieures.

Propriétés

Lemme 1Soit [a,b] un segment. L'application I:f → ∫f qui associe à f l'intégrale de a à b est une forme linéaire. Et ainsi pour toutes fonctions intégrables f et g, et tout nombre réel λ, If + g) = λI(f) + I(g).

Ceci peut être démontré à partir des premiers principes de la construction de l'intégrale de Riemann.

Théorème 2Toute fonction à valeurs réelles, continue sur le segment [a,b] est intégrable.

La preuve repose sur le fait qu'une fonction continue sur un segment est uniformément continue.

Corollaire 3Si f est continue sur [a,b] sauf peut-être en un nombre fini de points de discontinuité, et si f est bornée, alors f est intégrable.

La condition f bornée ne peut pas être omise.

Théorème 4Si (fk) est une suite de fonctions intégrables sur [a,b], et si (fk) converge uniformément vers une fonction f, alors f est intégrable, et les intégralesfk convergent versf.
Corollaire 5Soit C(a,b) l'espace de Banach des fonctions continues sur [a,b] muni de la norme de convergence uniforme. Alors I:f∫f est continue. Conjointement avec le lemme 1, nous pouvons en déduire que l'intégrale est une forme continue sur C(a,b).

Les hypothèses du théorème 4 (convergence uniforme sur un segment) sont très fortes. Une première difficulté avec l'intégrale de Riemann se pose, lorsque nous tentons d'amoindrir ces hypothèses. En fait, la suite numérique (∫fk) converge vers le nombre ∫f plus souvent que le théorème le suggère, mais il est très difficile de le prouver dans cet ensemble. La meilleure façon d'avoir un théorème plus fort est d'utiliser l'intégrale de Lebesgue.

Un autre problème avec l'intégrale de Riemann est qu'elle ne s'étend pas aux intervalles non bornés très facilement. Si nous souhaitons intégrer une fonction f de -∞ à +∞, nous pouvons calculer

\lim_{n\to+\infty} \int_{-n}^n f(x)\mathrm dx

Cependant, certaines propriétés (telles que l'invariance par translation, le fait que l'intégrale de Riemann ne change pas si nous translatons l'intégrande f) ne sont plus vérifiées. En fait, le Théorème 4 devient faux pour une telle intégrale, et il devient très difficile d'utiliser des limites conjointement avec l'intégrale. De telles intégrales sont appelées intégrales impropres. À nouveau, l'intégration de Lebesgue allège ces difficultés.

Sommes de Riemann

Comparaison avec d'autres procédés d'intégration

Page générée en 0.045 seconde(s) - site hébergé chez Contabo
Ce site fait l'objet d'une déclaration à la CNIL sous le numéro de dossier 1037632
A propos - Informations légales | Partenaire: HD-Numérique
Version anglaise | Version allemande | Version espagnole | Version portugaise