C^{1,\alpha} regularity for a class of singular/degenerate fully nonlinear elliptic equations with oblique boundary conditions

Aquí presento un resumen técnico detallado del artículo en español, estructurado según los puntos solicitados:

Resumen Técnico: Regularidad $C^{1,\alpha}$ para Ecuaciones Elípticas No Lineales Completas Singulares/Degeneradas con Condiciones de Contorno Oblicuas

Autores: Sun-Sig Byun, Hongsoo Kim y Seunghyun Kim.

1. Planteamiento del Problema

El artículo aborda el problema de la regularidad global de soluciones de viscosidad para una clase de ecuaciones elípticas no lineales completas (fully nonlinear) que presentan comportamientos singulares y degenerados en el gradiente, sujetas a condiciones de contorno oblicuas no homogéneas.

La ecuación principal estudiada es:
$$\begin{cases} \Phi(x, |Du|)F(D^2u) = f & \text{en } \Omega, \\ \beta \cdot Du = g & \text{en } \partial\Omega, \end{cases}$$
donde:

• $\Omega \subset \mathbb{R}^n$ es un dominio acotado de clase $C^1$.
• $F: S^n \to \mathbb{R}$ es un operador uniformemente elíptico (en el sentido de Pucci) con $F(0)=0$.
• $\Phi(x, t)$ es una función continua que modela la singularidad o degeneración. Se asume que satisface condiciones de crecimiento controlado definidas por los parámetros $i(\Phi)$ (índice inferior) y $s(\Phi)$ (índice superior).
  • Caso Degenerado: $i(\Phi) \geq 0$ (el coeficiente se anula o crece con el gradiente).
  • Caso Singular: $-1 < i(\Phi) < 0$ (el coeficiente explota cuando el gradiente tiende a cero).
• $\beta$ es un campo vectorial en el borde que define la condición oblicua ($\beta \cdot n \geq \delta_0 > 0$).
• $f$ y $g$ son funciones dadas con cierta regularidad Hölder.

El objetivo es establecer la regularidad $C^{1,\alpha}$ global para las soluciones $u$, extendiendo resultados previos que se limitaban a casos específicos (como potencias puras $\Phi(t)=t^\gamma$) o a condiciones de contorno de Neumann homogéneas.

2. Metodología

La estrategia de prueba se basa en un argumento iterativo de compactación y mejora de la planitud (improvement of flatness), adaptado para manejar la no linealidad del gradiente y las condiciones oblicuas.

• Unificación de Regímenes (Transformación):
  El artículo utiliza una transformación clave (Lema 2.2) para tratar los casos singulares y degenerados bajo un mismo marco. Para el caso singular ($-1 < i(\Phi) < 0$), se transforma la ecuación original en una ecuación con un término de fuente que depende del gradiente ($|Du|^\gamma$ con $\gamma \in [0,1)$), pero donde el coeficiente $\tilde{\Phi}$ ahora satisface $i(\tilde{\Phi}) \geq 0$. Esto permite reducir el problema singular a uno degenerado con un término de fuente singular.

• Argumento de Compactación:
  Se demuestra que la solución $u$ puede aproximarse localmente por una sucesión de funciones afines $l_k$ con un error del orden $r_k^{1+\alpha}$ en escalas $r_k$.

  1. Paso Base: Se utiliza un argumento de compactación para mostrar que si los datos ($f, g, \beta, \phi$) son suficientemente pequeños, la solución se aproxima a una función $h$ que resuelve una ecuación homogénea con condición de contorno oblicua constante.
  2. Iteración: Se define una secuencia de funciones escaladas $v_k(x) = \frac{u(r_k x) - l_k(r_k x)}{r_k^{1+\alpha}}$. Estas funciones satisfacen una ecuación modificada donde aparece un parámetro $q$ (relacionado con el gradiente de la aproximación anterior).

• Estimaciones de Regularidad Hölder en el Borde:
  Un desafío técnico mayor es obtener estimaciones de Hölder uniformes en el parámetro $q$ (el gradiente de la aproximación afín), el cual puede volverse arbitrariamente grande.

  • Se emplea el método de deslizamiento de cúspides (sliding cusp method) y el método de paraboloides deslizantes, combinados con una propiedad de escalado modificada.
  • Se demuestra que, bajo la condición de acotamiento $(1 + |q|^{(\gamma - i(\Phi))^+})\|f\|_\infty \leq A$, las soluciones mantienen regularidad $C^\alpha$ en el borde, independientemente del tamaño de $q$. Esto es crucial para cerrar el argumento iterativo sin que las constantes exploten.

3. Contribuciones Clave

1. Marco Unificado: Se logra un tratamiento unificado de los casos singulares ($i(\Phi) < 0$) y degenerados ($i(\Phi) \geq 0$) dentro del mismo marco teórico, algo que no se había logrado completamente para condiciones de contorno oblicuas no homogéneas.
2. Generalización de la No Linealidad: A diferencia de trabajos anteriores que se centraban en $\Phi(t) = t^\gamma$, este trabajo permite funciones $\Phi$ mucho más generales (incluyendo sumas de potencias, funciones $N$-funciones, y coeficientes variables), siempre que cumplan las condiciones de crecimiento (A2).
3. Condiciones de Contorno Oblicuas No Homogéneas: Se extienden los resultados de regularidad global a condiciones de contorno oblicuas no homogéneas ($\beta \cdot Du = g$) en dominios $C^1$, superando las limitaciones de trabajos previos que requerían condiciones de Neumann homogéneas o dominios $C^2$.
4. Manejo de la Singularidad del Gradiente: Se resuelve la dificultad técnica de que el término de fuente en la ecuación transformada crezca indefinidamente cuando $|q| \to \infty$, mediante una restricción inteligente del régimen de análisis y el uso de estimaciones uniformes.

4. Resultados Principales

El resultado central es el Teorema 1.1, que establece la regularidad global $C^{1,\alpha}$ para la solución $u$ en una vecindad del borde.

• Exponente de Regularidad ($\alpha$): El exponente $\alpha$ está determinado por la intersección de tres restricciones:
  1. $\alpha < \alpha_0$, donde $\alpha_0$ es el exponente óptimo para la ecuación homogénea con condición oblicua constante.
  2. Una restricción dependiente de la estructura de $\Phi$:
     • Si $i(\Phi) \geq 0$: $\alpha \leq \frac{1}{1 + s(\Phi)}$.
     • Si $-1 < i(\Phi) < 0$: $\alpha \leq \frac{1}{1 + s(\Phi) - i(\Phi)}$.
  3. $\alpha \leq \alpha$ (la regularidad de los datos de frontera).
• Estimación: Se proporciona una cota explícita para la norma $C^{1,\alpha}$ de la solución en términos de las normas de los datos ($f, g, \beta$) y la solución misma.
• Corolario 1.1: Se extiende el resultado a condiciones de contorno mixtas de tipo Robin ($\beta \cdot Du + hu = g$).

5. Significado e Impacto

Este trabajo representa un avance significativo en la teoría de ecuaciones elípticas no lineales:

• Rigor Teórico: Cierra una brecha importante en la literatura al proporcionar regularidad óptima para ecuaciones con coeficientes que dependen del gradiente de manera singular o degenerada bajo condiciones de contorno generales.
• Aplicabilidad: Los resultados son aplicables a modelos físicos donde la difusión o la conductividad dependen fuertemente de la velocidad o el gradiente de la solución (ej. mecánica de fluidos no newtonianos, crecimiento de cristales), especialmente en configuraciones de frontera complejas.
• Herramientas Nuevas: La combinación del método de deslizamiento de cúspides con la transformación de singularidades ofrece una nueva herramienta metodológica para futuros análisis de regularidad en ecuaciones no lineales con coeficientes degenerados.

En resumen, el artículo demuestra que, a pesar de la complejidad introducida por la singularidad/degeneración del gradiente y las condiciones oblicuas, es posible mantener una regularidad $C^{1,\alpha}$ global, siempre que el exponente de regularidad se ajuste adecuadamente a la "fuerza" de la degeneración o singularidad del operador.