Intégrale Indéfinie

Intégrale Indéfinie

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

F(x)=\int_a^xf(t)dt + K

où a est un élément de I et K une constante[1]

Lorsque f est une fonction continue, F est une primitive de f , c'est à dire que la dérivée de F donne f (F' = f). On prend alors l'habitude de noter toute primitive de f sous forme

F = \int f(x)dx

et de confondre intégrale indéfinie et primitive

Lorsque f n'est pas continue, il n'y a pas de correspondance simple entre intégrale indéfinie et primitive.

Sommaire

Cas de la fonction continue

Toute fonction continue sur un intervalle I est intégrable sur tout intervalle fermé inclus dans I. Le théorème fondamental de l'analyse affirme que pour tout réel a de I, la fonction définie sur I par

F(x)=\int_a^xf(t)dt

est la primitive de f qui s'annule en a.

Les primitives de f sont donc les intégrales indéfinies

F(x)=\int_a^xf(t)dt + K

La constante K est nécessaire pour couvrir l'ensemble des primitives possibles de f.

Cas de la fonction non continue

Durant 4 siècles, les mathématiciens, de Torricelli à Jaroslav Kurzweil et Ralph Henstock en passant par Leibniz, Euler, Cauchy, Riemann, Lebesgue, Denjoy et Perron, se sont efforcés de rechercher un lien fort entre intégrale d'une part et primitive d'autre part. Tant que le travail s'effectue sur les fonctions continues, la relation est simple, et c'est Cauchy qui en fournit la preuve (26ème leçon du Résumé des leçon données à l'école royale polytechnique sur le calcul infinitésimal en 1823)[2]. Ce résultat établi, les recherches se portent sur le cas des fonctions non continues. Riemann, puis Lebesgue, puis Kurzweil et Henstock s'efforcent de présenter des définitions de l'intégrabilité qui permettent d'élargir la relation entre intégrale indéfinie et primitive.

Intégrale indéfinie d'une fonction Riemann-intégrable

L'intégrale indéfinie d'une fonction Riemann intégrable est toujours continue. Elle est de plus dérivable en tout point où la fonction initiale est continue. Ce résultat est démontré par Darboux et du Bois Reymond en 1875[3]. Mais la relation entre intégrale indéfinie et primitive devient plus lâche. On rencontre ainsi

  • des intégrales indéfinies non dérivables en quelques points comme celle de la fonction partie entière;
  • des intégrales indéfinies dérivables sur \scriptstyle \R mais dont la dérivée ne coïncide pas en tout point avec f. Il suffit de prendre par exemple la fonction constante égale à 1 sauf en x0 où la fonction vaut 2. Son intégrale indéfinie a pour expression F(x)= x + K et la dérivée de F enx0 vaut 1;
  • des intégrales indéfinies qui restent non dérivables sur un ensemble dense[4];
  • des intégrales indéfinies dérivables sur [0,1] dont la dérivée ne coïncide pas avec f sur un ensemble dense[5];
  • des fonctions F, dérivables sauf en quelques points , mais qui ne sont pas une intégrale indéfinie de leur dérivée : par exemple, la partie entière;
  • Des fonctions F, dérivables sur \scriptstyle \R , mais dont la dérivée f n'est pas Riemann-intégrable donc pour laquelle on ne peut pas définir d'intégrale indéfinie. Par exemple, la fonction x\mapsto x^2\sin(1/x^2) avec son prolongement par continuité en 0 et dérivable de dérivée non bornée donc non intégrable[6].

Fonction discontinue f (bleu) dont l'intégrale indéfinie F (rouge) vérifie F'(0) \ne f(0)

Fonction partie entière (bleu) dont l'intégrale indéfinie (rouge) n'est pas toujours dérivable

Fonction partie entière (rouge) qui n'est pas intégrale indéfinie de sa dérivée (bleue)

Fonction x²(sin(1/x²) (rouge) dont la dérivée (bleue) n'est pas intégrable

Intégrale indéfinie d'une fonction Lebesgue-intégrable

Les fonctions Lebesgue-intégrables élargissement le champ des fonctions intégrables et donc celui des intégrales indéfinies.

L'intégrale indéfinie d'une fonction Lebesgue-intégrable est absoluement continue. Réciproquement une fonction absolument continue est l'intégrale indéfinie d'une fonction Lebesgue-intégrable.

L'intégrale indéfinie d'une fonction Lebesgue-intégrable est dérivable en tout point où f est continue et F'(x)=f(x) et, plus généralement, elle est dérivable μ-presque partout de dérivée f.

Si F est dérivable sur I et de dérivée bornée alors F est une intégrale indéfinie de sa dérivée. Autrement dit, si f est bornée et possède une primitive, cette primitive correspond à une intégrale indéfinie de f.

Si F est dérivable sur I et de dérivée finie Lebesgue-intégrable alors F est une intégrale indéfinie de sa dérivée. Autrement dit, si f est Lebesgue-intégrable et possède une primitive, cette primitive correspond à une intégrale indéfinie de f.

Escalier de Cantor : fonction continue, dérivable presque partout de dérivée presque partout nulle

Mais il existe encore des fonctions F continues, dérivables presque partout, dont la dérivée est Lebesgue-intégrable sans pour autant que F soit une intégrale indéfinie de sa dérivée. Une exemple classique de telle fonction est l'escalier de Cantor.

Cependant, toute fonction F à variation bornée est dérivable presque partout et est la somme d'une intégrale indéfinie de F' et d'une fonction G à variation bornée de dérivée nulle μ-presque partout.

Intégrale indéfinie d'une fonction Kurzweil-Henstock-intégrable

Les fonctions KH-intégrables élargissent encore le champ des fonctions intégrables et fait coïncider presque parfaitement la notion de primitive et d'intégrale indéfinie.

Si F est dérivable sur I, alors F' est KH-intégrable et F est une intégrale indéfinie de sa dérivée. Autrement dit, si f possède des primitives, alors ce sont des intégrales indéfinies de f.

Si f est KH-intégrable sur I, alors toute intégrale indéfinie de f est continue et admet presque partout une dérivée égale à f.

Notes et références

  1. ↑ Roger Descombes, Intégration, Hermann, Paris 1972, ISBN 2 7056 5712 6, p 116
  2. ↑ Jean Mawhin, Présences des sommes de Riemann dans l'évolution du calcul intégral. Cahiers du séminaire d'histoire des mathématiques, 4 (1983), p. 133
  3. ↑ Jean Mawhin, Présences des sommes de Riemann dans l'évolution du calcul intégral. Cahiers du séminaire d'histoire des mathématiques, 4 (1983), p. 136.
  4. ↑ Henri Léon Lebesgue, Leçon sur l'intégration et la recherche de fonctions primitives, p 69
  5. ↑ Les contre-exemple en mathématiques, 2ditions marketing, Paris 1988, ISBN 2 7298 8806 3, p 126
  6. ↑ Alain Michel, Constitution de la théorie moderne de l'intégration, p 108

Bibliographie

  • Jean Mawhin, Présences des sommes de Riemann dans l'évolution du calcul intégral. Cahiers du séminaire d'histoire des mathématiques, 4 (1983), p. 117-147
  • Alain Michel, Constitution de la théorie moderne de l'intégration
  • Henri Léon Lebesgue, Leçon sur l'intégration et la recherche de fonctions primitives
  • Roger Descombes, Intégration, Hermann, Paris 1972, ISBN 2 7056 5712 6

Voir aussi

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Int%C3%A9grale ind%C3%A9finie ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

  • 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

  • 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 est une primitive de f …   Wikipédia en Français

  • Intégrale à paramètre — Intégrale paramétrique En mathématiques, une intégrale paramétrique (également appelée intégrale à paramètre) est une fonction définie à partir de l intégration d une fonction de plusieurs variables sur un ensemble fixe par rapport à une partie… …   Wikipédia en Français

  • Intégrale à paramètres — Intégrale paramétrique En mathématiques, une intégrale paramétrique (également appelée intégrale à paramètre) est une fonction définie à partir de l intégration d une fonction de plusieurs variables sur un ensemble fixe par rapport à une partie… …   Wikipédia en Français

  • Intégrale définie — Table d intégrales Intégrales définies On appelle intégrale définie dans l intervalle [a,b] lorsque est une primitive quelconque de et que et …   Wikipédia en Français

  • Derivation sous integrale — Intégrale paramétrique En mathématiques, une intégrale paramétrique (également appelée intégrale à paramètre) est une fonction définie à partir de l intégration d une fonction de plusieurs variables sur un ensemble fixe par rapport à une partie… …   Wikipédia en Français

  • Dérivation Sous Intégrale — Intégrale paramétrique En mathématiques, une intégrale paramétrique (également appelée intégrale à paramètre) est une fonction définie à partir de l intégration d une fonction de plusieurs variables sur un ensemble fixe par rapport à une partie… …   Wikipédia en Français

  • Dérivation sous intégrale — Intégrale paramétrique En mathématiques, une intégrale paramétrique (également appelée intégrale à paramètre) est une fonction définie à partir de l intégration d une fonction de plusieurs variables sur un ensemble fixe par rapport à une partie… …   Wikipédia en Français

  • indéfini — indéfini, ie [ ɛ̃defini ] adj. • XIVe; lat. indefinitus 1 ♦ Dont les limites ne sont ou ne peuvent être déterminées. Le lexique d une langue est indéfini. Par ext. Sans fin. ⇒ illimité, infini. Le ciel, espace indéfini. « Il se crut riche pour… …   Encyclopédie Universelle

  • intégral — intégral, ale, aux [ ɛ̃tegral, o ] adj. et n. f. • 1640 ; parties intégralesXIVe; lat. integralis, de integer « entier » I ♦ Cour. Qui n est l objet d aucune diminution, d aucune restriction. ⇒ 1. complet, entier. Remboursement intégral.… …   Encyclopédie Universelle

Share the article and excerpts

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