Fonction Définie Par Une Intégrale - Expression de Fonctions Définies Par Une Intégrale

[http://mp.cpgedupuydelome.
fr] dD dit le 14 juin 2011
Enoncs
Expression de fonctions dfinies par une intgrale
Exercice 4
On pose
1
[ 00547 ]
[correction]
+
Exercice 1 [ 00545 ] [correction]

On considre la fonction
e(1+ix)t dt
z : x 7
0
f : x ]1, +[ 7
0
t1 x
t dt
ln t
a) Montrer que f est bien dfinie.

b) Exprimer f 0 (x) et en dduire lexpression de f (x).
a) Montrer que z est dfinie, de classe C 1 sur R et

z 0 (x) =
1
z(x)
2(x + i)
b) En dduire lexpression de z(x) sachant

Z
et dt =

a) Justifier lexistence et calculer
+
cos(xt)e
dt
Soit
+
Z
F : x 7
0
sin(xt) t
e dt
t
b) Justifier que F est dfinie et continue sur R. On rappelle

u R, |sin u| 6 |u|
c) Justifier que F est de classe C 1 et calculer F 0 (x).
d) En dduire F (x).
F (x) =
0
at
R + e(1+ix)t
R + t2
On pose z : x 7 0
dt
et
on
donne
e
dt
=
2 .
0
t
a) Justifier et calculer z(0).
1
b) Montrer que z est dfinie, de classe C 1 sur R et z 0 (x) = 2(x+i)
z(x).
c) En dduire lexpression de z(x).

En drivant la fonction dterminer lexpression de la fonction
Z +
2
g(x) =
et eitx dt

Soit F la fonction dfinie par :
Exercice 3 CCP MP [ 03311 ] [correction]

Soient a, b deux rels strictement positifs.
a) Justifier lexistence pour tout x R de
Z
Z
F (x) =
0
bt
e
t
cos(xt) dt
b) Justifier que F est de classe C 1 sur R et calculer F 0 (x).

c) Exprimer F (x)
arctan(xt)
dt
t(1 + t2 )
a) Montrer que F est dfinie et de classe C 1 sur R+ .

b) Dterminer lexpression de F (x).
c) Calculer
Z +
arctan2 t
dt
t2
0
[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Exercice 8
Soit
[ 00551 ]
[correction]
Z
F (x) =
0
ln(1 + 2t cos x + t2 )
dt
t
a) Justifier que F est dfinie et de classe C 1 sur [0, /2]

b) Calculer F 0 (x) sur [0, /2]
c) Donner la valeur de F (0) puis celle de F (x) sachant
+
X
(1)k1
k2
k=1
2
12
Enoncs

R /2
Soit F (x) = 0 ln(1 + x sin2 t) dt sur [0, +[.
a) Justifier que F est bien dfinie et continue.
b) Etudier la drivabilit sur ]0, +[ et donner lexpression de sa drive via le
changement de variable u = tan
t.
c) Etablir que F (x) = (ln(1 + 1 + x) ln 2).

On pose, pour x > 0,
Z
F (x) =
ext
1 cos t
dt
t2

R +
dt
Pour n N? et x > 0, on pose In (x) = 0
(x2 +t2 )n .
a) Justifier lexistence de In (x).
b) Calculer I1 (x).
c) Justifier que In (x) est de classe C 1 et exprimer In0 (x).
d) Exprimer In (x).
a) Montrer que F est continue sur [0, +[ et tend vers 0 en +.

b) Montrer que F est deux fois drivable sur ]0, +[ et calculer F 00 (x).
c) En dduire la valeur de F (0) puis la valeur de lintgrale convergente
Z +
sin t
dt
t
0
Exercice 10
Soit
Exercice 15 Centrale MP
On pose
[correction]
Z + xt
e
eyt
F (x, y) =
dt avec x, y > 0
t
0
[ 00553 ]
Pour y > 0, montrer que x 7 F (x, y) est de classe C 1 sur R+? et calculer
F
(x, y)
x
En dduire la valeur de F (x, y).
Exercice 11 Centrale MP
Existence et calcul de
[correction]
[ 00554 ]
Z
(x) =
et cos(xt)dt
[ 02486 ]
[correction]
ln t ext dt
a) Prciser le domaine de dfinition de f .

b) Montrer que f est de classe C 1 et donner une quation diffrentielle vrifie par
f.
c) Calculer f (1) avec un logiciel de calcul forme et en dduire explicitement f .
d) Retrouver ce rsultat par une mthode plus simple.
Exercice 16 Mines-Ponts MP
Pour x R+ , soit
[ 02872 ]
Z
f (x) =
0

Ensemble de dfinition, drive et valeur de
Z +
ln(1 + x2 t2 )
f : x 7
dt.
1 + t2
0
Z
f (x) =
[correction]
sin t tx
e
dt
t
a) Justifier la dfinition de f (x).

b) Montrer que f est classe C 1 sur R+? .
c) Calculer f (x) si x R+? .
d) Montrer que f est continue en 0. Quen dduit-on ?
Enoncs
Exercice 17 Mines-Ponts MP [ 02873 ] [correction]

R + cos tx t
R +
e
dt et g(x) = 0
Pour tout x rel, on pose f (x) = 0
t
Existence et calcul de ces deux intgrales.
R1
x
Etudier f : x 7 0 t1
ln t t dt.
[ 02874 ]
[correction]
Existence et calcul de
[ 02876 ]
[correction]
Z
f (x) =
0
sin
tx et
t
ln(x2 + t2 )
dt
1 + t2
Exercice 20 Mines-Ponts MP [ 02881 ] [correction]

R 2
cos t)
Existence et calcul de 0 ln(1+x
dt.
cos t

a) Montrer que pour tout x > 1
Z
0
ln(1 + xt)
ln 2
dt =
arctan x + ln(1 + x2 )
2
1+t
2
8
Z
0
ln(1 + t)
dt
1 + t2
b) En dduire la valeur de
Z
0
ln(1 + t)
dt
1 + t2

Pour tout x R, on pose

Z +
x2
2
exp t + 2
F (x) =
dt
t
0
a) Montrer que F est dfinie et continue sur R.
b) Montrer que F est de classe C 1 sur ]0, +[.
c) Former une quation diffrentielle vrifie par F sur ]0, +[.
d) En dduire une expression simple de F sur R.
dt.
Corrections
Corrections
Exercice 1 : [nonc]
x
a) t 7 t1
ln t t est dfinie et continue sur ]0, 1[.
ty+x
x
Quand t 0+ , pour x < y < 1, ty t1
ln t t ln t 0.
h
x
x
Quand t 1 , posons h = 1 t 0+ , t1
ln t t = ln(1h) (1 h) 1.
Donc f est bien dfinie.
x ln t
b) g(x, t) = t1
est dfinie et continue sur ]1, +[ ]0, 1[.
ln t e
g
x ln t
est dfinie sur ]1, +[ ]0, 1[.
x (x, t) = (t 1)e
g
t 7 x
(x, t) est continue par morceaux sur ]0, 1[,
g
(x, t) est continue sur ]1, +[.
x 7 x
Pour a > 1, on a

g

x > a, (x, t) 6 (1 t)ta = a (t)
x
avec a continue par morceaux et intgrable.
Par domination sur tout segment, on peut affirmer que f est de classe C 1 sur
]1, +[ et
Z 1
1
1
f 0 (x) =
(t 1)tx dt =
x
+
2
x
+
1
0
do
f (x) = ln
b) g(x, t) = sint xt et est dfinie et continue sur R ]0, +[.

t 7 g(x, t) est continue par morceaux sur ]0, +[, x 7 g(x, t) est continue sur R
et pour tout a > 0, x [a, a], |g(x, t)| 6 |x| et 6 aet = a (t) avec a
intgrable sur R+? donc par domination sur tout segment F est continue sur R.
g
g
c) x
est dfinie sur R ]0, +[, t 7 x
(x, t) est continue par morceaux sur
g
]0, +[, x 7 x (x, t) est continue sur R et pour tout a > 0,
g

x (x, t) = |cos xt.et | = et = (t) avec intgrable sur R+? donc F est C 1 sur
R +
1
R avec F 0 (x) = 0 cos(xt)et dt = 1+x
2.
d) F (0) = 0 donc F (x) = arctan x.
Exercice 3 : [nonc]
On dfinit f : R ]0, +[ R par
f (x, t) =
f
(x, y) = (ebt eat ) sin(xt)
x
La fonction
x+
7 t1
ln t peut
La fonction t
tre prolonge par continuit sur [0, 1], elle y est donc
borne par un certain M et alors
1
M tx dx =
0 6 f (x) 6
0
eat ebt
cos(xt)
t
a) Pour x R, la fonction t 7 f (x, t) est dfinie et continue par morceaux sur

]0, +[.
Quand t +, t2 f (x, t) 0 et quand t 0+ , f (x, t) b a donc t 7 f (x, t)
est intgrable sur ]0, +[.
b) Pour x R, la fonction t 7 f (x, t) est drivable et
x+2
+C
x+1
Etudions C = lim f (x).
M
0
x + 1 x+
f
x
est continue sur R ]0, +[ et

f

(x, t) 6 eat + ebt = (t)
x

avec fonction intgrable.

On en dduit que F est de classe C 1 sur R et
Z +
F 0 (x) =
(ebt eat ) sin(xt) dt
On en dduit C = 0.
Exercice 2 : [nonc]

a) cos(xt)et = Re(e(1+i.x)t ) et e(1+i.x)t = et qui est intgrable sur R+ .
R +
Par suite 0 cos(xt)et dt existe et
Z
0
cos(xt)et dt = Re
Z
0

+
e(1+i.x)t dt = Re
1
1 i.x

=
1
1 + x2
Or
Z
+
ct
Z
sin(xt) dt = Im
+
(c+ix)t
e
0
donc
F 0 (x) =
x
x
2
x2 + b2
x + a2

dt
c2
x
+ x2
Corrections
c) On en dduit
1
F (x) = ln
2
x 2 + b2
x2 + a2
+ C te
Pour dterminer la constante, on tudie la limite de F en +. Posons

(t) =
eat ebt
t
ce qui dfinit une fonction de classe C 1 intgrable ainsi que sa drive sur ]0, +[.
Par intgration par parties gnralise justifie par deux convergences
Z +
Z
1
1 + 0
+
(t) cos(xt) dt = [(t) sin(xt)]0
(t) cos(xt) dt
x
x 0
0
et donc

Z
1 + 0
(t) cos(xt) dt 6
| (t)| dt 0
x 0
On peut conclure
1
F (x) = ln
2
x 2 + b2
x2 + a2
Exercice 5 : [nonc]
a) On ralise le changement de variable u = t. On obtient z(0) = .

(1+i.x)t
b) t 7 g(x, t) = e t
est dfinie et continue par morceaux sur ]0, +[,
(1+ix)t
g
t 7 x (x, t) = i. te
est dfinie et continue par morceaux sur ]0, +[,
g
(x,
t)
est
continue
sur
R,
x
7
x

g
t
x (x, t) 6 te = (t) qui est intgrable sur ]0, +[ donc z existe, est de
classe C 1R et
+
z 0 (x) = 0 i. te(1+i.x)t dt =
R + e(1+i.x)t
i
dt
2(1ix)
0
t
ipp
1
x+i
x
i
c) 2(x+i)
= 2(x
2 +1) = 2(x2 +1) + 2(x2 +1) donc

i(arctan x)/2
x
14 ln(x2 + 1) = Ce(x2 +1)1/4 .
z(x) = C exp i arctan
2
i(arctan x)/2
Puisque z(0) = , on conclut z(x) = e

.
(x2 +1)1/4
Exercice 6 : [nonc]
Posons
La fonction t 7 f (x, t) est continue par morceaux et intgrable sur R et donc la

fonction g est dfinie sur R.
La fonction x 7 f (x, t) est drivable et
classe C 1R et
2
+
1
z 0 (x) = 0 it2 e(1+ix)t dt = 2(x+i)
z(x).
ipp
b)
1
x + i
x
i
=
=
+
2
2
2
2(x + i)
2(x + 1)
2(x + 1) 2(x + 1)
donc
arctan x 1
z(x) = C exp i
ln(x2 + 1)
2
4

=
Cei(arctan x)/2
(x2 + 1)1/4
2
f
(x, t) = itet eitx
x
est continue par morceaux, la fonction x 7 f

x (x, t) est

f

(x, t) 6 tet2 = (t)
x

avec intgrable sur R indpendant de x.
On en dduit que la fonction g est de classe C 1 et par une intgration par parties
+ Z +

Z +
2
i t2 itx
0
t2 itx
xet eitx dt
g (x) =
ite e dt = e e
2
La fonction t 7
continue et
f
x (t, x)
On en dduit que g est solution de lquation diffrentielle

g 0 (x) + xg(x) = 0
Puisque z(0) =
2 ,
1
= 2(x+i)
z(x).
f (x, t) = et eitx
Exercice 4 : [nonc]
2
a) t 7 g(x, t) = e(1+ix)t est dfinie et continue par morceaux sur [0, +[,
2
g
t 7 x
(x, t) = it2 e(1+ix)t est dfinie et continue par morceaux sur [0, +[,
g
x
sur R,
t) est continue
7 x (x,
g

2 t2
(x,
t)
=
(t)
qui est intgrable sur [0, +[ donc z existe, est de
6
t
e

x
on conclut
Aprs rsolution de cette quation diffrentielle
ei(arctan x)/2
z(x) =
2(x2 + 1)1/4
g(x) = ex
Enfin g(0) =
donne =
/2
Corrections
Exercice 7 : [nonc]
a) Posons
Puisque cos x > 0,

f (x, t) =
arctan(xt)
t(1 + t2 )
est dfinie sur [0, +[ ]0, +[,

t 7 f (x, t) est intgrable sur ]0, +[ car prolongeable par continuit en 0 et gale
un O(1/t3 ) en +. Ainsi F est dfinie sur R+
f
1
(x, t) =
x
(1 + x2 t2 )(1 + t2 )
est dfinie sur [0, +[ ]0, +[,
t 7 f
x (x, t) est continue par morceaux sur ]0, +[ et x 7
sur [0, +[.

f

(x, t) 6 1 = (t)
x
1 + t2
f
x (x, t)
donc t 7 g(x, t) est dfinie et continue par morceaux sur ]0, 1].
De plus
ln(1 + 2t cos x + t2 )
lim
= cos x
t0
t
on peut donc prolonger t 7 g(x, t) par continuit en 0. Par suite F (x) est bien
dfinie.
g
La drive partielle x
existe sur [0, /2] ]0, 1] et
g
2 sin x
(x, t) =
x
1 + 2t cos x + t2
est continue
g
t 7 x
(x, t) est continue par morceaux sur ]0, 1],
g
x 7 x (x, t) est continue sur [0, /2] et

g
(x, t) 6 2 = (t)

x
avec continue par morceaux et intgrable sur ]0, +[,

donc F est de classe C 1 sur R+ avec
Z +
dt
0
F (x) =
2
(1 + x t2 )(1 + t2 )
0
avec est intgrable. Par domination F est de classe C 1 .

b) Pour x = 0, F 0 (0) = 0.
Pour x 6= 0,
b) Pour x 6= 1
1
(1 +
x2 t2 )(1
t2 )
x2
1
1
x
1
2
2
1+x t
1 + t2
1 + 2t cos x + t2 > 1 + t2
F 0 (x) =
Z
0
2 sin x
dt =
1 + 2t cos x + t2
Z
0

1
t + cos x
2 sin x
dt
=
2
arctan
sin x 0
(t + cos x)2 + sin2 x
Or
do
F 0 (x) =
x1
=
x2 1 2
2(x + 1)
ce qui est encore valable en 1 par continuit.

Par suite
F (x) = ln(x + 1) + C
2
avec C = 0 puisque F (0) = 0.
c) En intgrant par parties, on obtient ln 2.
cos x
= arctan(tan(/2 x))
sin x
avec /2 x ]/2, /2[ donc
arctan
arctan
et
arctan
cos x
= /2 x
sin x
1 + cos x
cos (x/2)
= arctan
= /2 x/2
sin x
sin(x/2)
Finalement
F 0 (x) = 2((/2 x) (/2 x/2)) = x
Exercice 8 : [nonc]
a) Posons
c)
ln(1 + 2t cos x + t2 )
g(x, t) =
t
Z
F (0) =
0
2 ln(1 + t)
dt = 2
t
Z
0
+
1X
(1)n n
t dt
n+1
n=0
Corrections
P (1)n n
or la srie de fonctions
n+1 t converge uniformment sur [0, 1] puisque la
srie numrique satisfait au critre spcial ce qui permet dcrire
|RN (t)| 6
do kRN k 0.
Par suite
1
tn+1
6
n+2
n+2
+
X
(1)n
2
=
F (0) = 2
(n + 1)2
6
n=0
Exercice 10 : [nonc]
xt
yt
xt
et f
sont dfinies et continues sur R+? R+? .
f : (x, t) e e
t
x (x, t) = e
t 7 f (x, t) est intgrable sur ]0, +[ car prolongeable par continuit en 0 et
ngligeable devant 1/t2 en +.
Pour a > 0,

f

x [a, +[ (x, t) 6 eat = a (t)
x
avec a intgrable sur R+? .
Par domination x 7 F (x, y) est de classe C 1 et
puis
2
F
(x, y) =
x
x
F (x) =
6
2
Donc F (x, y) = ln x + C
Exercice 9 : [nonc]
a) Posons
(x2
1
+ t2 )n
+
t gn (x, t) est dfinie continue par morceaux sur R et gn (x, t)
2n
+ t
donc
lintgrale dfinissant In (x) existe.

b)

+
Z +
dt
t
1
I1 (x) =
arctan
=
=
2
2
x +t
x
x 0
2x
0
gn
2nx
x (x, t) = (x2 +t2 )n+1 existe sur ]0, +[ [0, +[.
gn
7 x (x, t) est continue par morceaux sur [0, +[, x
c)
g
t
7 x
(x, t) est continue sur
]0, +[ et pour tout 0 < a < b,

gn

2nb
x [a, b] ,
(x, t) 6 2
= a,b (t)
x
(a + t2 )n+1
avec a,b intgrable sur R+ . Par domination sur tout segment, In est de classe C 1
sur [a, b] puis sur R+? et
In0 (x) = 2nxIn+1 (x)
n
x2n+1
avec 1 =
ext dt =
1
x
et puisque pour x = y, on a F (x, y) = 0 on obtient

F (x, y) = ln y ln x
gn (x, t) =
d) In (x) =
te
et n+1 =
n =
2n+1
2n n
(2n)!
22n+1 (n!)2
do
2
g
Posons g(x, t) = et cos(xt). t 7 g(x, t), t 7 x
(x, t) sont continues par
g
morceaux sur R+ et x 7 x
(x, t) est continue sur R.
t 7 g(x, t) est intgrable
sur
car ngligeable devant 1/t2 en +.
[0, +[

2
2

g
Pour x [0, +[, x (x, t) 6 tet avec t 7 tet intgrable sur [0, +[, la
R +
2
fonction est de classe C 1 et 0 (x) = 0 tet sin(xt)dt.
Par intgration par parties,
h
i+
R +
2
2
0 (x) = 12 et sin(xt)
12 0 xet cos(xt)dt = 21 x(x).
0
est solution dune

quation diffrentielle linaire dordre 1 et (0) = /2 on
1 2
conclut (x) = 2 e 4 x .
2 2
t )
Posons g(x, t) = ln(1+x
.
1+t2
x 7 g(x, t) est continue sur R,
t 7 g(x, t) est continue par morceaux sur [0, +[,
2 2
2 2
t )
t )
sur [a, a] avec t 7 ln(1+a
intgrable.
|g(x, t)| 6 ln(1+a
1+t2
1+t2
Par domination sur tout segment, on peut donc affirmer que f est dfinie et
continue sur R.
Il est vident que f est paire. Nous poursuivons son tude sur R+ .
g
2xt2
x (x, y) = (1+x2 t2 )(1+t2 ) est bien dfinie.

g
(x, t) est continue sur R+ ,
x 7 x
g
t 7 x
morceaux sur [0, +[.
(x, t) est continue par
g

2bt2
Enfin x (x, t) 6 (1+a2 t2 )(1+t2 ) sur [a, b] R+? avec t 7
Corrections
8
2
2bt2
(1+a2 t2 )(1+t2 )
intgrable.
+?
Par domination sur Rtout segment de R , on peut affirmer que f est de classe C 1
+
2xt2
sur R+? et f 0 (x) = 0
(1+x2 t2 )(1+t2 ) dt
En ralisant la dcomposition en lments simples (pour x 6= 1),
et cette relation est aussi valable pour x = 1 par continuit.

f 0 (x) = x+1
Sachant que f (0) = 0 et que f est paire, on obtient f (x) = ln(1 + |x|).
a) f (x, t) = ln(1 + x sin2 t) est dfinie et continue sur [0, /2] [0, +[.
Par intgration sur un segment F est dfinie et continue sur [0, +[.
sin2 t
b) f
x (x, t) = 1+x sin2 t est dfinie et continue sur [0, /2] ]0, +[.
Par intgration sur un segment F est de classe C 1 sur ]0, +[ et
R /2 sin2 t
F 0 (x) = 0 1+x
sin2 t dt.
R +
u2
Par le changement de variable u = tan t, F 0 (x) = 0
2
2) .
(1+u )(1+(x+1)u

1
1
1
0
.
Aprs dcomposition simple et calcul, F (x) = 2 x 1 x+1 = 2 (1+x+1)
x+1
1
1
0
c) On remarque que ln(1 + 1 + x) = 2 (1+x+1)x+1 donc
F (x) = ln(1 + 1 + x) + C te sur R+? . Par continuit en 0 et sachant F (0) = 0,

on parvient conclure.
g
g
+?
et x
]0, +[.
b) Les drives partielles x
2 existent et sont continues sur R
Pour a > 0, sur [a, +[, pour k = 1, 2 :
k

g

6 tk eat (t) = k (t)
(x,
t)
xk

avec k intgrable sur ]0, +[.

On en dduit que F est de classe C 2 et
Z +
x
1
00
F (x) =
ext (1 cos t) dt = 2
x x +1
0
c) On a
F 0 (x) = ln x
car F 0 (x) 0 et
x+
F (x) = x ln x x ln
x2 + 1 arctan x +
x+
Par continuit, on obtient F (0) = /2.

Par intgrations par parties
Z
1 cos t
dt =
t2
Z
0

A Z A
2 sin2 (t/2)
sin t
2 sin2 (t/2)
+
dt
dt
=
2
t
t
t
0
0
donc quand A +, on obtient :

Z +
Z +
1 cos t
sin t
dt =
dt
2
t
t
0
0
a) La fonction
1 cos t
t2
do
est intgrable sur ]0, +[ car
Z
2
(t) = O(1/t ) quand t + et (t) 1/2

t0
t
La fonction g : (x, t) 7 ext 1cos
est continue sur R+ ]0, +[ et domine par
t2
donc F est continue.
De plus la fonction est borne donc, pour x > 0
Z x
kk
|F (x)| 6 kk
ext dt =
x
0
et on en dduit que F tend vers 0 en +y.
car F (x) 0.
: t 7
1
ln(x2 + 1)
2
sin t
dt =
t
2
Document2
a) f est dfinie pour x > 0.
b) Par domination sur tout segment, on obtient aisment f de classe C 1 et
Z +
f 0 (x) =
t ln t ext dt
0
Corrections
donc f (x) = C arctan x.
Or
Par intgration par parties,

+
xf 0 (x) = t ln t ext 0 f (x)
ext dt
etx dt =
|f (x)| 6
donc
Ainsi
xf 0 (x) + f (x) +
1
=0
x
c) On obtient la valeur de f (1) par
C=
d) En dcoupant lintgrale, on a
f (x) =
int(ln(t)*exp(-t),t=0..infinity);
+ Z
X
n=0
Posons
On rsout lquation diffrentielle
1
0
x x+
(n+1)
sin(t) tx
e
dt
t
(n+1)
sin(t) tx
e
dt
t
n
Par application du critre
spcial des sries alternes, on tablir que la srie de
P
fonctions continues
un converge uniformment sur [0, 1], on en dduit que sa
somme, savoir la fonction f , est continue en 0. On peut conclure que
Z +
sin t
dt =
t
2
0
un (t) =
dsolve({x*D(f)(x)+f(x)+1/x,f(1)=-gamma},f(x));
x
.
On en dduit f (x) = +ln
x
d) On peut commencer en exprimant f via le changement de variable u = xt.
On a
Z +
Z +
u
xf (x) =
ln u e du
ln x eu du
0
qui conduit au mme rsultat que ci-dessus sachant

Z +
ln u eu du =
0
a) Pour x > 0, t2 sint t etx 0 donne lintgrabilit de t 7 sint t etx .
t+
R + sin t
Pour x = 0, il est connu que lintgrale 0
t dt est convergente bien que
t 7 sint t ne soit pas intgrable.
b) Pour x [a, +[ ]0, +[,

d sin t tx

6 eax = (x)
e
dx

t
avec intgrable. On peut donc appliquer le thorme de drivation sous le signe
intgrale et conclure que f est C 1 sur ]0, +[.
c) Pour x > 0,
Z +

Z +
1
f 0 (x) =
sin(t)etx dt = Im
e(x+i)t dt = 2
x
+1
0
0
(intgrale de Dirichlet).
(ix1)t
La fonction : t 7 e t est continue par morceaux sur ]0, +[, vrifie
(t) 1t et t2 (t) 0 donc est intgrable. Ceci assure lexistence de
t+
t0
R + e(ix1)t
F (x) = 0
dt
puis de f (x) et g(x) qui en sont les parties relles et
t
imaginaires. Les thormes dusage assurent que F est C 1 et une intgration par
1
parties donne F 0 (x) = 2(x+i)
F (x). La rsolution de cette quation diffrentielle
i(arctan x)/2
R + t2
dt = 2 donne F (x) = e
avec 0 e
do f (x) et g(x).
(x2 +1)1/4
f est dfinie pour x > 1.
Par les thormes dusage, on montre que f est C 1 Ren observant une domination
1
1
1
sur tout [a, +[ avec a > 1. On obtient f 0 (x) = 0 (t 1)tx dt = x+2
x+1
x+2
puis f (x) = ln x+1 + C.
Quand n +, le thorme de convergence domine donne f (n) 0 donc
x+2
C = 0. Finalement f (x) = ln x+1
dont ltude est dsormais facile.
Corrections
2
+t2 )
est continue par morceaux sur [0, +[,
t 7 ln(x
1+t2
x 7
ln(x2 +t2 )
1+t2
est continue sur R et pour x [a, a]

ln(x2 + t2 ) ln(a2 + t2 ) + ln(t2 )

6
= (t)
1 + t2
1 + t2
avec intgrable. Par suite f est dfinie et continue sur R.

Il est immdiat que f est paire. Poursuivons, en tudiant f sur R+?

d ln(x2 + t2 )
2x
= 2
dx
1 + t2
(x + t2 )(1 + t2 )
t 7 (x2 +t22x
)(1+t2 ) est continue par morceaux sur [0, +[,
+?
x 7 t 7 (x2 +t22x
,
)(1+t2 ) est continue sur R et pour x [a, b] R

2b
2x

(x2 + t2 )(1 + t2 ) 6 (a2 + t2 )(1 + t2 ) = (t)
avec intgrable. Par suite f est de classe C 1 sur R+? .
Pour x 6= 1,

2x
1
2x
1
= 2
2
(x2 + t2 )(1 + t2 )
x 1 1 + t2
x + t2
donc
f 0 (x) =
Z
0
2x
dt =
(x2 + t2 )(1 + t2 )
x+1
et cette relation vaut aussi pour x = 1 par continuit.

En procdant au changement de variable u = 1/t, on obtient f (0) = 0 et donc on
peut conclure
f (x) = ln (x + 1)
pour x R+ en exploitant un argument de continuit.
R 2
cos t)
Posons f (x) = 0 ln(1+x
dt.
cos t
Pour |x| > 1, lintgrale ne peut pas tre dfinie.
Pour |x| 6 1
En t = /2 et t = 3/2, il est possible de prolonger par continuit la fonction
intgre.
Pour x = 1 :
10
Quand t 0+ , ln(1 cos t) 2 ln t

Quand t 2 , t = 2 h, ln(1 cos t) = ln(1 cos h) 2 ln h
Pour x = 1, quand t ,t = + h, ln(1 + cos t) = ln(1 cos h) 2 ln h.
Finalement f est dfinie sur [1, 1].
R
cos t)
Pour des raisons de symtrie, f (x) = 2 0 ln(1+x
dt
cos t
R
1
Par domination sur [a, a] avec a < 1, f est C sur ]1, 1[ et f 0 (x) = 2 0 1+xdtcos t .
R +
du
2 .
Par le changement de variable u = tan 2t , f 0 (x) = 4 0
(1+u2 )+x(1u2 ) =
1x2
Puisque f (0) = 0, on en dduit f (x) = 2 arcsin x.
a) Posons
ln(1 + xt)
1 + t2
La fonction f est dfinie et continue sur ]1, +[ [0, 1].
Pour t [0, 1], la fonction x 7 f (x, t) est drivable et
f (x, t) =
f
t
(x, t) =
x
(1 + xt)(1 + t2 )
La fonction f
x est continue sur ]1, +[ [0, 1].
Par intgration sur un segment, on peut affirmer que la fonction
Z 1
F : x 7
f (x, t) dt
0
est dfinie, de classe C 1 sur ]1, +[ et

Z 1
t
0
F (x) =
dt
(1
+
xt)(1
+ t2 )
0
Par dcomposition en lments simples (en la variable t)
t
x
x+t
= 2
+ 2
2
(1 + xt)(1 + t )
(x + 1)(1 + xt) (x + 1)(1 + t2 )
donc
ln(1 + x) x
ln 2 1
+
+
x2 + 1
4 x2 + 1
2 1 + x2
Puisque F (0) = 0, on peut crire
Z x
Z x
ln(1 + t)
ln 2
F (x) =
F 0 (t) dt =
dt + ln(x2 + 1) +
arctan x
2+1
t
8
2
0
0
F 0 (x) =
Corrections
b) Pour x = 1, la relation prcdente donne

Z 1
ln 2
ln(1 + t)
dt =
2
1+t
8
0
a) Posons f : R ]0, +[ R dfinie par

x2
f (x, t) = exp t2 + 2
t
La fonction f est continue sur R ]0, +[ et
2
|f (x, t)| 6 et = (t)

avec intgrable sur ]0, +[.
On peut donc affirmer que F est dfinie et continue sur R.
b) x 7 f (x, t) est drivable et

2x
x2
f
2
(x, t) = 2 exp t + 2
x
t
t
La fonction
f
x
est continue sur R ]0, +[ et pour x [a, b] ]0, +[

2

f

(x, t) 6 2b exp a exp t2 = a,b (t)
x

2
2
t
t
La fonction a,b est intgrable sur ]0, +[ (notamment car de limite nulle en 0+ )
donc on peut affirmer que F est de classe C 1 sur ]0, +[ et

Z +
1
x2
2
F 0 (x) = 2x
exp
t
+
dt
t2
t2
0
c) Procdons au changement de variable u = x/t (bijection de classe C 1 )
2

Z +
x
0
2
F (x) = 2
exp
+u
du = 2F (x)
u2
0
d) On en dduit quil existe R vrifiant
x > 0, F (x) = e2x
Puisque F est paire et continue en 0, on obtient
x R, F (x) = F (0)e2|x|
11

Fonction Définie Par Une Intégrale - Expression de Fonctions Définies Par Une Intégrale

Hochgeladen von

Dokumentinformationen

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Fonction Définie Par Une Intégrale - Expression de Fonctions Définies Par Une Intégrale

Hochgeladen von

Copyright:

Verfügbare Formate

[http://mp.cpgedupuydelome.

fr] dD dit le 14 juin 2011

Expression de fonctions dfinies par une intgrale

Exercice 1 [ 00545 ] [correction]

a) Montrer que f est bien dfinie.

a) Montrer que z est dfinie, de classe C 1 sur R et

b) En dduire lexpression de z(x) sachant

Exercice 2 [ 00546 ] [correction]

b) Justifier que F est dfinie et continue sur R. On rappelle

Exercice 5 [ 00548 ] [correction]

Exercice 6 [ 00549 ] [correction]

Exercice 7 [ 00550 ] [correction]

Exercice 3 CCP MP [ 03311 ] [correction]

b) Justifier que F est de classe C 1 sur R et calculer F 0 (x).

a) Montrer que F est dfinie et de classe C 1 sur R+ .

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

a) Justifier que F est dfinie et de classe C 1 sur [0, /2]

Exercice 13 [ 00556 ] [correction]

Exercice 14 [ 02638 ] [correction]

Exercice 9 [ 00552 ] [correction]

a) Montrer que F est continue sur [0, +[ et tend vers 0 en +.

a) Prciser le domaine de dfinition de f .

Exercice 12 [ 00555 ] [correction]

a) Justifier la dfinition de f (x).

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Exercice 17 Mines-Ponts MP [ 02873 ] [correction]

Exercice 20 Mines-Ponts MP [ 02881 ] [correction]

Exercice 21 [ 03312 ] [correction]

Exercice 22 [ 03323 ] [correction]

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

b) g(x, t) = sint xt et est dfinie et continue sur R ]0, +[.

a) Pour x R, la fonction t 7 f (x, t) est dfinie et continue par morceaux sur

Etudions C = lim f (x).

est continue sur R ]0, +[ et

avec fonction intgrable.

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Pour dterminer la constante, on tudie la limite de F en +. Posons

a) On ralise le changement de variable u = t. On obtient z(0) = .

Puisque z(0) = , on conclut z(x) = e

La fonction t 7 f (x, t) est continue par morceaux et intgrable sur R et donc la

est continue par morceaux, la fonction x 7 f

On en dduit que g est solution de lquation diffrentielle

Aprs rsolution de cette quation diffrentielle

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

Puisque cos x > 0,

est dfinie sur [0, +[ ]0, +[,

avec continue par morceaux et intgrable sur ]0, +[,

avec est intgrable. Par domination F est de classe C 1 .

ce qui est encore valable en 1 par continuit.

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

t gn (x, t) est dfinie continue par morceaux sur R et gn (x, t)

lintgrale dfinissant In (x) existe.

et puisque pour x = y, on a F (x, y) = 0 on obtient

est solution dune

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011

et cette relation est aussi valable pour x = 1 par continuit.

F (x) = ln(1 + 1 + x) + C te sur R+? . Par continuit en 0 et sachant F (0) = 0,

avec k intgrable sur ]0, +[.

Par continuit, on obtient F (0) = /2.

donc quand A +, on obtient :

est intgrable sur ]0, +[ car

(t) = O(1/t ) quand t + et (t) 1/2

et on en dduit que F tend vers 0 en +y.

[http://mp.cpgedupuydelome.fr] dD dit le 14 juin 2011