PSI* 2016/2017 Corrig du D.L.

4 Page 1

Problme A : intgrale de Dirichlet

1) Cest un exemple du cours : soient et X tels que 0 < < X ; jintgre par parties :
sin t X
1 X X
1 cos t
dt = (1 cos t) + dt .
t t t2
Comme les fonctions intgres se prolongent par continuit en 0, jobtiens lorsque tend vers 0
X X
sin t 1 cos X 1 cos t
dt = + dt .
0 t X 0 t2
1 cos X 1 cos t
Or 0 et la fonction t (prolonge par continuit en 0) est intgrable sur R+
X X+ t2
1
(car continue par morceaux sur R+ , valeurs positives, et O 2 au voisinage de +). En conclusion
t
X
sin t 1 cos t
lim dt = dt,
X+ 0 t R+ t2
ce qui donne un sens lintgrale impropre
+
sin t
F = dt.
0 t

2) Soient n N et x ]0, [. Jai

k [[1, n]] 2 sin x cos 2kx = sin (2k + 1) x sin (2k 1) x,
do, en constatant lhcatombe
n
2 sin x cos 2kx = sin (2n + 1) x sin x.
k=1
Il ny a plus qu diviser par sin x (qui est strictement positif)
n
sin (2n + 1) x
x ]0, [ =1+2 cos 2kx.
sin x
k=1
(Autres ides rcurrence ou utilisation de e2ikx . . . )
sin (2n + 1) x
La fonction x se prolonge par continuit en 0 et jobtiens en intgrant la relation
sin x
prcdente (par linarit de lintgrale, il sagit dune somme nie !) :
/2 n /2
sin (2n + 1) x
dx = + 2 cos 2kxdx,
0 sin x 2
k=1 0
soit
/2
sin (2n + 1) x
dx = .
0 sin x 2
cos nx
3) a) Soit f une application de classe C 1 sur [0, /2] ; pour n N , jintgre par parties (f et x
n
sont bien de classe C 1 ) :
/2
cos nx /2 1
In = f (x) + f (x) cos nxdx,
n 0 n 0
2M0 1
do, en notant M0 = sup |f| et M1 = sup |f |, |In | n + n 2 M1 . Il en rsulte que
[0,/2] [0,/2]
/2
La suite de terme gnral In = f (x) sin nxdx converge vers 0.
0

b) Par construction, f est continue sur [0, /2], de classe C 1 (car C 2 ) sur ]0, /2] avec, en utilisant la
formule de Taylor-Young pour g et pour g :
 PSI* 2016/2017 Corrig du D.L. 4 Page 2

xg (x) g (x) + g (0)

x ]0, /2] f (x) =
x2
x2
x g (0) + xg (0) + o (x) g (0) + xg (0) + g (0) + o x2 + g (0)
2
=
x2
g (0)
= + o (1)
2
Par consquent, f admet une limite nie en 0, donc (thorme de prolongement C 1 )
f est de classe C 1 sur [0, /2].
Daprs le a), la suite de terme gnral In converge vers 0, o :
/2 /2 /2 /2
g (x) g (0) g (x) sin nx sin nx
In = f (x) sin nxdx = sin nxdx = dx g (0) dx.
0 0 x 0 x 0 x
Cette dernire galit est justie par lintgrabilit des deux fonctions apparaissant (elles se prolon-
gent par continuit en 0). Ainsi, grce au changement de variable t = nx :
n/2
sin t
In = Jn g (0) dt, soit Jn = g (0) (n/2) + In ,
0 t
X
sin t
o : X dt admet pour limite F en + (daprs 1)). Finalement :
0 t
/2
sin nx
La suite de terme gnral Jn = g (x) dx converge vers F g (0).
0 x
x
si x ]0, /2] sin x si x ]0, /2]
4) g : x sin x est linverse de h : x x (qui ne sannule
1 si x = 0
1 si x = 0
pas). Il sut de montrer que h est de classe C 2 . On vrie comme au 3)b) que h est de classe C 1

x cos x sin x si x ]0, /2]

sur [0, /2], avec h : x x2 . Japplique maintenant le thorme de

0 si x = 0
prolongement C 1 h , qui est continue sur [0, /2] et de classe C 1 sur ]0, /2], avec, tous calculs faits,
2 x2 sin x 2x cos x 1 1
x ]0, /2] h (x) = 3
= + o (1) .
x 3 x0 3
1
Ainsi, h est de classe C sur [0, /2], autrement dit
g est de classe C 2 sur [0, /2].

5) Appliqu cette fonction g, le 2) mapprend que la suite (Jn ) converge vers F (puisque g (0) = 1). Or

le 2) montre que J2n+1 = pour tout n de N , do, par unicit de la limite de cette suite extraite
2

F = .
2

Problme B

1) Soit x ]1, 1[, jai

t2 + 2xt + 1 = (t + x)2 + 1 x2 ,
1
Puisque 1 x2 > 0, il en rsulte que la fonction t 2 est continue, positive sur R+ ; en
t + 2xt + 1
outre jai les primitives
dt 1 t+x
= arctan + C ste .
t2 + 2xt + 1 1x 2 1x 2
 PSI* 2016/2017 Corrig du D.L. 4 Page 3

Par consquent, pour tout T > 0

T
dt 1 T +x x
= arctan arctan .
0 t2
+ 2xt + 1 1 x2 1 x2 1 x2
Cette expression admettant une limite nie lorsque T tend vers +, lexistence de F (x) est justie,
avec plus prcisment
1 x
F (x) = arctan .
1x 2 2 1 x2

2) Par hypothse, a2 4b < 0, ainsi jai ncessairement b > 0 et donc, grce au changement de variable
1
C bijectif u = t b, jai
+ +

du bdt
2 + au + b
= ,
0 u 0 2
a
b t + t+1
b
cest--dire
1 a
G (a, b) = F .
b 2 b
a a2
(Noter que est bien dans ]1, 1[, puisque < 1.)
2 b 4b
3) Pour des raisons de parit, je cherche une dcomposition de sous la forme
X + X +
(X) = 2 + .
X + aX + b X 2 aX + b
1
Pour une fois, bricolons ! La valeur de (0) me donne = et celle de i b (on peut bricoler
2b
1b
habilement !) fournit = et lon vrie aisment que
2ab
1 (1 b) X + a (b 1) X + a
(X) = + 2 .
2ab X 2 + aX + b X aX + b
2
1 1
4) X4 + X2 + = X2 + 2 1 X 2 , soit
2 2
1
P (X) = X 2 + aX + b X 2 aX + b o a = 2 1 et b = .
2

(Noter que a > 0 et a2 4b = 1 2 < 0.)

5) I est bien dnie, en tant quintgrale dune fonction continue sur un segment, je peux aussi la considrer
comme une intgrale sur [0, /2[ ! Pour calculer I, les rgles de Bioche mincitent poser le changement
de variable C 1 bijectif tan , de [0, /2[ dans [0, +[ (do la remarque prcdente !), de sorte
que
Jai alors
2
dt 4 1 t4
= arctan t ; d = ; sin = 1 = ,
1 + t2 1 + t2 (t2 + 1)2
do (puisque I converge)
/2 +
d t2 + 1 1 + t2 + 1
= dt = dt.
0 1 + sin4 0 (t2 + 1)2 + t4 2 0 P (t)
Je reprends alors les valeurs a, b du 4) et japplique le rsultat du 3)
1b 1+b b1 1+b
(1 b) X + a = (2X + a) + a et (b 1) X + a = (2X a) + a
2 2 2 2
do
1b t2 + at + b 1 + b dt dt
(t) dt = (t) + C ste o (t) = ln 2 + 2
+ 2
.
4ab t at + b 4b t + at + b t at + b
 PSI* 2016/2017 Corrig du D.L. 4 Page 4

Il en rsulte, grce au 1) et au 2),

1+b 1+b 1 1
2I = lim (t) (0) = G (a, b) + G (a, b) = .
t+ 4b 4b b a2
1
4b
Or
1+b 1+ 2 a2 1+ 2
= et b =
4b 4 4 4
do nalement

1+ 2
I= .
4
(Il est satisfaisant de vrier la calculatrice que I 1, 22033 !)

Problme C
Partie I

1) Cest un exemple du cours. Notons f : (x, t) et tx1 . Je montre que est C 1 sur [a, b], a et b rels
xs tels que 0 < a < b (pour faciliter la domination).
Pour tout x [a, b], t f (x, t) est continue par morceaux (car continue !) et intgrable sur ]0, +[
1
par comparaison des intgrales de Riemann : intgrable sur ]0, 1] car f (x, t) + 1x et 1x < 1,
t0 t
1
intgrable sur [1, +[ car f (x, t) = o 2 et 2 > 1.
t+ t
Pour tout t ]0, +[, x f (x, t) est de classe C 1 sur [a, b], avec
f
(x, t) [a, b] ]0, +[ (x, t) = (ln t) et tx1
x
f
Pour tout x [a, b], t (x, t) est continue par morceaux sur ]0, +[
x
Domination : pour t ]0, 1] jai x 1 a 1 et ln t 0 do tx1 ta1 et, pour t > 1, jai
x 1 b 1 et ln t 0 do tx1 tb1 . Ainsi
f |ln t| et ta1 si t ]0, 1]
(x, t) [a, b] ]0, +[ (x, t) (t) o (t) = .
x (ln t) et tb1 si t > 1
La fonction est indpendante de x, continue par morceaux et intgrable sur ]0, +[ : toujours
1 1
o 2 au voisinage de + et o au voisinage de 0, o est x tel que 1 a < < 1, ce qui
t t
sobtient en crivant
1
|ln t| et ta1 = t(1a) |ln t| et o (1 a) > 0.
t
Ainsi, le thorme de drivation sous le signe somme sapplique : est de classe C 1 sur [a, b], cela pour
tous a, b tels que 0 < a < b, donc est C 1 sur ]0, +[. De plus on intgre une fonction continue,
positive et non identiquement nulle, donc
est de classe C 1 et strictement positive sur ]0, +[.

2) Soit x > 0. Les fonctions u : t tx et v : t et sont de classe C 1 sur ]0, +[ et le produit uv admet
+
la limite 0 en 0 (x > 0) et en + (croissances compares). Or nous avons vu que uv converge
0
(cest (x + 1)), je peux donc intgrer par parties :
+ + +
t+
tx et dt = tx et t0
xtx1 et dt = x tx1 et dt.
0 0 0
Autrement dit
(x + 1) = x (x), cela pour tout x > 0.
 PSI* 2016/2017 Corrig du D.L. 4 Page 5
+
Comme (0) = et dt = 1, il en rsulte par une rcurrence immdiate
0
n N (n) = (n 1)!

3) a) Fixons n 1 et x > 0. La continuit de fn sur ]0, n[ est assure par les thormes opratoires
classiques, fn est nulle donc continue sur ]n, +[ ; enn lim fn = 0 donc fn est galement continue
n
en n.
Pour lintgrabilit, je vais dominer les fn (ce sera utile au b)).
Selon lingalit classique ln (1 + u) u pour tout u > 1, jai
t t t
t ]0, n[ ln 1 do n ln 1 t
n n n
et par croissance de lexponentielle
t n
t ]0, n[ 1 et do 0 fn (t) et tx1 .
n
Or cette majoration est galement vraie sur [n, +[. Jai donc la domination
n 1 t > 0 |fn (t)| (t)
o : t et tx1 est continue et intgrable sur ]0, +[ (vu au 1)). Il en rsulte en particulier que
fn est continue et intgrable sur ]0, +[, cela pour tout n 1.
+
b) Toujours avec x > 0 x, je remarque que In (x) nest autre que fn et japplique le thorme
0
de convergence domine la suite (fn ) sur ]0, +[ :
les fn sont continues par morceaux (car continues !) sur ]0, +[
(fn ) converge simplement sur ]0, +[ vers : t et tx1 (en eet, pour t > 0 x, t ]0, n[
t n x1 t
partir dun certain rang (ds que n > t !), donc fn (t) = 1 t or n ln 1 t,
n n n
do par continuit de lexponentielle fn (t) (t))
n

lhypothse de domination a t vrie au a).

Par consquent,
lim In (x) = (x), cela pour tout x > 0.
n

c) Je justie au pralable la convergence de Jn (x) pour tout x > 0 et n 0 : la fonction

1
t (1 t)n tx1 est continue sur ]0, 1] et (1 t)n tx1 1x avec 1 x < 1 puisque x > 0,
t0 t
do la convergence par comparaison un intgrale de Riemann.
Fixons x > 0 et n 0. Les fonctions u : t (1 t)n+1 et v : t tx sont C 1 sur ]0, 1], le produit
1
uv admet pour limite 0 en 0 (car x > 0) et en 1 (car n + 1 > 0). De plus u v converge (cest
0
(n + 1) Jn (x + 1)), je peux donc intgrer par parties, avec un crochet nul :
1
(n + 1) Jn (x + 1) = uv = xJn+1 (x) .
0
Il en rsulte
n+1
Jn+1 (x) = Jn (x + 1), cela pour tout x > 0 et tout n 0.
x

d) Pour x > 0 x, une rcurrence immdiate sur n donne alors

n (n 1) . . . 1
Jn (x) = J0 (x + n) .
x (x + 1) . . . (x + n 1)
1
Or par un calcul banal de primitive, J0 (x) = pour tout x > 0, do nalement :
x
n!
Jn (x) = .
x (x + 1) (x + n 1) (x + n)
 PSI* 2016/2017 Corrig du D.L. 4 Page 6

e) Par ailleurs, pour x > 0 et n 1, le changement de variable C 1 bijectif t = u/n donne :

n
u n u x1 1 1
Jn (x) = 1 du = x In (x) .
0 n n n n
Do, en combinant les rsultats du b) et du d),
n! nx
x > 0 (x) = lim .
n x (x + 1) . . . (x + n)

Partie II

1) Pour u [1, 0[, h (u) = u (1) 1/2 = u + 1/2 et pour u [0, 1[, h (u) = u 1/2, do le graphe,
sachant que h (1) = 1/2 ne se voit pas beaucoup.

y 0.4

0.2

-1.0 -0.5 0.5 1.0

-0.2 u
-0.4

2) Comme [u + 1] = [u] + 1, la fonction h est 1-priodique et donc borne sur R, prcisment |h| 1/2.
Comme la fonction partie entire, h est continue par morceaux sur R, donc la fonction H est bien dnie
sur R et 1/2-lipschitzienne en vertu de la remarque prcdente et de lingalit de la moyenne :
y
(x, y) R2 |H (y) H (x)| = h |y x| 1/2.
x
A fortiori H est continue sur R. De plus, h est dintgrale nulle sur [0, 1] donc sur tout intervalle
damplitude 1 par priodicit. Ainsi daprs la relation de Chasles H est 1-priodique. Soit n Z ; la
fonction h est continue sur [n, n + 1[ (la partie entire est constante sur cet intervalle), donc (thorme
x
fondamental !) la fonction Hn : x h est C 1 sur [n, n + 1] ; or daprs la relation de Chasles, H
n
concide avec H (n) + Hn sur cet intervalle, donc H est C 1 sur ]n, n + 1[ (on ne se prononce pas en n
ou n + 1 pour H, qui est dnie sur R, et en eet H nest pas drivable en n, ni en n + 1). Finalement,
H est continue sur R, 1-priodique et C 1 sur ]n, n + 1[ pour tout n Z.
Notons en outre que, daprs ce qui prcde : n Z x ]n, n + 1[ H (x) = h (x) .

3) Soit x > 0 x et n N ; daprs 2), je peux intgrer par parties sur [n, b] pour tout b de [n, n + 1[ :
b u=b b
h (u) H (u) 1
du = du. H (u)
n x+u x+u u=n n (x + u)2
Pour les mmes raisons que ci-dessus, ces fonctions de b sont continues et je peux donc passer la limite
lorsque b tend vers n + 1. Or H est nulle en 0 et 1-priodique, donc nulle en tout point entier, donc
jobtiens
n+1 n+1
h (u) H (u)
du = du, cela pour tout n N.
n x+u n (x + u)2
Combinant cela avec la relation de Chasles, jen dduis en sommant les galits prcdentes pour n
allant de 0 [b] 1,
b [b] b
h (u) H (u) h (u)
b > 0 du = du + du
0 x+u 0 (x + u)2 [b] x+u
b
H (u) H (b)
= 2 du + x + b
0 (x + u)
en reprenant lintgration par parties ci-dessus. Or H est 1-priodique et continue, donc borne sur R,
 PSI* 2016/2017 Corrig du D.L. 4 Page 7

par consquent
H (u) 1 H (b)
= O
2 u+ 2
et 0.
(x + u) u x + b b+
H (u)
Comme la fonction u est en outre continue sur R+ elle est intgrable sur R+ (par compa-
(x + u)2
raison une intgrale de Riemann au voisinage de +, puisque 2 > 1). Jen conclus que
+ +
h (u) H (u)
du converge et vaut du.
0 x+u 0 (x + u)2

4) Le changement de variable t = u n donne (avec la priodicit de h)

n+1 1 1
|h(u)| |h(t)| 1 1
n N du = dt |h(t)|dt =
n+1/2 x+u 1/2 x+n+t x+n+1 1/2 8(x + n + 1)
n+1 n
|h(u)| 1 1
Jen dduis que : n N du .
0 x+u 8 x+k+1
k=0
Ce minorant est de limite innie quand n + (somme partielle dune srie positive divergente).
b
|h(u)|
A fortiori, b du nadmet pas de limite nie quand b +. Ainsi
0 x+u

h(u)
u nest pas intgrable sur R+ .
x+u

5) Reprenant le rsultat du 3), jutilise le thorme de drivation sous le signe sur [a, +[, a > 0 tant
H(u)
x. Je note f la fonction de deux variables f : (x, u) .
(x + u)2
Pour tout x a, u f (x, u) est continue par morceaux et intgrable sur R+ (vu au 3))
Pour tout u 0, x f (x, u) est de classe C 1 sur [a, +[ et
f H(u)
(x, u) [a, +[ [0, +[ (x, u) = 2 .
x (x + u)3
Pour tout x a, u f (x, u) est continue par morceaux sur R+
Domination : en notant M un majorant de |H| sur R (nous avons vu que H tait borne),
H(u) 2M
(x, u) [a, +[ R+ 2 3

(x + u) (a + u)3
2M
et la fonction u est indpendante de x, continue et intgrable sur R+ (domine par
(a + u)3
u 1/u3 au voisinage de +, avec 3 > 1).
Donc le thorme sapplique : est de classe C 1 sur [a, +[, cela pour tout a > 0, donc sur R+ , avec
selon la formule de Leibniz
+
2H(u)
x > 0 (x) = du.
0 (x + u)3
Par ailleurs, le mme type dintgration par parties quau 3) donne aisment
+ +
h(u) 2H(u)
du = du.
0 (x + u)2 0 (x + u)3
Soit nalement
+
h(u)
est C 1 sur R+ et : x > 0 (x) = du.
0 (x + u)2

Partie III

1) Une intgration par parties donne (en choisissant t t x i 1 pour primitive de 1)

x+i+1 x+i+1
t=x+i+1 txi1
ln tdt = (t x i 1) ln t t=x+i
dt
x+i x+i t
 PSI* 2016/2017 Corrig du D.L. 4 Page 8

Avec le changement de variable u = t x dans la dernire intgrale

x+i+1 i+1
ui1
ln tdt = ln(x + i) du.
x+i i u+x

2) Jai tout dabord par dnition de h

i+1 i+1 i+1
h(u) u i 1/2ui1 1 i+1 du
i N du = du = du +
i x+u i u+xi u+x 2 i u+x
x+i+1 i+1
1 du
= ln (x + i) ln tdt + daprs 1)
x+i 2 i u +x
En sommant ces relation de i = 0 i = n et en utilisant la relation de Chasles, il vient
n+1 x+n+1
h(u) 1 n+1 du
du = ln x(x + 1) . . . (x + n) ln tdt + .
0 x+u x 2 0 u+x
Or
x+n+1
ln tdt = (x + n + 1) ln (x + n + 1) (x + n + 1) x ln x + x
x
et
n+1
du
= ln (x + n + 1) ln x.
0 u+x
Jai alors en sortant ln x du premier ln et en y absorbant ln (x + n + 1),
n+1
h(u) 3 1
du = ln (x + 1) . . . (x + n) (x + n + 1) x + n + ln (x + n + 1)+n+1+ x + ln x,
0 x+u 2 2
ce qui donne bien, avec les notations de lnonc,
n+1
h(u)
Fn (x) = Gn (x) du.
0 x+u

n!
3) a) Jai selon la formule de Stirling ln n n
0, autrement dit
2n e
n

ln n ln(2)
ln(n!) = n ln n n + + + o(1)
n 2 2
et par dveloppement limit de ln (1 + t) en 0
3 3 1+x
(x + n + ) ln(x + n + 1) = n+x+ ln n + ln 1 +
2 n 2 n
3 1+x 1
= n+x+ ln n + +o
n 2 n n
3
= n ln n + x + ln n + (1 + x) + o(1)
n 2
Jen dduis que
ln n ln(2) 3 1
Gn (x) = n ln nn+ + +(x + 1) ln nn ln n x + ln n1x+n+1+ x + ln x+o(1)
n 2 2 2 2
do nalement
1
lim Gn (x) = x + ln x x + ln 2.
n 2
b) Avec lidentit dEuler et la continuit de ln, jai Fn (x) ln (x + 1). Jai ainsi, en passant la
n
limite dans la relation tablie au 2),
+
1 h(u)
ln (x + 1) = x + ln x x + ln 2 du.
2 0 x+u

c) Daprs les rsultats prcdents, je peux driver la relation ci-dessus, par rapport x R+ et
jobtiens aprs simplication
+
(x + 1) 1 h(u)
= ln x + + du.
(x + 1) 2x 0 (u + x)2