Sobolev-like Hilbert spaces induced by elliptic operators (Q2313032)

The authors mainly prove an interpolation formula for function spaces induced by the inner product Sobolev spaces \(H^s(\Omega)\), \(s \in \mathbb{R}\), over a bounded Euclidean domain \(\Omega\) and by an elliptic differential operator \(A\) on \(\overline{\Omega}\). These spaces serve as domains of Fredholm bounded operators that correspond to elliptic problems. The domain and the coefficients of \(A\) are of the class \(C^\infty\). Also, their application to elliptic boundary value problems is discussed. Some properties of these spaces, concerning their completeness, separability and dense subsets, are investigated. To prove the main results, the authors use a theorem on interpolation of some Hilbert spaces induced by linear continuous operators and a theorem proved by \textit{J. L. Lions} and \textit{E. Magenes} in a more general case of Banach spaces, which is contained in Chapter 13 of their book [Problèmes aux limites non homogènes et applications. Paris: Dunod (1968; Zbl 0165.10801)]. It is pointed out that these properties are valid only for some suitable \(s,\) bounded from above, so do not remain valid for \(s\in \mathbb{R}\).