Nonlocal degenerate Isaacs operators: Hölder regularity

Resumen Técnico: Operadores de Isaacs No Locales Degenerados: Regularidad de Hölder

Planteamiento del Problema
El artículo aborda la regularidad de las soluciones de viscosidad acotadas para una clase de ecuaciones totalmente no lineales, no locales y fuertemente degeneradas de orden $2s$ (donde $s \in (0, 1)$). El operador específico bajo investigación es un contraparte no local de la suma de los autovalores más pequeño y más grande de la matriz Hessiana, $\lambda_1(D^2u) + \lambda_N(D^2u)$.

El operador $I$ se define mediante una estructura "inf-sup" sobre direcciones en la esfera unidad $S^{N-1}$:
$$Iu(x) = \inf_{\xi \in S^{N-1}} I_\xi u(x) + \sup_{\xi \in S^{N-1}} I_\xi u(x)$$
donde $I_\xi$ representa un Laplaciano fraccionario unidimensional a lo largo de la dirección $\xi$. A diferencia de los Laplacianos fraccionarios estándar o de los operadores no locales con núcleos rugosos (que típicamente recuperan la regularidad de Hölder para todo el rango $s \in (0, 1)$), este operador es "muy degenerado" porque el proceso de Lévy subyacente está soportado solo en un conjunto de direcciones que incluye las extremas (autovalores mínimos y máximos), pero carece de elipticidad completa en todas las direcciones.

La cuestión central es si las soluciones de viscosidad acotadas a $Iu = f(x)$ poseen continuidad de Hölder y, de ser así, bajo qué condiciones sobre el orden $s$.

Metodología
Los autores emplean técnicas de soluciones de viscosidad, específicamente apoyándose en el principio de máximo y argumentos de barrera al estilo de Ishii-Lions, en lugar de métodos variacionales o la teoría de De Giorgi-Nash-Moser. El núcleo de la prueba involucra un argumento de duplicación de variables para establecer estimaciones de Hölder.

Componentes técnicos clave:

1. Duplicación de Variables: Los autores construyen una función de prueba $\phi(x, y) = u(x) - u(y) - M|x-y|^\alpha - L|x-z_0|^2$ para analizar la oscilación de la solución. Suponen que el supremo de esta función es positivo y derivan una contradicción comparando el operador aplicado a la solución en el punto de máximo $(\bar{x}, \bar{y})$.
2. Análisis Direccional: Un paso crítico consiste en estimar el operador $I$ eligiendo direcciones específicas. La prueba utiliza el hecho de que el operador "ve" las direcciones extremas. Los autores seleccionan la dirección $\bar{\xi} = \frac{\bar{x}-\bar{y}}{|\bar{x}-\bar{y}|}$ para acotar los términos de ínfimo y supremo.
3. Estimaciones Integrales: La prueba depende fuertemente de estimaciones precisas de integrales singulares que involucran cocientes de diferencias de las funciones de prueba. Los autores definen funciones auxiliares (por ejemplo, $h_c(s)$ y $g_c(\alpha)$) que involucran integrales de términos logarítmicos y de potencia para determinar el signo de las desigualdades resultantes.
4. Regularidad en la Frontera: Para la regularidad global, los autores establecen estimaciones en la frontera utilizando la función de distancia $d(x)$. Demuestran que las soluciones se comportan como $d(x)^\alpha$ cerca de la frontera analizando la acción del operador sobre $d(x)^\alpha$ y utilizando las propiedades de la función de distancia con signo cerca de fronteras $C^2$.
5. Teorema de Liouville: El resultado de Liouville se deriva combinando las estimaciones de Hölder en el interior con un argumento de escalamiento. Al reescalar la solución y hacer que el radio del dominio tienda al infinito, el módulo de continuidad de Hölder fuerza a la solución a ser constante.

Contribuciones y Resultados Clave

• Regularidad de Hölder Interior (Teorema 1.1): El resultado principal establece que existe un umbral $s_0 \in (1/2, 1)$ tal que para cualquier $s \in (s_0, 1)$, las soluciones de viscosidad acotadas a $Iu = f$ son localmente continuas de Hölder ($C^{0, \alpha}_{loc}$). Esto es significativo porque, a diferencia de los operadores con medidas de Lévy singulares soportadas en conjuntos de medida positiva (donde la regularidad se mantiene para todo $s \in (0, 1)$), este operador degenerado requiere que $s$ esté suficientemente cerca de 2 (es decir, $s > 1/2$) para recuperar la regularidad.
• Regularidad de Hölder Global (Teorema 1.2): Para un dominio acotado $C^2$ $\Omega$ con condiciones de Dirichlet cero, la solución es globalmente continua de Hölder en $\Omega$ siempre que $s > s_0$.
• Teorema de Liouville (Teorema 1.3): Como consecuencia de la regularidad, los autores demuestran que cualquier solución de viscosidad acotada a la ecuación homogénea $Iu = 0$ en todo el espacio $\mathbb{R}^N$ es constante, siempre que $s > s_0$.
• Contraejemplo para Supersoluciones: El artículo destaca una distinción entre soluciones y supersoluciones. Mientras que la propiedad de Liouville se cumple para las soluciones cuando $s > s_0$, los autores demuestran (citando argumentos de [BGT22]) que existen supersoluciones acotadas no triviales para la misma ecuación en cualquier dimensión $N \ge 2$. Esto contrasta con el caso local ($s=1$) donde la propiedad de Liouville se cumple también para las supersoluciones.

Significancia y Reivindicaciones
El artículo sostiene que la estructura de "dirección extrema" del operador es suficiente para recuperar la regularidad de Hölder, pero solo cuando el orden no local está lo suficientemente cerca del caso local de segundo orden. Esto contrasta con trabajos previos sobre operadores no locales degenerados donde la regularidad se establecía a menudo para todo el rango de $s$.

Los autores señalan que su enfoque es distinto de los métodos variacionales utilizados por Ros-Oton y Serra para núcleos rugosos; en su lugar, su enfoque basado en la viscosidad les permite manejar la estructura específica de "inf + sup" del operador de Isaacs. La restricción $s > s_0$ es intrínseca al método y a la geometría de la degeneración del operador; el artículo no pretende establecer la regularidad para $s \le 1/2$.

El trabajo amplía la comprensión de las ecuaciones no lineales no locales, específicamente aquellas que surgen de problemas de control óptimo con difusión degenerada, al proporcionar los primeros resultados de regularidad para esta clase específica de "Laplacianos truncados no locales" en el entorno degenerado.