In mathematics, a differential variational inequality (DVI) is a dynamical system that incorporates ordinary differential equations and variational inequalities or complementarity problems.
DVIs are useful for representing models involving both dynamics and inequality constraints. Examples of such problems include, for example, mechanical impact problems, electrical circuits with ideal diodes, Coulomb friction problems for contacting bodies, and dynamic economic and related problems such as dynamic traffic networks and networks of queues (where the constraints can either be upper limits on queue length or that the queue length cannot become negative). DVIs are related to a number of other concepts including differential inclusions, projected dynamical systems, evolutionary inequalities, and parabolic variational inequalities.
Differential variational inequalities were first formally introduced by Pang and Stewart, whose definition should not be confused with the differential variational inequality used in Aubin and Cellina (1984).
Differential variational inequalities have the form to find
u(t)\inK
\langlev-u(t),F(t,x(t),u(t))\rangle\geq0
for every
v\inK
| dx | |
| dt |
=f(t,x(t),u(t)), x(t0)=x0.
Closely associated with DVIs are dynamic/differential complementarity problems: if K is a closed convex cone, then the variational inequality is equivalent to the complementarity problem:
K\niu(t) \perp F(t,x(t),u(t))\inK*.
Consider a rigid ball of radius
r
| m | d2y |
| dt2 |
=-mg+N(t)
where
m
N(t)
g
y(t)
N(t)
y(t)-r\geq0
t
y(t)-r>0
N(t)=0
y(t)-r=0
N(t)
N(t)<0
0\leqy(t)-r \perp N(t)\geq0.
In the above formulation, we can set
K=\{z\midz\geq0\}
K*=K
An ideal diode is a diode that conducts electricity in the forward direction with no resistance if a forward voltage is applied, but allows no current to flow in the reverse direction. Then if the reverse voltage is
v(t)
i(t)
0\leqv(t) \perp i(t)\geq0
for all
t
The concept of the index of a DVI is important and determines many questions of existence and uniqueness of solutions to a DVI. This concept is closely related to the concept of index for differential algebraic equations (DAE's), which is the number of times the algebraic equations of a DAE must be differentiated in order to obtain a complete system of differential equations for all variables. It is also a notion close to the relative degree of Control Theory, which is, roughly speaking, the number of times an "output" variable has to be differentiated so that an "input" variable appears explicitly in Control Theory this is used to derive a canonical state space form which involves the so-called "zero-dynamics", a fundamental concept for control). For a DVI, the index is the number of differentiations of F(t, x, u) = 0 needed in order to locally uniquely identify u as a function of t and x.
This index can be computed for the above examples. For the mechanical impact example, if we differentiate
y(t)
dy/dt(t)
N(t)
d2y/dt2=(1/m)[-mg+N(t)]
N(t)
d2y/dt2=b(t)
N(t)
b(t)
For the ideal diode systems, the computations are considerably more difficult, but provided some generally valid conditions hold, the differential variational inequality can be shown to have index one.
Differential variational inequalities with index greater than two are generally not meaningful, but certain conditions and interpretations can make them meaningful (see the references Acary, Brogliato and Goeleven, and Heemels, Schumacher, and Weiland below). One crucial step is to first define a suitable space of solutions (Schwartz' distributions).