Una afirmación de que si dos funciones satisfacen una desigualdad diferencial o integral apropiada con datos de contorno o iniciales ordenados, entonces se mantiene una relación de orden entre ellas en todo el dominio; se usa para deducir unicidad, monotonicidad o cotas para EDPs.

Principio

Si el operador L cumple una propiedad conservadora de signo o es monótono y u y v satisfacen L[u] ≤ L[v] junto con u ≤ v en la frontera (o en el tiempo inicial), entonces u ≤ v en el dominio; la estructura de comparación del operador traslada el orden de la frontera al interior.

Demostración

Para un operador elíptico uniforme de segundo orden con principio del máximo, si u y v son sub- y supersoluciones continuas respectivamente y u ≤ v en la frontera, entonces el principio del máximo implica u ≤ v en el interior del dominio, lo que da unicidad para el problema de Dirichlet.

Aplicación incorrecta

Aplicar un principio de comparación cuando el operador carece de la monotonicidad o estructura de signo requerida (p. ej. no uniformemente elíptico, signo incorrecto de términos de menor orden) puede producir conclusiones de orden falsas; ignorar la regularidad de la frontera o compatibilidades puede invalidar la comparación.

Consecuencia

Permite transferir desigualdades en la frontera/iniciales a estimaciones globales, proporciona unicidad y estabilidad de las soluciones y sustenta muchos métodos de existencia (argumentos de barrera, métodos de Perron, iteraciones monotónicas).

Inversión

Si la dirección de la desigualdad se invierte o el orden de los datos de contorno se revierte, las conclusiones se invierten: una comparación invertida puede mostrar v ≤ u o revelar la inexistencia de soluciones ordenadas; la falla del principio significa que datos ordenados no controlan el interior.

Límite

Válido bajo hipótesis estructurales sobre el operador (elíptico/parabólico con principio del máximo, operadores integrales monotónicos) y la regularidad del dominio y las condiciones de contorno; no válido para operadores generales no monótonos, no locales o altamente singulares sin supuestos adicionales.

Tensión semántica

Relacionado pero distinto de la unicidad basada en energía o variacional: los principios de comparación usan desigualdades puntuales y argumentos del máximo, mientras que la unicidad variacional emplea la convexidad de una energía; cada enfoque ofrece herramientas y limitaciones distintas.

Síntesis

Un principio de comparación es el mecanismo por el cual la estructura conservadora de signo/monótona de un operador convierte datos de contorno o iniciales ordenados en relaciones de orden puntuales globales, proporcionando unicidad, cotas y estabilidad para las soluciones.