Various Form Closures of a Fixed Non-Semibounded Self-Adjoint Operator

Basic Information

• Paper ID: 2502.09551
• Title: Various form closures associated with a fixed non-semibounded self-adjoint operator
• Author: Andreas Fleige
• Classification: math.FA (Functional Analysis), math.SP (Spectral Theory)
• Publication Date: arXiv preprint (February 2025)
• Paper Link: https://arxiv.org/abs/2502.09551v2

Abstract

This paper investigates the closure problem of sesquilinear forms associated with non-semibounded self-adjoint operators. In the semibounded case, the closure of the sesquilinear form $(T \cdot, \cdot)$ of a self-adjoint operator $T$ is the unique Hilbert space completion. In the non-semibounded case, the closure is a Krein space completion and is typically non-unique. The author establishes a one-to-one correspondence between all closed symmetric forms with "gap point" 0 and all J-nonnegative, J-self-adjoint, and boundedly invertible Krein space operators, investigates their characteristic spectral functions, particularly their behavior at the critical point at infinity, and provides detailed examples of infinitely many closures through non-semibounded self-adjoint multiplication operators in model Hilbert spaces.

Research Background and Motivation

Problem Background

1. Limitations of Classical Theory: In the classical semibounded case, there exists a one-to-one correspondence between self-adjoint operators and closed symmetric sesquilinear forms, which is the core of Kato's representation theorem. However, when the operator is no longer semibounded, this uniqueness disappears.
2. Complexity of the Non-Semibounded Case: For a non-semibounded self-adjoint operator $T$, its sesquilinear form $(T \cdot, \cdot)$ may have multiple distinct closures, each corresponding to a different Krein space completion.
3. Theoretical Gap: While previous research primarily focused on "regular" closed forms (those representable through $|T|^{1/2}$), a complete characterization of the non-regular case remains lacking.

Research Motivation

1. Perfecting the Theoretical Framework: Establishing a complete classification theory of form closures in the non-semibounded case
2. Exploring Information Capacity: Investigating whether closed symmetric forms carry more information than self-adjoint Hilbert space operators
3. Constructing Concrete Examples: Demonstrating the non-triviality of the theory through explicit constructions

Core Contributions

1. Establishing One-to-One Correspondence: Proving a bijection between all closed symmetric forms with gap point 0 and all J-nonnegative, J-self-adjoint, and boundedly invertible Krein space operators (Theorem 4.1)
2. Characterizing Regularity: For a fixed non-semibounded self-adjoint operator, precisely identifying the unique regular closed form and establishing it as the "regularization" of all other closures (Theorem 5.4)
3. Characteristic Spectral Function Analysis: Proving that the characteristic spectral functions of all closures are restrictions of the original operator's spectral measure to the form domain (Theorem 5.6)
4. Uniqueness Characterization: Proving that form closure is unique if and only if the original operator is semibounded (Theorem 5.9)
5. Explicit Construction: Constructing explicit families of infinitely many distinct closures through multiplication operators in model spaces (Theorem 6.9)

Detailed Methodology

Problem Formulation

Given a self-adjoint boundedly invertible operator $T$ in a Hilbert space $(H, (\cdot, \cdot))$, investigate all possible closures of the sesquilinear form $(T \cdot, \cdot)$ on $\text{dom}T$.

Theoretical Framework

1. Krein Space Method

• Utilizing Krein space theory to handle non-semibounded forms
• Connecting Krein spaces with Hilbert spaces through fundamental symmetry $J$
• Employing concepts such as J-self-adjointness and J-nonnegativity

2. Rigged Space Triple Construction

For a J-nonnegative, J-self-adjoint, boundedly invertible operator $A$ in a Krein space, construct the rigged space triple: $K_+ \subset K \subset K_-$ where:

• $K_+ = \text{dom}(JA)^{1/2}$ equipped with inner product $\{f,g\}_+ = \{(JA)^{1/2}f, (JA)^{1/2}g\}$
• $K_-$ is the dual space of $(K_+, \{\cdot,\cdot\}_+)$
• Each embedding is dense and continuous

3. Bijective Correspondence

Establishing the mapping $\Phi$:

• From the set of closed symmetric forms to the set of Krein space operators
• Via the formulas $K := \text{dom}t$, $[\cdot,\cdot] := t[\cdot,\cdot]$, $A := A_t$
• The inverse mapping is given through rigged space triple construction

Technical Innovations

1. Unified Treatment: Moving beyond regular forms to handle all possible closures
2. Geometric Insight: Providing geometric understanding of closures through rigged space triples
3. Explicit Construction: Giving a parameterized family of closures in the model space $L^2_{r_-}(\mathbb{R})$: $\text{dom}t_\alpha = \{f \in L^2_{r_-}(\mathbb{R}) : f_e \in L^2_{\eta_\alpha}(\mathbb{R}), f_o \in L^2_{\omega_\alpha}(\mathbb{R})\}$ where $\alpha \in [0,2]$, and $f_e$, $f_o$ are the even and odd parts of $f$ respectively

Experimental Setup

Model Space Construction

Consider weight functions $r \in L^1_{\text{loc}}(\mathbb{R})$ satisfying:

• $r(x) = 0$ a.e. on $[-\varepsilon, \varepsilon]$
• $xr(x) > 0$ a.e. on $(-\infty,-\varepsilon) \cup (\varepsilon,\infty)$
• $r(-x) = -r(x)$ a.e. (odd function)

Define:

• $r_+(x) = xr(x)$, $r_-(x) = \frac{1}{x}r(x)$
• Spaces $L^2_{r_\pm}(\mathbb{R})$ equipped with corresponding inner products

Parametric Family Construction

For $\alpha \in [0,2]$, define: $\eta_\alpha(x) = (\sqrt{|x|^\alpha + 1} - \sqrt{|x|^\alpha})|r(x)|$$\omega_\alpha(x) = \sqrt{|x|^\alpha}|r(x)|$

Construct closures: $t_\alpha[f,g] = \lim_{k \to \infty} \int_{-k}^k fg \, r \, dx$

Experimental Results

Main Results

1. Existence of Closures: For all $\alpha \in [0,2]$, $t_\alpha[\cdot,\cdot]$ is a closure of $(T \cdot, \cdot)$
2. Regularity Characterization:
   • When $\alpha = 0$: corresponds to the unique regular closure
   • When $\alpha \in (0,2]$: corresponds to non-regular closures
3. Domain Relationships: For $0 \leq \alpha < \beta \leq 2$:
   • $L^2_{\omega_\beta} \subset L^2_{\omega_\alpha} \subset L^2_r$
   • $L^2_r \subset L^2_{\eta_\alpha} \subset L^2_{\eta_\beta}$
   • $\text{dom}t_\alpha \neq \text{dom}t_\beta$

Characteristic Spectral Function Analysis

For the characteristic spectral function $E_\alpha$:

• Regular case ($\alpha = 0$): $\lim_{\lambda \to \infty} E_0([\varepsilon,\lambda])f$ exists
• Non-regular case ($\alpha > 0$): The limit does not exist for certain functions, and the operator norm is unbounded: $\|E_\alpha((\varepsilon,k])\|_\alpha \geq \frac{2(\sqrt{k^\alpha} - \sqrt{\varepsilon^\alpha})}{\alpha(g_0,g_0)_{\eta_\alpha}}$

Case Study

Through the concrete function: $g_0(x) = \frac{1}{\sqrt{r(x)x}} \quad (x \in \mathbb{R} \setminus [-\varepsilon,\varepsilon])$ demonstrating that the point at infinity is indeed a singular critical point in non-regular closures.

Related Work

Historical Development

1. McIntosh's Pioneering Work: First to investigate non-semibounded sesquilinear forms
2. Krein Space Methods: Developed by Fleige and others, handling problems through Krein space theory
3. Ćurgus-Langer Theory: General theory on Krein space completions

Contributions vs. Existing Work

1. Completeness: Handling all closures rather than just regular cases
2. Constructiveness: Providing explicit infinite parametric families
3. Geometric Perspective: Offering geometric understanding through rigged space triples

Conclusions and Discussion

Main Conclusions

1. Form closures of non-semibounded self-adjoint operators are generally non-unique, exhibiting rich structure
2. All closures can be uniformly characterized through J-nonnegative Krein space operators
3. Closed symmetric forms carry more information than the original operator (such as the parameter $\alpha$)

Limitations

1. Difficulty of Explicit Construction: Beyond model cases, it is difficult to provide explicit closure families for other operators
2. Lack of Physical Interpretation: The physical significance of these additional structures remains unclear
3. Computational Complexity: Concrete computation of non-regular closures is relatively complex

Future Directions

1. Finding more explicit examples, particularly for differential operators
2. Exploring physical applications and understanding the physical meaning of additional information
3. Developing computational methods for handling non-regular closures

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Establishing a complete theoretical framework for the non-semibounded case
2. Methodological Innovation: Cleverly combining Krein space theory with form theory
3. Constructive Results: Providing concrete infinite parametric family constructions
4. Technical Rigor: Mathematically rigorous reasoning and deep results

Weaknesses

1. Limited Applications: Primarily pure mathematical theory with unclear practical applications
2. Limited Examples: Only one detailed model space example provided
3. Computational Challenges: Practical computation in the non-regular case remains difficult

Impact

1. Theoretical Contribution: Providing new perspectives for non-semibounded operator theory
2. Methodological Value: The rigged space triple method may be applicable to other problems
3. Inspirational Significance: Suggesting that form theory may be more refined than operator theory

Applicable Scenarios

1. Non-semibounded Hamiltonian operators in quantum mechanics
2. Non-elliptic operators in partial differential equations
3. Singular problems in spectral theory

References

The paper cites 33 important references, primarily including:

• Kato's classical monograph "Perturbation Theory for Linear Operators"
• Langer's foundational work on definitizable operators
• Ćurgus-Langer theory on Krein space completions
• The author's own series of works on non-semibounded forms

Overall Assessment: This is a high-quality pure mathematics theoretical paper making significant contributions to form theory of non-semibounded operators. While the application background is not sufficiently clear, the theoretical value is substantial, providing new tools and perspectives for related fields.