On the calculation of the polar cone of the solution set of a differential inclusion

DOI10.1134/S008154381206017XMaRDI QIDQ744292zbMATH OpenFDO

Authors E. S. Polovinkin

Publication date 7 October 2014

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/S008154381206017X

zbMATH Keywords

differential inclusion polar cone solution set

Mathematics Subject Classification ID

Evolution inclusions (34G25)

Review text

The author obtains a general structure of the polar cone of the solution set of an arbitrary differential inclusion under the tangent condition in separable reflexive Banach spaces. In fact, the author obtains the following: Let \(Q:T\times E\rightarrow F(E)\) be a map such that \(Q(t,x)=\{y\in E|(x,y)\in K(t)\}\), where \(K(t)\) is a convex cone. Suppose that there exists a function \(\gamma(\cdot)\in L_1(T,\mathbb{R}_+^1)\) such that \[ \{y\in E|(x,y)\in K(t)\}\cap (\gamma(t)\overline{B_1(0)})\neq \emptyset \quad \forall x\in \overline{B_1(0)}, \;t\in T. \] Then the polar cone \((R_T(Q,K_0))^0\) of the solution set \(R_T(Q,K_0)\) of the differential inclusion \(x'\in Q(t,x),\;t\in T\) consists of pairs of points \(b^*\in E^*\) and functions \(y^*(\cdot)\in L_\infty (T,E^*)\) such that for any pair \((b^*,y^*(\cdot))\) there exists a function \(x^*\in L_1(T,E^*)\) that satisfies the inclusions \[ b^*-\int_{t_0}^{t_1}x^*(s)\,\mathrm{d}s\in K_0^0,\;(x^*(t),y^*(t)-\int_{t}^{t_1}x^*(s)\,\mathrm{d}s)\in K^0(t) \quad \forall t\in T. \]

Recommendations

Cites work

Cited in

(4)

This page was built for publication: On the calculation of the polar cone of the solution set of a differential inclusion

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744292)