Técnica para establecer existencia, comparación y a veces unicidad de soluciones de ecuaciones en derivadas parciales nolineales mediante la construcción de un par ordenado: una subsolución (cota inferior) y una supersolución (cota superior) entre las cuales se demuestra que existe una solución real.

Principio

Aprovechar la estructura de orden y la monotonicidad de la EDP (a menudo mediante principios del máximo/comparación) para iterar, encajar o aplicar operadores monótonos entre la sub- y la supersolución y obtener una solución o un perfil límite.

Demostración

Para un problema de valor en la frontera semilineal elíptico en un dominio acotado, construir una subsolución u_- y una supersolución u_+ con u_- ≤ u_+ en el dominio; aplicar iteración monótona o envolventes tipo Perron para producir una solución u tal que u_- ≤ u ≤ u_+.

Aplicación incorrecta

Usar funciones no compatibles con el operador diferencial (por ejemplo, valores en la frontera no ordenados, falta de regularidad o condiciones de signo incorrectas) de modo que la iteración monótona falle o produzca límites no físicos; o asumir existencia sin verificar las propiedades de comparación necesarias.

Consecuencia

Proporciona pruebas constructivas de existencia y cotas explícitas para las soluciones, ayuda en la inicialización numérica y da resultados de unicidad basados en comparación cuando existe mayor monotonicidad.

Inversión

Si el orden está invertido (la llamada subsolución está por encima de la supersolución), el método falla y típicamente conduce a contradicciones o muestra que no existe solución dentro de las restricciones de orden asumidas.

Límite

Se aplica principalmente a EDPs con un principio de comparación adecuado o estructura monótona (clases elípticas/parabólicas); no es aplicable directamente a operadores completamente no monótonos o a problemas variacionales sin orden salvo que se reformule.

Tensión semántica

Compite con métodos variacionales de minimización: los métodos de sub/super-solución utilizan orden y control puntual en lugar de minimización de energía; las dos aproximaciones pueden coincidir en algunos problemas pero divergen en entornos no simétricos o no variacionales.

Síntesis

El método de sub- y super-soluciones plantea la existencia mediante la construcción de barreras ordenadas compatibles con el operador; usando monotonicidad y comparación se atrapa una solución real entre esas cotas explícitas.