Mixed problem with nonlocal boundary conditions for a third-order partial differential equation of mixed type (Q5954799)

The present paper is devoted to the study of mixed problems with boundary integral conditions for a third-order partial differential equation of mixed type. The equation \[ {\mathfrak I}u={\partial^2u\over\partial t^2}-{\partial \over\partial x}\left(a(x,t) {\partial^2u\over \partial x\partial t} \right)= f(x,t)\tag{1} \] is considered in the rectangle \(\Omega=(0,l) \times (0,T)\), where \(a(x,t)\) is bounded with \(0<a_0<a(x,t)\leq a_1\) and has a bounded partial derivative such that \(0<a_2\leq\partial a(x,t)/ \partial t\leq a_3\) and \(0<a_4 \leq\partial a(x,t)/ \partial x\leq a_5\) for \((x,t)\in \overline\Omega\). The following conditions are added to equation (1): the initial condition \[ l_1 u=u(x,0)= \varphi(x),\;l_2u={\partial u\over \partial t}(x,0)=\psi(x),\;x\in (0,l); \tag{2} \] the Dirichlet condition \[ u(0,t)=0,\;t\in(0,T), \tag{3} \] and the integral condition \[ \int^l_0u(\xi,t) d\xi=0,\;t\in(0,T),\tag{4} \] where \(\varphi \) and \(\psi\) are known functions which satisfy the compatibility conditions given by \(\varphi(0)=0\), \(\int^l_0\varphi(x) dt=0\), \(\psi(0)=0\), \(\int^l_0 \psi (x)dx=0\). Let \(E\) be the Banach space of the functions \(u\in L_2 (\Omega)\), satisfying (3) and (4), with the finite norm \[ \begin{multlined}\|u \|^2_E= \int_\Omega (l-x)^2\left[ \left|{\partial^2 u\over\partial t^2} \right |^2 +\left|{\partial^3 u\over\partial x^2\partial t}\right |^2 \right] dxdt \\ +\sup_{0\leq t\leq T}\int^l_0(l-x)^2\left[ \left|{\partial^2 u\over\partial x\partial t}\right |^2+\left |{\partial u\over\partial x} \right|^2 \right]dx +\sup_{0\leq t\leq T}\int^l_0 \left[\left|{\partial u \over\partial t}\right |^2+|u|^2 \right]dx,\end{multlined} \] and \(F\) is the Hilbert space of vector-valued functions \((f,\varphi, \psi)\) obtained by completion of the space \(L_2(\Omega)\times W^2_2(0,l)\times W^2_2(0,l)\) with respect to the norm \[ \|f,\varphi, \psi\|^2_F =\int_\Omega(1-x)^2|f |^2 dxdt+\int^1_0(1-x)^2 \left[\left|{\partial\varphi \over\partial x} \right|^2+ \left|{\partial\psi \over\partial x}\right |^2\right] dx+\int^1_0 \bigl[|\varphi|^2 +|\psi |^2\bigr] dx. \] Then the operator \(L=({\mathfrak I},l_1,l_2)\), defined from \(E\) into \(F\), is associated to problem (1), (2), (3) and (4). The following theorem is proved in respect with it: Theorem. For any function \(u\in E\), there are a priori estimates \(\|Lu\|_F\leq c\|u\|_E\), and \(\|u\|_E\leq\alpha\|Lu \|_F\), where \[ \alpha= {\max(167/10,a_1) \over\min\bigl( \exp(-cT)/20,\exp(-cT)a^2_0/15 \bigr)} \] and \(c\geq 1\), \(ca_0-1\geq a_3+2a^2_5\).