Solution dependence on initial conditions in differential variational inequalities

In the first part of this paper, we establish several sensitivity results of the solution x(t, ξ) to the ordinary differential equation (ODE) initial-value problem (IVP) dx/dt = f(x), x(0) =  ξ as a function of the initial value ξ for a nondifferentiable f(x). Specifically, we show that for $$\Xi_T \equiv \{\,x(t,\xi^0): 0 \leq t \leq T\,\}$$ , (a) if f is “B-differentiable” on $$\Xi_T$$ , then so is the solution operator x(t;·) at ξ0; (b) if f is “semismooth” on $$\Xi_T$$ , then so is x(t;·) at ξ0; (c) if f has a “linear Newton approximation” on $$\Xi_T$$ , then so does x(t;·) at ξ0; moreover, the linear Newton approximation of the solution operator can be obtained from the solution of a “linear” differential inclusion. In the second part of the paper, we apply these ODE sensitivity results to a differential variational inequality (DVI) and discuss (a) the existence, uniqueness, and Lipschitz dependence of solutions to subclasses of the DVI subject to boundary conditions, via an implicit function theorem for semismooth equations, and (b) the convergence of a “nonsmooth shooting method” for numerically computing such boundary-value solutions.

[1]  R. Mifflin Semismooth and Semiconvex Functions in Constrained Optimization , 1977 .

[2]  J. M. Schumacher,et al.  Complementarity systems in optimization , 2004, Math. Program..

[3]  Jong-Shi Pang,et al.  Differential variational inequalities , 2008, Math. Program..

[4]  R. Aumann INTEGRALS OF SET-VALUED FUNCTIONS , 1965 .

[5]  Liqun Qi,et al.  A nonsmooth version of Newton's method , 1993, Math. Program..

[6]  A. F. Filippov On Certain Questions in the Theory of Optimal Control , 1962 .

[7]  Stephen M. Robinson,et al.  Strongly Regular Generalized Equations , 1980, Math. Oper. Res..

[8]  Jong-Shi Pang,et al.  Piecewise Smoothness, Local Invertibility, and Parametric Analysis of Normal Maps , 1996, Math. Oper. Res..

[9]  W. P. M. H. Heemels,et al.  Linear Complementarity Systems , 2000, SIAM J. Appl. Math..

[10]  Boris Polyak,et al.  B.S. Mordukhovich. Variational Analysis and Generalized Differentiation. I. Basic Theory, II. Applications , 2009 .

[11]  M. Çamlibel Complementarity Methods in the Analysis of Piecewise Linear Dynamical Systems , 2001 .

[12]  J. Warga,et al.  Fat homeomorphisms and unbounded derivate containers , 1981 .

[13]  Richard W. Cottle,et al.  Linear Complementarity Problem. , 1992 .

[14]  W. Heemels Linear complementarity systems : a study in hybrid dynamics , 1999 .

[15]  F. Clarke Optimization And Nonsmooth Analysis , 1983 .

[16]  F. Facchinei,et al.  Finite-Dimensional Variational Inequalities and Complementarity Problems , 2003 .

[17]  M. Seetharama Gowda,et al.  Inverse and implicit function theorems for H-differentiable and semismooth functions , 2004, Optim. Methods Softw..

[18]  Liqun Qi,et al.  Convergence Analysis of Some Algorithms for Solving Nonsmooth Equations , 1993, Math. Oper. Res..

[19]  Defeng Sun,et al.  Semismooth Homeomorphisms and Strong Stability of Semidefinite and Lorentz Complementarity Problems , 2003, Math. Oper. Res..

[20]  Kim C. Border,et al.  Fixed point theorems with applications to economics and game theory: Fixed point theorems for correspondences , 1985 .

[21]  W. Heemels,et al.  Well-posedness of linear complementarity systems , 1999, Proceedings of the 38th IEEE Conference on Decision and Control (Cat. No.99CH36304).

[22]  G. Smirnov Introduction to the Theory of Differential Inclusions , 2002 .

[23]  James M. Ortega,et al.  Iterative solution of nonlinear equations in several variables , 2014, Computer science and applied mathematics.

[24]  B. Kummer NEWTON's METHOD FOR NON-DIFFERENTIABLE FUNCTIONS , 1988, Advances in Mathematical Optimization.

[25]  Jong-Shi Pang,et al.  Linear Complementarity Systems: Zeno States , 2005, SIAM J. Control. Optim..

[26]  Stephen M. Robinson,et al.  Normal Maps Induced by Linear Transformations , 1992, Math. Oper. Res..

[27]  M. Kanat Camlibel,et al.  On Linear Passive Complementarity Systems , 2002, Eur. J. Control.