Defi integral
Olympiades mathématiques, énigmes et défis
-
MMu
- Membre Relatif
- Messages: 399
- Enregistré le: 11 Déc 2011, 22:43
-
par MMu » 03 Juil 2013, 23:34
Soit

une fonction integrable . Montrer que :
:zen:
-
adrien69
- Membre Irrationnel
- Messages: 1899
- Enregistré le: 20 Déc 2012, 12:14
-
par adrien69 » 04 Juil 2013, 00:07
Salut, c'est vérifié sur la classe des fonctions caractéristiques. Donc par linéarité sur celle des fonctions étagées, et donc par définition de l'intégrale de Lebesgue sur la classe des fonctions intégrables.
-
adrien69
- Membre Irrationnel
- Messages: 1899
- Enregistré le: 20 Déc 2012, 12:14
-
par adrien69 » 04 Juil 2013, 00:12
Une autre explication passe par une application du lemme de Gronwall puis de l'inégalité de Jensen.
-
adrien69
- Membre Irrationnel
- Messages: 1899
- Enregistré le: 20 Déc 2012, 12:14
-
par adrien69 » 04 Juil 2013, 00:31
En fait non, ce n'est vraiment que Jensen.
Suffit de remarquer exp convexe et d'utiliser
cette forme de l'inégalité, en posant phi=exp, g=f/int(f) et f=f.
-
MMu
- Membre Relatif
- Messages: 399
- Enregistré le: 11 Déc 2011, 22:43
-
par MMu » 05 Juil 2013, 03:09
adrien69 a écrit:En fait non, ce n'est vraiment que Jensen.
Suffit de remarquer exp convexe et d'utiliser
cette forme de l'inégalité, en posant phi=exp, g=f/int(f) et f=f.
Je ne comprends pas comment appliques tu Jensen , sans compter que tu as un problème quand

... :zen:
-
MMu
- Membre Relatif
- Messages: 399
- Enregistré le: 11 Déc 2011, 22:43
-
par MMu » 11 Nov 2013, 04:45
Juste pour ramener le problème à la lumière ..
-
adrien69
- Membre Irrationnel
- Messages: 1899
- Enregistré le: 20 Déc 2012, 12:14
-
par adrien69 » 11 Nov 2013, 05:35
Ben ça a été prouvé
ici non ? C'est une affaire réglée.
-
adrien69
- Membre Irrationnel
- Messages: 1899
- Enregistré le: 20 Déc 2012, 12:14
-
par adrien69 » 11 Nov 2013, 05:37
Pourquoi t'as supprimé ton message MMu ? Je passe pour un con maintenant ^^
-
MMu
- Membre Relatif
- Messages: 399
- Enregistré le: 11 Déc 2011, 22:43
-
par MMu » 13 Nov 2013, 04:53
:bad2:
adrien69 a écrit:Pourquoi t'as supprimé ton message MMu ? Je passe pour un con maintenant ^^
:ptdr: :bad2:
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 8 invités