Source author record

Vladimir Peller

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

23works
5topics
4close collaborators

Published work

23 publications

preprint2022arXiv

Functions of pairs of unbounded noncommuting self-adjoint operators under perturbation

For a pair (A,B)(A,B) of not necessarily bounded and not necessarily commuting self-adjoint operators and for a function ff on the Euclidean space R2{\Bbb R}^2 that belongs to the inhomogeneous Besov class B∞,11(R2)B_{\infty,1}^1({\Bbb R}^2), we define the function f(A,B)f(A,B) of these operators as a densely defined operator. We consider the problem of estimating the functions f(A,B)f(A,B) under perturbations of the pair (A,B)(A,B). It is established that if 1≤p≤21\le p\le2, and (A1,B1)(A_1,B_1) and (A2,B2)(A_2,B_2) are pairs of not necessarily bounded and not necessarily commuting self-adjoint operators such that the operators A1−A2A_1-A_2 and B1−B2B_1-B_2 belong to the Schatten--von Neumann class Sp\boldsymbol{S}_p with p∈[1,2]p\in[1,2] and f∈B∞,11(R2)f\in B_{\infty,1}^1({\Bbb R}^2), then the following Lipschitz type estimate holds: ∥f(A1,B1)−f(A2,B2)∥Sp≤const⁡∥f∥B∞,11max⁡{∥A1−A2∥Sp,∥B1−B2∥Sp}. \|f(A_1,B_1)-f(A_2,B_2)\|_{\boldsymbol{S}_p} \le\operatorname{const}\|f\|_{B_{\infty,1}^1}\max\big\{\|A_1-A_2\|_{\boldsymbol{S}_p},\|B_1-B_2\|_{\boldsymbol{S}_p}\big\}.

preprint2022arXiv

Functons of perturbed pairs of dissipative operators

Let ff be a function in the inhomogeneous analytic Besov space B∞,11B_{\infty,1}^1. For a pair (L,M)(L,M) of not necessarily commuting maximal dissipative operators, we define the function f(L,M)f(L,M) of LL and MM as a densely defined linear operator. We prove for p∈[1,2]p\in[1,2] that if (L1,M1)(L_1,M_1) and (L2,M2)(L_2,M_2) are pairs of not necessarily commuting maximal dissipative operators such that both differences L1−L2L_1-L_2 and M1−M2M_1-M_2 belong to the Schatten--von Neumann class Sp\boldsymbol{S}_p than for an arbitrary function ff in the inhomogeneous analytic Besov space B∞,11B_{\infty,1}^1, the operator difference f(L1,M1)−f(L2,M2)f(L_1,M_1)-f(L_2,M_2) belongs to Sp\boldsymbol{S}_p and the following Lipschitz type estimate holds: ∥f(L1,M1)−f(L2,M2)∥Sp≤const⁡∥f∥B∞,11max⁡{∥L1−L2∥Sp,∥M1−M2∥Sp}. \|f(L_1,M_1)-f(L_2,M_2)\|_{\boldsymbol{S}_p} \le\operatorname{const}\|f\|_{B_{\infty,1}^1}\max\big\{\|L_1-L_2\|_{\boldsymbol{S}_p},\|M_1-M_2\|_{\boldsymbol{S}_p}\big\}.

preprint2022arXiv

Triangular projection on Sp, 0<p<1,\boldsymbol{S}_p,~0<p<1, and related inequalities

In this paper we study properties of the triangular projection Pn{\mathcal P}_n on the space of n×nn\times n matrices. The projection Pn{\mathcal P}_n annihilates the entries of an n×nn\times n matrix below the main diagonal and leaves the remaining entries unchanged. We estimate the pp-norms of Pn{\mathcal P}_n as an operator on the Schatten--von Neumann class Sp\boldsymbol{S}_p for 0<p<10<p<1. The main result of the paper shows that for p∈(0,1)p\in(0,1), the pp-norms of Pn{\mathcal P}_n on Sp\boldsymbol{S}_p behave as n→∞n\to\infty as n1/p−1n^{1/p-1}. This solves a problem posed by B.S. Kashin. Among other results of this paper we mention the result that describes the behaviour of the Sp\boldsymbol{S}_p-quasinorms of the n×nn\times n matrices whose entries above the diagonal are equal to 1 while the entries below the diagonal are equal to 0.

preprint2016arXiv

Operator Lipschitz Functions

The purpose of this survey article is a comprehensive study of operator Lipschitz functions. A continuous function ff on the real line R{\Bbb R} is called operator Lipschitz if ∥f(A)−f(B)∥≤const∥A−B∥\|f(A)-f(B)\|\le{\rm const}\|A-B\| for arbitrary self-adjoint operators AA and BB. We give sufficient conditions and necessary conditions for operator Lipschitzness. We also study the class of operator differentiable functions on R{\Bbb R}. Then we consider operator Lipschitz functions on closed subsets of the plane as well as commutator Lipschitz functions on such subsets. Am important role is played by double operator integrals and Schur multipliers.

preprint2016arXiv

Operator Lipschitz functions (English translation)

The purpose of this survey is a comprehensive study of operator Lip\-schitz functions. A continuous function ff on the real line R{\Bbb R} os called operator Lipschitz if ∥f(A)−f(B)∥≤const⁡∥A−B∥\|f(A)-f(B)\|\le\operatorname{const}\|A-B\| for arbitrary self-adjoint operators AA and BB. We give sufficient conditions and necessary conditions for operator Lipschitzness. We also study the class of operator differentiable functions on R{\Bbb R} . Next, we consider operator Lipschitz functions on closed subsets of the plane and introduce the class of commutator Lipschitz functions on such subsets. An important role for the study of such classes of functions is played by double operator integrals and Schur multipliers.

preprint2015arXiv

Functions of almost commuting operators and an extension of the Helton-Howe trace formula

Let AA and BB be almost commuting (i.e., the commutator AB−BAAB-BA belongs to trace class) self-adjoint operators. We construct a functional calculus φ↦φ(A,B)φ\mapstoφ(A,B) for functions φφ in the Besov class B∞,11(R2)B_{\infty,1}^1({\Bbb R}^2). This functional calculus is linear, the operators φ(A,B)φ(A,B) and ψ(A,B)ψ(A,B) almost commute for φ, ψ∈B∞,11(R2)φ,\,ψ\in B_{\infty,1}^1({\Bbb R}^2), and φ(A,B)=u(A)v(B)φ(A,B)=u(A)v(B) whenever φ(s,t)=u(s)v(t)φ(s,t)=u(s)v(t). We extend the Helton--Howe trace formula for arbitrary functions in B∞,11(R2)B_{\infty,1}^1({\Bbb R}^2). The main tool is triple operator integrals with integrands in Haagerup-like tensor products of L∞L^\infty spaces.

preprint2015arXiv

Multiple operator integrals in perturbation theory

We start with the Birman--Solomyak approach to define double operator integrals and consider applications in estimating operator differences f(A)−f(B)f(A)-f(B) for self-adjoint operators AA and BB. We present the Birman--Solomyak approach to the Lifshits--Krein trace formula that is based on double operator integrals. We study the class of operator Lipschitz functions, operator differentiable functions, operator Hölder functions, obtain Schatten--von Neumann estimates for operator differences. Finally, we consider in Chapter 1 estimates of functions of normal operators and functions of dd-tuples of commuting self-adjoint operators. In Chapter 2 we define multiple operator integrals with integrands in the integral projective tensor product of L∞L^\infty spaces. We consider applications of such multiple operator integrals to the problem of the existence of higher operator derivatives and to the problem of estimating higher operator differences. We also consider connections with trace formulae for functions of operators under perturbations of class Sm\boldsymbol{S}_m, m≥2m\ge2. In the last chapter we define Haagerup-like tensor products of the first kind and of the second kind and we use them to study functions of noncommuting self-adjoint operators under perturbation. We show that for functions ff in the Besov class B∞,11(R2)B_{\infty,1}^1({\Bbb R}^2) and for p∈[1,2]p\in[1,2] we have a Lipschitz type estimate in the Schatten--von Neumann norm Sp\boldsymbol{S}_p for functions of pairs of noncommuting self-adjoint operators, but there is no such a Lipschitz type estimate in the norm of Sp\boldsymbol{S}_p with p>2p>2 as well as in the operator norm. We also use triple operator integrals to estimate the trace norms of commutators of functions of almost commuting self-adjoint operators and extend the Helton--Howe trace formula for arbitrary functions in the Besov space B∞,11(R2)B_{\infty,1}^1({\Bbb R}^2).

preprint2015arXiv

Triple operator integrals in Schatten--von Neumann norms and functions of perturbed noncommuting operators

We study perturbations of functions f(A,B)f(A,B) of noncommuting self-adjoint operators AA and BB that can be defined in terms of double operator integrals. We prove that if ff belongs to the Besov class $B_{\be,1}^1(\R^2)$, then we have the following Lipschitz type estimate in the Schatten--von Neumann norm $\bS_p$, 1≤p≤21\le p\le2 norm: $\|f(A_1,B_1)-f(A_2,B_2)\|_{\bS_p}\le\const(\|A_1-A_2\|_{\bS_p}+\|B_1-B_2\|_{\bS_p})$. However, the condition $f\in B_{\be,1}^1(\R^2)$ does not imply the Lipschitz type estimate in $\bS_p$ with p>2p>2. The main tool is Schatten--von Neumann norm estimates for triple operator integrals.

preprint2014arXiv

Almost commuting functions of almost commuting self-adjoint operators

Let AA and BB be almost commuting (i.e, $AB-BA\in\bS_1$) self-adjoint operators. We construct a functional calculus $\f\mapsto\f(A,B)$ for $\f$ in the Besov class $B_{\be,1}^1(\R^2)$. This functional calculus is linear, the operators $\f(A,B)$ and ψ(A,B)ψ(A,B) almost commute for $\f,\,ψ\in B_{\be,1}^1(\R^2)$, $\f(A,B)=u(A)v(B)$ whenever $\f(s,t)=u(s)v(t)$, and the Helton--Howe trace formula holds. The main tool is triple operator integrals.

preprint2014arXiv

Functions of perturbed noncommuting self-adjoint operators

We consider functions f(A,B)f(A,B) of noncommuting self-adjoint operators AA and BB that can be defined in terms of double operator integrals. We prove that if ff belongs to the Besov class $B_{\be,1}^1(\R^2)$, then we have the following Lipschitz type estimate in the trace norm: $\|f(A_1,B_1)-f(A_2,B_2)\|_{\bS_1}\le\const(\|A_1-A_2\|_{\bS_1}+\|B_1-B_2\|_{\bS_1})$. However, the condition $f\in B_{\be,1}^1(\R^2)$ does not imply the Lipschitz type estimate in the operator norm.

preprint2013arXiv

Functions of perturbed nn-tuples of commuting self-adjoint operators

Let (A1,⋯ ,An)(A_1,\cdots,A_n) and (B1,⋯ ,Bn)(B_1,\cdots,B_n) be nn-tuples of commuting self-adjoint operators on Hilbert space. For functions ff on Rn\R^n satisfying certain conditions, we obtain sharp estimates of the operator norms (or norms in operator ideals) of f(A1,⋯ ,An)−f(B1,⋯ ,Bn)f(A_1,\cdots,A_n)-f(B_1,\cdots,B_n) in terms of the corresponding norms of Aj−BjA_j-B_j, 1≤j≤n1\le j\le n. We obtain analogs of earlier results on estimates for functions of perturbed self-adjoint and normal operators. It turns out that for n≥3n\ge3, the methods that were used for self-adjoint and normal operators do not work. We propose a new method that works for arbitrary nn. We also get sharp estimates for quasicommutators f(A1,⋯ ,An)R−Rf(B1,⋯ ,Bn)f(A_1,\cdots,A_n)R-Rf(B_1,\cdots,B_n) in terms of norms of AjR−RBjA_jR-RB_j, 1≤j≤n1\le j\le n, for a bounded linear operator RR.

preprint2012arXiv

Functions of perturbed tuples of self-adjoint operators

We generalize earlier results of Peller, Aleksandrov - Peller, Aleksandrov - Peller - Potapov - Sukochev to the case of functions of nn-tuples of commuting self-adjoint operators. In particular, we prove that if a function ff belongs to the Besov space $B_{\be,1}^1(\R^n)$, then ff is operator Lipschitz and we show that if ff satisfies a Hölder condition of order $\a$, then $\|f(A_1...,A_n)-f(B_1,...,B_n)\|\le\const\max_{1\le j\le n}\|A_j-B_j\|^\a$ for all nn-tuples of commuting self-adjoint operators (A1,...,An)(A_1,...,A_n) and (B1,...,Bn)(B_1,...,B_n). We also consider the case of arbitrary moduli of continuity and the case when the operators Aj−BjA_j-B_j belong to the Schatten--von Neumann class $\bS_p$.

preprint2011arXiv

Estimates of operator moduli of continuity

In \cite{AP2} we obtained general estimates of the operator moduli of continuity of functions on the real line. In this paper we improve the estimates obtained in \cite{AP2} for certain special classes of functions. In particular, we improve estimates of Kato \cite{Ka} and show that ∥ ∣S∣−∣T∣ ∥≤C∥S−T∥log⁡(2+log⁡∥S∥+∥T∥∥S−T∥) \big\|\,|S|-|T|\,\big\|\le C\|S-T\|\log(2+\log\frac{\|S\|+\|T\|}{\|S-T\|}) for every bounded operators SS and TT on Hilbert space. Here $|S|\df(S^*S)^{1/2}$. Moreover, we show that this inequality is sharp. We prove in this paper that if ff is a nondecreasing continuous function on R\R that vanishes on $(-\be,0]$ and is concave on $[0,\be)$, then its operator modulus of continuity ØfØ_f admits the estimate $$ Ø_f(\d)\le\const\int_e^\be\frac{f(\d t)\,dt}{t^2\log t},\quad\d>0. $$ We also study the problem of sharpness of estimates obtained in \cite{AP2} and \cite{AP4}. We construct a $C^\be$ function ff on R\R such that $\|f\|_{L^\be}\le1$, $\|f\|_{\Li}\le1$, and $$ Ø_f(\d)\ge\const\,\d\sqrt{\log\frac2\d},\quad\d\in(0,1]. $$ In the last section of the paper we obtain sharp estimates of ∥f(A)−f(B)∥\|f(A)-f(B)\| in the case when the spectrum of AA has nn points. Moreover, we obtain a more general result in terms of the $\e$-entropy of the spectrum that also improves the estimate of the operator moduli of continuity of Lipschitz functions on finite intervals, which was obtained in \cite{AP2}.

preprint2011arXiv

Operator and commutator moduli of continuity for normal operators

We study in this paper properties of functions of perturbed normal operators and develop earlier results obtained in \cite{APPS2}. We study operator Lipschitz and commutator Lipschitz functions on closed subsets of the plane. For such functions we introduce the notions of the operator modulus of continuity and of various commutator moduli of continuity. Our estimates lead to estimates of the norms of quasicommutators f(N1)R−Rf(N2)f(N_1)R-Rf(N_2) in terms of ∥N1R−RN2∥\|N_1R- RN_2\|, where N1N_1 and N2N_2 are normal operator and RR is a bounded linear operator. In particular, we show that if $0<\a<1$ and ff is a Hölder function of order $\a$, then for normal operators N1N_1 and N2N_2, $$ \|f(N_1)R-Rf(N_2)\|\le\const(1-\a)^{-2}\|f\|_{Ł_\a}\|N_1R-RN_2\|^\a\|R\|^{1-\a}. $$ In the last section we obtain lower estimates for constants in operator Hölder estimates.

preprint2010arXiv

Functions of normal operators under perturbations

In \cite{Pe1}, \cite{Pe2}, \cite{AP1}, \cite{AP2}, and \cite{AP3} sharp estimates for f(A)−f(B)f(A)-f(B) were obtained for self-adjoint operators AA and BB and for various classes of functions ff on the real line R\R. In this paper we extend those results to the case of functions of normal operators. We show that if a function ff belongs to the Hölder class $Ł_\a(\R^2)$, $0<\a<1$, of functions of two variables, and N1N_1 and N2N_2 are normal operators, then $\|f(N_1)-f(N_2)\|\le\const\|f\|_{Ł_\a}\|N_1-N_2\|^\a$. We obtain a more general result for functions in the space $Ł_ø(\R^2)=\big\{f:~|f(\z_1)-f(\z_2)|\le\constø(|\z_1-\z_2|)\big\}$ for an arbitrary modulus of continuity øø. We prove that if ff belongs to the Besov class $B_{\be1}^1(\R^2)$, then it is operator Lipschitz, i.e., $\|f(N_1)-f(N_2)\|\le\const\|f\|_{B_{\be1}^1}\|N_1-N_2\|$. We also study properties of f(N1)−f(N2)f(N_1)-f(N_2) in the case when $f\inŁ_\a(\R^2)$ and N1−N2N_1-N_2 belongs to the Schatten-von Neuman class $\bS_p$.

preprint2010arXiv

Functions of perturbed dissipative operators

We generalize our results of \cite{AP2} and \cite{AP3} to the case of maximal dissipative operators. We obtain sharp conditions on a function analytic in the upper half-plane to be operator Lipschitz. We also show that a Hölder function of order $\a$, $0<\a<1$, that is analytic in the upper half-plane must be operator Hölder of order $\a$. Then we generalize these results to higher order operator differences. We obtain sharp conditions for the existence of operator derivatives and express operator derivatives in terms of multiple operator integrals with respect to semi-spectral measures. Finally, we obtain sharp estimates in the case of perturbations of Schatten-von Neumann class $\bS_p$ and obtain analogs of all the results for commutators and quasicommutators. Note that the proofs in the case of dissipative operators are considerably more complicated than the proofs of the corresponding results for self-adjoint operators, unitary operators, and contractions that were obtained earlier in \cite{AP2}, \cite{AP3}, and \cite{Pe6}.

preprint2010arXiv

Functions of perturbed normal operators

In \cite{Pe1}, \cite{Pe2}, \cite{AP1}, \cite{AP2}, and \cite{AP3} sharp estimates for f(A)−f(B)f(A)-f(B) were obtained for self-adjoint operators AA and BB and for various classes of functions ff on the real line R\R. In this note we extend those results to the case of functions of normal operators. We show that if ff belongs to the Hölder class $Ł_\a(\R^2)$, $0<\a<1$, of functions of two variables, and N1N_1 and N2N_2 are normal operators, then $\|f(N_1)-f(N_2)\|\le\const\|f\|_{Ł_\a}\|N_1-N_2\|^\a$. We obtain a more general result for functions in the space $Ł_ø(\R^2)=\big\{f: |f(\z_1)-f(\z_2)|\le\constø(|\z_1-\z_2|)\big\}$ for an arbitrary modulus of continuity øø. We prove that if ff belongs to the Besov class $B_{\be1}^1(\R^2)$, then it is operator Lipschitz, i.e., $\|f(N_1)-f(N_2)\|\le\const\|f\|_{B_{\be1}^1}\|N_1-N_2\|$. We also study properties of f(N1)−f(N2)f(N_1)-f(N_2) in the case when $f\inŁ_\a(\R^2)$ and N1−N2N_1-N_2 belongs to the Schatten-von Neuman class $\bS_p$.

preprint2010arXiv

Functions of perturbed unbounded self-adjoint operators. Operator Bernstein type inequalities

This is a continuation of our papers \cite{AP2} and \cite{AP3}. In those papers we obtained estimates for finite differences $(\D_Kf)(A)=f(A+K)-f(A)$ of the order 1 and $(\D_K^mf)(A)\df\sum\limits_{j=0}^m(-1)^{m-j}(m\j)f\big(A+jK\big)$ of the order mm for certain classes of functions ff, where AA and KK are bounded self-adjoint operator. In this paper we extend results of \cite{AP2} and \cite{AP3} to the case of unbounded self-adjoint operators AA. Moreover, we obtain operator Bernstein type inequalities for entire functions of exponential type. This allows us to obtain alternative proofs of the main results of \cite{AP2}. We also obtain operator Bernstein type inequalities for functions of unitary operators. Some results of this paper as well as of the papers \cite{AP2} and \cite{AP3} were announced in \cite{AP1}.

preprint2010arXiv

Trace formulae for perturbations of class $\bs{\bS_m}$

We obtain general trace formulae in the case of perturbation of self-adjoint operators by self-adjoint operators of class $\bS_m$, where mm is a positive integer. In \cite{PSS} a trace formula for operator Taylor polynomials was obtained. This formula includes the Livshits--Krein trace formula in the case m=1m=1 and the Koplienko trace formula in the case m=2m=2. We establish most general trace formulae in the case of perturbation of Schatten--von Neumann class $\bS_m$. We also improve the trace formula obtained in \cite{PSS} for operator Taylor polynomials and prove it for arbitrary functions in he Besov space $B_{\be1}^m(\R)$. We consider several other special cases of our general trace formulae. In particular, we establish a trace formula for mmth order operator differences.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.