Académique Documents
Professionnel Documents
Culture Documents
Existence et calculs
1. Soient f et g deux fonctions définies et localement bornées sur [0, +∞[. Montrer que le
produit de convolution f ? g a un sens.
2. Soit K ∈ L∞loc (R+ ). Pour n ∈ N, on note Kn = K
?n = K ? · · · ? K (n facteurs). Montrer
∗
que pour tout a > 0 et tout n ∈ N , on a
xn−1
|Kn (x)| ≤ M (a)n ,
(n − 1)!
où M (a) = supx∈[0,a] |K(x)|.
1 (x−m)2
gm,σ (x) = √ e− 2σ2 .
σ 2π
Si (p, σ) et (q, τ ) sont dans R × R∗+ , peut-on définir gp,σ ? gq,τ ? Que dire de cette fonction ? La
2
calculer. On rappelle que R e−x /2 dx = √12π .
R
Divers
T : L2 (Rn ) → L2 (Rn )
g 7→ f ? g
1. Donner un exemple de partie mesurable A de R de mesure (de Lebesgue) non nulle, mais
ne contenant aucun ouvert (on rappelle que l’on dit alors que A est d’intérieur vide).
http://www.bibmath.net 1
Exercices - Produit de convolution : énoncé
2. Soient A et B deux parties mesurables de Rd , de mesure finie mais non nulle. Montrer
que la fonction 1A ? 1B est continue. En calculant son intégrale sur Rd , montrer qu’elle
est non nulle. En déduire que l’ensemble A + B = {a + b; a ∈ A, b ∈ B} est d’intérieur
non vide.
3. Reprendre la question précédente si A et/ou B peuvent maintenant être de mesure infinie.
1. Montrer que si f et g sont deux fonction de L1 (R) paires, alors f ? g est encore paire.
2. Généralisation : on dit qu’une fonction f : Rn → C est radiale si la valeur de f (x) ne
dépend que de la distance de x à l’origine (la norme choisie ici est la norme euclidienne
classique). Montrer que le produit de convolution de deux fonctions radiales de L1 (Rn )
est encore une fonction radiale.
1. Soit p ∈ [1, +∞], et h ∈ Lp (Rd ).On sait que Th : f 7→ f ? h est un opérateur linéaire borné
de L1 dans Lp , et que
kTh kL(L1 ,Lp ) ≤ khkp .
En testant Th sur une suite régularisante, montrer que
2. Soit p ∈ [1, +∞[ et h ∈ L1 (Rd ) une fonction positive. On sait que Th : f 7→ f ? h est un
opérateur linéaire borné sur Lp , et que
http://www.bibmath.net 2
Exercices - Produit de convolution : énoncé
Convolution de mesures
1. Si µ est une mesure de Borel positive sur R, exprimer µ ? δa comme une certaine mesure
image de µ. Etudier le cas particulier de µ = δb , et µ la mesure de Lebesgue.
2. Pour m ≥ 1 un entier, et p ∈ [0, 1], on considère la mesure
m
X
k k
B(m, p) = Cm p (1 − p)m−k δk .
k=0
http://www.bibmath.net 3