Pourquoi certaines intégrales n'ont pas de solution analytique
Motivation : une intégrale en apparence simple
Considérons l'intégrale suivante :
À première vue, cette intégrale semble tout à fait accessible. Observons la fonction :
Graphe de f(x) = √(1 + cos²(x)) sur [0, π]
La fonction est continue, lisse, bornée entre 1 et , et ne présente aucune singularité. Elle ressemble à tant d'autres fonctions que nous avons intégrées au cours de notre formation en calcul différentiel et intégral.
Pourtant, cette intégrale ne possède aucune primitive exprimable en fonctions élémentaires. Autrement dit, il n'existe aucune combinaison finie d'opérations algébriques, exponentielles, logarithmiques et trigonométriques qui permette d'écrire sa primitive.
Cette observation soulève une question fondamentale : comment distinguer les intégrales qui admettent une forme close de celles qui n'en ont pas?
Types de solutions analytiques
Avant d'aller plus loin, clarifions la terminologie et la hiérarchie des fonctions mathématiques.
Hiérarchie des fonctions mathématiques
Fonctions rationnelles
P(x)/Q(x) où P, Q polynômes
Ex: (x² + 1)/(x - 3)
Fonctions algébriques
Solutions de P(x, y) = 0
Ex: √x, ∛(x² + 1)
Fonctions élémentaires
Algébriques + exp, log, trig et compositions
Ex: eˣ, sin(x), ln(x² + 1)
Fonctions spéciales (non élémentaires)
Intégrales elliptiques, fonction Gamma, erf, etc.
Ex: E(k), Γ(x), Si(x)
Fonctions rationnelles
Les fonctions rationnelles sont les quotients de deux polynômes :
Toute fonction rationnelle admet une primitive en forme close (via la décomposition en fractions partielles).
Fonctions algébriques
Une fonction est algébrique si elle satisfait une équation polynomiale :
Par exemple, satisfait .
Fonctions élémentaires
Les fonctions élémentaires sont construites par composition finie à partir de :
- Fonctions algébriques
- Fonction exponentielle et logarithme
- Fonctions trigonométriques et leurs réciproques
Définition : Forme close
Une forme close (ou solution analytique) est une expression finie impliquant uniquement des fonctions élémentaires et les opérations arithmétiques de base.
Fonctions spéciales
Au-delà des fonctions élémentaires, les mathématiciens ont défini des fonctions spéciales pour représenter des primitives qui n'ont pas de forme close :
| Fonction | Définition | Application |
|---|---|---|
| Fonction erreur erf(x) | Probabilités, statistiques | |
| Sinus intégral Si(x) | Traitement du signal | |
| Intégrale elliptique E(k) | Géométrie, physique | |
| Fonction Gamma Γ(x) | Combinatoire, physique |
Intégrales : avec ou sans forme close?
✓ Forme close existe
- ∫ cos²(x) dx= x/2 + sin(2x)/4
- ∫ eˣ dx= eˣ
- ∫ 1/(1+x²) dx= arctan(x)
- ∫ √(1−x²) dx= (arc + ...)/2
✗ Pas de forme close
- ∫ e^(−x²) dx→ erf(x)
- ∫ sin(x)/x dx→ Si(x)
- ∫ 1/ln(x) dx→ li(x)
- ∫ √(1+cos²x) dx→ E(k)
erf = fonction erreur, Si = sinus intégral, li = logarithme intégral, E = intégrale elliptique
Pourquoi cette intégrale est-elle « elliptique »?
Définition formelle
Une intégrale elliptique est une intégrale de la forme :
où est une fonction rationnelle à deux variables et est un polynôme de degré 3 ou 4 sans racines multiples.
Critère clé
C'est le degré du polynôme sous la racine qui détermine si une intégrale est elliptique. Degré 1 ou 2 → intégrable en forme close. Degré 3 ou 4 → intégrale elliptique.
Transformation de notre intégrale
Montrons que notre intégrale satisfait ce critère. Effectuons la substitution :
En utilisant l'identité :
L'intégrale devient :
Identifions le polynôme sous la racine. En combinant les deux radicaux :
Transformation : substitution t = sin(x)
Fonction originale : √(1 + cos²x)
Polynôme P(t) = t⁴ − 3t² + 2
Degré 4 → L'intégrale est de type elliptique
Le polynôme est de degré 4. Notre intégrale est donc bien une intégrale elliptique.
Lien avec l'intégrale elliptique de seconde espèce
Notre intégrale s'exprime en fonction de l'intégrale elliptique complète de seconde espèce :
Plus précisément, par symétrie :
Origine historique du nom
Le terme « elliptique » provient du problème du périmètre d'une ellipse.
Origine du nom : périmètre d'une ellipse
Ellipse avec a = 2, b = 1
Périmètre = 4a · E(e) où e = √(1 − b²/a²)
Cette formule ne peut pas se simplifier en fonctions élémentaires!
Pour une ellipse de demi-axes et , paramétrée par :
La longueur d'arc est donnée par :
Cette intégrale ne peut pas se simplifier en fonctions élémentaires, ce qui a motivé l'étude systématique de ces « intégrales elliptiques » par Euler, Legendre, Abel et Jacobi aux XVIIIᵉ et XIXᵉ siècles.
Comment prouver qu'une primitive n'existe pas?
C'est la question centrale : comment passer de « je ne trouve pas la primitive » à « la primitive n'existe pas » ? Le théorème de Liouville (1833) fournit la réponse.
Le théorème de Liouville : une contrainte structurelle
Théorème de Liouville (1833)
Si est une fonction élémentaire, alors est élémentaire si et seulement si elle peut s'écrire sous la forme :
où les sont des fonctions élémentaires et les sont des constantes.
La beauté de cette contrainte
Ce théorème dit quelque chose de remarquable : si une primitive élémentaire existe, elle a nécessairement cette forme très particulière — une partie « algébrique » plus une somme finie de logarithmes.
Pas de , pas de compositions complexes, pas de logarithmes imbriqués. Juste une somme.
Application : prouvons que notre intégrale n'a pas de forme close
Montrons concrètement comment utiliser ce théorème. Considérons l'intégrale :
Étape 1 : Supposons qu'une primitive élémentaire existe.
D'après Liouville, elle s'écrirait :
Étape 2 : Dérivons les deux côtés.
Étape 3 : Analysons la structure.
Le membre de gauche a une singularité en (racines de ). Pour que l'égalité soit possible :
- Soit contient déjà (mais alors n'est pas élémentaire au sens strict)
- Soit les doivent « compenser » ces singularités
Étape 4 : Le critère décisif.
On peut montrer (c'est le cœur technique du théorème) que pour une intégrale de la forme :
| Degré de P(t) | Primitive élémentaire? |
|---|---|
| 1 ou 2 | Oui — réductible par substitution trigonométrique ou hyperbolique |
| 3 ou 4 | Non (sauf cas très particuliers) — intégrale elliptique |
Notre polynôme est de degré 4. Aucune combinaison de la forme Liouville ne fonctionne. CQFD.
Ce que signifie cette preuve
Ce n'est pas que personne n'a encore trouvé la bonne astuce. C'est que mathématiquement, aucune expression finie en fonctions élémentaires ne peut représenter cette primitive. Elle n'existe pas dans cet univers.
L'algorithme de Risch : automatiser la décision
En 1969, Robert Risch a transformé ce raisonnement en un algorithme complet : étant donné n'importe quelle fonction élémentaire, on peut décider mécaniquement si sa primitive est élémentaire ou non.
En pratique
Quand Mathematica, Maple ou SymPy « refuse » de calculer une intégrale et renvoie l'expression non évaluée, c'est souvent parce que l'algorithme de Risch a prouvé qu'aucune forme close n'existe — pas par manque de puissance de calcul.
Retour à notre intégrale elliptique
Appliquons maintenant ce raisonnement à notre intégrale initiale :
Étape 1 : Substitution
On a , donc .
De plus, , donc :
Étape 2 : L'intégrale transformée
L'intégrale devient :
Étape 3 : Identification du polynôme
Cette intégrale est de la forme . Pour identifier , combinons les deux radicaux :
Le polynôme « effectif » sous la racine est le produit des deux facteurs (après mise au carré du dénominateur) :
Conclusion : degré 4 → intégrale elliptique
est un polynôme de degré 4. D'après le critère de Liouville, aucune primitive élémentaire n'existe.
Le verdict est sans appel : prouvablement non élémentaire.
Conclusion
L'intégrale illustre une réalité fondamentale des mathématiques : la plupart des fonctions élémentaires n'ont pas de primitive élémentaire.
Cette observation a deux conséquences majeures :
-
Théorique : Les mathématiciens ont développé toute une théorie des fonctions spéciales pour étudier et tabuler ces intégrales « impossibles ».
-
Pratique : Les ingénieurs et scientifiques doivent recourir à l'analyse numérique pour évaluer ces intégrales — ce qui sera l'objet de notre prochaine leçon.
À retenir
- Une forme close est une expression finie en fonctions élémentaires
- Le théorème de Liouville caractérise les primitives élémentaires
- Les intégrales elliptiques impliquent des polynômes de degré 3 ou 4 sous une racine
- L'algorithme de Risch permet de décider si une forme close existe
Références
- Liouville, J. « Mémoire sur l'intégration d'une classe de fonctions transcendantes », Journal für die reine und angewandte Mathematik, 1833.
- Risch, R. H. « The Problem of Integration in Finite Terms », Transactions of the American Mathematical Society, 139, 1969.
- Bronstein, M. Symbolic Integration I: Transcendental Functions, 2ᵉ édition, Springer, 2005.
- Abramowitz, M. et Stegun, I. A. Handbook of Mathematical Functions, Dover Publications, 1965.