Formulation mathématique cherchant un élément u dans un ensemble admissible K tel que l'opérateur variationnel A satisfasse l'inégalité ⟨A(u), v - u⟩ ≥ 0 pour tout v dans K ; elle exprime des problèmes d'équilibre ou d'extrémum contraint par des inégalités plutôt que des égalités.

Principe

L'idée organisatrice est d'encoder directement contraintes et conditions d'équilibre dans un cadre d'inégalités en utilisant des opérateurs monotones ou coercifs sur des ensembles admissibles convexes, généralisant les conditions d'Euler–Lagrange aux contraintes par inégalité.

Démonstration

Le problème de l'obstacle : trouver la forme d'équilibre d'une membrane élastique contrainte à rester au-dessus d'un obstacle donné ; la mécanique du contact et les formulations de complémentarité pour problèmes sans glissement sont des démonstrations canoniques d'inégalités variationnelles.

Mauvaise application

Forcer une formulation par inégalité variationnelle lorsque l'ensemble admissible est non convexe ou que l'opérateur est non monotone sans la théorie d'existence appropriée peut conduire à l'absence de solution ou à des solutions spurious ; de même, interpréter à tort des conditions de complémentarité comme des équations d'Euler non contraintes est erroné.

Conséquence

Sous hypothèses de monotonicité et de coercivité, les inégalités variationnelles donnent des résultats d'existence et souvent d'unicité et fournissent une base pour des méthodes numériques stables (solveurs d'inégalités par éléments finis, algorithmes d'ensemble actif) pour des problèmes d'équilibre contraint.

Inversion

L'inverse est le problème variationnel non contraint (égalité) caractérisé par les équations d'Euler–Lagrange ; la suppression des contraintes d'inégalité convertit le problème en une égalité variationnelle standard si l'admissibilité n'est pas restreinte.

Limite

S'applique naturellement dans des espaces de Banach réflexifs ou Hilbertiens avec ensembles admissibles convexes et opérateurs satisfaisant monotonicité/coercivité ; exclut de nombreux problèmes de contraintes non convexes, opérateurs très non lisses et certaines lois de contact discontinues sans extensions spécialisées.

Tension sémantique

Tension entre les inégalités variationnelles et des formulations voisines telles que problèmes de complémentarité ou optimisation contrainte avec multiplicateurs de Lagrange : elles se recoupent mais diffèrent par l'accent (forme inégalité vs forme multiplicateur/égalité) et par les outils analytiques/numériques appropriés.

Synthèse

Les inégalités variationnelles généralisent les méthodes variationnelles pour imposer des contraintes par inégalité, offrant un cadre unifié pour les problèmes d'équilibre, de contact et de complémentarité via la formulation d'inégalités d'opérateurs monotones sur des ensembles admissibles, avec une théorie d'existence robuste et des méthodes numériques adaptées.