Primitive
![](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b0/F_of_x.svg/45px-F_of_x.svg.png)
Cet article est une ébauche concernant l’analyse.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Primitif.
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/6/6f/Confusion_colour.svg/20px-Confusion_colour.svg.png)
Ne pas confondre avec la notion de fonction primitive en informatique.
En mathématiques, une primitive d’une fonction réelle (ou holomorphe) f est une fonction F dont f est la dérivée : . Il s’agit donc d’un antécédent pour l’opération de dérivation.
La détermination d’une primitive sert d’abord au calcul des intégrales de fonctions continues sur un segment, en application du théorème fondamental de l'analyse.
De nombreuses méthodes de calcul permettent d’exprimer des primitives pour certaines combinaisons de fonctions usuelles, mais le traitement général du problème diffère du calcul de la dérivée pour deux raisons essentielles :
- il n’y a pas unicité de la primitive pour une fonction donnée, ce qui explique également l’absence d’opérateur de primitive analogue au prime pour la dérivée (même si pour une fonction notée avec une lettre minuscule, une primitive est souvent notée avec la majuscule associée) ;
- quel que soit l’ensemble fini de fonctions usuelles que l’on se donne, certaines combinaisons de ces fonctions n’admettent aucune primitive qui puisse s’exprimer comme combinaison de fonctions usuelles. Les conditions précises d’existence de l’expression d’une primitive sont explicitées par le théorème de Liouville.
Toute fonction réelle continue sur un intervalle, voire continue par morceaux, admet une primitive. En revanche, une fonction holomorphe sur un ouvert de n’admet une primitive que si son intégrale curviligne sur tout lacet est nulle (par exemple si l’ouvert de définition est simplement connexe, d’après le théorème intégral de Cauchy).
Méthodes de calcul
Formulaire
Chacune des primitives indiquées ici permet de déterminer toutes les autres primitives en ajoutant des constantes (éventuellement différentes d’une composante connexe à l’autre du domaine).
(avec ) | , , | |
(avec , ) | ||
En particulier, la fonction exponentielle est une primitive d’elle-même. Ce tableau inclut les primitives des inverses de fonctions puissances avec la règle , la racine carrée par , et plus généralement les racines d’ordre supérieur par .
arsinh x | ||
pour arcosh prolongeable à en utilisant l'expression logarithmique | arcosh x | |
artanh x | ||
arcoth x |
Combinaisons
Le formulaire de dérivation permet d’obtenir l’expression de primitives pour toutes les combinaisons linéaires des dérivées de fonctions usuelles, en particulier pour un polynôme à partir de sa forme développée. Par exemple, une primitive du polynôme est .
Pour une fraction rationnelle, il est possible d’obtenir une primitive à l’aide de sa décomposition en éléments simples, mais celle-ci repose sur une factorisation du dénominateur, ce qui ne s’explicite pas en général.
La composition à droite par une fonction affine permet d’étendre ce formulaire : si F est une primitive de f, et si a et b sont deux réels avec a ≠ 0, alors la fonction admet pour primitive . En particulier, on obtient des primitives de signaux périodiques apparaissant par exemple dans le circuit RLC :
Plus généralement, si u est une fonction dérivable, toutes ses composées à gauche par les primitives dans les tableaux ci-dessus fournissent des formes standard dans la recherche de primitive, comme dans le tableau ci-dessous.
Intégration
Le théorème fondamental de l'analyse permet le calcul de primitives en utilisant des intégrales. Les méthodes d’intégration permettent d’obtenir des primitives supplémentaires, notamment par changement de variable ou intégration par parties. C’est ainsi qu’on peut retrouver facilement une primitive des fonctions logarithme ou arc tangente[1].
De même, les règles de Bioche permettent de déterminer une primitive pour un quotient de polynômes trigonométriques.
Utilisations
Les primitives permettent de calculer des intégrales, en vertu du théorème fondamental de l'analyse : si F est une primitive d’une fonction f définie et continue sur un intervalle réel , alors la fonction f est intégrable sur cet intervalle, avec .
Cette égalité assure l’équivalence suivante : une fonction définie et continue sur un intervalle réel est intégrable si et seulement si ses primitives admettent des limites finies aux bornes de l’intervalle.
La résolution de certaines équations différentielles repose sur la détermination de primitives. Par exemple, pour une équation du premier ordre sous forme résolue , en notant F une primitive de , on obtient que les fonctions solutions sont de la forme , où est une réciproque partielle de F.
Pour une variable aléatoire réelle à densité, la fonction de répartition est une primitive de la fonction de densité.
Calcul automatique
Des logiciels comme Maxima, SageMath, Maple ou Mathematica permettent depuis quelques années de calculer interactivement certaines primitives sous forme symbolique. Le premier logiciel permettant d'effectuer de l'intégration assistée par ordinateur sous forme symbolique était le langage FORMAC, utilisé par les physiciens dans les années 1970.
Il n'est cependant pas possible en général d'exprimer les primitives de fonctions élémentaires (comme celles de la fonction ) à l'aide de fonctions élémentaires seules (d'où la nécessité d'introduire des « fonctions spéciales » telles que la fonction logarithme intégral, li) ; des conditions précises pour qu'une primitive « élémentaire » explicite existe sont données par un théorème de Liouville, et il est même possible d'automatiser complètement la recherche de telles primitives, grâce à l'algorithme de Risch.
Primitive généralisée
Une primitive généralisée[2] d'une application , où est un intervalle réel et un espace vectoriel normé, est une application continue telle que, sur le complémentaire d'un ensemble dénombrable, .
Par exemple, si est la fonction nulle et la fonction indicatrice d'un ensemble dénombrable de réels[3], alors est une primitive généralisée de puisque pour tout réel .
Si une fonction est une primitive généralisée d'une fonction alors :
- les autres sont les applications de la forme où est une constante (vectorielle)[4] (d'après l'inégalité des accroissements finis généralisée) ;
- dans le cas , est localement intégrable au sens de Kurzweil-Henstock et satisfait :(d'après le second théorème fondamental de l'analyse).
Le premier théorème fondamental de l'analyse fournit une réciproque partielle : si est réglée[1] (donc localement Riemann-intégrable), l'application F définie par
(où est un point arbitraire de ) est une primitive généralisée de .
Notes et références
- ↑ a et b Ici, nous avons calculé la primitive de fonction ln qui s'annule en 1 ainsi que celle de la fonction arctan qui s'annule en 0. Nous aurions pu généraliser en calculant la primitive de ces fonctions qui s'annule en a.
- ↑ Jean-Pierre Ramis, André Warusfel et al., Mathématiques Tout-en-un pour la Licence 2, Dunod, , 2e éd. (lire en ligne), p. 605, déf. 16.
- ↑ (en) Robert G. Bartle, A Modern Theory of Integration, AMS, (lire en ligne), p. 57, donne cet exemple dans le cas particulier de la fonction de Dirichlet (la fonction indicatrice des rationnels).
- ↑ Ramis, Warusfel et al. 2014, p. 605, prop. 92.
Articles connexes
- Théorème de Liouville (algèbre différentielle), donnant des conditions pour qu'on puisse exprimer une primitive sous forme explicite.
- Algorithme de Risch
- Calcul numérique d'une intégrale
- Intégrale impropre
- Intégrale indéfinie
- Intégrale définie
- Intégration (mathématiques)
- Point de Lebesgue
- Intégration des fonctions réciproques
v · m | |
---|---|
Portail de l'analyse