Lipschitz regularity of harmonic quasiconformal maps between Lyapunov domains in $\mathbb{R}^n$

Resumen Técnico: Regularidad de Lipschitz de Mapeos Cuasiconformes Armónicos entre Dominios de Lyapunov

Planteamiento del Problema
El artículo aborda la regularidad de los mapeos cuasiconformes armónicos (HQC) entre dominios acotados en $\mathbb{R}^n$. Específicamente, investiga si un homeomorfismo $K$-cuasiconforme armónico que preserva el sentido $f: D \to \Omega$ es globalmente continuo de Lipschitz cuando el dominio de origen $D$ y el dominio de llegada $\Omega$ son dominios de Lyapunov (equivalentemente, dominios acotados $C^{1,\alpha}$ con $\alpha \in (0, 1]$).

Mientras que trabajos previos (específicamente [11]) establecieron la continuidad de Lipschitz cuando el dominio de origen era la bola unidad $B^n$ y el de llegada tenía una frontera $C^{1,\alpha}$, el caso general donde el dominio de origen $D$ es un dominio $C^{1,\alpha}$ arbitrario permanecía abierto. Los autores pretenden extender este resultado a dominios de origen y llegada $C^{1,\alpha}$ arbitrarios.

Metodología
La demostración se basa en un esquema de iteración en la frontera que convierte la continuidad de Hölder inicial de la traza de la frontera en una regularidad superior, resultando eventualmente en un gradiente acotado hasta la frontera. La metodología procede a través de las siguientes etapas:

1. Continuidad de Hölder Global: Los autores establecen primero que $f$ es globalmente continua de $\beta$-Hölder para algún $\beta \in (0, 1)$. Esto se deriva del hecho de que los dominios $C^{1,\alpha}$ acotados son dominios uniformes (y, por lo tanto, dominios de John), lo que permite la aplicación de teoremas existentes relativos a mapeos entre dominios uniformes y dominios de John.
2. Estimaciones de Gradiente de la Frontera al Interior: La herramienta analítica central es una estimación localizada cerca de un punto de la frontera $x_0 \in \partial D$.
   • Lema 3.1: Si la traza de la frontera de una función armónica $u$ satisface una condición de $\mu$-Hölder ($0 < \mu < 1$) en $x_0$, entonces el gradiente $|\nabla u(x)|$ a lo largo del rayo normal hacia el interior decae como $t^{\mu-1}$, donde $t$ es la distancia a la frontera.
   • Lema 3.2: Si el exponente de Hölder $\mu > 1$, la estimación del gradiente se vuelve uniforme (acotada) cerca de la frontera.
   • Estos lemas utilizan estimaciones de la medida armónica en dominios $C^{1,\alpha}$, aplanando la frontera para convertirla en una gráfica, y aplicando estimaciones de Lipschitz de frontera estándar.
3. Mejora del Exponente vía Cuasiconformalidad:
   • Los autores rotan el sistema de coordenadas en un punto de la frontera $q = f(\xi)$ de modo que la frontera del objetivo $\partial \Omega$ esté representada localmente como una gráfica $C^{1,\alpha}$ $y_n = \Phi(y')$.
   • La componente normal del mapeo, $f_n$, está restringida por la geometría de la frontera: $f_n(\eta) = \Phi(\tilde{f}(\eta))$. Dado que $\Phi$ es $C^{1,\alpha}$ y las componentes tangenciales son de $\beta$-Hölder, la componente normal gana regularidad, satisfaciendo una condición de Hölder con exponente $\beta_1 = (1+\alpha)\beta$.
   • Se utiliza la cuasiconformalidad para propagar este control desde la componente normal hacia el diferencial completo $|Df|$. Específicamente, el valor singular más pequeño del diferencial controla la norma completa, y la estimación del gradiente en la frontera para la componente normal proporciona el control necesario.
4. Iteración: El exponente de Hölder mejorado $\beta_1$ se reintroduce en la estimación del gradiente. Al iterar este proceso ($\beta_{m+1} = (1+\alpha)\beta_m$), el exponente eventualmente supera 1. Una vez que $\beta_m > 1$, el Lema 3.2 se aplica, arrojando un límite uniforme sobre $|Df|$ en un entorno de collar de la frontera.
5. Globalización: Los límites locales cerca de la frontera se combinan con las estimaciones de gradiente en el interior estándar (válidas dado que $f$ es armónica y suave en el interior) para establecer un límite global sobre $|Df|$.

Contribuciones Clave y Resultados

• Teorema Principal (Teorema 2.1): Los autores demuestran que si $D$ y $\Omega$ son dominios $C^{1,\alpha}$ acotados en $\mathbb{R}^n$ ($\alpha \in (0, 1)$), entonces cualquier homeomorfismo $K$-cuasiconforme armónico $f: D \to \Omega$ es globalmente continuo de Lipschitz.
• Extensión de Trabajo Previo: Este resultado generaliza los hallazgos de [11], eliminando la restricción de que el dominio de origen deba ser la bola unidad.
• Marco Técnico: El artículo proporciona un detallado "esquema de iteración de frontera" que vincula explícitamente la regularidad $C^{1,\alpha}$ de la frontera con la ganancia en los exponentes de Hölder de la componente normal y, posteriormente, con la acotación del gradiente completo.
• Estimaciones Auxiliares: El artículo establece estimaciones cuantitativas precisas (Lemas 3.1 y 3.2) que relacionan el control de Hölder en la frontera con los límites del gradiente en el interior para funciones armónicas en dominios $C^{1,\alpha}$, distinguiendo entre los casos $\mu < 1$ y $\mu > 1$.

Significado y Pretensiones
El artículo afirma resolver la cuestión de la regularidad para los mapeos HQC entre dominios de Lyapunov arbitrarios. La significación radica en:

• Eliminación de Restricciones Geométricas: Al permitir que el dominio de origen sea un dominio $C^{1,\alpha}$ arbitrario en lugar de solo la bola unidad, el resultado se aplica a una clase mucho más amplia de configuraciones geométricas.
• Enfoque Unificado: El argumento sintetiza herramientas del análisis armónico (medida armónica, estimaciones de frontera) y la geometría cuasiconforme (distorsión de diferenciales, valores singulares) para propagar la regularidad desde la frontera hacia el interior.
• Alcance Modesto: Los autores presentan el trabajo como una mejora de [11] bajo el único supuesto de fronteras $C^{1,\alpha}$ para el origen. No pretenden resolver el problema para dominios menos regulares (por ejemplo, dominios Lipschitz sin suavidad $C^{1,\alpha}$) ni proporcionar constantes bi-Lipschitz, centrándose estrictamente en la propiedad de continuidad de Lipschitz global.

El artículo concluye señalando que, en el caso plano, resultados similares fueron obtenidos previamente mediante la reducción al disco unidad y la teoría de mapeos conformes, pero la prueba en dimensiones superiores presentada aquí depende del esquema de iteración intrínseco descrito anteriormente.