Resolvent estimates in \(L^ p\) for elliptic systems in Lipschitz domains (Q1908101)

The author obtains \(L^p\) resolvent estimates in Lipschitz domains in \(\mathbb{R}^n\) for constant coefficients elliptic systems. More precisely, the boundary value problem: \[ - a^{\alpha \beta}_{ij} {\partial^2 u^\beta\over \partial x_i \partial x_j}+ \lambda u^\alpha= f^\alpha\quad \text{in } \Omega,\quad \alpha= 1, 2,\dots, m,\quad u= 0\quad \text{on } \partial \Omega\tag{1} \] is studied with \(\lambda\in \mathbb{C}\backslash (- \infty, 0)\) being a complex parameter and \(a^{\alpha \beta}_{ij}\), \(1\leq i\), \(j\leq n\), \(1\leq \alpha\), \(\beta\leq m\), are real constants satisfying the Legendre-Hadamard condition \[ \mu|\xi|^2 |\eta|^2\leq a^{\alpha \beta}_{ij} \xi_i \xi_j \eta^\alpha \eta^\beta\leq {1\over \mu} |\xi|^2 |\eta |^2 \] for some \(\mu> 0\) and all \(\xi\in \mathbb{R}^n\), \(\eta\in \mathbb{R}^m\). It is well-known that problem (1) has a unique solution \(u= (u^1,\dots, u^m)\in H^1_0(\Omega)\) if \(f= (f^1,\dots, f^m)\in L^2(\Omega)\) and, moreover, the \(L^2(\Omega)\) norms of \(u\) and its gradient \(\nabla u\) can be estimates in terms of \(|f|_{L^2(\Omega)}\). The author's aim is to extend these estimates in \(L^p\) categories. The main results proved may be summarized as follows. Let \(\Omega\) be a bounded Lipschitz domain in \(\mathbb{R}^n\), \(N\geq 3\), with connected boundary and \(\lambda\in \{\lambda\in \mathbb{C}: \lambda= 0\) or \(|\arg\lambda|< \pi- \theta\}\) for some \(\theta\in (0, \pi/2)\). a) If \(n\geq 4\), there exist constants \(C> 0\), \(\delta> 0\) depending on \(\Omega\), \(n\), \(\theta\) and \(\mu\) such that if \(f\in L^p(\Omega)\cap L^2(\Omega)\), \(2n/(n+ 3)- \delta< p< 2n/(n- 3)+ \delta\), then the unique solution \(u\in H^1_0(\Omega)\) of (1) satisfies \[ |u|_{L^p(\Omega)}\leq {C\over 1+ |\lambda|} |f|_{L^p(\Omega)}.\tag{2} \] b) If \(n= 3\), then (2) holds for all \(1\leq p\leq \infty\). c) There exist constants \(C> 0\), \(\delta> 0\) depending on \(\Omega\), \(n\), \(\theta\) and \(\mu\) such that if \(f\in L^p(\Omega) \cap L^2(\Omega)\), \(2n/(n+ 1)- \delta< p< 2n/(n- 1)+ \delta\), then the unique solution \(u\in H^1_0(\Omega)\) of (1) satisfies \[ |\nabla u|_{L^p(\Omega)}\leq {C\over (1+ |\lambda|)^{1/2}} |f|_{L^p(\Omega)}. \]