Pointwise estimates in the Filippov lemma and Filippov-Ważewski theorem for fourth order differential inclusions (Q1741784): Difference between revisions

The authors consider the following problem in a separable complex Banach space \(X:\) \[ \mathcal{D}y := y^{\prime\prime\prime\prime} - (A^2 + B^2)y^{\prime\prime} + A^2B^2y \in F(t,y) \] \[ y(c) = \alpha, \quad y^\prime (c) = \beta, \quad y^{\prime\prime} (c) = \gamma, \quad y^{\prime\prime\prime} (c) = \delta \] with \(c \in [0,T].\) Here, \(F \colon [0,T] \times X \multimap X\) is a compact-valued multimap which is measurable in the first argument and Lipschitz continuous in the second one, \(A^2\) and \(B^2\) are the infinitesimal generators of two commuting cosine families of operators. The principal result is the following version of Filippov's lemma. Let \(y_0 \in W^{4,1} = W^{4,1}([0,T],X)\) be a function such that \[ \operatorname{dist} (\mathcal {D}y_0(t), F(t,y_0(t))) \leq p_0(t) \quad \text{for a.e. } t \in [c,d] \subset [0,T], \] where \(p_0 \in L^1 [0,T].\) Then there are functions \(\sigma_0\) and \(\varphi\) such that for each \(\varepsilon >0\) there exists a solution \(y \in W^{4,1}\) of the above problem such that for a.e. \(t \in [c,d]:\) \[ |\mathcal{D}y(t) - \mathcal{D} y_0(t)| \leq \sigma_0(t) \] and \[ |y(t) - y_0(t)| \leq (\varphi \star_* \sigma_0)(t), \quad |y^\prime(t) - y_0^\prime(t)| \leq (\varphi^\prime \star_* \sigma_0)(t), \] \[ |y^{\prime\prime}(t) - y_0^{\prime\prime}(t)| \leq (\varphi^{\prime\prime} \star_* \sigma_0)(t), \quad |y^{\prime\prime\prime}(t) - y_0^{\prime\prime\prime}(t)| \leq (\varphi^{\prime\prime\prime} \star_* \sigma_0)(t), \] where \(\star_*\) denotes the convolution started at \(c.\) As a corollary, the authors present a version of the Filippov-Ważewski relaxation theorem for the pair of differential inclusions \[ \mathcal{D}y \in F(t,y), \] \[ \mathcal{D}y \in clco\,F(t,y) \] with the same initial conditions.