No label defined (Q4499447)

The article is devoted to studying solvability and properties of solutions to boundary value problems for the operator-differential equation of even order \[ (-1)^nBu^{(2n)} + Lu = h(t),\quad t\in S = [0,T], \;n\in\mathbb N, \] \(B\) is a selfadjoint operator with domain \(D(B)\), \(L\) is a selfadjoint positive-definite operator with domain \(D(L)\) dense in a separable Hilbert space \(H\). The class of these equations involves the Tricomi equations, the Lavrent'ev--Bitsadze equations, as well as equations with variable time direction. The author considers a class of nonlocal boundary value problems for the above equation and poses the following typical problem: Find a solution to the equation which satisfies the boundary conditions \[ u^{(k)}(0) = u^{(l)}(T) = 0, \qquad k = 0, 1, \dots, n-1, \quad l = 1,\dots, n-1, \] \[ E^-u^{(n)}(0)- \lambda E^-u^{(n)}(T) = E^-v_0, \qquad E^+u^{(n)}(T) - \mu E^+u^{(n)}(0) = E^+v_T, \] where \(|\lambda|< 1\), \(|\mu|< 1\), and \(v_0,v_T\in H_0\). Here \(E^+\) and \(E^-\) are the spectral projections of \(B\) corresponding to the positive and negative parts of the spectrum. The space \(H_0\) is defined as the completion of \(D(B)\) in the norm \(\|u\|_{H_0} = (|B|u,u)^{1/2}\), \(|B|u = B(E^+ - E^-)u\), where \(u\in D(B)\), the space \(H_1\) is the closure of \(D(L)\). The author proves existence and uniqueness theorems for weak solutions \(u(t)\in C(S; H_1)\) such that \(u^{(j)}(t)\in C(S; [H_1, H_{-1}]_{j/2n})\), \(1\leq j\leq 2n\), under the assumptions that \([H_1, H_{-1}]_{1/2} = H_0\), \(0\in\rho(L)\) and then, using the averaging method, establishes that the resultant solution to the nonlocal boundary value problem is strong. As is noted by the author, the smoothness of solutions does not increase in general with increase of the smoothness of the data. The author discusses how to obtain an existence result for a smooth solution \(u(t)\) to the above problem.