The John-Nirenberg space: Equality of the vanishing subspaces $VJN_p$ and $CJN_p$

Cet article démontre que les sous-espaces de vanishing $VJN_p$ et $CJN_p$ des espaces de John-Nirenberg coïncident en prouvant que certaines intégrales de type Morrey tendent vers zéro pour les cubes petits et grands, et établit également que $JN_{p,q}(\mathbb{R}^n)$ est égal à $L^p(\mathbb{R}^n) / \mathbb{R}$ lorsque $p = q$.

L'essentiel

🏗️ Le Mystère des "Espaces John-Nirenberg" : Quand deux voisins deviennent identiques

Imaginez que vous êtes un urbaniste chargé de classer les bâtiments d'une ville mathématique infinie. Cette ville est remplie de fonctions (des courbes, des vagues, des formes) qui ont des propriétés très spécifiques.

Le papier dont nous parlons s'intéresse à deux quartiers très particuliers de cette ville : le quartier VJNp et le quartier CJNp.

1. Le Contexte : La Ville de BMO et ses Généralisations

Pour comprendre l'histoire, il faut d'abord connaître le quartier principal : BMO (Bounded Mean Oscillation).

• L'analogie : Imaginez un quartier où les maisons ont des hauteurs très variables, mais pas trop variables. Si vous prenez un bloc de maisons, la différence de hauteur moyenne entre les maisons d'un bloc et la moyenne du bloc entier ne dépasse jamais une certaine limite. C'est le quartier "BMO".

Dans les années 60, des mathématiciens (John et Nirenberg) ont découvert que ce quartier avait des cousins plus "relâchés" appelés JNp.

• L'analogie : Si BMO est un quartier où les variations sont strictement contrôlées, JNp est un quartier voisin un peu plus grand et plus chaotique. Il accepte des bâtiments avec des variations plus extrêmes, tant que, globalement, le chaos reste "gérable" sur l'ensemble de la ville.

2. Le Problème : Les Quartiers "Vanishing" (Qui s'évanouissent)

Dans le monde mathématique, on s'intéresse souvent aux sous-quartiers où le chaos "s'évanouit" (devient nul) dans certaines conditions. On a deux types de sous-quartiers pour JNp :

• VJNp (Vanishing JNp) : Le quartier où le chaos disparaît quand on regarde des très petits blocs (des ruelles) ou des très grands blocs (des continents). C'est comme si, en zoomant ou en dézoomant, la ville devenait parfaitement lisse.
• CJNp (Compactly supported JNp) : Le quartier où les bâtiments sont "compacts", c'est-à-dire qu'ils s'arrêtent net après un certain point (comme une ville qui s'arrête au bord d'une falaise).

Le grand mystère :
Pendant longtemps, les mathématiciens se sont demandé : "Est-ce que VJNp et CJNp sont deux quartiers différents, ou est-ce que c'est exactement le même endroit ?"
On savait que CJNp était dans VJNp, mais on ne savait pas si VJNp contenait des "intrus" qui n'étaient pas dans CJNp. C'était une question ouverte.

3. La Solution : La Preuve par la "Mesure de la Vague"

Les auteurs, Riikka Korte et Timo Takala, ont résolu ce mystère en prouvant que VJNp et CJNp sont exactement la même chose.

Comment ont-ils fait ? (L'analogie de la vague)
Imaginez que vous mesurez la "moyenne de la turbulence" d'une fonction sur un cube (un bloc de la ville).

• Si vous prenez un cube très petit (une goutte d'eau), la turbulence devrait être nulle.
• Si vous prenez un cube très grand (l'océan entier), la turbulence devrait aussi être nulle.

Les auteurs ont démontré une propriété incroyable : Si une fonction appartient à la grande ville JNp, alors sa turbulence tend inévitablement vers zéro, que vous regardiez un grain de sable ou un continent.

Ils ont utilisé une technique mathématique sophistiquée (des intégrales de type "Morrey") pour montrer que :

1. Il est impossible d'avoir une fonction dans JNp qui soit "chaotique" à la fois sur de très petits et de très grands cubes.
2. Si le chaos disparaît aux extrêmes (petit et grand), alors la fonction appartient automatiquement au sous-quartier "compact" (CJNp).

L'image clé :
C'est comme si vous aviez un tissu élastique (la fonction). Vous vous demandiez : "Est-ce que ce tissu peut être lisse aux extrémités (VJNp) sans être un tissu fini (CJNp) ?"
Les auteurs ont prouvé que non. Si le tissu est lisse aux extrémités, c'est qu'il est forcément un tissu fini. Les deux concepts sont identiques.

4. Une Autre Découverte : Le Cas "Équilibre Parfait"

Le papier aborde aussi un autre cas spécial. Imaginez que vous comparez deux types de mesures de turbulence.

• Normalement, si vous changez la façon de mesurer, vous obtenez des villes différentes.
• Mais les auteurs ont découvert un cas d'équilibre parfait (quand les paramètres $p$ et $q$ sont égaux). Dans ce cas précis, la ville des fonctions "JNp" devient exactement la ville des fonctions Lp (un espace très classique et bien connu), à une constante près (comme si on pouvait décaler toute la ville de 10 mètres sans changer sa nature).

En Résumé

Ce papier est une victoire de la logique mathématique. Il a fermé une porte qui était restée entrouverte pendant des années.

• Avant : On pensait peut-être qu'il y avait une différence subtile entre deux façons de définir les fonctions "presque nulles" dans l'espace JNp.
• Maintenant : On sait qu'il n'y a pas de différence. VJNp = CJNp.

C'est comme si deux voisins qui se croyaient différents avaient finalement découvert qu'ils habitaient la même maison, juste avec des noms différents sur la boîte aux lettres. Les auteurs ont utilisé des outils de mesure très précis pour le démontrer, prouvant que dans l'univers des fonctions mathématiques, la cohérence l'emporte toujours sur le chaos.

Résumé technique

Voici un résumé technique détaillé de l'article « The John-Nirenberg Space: Equality of the Vanishing Subspaces $VJN_p$ and $CJN_p$ » par Riikka Korte et Timo Takala, publié sur arXiv en mars 2023.

1. Contexte et Problématique

Contexte :
L'article s'inscrit dans le domaine de l'analyse harmonique, en particulier l'étude des espaces de fonctions à oscillation moyenne bornée (BMO) et de leurs généralisations. L'espace de John-Nirenberg, noté $JN_p$ (avec $1 < p < \infty$), a été introduit par John et Nirenberg en 1961 comme une généralisation de BMO. Il est connu que$JN_\infty = \text{BMO}$. L'espace$JN_p$se situe strictement entre$L^p$et l'espace de Lorentz faible$L^{p,\infty}$.

Les sous-espaces "vanishing" :
De manière analogue aux sous-espaces de BMO notés $VMO$ (Vanishing Mean Oscillation) et $CMO$ (Continuous Mean Oscillation), les auteurs étudient les sous-espaces correspondants de $JN_p$, notés $VJN_p$ et $CJN_p$.

• $VJN_p$ est défini comme l'adhérence des fonctions lisses à gradient dans $L^p$ (ou via une condition de limite sur les cubes de petite taille).
• $CJN_p$ est défini comme l'adhérence des fonctions lisses à support compact (ou via une condition de limite sur les cubes de grande taille).

Le problème ouvert :
Bien qu'il soit évident que $L^p \subseteq CJN_p \subseteq VJN_p \subseteq JN_p$, et que des exemples montrent que les inclusions extrêmes sont strictes ($L^p \neq CJN_p$ et $VJN_p \neq JN_p$), la question de savoir si $VJN_p$ et $CJN_p$ coïncident restait ouverte. Les auteurs visent à prouver que $VJN_p = CJN_p$.

2. Méthodologie

La stratégie principale des auteurs repose sur l'analyse de intégrales de type Morrey (ou intégrales de type $L^p$ faible) pour les fonctions appartenant à $JN_p$. Plus précisément, ils étudient le comportement de la quantité suivante pour un cube $Q$ :
$$|Q|^{1/p} \fint_Q |f|$$
où $\fint_Q$ désigne la moyenne intégrale.

Hypothèse centrale de la méthode :
Les auteurs démontrent que pour toute fonction $f \in JN_p(\mathbb{R}^n)$, il existe une constante $b$ telle que cette intégrale tend vers zéro dans deux régimes limites :

1. Lorsque la taille du cube tend vers zéro ($|Q| \to 0$).
2. Lorsque la taille du cube tend vers l'infini ($|Q| \to \infty$).

Outils techniques clés :

• Lemme de récurrence géométrique (Proposition 3.1) : C'est le cœur technique de la preuve. Les auteurs établissent que si une fonction non négative satisfait certaines bornes moyennes sur un cube $Q$ et ses voisins immédiats (cubes de tailles $2/3$et$4/3$de$Q$), alors il existe nécessairement deux sous-cubes disjoints dans le voisinage où l'oscillation de la fonction est contrôlée par une constante positive.
• Argument par l'absurde et construction de suites : Pour prouver la convergence vers zéro, ils supposent le contraire (la limite est strictement positive). Ils construisent alors une suite infinie de cubes disjoints $(Q_i)$ en utilisant itérativement la Proposition 3.1.
• Contre-exemple à la définition de $JN_p$ : La construction de cette suite infinie de cubes disjoints conduit à une somme divergente de la norme $JN_p$, contredisant l'hypothèse que $f \in JN_p$. Cela force la limite à être nulle.
• Gestion des bords : La preuve distingue soigneusement le cas où l'espace est $\mathbb{R}^n$ (tout l'espace) et le cas où l'espace est un cube borné $X$, en traitant les problèmes liés à la géométrie des cubes proches des bords de $X$ (Lemme 3.9 et preuve du Théorème 3.16).

3. Résultats Principaux

1. Égalité des sous-espaces (Théorème Principal) :
   Les auteurs prouvent que $VJN_p(\mathbb{R}^n) = CJN_p(\mathbb{R}^n)$.

   • Preuve : En montrant que pour tout $f \in VJN_p$, la condition de limite pour les grands cubes (définissant $CJN_p$) est automatiquement satisfaite grâce à la propriété de vanishing des intégrales de type Morrey pour les grands cubes (Théorème 3.12).

2. Comportement asymptotique des intégrales de Morrey :

   • Théorème 3.12 : Pour $f \in JN_p(\mathbb{R}^n)$, il existe une constante $b$ telle que $\lim_{a \to \infty} \sup_{l(Q) \ge a} |Q|^{1/p} \fint_Q |f-b| = 0$.
   • Théorème 3.16 : Pour $f \in JN_p(X)$ (où $X$ est borné ou $\mathbb{R}^n$), $\lim_{a \to 0} \sup_{l(Q) \le a} |Q|^{1/p} \fint_Q |f| = 0$.
   • Ces résultats montrent que les fonctions $JN_p$ partagent une propriété de régularité fine avec les fonctions $L^p$ (qui satisfont aussi ces limites), mais pas avec les fonctions de $L^{p,\infty}$ (qui ne satisfont pas ces limites).

3. Caractérisation de l'espace $JN_{p,p}(\mathbb{R}^n)$ :
   L'article complète la théorie des espaces généralisés $JN_{p,q}$.

   • Proposition 2.7 : Ils démontrent que dans le cas limite où $p=q$ et l'espace est $\mathbb{R}^n$, l'espace $JN_{p,p}(\mathbb{R}^n)$ est isomorphe à $L^p(\mathbb{R}^n) / \mathbb{R}$ (l'espace des fonctions $f$ telles que $f-b \in L^p$ pour une constante $b$).
   • Cela répond à une question ouverte posée dans la littérature précédente ([19, Remark 2.9] et [18, Question 15]).

4. Signification et Impact

• Clôture d'une question ouverte : Ce travail résout définitivement la question de l'égalité entre les sous-espaces $VJN_p$ et $CJN_p$, un problème laissé en suspens dans des travaux récents (notamment [15] et [17]).
• Compréhension structurelle : En établissant que $VJN_p = CJN_p$, les auteurs clarifient la structure fine de l'espace $JN_p$. Cela suggère que la condition de "vanishing" (disparition) des oscillations est la même, qu'elle soit définie par l'approximation via des fonctions à support compact ou par le comportement asymptotique des moyennes sur les cubes.
• Lien avec les espaces de Morrey : Les résultats montrent que $JN_p$ est un sous-espace de l'espace de Morrey à variation nulle ($VL^{1, n-n/p}$), renforçant les liens entre les espaces d'oscillation bornée et les espaces de Morrey.
• Rigueur technique : La preuve de la Proposition 3.1, qui utilise une géométrie fine des cubes et des arguments de projection dans $\mathbb{R}^n$, constitue une avancée technique significative pour l'analyse sur les espaces de John-Nirenberg.

En résumé, cet article établit une équivalence fondamentale entre deux définitions apparemment distinctes de sous-espaces "vanishing" de $JN_p$, tout en affinant la compréhension des propriétés intégrales des fonctions de cet espace et en résolvant des questions ouvertes sur la généralisation $JN_{p,q}$.