No label defined (Q4359709)

The present article deals with the local problems concerning elliptic equations, systems and inequalities. The results are known in various cases, but most of them are not known in the case of non-regular coefficients. The aim virtue of the resulting problem is the transition to cases with mild hypotheses on the coefficients. The main result here stated is: let \(u\in W_{\text{loc}}^{m,p} (\Omega;\mathbb{C}^n)\), \(1< p<\infty\), be a vector valued function, \(n\geq 2\), defined near the origin \(0\in\mathbb{R}^n\) and satisfying a system of differential inequalities \[ \Bigl|\sum_{|\alpha|\leq m}a_\alpha D^\alpha{\mathbf u}(x)\Bigr|< \sum_{|\alpha|\leq m}b_\alpha(x)|D^\alpha{\mathbf u}(x)|, \qquad x\in\Omega, \] \[ \text{det } \Bigl( \sum_{|\alpha|} a_\alpha \xi^\alpha \Bigr)\neq 0 \qquad\text{for any} \quad \xi\in\mathbb{R}^n \setminus \{0\}, \] in an open neighbourhood \(\Omega\) of the origin. Here, \(b_\alpha\) (\(|\alpha|=m\)) are locally Hölder continuous, \(b_\alpha\) (\(|\alpha|<m\)) are in \(L_{\text{loc}}^{p_\alpha}\) with \(p_\alpha> \max(N/(m- |\alpha|),1)\). It is proved that either \({\mathbf u}\) vanishes of infinite order at the origin; that is, \(\varepsilon^{-h}{\mathbf u}(\varepsilon)\to 0\) in \(W_{\text{loc}}^{m,p} (\mathbb{R}^n, \mathbb{C}^n)\) as \(\varepsilon\to 0\) for all \(h\to 0\); or else there exists a homogeneous polynomial \(\varphi\), which does not vanish identically and satisfies the oscillating equation, such that \({\mathbf u}\) is asymptotic equal to \(\varphi\). The proof of polynomial asymptotics is based on combining the homothety rescaling idea with the use of fundamental solutions and on the technique of the reduction to a general problem concerning the iterations of bounded operators.