Existence and asymptotic properties of solutions of nonlinear multivalued differential inclusions with nonlocal conditions (Q412425)

The authors study the differential inclusion with multivalued perturbation and nonlocal initial condition NEWLINE\[NEWLINE u^{\prime }(t) \in Au(t)+F(t,u(t)), \;{u(0) = g(u)}NEWLINE\]NEWLINE where \(A:D(A)\subseteq X\rightarrow X\) is a nonlinear \(m\)-dissipative operator which generates a contraction semigroup \(S(t)\), \(X\) is a real Banach space and \(F\) is a set-valued function which is weakly upper semicontinuous in its second variable. \(S(t)\) is not assumed to be compact and \(F\) is not assumed to be strongly upper semicontinuous.NEWLINENEWLINE In Theorem 3.1, existence of integral solutions is proven under the additional assumptions that \(X^{\ast }\) is uniformly convex, \(S(t)\) is equicontinuous, \(F\) is measurable in its first variable and satisfies a growth condition and a measure of noncompactness requirement and \(g\) is continuous, compact and satisfies a growth condition. Note that \(X\) is not assumed to be separable. The proof is an application of a fixed point theorem in [\textit{D. Bothe}, ``Multivalued perturbations of \(m\)-accretive differential inclusions'', Isr. J. Math. 108, 109--138 (1998; Zbl 0922.47048)].NEWLINENEWLINE In Theorem 4.1, existence of integral solutions is proven under the additional assumptions that \(X\) is separable, \(X^{\ast }\) is uniformly convex, \(F\) is measurable in its first variable, satisfies a Lipschitz condition and a growth condition and \(g\) is Lipschitz continuous.NEWLINENEWLINE Note that \(S(t)\) is not assumed to be equicontinuous.NEWLINENEWLINE The proof is an application of a fixed point theorem found in [\textit{K. Deimling}, Multivalued Differential Equations. De Gruyter Studies in Nonlinear Analysis and Applications. 1. Berlin: Walter de Gruyter (1992; Zbl 0760.34002)]. A result on asymptotic behavior as \(t\rightarrow \infty \) is proven in Theorem 5.1 in which a given solution is proven to be almost nonexpansive.NEWLINENEWLINE The implications of this property are given for each of several sets of assumptions on the Banach space \(X\).NEWLINENEWLINE Finally, a partial differential equations example is given in which Theorem 3.1 is applied.