Inner functions as improving multipliers and zero sets of Besov-type spaces
© Lou and Qian; licensee Springer. 2014
Received: 18 March 2014
Accepted: 16 July 2014
Published: 21 August 2014
Assume X and Y are two spaces of analytic functions in the unit disk with . Let θ be an inner function. If every function satisfying must actually satisfy , then θ is said to be -improving. In this paper, we characterize the inner functions in the Möbius invariant Besov-type spaces as improving multipliers for and . Our result generalizes Peláez’s result on spaces () (Peláez in J. Funct. Anal. 255:1403-1418, 2008).
We denote the unit disk by and its boundary by . Let be the space of all analytic functions in . An analytic function in the unit disc is called an inner function if it is bounded and the modulus equals 1 almost everywhere on the boundary .
and μ is a finite positive Borel measure in , which is singular with respect to Lebesgue measure. Let denote the singular set or boundary spectrum of inner function θ. From  we know that is the smallest closed set such that θ is analytic across , and consists of the accumulation points of zeros of θ and the closed support of the associated singular measure. See [2–6] for more information on inner functions.
Since a nontrivial inner function θ is extremely oscillatory near , the same should happen to the product fθ, where is smooth in some sense on . But sometimes the product fθ inherits the nice properties of f, and it is possible that fθ has an added smoothness. In order to analyze this phenomenon, Dyakonov introduced the following notion in .
Suppose X and Y are two classes of analytic functions on , and . Let θ be an inner function, θ is said to be -improving, if every function satisfying must actually satisfy .
In this paper, we study the inner functions in the Möbius invariant Besov-type spaces as improving multipliers.
, . It is easy to check that is a Möbius invariant Besov-type space. From , when , , for more information on spaces, we refer to  and . When , , the space of analytic functions in the Hardy space whose boundary functions have bounded mean oscillation. When , , the Bloch space (see ).
The following result was proved by Peláez in [, Theorem 1].
θ is -improving;
θ is -improving.
In this paper, we extend Theorem A from spaces to a more general space , .
θ is -improving;
θ is -improving.
θ is -improving;
θ is -improving.
Notice the fact that . The proof of Corollary 1 is similar to that of Theorem 1 and thus is omitted.
Remark 1 From Theorem 1, we know that any inner function is -improving, when and . Conversely, by using the following results (Theorem 2 and Proposition 1) on zero sets of Besov-type spaces, we will prove that there exists an inner function θ which is -improving, but θ does not belong to .
In order to state Theorem 2, we need a few notions.
Here denotes the pseudo-hyperbolic metric in . We also say that is an interpolating sequence or an uniformly separated sequence. A finite union of interpolating sequences is usually called a Carleson-Newman sequence. Similarly, a Carleson-Newman Blaschke product is a finite product of interpolating Blaschke products.
We say that is a zero set of an analytic function space X defined on if there is a that vanishes on Z and nowhere else. Although the study of zero sets for analytic function spaces is a difficult problem, there are some excellent papers related to this question. We may refer to Carleson [14, 15], Caughran , Shapiro and Shields , Taylor and Williams . Recently, Pau and Peláez obtained a theorem on zero sets of Dirichlet spaces in [, Theorem 1]. In the next theorem, we characterize the zero sets of spaces which generalizes the Pau and Peláez’s result in . We characterize the Carleson-Newman sequences that are zero sets in spaces.
is an -zero set;
- (2)there exists an outer function such that
- (3)there exists an outer function such that
- (4)there exists an outer function such that
Using Theorem 2, we can deduce the following result.
Proposition 1 Suppose , , . There exists a Carleson-Newman sequence which is not an -zero set and with 1 as unique accumulation point.
The proof of Proposition 1 is similar to that of Theorem 2 of  and is omitted here.
Applying Proposition 1, we can prove the following result whose proof (as well as the proof of Theorem 2) is given in Section 4.
Corollary 2 Let and . Then there exists an inner function θ which is -improving, but θ does not belong to .
Throughout this paper, for two functions f and g, means that , that is, there are positive constants and depending only on the index , such that .
To prove Theorem 1 we need some auxiliary results. Lemmas 2.1 and 2.2 should be known to some experts, but we cannot find a reference. For the completeness of the paper, we give proofs below.
can be defined as a norm of space.
Lemma 2.2 Let , . Then .
That is, . □
Hence, we have . □
The following well-known results will also be used in the proof of Theorem 1.
Lemma 2.7 ([, Theorem 1.4])
Lemma 2.8 ([, Lemma 21])
if and only if is a finite union of uniformly separated sequences.
Lemma 2.9 ([, Theorem 1])
, for every ϵ, ;
, for some ϵ, .
3 Proof of Theorem 1
- (1)⇒ (2). For inner functions , by Lemma 2.7, θ is a Blaschke product with zeros , and
⇒ (1), (3) ⇒ (2). Their proofs are obvious.
⇒ (3). Let θ be -improving. If the inner function , then θ is a Carleson-Newman Blaschke product. For , if , then any Carleson-Newman Blaschke product is -improving by Corollary 1 of . Therefore, . Notice that θ is -improving, we have . Thus, θ is -improving. The proof of Theorem 1 is completed.
4 Proofs of Theorem 2 and Corollary 2
In this section, we borrow the idea in  to study the zero set of spaces. Following the proof of Lemma 2.6, we have the next result.
When , or in Theorem 1 of , we get the following lemma.
⇒ (1). It is obvious from Lemma 4.1.
- (3)⇒ (2). By the Poisson integral formula
The desired result follows.
Bearing in mind Lemma 4.2, we have (3).
That is, has the generalized sub-mean-value property.
(2) ⇔ (4). The proof is similar to that of (2) ⇔ (3) and thus is omitted. The theorem is proved. □
Lemma 4.3 Let and . Suppose , where and are inner-outer factors. Let I be an inner function dividing . Then .
The desired result follows. □
Proof of Corollary 2 Taking the same sequence as in Proposition 1. Let be the associated Blaschke product. Notice the fact that , it implies that is not a -zero set. We deduce that does not belong to . Combining this with Lemma 4.3, the proof of the rest is similar to that of Theorem 2 of  and thus is omitted. □
This work was supported by NSF of China (No. 11171203) and NSF of Guangdong Province (Grant No. 10151503101000025 and No. S2011010004511).
- Garnett J: Bounded Analytic Functions. Academic Press, New York; 1981.MATHGoogle Scholar
- Ahern P: The mean modulus of derivative of an inner function. Indiana Univ. Math. J. 1979, 28: 311-347. 10.1512/iumj.1979.28.28022MathSciNetView ArticleMATHGoogle Scholar
- Ahern P, Clark DN:On inner functions with derivative. Mich. Math. J. 1974, 21: 115-127.MathSciNetView ArticleMATHGoogle Scholar
- Ahern P, Clark DN:On inner functions with derivative. Mich. Math. J. 1976, 23: 107-118.MathSciNetView ArticleMATHGoogle Scholar
- Gluchoff A: On inner functions with derivative in Bergman spaces. Ill. J. Math. 1987, 31: 518-527.MathSciNetMATHGoogle Scholar
- Kim HO: Derivatives of Blaschke products. Pac. J. Math. 1984, 114: 175-190. 10.2140/pjm.1984.114.175View ArticleMathSciNetMATHGoogle Scholar
- Dyakonov K: Self-improving behaviour of inner functions as multipliers. J. Funct. Anal. 2006, 240: 429-444. 10.1016/j.jfa.2006.03.020MathSciNetView ArticleMATHGoogle Scholar
- Zhao R: On a general family of function spaces. Ann. Acad. Sci. Fenn., Math. Diss. 1996, 105: 1-56.View ArticleMathSciNetGoogle Scholar
- Xiao J LNM 1767. In Holomorphic Q Classes. Springer, Berlin; 2001.View ArticleGoogle Scholar
- Xiao J: Geometric Qp Functions. Birkhäuser, Basel; 2006.Google Scholar
- Aulaskari P, Lappan P: Criteria for an analytic function to be Bloch and a harmonic or meromorphic function to be normal. Pitman Res. Notes Math. Ser. 305. In Complex Analysis and Its Applications. Longman, Harlow; 1994: Hong Kong, 1993 136-146. Hong Kong, 1993Google Scholar
- Peláez J: Inner functions as improving multipliers. J. Funct. Anal. 2008, 255: 1403-1418. 10.1016/j.jfa.2008.06.010MathSciNetView ArticleMATHGoogle Scholar
- Dyakonov K: Besov spaces and outer functions. Mich. Math. J. 1998, 45: 143-157.MathSciNetView ArticleMATHGoogle Scholar
- Carleson, L: On a class of meromorphic functions and its associated exceptional sets. Uppsala (1950)MATHGoogle Scholar
- Carleson L: On the zeros of functions with bounded Dirichlet integrals. Math. Z. 1952, 56: 289-295. 10.1007/BF01174755MathSciNetView ArticleMATHGoogle Scholar
- Caughran J: Two results concerning the zeros of functions with finite Dirichlet integral. Can. J. Math. 1969, 21: 312-316. 10.4153/CJM-1969-033-5MathSciNetView ArticleMATHGoogle Scholar
- Shapiro H, Shields A: On the zeros of functions with finite Dirichlet integral and some related function spaces. Math. Z. 1962, 80: 217-229. 10.1007/BF01162379MathSciNetView ArticleMATHGoogle Scholar
- Taylor B, Williams D: Zeros of Lipschitz functions analytic in the unit disc. Mich. Math. J. 1971, 18: 129-139.MathSciNetView ArticleMATHGoogle Scholar
- Pau J, Peláez J: On the zeros of functions in Dirichlet-type spaces. Trans. Am. Math. Soc. 2011, 363: 1981-2002. 10.1090/S0002-9947-2010-05108-6View ArticleMathSciNetMATHGoogle Scholar
- Girela D: Analytic functions of bounded mean oscillation. Univ. Joensuu Dept. Math. Rep. Ser. 4. In Complex Function Spaces. Univ. Joensuu, Joensuu; 2001: (Mekrijärvi, 1999) 61-170. (Mekrijärvi, 1999)Google Scholar
- Arcozzi N, Blasi D, Pau J: Interpolating sequences on analytic Besov type spaces. Indiana Univ. Math. J. 2009, 58: 1281-1318. 10.1512/iumj.2009.58.3589MathSciNetView ArticleMATHGoogle Scholar
- Pérez-González F, Rättyä J: Inner functions in the Möbius invariant Besov-type spaces. Proc. Edinb. Math. Soc. 2009, 52: 751-770. 10.1017/S0013091507000818MathSciNetView ArticleMATHGoogle Scholar
- Ortega JM, Fàbrega J: Pointwise multipliers and Corona type decomposition in BMOA. Ann. Inst. Fourier (Grenoble) 1996, 46: 111-137. 10.5802/aif.1509MathSciNetView ArticleMATHGoogle Scholar
- Zhao R: Distances from Bloch functions to some Möbius invariant spaces. Ann. Acad. Sci. Fenn., Math. Diss. 2008, 33: 303-313.MATHGoogle Scholar
- Blasi D, Pau J: A characterization of Besov type spaces and applications to Hankel type operators. Mich. Math. J. 2008, 56: 401-417. 10.1307/mmj/1224783520MathSciNetView ArticleMATHGoogle Scholar
- Zhu K: Operator Theory in Function Spaces. Am. Math. Soc., Providence; 2007.View ArticleMATHGoogle Scholar
- McDonald G, Sundberg C: Toeplitz operators on the disc. Indiana Univ. Math. J. 1979, 28: 595-611. 10.1512/iumj.1979.28.28042MathSciNetView ArticleMATHGoogle Scholar
- Dyakonov K: Division and multiplication by inner functions and embedding theorems for star-invariant subspaces. Am. J. Math. 1993, 115: 881-902. 10.2307/2375016MathSciNetView ArticleMATHGoogle Scholar
- Böe B: A norm on the holomorphic Besov space. Proc. Am. Math. Soc. 2003, 131: 235-241. 10.1090/S0002-9939-02-06529-2View ArticleMathSciNetMATHGoogle Scholar
- Hedenmalm H: On the f - and K -properties of certain function spaces. Contemp. Math. 1989, 91: 89-91.MathSciNetView ArticleMATHGoogle 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/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.