Table of Contents Author Guidelines Submit a Manuscript
Abstract and Applied Analysis
VolumeΒ 2009Β (2009), Article IDΒ 161528, 8 pages
http://dx.doi.org/10.1155/2009/161528
Research Article

Composition Operators from the Hardy Space to the Zygmund-Type Space on the Upper Half-Plane

Mathematical Institute of the Serbian Academy of Sciences, Knez Mihailova 36/III, 11001 Beograd, Serbia

Received 14 December 2008; Accepted 23 February 2009

Academic Editor: SimeonΒ Reich

Copyright Β© 2009 Stevo Stević. 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

Here we introduce the 𝑛 th weighted space on the upper half-plane Ξ  + = { 𝑧 ∈ β„‚ ∢ I m 𝑧 > 0 } in the complex plane β„‚ . For the case 𝑛 = 2 , we call it the Zygmund-type space, and denote it by 𝒡 ( Ξ  + ) . The main result of the paper gives some necessary and sufficient conditions for the boundedness of the composition operator 𝐢 πœ‘ 𝑓 ( 𝑧 ) = 𝑓 ( πœ‘ ( 𝑧 ) ) from the Hardy space 𝐻 𝑝 ( Ξ  + ) on the upper half-plane, to the Zygmund-type space, where πœ‘ is an analytic self-map of the upper half-plane.

1. Introduction

Let Ξ  + be the upper half-plane, that is, the set { 𝑧 ∈ β„‚ ∢ I m 𝑧 > 0 } and 𝐻 ( Ξ  + ) the space of all analytic functions on Ξ  + . The Hardy space 𝐻 𝑝 ( Ξ  + ) = 𝐻 𝑝 , 𝑝 > 0 , consists of all 𝑓 ∈ 𝐻 ( Ξ  + ) such that With this norm 𝐻 𝑝 ( Ξ  + ) is a Banach space when 𝑝 β‰₯ 1 , while for 𝑝 ∈ ( 0 , 1 ) it is a Fréchet space with the translation invariant metric 𝑑 ( 𝑓 , 𝑔 ) = β€– 𝑓 βˆ’ 𝑔 β€– 𝑝 𝐻 𝑝 , 𝑓 , 𝑔 ∈ 𝐻 𝑝 ( Ξ  + ) , [1].

We introduce here the 𝑛 th weighted space on the upper half-plane. The 𝑛 th weighted space consists of all 𝑓 ∈ 𝐻 ( Ξ  + ) such thatwhere 𝑛 ∈ β„• 0 . For 𝑛 = 0 the space is called the growth space and is denoted by π’œ ∞ ( Ξ  + ) = π’œ ∞ and for 𝑛 = 1 it is called the Bloch space ℬ ∞ ( Ξ  + ) = ℬ ∞ (for Bloch-type spaces on the unit disk, polydisk, or the unit ball and some operators on them, see, e.g., [214] and the references therein).

When 𝑛 = 2 , we call the space the Zygmund-type space on the upper half-plane (or simply the Zygmund space) and denote it by 𝒡 ( Ξ  + ) = 𝒡 . Recall that the space consists of all 𝑓 ∈ 𝐻 ( Ξ  + ) such that The quantity is a seminorm on the Zygmund space or a norm on 𝒡 / β„™ 1 , where β„™ 1 is the set of all linear polynomials. A natural norm on the Zygmund space can be introduced as follows: With this norm the Zygmund space becomes a Banach space.

To clarify the notation we have just introduced, we have to say that the main reason for this name is found in the fact that for the case of the unit disk 𝔻 = { 𝑧 ∢ | 𝑧 | < 1 } in the complex palne β„‚ , Zygmund (see, e.g., [1, Theorem 5.3]) proved that a holomorphic function on 𝔻 continuous on the closed unit disk 𝔻 satisfies the following condition: if and only if

The family of all analytic functions on 𝔻 satisfying condition (1.6) is called the Zygmund class on the unit disk.

With the norm the Zygmund class becomes a Banach space. Zygmund class with this norm is called the Zygmund space and is denoted by 𝒡 ( 𝔻 ) . For some other information on this space and some operators on it, see, for example, [1519].

Now note that 1 βˆ’ | 𝑧 | is the distance from the point 𝑧 ∈ 𝔻 to the boundary of the unit disc, that is, πœ• 𝔻 , and that I m 𝑧 is the distance from the point 𝑧 ∈ Ξ  + to the real axis in β„‚ which is the boundary of Ξ  + .

In two main theorems in [20], the authors proved the following results, which we now incorporate in the next theorem.

Theorem A. Assume 𝑝 β‰₯ 1 and πœ‘ is a holomorphic self-map of Ξ  + . Then the following statements true hold.
(a) The operator 𝐢 πœ‘ ∢ 𝐻 𝑝 ( Ξ  + ) β†’ π’œ ∞ ( Ξ  + ) is bounded if and only if(b)The operator 𝐢 πœ‘ ∢ 𝐻 𝑝 ( Ξ  + ) β†’ ℬ ∞ ( Ξ  + ) is bounded if and only if

Motivated by Theorem A, here we investigate the boundedness of the operator 𝐢 πœ‘ ∢ 𝐻 𝑝 ( Ξ  + ) β†’ 𝒡 ( Ξ  + ) . Some recent results on composition and weighted composition operators can be found, for example, in [4, 6, 7, 10, 12, 18, 2127].

Throughout this paper, constants are denoted by 𝐢 , they are positive and may differ from one occurrence to the other. The notation π‘Ž βͺ― 𝑏 means that there is a positive constant 𝐢 such that π‘Ž ≀ 𝐢 𝑏 . Moreover, if both π‘Ž βͺ― 𝑏 and 𝑏 βͺ― π‘Ž hold, then one says that π‘Ž ≍ 𝑏 .

2. An Auxiliary Result

In this section we prove an auxiliary result which will be used in the proof of the main result of the paper.

Lemma 2.1. Assume that 𝑝 β‰₯ 1 , 𝑛 ∈ β„• , and 𝑀 ∈ Ξ  + . Then the function belongs to 𝐻 𝑝 ( Ξ  + ) . Moreover

Proof. Let 𝑧 = π‘₯ + 𝑖 𝑦 and 𝑀 = 𝑒 + 𝑖 𝜐 . Then, we have where we have used the change of variables π‘₯ = 𝑒 + 𝑑 ( 𝑦 + 𝑣 ) .

3. Main Result

Here we formulate and prove the main result of the paper.

Theorem 3.1. Assume 𝑝 β‰₯ 1 and πœ‘ is a holomorphic self-map of Ξ  + . Then 𝐢 πœ‘ ∢ 𝐻 𝑝 ( Ξ  + ) β†’ 𝒡 ( Ξ  + ) is bounded if and only if
Moreover, if the operator β€– β€– 𝐢 πœ‘ β€– β€– 𝐻 𝑝 ( Ξ  + ) β†’ 𝒡 / β„™ 1 ( Ξ  + ) ≍ s u p 𝑧 ∈ Ξ  + I m 𝑧 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 2 + 1 / 𝑝 | | πœ‘ ξ…ž | | ( 𝑧 ) 2 + s u p 𝑧 ∈ Ξ  + I m 𝑧 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 1 + 1 / 𝑝 | | πœ‘ ξ…ž ξ…ž | | ( 𝑧 ) . ( 3 . 3 ) is bounded, then

Proof. First assume that the operator 𝑀 ∈ Ξ  + is bounded.
For 𝑓 𝑀 ( 𝑧 ) = ( I m 𝑀 ) 2 βˆ’ 1 / 𝑝 πœ‹ 1 / 𝑝 ( 𝑧 βˆ’ 𝑀 ) 2 . ( 3 . 4 ) , set
By Lemma 2.1 (case 𝑓 𝑀 ∈ 𝐻 𝑝 ( Ξ  + ) ) we know that 𝑀 ∈ Ξ  + for every s u p 𝑀 ∈ Ξ  + β€– β€– 𝑓 𝑀 β€– β€– 𝐻 𝑝 ( Ξ  + ) ≀ 1 . ( 3 . 5 ) . Moreover, we have that
From (3.5) and since the operator 𝑀 ∈ Ξ  + is bounded, for every s u p 𝑧 ∈ Ξ  + | | 𝑓 I m 𝑧 𝑀 ξ…ž ξ…ž ξ€· πœ‘ πœ‘ ( 𝑧 ) ξ€Έ ξ€· ξ…ž ξ€Έ ( 𝑧 ) 2 + 𝑓 ξ…ž 𝑀 ξ€· ξ€Έ πœ‘ πœ‘ ( 𝑧 ) ξ…ž ξ…ž | | = β€– β€– 𝐢 ( 𝑧 ) πœ‘ ξ€· 𝑓 𝑀 ξ€Έ β€– β€– 𝒡 ( Ξ  + ) ≀ β€– β€– 𝐢 πœ‘ β€– β€– 𝐻 𝑝 ( Ξ  + ) β†’ 𝒡 ( Ξ  + ) . ( 3 . 6 ) , we obtain
We also have that
Replacing (3.7) in (3.6) and taking | | | | 3 I m 𝑧 8 ξ€· πœ‘ ξ…ž ξ€Έ ( 𝑧 ) 2 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 2 + 1 / 𝑝 βˆ’ 𝑖 4 πœ‘ ξ…ž ξ…ž ( 𝑧 ) ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 1 + 1 / 𝑝 | | | | ≀ πœ‹ 1 / 𝑝 β€– β€– 𝐢 πœ‘ β€– β€– 𝐻 𝑝 ( Ξ  + ) β†’ 𝒡 ( Ξ  + ) , ( 3 . 8 ) , we obtain and consequently
Hence if we show that (3.1) holds then from the last inequality, condition (3.2) will follow.
For 𝑔 𝑀 3 ( 𝑧 ) = 𝑖 ( I m 𝑀 ) 2 βˆ’ 1 / 𝑝 πœ‹ 1 / 𝑝 ( 𝑧 βˆ’ 𝑀 ) 2 βˆ’ 4 ( I m 𝑀 ) 3 βˆ’ 1 / 𝑝 πœ‹ 1 / 𝑝 ( 𝑧 βˆ’ 𝑀 ) 3 . ( 3 . 1 0 ) , set
Then it is easy to see that and by Lemma 2.1 (cases 𝑛 = 3 and s u p 𝑀 ∈ Ξ  + β€– β€– 𝑔 𝑀 β€– β€– 𝐻 𝑝 < ∞ . ( 3 . 1 2 ) ) it is easy to see that
From this, since 𝑀 = πœ‘ ( 𝑧 ) is bounded and by taking 𝐢 I m 𝑧 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 2 + 1 / 𝑝 | | πœ‘ ξ…ž | | ( 𝑧 ) 2 ≀ β€– β€– 𝐢 πœ‘ ξ€· 𝑔 𝑀 ξ€Έ β€– β€– 𝒡 ( Ξ  + ) β€– β€– 𝐢 ≀ 𝐢 πœ‘ β€– β€– 𝐻 𝑝 ( Ξ  + ) β†’ 𝒡 ( Ξ  + ) , ( 3 . 1 3 ) , it follows that from which (3.1) follows, as desired.
Moreover, from (3.9) and (3.13) it follows that
Now assume that conditions (3.1) and (3.2) hold. By the Cauchy integral formula in 𝐻 𝑝 ( Ξ  + ) for 𝑝 β‰₯ 1 functions (note that 1 𝑓 ( 𝑧 ) = ξ€œ 2 πœ‹ 𝑖 ∞ βˆ’ ∞ 𝑓 ( 𝑑 ) 𝑑 βˆ’ 𝑧 𝑑 𝑑 , 𝑧 ∈ Ξ  + . ( 3 . 1 5 ) ), we have

By differentiating formula (3.15), we obtain for each | | 𝑓 ( 𝑛 ) | | ≀ ( 𝑧 ) 𝑛 ! ξ€œ 2 πœ‹ ∞ βˆ’ ∞ | | | | 𝑓 ( 𝑑 ) ξ€Ί ( 𝑑 βˆ’ π‘₯ ) 2 + 𝑦 2 ξ€» ( 𝑛 + 1 ) / 2 𝑑 𝑑 , 𝑧 ∈ Ξ  + . ( 3 . 1 7 ) , from which it follows that

By using the change ξ€œ ∞ βˆ’ ∞ 𝑦 𝑛 ξ€Ί ( 𝑑 βˆ’ π‘₯ ) 2 + 𝑦 2 ξ€» ( 𝑛 + 1 ) / 2 ξ€œ 𝑑 𝑑 = ∞ βˆ’ ∞ 𝑑 𝑠 ξ€· 𝑠 2 ξ€Έ + 1 ( 𝑛 + 1 ) / 2 = ∢ 𝑐 𝑛 < ∞ , 𝑛 ∈ β„• . ( 3 . 1 8 ) , we have that
From this, applying Jensen's inequality on (3.17) and an elementary inequality, we obtainwhere from which it follows that
Assume that β€– β€– 𝐢 πœ‘ 𝑓 β€– β€– 𝒡 ( Ξ  + ) = | | 𝑓 ξ€· ξ€Έ | | + | | ξ€· ξ€Έ πœ‘ ( 𝑖 ) 𝑓 ∘ πœ‘ ξ…ž | | ( 𝑖 ) + s u p 𝑧 ∈ Ξ  + | | ξ€· 𝐢 I m 𝑧 πœ‘ 𝑓 ξ€Έ ξ…ž ξ…ž | | = | | 𝑓 ξ€· ξ€Έ | | + | | 𝑓 ( 𝑧 ) πœ‘ ( 𝑖 ) ξ…ž ξ€· ξ€Έ | | | | πœ‘ πœ‘ ( 𝑖 ) ξ…ž | | ( 𝑖 ) + s u p 𝑧 ∈ Ξ  + | | 𝑓 I m 𝑧 ξ…ž ξ…ž ξ€· πœ‘ πœ‘ ( 𝑧 ) ξ€Έ ξ€· ξ…ž ξ€Έ ( 𝑧 ) 2 + 𝑓 ξ…ž ξ€· ξ€Έ πœ‘ πœ‘ ( 𝑧 ) ξ…ž ξ…ž | | ( 𝑧 ) ≀ 𝐢 β€– 𝑓 β€– 𝐻 𝑝 ( Ξ  + ) ξ‚€ 1 + s u p 𝑧 ∈ Ξ  + I m 𝑧 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 2 + 1 / 𝑝 | | πœ‘ ξ…ž | | ( 𝑧 ) 2 + s u p 𝑧 ∈ Ξ  + I m 𝑧 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 1 + 1 / 𝑝 | | πœ‘ ξ…ž ξ…ž | |  . ( 𝑧 ) ( 3 . 2 2 ) . By applying (3.21) and Lemma 1 in [1, page 188], we have
From this and by conditions (3.1) and (3.2), it follows that the operator 𝒡 / β„™ 1 ( Ξ  + ) is bounded. Moreover, if we consider the space β€– β€– 𝐢 πœ‘ β€– β€– 𝐻 𝑝 ( Ξ  + ) β†’ 𝒡 / β„™ 1 ( Ξ  + ) ξ‚€ ≀ 𝐢 s u p 𝑧 ∈ Ξ  + I m 𝑧 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 2 + 1 / 𝑝 | | πœ‘ ξ…ž | | ( 𝑧 ) 2 + s u p 𝑧 ∈ Ξ  + I m 𝑧 ξ€· ξ€Έ I m πœ‘ ( 𝑧 ) 1 + 1 / 𝑝 | | πœ‘ ξ…ž ξ…ž | |  ( 𝑧 ) . ( 3 . 2 3 ) , we have that
From (3.14) and (3.23), we obtain the asymptotic relation (3.3).

References

  1. P. Duren, Theory of Hp Spaces, Dover, New York, NY, USA, 2000.
  2. K. L. Avetisyan, β€œHardy-Bloch type spaces and lacunary series on the polydisk,” Glasgow Mathematical Journal, vol. 49, no. 2, pp. 345–356, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  3. K. L. Avetisyan, β€œWeighted integrals and Bloch spaces of n-harmonic functions on the polydisc,” Potential Analysis, vol. 29, no. 1, pp. 49–63, 2008. View at Google Scholar Β· View at MathSciNet
  4. D. D. Clahane and S. SteviΔ‡, β€œNorm equivalence and composition operators between Bloch/Lipschitz spaces of the ball,” Journal of Inequalities and Applications, vol. 2006, Article ID 61018, 11 pages, 2006. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  5. S. Li, β€œFractional derivatives of Bloch type functions,” SibirskiΔ­ MatematicheskiΔ­ Zhurnal, vol. 46, no. 2, pp. 394–402, 2005. View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  6. S. Li and S. SteviΔ‡, β€œWeighted composition operators from Ξ±-Bloch space to H∞ on the polydisc,” Numerical Functional Analysis and Optimization, vol. 28, no. 7-8, pp. 911–925, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  7. S. Li and S. SteviΔ‡, β€œWeighted composition operators from H∞ 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
  8. S. Li and S. SteviΔ‡, β€œWeighted composition operators between H∞ and Ξ±-Bloch spaces in the unit ball,” Taiwanese Journal of Mathematics, vol. 12, no. 7, pp. 1625–1639, 2008. View at Google Scholar Β· View at MathSciNet
  9. S. Li and H. Wulan, β€œCharacterizations of Ξ±-Bloch spaces on the unit ball,” Journal of Mathematical Analysis and Applications, vol. 343, no. 1, pp. 58–63, 2008. View at Publisher Β· View at Google Scholar Β· View at MathSciNet
  10. S. SteviΔ‡, β€œComposition operators between H∞ and Ξ±-Bloch spaces on the polydisc,” Zeitschrift fΓΌr Analysis und ihre Anwendungen, vol. 25, no. 4, pp. 457–466, 2006. View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  11. S. SteviΔ‡, β€œOn Bloch-type functions with Hadamard gaps,” Abstract and Applied Analysis, vol. 2007, Article ID 39176, 8 pages, 2007. View at Publisher Β· View at Google Scholar Β· View at MathSciNet
  12. S. SteviΔ‡, β€œNorm of weighted composition operators from Bloch space to Hμ∞ on the unit ball,” Ars Combinatoria, vol. 88, pp. 125–127, 2008. View at Google Scholar Β· View at MathSciNet
  13. S. Yamashita, β€œGap series and Ξ±-Bloch functions,” Yokohama Mathematical Journal, vol. 28, no. 1-2, pp. 31–36, 1980. View at Google Scholar Β· View at MathSciNet
  14. X. Zhu, β€œGeneralized weighted composition operators from Bloch type spaces to weighted Bergman spaces,” Indian Journal of Mathematics, vol. 49, no. 2, pp. 139–150, 2007. View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  15. S. Li and S. SteviΔ‡, β€œVolterra-type operators on Zygmund spaces,” Journal of Inequalities and Applications, vol. 2007, Article ID 32124, 10 pages, 2007. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  16. S. Li and S. SteviΔ‡, β€œGeneralized composition operators on Zygmund spaces and Bloch type spaces,” Journal of Mathematical Analysis and Applications, vol. 338, no. 2, pp. 1282–1295, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  17. S. Li and S. SteviΔ‡, β€œProducts of Volterra type operator and composition operator from H∞ and Bloch spaces to Zygmund spaces,” Journal of Mathematical Analysis and Applications, vol. 345, no. 1, pp. 40–52, 2008. View at Publisher Β· View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  18. 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
  19. S. SteviΔ‡, β€œOn an integral operator from the Zygmund space to the Bloch-type space on the unit ball,” to appear in Glasgow Mathematical Journal.
  20. S. D. Sharma, A. K. Sharma, and S. Ahmed, β€œComposition operators between Hardy and Bloch-type spaces of the upper half-plane,” Bulletin of the Korean Mathematical Society, vol. 44, no. 3, pp. 475–482, 2007. View at Google Scholar Β· View at Zentralblatt MATH Β· View at MathSciNet
  21. 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 Zentralblatt MATH Β· View at MathSciNet
  22. 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 MathSciNet
  23. L. Luo and S. I. Ueki, β€œWeighted composition operators between weighted Bergman spaces and Hardy spaces on the unit ball of β„‚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
  24. S. SteviΔ‡, β€œWeighted composition operators between mixed norm spaces and Hα∞ 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
  25. S. SteviΔ‡, β€œEssential norms of weighted composition operators from the Ξ±-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
  26. S. I. Ueki and L. Luo, β€œCompact weighted composition operators and multiplication operaors between Hardy spaces,” Abstract and Applied Analysis, vol. 2008, Article ID 196498, 11 pages, 2008. View at Publisher Β· View at Google Scholar
  27. S. Ye, β€œWeighted composition operator between the little Ξ±-Bloch spaces and the logarithmic Bloch,” Journal of Computational Analysis and Applications, vol. 10, no. 2, pp. 243–252, 2008. View at Google Scholar Β· View at MathSciNet