Intégrale de Kurzweil-Henstock

Intégrale de Kurzweil-Henstock

En mathématiques, et plus précisément en analyse, l'intégrale de Kurzweil-Henstock (ou KH-intégrale, ou intégrale de jauge) a été mise au point dans les années 1950 dans le but de présenter une théorie de l'intégration à peine plus compliquée à exposer que l'intégrale de Riemann, mais aussi puissante que l'intégrale de Lebesgue. Elle est équivalente aux intégrales de Denjoy ou de Perron datant des années 1910, mais dont la présentation était assez lourde et qui étaient tombées en désuétude dans les années 1940.

Par rapport à l'intégrale de Lebesgue, la KH-intégrale présente l'avantage que toute fonction dérivée est intégrable, et qu'il n'est pas nécessaire d'introduire la notion d'intégrale impropre. Cependant, si la KH-intégrale est bien adaptée aux fonctions d'une variable réelle, elle ne possède pas d'extension canonique aux fonctions définies sur \R^n, ni a fortiori sur des espaces plus généraux. Elle permet cependant d'introduire dès les premières années de l'enseignement supérieur[1] une intégrale dotée de théorèmes puissants et fort proche de l'intégrale de Lebesgue (qu'il est facile d'introduire ensuite comme un cas particulier).

Sommaire

Définition

Soit [a,b] un segment de \R. On appelle subdivision marquée de [a,b] une famille finie de points (x_i),0 \leq i \leq n et (t_i),1 \leq i \leq n, tels que a = x0 < x1 < ... < xn = b et x_{i-1} \leq t_i \leq x_i. On dit que ti marque le segment [xi − 1,xi].

Si δ est une fonction définie sur [a,b] à valeurs strictement positives, on dit que δ est une jauge (sur [a,b]), et la subdivision est dite plus fine que δ si, pour tout i, t_i - \delta(t_i) < x_{i-1} \le t_i \le x_i < t_i + \delta(t_i) . Un théorème important, le lemme de Cousin, est fréquemment utilisé dans théorie de la KH-intégration ; il affirme que, quelle que soit la jauge choisie, il existe des subdivisions marquées plus fine que cette jauge.

Une fonction f bornée ou non sur un segment [a,b], à valeurs réelles ou complexes, est intégrable au sens de Kurzweil-Henstock (ou KH-intégrable), d'intégrale A, si, pour tout \epsilon > 0 , il existe une jauge δ, telle que, pour toute subdivision {xi} marquée par les ti, plus fine que δ, on ait :

\left| \sum_{i=1}^n f(t_i)(x_i - x_{i-1}) - A \right| < \epsilon

A est alors unique et s'appelle l'intégrale de f sur [a,b], notée \int_a^b f(t) \mathrm dt\,\! .

La quantité \sum_{i=1}^n f(t_i)(x_i - x_{i-1}) s'appelle somme de Riemann de f relativement à la subdivision marquée choisie. On remarque que, si on prend des jauges δ constantes, on retrouve la définition de l'intégrale de Riemann. La KH-intégrale consiste à remplacer ces jauges constantes par des jauges variables.

Dans le cas où f est définie sur un intervalle I qui n'est pas un segment, on dit que f est KH-intégrable d'intégrale A, si, pour tout \epsilon > 0, il existe une jauge δ et un nombre Δ, tels que, pour toute subdivision {xi} marquée par les ti, plus fine que δ sur tout segment contenant I \cap ]-\Delta,\Delta[ , on a :

\left| \sum_{i=1}^n f(t_i)(x_i - x_{i-1}) - A \right| < \epsilon

Propriétés

  • L'ensemble des fonctions KH-intégrables forme un espace vectoriel et l'intégrale est une forme linéaire positive sur cet espace.
  • Toute fonction Riemann-intégrable ou Lebesgue-intégrable est KH-intégrable avec la même intégrale ; en particulier, la fonction de Dirichlet valant 1 sur les rationnels et 0 sur les irrationnels, n'est pas Riemann-intégrable, mais est KH-intégrable d'intégrale nulle.
  • De même, la fonction \tfrac{\sin(x)}{x} sur ]0, +\infty[ n'est pas Lebesgue-intégrable, mais c'est une intégrale (au sens de Riemann) impropre convergente, et elle est donc KH-intégrable (d'intégrale π / 2). Contrairement aux fonctions Lebesgue-intégrables, une fonction peut être KH-intégrable sans que sa valeur absolue le soit.
  • Une fonction f est Lebesgue-intégrable si et seulement si f et | f | sont KH-intégrables (ce qui permet de définir la notion d'ensemble mesurable (pour la mesure de Lebesgue) comme un ensemble dont la fonction caractéristique est KH-intégrable). Il ne suffit pas que | f | soit KH-intégrable pour que f le soit. Si f est KH-intégrable et si | f | est majorée par une fonction KH-intégrable, alors | f | est KH-intégrable.
  • Le théorème fondamental de l'analyse s'exprime comme suit :
    • Soit F dérivable sur [a,b] de dérivée f. Alors f est KH-intégrable et \int_a^b f(t) \mathrm dt = F(b) - F(a) .
    • Soit f KH-intégrable. Alors la fonction F : x \to \int_a^x f(t) \mathrm dt\,\! est continue et admet presque partout une dérivée égale à f.
  • La notion d'intégrale impropre est inutile avec la KH-intégrale. En effet, soit f est une fonction définie sur ]a,b] et telle que, pour tout c élément de ]a,b], f est KH-intégrable sur [c,b]. Si \lim_{c \to a} \int f(t) \mathrm dt existe et vaut A, alors f est KH-intégrable sur ]a,b] et son intégrale vaut A.
  • Le théorème de convergence monotone et le théorème de convergence dominée sont vrais avec la KH-intégrale, ce dernier devenant plus précisément un théorème de convergence encadrée (la raison étant que l'intégrabilité de | f | n'entraîne pas celle de f).

Note et références

Note

  1. ↑ On pourra par exemple lire la présentation de Jean-Pierre Demailly indiquée en référence, utilisée comme support de cours à l'Université Grenoble-I.

Références

  • (en) Lee Peng Yee et Rudolf Výborný, The Integral: An Easy Approach after Kurzweil and Henstock, Cambridge University Press, 2000 (ISBN 978-0-521-77968-5)

Articles connexes


Wikimedia Foundation. 2010.

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

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

Regardez d'autres dictionnaires:

  • Integrale de Lebesgue — Intégrale de Lebesgue En mathématiques, on appelle intégrale de Lebesgue à la fois une théorie de l intégration d une fonction selon une mesure quelconque et le cas particulier d intégration d une fonction définie sur les réels, , munis de la… …   Wikipédia en Français

  • Intégrale De Lebesgue — En mathématiques, on appelle intégrale de Lebesgue à la fois une théorie de l intégration d une fonction selon une mesure quelconque et le cas particulier d intégration d une fonction définie sur les réels, , munis de la mesure de Lebesgue (ou… …   Wikipédia en Français

  • Intégrale de lebesgue — En mathématiques, on appelle intégrale de Lebesgue à la fois une théorie de l intégration d une fonction selon une mesure quelconque et le cas particulier d intégration d une fonction définie sur les réels, , munis de la mesure de Lebesgue (ou… …   Wikipédia en Français

  • 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

  • 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 interprète comme l aire …   Wikipédia en Français

  • 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 interprète comme l aire …   Wikipédia en Français

  • 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[1] est une façon simple de définir l intégrale d une fonction sur un …   Wikipédia en Français

  • Intégrale de Lebesgue — En mathématiques, l’intégrale de Lebesgue désigne à la fois une théorie relative à l intégration et à la mesure, puis le résultat de l intégration d une fonction à valeurs réelles définie sur (ou sur ), munis de la mesure de Lebesgue.… …   Wikipédia en Français

  • Intégrale de Stieltjes — Thomas Stieltjes (1856–1894) L intégrale de Stieltjes constitue une généralisation de l intégrale ordinaire, ou intégrale de Riemann. En effet, considérons deux fonctions réelles bornées f et …   Wikipédia en Français

  • Integrale indefinie — Intégrale indéfinie En analyse réelle ou complexe, une intégrale indéfinie d une fonction f intégrable sur un intervalle I est une fonction définie sur I par où a est un élément de I et K une constante[1] Lorsque f est une fonction continue, F… …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”