AGRGATION INTERNE DE MATHMATIQUES

LINTGRALE DE DIRICHLET

+
0

sin(t)
dt.
t

PATRICE LASSRE

Rsum. Afin de bien rviser lintgration et plus prcisment les intgrales paramtres, amusons nous avec
R
sin(t)
plusieurs mthodes de calcul pour lintgrale de Dirichlet 0+ t dt.

1. Prliminaires
R + sin(t)
dt est classique : il ny a pas de problmes
La convergence de lintgrale impropre 0
t
lorigine car t 7 sin(t)/t sy prolonge continuement, le seul problme est donc en +.
Intgrable sur [0, 1], il est suffisant de sassurer de la convergence sur [1, +[ : soit x > 1, une
intgration par parties donne
x Z x

Z x
cos(t)
cos(t)
sin(t)

dt =
dt
t
t
t2
0
1
1

lorsque x tends vers + le terme entre crochets tends vers sin(1) et le second (puisque
R + sin(t)
R
| cos(t)/t2 | t2 L1 ([1, +[)) vers 1 cos(t)/t2 dt R . Par consquent 0
dt converge.
t
R +
|dt diverge, pour sen convaincre le mthode classique consiste
Par contre lintgrale 0 | sin(t)
t
crire pour tout entier N 2


Z N
N Z k+3/4 
X
 sin t 
 sin t 




 t  dt
 t  dt
k+/4
1
k=1
N Z k+3/4
X
2
dt

2 k+/4 t
k=1

N
N
X
X
2
1
2
% +.

k + 3/4
k
k=1
k=1

Do la non absolue intgrabilit (tout ceci bien entendu marche aussi pour les intgrales
R + sin(t)
| t |dt, ]0, 1]...).
0
1

PATRICE LASSRE

On peut aussi plus simplement crire


 

 sin t   sin2 t  1 cos 2t



:= g(t) 0
 t   t =
2t

et observer que g nest pas intgrable en + (en effet, cos 2t/t lest pour les mmes raisons
que sin t/t mais pas 1/t...) ce qui, via les thormes de comparaison pour les fonctions positives
assure la non-intgrabilit de t 7 | sin(t)
| en linfini.
t
Pour terminer, remarquons que par une intgration par parties lgitime
2
 Z +

Z + 
Z +
sin2 t
2 sin(t) cos(t)
sin(t)
sin(2t)
+
dt =
dt =
dt
t
t
t
t
0
0
0

do la remarquable1 formule
Z

+
0

sin(t)
dt =
t

+
0

2. Calculs de

3)
4)

+
0

sin(t)
t

2

dt.

sin(t)
dt
t

sin(xt)
dt.
t(t2 + 1)
0
Prciser le domaine de dfinition de F .
tudier la continuite et lexistence des
drives premires et secondes.
Z +
sin(t)
Exprimer F (x) en fonction de C :=
dt
t
0
En dduire la valeur de C.

Exercice 1 : Soit F (x) =

1)
2)

Solution : Lintgrale dfinissant F est clairement convergente pour tout x R : F est

sin(xt)
dfinie sur R et est impaire. Posons f (x, t) = t(t
2 +1) .
Soit a > 0, pour x [a, a] et t R+ on a


 sin(xt)

1
 |x| a L1 (R+ ),
|f (x, t)| = 
2
t
t + 1  t2 + 1
t2 + 1

vu la rgularit de f le thorme de continuit des intgrales paramtres assure que F

C 0 ([a, a]), et ceci pour tout a > 0 : F est donc continue sur R.
1On a aussi R +
0

sin(t)
dt
t

n1

sin(n)
n

LINTGRALE DE DIRICHLET

AGRGATION INTERNE DE MATHMATIQUES

x f (x, t) =

cos(xt)
, on a donc pour tout x R et t R+
t2 + 1


 cos(xt) 
 1 L(R),
|x f (x, t)| =  2
t + 1  t2 + 1

par le thorme de drivation des intgrales paramtres, F C (R) et F (x) =

1

sin(t)
dt.
t

+
0

cos(xt)
dt.
t2 + 1

Pour lexistence de la drive seconde laffaire est plus dlicate, car








 2
 
x f (x, t) =  t sin(xt)   sin(xt)  ,
 t2 + 1  t  t 


 sin(t) 
et cette dernire nest (comme  t ) pas intgrable en + : toute tentative de domination
(mme locale) pour appliquer le thorme prcdent est donc vaine. Lastuce constiste par une
intgration par parties crire F 0 sous une forme acceptable pour justifier la drivation sous
lintgrale :soit x R? :
 Z +

Z +
2t sin(xt)
cos(xt)
sin(xt)
0
+
F (x) =
dt =
dt
2
2
t +1
x(t + 1) 0
x(t2 + 1)2
0
0
Z +
2t sin(xt)
dt.
=
x(t2 + 1)2
0
Ainsi, pour x 6= 0 on a
()

F (x) =

+
0

cos(xt)
dt =
t2 + 1

+
0

2t sin(xt)
dt
x(t2 + 1)2

sous cette seconde forme, on va pouvoir appliquer le thorme de drivation des intgrales
paramtres, en effet soit a > 0, pour x a
 

 
 
 2t sin(xt)   2t sin(xt)   2t2 cos(xt) 






 x x (t2 + 1)2   x2 (t2 + 1)2  +  x(t2 + 1)2 
|2t|
2t2
2 2
+
L1 (R)
a (t + 1)2 a(t2 + 1)2
on peut donc driver sous lintgrale : F est deux fois drivable sur R? et

Z + 
2t sin(xt)
2t2 cos(xt)
00
F (x) =
2 2
+
dt, x R? .
2
2 + 1)2
x
(t
+
1)
x(t
0

PATRICE LASSRE

Cette expression est un peu charge, faisons une intgration par parties :

Z + 
2t
sin(xt) 2t2 cos(xt)
00
F (x) =
2

+
dt
(t + 1)2
x2
x(t2 + 1)2
0
 Z + 


x cos(xt)
t cos(xt)
cos(xt) xt sin(xt)
sin(xt)

dt
= 2 2
x (t + 1) x(t2 + 1) 0
x2 (t2 + 1)
x(t2 + 1)
0
Z +
t sin(xt)
=
dt.
t2 + 1
0
Il est intressant ce stade dobserver que nous retrouvons finalement la formule
Z + 2

00
F (x) =
f (x, t)dt, x R? ,
2
x
0

mais pour justifier une drivation sous lintgrale une transformation de F 0 (voir ()) t
ncessaire ; remarquez aussi que lexistence de F 00 (0) reste ouverte. Nous avons donc :
Z +
cos(xt)
0
dt, x R,
F (x) =
t2 + 1
0
Z +
t sin(xt)
00
F (x) =
dt, x R? .
2 +1
t
0

Ainsi, pour tout x R? ,

F (x) F (x) =

00

+
0
+
0

Z +
t sin(xt)
sin(xt)
dt +
dt
2
t(t + 1)
x(t2 + 1)
0
(
sin(xt)
C, x R?+ ,
dt =
t
C, x R? .

F est donc solution de lquation diffrentielle F F 00 = C sur R?+ et F F 00 = C sur R? ce

qui nous donne
(
aex + bex + C, x R?+ ,
F (x) =
cex + dex C, x R? .

(remarquez que ces quations impliquent lim0+ F 00 (x) = C = lim0 F 00 (x) qui assurent si C 6=
0 que F 00 admet lorigine des limites droite et gauche diffrentes ce qui (proprit classique
de lapplication drive, Darboux par exemple) nous permet daffirmer que F 00 (0) nexiste pas
mais F 0 est tout de mme drivable droite et gauche en 0 avec F 00 (0+ ) = C = F 00 (0 )...)
F tant impaire, a = d, b = c soit
(
aex + bex + C, x R?+ ,
F (x) =
bex aex C, x R?

LINTGRALE DE DIRICHLET

AGRGATION INTERNE DE MATHMATIQUES

sin(t)
dt.
t

et F continue lorigine avec F (0) = 0 implique

F (0) = 0 = lim F (x) = a + b + C = lim F (x) = a b C
x0+

x0

soit a + b = C ; de mme, F 0 continue lorigine avec F 0 (0) = /2 donne a b = /2 i.e.

2a = /2 C, 2b = C /2 et finalement

()
F (x) = sh(x) Cch(x) + C, x R?+ .
2
Il reste valuer C. Pour cela, montrons que lim F (x) = C. Soit x > 0,
x+

Z + 
2t2 cos(xt)
2t sin(xt)
00
dt
F (x) C = F (x) =
+
2 2
x (t + 1)2
x(t2 + 1)2
0

(on a encore ici besoin de la premire expression de F 00 pour conclure facilement) pour x a > 0,
on a la domination


2
 2t sin(xt)

2t
2t
cos(xt)
2t2


+
+
L1 (R+ ).
 x2 (t2 + 1)2
x(t2 + 1)2  a2 (t2 + 1)2 a(t2 + 1)2

Donc par le thorme de la convergence domine



Z +
2t2 cos(xt)
2t sin(xt)
+
dt = 0
lim (F (x) C) =
lim 2 2
x+
x+
x (t + 1)2
x(t2 + 1)2
0
soit avec ()

et F (x)

lim F (x) = C

x+

qui donnent
C=
C.Q.F.D.

+
0


2


C ex + C

sin(t)
dt = .
t
2

Exercice 2 : On considre lapplication f (x) :=

1) Montrer que f C 1 (R?+ ).
2) En dduire une forme explicite de f sur R?+ .
3) Montrer que f est continue lorigine.
R +
4) En dduire que 0 sin(t)
dt = 2 .
t

R +
0

sin(t) xt
e dt.
t

R +
Solution : 1) crivons f (x) = 0 g(x, t)dt o g(x, t) = ext sin(t)
. Pour x = 0, f (0) =
t
R + sin(t)
dt et nous retrouvons lintgrale de Dirichlet ; pour x > 0, comme |g(x, t)| ext
t
0
L1 (R+ ), f est encore bien dfinie : f est finalement dfinie sur R+ .

PATRICE LASSRE

Soit a > 0, nous avons

|g(x, t)| e

at

L (R+ ) et




 g
 (x, t) = | sin(t)ext | eat L1 (R+ ).

 x

De ces deux ingalits, le thorme de continuit et drivabilit des intgrales paramtres

assure que f C 1 (R?+ ) et
Z +
?
0
sin(t)ext dt.
x R+ ,
f (x) =
0

i Remarque : Il faut se garder, malgr les questions suivantes, de vouloir par ces thormes
de domination obtenir la continuit de f lorigine : en effet f est lorigine dfinie par
lintgrale de Dirichlet qui est notoirement non absolument convergente et une domination de
g dans un voisinage de lorigine impliquerai assurment labsolue convergence. Cest pourquoi
dailleurs les dominations nont lieu que sur [a, +[...
2) Lexpression de f 0 (x) que nous venons dobtenir nous permet un calcul explicite : soit
x>0
Z +
Z


1 + it
0
xt
f (x) =
sin(t)e dt =
e eit ext dt
2i 0
0
Z


1 + t(ix)
e
et(i+x) dt
=
2i 0
 t(ix)   t(i+x)  
e
1
e
+
=
2i
ix 0
i+x 0


1
1
1
1
=

2i
ix i+x
1 + x2

(les deux termes entre crochets sont nuls linfini car par exemple | e
lorsque t tends vers +....). En intgrant cette formule, il vient
C R : x R?+

t(i+x)

i+x

|=

xt
e
x2 +1

f (x) = arctan(x) + C.

La constante C nest pas difficile dterminer, en effet la formule ci-dessus implique que

lim f (x) = + C
x+
2
et pour tout x > 0
Z +
1
|f (x)|
ext dt =
0
x x+
0
soit

et C = .
+C =0
2
2

LINTGRALE DE DIRICHLET

AGRGATION INTERNE DE MATHMATIQUES

sin(t)
dt.
t

Rsumons nous :

arctan(x) + ,
2
f (x) = R + sin(t)

dt,
0
t

()

si x > 0
si x = 0.

3) Il sagit de montrer que

Z

lim |f (x) f (0)| = lim 
x0+
x0+

+
0




sin(t) xt
e 1  dt = 0.
t

Cette limite
par parties : considrons Rpour t > 0,
R nest pas triviale, on va faire0 une intgration
+
sin(t)
G(t) = t sin(u)
du.
G
est
drivable
et
G
(t)
=

,
en
outre la convergence de 0 sin(t)
dt
u
t
t
implique limt G(t) = 0. Ainsi
Z +


sin(t) xt
f (x) f (0) =
e 1
t
0
Z +


G0 (t) ext 1
=
0
Z +



xt
= G(t) e 1 0
G(t)xext dt
0
Z +
Z +  
u u
H(x, u)du
e du :=
G
=
u=xt
x
0
0
et la fonction

( u
G
eu
x
H(x, u) =
0

si x 6= 0,

si x = 0.

est continue sur R+ R?+ (la continuit en (0, u) dcoule de limt G(t) = 0) ; elle est aussi
domine par
|H(x, u)| eu L1 (R+ ).
Donc par convergence domine
()

 Z

lim |f (x) f (0)| = lim 
x0
x0+

+
0

f est donc bien continue lorigine.

4) () et () donnent immdiatement
Z +
0

  Z
 
H(x, u)du = 

+
0



lim H(x, u)du = 0.
x0

sin(t)

dt = .
t
2

PATRICE LASSRE

Exercice 4 : Soient f (x) =

0
?

sin(t)
dt, g(x) =
t+x

ext
dt.
t2 + 1

1) Montrer que f, g C (R ) (pour f , on pourra commencer par montrer que f (x) =

R 1cos(t)
dt).
0
(t+x)2
2) Montrer que f et g sont solutions de lquation diffrentielle y 00 + y = 1/x.
3) En dduire que f g est 2-priodique (sur son domaine de dfinition).
4) Montrer que f et g sont quivalentes
1/x en + puis, que f = g.
Z
sin(t)
5) En dduire la valeur que
dt
t
0
2

Solution : 1) et 2) Ces intgrales impropres sont clairement convergentes pour tout x R + ;

posons pour (x, t) R+ R+ : f (x, t) = sin(xt)/t + x, g(x, t) = etx /t2 + 1. Les dominations
1
, t R+ ,
1 + t2

at
 g(x, t) 
 te

L1 (R+ ), x a > 0,
t R+ , 
x  1 + t2

 2
 g(x, t)  t2 eat

L1 (R+ ), x a > 0,
t R+ , 

2
2
x
1+t

|g(x, t)|

assurent par convergence domine que g est continue sur R+ et de classe C 2 sur R?+ avec
Z 2 xt
Z xt
t e
te
00
0
dt, g (x) =
dt, x R?+ .
g (x) =
2
2 +1
t
+
1
t
0
0
On en dduit immdiatement que g 00 (x) + g(x) = 1/x sur R?+ .
Pour f cest un peu plus dlicat car lapplication t 7 f (x, t) est notoirement non absolument
intgrable sur R+ et toute domination est veine, on commence donc par une intgration par
parties pour obtenir une expression plus exploitable de f .

 Z
Z
Z
sin(t)
1 cos(t)
1 cos(t)
1 cos(t)
f (x) =
dt =
dt =
dt
+
2
t+x
t+x
(t + x)
(t + x)2
0
0
0
0
(afin dallger les calculs on a choisi 1 cos(t) comme primitive de sin(t) choix qui annule le
terme entre crochets ). De l, si h(x, t) = 1 cos(t)/(t + x)2 et pour x a > 0

 

 h(x, t)   2(1 cos(t)) 
2




t R+ , 
= 
L1 (R+ ), x a > 0,


3
x
(t + x)
(t + a)3
 2
 

 h(x, t)   6(1 cos(t)) 
12
=

t R+ , 
L1 (R+ ), x a > 0,



2
4
x
(t + x)
(t + a)3

AGRGATION INTERNE DE MATHMATIQUES

LINTGRALE DE DIRICHLET

sin(t)
dt.
t

ces dominations impliquent que f C 2 (R?+ ) avec

Z
6(1 cos(t))
00
f (x) =
dt, x R?+
4
(t + x)
0
et avec une intgration par parties
 Z

Z
2 sin(t)
6(1 cos(t))
2(1 cos(t))
00
+
f (x) =
dt
=

dt
(t + x)4
(t + x)3
(t + x)3
0
0
0
 Z

Z
sin(t)
cos(t)
cos(t)
+
=
dt =
dt
2
2
(t + x) 0
(t + x)
(t + x)2
0
0
Z
Z
dt
1 cos(t)
=

dt
2
(t + x)
(t + x)2
0
0
1
= f (x), x > 0.
x
3) f et g sont solutions sur R?+ de lquation y 00 + y = 1/x, f g est donc solution de lquation
y 00 + y = 0 : cest la restriction R?+ dune solution sur R de y 00 + y = 0 donc 2-priodique.
4) Soit x > 0, vu ce qui prcde

et comme

i.e.

Z
2 sin(t)
1
f (x) =
dt
x
(t + x)3
0
 Z
2dt
2
2 sin(t) 
dt
= 2 = o(x1 )
3
3
(t + x)
(t + x)
x
0

1
1
+ o(x1 ) .
+ x
x
Pour g, on procde de mme encore plus simplement.
f (x) =

Sur R?+ , f g est continue 2-priodique et tends vers 0 en + : elle est donc identiquement
nulle et on a
Z xt
Z
e
sin(t)
dt =
dt, x R?+ .
2
t
+
x
t
+
1
0
0
5) Pour conclure, voir lexercice prcdent.
Exercice 3 : Montrer que
Z /2
0

et en dduire que

/2

x cos(t)

cos(x sin(t))dt =
2

sin(t)

dt = .
t
2

x
0

sin(t)
dt
t

10

PATRICE LASSRE

Solution : Soit x R, on a
Z /2
Z
x cos(t)
e
cos(x sin(t))dt = Re
0

= Re
= Re

Z
Z

/2

ex cos(t) eix sin(t) dt

0
/2

xeit

dt

0
/2
0

X (x)n
= +
2 n=1 n!

X
(x)n eint

n!

n=0

dt

/2

Re eint dt

X (x)n sin(nt)
= +
2 n=1 n!
n


/2
0

(x)n sin(n/2)

+
2 n=1 n!
n

X (x)2k+1 sin((2k + 1)/2)

= +
2 k=0 (2k + 1)!
2k + 1

(1)k x2k+1
X
=
2 k=0 (2k + 1)(2k + 1)!
Z
X x (1)k t2k+1 dt
=
2 k=0 0 (2k + 1)! t
Z xX

(1)k t2k+1 dt
=
2
0 k=0 (2k + 1)! t
Z x

sin(t)
=
dt.
2
t
0

R P PR
Les deux changes
=
sont justifis par la normale convergence des deux sries entires
sur le domaine dintgration (leur rayon de convergence tant infini).


Une convergence domine lmentaire2 (ex cos(t) cos(x sin(t)) 1 L1 ([0, /2])) implique
Z /2
lim
ex cos(t) cos(x sin(t))dt = 0,
x+

2que lon peut aussi viter en coupant lintgrale en deux...

LINTGRALE DE DIRICHLET

AGRGATION INTERNE DE MATHMATIQUES

sin(t)
dt.
t

11

soit, vu la formule tablie au dessus

lim

x+

et par consquent

+
0

sin(t)

dt = .
t
2

x
0

sin(t)
dt
t

=0

xy
Exercice 5 : (avec des intgrales
Z + doubles-1) En intgrant f (x, t) = e sin(x) sur [, T ]
sin(t)
dt.
[0, +[, 0 <  < T, calculer
t
0

Solution : Soient 0 < < T , nous avons


Z
Z T
Z T
sin(x)
xy
e dy dx
sin(x)
dx =
x


Z Z T
xy
sin(x)e dx dy
=

0
Z y
e (cos + y sin ) eyT (cos T + y sin T )
=
dy
y2 + 1
0
Z
=
g,T (y)dy
0

lapplication ci-dessus du thorme de Fubini est justifie par |f (x, y)| exy et

Z T
Z T  xy 
Z T Z
e
dx
T
xy

dx =
e dy dx =
= log < .
x 0
x

pour tous 0 < < T .

Maintenant, observons que pour 0 < y

de mme, pour T 1

|ey (cos + y sin )| 1 + yey 1 + e1 ,

|eyT (cos T + y sin T )| eyT (1 + y) ey (1 + y).

Ainsi pour 0 < y T et T 1

max{(1 + e1 , ey (1 + y)}
L1 (R+ ).
2
y +1
Il est donc lgitime dinvoquer le thorme de la convergence domine pour crire
Z
Z
dy

g,T (y)dy =
lim lim
=
,
0+ T + 0
y2 + 1
2
0
|g,T (y)|

12

PATRICE LASSRE

dautre part, comme

Z

nous avons finalement

Z

sin(x)
dx =
x

g,T (y)dy

sin(x)
dx = lim lim
0+ T +
x

g,T (y)dy =

.
2

Exercice 6 : (avec des intgrales doubles - 2)

En intgrant sur [0, u] [0, u], f (x, y) = sin(x)exy , montrer que


Z u
Z u
1 eyu cos(u) + y sin(y)
sin(x)
xu
(1 e )dx =
dy,
x
1 + y2
0
0
Z +
Z +
sin(t)
sin2 (t)

et en dduire que
dt =
dt = .
2
t
t
2
0
0
Exercice 7 : (avec Riemann-Lebesguea)
1) Montrer que


Z /2
sin (2n + 1)t

dt = .
n N :
sin(t)
2
0
2) Montrer que



!
Z /2
Z /2
sin (2n + 1)t
sin (2n + 1)t
lim
dt
dt = 0.
n
t
sin(t)
0
0
Z +
Z +

sin(t)
sin2 (t)
3) En dduire que
dt =
dt = .
2
t
t
2
0
0
aLe Lemme de Reimann-Lebesgue : si f C 0 ([a, b]) alors lim R b f (t) cos(nt)dt = lim R b f (t) sin(nt)dt = 0 ; la preuve est
n a
n a
lmentaire si f C 1 ([a, b]) avec une intgration par parties et un peu plus dlicate si f est seulement continue.

Solution : 1) On a pour x ]0, 2[

sin((2n + 1)x/2)
1
+ cos(x) + cos(2x) + + cos(nx) =
,
2
2 sin(x/2)

par consquent pour x ]0, [

1 + 2 cos(2x) + 2 cos(4x) + + 2 cos(2nx) =

sin((2n + 1)x)
,
sin(x)

LINTGRALE DE DIRICHLET

AGRGATION INTERNE DE MATHMATIQUES

sin(t)
dt.
t

13

qui donne immdiatement

Z

/2
0

sin (2n + 1)t

dt = .
sin(t)
2

2) Nous avons
Z

lim

= lim

/2
0

!


Z /2
sin (2n + 1)t
sin (2n + 1)t
dt
dt
t
sin(t)
0

/2
0

sin(t) t
sin((2n + 1)t)dt = 0,
t sin(t)

la dernire limite est nulle via Riemann-Lebesgue par continuit de lapplication t 7

sur [0, /2].

sin(t)t
t sin(t)

R
3) La convergence de lintgrale 0 sin(t)
dt implique
t
Z +
Z n/2
Z /2
sin(t)
sin(t)
sin(nt)
dt = lim
dt = lim
dt,
n 0
n 0
t
t
t
0

en particulier

+
0

sin(t)
dt = lim
n
t

/2
0

sin((2n + 1)t)
dt,
t

on invoque alors les deux premires questions pour conclure.

Exercice 8 : Calculer par rcurrence In =

.
2

/2
0

sin(2nt)
dt et en dduire que
tan(t)

Solution : Cest la mme ide que lexercice prcdent.

/2
0

sin(t)
dt =
t

sin(t) xt
e dt. Montrer que f C 0 (R+ ) C 1 (R?+ ), calculer
t
0
Z
/2
sin(t)
0
f pour en dduire la valeur de
dt.
t
0
Exercice 9 : On pose f (x) =

14

PATRICE LASSRE

Exercice 10 : (avec Green-Riemann)

1) Soient 0 < a < b. Calculer lintgrale curviligne de la forme diffrentielle
ey
{(x sin(x) y cos(x))dx + (x cos(x) + y sin(x))dy}
x2 + y 2
le long du contour orient :
=

C2
C4

C3

C1
a

2) En dduire que

=
2

+
0

sin(t)
dt.
t

Solution : 1) La forme est ferme dansZ R2 \ {(0, 0)} donc dans louvert toil { rei ,
0, /4 < < 5/4 }, soit avec Poincar
= 0.

r>

2) Nous allons successivement faire tendre a vers 0+ et b vers +.

En respectant les notations de la figure
Z
Z
Z
Z b
sin(x)
sin(x)
dx =
dx,
lim lim
= lim lim
= lim lim
a0+ b+ C
a0+ b+ C
a0+ b+ a
x
x
0
1
3
Pour C2 , la paramtrisation x = b cos(), y = b sin() o varie de 0 donne
Z
Z
=
eb sin() cos(b cos )d
C2

qui tends vers 0 par convergence domine puisque |eb sin() cos(b cos )| eb sin() 1
L1 ([0, ]).
De mme, pour C4 , la paramtrisation x = a cos(), y = a sin() o varie de 0 donne
Z
Z
=
ea sin() cos(a cos )d
C4

qui tends vers par convergence domine puisque |ea sin() cos(a cos )| 1 L1 ([0, ]).
En rsum

0 = lim lim

a0+ b+

CQFD.

=2
C

sin(x)
dx
x

LINTGRALE DE DIRICHLET

AGRGATION INTERNE DE MATHMATIQUES

sin(t)
dt.
t

15

Exercice 11 : (avec la formule de Cauchy) Pour R > 0, > 0 on note R, le circuit ci-dessous

R,

iz

e
dz.
1) Calculer
R, z
Z
Z iz
eiz
e 1
dz = lim
dz = 0.
2) Montrer que lim
0+
R+
z
z

R
Z +
sin(t)

dt = .
3) En dduire que
t
2
0
Z

Solution : Cest la version holomorphe de lexercice prcdent.

3. Autour de lintgrale de Dirichlet

Exercice 12 : Soit f C 0 ([0, +[, R) tendant vers 1 en + et


2
Z +
sin(xt)
f (t)
dt.
(x) :=
t
0

1) Quel est de domaine de dfinition de ? Exprimez la limite L en 0+ de (x)/x en fonction

dune intgrale.
2) Prouver que lon a
2
Z + 
Z +
sin(t)
sin(t)
dt =
L=
dt.
t
t
0
0

Exercice 13 : (E3343) Montrer que

Z

X
1 + sin(t)

dt = log(2),
n 2n
t
2
n=1
Z

X

1 + sin(t)
dt = log().
n 2n
t
2
2
n=1

16

PATRICE LASSRE

Exercice 14 : (valuation du reste) Montrer que pour tout x > 0 :


Z

sin(t)  2

dt .

t
x
x

Exercice 15 : (E4286) Montrer que

Z +
0

cos2 (x) cos(x)

dx =
x
2

o est la constante dEuler.

Exercice 16 :

Lassre Patrice : Institut de Mathmatiques de Toulouse, Laboratoire E.Picard, UMR CNRS 5580, Universit
Paul Sabatier, 118 route de Narbonne, 31062 TOULOUSE.7 mars 2008 lassere@picard.upstlse.f r