normalement on utilise "holder" dans une variante avec f\in L^p, g=1, et la mesure \mu(dx) sur laquelle ce fait l'integration est bornée, ce qui est en gros l'inégalité de Jensen pour la fonction avec la puissance ^p.
La démonstration du resultat pour L^infini convolué abec L1, est immediate. C'est juste que l'on aime sortir un résultat plus fin, car la convoluée est non seulement bornée mais aussi uniformément continue.
06/12/2014, 15h39
#3
invite872ca88f
Date d'inscription
janvier 1970
Messages
31
Re : convolution
Ok merci, je ne connaissais pas cette inégalité de Jensen. C'est donc elle qui me permet de prouver dans L^infini?
Dans le livre avec lequel j'étudie la convolution, l'auteur dit également que la démo dans ce cas est immédiate.
06/12/2014, 15h56
#4
untruc
Date d'inscription
octobre 2014
Messages
299
Re : convolution
la démo dans le cas infini est immediate, il suffit d'ecrire la définition
ceci etant vrai quelque soit x, donc
regarde la demo du cas L1*L^p, bien plus elaborée
Aujourd'hui
A voir en vidéo sur Futura
06/12/2014, 15h59
#5
invite872ca88f
Date d'inscription
janvier 1970
Messages
31
Re : convolution
Merci beaucoup, j'avais fait une erreur d'écriture en cherchant la démo dans ce cas et ne voyais pas pourquoi c'était évident. Je comprenais justement mieux les cas où p n'est pas infini.
09/12/2014, 10h52
#6
invite872ca88f
Date d'inscription
janvier 1970
Messages
31
Re : convolution
J'ai une autre question dans un cas plus général.
09/12/2014, 12h02
#7
untruc
Date d'inscription
octobre 2014
Messages
299
Re : Convolution
il intègre les deux membres sur x, ce qui préserve l'inegalité, puis applique Fubini sur le membre de droite.