Aller au contenu

Équation différentielle

Un article de Wikipédia, l'encyclopédie libre.
Équation différentielle linéaire d'ordre un, avec a et b deux réels, et y une fonction, et y' sa dérivée. y' = ay + b
Équation différentielle linéaire d'ordre un, avec a et b deux réels, et y une fonction et y' sa dérivée

En mathématiques, une équation différentielle est une équation dont la ou les inconnues sont des fonctions ; elle se présente sous la forme d'une relation entre ces fonctions inconnues et leurs dérivées successives. C'est un cas particulier d'équation fonctionnelle.

Une équation différentielle permet de modéliser des situations très diverses, que ce soit en physique, en économie, en biologie, en sciences de l'ingénieur ou dans d'autres domaines encore, dans lesquelles la vitesse de variation d'une quantité a une relation déterminée à cette quantité. Seules quelques équations différentielles très simples ont des solutions exactes. Néanmoins, on peut trouver des propriétés des solutions sans les connaître explicitement, en travaillant à partir des équations différentielles elles-mêmes. Dans les cas où une solution exacte d'un système d'équations différentielles n'existe pas, on peut cependant trouver des solutions approchées par des méthodes d'approximation numérique, qui sont devenues très précises et efficaces depuis le développement de l'informatique. Sinon, avec l'aide des mathématiques pures, la théorie des systèmes dynamiques permet de connaître certaines propriétés des solutions.

Exemple tiré de la mécanique

[modifier | modifier le code]

En mécanique classique, le mouvement d'un corps est décrit par sa position et sa vitesse en fonction du temps. Grâce aux lois de Newton, on peut écrire le problème comme une équation différentielle avec comme inconnue la position du solide en fonction du temps, sa vitesse et son accélération étant ses dérivées première et seconde, et les paramètres étant les différentes forces agissant sur ce corps. Dans certains cas simples ou après des simplifications du problème, l'équation différentielle, appelée équation du mouvement, peut être résolue de façon explicite.

Un exemple de la vie courante faisant appel à l'équation du mouvement est la détermination de la vitesse d'une balle tombant en l'air, et subissant comme forces uniquement la loi de la gravité et la résistance de l'air, toutes deux étant exercées verticalement, et la seconde limitant la première. La gravité est constante, et la résistance de l'air peut être modélisée simplement en la considérant comme proportionnelle à la vitesse :

où :

  • désigne la gravité exercée sur la balle ;
  • désigne la résistance de l'air qu'elle subit ;
  • est sa masse inertielle (qui se révèle égale à la masse gravitationnelle, voir principe d'équivalence) ;
  • est la vitesse de son centre d'inertie G ;
  • est le temps.

Histoire des équations différentielles

[modifier | modifier le code]

Des modélisations mathématiques étaient déjà en cours de développement à l'époque de la Renaissance. Mais l'utilisation explicite des équations différentielles formelles apparaît avec l'invention du calcul infinitésimal par Isaac Newton et Gottfried Leibniz. Newton en définit trois dans son traité de Methodis Serierum et Fluxionum[1]  : , où est la fonction inconnue, dépendant de (ou de et si c'est une fonction de plusieurs variables), et où est une fonction donnée. Il résout ces exemples en faisant appel aux séries infinies, et étudie la possibilité de plusieurs solutions.
Jacques Bernoulli proposa une autre forme d'équation différentielle en 1695:

Leibniz réussit à en trouver des solutions quelques années plus tard, en la simplifiant.

L'une des premières questions de physique à nécessiter l'appel aux équations différentielles fut le problème d'une corde vibrante, comme par exemple pour un instrument de musique. Ce problème fut étudié par Jean le Rond d'Alembert, Leonhard Euler, Daniel Bernoulli, et Joseph-Louis Lagrange[2],[3]. En 1746, d'Alembert découvrit l'équation d'une onde en une dimension, et quelques années plus tard, Euler découvrit l'équation d'une onde en trois dimensions[4]

.
L'équation d'Euler-Lagrange fut développée dans les années 1750 par les deux mathématiciens pour résoudre en particulier le problème des courbes tautochrones. Lagrange résolut le problème en 1755, et envoya la solution à Euler. Tous deux développèrent à partir de cela la méthode de Lagrange et l'appliquèrent à la mécanique, ce qui aboutit à la formulation de la mécanique lagrangienne.
En 1822, Joseph Fourier publia son travail sur le transfert thermique, dans son traité Théorie analytique de la chaleur[5], dans le quel il s'appuie sur la loi de refroidissement de Newton. Dans son traité, il établit une équation de la chaleur, une équation aux dérivées partielles, qui décrit le phénomène physique de conduction thermique. Cette équation a été utilisée depuis dans de nombreux autres domaines des mathématiques et de la physique (théorie des probabilités, mathématiques financières, mécanique quantique,...).

Types d'équations différentielles

[modifier | modifier le code]

Les équations différentielles peuvent être caractérisées de plusieurs manières. Cette caractérisation aide à trouver les bons outils convenant à chaque équation différentielle pour trouver des solutions ou du moins en découvrir des propriétés. La caractérisation la plus importante est la distinction entre les équations différentielles ordinaires (EDO) et les équations aux dérivées partielles, où la ou les fonctions inconnues recherchées peuvent dépendre de plusieurs variables indépendantes (EDP). On peut aussi distinguer les équations différentielles linéaires et non linéaires, et les équations différentielles homogènes, ou non homogènes.
Il existe aussi d'autres types particuliers d'équations différentielles : les équations intégro-différentielles (IDE), qui contiennent à la fois des dérivées et des primitives des solutions ; les équations différentielles raides, dont les solutions sont sensibles aux variations des paramètres ; les équations différentielles holomorphes (EDH) où la ou les fonctions inconnues dépendent d'une seule variable complexe ; les équations différentielles stochastiques (EDS) où un ou plusieurs paramètres de l'équation différentielle sont des processus stochastiques ; les équations différentielles à retard (EDR) dans lesquelles la dérivée de la fonction inconnue à un moment donné est exprimée selon les valeurs de la fonction aux temps précédents ; les équations différentielles abstraites (EDA) où les fonctions inconnues et leurs dérivées prennent leurs valeurs dans des espaces fonctionnels abstraits (espace de Hilbert, espace de Banach, etc.).

Notes et références

[modifier | modifier le code]
  1. Newton, Isaac. (c.1671). Methodus Fluxionum et Serierum Infinitarum (The Method of Fluxions and Infinite Series), published in 1736 [Opuscula, 1744, Vol. I. p. 66].
  2. Craig Frasier, « Review of The evolution of dynamics, vibration theory from 1687 to 1742, by John T. Cannon and Sigalia Dostrovsky », Bulletin of the American Mathematical Society, vol. 9, no 1,‎ (lire en ligne)
  3. Gerard F. Wheeler et William P. Crummett, « The Vibrating String Controversy », Am. J. Phys., vol. 55, no 1,‎ , p. 33–37 (DOI 10.1119/1.15311, Bibcode 1987AmJPh..55...33W)
  4. Speiser, David. Discovering the Principles of Mechanics 1600-1800, p. 191 (Basel: Birkhäuser, 2008).
  5. Joseph Fourier, Théorie analytique de la chaleur, Paris, Firmin Didot Père et Fils, (OCLC 2688081, lire en ligne)

Bibliographie

[modifier | modifier le code]
  • (en) Carl B. Boyer, The Concepts of the Calculus: A Critical and Historical Discussion of the Derivative and the Integral, Hafner Publishing Company,  ; republication : (en) Carl B. Boyer, The History of the Calculus and Its Conceptual Development, Dover, (lire en ligne).
  • (en) Dirk Jan Struik (ed.), A Source Book in Mathematics, 1200-1800, Cambridge, MA, Harvard University Press, (lire en ligne), p. 238-243; 271-281.
  • (en) Florian Cajori, « The History of Notations of the Calculus », Annals of Mathematics, vol. 25, no 1,‎ , p. 1-46 (lire en ligne).

Articles connexes

[modifier | modifier le code]

Liens externes

[modifier | modifier le code]