[Paper Review] On a class of Model Hilbert Spaces

Fritz Gesztesy, Rudi Weikard+1 more|arXiv (Cornell University)|Nov 2, 2011

Spectral Theory in Mathematical Physics25 references3 citations

TL;DR

This paper provides a rigorous, unified construction of model Hilbert spaces $L^2(\mathbb{R}; d\Sigma; \mathcal{K})$, where $\mathcal{K}$ is a separable Hilbert space and $\Sigma$ is a bounded operator-valued measure. It establishes the equivalence of multiple construction approaches in the literature, including those by Berezanskii and Gel'fand–Kostyuchenko, and proves that completing the space before or after quotienting by a semi-inner product yields isometric Hilbert spaces, ensuring consistency in spectral theory and perturbation theory applications.

ABSTRACT

We provide a detailed description of the model Hilbert space $L^2(\bbR; dΣ; \cK)$, were $\cK$ represents a complex, separable Hilbert space, and $Σ$ denotes a bounded operator-valued measure. In particular, we show that several alternative approaches to such a construction in the literature are equivalent. These spaces are of fundamental importance in the context of perturbation theory of self-adjoint extensions of symmetric operators, and the spectral theory of ordinary differential operators with operator-valued coefficients.

Motivation & Objective

• To provide a detailed and generalized construction of the model Hilbert space $L^2(\mathbb{R}; d\Sigma; \mathcal{K})$ with a possibly nontrivial null space of the total measure $T = \Sigma(\mathbb{R})$.
• To demonstrate the equivalence of different construction methods for such model spaces, particularly those using completion before or after quotienting by a semi-inner product.
• To clarify and resolve ambiguities in the literature regarding the order of operations in constructing these spaces, especially in the context of direct integrals of Hilbert spaces.
• To establish foundational tools for applications in perturbation theory of self-adjoint extensions and spectral theory of ordinary differential operators with operator-valued coefficients.

Proposed method

• The construction follows the direct integral framework, defining measurable families of Hilbert spaces $\{\mathcal{K}_\lambda\}_{\lambda \in \mathbb{R}}$ with respect to a $\sigma$-finite Borel measure $\mu$.
• A measurable family $\mathcal{M}$ is defined as a subspace of the Cartesian product $\prod_{\lambda \in \mathbb{R}} \mathcal{K}_\lambda$ such that the inner product $\lambda \mapsto (f(\lambda), g(\lambda))_{\mathcal{K}_\lambda}$ is $\mu$-measurable for all $g \in \mathcal{M}$.
• The model Hilbert space $L^2(\mathbb{R}; d\Sigma; \mathcal{K})$ is realized as a completion of equivalence classes of measurable sections under a semi-inner product induced by $\Sigma$, with the null space of $\Sigma(\mathbb{R})$ explicitly allowed.
• The equivalence of two alternative constructions—completion before quotienting and quotienting before completion—is rigorously proven via an isometry lemma in Appendix A, showing both yield isometric Hilbert spaces.
• The proof relies on constructing Cauchy sequences in the semi-metric space and defining equivalence classes under the vanishing semi-norm, leading to a complete metric space isometric to the final Hilbert space.
• The framework is extended to $L^p$-spaces with scalar weight functions $w$, maintaining consistency across $p \geq 1$.

Experimental results

Research questions

• RQ1 Are the two distinct construction orders—completion before quotienting and quotienting before completion—equivalent for model Hilbert spaces $L^2(\mathbb{R}; d\Sigma; \mathcal{K})$?
• RQ2 Can the model Hilbert space $L^2(\mathbb{R}; d\Sigma; \mathcal{K})$ be consistently defined even when the total measure $\Sigma(\mathbb{R})$ has a nontrivial kernel?
• RQ3 How do the constructions by Berezanskii and Gel'fand–Kostyuchenko relate to the approach in [24], and are they equivalent?
• RQ4 What is the precise role of the direct integral framework in ensuring the measurability and completeness of the model space?
• RQ5 To what extent do the $L^p$-spaces $L^p(\mathbb{R}; w d\Sigma; \mathcal{K})$ inherit the structural properties of the $L^2$-space?

Key findings

• The construction of $L^2(\mathbb{R}; d\Sigma; \mathcal{K})$ is generalized to allow for a nontrivial kernel of the total measure $\Sigma(\mathbb{R})$, which was previously excluded in some formulations.
• The two alternative construction routes—completing first and then quotienting, or quotienting first and then completing—are proven to yield isometric Hilbert spaces, resolving a long-standing ambiguity in the literature.
• An isometry lemma (Lemma A.1) establishes a canonical isometric bijection between the two completion-quotienting orders, ensuring the final space is independent of the construction sequence.
• The model Hilbert space is shown to be isometric to the completion of the quotient space under the semi-norm induced by $\Sigma$, confirming the robustness of the construction.
• The framework supports the extension to $L^p$-spaces with scalar weights, maintaining the same structural consistency across $p \geq 1$, which is essential for applications in spectral theory.
• The results confirm that the model Hilbert space is a well-defined, canonical object in the theory of direct integrals and operator-valued measures, with applications in self-adjoint extensions and differential operators.