Une assertion selon laquelle, si deux fonctions satisfont une inégalité différentielle ou intégrale appropriée avec des données aux bords ou initiales ordonnées, une relation d'ordre entre elles tient sur tout le domaine; souvent utilisée pour déduire unicité, monotonie ou bornes pour des EDPs.

Principe

Si l'opérateur L possède une propriété conservant le signe ou monotone et que u et v satisfont L[u] ≤ L[v] avec u ≤ v sur le bord (ou au temps initial), alors u ≤ v dans le domaine; la structure de comparaison de l'opérateur transfère l'ordre des bords à l'intérieur.

Démonstration

Pour un opérateur elliptique uniformément du second ordre avec principe du maximum, si u et v sont respectivement sous- et sur-solutions continues et u ≤ v sur le bord, alors le principe du maximum implique u ≤ v à l'intérieur du domaine, ce qui assure l'unicité pour le problème de Dirichlet.

Mauvaise application

Appliquer un principe de comparaison quand l'opérateur n'a pas la monotonie ou la structure de signe requise (p. ex. ellipticité non uniforme, mauvais signe aux termes d'ordre inférieur) peut produire des conclusions d'ordre fausses; ignorer la régularité du bord ou des compatibilités peut invalider la comparaison.

Conséquence

Permet de transférer des inégalités aux bords/initiales en estimations globales, fournit unicité et stabilité des solutions, et sous-tend de nombreuses méthodes d'existence (arguments de barrières, méthodes de Perron, itérations monotones).

Inversion

Si le sens de l'inégalité est inversé ou que l'ordre des données aux bords est renversé, les conclusions s'inversent: une comparaison renversée peut montrer v ≤ u ou révéler l'inexistence de solutions ordonnées; l'échec du principe signifie que des données ordonnées ne contrôlent pas l'intérieur.

Limite

Valide sous des hypothèses structurelles sur l'opérateur (elliptique/parabolique avec principe du maximum, opérateurs intégraux monotones) et la régularité du domaine et des conditions aux bords; non valable pour des opérateurs généraux non monotones, non locaux ou fortement singuliers sans hypothèses supplémentaires.

Tension sémantique

Proche mais distincte des méthodes d'unicité basées sur l'énergie ou la variation: les principes de comparaison utilisent des inégalités pointwise et arguments du maximum, tandis que l'unicité variationnelle use de la convexité d'une énergie; chacun fournit des outils et limites différents.

Synthèse

Un principe de comparaison est le mécanisme par lequel la structure conservant le signe/monotone d'un opérateur convertit des données aux bords ou initiales ordonnées en relations d'ordre pointwise globales, apportant unicité, bornes et stabilité pour les solutions.