Une technique pour établir l'existence, la comparaison et parfois l'unicité de solutions d'équations aux dérivées partielles non linéaires en construisant une paire ordonnée: une sous-solution (borne inférieure) et une sur-solution (borne supérieure) entre lesquelles on montre l'existence d'une solution réelle.

Principe

Exploiter la structure d'ordre et la monotonie de l'opérateur PDE (souvent via des principes du maximum/de comparaison) pour itérer, comprimer ou appliquer des opérateurs monotones entre la sous- et la sur-solution afin d'obtenir une solution ou un profil limite.

Démonstration

Pour un problème de Dirichlet semi-linéaire elliptique sur un domaine borné, construire une sous-solution u_- et une sur-solution u_+ avec u_- ≤ u_+ sur le domaine; appliquer une itération monotone ou une enveloppe de type Perron pour produire une solution u telle que u_- ≤ u ≤ u_+.

Mauvaise application

Employer des fonctions incompatibles avec l'opérateur différentiel (p. ex. conditions aux bords non ordonnées, absence de régularité ou mauvaises conditions de signe) de sorte que l'itération monotone échoue ou donne des limites non physiques; ou supposer l'existence sans vérifier les propriétés de comparaison requises.

Conséquence

Fournit des preuves d'existence constructives et des bornes explicites pour les solutions, aide à l'initialisation numérique et donne des résultats d'unicité par comparaison lorsque la monotonie supplémentaire est présente.

Inversion

Si l'ordre est inversé (la soi-disant sous-solution est au-dessus de la sur-solution), la méthode s'effondre et conduit typiquement à des contradictions ou montre qu'aucune solution n'existe dans les contraintes d'ordre supposées.

Limite

S'applique principalement aux EDPs possédant un principe de comparaison ou une structure monotone adaptée (classes elliptiques/paraboliques); n'est pas directement applicable aux opérateurs complètement non monotones ou aux problèmes variationnels dépourvus d'ordre sans reformulation.

Tension sémantique

Rivalise avec les méthodes variationnelles de minimisation: les méthodes sous/sur-solution utilisent l'ordre et le contrôle pointwise plutôt que la minimisation d'énergie; les deux peuvent coïncider pour certains problèmes mais diverger dans des cadres non symétriques ou non variationnels.

Synthèse

La méthode des sous- et sur-solutions cadre l'existence par la construction de barrières ordonnées compatibles avec l'opérateur; en utilisant la monotonie et la comparaison on coince une solution réelle entre ces bornes explicites.