Revenir
Revenir

Notion de primitive d'une fonction

une fonction définie sur un intervalle

Sommaire

☛ Équation différentielle de la forme y' = fUne primitive d'une fonction✎ ☛ Vérifier qu'une fonction est une primitiveLes primitives d'une fonction☛ Déterminer les primitives d'une fonctionLa primitive vérifiant une condition initiale☛ Déterminer la primitive vérifiant une condition initiale

☛ Équation différentielle de la forme y' = f

Propriété
Soit
fff
une fonction définie sur un intervalle
III
. 
On dit qu'une fonction
ggg
définie sur
III
est une solution de l'équation différentielle
y′=fy'=fy′=f
sur
III
lorsque
ggg
est dérivable sur
III
et que, pour tout \(x\in I\),
g′(x)=f(x)g'(x)=f(x)g′(x)=f(x)
.
Énoncé
Démontrer que la fonction
ggg
définie sur
]0 ;+∞[]0~;+\infty[]0 ;+∞[
par
g(x)=23xxg(x)=\dfrac 23 x\sqrt xg(x)=32​xx​
est une solution sur
]0 ;+∞[]0~;+\infty[]0 ;+∞[
de l'équation différentielle
y′=xy'=\sqrt xy′=x​
.
Solution
ggg
est dérivable sur 
]0 ;+∞[]0~;+\infty[]0 ;+∞[
.
    • Pour tout
x>0x>0x>0
, on a 
g′(x)=23x+23x×12x=23x+13x=xg'(x)=\dfrac23\sqrt x+\dfrac23x\times \dfrac{1}{2\sqrt x}=\dfrac23\sqrt x+\dfrac13\sqrt x=\sqrt xg′(x)=32​x​+32​x×2x​1​=32​x​+31​x​=x​
.
    • Pour tout
x>0x>0x>0
, on a bien
g′(x)=xg'(x)=\sqrt xg′(x)=x​
, donc
ggg
est solution sur
]0 ;+∞[]0~;+\infty[]0 ;+∞[
de l'équation différentielle
y′=xy'=\sqrt xy′=x​
.

Une primitive d'une fonction

Définition
Soit
fff
une fonction définie sur un intervalle
III
.
On considère l'équation différentielle
y′=fy'=fy′=f
.
Les solutions, sur
III
, de cette équation différentielle sont appelées lesprimitivesde
fff
sur
III
.
Ainsi, une primitive de
fff
sur
III
est une fonctiondéfinieetdérivablesur
III
et telle que,pour tout réel\(x\)de
III
,on a\(F'(x) = f (x)\).
Théorème(admis)
Toute fonctioncontinuesur un intervalle \(I\)admet des primitivessur cet intervalle.
Remarque
Ce théorème assure l'existence de primitives d'une fonction continue sur un intervalle. Cependant, laforme explicite d'une primitive n'est pas toujours connue.
Par exemple, la fonction
x↦ex2x\mapsto \text e^{x^2}x↦ex2
est continuesur \(\mathbb R\)comme composée de fonctions continuessur \(\mathbb R\); elle admet donc des primitivessur \(\mathbb R\). Mais on ne peut pas écrire ses primitives à l'aide de fonctions usuelles.

✎ ☛ Vérifier qu'une fonction est une primitive

Méthode
Pour vérifier qu'une fonction
FFF
est une primitive de
fff
 sur un intervalle
III
, 
    • on calcule la dérivée de
FFF
sur
III
;
    • on vérifieque l'expression \(F'(x)\)obtenue est bien égale à
f(x)f (x)f(x)
.
Énoncé
Soit \(f\) et 
FFF
 les fonctions définies sur \(]0~;+\infty[\) par 
f(x)=ln⁡xf (x) = \ln xf(x)=lnx
et
F(x)=xln⁡x−xF(x) = x \ln x-xF(x)=xlnx−x
.
Vérifier que
FFF
est une primitive de
fff
sur 
]0 ;+∞[]0 \ ;+\infty[]0 ;+∞[
.
Solution
On dérive la fonction
FFF
définieet dérivable sur \(]0~;+\infty[\) en utilisant la dérivée d’un produit et d'une somme. 
Pour tout réel
x>0x > 0x>0
, on a
F′(x)=1×ln⁡x+x×1x−1=ln⁡x+1−1=ln⁡x=f(x)F'(x) = 1\times \ln x +x \times \dfrac 1x -1 = \ln x + 1-1=\ln x=f(x)F′(x)=1×lnx+x×x1​−1=lnx+1−1=lnx=f(x)
.
Donc
FFF
est une primitive de
fff
sur 
]0 ;+∞[]0 \ ;+\infty[]0 ;+∞[
.

Les primitives d'une fonction

Exemple
Soit \(F\) et 
GGG
 les fonctions définies sur 
R\mathbb{R}R
 par 
F(x)=x2−3xF(x)=x^2-3xF(x)=x2−3x
 et 
G(x)=x2−3x+5G(x)=x^2-3x+5G(x)=x2−3x+5
.
Pour tout
xxx
réel, on a
F′(x)=2x−3F'(x)=2x-3F′(x)=2x−3
et
G′(x)=2x−3G'(x)=2x-3G′(x)=2x−3
.
Les fonctions
FFF
et
GGG
ont la même dérivée, mais ne sont pas égales.
Plus précisément, pour tout réel 
xxx
, on a 
G(x)=F(x)+5G(x)=F(x)+5G(x)=F(x)+5
.
Théorème
Soit
fff
une fonction définiesur un intervalle \(I\)et admettant une primitive
FFF
sur cet intervalle.
Les primitives de la fonction
fff
sur
III
sont les fonctions de la forme
x↦F(x)+Cx \mapsto F(x)+Cx↦F(x)+C
,où
CCC
est une constante réelle.
Démonstration
Soit \(f\)une fonction définiesur un intervalle\(I\)et admettant une primitive
FFF
sur cet intervalle.
Soit
GGG
 la fonctiondéfinie pour tout
xxx
de
III
par
G(x)=F(x)+CG(x)=F(x)+CG(x)=F(x)+C
,où 
CCC
est un réel.Alors, pour tout \(x\)de
III
, on a
G′(x)=F′(x)+0=f(x)G'(x)=F'(x)+0=f(x)G′(x)=F′(x)+0=f(x)
. Donc
GGG
est bien une primitive de
fff
 sur
III
.
Soit 
GGG
une autre primitive de la fonction
fff
sur
III
.
Alors, pour tout réel
xxx
de
III
, on a 
G′(x)=f(x)G'(x)=f(x)G′(x)=f(x)
.
Comme
FFF
est une primitive de 
fff
sur
III
, on a pour tout
xxx
de
III
, 
F′(x)=f(x)F'(x)=f(x)F′(x)=f(x)
.
D'où,pour tout réel ​​
xxx
de
III
, 
G′(x)−F′(x)=0G'(x)-F'(x)=0G′(x)−F′(x)=0
, c'est-à-dire
(G−F)′(x)=0(G-F)'(x)=0(G−F)′(x)=0
.
La fonction
G−FG-FG−F
a une dérivée nulle sur
III
 donc 
G−FG-FG−F
est constante sur
III
.
On note
CCC
cette constante.
Alors, pour tout réel 
xxx
de
III
, on a 
G(x)−F(x)=CG(x)-F(x)=CG(x)−F(x)=C
, c'est-à-dire
G(x)=F(x)+CG(x)=F(x)+CG(x)=F(x)+C
.
Remarques
  • Si une fonction admet une primitivesur un intervalle, elle en admet une infinité.
  • Deux primitives d'une même fonctionsur un intervallediffèrent d'une constante.

☛ Déterminer les primitives d'une fonction

Énoncé
Déterminer les primitives de la fonction
fff
 définie sur
R\mathbb RR
par
f(x)=2x−3f(x)=2x-3f(x)=2x−3
.
Solution
La fonction \(F\)définie sur
R\mathbb RR
par \(F(x)=x^2-3x\)est une primitive de 
fff
sur \(\mathbb R\).
D'après le théorème ci-dessus, les primitives de
fff
sur
R\mathbb RR
 sont les fonctions de la forme
x↦x2−3x+Cx\mapsto x^2-3x+Cx↦x2−3x+C
, où
C∈RC\in \mathbb RC∈R
.

La primitive vérifiant une condition initiale

Théorème
Soit
fff
une fonction définiesur un intervalle \(I\)et admettant des primitives surcet intervalle.Soit \(x_0 \in I\) et \(y_0\) un réel.
Il existeune et une seule primitive
FFF
de
fff
sur\(I\)telle que 
F(x0)=y0F(x_0) = y_0F(x0​)=y0​
.
Démonstration
ExistenceSoit \(F\)une primitive de
fff
sur
III
.Les primitives de\(f\)sur
III
sont les fonctions définies sur \(I\) et de la forme : \(x \mapsto F (x) + C\), où
CCC
est un réel.On a \(F (x_0) + C = y_0 \Leftrightarrow C = y_0 - F(x_0)\). Par construction, la fonction définie sur \(I\) et de la forme : \(x \mapsto F (x) + y_0 - F(x_0)\)est une primitive de\(f\) sur\(I\) et est telle que \(x_0\)a pour image
y0y_0y0​
.
Unicité
Soit 
F1F_1F1​
 et 
F2F_2F2​
deux primitives de
fff
sur\(I\)et vérifiant 
F1(x0)=y0F_1(x_0) = y_0F1​(x0​)=y0​
 et 
F2(x0)=y0F_2(x_0) = y_0F2​(x0​)=y0​
. 
F1F_1F1​
 et 
F2F_2F2​
 étant deux primitives de
fff
sur
III
, elles différent d'une constanteréelle
CCC
.
Pour tout
xxx
de
III
, on a
F1(x)−F2(x)=CF_1(x) - F_2(x) = CF1​(x)−F2​(x)=C
.
Donc, en particulier pour 
x=x0x = x_0x=x0​
, on a
F1(x0)−F2(x0)=CF_1(x_0) - F_2(x_0) = CF1​(x0​)−F2​(x0​)=C
soit 
C=y0−y0=0C = y_0 - y_0 = 0C=y0​−y0​=0
.
Par conséquent, pour tout 
xxx
de
III
, on a 
F1(x)=F2(x)F_1(x) = F_2(x)F1​(x)=F2​(x)
.
Les fonctions
F1F_1F1​
 et 
F2F_2F2​
sont égales sur
III
.
Il existe donc une et une seuleprimitive
FFF
de
fff
sur\(I\)telle que 
F(x0)=y0F(x_0) = y_0F(x0​)=y0​
.
Remarque
On dit que la relation 
F(x0)=y0F(x_0) = y_0F(x0​)=y0​
 est unecondition initiale.

☛ Déterminer la primitive vérifiant une condition initiale

Énoncé
Soit
f
définie sur \(\mathbb R\) par
f(x)=2x−3f(x)=2x-3f(x)=2x−3
. 
1.Déterminer toutes les primitives de
fff
sur
R\mathbb RR
.
2. Déterminer la primitive\(G\)de
fff
 sur
R\mathbb RR
qui vérifie
G(2)=6G(2)=6G(2)=6
.
3.Déterminer la primitive\(H\)de
fff
sur
R\mathbb RR
dont la courbe représentative passe par le point de coordonnées
(−1 ; 4)(-1\ ;\ 4)(−1 ; 4)
.
Solution
1.Les primitives de
fff
sur
R\mathbb RR
sontles fonctions\(F\)de la forme
F(x)=x2−3x+CF(x)=x^2-3x+CF(x)=x2−3x+C
, où
C∈RC\in \mathbb RC∈R
.
2.On cherche\(G\), primitive de
fff
 sur
R\mathbb RR
, qui vérifie
G(2)=6G(2)=6G(2)=6
.
On remplace
xxx
par
222
dans l'expression 
x2−3x+Cx^2-3x+Cx2−3x+C
et on résout l'équation en
CCC
: 
G(2)=22−3×2+C=4−6+C=−2+CG(2)=2^2-3\times 2+C=4-6+C=-2+CG(2)=22−3×2+C=4−6+C=−2+C
.
Or, 
G(2)=6G(2)=6G(2)=6
, d'où 
−2+C=6⇔C=8-2+C=6 \Leftrightarrow C=8−2+C=6⇔C=8
. 
La primitive cherchée estdéfiniesur
R\mathbb RR
par
G(x)=x2−3x+8G(x)=x^2-3x+8G(x)=x2−3x+8
.
3.On note
H(x)=x2−3x+CH(x)=x^2-3x+CH(x)=x2−3x+C
,avec
C∈RC\in \mathbb RC∈R
. On cherche
CCC
tel que
H(−1)=4H(-1)=4H(−1)=4
.
H(−1)=(−1)2−3×(−1)+C=4+CH(-1)=(-1)^2-3\times (-1)+C=4+CH(−1)=(−1)2−3×(−1)+C=4+C
.
Or
H(−1)=4H(-1)=4H(−1)=4
, d'où
4+C=4⇔C=04+C=4 \Leftrightarrow C=04+C=4⇔C=0
.
La primitive cherchée estdéfiniesur
R\mathbb RR
par
H(x)=x2−3xH(x)=x^2-3xH(x)=x2−3x
.
Remarques
    • Dire qu'on cherchel'unique primitive
FFF
de 
fff
 sur un intervalle 
III
 vérifiant la condition initiale
F(x0)=y0F(x_0)=y_0F(x0​)=y0​
 revient à dire que, parmi les courbes représentatives des primitives de
fff
 sur 
III
,on cherche l'unique courbe représentative qui passe par le point
M0\mathrm M_0M0​
de coordonnées
(x0 ; y0)(x_0~;~y_0)(x0​ ; y0​)
dans un repère du plan.
    • Deux courbes représentatives de primitives de
fff
sur\(I\)se déduisent l'une de l'autre par une translation de vecteurs
Cj→C\overrightarrow jCj​
, où
CCC
est un réel. Une seule d'entre elles passe par le point
M0(x0 ; y0)\text M_0(x_0~;~y_0)M0​(x0​ ; y0​)
.