Les équations différentielles ordinaires (EDO) modélisent l’évolution de systèmes physiques, biologiques, économiques. Ce chapitre couvre les EDO linéaires du premier et du second ordre au programme de MPSI, avec les méthodes systématiques de résolution.

1. Généralités§

Définition — Équation différentielle ordinaire

Une EDO est une équation reliant une fonction inconnue yy d’une variable réelle xx, et ses dérivées successives :

F(x,y(x),y(x),,y(n)(x))=0F\big(x, y(x), y'(x), \dots, y^{(n)}(x)\big) = 0

L’ordre de l’EDO est l’ordre le plus élevé de dérivation qui apparaît.

Définition — Problème de Cauchy

Un problème de Cauchy (ou problème à valeur initiale) consiste à trouver yy vérifiant l’EDO et une condition initiale :

y(x0)=y0(ordre 1),ouy(x0)=y0,;y(x0)=y1(ordre 2)y(x_0) = y_0 \quad (\text{ordre 1}), \qquad \text{ou} \quad y(x_0) = y_0,; y'(x_0) = y_1 \quad (\text{ordre 2})
Théorème — Cauchy-Lipschitz (admis en MPSI)

Soit f:I×RRf : I \times \mathbb{R} \to \mathbb{R} continue et localement lipschitzienne en yy. Alors pour tout (x0,y0)I×R(x_0, y_0) \in I \times \mathbb{R}, le problème de Cauchy :

y=f(x,y),y(x0)=y0y' = f(x, y), \quad y(x_0) = y_0

admet une unique solution maximale.

Attention

Le théorème de Cauchy-Lipschitz est admis en MPSI. Il faut néanmoins en connaître l’énoncé précis et savoir l’utiliser : deux solutions d’une EDO linéaire qui coïncident en un point sont identiques.

2. EDO linéaires du premier ordre§

2.1. Forme générale§

On considère l’équation :

y(x)+a(x),y(x)=b(x)(E)y'(x) + a(x), y(x) = b(x) \tag{E}

a,b:IRa, b : I \to \mathbb{R} (ou C\mathbb{C}) sont des fonctions continues sur un intervalle II.

2.2. Équation homogène associée§

L’équation homogène est :

y'(x) + a(x), y(x) = 0 \tag{E_0}
Théorème — Solutions de l’équation homogène

Les solutions de (E0)(E_0) sur II sont :

yH(x)=Cexp!(x0xa(t),dt),CRy_H(x) = C \exp!\left(-\int_{x_0}^{x} a(t), dt\right), \quad C \in \mathbb{R}

L’ensemble des solutions est un espace vectoriel de dimension 1.

Preuve

Si yy est solution non nulle, y/y=ay'/ y = -a, donc lny\ln|y| est une primitive de a-a, d’où y=CeAy = C e^{-A} avec AA une primitive de aa.

2.3. Méthode de variation de la constante§

Pour trouver une solution particulière de (E)(E), on varie la constante : on cherche yPy_P sous la forme :

yP(x)=C(x)exp!(x0xa(t),dt)y_P(x) = C(x) \exp!\left(-\int_{x_0}^{x} a(t), dt\right)

En substituant dans (E)(E), on obtient :

C(x)=b(x)exp!(x0xa(t),dt)C'(x) = b(x) \exp!\left(\int_{x_0}^{x} a(t), dt\right)

On primitive pour trouver C(x)C(x).

Théorème — Solution générale

La solution générale de (E)(E) est :

y(x)=yH(x)+yP(x)y(x) = y_H(x) + y_P(x)

yHy_H est la solution générale de (E0)(E_0) et yPy_P est une solution particulière de (E)(E).

Exemple — Résolution complète

Résoudre y2xy=xy' - 2xy = x sur R\mathbb{R}.

Étape 1 : Équation homogène. y2xy=0y' - 2xy = 0 donne yH=Cex2y_H = Ce^{x^2}.

Étape 2 : Variation de la constante. On pose yP=C(x)ex2y_P = C(x)e^{x^2}.

C(x)ex2=x    C(x)=xex2    C(x)=12ex2C'(x) e^{x^2} = x \implies C'(x) = x e^{-x^2} \implies C(x) = -\frac{1}{2}e^{-x^2}

Donc yP=12y_P = -\dfrac{1}{2}.

Solution générale : y(x)=Cex212\boxed{y(x) = Ce^{x^2} - \dfrac{1}{2}}, CRC \in \mathbb{R}.

2.4. Équations à variables séparables§

Définition

Une EDO est à variables séparables si elle s’écrit :

y=f(x),g(y)y' = f(x), g(y)

Méthode : si g(y)0g(y) \neq 0, on sépare dyg(y)=f(x),dx\dfrac{dy}{g(y)} = f(x), dx et on primitive chaque membre.

Attention aux solutions constantes

Les valeurs y0y_0 telles que g(y0)=0g(y_0) = 0 donnent des solutions constantes yy0y \equiv y_0 qu’il ne faut pas oublier.

Exemple — Variables séparables

Résoudre y=y2sinxy' = y^2 \sin x.

Solutions constantes : g(y)=y2=0y0g(y) = y^2 = 0 \Rightarrow y \equiv 0.

Si y0y \neq 0 : dyy2=sinx,dx\dfrac{dy}{y^2} = \sin x, dx, d’où 1y=cosx+C-\dfrac{1}{y} = -\cos x + C, soit y=1cosxCy = \dfrac{1}{\cos x - C}.

Solution générale : y=0y = 0 ou y(x)=1cosxCy(x) = \dfrac{1}{\cos x - C}, CRC \in \mathbb{R}.

3. EDO linéaires du second ordre à coefficients constants§

3.1. Forme générale§

ay+by+cy=f(x)(E)ay'' + by' + cy = f(x) \tag{E}

avec a,b,cRa, b, c \in \mathbb{R}, a0a \neq 0, et ff continue.

3.2. Équation homogène§

L’équation caractéristique associée à l’équation homogène ay+by+cy=0ay'' + by' + cy = 0 est :

ar2+br+c=0(EC)ar^2 + br + c = 0 \tag{EC}

Le discriminant est Δ=b24ac\Delta = b^2 - 4ac.

flowchart TD
    A["Équation caractéristique<br/>ar² + br + c = 0"] --> B{"Calculer Δ = b² − 4ac"}
    B --> C{"Δ > 0"}
    B --> D{"Δ = 0"}
    B --> E{"Δ < 0"}

    C --> C1["Deux racines réelles distinctes<br/>r₁ = (−b − √Δ) / 2a<br/>r₂ = (−b + √Δ) / 2a"]
    C1 --> C2["y_H = C₁ e^(r₁x) + C₂ e^(r₂x)"]

    D --> D1["Racine double<br/>r₀ = −b / 2a"]
    D1 --> D2["y_H = (C₁ + C₂ x) e^(r₀x)"]

    E --> E1["Racines complexes conjuguées<br/>r = α ± iω<br/>α = −b/2a, ω = √|Δ|/2a"]
    E1 --> E2["y_H = e^(αx)(C₁ cos ωx + C₂ sin ωx)"]

    style A fill:#4a90d9,color:#fff
    style C2 fill:#27ae60,color:#fff
    style D2 fill:#27ae60,color:#fff
    style E2 fill:#27ae60,color:#fff
Théorème — Solution générale de l’équation homogène

Selon le signe du discriminant Δ=b24ac\Delta = b^2 - 4ac :

Δ\DeltaRacinesSolution générale
Δ>0\Delta > 0r1r2Rr_1 \neq r_2 \in \mathbb{R}yH=C1er1x+C2er2xy_H = C_1 e^{r_1 x} + C_2 e^{r_2 x}
Δ=0\Delta = 0r0Rr_0 \in \mathbb{R} doubleyH=(C1+C2x)er0xy_H = (C_1 + C_2 x) e^{r_0 x}
Δ<0\Delta < 0r=α±iωr = \alpha \pm i\omegayH=eαx(C1cosωx+C2sinωx)y_H = e^{\alpha x}(C_1 \cos\omega x + C_2 \sin\omega x)

avec α=b/(2a)\alpha = -b/(2a) et ω=Δ/(2a)\omega = \sqrt{|\Delta|}/(2a).

Structure

L’ensemble des solutions de l’équation homogène est un espace vectoriel de dimension 2. Les deux fonctions indiquées forment un système fondamental de solutions.

3.3. Solution particulière : méthode des coefficients indéterminés§

Le principe : on cherche yPy_P sous une forme analogue au second membre f(x)f(x), éventuellement multipliée par xx ou x2x^2.

Cas 1 : Second membre f(x)=P(x)eαxf(x) = P(x) e^{\alpha x}§

On cherche yP=Q(x)eαxy_P = Q(x) e^{\alpha x} avec degQ=degP+m\deg Q = \deg P + m, où mm est la multiplicité de α\alpha comme racine de l’équation caractéristique (m=0,1m = 0, 1 ou 22).

Règle de multiplication par xmx^m
  • Si α\alpha n’est pas racine de (EC)(EC) : m=0m = 0, on cherche yP=Q(x)eαxy_P = Q(x)e^{\alpha x} avec degQ=degP\deg Q = \deg P.
  • Si α\alpha est racine simple : m=1m = 1, on cherche yP=x,Q(x)eαxy_P = x, Q(x) e^{\alpha x}.
  • Si α\alpha est racine double : m=2m = 2, on cherche yP=x2Q(x)eαxy_P = x^2 Q(x) e^{\alpha x}.

Cas 2 : Second membre f(x)=P(x)eαxcos(ωx)f(x) = P(x) e^{\alpha x}\cos(\omega x) ou P(x)eαxsin(ωx)P(x)e^{\alpha x}\sin(\omega x)§

On passe par les complexes : on cherche une solution particulière de l’équation avec second membre P(x)e(α+iω)xP(x) e^{(\alpha + i\omega)x}, puis on prend la partie réelle ou imaginaire.

Cas 3 : Principe de superposition§

Théorème — Principe de superposition

Si y1y_1 est solution particulière de ay+by+cy=f1(x)ay'' + by' + cy = f_1(x) et y2y_2 est solution particulière de ay+by+cy=f2(x)ay'' + by' + cy = f_2(x), alors y1+y2y_1 + y_2 est solution particulière de :

ay+by+cy=f1(x)+f2(x)ay'' + by' + cy = f_1(x) + f_2(x)

3.4. Solution générale complète§

Théorème — Structure des solutions

La solution générale de (E)(E) est :

y=yH+yPy = y_H + y_P

yHy_H est la solution générale de l’homogène et yPy_P est une solution particulière de (E)(E).

Exemple complet — Résolution d’une EDO d’ordre 2

Résoudre y3y+2y=exy'' - 3y' + 2y = e^x avec y(0)=0y(0) = 0, y(0)=1y'(0) = 1.

Étape 1 : Équation caractéristique. r23r+2=0r^2 - 3r + 2 = 0, soit (r1)(r2)=0(r-1)(r-2) = 0, racines r1=1r_1 = 1, r2=2r_2 = 2.

Étape 2 : Solution homogène. yH=C1ex+C2e2xy_H = C_1 e^x + C_2 e^{2x}.

Étape 3 : Solution particulière. Le second membre est exe^x. Or α=1\alpha = 1 est racine simple de (EC)(EC), donc m=1m = 1 et on cherche yP=Axexy_P = Axe^x.

yP=A(1+x)exy_P' = A(1 + x)e^x, yP=A(2+x)exy_P'' = A(2 + x)e^x.

Substitution : A(2+x)ex3A(1+x)ex+2Axex=Aex(2+x33x+2x)=A(1)ex=exA(2+x)e^x - 3A(1+x)e^x + 2Axe^x = Ae^x(2+x-3-3x+2x) = A(-1)e^x = e^x.

Donc A=1A = -1 et yP=xexy_P = -xe^x.

Étape 4 : Solution générale. y=C1ex+C2e2xxexy = C_1 e^x + C_2 e^{2x} - xe^x.

Étape 5 : Conditions initiales.

  • y(0)=C1+C2=0y(0) = C_1 + C_2 = 0
  • y(0)=C1+2C21=1y'(0) = C_1 + 2C_2 - 1 = 1, soit C1+2C2=2C_1 + 2C_2 = 2

On résout : C2=2C_2 = 2, C1=2C_1 = -2.

Solution : y(x)=2ex+2e2xxex=2e2x(2+x)ex\boxed{y(x) = -2e^x + 2e^{2x} - xe^x = 2e^{2x} - (2+x)e^x}

Exemple — Second membre trigonométrique

Résoudre y+y=cos(2x)y'' + y = \cos(2x).

Équation caractéristique : r2+1=0r^2 + 1 = 0, racines r=±ir = \pm i, donc yH=C1cosx+C2sinxy_H = C_1\cos x + C_2\sin x.

Solution particulière : cos(2x)=Re(e2ix)\cos(2x) = \text{Re}(e^{2ix}). On résout y+y=e2ixy'' + y = e^{2ix}. On cherche yP=Ae2ixy_P = Ae^{2ix}.

(2i)2Ae2ix+Ae2ix=e2ix(2i)^2 A e^{2ix} + Ae^{2ix} = e^{2ix}, soit (4+1)A=1(-4 + 1)A = 1, donc A=1/3A = -1/3.

yP=Re(e2ix/3)=cos(2x)/3y_P = \text{Re}(-e^{2ix}/3) = -\cos(2x)/3.

Solution générale : y=C1cosx+C2sinxcos(2x)3\boxed{y = C_1\cos x + C_2\sin x - \dfrac{\cos(2x)}{3}}

4. Méthode générale de résolution§

flowchart TD
    A["EDO donnée"] --> B{"Identifier le type"}
    B --> C["Ordre 1 linéaire<br/>y' + a(x)y = b(x)"]
    B --> D["Ordre 1 à variables<br/>séparables y' = f(x)g(y)"]
    B --> E["Ordre 2 à coefficients<br/>constants ay'' + by' + cy = f(x)"]

    C --> C1["1. Résoudre l'homogène<br/>y_H = Ce^(−A(x))"]
    C1 --> C2["2. Variation de la constante<br/>→ solution particulière y_P"]
    C2 --> C3["3. y = y_H + y_P"]
    C3 --> C4["4. Appliquer les CI<br/>→ déterminer C"]

    D --> D1["1. Solutions constantes<br/>g(y₀) = 0"]
    D1 --> D2["2. Séparer dy/g(y) = f(x)dx"]
    D2 --> D3["3. Primitiver les deux membres"]
    D3 --> D4["4. Appliquer les CI"]

    E --> E1["1. Équation caractéristique<br/>ar² + br + c = 0"]
    E1 --> E2["2. y_H selon le discriminant"]
    E2 --> E3["3. Solution particulière<br/>par coefficients indéterminés"]
    E3 --> E4["4. y = y_H + y_P"]
    E4 --> E5["5. Appliquer les CI<br/>→ déterminer C₁, C₂"]

    style A fill:#4a90d9,color:#fff
    style C4 fill:#27ae60,color:#fff
    style D4 fill:#27ae60,color:#fff
    style E5 fill:#27ae60,color:#fff

5. Systèmes différentiels linéaires (introduction)§

5.1. Forme générale§

Un système différentiel linéaire d’ordre 1 s’écrit :

X(t)=A(t),X(t)+B(t)X'(t) = A(t), X(t) + B(t)

X(t)RnX(t) \in \mathbb{R}^n est le vecteur des inconnues et A(t)Mn(R)A(t) \in \mathcal{M}_n(\mathbb{R}).

En MPSI, on se restreint au cas n=2n = 2 à coefficients constants :

{x=ax+by+f1(t) y=cx+dy+f2(t)\begin{cases} x' = ax + by + f_1(t) \ y' = cx + dy + f_2(t) \end{cases}

5.2. Méthode de résolution pour n=2n = 2§

Méthode 1 : Réduction à une EDO d’ordre 2. On exprime yy en fonction de xx et xx' à partir de la première équation, puis on substitue dans la seconde pour obtenir une EDO d’ordre 2 en xx.

Méthode 2 : Valeurs propres. Si AA est diagonalisable avec valeurs propres λ1,λ2\lambda_1, \lambda_2 et vecteurs propres v1,v2v_1, v_2 :

XH(t)=C1eλ1tv1+C2eλ2tv2X_H(t) = C_1 e^{\lambda_1 t} v_1 + C_2 e^{\lambda_2 t} v_2
Exemple — Système différentiel

Résoudre {x=3x2y y=2xy\begin{cases} x' = 3x - 2y \ y' = 2x - y \end{cases}

Matrice : A=(32 21)A = \begin{pmatrix} 3 & -2 \ 2 & -1 \end{pmatrix}. Le polynôme caractéristique est λ22λ+1=(λ1)2\lambda^2 - 2\lambda + 1 = (\lambda - 1)^2, donc λ=1\lambda = 1 est valeur propre double.

La matrice AI=(22 22)A - I = \begin{pmatrix} 2 & -2 \ 2 & -2 \end{pmatrix} est de rang 1, donc l’espace propre est de dimension 1, engendré par v=(1 1)v = \begin{pmatrix} 1 \ 1 \end{pmatrix}.

AA n’est pas diagonalisable. On utilise la méthode par réduction à l’ordre 2.

De la première équation : y=3xx2y = \dfrac{3x - x'}{2}, donc y=3xx2y' = \dfrac{3x' - x''}{2}.

Substitution dans la seconde : 3xx2=2x3xx2\dfrac{3x' - x''}{2} = 2x - \dfrac{3x - x'}{2}

3xx=4x3x+x=x+x3x' - x'' = 4x - 3x + x' = x + x', soit x2x+x=0x'' - 2x' + x = 0.

Équation caractéristique : r22r+1=(r1)2=0r^2 - 2r + 1 = (r-1)^2 = 0, racine double r=1r = 1.

x(t)=(C1+C2t)etx(t) = (C_1 + C_2 t) e^t, puis y(t)=3xx2=(C1+C2tC2/2C2t/20)y(t) = \dfrac{3x - x'}{2} = (C_1 + C_2 t - C_2/2 - C_2 t/2 \cdot 0)

En calculant proprement : x=(C2+C1+C2t)etx' = (C_2 + C_1 + C_2 t)e^t, donc y=3(C1+C2t)(C1+C2+C2t)2et=2C1+2C2tC22ety = \frac{3(C_1 + C_2 t) - (C_1 + C_2 + C_2 t)}{2}e^t = \frac{2C_1 + 2C_2 t - C_2}{2}e^t.

x(t)=(C1+C2t)et,y(t)=(C1C22+C2t)et\boxed{x(t) = (C_1 + C_2 t)e^t, \quad y(t) = \left(C_1 - \frac{C_2}{2} + C_2 t\right)e^t}

6. Résultats complémentaires§

6.1. Wronskien§

Définition — Wronskien

Pour deux solutions y1,y2y_1, y_2 de l’équation homogène ay+by+cy=0ay'' + by' + cy = 0, le wronskien est :

W(x)=y1(x)y2(x) y1(x)y2(x)=y1(x)y2(x)y2(x)y1(x)W(x) = \begin{vmatrix} y_1(x) & y_2(x) \ y_1'(x) & y_2'(x) \end{vmatrix} = y_1(x)y_2'(x) - y_2(x)y_1'(x)
Théorème

(y1,y2)(y_1, y_2) forment un système fondamental de solutions si et seulement si W(x)0W(x) \neq 0 pour tout xx (ou de manière équivalente, pour un xx).

6.2. Variation de la constante pour l’ordre 2§

Quand le second membre ne rentre pas dans les cas standards, on peut utiliser la variation des constantes : on cherche yP=C1(x)y1(x)+C2(x)y2(x)y_P = C_1(x) y_1(x) + C_2(x) y_2(x) avec les conditions :

{C1y1+C2y2=0 C1y1+C2y2=f(x)/a\begin{cases} C_1' y_1 + C_2' y_2 = 0 \ C_1' y_1' + C_2' y_2' = f(x)/a \end{cases}

Ce système se résout grâce au wronskien :

C1=y2faW,C2=y1faWC_1' = \frac{-y_2 f}{a W}, \quad C_2' = \frac{y_1 f}{a W}

7. Exercices types corrigés§

Exercice 1 : EDO linéaire d’ordre 1§

Exercice — Résolution avec condition initiale

Résoudre y+yx=lnxy' + \dfrac{y}{x} = \ln x sur ]0,+[]0, +\infty[, avec y(1)=0y(1) = 0.

Homogène : y+y/x=0y/y=1/xyH=C/xy' + y/x = 0 \Rightarrow y'/y = -1/x \Rightarrow y_H = C/x.

Variation de la constante : yP=C(x)/xy_P = C(x)/x, donc C(x)/x=lnxC'(x)/x = \ln x, soit C(x)=xlnxC'(x) = x\ln x.

On intègre par parties : C(x)=x22lnxx24C(x) = \dfrac{x^2}{2}\ln x - \dfrac{x^2}{4}.

Solution particulière : yP=x2lnxx4y_P = \dfrac{x}{2}\ln x - \dfrac{x}{4}.

Solution générale : y=Cx+x2lnxx4y = \dfrac{C}{x} + \dfrac{x}{2}\ln x - \dfrac{x}{4}.

Condition initiale y(1)=0y(1) = 0 : C1/4=0C - 1/4 = 0, soit C=1/4C = 1/4.

y(x)=14x+x2lnxx4=14x+x(2lnx1)4\boxed{y(x) = \frac{1}{4x} + \frac{x}{2}\ln x - \frac{x}{4} = \frac{1}{4x} + \frac{x(2\ln x - 1)}{4}}

Exercice 2 : EDO d’ordre 2 avec résonance§

Exercice — Résonance

Résoudre y+4y=cos(2x)y'' + 4y = \cos(2x).

Équation caractéristique : r2+4=0r^2 + 4 = 0, racines r=±2ir = \pm 2i. Donc yH=C1cos2x+C2sin2xy_H = C_1\cos 2x + C_2\sin 2x.

Solution particulière : cos2x=Re(e2ix)\cos 2x = \text{Re}(e^{2ix}). Or 2i2i est racine simple de r2+4=0r^2 + 4 = 0, donc on cherche yPy_P de la forme Re(Axe2ix)\text{Re}(Axe^{2ix}).

On résout y+4y=e2ixy'' + 4y = e^{2ix} avec yP=Axe2ixy_P = Axe^{2ix} :

yP=A(1+2ix)e2ixy_P' = A(1 + 2ix)e^{2ix}, yP=A(4i4x)e2ixy_P'' = A(4i - 4x)e^{2ix}.

yP+4yP=A(4i4x+4x)e2ix=4iAe2ix=e2ixy_P'' + 4y_P = A(4i - 4x + 4x)e^{2ix} = 4iAe^{2ix} = e^{2ix}, soit A=1/(4i)=i/4A = 1/(4i) = -i/4.

yP=Re!(ix4e2ix)=Re!(ix4(cos2x+isin2x))=xsin2x4y_P = \text{Re}!\left(-\dfrac{ix}{4}e^{2ix}\right) = \text{Re}!\left(-\dfrac{ix}{4}(\cos 2x + i\sin 2x)\right) = \dfrac{x\sin 2x}{4}.

y=C1cos2x+C2sin2x+xsin2x4\boxed{y = C_1\cos 2x + C_2\sin 2x + \frac{x\sin 2x}{4}}

On observe le terme en xsin2xx\sin 2x : c’est le phénomène de résonance, où l’amplitude croît linéairement.

Exercice 3 : Équation à variables séparables§

Exercice — Équation logistique

Résoudre y=y(1y)y' = y(1 - y) sur R\mathbb{R}, avec y(0)=1/2y(0) = 1/2.

Solutions constantes : y0y \equiv 0 et y1y \equiv 1.

Si y0,1y \notin {0, 1} : dyy(1y)=dx\dfrac{dy}{y(1-y)} = dx. Par décomposition en éléments simples :

1y(1y)=1y+11y\frac{1}{y(1-y)} = \frac{1}{y} + \frac{1}{1-y}

En intégrant : lnyln1y=x+C0\ln|y| - \ln|1-y| = x + C_0, soit y1y=Kex\dfrac{y}{1-y} = Ke^x (K0K \neq 0).

Donc y=Kex1+Kex=11+K1exy = \dfrac{Ke^x}{1 + Ke^x} = \dfrac{1}{1 + K^{-1}e^{-x}}.

Condition initiale y(0)=1/2y(0) = 1/2 : K1+K=12\dfrac{K}{1+K} = \dfrac{1}{2}, soit K=1K = 1.

y(x)=ex1+ex=11+ex\boxed{y(x) = \frac{e^x}{1 + e^x} = \frac{1}{1 + e^{-x}}}

C’est la fonction logistique (ou sigmoïde), croissante de 00 à 11.

Exercice 4 : Problème de Cauchy et unicité§

Exercice — Application de Cauchy-Lipschitz

Montrer que la seule solution de y=2yy' = 2\sqrt{|y|} telle que y(0)=0y(0) = 0 et y0y \geqslant 0 n’est pas unique.

On remarque que f(x,y)=2yf(x, y) = 2\sqrt{|y|} n’est pas lipschitzienne en yy au voisinage de y=0y = 0 (ff n’est pas dérivable en y=0y = 0). Le théorème de Cauchy-Lipschitz ne s’applique donc pas.

En effet, on vérifie que y1(x)=0y_1(x) = 0 et y2(x)=x2y_2(x) = x^2 (pour x0x \geqslant 0, prolongée par 00 pour x<0x < 0) sont toutes deux solutions, avec y1(0)=y2(0)=0y_1(0) = y_2(0) = 0.

Cet exemple montre l’importance de la condition de Lipschitz.

8. Liens§