1.1 D´efinitions et exemples 4
D´efinition 1.1.3 Soit f:]a, b[−→ R,−∞ ≤ a < b ≤+∞une fonction num´erique
localement int´egrale. Soit c∈]a, b[.On dit que l’int´egrale de fsur ]a, b[est convergente si
chacune des int´egrales Rc
af(x)dx et Rb
cf(x)dx est convergente et on pose
Zb
a
f(x)dx =Zc
a
f(x)dx +Zb
c
f(x)dx
Remarque 1.1.2 Cette d´efinition est ind´ependante du point c.
Exemple 1.1.3 Soit `a calculer R+∞
−∞
dt
1+t2.
∀c∈]− ∞,+∞[,Rc
−∞
dt
1+t2= [Arctgt]c
−∞ =arctgc +π
2.
R+∞
c
dt
1+t2= [Arctgt]+∞
c=−arctgc +π
2.
On en d´eduit donc que R+∞
−∞
dt
1+t2=Rc
−∞
dt
1+t2+R+∞
c
dt
1+t2=π
2+π
2=π
Proposition 1.1.1 Soit fune fonction localement int´egrable sur ]a, b[.Pour que l’int´egrale
de fsur ]a, b[soit convergente il faut et il suffit que la fonction `a deux variables
h(x, y) = Zy
x
f(t)dt, a < x < y < b
ait une limite finie lorsque (x, y)→(a, b)dans R2et dans ce cas on a
Zb
a
f(t)dt = lim
(x,y)→(a,b)Zy
x
f(t)dt
En particulier si fest localement int´egrable sur ] −∞,+∞[ l’int´egrale R+∞
−∞ f(x)dx existe
´equivaut `a l’existence de limA→+∞,A0→−∞ RA
A0f(t)dt avec Aet A0ind´ependants.
Remarque 1.1.3 Il peut exister lima→+∞Ra
−af(t)dt sans pour autant que R+∞
−∞ f(t)dt
existe.
Pour s’en convaincre consid´erer Ra
−asintdt = 0 et lima→+∞a0→−∞ Ra0
asin tdt qui n’existe
pas
Exercice 1.1.1 1. Montrerque l’int´egrale de f:t7→ e−test convergente sur [0,+∞[et
que R+∞
0e−tdt = 1.
2. Montrer que l’int´egrale de f:t7→ 1
√test convergente sur ]0,1] et R1
0
dt
√t= 2
3. Montrer que l’int´egrale de f:t7→ 1
t2est divergente sur ]0,1]
4. Montrer que l’int´egrale de f:t7→ sin test convergente sur [0,+∞[.
Solution 1.1.1
1. Pour tout x > 0 on a :
F(x) = Zx
0
e−tdt = 1 −e−x→1x→+∞= 1.