ESTIMATES ON SINGULAR VALUES OF FUNCTIONS OF PERTURBED OPERATORS arxiv:1605.03931v2 [math.fa] 17 May 2016 QINBO LIU DEPARTMENT OF MATHEMATICS, MICHIGAN STATE UNIVERSITY EAST LANSING, MI 48824, USA Abstract. This is a conitunation of [1] and [2]. We prove that if function f belongs to the class Λ ω = {f : ω f δ const ωδ} for def an arbitrary modulus of continuity ω, then s jfa fb c ω 1+ j 1 p A B S l p f Λω for arbitrary self-adjoint operators A, B and all 1 j l, where ω x def = x ωt dt x > 0. The result is then generalized for contractions, maximal dissipative operators, normal operators x t 2 and n-tuples of commuting self-adjoint operators. Contents 1. Introduction 1 2. Space Λ ω 2 3. Estimates on singular values of functions of perturbed self-adjoint and unitary operators 3 4. Estimates for other types of operators 8 References 9 1. Introduction In this note we study the behavior of functions of operators under perturbations. We are going to find estimates for the singular values s n fa fb, where both A and B are arbitrary self-adjoint or unitary operators. These results are based on the methods developed in [1] and [3] for estimates of operator norms fa fb, in these papers the authors proved if f belongs to the Hölder class Λ α R with 0 < α < 1, then fa fb const f Λα A B α for all pairs of self-adjoint or unitary operators A and B. The authors also generalized their results to the class Λ ω, and obtained estimate fa fb const f Λω ω A B. In [2], it was shown that for functions f in the Hölder class Λ α R with 0 < α < 1 and if 1 < p <, the operator fa fb belongs to S p/α, whenever A and B are arbitrary self-adjoint operators such that A B S p. Date: April 25, 2016. Corresponding Author: Email address: liuqinbo@msu.eduqinbo Liu. 1
In particular, it was proved that if 0 < α < 1, then there exists a constant c > 0 such that for every l 0, p [1,, f Λ α R, and for arbitrary self-adjoint operators A and B on Hilbert space with bounded A B, the following inequality holds for every j l: s j fa fb c f ΛαR1+j α p A B α S see 3.1 for definition. p l In section 3, we generalize this estimate to the class Λ ω and also obtain some lower-bound estimates for rank one perturbations which also extend the results in [2]. In section 4, similar estimates are given without proofs in case of contractions, maximal dissipative operators, normal operators and n-tuples of commuting self-adjoint operators. Necessary information on Space Λ ω is given in section 2. We refer the reader to [1] for more detailed information. 2. Space Λ ω Let ω be a modulus of continuity, i.e., ω is a nondecreasing continuous function on [0, such that ω0 = 0, ωx > 0 for x > 0, and ωx+y ωx+ωy,x,y [0,. We denote by Λ ω R the space of functions on R such that f ΛωR def = sup x y fx fy. ω x y The space Λ ω T on the unit circle can be defined in a similar way. We continue with the class Λ ω of functions on T first. Let w be an infinitely differentiable function on R such that w 0,supp w [ 1 2,2], and wx = 1 wx for x [1,2]. 2.1 2 Define a C function v on R by vx = 1 for x [ 1,1] and vx = w x if x 1. 2.2 Define trigonometric polynomials W n, W n and V n by W n z = k Zw k 2 nzk,n 1, W 0 z = z+1+z, and W n z = W nz,n 0 and V n z = k Zw k 2 nzk,n 1. V n is called de la Vallée Poussin type kernel. If f is a distribution on T, we define f n, n 0 by f n = f W n +f W n, n 1, and f 0 = f W 0, Then f = n 0 f n and f f V n = k=n+1 f n. 2
Now we proceed to the real line case. We use the same functions w, v as in 2.1, 2.2, and define functions W n, W n and V n on R by and FW n x = w x 2 n, FW nx = FW n x, n Z FV n x = v x 2n, n Z, where F is the Fourier transform: Fft = fxe ixt dx, f L 1. V n is also called de la Vallée Poussin type kernel. If f is a tempered distribution on R, we define f n by R f n = f W n +f W n, n Z. We will use the same notation Λ ω, W n, W n and V n on R and on T in the following discussion. In [1], it is proved that there exists a constant c such that for an arbitrary modulus of continuity ω and for an arbitrary function f in Λ ω, the following inequalities hold for all n Z, in R case, or for all n 0, in T case: f f V n L c ω2 n f Λω 2.3 f W n L c ω2 n f Λω, f W n L c ω2 n f Λω 2.4 Let S R be the space of all tempered distributions on R. Denote by S +R the set of all f S R such that supp Ff [0,. Put Λω R def = Λ + ω R S + R and C + def = {z C : Im z > 0}. Then a function in Λ ω R belongs to the space Λ ω R if and only if it has a unique + continuous extension to the closed upperhalf-plance clos C + that is analytic in the open upper half-plane C + with at most a polynomial growth rate at infinity. 3. Estimates on singular values of functions of perturbed self-adjoint and unitary operators Recall that if T is a bounded linear operator on Hilbert space, then the singular values s j T, j 0, are defined by s j T = inf{ T R : rankr j}. For l 0 and p 1, we consider the norm S l p see [9] defined by T S l p def = l s j T p1 p. 3.1 j=0 3
It is shown in [13] and [2] that if f is an entire function of exponential type at most σ that is bounded on R, and A, B are self-adjoint operators with bounded A B, then fa fb const σ f L A B, 3.2 and fa fb S l p const σ f L A B S l p. 3.3 For the proof and more details, see [1], [2], [8], [10], [11] and [13]. Given a modulus of continuity ω, define functions ω and ω by ωt ω x = x x t 2 dt, x > 0 and ωt x ω x = x x t 2 dt + 0 ωt dt, x > 0. t In this paper, we assume that ω is finite valued whenever it is used. For example, if we define ω by ωx = x α, x > 0, 0 < α < 1, then ω x const ωx. It is well knownsee [6], Ch.3, Theorem 13.30 that if ω is a modulus of continuity, then the Hilbert transform maps Λ ω into itself if and only if ω x const ωx. Theorem 3.1. There exists a constant c > 0 such that for every modulus of continuity ω, every f in Λ ω R and for arbitrary self-adjoint operators A and B, the following inequality holds for all l and for all j, 1 j l : s j fa fb c ω 1+j 1 p A B S l p f Λω. 3.4 Proof. AandB canbetakenasboundedoperatorssee[3], Lemma4.4, then we may further assume f is bounded. Let R N = N n= f na f n B, Q N = f f V N A f f V N B. Here f n and the de la Vallée Poussín type kernel V N are defined as in 2. Then fa fb = R N +Q N, with convergence in the uniform operator topology as shown in [1]. Note that for any integer m Z, functions f m and f f V m are entire functions of exponential type at most 2 m+1. Thus it follows from 3.2, 3.3, 2.3, and 2.4 that Q N c ω2 N f Λω, 4
and R N S l p c n= n= f n A f n B S l p 2n f n L A B S l p c 2 N ω 2 N A B S l p f Λω see [1] Then s j fa fb s j R N + Q N 1+j 1/p R N S l p + Q N c [1+j 1 p 2 N ω 2 N A B S l p +ω2 N ] f Λω Take N such that 1 1+j 1 p 2 N A B S l p 2 and use the fact that ωt ω t for any t > 0, we get 3.4. Theorem 3.2. There exists a constant c > 0 such that for every modulus of continuity ω, every f in Λ ω T and for arbitrary unitary operators U and V, the following inequality holds for all l and for all j, 1 j l : s j fu fv c ω 1+j 1 p U V S l p f Λω. 3.5 Proof. If 1+j 1 p U V S l p 2, the proof is similar to Theorem 3.1 with R N = N n=0 f nu f n U; if 1+j 1 p U V S l p > 2, then s j fu fv fu fv c ω U V f Λω c ω 2 f Λω. Corollary 3.3. Let ω be a modulus of continuity such that ω x const ωx, x 0. Then for an arbitrary function f Λ ω R and for arbitrary self-adjoint operators A and B, the following inequality holds for all l and for all j, 1 j l : s j fa fb const ω 1+j 1 p A B S l p f Λω. Let H, H be the Hankel operators defined in [2]. Theorem 3.4. Let ω be a modulus of continuity on T. There exist unitary operators U, V and a real function h in Λ ω T such that ranku V = 1 and s m hu hv ω 1+m 1. 5
Proof. Consider the operators U and V on space L 2 T with respect to the normalized Lebesgue measure on T defined by see [2] Uf = zf and Vf = zf 2f, 1 z, f L 2. For f CT, we have ˆfj fu fvz j,z k k, if j 0,k < 0; = 2 ˆfj k, if j < 0,k 0; 0, otherwise. Define function g by Then we have gζ = ω4 n ζ 4n + ζ 4n, ζ T. n=1 g W n L const ω2 n, g W n L const ω2 n, n 0. Let ξ, η be two arbitrarily different fixed points on T, choose N 0 such that 1 2 2 N ξ η 1, then gξ gη g n ξ g n η + g g V N ξ g g V N η n=0 g n ξ g n η +2 n=0 const const n=n+1 2 n g n L ξ η +2 n=0 g n L n=n+1 2 n ω2 n ξ η +const n=0 const ω ξ η +const const ω ξ η. 2 N 0 g n L n=n+1 ωt dt t ω2 n Consider the matrix Γ g = {ĝ j k} j 1,k 0 = {ĝj +k} j 1,k 0. Let n 1. Define matrix T n = {ĝj +k +4 n 1 +1} 0 j,k 3 4 n 1, then ω4 n ω4 n T n =.... ω4 n If R is any matrix with the same size of T n such that rankr < 3 4 n 1, then T n R ω4 n. It follows that s j T n ω4 n for j < 3 4 n 1. 6
For each T n, there is some orthogonal projection P n such that T n = P n Γ g P n, hence s j Γ g s j T n ω4 n for all n and for all j, j < 3 4 n 1. Thus for all j 0, we have s j Γ g ω 3 16 j +1 1 3 32 ω j +1 1. To complete the proof, it suffices to take h = 32 3 g. Corollary 3.5. Let ω be a modulus of continuity such that ω x const ωx, 0 x 2. There exist unitary operators U, V and a real function h in Λ ω T such that ranku V = 1 and s m hu hv ω 1+m 1. Theorem 3.6. Let ω be a modulus of continuity on T and f be a continuous function on T. If for all unitary operators U and V, we have s n fu fv const ω 1+n 1 p U V Sp, for all n 0, then f Λ ω T. Proof. Let ζ,η T, we can select commuting unitary operators U and V such that s 0 U V = s 1 U V =... = s n U V = ζ η and s k U V = 0, k n+1. Thens n fu fv = fζ fη, U V Sp = 1+n 1 p ζ η. Theorem 3.7. Let ω be a modulus of continuity on R and f be a continuous function on R. If for all self-adjoint operators A and B, we have s n fa fb const ω 1+n 1 p A B Sp, for all n 0, then f Λ ω R. Proof. Similar to Theorem 3.6. Theorem 3.8. Let ω be a modulus of continuity over R. There exist selfadjoint operators A, B, and a real function f in Λ ω R such that ranka B = 1 and s m fa fb ω 1+m 1, for all m 0. Proof. WLOG, we assume ωt = ω2, for all t 2, that is, ω can be regarded as a modulus of continuity on T. We then choose a functionsee [2], Lemma 9.6 ρ C T such that ρζ+ ρiζ = 1, ρζ = ρ ζ for all ζ T, and ρ vanishes in a neighborhood of the set { 1,1}. Note that ρ Λ ω T, since ωst s 2ωt, for all t 0 and s, 0 < s < 1. Define function g 1 by g 1 ζ = ω4 n ζ 4n + ζ 4n, ζ T. n=1 7
def Then g 1 Λ ω T. If g 0 = Cρg 1 for a sufficient large number C, then g 0 Λ ω T, vanishes in a neighborhoodof the set { 1,1} and g 0 ζ = g 0 ζ for all ζ T, and s m H g0 ω 1+m 1 for all m 0. Define ϕx = x 2 +1 1 as in [2], Theorem 9.9, then there exists a compactly supported real bounded function f such that fϕx = g 0 x i x+i and a simple calculation shows that f belongs to Λ ω R. Denote L 2 er the subspace of even functions in L 2 R. Consider operators A and B on L 2 er defined by Ag = H 1 M ϕ Hg and Bg = ϕg, here H is the Hilbert transform defined on L 2 R see [2] and M ϕ is the multiplication by ϕ. Then ranka B = 1, and we have s m fb fa 2s m H f ϕ = 2s m H g0 2ω 1+m 1. 4. Estimates for other types of operators The following estimates are given without proofs in case of contractions, maximal dissipative operators, normal operators and n-tuples of commuting self-adjoint operators. Theorem 4.1. There exists a constant c > 0 such that for every modulus of continuity ω, every f in Λ ω R and for arbitrary contractions T and + R on Hilbert space, the following inequality holds for all l and for all j, 1 j l : s j ft fr c ω 1+j 1 p T R S l p f Λω. To prove this result, the following result is importantsee [1], [2] and [12]: There exists a constant c such that for arbitrary trigonometric polynomial f of degree n and for arbitrary contractions T and R on Hilbert space, ft fr Sp c n f L T R Sp. Denote F the Fourier transform on L 1 R n, n 1 by: Fft = fxe ix,t dx,where R x = x 1,...,x n, t = t 1,...,t n, x,t def = x 1 t 1 +...+x n t n. Theorem 4.2. There exists a constant c > 0 such that for every modulus of continuity ω, every f in Λ ω R and for arbitrary maximal dissipative + operators L and M with bounded difference, the following inequality holds for all l and for all j, 1 j l : s j fl fm c ω 1+j 1 p L M S l p f Λω. 8
To prove this result, the following result is importantsee [4]: There exists a constant c > 0 such that for every function f in H C + with supp Ff [0,σ], σ > 0, and for arbitrary maximal dissipative operators L and M with bounded difference, fl fm Sp cσ f L L M Sp. Theorem 4.3. There exists a constant c > 0 such that for every modulus of continuity ω, every f in Λ ω R 2 and for arbitrary normal operators N 1 and N 2, the following inequality holds for all l and for all j, 1 j l : s j fn 1 fn 2 c ω 1+j 1 p N 1 N 2 S l p f Λω. To prove this result, the following result is importantsee [5]: There exists a constant c > 0 such that for every bounded continuous function f on R 2 with supp Ff {ζ C : ζ σ}, σ > 0, and for arbitrary normal operators N 1 and N 2, fn 1 fn 2 Sp c σ f L N 1 N 2 Sp. Theorem 4.4. Let n be a positive integer and p 1. There exists a positive number c n such that for every modulus of continuity ω, every f in Λ ω R n and for arbitrary n-tuples of commuting self-adjoint operators A 1,...,A n and B 1,...,B n, the following inequality holds for all l and for all j, 1 j l : s j fa 1,...,A n fb 1,...,B n c n max 1 j n ω 1+j 1 p A j B j S l f Λω. To prove this result, the following result is importantsee [7]: There exists a constant c n > 0 such that for every bounded continuous function f on R n with supp Ff {ξ R n : ξ σ}, σ > 0, and for arbitrary n-tuples of commuting self-adjoint operators A 1,...,A n and B 1,...,B n, fa 1,...,A n fb 1,...,B n Sp c n σ f L max 1 j n A j B j Sp. References 1. A.B. Aleksandrov, V.V. Peller, Operator Hölder-Zygmund functions, Adv. Math. 224 2010, 910 966. 2. A.B. Aleksandrov, V.V. Peller, Functions of operator under perturbation of class S p, J.Func.Anal. 258 2010, 3675 3724. 3. A.B. Aleksandrov, V.V. Peller, Functions of perturbed unbounded self-adjoint operators. Operator Bernstein type inequalities, Indiana Univ. Math. J. 59:4 2010, 1451 1490. 9 p
4. A.B. Aleksandrov, V.V. Peller, Functions of perturbed dissipative operators, Algebra i Analiz 23 2011, 9 51; translation in St. Petersburg Math. J. 23 2012, 209 238. 5. A.B. Aleksandrov, V.V. Peller, D. Potapov and F. Sukochev, Functions of normal operators under perturbations, Adv. Math. 226 2011, 5216 5251. 6. A. Zygmund, Trigonometric series, 2nd ed. Vols. I, II. Cambridge University Press, New York, 1959. 7. F.L. Nazarov, V.V. Peller, Functions of n-tuples of commuting self-adjoint operators, J. Funct.Anal. 266 2014, 5398 5428. 8. M.S. Birman, M.Z. Solomyak, Double Stieltjes operator integrals. III, Problems of Math. Phys., Leningrad. Univ. 6 1973, 27 53 Russian. 9. M.S. Birman, M.Z. Solomyak, Spectral theory of selfadjoint operators in Hilbert spaces, Mathematics and its Applications Soviet Series, D. Reidel Publishing Co., Dordrecht, 1987. 10. V.V. Peller, Hankel operators of class S p and their applications rational approximation, Gaussian processes, the problem of majorizing operators, Mat. Sbornik, 113 1980, 538 581 Russian. English Transl. in Math. USSR Sbornik, 41 1982, 443-479. 11. V.V. Peller, Hankel operators in theory of perturbations of unitary and self-adjoint operators, Funktsional. Anal.i Prilozhen. 19:2 1985, 37 51 Russian. English Transl. in Funct. Anal. Appl. 19 1985, 111-123. 12. V.V. Peller, For which f does A B S p imply that fa fb S p?, Operator Theory, Birkhauser, 24 1987, 289 294. 13. V.V. Peller, Hankel operators in the perturbation theory of unbounded self-adjoint operators. Analysis and partial differential equations, 529-544, Lecture Notes in Pure and Appl. Math., 122, Dekker, New York, 1990. 10