Une technique de comparaison qui construit une paire ordonnée de fonctions — une sous-solution inférieure et une sur-solution supérieure — puis utilise l'itération monotone, des arguments topologiques ou variationnels pour obtenir l'existence et souvent des bornes (et parfois l'unicité) de solutions pour des problèmes différentiels ou variationnels non linéaires.

Principe

Trouver des fonctions α (sous-solution) et β (sur-solution) avec α ≤ β satisfaisant des inégalités faibles appropriées pour l'opérateur et les conditions aux limites ; appliquer l'itération monotone entre α et β, ou utiliser un point fixe/degré ou une minimisation variationnelle sur l'intervalle ordonné pour obtenir une solution enfermée entre elles.

Démonstration

Pour un problème elliptique semilinéaire de Dirichlet −Δu=f(x,u) sur un domaine borné, produire une borne inférieure α vérifiant −Δα≤f(x,α) et une borne supérieure β avec −Δβ≥f(x,β) et α≤β sur le domaine ; l'itération monotone (en partant de α et en résolvant des problèmes linéarisés) fournit alors une solution u avec α≤u≤β, convergeant parfois vers des solutions minimales/maximales.

Mauvaise application

Utiliser des candidats de sous- et sur-solutions qui ne respectent pas les conditions aux limites ou l'ordre (α non ≤ β), ou appliquer la méthode quand l'opérateur manque de monotonicité par rapport à l'ordre considéré ; cela peut produire de fausses affirmations d'existence ou des itérations non convergentes.

Conséquence

Fournit des preuves constructives d'existence, des bornes a priori et des barrières pour les solutions, des schémas itératifs monotones convergeant vers des solutions extrémales, et un cadre flexible pour traiter des singularités ou des nonlinéarités résistantes aux méthodes variationnelles ou linéaires directes.

Inversion

Au lieu de construire des sous- et sur-solutions bornantes, on peut tenter une minimisation variationnelle directe ou des arguments de degré topologique ; l'inversion souligne que sans structure d'ordre on perd le mécanisme d'emprisonnement monotone et les bornes explicites entre barrières.

Limite

Nécessite un ordre partiel et la compatibilité de la monotonie de l'opérateur avec cet ordre, ainsi que des espaces fonctionnels et conditions aux limites adéquats ; elle n'est pas universellement applicable aux opérateurs fortement non monotones, aux problèmes non locaux sans principe de comparaison, ou lorsque l'on ne peut construire de barrières ordonnées.

Tension sémantique

Concurrence les méthodes variationnelles, les théorèmes de point fixe et la théorie du degré : la méthode des sous-/sur-solutions apporte des barrières explicites et une itération monotone, tandis que les méthodes variationnelles fournissent des minimiseurs globaux et la théorie du degré traite l'existence topologique sans bornes constructives.

Synthèse

La méthode des sous- et sur-solutions construit des fonctions barrières ordonnées satisfaisant des inégalités faibles, puis enferme une solution réelle entre elles via l'itération monotone ou des outils topologiques/variationnels ; elle donne existence, bornes explicites et souvent des solutions extrémales lorsque la monotonie et la compatibilité aux limites sont présentes.