Un problema variacional $L^\infty$ que involucra el Laplaciano Fraccionario

Información Básica

• ID del Artículo: 2510.14476
• Título: An $L^\infty$-variational problem involving the Fractional Laplacian
• Autores: Simone Carano, Roger Moser
• Clasificación: math.AP (Análisis de EDPs)
• Fecha de Publicación: 17 de octubre de 2025
• Enlace del Artículo: https://arxiv.org/abs/2510.14476

Resumen

Este artículo estudia problemas variacionales $L^\infty$ que involucran el operador Laplaciano fraccionario. Para $s\in(0,1)$ y un conjunto abierto acotado $\Omega\subset\mathbb{R}^n$, los autores demuestran la existencia y unicidad de minimizadores absolutos del funcional supremo $E_\infty(u)=\|(-\Delta)^s u\|_{L^\infty(\mathbb{R}^n)}$, donde $(-\Delta)^s$ es el operador Laplaciano fraccionario de orden $s$ y $u$ tiene datos de Dirichlet prescritos en el complemento de $\Omega$. Además, se demuestra que el minimizador $u_\infty$ satisface la ecuación diferencial parcial fraccionaria $(-\Delta)^s u_\infty=E_\infty(u_\infty)\,\mathrm{sgn}f_\infty$ en $\Omega$, donde la función analítica $f_\infty\in L^1(\Omega)$ es la restricción de la medida $s$-armónica $\mu$ en $\Omega$.

Contexto de Investigación y Motivación

Antecedentes del Problema

Esta investigación aborda problemas variacionales $L^\infty$ para operadores diferenciales fraccionarios, que constituyen un problema no local de orden $2s$. A diferencia del caso clásico local ($s=1$), la naturaleza no local del operador Laplaciano fraccionario requiere considerar el comportamiento minimizador en todo $\mathbb{R}^n$, no solamente dentro del dominio $\Omega$.

Motivación de la Investigación

1. Extensión Teórica: Extender la teoría variacional $L^\infty$ desde operadores de orden entero a operadores fraccionarios, lo cual aún no ha sido suficientemente estudiado en la literatura.
2. Verificación de Métodos: Verificar la robustez del método variacional $L^\infty$ en el contexto fraccionario.
3. Perfeccionamiento Teórico: En el caso fraccionario no se requieren suposiciones sobre la regularidad de la frontera $\partial\Omega$, lo que contrasta con el caso local.

Limitaciones de Métodos Existentes

• La literatura existente se enfoca principalmente en el comportamiento asintótico $p\to\infty$ de la norma $W^{s,p}$
• La investigación directa de funcionales supremo que involucran operadores no locales de orden $2s$ permanece como un vacío en la literatura
• Las dificultades técnicas en el caso de orden superior hacen que los métodos del caso de primer orden no se generalicen directamente

Contribuciones Principales

1. Existencia y Unicidad: Se demuestra la existencia y unicidad de soluciones del problema variacional fraccionario $\min_{u\in W^{2s,\infty}_{u_0}(\Omega)} E_\infty(u)$.
2. Caracterización por EDP: Se establece la condición necesaria y suficiente que satisface el minimizador: $(-\Delta)^s u_\infty = e_\infty \text{sgn} f_\infty \quad \text{c.p.d. en } \Omega$
3. Resultados de Teoría de Medidas: Se demuestra la existencia de una medida $s$-armónica $\mu$ tal que: $(-\Delta)^s u_\infty = e_\infty \frac{d\mu}{d|\mu|} \quad \text{en } \text{supp}|\mu| \setminus \partial\Omega$
4. Resultados de Analiticidad: Se demuestra que la función $f_\infty$ es analítica real en $\Omega$.

Descripción Detallada de Métodos

Definición de la Tarea

Dado el dato de frontera $u_0 \in C^{2s+\gamma}_c(\mathbb{R}^n)$ (para algún $\gamma > 0$), se busca encontrar el minimizador del funcional $E_\infty(u) = \|(-\Delta)^s u\|_{L^\infty(\mathbb{R}^n)}$ en la clase de competencia $W^{2s,\infty}_{u_0}(\Omega) := u_0 + W^{2s,\infty}_0(\Omega)$

Métodos Técnicos Principales

1. Aproximación $L^p$ (Convergencia Gamma)

• Se considera la versión $L^p$ del problema: $E_p(u) = \left(\int_{\mathbb{R}^n} |(-\Delta)^s u(x)|^p w(x) dx\right)^{1/p}$
• Se demuestra que cuando $p \to \infty$, $E_p \to E_\infty$ (en el sentido de convergencia Gamma)
• Se utilizan estimaciones de Calderón-Zygmund para establecer coercitividad

2. Teoría de Regularidad Elíptica

Se construyen espacios de potencial ponderado: $L^{2s,p}_w(\mathbb{R}^n) := \left\{u \in W^{s,p}(\mathbb{R}^n) : \int_{\mathbb{R}^n} |(-\Delta)^s u|^p w < \infty\right\}$

Se utilizan estimaciones globales de Calderón-Zygmund: $\|v\|_{W^{s,p}(\mathbb{R}^n)} \leq C\|f - (-\Delta)^s u_0\|_{L^p(\Omega)}$

3. Técnicas de Convergencia de Medidas

Se define $f_p := e_p^{1-p} w |(-\Delta)^s u_p|^{p-2} (-\Delta)^s u_p$, demostrando:

• $\|f_p\|_{L^1(\mathbb{R}^n)} \leq 1$ (acotación uniforme)
• $f_p$ es una función $s$-armónica en $\Omega$
• $f_p \to f_\infty$ converge localmente de manera uniforme

Puntos de Innovación Técnica

1. Manejo de la No Localidad: Tratamiento ingenioso de la naturaleza no local del operador Laplaciano fraccionario, demostrando propiedades de soporte compacto.
2. Técnica de Transformación de Kelvin: En el Corolario 3.4 se utiliza la transformación de Kelvin generalizada: $K_{r,x}(y) = r^2 \frac{y-x}{|y-x|^2} + x$ para construir funciones de competencia con operador Laplaciano fraccionario pequeño.
3. Demostración de Analiticidad: Utilizando la teoría de regularidad elíptica fraccionaria, para cada multi-índice $\alpha$: $\|D^\alpha f_\infty\|_{L^\infty(B')} \leq c^{|\alpha|} \alpha! C(B,B',\Omega,n,s)$

Configuración Experimental

Marco de Verificación Teórica

Este artículo es una investigación puramente teórica, verificando los resultados principalmente a través de demostraciones matemáticas rigurosas. La demostración se divide en tres partes principales:

1. Demostración de Existencia (Sección 3.1)
2. Derivación de la EDP (Sección 3.2)
3. Demostración de Unicidad (Sección 3.3)

Suposiciones Técnicas

• $s \in (0,1)$, $n \in \mathbb{N}$, $n > 2s$
• $u_0 \in C^{2s+\gamma}_c(\mathbb{R}^n)$ y $u_0 \not\equiv 0$ en $\mathbb{R}^n \setminus \Omega$
• $\Omega \subset \mathbb{R}^n$ es un conjunto abierto acotado

Resultados Teóricos Principales

Teorema Principal (Teorema 1.1)

Bajo las suposiciones anteriores, el problema $e_\infty := \min_{u\in W^{2s,\infty}_{u_0}(\Omega)} E_\infty(u)$ tiene una solución única $u_\infty$.

Resultados de Regularidad:

• $(-\Delta)^s u_\infty \in C^\gamma_{\text{loc}}(\mathbb{R}^n \setminus \Omega)$
• $(-\Delta)^s u_\infty(x) \to 0$ cuando $|x| \to +\infty$

Caracterización por EDP: Existe una medida $\mu \in M(\mathbb{R}^n)$, $\mu \neq 0$, de soporte compacto, $|\mu|(\mathbb{R}^n) \leq 1$, tal que $\mu$ es $s$-armónica en $\Omega$ y: $(-\Delta)^s u_\infty = e_\infty \frac{d\mu}{d|\mu|} \quad \text{en } \text{supp}|\mu| \setminus \partial\Omega$

Lemas Clave

Lema 3.1 (No Trivialidad de $f_\infty$): La función construida $f_\infty$ satisface $f_\infty \not\equiv 0$ en $\Omega$.

Lema 3.3 (Aproximación Local de $s$-Armonicidad): Para $u \in C^\alpha(B_1)$ (con $\alpha > 2s$), para cada $\varepsilon > 0$, existe $u_\varepsilon \in C^\alpha_c(\mathbb{R}^n)$ tal que: