Chargement de l'audio en cours

Plus

1. Équation différentielle y'=f

P.288-290

Mode édition

Ajouter

Terminer

COURS 1

1
Équation différentielle $y^{'} = f$

Dans toute cette partie,

f

est une fonction définie et continue sur un intervalle

I

A
Primitives d’une fonction continue sur un intervalle

Définitions

Soit

F

une fonction définie sur

I

. On dit que

F

est une primitive de

f

sur

I

lorsque

F

est dérivable sur

I

et que

F^{'} = f

. On dit alors que

F

est solution de l’équation

y^{'} = f

, appelée équation différentielle, dont l’inconnue est la fonction

y

NOTATION

y^{'} = f

signifie que, pour tout

x \in I

y^{'} (x) = f (x)

Exemple

x \mapsto x^{2}

x \mapsto x^{2} + 1

sont solutions sur

R

de l’équation différentielle

y^{'} = 2 x

d’inconnue

y

. Ces deux fonctions sont donc des primitives sur

R

de la fonction

x \mapsto 2 x

Théorème (admis)

Toute fonction continue sur un intervalle admet des primitives sur cet intervalle.

Théorème

Deux primitives d’une même fonction continue sur un intervalle diffèrent d’une constante.

Remarque

Si une fonction admet une primitive sur un intervalle, celle‑ci n’est pas unique.
Le premier théorème est démontré au chapitre 11 (Calcul intégral).
On ne peut pas toujours expliciter les primitives d’une fonction continue sur un intervalle : c’est par exemple le cas de $x \mapsto e^{- x^{2}}$ .

DÉMONSTRATION

Soient

y_{1}

y_{2}

deux solutions sur

I

(E) : y^{'} = f

.
On définit sur

I

la fonction

g

par

g (x) = y_{2} (x) - y_{1} (x)

.
Par hypothèse,

y_{1}

y_{2}

sont dérivables sur

I

et on a

y_{1}^{'} = f

y_{2}^{'} = f

.
Par conséquent,

g = y_{2} - y_{1}

est aussi dérivable sur

I

g^{'} = y_{2}^{'} - y_{1}^{'} = 0

.
On en déduit que

g

est constante sur

I

. Il existe donc un réel

k

tel que, pour tout

x \in I

g (x) = k

soit

y_{2} (x) - y_{1} (x) = k

donc

y_{2} (x) = y_{1} (x) + k

, d’où le résultat.

Propriété

Soient

x_{0}

un réel de

I

y_{0}

un réel quelconque. L’équation différentielle

(E) : y^{'} = f

admet une unique solution

F

sur

I

telle que

F (x_{0}) = y_{0}

Remarque

On rappelle que

f

est supposée continue.

VOCABULAIRE

La condition

F (x_{0}) = y_{0}

est parfois appelée condition initiale, en référence à certaines situations rencontrées en physique.

DÉMONSTRATION

f

est continue et admet donc une primitive

G

sur

I

G

est une solution de

(E)

.
Les fonctions

x \mapsto G (x) + k

, avec

k \in R

, sont dérivables sur

I

de dérivée

G^{'}

, elles sont donc aussi des primitives de

f

sur

I

et donc des solutions de

(E)

.
La condition

F (x_{0}) = y_{0}

équivaut à

G (x_{0}) + k = y_{0} \Leftrightarrow k = y_{0} - G (x_{0})

.
Ainsi, la valeur de

k

est unique et fixée par la condition initiale.
D’où l’unicité de la solution

F

(E)

définie sur

I

par

F (x) = G (x) + y_{0} - G (x_{0})

Application et méthode - 1

Énoncé

Déterminer la solution

F

de l’équation différentielle

(E) : y^{'} = e^{2 x}

vérifiant

F (0) = - 1

B
Primitives des fonctions de référence

À l’aide des dérivées des fonctions de référence, on obtient le tableau suivant des primitives.

Fonction $f$	Une primitive $F$	Sur l’intervalle $I$
$x \mapsto x^{n}$ avec $n \in Z$ et $n \neq = - 1$	$x \mapsto \frac{x ^{n + 1}}{n + 1}$	$R$ si $n \in N$ ; $] - \infty; 0 [$ ou $] 0; + \infty [$ si $n < 0$
$x \mapsto \frac{1}{x}$	$x \mapsto 2 x$	$] 0; + \infty [$
$x \mapsto e^{x}$	$x \mapsto e^{x}$	$R$
$x \mapsto sin x$	$x \mapsto - cos x$	$R$
$x \mapsto cos x$	$x \mapsto sin x$	$R$

Remarque

Pour obtenir toutes les primitives d’une fonction

f

sur un intervalle

I

, c’est‑à‑dire les solutions de

y^{'} = f

, on ajoute une constante réelle

k

à la primitive

F

Propriétés

Soient

F

une primitive d’une fonction

f

G

une primitive d’une fonction

g

sur

I

la fonction $f + g$ admet comme primitive sur $I$ la fonction $F + G$ ;
fonction $λ f$ (avec $λ \in R$ ) admet comme primitive sur $I$ la fonction $λ F$ .

Remarque

Une primitive sur

] 0; + \infty [

de la fonction inverse est étudiée au chapitre 8 (Fonction logarithme).

DÉMONSTRATION

On a

F^{'} = f

G^{'} = g

. Or,

(F + G)^{'} = F^{'} + G^{'} = f + g

(λ F)^{'} = λ \times F^{'} = λ f

d’où les propriétés annoncées.

Application et méthode - 2

Énoncé

Résoudre l’équation

(E) : y^{'} = x^{2} + cos (x)

d’inconnue

y

définie sur

R

C
Primitives des fonctions de la forme $u^{'} \times (v^{'} \circ u)$

Propriété

Soient

v

une fonction définie et dérivable sur un intervalle

J

u

une fonction définie et dérivable sur un intervalle

I

telle que, pour tout

x \in I

u (x) \in J

.
Alors

v \circ u

est une primitive sur

I

u^{'} \times (v^{'} \circ u)

Remarque

v \circ u

est une solution sur

I

de l’équation différentielle

y^{'} = u^{'} \times (v^{'} \circ u)

DÉMONSTRATION

Soient

v

une fonction définie et dérivable sur un intervalle

J

u

une fonction définie et dérivable sur un intervalle

I

telle que, pour tout

x \in I

u (x) \in J

.
Alors

v \circ u

est dérivable sur

I

et on a

(v \circ u)^{'} = u^{'} \times (v^{'} \circ u)

. D’où le résultat.

Application et méthode - 3

Énoncé

Résoudre l’équation différentielle

(E) : y^{'} = \frac{x}{( x ^{2} + 1 ) ^{2}}

d’inconnue

y

1Équation différentielle y′=f

APrimitives d’une fonction continue sur un intervalle

Remarque

DÉMONSTRATION

Remarque

DÉMONSTRATION

Application et méthode - 1

Énoncé

BPrimitives des fonctions de référence

Remarque

Remarque

DÉMONSTRATION

Application et méthode - 2

Énoncé

CPrimitives des fonctions de la forme u′×(v′∘u)

Remarque

DÉMONSTRATION

Application et méthode - 3

Énoncé

1
Équation différentielle $y^{'} = f$

A
Primitives d’une fonction continue sur un intervalle

B
Primitives des fonctions de référence

C
Primitives des fonctions de la forme $u^{'} \times (v^{'} \circ u)$