A viability result for a class of fully nonlinear reaction-diffusion systems (Q938738): Difference between revisions

Let \(X\) and \(Y\) be two real Banach spaces and let \(A:D(A) \subset X \to X\) and \(B:D(B) \subset Y \to Y\) be the infinitesimal generators of two (possibly) nonlinear semigroups of contractions. Let \({C}\subset \mathbb{R} \times \overline{D(A)}\times \overline{D(B)}\) be nonempty and let \(F:{C} \to X\) and \(G:{C} \to Y\) be two functions. The authors consider the following Cauchy problem for the abstract nonlinear reaction-diffusion system: \[ x'(t)\in Ax(t)+F(t,x(t),y(t)) , \quad y'(t) \in By(t)+G(t,x(t),y(t)), \] \[ x(\tau)=\xi, \quad y(\tau)= \eta \] and prove a necessary and sufficient condition for the set {C} to be \(C^0\)-viable with respect to \((A+F,B+G)\) (i.e. for each \((\tau, \xi, \eta)\in{C}\) there exists \(T>\tau\) such that the above problem has at least one \(C^0\)-solution \((x,y):[\tau, T] \to\overline{D(A)}\times\overline{D(B)}\) with \((t,x(t),y(t)) \in {C}\) for each \(t \in [\tau,T]\)). In the last part they present a comparison result for a class of reaction-diffusion systems which includes as a particular case Lotka-Volterra, predator-prey and other noncooperative systems.