Existence and asymptotic behaviour for a discrete hyperbolic system (Q868776): Difference between revisions

Let \((H,\langle.,.\rangle)\) be a Hilbert space and \(\|.\|\) the associated norm. The author considers the nonlinear discrete hyperbolic system in \(H\): \[ \begin{gathered} f_n(t)\in {du_n\over dt}(t)+ {v_n(t)- v_{n-1}(t)\over h}+ c_n A(u_n(t)),\\ g_n(t)\in {dv_n\over dt}(t)+ {u_{n+1}(t)- u_n(t)\over h}+ d_n B(v_n(t)),\end{gathered}\tag{S} \] where \(n\in\mathbb{N}\), \(0< t< T\), with the boundary condition \[ v_0(t)\in-\alpha(u_1(t)),\quad 0< t< T,\tag{BC} \] and the initial data \[ u_n(0)= u_{no},\quad v_n(0)= v_{no},\quad n\in\mathbb{N},\tag{IC} \] where \(c_n> 0\), \(d_n> 0\), \(n\in\mathbb{N}\), \(h> 0\) and \(A\), \(B\), \(\alpha\) are multivalued operators in \(H\) satisfying the assumptions: the operators \(A: D(A)\subset H\to H\), \(B: D(B)\subset H\to H\) are maximal monotone, possibly multivalued, \(D(\alpha)\neq 0\), \(D(A)\cap D(\alpha)\neq\phi\), the operator \(\alpha\) is bounded on bounded sets and \((\text{int\,}D(\alpha)\cap D(A)\neq\phi\). The author proves that if \[ \begin{gathered} u_{10}\in D(A)\cap D(\alpha),\\ u_{no}\in D(A),\quad u_{no}\in 1^2(H),\quad n\geq 2,\\ v_{no}\in D(B),\quad v_{no}\in 1^2(H),\quad n\geq 1,\\ \{(c_n A(u_{no}))_n\}\subset 1^2(H),\quad \{(d_n B(v_{no}))_n\}\subset 1^2(H),\quad n\in\mathbb{N},\\ (f_n)_n\in W^{1,1}(0, T; 1^2(H)),\quad (g_n)_n\in W^{1,1}(0, T; 1^2(H))\end{gathered} \] then there exist the unique functions \(u_n\) and \(v_n\), \(n\in\mathbb{N}\), such that \[ \begin{gathered} (u_n)_n\in W^{1,\infty}(0, T;1^2(H)),\quad (v_n)_n\in W^{1,\infty}(0, T; 1^2(H)),\\ u_1(t)\in D(A)\cap D(\alpha),\quad t\in [0,T],\\ u_n(t)\in D(A),\quad n\geq 2,\quad t\in [0,T],\\ v_n(t)\in D(B),\quad n\geq 1,\quad t\in [0,T]\end{gathered} \] that verify (S) and (BC) for \(t\in [0,T)\) and the (IC). The author proves other important results.