Green representations and global Hölder continuity for solutions of elliptic equations

Resumen Técnico: Representaciones de Green y Continuidad Hölder Global para Ecuaciones Elípticas

1. Planteamiento del Problema

El artículo aborda el estudio de la regularidad de las soluciones débiles de ecuaciones elípticas de segundo orden en forma de divergencia, definidas en un dominio acotado $\Omega \subset \mathbb{R}^N$ ($N \ge 2$). La ecuación principal es:
$$L u \equiv -\sum_{i,j=1}^N \frac{\partial}{\partial x_j} \left( b_{ij} \frac{\partial u}{\partial x_i} \right) = f$$
donde $f \in L^1(\Omega)$.

Desafíos principales:

• Degeneración y Singularidad: Los coeficientes $b_{ij}$ no necesariamente son uniformemente elípticos ni estrictamente elípticos. Se permiten coeficientes que pueden degenerar o singularizarse, cumpliendo condiciones de acotación mediante funciones peso $b$ y $\bar{b}$ (donde $b|\xi|^2 \le \sum b_{ij}\xi_i\xi_j \le \bar{b}|\xi|^2$).
• Condiciones de Frontera Mixtas: La solución $u$ puede anularse solo en una parte $A$ del borde $\partial\Omega$ y ser libre en el resto, generalizando el espacio de Sobolev clásico $W^{1,2}_0(\Omega)$.
• Regularidad Global: El objetivo es establecer la continuidad Hölder global de la solución $u$ y su gradiente $\nabla u$, incluso cuando los coeficientes no pertenecen a la clase $A_2$ (condición de Muckenhoupt) y la ecuación es degenerada.

2. Metodología

El autor emplea una combinación de técnicas de análisis funcional, teoría de espacios de funciones con pesos y potenciales de Riesz. La metodología se estructura en los siguientes pilares:

• Espacios de Funciones Adaptados: Se definen espacios de Sobolev generalizados $W_{b,A}(\Omega)$ y $W_{B,A}(\Omega)$ basados en normas ponderadas que incorporan los coeficientes degenerados $b_{ij}$. Se demuestra que estos espacios son completos y están contenidos en el conjunto de funciones con derivadas parciales generalizadas.
• Funciones Auxiliares y Acotación Global: Siguiendo el método de Serrin (adaptado para regularidad global), se construyen funciones auxiliares no lineales ($F_{s,l}$ y $G_{s,l}$) para probar la acotación global ($L^\infty$) de las soluciones. Esto es crucial para manejar la no uniformidad de la elipticidad.
• Construcción de Funciones de Green:
  • Se construye una función de Green $G(x, y)$ que representa la solución $u$ como una integral de convolución con el dato $f$.
  • Se construye una función $H_l(x, y)$ que representa las derivadas parciales $-\frac{\partial u}{\partial x_l}$.
  • La existencia se demuestra mediante un proceso de límite de soluciones a problemas aproximados con datos regulares (usando secuencias de funciones $\psi_\rho$), aprovechando la compacidad de los operadores y el teorema de convergencia dominada.
• Potenciales de Riesz: Una vez obtenidas las representaciones integrales, se utiliza la teoría de los potenciales de Riesz ($I_{\Omega, \varrho}$) para trasladar las propiedades de integrabilidad de $f$ a la regularidad de $u$ y $\nabla u$.

3. Contribuciones Clave y Resultados Principales

El artículo establece tres teoremas fundamentales bajo condiciones específicas sobre los parámetros $t, r$ y la dimensión $N$:

Teorema 1: Existencia y Propiedades de la Función de Green

• Bajo condiciones de integrabilidad en los coeficientes ($b^{-1} \in L^{t/(2-t)}$, $b, \bar{b} \in L^{r/(r-2)}$), existe una función $G(x, y)$ tal que:
  $$u(y) = \int_\Omega G(x, y) f(x) \, dx \quad \text{casi en todo } y \in \Omega.$$
• Se establecen cotas de decaimiento para $G$: $|G(x, y)| \le C|x-y|^{-N+2-\zeta}$.
• Esto se cumple para dimensiones $N \in \{2, \dots, 8\}$ o para $N \ge 3$ con coeficientes constantes y condiciones de frontera completas.

Teorema 2: Representación del Gradiente

• Existe una función $H_l(x, y)$ tal que:
  $$-\frac{\partial u}{\partial x_l}(y) = \int_\Omega H_l(x, y) f(x) \, dx \quad \text{casi en todo } y \in \Omega.$$
• Se demuestra que $|H_l(x, y)| \le C|x-y|^{-N+1-\zeta}$.
• Este resultado requiere condiciones adicionales de regularidad en los coeficientes (como continuidad Dini) o restricciones en la dimensión y parámetros.

Teorema 3: Continuidad Hölder Global

• Caso (a): Si $f \in L^{N/(2-s)}(\Omega)$ con $s \in (0,1)$, entonces $u$ es Hölder continua en $\bar{\Omega}$.
• Caso (b): Si $f$ satisface una desigualdad de crecimiento lineal en términos de $u$ y $\nabla u$ (tipo $|f| \le a_2|\nabla u| + a_1 u + a_0$) con coeficientes en espacios de Lebesgue adecuados, entonces $u$ es Hölder continua hasta el borde.
• La prueba combina las representaciones de Green con el Teorema de Morrey y extensiones de Whitney, demostrando que $u \in W^{1, p}(\Omega)$ con $p > N$, lo que implica continuidad Hölder.

4. Significado e Impacto

• Generalización de Resultados Clásicos: El trabajo extiende resultados conocidos (como los de Ladyzhenskaya-Ural'tseva, Grüter-Widman y Chanillo-Wheeden) a casos donde la elipticidad no es uniforme y los coeficientes pueden ser degenerados o singulares.
• Flexibilidad en las Condiciones de Frontera: A diferencia de muchos trabajos previos que asumen $u=0$ en todo el borde, este artículo permite condiciones de Dirichlet parciales ($u=0$ solo en $A \subset \partial\Omega$), lo cual es relevante para problemas físicos con fronteras mixtas.
• Independencia de la Clase $A_2$: Un aporte significativo es que los resultados no requieren que los coeficientes pertenezcan a la clase de Muckenhoupt $A_2$, lo cual es una restricción común en la teoría de ecuaciones elípticas degeneradas. El autor proporciona ejemplos (Notas 6 y 7) donde los coeficientes no son $A_2$ pero satisfacen las condiciones del teorema.
• Aplicabilidad en Dimensiones Bajas: Los resultados son explícitamente válidos para dimensiones $N$ desde 2 hasta 8, cubriendo la mayoría de las aplicaciones físicas y geométricas estándar.

En conclusión, el artículo proporciona un marco robusto para el análisis de regularidad de soluciones de ecuaciones elípticas degeneradas, ofreciendo representaciones integrales precisas (Green y gradientes) que permiten deducir la continuidad Hölder global bajo condiciones de coeficientes más débiles que las tradicionales.