Une famille de théorèmes de comparaison pour des opérateurs différentiels elliptiques et paraboliques affirmant que, sous conditions de signe et de coefficients appropriées, une solution atteint son maximum (ou minimum) sur le bord du domaine ou au temps initial ; les variantes forte et faible fournissent des contrôles pointwise et distributionnels.

Principe

Exploiter le signe de l’opérateur et la structure du second ordre elliptique ou parabolique pour comparer les valeurs intérieures aux données de frontière ou initiales ; la non-positivité (ou non-négativité) de la partie principale empêche des extrema intérieurs stricts pour des solutions non triviales.

Démonstration

Pour une fonction harmonique (équation de Laplace) sur un domaine borné, le principe du maximum implique qu’une solution continue atteint son maximum sur le bord ; pour l’équation de la chaleur il interdit l’apparition ultérieure d’un nouveau maximum positif à l’intérieur, ce qui entraîne l’unicité pour les problèmes de Dirichlet et aux conditions initiales-frontière.

Mauvaise application

Appliquer le principe du maximum à des opérateurs non elliptiques ou non paraboliques, à des équations dont le coefficient principal change de signe, ou ignorer les termes d’ordre inférieur et la régularité du bord conduit à des conclusions fausses ; l’utiliser pour des solutions faibles sans vérifier intégrabilité ou trace au bord est une autre erreur fréquente.

Conséquence

Valide, il donne des bornes a priori, des comparaisons entre sous- et sur-solutions, l’unicité des problèmes de Cauchy/Dirichlet, la monotonie et le contrôle des phénomènes d’explosion ; c’est un outil central pour les propriétés qualitatives des solutions des EDP.

Inversion

Un phénomène d’anti-maximum peut apparaître dans certains régimes d’autovaleurs où le signe de l’extrémum s’inverse ; inverser les hypothèses (par ex. changer le signe des coefficients) transforme les maxima en minima ou rend le principe non valable.

Limite

Valable pour des opérateurs elliptiques/paraboliques classiques sur des domaines suffisamment réguliers avec conditions d’ellipticité et de signe adaptées ; il échoue pour les opérateurs hyperboliques, des coefficients très singuliers, des opérateurs non locaux sans formes adaptées, ou pour des domaines sans régularité du bord sauf versions modifiées.

Tension sémantique

Concurrence conceptuelle avec les méthodes variationnelles/énergétiques qui fournissent des estimations a priori intégrales : le principe du maximum fournit des comparaisons ponctuelles tandis que les estimations variationnelles donnent un contrôle intégral global — complémentaires mais non interchangeables.

Synthèse

Le Principe du Maximum transforme le signe de l’opérateur et les données de bord en contrôle pointwise des solutions : sous hypothèses d’ellipticité/parabolicité et de régularité, il donne des extrema déterminés par le bord, l’unicité et des résultats de comparaison, mais il ne doit être appliqué que lorsque ses hypothèses structurelles sont vérifiées.