Variational inequality: Definition from Answers.com

A Variational inequality is a inequality involving a functional, which has to be solved for all the value 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.

1 History
2 Definition
3 Examples
4 See also
5 Bibliography
6 References
7 External links

History

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 Bressanone 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).

Definition

Following Antman (1983, p. 283), the formal definition of a variational inequality is the following one.

Definition 1. Given a Banach space $E$ , a subset $K$ of $E$ , and a functional $\scriptstyle F:\boldsymbol{K}\rightarrow\boldsymbol{E}^\ast$ from $K$ to the dual space $E *$ of the space $E$ , the variational inequality problem is the problem of solving respect to the variable $x$ belonging to $K$ the following inequality:

$\langle F(x), y-x \rangle \geq 0\qquad\forall y \in \boldsymbol{K}$

where $\scriptstyle\langle\cdot,\cdot\rangle: \boldsymbol{E}^*\times\boldsymbol{E}\rightarrow\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:

Prove the existence of a solution: this step implies the mathematical correctness of the problem, showing that there is at least a solution.
Prove the uniqueness of the given solution: this step implies the physical correctness of the problem, showing that the solution can be used to represent a physical phenomenon. It is a particularly important step since most of the problems modeled by variational inequalities are of physical origin.
Find the solution.

Examples

The problem of finding the minimal value of a real-valued function of real variable

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$ over a closed interval $I = [a, b]$ . Let $\scriptstyle x^*$ be a point in $I$ where the minimum occurs. Three cases can occur:

if $\scriptstyle a<x^*< b$ then $\scriptstyle f'(x^*) = 0$ ;
if $\scriptstyle x^*=a$ then $\scriptstyle f'(x^*) \ge 0$ ;
if $\scriptstyle x^*=b$ then $\scriptstyle f'(x^*) \le 0.$

These necessary conditions can be summarized as the problem of finding $\scriptstyle x^*\in I$ such that

$f'(x^*)(y-x^*) \geq 0\qquad\forall y \in I$

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.

The general finite dimensional variational inequality

A formulation of the general problem in $\scriptstyle\mathbb{R}^n$ is the following: given a subset $K$ of $\scriptstyle\mathbb{R}^n$ and a mapping $\scriptstyle F:K\rightarrow\mathbb{R}^n$ , the finite-dimensional variational inequality problem associated with $K$ consist of finding a $n$ -dimensional vector $x$ belonging to $K$ such that

$\langle F(x), y-x \rangle \geq 0\qquad\forall y \in K$

where $\scriptstyle\langle\cdot,\cdot\rangle:\mathbb{R}^n\times\mathbb{R}^n\rightarrow\mathbb{R}$ is the standard inner product on the vector space $\scriptstyle\mathbb{R}^n$ .

The variational inequality for the Signorini problem

The classical Signorini problem: what will be the equilibrium configuration of the orange spherically shaped elastic body resting on the blue rigid frictionless plane?

In the historical survey (Fichera 1995), Gaetano Fichera describes the genesis of his solution to the Signorini problem: the problem consist in finding the elastic equilibrium configuration $\scriptstyle\boldsymbol{u}(\boldsymbol{x})=\left(u_1(\boldsymbol{x}),u_2(\boldsymbol{x}),u_3(\boldsymbol{x})\right)$ of a anisotropic non-homogeneous elastic body that lies in a subset $A$ of the three-dimensional euclidean space whose boundary is $\scriptstyle\partial A$ , resting on a rigid frictionless surface and subject only to its mass forces. The solution $u$ of the problem exists and is unique (under precise assumptions) in the set of admissible displacements $\scriptstyle\mathcal{U}_\Sigma$ i.e. the set of displacement vectors satisfying the system of ambiguous boundary conditions if and only if

$B(\boldsymbol{u},\boldsymbol{v}) - F(\boldsymbol{v}) \geq 0 \qquad \forall \boldsymbol{v} \in \mathcal{U}_\Sigma$

where $\scriptstyle B(\boldsymbol{u},\boldsymbol{v})$ and $\scriptstyle F(\boldsymbol{v})$ are the following functionals, written using the Einstein notation

$B(\boldsymbol{u},\boldsymbol{v}) = -\int_A \sigma_{ik}(\boldsymbol{u})\varepsilon_{ik}(\boldsymbol{v})\mathrm{d}x$ $F(\boldsymbol{v}) = \int_A v_i f_i\mathrm{d}x + \int_{\partial A\setminus\Sigma}\!\!\!\!\! v_i g_i \mathrm{d}\sigma \qquad \boldsymbol{u},\boldsymbol{v} \in \mathcal{U}_\Sigma$

where, for all $\scriptstyle\boldsymbol{x}\in A$ ,

$Σ$ is the contact surface (or more generally a contact set),
$\scriptstyle\boldsymbol{f}(\boldsymbol{x}) = \left( f_1(\boldsymbol{x}), f_2(\boldsymbol{x}), f_3(\boldsymbol{x}) \right)$ is the body force applied to the body,
$\scriptstyle\boldsymbol{g}(\boldsymbol{x})=\left(g_1(\boldsymbol{x}),g_2(\boldsymbol{x}),g_3(\boldsymbol{x})\right)$ is the surface force applied to $\scriptstyle\partial A\setminus\Sigma$ ,
$\scriptstyle\boldsymbol{\varepsilon}=\boldsymbol{\varepsilon}(\boldsymbol{u})=\left(\varepsilon_{ik}(\boldsymbol{u})\right)=\left(\frac{1}{2} \left( \frac{\partial u_i}{\partial x_k} + \frac{\partial u_k}{\partial x_i} \right)\right)$ is the infinitesimal strain tensor,
$\scriptstyle\boldsymbol{\sigma}=\left(\sigma_{ik}\right)$ is the Cauchy stress tensor, defined as

$\sigma_{ik}= - \frac{\partial W}{\partial \varepsilon_{ik}} \qquad\forall i,k=1,2,3$

where $\scriptstyle W(\boldsymbol{\varepsilon})=a_{ikjh}(\boldsymbol{x})\varepsilon_{ik}\varepsilon_{ik}$ is the elastic potential energy and $\scriptstyle\boldsymbol{a}(\boldsymbol{x})=\left(a_{ikjh}(\boldsymbol{x})\right)$ is the elasticity tensor.

Bibliography

Antman, Stuart (1983), "The influence of elasticity in analysis: modern developments", Bulletin of the American Mathematical Society 9 (3): 267–291, doi:10.1090/S0273-0979-1983-15185-6, MR 714990, Zbl 0533.73001, http://www.ams.org/bull/1983-09-03/S0273-0979-1983-15185-6/home.html?pagingLink=%3Ca+href%3D%22%2Fjoursearch%2Fservlet%2FDoSearch%3Fco1%3Dand%26co2%3Dand%26co3%3Dand%26cperpage%3D50%26csort%3Dd%26endmo%3D00%26f1%3Dmsc%26f2%3Dtitle%26f3%3Danywhere%26f4%3Dauthor%26format%3Dstandard%26jrnl%3Done%26sendit22%3DSearch%26sperpage%3D30%26ssort%3Dd%26startmo%3D00%26timingString%3DQuery%2Btook%2B71%2Bmilliseconds.%26v4%3DAntman%26onejrnl%3Dbull%26startRec%3D1%22%3E . An hystorical paper about the fruitful interaction of elasticity theory and mathematical analysis: the creation of the theory of variational inequalities by Gaetano Fichera is described in paragraph 5, pages 282–284.
Fichera, Gaetano (1995), "La nascita della teoria delle diseguaglianze variazionali ricordata dopo trent'anni (The birth of the theory of variational inequalities remembered thirty years later)", Incontro scientifico italo-spagnolo. Roma, 21 ottobre 1993, Atti dei Convegni Lincei, 114, Roma: Accademia Nazionale dei Lincei, pp. 47–53 (in Italian).

References

Facchinei, Francisco; Pang, Jong-Shi (2003), Finite Dimensional Variational Inequalities and Complementarity Problems, Vol. 1, Springer Series in Operations Research, Berlin-Heidelberg-New York: Springer-Verlag, Zbl 1062.90001, ISBN 0-387-95580-1
Facchinei, Francisco; Pang, Jong-Shi (2003), Finite Dimensional Variational Inequalities and Complementarity Problems, Vol. 2, Springer Series in Operations Research, Berlin-Heidelberg-New York: Springer-Verlag, Zbl 1062.90001, ISBN 0-387-95581-x
Fichera, Gaetano (1963), "Sul problema elastostatico di Signorini con ambigue condizioni al contorno (On the elastostatic problem of Signorini with ambiguous boundary conditions)", Rendiconti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 8 34 (2): 138–142, Zbl 0128.18305 (in Italian). A short paper describing briefly the approach to the solution of the Signorini problem.
Fichera, Gaetano (1964a), "Problemi elastostatici con vincoli unilaterali: il problema di Signorini con ambigue condizioni al contorno (Elastostatic problems with unilateral constraints: the Signorini problem with ambiguous boundary conditions)", Memorie della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 8 7 (2): 91–140, Zbl 0146.21204 (in Italian). The paper containing the existence and uniqueness theorem for the Signorini problem.
Fichera, Gaetano (1964b), "Elastostatic problems with unilateral constraints: the Signorini problem with ambiguous boundary conditions", Seminari dell'istituto Nazionale di Alta Matematica 1962–1963, Rome: Edizioni Cremonese, pp. 613–679 . An English translation of the paper (Fichera 1964a).
Glowinski, Roland; Lions, Jacques-Louis; Trémolières, Raymond (1981), Numerical analysis of variational inequalities. Translated from the French, Studies in Mathematics and its Applications, 8, Amsterdam-New York-Oxford: North-Holland, MR 635927, Zbl 0463.65046, ISBN 0-444-86199-8
Kinderlehrer, David; Stampacchia, Guido (1980), An Introduction to Variational Inequalities and Their Applications, Pure and Applied Mathematics, 88, Boston-London-New York-San Diego-Sydney-Tokyo-Toronto: Academic Press, Zbl 0457.35001, ISBN 0-89871-466-4, http://books.google.it/books?id=B1cPRJ3qiw0C&printsec=frontcover&dq=An+Introduction+to+Variational+Inequalities+and+Their+Applications .
Lions, Jacques-Louis; Stampacchia, Guido (1965), "Inéquations variationnelles non coercives", Comptes rendus hebdomadaires des séances de l'Académie des sciences 261: 25–27, Zbl 0136.11906, http://gallica.bnf.fr/ark:/12148/bpt6k4022z.image.r=Comptes+Rendus+Academie.langEN.f26.pagination , available at Gallica. Announcements of the results of paper (Lions & Stampacchia 1967).
Lions, Jacques-Louis; Stampacchia, Guido (1967), "Variational inequalities", Communications on Pure and Applied Mathematics 20: 493–519, doi:10.1002/cpa.3160200302, Zbl 0152.34601, http://www3.interscience.wiley.com/journal/113397217/abstract . An important paper, describing the abstract approach of the authors to the theory of variational inequalities.
Stampacchia, Guido (1964), "Formes bilineaires coercitives sur les ensembles convexes", Comptes rendus hebdomadaires des séances de l'Académie des sciences 258: 4413–4416, Zbl 0124.06401, http://gallica.bnf.fr/ark:/12148/bpt6k4012p.image.r=Comptes+Rendus+Academie.f20.langEN , available at Gallica. The paper containing Stampacchia's generalization of the Lax-Milgram theorem.

External links

Panagiotopoulos, P.D. (2001), "Variational inequalities", in Hazewinkel, Michiel, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104, http://eom.springer.de/V/v120010.htm

This entry is from Wikipedia, the leading user-contributed encyclopedia. It may not have been reviewed by professional editors (see full disclaimer)

Donate to Wikimedia

	Mixed complementarity problem
	Differential variational inequality
	Signorini problem

	How do you write an inequality as two inequalities? Read answer...
	How do you find an inequality? Read answer...
	What is spacial inequality? Read answer...

	What is developmental variation and environmental variation?
	How variation exist without variation?
	What is gobal inequality?

		Sci-Tech Dictionary. McGraw-Hill Dictionary of Scientific and Technical Terms. Copyright © 2003, 1994, 1989, 1984, 1978, 1976, 1974 by McGraw-Hill Companies, Inc. All rights reserved. Read more
		Wikipedia. This article is licensed under the Creative Commons Attribution/Share-Alike License. It uses material from the Wikipedia article "Variational inequality". Read more

Variational inequality

Contents