Singular semilinear elliptic equations in nondivergence form

Resumen Técnico: Ecuaciones Elípticas Semilineales Singulares en Forma No Divergente

Planteamiento del Problema
Este artículo investiga la existencia y unicidad de soluciones al problema de Dirichlet semilineal singular:
$$\begin{cases} -Pu = \frac{f}{u^\gamma} & \text{en } \Omega, \\ u \equiv 0 & \text{en } \partial\Omega, \end{cases}$$
donde $\Omega \subset \mathbb{R}^d$ ($d \geq 2$) es un dominio acotado, $f \in L^1(\Omega)$ es no negativa y no trivial, y $\gamma > 0$. El operador $P$ es un operador diferencial elíptico uniforme de segundo orden en forma no divergente:
$$Pu(x) = \sum_{i,j=1}^d a_{ij}(x) \frac{\partial^2 u}{\partial x_i \partial x_j},$$
con una matriz simétrica $A(x) = [a_{ij}(x)]$ que satisface condiciones de elipticidad uniforme. La singularidad surge del término $u^{-\gamma}$, que no está definido en $u=0$. La condición de frontera se interpreta en el sentido de una traza nula cerca del borde: $\lim_{\epsilon \to 0} \frac{1}{\epsilon} \int_{\Omega_\epsilon} |u| = 0$, donde $\Omega_\epsilon = \{x \in \Omega : \delta_\Omega(x) < \epsilon\}$.

Metodología y Marco Técnico
Los autores emplean una combinación de técnicas de aproximación, desigualdades no lineales y estimaciones de la función de Green. Las demostraciones distinguen entre dos nociones de soluciones basadas en la regularidad de los coeficientes $A$ y la solución $u$:

1. Soluciones Débiles: Definidas para $A \in C^1(\Omega)$, donde la ecuación se cumple en el sentido de distribuciones utilizando la formulación $\langle -Pu, \phi \rangle = \int_\Omega (A\nabla u \cdot \nabla \phi + (\text{div} A \cdot \nabla u)\phi)$.
2. Soluciones Distribucionales: Definidas para $A \in C^2(\Omega)$, donde la ecuación se cumple mediante el operador adjunto $P^*$: $\langle -Pu, \phi \rangle = -\int_\Omega u P^* \phi$.

Contribuciones y Resultados Clave

1. Existencia y Regularidad (Teorema 1.1)
Bajo las suposiciones de que $\Omega \in C^{1,1}$, $A \in C^1(\Omega)$, y una condición específica de pequeñez sobre el término de deriva $\text{div} A$ (desigualdad 1.5), los autores prueban la existencia de una solución débil $u \in W^{1,1}_{\text{loc}}(\Omega) \cap L^1(\Omega)$.

• Regularidad: La solución exhibe una regularidad de Sobolev específica dependiendo de $\gamma$:
  • $u \in H^1_{\text{loc}}(\Omega)$ para $\gamma \geq 2$.
  • $u \in H^1_{\text{loc}}(\Omega) \cap W^{1,q}_0(\Omega)$ para $\gamma \in (1, 2)$ y $1 \leq q < 2/\gamma$.
  • $u \in H^1_0(\Omega)$ para $\gamma = 1$.
  • $u \in W^{1,q}_0(\Omega)$ para $\gamma \in (0, 1)$ con un exponente $q$ específico.
  • Crucialmente, $u^{(\gamma+1)/2} \in H^1_0(\Omega)$ para todo $\gamma > 0$.
• Positividad: La solución es estrictamente positiva en $\Omega$ y satisface el comportamiento en el borde $u \gtrsim \delta_\Omega$.

2. Unicidad (Teorema 1.2)
Asumiendo mayor regularidad ($\Omega \in C^2$ y $A \in C^2(\Omega)$), los autores establecen la unicidad de soluciones distribucionales en $L^1(\Omega)$. Este resultado se mantiene para una clase más amplia de soluciones que las consideradas en el teorema de existencia, ya que no asume a priori que $u \in W^{1,1}_{\text{loc}}(\Omega)$.

Innovaciones Metodológicas
El artículo destaca tres diferencias técnicas primarias con trabajos anteriores sobre operadores en forma divergente (por ejemplo, Boccardo y Orsina [6]):

• Desigualdades No Lineales de Gagliardo–Nirenberg: La demostración de existencia utiliza estimaciones a priori derivadas recientemente de la forma $\int_\Omega \|\nabla u\|_A^2 u^{\gamma-1} \leq C \int_\Omega |Pu|u^\gamma$. Estas se adaptan de [30] al contexto no divergente.
• Estimaciones de la Función de Green: Se utilizan estimaciones precisas de la función de Green $G_\Omega$ y su adjunta para derivar tasas de decaimiento precisas para las soluciones aproximadas, lo cual es esencial para establecer las clases específicas de regularidad de Sobolev.
• Desigualdades de Tipo Kato: Se establece una nueva desigualdad de tipo Kato para soluciones fuertes en forma no divergente (Lema 3.5) para probar la monotonía de la secuencia aproximante. Para la unicidad, se deriva una desigualdad de tipo Kato para soluciones muy débiles (Lema 4.10), superando la falta de regularidad en el espacio de soluciones.

Significado y Alcance
Los autores posicionan este trabajo como el contraparte multidimensional de la ecuación de Emden–Fowler para operadores en forma no divergente.

• Novedad: Mientras que las ecuaciones semilineales singulares en forma divergente están bien estudiadas, este artículo aborda el caso donde $P$ está en forma no divergente, una clase de operadores central en la teoría de procesos estocásticos y generadores de difusión.
• Logro Técnico: El artículo demuestra que la existencia puede probarse bajo coeficientes $C^1$ para el operador, mientras que la unicidad requiere coeficientes $C^2$ para manejar la estructura del operador adjunto y extender la clase de funciones de prueba.
• Limitaciones y Problemas Abiertos: Los autores señalan que la regularidad de Sobolev global para $\gamma \in (1, 2)$ establecida en el Teorema 1.1(b) no se conoce actualmente para operadores en forma divergente. Identifican problemas abiertos relacionados con no linealidades generales $\tau(u)$, operadores con coeficientes menos regulares y operadores no locales (por ejemplo, laplacianos fraccionarios).

Las demostraciones se basan en la construcción de soluciones mediante el Teorema del Punto Fijo de Schauder aplicado a problemas regularizados, seguido de pasar al límite utilizando la monotonía de la secuencia y las estimaciones a priori derivadas. La demostración de unicidad implica extender la clase de funciones de prueba a $C^{1,P}_0(\Omega)$ y utilizar la integrabilidad ponderada del término fuente $f/u^\gamma$ con respecto a la función de distancia $\delta_\Omega$.