Triplets of Closely Embedded Hilbert Spaces
Petru Cojuhari, Aurelian Gheondea
TL;DR
The paper develops a general theory of triplets of closely embedded Hilbert spaces built from a positive selfadjoint Hamiltonian $H$ that may lack a bounded inverse. It constructs an abstract model via a factorization $H=T^*T$ and a kernel operator $A=j_+j_+^*$, establishes existence, uniqueness, and left-right symmetry of such triplets, and demonstrates canonical duality through unitary maps. The authors motivate the framework with diverse examples—including Bessel vs. Riesz potentials, weighted Sobolev spaces, Dirichlet-type spaces on the polydisc, and weighted $L^2$ spaces—and show how closed embeddings accommodate noncoercive settings. They then apply the theory to weak solutions of Dirichlet problems for degenerate elliptic PDEs, providing existence results without requiring coercivity or Poincaré–Sobolev inequalities, thereby broadening applicability to nonstandard contexts.
Abstract
We obtain a general concept of triplet of Hilbert spaces with closed (unbounded) embeddings instead of continuous (bounded) ones. The construction starts with a positive selfadjoint operator $H$, that is called the Hamiltonian of the system, which is supposed to be one-to-one but may not have a bounded inverse, and for which a model is obtained. From this model we get the abstract concept and show that its basic properties are the same with those of the model. Existence and uniqueness results, as well as left-right symmetry, for these triplets of closely embedded Hilbert spaces are obtained. We motivate this abstract theory by a diversity of problems coming from homogeneous or weighted Sobolev spaces, Hilbert spaces of holomorphic functions, and weighted $L^2$ spaces. An application to weak solutions for a Dirichlet problem associated to a class of degenerate elliptic partial differential equations is presented. In this way, we propose a general method of proving the existence of weak solutions that avoids coercivity conditions and Poincaré-Sobolev type inequalities.
