O eqd d diff y x , x$2 K3 * diff y x , x C2 * y x = 0 : eqd; sol d dsolve eqd, y x ;
CHAPITRE 5: LES équations différentielles d2 d
y x K3 y x C2 y x = 0 dx2 dx Fonction dsolve x 2x • MAPLE permet de résoudre les équations différentielles à l'aide de l'opérateur dsolve. sol := y x = _C1 e C_C2 e (4) • On définit les termes différentiels des équations à l'aide de l'opérateur diff. avec les conditions initiales: • syntaxe:dsolve({ODE, ICs}, y(x), options) O eqd_ci d diff y x , x$2 K3 * diff y x , x C2 * y x = 0 , y 0 = 1 , D y 0 = 0 ; sol Equations du premier ordre: d dsolve eqd_ci, y x ; O restart:eqd:=diff(y(x),x)-k*x*y(x) = x: eqd;sol:=dsolve(eqd); d2 d d eqd_ci := y x K3 y x C2 y x = 0, y 0 = 1, D y 0 = 0 y x Kk x y x = x dx 2 dx dx x 2x 1 k x2 sol := y x = 2 e Ke (5) 1 2 sol := y x = K Ce _C1 (1) On peut demander à dsolve d'appliquer une méthode de résolution par transformations intégrales de Laplace ou de k Fourier si l'on sait que l'une de ces méthodes est efficace pour résoudre une équation.en utilisant comme troisième • _C1 désigne une constante réelle arbitraire. argument le mot clé method. Lorsque l'on fixe une ou plusieurs conditions initiales, elles forment avec l'équation différentielle un ensemble O eqd_ci := {diff(y(x), `$`(x, 2))+4*(diff(y(x), x))+8*y(x) = sin(x), y(0) = d'équations à résoudre . MAPLE calcule (si elle existe) la (les) valeur(s) des constante(s) d'intégration. 1, (D(y))(0) = 0};sol:=dsolve(eqd_ci,y(x));sol:=dsolve(eqd_ci,y(x),method= O eqd:=diff(y(x),x)-2*x*y(x) = x: eqd;c_i:=y(0)=1;sol:=dsolve({eqd,c_i}); laplace); 2 d d d y x K2 x y x = x eqd_ci := 2 y x C4 y x C8 y x = sin x , y 0 = 1, D y 0 = 0 dx dx dx c_i := y 0 = 1 131 K2 x 69 K2 x 7 4 sol := y x = e sin 2 x C e cos 2 x C sin x K cos x 1 3 x2 130 65 65 65 sol := y x = K C e (2) 2 2 4 7 1 K2 x sol := y x = K cos x C sin x C e 138 cos 2 x C131 sin 2 x (6) On peut préciser des options de résolution : explicit (pour tenter d'exprimer la solution comme fonction explicite de la 65 65 130 variable) , series (chercher les solutions sous forme de séries). Système d'équations différentielles O eq:={diff(z(x),x)+z(x)*cos(x)=1,z(0)=1};dsolve(eq,z(x));dsolve(eq,z(x), MAPLE peut aussi résoudre des systèmes d'équations différentielles. series); Exemple: résoudre x'=x-2y , y'=2x+3y . Représenter la solution vérifiant x(0)=0 et y(0)=1. O restart : sys d diff x t , t = x t K2 * y t , diff y t , t = 2 * x t C3 * y t : dsolve sys , x t , y t ; d 2t 1 2t eq := z x Cz x cos x = 1, z 0 = 1 x t = e _C1 sin 3 t C_C2 cos 3 t , y t = e K_C1 sin 3 t K_C1 cos 3 t 3 (7) dx 2 x Ksin x sin _z1 Ksin x K_C2 cos 3 t C_C2 sin 3 t 3 z x =e e d_z1 Ce 0 O p d dsolve sys, x 0 = 0, y 0 = 1 , x t , y t , numeric : with plots : odeplot p, t, x t , t, y t ,K1 1 3 1 4 6 ..2 ; z x =1C x K x CO x (3) 6 24 La fonction odeplot du package plots permet de représenter les solutions d'une équation différentielle : 10 O with(plots,odeplot): p:= dsolve({D(z)(x) = z(x),z(0)=1}, z(x),type=numeric) : odeplot(p,[x,z(x)],-2..2,title="Fonction exponentielle"); Fonction exponentielle K1 0 1 2 7 K10 t 6 5 K20 z4 3 x, y K30 2 K40 1 K50 K2 K1 0 1 2 x K60 Equations du second ordre: Pour définir les dérivées d'ordres supérieurs on peut utiliser l'opérateur diff conformément aux indications données au Remarque: Lorsque MAPLE ne trouve pas de solutions exactes, il est possible de trouver une solution numérique en chapitre Dérivation. utilisant le mot clé numeric TSI Première année 2009/2010 MAPLE 1/2 TSI Première année 2009/2010 MAPLE 2/2