On the traces of harmonic functions $H^{1/2}$ and $H^{3/2}$ in Lipschitz domains

Resumen Técnico: Sobre las trazas de funciones armónicas $H^{1/2}$ y $H^{3/2}$ en dominios Lipschitz

Planteamiento del Problema
El artículo aborda la validez de estimaciones específicas de equivalencia de normas para funciones armónicas en dominios Lipschitz acotados, particularmente en lo que respecta a la relación entre la norma $L^2$ de la traza en la frontera $\Gamma$ y las normas de Sobolev ponderadas que involucran el gradiente y el hessiano en el interior $\Omega$. Específicamente, los autores investigan las desigualdades propuestas por Dahlberg [7] y otros, que sugieren que para una función armónica $u$ que se anula en un punto fijo $x_0 \in \Omega$:
$$C^{-1}\|u\|_{L^2(\Gamma)} \leq \left( \int_\Omega \varrho |\nabla u|^2 \right)^{1/2} \leq C\|u\|_{L^2(\Gamma)}$$
donde $\varrho$ es la distancia a la frontera. La cuestión central es si estas estimaciones se mantienen generalmente para funciones armónicas en $H^{1/2}(\Omega)$ (y, por extensión, en $H^{3/2}(\Omega)$) cuando el dominio $\Omega$ es meramente Lipschitz, o si fallan ante la presencia de esquinas no convexas (dominios poligonales/poliédricos).

Metodología
Los autores emplean una combinación de la teoría de interpolación para subespacios, la teoría de regularidad para la ecuación de Laplace en dominios no suaves y la construcción explícita de contraejemplos.

1. Análisis de Regularidad en Dominios Poligonales/Poliédricos: Utilizando el trabajo de Grisvard y la teoría de interpolación (específicamente los teoremas de Ivanov-Kalton y Asekritova-Cobos-Kruglyak), los autores analizan la solvencia del problema de Dirichlet no homogéneo $-\Delta u = f$ con $u=0$ en $\Gamma$ en espacios de Sobolev fraccionarios $H^s(\Omega)$ para $0 \leq s \leq 2$. Caracterizan los núcleos del Laplaciano en estos espacios, demostrando que para polígonos no convexos, el núcleo $N_{-s}(\Omega)$ es no trivial para ciertos valores de $s$, lo que afecta las propiedades de isomorfismo de la operación del Laplaciano.
2. Construcción de Contraejemplos: Para probar la validez de las desigualdades de traza, los autores construyen una familia específica de dominios Lipschitz $\Omega_\varepsilon$ y funciones armónicas basadas en una función explícita proporcionada por Nečas. Esta función está diseñada para pertenecer a $H^{3/2}(\Omega_\varepsilon)$ con una norma de hessiano ponderada acotada, mientras que su derivada tangencial en la frontera crece sin límite conforme el parámetro del dominio $\varepsilon \to 0$.
3. Identificación de Espacios Funcionales: Al reconocer el fallo de las inclusiones estándar, los autores definen un nuevo espacio funcional $E(\nabla; \Omega) = \{v \in H^{1/2}(\Omega); \nabla v \in [H^{1/2}(\Omega)]'\}$. Investigan las propiedades del operador de traza $\gamma_0$ restringido a este espacio.
4. Supuestos de Regularidad: El artículo contrasta el caso Lipschitz con dominios de clase $C^{1,1}$, donde los resultados de regularidad estándar se cumplen, para delimitar las condiciones precisas bajo las cuales las estimaciones de traza son válidas.

Contribuciones Clave y Resultados

• Refutación de las Desigualdades de Traza Generales: El artículo demuestra que las desigualdades (1.1) y (1.2) citadas de Dahlberg y otros no pueden ser válidas en su forma actual para dominios Lipschitz generales. Específicamente, para un dominio poligonal no convexo, existen funciones armónicas en $H^{3/2}(\Omega)$ (y $H^{1/2}(\Omega)$) tales que las normas interiores ponderadas son acotadas, pero la traza en la frontera (en $H^1(\Gamma)$ o $L^2(\Gamma)$) es ilimitada. Esto invalida la afirmación de que cualquier función armónica en $H^{1/2}(\Omega)$ posee automáticamente una traza $L^2(\Gamma)$ en un entorno Lipschitz general.
• Regularidad Óptima para el Problema de Dirichlet: Los autores proporcionan una caracterización completa de la solvencia del problema de Dirichlet en espacios de Sobolev fraccionarios para dominios poligonales y poliédricos. Identifican exponentes críticos relacionados con el ángulo interior más grande $\omega_\star$ (específicamente $1 - \pi/\omega_\star$) donde la regularidad de la solución cae por debajo de los niveles esperados de $H^{3/2}$ o $H^2$, a menos que se cumplan condiciones de compatibilidad sobre el término fuente $f$.
• Introducción del Espacio $E(\nabla; \Omega)$: El artículo identifica a $E(\nabla; \Omega)$ como el marco funcional correcto para la teoría de traza en el caso límite $s=1/2$.
  • El operador de traza $\gamma_0: E(\nabla; \Omega) \to L^2(\Gamma)$ está bien definido y es continuo.
  • El núcleo de este operador es exactamente $H^{1/2}_{00}(\Omega)$.
  • Esto proporciona una nueva caracterización de $H^{1/2}_{00}(\Omega)$ y ofrece una alternativa a $H^{1/2}(\Omega)$ para asegurar la existencia de una traza $L^2$.
• Validez en Dominios $C^{1,1}$: Los autores prueban que, si el dominio $\Omega$ es de clase $C^{1,1}$, las desigualdades originales sí se cumplen. En este entorno regular, el operador de traza es un isomorfismo entre el espacio de funciones armónicas en $H^{1/2}(\Omega)$ y $L^2(\Gamma)$, y de manera similar entre $H^{3/2}(\Omega)$ y $H^1(\Gamma)$ (para la derivada normal).

Significado
Este artículo clarifica una brecha crítica en la comprensión de las trazas de funciones armónicas en dominios no suaves. Corrige la suposición de que las normas de gradiente ponderadas en dominios Lipschitz son suficientes para garantizar trazas de frontera $L^2$ para funciones armónicas. Al establecer que estas estimaciones fallan en presencia de esquinas entrantes, el trabajo requiere un enfoque más matizado de la teoría de regularidad, apoyándose en el espacio específico $E(\nabla; \Omega)$ en lugar de los espacios de Sobolev estándar $H^{1/2}(\Omega)$ para los casos límite. Los resultados refinan la comprensión de la solvencia del problema de Dirichlet en espacios fraccionarios para dominios poligonales, resaltando la dependencia de la regularidad de las singularidades geométricas del dominio.