arxiv: v1 [math.fa] 23 Jan 2019

Transcription

1 arxiv: v [math.fa] 23 Jan 209 Numerical range of weighted composition operators which contain zero Mahsa Fatehi and Asma Negahdari January 24, 209 Abstract In this paper, we study when zero belongs to the numerical range of weighted composition operators C ψ,ϕ on the Fock space F 2, where ϕ(z) = az+b, a,b C and a. In the case that a <, we obtain a set contained in the numerical range of C ψ,ϕ and find the conditions underwhichthenumericalrangeofc ψ,ϕ containzero. Thenfor a =, we precisely determine the numerical range of C ψ,ϕ and show that zero lies in its numerical range. Introduction The Fock space F 2 consists of all entire functions on the complex plane C which are square integrable with dµ(z) = π e z 2 da(z) that da is the Lebesgue measure on C. For f,g in F 2, the inner product on the Fock space is given by f,g = f(z)g(z)dµ(z). C The set {e m (z) = z m / m! : m 0} is an orthonormal basis for F 2. The reproducing kernel at w in C for F 2 is given by K w (z) = e wz. Let k w denote the normalized reproducing kernel given by k w = K w / K w, where K w = e w 2 /2. Fock space is a very important tool for quantum stochastic calculus in the quantum probability. Fore more information about the Fock space, see [8]. Through this paper, for a bounded operator T on F 2, the spectrum of T and the point spectrum of T are denoted by σ(t) and σ p (T); respectively. AMS Subject Classifications. Primary 47B33. Key words and phrases: Fock space, Weighted composition operator, Numerical range.

2 Foranentirefunctionϕ, thecompositionoperatorc ϕ onf 2 isdefinedbythe rule C ϕ (f) = f ϕ for each f F 2. For an entire function ψ, the weighted composition operator C ψ,ϕ : F 2 F 2 is given by C ψ,ϕ h = ψ (h ϕ). There is a vast literature on composition operators on the other spaces (see [5] and [3]). Moreover, recently many authors have worked on the weighted composition operators on the Fock spaces (see [3], [7], [], [5] [6] and [7]). Bounded and compact composition operators on the Fock space over C n were characterized in [3] by Carswell et al. They showed that C ϕ is bounded on the Fock space if and only if ϕ(z) = az + b, where a and if a =, then b = 0. In [4], Ueki found a necessary and sufficient condition for C ψ,ϕ to be bounded and compact. After that in [], Le gave the easier characterizations for the boundedness and compactness of C ψ,ϕ. Moreover, he found normal and isometric weighted composition operators on F 2. Unitary weighted composition operators and their spectrum on the Fock space of C n were characterized by Zhao in [5]. Note that there are some interesting papers [3], [5] and [7] which were written in another Fock space (see [8]), but their results hold for F 2 by the same idea. Then we use them frequently in this paper. For T a bounded linear operator on a Hilbert space H, the numerical range of T is denoted by W(T) and is given by W(T) = { Tf,f : f = }. Theset W(T)isconvex, itsclosurecontains σ(t)andσ p (T) W(T). There are some papers that the numerical range of composition operators and weighted composition operators on the Hardy space H 2 were investigated (see [], [2], [9] and [2]). In Section 2, we investigate W(C ψ,ϕ ), where ϕ(z) = az + b with 0 < a <. In Proposition 2., we find a subset contained in W(C ψ,ϕ ), where ψ( b a ) 0. In Theorem 2.2, we show that if C ψ,az+b is compact, where ψ( b a ) 0 and a is not a positive real number, then W(C ψ,ϕ) contains zero. Then in Theorem 2.3, for C ψ,ϕ with ψ( b a ) = 0, we show that W(C ψ,ϕ) contains a closed disk with center at 0. Moreover, in Remark 2.4, for a constant function ϕ, we show that W(C ψ,ϕ ) contains zero. In Section 3, for ϕ(z) = az+b, with a =, we find the numerical range of C ψ,ϕ and see that W(C ψ,ϕ ) contains zero. 2 ϕ(z) = az +b, whit a < Suppose that ψ is an entire function and ϕ(z) = az + b, where a <. If C ψ,ϕ is a bounded operator on F 2, then by [6, Theorem ], 0 σ(c ψ,ϕ ). 2

3 Hence, 0 W(C ψ,ϕ ). In this section, we study when 0 belongs to W(C ψ,ϕ ) and we work on the numerical range of bounded weighted composition operator C ψ,ϕ, where ϕ(z) = az +b with a <. In this section, we assume that q(z) = e p(a )z ψ(z +p), where p = b a is the fixed point of ϕ. In the proof of Proposition 2., we will see that q belongs to F 2 and we assume that j=0 q j zj j! is the representation series of q in F 2. Proposition 2.. Suppose that ψ is an entire function and ϕ(z) = az + b, where 0 < a <. Let C ψ,ϕ be bounded on F 2. Suppose that 0, where p = b a is the fixed point of ϕ. Let n be a non-negative integer and m be a positive integer. Then W(C ψ,ϕ ) contains the ellipse with foci at a n and a n+m and a major axis a n a n+m 2 + q ma n (m+n)! 2 and a minor axis q m a n (m+n)!. Proof. By [5, Corollary.2], C kp,z p is unitary and [, Proposition 3.] implies that C k p,z p = C k p,z+p. Sinceϕ(z+p) p = a(z+p)+b p = az and k p (z)k p (ϕ(z +p))ψ(z +p) = e p(a )z ψ(z +p), we obtain that C k p,z p C ψ,ϕc kp,z p = C k p,z+pc ψ,ϕ C kp,z p = C q,az, where q = e p(a )z ψ(z +p) (since C q,az is a bounded operator on F 2, q = C q,az () belongs to F 2 ). It shows that C ψ,ϕ is unitary equivalent to to C q,az. Thus, W(C ψ,ϕ ) = W(C q,az ) and so we investigate the numerical range of C q,az. Let M = span{e,e 2 }, when e (z) = zn and e n! 2 (z) = zn+m. We (n+m)! can see that C q,az (e )(z) = (+ q z + q 2 z 2 2! + ) an z n n! = ( an n! z n + q a nzn+ n! + q 2 a n zn+2 2!n! + + q m a n zn+m + ) 3

4 and C q,az (e 2 )(z) = (+ q z + q 2 z 2 2! + ) an+m z n+m (n+m)! n+m zn+m n+m zn+m+ = a + q a +. (n+m)! (n+m)! Let T be the compression of C q,az to M. Then the matrix representation of T is [ a n ] 0 q m a n (n+m)! a n+m. By [0, p.3-4], W(T) is an ellipse with foci at a n,a n+m and the minor axis a n q (n+m)! m and the major axis a n a n+m 2 + q m a n (n+m)! 2. Since W(T) W(C ψ,ϕ ), the result follows. Let ϕ(z) = az, where 0 < a <. Since C az is normal (see [, Theorem 3.3]), [3, Theorem 2], [7, Proposition 2.6] and [0, Theorem.4-4, p.6] state that W(C az ) = [0,]. By the Open Mapping Theorem, 0 is not an eigenvalue for C az. Invoking [0, Theorem.5-5, p.20], W(C az ) = (0,] and so 0 dose not belong to W(C az ). In the next theorem, we prove that 0 belongs to the numerical range of compact weighted composition operator C ψ,az+b, where a is not a positive real number. In the proof of Theorem 2.2, we use the notation D which is the open unit disk in the complex plane C. Moreover, some ideas of the proof of the next theorem is similar to [2, Proposition 2.]. Theorem 2.2. Suppose that ψ is an entire function and ϕ(z) = az+b, where 0 < a <. Let ψ( b a ) 0. Assume that C ψ,ϕ is compact on F 2. If a is not a positive real number, then W(C ψ,ϕ ) contains zero and it is closed. Proof. We know that W(C ψ,ϕ ) = W(C ψ b,ϕ), where p = a is the fixed point of ϕ. By [7, Proposition 2.6], σ(c ψ,ϕ) = {0,,a,a2,...} and by [4, Theorem 7., p. 24], σ p (C ψ,ϕ) = {,a,a2,...}. Since σ p (C ψ,ϕ) W(C ψ,ϕ), the convex hull of some arbitrary elements of σ p(c ψ subset of W(C ψ,ϕ) is a,ϕ). We claim that there is a set M that M W(C ψ,ϕ) and 0 M. We break the problem into three cases. (a) Assume a = a e iθ and e iθ is not a root of. Then {e inθ : n 0} is dense 4

5 in D. Wecanfindn,n 2,n 3,n 4 suchthat a n e in θ, a n 2 e in 2θ, a n 3 e in 3θ, a n 4 e in 4θ lie in the quadrants I, II, III, IV; respectively. It is not hard to see that 0 is contained in the interior of the polygonal region P whose vertices are a n e in θ, a n 2 e in 2θ, a n 3 e in 3θ, a n 4 e in 4θ. Let M be the union of P and its interior region. (b)assumethat a = a e iθ thate iθ isaprimitiverootofofordern>2. Let P bethepolygonalregionwhoseverticesare, a e iθ, a 2 e 2iθ,..., a n e (n )iθ (note that e iθ,e 2iθ,...,e (n )iθ are the nth root of ). Since n > 2, the argument of a is not 0 or π and so there are at least three vertices which are non-colinear points. It is not hard to see that none of sides of P contains zero and so 0 belongs to the interior of the polygonal region P. Again let M be the union of P and its interior region. (c) Assume that a = a. As we know, the convex hull of σ p (C ψ,ϕ) is a subset of W(C ψ,ϕ). Then [a,] W(C ψ,ϕ). Let M be the closed line segment with end points a and. Since in these three cases, M W(C ψ,ϕ) and 0 M, 0 W(C ψ,ϕ). Moreover, invoking [6, Theorem ], W(C ψ,ϕ ) is closed. Note that if ϕ and ψ satisfy the hypotheses of Theorem 2.2 and the argument of a is not 0 or π, then by the proof of Theorem 2.2, 0 lies in the interior of W(C ψ,ϕ ). In the next theorem, we show that 0 belongs to the interior of W(C ψ,az+b ), where 0 < a < and ψ( b a ) = 0. Theorem 2.3. Suppose that ψ is an entire function and ϕ(z) = az+b, where 0 < a <. Let n be a non-negative integer and m be a positive integer. Assume that C ψ,ϕ is bounded on F 2. Suppose that = 0, where p = b a is the fixed point of ϕ. Then W(C ψ,ϕ) contains a closed disk with center at 0 and radius q m a n (n+m)! /2. Proof. As we saw in the proof of Proposition 2., W(C ψ,ϕ ) = W(C q,az ), so we investigate the numerical range of C q,az. We assume that M = span{e,e 2 }, where e (z) = zn and e n! 2 (z) = zn+m. We have (n+m)! C q,az (e ) = ( q z + q 2 z 2 2! + )a n zn n! = q a n n! z n+ + q 2 a n zn+2 2!n! + + q m a n zn+m n!m! + 5

6 and z n+m z 2 C q,az (e 2 ) = ( q z + q 2 + )a n+m 2! (n+m)! n+m zn+m+ = q a +. (n+m)! Let T be the compression of C ψ,ϕ to M. Then the matrix representation of T is By [0, Example, p. ], W(T) = [ ] 0 0 q m a n (n+m)!. n!m! 0 { z : z q ma n (n+m)! 2 n!m! Since W(T) W(C ψ,ϕ ), W(C ψ,ϕ ) contains a closed disk with center at 0 and radius qman (n+m)!. 2 n!m! Remark 2.4. Suppose that for some complex number b, ϕ b and ψ is a non-zero entire function. Then C ψ,ϕ f = f(b)ψ = f, ψ K b ψ ψ. By [2, Proposition 2.5], we can find W(C ψ,ϕ ) as follows. (a) If K b = c ψ ψ for some non-zero complex number c, then W(C 2 ψ,ϕ ) is the closed line segment from 0 to c. (b) If K b ψ, then W(C ψ,ϕ ) is the closed disk centered at the origin with e b 2 2 radius ψ 2. (c) Otherwise W(C ψ,ϕ ) is a closed ellipse with foci at 0 and ψ(b). Then we can see that in the case that ϕ is constant, W(C ψ,ϕ ) contains zero. In the first part of the following example, we give a compact weighted composition operator C ψ,az+b, where a is a positive real number and 0 W(C ψ,az+b ) (see Theorem 2.2). Also in the second part, we give an example which satisfy the conditions of Theorem 2.3. Example 2.5. (a) Suppose that ϕ(z) = 2 z 2 and ψ(z) = ez. By [7, Corollary 2.4], C ψ,ϕ is compact. It is easy to see that is the fixed point of }. 6

7 ϕ and q(z) = ek /2 (z). The representation series of q in F 2 is e z j 2 j. j! j! j=0 Let n = m =. By Proposition 2., W(C ψ,ϕ ) contains the ellipse with foci at /2 and /4 and the major axis 6 + e2 8. It states that 0 belongs to W(C ψ,ϕ ). (b) Let ϕ(z) = 2 z + 2 and ψ(z) = K (z) e. Note that C ψ,ϕ = C K,ϕ e C ϕ and so by [3, Theorem 2] and [7, Proposition 2.2], C ψ,ϕ is bounded. We have ψ( ) = 0 and q(z) = e z/2 (e z e ) = e (e 3 2z e 2 z ). It is not hard to see that the representation series of q in F 2 is 3 j z j e2 j. j! j! j=0 Let n = 0 and m =. By Theorem 2.3, W(C ψ,ϕ ) contains the closed disk with center at 0 and radius 2e. 3 ϕ(z) = az +b, whit a = In this section, we completely find the numerical range of C ψ,az+b, where a =. Let S be a subset of complex plane C. For a C, we define as = {as : s S}; we use this definition in the next theorem. Theorem 3.. Suppose that ϕ(z) = az +b, where a =. Let C ψ,ϕ be a bounded weighted composition operator on F 2. Then (a) If a and a is a primitive root of of order n, then W(C ψ,ϕ ) = ψ(0)e a b 2 a P, where P is the union of the polygon with n sides and vertices at,a,...,a n and its interior region. (b) If a is not a root of, then W(C ψ,ϕ ) = ψ(0)e a b 2 a b 2 a D {ψ(0)e a a m : m 0}. (c) If a =, then W(C ψ,ϕ ) = ψ(0)e b 2 2 D. Proof. Supposethata. By[,Proposition2.], ψ(z) = ψ(0)e abz = ψ(0)k ab (z). Let u = ab a. We have 7

8 C ku,z uc ψ,ϕ C k u,z+u = K u 2C e uz,z uc ψ,ϕ C e uz,z+u = K u 2euz ψ(z u) e ( u(az+b)) (z u) C (z+u) (az+b) (z u) = K u 2euz ψ(z u) e u(az au+b) C az+u( a)+b =, () C ψ, ϕ where and ϕ(z) = az + ab ( a)+b = az a ψ(z) = e u 2 e uz ψ(z u) e u(az au+b) = ψ(0)e a b 2 a. Then C ψ,ϕ is unitary equivalent to ψ(0)e a b 2 a Caz (see [5, Corollary.2]). We try to find W(C az ). We prove that σ p (C az ) = {,a,a 2,...}. It is easy to see that C az (z j ) = a j z j for each non-negative integer j. Then {,a,...} σ p (C az ). Since by [3, Lemma 2], C az = C az, C az is an isometry. We infer from [4, Exercise 7, p.23] that σ p (C az ) D (note that C az is invertible). Assume that there is λ σ p (C az ) such that λ = and λ does not belong to {a m : m 0}. Thus, there exists a non-zero function f F 2 that C az (f) = λf. (2) It shows that f(0) = λf(0). Hence f(0) = 0. Assume that for each j < k, f (j) (0) = 0. We prove that f (k) (0) = 0. Taking kth derivatives on the both sides of Equation (2) yields a k f (k) (0) = λf (k) (0). Then f (k) (0) = 0. Thus, f 0 which is a contradiction. It states that σ p (C az ) = {,a,a 2,...}. Moreover, by [5, Corollary.4], σ(c az ) = {a m } m=0. (a) Suppose that a and a is a primitive root of of order n. If n = 2, then σ(c az ) = {,}. Invoking [0, Theorem.4-4, p.6], W(C az ) is the convex hull of σ(c az ) which is equal to [,]. Since, σ p (C az ), we conclude that W(C az ) = [,]. Now assume that n > 2. Let P be the convex hull of {,a,...,a n } which is the union of polygon with n sides and vertices at,a,...,a n and its interior region. We can see that P is a subset of W(C az ) (note that σ p (C ψ,ϕ ) = {,a,...,a n } and σ p (C az ) W(C az )). We show that W(C az ) = P. By [0, Theorem.4-4, p.6], W(C az ) = P. Since all vertices of P belong to σ p (C az ), W(C az ) = P (see also [0, Corollary.5-7, p.20]). It shows that W(C ψ,ϕ ) = ψ(0)e a b 2 a P. 8

9 (b) Assume that a is not a root of. Since σ p (C az ) = {a m } m=0 and {a m : m 0} is a dense subset of the unit circle, we get {a m : m 0} D is a subset of W(C az ). Moreover, since C az is an isometry, C az = and so W(C az ) D. Now we show that for each λ D that λ / {a m : m 0}, λ / W(C az ). Suppose that there is λ D which does not belong to {a m : m 0} and λ W(C az ). By [0, Theorem.3-3, p.0], λ σ p (C az ) which is a contradiction. Then W(C az ) = {a m : m 0} D and so W(C ψ,ϕ ) = ψ(0)e a b 2 a b 2 a D {ψ(0)e a a m : m 0}. (c) Assume that a =. By [, Proposition 2.], ψ(z) = ψ(0)k b (z). We know that C K is unitary(see [5, Corollary.2]). ThenW(C b ψ,z+b) = K b,z+b ψ(0) K b W(C K b,z+b). WetrytofindW(C K b,z+b). Sinceσ(C K b,z+b) = K b K b K b D(see[5,Corollary.4]), [0,Theorem.4-4, p. 6]impliesthatW(C K b,z+b) = K b D. SinceW(C K b K b,z+b)isconvex, itisnothardtoseethatd W(C K b K b,z+b). Because C K is unitary, C b K b,z+b K b =. Hence by [0, Theorem K b,z+b.3-3, p.0], if λ D is an element of W(C K b then λ must be- K b,z+b), long to σ p (C K b,z+b). We claim that σ p(c K b =. Assume that K b K b,z+b) λ σ p (C K b Let µ be an arbitrary unimodular number. It is not K b,z+b). hard to see that there exists u C such that e 2Im(ub)i = µ. By Equation (), we get C ku,z uc K b K b,z+bc k u,z+u = C ψ,z+b, where ψ(z) = µψ(z). Then C K is unitary equivalent to µc b ψ,ϕ. It K b,z+b states that λµ is an eigenvalue of C ψ,ϕ. Thus, σ p (C ψ,ϕ ) = D. Since C ψ,ϕ is normal (see [, Theorem 3.3]) and the Fock space is sparable, by [4, Proposition 5.7, p.47], C ψ,ϕ cannot have an uncountable collection of eigenvalues which is a contradiction. Therefore, σ p (C K b = and it shows that,z+b) K b 2 W(C K b K b,z+b) = D. Thus, W(C ψ,ϕ) = ψ(0)e b 2 D. In Theorem 3., we saw that 0 lies in the interior of the numerical range of C ψ,az+b, where a =. In the next example, we compute the numerical range of some weighted composition operators using Theorem 3.. Example 3.2. (a) Let ϕ(z) = iz + 3 and ψ(z) = K 3i (z). By Theorem 9

10 3.(a), W(C ψ,ϕ ) = e 9i i P, where P is the union of the polygon with n sides and vertices at,i,, i and its interior region. (b) Let ϕ(z) = e 3i z + 2 and ψ(z) = K 2e 3i(z). Theorem 3.(b) implies that W(C ψ,ϕ ) = td {t(e 3i ) m : m 0}, where t = e 4e 3i e 3i. (c) Let ϕ(z) = z+2 and ψ(z) = K 2 (z). We infer from Theorem 3.(c) that W(C ψ,ϕ ) = e 2 D. References [] P. S. Bourdon and J. H. Shapiro, The numerical ranges of automorphic composition operators, J. Math. Anal. Appl. 25 (2000), [2] P. S.BourdonandJ. H.Shapiro, Whenis zerointhenumericalrange ofacomposition operator?, Integral Equations Operator Theory 44 (2002), [3] B. J. Carswell, B. D. MacCluer and A. Schuster, Composition operators on the Fock space, Acta Sci. Math. (Szeged) 69 (2003), [4] J. B. Conway, A Course in Functional Analysis, Second Edition, Springer-Verlag, New York, 990. [5] C. C. Cowen and B. D. MacCluer, Composition Operators on Spaces of Analytic Functions. Studies in Advanced Mathematics. CRC Press, Boca Raton, FL, 995. [6] G. De Barra, J. R. Giles and B. Sims, On the numerical range of compact operators on Hilbert spaces, Journal of the London Mathematical Society 5(2) (972), [7] M. Fatehi, Weighted composition operators on the Fock space, arxiv preprint. [8] M. Fatehi, Numerical ranges of weighted composition operators, to appear. [9] G. Gunatillake, M. Jovovic and W. Smith, Numerical ranges of weighted composition operators, J. Math. Anal. Appl. 43 (204), [0] K. E. Gustafon, and K. M. Rao, The Numerical Range, The field of Values of Linear Operators and Matrices, Springer, New York, 997. [] T. Le, Normal and isometric weighted composition operators on the Fock space, Bull. London Math. Soc. 46 (204), [2] V. Matache, Numerical ranges of composition operators, Linear Algebra Appl. 33 (200), [3] J. H. Shapiro, Composition Operators and Classical Function Theory, Springer- Verlag, New York, 993. [4] S. Ueki, Weighted composition operator on the Fock space, Proc. Amer. Math. Soc. 35 (2007), [5] L. Zhao, Unitary weighted composition operators on the Fock space of C n, Complex Anal. Oper. Theory 8 (204),

11 [6] L. Zhao, Invertible weighted composition operators on the Fock space of C n, J. Funct Spaces 205. Art. ID [7] L. Zhao and C. Pang, A class of weighted composition operators on the Fock space, Journal of Mathematical Research with Applications, 35 (3) (205), [8] K. Zhu, Analysis on Fock Spaces, Graduate Texts in Mathematics 263, Springer, New York, 202. M. Fatehi, Department of Mathematics, Shiraz Branch, Islamic Azad University, Shiraz, Iran. fatehimahsa@yahoo.com A. Negahdari, Department of Mathematics, Shiraz Branch, Islamic Azad University, Shiraz, Iran. asma.negahdari929@gmail.com