Hölder et Minkowski conditionnelles
Bonjour à tous
Je voudrais savoir si les inégalités de Hölder et de Minkowski se généralisent pour des espérances conditionnelles ?
Est-ce que l'on a (avec $\mathcal{F}$ une tribu) : $$
\mathbb{E}[|XY| | \mathcal{F}] \leq (\mathbb{E}[ |X|^p | \mathcal{F} ] )^{\frac{1}{p}} (\mathbb{E}[ |Y|^q | \mathcal{F} ] )^{\frac{1}{q}}
$$ et $$
(\mathbb{E}[ |X+Y|^p | \mathcal{F} ] )^{\frac{1}{p}} \leq (\mathbb{E}[ |X|^p | \mathcal{F} ] )^{\frac{1}{p}} + (\mathbb{E}[ |Y|^p | \mathcal{F} ] )^{\frac{1}{p}}
$$ avec les hypothèses d'intégrabilité des inégalités dans le cas habituel.
Si celles-ci sont vraies, est-ce que l'on peut les démontrer en "calquant" leurs démonstrations dans le cas habituel ?
Dans le cas échéant, auriez-vous des références sur ces résultats ?
Merci par avance.
Cordialement.
Je voudrais savoir si les inégalités de Hölder et de Minkowski se généralisent pour des espérances conditionnelles ?
Est-ce que l'on a (avec $\mathcal{F}$ une tribu) : $$
\mathbb{E}[|XY| | \mathcal{F}] \leq (\mathbb{E}[ |X|^p | \mathcal{F} ] )^{\frac{1}{p}} (\mathbb{E}[ |Y|^q | \mathcal{F} ] )^{\frac{1}{q}}
$$ et $$
(\mathbb{E}[ |X+Y|^p | \mathcal{F} ] )^{\frac{1}{p}} \leq (\mathbb{E}[ |X|^p | \mathcal{F} ] )^{\frac{1}{p}} + (\mathbb{E}[ |Y|^p | \mathcal{F} ] )^{\frac{1}{p}}
$$ avec les hypothèses d'intégrabilité des inégalités dans le cas habituel.
Si celles-ci sont vraies, est-ce que l'on peut les démontrer en "calquant" leurs démonstrations dans le cas habituel ?
Dans le cas échéant, auriez-vous des références sur ces résultats ?
Merci par avance.
Cordialement.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Pour des réels positifs: $ab \leq \frac{a^p}{p}+\frac{b^q}{q}$ et ensuite pour démontrer l'inégalité de Hölder je pose $a=\frac{ |X|} {(\mathbb{E}[|X|^p])^{1/p}}$ et $b=\frac{ |Y|} {(\mathbb{E}[|Y|^q])^{1/q}}$
Si je calque la démonstration, j'aurais envie de poser:
$a=\frac{ |X|} {(\mathbb{E}[|X|^p | \mathcal{F}])^{1/p}}$ et $b=\frac{ |Y|} {(\mathbb{E}[|Y|^q | \mathcal{F}])^{1/q}}$
Sauf que les dénominateurs sont maintenant des variables aléatoires qui peuvent potentiellement s'annuler, non?
C'est cet endroit qui me pose problème pour produire une preuve rigoureuse.
Merci de votre aide!
Méthode 1 : montrer d'abord l'inégalité pour des variables $X$ et $Y$ telles que $X > 0$ et $Y > 0$ presque sûrement, puis en déduire le cas général par approximation.
Méthode 2 : en travaillant pour presque tout $\omega \in \Omega$, se ramener à montrer que si des réels positifs $x,y,z$ vérifient pour tout $t\in \mathbb R,\ z \leq \frac{e^{tp}}p x + \frac{e^{-tq}}q y$, alors $z \leq x^{\frac 1p}y^{\frac 1q}$.
Cependant je ne vois pas du tout la piste de votre méthode 1.
Avec votre méthode 2, je vois comment conclure en appliquant l'inégalité aux variables concernées. Cependant comment vérifier que $z=\mathbb{E}[ |XY| | \mathcal{F}]$ vérifie bien l'inégalité? En la vérifiant tout d'abord pour les fonctions étagées puis en raisonnant par approximation?
Avec l'autre méthode on vérifie que $X > 0$ implique $\Bbb E(X \mid \mathcal F) > 0$ p.s.
Oui, il faut faire attention à ce genre de problèmes.
Dans le même ordre d'idées, plusieurs ouvrages proposent une preuve fausse/incomplète de l'inégalité de Jensen conditionnelle.
Sinon, il me semble qu'on peut avoir tout de suite le résultat en appliquant l'inégalité de Hölder à la loi conditionnelle, au moins dans le cas où l'espace de base est polonais - mais dans le cas général on doit pouvoir s'y ramener puisque $(X,Y)$ est à valeurs dans un espace polonais.
Bien sûr la notion de loi conditionnelle sachant une tribu est un gros morceau (voir par exemple mon bouquin http://www.iecl.univ-lorraine.fr/~Olivier.Garet/livre-pps/ )
Effectivement j'ai eu du mal à trouver une preuve rigoureuse de l'inégalité de Jensen conditionnelle, et je viens de voir que j'avais utilisé la votre aléa! (dans votre livre).
Je vous remercie à vous deux pour votre aide :-) !
Cordialement.
Personnellement je trouve la méthode 2 plus facile à retenir : l'inégalité de Hölder est essentiellement l'optimisation de l'inégalité de Young.