Propiedad para desigualdades en ecuaciones en derivadas parciales que afirma que, si u es una subsolución y v una supersolución que verifican u ≤ v en la frontera (o en el tiempo inicial), entonces u ≤ v en todo el dominio (o para tiempos posteriores). Permite propagar desigualdades de frontera al interior aprovechando la monotonicidad del operador.

Principio

El orden monótono se preserva por el operador diferencial: si el operador es monótono (o la ecuación admite estructura de comparación), el orden puntual impuesto en la frontera o en la condición inicial se extiende al dominio entero.

Demostración

Para la ecuación del calor, si u(x,t) y v(x,t) cumplen u_t − Δu ≤ 0 y v_t − Δv ≥ 0 en un cilindro y u ≤ v en la frontera parabólica, entonces u ≤ v dentro; considerando w = u − v y aplicando el principio del máximo parabólico se obtiene w ≤ 0.

Aplicación incorrecta

Aplicar el principio cuando el operador no es monótono (por ejemplo, con términos de reacción fuertemente no monotónicos) o cuando los datos de frontera/iniciales no son comparables; esto conduce a afirmaciones de orden erróneas o a pasar por alto cambios de signo introducidos por coeficientes no locales o que cambian de signo.

Consecuencia

Unicidad de soluciones en muchas clases de EDP (dos soluciones ordenadas en la frontera deben coincidir si cada una es a la vez subsolución y supersolución), construcción de barreras y cotas a priori, y estimados de estabilidad frente a perturbaciones ordenadas.

Inversión

La afirmación invertida — que una supersolución esté por debajo de una subsolución — contradeciría la monotonicidad y normalmente genera contradicciones; analizando la diferencia y revirtiendo las desigualdades se ve que tal inversión solo puede darse en casos degenerados (por ejemplo, soluciones idénticas).

Límite

Requiere una estructura de comparación: el operador debe ser apropiadamente elíptico/parabólico, existir monotonía y cumplirse hipótesis de orden en la frontera o en la inicial. Quedan excluidos operadores completamente no monotónicos, algunos operadores no locales sin principio del máximo o marcos sin la regularidad requerida.

Tensión semántica

Próximo a los principios del máximo pero diferente en alcance: los principios del máximo dan información sobre la localización de extremos de una sola solución, mientras que los principios de comparación relacionan dos funciones por un orden; coinciden cuando se compara una solución con una barrera construida.

Síntesis

El Principio de Comparación es la regla que transforma una restricción de orden en la frontera o en la inicial en desigualdades globales para EDP: con monotonicidad y la hipótesis de orden adecuada, subsoluciones y supersoluciones permanecen ordenadas en todo el dominio, proporcionando unicidad, cotas y estabilidad en análisis y aplicaciones.