\(L_p\) regularity theorem for elliptic equations in less smooth domains (Q2330992)

The Dirichlet problem for a higher order elliptic operator \(L\), either \[Lu=\sum_{|\alpha|,|\beta|\leq m}D^{\alpha}a_{\alpha,\beta}(x)D^{\beta}u \quad\text{or}\quad Lu=\sum_{|\alpha|\leq 2m}a_{\alpha,\beta}(x)D^{\alpha}u,\] is considered in a domain \(G\subset {\mathbb R}^{n}\) with boundary \(\Gamma\). It is assumed that \(\mathrm{Re}\,a_{0}(\xi)\geq \delta_{0}|\xi|^{2m}\) for all \(\xi\in {\mathbb R}^{n}\), \(x\in G\), and some \(\delta_{0}>0\), with \(a_{0}(\xi)=\sum_{|\alpha|,|\beta|=m}a_{\alpha,\beta}\xi^{\alpha+\beta}\) in the former case and \(a_{0}(\xi)=\sum_{|\alpha|=2m}a_{\alpha}\xi^{\alpha}\) in the latter. Let \(\Gamma\in C^{k,1}\) with \(k\) an integer and \(k\geq 0\) in the former case and \(k\geq m\) in the latter. Under the minimal smoothness assumptions on the coeffcients, it is proven that some set of the form \(\mathrm{Re}\,\lambda>\lambda_{0}\) belongs to the resolvent set of \(-L:W_{p}^{k-m}(G)\to W_{p}^{k-m}(G)\) with \(D(L)=W_{p}^{m+k}(G)\cap \mathop{W}\limits^{\circ}{}_{p}^{m}(G)\) and the corresponding estimate of the resolvent holds. The coeffcients satisfy the conditions: a) \(a_{\alpha,\beta}\in C(\overline{G})\) for \(|\alpha|=|\beta|=m\), \(a_{\alpha,\beta}\in L_{\infty}(G)\) otherwise, moreover \(a_{\alpha,\beta}\in C^{|\alpha|+k-m}(\overline{G})\) for \(k\geq 1\) (the divergence case), b) \(a_{\alpha}\in C(\overline{G})\) for \(|\alpha|=2m\), \(a_{\alpha}\in W_{\infty}^{k-m}(G)\) for \(|\alpha|\leq 2m\) (the general case).