Une page de Wikiversité, la communauté pédagogique libre.
En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Croissances comparéesFonction exponentielle/Exercices/Croissances comparées », n'a pu être restituée correctement ci-dessus.
Cet exercice propose une autre méthode que celle du cours pour démontrer que
lim
x
→
+
∞
e
x
x
=
+
∞
{\displaystyle \lim _{x\to +\infty }{\frac {\mathrm {e} ^{x}}{x}}=+\infty }
.
On définit sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
la fonction
ϕ
:
x
↦
e
x
−
x
2
2
{\displaystyle \phi :x\mapsto \mathrm {e} ^{x}-{\frac {x^{2}}{2}}}
.
1° Déterminer
ϕ
′
(
x
)
{\displaystyle \phi '(x)}
et
ϕ
″
(
x
)
{\displaystyle \phi ''(x)}
.
2° Déterminer le sens de variation sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
de
ϕ
′
{\displaystyle \phi '}
.
3° En déduire le signe de
ϕ
′
{\displaystyle \phi '}
sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
.
4° En déduire de sens de variation de
ϕ
{\displaystyle \phi }
sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
.
5° En déduire le signe de
ϕ
{\displaystyle \phi }
sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
.
6° Démontrer que
∀
x
≥
0
e
x
x
≥
x
2
{\displaystyle \forall x\geq 0\quad {\frac {\mathrm {e} ^{x}}{x}}\geq {\frac {x}{2}}}
.
7° Conclure.
Solution
1°
ϕ
′
(
x
)
=
e
x
−
x
{\displaystyle \phi '(x)=\mathrm {e} ^{x}-x}
et
ϕ
″
(
x
)
=
e
x
−
1
{\displaystyle \phi ''(x)=\mathrm {e} ^{x}-1}
.
2° Pour tout
x
≥
0
{\displaystyle x\geq 0}
,
ϕ
″
(
x
)
≥
0
{\displaystyle \phi ''(x)\geq 0}
, donc
ϕ
′
{\displaystyle \phi '}
est croissante sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
.
3° De plus,
ϕ
′
(
0
)
=
1
{\displaystyle \phi '(0)=1}
donc
ϕ
′
(
x
)
≥
0
{\displaystyle \phi '(x)\geq 0}
sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
.
4° Donc
ϕ
{\displaystyle \phi }
est croissante sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
.
5° De plus,
ϕ
(
0
)
=
1
{\displaystyle \phi (0)=1}
donc
ϕ
(
x
)
≥
0
{\displaystyle \phi (x)\geq 0}
sur
[
0
,
+
∞
[
{\displaystyle [0,+\infty [}
.
6° Pour tout
x
≥
0
{\displaystyle x\geq 0}
,
e
x
−
x
2
2
≥
0
{\displaystyle \mathrm {e} ^{x}-{\frac {x^{2}}{2}}\geq 0}
donc
e
x
≥
x
2
2
{\displaystyle \mathrm {e} ^{x}\geq {\frac {x^{2}}{2}}}
donc
e
x
x
≥
x
2
{\displaystyle {\frac {\mathrm {e} ^{x}}{x}}\geq {\frac {x}{2}}}
.
7°
lim
x
→
+
∞
x
2
=
+
∞
{\displaystyle \lim _{x\to +\infty }{\frac {x}{2}}=+\infty }
donc par comparaison,
lim
x
→
+
∞
e
x
x
=
+
∞
{\displaystyle \lim _{x\to +\infty }{\frac {\mathrm {e} ^{x}}{x}}=+\infty }
.
Déterminer les limites suivantes :
lim
x
→
+
∞
a
x
β
x
α
{\displaystyle \lim _{x\to +\infty }{\frac {a^{x^{\beta }}}{x^{\alpha }}}}
(
α
,
β
∈
R
{\displaystyle \alpha ,\beta \in \mathbb {R} }
,
a
∈
R
+
∗
{\displaystyle a\in \mathbb {R} _{+}^{*}}
) (on pourra utiliser le résultat de l'exercice 3).
lim
x
→
+
∞
(
e
x
−
x
)
{\displaystyle \lim _{x\to +\infty }(\mathrm {e} ^{x}-x)}
Solution
Quand
x
→
+
∞
{\displaystyle x\to +\infty }
,
e
x
−
x
=
e
x
(
1
−
x
e
−
x
)
→
+
∞
×
(
1
−
0
)
=
+
∞
{\displaystyle \mathrm {e} ^{x}-x=\mathrm {e} ^{x}\left(1-x\operatorname {e} ^{-x}\right)\to +\infty \times (1-0)=+\infty }
.
lim
x
→
+
∞
e
x
x
2
+
1
{\displaystyle \lim _{x\to +\infty }{\frac {\operatorname {e} ^{x}}{x^{2}+1}}}
Solution
Quand
x
→
+
∞
{\displaystyle x\to +\infty }
,
e
x
x
2
+
1
→
+
∞
{\displaystyle {\frac {\operatorname {e} ^{x}}{x^{2}+1}}\to +\infty }
car
∀
x
≥
1
e
x
x
2
+
1
≥
e
x
2
x
2
{\displaystyle \forall x\geq 1\quad {\frac {\mathrm {e} ^{x}}{x^{2}+1}}\geq {\frac {\mathrm {e} ^{x}}{2x^{2}}}}
.
lim
x
→
−
∞
(
x
2
+
1
)
e
x
{\displaystyle \lim _{x\to -\infty }\left(x^{2}+1\right)\mathrm {e} ^{x}}
Solution
Quand
x
→
−
∞
{\displaystyle x\to -\infty }
,
(
x
2
+
1
)
e
x
→
0
+
{\displaystyle \left(x^{2}+1\right)\mathrm {e} ^{x}\to 0^{+}}
car
∀
x
≤
−
1
0
<
(
x
2
+
1
)
e
x
≤
2
x
2
e
x
{\displaystyle \forall x\leq -1\quad 0<\left(x^{2}+1\right)\mathrm {e} ^{x}\leq 2x^{2}\mathrm {e} ^{x}}
.
On se propose de démontrer que pour tout réel
α
{\displaystyle \alpha }
,
lim
x
→
+
∞
e
x
x
α
=
+
∞
{\displaystyle \lim _{x\to +\infty }{\frac {\operatorname {e} ^{x}}{x^{\alpha }}}=+\infty }
, de quatre façons : soit en s'appuyant sur le cas particulier
α
∈
N
{\displaystyle \alpha \in \mathbb {N} }
démontré en cours, soit en s'appuyant seulement sur le sous-cas
α
=
1
{\displaystyle \alpha =1}
(redémontré dans l'exercice 1 ci-dessus), soit directement de deux façons. On s'intéresse principalement au cas
α
>
0
{\displaystyle \alpha >0}
car pour
α
≤
0
{\displaystyle \alpha \leq 0}
, la propriété est immédiate.
Déduire la propriété pour tout réel
α
≥
0
{\displaystyle \alpha \geq 0}
du cas particulier
α
∈
N
{\displaystyle \alpha \in \mathbb {N} }
.
Déduire la propriété pour tout réel
α
>
0
{\displaystyle \alpha >0}
du sous-cas
α
=
1
{\displaystyle \alpha =1}
.
Démontrer la propriété pour tout réel
α
>
−
1
{\displaystyle \alpha >-1}
par la même méthode que celle vue en cours pour
α
∈
N
{\displaystyle \alpha \in \mathbb {N} }
.
Pour
β
∈
R
{\displaystyle \beta \in \mathbb {R} }
et
x
>
0
{\displaystyle x>0}
, on pose
f
β
(
x
)
=
x
β
e
−
x
{\displaystyle f_{\beta }(x)=x^{\beta }\operatorname {e} ^{-x}}
.
Montrer que
f
β
{\displaystyle f_{\beta }}
est décroissante (strictement) sur
]
max
(
0
,
β
)
,
+
∞
[
{\displaystyle \left]\max(0,\beta ),+\infty \right[}
.
En déduire que
f
β
{\displaystyle f_{\beta }}
admet en
+
∞
{\displaystyle +\infty }
une limite finie.
En appliquant cela à
β
=
α
+
1
{\displaystyle \beta =\alpha +1}
, en déduire que pour tout réel
α
{\displaystyle \alpha }
,
lim
x
→
+
∞
e
x
x
α
=
+
∞
{\displaystyle \lim _{x\to +\infty }{\frac {\operatorname {e} ^{x}}{x^{\alpha }}}=+\infty }
.
Solution
Pour tout
α
≥
0
{\displaystyle \alpha \geq 0}
, soit
n
{\displaystyle n}
sa partie entière. Alors,
n
≤
α
{\displaystyle n\leq \alpha }
et
n
∈
N
{\displaystyle n\in \mathbb {N} }
, donc
∀
x
≥
1
e
x
x
α
≥
e
x
x
n
→
+
∞
{\displaystyle \forall x\geq 1\quad {\frac {\operatorname {e} ^{x}}{x^{\alpha }}}\geq {\frac {\operatorname {e} ^{x}}{x^{n}}}\to +\infty }
quand
x
→
+
∞
{\displaystyle x\to +\infty }
.
y
:=
x
α
→
+
∞
{\displaystyle y:={\frac {x}{\alpha }}\to +\infty }
quand
x
→
+
∞
{\displaystyle x\to +\infty }
, et
e
x
x
α
=
e
α
y
(
α
y
)
α
=
α
−
α
(
e
y
y
)
α
→
α
−
α
(
+
∞
)
α
=
+
∞
{\displaystyle {\frac {\operatorname {e} ^{x}}{x^{\alpha }}}={\frac {\operatorname {e} ^{\alpha y}}{(\alpha y)^{\alpha }}}=\alpha ^{-\alpha }\left({\frac {\operatorname {e} ^{y}}{y}}\right)^{\alpha }\to \alpha ^{-\alpha }\left(+\infty \right)^{\alpha }=+\infty }
.
Pour tous réels
α
>
−
1
{\displaystyle \alpha >-1}
et
x
>
0
{\displaystyle x>0}
,
e
x
α
+
1
≥
1
+
x
α
+
1
>
x
α
+
1
{\displaystyle \mathrm {e} ^{\frac {x}{\alpha +1}}\geq 1+{\frac {x}{\alpha +1}}>{\frac {x}{\alpha +1}}}
donc
e
x
>
(
x
α
+
1
)
α
+
1
=
(
α
+
1
)
−
α
−
1
x
α
+
1
→
+
∞
{\displaystyle \mathrm {e} ^{x}>\left({\frac {x}{\alpha +1}}\right)^{\alpha +1}=(\alpha +1)^{-\alpha -1}x^{\alpha +1}\to +\infty }
quand
x
→
+
∞
{\displaystyle x\to +\infty }
.
Pour tout
x
>
0
{\displaystyle x>0}
, on a
f
β
′
(
x
)
=
(
β
−
x
)
x
β
−
1
e
−
x
<
0
{\displaystyle f'_{\beta }(x)=(\beta -x)x^{\beta -1}\operatorname {e} ^{-x}<0}
dès que
x
>
β
{\displaystyle x>\beta }
.
f
β
{\displaystyle f_{\beta }}
est décroissante et minorée (par 0) sur
]
max
(
0
,
β
)
,
+
∞
[
{\displaystyle \left]\max(0,\beta ),+\infty \right[}
donc admet en
+
∞
{\displaystyle +\infty }
une limite finie
ℓ
{\displaystyle \ell }
.
Quand
x
→
+
∞
{\displaystyle x\to +\infty }
,
x
α
e
x
=
1
x
f
α
+
1
(
x
)
→
0
×
ℓ
=
0
{\displaystyle {\frac {x^{\alpha }}{\operatorname {e} ^{x}}}={\frac {1}{x}}f_{\alpha +1}(x)\to 0\times \ell =0}
donc (comme la fonction est > 0)
e
x
x
α
→
+
∞
{\displaystyle {\frac {\operatorname {e} ^{x}}{x^{\alpha }}}\to +\infty }
.
On souhaite comparer l'efficacité de deux traitements antiviraux. Une modélisation de la charge virale (respectivement
C
1
{\displaystyle C_{1}}
et
C
2
{\displaystyle C_{2}}
) en fonction du temps (en jours) donne :
pour le premier traitement,
C
1
(
t
)
=
N
0
(
1
+
3
t
+
t
2
)
e
−
2
t
{\displaystyle C_{1}(t)=N_{0}\left(1+3t+t^{2}\right)\operatorname {e} ^{-2t}}
;
pour le deuxième traitement,
C
2
(
t
)
=
N
0
(
1
+
t
)
−
5
4
{\displaystyle C_{2}(t)=N_{0}\left(1+t\right)^{-5 \over 4}}
.
Déterminer, pour chacun des traitements, la charge virale moyenne (par unité de temps) entre le début du traitement et l'instant
t
{\displaystyle t}
considéré. Vérifier la valeur limite qu'on trouve quand
t
{\displaystyle t}
tend vers 0.
On estime que le système immunitaire est devenu suffisamment efficace contre le virus au bout de 10 jours. Quel que soit le traitement, les individus guérissent. Quel traitement conseillez-vous (limitation des effets sur l'organisme et de l'apparition de résistance chez les virus)? En serait-il de même si l'on pouvait arrêter le traitement au bout de 3 jours ?
Solution
La charge virale moyenne entre le début du traitement et l'instant
t
{\displaystyle t}
est :
pour le premier traitement :
M
1
(
t
)
=
1
t
∫
0
t
N
0
(
1
+
3
x
+
x
2
)
e
−
2
x
d
x
=
1
t
(
[
−
N
0
(
1
+
3
x
+
x
2
)
e
−
2
x
2
]
0
t
+
∫
0
t
N
0
(
3
+
2
x
)
e
−
2
x
2
d
x
)
=
1
t
(
N
0
(
1
2
−
(
1
+
3
t
+
t
2
)
e
−
2
t
2
)
+
[
−
N
0
(
3
+
2
x
)
e
−
2
x
4
]
0
t
+
∫
0
t
2
N
0
e
−
2
x
4
d
x
)
=
1
t
(
N
0
(
1
2
−
(
1
+
3
t
+
t
2
)
e
−
2
t
2
)
+
N
0
(
3
4
−
(
3
+
2
t
)
e
−
2
t
4
)
+
[
−
N
0
e
−
2
x
4
]
0
t
)
=
1
t
(
N
0
(
1
2
−
(
1
+
3
t
+
t
2
)
e
−
2
t
2
)
+
N
0
(
3
4
−
(
3
+
2
t
)
e
−
2
t
4
)
+
N
0
(
1
4
−
e
−
2
t
4
)
)
=
N
0
t
(
3
2
−
(
3
2
+
2
t
+
t
2
2
)
e
−
2
t
)
=
N
0
(
3
e
−
2
t
−
1
−
2
t
−
(
2
+
t
2
)
e
−
2
t
)
{\displaystyle {\begin{aligned}M_{1}(t)&={\frac {1}{t}}\int _{0}^{t}N_{0}\left(1+3x+x^{2}\right)\operatorname {e} ^{-2x}\,\mathrm {d} x={\frac {1}{t}}\left(\left[-N_{0}(1+3x+x^{2}){\operatorname {e} ^{-2x} \over 2}\right]_{0}^{t}+\int _{0}^{t}N_{0}(3+2x){\operatorname {e} ^{-2x} \over 2}\,\mathrm {d} x\right)\\&={\frac {1}{t}}\left(N_{0}\left({\frac {1}{2}}-(1+3t+t^{2}){\operatorname {e} ^{-2t} \over 2}\right)+\left[-N_{0}(3+2x){\operatorname {e} ^{-2x} \over 4}\right]_{0}^{t}+\int _{0}^{t}2N_{0}{\operatorname {e} ^{-2x} \over 4}\,\mathrm {d} x\right)\\&={\frac {1}{t}}\left(N_{0}\left({\frac {1}{2}}-(1+3t+t^{2}){\operatorname {e} ^{-2t} \over 2}\right)+N_{0}\left({3 \over 4}-(3+2t){\operatorname {e} ^{-2t} \over 4}\right)+\left[-N_{0}{\operatorname {e} ^{-2x} \over 4}\right]_{0}^{t}\right)\\&={\frac {1}{t}}\left(N_{0}\left({\frac {1}{2}}-(1+3t+t^{2}){\operatorname {e} ^{-2t} \over 2}\right)+N_{0}\left({\frac {3}{4}}-(3+2t){\operatorname {e} ^{-2t} \over 4}\right)+N_{0}\left({\frac {1}{4}}-{\operatorname {e} ^{-2t} \over 4}\right)\right)\\&={N_{0} \over t}\left({\frac {3}{2}}-\left({3 \over 2}+2t+{t^{2} \over 2}\right)\operatorname {e} ^{-2t}\right)=N_{0}\left(3{\operatorname {e} ^{-2t}-1 \over -2t}-\left(2+{t \over 2}\right)\operatorname {e} ^{-2t}\right)\end{aligned}}}
En particulier
lim
t
→
0
M
1
(
t
)
=
N
0
(
3
−
2
)
=
N
0
{\displaystyle \lim _{t\to 0}M_{1}(t)=N_{0}(3-2)=N_{0}}
ce qui est normal. Au début de l'étude, la charge virale est de
N
0
{\displaystyle N_{0}}
donc la charge moyenne pour des périodes très courtes au début de l'étude est proche de
N
0
{\displaystyle N_{0}}
.
pour le deuxième traitement :
M
2
(
t
)
=
1
t
∫
0
t
N
0
(
1
+
x
)
−
5
4
d
x
=
1
t
[
−
4
N
0
(
1
+
x
)
−
1
4
]
0
t
=
4
N
0
t
(
1
−
1
(
1
+
t
)
1
4
)
=
4
N
0
t
(
(
1
+
t
)
1
2
−
1
(
1
+
(
1
+
t
)
1
4
)
(
1
+
t
)
1
4
)
=
4
N
0
(
1
(
1
+
(
1
+
t
)
1
2
)
(
1
+
(
1
+
t
)
1
4
)
(
1
+
t
)
1
4
)
{\displaystyle {\begin{aligned}M_{2}(t)&={\frac {1}{t}}\int _{0}^{t}N_{0}(1+x)^{-5 \over 4}\,\mathrm {d} x={\frac {1}{t}}\left[-4N_{0}(1+x)^{-1 \over 4}\right]_{0}^{t}={4N_{0} \over t}\left(1-{1 \over (1+t)^{\frac {1}{4}}}\right)\\&={4N_{0} \over t}\left({(1+t)^{\frac {1}{2}}-1 \over (1+(1+t)^{\frac {1}{4}})(1+t)^{\frac {1}{4}}}\right)=4N_{0}\left({1 \over (1+(1+t)^{\frac {1}{2}})(1+(1+t)^{\frac {1}{4}})(1+t)^{\frac {1}{4}}}\right)\end{aligned}}}
On trouve à nouveau que
lim
t
→
0
M
2
(
t
)
=
N
0
{\displaystyle \lim _{t\to 0}M_{2}(t)=N_{0}}
.
Au bout de 20 jours, la charge virale moyenne est de :
pour le premier traitement,
M
1
(
t
)
≃
0,075
{\displaystyle M_{1}(t)\simeq 0{,}075}
;
pour le deuxième traitement,
M
2
(
t
)
≃
0,107
{\displaystyle M_{2}(t)\simeq 0{,}107}
.
Au bout de 3 jours, la charge virale moyenne est de :
pour le premier traitement,
M
1
(
t
)
≃
0
,
49
{\displaystyle M_{1}(t)\simeq 0{,}49}
;
pour le deuxième traitement,
M
2
(
t
)
≃
0
,
39
{\displaystyle M_{2}(t)\simeq 0{,}39}
.
Même si les différences ne sont pas très importantes, dans le cas d'un traitement court, on favorisera le deuxième traitement alors que dans le cas d'un traitement long, on favorisera le premier.