Académique Documents
Professionnel Documents
Culture Documents
EQUATIONS DIFFERENTIELLES
1) GENERALITES.
A) Dfinitions et notations premires.
Soit n un entier non nul, D une partie du produit cartsien RCn+1 et F une application de D
vers C. Rsoudre lquation diffrentielle (E) : F(x, y, y,., y(n))=0 . signifie dterminer
toutes les fonctions y de variable relle, valeurs dans C, drivables au moins lordre n en
tout point de leur ensemble de dfinition I et telles que pour tout x de I on ait :
F(x, y(x), y(x),.., y(n)(x)=0 .
Lentier n sera appel ordre de lquation (E). Cest le plus grand indice de drive successive
de la fonction y intervenant explicitement dans (E).
Remarquons que la variable est ncessairement relle mais que pour les images nous
considrons le cas le plus gnral de fonctions valeurs dans C.
La rsolution complte dune quation diffrentielle est un des problmes les plus dlicats de
lAnalyse, et ceci mme pour des petits ordres. En effet linconnue tant de type fonction, on
nchappera pas aux interrogations classiques lies ce concept :
Pour rpondre ces questions rappelons que les principaux thormes concernant le calcul
diffrentiel et intgral ont t tablis pour des fonctions dfinies sur un intervalle de R.
Il faut donc sattendre ce que cette notion dintervalle joue donc ici aussi un rle essentiel.
On commencera donc en rgle gnrale par dceler des solutions ventuelles de lquation
propose dfinies sur un intervalle I de lensemble des rels.
Les problmes dits de raccordement de solutions dfinies sur des intervalles juxtaposs
seront abords dans les exercices.
Pour ce qui concerne la relation fonctionnelle dfinissant y sur son ensemble dtude I, nous
conviendront de dire que lquation est rsolue si on a russi ramener celle ci une des deux
formes lmentaires suivantes :
_ Dans le premier cas il est clair en effet que les solutions dfinies sur I ne sont autres que les
primitives de la fonction continue f sur cet intervalle. (Le terme quadrature est une
appellation classique pour lexplicitation des primitives dune fonction donne )
x
Si x0 est un des lments de I, les solutions seront dfinies par : x ay(x)= f (t )dt +
x0
212
_ Dans le deuxime cas, toute fonction valeurs complexes de drive nulle sur un intervalle
tant constante, les solutions seront donc les fonctions x ay(x) telles que pour tout x de I soit
vrifie la relation : U(x, y(x))= , avec ici aussi constante complexe arbitraire.
Un exemple intressant de cette situation est celui des quations dites variables sparables
du type a(y).y=b(x) avec a et b continues sur les intervalles respectifs J et I de R et valeurs
relles.
Ses solutions seront dfinies de manire implicite par A(y)-B(x)= avec rel arbitraire.
On ne pourra donc pas toujours dans les schmas prcdents expliciter la correspondance
x ay(x) laide de la palette des fonctions usuelles et des oprations classiques.
Cela nest pas fondamental, les chapitres prcdents nous ont habitu voir que le concept de
fonction dpasse largement la notion de formule algbrique lmentaire et on y a dj abord
dans les exercices des tudes dapplication dfinies par intgrales, comme rciproques, ou par
une relation algbrique implicite.
Courbes intgrales.
Si les solutions sont cherches exclusivement valeurs relles, on appellera courbe intgrale
lie lquation diffrentielle tudie toute courbe reprsentative dune de ces solutions dans
un repre cartsien du plan, ou plus gnralement toute courbe plane contenant lensemble
des points reprsentatifs dune solution.
_ Ainsi dans le cadre dune quation ramene un problme de quadrature, on obtient les
x
courbes planes C dquation : y= f (t )dt + , avec paramtre rel arbitraire.
x0
Remarquons quil nexiste alors quune seule de ces courbes passant par un point particulier
x1
_ Dans le cas dune diffrentielle totale on obtient les courbes planes C dquation U(x, y)=
avec galement paramtre rel quelconque.
Ici galement il nexistera quune seule de ces courbes passant par le point de coordonnes
(x1, y1) donn, celle dfini par : 1=U(x1, y1), mais une mme courbe pourra tre le support de
plusieurs fonctions solutions. (Considrer par exemple lquation implicite : y-x=0 , dont la
courbe englobe les reprsentations des fonctions x a f(x)= x et x a g(x)=- x ).
B) Equations linaires.
213
(Eq) : a0(x)y+a1(x)y+..+an(x)y(n)=b(x) .
Equation dans laquelle a0, a1, ., an, b dsignent des fonctions valeurs sur le corps K=R ou
C et dfinies sur le mme ensemble I de R.
Les fonctions a0, , an seront appels coefficients et la fonction b second membre de (Eq).
Lappellation linaire tient linterprtation suivante :
Dsignons par E le K espace des fonctions drivables au moins lordre n sur I, par F le K
espace des fonctions de I vers K, et par T lapplication de E vers F qui toute fonction y
associe la fonction z=T(y)= a0.y+a1.y+..+an.y(n)
Il est clair que T est une application K linaire. Rsoudre lquation diffrentielle (Eq) revient
donc dterminer les antcdents pour T du vecteur b.
On sait alors que si b est effectivement lment de Im(T), lensemble des solutions sobtient
partir dune solution particulire de (Eq) en ajoutant un vecteur quelconque du noyau de T.
Ltude dune quation diffrentielle linaire peut donc se structurer en deux tapes :
Pour cette recherche on verra par la suite que lon peut mettre profit les rsultats obtenus
propos de ltude du noyau de T (mthodes de Lagrange ou dabaissement de lordre)
Notons aussi la mthode dite de superposition des solutions, base sur la linarit de T :
Si y1 est une solution de (Eq) pour un second membre b=b1 et y2 une solution de (Eq) pour un
second membre b=b2, alors pour tout de K, y=y1+y2 est une solution de (Eq) pour le second
membre b=b1+b2.
b( x )
Commenons par mettre cette quation sous la forme quivalente : y = .y
a( x)
(La fonction a est suppose ne sannulant pas sur lintervalle I).
Ainsi, les solutions valeurs relles strictement positives sur I seront dfinies par la relation
d b( x)
de diffrentielle totale : ln( y ) + dx = 0 , avec la convention dcriture classique o
dx a ( x)
b( x ) a( x)
x a dx dsigne une des primitives du quotient continu x a sur lintervalle I.
a( x) b( x )
b( x)
a ( x ) dx
On en dduit, sous ces restrictions, que y est dfini sur I par : x ay(x)= e avec >0
quelconque.
On va voir que toute solution de (E0) est en fait dfinie galement par une formule du type
prcdent, avec paramtre rel ou complexe quelconque.
b( x)
a ( x ) dx
Pour cela effectuons le changement de variable dfini par y= z.e . Cela revient choisir
b( x)
a ( x ) dx
pour nouvelle inconnue la fonction z dfinie sur I par x az(x)= y.e
Or a est suppos ne pas sannuler sur I et un exponentielle dun rel ou dun complexe ne peut
non plus prendre la valeur 0. Il sensuit que la drive de z doit tre nulle sur I, ce qui entrane
la constance de z sur cet intervalle. On a donc tabli le rsultat fondamental suivant :
On peut rsumer ceci en crivant que lensemble de ces solutions est une droite du K espace
215
b( x) b( x) + b( x) b( x)
a ( x ) dx dx a ( x ) dx a ( x ) dx
Il sensuit que y est dfini sur I par y= z.e = ( z 0 + )e = z0 .e a( x)
+ e
On retrouve bien la structure commune toutes les quations linaires :
b( x)
a ( x ) dx
Somme dune solution particulire y0 dfinie par y0 = z0 .e , avec une solution
quelconque u de lquation sans second membre.
En effet, avec les notations prcdentes, la contrainte y(x1)=y1 est ralise pour la seule valeur
y y0 ( x1 )
1= 1 . Si K=R il existe donc une et une seule courbe intgrale passant par un point
u ( x1 )
donn du plan de coordonnes (x1, y1) .
Les fonctions a, b, c, d seront supposes continues sur lintervalle I de R valeurs dans K=R
ou C et la fonction a non identiquement nulle sur I (sinon lquation devient dordre 1).
Dans ce cas particulier, a, b, c dsignent des lments constants de K, avec a non nul.
Le second membre fonctionnel d tant toujours suppos continu sur lintervalle I de R.
Si on choisit pour paramtre un de ces deux zros, par exemple =1, lquation
diffrentielle en z se simplifie alors en : (2a1+b)z+az=0 , ou encore puisque a non nul, en :
b b
(21 + ) z + z = 0 , cest dire enfin en (1-2)z+z=0 , cause de 1 + 2 =
a a
La drive z satisfait donc une quation homogne du premier ordre qui sintgre trs
facilement, les coefficients tant constants.
_ Si les deux racines 1 et 2 sont distinctes, on sait que z est dfini sur lintervalle I par une
formule du type z ' = e( 2 1 ) x avec constante arbitraire dans C.
( 2 1 ) x
On en dduit par intgration : z = .e + avec complexe quelconque.
2 1
En revenant la fonction inconnue initiale, on obtient donc les solutions gnrales de (E0)
comme dfinies sur I par : y ( x) = C1e1 x + C2e 2 x avec (C1 , C2 ) = , couple de
2 1
complexes quelconques.
Lensemble de ces solutions est donc un plan du C espace des fonctions de I vers C, de base
(y1, y2) couple de fonctions dfinies par les formules respectives y1 ( x) = e1 x et y2 ( x) = e 2 x
( Pour tablir lindpendance de ce couple, cest dire la non colinarit, il suffit de
remarquer que le quotient x a e( 2 1 ) x nest pas constant sur I).
b
_ Si 1=2=- .
2a
217
Ici encore on obtient une structure de plan de base (y1, y2), couple dfini par les formules
b b
x x
respectives : y1 ( x) = e 2a
et y2 ( x) = x.e 2a
b) Expression des solutions valeurs relles. (Ceci bien sr dans le cas o a, b, c sont rels)
Remarquons que dans cette situation, une fonction y valeurs dans C est solution de
lquation (E0) si et seulement si sa conjugue y est aussi solution. ( Ceci car T( y ) est
conjugue de T(y)).
y+ y
On en dduit que si y est solution valeurs dans C, la fonction Re(y)= est solution
2
valeurs purement relle.
Ainsi, les solutions valeurs dans R de lquation homogne sobtiennent en considrant les
parties relles des solutions gnrales valeurs dans C dtermines prcdemment.
On vrifie facilement que lon obtient encore une structure de plan (pour la structure de R
espace), de base (y1, y2) dfinie suivant le signe du discriminant de (Ecar) par :
b b
x x
_ Si =0 , y1 ( x) = e 2a
et y2 ( x) = x.e 2a
b b
x x b
_ Si <0, y1 ( x) = e a
.cos(x) et y2 ( x) = e a
.sin(x) , - i dsignant les deux
2a
racines complexes conjugues de lquation caractristique.
Or y1 et y2 tant solution de lquation sans second membre, cette galit se simplifie en une
d ( x)
deuxime contrainte lmentaire (C2) : ' y1 '+' y2 ' =
a
Etudions le systme (S) form par les deux quations (C1) et (C2) dcrites ci dessus.
On vrifie facilement que quelle que soit la configuration des racines de lquation
caractristique, le dterminant det(x)=y1(x)y2(x)-y1(x)y2(x) ne sannule en aucun point de I.
Il sensuit que (S) est de Cramer et que le couple (, ) est dfini sur lintervalle I par les
y ( x)d ( x) y ( x)d ( x)
formules : = 2 et ' ( x) = 1
a. det( x) a. det( x)
On termine en explicitant les primitives sur I des quotients continus apparaissant ci dessus.
La mthode de Lagrange est dune porte gnrale, mais les quadratures intervenant en fin
peuvent savrer lourdes dans certains cas.
Pour des second membres typs on prfre alors souvent rechercher une solution dune forme
voisine, ce qui conduit un processus purement algbrique didentification des coefficients.
Cest le cas de second membres polynmiaux ou produits dun polynme par une
exponentielle, intervenant frquemment dans des quations diffrentielles traduisant des
phnomnes physiques.
On a dans cette configuration la rgle pratique suivante :
Si le second membre est du type P(x)e x avec P polynme de degr n et complexe donns,
on cherchera une solution particulire du mme type Q(x)e x avec Q polynme de degr :
Explication.
Il sagt en fait dun changement de fonction multiplicatif similaire celui ralis dans la
rsolution de lquation homogne. Les calculs effectus se traduisent alors par :
On est donc amen choisir le polynme Q tel que la quantit entre crochets concide avec
P(x). Pour ce faire, considrons lendomorphisme f dfini sur le K espace Km[X] des
polynmes de degr au plus gal m par : Q a f(Q)= (a+b+c)Q+(2a+b)Q+aQ et
219
f est alors injective et par suite bijective car Km[X] est de dimension finie.
_ Si a+b+c=0 et 2a+b non nul. Dans ce cas Q appartient Ker(f) si et seulement si Q=0
Le noyau est donc la droite des polynmes constants. Il sensuit daprs le thorme du rang
que lespace image est de dimension m=(m+1)-1. Comme Im(f) est ici de manire vidente
inclus dans Km-1[X] de dimension m, on en dduit lgalit : Im(f)=Km-1[X].
Ainsi : f( Kn+1[X])= Kn[X], ce qui justifie ici le choix et lexistence de Q de degr n+1.
_ Enfin si a+b+c=0 et 2a+b=0, il est clair que le noyau de f nest autre que K1[X], sous
espace des fonctions affines et de dimension 2.
Lespace image de dimension m-1=(m+1)-2 inclus dans Km-2[X] concide avec celui ci.
On a alors f( Kn+2[X])= Kn[X] ce qui justifie le choix du degr n+2 pour le polynme Q
cherch et lexistence dun tel polynme quel que soit P .
Une solution particulire p ayant t dtermine, on sait que les solutions gnrales de
lquation linaire (Eq) sont du type : y=p+y1+ y2 avec (y1, y2) base du plan des solutions
de lquation homogne associe, mise en vidence dans la rsolution de (E0) et (, ) couple
arbitraire dlments de K.
Si x0 dsigne un rel donn de lintervalle dtude I et y0 un lment de K, il nexiste pas un
seul couple (, ) pour lequel on aura y(x0)=y0 . En effet la contrainte correspondante se
traduit par lquation (C1) : y1(x0)+ y2(x0)=y0-p(x0) et on vrifie facilement que le couple
des coefficients de (, ) nest jamais identiquement nul.
Il existe donc une infinit de courbes intgrales passant par un point donn du plan.
Parmi celles-ci on peut en privilgier une si on impose une condition supplmentaire sur le
coefficient directeur de la tangente en ce point. Cela revient ajouter une contrainte du type
y(x0)=y0 avec y0 lment donn de K.
On obtient alors une deuxime quation linaire (C2) : y1(x0)+ y2(x0)=y0-p(x0)
Le systme form par (C1) et (C2) est de Cramer, son dterminant a dj t rencontr dans la
mthode de Lagrange . Il se rsume en fait (2-1) e( 1 + 2 ) x0 si 1 et 2 sont les racines
b
x0
a
distinctes de lquation caractristique, et e dans le cas dune racine double.
Il existe alors un seul couple (, ) satisfaisant aux deux conditions imposes.
Nous naborderons que le cas o lon connat une solution particulire de lquation
homogne associe, ne sannulant, de mme que la fonction coefficient a, en aucun point de
lintervalle I
Si u dsigne une telle solution, on peut donc effectuer le changement de fonction y=z.u.
y
La nouvelle inconnue z = sera drivable lordre 2 sur I si et seulement si y lest aussi.
u
Sous cette condition on a videmment y=u.z+u.z et y=u.z+2u.z+u.z
[a(x)u+b(x)u+c(x)u(x)]z+[2a(x)u+b(x)u]z+a(x)u.z=d(x)
La drive Y=z doit donc tre solution de lquation linaire du premier ordre suivante :
a(x)u(x).Y +[2a(x)u(x)+b(x)u(x)].Y=d(x).
Par hypothse a, b, c, d sont continues sur I. Les fonctions u et u le sont galement car u est
drivable lordre 2. De plus le coefficient a.u de la drive Y ne sannule en aucun point de
I vu les conditions imposes a et u.
Les solutions seront dcrites sur I par une formule du type Y=Y0+.v avec Y0 solution
2 a ( x )u '( x ) + b ( x ) u ( x )
dx
particulire, scalaire quelconque, et v dfinie par : x av(x)= e a ( x )u ( x )
Ainsi les solutions gnrales de (Eq) sont dcrites sur I par la relation :
On reconnat la structure attendue : somme dune solution particulire avec une solution
quelconque de lquation homogne associe.
On vrifie facilement que le couple de fonctions (u.V, u) est libre. Dans le cas contraire, u ne
sannulant en aucun point de I on en dduirait V constante sur cet intervalle et par suite v=V
nulle sur I, ce qui est incompatible avec la formule dfinissant v.
Notons pour conclure une variante de la rsolution gnrale lorsquon connat un couple
indpendant (y1, y2) de solutions de lquation sans second membre avec y1 ne sannulant en
aucun point de I .
La mthode de Lagrange sapplique encore. En effet mme lorsque les coefficients de
lquation sont variables, le changement y=y1+ y2 conduit encore au systme linaire :
' y1 + ' y2 = 0
(S) : d ( x) . Reste voir si celui ci est encore de Cramer.
' y1 '+' y2 ' = a( x)
Ceci montre que est solution de lquation linaire du premier ordre : a(x)+b(x)=0 .
a tant suppos ne sannulant pas sur I, on sait que est alors multiple de la fonction :
b( x)
a ( x ) dx
x ae . Si sannulait en un point de I, serait alors identiquement nul sur I entier.
y2
On en dduirait y1.y2-y1.y2=0 . ou encore = 0 sur tout lintervalle I.
y1
Le quotient de y2 par y1 serait alors constant, ce qui est incompatible avec lindpendance
linaire suppose du couple (y1, y2).
y2 ( x ) d ( x ) y ( x)d ( x)
On en dduit lexpression des drives et : = et ' ( x) = 1
a.( x)( x) a( x).( x)
2. Dterminer les solutions dfinies sur lintervalle ] , [ de lquation suivante :
2 2
1
y y tan( x) =
cos( x)
x
4. Etudier lquation diffrentielle : xy + 2 y =
1 + x
y = x + y +1
2 x( x + 1) y + (2 x + 1) y = 1
7. Dterminer les solutions dfinies sur I=]0, + [ valeurs dans ce mme intervalle I de
lquation diffrentielle : 2 xy + 2 y = xy 3
Il est conseill deffectuer un changement de fonction.
On pourra traduire lgalit prcdente en une quation vrifie par la rciproque dune
solution ventuelle.
1
15. Rsoudre par la mthode dabaissement de lordre, lquation : y y =
e +1
x
18. Dterminer les solutions dfinies sur ]e, +[ de lquation du second ordre suivante :
x (ln( x) 1) y xy + y = 0
On pourra remarquer quil existe une solution quasi vidente, puis appliquer la mthode
dabaissement de lordre.
y + 5 y + 6 y = 10(1 x)e 2 x
224
_ On sait alors que les solutions sur I de lquation homogne associe sont dfinies par :
b( x)
a ( x ) dx b( x )
x ay(x)= e , avec constante relle arbitraire et x a dx dsignant une des
a ( x)
b
primitives sur I du quotient continu .
a
b( x )
Or ici, une constante additive prs : a( x) dx = 2 xdx = x
Ce qui donne pour les solutions de lquation sans second membre : x ay(x)= e x
Suivant le schma classique de rsolution dune quation linaire, les solutions gnrales
sobtiendront en ajoutant y0 une solution quelconque de lquation sans second membre
associe.
Ce qui nous conduit aux fonctions dfinies sur R par : x a f(x)=(x+) e x avec
paramtre rel arbitraire.
2. Equation linaire ay+by=c avec a, b, c continues sur I= ] , [ , a ne sannulant pas sur
2 2
lintervalle I.
_ Les solutions de lquation homogne forment une droite vectorielle engendre par la
b( x) sin( x )
a ( x ) dx cos( x ) dx 1
fonction x a u(x)= e =e = e ln(cos( x )) =
cos( x)
( x)
_ Cherchons une solution particulire dfinie sur I par x ay0(x)= avec de classe C1
cos( x)
( x) ( x) sin( x)
sur I. On obtient alors : y0 ( x) = + .
cos( x) cos ( x)
1
Ainsi y0 sera solution de lquation avec second membre si et seulement si sur I
cos( x)
x
entier : (x)=1. Ceci nous conduit la solution particulire : x a y0(x)= .
cos( x)
225
Par addition avec les solutions de lquation sans second membre dtermines ci dessus, on
x+
obtient lexpression des solutions gnrales dfinies sur I par : x a f ( x) = avec
cos( x)
constante arbitraire
e5 y
3. Les variables se sparent de manire vidente : y=e ye =e
x-5y 5y
= (e x ) .
x
5
Toute solution y dfinie sur un intervalle I de R est donc telle que les fonctions
e5 y
xa et x a e x diffrent dune constante sur I.
5
De lquation
e5 y 1
(
= e x + C on dduit alors lexpression : y = ln 5e x + avec =5C.
5
)
5
La valeur du paramtre arbitraire prcise lintervalle maximal de dfinition.
4. Equation classique linaire dordre 1 : ay+by=c avec a, b, c continues sur R, mais avec
a(x)=x sannulant en 0.
Le thorme de rsolution fondamental ne sappliquant que sur un intervalle o la fonction
coefficient de y ne prend jamais la valeur 0, nous diviserons ltude en deux parties
correspondant aux solutions dfinies sur I1=]0, +[ et celles dfinies sur I2=]-, 0[
Cette division thorique nentrane cependant pas ici une diffrence notoire au niveau des
calculs. En effet les solutions de lquation sans second membre forment dans les deux cas
b( x)
a ( x ) dx
une droite vectorielle dirige par la fonction x a u ( x) = e
Or sur I1 comme sur I2, la fonction x a -2 ln x est une primitive de la fonction
b( x ) 2
xa = . Il sensuit que les multiples de u auront le type commun : x a
a( x) x x
Ainsi on cherchera dans les deux cas une solution particulire y = avec drivable sur
x
' x
lintervalle I en question, ce qui conduit lgalit : =
x 1 + x
x 1
On en dduit facilement = dx = 1 dx = x Arc tan( x) + C
1 + x 1 + x
Les solutions gnrales sont donc dfinies sur lun ou lautre des deux intervalles par une
1 Arc tan( x)
formule dun mme type,: x a + ., avec constante sur cet intervalle.
x x x
On vient de voir que les solutions dfinies sur R* vont dpendre de deux paramtres :
Les valeurs constantes 1 et 2 prises par sur les intervalles respectifs I1 et I2.
Effectuons une tude locale en 0, laide des dveloppements classiques dune telle fonction
f.
1 1 x3
= 1 u + o(u ) donne = 1 x + o( x ) . En intgrant : Arc tan( x) = x + o( x 3 )
1+ u 1 + x 3
x
Ainsi droite au voisinage de 0 : f ( x) = + o( x) + 1
3 x
x 2
Au voisinage de 0 et gauche : f ( x) = + o( x) +
3 x
La seule possibilit pour pouvoir prolonger f par continuit en 0 est donc de choisir 1=2=0,
car dans le cas contraire une au moins des deux limites droite ou gauche en ce point serait
infini.
x Arc tan( x)
La fonction f est alors dfini par : f ( x) = sur R* et f(0)=0
x
2tdt 1
1 + t = 2 1 1 + t dt = 2(t ln(1 + t ))
Ainsi les solutions sont dfinies de manire implicite par : 2( z ln(1 + z )) = x +
Montrons quil existe effectivement de telles fonctions x az(x) dfinies et drivables sur un
intervalle.
Il suffit pour cela dtudier les variations de g dfinie sur J=[0, +[ par la formule suivante :
z ax= g ( z ) = 2( z ln(1 + z )) C
227
1
Celle ci est drivable sur J suivant g ( z ) = > 0. Elle est donc strictement croissante,
1+ z
continue sur lintervalle J, et ralise donc daprs le thorme classique dinversion une
bijection entre J et lintervalle I=g(J)=[-C, +[.
La rciproque x a z=f(x)=g 1(x) est alors drivable en tout point de I et satisfait bien sur cet
intervalle la relation impose : 2( z ln(1 + z ) = x +
_ Rappelons que si I dsigne un de ces trois intervalles, les solutions sur I de lquation sans
b( x)
a ( x ) dx
second membre forment une droite vectorielle dirige par la fonction x a e
Les calculs peuvent tre menes de faon identique sur les trois intervalles mentionns.
b( x ) 2x + 1 11 1 1
a( x) dx = 2 x( x + 1) dx = 2 x + x + 1 dx = 2 ln x + x + C
Les solutions de lquation homogne sont donc du type commun x a avec
x + x
constante arbitraire.
_ Les calculs concernant la variation de la constante peuvent tre diviss en deux parties
suivant le signe de la quantit x+x.
dx
Le calcul de 2 x + x
sobtiendra de manire classique en mettant le trinme x+x sous
2
1 1 1 1
forme canonique x + puis en posant x + = ch (t ) suivant que x est suprieur ou
2 4 2 2
1
infrieur - .
2
Plus prcisment :
1 1 1
_ Si I=I1 on considre puisque x - , le changement t ax=(t)= ch (t ) , avec t
2 2 2
sh(t )dt t
dcrivant lintervalle J=]0, +[. On se ramne alors = +C
2 sh (t ) 2
Le retour la variable x seffectue de manire classique en rsolvant ch(t)=-2x-1.
( ) (
On obtient t = ln 2 x 1 + (2 x 1) 1 = ln 2 x 1 + 2 x + x )
1 1 1
_ Si I=I3 on utilisera puisque x > - , le changement t ax=(t)= + ch (t ) , t dcrivant
2 2 2
sh(t )dt t
toujours J=]0, +[. Seul le signe de dx change et nous donne ici = +C
2 sh (t ) 2
(
La rsolution de ch(t)=2x+1 conduit ici t = ln 2 x + 1 + 2 x + x )
Les solutions sur I3 sont alors dfinies par x a
(
ln 2 x + 1 + 2 x + x + 3 )
avec 3 constante
2 x + x
relle arbitraire.
Arc cos(2 x + 1) + 2
Les solutions sur I2 sont donc dfinies par x a avec 2 rel arbitraire.
2 x x
229
Lexamen de cette formule montre quil nexiste pas de solutions de lquation dfinie sur R
entier. En effet pour prolonger par continuit une solution y dfinie sur I2 il faudrait pouvoir
choisir la constante 2 de telle sorte que le numrateur de la fraction dfinissant y tende vers 0
aux bornes 1 et 0 (ceci car le dnominateur est de limite nulle en ces points)
Or Arccos(-1)= et Arccos(1)=0 . Le choix dun tel 2 est donc impossible.
Le coefficient x de z ne sannulant pas sur I, les solutions de lquation sans second membre
2
x dx
seront dfinies sur cet intervalle par : x a e = x avec constante relle quelconque.
Remarquons alors que la fonction identique sur I, x az0(x)=x vrifie de manire vidente
lquation en z.
On en dduit lexpression des solutions gnrales sur I, soit : x a z ( x) = x + x , avec
constante relle arbitraire.
1
Par suite, y sera dtermine par lgalit : = x + x .
y
Pour que cette relation dfinisse effectivement une fonction y sur I et valeurs dans I, il est
videmment ncessaire et suffisant de restreindre le paramtre des valeurs positives ou
nulles. Cette condition assure, les courbes intgrales seront conditionnes sur I par les
1
formules du type x a y =
x + x
8. Si on se limite aux solutions dfinies sur I=]1, +[, lquation prend en divisant par x non
2
y
nul la forme quivalente : 2 y = 1 +
x
y
Introduisons comme nouvelle inconnue la fonction z dfinie sur I par z =
x
La drivabilit de y sur I quivaut celle du quotient z sur ce mme intervalle et lon dduit
de la formule du produit la relation y=z+xz.
1 1
On en dduit que sur I : = ln( x) + C avec C constante relle.
1 z 2
La condition z <1 devant tre ralis sur tout I=]1, +[, le paramtre C devra tre choisi
2
positif ou nul. On en dduit z = 1 . En multipliant par x et en posant =2C on
ln( x) + 2C
obtient lexpression gnrale des solutions satisfaisants aux contraintes poses, soit :
2x
x a y ( x) = x avec rel positif ou nul quelconque.
ln( x) +
Attention, ici les notations sont inverses et y ne reprsente plus une fonction, mais la variable
dcrivant lintervalle J.
_ Les solutions de lquation homogne associe sont dfinies par y ag(y)=e2y avec
constante arbitraire quelconque.
1
Pour cela, de g ( y ) =+ y + 2e 2 y on dduit par exemple que si est choisi positif ou nul, la
2
1
fonction g sera continue strictement croissante sur J= ] ,+[ et tablira bien une bijection
2
231
1
entre J et I= ] + ,+ [ . La rciproque f=g-1 est alors une solution de lquation propose
8 e
strictement croissante sur cet intervalle I.
4 1 z
En revenant linconnue z, il vient : Arc tan tan( ) = x + C
3 3 2
y
On obtient lquation gnrale des courbes intgrales en remplaant enfin z par
x
Remarquons que ltude de celles ci pourra seffectuer grce au paramtrage en z suivant :
4 1 z
x = Arc tan tan( ) C
z a M 3 3 2 , z dcrivant ]-, [..
y = x z
On gnralise facilement au cas o z dcrit un intervalle du type In=]-+2n, +2n[ ; nZ
_ Les solutions valeurs relles de lquation homogne associe sont donc dfinies sur R par
une formule du type x aaex+be-2x avec (a, b) couple arbitraire de rels.
Enfin, -1 ntant pas racine de (Ecar), on essaiera un multiple lmentaire de e-x pour
obtenir cette exponentielle.
232
1 1 1
x a y ( x) = (sin( x) 3 cos( x)) + xe x e x + e x + e 2 x , avec (, ) RR.
10 6 4
_ Les solutions valeurs dans R de lquation homogne associe forment donc un plan
engendr par le couple de fonctions x ae-5x et x axe-5x.
Ainsi les solutions gnrales de lquation propose sont dfinies sur R par :
13. Lquation caractristique attache cette quation linaire est ici +2+5=0, de racines
complexes conjugues : 1+2i et 1-2i.
_ Les solutions valeurs relles de lquation homogne associe sont donc les combinaisons
linaires du type x a e-x(acos(2x)+bsin(2x)) avec (a, b) couple de constantes quelconques.
x ix
_ En rponse au second membre xsin(x)= (e e ix ) on cherchera donc, puisque i et -i ne
2i
sont pas racines de lquation caractristique , une solution particulire du type :
x a y ( x) =
1
((10 x 7) sin( x) + (5 x + 1) cos( x) ) + ( cos(2 x) + sin(2 x) )e x
50
14. Nous chercherons bien sr les solutions dfinies sur un intervalle I sur lequel la fonction
sinus ne sannule pas.
_ Les solutions de lquation homogne associe y+y=0 sont les combinaisons linaires
du couple cosinus, sinus.
Le systme linaire form par les deux conditions ci dessus est de Cramer et conduit aux
cos( x)
relations : =-1 ; = .
sin( x)
Celles ci sintgrent immdiatement une constante prs sur I en =-x et = ln sin( x)
On en dduit lexpression gnrale des solutions sur I, soit :
15. Les solutions de lquation homogne associe y-y=0 forment un plan engendr par le
systme de fonctions : x aex ; x ae-x
_ Effectuons suivant la mthode dabaissement de lordre le changement y=z.ex , avec z
suppose drivable lordre 2 sur R.
On en dduit immdiatement : y=ex(z+z) et y=ex(z+2z+z).
e x
Lquation propose se traduit alors : z + 2 z = x
e +1
_ En posant u=z on se ramne une quation linaire du premier ordre dont les solutions de
lquation sans second membre forment une droite dirige par x ae-2x
_ Cherchons alors u du type u=.e-2x avec drivable (variation de la constante).
ex
Les calculs donnent facilement = x , qui sintgre en = ln(e x + 1) +C
e +1
dt 1 1 1 1
Il nous ramne en effet t (t + 1) = t + t + 1 + t dt = ln(t ) t + ln(1 + t )
1
2
1
( )
Ainsi z= e 2 x ln(e x + 1) + x e x + ln(1 + e x ) une constante prs, do lon dduit la
2
234
1
2
1
(
solution particulire y0 = e x ln(e x + 1) + xe x 1 + e x ln(1 + e x )
2
)
1
Remarquons que lon peut lcrire sous la forme y0 = sh ( x) ln(e x + 1) (1 + xe x )
2
sin( x)
cos( x) + sin( x) = 0 =
1 + x
1
(cos( x) sin( x)) + (cos( x) + sin( x)) = 1 + x = cos( x)
1 + x
On obtient donc sous forme intgrale, des constantes additives prs, les expressions des
x x
sin(t ) cos(t )
primitives suivantes : = dt et = dt . Ainsi, aprs regroupements, on peut
0 1 + t 0 1 + t
sin( x t )
x
17. A chaque solution y de lquation propose dfinie sur I=]0, +[, associons sa compose z
avec lexponentielle, dfinie sur R entier par t az(t)=y(et).
Daprs les thormes usuels, z est videmment deux fois drivables sur R suivant les
formules : z(t)=ety(et) et z(t)=e2t y(et)+ety(et).
La relation diffrentielle vrifie sur I par y se traduit donc avec le changement de variable
x=et sous la forme : t R : e2t y(et)+2ety(et)-6y(et)=0.
Lquation caractristique ayant pour racines 2 et 3, z fonction de t est dfini par une formule
du type t az(t)=ae2t+be-3t avec (a, b) couple de rels quelconques.
En revenant la variable dorigine x=et , on en dduit la forme des solutions y sur I, soit
235
b
x a y ( x) = ax +
x3
On peut effectuer une tude analogue pour les solutions dfinies sur ]-, 0[ grce au
changement de variable x=-et. Les calculs conduisent une formule identique.
Si on veut prolonger une solution sur R* lorigine, il est alors ncessaire et suffisant
1
dannuler les termes en 3 , de limites infinies en 0.
x
On obtient alors les courbes intgrales paraboliques x ay(x)=ax.
x(ln(x)-1)z+(2ln(x)-3)z=0 .
Cette quation tant linaire, homogne, avec le coefficient de la drive ne sannulant pas sur
I=]e, +[, on sait que u sera dfini sur cet intervalle par une relation du type :
3 2 ln( x )
x (ln( x ) 1) dx
u = e , avec constante relle arbitraire.
3 2 ln( x) 3 2t 1
x(ln( x) 1) dx = t 1
dt = 2 +
dt = 2t + ln(t 1) = 2 ln( x) + ln(ln( x) 1)
t 1
(ln( x) 1)
On en dduit lexpression z=u= . Celle ci sintgre facilement par parties :
x
ln( x) 1 1 ln( x) dx 1 ln( x) 1 ln( x)
Sur J, une constante prs, : dx = + = =
x x x x x x
ln( x)
On en dduit z = + avec (, ) couple quelconque de rels. Les solutions de
x
lquation propose sont donc dfinies sur I par : x a y ( x) = ln( x) + x
236
_ Les solutions de lquation sans second membre sont les multiples de e-x
_ On peut chercher une solution particulire polynme de degr 2. Des calculs lmentaires
conduisent (x-2x+2).
Ainsi les solutions gnrales seront du type : y=(x-2x+2)+ e-x avec , constantes
arbitraires relatives lintervalle I excluant 0 sur lequel on opre.
Les solutions de lquation sans second membre seront donc du type y=e-2x+ e-3x avec ,
constantes relles quelconques.
Les solutions gnrales sont donc dfinies sur R par : y=(-5x+20x)e-2x+e-2x+ e-3x .
avec (, ) couple arbitraire de rels.