Somme de Riemann

Pour les articles homonymes, voir Somme.

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.

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)$

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}$ .

Notes et Références

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

Voir aussi

Portail de l'analyse

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Somme de Riemann de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

Somme de riemann — Les sommes de Riemann sont une méthode d approximation des intégrales. Elles peuvent être utilisées pour définir la notion d intégrale. Leur nom vient du mathématicien allemand Bernhard Riemann. Sommaire 1 Définition 2 Application 3 Extensions … Wikipédia en Français
Somme (arithmetique) — Somme (arithmétique) Pour les articles homonymes, voir Somme. En mathématiques, la somme de deux nombres est le résultat de leur addition. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité … Wikipédia en Français
Somme totale — Somme (arithmétique) Pour les articles homonymes, voir Somme. En mathématiques, la somme de deux nombres est le résultat de leur addition. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité … Wikipédia en Français
Somme (arithmétique) — Pour les articles homonymes, voir Somme. En mathématiques, la somme de deux nombres est le résultat de leur addition. Elle se calcule de différentes manières selon le système de numération employé. Du fait de la commutativité et de l… … Wikipédia en Français
RIEMANN (B.) — Après la mort de Georg Friedrich Bernhard Riemann, son œuvre fut publiée en un seul volume, y compris les fragments posthumes, et cette brièveté ne tient pas seulement à la fin précoce du mathématicien: d’une part, ses démonstrations sont très… … Encyclopédie Universelle
Somme des diviseurs — En arithmétique, la somme des diviseurs d un nombre entier strictement positif est l entier obtenu en effectuant la somme de tous les diviseurs positifs de cet entier. La fonction qui, à l entier n, associe la somme de ses diviseurs est souvent… … Wikipédia en Français
Somme infinie — Série (mathématiques) Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme, pour une succession infinie de termes. L étude des séries consiste à effectuer la somme d un nombre fini … Wikipédia en Français
Somme partielle — Série (mathématiques) Pour les articles homonymes, voir Série. En mathématiques, la série constitue une généralisation de la notion de somme, pour une succession infinie de termes. L étude des séries consiste à effectuer la somme d un nombre fini … Wikipédia en Français
Riemann hypothesis — The real part (red) and imaginary part (blue) of the Riemann zeta function along the critical line Re(s) = 1/2. The first non trivial zeros can be seen at Im(s) = ±14.135, ±21.022 and ±25.011 … Wikipedia
Integrale de Riemann — Intégrale de Riemann 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… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Somme de Riemann

Sommaire

Définition du cas le plus usuel

Définition générale, applications

Notes et Références

Voir aussi

Regardez d'autres dictionnaires:

Share the article and excerpts

Dictionnaires et Encyclopédies sur 'Academic'

Wikipédia en Français

Somme de Riemann

Sommaire

Définition du cas le plus usuel

Définition générale, applications

Notes et Références

Voir aussi

Regardez d'autres dictionnaires:

Share the article and excerpts

Direct link