Abstract and Applied Analysis

Volume 2009, Article ID 720217, 13 pages

http://dx.doi.org/10.1155/2009/720217

## On the Norm of Certain Weighted Composition Operators on the Hardy Space

Department of Mathematics, College of Sciences, Shiraz University, Shiraz 71454, Iran

Received 22 January 2009; Revised 9 March 2009; Accepted 8 May 2009

Academic Editor: Stevo Stevic

Copyright © 2009 M. Haji Shaabani and B. Khani Robati. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We obtain a representation for the norm of certain compact weighted composition operator on the Hardy space , whenever and . We also estimate the norm and essential norm of a class of noncompact weighted composition operators under certain conditions on and . Moreover, we characterize the norm and essential norm of such operators in a special case.

#### 1. Introduction

Let denote the open unit disk in the complex plane. The Hardy space is the space of analytic functions on whose Taylor coefficients, in the expansion about the origin, are square summable. Also we recall that is the space of all bounded analytic function defined on . For , the reproducing kernel at for is defined by An easy computation shows that whenever . For any analytic self-map of , the composition operator on is defined by the rule . Every composition operator is bounded, with

(see [1]). We see from expression (1.1) that whenever . There are few other cases for which the exact value of the norm has been known for many years. For example, the norm of was obtained by Nordgren in [2], whenever is an inner function. In [3] this norm was determined, when , with and if and the norm was found in [4] for .

In 2003, Hammond [5] obtained exact values for the norms of composition operators for certain linear fractional maps . In [6], Bourdon et al. determined the norm of for a large class of linear-fractional maps, including those of the form , where The connection between the norm of certain composition operators with linear-fractional symbol acting on the Hardy space and the roots of associated hypergeometric functions was first made by Basor and Retsek [7]. It was later refined by Hammond [8]. In [9] Effinger-Dean et al. computed the norms of composition operators with rational symbols that satisfy certain properties. Their work is based on the initial work of Hammond [5]. Some other recent results regarding the calculation of the operator norm of some composition operators on the other spaces can be found in [10–14].

If is a bounded analytic function on and is an analytic map from into itself, the weighted composition operator is defined by . The map is called the composition map and is called the weight. If is a bounded analytic function on , then the operator can be rewritten as where is a multiplication operator and is a composition operator. Recall that if is an analytic self-map of , then the composition operator on is bounded, hence in this case is bounded, but in general every weighted composition operator on is not bounded. If is bounded, then belongs to . These operators come up naturally. In 1964, Forelli [15] showed that every isometry on for and is a weighted composition operator. Recently there has been a great interest in studying weighted composition operators in the unit disk, polydisk, or the unit ball; see [12, 16–27], and the references therein. In this paper we investigate the norm of certain bounded weighted composition operators on .

#### 2. Norm Calculation

In this section we obtain a representation for the norm of a class of compact weighted composition operators on the Hardy space , whenever , , and . Also we give the norm and essential norm inequality for a class of noncompact weighted composition operators on when , for some , and is a bounded analytic map on such that the radial limit of at one of the th roots of is the supremum of on . Also, when we obtain the norm and essential norm of such operators.

The following lemma was inspired by a similar result for unweighted composition operators [28, Theorem 1.4]. See [29] for a similar proof.

Lemma 2.1. *Let be the reproducing kernel at . Then
**
In the next proposition we generalize the lower bound in (1.1).*

Proposition 2.2. * Let be a nonconstant analytic self-map of , and let be a nonzero analytic map on . If is the smallest nonnegative integer such that , then
*

*Proof. *We note that if is in , then for every we have . Hence we have

Let be a bounded operator on a Hilbert space . We recall that , the essential norm of , is the norm of its equivalence class in the Calkin algebra. Since the spectral radius of the operator equals , we study the spectrum of when trying to determine . We say that the operator is norm-attaining if there is a nonzero such that We know that if and only if . Moreover, if , then the operator is norm-attaining and so the quantity equals the largest eigenvalue of ; see [5] for more details. If , , and , then the operator is compact (see the proof of Proposition 2.5). Hence and so is norm-attaining.

Now our goal is to find a functional equation that relates an eigenvalue of to the values of its eigenfunctions at particular points in the disk. In what follows we use the techniques used in [5, 6, 30] and present some results that help us to obtain the norm of .

Let be an analytic self-map of and let be a bounded analytic map on . Then

But if such that , then by [3] or [28]

where , and

From now on, unless otherwise stated, we assume that and . Since is the backward shift on , we see that for all in not equal to 0, where

In particular, if is an eigenfunction for corresponding to an eigenvalue , then Formula (2.8) is essentially identical to [5, Formula (3.3)]. Using (2.8) we can find a set of conditions under which we determine . In the trivial case we have Also if , then and if , then . Therefore we assume that are nonzero.

Throughout this paper, we write to denote the th iterate of that is, is the identity map on and

By a similar argument as in the proof of [5, Proposition 5.1], we have the following lemma.

Lemma 2.3. *Let be an eigenfunction for corresponding to an eigenvalue , and for each nonnegative integer , . Then one has
**
where one takes *

Lemma 2.4. *For each , , where is strictly increasing sequence such that for each . Also *

*Proof. *(By induction) Since and , the claim holds for . Assume the claim holds for . We will prove it for . We have
Now if we set , then . But by hypothesis , so
which implies that also Hence the proof is complete.

Proposition 2.5. *Let , and let . If and , then for each with the property that for every nonnegative integer , one has
*

*Proof. *Since , it is easy to see that if and only if and . By assumption , so . Therefore is compact and, since , the operator is compact. Now according to the paragraph after Proposition 2.2, there is function in such that . Let and for each integer , . By Lemma 2.3, we have
Hence
Now if is the Denjoy-Wolff point of it suffices to show that
Suppose the above inequality holds. Then we conclude that there is and such that for we have . Now we break the proof into two parts.

The Denjoy-Wolff point of lies inside , then converges to . Hence

The Denjoy-Wolff point of lies on , then by [31, Lemma 5.1] must be parabolic and by [6, Lemma 3.3] there is a constant such that

Thus it follows that
Hence
Now we show that . Since and , we see that
By [30], we have
Applying the assumptions and , an easy computation shows that
Also by using Proposition 2.2, and by Lemma 2.4, there is such that . Therefore

Proposition 2.6. *Let , , and . Then satisfies the equation
*

*Proof. *Since for every integer , , in Proposition 2.5 we set , then we have
Since , we see that
But , because otherwise Proposition 2.5 would dictate that the function is identically 0. Thus eigenfunction must have the property that . Hence we have

We define Now we characterize the properties of and by using these properties we obtain a formula for the norm of . The idea behind Proposition 2.7 is similar to the one found in [30].

Proposition 2.7. *Let , , and . Then has the following properties.*(a)*The power series that defines has radius of convergence larger than . *(b)* is non-negative real number for all in the interval . *(c)* for all in the interval .*

*Proof. * (a) By Lemma 2.4, for each positive integer there is such that , then . Also in the proof of Proposition 2.5 we have , hence there is and such that if , then
Now let and . Then if we have
Therefore there is a constant such that
By Lemma 2.4, there is strictly increasing sequence such that , and by hypothesis , hence . Also we have , so we conclude that . Therefore

Also it is obvious that
Hence the proof of part (b) is complete.

(c) Every coefficient of is positive and so for all in the interval .

Now we find an equation that involves the norm of .

Theorem 2.8. *Let , , and . Then is the unique positive real solution of the equation
*

*Proof. *By Propositions 2.6 and 2.7, there is exactly one positive real number which satisfies equation (2.34), and this number must be equal to .

Corollary 2.9. *In Theorem 2.8 if one replaces with and with such that , and , then norm of does not change.*

*Proof. *We have . But by Lemma 2.4, . Hence if one replaces with and with such that and , then , and do not change. Hence by (2.34), the norm of does not change.

*Example 2.10. *Let and , where and . Then we have
For positive integer , let denote the positive solution of
Now by using numerical methods, we have
Hence we see that

The hypotheses of Theorem 2.8 restrict us to considering the norms of compact operators. In the remainder of this section we investigate the norm and essential norm of a class of noncompact weighted composition operators.

Theorem 2.11. *Let , for some , where , ,let be one of the th roots of such that has radial limit at and let attains its supremum on at . Then
*

*Proof. *Let . Taking , by a similar proof for unweighted composition operators [28, Proposition 3.13], we have
Therefore
On the other hand, by [3], we have
Therefore

Corollary 2.12. *In Theorem 2.11 if , then
*

*Example 2.13. *(1) If and , then

(2) If and , then

(3) If and , then

#### Acknowledgment

The authors would like to thank the referee for his valuable comments and suggestions.

#### References

- C. C. Cowen, “Composition operators on ${H}^{2}$,”
*Journal of Operator Theory*, vol. 9, no. 1, pp. 77–106, 1983. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. A. Nordgren, “Composition operators,”
*Canadian Journal of Mathematics*, vol. 20, pp. 442–449, 1968. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. C. Cowen, “Linear fractional composition operators on ${H}^{2}$,”
*Integral Equations and Operator Theory*, vol. 11, no. 2, pp. 151–160, 1988. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. C. Cowen and T. L. Kriete III, “Subnormality and composition operators on ${H}^{2}$,”
*Journal of Functional Analysis*, vol. 81, no. 2, pp. 298–319, 1988. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Hammond, “On the norm of a composition operator with linear fractional symbol,”
*Acta Universitatis Szegediensis*, vol. 69, no. 3-4, pp. 813–829, 2003. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. S. Bourdon, E. E. Fry, C. Hammond, and C. H. Spofford, “Norms of linear-fractional composition operators,”
*Transactions of the American Mathematical Society*, vol. 356, no. 6, pp. 2459–2480, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - E. L. Basor and D. Q. Retsek, “Extremal non-compactness of composition operators with linear fractional symbol,”
*Journal of Mathematical Analysis and Applications*, vol. 322, no. 2, pp. 749–763, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. Hammond, “Zeros of hypergeometric functions and the norm of a composition operator,”
*Computational Methods and Function Theory*, vol. 6, no. 1, pp. 37–50, 2006. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Effinger-Dean, A. Johnson, J. Reed, and J. Shapiro, “Norms of composition operators with rational symbol,”
*Journal of Mathematical Analysis and Applications*, vol. 324, no. 2, pp. 1062–1072, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Stević, “Norm of weighted composition operators from Bloch space to ${H}_{\mu}^{\infty}$ on the unit ball,”
*Ars Combinatoria*, vol. 88, pp. 125–127, 2008. View at Google Scholar · View at MathSciNet - S. Stević, “Norms of some operators from Bergman spaces to weighted and Bloch-type spaces,”
*Utilitas Mathematica*, vol. 76, pp. 59–64, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Stević, “Weighted composition operators from weighted Bergman spaces to weighted-type spaces on the unit ball,”
*Applied Mathematics and Computation*, vol. 212, no. 2, pp. 499–504, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Stević, “Norm and essential norm of composition followed by differentiation from $\alpha $-Bloch spaces to ${H}_{\mu}^{\infty}$,”
*Applied Mathematics and Computation*, vol. 207, no. 1, pp. 225–229, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - E. Wolf, “Weighted composition operators between weighted Bergman spaces and weighted Banach spaces of holomorphic functions,”
*Revista Matemática Complutense*, vol. 21, no. 2, pp. 475–480, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - F. Forelli, “The isometries of ${H}^{p}$,”
*Canadian Journal of Mathematics*, vol. 16, pp. 721–728, 1964. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. H. Clifford and M. G. Dabkowski, “Singular values and Schmidt pairs of composition operators on the Hardy space,”
*Journal of Mathematical Analysis and Applications*, vol. 305, no. 1, pp. 183–196, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - Z.-S. Fang and Z.-H. Zhou, “Differences of composition operators on the space of bounded analytic functions in the polydisc,”
*Abstract and Applied Analysis*, vol. 2008, Article ID 983132, 10 pages, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Fu and X. Zhu, “Weighted composition operators on some weighted spaces in the unit ball,”
*Abstract and Applied Analysis*, vol. 2008, Article ID 605807, 8 pages, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Li and S. Stević, “Weighted composition operators from ${H}^{\infty}$ to the Bloch space on the polydisc,”
*Abstract and Applied Analysis*, vol. 2007, Article ID 48478, 13 pages, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Li and S. Stević, “Weighted composition operators from Zygmund spaces into Bloch spaces,”
*Applied Mathematics and Computation*, vol. 206, no. 2, pp. 825–831, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - L. Luo and S. Ueki, “Weighted composition operators between weighted Bergman spaces and Hardy spaces on the unit ball of ${C}^{n}$,”
*Journal of Mathematical Analysis and Applications*, vol. 326, no. 1, pp. 88–100, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - B. D. MacCluer and R. Zhao, “Essential norms of weighted composition operators between Bloch-type spaces,”
*The Rocky Mountain Journal of Mathematics*, vol. 33, no. 4, pp. 1437–1458, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. H. Shapiro and W. Smith, “Hardy spaces that support no compact composition operators,”
*Journal of Functional Analysis*, vol. 205, no. 1, pp. 62–89, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Stević, “Weighted composition operators between mixed norm spaces and ${H}_{\alpha}^{\infty}$ spaces in the unit ball,”
*Journal of Inequalities and Applications*, vol. 2007, Article ID 28629, 9 pages, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Stević, “Essential norms of weighted composition operators from the $\alpha $-Bloch space to a weighted-type space on the unit ball,”
*Abstract and Applied Analysis*, vol. 2008, Article ID 279691, 11 pages, 2008. View at Publisher · View at Google Scholar · View at MathSciNet - S.-I. Ueki and L. Luo, “Compact weighted composition operators and multiplication operators between Hardy spaces,”
*Abstract and Applied Analysis*, vol. 2008, Article ID 196498, 12 pages, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - X. Zhu, “Weighted composition operators from $F(p,q,s)$spaces to ${H}_{\mu}^{\infty}$ spaces,”
*Abstract and Applied Analysis*, vol. 2009, Article ID 290978, 14 pages, 2009. View at Publisher · View at Google Scholar · View at MathSciNet - C. C. Cowen and B. D. MacCluer,
*Composition Operators on Spaces of Analytic Functions*, Studies in Advanced Mathematics, CRC Press, Boca Raton, Fla, USA, 1995. View at MathSciNet - G. Gunatillake,
*Weighted composition operators*, Ph.D. thesis, Purdue University, West Lafayette, Ind, USA, 2005. - C. Hammond, “The norm of a composition operator with linear symbol acting on the Dirichlet space,”
*Journal of Mathematical Analysis and Applications*, vol. 303, no. 2, pp. 499–508, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - P. S. Bourdon, D. Levi, S. K. Narayan, and J. H. Shapiro, “Which linear-fractional composition operators are essentially normal?”
*Journal of Mathematical Analysis and Applications*, vol. 280, no. 1, pp. 30–53, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet