\(L^p\) regularity of homogeneous elliptic differential operators with constant coefficients on \(\mathbb R^N\) (Q1709568)

The author proves that if \(A\) is an homogeneous elliptic operator of order \(m\) with constant complex coefficients, given by \[ Au=i^m\sum_{|\alpha|_1=m}a_{\alpha}\partial^{\alpha}u, \] where \(m\in\mathbb{N}\), \(a_{\alpha}\in \mathbb{C}\), \(|\alpha|_1:=\alpha_1+\cdots+\alpha_N\), with \[ A(\xi):=\sum_{|\alpha|_1=m}a_{\alpha}\xi^{\alpha}\not=0\quad\text{for every}\quad \xi\in\mathbb{R}^N\setminus\{0\} \] and \(Au\in L^P\), then all the partial derivatives of order \(m\) of \(u\) are in \(L^p\) if and only if \(u\) satisfies a simple necessary and sufficient side condition. Namely, for \(1<p<\infty\), he obtains the relation \(D^{m,p}=\{u\in M_0^{m,1}:\,\,Au\in L^p\}\), where \(D^{m,p}\) are the homogeneous Sobolev spaces \[ D^{m,p}:=\big\{u\in L_{\mathrm{loc}}^1:\,\,\,\partial ^{\alpha}u\in L^p,\,\,|\alpha|_1=m\big\} \] and \(M_0^{m,1}:=\{u\in L_{\mathrm{loc}}^1:\,\,\lim_{R\to\infty}R^{-m}|B_R|^{-1}\|u\|_{1,B_R}=0\}\). Generalizations of this result to the case where the derivatives of \(u\) of any order \(k\geq 0\) are in \(L^p\), for some exterior domains and for Douglis-Nirenberg elliptic systems are also presented.