Well-posedness of a fully nonlinear evolution inclusion of second order
Aras Bacho
DOI: https://doi.org/10.1007/s41808-024-00270-y
2024-03-21
Journal of Elliptic and Parabolic Equations
Abstract:We consider the well-posedness of the abstract Cauchy problem for the doubly nonlinear evolution inclusion equation of second order given by u′′(t)+∂Ψ(u′(t))+B(t,u(t))∋f(t),t∈(0,T),T>0,u(0)=u0,u′(0)=v0$$\begin{aligned} \left\{ \begin{array}{ll} u''(t)+\partial \Psi (u'(t))+B(t,u(t))\ni f(t), &{} t\in (0,T),\, T>0,\\ u(0)=u_0, &{} u'(0)=v_0 \end{array}\right. \end{aligned}$$where the function u$$ u $$ takes values in a real separable Hilbert space, denoted by H$$\mathscr {H}$$. Here, u0$$ u_0 $$ lies in H$$\mathscr {H}$$, v0$$ v_0 $$ is in the intersection dom(∂Ψ)¯∩dom(Ψ)$$\overline{\textrm{dom}(\partial \Psi )}\cap \textrm{dom}(\Psi )$$, and f$$ f $$ belongs to L2(0,T;H)$$ {\mathrm L}^2(0,T;\mathscr {H}) $$. The functional Ψ:H→(-∞,+∞]$$\Psi : \mathscr {H}\rightarrow (-\infty ,+\infty ] $$ is assumed to be proper, lower semicontinuous, and convex. Additionally, the nonlinear operator B:[0,T]×H→H$$ B:[0,T]\times \mathscr {H}\rightarrow \mathscr {H} $$ is assumed to satisfy either a global or a local Lipschitz condition. In the case where B$$ B $$ satisfies a global Lipschitz condition, we can establish the existence and uniqueness of strong solutions u$$ u $$ belonging to H2(0,T∗;H)$$ {\mathrm H}^2(0,T^*;\mathscr {H}) $$. Furthermore, these solutions continuously depend on the data. We derive these results using the theory of nonlinear semigroups combined with the Banach fixed-point theorem. On the other hand, when B$$ B $$ satisfies a local Lipschitz condition, we can guarantee the existence of strong local solutions.
English Else