Somme de Riemann

En mathématiques, et plus précisément en analyse, les sommes de Riemann sont des sommes finies approchant des intégrales. En pratique, elles permettent de calculer numériquement des aires sous la courbe de fonctions ou des longueurs d'arcs, ou inversement, de donner une valeur à des suites de sommes. Elles peuvent également être utilisées pour définir la notion d'intégration. Leur nom vient du mathématicien allemand Bernhard Riemann.

L'idée directrice derrière la construction des sommes revient à approcher la courbe par une fonction constante par morceaux, avec des valeurs choisies de sorte à approcher au mieux la fonction originelle, puis à additionner les aires des rectangles ainsi formés, et enfin réduire la largeur de ces rectangles. C'est la mise en application de l'intégrale de Riemann.

Définition du cas le plus usuel

Avec pas constant.

Avec pas variable.

Calcul d'une même intégrale, par la méthode des points médians, sur deux subdivisions : à pas constant et à pas variable. Les deux méthodes tendent vers la même valeur tant que le pas tend vers 0.

Soit $f:[a,b]\rightarrow \mathbb {R}$ une fonction définie en tout point du segment $[a, b]$ . On se donne une subdivision marquée $σ = (a = x 0 < x 1 < x 2 < ... < x n = b; t i \in [x i - 1, x i] pour i = 1, \dots , n)$ . La somme de Riemann de $f$ sur $[a, b]$ liée à $σ$ est définie par :

S(f,\sigma )=\sum _{i=1}^{n}(x_{i}-x_{i-1})f(t_{i}).

Si le pas de la subdivision $σ$ tend vers zéro, alors la somme de Riemann générale converge vers $\int _{a}^{b}f(t)~\mathrm {d} t$ . C'est d'ailleurs la définition originale par Riemann de son intégrale[1].

Si, au lieu de demander que les sommes de Riemann convergent vers une limite $L$ lorsque le pas est majoré par un nombre $δ$ qui tend vers zéro, on demande que les sommes de Riemann puissent être rendues arbitrairement proches d'une valeur $L$ lorsque $x i - x i - 1 \leq δ(t i), t i \in [x i - 1, x i]$ , avec $δ$ une fonction strictement positive, on arrive au concept de l'intégrale de Kurzweil-Henstock. C'est une généralisation qui permet d'intégrer plus de fonctions, mais qui donne la même valeur à l'intégrale lorsque la fonction est déjà intégrable au sens de Riemann.

Cas particuliers

Certains choix de $t i$ sont plus répandus[2] :

pour $t i = x i - 1$ pour tout $i$ , on parle de méthode des rectangles à gauche
pour $t i = x i$ pour tout $i$ , on parle de méthode des rectangles à droite
pour $t i = 1 / 2 (x i - 1 + x i)$ pour tout $i$ , on parle de méthode du point médian
pour $f (t i) = sup {f (t), t i \in [x i - 1, x i]}$ pour tout $i$ , on parle de somme de Riemann supérieure ou somme de Darboux supérieure
pour $f (t i) = inf {f (t), t i \in [x i - 1, x i]}$ pour tout $i$ , on parle de somme de Riemann inférieure ou somme de Darboux inférieure

Ces deux derniers cas constituent la base de l'intégrale de Darboux.

Un cas couramment rencontré est celui d'une subdivision à pas constant : pour un entier $n > 0$ et une subdivision régulière

x_{k}=a+k{\frac {b-a}{n}}\quad {\text{avec}}\quad 0\leq k\leq n,

la somme de Riemann (la plus communément rencontrée) associée à $f$ est alors :

S_{n}(f)={\frac {b-a}{n}}\sum _{k=1}^{n}f\left(a+k{\frac {b-a}{n}}\right)=\sum _{k=1}^{n}(x_{k}-x_{k-1})f(x_{k}).

Ces sommes de Riemann équidistantes sont celles de la méthode des rectangles (à droite) pour le calcul des intégrales ; leur intérêt principal vient du « théorème » suivant, qui est en réalité un cas particulier de la définition de l'intégrale de Riemann : si $f$ est intégrable au sens de Riemann,

\lim _{n\rightarrow +\infty }S_{n}(f)=\int _{a}^{b}f(t)~\mathrm {d} t.

« Démonstration » dans le cas particulier d'une fonction continue

La « démonstration » qui suit admet qu'une fonction continue sur un segment est intégrable et utilise les propriétés de l'intégrale suivantes :

la valeur de l'intégrale d'une constante : $\int _{a}^{b}C~\mathrm {d} x=(b-a)C,$
la linéarité : $\int _{a}^{b}f(x)+Cg(x)~\mathrm {d} x=\int _{a}^{b}f(x)~\mathrm {d} x+C\int _{a}^{b}g(x)~\mathrm {d} x,$
la relation de Chasles : $\int _{a}^{b}f(x)~\mathrm {d} x+\int _{b}^{c}f(x)~\mathrm {d} x=\int _{a}^{c}f(x)~\mathrm {d} x$
la positivité de l'intégrale : si, pour tout $x$ de l'intervalle $[a, b]$ , on a $f (x) \geq 0$ , alors $\int _{a}^{b}f(x)~\mathrm {d} x\geq 0.$

En remarquant que

(x_{k}-x_{k-1})f(x_{k})=\int _{x_{k-1}}^{x_{k}}f(x_{k})~\mathrm {d} t,

on a

(x_{k}-x_{k-1})f(x_{k})-\int _{x_{k-1}}^{x_{k}}f(t)\,\mathrm {d} t=\int _{x_{k-1}}^{x_{k}}(f(x_{k})-f(t))~\mathrm {d} t

puis

S_{n}(f)-\int _{a}^{b}f(t)~\mathrm {d} t=\sum _{k=1}^{n}\int _{x_{k-1}}^{x_{k}}(f(x_{k})-f(t))~\mathrm {d} t.

Posons pour chaque $δ > 0$ :

\omega (\delta )=\sup\{|f(u)-f(t)|\;,a\leq u,t\leq b,|u-t|\leq \delta \}.

On a ainsi :

\left|S_{n}(f)-\int _{a}^{b}f(t)\,\mathrm {d} t\right|\leq \sum _{k=1}^{n}\int _{x_{k-1}}^{x_{k}}\omega \left({\frac {b-a}{n}}\right)~\mathrm {d} t=(b-a)\omega \left({\frac {b-a}{n}}\right).

Le théorème de Heine affirme que $f$ est uniformément continue sur le segment $[a, b]$ , ce qui équivaut à dire que $\lim _{\delta \to 0^{+}}\omega (\delta )=0$ . La convergence des $S n (f)$ vers $\int _{a}^{b}f(t)~\mathrm {d} t$ en résulte.

Exemple : la somme de Riemann associée à la fonction $x \mapsto \sqrt 1 - x 2$ sur une subdivision régulière de $[0 ; 1]$ converge vers $π/4$ : ${\frac {\pi }{4}}=\int _{0}^{1}{\sqrt {1-x^{2}}}~{\rm {d}}x=\lim _{n\to \infty }{\frac {1}{n}}\sum _{k=1}^{n}{\sqrt {1-\left({\frac {k}{n}}\right)^{2}}}=\lim _{n\to \infty }{\frac {1}{n^{2}}}\sum _{k=1}^{n}{\sqrt {n^{2}-k^{2}}}.$

Du point de vue du calcul numérique il est plus avantageux de considérer les sommes (méthode des trapèzes) :

T_{n}={\frac {b-a}{n}}\left({\frac {1}{2}}f(a)+f\left(a+{\frac {b-a}{n}}\right)+\dots +f\left(a+(n-1){\frac {b-a}{n}}\right)+{\frac {1}{2}}f(b)\right),

qui s'obtiennent en faisant la moyenne des méthodes des rectangles à gauche et à droite.

Applications

Une application des Sommes de Riemann est la formule sommatoire d'Euler-MacLaurin, permettant notamment d'accélérer le calcul de limite de séries lentement convergentes.

Les sommes à pas variables ont aussi leur utilité dans les mathématiques, et ce dès le niveau lycée, comme le montre la méthode de Wallis pour faire la quadrature des fonctions puissances $f (x) = x α$ . Soit $b > a > 0$ et $N \geq 1$ . Écrivons $b = a ω N$ , et prenons comme subdivision du segment $[a, b]$ celle définie par les $x k = a ω k$ . Avec comme points d'évaluations $ξ k = x k -1$ , on obtient la somme

S_{N}=\sum _{k=0}^{N-1}a\omega ^{k}(\omega -1)a^{\alpha }\omega ^{k\alpha }=a^{\alpha +1}{\frac {(\omega -1)(\omega ^{N(\alpha +1)}-1)}{\omega ^{\alpha +1}-1}}={\frac {\omega -1}{\omega ^{\alpha +1}-1}}(b^{\alpha +1}-a^{\alpha +1})

Lorsque $N \to \infty$ , on a $ω \to 1$ (en effet avec $ω = 1 + h$ , on a $b / a \geq 1 + Nh > 1$ ) et ${\frac {\omega ^{\alpha +1}-1}{\omega -1}}\to {\alpha +1}$ , (facile lorsque $α$ est entier puisque le quotient vaut alors $1 + ω + ω 2 + ... + ω α$ et vrai en général). D'où

\lim S_{N}={\frac {b^{\alpha +1}-a^{\alpha +1}}{\alpha +1}}

Le pas de la subdivision est $δ = b - b / ω$ et il tend vers zéro puisque comme nous l'avons déjà indiqué $ω \to 1$ pour $N \to \infty$ (concrètement $δ = bh / ω < bh \leq 1 / n b (b / a -1)$ avec à nouveau $ω = 1 + h$ ). On trouve ou retrouve donc

\int _{a}^{b}x^{\alpha }\,\mathrm {d} x={\frac {b^{\alpha +1}-a^{\alpha +1}}{\alpha +1}}

Le cas $α = -1$ (quadrature de l'hyperbole), était exclu dans le calcul ci-dessus et en effet il est particulier. On doit reprendre le calcul de $S N$ qui vaut maintenant $S N = N (ω - 1)$ . On obtient la relation suivante :

\lim N((b/a)^{\frac {1}{N}}-1)=\int _{a}^{b}{\frac {{\rm {d}}t}{t}}\quad (=\ln(b/a))

Une relation bien connue qui s'insère dans la théorie générale des fonctions logarithme et exponentielle et de leurs rapports avec les fonctions puissances. Si ces fonctions et leurs propriétés sont connues, on peut en effet retrouver la limite ci-dessus en écrivant

N((b/a)^{\frac {1}{N}}-1)={\frac {{\rm {e}}^{{\frac {1}{N}}\log(b/a)}-1}{\frac {1}{N}}}

et en rappelant que $\lim _{\epsilon \to 0}{\frac {{\rm {e}}^{\epsilon x}-1}{\epsilon }}=x$ car cela revient à calculer la dérivée au point $t = 0$ de la fonction $t\mapsto {\rm {e}}^{tx}$ .

Animations

Somme à gauche.
Somme à droite.
Somme au milieu.
$Avec y = x 2 {\displaystyle y=x^{2}} .$
Avec $y=x^{2}$ .

Définitions pour les dimensions supérieures

L'idée générale de l'intégrale de Riemann est de découper le domaine d'intégration en sous-domaines, définir une mesure de chaque sous-domaine et la pondérer par une valeur de la fonction à intégrer en un point à l'intérieur du sous-domaine, et de sommer toutes ces valeurs. On voit ainsi que cette idée peut être généralisée simplement aux cas d'intégrales multi-dimensionnelles ou avec une mesure autre que la mesure (usuelle) de Lebesgue.

Dimension supérieure à 2

Le domaine $Ω$ de dimension $n$ est découpé en un nombre fini de cellules ${Ω 1, Ω 2, ..., Ω p}$ , de volumes respectifs ${ΔΩ 1, ΔΩ 2, ..., ΔΩ p}$ disjoints deux à deux, dont la réunion vaut $Ω$ .

Une somme de Riemann d'une fonction $f$ à valeur réelles définie sur $Ω$ s'écrit alors :

S=\sum _{k=1}^{p}f(t_{k})\times \Delta \Omega _{k},

avec $t k$ , un point quelconque de $Ω k$ .

Les volumes correspondent ainsi aux longueurs des intervalles en dimension 1, aux surfaces des cellules en dimensions 2, aux volumes des cellules en dimensions 3, etc.

Pour une mesure différente

Formellement, on peut utiliser une autre mesure que le volume. On introduit ainsi une mesure positive $μ$ . La somme de Riemann s'écrit alors :

S=\sum _{k=1}^{p}f(t_{k})\mu (\Omega _{k}).

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Riemann sum » (voir la liste des auteurs).

« Notes d'un cours »reproduisant le texte de Riemann.
Jean-Pierre Demailly, Analyse numérique et équations différentielles [détail des éditions]

Liens externes

(en) Eric W. Weisstein, « Riemann Sum », sur MathWorld

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.