Listes d'intégrales - Lists of integrals

L'intégration est l'opération de base du calcul intégral . Alors que la différenciation a des règles simples par lesquelles la dérivée d'une fonction compliquée peut être trouvée en différenciant ses fonctions composantes les plus simples, l'intégration n'en a pas, de sorte que les tables d'intégrales connues sont souvent utiles. Cette page répertorie certains des dérivés les plus courants .

Développement historique des intégrales

Une compilation d'une liste d'intégrales (Integraltafeln) et de techniques de calcul intégral a été publiée par le mathématicien allemand Meier Hirsch  [ de ] (alias Meyer Hirsch  [ de ] ) en 1810. Ces tables ont été rééditées au Royaume-Uni en 1823. tables ont été compilées en 1858 par le mathématicien néerlandais David Bierens de Haan pour ses Tables d'intégrales définies , complétées par Supplément aux tables d'intégrales définies en ca. 1864. Une nouvelle édition est publiée en 1867 sous le titre Nouvelles tables d'intégrales définies . Ces tables, qui contiennent principalement des intégrales de fonctions élémentaires, sont restées en usage jusqu'au milieu du 20e siècle. Ils ont ensuite été remplacés par les tableaux beaucoup plus étendus de Gradshteyn et Ryzhik . Dans Gradshteyn et Ryzhik, les intégrales provenant du livre de Bierens de Haan sont notées BI.

Toutes les expressions de forme fermée n'ont pas de primitives de forme fermée ; cette étude fait l'objet de la théorie différentielle de Galois , qui a été initialement développée par Joseph Liouville dans les années 1830 et 1840, conduisant au théorème de Liouville qui classe quelles expressions ont des primitives de forme fermée. Un exemple simple d'une fonction sans primitive de forme fermée est e x 2 , dont la primitive est (à constantes près) la fonction d'erreur .

Depuis 1968, il existe l' algorithme de Risch pour déterminer des intégrales indéfinies qui peuvent être exprimées en termes de fonctions élémentaires , typiquement en utilisant un système de calcul formel . Les intégrales qui ne peuvent pas être exprimées à l'aide de fonctions élémentaires peuvent être manipulées symboliquement à l'aide de fonctions générales telles que la fonction G de Meijer .

Listes d'intégrales

Plus de détails peuvent être trouvés sur les pages suivantes pour les listes d' intégrales :

Gradshteyn , Ryjik , Geronimus , Tseytlin , Jeffrey, Zwillinger, Moll (GR) Table des Intégrales, série et produits contient une grande collection de résultats. Un tableau encore plus grand et multivolume est celui des intégrales et des séries de Prudnikov , Brychkov et Marichev (avec les volumes 1 à 3 répertoriant les intégrales et les séries de fonctions élémentaires et spéciales , les volumes 4 à 5 sont des tables de transformées de Laplace ). Des collections plus compactes peuvent être trouvées dans, par exemple, Brychkov, Marichev, les Tables of Infinite Integrals de Prudnikov , ou sous forme de chapitres dans les CRC Standard Mathematical Tables and Formulas de Zwillinger ou le Guide Book to Mathematics de Bronshtein et Semendyayev , Handbook of Mathematics ou Users' Guide to Mathematics , et d'autres manuels mathématiques.

D'autres ressources utiles incluent Abramowitz et Stegun et le Bateman Manuscript Project . Les deux ouvrages contiennent de nombreuses identités concernant des intégrales spécifiques, qui sont organisées avec le sujet le plus pertinent au lieu d'être rassemblées dans un tableau séparé. Deux volumes du Manuscrit Bateman sont spécifiques aux transformations intégrales.

Il existe plusieurs sites Web qui ont des tables d'intégrales et des intégrales sur demande. Wolfram Alpha peut afficher des résultats, et pour certaines expressions plus simples, également les étapes intermédiaires de l'intégration. Wolfram Research exploite également un autre service en ligne, le Wolfram Mathematica Online Integrator .

Intégrales de fonctions simples

C est utilisé pour une constante d'intégration arbitraire qui ne peut être déterminée que si quelque chose sur la valeur de l'intégrale à un moment donné est connu. Ainsi, chaque fonction a un nombre infini de primitives .

Ces formules ne font qu'énoncer sous une autre forme les assertions du tableau des dérivées .

Intégrales avec une singularité

Lorsqu'il y a une singularité dans la fonction intégrée telle que la primitive devient indéfinie ou à un certain point (la singularité), alors C n'a pas besoin d'être le même des deux côtés de la singularité. Les formes ci-dessous assument normalement la valeur principale de Cauchy autour d'une singularité dans la valeur de C mais ce n'est en général pas nécessaire. Par exemple dans

il y a une singularité en 0 et la primitive y devient infinie. Si l'intégrale ci-dessus devait être utilisée pour calculer une intégrale définie entre -1 et 1, on obtiendrait la mauvaise réponse 0. C'est cependant la valeur principale de Cauchy de l'intégrale autour de la singularité. Si l'intégration se fait dans le plan complexe, le résultat dépend du chemin autour de l'origine, dans ce cas la singularité contribue − i π lorsqu'on utilise un chemin au-dessus de l'origine et i π pour un chemin en dessous de l'origine. Une fonction sur la ligne réelle pourrait utiliser une valeur complètement différente de C de chaque côté de l'origine comme dans :

Fonctions rationnelles

La fonction suivante a une singularité non intégrable en 0 pour a ≤ −1 :

  • ( formule en quadrature de Cavalieri )
    • Plus généralement,

Fonctions exponentielles

Logarithmes

Fonctions trigonométriques

Fonctions trigonométriques inverses

Fonctions hyperboliques

Fonctions hyperboliques inverses

Produits de fonctions proportionnelles à leurs dérivées secondes

Fonctions de valeur absolue

Soit f une fonction continue , qui a au plus un zéro . Si f est nul, soit g l'unique primitive de f qui soit nulle à la racine de f ; sinon, soit g une primitive quelconque de f . Puis

sgn( x ) est la fonction signe , qui prend les valeurs -1, 0, 1 lorsque x est respectivement négatif, nul ou positif.

Ceci peut être prouvé en calculant la dérivée du membre de droite de la formule, en tenant compte du fait que la condition sur g est ici pour assurer la continuité de l'intégrale.

Cela donne les formules suivantes (où a ≠ 0 ), qui sont valables sur tout intervalle où f est continu (sur des intervalles plus grands, la constante C doit être remplacée par une fonction constante par morceaux ) :

  • quand n est impair, et .
  • quand pour un nombre entier n .
  • quand pour un nombre entier n .
  • quand pour un nombre entier n .
  • quand pour un nombre entier n .

Si la fonction f n'a pas de primitive continue qui prend la valeur zéro aux zéros de f (c'est le cas pour les fonctions sinus et cosinus), alors sgn( f ( x )) ∫ f ( x ) dx est un primitive de f sur tout intervalle sur lequel f n'est pas nul, mais peut être discontinu aux points où f ( x ) = 0 . Pour avoir une primitive continue, il faut donc ajouter une fonction échelon bien choisie . Si on utilise aussi le fait que les valeurs absolues du sinus et du cosinus sont périodiques de période π , alors on obtient :

Fonctions spéciales

Ci , Si : Intégrales trigonométriques , Ei : Intégrale exponentielle , li : Fonction intégrale logarithmique , erf : Fonction d' erreur

Intégrales définies sans primitives de forme fermée

Il existe certaines fonctions dont les primitives ne peuvent pas être exprimées sous forme fermée . Cependant, les valeurs des intégrales définies de certaines de ces fonctions sur certains intervalles communs peuvent être calculées. Quelques intégrales utiles sont données ci-dessous.

  • (voir aussi fonction Gamma )
  • pour a > 0 (l' intégrale gaussienne )
  • pour un > 0
  • pour a > 0 , n est un entier positif et !! est la factorielle double .
  • quand a > 0
  • pour a > 0 , n = 0, 1, 2, ....
  • (voir aussi le numéro de Bernoulli )
  • (voir fonction sinc et l' intégrale de Dirichlet )
  • (si n est un entier positif et !! est la factorielle double ).
  • (pour α , β , m , n entiers avec β ≠ 0 et m , n ≥ 0 , voir aussi Coefficient binomial )
  • (pour α , β réel, n un entier non négatif, et m un entier positif impair ; puisque l'intégrande est impair )
  • (pour α , β , m , n entiers avec β ≠ 0 et m , n ≥ 0 , voir aussi Coefficient binomial )
  • (pour α , β , m , n entiers avec β ≠ 0 et m , n ≥ 0 , voir aussi Coefficient binomial )
  • (où exp[ u ] est la fonction exponentielle e u , et a > 0 .)
  • (où est la fonction Gamma )
  • (pour Re( α ) > 0 et Re( β ) > 0 , voir fonction Beta )
  • (où I 0 ( x ) est la fonction de Bessel modifiée du premier type)
  • (pour ν > 0 , ceci est lié à la fonction de densité de probabilité de la loi t de Student )

Si la fonction f a une variation bornée sur l'intervalle [ a , b ] , alors la méthode d'épuisement fournit une formule pour l'intégrale :

Le " rêve de deuxième année ":

attribué à Johann Bernoulli .

Voir également

Les références

Lectures complémentaires

Liens externes

Tables d'intégrales

Dérivations

Un service en ligne

Programmes open source

Vidéos