En mathématiques, un problème d'inéquation variationnelle englobe en les généralisant un certain nombre de problèmes classiques tels que la recherche d'un zéro d'une fonction, la recherche d'un point stationnaire d'un problème d'optimisation, le problème de complémentarité linéaire, etc. Le formalisme a d'abord été introduit pour analyser certaines équations aux dérivées partielles modélisant des problèmes avec contact ou avec frontière libre avant de devenir un cadre formel autonome s'appliquant à des problèmes variés. Wikipedia