Vous êtes sur la page 1sur 9

Exercices - Produit de convolution : corrig

Existence et calculs
Exercice 1 - Indicatrices - Troisime anne - ?
f et g sont par exemple deux fonctions de L2 (R) : on peut donc calculer leur produit de
convolution. On a
Z
f ? g(x) =
1[1,1] (x y)1[a,a] (y)dy.
R

On a donc

Z 1

f ? g(x) =
1

1[a,a] (x y)dy.

Or, x y [a, a] y [a + x, a + x]. On distingue donc plusieurs cas :


Si a + x 1, ie x a + 1, alors f ? g(x) = 0.
De mme, si a + x 1, ie x 1 a, alors f ? g(x) = 0.
Si [1, 1] [a + x, a + x], ie a + x 1 et a + x 1, ie a + 1 x a 1, alors
f ? g(x) = 2.
Sur les deux intervalles restants, ie [a 1, a + 1] et [a 1, a + 1], alors f ? g est linaire.

Exercice 2 - Deux fonctions dans L1loc - Troisime anne - ?


Remarquons dabord que lexistence du produit de convolution de ces deux fonctions ne
rsulte pas immdiatement des thormes du cours. En effet, si et sont strictement positifs,
alors les deux fonctions ne sont dans aucun Lp pour p 1. Elles sont dans L1loc , et aucune des
deux nest support compact. Ainsi, pour dmontrer lexistence du produit de convolution, il
faut montrer que la fonction |e(xy) 1[0,+[ (x y)ey 1[0,+[ (y)| est intgrable. Mais comme
tout est positif,il suffit de calculer sans les valeurs absolues. On a alors :
Z

f ? g(x) =

e(xy) 1[0,+[ (x y)ey 1[0,+[ (y)dy

= ex

Z +
0

ey 1[0,+[ (x y)ey dy

Or, x y [0, +[ x y. Il en rsulte que, si x 0, on a f ? g(x) = 0. Dautre part, si


x 0, on a :
x

Z x

f ? g(x) = e

e()y dy


1  x
e ex
si 6=
=

x
xe
sinon.

Exercice 3 - Fonctions de [0, +[ - Troisime anne - ?


1. Soient f et g deux telles fonctions. Il faut prouver la convergence, pour tout x, de lintgrale
Z

f (x y)g(y)dy.

Mais, lintgrale na lieu que sur [0, +[ puisque g est nulle ailleurs. En outre,
f (x y) 6= 0 = x y 0 = y x.
http://www.bibmath.net

Exercices - Produit de convolution : corrig


Il suffit donc de prouver la convergence de
Z x

f (x y)g(y)dy.

Mais la convergence est clair, car f et g sont localement bornes !


2. On dmontre le rsultat par rcurrence sur n, puisquil est clair au rang n = 1. Supposons
le vrifi au rang n, et prouvons-le au rang n + 1 (il est clair que le support des fonctions
Kn est inclus dans R+ ). On a
Kn+1 (x) = Kn ? K(x)
Z

K(x y)Kn (y)dy

ZRx

K(x y)Kn (y)dy

M (a)n x
M (a) y n1 dy
(n 1)! 0
M (a)n+1 xn
.
(n 1)! n
Z

Exercice 4 - Convole de Gaussiennes - Troisime anne - ?


gp, et g(q, ) sont dans tous les Lp (R). Il en rsulte (par exemple, L2 ? L2 ), que leur produit
de convolution est partout dfini, quil est born, uniformment continu, et tend vers 0 linfini.
Il est aussi dans tous les Lp , puisquon peut voir aussi cela comme le produit de convolution
L1 ? Lp . Enfin, la fonction rsultante sera C . Procdons maintenant au calcul :
gp, ? gq, (x) =

1
2

(xyp)2
22

(yq)2
2 2

dy

Notre stratgie est alors la suivante : on va regrouper tous les termes en y, puis faire apparaitre
2
2
une exponentielle du type e(ym) /2r pour utiliser le rsultat demand. Cest parti !
gp, ? gq, (x) =
=

1
2
1
2

( 2 +2 )

22 2

y 2 2

2 (p+x)+2 q
y
2 +2

1
22 2

( 2 (x2 +p2 2px)+2 q2 )

dx

2 +
22 2


2

2 (p+x)+2 q
2 +2

2

dye

( 2 (p+x)+2 q)2
22 2 (2 + 2 )

1
22 2

( 2 (x2 +p2 2px)+2 q2 )

. Modulo le changement de variables


Lintgrale est de la forme souhaite, avec r =
2
2
+
z = (y m)/r, on trouve que cette intgrale vaut 2 r. Aprs un petit calcul pour simplifier
la dernire exponentielle, on trouve :
1
1

(xpq)2
2(2 + 2 )
e
2 2 + 2
= gp+q,2 + 2 (x).

gp, ? gq, (x) =

http://www.bibmath.net

Exercices - Produit de convolution : corrig


Exercice 5 - Quand C 1 ? C 1 donne C 2 ... - Troisime anne - ??
On va jouer sur les deux expressions du produit de convolution. Dune part, remarquons
que lon a, pour tous x et y :
|f (y)g(x y)| kgk |f (y)|,
ce qui prouve que, pour tout x, la fonction y 7 f (y)g(x y) est intgrable.
Le produit de
R
convolution est donc bien dfiniR (remarquons que la convergence de R |f (x y)g(y)|dy est
quivalente la convergence de R |f (y)g(x y)|dy, puisquon dduit lune de lautre par un
changement de variables affine). On peut donc dfinir :
Z

f ? g(x) =

f (x y)g(y)dy =

g(x y)f (y)dy.

En outre, la fonction x 7 g(x y)f (y) est drivable sur R, et on a :



0
g (x y)f (y) kg 0 k |f (y)|,

et la fonction gauche de cette ingalit ne dpend plus de x et est intgrable. On en dduit


que f ? g est drivable, et que
(f ? g)0 (x) =

g 0 (x y)f (y)dy.

Par le changement de variable dont on vient de parler, on a encore :


Z

(f ? g) (x) =

f (x y)g 0 (y)dy.

On recommence la mme opration, en utilisant la majoration


|f 0 (x y)g 0 (y)| kf 0 k |g 0 (y)|.
Ainsi, on prouve que f ? g est deux fois drivable, et lon a :
(f ? g)00 (x) =

f 0 (x y)g 0 (y)dy.

g)00

Il reste vrifier que (f ?


est continue, ce qui rsulte immdiatement du thorme de
continuit dune fonction dfinie par une intgrale.

Divers
Exercice 6 - Loprateur de convolution - Troisime anne - ?
Dabord, on a, par les proprits bien connues du produit de convolution :
kT gk2 = kf ? gk2 kf k1 kgk2 .
Ceci prouve que T est continue, et que lon a kT k kf k1 . Pour calculer ladjoint, on procde
comme habituellement. Soit donc h L2 (Rn ). On a :
Z

< T g, h > =

f ? g(x)h(x)dx
n

ZR Z

=
Rn

http://www.bibmath.net

f (x y)g(y)dyh(x)dx.

Rn

Exercices - Produit de convolution : corrig


On admet pour le moment que lon peut permuter les intgrales notre guise. On en dduit :
Z

f (x y)h(x)dxg(y)dy

< T g, h > =
Rn

Rn

f (x y)h(x)dxg(y)dy

=
Rn

Rn

= < g, T h >
R

Ladjoint est donc loprateur h 7 Rn f (x y)h(x)dx. Cest encore loprateur de convolution


par f, o f(x) = f (x). Il reste vrifier que lon pouvait effectuer permuter les intgrations.
Ceci est justifi si on prouve que (x, y) 7 f (x y)g(y)h(x) est dans L1 (Rn Rn ). Mais on a :
Z
Rn

|f (x y)g(y)h(x)|dydx

Rn

Z
Rn

|f | ? |g|(x)|h(x)|dx k|f | ? |g|k2 khk2 ,

o la dernire ingalit est lingalit de Cauchy-Schwarz. On trouve enfin


Z
Rn

Z
Rn

|f (x y)g(y)h(x)|dydx kf k1 kgk2 khk2 < +,

ce qui par le thorme de (Fubini-)Tonelli entrane le rsultat souhait.

Exercice 7 - Application la topologie - Troisime anne - ??


1. Par exemple, R\Q est de mesure non-nulle (car Q, comme toute partie dnombrable, est
de mesure nulle pour la mesure de Lebesgue). En revanche, R\Q ne peut pas contenir
douvert en raison de la densit de Q dans R.
2. Puisque A et B sont supposs de mesure finie, il est clair que les fonctions 1A et 1B sont
dans tous les espaces Lp (Rd ), 1 p +. Considrant le produit de convolution de
1A ? 1B comme le produit de convolution de deux fonctions de L2 , ou dune fonction
de L1 par une fonction de L , on obtient que 1A ? 1B est continue. Elle ne peut pas
tre nulle. Une mthode pour prouver cela serait de prendre la transforme de Fourier
de 1A ? 1B , et de vrifier que lon nobtient pas la fonction nulle. Cest plus facile quen
utilisant directement le produit de convolution, puisquon la alors transform en produit.
Lnonc de lexercice propose une autre mthode. En permutant les intgrales ce qui est
lgitime puisque les fonctions sont positives, on obtient :
Z
Rd

1A ? 1B (x)dx =

Z
d

Rd

ZR ZR

=
ZR

=
Rd

1A (x y)1B (y)dy
1A (x y)dx1B (y)dy

(A)1B (y)dy

= (A)(B) 6= 0.
Lintgrale de la fonction 1A ? 1B nest pas nulle, cette fonction nest pas identiquement
nulle. En outre, son support est inclus dans A + B. Soit y A + B tel que 1A ? 1B (y) 6= 0.
Par continuit de la fonction en y, il existe un ouvert U tel que pour tout z U , on a
1A ? 1B (z) 6= 0. On en dduit que U A + B.
http://www.bibmath.net

Exercices - Produit de convolution : corrig


3. Dans tous les cas, il existe A1 A et B1 B tels que A1 et B1 sont de mesure finie non
nulle. Daprs la question prcdente, A1 + B1 contient un ouvert. On en dduit quil en
est de mme de A + B, puisque A1 + B1 A + B.

Exercice 8 - Fonctions radiales - Troisime anne - ???


1. Soit x R. On a :
Z

f (x y)g(y)dy

f ? g(x) =
ZR

f (x + u)g(u)du (u = y)

ZR

f (x + u)g(u)du

=
ZR

f (x u)g(u)du

= f ? g(x).
2. On fixe x Rn , et x1 avec kx1 k = kxk. Il existe un endomorphisme orthogonal A tel que
x1 = Ax. Remarquons que, puisque cet endomorphisme est orthogonal, la valeur absolue
de son jacobien est 1 (le jacobien dune application linaire est lapplication linaire ellemme). Il vient :
Z

f ? g(x1 ) =

f (Ax y)g(y)dy

n
ZR

f (Ax Au)g(Au)du

=
Rn

o la dernire galit vient du changement de variables y = Au. Maintenant, on a kAuk =


kuk, et puisque f et g sont radiales, on a
Z

f ? g(x1 ) =

f (x u)g(u)du

Rn

= f ? g(x).
La fonction f ? g est donc radiale elle-aussi.

Suites rgularisantes et applications


Exercice 9 - Norme de loprateur de convolution - Troisime anne - ??
1. Soit (k ) une telle suite rgularisante. Chaque k tant positif et dintgrale 1, on a
kk k1 = 1. On en dduit :
kk ? hkp kTh k.
Maintenant, puisque (k ) est une suite rgularisante, k ? h converge vers h dans Lp .
Passant la limite dans lingalit prcdente, on obtient :
khkp kTh k.
http://www.bibmath.net

Exercices - Produit de convolution : corrig


2. Prouvons dabord que hn est une unit approche. Elle est clairement positive, par un
changement de variable, on vrifie que son intgrale vaut 1. Si B = B(0, ) est un voisinage
de 0, on a :
Z

h(nx)dx =
kxk

1
khk1

h(x)dx =
kxkn

1
khk1

Z
Rd

1An (x)h(x)dx,

o An = {x Rd ; kxk n}. En appliquant le thorme de convergence domine, on


prouve que cette quantit tend vers 0. Calculons maintenant f ? hn :
1
f ? hn (x) =
khk1

1
f (x y)n h(ny)dy =
d
khk1
R

f (x y/n)h(y)dy =

Rd

1
fn ? h(nx),
khk1

o fn (x) = f (x/n). Maintenant, les changements de variables y = nx montrent que


kf k
kfn ? h(nx)kp = nd kfn ? hk et kfn kp = ndp , et donc
kf ? hn kp =

1
kTh k
kfn ? hkp
kf kp .
khk1
khk1

Maintenant, puisque (hn ) est une unit approche, f ? hn f dans Lp , et on en dduit :


kTh k khk1 ,
ce qui est bien lingalit demande.

Exercice 10 - Convergence du taux daccroissement - Troisime anne - ??


1. Avec une telle forme, on est tent de chercher h sous la forme dune fonction caractristique 1[u,v] . On a en effet :
Z x+h

f (t)1[x,x+h] (t)dt.

f (t)dt =
x

Maintenant, on a aussi :
t [x, x + h] t x [0, h] x t [h, 0].
Do lon dduit

Z x+h
x

f (t)dt = f ? h (x),

avec h (t) = 1[h,0] .


(x)
2. Un calcul immdiat donne F (x+h)F
= f ? hh (x). On est donc ramen prouver que
h
f ? (h /h) tend vers f dans L1 . Pour cela, il suffit de prouver que la suite (h /h)h>0 ,
est une suite rgularisante pour h 0. Cest presque immdiat, car cest une fonction
positive, son intgrale vaut 1, et son support est compris dans [h, 0].

Exercice 11 - Thorme de Weierstrass - Troisime anne - ??

http://www.bibmath.net

Exercices - Produit de convolution : corrig


1. Remarquons que pn est positive, et que
Z

Z 1

pn (t)dt =

pn (t)dt = 1

par dfinition de pn et an . Par ailleurs,


Z 1

an = 2

2 n

(1 t ) dt 2

Z 1
0

#1

"

(1 t2 )n+1
t(1 t ) dt =
n+1
2 n

=
0

1
.
n+1

Enfin, en dehors de lintervalle [, ], on a :


Z
|t|

pn (t)dt =

2
an

Z 1

(1 t2 )n dt =

2
(1 2 )n 2(n + 1)(1 2 )n ,
an

et comme |1 2 | < 1, ceci suffit pour conclure que


tend vers +.

|t| pn (t)dt

tend vers 0 lorsque n

2. Pour montrer que f ? pn est une fonction polynme sur I, on peut remarquer que, pour
tout x de I :
Z
1/2

f ? pn (x) = pn ? f (x) =

1/2

pn (x t)f (t)dt.

Remarquons encore que pour x et y dans I, on a |x t| 1, ce qui prouve que pn (x t) =


(1 (x t)2 )n . Il y a alors deux possibilits : ou bien on dveloppe lexpression, et on
vrifier que lon obtient un polynme. Ou bien on vrifie avec cette nouvelle expression
que f ? pn est indfiniment drivable sur I, et quon peut calculer la drive en drivant
sous le signe somme. Bien sr, quand on a driv (strictement) plus de 2n fois, on trouve
0 dans lintgrale, ce qui garantit bien que f ? pn est une fonction polynmiale sur I.
3. Si f vrifie les conditions de la question prcdente, par la proprit des suites rgularisantes, f est limite uniforme dune suite de fonctions polynmiales (les f ? pn ) sur I. On
va ramener le cas gnral ce cas particulier. Soit [a, b] un intervalle de R et f : [a, b] C
une fonction continue sur [a, b]. On considre [c, d] un segment qui contient strictement
[a, b], et on prolonge f en une fonction continue, toujours note f , telle que f est nulle
en dehors de [c, d] (on peut par exemple prolonger f par une fonction affine sur [c, a] et
sur [b, d]). Pour se ramener lintervalle [1/2, 1/2], on fait ensuite un changement de
variables affines, en posant :
c+d
g(t) = f (d c)t +
.
2


g est une fonction continue sur R, nulle en dehors de [1/2, 1/2]. Elle est limite uniforme
de polynmes. Il en est de mme de f (limage dun polynme par un changement de
variables affines est encore un polynme).

Exercice 12 - Thorme de Fjer - Deuxime anne - Troisime anne - ???


1. Remarquons que le changement de variables y = x t et la 2priodicit des fonctions
assure que f ? ek = ek ? f . Ainsi, on en dduit
1
f ? ek (x) =
2
http://www.bibmath.net

ik(xt)

f (t)dt =

1 ikt
e
f (t)dt ek (x).
2


Exercices - Produit de convolution : corrig


Par linarit, f ? Sn est un polynme trigonomtrique, et on reconnait mme que cest la
nime somme partielle de la srie de Fourier de f .
2. Cest un calcul excessivement classique ! En remarquant que Sn est une somme gomtrique, on en dduit, pour x
/ R\2Z :
Sn (x) = einx

e(2n+1)ix 1
sin((n + 1)x/2)
=
.
eix 1
sin(x/2)

On recommence, en utilisant lastuce classique dcrire sin((n + 1)x/2) = =(ei(n+1)x/2 ).


On trouve :
n
X
sin((n + 1)x/2)
.
e(k+1/2)ix = ei(n+1)x/2
sin(x/2)
k=0
Retournant Cn en prenant la partie imaginaire, on trouve le rsultat demand.
3. La positivit de Cn rsulte immdiatement de lexpression prcdente qui fait intervenir
un carr. Pour lintgrale, il suffit dabord de remarquer que :
1
2

Sn (t) = 1

(calcul immdiat), ce qui donne le mme rsultat pour Cn par linarit. Ensuite, si x
[, ]\[, ], on a | sin(x/2)| | sin(/2)|, ce qui entrane
|Cn (x)|

1
,
(n + 1) sin2 (/2)

quantit qui tend vers 0 indpendamment de x.


4. Remarquons dabord que si x R, on a :
f ? Cn (x) =

1
2

f (x u)Cn (u)du.

Prouvons la convergence uniforme. On fixe > 0. On a :




Z

1

(f (x u) f (x))Cn (u)du .
|f ? Cn (x) f (x)| =
2

On fixe un ]0, 2] (une valeur prcise sera explicite plus tard), et on dcoupe lintgrale. On obtient :
1
|f ?Cn (x)f (x)|
2

1
|f (xu)f (x)|Cn (u)du+
2
||t

Z
|t|

|f (xu)f (x)|Cn (u)du.

On gre les deux parties de lintgrale trs diffremment. Dune part, f est une fonction
continue et priodique. Elle est donc borne par une constante M sur R (la borne M tant
celle qui apparait sur lintervalle [0, 2]). On a donc :
1
2

Z
||t

http://www.bibmath.net

|f (x u) f (x)|Cn (u)du

2M
2

Cn (u)du.
|t|

Exercices - Produit de convolution : corrig


Maintenant, puisque la fonction Cn converge uniformment vers 0 sur [, ] [, ],
lintgrale qui apparait dans cette dernire expression tend vers 0. Il existe donc N N
tel que, pour n N , on a
1
2

Z
||t

|f (x u) f (x)|Cn (u)du .

Pour lautre expression, on remarque que si est petit, xu et x seront proches, et on peut
esprer que |f (xu)f (x)| sera petit. Il nous faut ici un argument duniforme continuit.
Cest possible, car toute fonction continue et priodique est en fait uniformment continue
(cest un trs bon exercice utilisant le thorme de Heine et des dcoupages avec des ).
Pour > 0 fix, il existe donc > 0 (cest maintenant quon le fixe) tel que
|z y| = |f (z) f (y)| .
On obtient
1
2

1
|f (x u) f (x)|Cn (u)du
2
||t

Cn (u)du .

Finalement, pour n N , on a bien


|f ? Cn (x) f (x)| 2,
ce qui prouve la convergence uniforme (sur R).

Convolution de mesures
Exercice 13 - Masses de Dirac - Troisime anne - ??
1. On a, si B est un borlien :
Z

? a (B) =

(B x)a (x) = (B a).

? est donc la mesure image de par la translation a : x 7 x + a. Si = b , on en


dduit
b ? a (B) = b (B a) = 1 b B a a + b B, 0 sinon.
On a donc b ? a = a+b . Dautre part, puisque la mesure de Lebesgue est invariante
par translation, on a ? a = .
2. On dmontre ce rsultat par rcurrence sur m, puisquil est vrai au rang 1. On suppose
maintenant quil est vrai au rang m, et on le prouve au rang m + 1. En vertu de la formule
nonce prcdemment, on a
m
X

!
k k
Cm
p (1

mk

p)

k=0

? (p1 + (1 p)0 ) =

m
X

k k+1
Cm
p (1 p)mk k+1

k=0

m
X

k k
Cm
p (1 p)m+1k k .

k=0

On dduit le rsultat demand par un changement dindices, et la formule du triangle de


Pascal.
http://www.bibmath.net