Medida de Hausdorff del conjunto crítico para la condición de Luzin $N$

Información Básica

• ID del Artículo: 2005.06559
• Título: Medida de Hausdorff del conjunto crítico para la condición de Luzin $N$
• Autores: Anna Doležalová, Marika Hrubešová, Tomáš Roskovec
• Clasificación: math.FA (Análisis Funcional)
• Fecha de Publicación: 13 de mayo de 2020
• Enlace del Artículo: https://arxiv.org/abs/2005.06559

Resumen

Se sabe que para cualquier $p<n$, existe un homeomorfismo de Sobolev $f\in W^{1,p}([-1,1]^n,[-1,1]^n)$ que mapea un conjunto $C$ de medida de Lebesgue $n$-dimensional nula a un conjunto de medida positiva. Este artículo estudia el tamaño del conjunto crítico $C$ desde la perspectiva de la medida de Hausdorff definida por funciones de norma general, y caracteriza sus cotas inferior y superior.

Antecedentes de Investigación y Motivación

Problema Central

El problema central de este artículo es la caracterización de la medida de Hausdorff del conjunto crítico que viola la condición de Luzin $N$. La condición de Luzin $N$ requiere que para cualquier conjunto $E \subseteq \Omega$, si $L^n(E) = 0$, entonces $L^n(f(E)) = 0$, es decir, la función no puede mapear conjuntos de medida nula a conjuntos de medida positiva.

Análisis de Importancia

1. Significado Físico: En mecánica de sólidos y otros modelos físicos, la condición de Luzin $N$ prohíbe "crear materia" mediante deformación, mientras que la condición de Luzin $N^{-1}$ prohíbe que la "materia desaparezca"
2. Significado Matemático: Estas condiciones están estrechamente relacionadas con la validez de fórmulas de cambio de variables, la validez de fórmulas de área y coarea
3. Completitud Teórica: Caracterizar el tamaño del conjunto crítico que viola estas condiciones es fundamental para comprender las propiedades de los mapeos de Sobolev

Limitaciones de la Investigación Existente

• Reshetnyak demostró que los homeomorfismos de Sobolev en $W^{1,n}$ satisfacen la condición $N$
• Marcus y Mizel demostraron que los mapeos en $W^{1,p}$ ($p > n$) satisfacen la condición $N$
• Ponomarev construyó contraejemplos en $W^{1,p}$ ($1 \leq p < n$) que violan la condición $N$
• Sin embargo, la investigación existente considera principalmente funciones de norma de tipo potencia $h(t) = t^α$, careciendo de un estudio sistemático de funciones de norma general

Contribuciones Principales

1. Contribución Teórica: Extender el estudio del tamaño del conjunto crítico desde la medida de Hausdorff clásica de tipo potencia a la medida de Hausdorff definida por funciones de norma general
2. Método de Construcción: Basado en la construcción de Ponomarev, proporcionar una caracterización exacta de homeomorfismos que violan la condición de Luzin $N$ en el espacio de Sobolev grand $W^{1,n)}$
3. Resultado de Cota Superior: Demostrar que para funciones de norma $h(t) = t^n\tau(t)$ que satisfacen condiciones específicas, existe un conjunto crítico $C_A$ tal que $0 < H^h(C_A) < \infty$
4. Resultado de Cota Inferior: Demostrar que para cualquier función de norma $h$, se puede construir un conjunto crítico $C_A$ tal que $H^h(C_A) = 0$

Explicación Detallada de Métodos

Definición de la Tarea

Estudiar homeomorfismos de Sobolev $f: Q_0 \to Q_0$ que violan la condición de Luzin $N$ (donde $Q_0 = [-1,1]^n$), caracterizando el tamaño de su conjunto crítico $C_A$ bajo la medida de Hausdorff $H^h$ definida por una función de norma general.

Marco Teórico Principal

Definición de Condiciones de Luzin

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

Funciones de Norma y Medida de Hausdorff

Una función de norma $h(t): [0,\infty) \to [0,\infty)$ satisface:

1. $h$ es monótona no decreciente
2. $h(0) = 0$
3. $h$ es continua

La medida de Hausdorff se define como: $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étodo de Construcción de Ponomarev

Configuración Básica

Construir dos sucesiones estrictamente decrecientes $\{a_k\}$ y $\{b_k\}$:

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

Definir las sucesiones de radios:

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

Construcción de Conjunto Tipo Cantor

Construir inductivamente un sistema de cubos anidados:

• Para $v = [v_1, v_2, \ldots, v_k] \in V^k$, definir el centro $z_v$ y el cubo $Q_v$
• Construir el conjunto de Cantor fuente: $C_A = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} Q_v$
• Construir el conjunto de Cantor imagen: $C_B = \bigcap_{k=1}^{\infty} \bigcup_{v \in V^k} \tilde{Q}_v$

Construcción del Mapeo Homeomórfico

En el paso $k$, definir el mapeo $f_k$:

• En $Q_v$: $f_k(x) = f_{k-1}(z_v) + \frac{\tilde{r}_k}{r_k}(x - z_v)$
• En la región anular $Q'_v \setminus Q_v$: usar mapeo radial

Puntos de Innovación Técnica

1. Refinamiento de la Selección de Parámetros: Mediante la elección de $b_k = \frac{1}{2}(1 + a_k)$, garantizar que el mapeo construido pertenezca al espacio de Sobolev grand $W^{1,n)}$
2. Tratamiento Generalizado de Funciones de Norma:
   • Para el Teorema 1.1, requerir $h(t) = t^n\tau(t)$, donde $\tau$ satisface condiciones específicas de monotonía y límite
   • Para el Teorema 1.2, permitir cualquier función de norma
3. Técnicas de Estimación de Medidas: Establecer estimaciones clave entre el diámetro de cubos y la medida de Hausdorff: $\sum_{u \in U} h(\text{diam}Q_u) \approx 2^{-nk}\#U$

Teoremas Principales

Teorema 1.1 (Resultado de Cota Superior)

Sea $\tau: (0,\infty) \to [1,\infty)$ una función monótona continua que satisface $\lim_{t \to 0^+} \tau(t) = \infty$, y para todo $p \in (0,1]$ existe $x_p \in (0,1)$ tal que para todo $t \in (0, x_p)$ se tiene $\frac{1}{\tau(pt)} > t^n$.

Sea $h(t) = t^n\tau(t)$, entonces existe un homeomorfismo $f: Q_0 \to Q_0$ que satisface:

1. $f$ es la identidad en la frontera de $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ c.t.p.
4. Si $H^h(E) = 0$, entonces $L^n(f(E)) = 0$
5. Existe un conjunto $C_A$ tal que $H^h(C_A) \in (0,\infty)$, $L^n(C_A) = 0$ y $L^n(f(C_A)) > 0$

Teorema 1.2 (Resultado de Cota Inferior)

Para cualquier función de norma $h$, existe un homeomorfismo $f: Q_0 \to Q_0$ que satisface:

1. $f$ es la identidad en la frontera de $Q_0$
2. $f \in W^{1,n)}(Q_0, Q_0)$
3. $J_f > 0$ c.t.p.
4. Existe un conjunto $C_A$ tal que $H^h(C_A) = 0$, $L^n(C_A) = 0$ y $L^n(f(C_A)) > 0$

Puntos Clave de la Demostración

Estrategia de Demostración del Teorema 1.2

Seleccionar la sucesión $\{a_k\}$ tal que $h(c_n 2^{-k}a_k) < 2^{-2nk}$, donde $c_n = 2\sqrt{n}$. Esto garantiza que: $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$

Pasos Clave de la Demostración del Teorema 1.1

1. Selección de Sucesión: Construir $\{a_k\}$ tal que $a_k^n\tau(2^{-k}c_n a_k) \approx 1$
2. Acotación de Medida: Demostrar que $H^h(C_A) < \infty$
3. Positividad de Medida: Mediante argumentos de cobertura, demostrar que para cualquier cobertura abierta finita $\{U_j\}$ se tiene $\sum_j h(\text{diam}U_j) \gtrsim 1$
4. Construcción de Biyección: Construir un mapeo $z: C_A \to [0,1]^n$, estableciendo una correspondencia de medidas

Trabajos Relacionados

Desarrollo Histórico

• Curva de Peano (1890): El primer ejemplo que viola la condición de Luzin $N$
• Construcción de Cesari (1942): Construcción sistemática de contraejemplos
• Reshetnyak (1966): Resultados positivos en $W^{1,n}$
• Ponomarev (1971): Contraejemplos en $W^{1,p}$ ($p < n$)

Desarrollo Moderno

• Iwaniec-Sbordone: Teoría de espacios de Sobolev grand
• Kauhanen: Investigación de dimensión de Hausdorff
• Koskela-Malý y otros: Teoría moderna de la condición $N$

Conclusiones y Discusión

Conclusiones Principales

1. El conjunto crítico que viola la condición de Luzin $N$ puede ser arbitrariamente pequeño en el sentido de la medida de Hausdorff (Teorema 1.2)
2. Para funciones de norma cercanas a $t^n$, el conjunto crítico puede tener medida de Hausdorff positiva y finita (Teorema 1.1)
3. El espacio de Sobolev grand $W^{1,n)}$ es el marco apropiado para estudiar este tipo de problemas

Significado Teórico

Este artículo caracteriza completamente los posibles tamaños del conjunto crítico que viola la condición de Luzin $N$ bajo medidas de Hausdorff generales, profundizando así la comprensión de las propiedades geométricas de los mapeos de Sobolev.

Limitaciones

1. Los resultados se centran principalmente en construcciones de tipo Ponomarev específicas
2. Las condiciones sobre la función de norma $\tau$ en el Teorema 1.1 son bastante técnicas
3. No se consideran clases de mapeos más generales u otras condiciones de regularidad

Direcciones Futuras

1. Generalizar a espacios métricos de medida más generales
2. Estudiar otros tipos de conjuntos críticos (como conjuntos que violan la condición $N^{-1}$)
3. Explorar conexiones con la teoría de regularidad de soluciones de ecuaciones diferenciales parciales

Evaluación Profunda

Ventajas

1. Completitud Teórica: Caracteriza sistemáticamente las cotas superior e inferior de la medida de Hausdorff del conjunto crítico
2. Innovación Técnica: Combina ingeniosamente la teoría general de funciones de norma con la construcción clásica de Ponomarev
3. Generalidad de Métodos: Las técnicas de demostración pueden generalizarse a problemas relacionados
4. Claridad de Exposición: El artículo tiene una estructura clara y detalles técnicos exhaustivos

Deficiencias

1. Limitaciones de Aplicación: Los resultados son principalmente de naturaleza teórica, con valor práctico limitado
2. Complejidad Técnica: Algunas condiciones técnicas (como la condición de $\tau$ en el Teorema 1.1) son bastante artificiales
3. Grado de Innovación: Principalmente una generalización y refinamiento de la teoría existente

Impacto

• Valor Académico: Proporciona nuevas herramientas teóricas para análisis funcional y teoría de medidas geométricas
• Completitud Teórica: Llena el vacío teórico en el caso de funciones de norma generales
• Contribución Metodológica: Demuestra cómo combinar construcciones clásicas con teoría de medidas moderna

Escenarios Aplicables

1. Investigación teórica en teoría de medidas geométricas y análisis funcional
2. Desarrollo adicional de la teoría de mapeos de Sobolev
3. Problemas de regularidad en cálculo de variaciones y ecuaciones diferenciales parciales