Research Article | Open Access

M. Haji Shaabani, B. Khani Robati, "On the Norm of Certain Weighted Composition Operators on the Hardy Space", *Abstract and Applied Analysis*, vol. 2009, Article ID 720217, 13 pages, 2009. https://doi.org/10.1155/2009/720217

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

**Academic Editor:**Stevo Stevic

#### 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 | Zentralblatt MATH | MathSciNet - E. A. Nordgren, āComposition operators,ā
*Canadian Journal of Mathematics*, vol. 20, pp. 442ā449, 1968. View at: Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 | 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 | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | 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 | Zentralblatt MATH | MathSciNet - F. Forelli, āThe isometries of ${H}^{p}$,ā
*Canadian Journal of Mathematics*, vol. 16, pp. 721ā728, 1964. View at: Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | 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 Site | Google Scholar | Zentralblatt MATH | 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet

#### Copyright

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.