Mesure de Hausdorff de l'ensemble critique pour la condition de Luzin $N$

Informations fondamentales

• ID de l'article: 2005.06559
• Titre: Hausdorff measure of critical set for Luzin $N$ condition
• Auteurs: Anna Doležalová, Marika Hrubešová, Tomáš Roskovec
• Classification: math.FA (Analyse fonctionnelle)
• Date de publication: 13 mai 2020
• Lien de l'article: https://arxiv.org/abs/2005.06559

Résumé

Il est bien connu que pour tout $p<n$, il existe un homéomorphisme de Sobolev $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ qui applique un ensemble $C$ de mesure de Lebesgue $n$-dimensionnelle nulle sur un ensemble de mesure positive. Cet article étudie la taille de cet ensemble critique $C$ du point de vue de la mesure de Hausdorff définie par des fonctions de jauge générales, et caractérise ses bornes inférieure et supérieure.

Contexte et motivation de la recherche

Problème fondamental

Le problème fondamental étudié dans cet article concerne la caractérisation de la mesure de Hausdorff de l'ensemble critique qui viole la condition de Luzin $N$. La condition de Luzin $N$ exige que pour tout ensemble $E \subseteq \Omega$, si $L^n(E) = 0$, alors $L^n(f(E)) = 0$, c'est-à-dire que la fonction ne peut pas appliquer un ensemble de mesure nulle sur un ensemble de mesure positive.

Analyse de l'importance

1. Signification physique: En mécanique des solides et dans d'autres modèles physiques, la condition de Luzin $N$ interdit de « créer de la matière » par déformation, tandis que la condition de Luzin $N^{-1}$ interdit la « disparition de matière »
2. Signification mathématique: Ces conditions sont étroitement liées à la validité des formules de changement de variables, à la validité de la formule d'aire et de la formule de co-aire
3. Complétude théorique: La caractérisation de la taille de l'ensemble critique violant ces conditions est importante pour comprendre les propriétés des applications de Sobolev

Limitations de la recherche existante

• Reshetnyak a prouvé que les homéomorphismes de Sobolev dans $W^{1,n}$ satisfont la condition $N$
• Marcus et Mizel ont prouvé que les applications dans $W^{1,p}$ ($p > n$) satisfont la condition $N$
• Ponomarev a construit des contre-exemples violant la condition $N$ dans $W^{1,p}$ ($1 \leq p < n$)
• Cependant, la recherche existante considère principalement les fonctions de jauge de type puissance $h(t) = t^α$, manquant d'une étude systématique des fonctions de jauge générales

Contributions fondamentales

1. Contribution théorique: Extension de l'étude de la taille de l'ensemble critique de la mesure de Hausdorff classique de type puissance à la mesure de Hausdorff définie par des fonctions de jauge générales
2. Méthode de construction: Basée sur la construction de Ponomarev, fournit une caractérisation précise des homéomorphismes violant la condition de Luzin $N$ dans l'espace de Sobolev grand $W^{1,n)}$
3. Résultat de borne supérieure: Prouve que pour les fonctions de jauge $h(t) = t^n\tau(t)$ satisfaisant certaines conditions, il existe un ensemble critique $C_A$ tel que $0 < H^h(C_A) < \infty$
4. Résultat de borne inférieure: Prouve que pour toute fonction de jauge $h$, on peut construire un ensemble critique $C_A$ tel que $H^h(C_A) = 0$

Exposition détaillée de la méthode

Définition de la tâche

Étudier les homéomorphismes de Sobolev $f: Q_0 \to Q_0$ violant la condition de Luzin $N$ (où $Q_0 = [-1,1]^n$), et caractériser la taille de l'ensemble critique $C_A$ sous la mesure de Hausdorff $H^h$ définie par une fonction de jauge générale $h$.

Cadre théorique fondamental

Définition des conditions de Luzin

• Condition de Luzin $N$: $L^n(E) = 0 \Rightarrow L^n(f(E)) = 0$
• Condition de Luzin $N^{-1}$: $L^n(f(E)) = 0 \Rightarrow L^n(E) = 0$

Fonctions de jauge et mesure de Hausdorff

Une fonction de jauge $h(t): [0,\infty) \to [0,\infty)$ satisfait:

1. $h$ est monotone non décroissante
2. $h(0) = 0$
3. $h$ est continue

La mesure de Hausdorff est définie par: $H^h(A) = \lim_{\delta \to 0^+} \inf\left\{\sum_{i=1}^{\infty} h(\text{diam}U_i) : A \subseteq \bigcup_i U_i, \text{diam}(U_i) < \delta\right\}$

Méthode de construction de Ponomarev

Configuration de base

Construction de deux suites strictement décroissantes $\{a_k\}$ et $\{b_k\}$:

• $a_0 = b_0 = 1$
• $\lim_{k \to \infty} a_k = 0$
• $\lim_{k \to \infty} b_k > 0$

Définition des suites de rayons:

• $r_k = 2^{-k}a_k$
• $\tilde{r}_k = 2^{-k}b_k$

Construction d'ensembles de type Cantor

Construction inductive d'un système de cubes imbriqués:

• Pour $v = [v_1, v_2, \ldots, v_k] \in V^k$, définir le centre $z_v$ et le cube $Q_v$
• Construction de l'ensemble de Cantor source: $C_A = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} Q_v$
• Construction de l'ensemble de Cantor image: $C_B = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} \tilde{Q}_v$

Construction de l'application homéomorphe

À l'étape $k$, définir l'application $f_k$:

• À l'intérieur de $Q_v$: $f_k(x) = f_{k-1}(z_v) + \frac{\tilde{r}_k}{r_k}(x - z_v)$
• À l'intérieur de la couronne $Q'_v \setminus Q_v$: utiliser une application radiale

Points d'innovation technique

1. Raffinement du choix des paramètres: En choisissant $b_k = \frac{1}{2}(1 + a_k)$, on assure que l'application construite appartient à l'espace de Sobolev grand $W^{1,n)}$
2. Traitement généralisé des fonctions de jauge:
   • Pour le théorème 1.1, on exige $h(t) = t^n\tau(t)$, où $\tau$ satisfait certaines conditions de monotonie et de limite
   • Pour le théorème 1.2, on permet toute fonction de jauge
3. Technique d'estimation de mesure: Établissement d'estimations clés entre le diamètre des cubes et la mesure de Hausdorff: $\sum_{u \in U} h(\text{diam}Q_u) \approx 2^{-nk}\#U$

Théorèmes principaux

Théorème 1.1 (Résultat de borne supérieure)

Soit $\tau: (0,\infty) \to [1,\infty)$ une fonction monotone continue satisfaisant $\lim_{t \to 0^+} \tau(t) = \infty$, et pour tout $p \in (0,1]$ il existe $x_p \in (0,1)$ tel que pour tout $t \in (0, x_p)$ on ait $\frac{1}{\tau(pt)} > t^n$.

Soit $h(t) = t^n\tau(t)$, alors il existe un homéomorphisme $f: Q_0 \to Q_0$ satisfaisant:

1. $f$ est l'identité sur la frontière de $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ p.p.
4. Si $H^h(E) = 0$, alors $L^n(f(E)) = 0$
5. Il existe un ensemble $C_A$ tel que $H^h(C_A) \in (0,\infty)$, $L^n(C_A) = 0$ et $L^n(f(C_A)) > 0$

Théorème 1.2 (Résultat de borne inférieure)

Pour toute fonction de jauge $h$, il existe un homéomorphisme $f: Q_0 \to Q_0$ satisfaisant:

1. $f$ est l'identité sur la frontière de $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ p.p.
4. Il existe un ensemble $C_A$ tel que $H^h(C_A) = 0$, $L^n(C_A) = 0$ et $L^n(f(C_A)) > 0$

Points clés de la preuve

Stratégie de preuve du théorème 1.2

On choisit la suite $\{a_k\}$ telle que $h(c_n 2^{-k}a_k) < 2^{-2nk}$, où $c_n = 2\sqrt{n}$. Cela garantit: $H^h(C_A) \leq \lim_{k \to \infty} \sum_{v \in V^k} h(\text{diam}Q_v) = \lim_{k \to \infty} 2^{nk}h(c_n r_k) < \lim_{k \to \infty} 2^{-nk} = 0$

Étapes clés de la preuve du théorème 1.1

1. Choix de la suite: Construction de $\{a_k\}$ telle que $a_k^n\tau(2^{-k}c_n a_k) \approx 1$
2. Finitude de la mesure: Preuve que $H^h(C_A) < \infty$
3. Positivité de la mesure: Par argument de recouvrement, preuve que pour tout recouvrement ouvert fini $\{U_j\}$ on a $\sum_j h(\text{diam}U_j) \gtrsim 1$
4. Construction bijective: Construction d'une application $z: C_A \to [0,1]^n$, établissant une correspondance entre les mesures

Travaux connexes

Développement historique

• Courbe de Peano (1890): Premier exemple violant la condition de Luzin $N$
• Construction de Cesari (1942): Construction systématique de contre-exemples
• Reshetnyak (1966): Résultats positifs dans $W^{1,n}$
• Ponomarev (1971): Contre-exemples dans $W^{1,p}$ ($p < n$)

Développement moderne

• Iwaniec-Sbordone: Théorie des espaces de Sobolev grand
• Kauhanen: Étude de la dimension de Hausdorff
• Koskela-Malý et al.: Théorie moderne de la condition $N$

Conclusion et discussion

Conclusions principales

1. L'ensemble critique violant la condition de Luzin $N$ peut être arbitrairement petit au sens de la mesure de Hausdorff (théorème 1.2)
2. Pour les fonctions de jauge proches de $t^n$, l'ensemble critique peut avoir une mesure de Hausdorff positive et finie (théorème 1.1)
3. L'espace de Sobolev grand $W^{1,n)}$ est le cadre approprié pour étudier ce type de problèmes

Signification théorique

Cet article caractérise complètement la taille possible de l'ensemble critique violant la condition de Luzin $N$ sous la mesure de Hausdorff générale, approfondissant ainsi la compréhension des propriétés géométriques des applications de Sobolev.

Limitations

1. Les résultats concernent principalement la construction spécifique de type Ponomarev
2. Les conditions sur la fonction de jauge $\tau$ dans le théorème 1.1 sont plutôt techniques
3. Les résultats ne couvrent pas les classes d'applications plus générales ou d'autres conditions de régularité

Directions futures

1. Généralisation aux espaces métriques mesurés plus généraux
2. Étude d'autres types d'ensembles critiques (par exemple, les ensembles violant la condition $N^{-1}$)
3. Exploration des connexions avec la théorie de la régularité des solutions d'équations aux dérivées partielles

Évaluation approfondie

Avantages

1. Complétude théorique: Caractérisation systématique des bornes supérieure et inférieure de la mesure de Hausdorff de l'ensemble critique
2. Innovation technique: Combinaison ingénieuse de la théorie des fonctions de jauge générales avec la construction classique de Ponomarev
3. Généralité de la méthode: Les techniques de preuve peuvent être généralisées à des problèmes connexes
4. Clarté de la présentation: Structure claire de l'article avec détails techniques exhaustifs

Insuffisances

1. Limitations d'application: Résultats principalement théoriques, valeur d'application pratique limitée
2. Complexité technique: Certaines conditions techniques (comme la condition sur $\tau$ dans le théorème 1.1) sont plutôt artificielles
3. Degré d'innovation: Principalement une généralisation et un raffinement de la théorie existante

Impact

• Valeur académique: Fournit de nouveaux outils théoriques pour l'analyse fonctionnelle et la théorie géométrique de la mesure
• Complétude théorique: Comble le vide théorique dans le cas des fonctions de jauge générales
• Contribution méthodologique: Démontre comment combiner les constructions classiques avec la théorie moderne de la mesure

Domaines d'application

1. Recherche théorique en théorie géométrique de la mesure et analyse fonctionnelle
2. Développement ultérieur de la théorie des applications de Sobolev
3. Problèmes de régularité en calcul des variations et équations aux dérivées partielles