Isometric composition operators on weighted Dirichlet-type spaces
© Geng et al; licensee Springer. 2012
Received: 12 April 2011
Accepted: 9 February 2012
Published: 9 February 2012
In this article, we characterize the surjective isometric composition operator C φ on the weighted Dirichlet-type spaces of the unit disk , where φ is an analytic self-map of , and show that C φ is a surjective isometry if and only if φ is a rotation map.
2000 MSC: Primary: 47B33; Secondary: 30D45; 30H30; 30H05; 47B38.
Keywordsrotation map composition operator weighted Dirichlet-type spaces isometry
The Lebesgue area measure on the unit disk in the complex plane is defined by dA(z) = rdrdt = dxdy. Denote by the class of all analytic functions on and the collection of all the analytic self mappings of .
where the constant C p depends only on p. We write . The space is the classical Dirichlet space of analytic functions whose image Riemann surface has finite area. Clearly, when q <p < ∞.
For and , the composition operator C φ induced by φ is defined as C φ f = f ○ φ for ; the multiplication operator M u induced by u is defined by M u f(z) = u(z)f(z); and the weighted composition operator Wu,φinduced by φ and u is defined by (Wu,φf)(z) = u(z)f(φ(z)) for z ∈ Ω and f ∈ H(Ω). If we let u ≡ 1, then W u,φ = C φ ; if we let φ = id, then W u,φ = M u . So we can regard weighted composition operator as a generalization of a multiplication operator and a composition operator. These operators are linear. In , Hibschweiler studied the boundedness and compactness of composition operators on . In , Roan studied the boundness of composition operators on S p , where .
An operator T on a normed space X is said to be an isometric operator if ||Tf|| X = ||f|| X , for any f ∈ X.
The isometric composition operator on analytic functions spaces has been studied by many authors. In , Martín and Vukotić studied the isometric composition operators on H p , (see also Kolaski [4, 5]) for 1 ≤ p < ∞ and the analytic Besov spaces B p for 1 <p < ∞. They obtained that C φ is an isometry of H p if and only if φ is inner and φ(0) = 0, and C φ is an isometry of if and only if φ is a rotation. Also Carswell and Hammond  obtained that is an isometry if and only if φ is a rotation; this fact differs somewhat from the analogs results that are known for other Hilbert spaces.
The isometric composition operators on the Bloch spaces in the unit disk were discussed by Martín and Vukotić , Colonna , Allen and Colonna [9, 10], Li and Zhou . The same problems were studied on the Bloch spaces in the unit polydisk by Cohen and Colonna , in unit ball by Li , and Li and Ruan . For the BMOA space, see . In , Martín and Vukotić also studied the isometric composition operators on the classical Dirichlet spaces in the unit disk. They obtained that C φ is an isometric operator if and only if φ is a univalent map of the unit disk such that and φ(0) = 0. In , Novinger and Oberlin studied the isometric composition operators on S p with different norms.
The present article continues this line of research and discusses the isometric composition operators on the weighted Dirichlet-type space in the unit disk.
2. Main results
Our proofs will depend upon a characterization of the linear isometries of weighted Bergman spaces due to Kolaski . Although not stated by Kolaski explicitly, the following result is a direct consequence of Theorems 1 and 4 in , which are much more general results than we will need here.
Theorem 2.1. Let 0 <p < ∞, p ≠ 2, and α > -1. Then every linear isometrytakes the form (Tf)(z) = g(z) · f(φ(z)), for alland, for some function φ which mapsconformally onto a dense subset of, and where g = T 1. Moreover, if T is surjective, then φ is a disk automorphism and g = λ(φ')(2+α)/pfor some |λ| = 1.
Following the ideas of Theorem 4.5.1 in , we investigate the surjective isometric composition operators on the weighted Dirichlet-type space.
Theorem 2.2. Let φ be a self-map of the unit disk. Then the induced composition operator C φ is a surjective isometry on the weighted Dirichlet-type space, 1 ≤ p < ∞, p ≠ 2, -1 <α < ∞ if and only if φ is a rotation map.
Proof. Since the composition operator induced by a rotation is clearly an isometry, it suffices to show that if C φ is a surjective isometry, then φ is a rotation.
Suppose that C φ is a surjective isometric composition operator. Let n be a positive integer and t be a real number. We define the function p n (z) = z n for all . The weighted Dirichlet-type space contains the polynomials and thus for every real number t and positive integer n.
In particular, for n = 1, we get |1 + tφ(0)| = 1 + |t||φ(0)| which implies, since t is an arbitrary real number, that φ(0) = 0.
Therefore is equivalent to .
and maps isometrically onto .
for any .
Letting f = id in (2.1), then φ'(z) = g(z) (Alternatively, one can see that φ' = g since g(z) = (T 1)(z) = DC φ I1(z) = φ'(z)). Letting f = p2, then φ(z)φ'(z) = g(z)φ(z), so from g(z) ≠ 0, we have φ(z) = φ(z). Since φ is an automorphism of and φ(0) = 0, it follows that φ(z) = λz, where |λ| = 1, that is φ is a rotation.
From the proof of the above theorem, it is easy to see that if C φ is an isometry on , 1 ≤ p < ∞ then φ(0) = 0. We can get the following corollary.
Corollary 2.3. Let. Then the induced composition operator C φ is an isometry on the weighted Dirichlet-type space, 1 ≤ p < ∞ and -1 <α < ∞, if and only if φ is a rotation map.
Clearly, if both C φ and M u are isometries, then Wu,φis an isometry, the following theorem will show that the converse is also true.
Theorem 2.4. The weighted composition operator W u,φ is an isometric operator on, 1 ≤ p < ∞ and α > -1, if and only if both C φ and M u are isometric operators.
for every . So (W u,φ 1)' ≡ 0, which implies that u = W u,φ 1 is a constant.
for every . Hence the composition operator C φ is an isometry.
Remark. From the above the theorem, we can get that the multiplier operator M u is an isometric operator on , 1 ≤ p < ∞, -1 <α < ∞ if and only if u is a constant of modulus one. In , Aleman et al. characterized the nontrivial isometric multipliers on the Dirichlet-type space , 1 ≤ p < ∞ (here w is the weighted function). For the sake of completeness, we state their results as follows.
Theorem 2.5. Let 1 ≤ p < ∞. Suppose that the Dirichlet-type spaceis complete and that point-evaluations are bounded. Thenhas nonconstant isometric pointwise multipliers if and only if p = 2 and w(z) = -2log|z| a.e. in. In this caseand the isometric multipliers are precisely the inner functions.
The authors would like to thank the referees for the useful comments and suggestions which improved the presentation of this article. ZHZ supported in part by the National Natural Science Foundation of China (Grant Nos. 10971153, 10671141).
- Hibschweiler RA: Composition operators on Dirichlet-type spaces. Proc Am Math Soc 2000, 128: 3579–3586. 10.1090/S0002-9939-00-05886-XMathSciNetView ArticleGoogle Scholar
- Roan R: Composition operators on the space of functions with H p -derivative. Houst J Math 1978, 4: 423–438.MathSciNetGoogle Scholar
- Martín MJ, Vukotić D: Isometries of some classical function spaces among the composition operators. Contemp Math 2006, 393: 133–138.View ArticleGoogle Scholar
- Kolaski CJ: Isometries of weighted Bergman spaces. Can J Math 1982, 34(4):910–915. 10.4153/CJM-1982-063-5MathSciNetView ArticleGoogle Scholar
- Kolaski CJ: Surjective isometries of weighted Bergman spaces. Proc Am Math Soc 1989, 105: 652–657. 10.1090/S0002-9939-1989-0953008-7MathSciNetView ArticleGoogle Scholar
- Carswell BJ, Hammond C: Composition operators with maximal norm on weighted Bergman spaces. Proc Am Math Soc 2006, 134: 2599–2605. 10.1090/S0002-9939-06-08271-2MathSciNetView ArticleGoogle Scholar
- Martín MJ, Vukotić D: Isometries of the Bloch space among the composition operators. Bull Lond Math Soc 2007, 39: 151–155.MathSciNetView ArticleGoogle Scholar
- Colonna F: Characterisation of the isometric composition operators on the Bloch space. Bull Aust Math Soc 2005, 72: 283–290. 10.1017/S0004972700035073MathSciNetView ArticleGoogle Scholar
- Allen RF, Colonna F: On the isometric composition operators on the Bloch space in ℂ n . J Math Anal Appl 2009, 355: 675–688. 10.1016/j.jmaa.2009.02.023MathSciNetView ArticleGoogle Scholar
- Allen RF, Colonna F: Isometries and spectra of multiplication operators on the Bloch space. Bull Aust Math Soc 2009, 79: 147–160. 10.1017/S0004972708001196MathSciNetView ArticleGoogle Scholar
- Li GL, Zhou ZH: Isometries on products of composition and integral operators on Bloch type space. J Inequal Appl 2010, 2010: 8.Google Scholar
- Cohen JM, Colonna F: Isometric composition operators on the Bloch space in the polydisk. Contemp Math 2008, 454: 9–21.MathSciNetView ArticleGoogle Scholar
- Li SY: Composition operators and isometries on holomorphic function spaces over domains in ℂ n . AMS/IP Stud Adv Math 2007, 39: 161–174.Google Scholar
- Li SY, Ruan YB: On characterizations of isometries on function spaces. Sci China Ser A Math 2008, 51(4):620–631. 10.1007/s11425-007-0145-xMathSciNetView ArticleGoogle Scholar
- Laitila J: Isometric composition operators on BMOA. Math Nachr 2010, 283: 1646–1653. 10.1002/mana.200710164MathSciNetView ArticleGoogle Scholar
- Martín MJ, Vukotić D: Isometries of the Dirichlet space among the composition operators. Proc Am Math Soc 2006, 134(6):1701–1705. 10.1090/S0002-9939-05-08182-7View ArticleGoogle Scholar
- Novinger W, Oberlin D: Linear isometries of some normed spaces of analytic functions. Can J Math 1985, 37: 62–76. 10.4153/CJM-1985-005-3MathSciNetView ArticleGoogle Scholar
- Fleming RJ, Jamison JE: Isometries on Banach spaces: function spaces, vol. 129. In CHAPMAN HALL/CRC Monographs and Surveys in Pure and Applied Mathematics. Boca Raton; 2003.Google Scholar
- Köthe G: Topological vector spaces I. Springer, New York; 1969.Google Scholar
- Aleman A, Duren P, Martín MJ, Vukotić D: Multiplicative isometries and isometric zero-divisors. Can J Math 2010, 62: 961–974. 10.4153/CJM-2010-048-7View ArticleGoogle Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.