On semi-Fredholm properties of a boundary value problem in \({\mathbb{R}}^ n_+\) (Q1118772)

The paper deals with semi-Fredholm properties of a non-elliptic boundary value system in \({\mathbb{R}}^ n_+=\{(x_ 1,...,x_ n)\in {\mathbb{R}}^ n,\quad x_ n>0\}.\) The considered operator is the smallest closed extension \(L^{\sim}: H_ k\to H_{k_ 0}\times {\mathcal B}_{h_ 1}\times...\times {\mathcal B}_{h_ N}\) of a linear operator \(L: C^{\infty}_ 0({\mathbb{R}}^ n_+)\to \phi ({\mathbb{R}}^ n_+)\times \phi \times...\times \phi.\) The spaces \(H_ k\) (the spaces \({\mathcal B}_ h)\) are Hilbert spaces of distributions defined in terms of weight functions k (h), and L is defined by the linear pseudo-differential operator \(L(x,D): C^{\infty}_ 0\to \phi\) (whose formal transpose \(L'(x,D): C^{\infty}_ 0\to \phi\) exists) and a system \(\ell_ j(D)\) of linear pseudo-differential operators. The symbols \(\ell_ j(\xi)\) of \(\ell_ j(D)\) satisfy \[ \ell_ j(\xi)k_{-q}(\xi ')k_{+\epsilon}(\xi_ n)\leq C k(\xi),\quad q\in {\mathbb{N}},\quad \epsilon >0,\quad \xi =(\xi ',\xi_ n)\in {\mathbb{R}}^ n. \] The main result contains a sufficient condition for the surjectivity of the linear operator \({\mathcal L}\), which can be identified with the dual operator \(L^{\sim^*}\) of \(L^{\sim}\) through linear homeomorphisms. As an application of the criterion of the closedness of the range \(R(L^{\sim})\) also a certain ``a priori'' estimate is obtained.