On local continuous solvability of equations associated to elliptic and canceling linear differential operators (Q2661960)

Given an elliptic operator \(A(x, D)=\sum_{|\alpha|\leq \nu}\partial^{\alpha}: C^{\infty}(\Omega;E)\to C^{\infty}(\Omega;F)\) with \(E,F\) finite-dimensional vector spaces of dimensions \(n,n'\) (\(n'\geq n)\), respectively, the problem is the (local) continuous solvability in the weak sense of the equation \[ A^{*}(x,D)v=f,\eqno{(1)} \] where \(A^{*}\) is the formally adjoint operator. Here \(\Omega\) is an open subset in \({\mathbb R}^{N}\) and coefficients \(a_{\alpha}\) are sufficiently smooth. The operator \(A\) is assumed to be canceling, i.e., for every \(x_{0}\in \Omega\), \(\bigcap\limits_{\xi\in {\mathbb R}^{N}\setminus 0}a_{\nu}(x_{0},\xi)E=\{0\}\), where \(a_{\nu}\) is the principal symbol of \(A\). It is proved that, for every point \(x_{0}\in \Omega\), there exists a neighborhood \(U\) about \(x_{0}\) such that the equation (1) for \(f\in D'(U,E^{*})\) has a solution \(v\in C(U,F^{*})\) (in the distributional sense) if and only if the following property holds: for every \(\varepsilon > 0\) and every compact set \(K\subset\subset U\), there exists \(\theta>0\) such that \(|f(\varphi)|\leq \theta\|\varphi\|_{W_{1}^{\nu-1}(U)} +\varepsilon \|A\varphi\|_{L_{1}(U)}\) for every \(\varphi\in D_{K}(U,E)\), where \(D_{K}(U,E)\) denotes the space of smooth function in \(U\) vanishing outside \(K\).