Vous êtes sur la page 1sur 26

211

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 :

_ Sur quels ensembles I peut on effectivement dfinir des solutions de (E) ?


_ Pourra t-on toujours expliciter la correspondance x ay(x) au moyen de fonctions usuelles ?

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 :

a) Problme dit de quadrature , du type : y=f(x) avec f fonction continue sur I.


d
b) Problme de diffrentielle totale, du type : U ( x, y ( x)) = 0 avec U dfinie sur une
dx
partie de RC valeurs dans C.

_ 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

avec constante complexe arbitraire.

_ 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.

Si on note A une primitive de a sur J et B une primitive de b sur I, lquation propose se


ramne alors la forme de diffrentielle totale : [A(y)-B(x)]=0 .

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

donn de coordonnes (x1, y1), cest celle correspondant : 1=y1- f (t )dt


x0

_ 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

On appelle quation linaire dordre n toute quation diffrentielle du type :

(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 :

_ Dtermination de Ker(T), cest dire rsolution de (E0) : a0(x)y+a1(x)y+..+an(x)y(n)=0


appele quation homogne associe (Eq) ou plus simplement quation sans second membre

_ Recherche dune solution particulire de (Eq)

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.

Il suffit en effet dcrire : T(y1+y2)=T(y1)+T(y2)=b1+b2

2) EQUATION LINEAIRE DU PREMIER ORDRE.


Conformment aux dfinitions prcdentes, il sagt donc dune quation du type gnral :
(Eq) a(x)y+b(x)y=c(x) . , avec a, b, c fonctions valeurs relles ou complexes dfinies sur
le mme ensemble I de R.

Lorsque cet ensemble dtude est un intervalle de R et si la fonction a coefficient de y ne


sannule en aucun point de cet intervalle I, il est possible de rsoudre compltement (Eq).
Analysons les diffrentes tapes de cette rsolution.
A) Rsolution de lquation homogne associe : (E0) : a(x)y+b(x)y=0 .
214

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).

Si on restreint la recherche aux solutions y ne sannulant aussi en aucun des points de I, on


y b( x )
peut alors sparer les variables en divisant par y, ce qui donne : =
y a ( x)
Rduisons encore ltude en imposant des valeurs relles la fonction inconnue. Celle ci tant
continue (car suppose drivable) sur lintervalle I et ne sannulant pas sur I doit donc garder
un signe constant sur cet intervalle, daprs le thorme des valeurs intermdiaires.

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

Daprs les rgles classiques de drivation on obtient alors sur tout I :


b( x) b( x)
a ( x ) dx b( x) a ( x ) dx
y = z.e z. .e
a( x)
b( x)
a ( x ) dx
Ainsi y sera solution de (E0) si et seulement si z satisfait : a ( x).z.e =0

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 :

Les solutions valeurs dans K=R ou C de lquation homogne a(x)y+b(x)y=0 avec a et b


valeurs dans K continues sur lintervalle I de R et a ne sannulant en aucun point de I sont
b( x)
a ( x ) dx
dfinies sur cet intervalle par une formule du type : x a .e avec constante arbitraire
du corps K.

On peut rsumer ceci en crivant que lensemble de ces solutions est une droite du K espace
215

vectoriel usuel des fonctions de I vers K.

B) Recherche dune solution particulire.


Utilisons le changement de variable prcdent. Les calculs effectus montrent que y sera
b( x) b( x)
a ( x ) dx c( x) a ( x ) dx
solution de (Eq) si et seulement si : a ( x).z.e = c( x) ou encore si z = .e
a ( x)
On est donc ramen un problme de quadrature dune fonction continue sur lintervalle I.
Il sera donc toujours possible dexpliciter z, ne serait ce que par le formalisme intgral.

La mthode prcdente est appele variation de la constante , le coefficient fonctionnel z


tant suppos variable et non pas constant comme dans lcriture des vecteurs du noyau de T.

Remarquer quelle conduit en fait lexpression de la solution gnrale, puisque si z0 dsigne


b( x)
c( x) a ( x ) dx
une primitive particulire sur I de la fonction x a .e , toutes les autres primitives
a( x)
sur I seront du type z=z0+ , avec constante arbitraire dans K.

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.

Remarque sur les courbes intgrales correspondantes.

Si x1 dsigne un lment donn de I et y1 un lment arbitraire de K, il existe une et une seule


solution de (Eq) prenant la valeur y1 en x1.

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) .

3) EQUATION LINEAIRE DU SECOND ORDRE.


Son type gnral est (Eq) : a(x)y+b(x)y+c(x)=d(x) .

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).

A) Cas dune quation coefficients constants.


216

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.

1) Rsolution de lquation homogne associe .

a) Nous considrerons dabord le cas gnral des solutions valeurs complexes.

Effectuons le changement de fonction y=e x.z avec pour un paramtre arbitraire de C.


Cela revient utiliser z=y.e-x comme nouvelle inconnue.

La drivabilit de y lordre 2 sur I quivaut alors celle de z sur ce mme intervalle et


conduit aux galits successives : y=e x.(z+z) et y=e x.(z+2z+z)

La fonction y est alors solution de (E0) : ay+by+cy=0 si et seulement si z satisfait la


relation : e x.[(a+b+c)z +(2a+b)z+az]=0 , ou encore, puisque e x. est toujours non
nul, lgalit : (a+b+c)z +(2a+b)z+az=0.

Considrons alors lquation algbrique inconnue complexe , (Ecar) : a+b+c=0 ,


appele quation caractristique de lquation diffrentielle tudie.

Notons 1 et 2 ses racines dans C, ventuellement confondues si le discriminant est nul.

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

Lquation en z est alors rduite z=0 et conduit successivement z= constante sur I,


puis z=x+ avec constante complexe arbitraire.
b
x
Les solutions gnrales de (E0) sont donc dfinies sur I par : y ( x) = (x + )e 2a

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 :

_ Si >0 , y1 ( x) = e 1 x et y2 ( x) = e 2 x avec 1 et 2 racines relles de (Ecar)

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.

2) Recherche dune solution particulire de (Eq)


Nous dcrivons ici la mthode de Lagrange (dite aussi de variation des constantes).

Cherchons une solution du type y=y1+ y2 avec (, ) couple inconnu de fonctions


supposes drivables au moins lordre 2 sur I et (y1, y2) base du plan des solutions de
lquation homogne, mise en vidence dans ltude prcdente.

Une premire drivation donne la relation y=y1+ y2+y1+ y2

Imposons alors au couple (, ) la contrainte (C1) : y1+ y2=0 .

La drive seconde de y se rsume alors : y=y1+ y2+y1+ y2


218

Ainsi y sera solution de (Eq) si et seulement si le couple (, ) satisfait la relation suivante:


(ay1+by1+cy1)+ (ay2+by2+cy2)+ay1+a y2=d(x)

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.

Rponse un second membre particulier.

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 :

_ gal n si nest pas solution de lquation caractristique (Ecar)

_ gal n+1 si est racine simple de cette quation caractristique.

_ gal n+2 si est racine double de (Ecar)

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 :

y=Q(x)ex est solution de (Eq) ex[(a+b+c)Q(x)+(2a+b)Q(x)+aQ(x)]= ex.P(x)

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

examinons son noyau.

_ Si a+b+c 0, il est clair en examinant les degrs de Q, Q, Q, que f(Q)=0 Q=0

f est alors injective et par suite bijective car Km[X] est de dimension finie.

On pourra donc toujours pour P donn de degr m trouver un antcdent Q de P pour f.

_ 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 .

Remarque sur les courbes intgrales.

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.

B) Equation gnrale. (a, b, c ne sont plus constants).


220

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

Ainsi y sera solution de (Eq) si et seulement si z satisfait lgalit :

[a(x)u+b(x)u+c(x)u(x)]z+[2a(x)u+b(x)u]z+a(x)u.z=d(x)

Or u tant solution de lquation sans second membre associe, la relation ci dessus se


simplifie en : [2a(x)u+b(x)u]z+a(x).uz=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.

On se trouve donc dans la situation standard dcrite dans le paragraphe 2).

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 )

On en dduit par quadrature : z=z0+V + avec z0 et V primitives respectives sur I des


fonctions Y0 et v et constante quelconque dans K.

Ainsi les solutions gnrales de (Eq) sont dcrites sur I par la relation :

y=u.z0+.(u.V)+ (.u) avec (, ) couple arbitraire de constantes prises dans K.

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.

La mthode dcrite prcdemment est connue sous lappellation dabaissement de lordre

Elle sapplique une quation linaire quelconque dordre n.


On voit en effet facilement par application de la formule de Leibniz, que le changement
prcdent y=u.z transforme lquation propose en une quation linaire dordre n-1
dinconnue z.
221

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)

Pour cela notons x a(x)=y1(x)y2(x)-y2(x)y1(x) son dterminant fonctionnel.

Celui ci est drivable sur I suivant : =y1.y2-y1.y2


a ( x) y1 ' '+b( x) y1 '+ c( x) y1 = 0
Or y1 et y2 satisfont :
a ( x) y2 ' '+b( x) y2 '+c( x) y2 = 0

On en dduit facilement par combinaison lgalit : a(x)(y2y1-y2y1)+b(x)(y1y2-y2y1)=0

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).

Le dterminant de (S) est donc non nul en tout point de I.

y2 ( x ) d ( x ) y ( x)d ( x)
On en dduit lexpression des drives et : = et ' ( x) = 1
a.( x)( x) a( x).( x)

On termine en intgrant sur I les fonctions continues prcdentes.


222

Exercices sur les quations diffrentielles.


(Sauf mention contraire, les solutions des quations suivantes seront cherches valeurs
relles).

1. Dterminer les solutions sur R de lquation diffrentielle : y + 2 xy = 2 xe x


2. Dterminer les solutions dfinies sur lintervalle ] , [ de lquation suivante :
2 2
1
y y tan( x) =
cos( x)

3. Rsoudre lquation variables sparables : y = e x 5 y

x
4. Etudier lquation diffrentielle : xy + 2 y =
1 + x

5. Rsoudre laide dun changement de fonction, lquation diffrentielle suivante :

y = x + y +1

6. Lquation diffrentielle suivante admet-elle des solutions dfinies sur R entier ?

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.

8. On considre lquation diffrentielle : 2 x y = x + y


y
Dterminer en utilisant le changement de fonction z = , les solutions dfinies sur
x
lintervalle ]1, +[ et telles que x >1 : y < x

9. Existe t- il des applications strictement croissantes sur un intervalle I de R satisfaisant


1
lquation diffrentielle : y =
2x y

On pourra traduire lgalit prcdente en une quation vrifie par la rciproque dune
solution ventuelle.

10. Rsoudre lquation diffrentielle 2 y = cos( y + x)


223

11. Rsoudre lquation diffrentielle : y + y 2 y = cos( x) + ch( x)

12. Rsoudre lquation : y + 10 y + 25 y = 4e 5 x

13. Rsoudre lquation diffrentielle : y + 2 y + 5 y = x sin( x)

14. Rsoudre grce la mthode de Lagrange, lquation diffrentielle suivante :


1
y + y =
sin( x)

1
15. Rsoudre par la mthode dabaissement de lordre, lquation : y y =
e +1
x

16. Rsoudre par la mthode de votre choix lquation diffrentielle suivante :


ex
y 2 y + 2 y =
1 + x

17. On considre lquation du second ordre : x y + 2 xy 6 y = 0


Dterminer ses solutions dfinies sur ]0, +[ en effectuant le changement de variable
dfini par t=ln(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.

19. Rsoudre lquation xy + ( x 2) y 2 y = 0 grce au changement de fonction z = y + y

20. Rsoudre lquation du second ordre suivante :

y + 5 y + 6 y = 10(1 x)e 2 x
224

Solutions des exercices sur les quations diffrentielles.

1. On reconnat une quation linaire du premier ordre : a(x)y+b(x)y=c(x) , avec a, b, c


fonctions continues sur lintervalle I=R entier et a ne sannulant en aucun point de I.

_ 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

_ Pour dterminer une solution particulire, utilisons la mthode dite de variation de la


constante consistant en fait utiliser le changement de fonction y= e x avec de classe C1
sur I. Il vient alors y = e x 2xe x et par suite : y+2xy= e x

y est donc solution de lquation propose si et seulement si =2x.


La fonction x ay0(x)=x e x est donc solution particulire.

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.

_ Si 0, la fonction y peut tre dfinie par la formule prcdente sur R entier.



_ Si < 0, y pourra tre dfini sur tout intervalle inclus dans ] ln( ),+[
5

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

Etudions un raccordement ventuel de deux telles solutions.


226

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

Voyons si cette fonction est drivable en 0 et satisfait lquation diffrentielle.


f ( x) f (0) 1 1
Daprs ltude locale prcdente : = + o(1) . On en dduit f (0) =
x0 3 3
1 0
La condition diffrentielle tant aussi ralise en 0 0 + 2 0 = , la fonction f
3 1 + 0
dfinie ci dessus apparat comme la seule solution de lquation propose dfinie sur R

5. Prenons comme inconnue auxiliaire la fonction z relie y par la formule z=x+y+1


Il est clair que la drivabilit de z sur un intervalle I de R quivaut celle de y, les deux
fonctions drives tant ensuite lies par lgalit z=1+y.
Lquation propose se traduit alors simplement par z-1= z
z
En lcrivant sous la forme: = 1 , on se ramne une situation lmentaire dquation
z +1
variables spares dont les solutions sur I sont obtenues en galant les primitives respectives
dz
en z et x , soit en crivant la relation : = x + avec constante arbitraire.
1+ z
Pour obtenir lintgrale en z, le changement de variable t a z=(t)=t est de classe C1 sur
lintervalle [0, +[ et nous ramne lvaluation de :

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 +

Si on revient linconnue dorigine y, la relation prcdente se traduit par lquation


cartsienne 2( x + y + 1 ln(1 + x + y + 1) = x + dfinissant une courbe intgrale C
Notons pour terminer que le trac de cette courbe pourra seffectuer en paramtrant laide de
x = g ( z)
z=x+y+1. On obtient en effet la correspondance : z a M
y = z g ( z) 1

6. Il sagt dune quation linaire classique du premier ordre : a(x)y+b(x)y=c(x).

Le coefficient a(x)=2x(x+1) de y sannulant en 1 et 0, les solutions seront dabord cherches


dfinies sur chacun des trois intervalles I1=]-, -1[ ; I2=]-1, 0[ ; I3=]0, +[ sur lesquels la
fonction a garde un signe constant.

_ 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.

a) Si I=I1 ou I=I3 , on a alors x + x = x + x et on cherchera une solution particulire du type


1

y = ( x + x) 2
avec fonction drivable sur I.
1 3
1
En injectant cet y et y = ( x + x) 2
(2 x + 1)( x + x) 2 dans lquation propose, il vient
2
1

aprs simplifications lgalit : 2( x + x) 2 = 1 .


228

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 )

Les solutions sur I1 sont donc dfinies par : x a


(
ln 2 x 1 + 2 x + x + 1 )
avec 1 rel
2 x + x
quelconque.

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.

b) Sur I=I2, x + x = x x . On cherchera donc une solution particulire du type



1 1 3

x ay(x)= ( x x) 2
qui se drive en y = ( x x) 2
+ (2 x + 1)( x x) 2
2
1
Les calculs conduisent dans ce cas : =
2 x x
1 1 1 1
Vu que x x = ( x + ) 2 on posera ici x + = cos(t ) avec t dcrivant ]0, [
4 2 2 2
sin(t )dt t
Ce qui nous donne pour fonction de t : = +C
2 sin (t ) 2
La rsolution de cos(t)=2x+1 avec t ]0, [ donne ici t =Arccos(2x+1)

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.

7. Pour une fonction y valeurs strictement positives, drivable sur I=]0, + [, on a


y 2
lquivalence immdiate : 2xy+2y=xy3 2 x 3 + = x.
y y
1 2 y
La fonction z dfinie comme z = est drivable sur I suivant z = 3
y y
Lquation propose se ramne donc lquation linaire dinconnue z : -xz+2z=x .

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.

Lquation propose se traduit alors 2 z + 2 xz = 1 + z ou encore en regroupant les variables :


(z-1)=2xz .
Puisque x >1 > 0 et que lon recherche uniquement les solutions telles que y < x sur I, on en
y
dduit lingalit z = < 1.
x
z 1
Les variables se sparent donc suivant le schma =
( z 1) 2 x
230

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) +

9. Soit f une fonction strictement croissante sur un intervalle I et satisfaisant lquation


diffrentielle donne.
1
Cette fonction est donc drivable sur tout I suivant la formule f ( x) =
2 x ( f ( x)) 2
Rappelons que toute fonction f continue strictement monotone sur un intervalle I relie
bijectivement I lintervalle image J=f(I), et que la rciproque g=f 1 est drivable en tout
1
point y dantcdent x par f tel que f (x) 0 suivant : g ( y ) =
f ( x)
La solution f cherche satisfait au schma prcdent . La relation diffrentielle vrifie par f
se traduit alors immdiatement grce la formule de drivation ci dessus, par lquation :
y J : g(y)=2g(y)-y .

La fonction g=f -1 satisfait donc lquation linaire du premier ordre : g-2g = - y .

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.

_ La recherche dune solution du type y ag(y)=e2y avec drivable sur J conduit la


rsolution de la relation =-ye-2y.
1
Deux intgrations par parties successives conduisent facilement = e 2 y (1 + 2 y + 2 y )
4
1
Les solutions gnrales sont donc dfinies sur J par : y a g ( y ) = (1 + 2 y + 2 y ) + e 2 y
4
avec constante relle.

Reste choisir convenablement de faon assurer les hypothses permettant linversion de


g et par suite la dfinition dune solution effective f.

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.

10. Prenons z dfinie par z=y+x comme fonction inconnue auxiliaire.

Lquation propose se traduit alors simplement par : 2(z-1)=cos(z).


2 z
Les variables se sparent sans problmes suivant : =1
2 + cos( z )
Les solutions dfinies sur un intervalle I seront donc dfinies de manire implicite sur I par la
2dz
relation = x + C avec C constante arbitraire.
2 + cos( z )
z
Pour rsoudre lintgrale ci dessus, le changement de variable t = tan( ) est classique si on
2
limite ltude aux fonctions z valeurs dans ]-, [.
4dt 4 t
On se ramne alors : = Arc tan ( )
t + 3 3 3

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

11. On reconnat une quation linaire du second ordre coefficients constants.


Lquation caractristique est (Ecar) : +-2=0 et admet deux racines distinctes 1 et 2.

_ 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.

_ Pour dterminer une solution particulire, utilisons le principe de superposition des


1
solutions. Le second membre se dcompose en effet en : (eix + e ix + e x + e x )
2
Les complexes i et i ntant pas racines de lquation caractristique, on peut chercher
une solution combinaison de eix et de sa conjugue pour le terme cos(x), soit encore une
combinaison du couple cos(x) , sin(x).

Le rel 1 est racine simple de lquation caractristique. On cherchera donc en rponse au


second membre partiel ex , une expression multiple de xex.

Enfin, -1 ntant pas racine de (Ecar), on essaiera un multiple lmentaire de e-x pour
obtenir cette exponentielle.
232

En dfinitive on cherchera une solution du type x ay0(x)=acos(x)+bsin(x)+cxex+de-x


3 1 1 1
Les calculs conduisent facilement : a = b= c= d =
10 10 6 4
Les solutions gnrales valeurs relles sont donc dfinies sur R entier par :

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

12. Equation linaire coefficients constants dont lquation caractristique +10+25=0


admet la racine double =-5.

_ 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.

_ En rponse au second membre 4e-5x on cherchera une solution particulire du type


y(x)=axe-5x puisque 5 est prcisment racine double de lquation caractristique.
On obtient facilement a=2.

Ainsi les solutions gnrales de lquation propose sont dfinies sur R par :

x a y ( x) = 2 x e 5 x + (ax + b)e 5 x , avec (a, b) couple de rels quelconque

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 ay0(x)=(ax+b)sin(x)+(cx+d)cos(x). Les calculs conduisent un systme de Cramer de


1 7 1 1
solution a = ; b = ; c = ; d = .
5 50 10 50
Ainsi les solutions gnrales sont dfinies sur R par :

x a y ( x) =
1
((10 x 7) sin( x) + (5 x + 1) cos( x) ) + ( cos(2 x) + sin(2 x) )e x
50

(avec , constantes relles arbitraires)


233

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.

_ Cherchons une solution particulire du type x ay(x)=cos(x)+ sin(x), avec ,


fonctions drivables sur I. Il vient y=cos(x)+ sin(x)-sin(x)+ cos(x) et nous
poserons selon Lagrange , la contrainte (C1) : cos(x)+ sin(x)=0

Par suite, y+y=-sin(x)+ cos(x) et y sera effectivement solution si on ralise


1
galement la condition (C2) : ' sin( x) + ' cos( x) =
sin( x)

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 :

x a y ( x) = ( x + a ) cos( x) + (ln sin( x) + b) sin( x) avec (a, b) couple arbitraire de rels .

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

_ Pour C=0 on en dduit z=u=e-2xln(ex+1)


1 1 dx
En intgrant par parties il vient facilement : z= e 2 x ln(e x + 1) + x x
2 2 e (e + 1)
x
Le changement de variable t=e vient bout de lintgrale ci dessus.

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

Les solutions gnrales sobtiendront bien sr en ajoutant y0 une combinaison quelconque


du type aex+be-x correspondant aux solutions de lquation homogne associe.

16. _ Lquation homogne associe a pour quation caractristique -2+2=0 , de racines


conjugues 1 i , et aura donc un espace de solutions de dimension 2 engendr par le systme
de fonctions x ay1(x)=excos(x) et x ay2(x)=exsin(x).

_ Cherchons, suivant la mthode de Lagrange, une solution particulire du type y=y1+ y2 ,


avec , drivables et satisfaisant y1+ y2=0.
Les calculs usuels conduisent au systme :

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

dfinir une solution particulire y0 sur R entier par la formule : y0 = e


x
dt
0 1 + t

Les solutions gnrales sobtiendront en ajoutant yo une combinaison linaire quelconque du


couple (y1, y2).

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.

La fonction z dfinie par la composition ci dessus apparat alors comme satisfaisant


lquation linaire homogne : z+z-6z=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.

(Lexistence dune drive seconde en 0 ncessite de prendre la mme valeur pour le


coefficient de x gauche et droite de lorigine).

18. Remarquons la solution vidente x ay(x)=x


Recherchant les solutions dfinies exclusivement sur I=]e, +[ sur lequel x est non nul, on ne
restreint pas le problme en les crivant sous la forme y=x.z , ce qui revient utiliser la
y
fonction auxiliaire z = drivable galement lordre 2 sur I.
x
Par drivations successives il vient : y=z+xz et y=2z+xz.
Lquation propose se transforme alors aprs simplifications en :

x(ln(x)-1)z+(2ln(x)-3)z=0 .

La drive u=z apparat donc comme solution de x(ln(x)-1)u+(2ln(x)-3)u=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.

Lintgrale apparaissant dans lexponentielle se dtermine aisment grce au changement de


variable x=et , t dcrivant J=]1, +[. En effet , avec les abus de notations usuels :

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

19. Notons que lquation propose peut scrire x(y+y)-2(y+y)=0.

En introduisant la fonction auxiliaire z=y+y, de drive z=y+y, on se ramne lquation


linaire homogne du premier ordre : xz-2z=0 .

Le coefficient de z sannule uniquement lorigine.


On sait alors que les solutions sur tout intervalle I ne contenant pas 0 sont donns par
2
x dx
z = e = x , avec constante propre lintervalle I.

Reste rsoudre lquation linaire y+y=x.

_ 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.

On vrifie facilement que lon peut tendre ces solutions I=R .

20. _ Lquation caractristique est +5 +6=0, de racines relles distinctes 2 et 3.

Les solutions de lquation sans second membre seront donc du type y=e-2x+ e-3x avec ,
constantes relles quelconques.

_ Vu la forme du second membre, on peut chercher une solution particulire du type


y0=(ax+bx)e-2x , puisque 2 est racine simple de lquation caractristique.
On obtient facilement a=-5 et b=20.

Les solutions gnrales sont donc dfinies sur R par : y=(-5x+20x)e-2x+e-2x+ e-3x .
avec (, ) couple arbitraire de rels.