Kreĭn–Saakyan L-Resolvent Matrix Theory
- The topic defines the Kreĭn–Saakyan theory as a framework that characterizes all generalized resolvents using gauge subspaces and analytic L-resolvent matrices.
- It employs a rigged space structure and a linear-fractional transformation over Nevanlinna families to unify self-adjoint extension theory and boundary triple formalism.
- The approach leads to explicit constructions of spectral and pseudo-spectral functions, with broad applications to differential operators and canonical systems.
The Kreĭn–Saakyan theory of $\sL$-resolvent matrices characterizes and parametrizes all generalized resolvents of symmetric operators and linear relations in Hilbert and Pontryagin spaces, including the construction of explicit analytic matrix-valued functions governing generalized spectral theory. Central to the theory is the concept of a gauge subspace $\sL$ (proper or improper) and the associated $\sL$-resolvent matrix , which encodes all generalized resolvents via a linear-fractional transformation over Nevanlinna parameter families. This approach unifies self-adjoint extension theory, Nevanlinna-type holomorphic operator functions, rigged Hilbert (or Pontryagin) space constructions, and boundary triple formalism, enabling a fully explicit description of spectral and pseudo-spectral functions for symmetric relations, with key applications to canonical systems and differential operators (Derkach, 4 Dec 2025, Derkach, 20 May 2025, Mogilevskii, 2014).
1. Rigged Space Framework and Gauge Subspaces
A closed symmetric linear relation in a separable Hilbert space $\sH$ with finite and equal deficiency indices is naturally situated in a triplet (rigged chain):
$\sH_+ \subset \sH \subset \sH_-$
where $\sH_+ = \dom(A^*)$ is equipped with the graph norm, and $\sH_-$ is its dual. For $\sL$0 in a Pontryagin space, analogous structures apply, with special attention to the indefinite inner product and finite negative index.
A subspace $\sL$1 of dimension $\sL$2 is called a gauge of $\sL$3 if, for some $\sL$4 in the complex plane, the dual space decomposes as
$\sL$5
If $\sL$6 this is a proper gauge; if $\sL$7 it is an improper gauge. The set of such $\sL$8 is denoted $\sL$9, and the projection onto $\sL$0 parallel to $\sL$1 is denoted $\sL$2 (Derkach, 4 Dec 2025, Derkach, 20 May 2025).
This rigged space structure underlies the extension of the classical Kreĭn–Saakyan formula from operators to linear relations and from proper to improper gauges, especially in the context of boundary value problems and the spectral theory of differential systems.
2. $\sL$3-Resolvent Matrices and Linear-Fractional Parametrization
Given a self-adjoint extension $\sL$4 of $\sL$5 in some (possibly larger) Hilbert or Pontryagin space, and the canonical resolvent $\sL$6, the (generalized) compressed resolvent defined on $\sL$7 is
$\sL$8
where $\sL$9 is the orthogonal projection. One regularizes at 0 by defining 1, and then
2
Given an invertible 3, the operator-valued function
4
is called the 5-resolvent of 6. For 7 in 8, 9 is holomorphic and belongs to the Nevanlinna class 0, characterized by symmetry 1 and kernel nonnegativity 2 for 3.
All 4-resolvents arise from a fixed analytic 5 6-resolvent matrix 7 through the linear-fractional transformation
8
where 9 ranges over all operator-valued Nevanlinna families of size $\sH$0. The matrix $\sH$1 satisfies a kernel $\sH$2-positivity condition, with $\sH$3 and
$\sH$4
for $\sH$5. This parametrization gives a bijection between generalized resolvents and boundary parameter families (Derkach, 4 Dec 2025, Derkach, 20 May 2025).
| Concept | Operator/Linear Relation Formulation | Gauge Type |
|---|---|---|
| $\sH$6-resolvent | $\sH$7 | Proper/Improper |
| Parameter Set | $\sH$8 in Nevanlinna or generalized Nevanlinna class | Depends on negative index |
| $\sH$9-resolvent matrix | 0 class | Same structure |
3. Boundary Triple Formalism and Weyl Function Machinery
A boundary triple for 1 is a triple 2 with 3 surjective and satisfying the abstract Green's identity:
4
This setup allows the definition of the Weyl function 5 and the 6-field by
7
These objects enable one to express all generalized resolvents via the Kreĭn formula:
8
This formula produces a bijection between generalized (including all 9-) resolvents and Nevanlinna boundary families $\sH_+ \subset \sH \subset \sH_-$0, establishing the analytic functional model underlying the resolvent theory. In the case of linear relations and improper gauges, these constructions pass to the anti-dual or distributional boundary mappings (Derkach, 4 Dec 2025, Derkach, 20 May 2025, Mogilevskii, 2014).
4. Construction and Properties of the $\sH_+ \subset \sH \subset \sH_-$1-Resolvent Matrix
The preresolvent data are assembled in
$\sH_+ \subset \sH \subset \sH_-$2
Under appropriate domain conditions, the $\sH_+ \subset \sH \subset \sH_-$3 and $\sH_+ \subset \sH \subset \sH_-$4 blocks remain invertible, allowing the explicit construction
$\sH_+ \subset \sH \subset \sH_-$5
Alternatively, $\sH_+ \subset \sH \subset \sH_-$6 can be written in terms of boundary operators:
$\sH_+ \subset \sH \subset \sH_-$7
The class of functions $\sH_+ \subset \sH \subset \sH_-$8 thus obtained—$\sH_+ \subset \sH \subset \sH_-$9 in the Hilbert space case, or the corresponding Kreĭn–Saakyan class $\sH_+ = \dom(A^*)$0 in the Pontryagin space case (having $\sH_+ = \dom(A^*)$1 negative squares)—characterizes all possible $\sH_+ = \dom(A^*)$2-resolvents. J-positivity/nonnegativity of the kernel associated to $\sH_+ = \dom(A^*)$3 characterizes positive definiteness properties of the corresponding resolvent kernels (Derkach, 4 Dec 2025, Derkach, 20 May 2025).
5. Spectral and Pseudo-Spectral Functions
With $\sH_+ = \dom(A^*)$4, there exists a vector-valued directing mapping $\sH_+ = \dom(A^*)$5 into $\sH_+ = \dom(A^*)$6. Every nondecreasing left-continuous $\sH_+ = \dom(A^*)$7 matrix-function $\sH_+ = \dom(A^*)$8 on $\sH_+ = \dom(A^*)$9 is called an LT-spectral function if
$\sH_-$0
Spectral functions $\sH_-$1 correspond precisely to those for which the induced generalized Fourier transform is an isometry. Every such $\sH_-$2 is linked to an $\sH_-$3-resolvent via the Stieltjes-type integral
$\sH_-$4
where $\sH_-$5 is a boundary constant. Pseudo-spectral functions are characterized by partial isometries with kernel $\sH_-$6; true spectral functions exist exactly when $\sH_-$7 is single-valued (operator, no multi-valued part) (Derkach, 4 Dec 2025).
6. Specialization to Canonical Systems
For canonical first-order systems $\sH_-$8 on an interval $\sH_-$9 with $\sL$00 and $\sL$01, the $\sL$02-resolvent theory provides a comprehensive parametrization of all self-adjoint extensions and generalized resolvents for the minimal relation $\sL$03 in weighted $\sL$04 spaces. A natural boundary triple is given by
$\sL$05
The associated Weyl function and $\sL$06-field are computable via the system's monodromy $\sL$07:
$\sL$08
For gauges $\sL$09 in the dual space (typically supported at endpoints), explicit formulas for $\sL$10 and $\sL$11 lead to closed-form rational expressions for $\sL$12 in terms of $\sL$13. The general linear-fractional formula recovers all possible boundary conditions and spectral measures (Derkach, 4 Dec 2025, Derkach, 20 May 2025, Mogilevskii, 2014).
7. Connections and Extensions
The Kreĭn–Saakyan theory extends classical self-adjoint extension analysis and Weyl–Titchmarsh theory by fully encoding the dependence of generalized resolvents and spectral measures on abstract boundary data, without restriction to differential or canonical systems. It subsumes both the operator and linear relation settings, accommodating multi-valued parts, improper gauges, and allows for indefinite signatures in Pontryagin and Kreĭn space frameworks. This provides a unified matrix-functional toolkit describing all admissible resolvents, associated pseudo-spectral and spectral families, and furnishes concrete computational machinery for applications in direct and inverse spectral theory (Derkach, 4 Dec 2025, Derkach, 20 May 2025, Mogilevskii, 2014).