Una técnica de comparación que construye un par ordenado de funciones — una subsolución por debajo y una supersolución por encima de la solución buscada — y luego usa iteración monótona, argumentos topológicos o variacionales para obtener existencia y a menudo cotas (y a veces unicidad) para soluciones de problemas no lineales diferenciales o variacionales.

Principio

Encontrar funciones α (subsolución) y β (supersolución) con α ≤ β que satisfagan desigualdades débiles apropiadas para el operador y las condiciones de contorno; aplicar iteración monótona entre α y β, o usar punto fijo/grado o minimización variacional en el intervalo ordenado para obtener una solución atrapada entre ellas.

Demostración

Para un problema elíptico semilineal con condición de Dirichlet −Δu=f(x,u) en un dominio acotado, construir una α que cumpla −Δα≤f(x,α) y una β con −Δβ≥f(x,β) y α≤β en el dominio; entonces la iteración monótona (partiendo de α y resolviendo problemas linealizados) produce una solución u con α≤u≤β, a veces convergiendo a soluciones mínimas/máximas.

Aplicación incorrecta

Usar sub- y supersoluciones candidatas que no respetan las condiciones de contorno o el orden (α no ≤ β), o aplicar el método cuando el operador carece de monotonicidad respecto al orden relevante; esto puede producir afirmaciones de existencia falsas o iteraciones no convergentes.

Consecuencia

Proporciona pruebas constructivas de existencia, cotas a priori y barreras para las soluciones, esquemas iterativos monótonos que pueden converger a soluciones extremales, y un marco flexible para manejar singularidades o no linealidades resistentes a métodos variacionales o lineales directos.

Inversión

En lugar de construir sub- y supersoluciones limitantes, se puede intentar la minimización variacional directa o argumentos de grado topológico; invertir subraya que sin estructura de orden se pierde el mecanismo de atrapamiento monótono y las cotas explícitas entre barreras.

Límite

Requiere un orden parcial y la compatibilidad de la monotonicidad del operador con ese orden, así como espacios funcionales y condiciones de contorno adecuados; no es universalmente aplicable a operadores fuertemente no monotónicos, problemas no locales sin principio de comparación, o cuando no pueden construirse barreras ordenadas.

Tensión semántica

Compite con métodos variacionales, teoremas de punto fijo y teoría del grado: la sub/supersolución ofrece barreras explícitas e iteración monótona, mientras que los métodos variacionales entregan minimizadores globales y la teoría del grado trata la existencia topológica sin cotas constructivas.

Síntesis

El método de sub- y supersoluciones construye barreras ordenadas que satisfacen desigualdades débiles y luego atrapa una solución verdadera entre ellas mediante iteración monótona o herramientas topológicas/variacionales; proporciona existencia, cotas explícitas y con frecuencia soluciones extremales cuando existen monotonía y compatibilidad con las condiciones de contorno.