arxiv: v2 [math.fa] 17 May 2016

Transcription

1 ESTIMATES ON SINGULAR VALUES OF FUNCTIONS OF PERTURBED OPERATORS arxiv: v2 [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, Corresponding Author: address: liuqinbo@msu.eduqinbo Liu. 1

2 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] Define a C function v on R by vx = 1 for x [ 1,1] and vx = w x if x 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

3 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

4 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 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

5 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

6 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 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

7 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 ω j 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

8 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 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 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 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

9 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 , A.B. Aleksandrov, V.V. Peller, Functions of operator under perturbation of class S p, J.Func.Anal , A.B. Aleksandrov, V.V. Peller, Functions of perturbed unbounded self-adjoint operators. Operator Bernstein type inequalities, Indiana Univ. Math. J. 59:4 2010, p

10 4. A.B. Aleksandrov, V.V. Peller, Functions of perturbed dissipative operators, Algebra i Analiz , 9 51; translation in St. Petersburg Math. J , A.B. Aleksandrov, V.V. Peller, D. Potapov and F. Sukochev, Functions of normal operators under perturbations, Adv. Math , A. Zygmund, Trigonometric series, 2nd ed. Vols. I, II. Cambridge University Press, New York, F.L. Nazarov, V.V. Peller, Functions of n-tuples of commuting self-adjoint operators, J. Funct.Anal , M.S. Birman, M.Z. Solomyak, Double Stieltjes operator integrals. III, Problems of Math. Phys., Leningrad. Univ , 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, V.V. Peller, Hankel operators of class S p and their applications rational approximation, Gaussian processes, the problem of majorizing operators, Mat. Sbornik, , Russian. English Transl. in Math. USSR Sbornik, , V.V. Peller, Hankel operators in theory of perturbations of unitary and self-adjoint operators, Funktsional. Anal.i Prilozhen. 19:2 1985, Russian. English Transl. in Funct. Anal. Appl , V.V. Peller, For which f does A B S p imply that fa fb S p?, Operator Theory, Birkhauser, , 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, Dekker, New York,