Utilité de ce résultat

Bonjour à tous
Je m’adresse aux connaisseurs : voici un exercice d'intégration de niveau licence. On considère une fonction $f \in L^1(\mathrm{d}\mu)$ où $\mu$ est une mesure gentille. Il s'agit de montrer que la série $$
\sum _n \frac{1}{n^2}\int_{|f|<n}|f|^2\,\mathrm{d}\mu $$ converge.

Il se trouve que l'exercice n'est pas complètement évident (vous pouvez utiliser l'inégalité de Markov et vous assurer que cela ne suffit pas), mais on s'en sort en sommant par parties ou bien en intervertissant somme et intégrale. Voici la question qui me brûle les lèvres :

À quoi sert ce résultat ?

Réponses

  • il sert à démontrer que la suite tend vers 0:-)
    Le 😄 Farceur


  • Ce qui n’est pas du tout intéressant(doublon!!!), puisque ceci signifie que $\int_{|f|<n}|f|^2 d\mu=o(n^2)$...
  • Ce lemme est utilisé dans l'une des preuves classiques de la loi forte des grand nombres (se ramener à des VA positives, utiliser Borel-Cantelli par ce lemme pour tronquer les variables, conclure par encadrement et monotonie).
  • Merci BobbyJoe ! Je me doutais bien qu'il devait y avoir une utilité à ce lemme !
Connectez-vous ou Inscrivez-vous pour répondre.