Draft:Multiple operator integral

In functional analysis, the multiple operator integral is a multilinear map $T_{\phi }^{H_{0},\ldots ,H_{n}}$ determined by linear operators $H_{0},\ldots ,H_{n}$ and a multivariable function $\phi$ that lives on the product of the spectra of $H_{0},\ldots ,H_{n}$ . Multiple operator integrals are of use in various situations where functional calculus appears alongside noncommuting operators (such as matrices or differential operators), for instance in perturbation theory, harmonic analysis, index theory, noncommutative geometry, and operator theory in general. As noncommuting operators, functional calculus, and perturbation theory are central to quantum theory, multiple operator integrals are also frequently applied there. Closely related concepts are Schur multiplication and the Feynman operational calculus. Multiple operator integrals in their modern form were introduced by Peller.^[1] They are multilinear generalizations of double operator integrals, developed by Daletski, Krein, Birman, and Solomyak, among others.

Review waiting, please be patient.

This may take 2 months or more, since drafts are reviewed in no specific order. There are 3,824 pending submissions waiting for review.

If the submission is accepted, then this page will be moved into the article space.
If the submission is declined, then the reason will be posted here.
In the meantime, you can continue to improve this submission by editing normally.

Where to get help

If you need help editing or submitting your draft, please ask us a question at the AfC Help Desk or get live help from experienced editors. These venues are only for help with editing and the submission process, not to get reviews.
If you need feedback on your draft, or if the review is taking a lot of time, you can try asking for help on the talk page of a relevant WikiProject. Some WikiProjects are more active than others so a speedy reply is not guaranteed.

How to improve a draft

Wikipedia:Contributing to Wikipedia – a basic overview on how to edit Wikipedia.
Help:Wikitext – how to use the markup
Help:Referencing for beginners – how to include references
Wikipedia:Article development – how to develop your article
Wikipedia:Writing better articles – how to improve your article
Wikipedia:Verifiability – make sure your article includes reliable third-party sources

You can also browse Wikipedia:Featured articles and Wikipedia:Good articles to find examples of Wikipedia's best writing on topics similar to your proposed article.

Improving your odds of a speedy review

To improve your odds of a faster review, tag your draft with relevant WikiProject tags using the button below. This will let reviewers know a new draft has been submitted in their area of interest. For instance, if you wrote about a female astronomer, you would want to add the Biography, Astronomy, and Women scientists tags.

Add tags to your draft

Editor resources

Easy tools: Citation bot (help) | Advanced: Fix bare URLs

Reviewer tools

Instructions · What links here · Multiple operator integral (talk: + · bio) · (log) · Copyvios report · reFill · Citation Bot · (Search: Google, Wikipedia) · Submitted 2 days ago by TDHvanNuland (talk: D · +) · Last edited 28 hours ago by Awesomecat

Definition

A conceptually clean definition of the multiple operator integral is given as follows. Let $n\in \mathbb {N}$ , let ${\mathcal {H}}$ be a separable Hilbert space, and denote the space of bounded operators by ${\mathcal {B}}({\mathcal {H}})$ . Let $H_{0},\ldots ,H_{n}$ be possibly unbounded self-adjoint operators in ${\mathcal {H}}$ . For any function ${\displaystyle \phi$ (called the symbol) which admits a decomposition

\phi (\lambda _{0},\ldots ,\lambda _{n})=\int _{\Omega }a_{0}(\lambda _{0},\omega )\cdots a_{1}(\lambda _{n},\omega )\,{\rm {d}}\omega

for a certain finite measure space $(\Omega ,{\rm {d}}\omega )$ and bounded measurable functions $a_{0},\ldots ,a_{n}:\mathbb {R} \times \Omega \to \mathbb {C}$ , the multiple operator integral is the $n$ -multilinear operator

T_{\phi }^{H_{0},\ldots ,H_{n}}:{\mathcal {B}}({\mathcal {H}})\times \cdots \times {\mathcal {B}}({\mathcal {H}})\to {\mathcal {B}}({\mathcal {H}})

defined by

{\displaystyle T_{\phi }^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{n})\psi

for all $\psi \in {\mathcal {H}}$ . One can show that the integrand is Bochner integrable, and (using Banach-Steinhaus) that $T_{\phi }^{H_{0},\ldots ,H_{n}}$ is a bounded multilinear map. Moreover, $T_{\phi }^{H_{0},\ldots ,H_{n}}$ only depends on $(\Omega ,{\rm {d}}\omega )$ and $a_{0},\ldots ,a_{n}$ through $\phi$ , as the notation $T_{\phi }^{H_{0},\ldots ,H_{n}}$ suggests.

Other definitions

One may similarly define $T_{\phi }^{H_{0},\ldots ,H_{n}}$ on the product of Schatten classes ${\mathcal {S}}^{p_{1}}\times \cdots \times {\mathcal {S}}^{p_{n}}$ and end up with a mapping

T_{\phi }^{H_{0},\ldots ,H_{n}}:{\mathcal {S}}^{p_{1}}\times \cdots \times {\mathcal {S}}^{p_{n}}\to {\mathcal {S}}^{p}

where ${\frac {1}{p}}={\frac {1}{p_{1}}}+\ldots +{\frac {1}{p_{n}}}$ . The restriction of the domain allows the multiple operator integral to be defined for a larger class of symbols ${\displaystyle \phi$ . Because one can (and often needs to) trade of assumptions on $\phi$ , $H_{0},\ldots ,H_{n}$ , and $V_{1},\ldots ,V_{n}$ , there are several definitions of the multiple operator integral which are not generalizations of one another, but typically agree in the cases where both are defined. In a way all definitions are ways to make precise the formal expression

T_{\phi }^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{n})=\int \cdots \int \phi (\lambda _{0},\ldots ,\lambda _{n})dE_{H_{0}}(\lambda _{0})V_{1}dE_{H_{1}}(\lambda _{1})\cdots V_{n}dE_{H_{n}}(\lambda _{n}).

The multiple operator integral can also be defined^[2] on the product of noncommutative $L^{p}$ -spaces as

T_{\phi }^{H_{0},\ldots ,H_{n}}:{\mathcal {L}}^{p_{1}}({\mathcal {N}},\tau )\times \cdots \times {\mathcal {L}}^{p_{n}}({\mathcal {N}},\tau )\to {\mathcal {L}}^{p}({\mathcal {N}},\tau )

for a von Neumann algebra ${\mathcal {N}}$ admitting a semifinite trace $\tau$ . One then additionally assumes that $H_{0},\ldots ,H_{n}$ are affiliated to ${\mathcal {N}}$ .

Divided differences

The most often used symbol of a multiple operator integral is the divided difference $\phi =f^{[n]}$ of an $n$ times continuously differentiable function $f:\mathbb {R} \to \mathbb {R}$ , defined recursively as

f^{[0]}(\lambda _{0}):=f(\lambda _{0})

f^{[n]}(\lambda _{0},\ldots ,\lambda _{n}):=\lim _{x\in \mathbb {R} \setminus \{\lambda _{0}\},x\to \lambda _{n}}{\frac {f^{[n-1]}(\lambda _{0},\ldots ,\lambda _{n-1})-f^{[n-1]}(\lambda _{1},\ldots ,\lambda _{n-1},x)}{\lambda _{0}-x}}.

It follows that $f^{[n]}(\lambda _{1},\ldots ,\lambda _{n})=f^{[n]}(\lambda _{\sigma (1)},\ldots ,\lambda _{\sigma (n)})$ for any permutation $\sigma$ , $f^{[n]}(\lambda ,\ldots ,\lambda )={\frac {1}{n!}}f^{(n)}(\lambda )$ , and, for $\lambda \neq \mu$ ,

f^{[1]}(\lambda ,\mu )={\frac {f(\lambda )-f(\mu )}{\lambda -\mu }}.

The multiple operator integral $T_{f^{[n]}}:{\mathcal {B}}({\mathcal {H}})^{\times n}\to {\mathcal {B}}({\mathcal {H}})$ is known to exist in the case that $f$ in a suitable Besov space, for example, when ${\widehat {f^{(n)}}}\in L^{1}(\mathbb {R} )$ , and the multiple operator integral ${\mathcal {S}}^{p_{1}}\times \cdots \times {\mathcal {S}}^{p_{n}}\to {\mathcal {S}}^{p}$ for Hölder conjugate $p_{1},\ldots ,p_{n},p\in (1,\infty )$ (as above), is known to exist when $f\in C^{n}(\mathbb {R} )$ with $f^{(n)}$ bounded.

Properties

The fact that $T_{\phi }^{H_{0},\ldots ,H_{n}}$ does not depend on the integral representation of $\phi$ allows one to deduce MOI-identities from the respective identities of the symbols. For example, $\phi _{1}(x,y,z)=\phi _{2}(x,y,z)(z-i)^{-1}$ implies $T_{\phi _{1}}^{H_{0},H_{1},H_{2}}(V_{1},V_{2})=T_{\phi _{2}}^{H_{0},H_{1},H_{2}}(V_{1},V_{2})(H_{2}-i)^{-1}$ (the right-hand side moreover equals $T_{\phi _{2}}^{H_{0},H_{1},H_{2}}(V_{1},V_{2}(H_{2}-i)^{-1})$ by definition of the MOI). One can thus derive operator-theoretic formulas from elementary computations with scalar-valued functions, similar to (but more general than) using the integral kernel of an integral operator, as ubiquitous in quantum field theory. This technique in particular yields useful identities when working with divided differences as symbols.

Algebraic properties

The double operator integral has the following properties:

$f(A)-f(B)=T_{f^{[1]}}^{A,B}(A-B)$
$[f(A),B]=T_{f^{[1]}}^{A,A}([A,B])$

Using the fact that the multiple operator integral of zero order is simply functional calculus:

f(A)=T_{f^{[0]}}^{A}(),

one recognizes that 1. and 2. are identities relating multiple operator integrals of 0 order (single operator integrals) to multiple operator integrals of 1st order (double operator integrals). The properties 1. and 2. can be generalized as follows

$T_{f^{[n]}}^{H_{0},\ldots ,H_{j-1},A,H_{j+1},\ldots ,H_{n}}(V_{1},\ldots ,V_{n})-T_{f^{[n]}}^{H_{0},\ldots ,H_{j-1},B,H_{j+1},\ldots ,H_{n}}(V_{1},\ldots ,V_{n})=T_{f^{[n+1]}}^{H_{0},\ldots ,H_{j-1},A,B,H_{j+1},\ldots ,H_{n}}(V_{1},\ldots ,V_{j},A-B,V_{j+1},\ldots ,V_{n})$
$T_{f^{[n]}}^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{j},aV_{j+1},\ldots ,V_{n})-T_{f^{[n]}}^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{j}a,V_{j+1},\ldots ,V_{n})=T_{f^{[n+1]}}^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{j},[H_{j},a],V_{j+1},\ldots ,V_{n})$

In combination with the operator trace ${\rm {Tr}}$ (or any other tracial function) the multiple operator integral satisfies the following cyclicity property:

{\rm {Tr}}(V_{0}T_{f^{[n]}}^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{n}))={\rm {Tr}}(V_{1}T_{f^{[n]}}^{H_{1},\ldots ,H_{n},H_{0}}(V_{2},\ldots ,V_{n},V_{0}))

Under suitable conditions, the above identities follow from elementary properties of the divided difference, combined with the fact that $T_{\phi }$ is independent of the integral representation of $\phi$ .

Analytic properties

The MOI admits several useful bounds. In terms of the operator norm, it follows that

\|T_{\phi }^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{n})\|\leq c_{\phi }\|V_{1}\|\cdots \|V_{n}\|,

for a constant $c_{\phi }$ that is independent of $H_{0},\ldots ,H_{n}$ . If $\phi$ admits an explicit integral expression, an expression for $c_{\phi }$ can be thusly derived. In terms of Schatten norms $\|\cdot \|_{p}$ , for $p,p_{1},\ldots ,p_{n}\in [1,\infty ]$ satisfying ${\frac {1}{p}}={\frac {1}{p_{1}}}+\ldots +{\frac {1}{p_{n}}}$ we have for the same constant $c_{\phi }$ that

\|T_{\phi }^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{n})\|_{p}\leq c_{\phi }\|V_{1}\|_{p_{1}}\cdots \|V_{n}\|_{p_{n}}.

If, moreover, $p_{1},\ldots ,p_{n}\in (1,\infty )$ (and consequently $p\in (1,\infty )$ ), and $\phi =f^{[n]}$ , then

\|T_{f^{[n]}}^{H_{0},\ldots ,H_{n}}(V_{1},\ldots ,V_{n})\|_{p}\leq c_{n}\|f^{(n)}\|_{\infty }\|V_{1}\|_{p_{1}}\cdots \|V_{n}\|_{p_{n}},

for a constant $c_{n}$ only dependent on $n$ . The latter is a quite nontrivial but useful result,^[3] which in the double operator integral case $n=1$ implies that every Lipschitz function is actually operator-Lipschitz on ${\mathcal {S}}^{p}$ , $p\in (1,\infty )$ .^[4]

Taylor expansion and quantum theory

The terms in the Taylor expansion of $f(H+V)$ are multiple operator integrals. The Taylor expansion for $\mathrm {Tr} (e^{z(H+V)})$ coincides with the Dyson series.