Universit de Rennes 1 Prparation

lagrgation de mathmatiques
http://agreg-maths.univ-rennes1.fr

D
eveloppement asymptotique de lint
egrale
Yves Coudene 16/10/03

sin t
dt
t

Lintegrale 0N sint t dt tend vers /2 lorsque N tend vers l infini. Quitte `a faire
quelques calculs, on peut obtenir un developpement asymptotique complet :
R

sin t
dt =
t

Lintegrale
N

tx

Z

tx

0
0
R N tx
sin t
0 e

sin t dt = Im

Z N

dx sin t dt =
0

etx sin t dt dx

dt se calcule explicitement `a laide des complexes :

N

Z

etx+it dt =

1
eN x

(cos N + x sin N )
1 + x2 1 + x2

On obtient donc :
N

Z
0

sin t
dt
t

eN x

(cos N + x sin N )dx ,

v = Nx
2
1+
x2
0
Z
Z
v
cos N
sin N
e
vev
dv

dv

2
2
N
N 2 0 1 + v22
0
1 + Nv 2
N

=
=

On utilise maintenant le developpement en serie de

explicite :
1
1+

k=0

v2
N2

ev
v2
N2
vev

1+

ev
1+

v2
N2

K 
X

1+

v2
N2

v 2 k
2 +
N

dv =

v2
N2

1+

Z
K
X
(1)k
k=0

dv =
dv =

N 2k

k=0
K
X
k=0

N 2k

, dont le reste est

K+1

v2
N2

v 2k ev dv +

K
X
(1)k

1
1+x2

{z

1
N 2k+2

=(2k)!

Z
0

(v 2 )K+1 ev
1+
{z

v2
N2

| |(2k+2)!

dv
}

 1 

(2k)! + o

N 2K

 1 
(1)k
(2k
+
1)!
+
o
N 2k
N 2K

Resultat :
Z
0

sin t
dt =
t
=

K
h

X
cos N
sin N i
1 

(1)k (2k)! 2k+1 + (2k + 1)! 2k+2 + o

2 k=0
N
N
N 2K+2
 1 
sin N
cos N
sin N
cos N

+
2
+
6
+
o
2
N
N2
N3
N4
N4

Ce developpement illustre les points suivants :

utilisation de la transformee de Laplace ;
calcul dintegrales reelles en passant dans le domaine complexe ;
fonction Gamma ;
obtention dune asymptotique en mettant lexpression `a evaluer sous la forme
dune integrale dependant dun param`etre ;
obtention dun reste sous forme integrale, ce qui permet dobtenir des equivalents, mais aussi des encadrements.
Enfin pour finir, il faut remarquer que la serie obtenue est divergente.