En raison de limitations techniques, la typographie souhaitable du titre, «
Exercice : Propriétés de l'intégraleIntégration de Riemann/Exercices/Propriétés de l'intégrale », n'a pu être restituée correctement ci-dessus.
Exercice 4-1
Soit
f
:
[
0
,
1
]
→
[
0
,
1
]
{\displaystyle f:[0,1]\to [0,1]}
continue telle que
∫
0
1
f
(
x
)
d
x
=
∫
0
1
f
2
(
x
)
d
x
{\displaystyle \int _{0}^{1}f(x)\ \mathrm {d} x=\int _{0}^{1}f^{2}(x)\ \mathrm {d} x}
.
Montrer que
f
{\displaystyle f}
est constante et égale à 0 ou 1.
Exercice 4-2
Soit
f
:
[
0
,
1
]
→
R
{\displaystyle f:[0,1]\to \mathbb {R} }
continue telle que
∫
0
1
f
(
x
)
d
x
=
1
2
.
{\displaystyle \int _{0}^{1}f(x)\ \mathrm {d} x={\tfrac {1}{2}}.}
Montrer qu’il existe
c
∈
]
0
,
1
[
{\displaystyle c\in ]0,1[}
tel que
f
(
c
)
=
c
.
{\displaystyle f(c)=c.}
Solution
La fonction
x
↦
f
(
x
)
−
x
{\displaystyle x\mapsto f(x)-x}
est continue et d'intégrale nulle donc elle est soit nulle, auquel cas n'importe quel
c
∈
]
0
,
1
[
{\displaystyle c\in ]0,1[}
convient, soit de signe non constant, auquel cas, d'après le théorème des valeurs intermédiaires, elle s'annule en au moins un point
c
∈
]
0
,
1
[
{\displaystyle c\in ]0,1[}
.
Exercice 4-3
Montrer que la suite définie par
u
n
=
∑
k
=
1
n
n
n
2
+
k
2
{\displaystyle {\mathit {u}}_{n}=\sum _{k=1}^{n}{\cfrac {n}{n^{2}+k^{2}}}}
converge et calculer sa limite.
Exercice 4-4
Soient
f
{\displaystyle f}
une fonction continue, T-périodique sur
R
{\displaystyle \mathbb {R} }
, et
a
<
b
{\displaystyle a<b}
dans
R
{\displaystyle \mathbb {R} }
. Montrer que
∫
a
b
f
=
∫
a
+
T
b
+
T
f
.
{\displaystyle \int _{a}^{b}f=\int _{a+T}^{b+T}f.}
Solution
Il suffit de faire un changement de variable et de poser
s
=
x
−
T
{\displaystyle s=x-T}
. On a alors
∫
a
+
T
b
+
T
f
(
x
)
d
x
=
∫
a
b
f
(
s
+
T
)
d
s
=
∫
a
b
f
(
s
)
d
s
{\displaystyle \int _{a+T}^{b+T}f(x)\ \mathrm {d} x=\int _{a}^{b}f(s+T)\ \mathrm {d} s=\int _{a}^{b}f(s)\ \mathrm {d} s}
.
Soient
f
{\displaystyle f}
une fonction impaire sur
R
{\displaystyle \mathbb {R} }
, et
a
≥
0
{\displaystyle a\geq 0}
. Que dire de
∫
−
a
a
f
(
x
)
d
x
{\displaystyle \int _{-a}^{a}f(x)\ \mathrm {d} x}
? Quid si
f
{\displaystyle f}
est paire ?
Solution
Pour
f
{\displaystyle f}
impaire, on a :
∫
−
a
a
f
(
x
)
d
x
=
∫
−
a
0
f
(
x
)
d
x
+
∫
0
a
f
(
x
)
d
x
=
∫
−
a
0
−
f
(
−
x
)
d
x
+
∫
0
a
f
(
x
)
d
x
=
∫
0
a
−
f
(
x
)
d
x
+
∫
0
a
f
(
x
)
d
x
=
0.
{\displaystyle {\begin{aligned}\int _{-a}^{a}f(x)\ \mathrm {d} x&=\int _{-a}^{0}f(x)\ \mathrm {d} x+\int _{0}^{a}f(x)\ \mathrm {d} x\\&=\int _{-a}^{0}-f(-x)\ \mathrm {d} x+\int _{0}^{a}f(x)\ \mathrm {d} x\\&=\int _{0}^{a}-f(x)\ \mathrm {d} x+\int _{0}^{a}f(x)\ \mathrm {d} x\\&=0.\end{aligned}}}
Pour
f
{\displaystyle f}
paire, on a :
∫
−
a
a
f
(
x
)
d
x
=
∫
−
a
0
f
(
x
)
d
x
+
∫
0
a
f
(
x
)
d
x
=
∫
−
a
0
f
(
−
x
)
d
x
+
∫
0
a
f
(
x
)
d
x
=
∫
0
a
f
(
x
)
d
x
+
∫
0
a
f
(
x
)
d
x
=
2
∫
0
a
f
(
x
)
d
x
.
{\displaystyle {\begin{aligned}\int _{-a}^{a}f(x)\ \mathrm {d} x&=\int _{-a}^{0}f(x)\ \mathrm {d} x+\int _{0}^{a}f(x)\ \mathrm {d} x\\&=\int _{-a}^{0}f(-x)\ \mathrm {d} x+\int _{0}^{a}f(x)\ \mathrm {d} x\\&=\int _{0}^{a}f(x)\ \mathrm {d} x+\int _{0}^{a}f(x)\ \mathrm {d} x\\&=2\int _{0}^{a}f(x)\ \mathrm {d} x.\end{aligned}}}
Exercice 4-5
Soit
a
>
0
{\displaystyle a>0}
et
f
:
[
0
,
a
]
→
R
{\displaystyle f:[0,a]\to \mathbb {R} }
de classe
C
1
{\displaystyle C^{1}}
telle que
f
(
0
)
=
0
{\displaystyle f(0)=0}
. Montrer que :
∫
0
a
|
f
(
t
)
|
2
d
t
≤
a
2
2
∫
0
a
|
f
′
(
t
)
|
2
d
t
.
{\displaystyle \int _{0}^{a}|f(t)|^{2}\,dt\leq {\frac {a^{2}}{2}}\int _{0}^{a}|f'(t)|^{2}\ \mathrm {d} t.}
Solution
Notons
I
=
∫
0
a
|
f
′
(
u
)
|
2
d
u
{\displaystyle I=\int _{0}^{a}|f'(u)|^{2}\ \mathrm {d} u}
.
Par l'inégalité de Cauchy-Schwarz, on a :
|
f
(
t
)
|
2
=
|
f
(
t
)
−
f
(
0
)
|
2
=
|
∫
0
t
f
′
(
u
)
d
u
|
2
≤
∫
0
t
|
f
′
(
u
)
|
2
d
u
∫
0
t
1
2
d
u
≤
I
t
{\displaystyle |f(t)|^{2}=|f(t)-f(0)|^{2}=\left|\int _{0}^{t}f'(u)\ \mathrm {d} u\right|^{2}\leq \int _{0}^{t}|f'(u)|^{2}du\,\int _{0}^{t}1^{2}\ \mathrm {d} u\leq It}
.
On conclut :
∫
0
a
|
f
(
t
)
|
2
d
t
≤
I
∫
0
a
t
d
t
=
I
a
2
2
{\displaystyle \int _{0}^{a}|f(t)|^{2}\,dt\leq I\int _{0}^{a}t\,dt=I{\frac {a^{2}}{2}}}
.
Exercice 4-6
Soit
a
>
0
{\displaystyle a>0}
et
f
:
[
−
a
,
a
]
→
R
{\displaystyle f:[-a,a]\to \mathbb {R} }
de classe
C
2
{\displaystyle C^{2}}
. Montrer que :
∀
t
∈
[
−
a
,
a
]
|
f
′
(
t
)
|
≤
1
2
a
|
f
(
a
)
−
f
(
−
a
)
|
+
a
2
+
t
2
2
a
sup
[
−
a
,
a
]
|
f
″
|
{\displaystyle \forall t\in [-a,a]\quad |f'(t)|\leq {\frac {1}{2a}}|f(a)-f(-a)|+{\frac {a^{2}+t^{2}}{2a}}\sup _{[-a,a]}|f''|}
.
Solution
Notons
M
=
sup
[
−
a
,
a
]
|
f
″
|
{\displaystyle M=\sup _{[-a,a]}|f''|}
.
|
2
a
f
′
(
t
)
−
(
f
(
a
)
−
f
(
−
a
)
)
|
=
|
∫
−
a
a
(
f
′
(
t
)
−
f
′
(
s
)
)
d
s
|
≤
M
∫
−
a
a
|
t
−
s
|
d
s
=
M
(
a
2
+
t
2
)
{\displaystyle \left|2af'(t)-(f(a)-f(-a))\right|=\left|\int _{-a}^{a}(f'(t)-f'(s))\,\mathrm {d} s\right|\leq M\int _{-a}^{a}|t-s|\,\mathrm {d} s=M\left(a^{2}+t^{2}\right)}
.
Exercice 4-7
Référence : Frédéric Paulin, « Topologie, analyse et calcul différentiel » , 2008 , p. 260, lemme 7.23
Soient
b
,
k
>
0
{\displaystyle b,k>0}
,
a
∈
R
{\displaystyle a\in \mathbb {R} }
et
g
:
[
0
,
b
]
→
R
{\displaystyle g:\left[0,b\right]\to \mathbb {R} }
une fonction continue telle que
∀
t
∈
[
0
,
b
]
g
(
t
)
≤
a
t
+
k
∫
0
t
g
(
s
)
d
s
{\displaystyle \forall t\in \left[0,b\right]\quad g\left(t\right)\leq at+k\int _{0}^{t}g\left(s\right)\ \mathrm {d} s}
.
Démontrer que
∀
t
∈
[
0
,
b
]
g
(
t
)
≤
a
k
(
e
k
t
−
1
)
{\displaystyle \forall t\in \left[0,b\right]\quad g\left(t\right)\leq {\frac {a}{k}}\left(\mathrm {e} ^{kt}-1\right)}
.
Solution
Wikipedia-logo-v2.svg
Posons
h
(
t
)
=
e
−
k
t
∫
0
t
g
(
s
)
d
s
{\displaystyle h\left(t\right)=\mathrm {e} ^{-kt}\int _{0}^{t}g\left(s\right)\ \mathrm {d} s}
. Alors,
h
(
t
)
=
0
et
h
′
(
t
)
=
e
−
k
t
(
g
(
t
)
−
k
∫
0
t
g
(
s
)
d
s
)
≤
e
−
k
t
a
t
{\displaystyle h\left(t\right)=0\quad {\text{et}}\quad h'\left(t\right)=\mathrm {e} ^{-kt}\left(g\left(t\right)-k\int _{0}^{t}g\left(s\right)\ \mathrm {d} s\right)\leq \mathrm {e} ^{-kt}at}
donc
h
(
t
)
≤
a
∫
0
t
e
−
k
s
s
d
s
=
a
k
2
(
1
−
e
−
k
t
−
k
t
e
−
k
t
)
{\displaystyle h\left(t\right)\leq a\int _{0}^{t}\mathrm {e} ^{-ks}s\ \mathrm {d} s={\frac {a}{k^{2}}}\left(1-\mathrm {e} ^{-kt}-kt\mathrm {e} ^{-kt}\right)}
,
si bien que
g
(
t
)
≤
a
t
+
k
e
k
t
h
(
t
)
≤
a
t
+
a
k
(
e
k
t
−
1
−
k
t
)
=
a
k
(
e
k
t
−
1
)
{\displaystyle g\left(t\right)\leq at+k\mathrm {e} ^{kt}h\left(t\right)\leq at+{\frac {a}{k}}\left(\mathrm {e} ^{kt}-1-kt\right)={\frac {a}{k}}\left(\mathrm {e} ^{kt}-1\right)}
.
Exercice 4-8
Soient
f
{\displaystyle f}
et
g
{\displaystyle g}
des fonctions continues sur un intervalle
[
a
,
b
]
{\displaystyle [a,b]}
(avec
a
<
b
{\displaystyle a<b}
).
On suppose que
f
{\displaystyle f}
est croissante et que
g
{\displaystyle g}
prend ses valeurs dans
[
0
,
1
]
{\displaystyle [0,1]}
. On pose :
I
=
∫
a
b
g
(
t
)
d
t
{\displaystyle I=\int _{a}^{b}g(t)\,\mathrm {d} t}
.
Étudier les variations de la fonction
G
{\displaystyle G}
définie par :
G
(
x
)
=
∫
a
x
g
(
t
)
d
t
{\displaystyle G(x)=\int _{a}^{x}g(t)\,\mathrm {d} t}
.
Montrer que
a
+
G
(
x
)
≤
x
{\displaystyle a+G(x)\leq x}
.
Comparer les fonctions
φ
{\displaystyle \varphi }
et
ψ
{\displaystyle \psi }
définies par :
φ
(
x
)
=
∫
a
x
f
(
t
)
g
(
t
)
d
t
{\displaystyle \varphi (x)=\int _{a}^{x}f(t)g(t)\,\mathrm {d} t}
;
ψ
(
x
)
=
∫
a
a
+
G
(
x
)
f
(
t
)
d
t
{\displaystyle \psi (x)=\int _{a}^{a+G(x)}f(t)\,\mathrm {d} t}
.
Démontrer que :
∫
a
b
f
(
t
)
g
(
t
)
d
t
≥
∫
a
a
+
I
f
(
t
)
d
t
{\displaystyle \int _{a}^{b}f(t)g(t)\,\mathrm {d} t\geq \int _{a}^{a+I}f(t)\,\mathrm {d} t}
.
Dans quel cas a-t-on l'égalité ?
Exercice 4-9
Soient
α
{\displaystyle \alpha }
un nombre complexe de partie réelle strictement positive et
f
:
R
→
R
{\displaystyle f:\mathbb {R} \to \mathbb {R} }
une application de classe C1 telle que
lim
+
∞
(
f
′
+
α
f
)
=
ℓ
∈
C
{\displaystyle \lim _{+\infty }\left(f'+\alpha f\right)=\ell \in \mathbb {C} }
. Montrer que
lim
+
∞
f
=
ℓ
α
{\displaystyle \lim _{+\infty }f={\frac {\ell }{\alpha }}}
.
Exercice 4-10
Soient
f
:
R
+
→
R
{\displaystyle f:\mathbb {R} _{+}\to \mathbb {R} }
une application continue et
F
:
R
+
∗
→
R
,
x
↦
1
x
∫
0
x
f
(
t
)
d
t
{\displaystyle F:\mathbb {R} _{+}^{*}\to \mathbb {R} ,\;x\mapsto {\frac {1}{x}}\int _{0}^{x}f(t)\;\mathrm {d} t}
.
Montrer que si
f
{\displaystyle f}
admet en
+
∞
{\displaystyle +\infty }
une limite
ℓ
{\displaystyle \ell }
(finie ou infinie) alors
lim
+
∞
F
=
ℓ
{\displaystyle \lim _{+\infty }F=\ell }
.
Donner un exemple où
f
{\displaystyle f}
n'a pas de limite en
+
∞
{\displaystyle +\infty }
mais
lim
+
∞
F
=
0
{\displaystyle \lim _{+\infty }F=0}
.
Exercice 4-11
Soient
f
,
g
:
R
+
→
R
{\displaystyle f,g:\mathbb {R} _{+}\to \mathbb {R} }
continues, strictement positives, et équivalentes en
+
∞
{\displaystyle +\infty }
. Montrer que :
si
∫
0
+
∞
f
(
t
)
d
t
{\displaystyle \int _{0}^{+\infty }f(t)\;\mathrm {d} t}
converge alors
∫
x
+
∞
f
(
t
)
d
t
∼
x
→
+
∞
∫
x
+
∞
g
(
t
)
d
t
{\displaystyle \int _{x}^{+\infty }f(t)\;\mathrm {d} t{\underset {x\to +\infty }{\sim }}\int _{x}^{+\infty }g(t)\;\mathrm {d} t}
.
si
∫
0
+
∞
f
(
t
)
d
t
{\displaystyle \int _{0}^{+\infty }f(t)\;\mathrm {d} t}
diverge alors
∫
0
x
f
(
t
)
d
t
∼
x
→
+
∞
∫
0
x
g
(
t
)
d
t
{\displaystyle \int _{0}^{x}f(t)\;\mathrm {d} t{\underset {x\to +\infty }{\sim }}\int _{0}^{x}g(t)\;\mathrm {d} t}
.
Exercice 4-12
Soient
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} }
tels que
a
<
b
{\displaystyle a<b}
et
f
:
[
a
,
b
]
→
R
{\displaystyle f:[a,b]\to \mathbb {R} }
une fonction intégrable. Pour
x
∈
[
a
,
b
]
{\displaystyle x\in [a,b]}
, on pose :
F
(
x
)
=
∫
a
x
f
(
t
)
d
t
{\displaystyle F(x)=\int _{a}^{x}f(t)\;\mathrm {d} t}
.
Soit
M
{\displaystyle M}
un majorant de
|
f
|
{\displaystyle |f|}
sur
[
a
,
b
]
{\displaystyle [a,b]}
(pourquoi un tel
M
{\displaystyle M}
existe-t-il ?). Montrer que pour tous
x
,
y
∈
[
a
,
b
]
{\displaystyle x,y\in [a,b]}
on a :
|
F
(
y
)
−
F
(
x
)
|
≤
M
|
y
−
x
|
{\displaystyle |F(y)-F(x)|\leq M|y-x|}
.
En déduire que la fonction
F
{\displaystyle F}
est continue sur
[
a
,
b
]
{\displaystyle [a,b]}
.
Solution
Par définition, il existe des fonctions étagées
u
{\displaystyle u}
et
v
{\displaystyle v}
sur
[
a
,
b
]
{\displaystyle [a,b]}
telles que
u
≤
f
≤
v
{\displaystyle u\leq f\leq v}
sur
[
a
,
b
]
{\displaystyle [a,b]}
. Or une fonction étagée sur un segment ne prend qu'un nombre fini de valeurs, et est donc bornée. Il existe donc un réel
M
{\displaystyle M}
tel que
|
u
|
≤
M
{\displaystyle |u|\leq M}
et
|
v
|
≤
M
{\displaystyle |v|\leq M}
sur
[
a
,
b
]
{\displaystyle [a,b]}
. On a alors
|
f
|
≤
M
{\displaystyle |f|\leq M}
sur
[
a
,
b
]
{\displaystyle [a,b]}
. Soient alors
x
,
y
∈
[
a
,
b
]
{\displaystyle x,y\in [a,b]}
. Par symétrie de l'inégalité attendue, on peut supposer par exemple que
x
≤
y
{\displaystyle x\leq y}
. Par la relation de Chasles, l'inégalité triangulaire puis la compatibilité de la relation d'ordre avec l'intégrale on a alors
|
F
(
y
)
−
F
(
x
)
|
=
|
∫
x
y
f
(
t
)
)
d
t
|
≤
∫
x
y
|
f
(
t
)
|
d
t
≤
∫
x
y
M
d
t
=
(
y
−
x
)
M
=
M
|
y
−
x
|
{\displaystyle |F(y)-F(x)|=\left|\int _{x}^{y}f(t))\;\mathrm {d} t\right|\leq \int _{x}^{y}|f(t)|\;\mathrm {d} t\leq \int _{x}^{y}M\;\mathrm {d} t=(y-x)M=M|y-x|}
.
La fonction
F
{\displaystyle F}
est
M
{\displaystyle M}
-lipschitzienne sur
[
a
,
b
]
{\displaystyle [a,b]}
et donc en particulier continue.
Soient
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} }
tels que
a
<
b
{\displaystyle a<b}
et
f
:
[
a
,
b
]
→
R
{\displaystyle f:[a,b]\to \mathbb {R} }
une fonction bornée, localement intégrable sur
]
a
,
b
[
{\displaystyle \left]a,b\right[}
. Montrer que
f
{\displaystyle f}
est intégrable sur
[
a
,
b
]
{\displaystyle [a,b]}
.
Solution
Soit
M
{\displaystyle M}
un majorant de
|
f
|
{\displaystyle |f|}
sur
[
a
,
b
]
{\displaystyle [a,b]}
. Soit
ε
>
0
{\displaystyle \varepsilon >0}
. Posons
η
=
ε
4
M
{\displaystyle \eta ={\frac {\varepsilon }{4M}}}
. Sur
[
a
+
η
,
b
−
η
]
{\displaystyle [a+\eta ,b-\eta ]}
,
f
{\displaystyle f}
est intégrable donc il existe des fonctions en escalier
φ
,
ψ
:
[
a
+
η
,
b
−
η
]
→
R
{\displaystyle \varphi ,\psi :[a+\eta ,b-\eta ]\to \mathbb {R} }
telles que
φ
≤
f
≤
ψ
{\displaystyle \varphi \leq f\leq \psi }
et
∫
a
+
η
b
−
η
(
ψ
−
φ
)
≤
ε
2
{\displaystyle \int _{a+\eta }^{b-\eta }(\psi -\varphi )\leq {\frac {\varepsilon }{2}}}
. Quitte à les prolonger en prenant, sur
[
a
,
a
+
η
]
{\displaystyle [a,a+\eta ]}
et
[
b
−
η
,
b
]
{\displaystyle [b-\eta ,b]}
,
φ
=
−
M
{\displaystyle \varphi =-M}
et
ψ
=
M
{\displaystyle \psi =M}
, on a
φ
≤
f
≤
ψ
{\displaystyle \varphi \leq f\leq \psi }
sur
[
a
,
b
]
{\displaystyle [a,b]}
tout entier, et
∫
a
b
(
ψ
−
φ
)
≤
ε
2
+
2
η
M
=
ε
{\displaystyle \int _{a}^{b}(\psi -\varphi )\leq {\frac {\varepsilon }{2}}+2\eta M=\varepsilon }
.
Exercice 4-13
Soient
a
,
b
∈
R
{\displaystyle a,b\in \mathbb {R} }
tels que
a
<
b
{\displaystyle a<b}
et
f
:
[
a
,
b
]
→
R
{\displaystyle f:[a,b]\to \mathbb {R} }
une fonction de classe C1 . Montrer que :
∫
a
b
f
(
t
)
cos
(
n
t
)
d
t
→
n
→
+
∞
0
{\displaystyle \int _{a}^{b}f(t)\cos(nt)\;\mathrm {d} t{\xrightarrow[{n\to +\infty }]{}}0}
.
Exercice 4-14
Pour
x
∈
R
{\displaystyle x\in \mathbb {R} }
on pose
f
(
x
)
=
∫
x
2
x
e
−
t
2
d
t
{\displaystyle f(x)=\int _{x}^{2x}\mathrm {e} ^{-t^{2}}\;\mathrm {d} t}
.
Montrer que
f
{\displaystyle f}
est de classe C1 .
Montrer que
f
{\displaystyle f}
est impaire.
Étudier les variations de
f
{\displaystyle f}
sur
R
+
{\displaystyle \mathbb {R} _{+}}
.
Soit
x
>
0
{\displaystyle x>0}
.
Montrer que pour tout
t
≥
x
{\displaystyle t\geq x}
on a :
e
−
t
2
≤
e
−
x
2
{\displaystyle \mathrm {e} ^{-t^{2}}\leq \mathrm {e} ^{-x^{2}}}
.
En déduire que
f
(
x
)
≤
x
e
−
x
2
{\displaystyle f(x)\leq x\mathrm {e} ^{-x^{2}}}
.
Étudier la limite de
f
{\displaystyle f}
quand
x
{\displaystyle x}
tend vers
+
∞
{\displaystyle +\infty }
.