Somme de Riemann (encyclopédie mathématiques)

Pour les articles homonymes, voir Somme.

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

En mathématiques, et plus précisément en analyse, les sommes de Riemann sont des sommes approximant des intégrales. Elles peuvent également être utilisées pour définir la notion d'intégration. Leur nom vient du mathématicien allemand Bernhard Riemann.

Sommaire

[modifier] Définition du cas le plus usuel

Soit $f:[a,b]\rightarrow\mathbb{R}$ une fonction partout définie sur le segment $[a, b]$ . On considère $n\in\mathbb{N}^*$ et une subdivision régulière $x_k=a+k\frac{b-a}{n}$ , avec $0\leq k\leq n$ .

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

$S_n=\frac{b-a}{n}\sum_{k=1}^n f(a + k\frac{b-a}n)=\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 pour le calcul des intégrales ; leur intérêt principal vient du théorème suivant, qui peut aussi être considéré comme une définition de l'intégrale : si f est intégrable au sens de Riemann,

$\lim_{n\rightarrow+\infty}S_n=\int_a^bf(t)dt$

Démonstration pour une fonction continue

La démonstration qui suit utilise les propriétés de l'intégrale suivantes:

la valeur de l'intégrale d'une constante : $\int_a^b C\,dx=(b-a)C$ ;
la linéarité : $\int_a^b f(x)+ag(x)\,dx=\int_a^b f(x)\,dx+a\int_a^b g(x)\,dx$ ;
la relation de Chasles : $\int_a^b f(x)+\int_b^c f(x)\,dx=\int_a^c f(x)\,dx$ ;
et le fait que si, pour tout x de l'intervalle $[a, b]$ , on a $f(x)\ge0$ , alors $\int_a^b f(x)\,dx \ge 0$ .

En remarquant que $(x_k-x_{k-1})f(x_k)=\int_{x_{k-1}}^{x_k}f(x_k)dt$ , on a $(x_k-x_{k-1})f(x_k)-\int_{x_{k-1}}^{x_k}f(t)\,dt=\int_{x_{k-1}}^{x_k}(f(x_k)-f(t))\,dt$ puis $S_n-\int_a^b f(t)\,dt=\sum_{k=1}^n\int_{x_{k-1}}^{x_k}(f(x_k)-f(t))\,dt$

Posons pour chaque $δ > 0$ :

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

On a ainsi :

$|S_n-\int_a^b f(t)\,dt|\leq \sum_{k=1}^n\int_{x_{k-1}}^{x_k}\omega((b-a)/n)dt = (b-a)\omega((b-a)/n)$

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\to0^+} \omega(\delta) = 0$ . La convergence des $S n$ vers $\int_a^b f(t)\,dt$ en résulte.

Ce résultat n'est pas limité aux seules fonctions continues : il vaut pour toutes les fonctions intégrables au sens de Riemann.

Variantes : on peut considérer $S_n^*=\frac{b-a}{n}\sum_{k=0}^{n-1} f(x_k)$ ou $S_n^{**}=\frac{b-a}{n}\sum_{k=0}^{n} f(x_k)$ , car $\lim_{n\rightarrow+\infty}\frac{b-a}{n}f(x)=0$ pour n'importe quel point $x$ fixé dans l'intervalle.

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(\frac12 f(a) + f(a+\frac{b-a}n) + \dots + f(a+(n-1)\frac{b-a}n) + \frac12f(b)\right)$

ou encore les sommes de la méthode du point milieu :

$U_n=\frac{b-a}{n}\left(f(a+\frac12\frac{b-a}n) + f(a+\frac32\frac{b-a}n) + \dots + f(a+\frac{2n-1}2\frac{b-a}n)\right)$

[modifier] Définition générale, applications

Les véritables sommes définies par Riemann ne sont pas assujetties à avoir un pas constant, et le point d'évaluation de la fonction peut être n'importe où dans le sous-intervalle: pour n'importe quelle subdivision $\sigma=(x_0,x_1,\cdots,x_n)$ , $a= x_0 \leq x_1 \leq \dots\leq x_n = b$ et n'importe quel choix de points subordonnés à la subdivision $\xi_k\in[x_{k-1},x_k]$ , $1\leq k\leq n$ , on pose :

$S =\sum_{k=1}^n(x_k-x_{k-1})f(\xi_k)$

Soit $\delta(\sigma)=\max_{1\leq k\leq n}(x_k-x_{k-1})$ le pas de la subdivision. Si le pas tend vers zéro, alors la somme de Riemann générale converge vers $\int_a^b f(t)\,dt$ . C'est d'ailleurs la définition originale^[1] par Riemann de son intégrale.

Si, au lieu de demander que les sommes de Riemann convergent vers une limite $L$ lorsque le pas $max(x k - x k - 1)$ 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_k-x_{k-1}\leq \delta(\xi_k)$ , $\xi_k\in[x_{k-1},x_k]$ , 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.

Il est de tradition en première et seconde années de l'enseignement supérieur de donner des exercices sur des calculs de limites de suites où pour s'en sortir il faut penser à y reconnaître une somme de Riemann. Mais même dans les mathématiques hors-bachotage, la relation entre sommes et intégrales demeure un sujet de grand intérêt. L'une des techniques les plus belles, riche d'histoire et d'applications est la formule sommatoire d'Euler-MacLaurin.

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\geq1$ un entier. É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 $\omega\to1$ (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+ \omega + \omega^2 + \dots + \omega^\alpha$ 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é $\omega\to1$ pour $N\to\infty$ (concrètement $\delta = bh/\omega <bh \leq\tfrac1N b(b/a-1)$ avec à nouveau $ω = 1 + h$ ). On trouve ou retrouve donc

$\int_a^b x^\alpha\,dx = \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)^{\frac1N} -1) = \int_a^b \frac{dt}t \quad (= \log(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)^{\frac1N} -1) = \frac{e^{\frac1N\log(b/a)} -1}{\frac1N}$

et en rappelant que $\lim_{\epsilon\to0} \frac{(e^{\epsilon x} -1)}{\epsilon} = x$ car cela revient à calculer la dérivée au point $t = 0$ de la fonction $t\mapsto e^{t x}$ .

[modifier] Notes et Références

↑ (fr) Notes d'un cours reproduisant le texte de Riemann

[modifier] Voir aussi

Bernhard Riemann
Intégrale de Riemann
Calcul numérique d'une intégrale
Intégrale de Kurzweil-Henstock

Somme de Riemann

Sommaire

[modifier] Définition du cas le plus usuel

[modifier] Définition générale, applications

[modifier] Notes et Références

[modifier] Voir aussi

Rechercher

Menu

Espace membre

Changer d'île