-∀t≥0, x 7→ f(t)g(xt) est continue sur R+.
-∀[a, b]⊂R+,∀x∈[a, b],∀t≥0,|f(t)g(xt)| ≤ M|f(t)|. Le majorant est ind´ependant de xet
int´egrable sur R+.
D’apr`es le th´eor`eme de continuit´e des int´egrales `a param`etres,
˜
fg∈ C0(R+)
Remarque : il n’y a, dans cette question, pas de raison d’exclure le cas x= 0.
2.2 Limite de ˜
fg(x)lorsque g(t) = eit.
2.1. D’apr`es l’existence de l’int´egrale de |f|sur R+, on a Ra
0|f(t)|dt qui tend vers R+∞
0|f(t)|dt
quand a→+∞. En revenant `a la d´efinition de la limite, on a donc
∀ε > 0,∃A≥0/∀a≥A, Z+∞
a|f(t)|dt≤ε
On a a fortiori le r´esultat demand´e (pour ε > 0 donn´e le Apr´ec´edent convient).
2.2. Une int´egration par parties donne, pour x > 0,
ZA
0
f(t)eixt dt =f(A)eixA −f(0)
ix −1
ix ZA
0
f0(t)eixt dt
f0est continue sur le segment [0, A] et donc born´ee sur ce segment. Une majoration grossi`ere
donne alors ZA
0
f(t)eixt dt≤|f(A)|+|f(0)|
x+Akf0k∞,[0,A]
x
Le majorant ´etant de limite nulle quand x→+∞, on a donc
lim
x→+∞ZA
0
f(t)eixt dt = 0
2.3. Soit ε > 0. La question 2.1 donne un A. La question 2.2 donne alors un x0au del`a duquel
RA
0f(t)eixt dt≤ε. On a alors
∀x≥x0,
˜
fg(x)≤ZA
0
f(t)eixt dt
+Z+∞
A|f(t)| ≤ 2ε
Par d´efinition des limites, on a donc montr´e que
lim
x→+∞
˜
fg(x)=0
2.3 Etude pour une fonction fparticuli`ere.
3.1. On peut proc´eder par double int´egration par partie ou (c’est l’option choisie ici) transiter par
l’exponentilelle complexe.
θ(γ) = Im Zπ
0
ey(γ+i)dy= Im −eπγ −1
γ+i=1 + eπγ
1 + γ2
3.2. Le changement de variable u=tx donne
∀a≥0,Za
0
e−t|sin(xt)|dt =1
xZax
0
e−u/x|sin(u)|du
En faisant tendre avers +∞,ax →+∞car x > 0 et les diff´erentes int´egrales existent (g=|sin |
est born´ee). On obtient,
˜
E(x) = 1
xZ+∞
0
e−u
x|sin(u)|du
4