Exemple 1.3.
1. (]10; 10 + π[,tan(t−10 −π
2)est une solution maximale de y0= 1 + y2.
2. On peut montrer que dans des conditions raisonnables, les solutions maximales sont définies
sur des intervalles ouverts.
Remarque 1.2. A priori, les questions d’existence et d’unicité de solutions maximales ou non ne
sont pas triviales. On verra dans le cours des théorèmes positifs à ce sujet. Une autre question est
de trouver explicitement des ou les solutions.
Exemple 1.4.
1. y0= 2yadmet une infinité de solutions maximales, définies sur R(prendre y(t) = λe2t). Mais
il y a unicité de la solution si on impose une condition de la forme y(1012) = 235 qui permet
de fixer la valeur de λ. Sans cette condition toutes les solutions sont proportionnelles : elles
forment une droite vectorielle.
2. L’équation y0=eyadmet des solutions maximales définies sur des intervalles de la forme
]− ∞;β[avec β∈R, mais il n’existe pas de solution sur R:
l’équation s’écrit y0e−y= 1 et donc en intégrant entre t0et t
−e−y(t)=t−t0+ey(t0);
il faut donc que t<t0+e−y(t0)et alors
y(t) = −ln−t+t0+e−y(t0).
En posant β=t0+ey(t0),f:] − ∞;β[→R,t7→ −ln(β−t)est une solution maximale.
1.2 Équations sous forme normale
Définition 1.3. On dira qu’une équation différentielle ordinaire d’ordre nest sous forme normale
si elle est de la forme
y(n)=ϕ(t, y, y0,··· , y(n−1)) (∗)
avec ϕdéfinie ur Ω⊂R×Endans F.
Remarque 1.3. Posons z1=y, ..., zn=y(n−1), alors
z0
1=z2, z0
2=z3,··· , z0
n=ϕ(t, z1,··· , zn).
En écrivant
z=t(z1,··· , zn), f(t, z) = t(z2,··· , zn, ϕ(t, z1,··· , zn))
l’équation (∗∗)est équivalente à
z0=
z1
.
.
.
zn−1
zn
0
=
z2
.
.
.
zn
ϕ(t, z1,··· , zn)
=f(t, z).
Ceci nous permet donc d’affirmer que l’on peut ainsi se ramener à une équation différentielle du
premier ordre :
Proposition 1.1. Toute équation différentielle ordinaire d’ordre nsous forme normale est équi-
valente à une équation différentielle ordinaire du premier ordre sous forme normale.
Remarque 1.4. Parfois on fera aussi la transformation inverse, c’est-à-dire transformer une équa-
tion différentielle du premier ordre en équation différentielle d’un ordre plus élevé.
2