Solvability of the Neumann problem for elliptic equations in chord-arc domains with very big pieces of good superdomains

Resumen Técnico: Solvabilidad del Problema de Neumann para Ecuaciones Elípticas en Dominios de Arco de Cuerda con Piezas Muy Grandes de Superdominios Buenos

Planteamiento del Problema
El artículo aborda la solvabilidad del problema de Neumann para operadores elípticos en forma de divergencia, $L = -\text{div}(A\nabla)$, dentro de dominios acotados de arco de cuerda (chord-arc domains) $\Omega \subset \mathbb{R}^{n+1}$. Se asume que los coeficientes de la matriz $A$ tienen oscilación media de Dini (DMO). El desafío central es establecer la solvabilidad en $L^p$ del problema de Neumann, denotado como $(N_p)_L$, para $1 < p \le 2$.

Si bien la solvabilidad del problema de Dirichlet $(D_p)_L$ y del problema de regularidad $(R_p)_L$ en dominios de arco de cuerda ha sido extensamente estudiada y resuelta para el Laplaciano y ciertas clases de operadores (por ejemplo, operadores DKP), el problema de Neumann sigue siendo significativamente más difícil. A diferencia del problema de Dirichlet, el problema de Neumann carece de un principio de máximo que permita la transferencia de la solvabilidad de subdominios al dominio original. Además, la función de Neumann no posee un signo definido, lo que impide el uso de técnicas de medida armónica positiva. Los autores se dirigen específicamente a la pregunta abierta de si $(N_p)_L$ es solvable en dominios de arco de cuerda, un problema resaltado por Kenig y posteriormente por Toro, particularmente en el contexto donde la frontera soporta una desigualdad de Poincaré-p débil.

Metodología
Los autores emplean un argumento de desigualdad de "buena $\lambda$" (good $\lambda$) combinado con un procedimiento de bootstrapping y dualidad. La metodología se basa en varios componentes técnicos clave:

1. Formulaciones Duales y Problemas de Neumann Rugosos: Los autores introducen variantes del problema de Neumann, incluyendo el "problema de Neumann rugoso" y versiones $\rho$-suaves. Utilizan argumentos de dualidad para relacionar la solvabilidad del problema de Neumann $(N_p)_L$ con la solvabilidad de un problema de Neumann "rugoso" para el operador adjunto $L^*$ en espacios de Lorentz ($L^{p', \infty}$). Específicamente, establecen que $(N_p)_L$ es solvable si y solo si el problema de Neumann rugoso $(N^R_{L^{p'}})_{L^*}$ es solvable, siempre que el problema de regularidad $(R_q)_L$ sea solvable para algún $q > p$.

2. Localización y Superdominios: Una innovación central es el uso de "piezas muy grandes" de superdominios. Los autores asumen que para cada bola $B(\xi, r)$ en la frontera, existe un "superdominio" $U_{\xi,r}$ (un dominio de arco de cuerda $C^2$) tal que $\Omega \cap B(\xi, r) \subset U_{\xi,r}$. Crucialmente, se asume que el problema de Neumann es uniformemente solvable en estos superdominios. La condición requiere que la parte "mala" de la frontera, $\partial \Omega \setminus \partial U_{\xi,r}$, tenga una medida pequeña relativa a la bola (controlada por un parámetro $\varepsilon$).

3. Desigualdad de Buena $\lambda$ e Interpolación: La prueba del teorema principal se basa en establecer una estimación de la forma:
   $$C_L(N^R_{L^{p'}, L^{p', \infty}}) \le K(1 + \varepsilon^a C_L(N^R_{L^{p'}, L^{p', \infty}}))$$
   Al elegir un $\varepsilon$ suficientemente pequeño, el término que involucra la constante desconocida en el lado derecho puede absorberse, obteniendo una cota uniforme. Esta estimación se deriva utilizando un lema de localización (Lema 4.3) que descompone la solución en partes locales y de campo lejano, utilizando la función de Neumann y sus propiedades (estimaciones de Moser, continuidad de Hölder).

4. Aproximación y Densidad: Los autores utilizan aproximaciones de la identidad $\rho$-suaves ($S_\rho$) para manejar la falta de suavidad en los datos de frontera y en los coeficientes del operador. Demuestran que la solvabilidad para las versiones suaves implica la solvabilidad para las versiones rugosas mediante argumentos de densidad e interpolación entre espacios de Lorentz.

Contribuciones Clave y Resultados
El resultado principal es el Teorema 1.1, que establece:
Sea $\Omega \subset \mathbb{R}^{n+1}$ un dominio de arco de cuerda $C^1$ acotado y $L \in \text{EDMO}(\mathbb{R}^{n+1})$. Sea $p \in (1, 2)$. Si:

1. El problema de regularidad $(R_q)_L$ es solvable en $\Omega$ para algún $q > p$;
2. $\partial \Omega$ soporta una desigualdad de Poincaré-p débil;
3. $\Omega$ tiene "piezas muy grandes" de superdominios $U_{\xi,r}$ (específicamente, dominios de arco de cuerda $C^2$) para los cuales el problema de Neumann $(N_q)_L$ es uniformemente solvable, y la medida de la diferencia de la frontera es pequeña ($\varepsilon$-pequeña);

Entonces, el problema de Neumann $(N_p)_L$ es solvable en $\Omega$.

Un corolario específico (Corolario 1.2) aplica esto al Laplaciano ($\Delta$). Afirma que si $(R_q)_\Delta$ es solvable en un dominio de arco de cuerda $C^1$ y el dominio tiene piezas muy grandes de superdominios Lipschitz con problemas de Neumann uniformemente solvables, entonces $(N_p)_\Delta$ es solvable.

Significado y Reivindicaciones
El artículo afirma que el Teorema 1.1 es un resultado nuevo incluso para el operador Laplaciano. Los autores señalan que, si bien la solvabilidad de $(N_2)_\Delta$ en dominios Lipschitz es un resultado clásico (Jerison-Kenig), extender esto a $L^p$ para $p \neq 2$ en dominios más rugosos (arco de cuerda) ha sido un problema abierto.

La importancia radica en:

• Superar la falta de Principio de Máximo: Los autores proporcionan un método para transferir la solvabilidad de "buenos" superdominios al dominio "rugoso" $\Omega$ sin depender del principio de máximo, el cual no está disponible para los problemas de Neumann.
• Abordar el Problema Abierto de Kenig: El trabajo progresa en la cuestión planteada por Kenig (1991) y Toro (2010) respecto a la existencia de un $p > 1$ para el cual el problema de Neumann sea solvable en dominios de arco de cuerda.
• Dualidad y Problemas de Neumann Rugosos: El artículo introduce y utiliza una formulación de problema de Neumann "rugoso" y su dualidad con el problema de regularidad, ofreciendo una nueva perspectiva sobre la solvabilidad de problemas de valores en la frontera en entornos no suaves.
• Optimalidad de las Condiciones: Los autores reconocen que su prueba requiere la condición de "piezas muy grandes" ( $\varepsilon$-pequeño) para absorber los términos de error en la desigualdad de buena $\lambda$. Discuten que una aplicación iterativa de su teorema podría eventualmente permitir $\varepsilon$ más grandes (más cercanos a 1), cubriendo potencialmente todos los dominios de arco de cuerda, aunque esto sigue siendo una dificultad potencial debido a la dependencia de las constantes en el proceso iterativo.

El artículo no pretende resolver el problema de Neumann para todos los dominios de arco de cuerda de manera incondicional, sino que establece la solvabilidad bajo la condición geométrica específica de tener "piezas muy grandes" de superdominios donde el problema ya es conocido como solvable. El resultado tiende un puente entre la solvabilidad en dominios Lipschitz (o $C^2$) y el entorno más general de arco de cuerda.