Existence of Positive Solutions to Semilinear Equations with Sublinear Nonlinearities and Compact Positivity-Improving Resolvent

Resumen Técnico: Existencia de Soluciones Positivas para Ecuaciones Semilineales con No Linealidades Sublineales y Resolvente Compacta que Mejora la Positividad

Enunciado del Problema
El artículo aborda la existencia de soluciones estrictamente positivas para la ecuación semilineal
$$-Lu = f(x,u) \quad \text{en } E,$$
donde $L$ es el generador de un semigrupo positivo fuertemente continuo $(T_t)$ en $L^p(E;m)$ ($p \geq 1$) definido sobre un espacio de medida de Lusin $(E, \mathcal{A}, m)$. La no linealidad $f$ es una función de Carathéodory de tipo sublineal asintótico. El desafío central consiste en establecer criterios de existencia en un marco abstracto de teoría de operadores que no dependa de las propiedades geométricas específicas de un dominio, de la simetría del operador o de propiedades adicionales de regularización de la resolvente (tales como ultracontractividad o suavizado), las cuales suelen requerirse en la teoría elíptica clásica para aplicar técnicas de minimización o garantizar la acotación de las soluciones.

Metodología
Los autores desarrollan un enfoque unificado que vincula métodos de teoría del orden (específicamente el método de subsoluciones y supersoluciones) con ideas espectrales inspiradas en Brézis y Oswald. La metodología avanza a través de varias etapas distintas:

1. Marco Espectral: El análisis se basa en la suposición de que la resolvente de $-L$ es compacta y mejora la positividad. Esto asegura la existencia de un par propio principal $(\lambda_1, \phi_1)$ con $\phi_1 \gg 0$. La existencia de soluciones está gobernada por las pendientes asintóticas inferiores y superiores generalizadas de $f(x,u)/u$ en cero ($a_0$) y en infinito ($a_\infty$).
2. Realización Probabilística: Un paso técnico crucial implica la realización de la resolvente en $L^p$ como la resolvente de un proceso de Markov derecho sobre un espacio de Lusin. Esto permite a los autores utilizar herramientas de la teoría del potencial, específicamente la teoría de las funciones supermedianas y las funciones excesivas.
3. Reducción Sub-Markoviana: Inicialmente, el análisis asume que el semigrupo es sub-Markoviano ($T_t 1 \leq 1$). Bajo esta suposición, los autores establecen:
   • Un teorema de compacidad tipo Deny para sucesiones de funciones supermedianas.
   • Una desigualdad tipo Kato adaptada al marco abstracto mediante fórmulas de Itô-Meyer y representaciones probabilísticas.
   • Un método de subsoluciones y supersoluciones para ecuaciones de la forma $u = \gamma + Rg(\cdot, u)$, donde $\gamma$ es una función supermediana.
4. Transformación de Doob: Para eliminar la restricción sub-Markoviana, los autores emplean una transformación de Doob basada en la autofunción principal $\phi_1$. Esto transforma el semigrupo original en uno sub-Markoviano, permitiendo extender los resultados derivados en el caso sub-Markoviano al contexto general de mejora de positividad.
5. Unicidad: Bajo suposiciones adicionales de estricta monotonía en el cociente $u \mapsto f(x,u)/u$, se demuestra la unicidad utilizando propiedades espectrales de operadores perturbados y un argumento por contradicción que involucra la cota espectral.

Resultados Clave

• Teorema de Existencia (Tipo Brézis–Oswald): El resultado principal (Teorema 8.2) establece que si los valores propios principales de los operadores perturbados satisfacen la condición
  $$\lambda_1(a_0) < 0 < \lambda_1(a_\infty),$$
  donde $\lambda_1(a_0)$ y $\lambda_1(a_\infty)$ son los valores propios principales de $-L + a_0$ y $-L + a_\infty$ respectivamente, entonces la ecuación (1.1) admite una solución estrictamente positiva.
• Marco Generalizado: El teorema se cumple sin requerir que el espacio subyacente sea un dominio suave, que el operador sea simétrico o que la resolvente posea propiedades de suavizado. La no linealidad $f$ se trata con el mismo nivel de generalidad que en la teoría sublineal clásica.
• Unicidad: Si la función $y \mapsto f(x,y)/y$ es estrictamente decreciente y localmente Lipschitz, la solución positiva es única (Teorema 9.3).
• Monotonía de las Soluciones: El artículo establece la existencia de una aplicación $S: \mathcal{F} \to L^p(E;m)$ que asigna una solución a cada no linealidad admisible $f$, la cual preserva el orden de las no linealidades (Corolario 8.3).

Significado y Afirmaciones
El artículo afirma proporcionar un "puente entre los métodos de teoría del orden y la teoría clásica basada en la energía de los problemas sublineales". Su contribución principal radica en demostrar que el criterio de Brézis–Oswald sobrevive en un entorno altamente abstracto donde las herramientas variacionales estándar (como la minimización) y los argumentos de compacidad basados en el suavizado no están disponibles.

Los autores enfatizan que la novedad no reside solo en el resultado, sino en la técnica de demostración. Al combinar el método de subsoluciones y supersoluciones con representaciones probabilísticas (mediante procesos de Markov derechos) y la teoría espectral, eluden la necesidad de suposiciones geométricas o de regularización sobre el operador $L$. El uso de funciones supermedianas y la transformación de Doob permiten a los autores manejar la falta de cotas a priori sobre las soluciones y la ausencia de una inmersión compacta en el contexto general de $L^p$. El trabajo extiende la aplicabilidad de la teoría de existencia sublineal a una amplia clase de operadores y espacios previamente inaccesibles a estos métodos específicos.