Semilinear formulation of a hyperbolic system of partial differential equations (Q2155911)

This paper concerns degenerated semilinear first-order hyperbolic systems of the type \[ \left. \begin{array}{l} \partial_tu_i(t,x)=f_i(x,u(t,x),v(t,x)),\; i=1,\ldots,l,\\ \partial_tv_j(t,x)=c_j(x)\partial_xv_k(t,x)+g_j(x,u(t,x),v(t,x)),\;j=1,\ldots,m, \end{array} \right\}\; x \in[0,1]. \] The boundary values \(v(t,0)\) and \(v(t,1)\) are related via an additional ODE system \[ w_k'(t)=h_k(v(t,1),w(t)),\; k=1,\ldots,n \] and a system of algebraic equations \[ v_j(t,0)=\sum_{k=1} c_{jk}w_k(t),\; j=1,\ldots,m. \] The authors prove local well-posedness of the corresponding initial-boundary value problem using sun-dual semigroup setting. Here they closely follow \textit{M. Lichtner} [J. Appl. Anal. 15, No. 1, 79--100 (2009; Zbl 1197.35157)]. Moreover, the authors show that nonlinear stability of stationary solutions is determined by the linearized semigroup (principle of linearized stability). This is far from being straightforward because the function spaces have to be choosen small enough such that the nonlinearities are differentiable in those function spaces. Finally the authors show that stability of the linearized semigroup is determined by the spectrum of its generator (spectral mapping property). This is, again, far from being straightforward, because a counterexample of a linear 2D hyperbolic PDE is known [\textit{M. Renardy}, Z. Angew. Math. Phys. 45, No. 6, 854--865 (1994; Zbl 0820.76008)], which does not satisfy the spectral mapping property, and because the known proofs of the spectral mapping property for linear 1D first-order hyperbolic systems are quite involved [\textit{A. F. Neves} et al., J. Funct. Anal. 67, 320--344 (1986; Zbl 0594.35009); \textit{M. Lichtner}, Proc. Am. Math. Soc. 136, No. 6, 2091--2101 (2008; Zbl 1148.47029)].