Integration 2020

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 4

Université Grenoble Alples Intégration Année 2019-2020

Agrégation Interne de Mathématiques

I.
Z π/2
1) Calculer lim cosn (t)dt
n→∞ 0
Z 1
2) Soit f ∈ C([0, 1], R). Calculer lim f (tn )dt
n→∞ 0
Z 1 Z ∞
ln t ln t
3) Convergence et calcul de: a) 2
dt , b) dt
0 t −1 0 t2−1
Z ∞
1
 x −n
4) Calculer lim x− n 1 + dx
n→∞ 0 n
Z π/2
II. Soit l’intégrale In = cosn (t)dt
0

1) a) Montrer que ∀n ≥ 2 , nIn = (n − 1)In−2


b) En déduire ∀n ∈ N∗ , nIn In−1 = π
2

c) Montrer que la suite (In )n∈N est décroissante


pn
d) En déduire que In ∼∞ 2π
√ n
∞ n
t2
Z Z 
−t2
2) a) Montrer que e dt = lim 1− dt
0 n→∞ 0 n
Z ∞ √
−t2 π
b) En déduire que e dt =
0 2
III.
1 ∞
ta−1 X (−1)n
Z
1) Montrer que dt = , ∀a, b ∈ R∗
0 1 + tb n=0
a + nb
P∞ (−1)n P∞ (−1)n
2) Calculer: a) n=0 1+3n , b) n=0 1+4n

IV.
Z 1 Z 1
n ln(1 + u)
1) a) Montrer que n ln(1 + t )dt −−−−→ du
0 n→+∞ 0 u
1
π2
Z
b) En déduire que n ln(1 + tn )dt −−−−→
0 n→+∞ 12
Z 1
2) Soit f ∈ C([0, 1], R). Calculer lim f (t)n ln(1 + tn )dt
n→∞ 0

V. Intégrale de Dirichlet

!
π/2 π/2
(−x)n
Z Z
−it π X
1) Montrer que ∀x ∈ R , e−xe dt = + e−int dt
0 2 n=1 n! 0

!
π/2 x
t2n
Z Z
π X
2) En déduire que e−x cos(t) cos(x sin(t))dt = − (−1)k dt
0 2 0 k=0
(2n + 1)!
Z ∞
sin t
3) En déduire que dt converge, puis déterminer sa limite
0 t
VI.

1) Soit θ ∈ R \ 2πZ
n 1
eikθ (1 − (eiθ t)n
X Z
a) Montrer que ∀n ∈ N , ∗
= eiθ dt
k=1
k 0 1 − eiθ t

X eikθ
b) En déduire que la série converge, et que
k=1
k

∞ 1
eikθ
Z
X 1
= eiθ dt
k=1
k 0 1 − eiθ t


X cos(kθ) 1
c) En déduire que = − ln(2 − 2 cos θ)
k=1
k 2
n
X sin(kθ) π−θ
2) a) Montrer que ∀θ ∈]0, π[ , =
k=1
k 2
n
X sin(kx)
b) Dessiner le graphe de la fonction g : R → R, définie par g(x) =
k=1
k
Z ∞
arctan(tx)
VII. f : R → R, définie par f (x) = dt
0 t(1 + t2 )
1) Justifier la définition de f , et montrer que f est impaire

2) Montrer que f est de classe C 1 , et déterminer f 0

3) Cacluler f (x) pour x ∈ R


1 2 2
e−x (1+t )
Z
VIII. f : R → R, définie par f (x) = dt
0 1 + t2
1) Montrer que f est dérivable, et calcuer f 0
Z ∞ √
−u2 π
2) En déduire que e du =
0 2
1
t−1 x
Z
IX. Défintion, dérivabilité et calcul de f : x → t dt
0 ln t
Z π/2
X. Soit f : x → ln(1 + x cos2 t)dt
0

1) Déterminer le domaine de définition D de f


2) Montrer que f est dérivable sur ]1, +∞[, et déterminer f 0

3) Calculer f (x) pour x ∈ D

XI.
Z ∞ Z x
arctan(x/t) ln t
1) Montrer que ∀x > 0 : 2
dt = 2
dt
0 1+t 0 t −1
Z ∞
ln t
2) En déduire la valeur de l’intégrale 2
dt
0 t −1
Z π
XII. Soit f : x → ln(x2 − 2x cos θ + 1)dθ
0

1) Déterminer le domaine de définition de f

2) Calculer f (x)

XIII.
Z +∞
sin t
1) a) Montrer que l’intégrale dt converge
0 t
b) La fonction R → R définie par f (t) = sint t est-elle intégrable ?
Z ∞
sin(xt)
2) Calculer lim dt
x→∞ 0 et − 1
Z ∞ ∞
sin(xt) X x
3) a) Montrer que ∀x ∈ R: t
dt =
0 e −1 n=1
n + x2
2

Z ∞
sin(xt) π
b) Montrer que dt − −− − →
0 et − 1 x→+∞ 2
Z ∞
XIV. Soit f ∈ C(R+ , R). On suppose qu’il existe x0 ∈ R, telle que f (t)e−s0 t dt ..
Z ∞ 0
−s0 t
Montrer que ∀s > s0 , f (t)e dt converge
0 Z ∞
cos(xt)
XV. f : R → R, définie par f (x) = dt
0 1 + t2
1) Montrer que f est continue sur R, et de classe C 1 sur sur R∗

2) Calculer, pour x ∈ R∗ : xf 0 (x) − f (x), et en déduire que ∀x > 0 : f 00 (x) = f (x)

3) Calculer f (x) pour x ∈ R


XVI. Irrationnalité de π 2 :
On suppose qu’il existe a, b ∈ N∗ telle que π 2 = ab , et soit pour n ∈ N∗ : Pn = 1 n
n!
x (1−x)n .
Z 1
∗ n
On note, pour n ∈ N : Nn = πa Pn (t) sin(πt)dt
0

1) Montrer que Nn −−−−→ 0


n→+∞

2) Montrer que
an 00 00 n a
n
Nn = an (Pn (1)+Pn (0))− 2
(P n (1)+P n (0))+. . .+(−1) 2n−2
(Pn(2n−2) (1)+Pn(2n−2) (0))+
π π
1
an
Z
. . . + (−1) n
Pn(2n) (t) sin(πt)dt
π 2n−1 0

(k) (k)
3) Montrer que ∀k ∈ N : Pn (0) ∈ Z et Pn (1) ∈ Z

4) Conclure

XVII. Volume de la boule unité:


Z Z
2 2
1) a) Calculer e−(x +y ) dxdy
R+ ×R+

Z
2
b) En déduire que e−x dx = π
R
Z +∞ Z
2) Calculer e−t I{x21 +x22 +...+x2n ≤t} (x1 , . . . , xn )dx1 dx2 . . . dxn de deux manières; en
0 Rn
π n/2
déduire que v(Bn (0, 1)) = Γ(n/2+1)

Vous aimerez peut-être aussi