Some estimates in \({\mathbf R}^n\) for linear partial differential \(\Phi_+\)-operators (Q5930607)

A Banach space is defined by \(X\), the space of linear bounded operators in \(X\) is denoted by \(\Hom(X,X)\) and \(L^p= L^p(\mathbb{R}^n,X)\) denotes the Lebesgue space of strongly Bochner measurable functions \(u: \mathbb{R}^n\to X\), with a standard norm. The Sobolev space of functions [cf. \textit{A. Kufner}, \textit{O. John} and \textit{S. Fucík}, ``Function Spaces'', Leyden (1977; Zbl 0364.46022)] \(u\in L^p\) is denoted by \(W^m_p(L^p)\), whose generalized derivatives \(D^\alpha u(|\alpha|\leq m\in\mathbb{N})\) belongs to \(L^p\). A partial differential operator is also assumed in the form \[ P= \sum_{|\alpha|\leq m} A_\alpha(x) D^\alpha, \] the coefficients \(A_\alpha(x)\) are continuous functions \(A_\alpha: \mathbb{R}^n\to \Hom(X,X)\) and \(\sup_{x\in\mathbb{R}^n} \|A_\alpha(x)\|=\|A_\alpha\|_C< \infty\). Then operators, known as \(\Phi_+\)-operators, are defined by emphasizing upon their importance. The author states and proves one theorem to obtain necessary and sufficient conditions for the above stated differential operator to be a \(\Phi_+\)-operator. The second theorem is stated without proof, to study the Fredholm property of some classes of linear differential operators.