Variational inequality

In mathematics, a variational inequality is an inequality involving a functional, which has to be solved for all possible values of a given variable, belonging usually to a convex set. The mathematical theory of variational inequalities was initially developed to deal with equilibrium problems, precisely the Signorini problem: in that model problem, the functional involved was obtained as the first variation of the involved potential energy therefore it has a variational origin, recalled by the name of the general abstract problem. The applicability of the theory has since been expanded to include problems from economics, finance, optimization and game theory. In mathematics, a variational inequality is an inequality involving a functional, which has to be solved for all possible values of a given variable, belonging usually to a convex set. The mathematical theory of variational inequalities was initially developed to deal with equilibrium problems, precisely the Signorini problem: in that model problem, the functional involved was obtained as the first variation of the involved potential energy therefore it has a variational origin, recalled by the name of the general abstract problem. The applicability of the theory has since been expanded to include problems from economics, finance, optimization and game theory. The first problem involving a variational inequality was the Signorini problem, posed by Antonio Signorini in 1959 and solved by Gaetano Fichera in 1963, according to the references (Antman 1983, pp. 282–284) and (Fichera 1995): the first papers of the theory were (Fichera 1963) and (Fichera 1964a), (Fichera 1964b). Later on, Guido Stampacchia proved his generalization to the Lax–Milgram theorem in (Stampacchia 1964) in order to study the regularity problem for partial differential equations and coined the name 'variational inequality' for all the problems involving inequalities of this kind. Georges Duvaut encouraged his graduate students to study and expand on Fichera's work, after attending a conference in Brixen on 1965 where Fichera presented his study of the Signorini problem, as Antman 1983, p. 283 reports: thus the theory become widely known throughout France. Also in 1965, Stampacchia and Jacques-Louis Lions extended earlier results of (Stampacchia 1964), announcing them in the paper (Lions & Stampacchia 1965): full proofs of their results appeared later in the paper (Lions & Stampacchia 1967). Following Antman (1983, p. 283), the formal definition of a variational inequality is the following one. Definition 1. Given a Banach space E {displaystyle {oldsymbol {E}}} , a subset K {displaystyle {oldsymbol {K}}} of E {displaystyle {oldsymbol {E}}} , and a functional F : K → E ∗ {displaystyle Fcolon {oldsymbol {K}} o {oldsymbol {E}}^{ast }} from K {displaystyle {oldsymbol {K}}} to the dual space E ∗ {displaystyle {oldsymbol {E}}^{ast }} of the space E {displaystyle {oldsymbol {E}}} , the variational inequality problem is the problem of solving for the variable x {displaystyle x} belonging to K {displaystyle {oldsymbol {K}}} the following inequality: where ⟨ ⋅ , ⋅ ⟩ : E ∗ × E → R {displaystyle langle cdot ,cdot angle colon {oldsymbol {E}}^{ast } imes {oldsymbol {E}} o mathbb {R} } is the duality pairing. In general, the variational inequality problem can be formulated on any finite – or infinite-dimensional Banach space. The three obvious steps in the study of the problem are the following ones: This is a standard example problem, reported by Antman (1983, p. 283): consider the problem of finding the minimal value of a differentiable function f {displaystyle f} over a closed interval I = [ a , b ] {displaystyle I=} . Let x ∗ {displaystyle x^{ast }} be a point in I {displaystyle I} where the minimum occurs. Three cases can occur: These necessary conditions can be summarized as the problem of finding x ∗ ∈ I {displaystyle x^{ast }in I} such that The absolute minimum must be searched between the solutions (if more than one) of the preceding inequality: note that the solution is a real number, therefore this is a finite dimensional variational inequality.