On the calculation of the polar cone of the solution set of a differential inclusion (Q744292): Difference between revisions

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. \]