Papers
Topics
Authors
Recent
Search
2000 character limit reached

Krein-type Spectral Shift Formula

Updated 7 July 2026
  • Krein-type spectral shift formulas are identities that relate changes in the spectrum of operator pairs to perturbation determinants and scattering phases.
  • They extend the classical Lifshits–Krein trace formula by incorporating resolvent-comparable, relatively trace-class, and non-self-adjoint settings using canonical normalizations.
  • Applications span Schrödinger operators, boundary-value problems, obstacle scattering, and index theory, providing unified insights into spectral flow and perturbation analysis.

Searching arXiv for recent and foundational papers on Krein-type spectral shift formulas. The Krein-type spectral shift formula is the family of trace and determinant identities that encode how the spectrum of an operator pair changes under perturbation through a spectral shift function (SSF), usually denoted ξ\xi. In the classical self-adjoint trace-class setting, ξ(λ;H1,H0)\xi(\lambda;H_1,H_0) is characterized by the Lifshits–Krein trace formula

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,

together with a normalization convention, and is linked to perturbation determinants and scattering phases (Azamov et al., 2016, Gesztesy et al., 2010). Modern usage of “Krein-type” extends this framework far beyond the original trace-class case, including resolvent-comparable pairs, relatively trace-class perturbations, higher-order and relative Schatten settings, non-self-adjoint perturbations, contraction and dissipative pairs, Banach-space variants, and boundary-extension formulations via Krein resolvent identities (Azamov et al., 2016, Nuland et al., 2021, Bruneau et al., 23 Mar 2026, Malamud et al., 26 Mar 2026, Mirotin, 2018).

1. Classical formulation and normalization

For self-adjoint operators H0H_0 and H1H_1 on a Hilbert space, the classical spectral shift function is defined in the trace-class regime H1H0S1H_1-H_0\in\mathfrak{S}_1 and satisfies Krein’s trace identity

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda

for appropriate test functions φ\varphi (Azamov et al., 2016, Gesztesy et al., 2010, Carey et al., 2015). In resolvent form this becomes

Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},

which is one of the canonical entry points for generalization (Gesztesy et al., 2010, Connard et al., 2022).

In general, the trace identity determines ξ\xi only up to an additive constant. Several normalization mechanisms appear in the literature summarized here. In the resolvent-comparable self-adjoint framework, Birman–Solomyak spectral averaging provides a canonical normalization: ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)0 with ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)1 (Azamov et al., 2016). In relatively trace-class problems for asymptotic pairs ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)2, an invariance principle is used: ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)3 and the residual additive ambiguity is fixed by gap conditions near ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)4 (Gesztesy et al., 2010). For lower semibounded self-adjoint pairs, a standard normalization is ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)5 to the left of the joint spectral bottom (Carey et al., 2015, Allan et al., 2019).

A perturbation-determinant representation is another central classical feature. In the trace-class self-adjoint case, if

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)6

then

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)7

equivalently through boundary values of ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)8 (Bruneau et al., 23 Mar 2026, Carey et al., 2015). This determinant perspective persists, with modifications, in many generalized settings.

2. Resolvent-comparable extensions and the canonical ac/singular split

A major extension replaces the trace-class perturbation hypothesis by resolvent comparability: ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)9 for one, hence every, nonreal Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,0 (Azamov et al., 2016). In this framework the Birman–Solomyak definition yields a spectral shift measure that is absolutely continuous, and the trace formula follows by integrating a chain rule under the trace (Azamov et al., 2016).

The decisive refinement developed for resolvent-comparable pairs is the canonical decomposition

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,1

where the absolutely continuous and singular parts are defined by replacing the full spectral measure by its absolutely continuous or singular part inside the infinitesimal spectral shift measure (Azamov et al., 2016). Explicitly,

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,2

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,3

For almost every Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,4, the absolutely continuous density admits the stationary formula

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,5

(Azamov et al., 2016).

The singular part is especially distinctive. Under the resolvent-comparable hypotheses used in "Singular spectral shift function for Schrödinger operators" (Azamov et al., 2016), the singular spectral shift measure is absolutely continuous and its density is integer-valued almost everywhere: Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,6 This is obtained by combining the full Birman–Krein determinant formula

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,7

with its absolutely continuous variant

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,8

which forces Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ,\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda,9 (Azamov et al., 2016). This exhibits a Krein-type formula in which scattering determines not only the total shift but also isolates an integer-valued singular component.

The same paper proves two nontrivial identifications of the singular part. First,

H0H_00

so the singular SSF equals the total resonance index (Azamov et al., 2016). Second,

H0H_01

where H0H_02 is the singular part of Pushnitski’s H0H_03-invariant, defined through scattering eigenphase flow and independent of the angle variable (Azamov et al., 2016). In the earlier trace-class setting, the angle-independence of H0H_04 and the equality

H0H_05

were established in "Singular spectral shift and Pushnitski H0H_06-invariant" (Azamov, 2010).

For Schrödinger operators,

H0H_07

with H0H_08 bounded measurable real-valued and H0H_09 bounded integrable real-valued on H1H_10, the resolvent-comparable hypothesis holds for H1H_11 but not in general for H1H_12 under these assumptions (Azamov et al., 2016). This dimensional restriction is a structural limitation of that realization of the Krein-type theory.

3. Relatively trace-class perturbations, index theory, and spectral flow

A different generalization concerns perturbations that are not themselves trace class but are relatively trace class. In the framework of "The index formula and the spectral shift function for relatively trace class perturbations" (Gesztesy et al., 2010), one studies a path

H1H_13

with H1H_14 self-adjoint, H1H_15 a.e., and

H1H_16

(Gesztesy et al., 2010). These assumptions imply the existence of asymptotes H1H_17 with

H1H_18

(Gesztesy et al., 2010).

The associated first-order operator

H1H_19

leads to second-order operators

H1H0S1H_1-H_0\in\mathfrak{S}_10

and the central resolvent trace identity becomes

H1H0S1H_1-H_0\in\mathfrak{S}_11

with

H1H0S1H_1-H_0\in\mathfrak{S}_12

(Gesztesy et al., 2010). This is the core Krein-type relation from which the paper derives a Pushnitski-type transform linking the SSF for H1H0S1H_1-H_0\in\mathfrak{S}_13 to the SSF for H1H0S1H_1-H_0\in\mathfrak{S}_14: H1H0S1H_1-H_0\in\mathfrak{S}_15 (Gesztesy et al., 2010).

This framework has direct index-theoretic consequences. If H1H0S1H_1-H_0\in\mathfrak{S}_16, then H1H0S1H_1-H_0\in\mathfrak{S}_17 is Fredholm and

H1H0S1H_1-H_0\in\mathfrak{S}_18

(Gesztesy et al., 2010). Moreover,

H1H0S1H_1-H_0\in\mathfrak{S}_19

and also

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda0

(Gesztesy et al., 2010).

The survey "The Spectral shift function and the Witten index" (Carey et al., 2015) places these formulas into a broader Krein-type context. It reiterates that when Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda1,

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda2

and shows that in the non-Fredholm case, provided Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda3 is a right and left Lebesgue point of Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda4, the resolvent-regularized Witten index is

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda5

(Carey et al., 2015). A plausible implication is that the Krein-type spectral shift formula functions այստեղ not only as a perturbative trace identity but as a unifying invariant across Fredholm index theory, spectral flow, and regularized index notions.

4. Determinant formulas, boundary conditions, and Krein resolvent identities

A second major line of development uses Krein resolvent formulas for self-adjoint extensions. In one-dimensional Schrödinger theory with coupled boundary conditions, "Weak convergence of spectral shift functions revisited" (Connard et al., 2022) derives an explicit rank-two Krein-type resolvent identity. For the finite-interval operators Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda6 and Dirichlet reference operators Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda7,

Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda8

where Tr(φ(H1)φ(H0))=Rφ(λ)ξ(λ;H1,H0)dλ\operatorname{Tr}\big(\varphi(H_1)-\varphi(H_0)\big)=\int_{\mathbb{R}}\varphi'(\lambda)\,\xi(\lambda;H_1,H_0)\,d\lambda9 is rank two and is written using solutions φ\varphi0 and a φ\varphi1 matrix φ\varphi2 (Connard et al., 2022). The paper interprets this in boundary-triplet form as

φ\varphi3

with φ\varphi4 (Connard et al., 2022). In this setting, the Birman–Krein scattering formula is not used; the analysis proceeds through resolvent identities and trace-ideal control alone (Connard et al., 2022).

For singular Sturm–Liouville operators, "Explicit Krein Resolvent Identities for Singular Sturm-Liouville Operators with Applications to Bessel Operators" (Allan et al., 2019) gives rank-one and rank-two formulas in terms of boundary condition bases and the Lagrange bracket. In the one-limit-circle case,

φ\varphi5

with

φ\varphi6

so the resolvent difference is rank one (Allan et al., 2019). Consequently,

φ\varphi7

(Allan et al., 2019). In the Bessel application, this leads to an explicit perturbation determinant φ\varphi8 and

φ\varphi9

followed by the spectral shift representation

Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},0

(Allan et al., 2019).

A more geometric realization appears for Laplacians on Euclidean surfaces with conical singularities. In "Krein formula and S-matrix for Euclidean Surfaces with Conical Singularities" (Hillairet et al., 2010), the Weyl function is a boundary Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},1-matrix Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},2 rather than a scattering matrix in the usual asymptotic sense. For a regular self-adjoint extension Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},3 relative to the Friedrichs extension Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},4, the paper obtains

Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},5

and writes

Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},6

(Hillairet et al., 2010). The associated step-function spectral shift has jumps equal to eigenvalue multiplicity differences (Hillairet et al., 2010). The same determinant controls zeta-regularized determinant comparisons: Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},7 (Hillairet et al., 2010). This suggests that in extension theory the Krein-type spectral shift formula is naturally intertwined with Weyl functions, boundary data, and zeta determinants rather than only with scattering on an absolutely continuous spectrum.

5. Specialized realizations in scattering and low-dimensional models

In scattering theory, the Krein-type spectral shift formula often appears as a combined trace/scattering relation. For planar obstacle scattering, "The spectral shift function for planar obstacle scattering at low energy" (McGillivray, 2011) defines the SSF by an invariance principle from semigroups and proves

Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},8

for a specific class of test functions (McGillivray, 2011). The Birman–Krein formula takes the form

Tr((H1zI)1(H0zI)1)=Rξ(λ;H1,H0)(λz)2dλ,zCR,-\operatorname{Tr}\big((H_1-zI)^{-1}-(H_0-zI)^{-1}\big) = \int_{\mathbb{R}}\xi(\lambda;H_1,H_0)(\lambda-z)^{-2}\,d\lambda, \qquad z\in\mathbb{C}\setminus\mathbb{R},9

(McGillivray, 2011). In two dimensions the threshold behavior is logarithmic: ξ\xi0 with ξ\xi1 (McGillivray, 2011). This low-energy expansion is then transferred to large-time asymptotics of the pinned Wiener sausage (McGillivray, 2011).

For obstacle assemblies, "A relative trace formula for obstacle scattering" (Hanisch et al., 2020) introduces a relative spectral shift

ξ\xi2

so interior eigenvalue terms cancel (Hanisch et al., 2020). The corresponding relative trace is encoded by a holomorphic function ξ\xi3 satisfying

ξ\xi4

on the positive real axis, and

ξ\xi5

for a large sectorial class of test functions (Hanisch et al., 2020). The interaction part of the shift is represented by a boundary-layer determinant

ξ\xi6

(Hanisch et al., 2020). This is a relative Birman–Krein mechanism adapted to multi-obstacle interaction.

In periodic or finite-gap settings, the terminology “Krein-type” can become more formal. "Spectral Shift Functions of Lamé Operators" (Idiong et al., 25 Mar 2025) reviews the classical Lifshits–Krein formula, perturbation determinants, and Birman–Krein relation, then computes explicit Green-function-based phase formulas for Lamé and Brioschi–Halphen operators through distributional Fourier methods (Idiong et al., 25 Mar 2025). The paper emphasizes that for periodic backgrounds one typically works with per-period traces or relative normalizations because ξ\xi7 is usually not trace class globally (Idiong et al., 25 Mar 2025).

For first-order ODEs with ξ\xi8-periodic boundary conditions, "Hill-type formula and Krein-type trace formula for ξ\xi9-periodic solutions in ODEs" (Hu et al., 2015) uses conditional Fredholm determinants rather than an SSF on the real line. The central identity compares

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)00

to the monodromy determinant ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)01 (Hu et al., 2015). Differentiation yields trace formulas for powers of

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)02

that the paper explicitly describes as a non-self-adjoint analogue of the Hamiltonian case (Hu et al., 2015). This suggests that “Krein-type” can denote the structural role of logarithmic-derivative trace identities even when no scalar SSF is introduced.

6. Generalizations beyond the classical self-adjoint Hilbert-space setting

Several recent directions modify either the operator class or the perturbation class while retaining the Krein paradigm.

For higher-order formulas under relative Schatten assumptions, "Spectral shift for relative Schatten class perturbations" (Nuland et al., 2021) considers self-adjoint ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)03 and bounded self-adjoint ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)04 with

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)05

It proves the existence of a real-valued higher-order spectral shift function ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)06 such that for ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)07 in a concrete class ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)08,

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)09

(Nuland et al., 2021). The function is unique up to a polynomial of degree at most ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)10 and satisfies weighted integrability bounds (Nuland et al., 2021). This is the higher-order analogue of the Krein–Koplienko–Peller–Skripka trace formula in the relative setting.

For Banach spaces, "Lifshitz-Krein trace formula for Hirsch functiuonal calculus on Banach spaces" (Mirotin, 2018) defines a spectral shift function for pairs of nonpositive or negative operators under nuclear perturbations. If ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)11 and ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)12, then for negative complete Bernstein functions ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)13 satisfying the paper’s integrability assumptions,

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)14

where

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)15

for ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)16 and is analytically continued to a sector (Mirotin, 2018). This is a genuine Banach-space Krein-type formula, but it is not based on self-adjoint spectral measures.

For non-self-adjoint perturbations of self-adjoint operators, "The Spectral Shift Function for Non-Self-Adjoint Perturbations" (Bruneau et al., 23 Mar 2026) defines the SSF as a distribution via

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)17

for ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)18 under hypotheses controlling non-real eigenvalues, resolvent growth, and relatively trace-class behavior (Bruneau et al., 23 Mar 2026). The key jump formula is

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)19

in the sense of distributions (Bruneau et al., 23 Mar 2026). The determinant representation becomes

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)20

with ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)21 (Bruneau et al., 23 Mar 2026). Here ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)22 may be complex-valued, spectral singularities produce principal-value and delta-derivative terms in ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)23, and the classical unitary Birman–Krein identity is no longer expected in unchanged form (Bruneau et al., 23 Mar 2026).

A parallel non-self-adjoint direction concerns contractions and dissipative operators. "Real-valued spectral shift functions for contractions and dissipative operators" (Malamud et al., 2024) and its expanded version (Malamud et al., 26 Mar 2026) show that for contractions ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)24 with ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)25, there exists an integrable SSF ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)26 on ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)27 such that

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)28

for ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)29 in the operator-Lipschitz disk-algebra class (Malamud et al., 2024, Malamud et al., 26 Mar 2026). Unlike the self-adjoint case, ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)30 is nonunique: adding any ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)31 function yields another SSF (Malamud et al., 2024, Malamud et al., 26 Mar 2026). Real-valued representatives require extra structure. For maximal dissipative operators one has the rational-function trace formula

ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)32

under trace-class or resolvent-difference hypotheses, but a real-valued integrable SSF can fail to exist unless additional conditions hold; in particular, if ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)33 and ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)34, then no real-valued integrable SSF exists (Malamud et al., 26 Mar 2026).

Taken together, these developments show that the phrase “Krein-type spectral shift formula” now denotes a broad perturbative architecture rather than a single theorem. The stable core consists of three interlocking elements: a trace formula, a logarithmic-derivative or perturbation-determinant identity, and a notion of spectral phase or counting invariant. What changes across settings is the regularity class of the perturbation, the normalization of ξ(λ;H1,H0)\xi(\lambda;H_1,H_0)35, the ambient functional calculus, and the status of real-valuedness, absolute continuity, and scattering interpretation (Azamov et al., 2016, Gesztesy et al., 2010, Nuland et al., 2021, Bruneau et al., 23 Mar 2026, Malamud et al., 26 Mar 2026).

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Krein-type Spectral Shift Formula.