No label defined (Q4406545)

The author is interested in solvability of a nonclassical boundary value problem for a class of linear equations of mixed type. The result obtained is applied to constructing periodic solutions with respect to spatial variables for the linearized Lin-Reissner-Tsien equation arising in transonic gas dynamics. In the first part of the article, the author studies the following boundary value problem in a bounded domain \(D\subset \mathbb R^n\) with smooth boundary \(\gamma = \partial D\): Find a solution \(u(x,t)\) to the equation \[ Lu \equiv k(x,t)u_{tt} + a(x,t)u_t + Au = f(x,t),\quad (x,t)\in Q = D\times (0,T), \] satisfying the following boundary value conditions \[ \left. u\right|_{S_0} = \left. u\right|_{S_T},\quad \left. u_t\right|_{\overline{S_0\setminus \Gamma_0}} = \left. u_t\right|_{\overline{S_T\setminus \Gamma_0}},\quad \left. u\right|_{S} = 0 \quad \text{or } \left. \frac{\partial u}{\partial\nu_A} \right|_{S} = 0, \] where \(S = \gamma\times (0,T)\), \(S_0 = \{(x,0)\mid x\in D\}\), \(S_T = \{(x,T)\mid x\in D\}\), \(\Gamma_0 = \{x\in D\mid k(x,0) = k(x,T) = 0\}\), \(Au \equiv - \sum_{i,j=1}^n(a_{ij}(x)u_{x_i})_{x_j} + b(x)u\), \(\sum_{i,j=1}^{n}a_{ij}(x)\xi_i\xi_j\geq a_0|\xi|^2\), \(a_0>0\), and \(\partial u/\partial\nu_A \equiv \sum_{i,j = 1}^na_{ij}u_{x_i}\nu_j\). The author proves the following result: Theorem~1. Let \(f\), \(f_t\in L^2(Q)\) and \(f(x,0) = f(x,t)\) a.e. in \(D\). Suppose that the coefficients of the equation are sufficiently smooth functions and \(a(x,0) = a(x,T)\) for all \(x\in D\). Additionally, assume that \(2a(x,t) - |k_t(x,t)|\geq \delta > 0\) and \(b(x)\geq 0\), in the case of the homogeneous Dirichlet condition, and \(b(x)\geq 0 > \delta\), in case of the homogeneous Neumann condition. Then there exists a solution \(u\in W_2^2(Q)\) to the problem such that \(u_t(x,0) = u_t(x,T)\) a.~e. in \(D\). The second part is devoted to studying a boundary value problem to the so-called linearized Lin-Reissner-Tsien equation \[ Lu \equiv u_{xt} + (k(x,y,t)u_x)_x - \Delta_yu = f(x,y,t) \] in \(G = (0,T)\times (0,L) \times \Omega_y\) where \(\Omega_y\) is a bounded domain in \(\mathbb R^2_y\) with a smooth boundary \(\partial\Omega_y\). The following overdetermined initial-boundary value problem is under study: Find a solution to the equation in \(G\) satisfying the conditions \[ \begin{gathered} \left. u\right|_{t = 0} = u_0(x,y),\\ \left. D_x^ju\right|_{x = 0} = \left. D_x^ju\right|_{x = L},\quad j = 0,1,\\ \left.\frac{\partial u}{\partial n}\right|_{\partial\Omega_y\times (0,T)\times (0,L)} = 0. \end{gathered} \] In this section the author proves the following result: Theorem~2. Suppose that \(k(x,y,t)\) is a sufficiently smooth function on \(\overline G\) and \(D_x^sk|_{x=0} = D_x^sk|_{x=L}\), \(s=0,\dots ,4\). Let \(D_x^{\nu}\in L^2(G)\), \(\nu = 0,\dots ,3\) and \(D_x^{\nu}f|_{x=0}= D_x^{\nu}f|_{x=L}\), \(\nu=0,1,2\). Assume that \(u_0\), \(u_{0x}\), \(u_{0xx} \in W_2^2((0,L)\times \Omega_y)\), and \(D_x^{l}u_0|_{x=0} = D_x^{l}u_0|_{x=L}\), \(l=0,\dots ,3\). Additionally, suppose that \[ \int_0^Lf(x,y,t) dx = 0\quad\text{for all} (y,t)\in \Omega_y\times (0,T),\quad\text{and}\quad \int_0^Lu_0(x,y) dx = 0\quad\text{for all} y\in \Omega_y. \] Then there exists a unique solution to the problem such that \(u\in W^{3,2}_{2x,y}(G)\), \(u_{xt}\in L^2(G)\) and \[ \int_0^Lu(x,y,t) dx = 0\quad\text{for all} (y,t)\in \Omega_y \times (0,T). \] For the entire collection see [Zbl 1007.00016].