Abstract:
The survey is devoted to diverse applications of Besov classes in operator theory. It is illustrated how Besov classes are used to describe Hankel operators of Schatten–von Neumann classes; various applications of this description are considered. Next, we discuss the role of Besov classes in norm estimates of polynomials of power bounded operators on Hilbert space and related estimates of Hankel matrices in tensor products of the spaces $\ell^1$ and $\ell^\infty$. An essential part of the survey is devoted to the role of Besov spaces in various problems of perturbation theory, in studies of the behaviour of functions of a single operator or a collection of operators under their perturbation.
Bibliography: 107 titles.
Keywords:Besov spaces, Hankel operators, Schatten–von Neumann classes, Schur multipliers, power bounded operators, projective tensor products, injective tensor products, perturbations of linear operators, self-adjoint operators, double operator integrals, triple operator integrals.
To Oleg Vladimirovich Besov on the occasion of his 90th birthday
1. Introduction
In this survey we discuss the important role played by the Besov classes in operator theory. We are going to demonstrate numerous situations when Besov classes are used in various issues of operator theory.
The Besov spaces were introduced in Besov’s paper [23]. It turned out that they play a very noticeable role in embedding theorems, approximation theory, interpolation theorems and many other divisions of function theory; see [24], [66], [67], and [105].
However, the importance of Besov spaces is not exhausted by the above. Starting in the 1980s, Besov classes have been playing a more and more important role in operator theory. It is the role of Besov spaces in operator theory which is the principal subject of the survey.
We start with the Besov spaces $B_p^{1/p}(\mathbb{T})$, $0<p<\infty$, of functions on the unit circle $\mathbb{T}$, which appear while describing the Hankel operators of Schatten–von Neumann classes $\boldsymbol{S}_p$. We also consider certain applications and generalizations of these results, such as commutators of multiplication operators and the Hilbert transform, Wiener–Hopf operators on a finite interval, and the Ibragimov–Solev problem in the theory of stationary ransom processes.
Then we consider the problem of estimating the norms of polynomials of power bounded operators on Hilbert space. This problem is closely related to certain other Besov spaces of functions on the circle $\mathbb{T}$ and to Hankel matrices in tensor products of the spaces $\ell^1$ and $\ell^\infty$. This leads in turn to a solution of Mazur’s Problems 8 and 88 from the Scottish Book [60].
The final part of the survey is devoted to applications of Besov spaces in the theory of perturbations of operators on Hilbert space. We are going to consider various problems related to the behaviour of functions of operators or functions of collections of operators under perturbations.
2. Definitions of Besov classes
In this survey we are going to deal with Besov space on the unit circle (in other words, with Besov spaces of periodic function on the real line) and with Besov spaces on Euclidean spaces. We start with the case of the unit circle. Moreover, we consider the case of the unit circle in slightly more detail than the case of Euclidean space because Besov spaces on Euclidean spaces were discussed in many textbooks and monographs. We also observe that the definitions and properties of Besov spaces on the unit circle $\mathbb{T}$ can easily be generalized to the case of Besov spaces on the torus $\mathbb{T}^d$ for an arbitrary natural number $d$.
2.1. Besov classes on the unit circle
Let $w$ be an infinitely differentiable function on $\mathbb{R}$ such that
Recall that a distribution on $\mathbb{T}$ is a continuous linear functional on the space of infinitely differentiable functions on the circle. The class $L^1(\mathbb{T})$ can naturally be embedded in the space of distributions: a function $g$ in $L^1(\mathbb{T})$ determines the linear functional
where $\boldsymbol{m}$ is normalized Lebesgue measure on $\mathbb{T}$.
In the case when $p,q\geqslant1$, $B_{p,q}^s(\mathbb{T})$ is a Banach space. It can be endowed with various equivalent norms. In particular, we can put
here $f$ ranges over the dense subset of trigonometric polynomials in $B_{p,q}^s(\mathbb{T})$, while $g$ is an arbitrary function (distribution) in $B_{p',q'}^{-s}(\mathbb{T})$. Recall that if $g$ is a distribution on $\mathbb{T}$, the Fourier coefficient $\widehat g(j)$ is the value of the functional $g$ at the function $\overline z^j$.
Let us proceed now to the description of the Besov spaces $B_{p,q}^s(\mathbb{T})$ for $s>0$ in terms of finite differences. Suppose for simplicity that $p\geqslant1$ and $q\geqslant1$. We define the difference operator $\Delta_\tau$, $\tau\in\mathbb{T}$, on the set of functions on $\mathbb{T}$ by
while the difference operator $\Delta^n_\tau$ is defined as the $n$th power of $\Delta_\tau$.
Suppose that $s>0$, $1\leqslant p\leqslant\infty$, and $1\leqslant q\leqslant\infty$. Then the following description of the spaces $B_{p,q}^s(\mathbb{T})$ holds:
The classes $\Lambda_s\overset{\rm def}{=} B_\infty^s(\mathbb{T})=B_{\infty,\infty}^s(\mathbb{T})$ for $s>0$ form the so-called Hölder–Zygmund scale of spaces. In particular, $\Lambda_1$ is the Zygmund space:
We denote by $\lambda_s$ the closure of the trigonometric polynomials in $\Lambda_s$, and we say that $\lambda_s$ is the separable Hölder–Zygmund space.
We proceed now to the description of Besov spaces in terms of harmonic extension to the unit disc. Let $s\in\mathbb{R}$, and let $m$ be a non-negative integer such that $m>s$. Then a distribution $f$ on the circle $\mathbb{T}$ belongs to the space $B_{p,q}^s(\mathbb{T})$ if and only if
We are going to use the notation $(B_{p,q}^s)_+$ for $\mathbb{P}_+B_{p,q}^s(\mathbb{T})$. Functions $f$ in $(B_{p,q}^s)_+$ (distributions for $s\leqslant0$) can be identified with the power series
which makes the classes $(B_{p,q}^s)_+$ spaces of analytic functions in the disc. Such classes can be described in terms of conditions (2.5) and (2.6); in addition, partial derivatives of order $m$ can be replaced by the derivatives of order $m$ in the complex variable. In particular, for $p=q<\infty$ and $s<0$ the Besov classes $(B_p^s)_+\overset{\rm def}=(B_{p,p}^s)_+$ become weighted Bergman classes, that is, a function $f$ analytic in the unit disc $\mathbb{D}$ belongs to the Besov class $(B_p^s)_+$ if and only if
is also a Besov class of analytic functions, namely, $(B_\infty^0)_+$.
Let us mention here the book [79], which contains an introduction to Besov spaces on the unit circle.
2.2. Besov classes on Euclidean spaces
Let $d$ be a positive integer, and let $w$ be an infinitely smooth function on $\mathbb{R}$ satisfying requirements (2.1). We define the functions $W_n$, $n\in\mathbb{Z}$, on $\mathbb{R}^d$ by
The formal series $\sum_{n\in\mathbb{Z}}f_n$, being a Littlewood–Payley type expansion of $f$, does not necessarily converge to $f$. We start with the definition of the (homogeneous) Besov class $\dot B^s_{p,q}(\mathbb{R}^d)$, $s\in\mathbb{R}$, $0<p,q\leqslant\infty$, as the space of distributions $f$ of class ${\mathscr S}'(\mathbb{R}^n)$ (that is, tempered distributions) such that
In accordance with this definition, $\dot B^s_{p,q}(\mathbb{R}^d)$ contains all polynomials; next, $\|f\|_{B^s_{p,q}}=0$ for an arbitrary polynomial $f$. Moreover, the distribution $f$ is determined by the sequence $\{f_n\}_{n\in\mathbb{Z}}$ uniquely up to a polynomial. It is easy to see that the series $\sum_{n\geqslant0}f_n$ converges in1[x]1Here and in what follows we assume that the space ${\mathscr S}'(\mathbb{R}^d)$ is equipped with the weak topology $\sigma\bigl({\mathscr S}'(\mathbb{R}^d),{\mathscr S}(\mathbb{R}^d)\bigr)$. ${\mathscr S}'(\mathbb{R}^d)$. However, the series $\sum_{n<0}f_n$ can diverge in general. Nevertheless, it can be shown that the series
converge uniformly in $\mathbb{R}^d$ if $r\in\mathbb{Z}_+$ and $r>s-d/p$. Note that for $q\leqslant1$ the series in (2.10) converge uniformly under the weaker condition $r\geqslant s-d/p$.
Now we can define the modified (homogeneous) Besov space $B^s_{p,q}(\mathbb{R}^d)$. We say that a distribution $f$ belongs to the Besov class $B^s_{p,q}(\mathbb{R}^d)$ if condition (2.9) is satisfied and
in the space ${\mathscr S}'(\mathbb{R}^d)$, where $r$ is the minimum non-negative integer for which $r>s-d/p$ ($r\geqslant s-d/p$ if $q\leqslant1$). Now the function $f$ is uniquely determined by the sequence $\{f_n\}_{n\in\mathbb{Z}}$ up to a polynomial of degree less than $r$. Moreover, a polynomial $g$ belongs to $B^s_{p,q}(\mathbb{R}^d)$ if and only if $\deg g<r$.
In the case $p=q$ we use the notation $B_p^s(\mathbb{R}^d)$ for $B_{p,p}^s(\mathbb{R}^d)$.
Consider now the scale $\Lambda_\alpha(\mathbb{R}^d)$, $\alpha>0$, of Hölder–Zygmund classes. They can be defined by
The Besov classes admit many other descriptions. Let us state the description in terms of finite differences. For $h$ in $\mathbb{R}^d$ we define the difference operator $\Delta_h$ by
Let $s>0$, $m\in\mathbb{Z}$, and $m-1\leqslant s<m$. Let $p,q\in[1,+\infty]$. The Besov class $B_{p,q}^s(\mathbb{R}^d)$ can be defined as the space of functions $f$ in $L^1_{\rm loc}(\mathbb{R}^d)$ such that
However, with this definition Besov classes can contain polynomials of degree higher than in the case of the definition in terms of convolutions with the functions $W_n$.
The space $B_{pq}^s(\mathbb{R}^d)$ can be defined in terms of the Poisson integral. Let $P_d(x,t)$ be the Poisson kernel that solves the Dirichlet problem for the half-space $\mathbb{R}^{d+1}_+\overset{\rm def}=\{(x,t)\colon x\in\mathbb{R}^d, t>0\}$, that is,
Note that the second integral makes sense for all $f$ in $L^1\bigl(\mathbb{R}^d, (\|x\|+ 1)^{-(d+m+1)}\,{\rm d} x\bigr)$. This allows one to define $\partial^m\mathcal{P}/\partial t^m$ for functions $f$ of the class $L^1\bigl(\mathbb{R}^d, (\|x\|+ 1)^{-(d+m+1)}\,{\rm d} x\bigr)$.
Let $m\in\mathbb{Z}$, $s>0$, $m-1\leqslant s<m$, and $1\leqslant p,q\leqslant+\infty$. Then we can define the space $B_{pq}^s(\mathbb{R}^d)$ as the space of functions $L^1\bigl(\mathbb{R}^d,(\|x\|+1)^{-(d+m+1)}\,{\rm d} x\bigr)$ such that
Under this definition Besov classes can also contain polynomials of higher degrees than in the case of the definition in terms of convolutions with the functions $W_n$. Note also that under certain conditions and provisions the definition in terms of the Poisson integral can work even in the case when $p<1$ or ${q<1}$.
2.3. Inhomogeneous Besov classes on Euclidean spaces
As a rule, it is homogeneous Besov spaces that appear in operator theory. However, in the recent papers [16] and [14] inhomogeneous Besov spaces also appear.
Let $s>0$ and $p,q\in[1,\infty]$. We say that a tempered distribution $f$ on $\mathbb{R}^d$ belongs to the inhomogeneous Besov space $\textit{Б}^s_{p,q}(\mathbb{R}^d)$ if
Note that this notation for inhomogeneous Besov classes was adopted in [16] and [14], and it is somewhat different from the notation commonly used. Nevertheless, it is convenient.
We refer the reader to the books [67], [24], [66], and [105] for more detailed information on Besov spaces.
3. Introduction to Schatten–von Neumann classes
In this section we give a brief introduction to singular values of operators in Hilbert space and to Schatten–von Neumann classes. We refer the reader to [34] and [28] for the proofs of the facts presented below and for more detailed information.
For a bounded linear operator $T$ on Hilbert space, its singular values $s_j(T)$, $j\geqslant0$, are defined by
In the case when $T$ is a compact operator on Hilbert space, the sequence $\{s_j(T)\}_{j\geqslant0}$ coincides with the sequence of eigenvalues (counted with multiplicities) of the operator $(T^*T)^{1/2}$ arranged in non-increasing order.
The Schatten–von Neumann class $\boldsymbol{S}_p$, $0<p<\infty$, consists by definition of the operators $T$ for which
The class $\boldsymbol{S}_1$ is called the trace class. If $T$ is a trace class operator on Hilbert space $\mathscr{H}$, then its trace $\operatorname{trace} T$ is defined by
For $p\in(1,\infty)$, the dual space $(\boldsymbol{S}_p)^*$ can isometrically be identified with the space $\boldsymbol{S}_{p'}$, $1/p+1/p'=1$, with respect to the bilinear form
Moreover, for $R\in\boldsymbol{S}_{p'}$ the norm of the linear functional $T\mapsto\operatorname{trace}(TR)$ on $\boldsymbol{S}_p$ coincides with the norm of $R$ in $\boldsymbol{S}_{p'}$.
The space dual to $\boldsymbol{S}_1$ can be identified with the space of all bounded linear operators with respect to the same bilinear form, while the space dual to the space of compact operators can be identified with $\boldsymbol{S}_1$.
4. Hankel operators and Besov classes
4.1. Classical Hankel operators and Hankel matrices
Besov classes were used to study Hankel operators in [70]. Hankel operators on the Hardy class2[x]2We refer the reader to [33], [51], and [65] for the definitions and basic properties of the Hardy classes $H^p$ as well as the classes $\mathrm{BMO}$ and $\mathrm{VMO}$. $H^2$ of functions analytic in $\mathbb{D}$ can be defined in the following way. Let $\varphi$ be a function of class $L^2=L^2(\mathbb{T})$. On the set of analytic polynomials $\mathscr{P}_+$ the Hankel operator $H_\varphi$ from the Hardy space $H^2$ to the space $H^2_-\overset{\rm def}{=} L^2\ominus H^2$ is defined by
(recall that the Riesz projections are defined by (2.7)). Such operators are not necessarily bounded. The boundedness criterion for Hankel operators is given by Nehari’s theorem: the operator $H_\varphi$ is bounded if and only if there exists a function $\psi$ in $L^\infty$ such that $H_\varphi=H_\psi$. The last equality is equivalent to the following one:
It follows from the theorems of Nehari and Ch. Fefferman that for $\varphi\in L^2$ the Hankel operator $H_\varphi$ is a bounded operator from $H^2$ to $H^2_-$ (to be more precise, it extends to a bounded operator from $H^2$ to $H^2_-$) if and only if the function $\mathbb{P}_-\varphi$ belongs to the class $\mathrm{BMO}$ of functions on $\mathbb{T}$ of bounded mean oscillation. Furthermore, the norm of $H_\varphi$ is equivalent to the norm of $\mathbb{P}_-\varphi$ in the space $\mathrm{BMO}$.
A compactness criterion for Hankel operators is given by Hartman’s theorem: if $\varphi\in L^\infty$, then $H_\varphi$ is compact if and only if $\varphi\in H^\infty+C$, that is, $\varphi$ can be represented as $\varphi=g+h$, where $g\in H^\infty$ and $g$ is a continuous function on $\mathbb{T}$. In combination with a theorem due to Sarason, this leads to the following criterion: the operator $H_\varphi$ is compact if and only if the function $\mathbb{P}_-\varphi$ belongs to the space $\mathrm{VMO}$ of functions on $\mathbb{T}$ of vanishing mean oscillation.
Detailed information on Hankel operators and their applications can be found in the book [79]; see also the book [65].
The Hankel operator $H_\varphi\colon H^2\to H^2_-$ in the orthonormal bases $\{z^j\}_{j\geqslant0}$ of the space $H^2$ and $\{\overline z^j\}_{j>0}$ of the space $H^2_-$ has the infinite matrix
and we are going to identify such matrices with operators on the space $\ell^2$ with respect to the natural basis in $\ell^2$. Clearly, the study of the metric properties of Hankel operators $H_\varphi$ is equivalent to the study of the metric properties of Hankel matrices $\Gamma_\alpha$. In particular, $\Gamma_\alpha$ induces a bounded operator on $\ell^2$ if and only if
We proceed now to conditions under which Hankel operators belong to the Schatten–von Neumann classes $\boldsymbol{S}_p$. The following theorem describes the Hankel operators $H_\varphi$ that belong to the Schatten–von Neumann classes $\boldsymbol{S}_p$.
Theorem 4.1. Let $0<p<\infty$, and let $\varphi\in L^2$. Then the Hankel operators $H_\varphi$ belongs to the Schatten–von Neumann class $\boldsymbol{S}_p$ if and only if the function $\mathbb{P}_-\varphi$ belongs to the Besov class $B_p^{1/p}(\mathbb{T})$.
Theorem 4.1 can be reformulated in the following way:
Applying the description of Besov classes (2.5) to Besov classes of analytic functions, we obtain the following description of the operators $\Gamma_\alpha$ of class $\boldsymbol{S}_p$.
Theorem 4.2. Let $\alpha$ be given by a power series (4.2). Let $0<p<\infty$, and let $m$ be an integer such that $m>1/p$. Then
Note that the description of the trace class Hankel operators was obtained in [70]. This solved an old well-known problem; in particular, it was mentioned by Rosenblum [97], Krein [48], and Holland (see [18]).
The case $1<p<\infty$ was also covered in [70]. In the case $0<p<1$ a description of Hankel operators of class $\boldsymbol{S}_p$ was obtained in [72]. Note that other approaches in the case $0<p<1$ was offered by Pekarskii [68] and Semmes [103].
The framework of this survey does not allow us to give a complete proof of Theorem 4.1. We restrict ourselves to the proof of the sufficiency of the condition $\mathbb{P}_-\varphi\in B_p^{1/p}(\mathbb{T})$ for $0<p<1$, and we also discuss how it is possible to obtain the necessity of this condition in the case $p=1$.
Proof of the sufficiency of the condition $\mathbb{P}_{-}\varphi\in B_p^{1/p}(\mathbb{T})$ for $p\leqslant1$. Let $\psi$ be a function analytic in the disc $\mathbb{D}$, and let $\psi_n=\psi*W_n$, where the analytic polynomials $W_n$ are defined by (2.2). Using inequality (3.3) (which is obviously also valid for $p=1$), we see that it follows from (2.3) and (2.4) that it suffices to establish the following assertion.
Let $\psi$ be an analytic polynomial of degree ${m-1}$. Then
Now, for an analytic polynomial $\psi$, $\deg\psi=m-1$, we define operators $A_j$, $0\leqslant j\leqslant2m-1$, of rank $1$ as follows. Consider the points
To prove this equality we have to verify that the matrix entries of the operators on the left and on the right are the same. Clearly, in the case when $k\geqslant m$ or $n\geqslant m$, we have
Here $\{e_j\}_{j\geqslant0}$ is the standard orthonormal basis in $\ell^2$. Next, since $\psi$ is an analytic polynomial and $\deg\psi<m$, the following identity holds
Incidentally, we can simply apply inequality (4.5) to the function $\psi_\tau$, $\tau\in\mathbb{T}$, $\psi_\tau(\zeta)\overset{\rm def}{=}\psi(\tau\zeta)$, observe that $\|\Gamma_{\psi_\tau}\|_{\boldsymbol{S}_p}=\|\Gamma_\psi\|_{\boldsymbol{S}_p}$, $\tau\in\mathbb{T}$, and integrate it with respect to the variable $\tau$, against Lebesgue measure $\boldsymbol{m}$ on $\mathbb{T}$. The proof of sufficiency is complete.
For $p=1$, there are several approaches to the proof of the necessity of the condition $\alpha\in\big(B_1^1\big)_+$. One of them is selecting special bounded operators $B$ an $\ell^2$ and calculating the traces $\operatorname{trace}\Gamma_\alpha B$ (see [70] and [79]). Another one is constructing a certain special bounded projection ${\mathscr Q}$ from $\boldsymbol{S}_1$ onto the subspace of trace class Hankel operators (see [79], Chap. 6, § 5).
Note here that the averaging projection $\mathscr{P}$ onto the Hankel matrices defined by
is not a bounded operator on $\boldsymbol{S}_1$. Indeed, it is easy to observe that, as $T$ ranges over the set of projections of rank $1$, the Hankel matrices $\mathscr{P} T$ fill all matrices of the form $\Gamma_\alpha$, where $\alpha$ is an arbitrary analytic function in $\mathbb{D}$ with derivative in the Hardy class $H^1$, and so
Nevertheless, $\{f\colon f'\in H^1\}\not\subset(B_1^1)_+$. Indeed, it is well known that the lacunary Fourier coefficients $\widehat g(2^k)$ of the functions $g$ in $H^1$ fill the whole space $\ell^2$, while the lacunary Fourier coefficients of the functions with derivatives in $(B_1^1)_+$ fill the space $\ell^1$.
We refer the reader to [72] and [79] for the proof of the necessity of the condition $\mathbb{P}_-\varphi\in B_p^{1/p}(\mathbb{T})$, $0<p<1$, in Theorem 4.1. The proof is rather difficult and is based on explicit computations of the $\boldsymbol{S}_p$-quasinorms of convolution operators on cyclic groups.
In the case $1<p<\infty$ the proof of Theorem 4.1 given in [70] was obtained with the help of Marcinkiewicz’s interpolation theorem. Moreover, the reasoning given in the proof implies that the averaging projection $\mathscr{P}$ onto the Hankel matrices is bounded on $\boldsymbol{S}_p$ for $1<p<\infty$. We refer the reader to the book [79], in which all such questions are discussed in detail.
4.2. Generalized Hankel matrices
Let $\alpha$ and $\beta$ be real numbers, and let $\varphi$ be a function analytic in the disc $\mathbb{D}$. Consider generalized Hankel matrices of the form
The case $\alpha=\beta=0$ corresponds to the classical Hankel matrices. We are going to consider such matrices as operators on $\ell^2$.
The following theorem describes bounded and compact operators of the form $\Gamma_\varphi^{\alpha,\beta}$ for $\alpha\geqslant0$ and $\beta\geqslant0$.
Theorem 4.4. Let $\varphi$ be a function analytic in $\mathbb{D}$. The following statements hold:
(i) if $\alpha>0$ and $\beta>0$, then $\Gamma_\varphi^{\alpha,\beta}$ is a matrix of a bounded operator on $\ell^2$ if and only if $\varphi$ belongs to the Hölder class $\Lambda_{\alpha+\beta}$;
(ii) if $\alpha>0$ and $\beta>0$, then $\Gamma_\varphi^{\alpha,\beta}$ is a matrix of a compact operator on $\ell^2$ if and only if $\varphi$ belongs to the separable Hölder class $\lambda_{\alpha+\beta}$;
(iii) if $\alpha>0$, then $\Gamma_\varphi^{\alpha,0}$ is a matrix of a bounded operator on $\ell^2$ if and only if the function
(iv) if $\alpha>0$, then $\Gamma_\varphi^{\alpha,0}$ is a matrix of a compact operator on $\ell^2$ if and only if the function $I_{-\alpha}\varphi$ belongs to $\mathrm{VMO}$.
The following theorem describes operators $\Gamma_\varphi^{\alpha,\beta}$ in the Schatten–von Neumann class $\boldsymbol{S}_p$.
Theorem 4.5. Let $\varphi$ be a function analytic in $\mathbb{D}$, and let $0<p<\infty$. Suppose that $\alpha$ and $\beta$ are real numbers such that
Then $\Gamma_\varphi^{\alpha,\beta}\in\boldsymbol{S}_p$ if and only if $\varphi$ belongs to the Besov class $(B_p^{1/p+\alpha+\beta})_+$.
We refer the reader to [79] for proofs of the above assertions and for more detailed discussions.
5. Some applications of the criterion of the membership of Hankel operators in classes $\boldsymbol{S}_p$
In this section we consider some applications of the description of the Hankel operators of class $\boldsymbol{S}_p$ in terms of Besov classes. The reader can learn applications in more detail in the book [79].
5.1. A characterization of Besov classes in terms of rational approximation
In this subsection we discuss how the Besov classes $(B_p^{1/p})(\mathbb{T})$ can be described in terms of rational approximation in the norm of the space $\mathrm{BMO}$.
First of all, we need the oldest theorem on Hankel matrices, that is, Kronecker’s theorem [50] on finite-rank Hankel matrices, which implies that a Hankel operator $H_\varphi\colon H^2\to H^2_-$ has rank $k$ if and only if $\mathbb{P}_-\varphi$ is a rational function of degree $k$.3[x]3The degree $\deg p/q$ of the rational function $p/q$ in the case when $p$ and $q$ are polynomials that have no non-trivial common divisor is defined as $\max\{\deg p,\deg q\}$.
We are also going to use the profound Adamjan–Arov–Krein theorem [1], which asserts that in the case when $T$ is a Hankel operator, it suffices to consider exclusively Hankel operators $R$ of rank at most $j$ on the right-hand side of (3.1), that is,
A combination of Kronecker’s theorem with the Adamjan–Arov–Krein theorem, together with Nehari’ and Fefferman’s theorems mentioned above, allows us to obtain the following description of the Besov classes $(B_p^{1/p})(\mathbb{T})$ in terms of rational approximation in the norm of $\mathrm{BMO}$.
Let $\varphi\in L^\infty$ and $j\in\mathbb{Z}_+$. Consider the deviations $\rho_n(\varphi)$ of the function $\varphi$ from the set ${\mathcal R}_n$ of rational functions of degree at most $n$ with poles off $\mathbb{T}$ in the norm of $\mathrm{BMO}$:
Theorem 5.1. Let $\varphi$ be a function $\mathbb{T}$ of class $\mathrm{BMO}$, and let $0<p<\infty$. Then $\varphi\in(B_p^{1/p})(\mathbb{T})$ if and only if
Theorem 5.1 was obtained in [70] and [72]. We refer the reader to [79], Chap. 6, § 6, where these issues are discussed in detail and other related results are given.
5.2. Commutators of multiplication operators and the Riesz projection
For a function $\varphi$ of class $L^2$ the multiplication operator $M_\varphi$ is defined on the dense subset $\mathscr{P}$ of trigonometric polynomials by $M_\varphi f\overset{\rm def}{=}\varphi f$, $f\in\mathscr{P}$. Consider now the commutator ${\mathscr C}_\varphi$ of the operator $M_\varphi$ and the Riesz projection $\mathbb{P}_+$ defined by
Let us express now the commutator ${\mathscr C}_\varphi$ in terms of Hankel operators. It is convenient to use the notation $f_+\overset{\rm def}{=}\mathbb{P}_+f$ and $f_-\overset{\rm def}{=}\mathbb{P}_-f$.
Theorem 5.2. Let $\varphi\in L^2$ and $f\in\mathscr{P}$. Then
Since the Hankel operator $H_{\varphi_-}$ acts from $H^2$ to $H^2_-$ and the operator $\bigl(H_{\overline{\varphi_+}}\bigr)^*$ acts from $H^2_-$ to $H^2$, it is easy to see that the commutator ${\mathscr C}_\varphi$ is bounded (compact) if and only if both the Hankel operators $H_{\varphi_-}$ and $H_{\overline{\varphi_+}}$ are bounded (compact). This implies some well-known results in harmonic analysis: the boundedness of the commutator ${\mathscr C}_\varphi$ is equivalent to the membership of $\varphi$ in the class $\mathrm{BMO}$, while the compactness of ${\mathscr C}_\varphi$ is equivalent to the membership of $\varphi$ in the class $\mathrm{VMO}$.
In the same way we can consider the problem of the membership of the commutator ${\mathscr C}_\varphi$ in the Schatten–von Neumann classes. Thus, the following criterion holds.
Theorem 5.3. Let $0<p<\infty$. Then the commutator ${\mathscr C}_\varphi$ defined by (5.1) belongs to the class $\boldsymbol{S}_p$ if and only if $\varphi$ belongs to the Besov class $(B_p^{1/p})(\mathbb{T})$.
We refer the reader to the book [79] for more detailed information.
5.3. Hankel operators as integral operators on $L^2[0,\infty)$; commutators of multiplication operators and the Hilbert transform
For a function $k$ of class $L^1(\mathbb{R}_+)$ the integral Hankel operator $\boldsymbol\varGamma_k$ on the space $L^2(\mathbb{R}_+)$ is defined by
The operators $\boldsymbol\varGamma_k$ are integral analogues of the matrix operators $\Gamma_\alpha$ defined by (4.1). It turns out, however, that the operators $\boldsymbol\varGamma_k$ are not only integral analogues of Hankel operators $\Gamma_\alpha$, but also have Hankel matrices in the basis of Laguerre functions. We are going to discuss in this subsection how to define the operators $\boldsymbol\varGamma_k$ in the situation considerably more general than in the case $k\in L^1(\mathbb{R}_+)$, and we are also going to discuss the conditions of boundedness, compactness, and membership in the Schatten–von Neumann ideals for such operators.
To state the results we need the notions of a distribution and a tempered distribution.
For an open subset $\Omega$ of the real line $\mathbb{R}$ we consider the space ${\mathcal D}(\Omega)$ of infinitely differentiable functions on $\Omega$ with compact support, and we equip this space with the natural topology of inductive limit. The space ${\mathcal D}'(\Omega)$ of distributions on $\Omega$ is defined as the space of continuous linear functionals on ${\mathcal D}(\Omega)$. We refer the reader to Schwartz’s book [102] for an introduction to the theory of distributions.
To define the space of tempered distributions, we consider the Schwartz space ${\mathcal S}$ of infinitely differentiable functions $f$ on $\mathbb{R}$ such that
We can define now the space ${\mathcal S}'$ of tempered distributions as the space of continuous linear functionals on ${\mathcal S}$ endowed with the natural topology; see [102].
It is well known that the Fourier transform $\mathscr{F}$ and the inverse Fourier transform $\mathscr{F}^*$ defined on the space $L^1(\mathbb{R})$ by
map the Schwartz space ${\mathcal S}$ onto itself, which makes it possible to extend them by duality to linear maps of the space of tempered distributions ${\mathcal S}'$ onto itself.
The following result holds.
Theorem 5.4. Let $k\in{\mathcal D}'(0,\infty)$. The following statements are equivalent:
(i) $\boldsymbol\varGamma_k$ is a bounded operator on $L^2[0,\infty)$;
(ii) there exists a function $\varkappa$ of class $L^\infty(\mathbb{R})$ such that $(\mathscr{F}\varkappa)|(0,\infty)=k$;
(iii) there exists a distribution $r$ in ${\mathcal S}'$ such that $r|(0,\infty)=k$, $\operatorname{supp} r\subset[0,\infty)$ and $\mathscr{F}^*r\in\mathrm{BMO}(\mathbb{R})$.
We refer the reader to the book [79], Chap. 1, § 8, where such issues are discussed in detail and, in particular, a compactness criterion for the integral operators $\boldsymbol\varGamma_k$ is given.
Consider now the operator ${\mathcal U}$ defined on the space $L^2(\mathbb{T})$ by
It is well known that ${\mathcal U}$ is a unitary operator from $L^2(\mathbb{T})$ onto $L^2(\mathbb{R})$; moreover, it maps the Hardy class $H^2$ on the disc onto the Hardy class $H^2(\mathbb{C}_+)$ on the half-plane.
The following assertion holds.
Theorem 5.5. The bounded operators $\boldsymbol\varGamma_k$ have Hankel matrices in the orthonormal basis $\{\mathscr{F}{\mathcal U}z^n\}_{n\geqslant0}$ in $L^2(\mathbb{R}_+)$. Moreover, the following identity holds:
The proofs of the above statements can be found in [79], Chap. 1, § 8.
Let us now state a necessary and sufficient condition for an integral operator $\boldsymbol\varGamma_k$ to belong to the Schatten–von Neumann classes $\boldsymbol{S}_p$.
Theorem 5.6. Let $0<p<\infty$, and let $k$ be a distribution on $(0,\infty)$. Then $\boldsymbol\varGamma_k\in\boldsymbol{S}_p$ if and only if $k=(\mathscr{F}\psi)|(0,\infty)$ for a function $\psi$ in the Besov class $B_p^{1/p}(\mathbb{R})$.
We refer the reader for details to [79], Chap. 6, § 7.
Theorem 5.6 allows us to obtain an analogue of Theorem 5.3 in the case of commutators of multiplication and the Hilbert transform. For a function $\varphi$ of class $\mathrm{BMO}(\mathbb{R})$ we consider the operator $\boldsymbol{\mathcal C}_f$ defined by
It is well known that the operator $\boldsymbol{\mathcal C}_f$ is bounded on $L^2(\mathbb{R})$ if and only if $\varphi\in\mathrm{BMO}(\mathbb{R})$.
Theorem 5.7. Let $0<p<\infty$, and let $\varphi$ be a function of class $\mathrm{BMO}(\mathbb{R})$. Then the operator $\boldsymbol{\mathcal C}_\varphi$ belongs to the Schatten–von Neumann class $\boldsymbol{S}_p$ if and only if $\varphi$ belongs to the Besov class $B_p^{1/p}(\mathbb{R})$.
5.4. Wiener–Hopf operators on a finite interval
Let $\sigma>0$. We define the Wiener–Hopf operators on the space $L^2[-\sigma,\sigma]$ in the following way. Let $k$ be a locally integrable function on $(-2\sigma,2\sigma)$ (or even a distribution on $(-2\sigma,2\sigma)$). Consider the operator $W_{\sigma,k}$ defined on the dense subset of $L^2[-\sigma,\sigma]$ consisting of infinitely smooth functions $f$ with compact support in $(-\sigma,\sigma)$ by
Such operators are called Wiener–Hopf operators on a finite interval. In this subsection we discuss conditions under which such operators belong to $\boldsymbol{S}_p$ for $0<p<\infty$.
Together with the operators $W_{\sigma,k}$ we are going to consider so-called truncated Hankel operators $\boldsymbol{\varGamma}_{\sigma,k}$ on $L^2[-\sigma,\sigma]$ defined by
To state the description of the operators $W_{\sigma,k}$ and $\boldsymbol{\varGamma}_{\sigma,k}$ of class $\boldsymbol{S}_p$, we define the following functions:
In conclusion, we note that there are many generalizations of the results in §§ 4 and 5, in which Besov classes appear in the description of certain operators that belong to $\boldsymbol{S}_p$. Some of these results are listed in the references of [79]. However, apart from them, there are many other publications that appeared after the publication of [79].
5.5. The Ibragimov–Solev problem on stationary random processes
The Ibragimov–Solev problem stated in the note [39] concerns the regularity properties of stationary processes. The problem is to find out when the product of the projections onto the Past and onto the Future belongs to the Schatten–von Neumann class $\boldsymbol{S}_p$, $1\leqslant p<\infty$.
Without entering into details of the theory of stationary processes, we note that we understand by a stationary process (in the broad sense) a sequence of random variables $\{X_n\}_{n\in\mathbb{Z}}$ such that the mathematical expectation ${\mathsf E}X_jX_k$ depends only on the difference ${j-k}$. Let
By the F. Riesz–Herglotz theorem (see [95], § 53) there exists a finite positive Borel measure $\mu$ on the unit circle $\mathbb{T}$ such that $c_n=\int_\mathbb{T} z^n\,d\mu$. The measure $\mu$ is called the spectral measure of the process. Then the closed linear span $\operatorname{clos}\operatorname{span}\{X_n\colon n\in\mathbb{Z}\}$ can isometrically be identified with the weighted space $L^2(\mu)$ via the map
It is well known that a stationary process is regular if and only if its spectral measure $\mu$ is absolutely continuous with respect to Lebesgue measure and its density $w$ (it is called the spectral density of the process) satisfies the condition $\log w\in L^1(\mathbb{T})$.
Suppose that we have a regular stationary process with spectral density $w$. Consider now the orthogonal projections $\mathscr{P}_0$ and $\mathscr{P}^n$ onto the past and the future starting with moment $n$. The Ibragimov–Solev problem was to describe the spectral densities of regular stationary processes for which the operators $\mathscr{P}_0\mathscr{P}^n$ belong to the Schatten–von Neumann class $\boldsymbol{S}_p$. The following theorem gives a solution to this problem; see [70] and [87].
Theorem 5.9. Let $1\leqslant p<\infty$, and let $w$ be the spectral density of a regular stationary process. The following are equivalent:
(i) $\mathscr{P}_0\mathscr{P}^n\in\boldsymbol{S}_p$ for all $n\in\mathbb{Z}_+$;
(ii) $\mathscr{P}_0\mathscr{P}^0\in\boldsymbol{S}_p$;
where $P$ is a polynomial with zeros on $\mathbb{T}$ and $\varphi$ is a real-valued function in the Besov class $B_P^{1/p}(\mathbb{T})$.
Note that for $p=2$ this assertion was proved earlier by Ibragimov and Solev [38], but the methods of [38] do not work for ${p\ne2}$.
6. Power bounded operators and the tensor products $\ell^\infty\mathbin{\widehat{\otimes}}\ell^\infty$ and $\ell^1\mathbin{\check{\otimes}}\ell^1$; Masur’s problems from the Scottish Book
This section is devoted to finding estimates of polynomials of power bounded operators on Hilbert space. It turns out that the resulting norms are closely related to the tensor products $\ell^\infty\mathbin{\widehat{\otimes}}\ell^\infty$ and $\ell^1\mathbin{\check{\otimes}}\ell^1$. Moreover, the problem of the description of Hankel matrices of class $\ell^1\mathbin{\check{\otimes}}\ell^1$ appears and we obtain such a description in terms of a Besov class. We also study the properties of the averaging projection onto the space of Hankel matrices in such norms. In conclusion we will see that such results lead to the solution of Mazur’s problems 8 and 88 from the Scottish Book.
6.1. Estimates of operator polynomials
We start this subsection with the problem of estimating functions of power bounded operators on Hilbert space. We are going to discuss some of such estimates. In particular, we will see that the norm of a polynomial of a power bounded operator can be estimated in terms of the norm of the polynomial in the Besov class $(B_{\infty,1}^0)_+$.
Thus, let $T$ be a power bounded operator on Hilbert space, that is,
Here $c>1$ (the case $c=1$ corresponds to the case when $T$ is a contraction, that is, $\|T\|\leqslant1$). It is well known that for $c>1$ the operator $T$ does not have to be polynomially bounded, that is, for such operators $T$ the estimate
for analytic polynomials $\varphi$ does not hold in general (this was established in [54]; see also [71] and the papers cited there).
The paper [71] was devoted to the problem of finding most optimal estimates for the norms $\|\varphi(T)\|$ under condition (6.1). In other words, the problem is to estimate the norm
To state the results we introduce some tensor products. We define the projective tensor product $\ell^\infty\mathbin{\widehat\otimes}\ell^\infty$ as the space of matrices $\{\gamma_{jk}\}_{j,k\geqslant0}$ that admit a representation
By the norm $\bigl\|\{\gamma_{jk}\}_{j,k\geqslant0}\bigr\|_{\ell^\infty \mathbin{\widehat\otimes}\ell^\infty}$ of the matrix $\{\gamma_{jk}\}_{j,k\geqslant0}$ in $\ell^\infty\mathbin{\widehat\otimes}\ell^\infty$ we understand the infimum of the left-hand side of inequality (6.3) over all representations of this matrix in the form (6.2). Equipped with this norm, the space $\ell^\infty\mathbin{\widehat\otimes}\ell^\infty$ becomes a Banach space.
Consider now the tensor algebra $V^2$ (Varopoulos algebra) as the weak completion of the space $\ell^\infty\mathbin{\widehat\otimes}\ell^\infty$ in the following sense. We define the projections $P_m$, $m\in\mathbb{Z}_+$, onto the space of all infinite matrices by
$$
\begin{equation*}
(P_m\gamma)_{jk}=\begin{cases} \gamma_{jk},&j\leqslant m, \ k\leqslant m; \\ 0 & \text{otherwise}. \end{cases}
\end{equation*}
\notag
$$
We say that an infinite matrix $\gamma=\{\gamma_{jk}\}_{j,k\geqslant0}$ belongs to the space $V^2$ if
Here $\ell^\infty\mathbin{\widehat\otimes}\ell^\infty$ is a closed proper subspace of $V^2$. It is easy to observe that the identity matrix belongs to $V^2$ but does not belong to $\ell^\infty\mathbin{\widehat\otimes}\ell^\infty$.
It is easy to see that if $A=\{a_{jk}\}_{j,k\geqslant0}\in V^2$, then $A$ is a Schur multiplier of the space ${\mathcal B}(\ell^2)$ of matrices of bounded linear operators on $\ell^2$, that is,
It turns out that the converse also holds; see [21].
Let us now define the injective tensor product $\ell^1\mathbin{\check{\otimes}}\ell^1$ of two copies of $\ell^1$ as the completion of the algebraic tensor product $\ell^1\otimes\ell^1$ in the norm
Note also that the space $\ell^1\mathbin{\check{\otimes}}\ell^1$ can naturally be identified with the space of bounded linear operators from the space $c_0$ of sequences with zero limit to the space $\ell^1$.
Let us now define the space ${\mathscr L}$ of functions $f$ analytic in the disc $\mathbb{D}$ for which there exists a matrix $\{\gamma_{jk}\}_{j,k\geqslant0}$ in $\ell^1\mathbin{\check{\otimes}}\ell^1$ such that
The norm $\|f\|_{{\mathscr L}}$ of a function $f$ in the space ${\mathscr L}$ is defined as the infimum of the norms $\|\{\gamma_{jk}\}_{j,k\geqslant0}\|_{\ell^1\mathbin{\check{\otimes}}\ell^1}$ over all matrices $\{\gamma_{jk}\}_{j,k\geqslant0}$ in $\ell^1\mathbin{\check{\otimes}}\ell^1$ that satisfy (6.4). It is easy to show that
that is, the supremum is taken over all analytic functions $\psi$ in $\mathbb{D}$ for which the Hankel matrix $\Gamma_\psi$ belongs to the unit ball of the space $V^2$. Here
To present the estimate obtained in [71] of the norms of polynomials of power bounded operators in terms of the norm of the polynomial in ${\mathscr L}$, we recall Grothendieck’s inequality [35]. Let $\{\gamma_{jk}\}_{j,k\geqslant0}\in\ell^1\mathbin{\check{\otimes}}\ell^1$, and let $\{x_j\}_{j\geqslant0}$ and $\{y_k\}_{k\geqslant0}$ be vectors in the unit ball of a Hilbert space. Then
Proof. Let $x$ and $y$ be vectors in the unit ball of the Hilbert space, and let $\{\gamma_{jk}\}_{j,k\geqslant0}$ be a complex matrix whose entries, except for finitely many of them, are equal to zero and such that
We denote by $\mathfrak{M}H^1$ the class of multipliers of $H^1$. By the norm of a function $\psi$ in $\mathfrak{M}H^1$ we mean the norm of the operator $f\mapsto\psi*f$ on $H^1$. It is easy to see that $\psi\in\mathfrak{M}H^1$ if and only if $\psi$ is a multiplier of the space $\mathrm{BMOA}$ (see (4.2)).
Theorem 6.1 implies easily the following estimate.
Corollary 6.2. Let $T$ be a power bounded operator on Hilbert space. Then
Now we are in a position to state the result of [71] on estimates of polynomials of power bounded operators in terms of the norms of polynomials in $\mathrm{VMOA}\mathbin{\widehat{\circledast}} H^1$.
Theorem 6.3. Let $T$ be a power bounded operator on Hilbert space. Then
Finally, we are able to estimate the norms of polynomials of power bounded operators in terms of the norms of the polynomials in the Besov space $(B^0_{\infty,1})_+$.
Theorem 6.4. Let $T$ be a power bounded operator on Hilbert space. Then
The result follows now from the well-known fact that $\|W_n\|_{L^1}\leqslant\mathrm{const}$. The theorem is proved.
A natural question arises of whether the above estimates for the norms of polynomials of power bounded operators are optimal. Suppose that $\|\,{\cdot}\,\|_\flat$ is a norm on the set of analytic polynomials and we have the estimate
for an arbitrary operator $T$ satisfying (6.1). Also, the constant on the right-hand side of (6.1) can depend on the number $c$ in (6.1). We say that this estimate is optimal if there exist $c>1$ and an operator $T$ satisfying (6.1) such that
It is easy to see that in this case the completion $\mathscr{P}^\flat$ of the space of polynomials in the norm $\|\,{\cdot}\,\|_\flat$ is a Banach algebra with respect to pointwise multiplication. Moreover, this Banach algebra must be an operator algebra, that is, it must be isomorphic to a subalgebra of all operators on Hilbert space.
Note that it was shown in [71] that $\mathrm{VMOA}\mathbin{\widehat{\circledast}} H^1$ and $(B^0_{\infty,1})_+$ are Banach algebras with respect to pointwise multiplication. Bennett showed in his review MR0658618 of [71], published in Mathematical Reviews, that the same is true for the space ${\mathscr L}$.
It turns out that $(B^0_{\infty,1})_+$ is not an operator algebra. Otherwise the norms $\|\,{\cdot}\,\|_{\mathscr L}$, $\|\,{\cdot}\,\|_{\mathrm{VMOA}\mathbin{\widehat{\circledast}} H^1}$, and $\|\,{\cdot}\,\|_{B^0_{\infty,1}}$ would be equivalent. It is easy to show (see [71]) that this would mean that $(B^0_{\infty,1})^*=B^0_{1,\infty}=\mathfrak{M}H^1$. However, it is well known (see the references in [71]) that $\mathfrak{M}H^1$ is a proper subset of the space $B^0_{1,\infty}$.
We would like to mention here the papers [20], [36], and [106], in which the functional calculus for power bounded operators on the Besov class $(B^0_{\infty,1})_+$ is generalized to semigroups of operators.
6.2. Hankel matrices and tensor products of the spaces $\ell^1$ and $\ell^\infty$
Let us now return to estimate (6.6). On the right-hand side of inequality (6.6) one has to minimize $\|\{\gamma_{jk}\}_{j,k\geqslant0}\|_{\ell^1\mathbin{\check{\otimes}}\ell^1}$ over all matrices $\{\gamma_{jk}\}_{j,k\geqslant0}$ in $\ell^1\mathbin{\check{\otimes}}\ell^1$ satisfying the condition
A natural question arises of whether the choice would be optimal if we put
$$
\begin{equation}
\gamma_{jk}=\frac{\widehat\varphi(n)}{n+1}\quad\text{in the case when}\ j+k=n+1.
\end{equation}
\tag{6.9}
$$
This leads to the question of describing the Hankel matrices of class $\ell^1\mathbin{\check{\otimes}}\ell^1$, which was answered by the following theorem obtained in [71].
Theorem 6.5. Let $\varphi$ be a function analytic in $\mathbb{D}$. Then $\Gamma_\varphi\in\ell^1\mathbin{\check{\otimes}}\ell^1$ if and only if $\varphi\in(B_{\infty,1}^1)_+$.
Therefore, if we make the choice (6.9), then we obtain the estimate
which is not optimal as we have already mentioned.
Let us return now to the averaging projection $\mathscr{P}$ onto the set of Hankel matrices, defined by (4.6). The following result obtained in [71] describes the image of the space $V^2$ under this projection.
This implies easily the following fact (see [71]).
Corollary 6.7. The projection $\mathscr{P}$ is not a bounded operator on $\ell^1\mathbin{\check{\otimes}}\ell^1$, $\ell^\infty\mathbin{\widehat\otimes}\ell^\infty$, and $V^2$.
6.3. Problems 8 and 88 from the Scottish Book
In this subsection we are going to see how the results of the previous subsection allow one to solve Problems 8 and 88 from the famous Scottish Book (see [60]). Both problems were posed by S. Mazur.
Problem 8. Let $c$ be the space of convergent sequences. Consider the bilinear form ${\mathscr B}$ on $c\times c$ defined by
It is easy to see that ${\mathscr B}$ maps $c\times c$ to $c$. Problem 8 in the Scottish Book is whether ${\mathscr B}$ maps $c\times c$ onto the whole space $c$.
Problem 88. Suppose that a Hankel matrix $\{\gamma_{j+k}\}$ belongs to the tensor product $\ell^1\mathbin{\check{\otimes}}\ell^1$. Problem 88 of the Scottish Book is whether this implies that
that is, whether the sum of the matrix entries must be finite.
In [52] and [31] solutions to both problems were given.
It turned out, however, that it follows right away from the earlier paper [71] that both Problems 8 and 88 have negative solutions (see [81], in which a detailed discussion is presented).
Let us proceed to the discussion of the solution to Problem 8. Consider a linear operator ${\mathscr A}$ defined on the set of matrices $Q=\{q_{jk}\}_{j,k\geqslant0}$ and taking matrices to sequences of complex numbers:
A negative solution to Problem 88 follows from the following best possible estimate of the moduli of Fourier coefficients of functions in the Besov class $(B^1_{\infty,1})_+$:
We refer the reader to [81], where a detailed discussion of such issues is presented.
Note also that in [69] certain quantitative estimates were obtained that are related to Problems 8 and 88, as well as some related problems were posed. In [81] it was shown that quantitative estimates also follow from the results of [71], while the problems posed in [69] can easily be solved with the help of the results of [71].
7. Besov classes in perturbation theory
7.1. Functions of self-adjoint operators under perturbations of the operators
Let $f$ be a continuous complex-valued function on the real line. Consider the problem of when the inequality
holds for arbitrary (bounded) self-adjoint operators $A$ and $B$ on Hilbert space. Functions $f$ satisfying this property are called operator Lipschitz. We denote by $\operatorname{OL}(\mathbb{R})$ the space of operator Lipschitz functions on $\mathbb{R}$, and for $f\in\operatorname{OL}(\mathbb{R})$ we put
where the supremum is taken over all pairs of self-adjoint operators $A$ and $B$ with bounded difference such that $A\ne B$.
It is well known (see [10]) that if inequality (7.1) holds for all bounded self-adjoint operators, then it also holds for unbounded self-adjoint operators.
Obviously, operator Lipschitz functions must be Lipschitz functions, that is, the following inequality must be satisfied:
In the paper [32] by Farforovskaya it was shown that the converse is false.
Moreover, as became clear later, operator Lipschitz functions are necessarily differentiable everywhere ([107], see also [10]) but not necessarily continuously differentiable ([41], see also [10]). In particular, the function $x\mapsto|x|$ is not operator Lipschitz.
Next, in [73] and [76] necessary conditions for operator Lipschitzness were obtained. In particular, if $f$ is an operator Lipschitz function, then $f$ belongs to the Besov class $B_1^1(\mathbb{R})$ locally. This necessary condition also shows that the conditions of continuous differentiability and the boundedness of the derivative are not sufficient for operator Lipschitzness. We refer the reader to [10] for other necessary conditions.
In the author’s papers [73] and [76] it was shown that the Besov class $B_{\infty,1}^1(\mathbb{R})$ consists of operator Lipschitz functions. In other words, the following assertion holds.
Theorem 7.1. Let $f$ be a function in the Besov class $B_{\infty,1}^1(\mathbb{R})$. Then inequality (7.1) holds for arbitrary self-adjoint operators $A$ and $B$.
To prove Theorem 7.1 double operator integrals were used in [73] and [76]. Double operator integrals are expressions of the form
where $E_1$ and $E_2$ are spectral measures on Hilbert space, $Q$ is a bounded linear operator on Hilbert space, and $\Phi$ is a bounded measurable functions of two variables.
Double operator integrals appeared first in [30]. Later, in the series of papers [25]–[27] Birman and Solomyak created a beautiful theory of double operator integrals. In particular, their approach allows one to define double operator integrals of the form (7.2) for arbitrary operators $Q$ of Hilbert–Schmidt class $\boldsymbol{S}_2$; in this case the double operator integral must also belong to $\boldsymbol{S}_2$ and the following inequality holds:
It turns out, however, that if $Q$ is an arbitrary bounded operator, then to define the double operator integral (7.2) we have to impose additional assumptions on the function $\Phi$. In [73] the natural maximal class of functions $\Phi$ for which the double operator integral (7.2) can be defined for arbitrary bounded operators $Q$ was named the class of Schur multipliers with respect to the spectral measures $E_1$ and $E_2$.
There are several descriptions of the class of Schur multipliers; see [73]. We mention here the following one.
Theorem 7.2. A bounded measurable function $\Phi$ is a Schur multiplier with respect to $E_1$ and $E_2$ if and only if $\Phi$ belongs to the Haagerup tensor product $L^\infty_{E_1}\mathbin{\otimes_{\rm h}}L^\infty_{E_2}$, that is, $\Phi$ admits a representation
The role of double operator integrals in obtaining operator Lipschitz estimates can be demonstrated by the following result by Birman and Solomyak [25].
Theorem 7.3. Let $f$ be a differentiable function on $\mathbb{R}$, and let ${\mathfrak D} f$ be the corresponding divided difference, that is,
Suppose that $A$ and $B$ are self-adjoint operators such that the operator $B-A$ is bounded and that ${\mathfrak D} f$ is a Schur multiplier with respect to the spectral measures $E_B$ and $E_A$ of the operators $B$ and $A$. Then $f(B)-f(A)$ is a bounded operator and
It follows that if the divided difference ${\mathfrak D} f$ is a Schur multiplier with respect to all pairs of Borel spectral measures on $\mathbb{R}$, then $f$ is an operator Lipschitz function. The converse is also true; see [10] and the references given there.
Theorem 7.4. Let $f$ a function in the Besov class $B_{\infty,1}^1(\mathbb{R})$. Then ${\mathcal D}f$ is a Schur multiplier with respect to arbitrary pairs of spectral Borel measures on $\mathbb{R}$, $f$ is an operator Lipschitz function, and for arbitrary self-adjoint operators $A$ and $B$ with bounded difference identity (7.4) is satisfied and the following inequality holds:
Note here that the condition $f\in B_{\infty,1}^1(\mathbb{R})$ is not necessary for operator Lipschitzness. We refer the reader to [10], where the reader can find a detailed discussion of conditions for operator Lipschitzness.
7.2. An operator Bernstein-type inequality
It is easy to deduce from Theorem 7.4 the following so-called operator Bernstein-type inequality: let $f$ be a function of class $L^\infty(\mathbb{R})$ whose Fourier transform has support in the interval $[-\sigma,\sigma]$. Then for arbitrary self-adjoint operators $A$ and $B$ with bounded difference the following inequality holds
In [6] (see also [10]) an alternative, more elementary approach to the operator Lipschitzness of functions of class $B_{\infty,1}^1(\mathbb{R})$ was proposed. The first step of this approach is an independent proof of the operator Bernstein-type inequality. Then the operator Lipschitzness of functions in $B_{\infty,1}^1(\mathbb{R})$ was deduced from it. Moreover, it was shown in [6] that inequality (7.6) actually holds with constant $1$.
In this subsection we give a proof of the operator Bernstein-type inequality with constant $1$ and deduce from it inequality (7.5). We also give here a stronger operator Bernstein-type inequality obtained in [6], which is an operator version of an inequality obtained by Bernstein in [22].
Let $\sigma>0$. We say that an entire function $f$ is a function of exponential type at most $\sigma$ if for each positive number $\varepsilon$ there exists $c>0$ such that $|f(z)|\leqslant c e^{(\sigma+\varepsilon)|z|}$ for all $z\in\mathbb{C}$.
Denote by ${\mathscr E}_\sigma$ the set of all entire functions of exponential type at most $\sigma$. Put ${\mathscr E}_\sigma^\infty\overset{\rm def}{=}{\mathscr E}_\sigma\cap L^\infty(\mathbb{R})$. It is well known that
for arbitrary (bounded) self-adjoint operators $A$ and $B$.
In particular, $\|f\|_{\operatorname{OL}(\mathbb{R})} \leqslant\sigma\|f\|_{L^\infty(\mathbb{R})}$.
Proof. First of all, let us observe that inequality (7.9) implies the following vector version of it. Let $X$ be a complex Banach space. We denote by ${\mathscr E}_\sigma(X)$ the space of entire $X$-valued functions $f$ of exponential type at most $\sigma$, that is, satisfying the following condition: for each positive $\varepsilon$ there exists $c>0$ such that $\|f(z)\|_X\leqslant c e^{(\sigma+\varepsilon)|z|}$ for all $z\in\mathbb{C}$. Then the following inequality holds
Put $F(z)=f(A+z(B-A))$. Clearly, $F$ is an entire function that takes values in the space $\mathcal{B}(\mathscr{H})$ of bounded linear operators on $\mathscr{H}$ and $\|F(t)\|\leqslant\|f\|_{L^\infty(\mathbb{R})}$ for $t\in\mathbb{R}$. It follows from von Neumann’s inequality (see [104], Chap. I, § 8) that $F\in{\mathscr E}_{\sigma\|B-A\|}(\mathcal{B}(\mathscr{H}))$. To complete the proof it remains to apply the vector version of Bernstein’s inequality (7.11) to the vector-valued function $F$ for $x=0$ and ${y=1}$. The theorem is proved.
Proof of inequality (7.5) (based on the operator Bernstein inequality). Let $f\in B_{\infty,1}^1(\mathbb{R})$. Consider the functions $f_n$ defined by (2.8). Clearly, $\operatorname{supp}\mathscr{F} f_n\subset[-2^{n+1},2^{n+1}]$. Then by (7.10) we have
Commentary. It can be shown that if $f$ is an operator Lipschitz function on $\mathbb{R}$, and $A$ and $B$ are self-adjoint operators such that $A-B\in\boldsymbol{S}_p$, $1\leqslant p<\infty$, then $f(A)-f(B)\in\boldsymbol{S}_p$. However, as shown in [93], for $1<p<\infty$ the conclusion $f(A)-f(B)\in\boldsymbol{S}_p$ holds under a weaker assumption on $f$; it suffices to assume that $f$ a Lipschitz condition. This solved a famous problem.
By analogy with operator Lipschitz functions, we could introduce the notion of operator Hölder functions. Let $0<\alpha<1$. We say that a function $f$ on the real line $\mathbb{R}$ is operator Hölder of order $\alpha$ if the following inequality holds
for arbitrary self-adjoint (no matter whether bounded or unbounded) operators $A$ and $B$. However, it turns out that, in contrast to the case of operator Lipschitz functions, a function $f$ is operator Hölder of order $\alpha$ if and only if it is a Hölder function of order $\alpha$, that is, belongs to $\Lambda_\alpha(\mathbb{R})$. This was established in [4]. Note that in the same paper [4] other estimates for function of operators under perturbation were found. Another approach to the proof of inequality (7.12) for functions $f$ in $\Lambda_\alpha(\mathbb{R})$ was found in [64].
Note also that in [5] the authors obtained estimates of operator differences $f(A)- f(B)$ in the case when $A$ and $B$ are self-adjoint operators with difference in $\boldsymbol{S}_p$ and $f$ is a function in the Hölder class $\Lambda_\alpha(\mathbb{R})$. In particular, it was shown in [5] that if $0<\alpha<1$, $p>1$, $f\in\Lambda_\alpha(\mathbb{R})$, and $A$ and $B$ are self-adjoint operators such that $A-B\in\boldsymbol{S}_p$, then
Let us also mention here the paper [61], in which the authors obtained estimates of the quasinorms $\|f(A)-f(B)\|_{\boldsymbol{S}_p}$ for self-adjoint operators $A$ and $B$ in the case $0<p<1$.
7.3. Functions of unitary operators under perturbation
The notion of operator Lipschitz functions can easily be generalized to functions on closed subsets of the complex plane $\mathbb{C}$. In particular, a continuous function $f$ on the unit circle $\mathbb{T}$ is called operator Lipschitz if
Theorem 7.6. Let $f$ be a function in the Besov class $B_{\infty,1}^1(\mathbb{T})$. Then $f$ is an operator Lipschitz function on $\mathbb{T}$ and the following inequality holds
for arbitrary unitary operators $U$ and $V$ on Hilbert space.
In [73] Theorem 7.6 was proved with the help of a representation of the difference of functions of the operators in terms of the double operator integral:
Here $E_U$ and $E_V$ are the spectral measures of $U$ and $V$. More precisely, it was proved in [73] that the divided difference in the integrand is a Schur multiplier, and its norm in the space of Schur multipliers can be estimated in terms of the norm of $f$ in the Besov class $B_{\infty,1}^1(\mathbb{T})$.
As in the case of self-adjoint operators, in [6] an alternative approach to obtain operator Lipschitz estimate (7.13) was given. That approach is also based on an operator Bernstein-type inequality for functions of unitary operators:
Commentary. Note briefly that the problem of obtaining Lipschitz-type estimates for functions of contractions was considered first in the author’s paper [74] (an operator is called a contraction if its norm is at most $1$). In that paper, with the help of double operator integrals with respect to semispectral measure it was shown that if $f$ is a function in the Besov class $(B_{\infty,1}^1)_+$ of functions analytic in the disc $\mathbb{D}$ and $T$ and $R$ are contractions on Hilbert space, then
We refer the reader to the paper [44], in which the authors consider various issues related to the behaviour of functions of contractions under perturbation.
Note also that an analogue of this result for functions of dissipative operators was obtained in [8].
7.4. Functions of normal operators under their perturbation. Functions of collections of commuting operators
The notion of operator Lipschitz functions can be generalized easily to functions defined on the complex plane $\mathbb{C}$. Let $f$ be a continuous complex-valued function on $\mathbb{C}$. We say that $f$ is an operator Lipschitz function if the inequality
holds for arbitrary normal operators $N_1$ and $N_2$ with bounded difference.
As in the case of self-adjoint operators, if inequality (7.14) holds for all bounded normal operators, it also holds for unbounded normal operators; see [10].
It was shown in [17] that the functions in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$ are operator Lipschitz functions on $\mathbb{C}$ (here we identify naturally $\mathbb{C}$ with $\mathbb{R}^2$).
Let us introduce the following notation. Put
$$
\begin{equation*}
\begin{gathered} \, A_j\overset{\rm def}=\operatorname{Re} N_j=\frac{1}2(A_j+A_j^*),\qquad B_j\overset{\rm def}=\operatorname{Im} N_j=\frac{1}{2\mathrm{i}}(A_j-A_j^*), \\ \quad E_j\text{ is the spectral measure of } N_j,\ j=1,2. \end{gathered}
\end{equation*}
\notag
$$
In other words, $N_j=A_j+{\rm i}B_j$, $j=1,2$, where $A_j$ and $B_j$ are commuting self-adjoint operators.
If $f$ is a function on $\mathbb{R}^2$ that has partial derivatives with respect to each variable, then consider the divided differences in each variable
Note that on the sets $\{(z_1,z_2)\colon x_1=x_2\}$ and $\{(z_1,z_2)\colon y_1=y_2\}$ the divided differences ${\mathfrak D}_xf$ and ${\mathfrak D}_yf$ are understood as the corresponding partial derivatives of $f$.
The proof of the operator Lipschitzness of functions in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$ is based on the following fact. To state it, we introduce the following notation:
Lemma 7.7. Let $f$ be a function of class ${\mathscr E}_\sigma^\infty(\mathbb{R}^2)$. Then ${\mathfrak D}_xf$ and ${\mathfrak D}_yf$ are Schur multipliers for all Borel spectral measures and their norms in the space of Schur multipliers are less than or equal to $\mathrm{const}\,\sigma\|f\|_{L^\infty}$.
Theorem 7.8. Let $f$ be a function in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$. Suppose that $N_1$ and $N_2$ are normal operators such that the operator $N_1-N_2$ is bounded. Then
that is, $f$ is an operator Lipschitz function on $\mathbb{C}$.
Note that the study of the behaviour of functions of normal operators under perturbation is equivalent to the problem of the behaviour of functions of pairs of commuting self-adjoint operators. Naturally, we arrive at the problem of the behaviour of functions of $d$ commuting self-adjoint operators. Such a problem was studied in the paper [62], in which the following result was obtained.
Theorem 7.9. Let $f$ be a function in the Besov class $B_{\infty,1}^1(\mathbb{R}^d)$. Then the following assertions hold:
for arbitrary sets $\{A_1,\dots,A_d\}$ and $\{B_1,\dots,B_d\}$ of commuting self-adjoint operators such that the operators $A_j-B_j$, $1\leqslant j\leqslant d$, are bounded;
(ii) if $\{A_1,\dots,A_d\}$ and $\{B_1,\dots,B_d\}$ are sets of commuting self-adjoint operators such that the operators $A_j-B_j$, $1\leqslant j\leqslant d$, belong to $\boldsymbol{S}_1$, then $f(A_1,\dots,A_d)-f(B_1,\dots,B_d)$ also belongs to $\boldsymbol{S}_1$.
Commentary. Let us mention here the papers [86] and [13], in which analogues of these results for functions of pairs of commuting contractions and functions of pairs of commuting dissipative operators were obtained.
7.5. Operator differentiability
We proceed to the question of the differentiability of the map
Here $f$ is a continuous function on $\mathbb{R}$, $A$ is a self-adjoint operator, and $K$ is a bounded self-adjoint operator. The function $f$ is called operator differentiable if this map, defined on the real Banach space of bounded self-adjoint operators, is differentiable for an arbitrary self-adjoint operator $A$. We refer the reader to [10] for a detailed discussion of operator differentiability and for an extensive bibliography; see also the papers [43] and [42].
In the definition of operator differentiability given above nothing is said whether we mean Gateaux or Fréchet differentiability. It turns out that in this case these notions are equivalent; see [10].
Let us give here a sufficient condition for operator differentiability.
Theorem 7.10. Let $f$ be a function in the Besov class $B_{\infty,1}^1(\mathbb{R})$. Then the map (7.15) is Gateaux differentiable for an arbitrary self-adjoint operator $A$. Moreover, its differential at $\boldsymbol{0}$ is the bounded linear transformer
We can also mention here the paper [82], in which the differentiability properties of functions of contractions are studied.
Let us proceed to operator differentiability of higher order. We start with the case when $A$ is a bounded self-adjoint operator. Then for a bounded self-adjoint operator $K$ and a continuous function $f$ on $\mathbb{R}$ we consider the problem of the existence of the $n$th-order derivative of the function
To obtain a formula for the $n$th-order derivative of this operator-valued function, we need the notions of higher-order divided differences and multiple operator integrals.
Definition 2. Let $f$ be a function on $\mathbb{R}$ that has $k$ derivatives. We define the divided difference ${\mathfrak D}^k f$ of order $k$ by induction as follows:
To write an expression for higher-order derivatives of operator functions, we need multiple operator integrals. There are several different approaches to the definition of multiple operator integrals. Here we are going to use an approach given in this author’s paper [80]. Note that for other problems it becomes useful to use other definitions of multiple operator integrals (see, in particular, the definitions given in § 7.8 of this survey).
For simplicity, we consider the case of triple operator integrals.
Let $({\mathscr X},E)$, $({\mathscr Y},F)$, and $({\mathscr Z},G)$ be spaces with spectral measures $E$, $F$, and $G$ on a Hilbert space $\mathscr{H}$. Suppose that a function $\psi$ on ${\mathscr X}\times{\mathscr Y}\times\mathscr{Z}$ belongs to the integral projective tensor product $L^\infty(E)\mathbin{\widehat\otimes}_{\rm i}L^\infty(F)\mathbin{\widehat\otimes}_{\rm i}L^\infty(G)$, that is, $\psi$ admits a representation
where $(Q,\sigma)$ is a space with a $\sigma$-finite measure, $f$ is a measurable function on ${\mathscr X}\times Q$, $g$ is a measurable function on ${\mathscr Y}\times Q$, and $h$ is a measurable function on ${\mathscr Z}\times Q$; moreover,
The norm $\|\psi\|_{L^\infty\mathbin{\widehat\otimes}_{\rm i}L^\infty\mathbin{\widehat\otimes}_{\rm i}L^\infty}$ of $\psi$ in $L^\infty(E)\mathbin{\widehat\otimes}_{\rm i}L^\infty(F)\mathbin{\widehat\otimes}_{\rm i}L^\infty(G)$ is defined as the infimum of the left-hand side of (7.18) over all representations of the form (7.17).
Suppose now that $T_1$ and $T_2$ are bounded linear operators on $\mathscr{H}$. For a function $\psi$ in $L^\infty(E)\mathbin{\widehat\otimes}_{\rm i}L^\infty(F)\mathbin{\widehat\otimes}_{\rm i}L^\infty(G)$ of the form (7.17), we put
It is well known (see, for example, [84] or [19]) that the right-hand side of (7.19) does not depend on the choice of representation (7.17); in other words, triple operator integrals are well defined.
The definition of multiple operator integrals in the general case can be given in the same way.
The following result was obtained in this author’s paper [80].
Theorem 7.11. Let $m$ be a natural number. Suppose that $A$ is a bounded self- adjoint operator and $f$ is a function in the Besov class $B_{\infty,1}^m(\mathbb{R})$. Then the function ${\mathfrak D}^m f$ belongs to the integral projective tensor product
In the case when $A$ is not bounded, a problem arises which is caused by the fact that the condition $f\in B_{\infty,1}^m(\mathbb{R})$ for $m>1$ does not imply that $f$ is Lipschitz on the whole line. Therefore, to obtain the conclusion of the theorem in the case of unbounded operators we have to add the condition $f\in B_{\infty,1}^1(\mathbb{R})$.
7.6. Trace class perturbations and the Lifshitz–Krein formula
In his paper [56] Lifshits, while considering problems of quantum statistics and crystal theory, arrived to the following trace formula. Let $A$ and $B$ be self-adjoint operators in Hilbert space with trace-class difference. Then there exists an integrable real-valued function $\xi=\xi_{\{A,B\}}$ on $\mathbb{R}$ for which the trace formula
holds for sufficiently nice functions $f$ on $\mathbb{R}$. Later, Krein [46] gave a rigorous justification of trace formula (7.20) and showed that it holds in the case when the derivative of $f$ is the Fourier transform of a complex Borel measure on $\mathbb{R}$. Krein also posed the problem of describing the maximal class of functions $f$ for which trace formula (7.20) holds for arbitrary self-adjoint operators $A$ and $B$ with trace class difference.
In the author’s paper [76] the following result was obtained.
Theorem 7.12. Let $A$ and $B$ be self-adjoint operators with trace difference and let $\xi$ be the spectral shift function for this pair. Then trace formula (7.20) holds for an arbitrary function $f$ in the Besov class $B_{\infty,1}^1(\mathbb{R})$.
However, the Besov class $B_{\infty,1}^1(\mathbb{R})$ is not the maximal class for which trace formula (7.20) is valid. The Krein problem was recently solved in this author’s paper [83]. The solution is given by the following theorem.
Theorem 7.13. Let $f$ be a continuous function on $\mathbb{R}$. The following are equivalent:
(i) trace formula (7.20) holds for an arbitrary pair of self-adjoint operators $A$ and $B$ with trace class difference and $\xi=\xi_{\{A,B\}}$;
(ii) $f$ is an operator Lipschitz function.
Commentary. Krein defined in [47] an integrable real-valued spectral shift function $\xi$ on the circle $\mathbb{T}$ for pairs of unitary operators $(U,V)$ with trace class difference and obtained the trace formula
for functions $f$ whose derivative has absolutely convergent Fourier series. In [73] this formula was extended to the case of functions $f$ in the Besov class $B_{\infty,1}^1(\mathbb{T})$. Later, in [9] the authors described the maximal class of functions $f$ for which the trace formula holds for arbitrary unitary operators with trace class difference: as in the case of self-adjoint operators, this class coincides with the class of operator Lipschitz functions (on the circle $\mathbb{T}$ in this case).
Let us briefly dwell on trace formulae for functions of contractions and functions of dissipative operators. The problem of finding an integrable spectral shift function for a pair of contractions with trace class difference remained open for a long time; see [59], where the history of this problem was discussed in detail. The problem was completely solved in [58] and [59] by different methods; see also an earlier paper [57], in which an additional restriction was imposed. Thus, in [58] and [59] it was proved that for an arbitrary pair of contractions $(T,R)$ on Hilbert space with trace class difference $T-R$ there exists an integrable function $\xi$ on the circle $\mathbb{T}$ such that
for an arbitrary operator Lipschitz function $f$ analytic in the unit disc. In the same papers [58] and [59] trace formulae were also obtained for functions of dissipative operators.
Note that earlier partial results in this direction were obtained by Langer [53], Adamjan–Neidhardt [2], Rybkin [98]–[101], and Krein [49]. A more detailed discussion of the history of this problem was presented in [59].
7.7. Trace formulae in the case of perturbations by operators of class $\boldsymbol{S}_m$, $m\geqslant2$
In Koplienko’s paper [45] the author introduced a generalized spectral shift function in the case of a perturbation of a self-adjoint operator by a self-adjoint operator of class $\boldsymbol{S}_2$ and obtained an appropriate trace formula.
Let $A$ and $B$ be self-adjoint operators such that $K\overset{\rm def}{=} B-A$ is an operator in the Hilbert–Schmidt class $\boldsymbol{S}_2$, and let $f$ be a sufficiently nice function on $\mathbb{R}$. Clearly, there is no hope to expect that the operator $f(B)-f(A)$ has to be of trace class. Koplienko’s idea was to consider the operator
which has to be in the trace class under suitable assumptions and to find a trace formula for such operators.
It was shown in [45] that there exists a unique function $\eta$ of class $L^1(\mathbb{R})$ such that
$$
\begin{equation}
\operatorname{trace}\biggl(f(B)-f(A)-\frac{\rm d}{{\rm d}s} f (A+sK)\Big|_{s=0}\biggr)=\int_\mathbb{R} f''(x)\eta(x)\,{\rm d} x
\end{equation}
\tag{7.21}
$$
for arbitrary rational functions $f$ with poles off $\mathbb{R}$. The function $\eta$ is called the generalized spectral shift function corresponding to the pair $(A,B)$.
In this author’s paper [78] it was shown that trace formula (7.21) holds under a considerably milder assumption on $f$.
Theorem 7.14. Let $A$ and $B$ be self-adjoint operators such that $K\overset{\rm def}{=} B-A\in\boldsymbol{S}_2$. Then trace formula (7.21) holds for an arbitrary function $f$ in the Besov class $B_{\infty,1}^2(\mathbb{R}^2)$.
Note here that the results of Koplienko were extended in [63] to the case of functions of unitary operators; in this author’s paper [78] these results were improved and an analogue of Koplienko’s trace formula for unitary operators was obtained in the case when the function on the unit circle belongs to the Besov class $B_{\infty,1}^2(\mathbb{T})$.
Note also that the results of [45] were generalized to the case of functions of contractions in [94].
In [90] Koplienko’s trace formula was extended to the case of perturbations by operators of class $\boldsymbol{S}_m$, where $m$ is an integer greater than $2$.
Let $A$ be a self-adjoint operator and let $K$ be a self-adjoint operator of class $\boldsymbol{S}_m$. To state the main result of [90] we define the Taylor operator polynomial ${\mathscr T}^{(m)}_{A,K}f$ for a sufficiently smooth function $f$ by
In [90] the authors established that for such operators $A$ and $K$ there exists an integrable function $\eta_m$ on $\mathbb{R}$ (a spectral shift function of order $m$ for the pair $A$ and $K$) such that for an arbitrary function $f$ on $\mathbb{R}$ satisfying the assumption
Next, it was shown in [7] that trace formula (7.23) also holds under a weaker condition than (7.22). Namely, the following result holds.
Theorem 7.15. Let $m\geqslant3$. Suppose that $A$ is a self-adjoint operator and $K$ is a self-adjoint operator of class $\boldsymbol{S}_m$. Then trace formula (7.23) holds for an arbitrary function $f$ in the Besov class $B_{\infty,1}^m(\mathbb{R})$.
In [7] more general trace formulae were given in the case of perturbations by operators of class $\boldsymbol{S}_m$. Among the results of [7], we mention the following one.
Theorem 7.16. Let $m$ be a natural number, and let $A$ and $K$ be self-adjoint operators such that $K\in\boldsymbol{S}_m$. Suppose that $\mu$ is a complex Borel measure on $\mathbb{R}$. Then there exists a complex Borel measure $\mu_{\{A,K\}}$ such that the equality
holds for an arbitrary function $f$ in the Besov class $B^m_{\infty1}(\mathbb{R})$. Moreover, if the measure $\mu$ is absolutely continuous (with respect to Lebesgue measure), then the measure $\mu_{\{A,K\}}$ is also absolutely continuous.
The following result obtained in [7] shows that Theorem 7.14 is a special case of Theorem 7.16.
Theorem 7.17. Let $m$ be a positive integer, and let $A$ and $K$ be self-adjoint operators such that $K\in\boldsymbol{S}_m$. Consider the absolutely continuous measure $\mu$ on $\mathbb{R}$ defined by
holds for an arbitrary function $f$ in the Besov class $B_{\infty1}^m(\mathbb{R})$.
Commentary. Note that the results of [90] were extended to the case of functions of contractions in [91] and to the case of functions of unitary operators in [92].
7.8. Functions of pairs of non-commuting operators
For not necessarily commuting self-adjoint operators $A$ and $B$ in Hilbert space and for a function $f$ on $\mathbb{R}^2$, we define the function $f(A,B)$ of the operators $A$ and $B$ as the double operator integral
in the case when the function $f$ is a Schur multiplier with respect to the spectral measures $E_A$ and $E_B$ of the operators $A$ and $B$.
In the case when the operators $A$ and $B$ are bounded, functions $f$ in the Besov class $B_{\infty,1}^1(\mathbb{R})$ are Schur multipliers with respect to the spectral measures $E_A$ and $E_B$ (see [3]), and so for such functions $f$ we can define the functions $f(A,B)$ of the operators $A$ and $B$.
We proceed now to the problem of the behaviour of functions of pairs of noncommuting self-adjoint operators under perturbation. In other words, we would like to estimate the norms of the difference $f(A_2,B_2)-f(A_1,B_1)$ in terms of the norms of $A_2-A_1$ and ${B_2-B_1}$. For this purpose we need triple operator integrals. Moreover, we need a definition of triple operator integrals, which differs from the one given in § 7.5.
Recall that triple operator integrals are expressions of the form
where $E_1$, $E_2$, and $E_3$ are spectral measures on Hilbert space, and $T$ and $R$ are bounded linear operators.
In [40] triple operator integrals were defined for functions $\Psi$ that belong to the Haagerup tensor product $L^\infty_{E_1}\mathbin{\otimes_{\rm h}}L^\infty_{E_2}\mathbin{\otimes_{\rm h}}L^\infty_{E_3}$, which, by definition, consists of the functions $\Psi$ that admit a representation
belongs to $L^\infty_{E_2}$. Here the symbol ${\mathcal B}$ denotes the class of infinite matrices that determine bounded linear operators on $\ell^2$. In addition, the norm of a matrix in ${\mathcal B}$ is defined as the norm of the corresponding operator from $\ell^2$ to $\ell^2$.
The norm of $\Psi$ in the Haagerup tensor product $L^\infty_{E_1}\mathbin{\otimes_{\rm h}}L^\infty_{E_2}\mathbin{\otimes_{\rm h}}L^\infty_{E_3}$ is defined as the infimum of the products
in the case when $2\leqslant p\leqslant\infty$ and $2\leqslant q\leqslant\infty$ (see [12]).
It turns out, however, that to obtain Lipschitz-type estimates for functions of two noncommuting self-adjoint operators under perturbation, the definition of triple operator integrals in the case when the integrand $\Psi$ belongs to the Haagerup tensor of $L^\infty$-spaces does not help.
In [3] the following Lipschitz-type estimate for functions of pairs of non- commuting self-adjoint operators was obtained.
Let $1\leqslant p\leqslant2$. Then there exists a positive number $C$ such that
for an arbitrary function $f$ in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$ and for arbitrary bounded (not necessarily commuting) self-adjoint operators $A_1$, $A_2$, $B_1$, and $B_2$ satisfying the assumptions $A_2-A_1\in\boldsymbol{S}_p$ and $B_2-B_1\in\boldsymbol{S}_p$.
It is easy to deduce from the definition of Besov classes given in § 2 that to prove inequality (7.27) it suffices to establish that if $f\in L^\infty(\mathbb{R}^2)$ and $\operatorname{supp}\mathscr{F}f\subset\{\xi\in \mathbb{R}^2\colon \|\xi\|\leqslant1\}$, then for $1\leqslant p\leqslant2$ the following inequality holds:
for arbitrary bounded self-adjoint operators $A_1$, $A_2$, $B_1$, and $B_2$ such that $A_2-A_1\in\boldsymbol{S}_p$ and $B_2-B_1\in\boldsymbol{S}_p$.
To establish inequality (7.28) the authors of [3] used the following representation of the operator difference $f(A_1,B_1)-f(A_2,B_2)$ in terms of triple operator integrals:
Of course, we have to clarify in which sense we understand triple operator integrals.
It turns out (see [3]) that under the condition $f\in{\mathscr E}_1^\infty(\mathbb{R}^2)$ the divided differences ${\mathfrak D}^{[1]}f$ and ${\mathfrak D}^{[2]}f$ admit the representations
Similar facts can easily be stated for functions of class ${\mathscr E}_\sigma^\infty(\mathbb{R}^2)$ for an arbitrary positive number $\sigma$.
It would seem, the representations of the divided differences ${\mathfrak D}^{[1]}$ and ${\mathfrak D}^{[2]}$ in the form (7.32) and (7.33) remind a representation of a function of three variables in the form of the Haagerup tensor product. However, upon closer examination, it turns out that this is not the case. The thing is that in the definition of the Haagerup tensor product of three $L^\infty$-spaces we see that in representation (7.25) the matrix-valued function $y\mapsto\{\beta_{jk}(y)\}_{j,k}$ is a function of the second variable while in representations (7.32) and (7.33) the matrix-valued functions are functions of the first and third variables. What is more, this distinction is very essential.
Therefore, the need to define triple operator integrals for the functions ${\mathfrak D}^{[1]}$ and ${\mathfrak D}^{[2]}$ led in [3] to notions of Haagerup-like tensor products (see also [12]).
Definition 3. We say that a bounded measurable function $\Psi$ on ${\mathscr X}\times{\mathscr Y}\times Z$ belongs to the Haagerup-like tensor product of the first kind $L^\infty(E_1)\mathbin{\otimes_{\rm h}}L^\infty(E_2)\mathbin{\otimes^{\rm h}}L^\infty(E_3)$ if $\Psi$ admits a representation of the form
where $\{\alpha_j\}_{j\geqslant0}$, $\{\beta_k\}_{k\geqslant0}\in L^\infty(\ell^2)$, and $\{\gamma_{jk}\}_{j,k\geqslant0}\in L^\infty(\mathcal{B})$. Put
where the infimum is taken over all representations of the form (7.34).
Now it is the turn to define triple operator integrals whose integrands belong to $L^\infty(E_1)\mathbin{\otimes_{\rm h}}L^\infty(E_2)\mathbin{\otimes^{\rm h}}L^\infty(E_3)$.
Definition 4. Let $1\leqslant p\leqslant2$. For functions $\Psi$ in $L^\infty(E_1)\mathbin{\otimes_{\rm h}}L^\infty(E_2)\mathbin{\otimes^{\rm h}}L^\infty(E_3)$, for a bounded linear operator $R$ and an operator $T$ of class $\boldsymbol{S}_p$, we define the triple operator integral
belongs to the Haagerup tensor product $L^\infty(E_2)\mathbin{\otimes_{\rm h}}L^\infty(E_3)\mathbin{\otimes_{\rm h}}L^\infty(E_1)$. It is easy to deduce from (7.26) that
Let us now define triple operator integrals in the case of integrands in a Haagerup- like tensor product of the second kind.
Definition 5. We say that a bounded measurable function $\Psi$ on ${\mathscr X}\times{\mathscr Y}\times Z$ belongs to the Haagerup-like tensor product of the second kind $L^\infty(E_1)\mathbin{\otimes^{\rm h}}L^\infty(E_2)\mathbin{\otimes_{\rm h}}L^\infty(E_3)$ if $\Psi$ admits a representation
where $\{\beta_j\}_{j\geqslant0},\{\gamma_k\}_{k\geqslant0}\in L^\infty(\ell^2)$ and $\{\alpha_{jk}\}_{j,k\geqslant0}\in L^\infty(\mathcal{B})$. By the norm of $\Psi$ in $L^\infty\mathbin{\otimes^{\rm h}}L^\infty\mathbin{\otimes_{\rm h}}L^\infty$ we understand
on the space $\boldsymbol{S}_{p'}$ (on the space of compact operators in the case $p=1$) determines an operator $W$ of class $\boldsymbol{S}_p$, and we call this operator the triple operator integral
These definitions of triple operator integrals were given in the paper [3]; we also refer the reader to [12], where triple operator integrals were defined in a more general situation.
Now we are ready to state the theorem on Lipschitz-type estimates for functions of non-commuting self-adjoint operators under perturbation.
Theorem 7.18. Let $f$ be a function in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$, and let $1\leqslant p\leqslant 2$. Suppose that $(A_1,B_1)$ and $(A_2,B_2)$ are pairs of bounded not necessarily commuting self-adjoint operators such that $A_2-A_1\in\boldsymbol{S}_p$ and $B_2-B_1\in\boldsymbol{S}_p$. Then the divided differences ${\mathfrak D}^{[1]}f$ and ${\mathfrak D}^{[2]}f$ defined by (7.32) belong to the Haagerup-like tensor products $L^\infty(E_1)\mathbin{\otimes_{\rm h}}L^\infty(E_2)\mathbin{\otimes^{\rm h}}L^\infty(E_3)$ and $L^\infty(E_1)\mathbin{\otimes^{\rm h}}L^\infty(E_2)\mathbin{\otimes_{\rm h}}L^\infty(E_3)$ for arbitrary Borel spectral measures $E_1$, $E_2$, and $E_3$; moreover, representation (7.29) holds, in which the first triple operator integral should be understood in the sense of Definition 4, while the second triple operator integral should be understood in the sense of Definition 6.
Moreover, the following Lipschitz-type estimate holds
Theorem 7.18 was established in [3]. In the same paper it was shown that for $p>2$, as well as in the operator norm, such a Lipschitz estimate does not hold.
Note also that it was shown in [85] that such Lipschitz-type estimates cannot be generalized to the case of functions of three non-commuting self-adjoint operators.
7.9. Functions of pairs of unbounded non-commuting operators
We proceed now to the case of pairs of unbounded not necessarily commuting self-adjoint operators.
Let $1\leqslant p\leqslant 2$, and let $f$ be a function in the Besov class $B_{\infty,1}^1(\mathbb{R})$. Suppose now that $(A_1,B_1)$ and $(A_2,B_2)$ are pairs of unbounded not necessarily commuting self-adjoint operators such that $A_2-A_1\in\boldsymbol{S}_p$ and $B_2-B_1\in\boldsymbol{S}_p$.
Note, first of all, that both triple operator integrals on the right-hand side of representation (7.29) are still well defined as in the case of pairs of bounded operators and determine operators of class $\boldsymbol{S}_p$, while their norms in $\boldsymbol{S}_p$ can still be estimated in terms of the right-hand side of (7.39).
The problem is how to define functions of operators $f(A_1,B_1)$ and $f(A_2,B_2)$ as unbounded densely defined operators. It is to this problem that the papers [15] and [16] are devoted.
In § 7.8 we defined the functions $f(A,B)$ of not necessarily commuting self- adjoint operators in the case when $f\in L^\infty_{E_A}\mathbin{\otimes_{\rm h}}L^\infty_{E_B}$. Now let $f$ be a function of two variables, and let $f_\sharp$ be the function defined by
Then $f(A,B)$ is a densely defined operator whose domain coincides with the domain ${\rm D}(B)$ of $B$. It is not necessarily bounded but the operator $f(A,B)(I-\mathrm{i} B)^{-1}$ is bounded.
It was established in [14] and [16] that if $f\in{\mathscr E}_\sigma^\infty(\mathbb{R}^2)$, $\sigma>0$, then $f_\sharp\in L^\infty_{E_1}\mathbin{\otimes_{\rm h}} L^\infty_{E_2}$ for arbitrary Borel spectral measures $E_1$ and $E_2$. Therefore, if $f\in{\mathscr E}_\sigma^\infty(\mathbb{R}^2)$, then the operator $f_\sharp(A,B)$ is bounded, while $f(A,B)$ is a not necessarily bounded densely defined operator with domain ${\rm D}(B)$. In addition, the following inequality holds
This easily implies that if $f$ is a function in the inhomogeneous Besov class $\textit{Б}_{\infty,1}^1(\mathbb{R}^2)$, then $f_\sharp\in L^\infty_{E_1}\mathbin{\otimes_{\rm h}} L^\infty_{E_2}$ and
for arbitrary spectral Borel measures $E_1$ and $E_2$ (see [15] and [16]).
Thus, for an arbitrary pair $(A,B)$ of not necessarily bounded self-adjoint operators and for a function $f$ in the inhomogeneous Besov class $\textit{Б}_{\infty,1}^1(\mathbb{R}^2)$, we can define the operator $f(A,B)$ as a densely defined operator. Moreover, the following result holds (see [15] and [16]).
Theorem 7.19. Let $f\in\textit{Б}_{\infty,1}^1(\mathbb{R}^2)$, and let $p\in[1,2]$. Suppose that $(A_1,B_1)$ and $(A_2,B_2)$ are pairs of not necessarily bounded and not necessarily commuting self-adjoint operators such that $A_2-A_1\in\boldsymbol{S}_p$ and $B_2-B_1\in\boldsymbol{S}_p$. Then
Note here that an analogue of this result for functions of pairs of non-commuting dissipative operators was obtained in [14].
7.10. Functions of pairs of almost commuting operators
Let $A$ and $B$ be bounded self-adjoint operators. They are said to be almost commuting if their commutator $[A,B]\overset{\rm def}{=} AB-BA$ is a trace-class operator.
Polynomial calculus for a pair $(A,B)$ of almost commuting self-adjoint operators is defined in the following way. If $\varphi$ is a polynomial of the form $\varphi(s,t)=\sum_{j,k}a_{jk}s^jt^k$, then the operator $\varphi(A,B)$ is defined by
It is easy to verify that if $\varphi$ are $\psi$ polynomials of two real variables, then $[\varphi(A,B), \psi(A,B)]\in\boldsymbol{S}_1$.
In [37] Helton and Howe obtained a trace formula for commutators of polynomials of almost commuting self-adjoint operators. Let $A$ and $B$ be almost commuting self-adjoint operators, and let $\varphi$ and $\psi$ be polynomials of two real variables. Then
where $P$ is the real-valued measure with compact support, which is determined by the pair $(A,B)$. It was shown in [89] that the measure $P$ is absolutely continuous with respect to planar Lebesgue measure and
where $g$ is the so-called Pincus principal function introduced in [88].
Polynomial calculus was extended in [29] to calculus on the class of functions $\varphi=\mathscr{F}\omega$ that are the Fourier transforms of complex Borel measures $\omega$ on $\mathbb{R}^2$ such that
moreover, the Helton–Howe trace formula (7.40) was extended to the case of such functions.
Next, in this author’s paper [77] such results were obtained for a yet wider class of functions. Moreover, in the same paper [77] it was shown that it is impossible to extend such functional calculus to the class of all continuously differentiable functions on $\mathbb{R}^2$ that satisfy certain natural requirements and $[\varphi(A,B),\psi(A,B)]\in\boldsymbol{S}_1$ for arbitrary continuously differentiable functions $\varphi$ and $\psi$.
Most advanced results in this direction were obtained in the paper [11], in which the desired functional calculus was constructed on the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$ and it was shown that this functional calculus is almost multiplicative.
Let us proceed now to the main results of [11]. Note that these results use triple operator integrals for Haagerup-like tensor products of the $L^\infty$-spaces that were introduced in [3] and the estimates of the trace norms of such operator integrals that were found in [3]; see § 7.8.
Theorem 7.20. Let $A$ and $B$ be self-adjoit operators, and let $Q$ be a bounded linear operator such $[A,Q]\in\boldsymbol{S}_1$ and $[B,Q]\in\boldsymbol{S}_1$. Suppose that $\varphi$ is a function in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$. Then $[\varphi(A,B),Q]\in\boldsymbol{S}_1$,
Theorem 7.21. Let $A$ and $B$ be almost commuting self-adjoint operators, and let $\varphi$ and $\psi$ be functions in the Besov $B_{\infty,1}^1(\mathbb{R}^2)$. Then
Now we can extend the Helton–Howe trace formula to the case of functions in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$.
Theorem 7.22. Let $A$ and $B$ be almost commuting self-adjoint operators and let $\varphi$ and $\psi$ be functions in the Besov class $B_{\infty,1}^1(\mathbb{R}^2)$. Then
where $g$ is the Pincus principal function for the pair $(A,B)$.
Bibliography
1.
V. M. Adamjan, D. Z. Arov, and M. G. Kreĭn, “Analytic properties of Schmidt pairs for a Hankel operator and the generalized Schur–Takagi problem”, Math. USSR-Sb., 15:1 (1971), 31–73
2.
V. M. Adamjan and H. Neidhardt, “On the summability of the spectral shift function for pair of contractions and dissipative operators”, J. Operator Theory, 24:1 (1990), 187–205
3.
A. B. Aleksandrov, F. L. Nazarov, and V. V. Peller, “Functions of noncommuting self-adjoint operators under perturbation and estimates of triple operator integrals”, Adv. Math., 295 (2016), 1–52
4.
A. B. Aleksandrov and V. V. Peller, “Operator Hölder–Zygmund functions”, Adv. Math., 224:3 (2010), 910–966
5.
A. B. Aleksandrov and V. V. Peller, “Functions of operators under perturbations of class $\mathbf{S}_p$”, J. Funct. Anal., 258:11 (2010), 3675–3724
6.
A. B. Aleksandrov and V. V. Peller, “Functions of perturbed unbounded self-adjoint operators. Operator Bernstein type inequalities”, Indiana Univ. Math. J., 59:4 (2010), 1451–1490
7.
A. B. Aleksandrov and V. V. Peller, “Trace formulae for perturbations of class $S_m$”, J. Spectr. Theory, 1:1 (2011), 1–26
8.
A. B. Aleksandrov and V. V. Peller, “Functions of perturbed dissipative operators”, St. Petersburg Math. J., 23:2 (2012), 209–238
9.
A. B. Aleksandrov and V. V. Peller, “Krein's trace formula for unitary operators and operator Lipschitz functions”, Funct. Anal. Appl., 50:3 (2016), 167–175
10.
A. B. Aleksandrov and V. V. Peller, “Operator Lipschitz functions”, Russian Math. Surveys, 71:4 (2016), 605–702
11.
A. B. Aleksandrov and V. V. Peller, “Functions of almost commuting operators and an extension of the Helton–Howe trace formula”, J. Funct. Anal., 271:11 (2016), 3300–3322
12.
A. B. Aleksandrov and V. V. Peller, “Multiple operator integrals, Haagerup and Haagerup-like tensor products, and operator ideals”, Bull. Lond. Math. Soc., 49:3 (2017), 463–479
13.
A. B. Aleksandrov and V. V. Peller, “Functions of perturbed commuting dissipative operators”, Math. Nachr., 295:6 (2022), 1042–1062
14.
A. B. Aleksandrov and V. V. Peller, “Functions of perturbed pairs of noncommutative dissipative operators”, St. Petersburg Math. J., 34:3 (2023), 379–392
15.
A. B. Aleksandrov and V. V. Peller, “Functions of pairs of unbounded noncommuting self-adjoint operators under perturbation”, Dokl. Math., 106:3 (2022), 407–411
16.
A. B. Aleksandrov and V. V. Peller, “Functions of perturbed noncommuting unbounded self-adjoint operators”, St. Petersburg Math. J., 34:6 (2023), 913–927
17.
A. B. Aleksandrov, V. V. Peller, D. S. Potapov, and F. A. Sukochev, “Functions of normal operators under perturbations”, Adv. Math., 226:6 (2011), 5216–5251
18.
J. M. Anderson, K. F. Barth, and D. A. Brannan, “Research problems in complex analysis”, Bull. Lond. Math. Soc., 9:2 (1977), 129–162
19.
N. A. Azamov, A. L. Carey, P. G. Dodds, and F. A. Sukochev, “Operator integrals, spectral shift and spectral flow”, Canad. J. Math., 61:2 (2009), 241–263
20.
Ch. Batty, A. Gomilko, and Yu. Tomilov, “The theory of Besov functional calculus: developments
and applications to semigroups”, J. Funct. Anal., 281:6 (2021), 109089, 60 pp.
21.
G. Bennett, “Schur multipliers”, Duke Math. J., 44:3 (1977), 603–639
22.
S. N. Bernstein, “A generalization of an inequality of S. B. Stečkin to entire functions of finite degree”, Dokl. Akad. Nauk SSSR, 60 (1948), 1487–1490 (Russian)
23.
O. V. Besov, “On some families of functional spaces. Imbedding and continuation theorems”, Dokl. Akad. Nauk SSSR, 126:6 (1959), 1163–1165 (Russian)
24.
O. V. Besov, V. P. Il'in, and S. M. Nikol'skii, Integral representations of functions and imbedding theorems, v. I, II, Scripta Series in Mathematics, V. H. Winston & Sons, Washington, DC; Halsted Press [John Wiley & Sons], New York–Toronto, ON–London, 1978, 1979, viii+345 pp., viii+311 pp.
25.
M. Sh. Birman and M. Z. Solomyak, “Double Stieltjes operator integrals”, Spectral Theory and Wave Processes, Probl. Mat. Fiz., 1, Izdat. Leningrad. Univ., Leningrad, 1966, 33–67 (Russian)
26.
M. Sh. Birman and M. Z. Solomyak, “Double Stieltjes operator integrals. II”, Spectral Theory and Diffraction Problems, Probl. Mat. Fiz., 2, Izdat. Leningrad. Univ., Leningrad, 1967, 26–60 (Russian)
27.
M. Sh. Birman and M. Z. Solomyak, “Double Stieltjes operator integrals. III: Limit under the integral sign”, Function Theory. Spectral Theory. Wave Propagation, Probl. Mat. Fiz., 6, Izdat. Leningrad. Univ., Leningrad, 1973, 27–53 (Russian)
28.
M. S. Birman and M. Z. Solomjak, Spectral theory of self-adjoint operators in Hilbert space, Math. Appl. (Soviet Ser.), 5, D. Reidel Publishing Co., Dordrecht, 1987, xv+301 pp.
29.
R. W. Carey and J. D. Pincus, “Mosaics, principal functions and mean motion in von Neumann algebras”, Acta Math., 138:3-4 (1977), 153–218
30.
Yu. L. Daleckii and S. G. Krein, “Integration and differentiation of functions of Hermitian operators and applications to the theory of perturbations”, Trudy Sem. Funkcional. Anal., 1, Voronezh. Gos. Univ., Voronezh, 1956, 81–105 (Russian)
31.
P. P. B. Eggermont and Y. J. Leung, “On a factorization problem for convergent sequences and on Hankel forms in bounded sequences”, Proc. Amer. Math. Soc., 96:2 (1986), 269–274
32.
Ju. B. Farforovskaja, “The connection of the Kantorovich-Rubinstein metric for spectral resolutions of selfadjoint operators with functions of operators”, Vestn. Leningr. Univ., Ser. Mat. Mekh. Astron., 23:19 (1968), 94–97 (Russian)
33.
J. B. Garnett, Bounded analytic functions, Pure Appl. Math., 96, Academic Press, Inc., New York–London, 1981, xvi+467 pp.
34.
I. C. Gohberg and M. G. Krein, Introduction to the theory of linear nonselfadjoint operators, Transl. Math. Monogr., 18, Amer. Math. Soc., Providence, RI, 1969, xv+378 pp.
35.
A. Grothendieck, “Résumé de la théorie métrique des produits tensoriels topologiques”, Bol. Soc. Mat. São Paulo, 8 (1953), 1–79
36.
M. Haase, “Transference principles for semigroups and a theorem of Peller”, J. Funct. Anal., 261:10 (2011), 2959–2998
37.
J. W. Helton and R. E. Howe, “Integral operators: commutators, traces, index, and homology”, Proceedings of a conference on operator theory (Dalhousie Univ., Halifax, NS 1973), Lecture Notes in Math., 345, Springer-Verlag, Berlin–New York, 1973, 141–209
38.
I. A. Ibragimov and V. N. Solev, “2.3. Some analytic problems arising in the theory of stochastic processes”, J. Soviet Math., 26:5 (1984), 2133–2134
39.
I. A. Ibragimov and V. N. Solev, “A condition for the regularity of a stationary Gaussian sequence”, Semin. Math., 12, V. A. Steklov Math. Inst., Leningrad, 1971, 54–60
40.
K. Juschenko, I. G. Todorov, and L. Turowska, “Multidimensional operator multipliers”, Trans. Amer. Math. Soc., 361:9 (2009), 4683–4720
41.
E. Kissin and V. S. Shulman, “On a problem of J. P. Williams”, Proc. Amer. Math. Soc., 130:12 (2002), 3605–3608
42.
E. Kissin and V. S. Shulman, “Classes of operator-smooth functions. II. Operator-differentiable functions”, Integral Equations Operator Theory, 49:2 (2004), 165–210
43.
E. Kissin and V. S. Shulman, “Classes of operator-smooth functions. I. Operator-Lipschitz functions”, Proc. Edinb. Math. Soc. (2), 48:1 (2005), 151–173
44.
E. Kissin and V. S. Shulman, “On fully operator Lipschitz functions”, J. Funct. Anal., 253:2 (2007), 711–728
45.
L. S. Koplienko, “Trace formula for nontrace-class perturbations”, Siberian Math. J., 25:5 (1984), 735–743
46.
M. G. Krein, “On the trace formula in perturbation theory”, Mat. Sb., 33(75):3 (1953), 597–626 (Russian)
47.
M. G. Krejn, “Perturbation determinants and a formula for the traces of unitary and selfadjoint operators”, Soviet Math. Dokl., 3 (1962), 707–710
48.
M. G. Krein, “Certain new Banach algebras and theorems of the type of the Wiener-Lévy theorems for series and Fourier integrals”, Mat. Issled., 1:1 (1966), 82–109 (Russian)
49.
M. G. Kreĭn, “Perturbation determinants and a trace formula for some classes of pairs of operators”, J. Operator Theory, 17:1 (1987), 129–187
50.
L. Kronecker, “Zur Theorie der Elimination einer Variabeln aus zwei algebraischen Gleichungen”, Monastber. Königl. Preuss. Akad. Wiss. Berlin, 1881, 535–600
51.
P. Koosis, Introduction to $H_p$ spaces, With an appendix on Wolff's proof of the corona theorem, London Math. Soc. Lecture Note Ser., 40, Cambridge Univ. Press, Cambridge–New York, 1980, xv+376 pp.
52.
S. Kwapień and A. Pełczyński, On two problems of S. Mazur from the Scottish book, Lecture at the colloquium dedicated to the memory of Stanisław Mazur (Warsaw Univ. 1985), unpublished
53.
H. Langer, “Eine Erweiterung der Spurformel der Störungstheorie”, Math. Nachr., 30:1-2 (1965), 123–135
54.
A. Lebow, “A power-bounded operator that is not polynomially bounded”, Michigan Math. J., 15:4 (1968), 397–399
55.
B. Ya. Levin, Lectures on entire functions, Transl. Math. Monogr., 150, Amer. Math. Soc., Providence, RI, 1996, xvi+248 pp.
56.
I. M. Lifshits, “On a problem of the theory of perturbations connected with quantum statistics”, Uspekhi Mat. Nauk, 7:1(47) (1952), 171–180 (Russian)
57.
M. Malamud and H. Neidhardt, “Trace formulas for additive and non-additive perturbations”, Adv. Math., 274 (2015), 736–832
58.
M. M. Malamud, H. Neidhardt, and V. V. Peller, “Analytic operator Lipschitz functions in the disk and a trace formula for functions of contractions”, Funct. Anal. Appl., 51:3 (2017), 185–203
59.
M. M. Malamud, H. Neidhardt, and V. V. Peller, “Absolute continuity of spectral shift”, J. Funct. Anal., 276:5 (2019), 1575–1621
60.
R. D. Mauldin, The Scottish Book. Mathematics from the Scottish Café with selected problems from the new Scottish Book, 2nd ed., Birkhäuser/Springer, Cham, 2015, xvii+322 pp.
61.
E. McDonald and F. Sukochev, “Lipschitz estimates in quasi-Banach Schatten ideals”, Math. Ann., 383:1-2 (2022), 571–619
62.
F. L. Nazarov and V. V. Peller, “Functions of perturbed $n$-tuples of commuting self-adjoint operators”, J. Funct. Anal., 266:8 (2014), 5398–5428
63.
H. Neidhardt, “Spectral shift function and Hilbert–Schmidt perturbation: extensions of some work of L. S. Koplienko”, Math. Nachr., 138 (1988), 7–25
64.
L. N. Nikol'skaya and Yu. B. Farforovskaya, “Hölder functions are operator-Hölder”, St. Petersburg Math. J., 22:4 (2011), 657–668
65.
N. K. Nikolski, Operators, functions, and systems: an easy reading, v. 1, Math. Surveys Monogr., 92, Hardy, Hankel, and Toeplitz, Amer. Math. Soc., Providence, RI, 2002, xiv+461 pp.
66.
S. M. Nikol'skiĭ, Approximation of functions of several variables and imbedding theorems, Grundlehren Math. Wiss., 205, Springer-Verlag, New York–Heidelberg, 1975, viii+418 pp.
67.
J. Peetre, New thoughts on Besov spaces, Duke Univ. Math. Ser., 1, Math. Department, Duke Univ., Durham, NC, 1976, vi+305 pp.
68.
A. A. Pekarskiĭ, “Classes of analytic functions determined by best rational approximations in $H_p$”, Math. USSR-Sb., 55:1 (1986), 1–18
69.
A. Pełczyński and F. Sukochev, “Some remarks on Toeplitz multipliers and Hankel matrices”, Studia Math., 175:2 (2006), 175–204
70.
V. V. Peller, “Hankel operators of class $\mathfrak S_p$ and their applications (rational approximation, Gaussian processes, the problem of majorizing operators)”, Math. USSR-Sb., 41:4 (1982), 443–479
71.
V. V. Peller, “Estimates of functions of power bounded operators on Hilbert spaces”, J. Operator Theory, 7:2 (1982), 341–372
72.
V. V. Peller, “A description of Hankel operators of class $\mathfrak S_p$ for $p>0$, an investigation of the rate of rational approximation, and other applications”, Math. USSR-Sb., 50:2 (1985), 465–494
73.
V. V. Peller, “Hankel operators in the perturbation theory of unitary and self-adjoint operators”, Funct. Anal. Appl., 19:2 (1985), 111–123
74.
V. V. Peller, “For which $f$ does $A-B\in \mathbf{S}_{p}$ imply that $f(A)-f(B)\in \mathbf{S}_{p}$?”, Operators in indefinite metric spaces, scattering theory and other topics (Bucharest 1985), Oper. Theory Adv. Appl., 24, Birkhäuser, Basel, 1987, 289–294
75.
V. V. Peller, “Wiener–Hopf operators on a finite interval and Schatten–von Neumann classes”, Proc. Amer. Math. Soc., 104:2 (1988), 479–486
76.
V. V. Peller, “Hankel operators in the perturbation theory of unbounded self-adjoint operators”, Analysis and partial differential equations, Lecture Notes in Pure and Appl. Math., 122, Marcel Dekker, Inc., New York, 1990, 529–544
77.
V. V. Peller, “Functional calculus for a pair of almost commuting selfadjoint operators”, J. Funct. Anal., 112:2 (1993), 325–345
78.
V. V. Peller, “An extension of the Koplienko–Neidhardt trace formulae”, J. Funct. Anal., 221:2 (2005), 456–481
79.
V. V. Peller, Hankel operators and their applications, Springer Monogr. Math., Springer-Verlag, New York, 2003, xvi+784 pp.
80.
V. V. Peller, “Multiple operator integrals and higher operator derivatives”, J. Funct. Anal., 233:2 (2006), 515–544
81.
V. V. Peller, “On S. Mazur's problems 8 and 88 from The Scottish Book”, Studia Math., 180:2 (2007), 191–198
82.
V. V. Peller, “Differentiability of functions of contractions”, Linear and complex analysis, Amer. Math. Soc. Transl. Ser. 2, 226, Adv. Math. Sci., 63, Amer. Math. Soc., Providence, RI, 2009, 109–131
83.
V. V. Peller, “The Lifshitz–Krein trace formula and operator Lipschitz functions”, Proc. Amer. Math. Soc., 144:12 (2016), 5207–5215
84.
V. V. Peller, “Multiple operator integrals in perturbation theory”, Bull. Math. Sci., 6:1 (2016), 15–88
85.
V. V. Peller, “Functions of triples of noncommuting self-adjoint operators under perturbations of class $\mathbf S_p$”, Proc. Amer. Math. Soc., 146:4 (2018), 1699–1711
86.
V. V. Peller, “Functions of commuting contractions under perturbation”, Math. Nachr., 292:5 (2019), 1151–1160
87.
V. V. Peller and S. V. Khrushchev, “Hankel operators, best approximations, and stationary Gaussian processes”, Russian Math. Surveys, 37:1 (1982), 61–144
88.
J. D. Pincus, “Commutators and systems of singular integral equations. I”, Acta Math., 121 (1968), 219–249
89.
J. D. Pincus, On the trace of commutators in the algebra of operators generated by an operator with trace class self-commutator, Stony Brook preprint, 1972
90.
D. Potapov, A. Skripka, and F. Sukochev, “Spectral shift function of higher order”, Invent. Math., 193:3 (2013), 501–538
91.
D. Potapov, A. Skripka, and F. Sukochev, “Higher-order spectral shift for contractions”, Proc. Lond. Math. Soc. (3), 108:2 (2014), 327–349
92.
D. Potapov, A. Skripka, and F. Sukochev, “Functions of unitary operators: derivatives and trace formulas”, J. Funct. Anal., 270:6 (2016), 2048–2072
93.
D. Potapov and F. Sukochev, “Operator-Lipschitz functions in Schatten–von Neumann classes”, Acta Math., 207:2 (2011), 375–389
94.
D. Potapov and F. Sukochev, “Koplienko spectral shift function on the unit circle”, Comm. Math. Phys., 309:3 (2012), 693–702
95.
F. Riesz and B. Sz.-Nagy, Leçons d'analyse fonctionnelle, 4ème éd., Gauthier-Villars, Paris; Akadémiai Kiadó, Budapest, 1965, viii+490 pp.
96.
R. Rochberg, “Toeplitz and Hankel operators on the Paley–Wiener space”, Integral Equations Operator Theory, 10:2 (1987), 187–235
97.
M. Rosenblum, “The absolute continuity of Toeplitz's matrices”, Pacific J. Math., 10:3 (1960), 987–996
98.
A. V. Rybkin, “The spectral shift function for a dissipative and a selfadjoint operator, and trace formulas for resonances”, Math. USSR-Sb., 53:2 (1986), 421–431
99.
A. V. Rybkin, “Trace for the pair of a contraction and a unitary operator”, Funct. Anal. Appl., 21:4 (1987), 334–336
100.
A. V. Rybkin, “The discrete and the singular spectrum in the trace formula for contracting and unitary operators”, Funct. Anal. Appl., 23:3 (1989), 244–246
101.
A. V. Rybkin, “The spectral shift function, the characteristic function of a contraction, and a generalized integral”, Russian Acad. Sci. Sb. Math., 83:1 (1995), 237–281
102.
L. Schwartz, Théorie des distributions, Publ. Inst. Math. Univ. Strasbourg, IX-X, Nouvelle ed., entierement corr., refondue et augmentée, Hermann, Paris, 1966, xiii+420 pp.
103.
S. Semmes, “Trace ideal criteria for Hankel operators, and applications to Besov spaces”, Integral Equations Operator Theory, 7:2 (1984), 241–281
104.
B. Sz.-Nagy and C. Foiaş, Analyse harmonique des opérateurs de l'espace de Hilbert, Akadémiaí Kiadó, Budapest; Masson et Cie, Paris, 1967, xi+373 pp.
105.
H. Triebel, Theory of function spaces, Monogr. Math., 78, Birkhäuser Verlag, Basel–Boston–Stuttgart, 1983, x+285 pp.
106.
P. Vitse, “A Besov class functional calculus for bounded holomorphic semigroups”, J. Funct. Anal., 228:2 (2005), 245–269
107.
J. P. Williams, “Derivation ranges: open problems”, Topics in modern operator theory (Timişoara/Herculane 1980), Oper. Theory Adv. Appl., 2, Birkhäuser Verlag, Basel–Boston, MA, 1981, 319–328
Citation:
V. V. Peller, “Besov spaces in operator theory”, Uspekhi Mat. Nauk, 79:1(475) (2024), 3–58; Russian Math. Surveys, 79:1 (2024), 1–52