Generalized Double Operator Integrals (GDOIs)

• Generalized Double Operator Integrals (GDOIs) are extensions of classical DOI theory that apply to non-self-adjoint and non-normal operators using frameworks like Jordan decomposition and continuous-spectrum analysis.
• They incorporate modifications such as nilpotent corrections and derivative adjustments to handle cases where traditional spectral measures and Schur multipliers no longer apply.
• GDOIs enable refined perturbation formulas, norm bounds, and operator function linearizations, enhancing analysis in spectral mapping, Lipschitz continuity, and trace formulae.

Generalized Double Operator Integrals (GDOIs) designate a family of extensions of classical double operator integral theory beyond the standard self-adjoint spectral-measure setting. In current arXiv literature, the term is used in at least three closely related but technically distinct senses: a finite-dimensional Jordan-form extension for arbitrary non-Hermitian and non-normal matrices; a continuous-spectrum extension for general operators, formulated through generalized spectral mapping and projector–nilpotent decompositions; and a broader multilinear extension of DOI technology in which classical DOIs are embedded into multiple operator integral frameworks with refined tensor-product classes for kernels (Chang, 20 Mar 2025, Chang, 24 Jun 2025, Chang, 4 May 2025, Chang, 30 Jul 2025, Peller, 2015).

1. Classical DOI background and the route to generalization

The classical Birman–Solomyak double operator integral is built from spectral measures of self-adjoint operators. In its standard form,

$$T_\Phi^{A,B}(K)=\iint \Phi(x,y)\, dE_A(x)\, K\, dE_B(y),$$

with $E_A$ and $E_B$ the spectral measures of $A$ and $B$. For $K\in \boldsymbol S_2$ and bounded measurable $\Phi$, this is always defined; extension to bounded operators requires $\Phi$ to be a Schur multiplier. Peller’s survey identifies admissible DOI kernels with the Schur multiplier class $\mathfrak M(E_1,E_2)$, equivalently with integral projective or Haagerup tensor-product realizations of the symbol (Peller, 2015).

This classical theory already connects perturbation problems, divided differences, operator Lipschitzness, operator differentiability, and trace formulae. A central example is the DOI representation

$$f(A)-f(B)=\iint \frac{f(s)-f(t)}{s-t}\,dE_A(s)\,(A-B)\,dE_B(t),$$

when the divided difference is an admissible kernel. In that setting, $E_A$0 is a major sufficient regularity class for operator Lipschitzness and operator differentiability, and higher derivatives are governed by multiple operator integrals with higher divided differences (Peller, 2015).

A complementary line of work studies DOI norms through Schur multipliers and Besov regularity. A wavelet-based approach proves that if

$E_A$1

with $E_A$2, then $E_A$3 is an $E_A$4-Schur multiplier, yielding corresponding DOI bounds on $E_A$5 (McDonald et al., 2021). This classical infrastructure is the point of departure for later GDOI constructions: once self-adjointness, normality, or pure spectral-measure calculus is lost, the kernel class, decomposition, and operator-integral formula all have to be modified.

2. Jordan-form GDOIs in finite dimensions

The finite-dimensional non-Hermitian program replaces orthogonal spectral decomposition by Jordan data. In this framework, each parameter matrix $E_A$6 is written as

$E_A$7

where $E_A$8 are projectors onto geometric components, $E_A$9 are nilpotent parts, and $E_B$0 denotes nilpotent order. The central point is that projectors alone no longer suffice: Jordan blocks force derivative corrections of the scalar kernel (Chang, 20 Mar 2025, Chang, 24 Jun 2025).

For a bivariate analytic kernel $E_B$1, the finite-dimensional GDOI is

$E_B$2

When $E_B$3 and $E_B$4 are diagonalizable with no nilpotent parts, all derivative terms vanish and the formula collapses to the classical finite-dimensional DOI (Chang, 20 Mar 2025, Chang, 24 Jun 2025).

This construction is explicitly finite-dimensional. Its conceptual basis is that conventional MOIs can be reinterpreted as instances of multivariable spectral mapping, and then extended to arbitrary matrices by replacing spectral projections with Jordan data. A plausible implication is that the finite-dimensional theory should be viewed less as a perturbation of the Birman–Solomyak measure-theoretic construction than as a different functional-calculus realization of the same bilinear idea.

3. Algebraic structure, norm bounds, and continuity

The Jordan-based GDOI theory is not merely definitional. It comes equipped with a substantial algebraic calculus. One basic decomposition is

$E_B$5

which isolates projector–projector, projector–nilpotent, nilpotent–projector, and nilpotent–nilpotent contributions (Chang, 20 Mar 2025). The corresponding families

$E_B$6

are asserted to be linearly independent for $E_B$7, which supports uniqueness of the coefficient extraction in the expansion (Chang, 20 Mar 2025).

The kernel-to-operator map is also multiplicative. In the finite-dimensional theory,

$E_B$8

Related GMOI results state that the composition of two GDOIs is still a GDOI, whereas composition of higher GMOIs typically enlarges the parameter array (Chang, 20 Mar 2025, Chang, 24 Jun 2025).

Norm control is given primarily in Frobenius norm in the finite-dimensional papers. The upper bounds depend on maxima of $E_B$9 and its partial derivatives over spectral pairs, together with norms of nilpotent powers. The lower bounds are expressed by decomposing the GDOI into finitely many pieces $A$0 and using a dominance estimate of the form

$A$1

with $A$2 ordering the terms by size (Chang, 20 Mar 2025). Parallel finite-dimensional GMOI results state upper and lower bounds in terms of the $A$3 projector/nilpotent components and derive Lipschitz continuity in the argument operators $A$4 as well as continuity under parameter convergence $A$5 (Chang, 24 Jun 2025).

The finite-dimensional literature also contains an isomorphism statement: modulo the finite jet data of the kernel determined by the nilpotent orders, the map $A$6 is a linear isomorphism (Chang, 20 Mar 2025). This suggests that, in the Jordan setting, a GDOI depends not on the full global function $A$7 but on its values and finitely many derivatives at the relevant spectral pairs.

4. Perturbation formulas, divided differences, and derivatives

A central role of GDOIs is to linearize nonlinear matrix or operator functions. In the finite-dimensional Jordan setting, if $A$8 is analytic and the relevant spectral pairs satisfy $A$9, then

$B$0

and, in particular,

$B$1

These are the non-Hermitian counterparts of the classical DOI perturbation identities (Chang, 20 Mar 2025).

The same perspective yields derivative formulas. In the finite-dimensional GMOI paper, the first derivative of a matrix function is represented by a GDOI: $B$2 Higher derivatives are then expressed through higher GMOIs together with nilpotent correction terms, so the first derivative is exactly the GDOI level of a broader non-Hermitian Fréchet-calculus hierarchy (Chang, 24 Jun 2025).

A different but related generalization arises for functions of noncommuting self-adjoint pairs. There, $B$3 itself is defined by a DOI,

$B$4

but perturbation analysis of $B$5 leads intrinsically to triple operator integrals with divided-difference kernels

$B$6

The resulting formula is

$B$7

This is not a Jordan-based GDOI in the narrow sense, but it is a generalized DOI mechanism in the broader multilinear sense, because the perturbation problem cannot be handled within classical two-variable DOI theory alone (Aleksandrov et al., 2015, Aleksandrov et al., 2015).

5. Continuous-spectrum GDOIs and generalized MOIs

Recent work extends the generalized program from matrices to operators with continuous spectra. One paper describes continuous spectrum operators as “characterized by spectra comprising continuous intervals rather than discrete eigenvalues,” and states that traditional DOIs have been “limited to operators with finite or countable spectra, relying critically on self-adjointness.” Its stated contribution is a framework for GDOIs that reinterprets DOIs as instances of the spectral mapping theorem for continuous-spectrum operators, establishes algebraic properties, perturbation formulas generalizing classical results, norm and Lipschitz-type inequalities, continuity with respect to operator and function parameters, and extensions to hybrid spectrum operators (Chang, 4 May 2025).

A more detailed continuous-spectrum GMOI treatment formulates generalized operator integrals for non-selfadjoint and non-normal operators with continuous spectra by decomposing each parameter operator as

$B$8

The generalized MOI is then the classical spectral term plus all mixed nilpotent correction terms weighted by partial derivatives of the symbol $B$9; the GDOI is the $K\in \boldsymbol S_2$0 specialization of that formula (Chang, 30 Jul 2025).

In this continuous-spectrum setting, the first-order perturbation identity is written explicitly as

$K\in \boldsymbol S_2$1

where the right-hand side consists of the base double integral

$K\in \boldsymbol S_2$2

together with one-sided and two-sided nilpotent correction terms involving $K\in \boldsymbol S_2$3, $K\in \boldsymbol S_2$4, and $K\in \boldsymbol S_2$5 (Chang, 30 Jul 2025). The same framework yields a Krein-type spectral shift formula

$K\in \boldsymbol S_2$6

and then extends this to higher-order approximations via GMOI expansions (Chang, 30 Jul 2025).

This continuous-spectrum line remains distinct from the finite-dimensional Jordan theory. The former is organized around generalized spectral decomposition for continuous spectra and higher-order trace formulas; the latter is organized around finite jets on Jordan blocks. This suggests that “GDOI” is a unifying label for a methodological family rather than a single canonical construction.

6. Multilinear generalizations, sharp bounds, and scope

The most developed generalized DOI technology for perturbation theory of noncommuting self-adjoint operators uses triple operator integrals and asymmetric Haagerup-like tensor products rather than Jordan decomposition. In that setting, the divided differences of $K\in \boldsymbol S_2$7 satisfy

$K\in \boldsymbol S_2$8

but do not generally belong to the ordinary Haagerup triple tensor product. This leads to Schatten–von Neumann estimates for $K\in \boldsymbol S_2$9 and to the sharp Lipschitz-type bound

$\Phi$0

while analogous estimates fail for $\Phi$1 and also fail in operator norm (Aleksandrov et al., 2015, Aleksandrov et al., 2015, Peller, 2015).

The broader operator-integral landscape also includes closure-based generalizations of admissible kernels and random MOIs. One such framework enlarges DOI/MOI kernel classes by allowing limits of projective tensor product or integral projective tensor product representations and then derives tail bounds for random operator derivatives, higher operator differences, and Taylor remainders (Chang, 2022). Another foundational development revisits DOI theory on arbitrary, not necessarily separable, Hilbert spaces, proves existence of the product projection-valued measure underlying Hilbert–Schmidt DOIs, and introduces a nonseparable-compatible variant of the integral projective tensor norm for symbols. Although not presented as a GDOI theory, it broadens the DOI foundation on which several generalized constructions rest (Ferydouni et al., 28 Oct 2025).

Several limitations recur across the literature. The Jordan-based theories are explicitly finite-dimensional and rely on analyticity or on existence of the required partial derivatives (Chang, 20 Mar 2025, Chang, 24 Jun 2025). The continuous-spectrum theories use projector–nilpotent decompositions and generalized spectral mapping, but do not formulate admissible kernels through the classical Schur-multiplier or Haagerup-tensor framework (Chang, 30 Jul 2025). The noncommuting self-adjoint perturbation theory achieves strong $\Phi$2 estimates only in the range $\Phi$3, with sharp failure beyond that threshold (Aleksandrov et al., 2015, Aleksandrov et al., 2015). This suggests that the term “GDOI” should be read as denoting a research program of extensions of DOI methodology, rather than a universally standardized object.