Subdifferential inclusions with unbounded perturbation: existence and relaxation theorems (Q339966)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Subdifferential inclusions with unbounded perturbation: existence and relaxation theorems
scientific article

    Statements

    Subdifferential inclusions with unbounded perturbation: existence and relaxation theorems (English)
    0 references
    0 references
    11 November 2016
    0 references
    The evolution inclusion \[ -\dot{x}\in \partial \phi ^{t}(x)+U(t,x)\eqno{(1)} \] in a separable Hilbert space is considered, where \(\partial \phi ^{t}\) represents the subdifferential of the proper, convex, lower semicontinuous function \(\phi ^{t}\), along with the convexified version \[ -\dot{x}\in \partial \phi ^{t}(x)+\overline{\text{co}}U(t,x).\eqno{(2)} \] Existence of solutions is proven for (1) and the density of the solution set of (1) in the closure of the solution set of (2) is proven. The author notes that this latter property is often called ``relaxation,'' and that typically, compactness of \(\phi ^{t}\) and boundedness of the perturbation \(U\) are assumed for relaxation results, but those assumptions are not made here. These results are analogous to the finite-dimensional results found in [\textit{A. F. Filippov}, SIAM J. Control 5, 609--621 (1967; Zbl 0238.34010); translation from Vestnik Moskov. Univ., Ser. I 22, No. 3, 16--26 (1967)]. Assumptions are also specified for a perturbed polyhedral sweeping process so that by expressing the problems in the form (1) or (2), these results hold. \ Next, similar results are considered for the variational inequality \[ \varphi (x(t))-\varphi (z)\leq \left\langle \dot{x}(t)+u(t),z-x(t)\right\rangle \] where \(\varphi \) is proper, convex and lower semicontinuous, \(z\in \) dom \(\varphi \cap F(t)\), where the polyhedral mapping \(F\) is a time-dependent ``obstacle,'' subject to the constraint \(u(t)\in U(t,x(t))\) or \(u(t)\in \overline{\text{co}}U(t,x(t))\). Lastly, the author gives an example of an unbounded \(U\) which satisfies the assumptions specified in the results.
    0 references
    0 references
    0 references
    0 references
    0 references
    evolution inclusion
    0 references
    convexified
    0 references
    existence of solutions
    0 references
    relaxation
    0 references
    polyhedral sweeping process
    0 references
    perturbation
    0 references
    variational inquality
    0 references
    subdifferential
    0 references
    0 references