L'espace des fonctions localement intégrables dont l'oscillation moyenne sur les boules (ou cubes) est uniformément bornée ; noté classiquement BMO, il joue le rôle d'alternative à L^∞ en analyse harmonique, pour les estimations aux extrémités et la théorie des commutateurs.

Principe

Contrôler uniformément, à toutes les échelles, les écarts par rapport à la moyenne locale : f appartient à BMO si sup_B (1/|B|) ∫_B |f−f_B| < ∞, formulant une oscillation bornée plutôt qu'une borne ponctuelle.

Démonstration

Phénomène de John–Nirenberg : les fonctions BMO possèdent une intégrabilité exponentielle sur les boules, et BMO apparaît comme le dual de l'espace de Hardy réel H^1, expliquant son rôle dans les estimations pour les intégrales singulières et les commutateurs.

Mauvaise application

Traiter BMO comme L^∞ (par ex. supposer des bornes essentielles ponctuelles) ou utiliser la norme BMO indistinctement avec des normes L^p dans des estimations nécessitant une véritable bornitude uniforme ; confondre des éléments à forte oscillation locale avec des fonctions bornées.

Conséquence

Une utilisation correcte fournit des bornes aux extrémités optimales, la dualité avec H^1, le contrôle des commutateurs avec les opérateurs de Calderón–Zygmund, et un cadre naturel pour des inégalités de type logarithmique et des phénomènes de compacité compensée.

Inversion

L^∞ : les fonctions essentiellement bornées ponctuellement constituent l'inverse strict (condition plus forte), tandis que les espaces d'oscillation moyenne non bornée présentent des comportements très différents et n'ont pas les mêmes propriétés aux extrémités en analyse harmonique.

Limite

S'applique aux fonctions localement intégrables sur R^n ou sur des espaces métriques mesurés satisfaisant des conditions de doublage et de Poincaré ; n'inclut pas les espaces purement bornés ponctuellement ou Hölder et demande prudence entre BMO global, BMO modulo constantes et variantes homogènes.

Tension sémantique

Tension avec L^∞ et les espaces de Hardy : BMO se situe strictement entre les échelles L^p et L^∞, servant d'extrémité pour de nombreuses estimations ; sa nature d'oscillation moyenne s'oppose à la borne ponctuelle et au contrôle dérivatif de type Sobolev.

Synthèse

BMO saisit la borne uniforme de l'oscillation moyenne aux différentes échelles, offrant un substitut d'extrémité à L^∞ avec une dualité riche et des conséquences opératorielles en analyse harmonique.