No label defined (Q4513611)

The paper is devoted to the elliptic differential-difference equation \(Au= f_0(x)\) (\(x\) belongs to some subset of a domain \(Q\subset\mathbb{R}^n\)). Here \(A\) is an operator defined by \[ Au= \sum_{|\alpha|\leq 2m} R_{\alpha Q}D^\alpha u \] and the difference operator \(R_{\alpha Q}= P_Q R_\alpha I_Q\), \(R_\alpha u= \sum_{h\in{\mathcal M}}a_{\alpha h}(x)u(x+ h)\), \(I_Q\) is the operator that extends a function defined on \(Q\) to a function defined in \(\mathbb{R}^2\) by setting it equal to zero on \(\mathbb{R}^2\setminus Q\), \(P_Q\) is the restriction operator from functions on \(\mathbb{R}^2\) to functions on \(Q\), \(a_{\alpha h}\in C^\infty(\widetilde Q_r)\), \(r= 1,\dots, I\), \(\alpha= (\alpha_1,\alpha_2)\), \(|\alpha|= \alpha_1+ \alpha_2\), \(D^\alpha= D^{\alpha_1}_1 D^{\alpha_2}_2\), \(D_j= (-i\partial/\partial x_j)\). The boundary condition is defined by \(B_{j\mu}u= f_{j\mu}(x)\) (\(x\in \Gamma_j\), \(j= J_0+1,\dots, J)\), where \(B_{j\mu}\) is a boundary operator on \(D^\alpha u|_{\Gamma_j}\), \(\Gamma_j\) are some open \(C^\infty\) curves. Solutions with singularities to such a problem may exist in a neighborhood of some set, and then the boundary-value problem is studied in weight spaces. Sufficient conditions for the Fredholm solvability of the problem are obtained. These results are applied to the study of the open question about the existence of a Feller semigroup in the so-called nontransversal case. For the entire collection see [Zbl 0920.00027].