Partial regularity for variational integrals with Morrey-Hölder zero-order terms, and the limit exponent in Massari's regularity theorem

Este artículo revisa la teoría de regularidad parcial $\mathrm{C}^{1,\alpha}$ para minimizadores de integrales variacionales, estableciendo la dependencia óptima del exponente de Hölder en las condiciones estructurales de los términos de orden cero y confirmando la regularidad óptima hasta el exponente límite en el teorema de regularidad de Massari para hipersuperficies de curvatura media prescrita.

Lo esencial

Imagina que estás intentando entender la forma de una superficie compleja, como la piel de una montaña o la superficie de una burbuja de jabón que se deforma bajo ciertas fuerzas. En matemáticas, estos problemas se modelan con ecuaciones muy complicadas llamadas "integrales variacionales".

El objetivo de este artículo es responder a una pregunta fundamental: ¿Qué tan suave y perfecta es esta superficie? ¿Es como un cristal pulido (suave en todas partes) o tiene grietas, esquinas y zonas rugosas?

Aquí tienes una explicación sencilla de lo que hacen los autores, Thomas Schmidt y Jule Helena Schütt, usando analogías de la vida diaria:

1. El Problema: La "Receta" de la Superficie

Imagina que la superficie que quieres estudiar es una masa de pan que estás horneando.

• La parte "f" (La harina y el gluten): Representa la energía interna de la superficie. Si estiras la masa, cuesta trabajo (energía). Los matemáticos ya sabían bastante sobre cómo se comporta esta parte si es "convexa" (como una bola de pan perfecta).
• La parte "g" (El relleno o la levadura): Esta es la parte nueva y complicada. Imagina que dentro de la masa hay ingredientes extra (como trozos de fruta o levadura) que no se distribuyen uniformemente. Estos ingredientes cambian la forma de la masa de maneras impredecibles. En el lenguaje matemático, esto se llama un "término de orden cero".

El problema es que estos ingredientes extra (la función $g$) pueden ser muy "gritones" o desordenados. A veces, la masa se vuelve rugosa en ciertos puntos. Los autores querían saber: ¿Bajo qué condiciones podemos garantizar que la masa será suave (como un cristal) en la mayoría de los puntos?

2. La Medición: El "Termómetro de Suavidad"

Los matemáticos usan un concepto llamado exponente de Hölder ($\alpha$).

• Si $\alpha = 1$, la superficie es perfectamente suave (como un espejo).
• Si $\alpha = 0.5$, es un poco rugosa (como papel de lija fino).
• Si $\alpha$ es muy bajo, es muy áspera.

El gran descubrimiento de este papel es encontrar el valor exacto de este $\alpha$. Antes, los matemáticos decían: "La superficie será suave hasta cierto punto, pero no sabíamos exactamente hasta dónde". Es como decir: "El agua hervirá, pero no sabemos si a los 99°C o a los 100°C".

Ellos han calculado la "temperatura exacta" (el exponente óptimo) en la que la superficie deja de ser suave.

3. La Analogía de la "Regla de Oro" (La Condición de Morrey-Hölder)

Para lograr esto, los autores crearon una regla muy específica para medir el desorden de los ingredientes extra ($g$). Imagina que tienes un mapa de la montaña y quieres saber si hay rocas sueltas.

• Usan una herramienta llamada Espacios de Morrey. Imagina que en lugar de mirar toda la montaña de golpe, tomas una lupa y miras pequeños círculos.
• La regla dice: "Si el desorden de los ingredientes no es demasiado fuerte dentro de cualquier círculo pequeño que elijas, entonces la superficie será suave".
• Lo genial es que han afinado esta lupa para que sea lo más sensible posible. Han encontrado el límite exacto de cuánto desorden puede haber antes de que la superficie se rompa.

4. El Resultado Principal: "Regularidad Parcial"

La conclusión no es que toda la superficie sea perfecta. Es como decir: "En el 99.9% de la superficie, todo está perfectamente liso. Solo en un 0.1% (un conjunto de medida cero) puede haber grietas o esquinas".

Esto se llama regularidad parcial.

• La sorpresa: Descubrieron que incluso si los ingredientes extra son muy desordenados, la superficie se "autocura" y se vuelve suave en casi todos lados, siempre que el desorden no supere un umbral matemático muy preciso que ellos calcularon.

5. La Aplicación Real: Las Superficies Mínimas (El caso de Massari)

Al final del artículo, aplican esta teoría a un problema famoso: Las superficies de curvatura media prescrita.

• Imagina una membrana elástica (como una tela de araña) que está siendo empujada por el viento o por una fuerza externa.
• El matemático Ugo Massari ya había estudiado esto, pero su teoría tenía un "límite" en la suavidad. Decía que la superficie sería suave hasta cierto punto, pero no podía garantizar la suavidad máxima posible.
• El logro de este papel: Los autores toman la teoría de Massari y la llevan al límite. Usando sus nuevas herramientas, demuestran que la superficie es tan suave como matemáticamente es posible (el "exponente óptimo"). Es como si Massari hubiera dicho "el coche puede ir a 100 km/h" y estos autores demostraron que, en realidad, puede ir a 100.000001 km/h sin romperse.

En Resumen

Este artículo es como un manual de ingeniería de precisión para superficies complejas.

1. Identifican el desorden en el sistema (los ingredientes extra).
2. Crean una regla de medición ultra-precisa (los espacios de Morrey) para ver cuánto desorden es aceptable.
3. Calculan el límite exacto de suavidad que se puede alcanzar.
4. Aplican esto a problemas reales de física y geometría (como burbujas o membranas), demostrando que podemos predecir con exactitud dónde y cuán suave será la superficie.

Es un trabajo que cierra un capítulo de la matemática que había estado abierto durante décadas, ofreciendo la respuesta definitiva sobre cuán "perfectas" pueden ser estas formas naturales.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Partial regularity for variational integrals with Morrey-Hölder zero-order terms, and the limit exponent in Massari's regularity theorem", escrito por Thomas Schmidt y Jule Helena Schütt.

1. Planteamiento del Problema

El artículo aborda el problema de la regularidad parcial para los minimizadores de funcionales variacionales no paramétricos de la forma:
$$\mathcal{F}[w] = \int_{\Omega} \left[ f(Dw) + g(\cdot, w) \right] dx$$
donde:

• $f: \mathbb{R}^{N \times n} \to \mathbb{R}$ es el integrando de primer orden (dependiente del gradiente), que se asume $C^2$, 2-estrictamente cuasiconvexo y con crecimiento cuadrático.
• $g: \Omega \times \mathbb{R}^N \to \mathbb{R}$ es el integrando de orden cero (término de fuente o potencial), que puede ser muy general, no diferenciable en $w$ y satisfacer condiciones de crecimiento y regularidad específicas.

El objetivo central es determinar la dependencia precisa y óptima del exponente de Hölder $\alpha$ en la regularidad $C^{1,\alpha}$ de los minimizadores en función de las hipótesis estructurales sobre el término de orden cero $g$. Específicamente, se estudia el caso en que $g$ satisface una condición de tipo Morrey-Hölder:
$$|g(x, y) - g(x, \tilde{y})| \leq \Gamma(x)(1 + |y| + |\tilde{y}|)^{q-\beta} |y - \tilde{y}|^\beta$$
donde $\beta \in (0, 1]$ es el exponente de Hölder, $q \geq \beta$ es el exponente de crecimiento, y $\Gamma$ es una función no negativa cuya regularidad se mide en espacios de Morrey.

Un caso particular de gran relevancia es la aplicación a la regularidad de superficies con curvatura media prescrita (Teorema de regularidad de Massari), donde se busca cerrar la brecha entre los exponentes de regularidad conocidos y el exponente límite óptimo.

2. Metodología

Los autores emplean una combinación sofisticada de técnicas modernas en el cálculo de variaciones y ecuaciones en derivadas parciales elípticas:

1. Aproximación A-armónica: Se basa en el método introducido por Duzaar y Steffen y desarrollado posteriormente. La idea es aproximar el minimizador local $u$ por una función $h$ que es solución de un sistema lineal elíptico con coeficientes constantes ($A$-armónica), donde $A = D^2f(\xi)$. Esto permite transferir las estimaciones de regularidad de la teoría lineal al caso no lineal.
2. Desigualdad de Caccioppoli: Se deriva una desigualdad de energía para la función $v = u - \zeta - \xi x$ (desviación de un plano afín). La dificultad técnica principal radica en controlar el término de orden cero $g$ utilizando las condiciones de Morrey sobre $\Gamma$ y las desigualdades de Hölder y Young, obteniendo términos que dependen de $\varepsilon$ y potencias del radio $\rho$.
3. Estimaciones de Exceso (Excess Estimates): Se define el "exceso cuadrático" $\Phi(x_0, \rho) = \fint_{B_\rho} |Du - (Du)_{x_0,\rho}|^2 dx$. El núcleo de la prueba consiste en demostrar una mejora de exceso: si el exceso es pequeño en una bola, se reduce significativamente en una bola más pequeña, con una tasa de decaimiento controlada por el exponente $\alpha$.
4. Caracterización de Campanato: Una vez establecida la mejora de exceso, se utiliza la caracterización integral de Campanato para concluir que el gradiente $Du$ es Hölder continuo, lo que implica $u \in C^{1,\alpha}$.
5. Tratamiento de Casos Especiales:
   • Se distinguen casos según si el minimizador es acotado ($L^\infty$) o tiene gradiente acotado ($W^{1,\infty}$), lo que permite relajar las condiciones sobre $\Gamma$ (eliminar la condición de Morrey complementaria).
   • Se maneja la no uniformidad de la elipticidad en el caso de minimizadores $W^{1,\infty}$.

3. Contribuciones Clave y Resultados Principales

A. Teoremas de Regularidad Parcial General (Teoremas 1.2, 1.3, 1.4)

Los autores establecen la regularidad $C^{1,\alpha}$ local en un conjunto abierto $\Omega_{reg}$ de medida total (donde el complemento tiene medida cero).

• Dependencia Óptima del Exponente $\alpha$: El resultado principal es la determinación exacta de cómo $\alpha$ depende de $\beta$, $q$ y la integrabilidad de $\Gamma$.
  • Si $\Gamma \in L^p_{loc}$, el exponente óptimo es $\alpha = \frac{\beta - n/p}{2 - \beta}$.
  • Si $\Gamma \in L^\infty_{loc}$, se recupera el exponente conocido $\alpha = \frac{\beta}{2-\beta}$.
• Condiciones de Morrey: Se identifican condiciones precisas sobre $\Gamma$ en espacios de Morrey $L^{s, \lambda}$ que garantizan la regularidad. Se demuestra que la condición sobre el exponente de crecimiento $q$ y la regularidad de $\Gamma$ deben satisfacer relaciones específicas para que el término de orden cero no degrade la regularidad del gradiente.
• Versatilidad: Los teoremas cubren:
  • Minimización general (Teorema 1.2).
  • Minimizadores acotados a priori (Teorema 1.3), donde se elimina una condición técnica sobre $\Gamma$.
  • Minimizadores con gradiente acotado en casos no uniformemente elípticos (Teorema 1.4).

B. Aplicación al Teorema de Massari (Teorema 1.5)

Este es el resultado de mayor impacto en el contexto geométrico. Se considera el funcional de Massari para conjuntos de perímetro finito con curvatura media prescrita $H \in L^p(U)$:
$$\mathcal{F}_H^U(F) = P(F, U) - \int_{U \cap F} H \, dx$$

• Antecedentes: Trabajos anteriores (incluyendo el predecesor de los autores [80]) habían establecido regularidad $C^{1,\alpha}$ para todo $\alpha < \alpha_{opt}$, donde $\alpha_{opt} = \frac{p-(n+1)}{p+1}$, y mostraron contraejemplos para $\alpha > \alpha_{opt}$.
• Avance: El artículo logra cerrar la brecha probando la regularidad $C^{1,\alpha_{opt}}$ exactamente en el exponente límite.
• Resultado: Si $E$ minimiza el funcional con $H \in L^p_{loc}(U)$ y $p > n+1$, entonces la frontera reducida $\partial^* E \cap U$ es una subvariedad $C^{1, \alpha_{opt}}$ con $\alpha_{opt} = \frac{p-(n+1)}{p+1}$.
• Conjunto Singular: Se confirma que el conjunto singular tiene dimensión de Hausdorff $\leq n-7$ (para $n \geq 7$) y es vacío para $n \leq 6$, coincidiendo con los resultados clásicos de regularidad para superficies mínimas.

4. Significado e Impacto

1. Optimalidad: El trabajo proporciona el exponente de regularidad óptimo y agudo para una clase muy amplia de funcionales variacionales con términos de orden cero irregulares. No se puede esperar un exponente mayor sin imponer condiciones más fuertes sobre $g$.
2. Unificación de Marcos: El artículo conecta de manera elegante la teoría de regularidad para integrales variacionales no paramétricas con la teoría de superficies con curvatura media prescrita (caso paramétrico), demostrando que las técnicas de regularidad parcial pueden aplicarse y refinarse en ambos contextos.
3. Resolución de una Conjetura: Al probar la regularidad en el exponente límite para el teorema de Massari, se resuelve una cuestión abierta sobre la optimalidad de los resultados de regularidad en presencia de curvatura media en $L^p$.
4. Herramientas Técnicas: Las estimaciones refinadas de Caccioppoli y el manejo de las condiciones de Morrey-Hölder para el término de orden cero ofrecen nuevas herramientas que pueden ser aplicadas a otros problemas de regularidad en sistemas elípticos no lineales.

En resumen, este artículo representa un avance fundamental en la teoría de regularidad parcial, estableciendo límites precisos para la suavidad de los minimizadores y resolviendo definitivamente el caso límite en el problema de curvatura media prescrita.