Double operator integral explained

In functional analysis, double operator integrals (DOI) are integrals of the form

\operatorname{Q} _{\varphi} : = \int _{N} \int _{M} \varphi(x,y) d E(x)\operatorname{T} d F (y), where \operatorname{T}:G\to H is a bounded linear operator between two separable Hilbert spaces,E:(N, l{A})\to P(H), F:(M, l{B})\to P(G), are two spectral measures, where P(H) stands for the set of orthogonal projections over H , and \varphi is a scalar-valued measurable function called the symbol of the DOI. The integrals are to be understood in the form of Stieltjes integrals.

Double operator integrals can be used to estimate the differences of two operators and have application in perturbation theory. The theory was mainly developed by Mikhail Shlyomovich Birman and Mikhail Zakharovich Solomyak in the late 1960s and 1970s, however they appeared earlier first in a paper by Daletskii and Krein.^[1]

Double operator integrals

The map

\operatorname{J} ^{E,F} _{\varphi} :\operatorname{T}\mapsto \operatorname{Q} _{\varphi} is called a transformer. We simply write \operatorname{J} _{\varphi} : = \operatorname{J} ^{E,F} _{\varphi} , when it's clear which spectral measures we are looking at.\operatorname{T} and defined a spectral measure l{E} byl{E}(Λ x \Delta)\operatorname{T}: = E( Λ )\operatorname{T}F(\Delta), \operatorname{T}\in l{S} _{2,} for measurable sets Λ x \Delta\subset N x M , then the double operator integral \operatorname{Q} _{\varphi} can be defined as\operatorname{Q} _{\varphi} : = \left(\int _{N x} \varphi( λ , \mu) d l{E}(λ, \mu)\right)\operatorname{T} for bounded and measurable functions \varphi . However one can look at more general operators \operatorname{T} as long as \operatorname{Q} _{\varphi} stays bounded.

Examples

Perturbation theory

Consider the case where

H = G is a Hilbert space and let A and B be two bounded self-adjoint operators on H . Let \operatorname{T}: = B - A and f be a function on a set S , such that the spectra \sigma(A) and \sigma(B) are in S . As usual, \operatorname{I} is the identity operator. Then by the spectral theorem \operatorname{J} _{λ} \operatorname{I} = A and \operatorname{J} _{\mu} \operatorname{I} = B and \operatorname{J} _{\mu-λ} \operatorname{I} = \operatorname{T} , hencef(B) - f(A) = \operatorname{J} _{f(\mu)-f(λ)} \operatorname{I} = \operatorname{J} _{(f(\mu) - f( λ ))/(\mu -λ)} \operatorname{J} _{\mu-λ} \operatorname{I} = \operatorname{J} _{(f(\mu) - f( λ ))/(\mu -λ)} \operatorname{T} = \operatorname{Q} _{\varphi} and so^{[2] [3]} f(B) - f(A) = \int _{\sigma(A)} \int _{\sigma(B)} (f(\mu) - f( λ ))/(\mu -λ) (\mu -λ ) d E _{A(λ)dF} _{B(\mu)=\int} _{\sigma(A)} \int _{\sigma(B)} (f(\mu) - f( λ ))/(\mu -λ) d E _{A(λ)\operatorname{T}dF} _{B(\mu),} where E _{A( ⋅ )} and F _{B( ⋅ )} denote the corresponding spectral measures of A and B .

Literature

• Mikhail Shlemovich. Birman. Mikhail Zakharovich. Solomyak . Consultants Bureau Plenum Publishing Corporation . Double Stieltjes operator integrals . Topics of Math. Physics . 1 . 1967 . 25–54.
• Mikhail Shlemovich. Birman. Mikhail Zakharovich. Solomyak . Consultants Bureau Plenum Publishing Corporation . Double Stieltjes operator integrals. II . Topics of Math. Physics . 2 . 1968 . 19–46.
• Vladimir V.. Peller . Multiple operator integrals in perturbation theory . Bull. Math. Sci. . 6 . 2016 . 15–88 . 10.1007/s13373-015-0073-y. 119321589 . 1509.02803 .
• Book: Mikhail Shlemovich. Birman. Mikhail Zakharovich. Solomyak . Lectures on Double Operator Integrals . 2002.
• Encyclopedia: Alan. Carey. Galina. Levitina. 2022. Double Operator Integrals. Index Theory Beyond the Fredholm Case. Lecture Notes in Mathematics. Lecture Notes in Mathematics . 232. 15–40 . Springer. Cham. 10.1007/978-3-031-19436-8_2. 978-3-031-19435-1 .

References

1. Yuri. L.. Daletskii. Selim G.. Krein. Integration and differentiation of functions of Hermitian operators and application to the theory of perturbations. ru. Trudy Sem. Po Funktsion. Analizu. 1 . 1956 . 81–105. Voronezh State University.
2. Mikhail S.. Birman. Mikhail Z.. Solomyak. Double Operator Integrals in a Hilbert Space. Integr. Equ. Oper. Theory. 47. 136–137. 2003. 2 . 10.1007/s00020-003-1157-8. 122799850 .
3. Book: Mikhail S.. Birman. Mikhail Z.. Solomyak. Lectures on Double Operator Integrals. 2002.