Skip to main content

Inner functions as improving multipliers and zero sets of Besov-type spaces

Abstract

Assume X and Y are two spaces of analytic functions in the unit disk D with XY. Let θ be an inner function. If every function fX satisfying fθY must actually satisfy fθX, then θ is said to be (X,Y)-improving. In this paper, we characterize the inner functions in the Möbius invariant Besov-type spaces F(p,p2,s) as improving multipliers for p>1 and 0<s<1. Our result generalizes Peláez’s result on Q s spaces (0<s<1) (Peláez in J. Funct. Anal. 255:1403-1418, 2008).

MSC:30D45, 30D50.

1 Introduction

We denote the unit disk {zC:|z|<1} by D and its boundary {zC:|z|=1} by D. Let H(D) be the space of all analytic functions in D. An analytic function in the unit disc D is called an inner function if it is bounded and the modulus equals 1 almost everywhere on the boundary D.

It is well known that every inner function has a factorization e i γ B(z)S(z), where γR, B(z) is a Blaschke product and S(z) is a singular inner function, that is,

B(z)= k = 1 | a k | a k a k z 1 a ¯ k z

and

S(z)=exp { 0 2 π e i t + z e i t z d μ ( t ) } ,

where { a k } k = 1 is a sequence of points in D which satisfies the Blaschke condition

k = 1 ( 1 | a k | ) <,

and μ is a finite positive Borel measure in [0,2π), which is singular with respect to Lebesgue measure. Let σ(θ) denote the singular set or boundary spectrum of inner function θ. From [1] we know that σ(θ)D is the smallest closed set such that θ is analytic across Dσ(θ), and σ(θ) consists of the accumulation points of zeros of θ and the closed support of the associated singular measure. See [26] for more information on inner functions.

Since a nontrivial inner function θ is extremely oscillatory near σ(θ), the same should happen to the product , where fH(D) is smooth in some sense on D. But sometimes the product inherits the nice properties of f, and it is possible that has an added smoothness. In order to analyze this phenomenon, Dyakonov introduced the following notion in [7].

Suppose X and Y are two classes of analytic functions on D, and XY. Let θ be an inner function, θ is said to be (X,Y)-improving, if every function fX satisfying fθY must actually satisfy fθX.

In this paper, we study the inner functions in the Möbius invariant Besov-type spaces F(p,p2,s) as improving multipliers.

Let 0<p<, 2<q<, s0, the F(p,q,s) space is the set of fH(D) [8] such that

f F ( p , q , s ) = | f ( 0 ) | + ( sup a D D | f ( z ) | p ( 1 | z | 2 ) q g ( z , a ) s d A ( z ) ) 1 p <,

where g denotes the Green function given by

g(z,a)=log 1 | φ a ( z ) | ,z,aD,za,

φ a (z)= a z 1 a ¯ z , dA(z)= 1 π dxdy. It is easy to check that F(p,p2,s) is a Möbius invariant Besov-type space. From [8], when 0<s<1, F(2,0,s)= Q s , for more information on Q s spaces, we refer to [9] and [10]. When s=1, F(2,0,s)=BMOA, the space of analytic functions in the Hardy space H 1 (D) whose boundary functions have bounded mean oscillation. When s>1, F(2,0,s)=B, the Bloch space (see [11]).

The following result was proved by Peláez in [[12], Theorem 1].

Theorem A Suppose that 0<s<1 and θ is an inner function. Then the following conditions are equivalent:

  1. (1)

    θ Q s ;

  2. (2)

    θ is ( Q s ,BMOA)-improving;

  3. (3)

    θ is ( Q s ,B)-improving.

In this paper, we extend Theorem A from Q s spaces to a more general space F(p,p2,s), 0<s<1.

Theorem 1 Let 1<p<, 0<s<1. Suppose that θ is an inner function. Then the following conditions are equivalent:

  1. (1)

    θF(p,p2,s);

  2. (2)

    θ is (F(p,p2,s),BMOA)-improving;

  3. (3)

    θ is (F(p,p2,s),B)-improving.

The proof of Theorem 1 is gave in Section 3. Theorem 1 can be farther generalized to a more general space A B p t F(p,p2,s), where A B p t space is the set of functions fH(D) such that (see [13])

f A B p t = | f ( 0 ) | + ( D | f ( z ) | p ( 1 | z | ) ( 1 t ) p 1 d A ( z ) ) 1 p <.

Corollary 1 Let 1<p<, 0<tp<1 and 0<s<1. Suppose θ is an inner function. Then the following conditions are equivalent:

  1. (1)

    θA B p t F(p,p2,s);

  2. (2)

    θ is (A B p t F(p,p2,s),BMOA)-improving;

  3. (3)

    θ is (A B p t F(p,p2,s),B)-improving.

Notice the fact that F(p,p2,s)A B p 1 s p . 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 θF(p,p2,s) is (F(p,p2,s),F(p,p2,t))-improving, when p>1 and 0<s<t<1. 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 (F(p,p2,s),F(p,p2,t))-improving, but θ does not belong to F(p,p2,s).

In order to state Theorem 2, we need a few notions.

A Blaschke product B with sequence of zeros { a k } k = 1 is called interpolating if there exists a positive constant δ such that

j k ϱ( a j , a k )δ,k=1,2,.

Here ϱ( a j , a k )=| φ a j ( a k )| denotes the pseudo-hyperbolic metric in D. We also say that { a k } k = 1 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 recall that a function gH(D) is called an outer function if log|g| L 1 (D) and

g(z)=ηexp ( 1 2 π 0 2 π log | g ( e i t ) | e i t + z e i t z d t ) ,

where ηD.

We say that Z={ z n }D is a zero set of an analytic function space X defined on D if there is a fX 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 [16], Shapiro and Shields [17], Taylor and Williams [18]. Recently, Pau and Peláez obtained a theorem on zero sets of Dirichlet spaces D s =A B 2 1 s 2 in [[19], Theorem 1]. In the next theorem, we characterize the zero sets of A B p t spaces which generalizes the Pau and Peláez’s result in [19]. We characterize the Carleson-Newman sequences that are zero sets in A B p t spaces.

Theorem 2 Suppose p>1, 0<t<1, 0<pt<1 and { a k } k = 1 is a Carleson-Newman sequence. Then the following conditions are equivalent:

  1. (1)

    { a k } k = 1 is an A B p t -zero set;

  2. (2)

    there exists an outer function gA B p t such that

    k = 1 | g ( a k ) | p ( 1 | a k | 2 ) 1 t p <;
  3. (3)

    there exists an outer function gA B p t such that

    k = 1 ( 1 | a k | 2 ) 2 t p D | g ( e i t ) | p | e i t a k | 2 dt<;
  4. (4)

    there exists an outer function gA B p t such that

    k = 1 ( 1 | a k | 2 ) 1 t p + p ( D | g ( e i t ) | | e i t a k | 2 d t ) p <.

Using Theorem 2, we can deduce the following result.

Proposition 1 Suppose p>1, 0<t<1, 0<pt<1. There exists a Carleson-Newman sequence { a k } k = 1 which is not an A B p t -zero set and with 1 as unique accumulation point.

The proof of Proposition 1 is similar to that of Theorem 2 of [19] 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 p>1 and 0<s<t<1. Then there exists an inner function θ which is (F(p,p2,s),F(p,p2,t))-improving, but θ does not belong to F(p,p2,s).

Throughout this paper, for two functions f and g, fg means that gfg, that is, there are positive constants C 1 and C 2 depending only on the index p,s,t, , such that C 1 gf C 2 g.

2 Preliminaries

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.

Lemma 2.1 Let 0<p< and s0. Then fF(p,p2,s) if and only if

sup a D f φ a f ( a ) A B p 1 s p <.

Proof From Theorem 2.4 of [8] and making the change of variables w= φ a (z), we have

f f ( 0 ) F ( p , p 2 , s ) p = sup a D D | f ( w ) | p ( 1 | w | 2 ) p 2 g s ( w , a ) d A ( w ) sup a D D | f ( w ) | p ( 1 | w | 2 ) p 2 ( 1 | φ a ( w ) | 2 ) s d A ( w ) = sup a D D | ( f φ a ) ( z ) | p ( 1 | z | 2 ) s + p 2 d A ( z ) sup a D f φ a f ( a ) A B p 1 s p p .

 □

For 0<p<, H p denotes the Hardy space of fH(D) with

f H p p = sup 0 < r < 1 1 2 π 0 2 π | f ( r e i θ ) | p dθ<.

From [20], we know that

f B M O A = | f ( 0 ) | + sup a D f φ a f ( a ) H p <

can be defined as a norm of BMOA space.

Lemma 2.2 Let 1<p<, 0<s<1. Then F(p,p2,s)BMOA.

Proof From Lemma 2.4 of [21], we know A B p 1 s p H p and

f H p f A B p 1 s p .

Let fF(p,p2,s). By Lemma 2.1, we get

f f ( 0 ) B M O A = sup a D f φ a f ( a ) H p sup a D f φ a f ( a ) A B p 1 s p f f ( 0 ) F ( p , p 2 , s ) < .

That is, fBMOA. □

The following three lemmas will be used in the proof of Lemma 2.6. Their proofs can be found in [[22], Corollary 2.4], [[23], Lemma 2.5] or [[24], Lemma 1] and [[25], Lemma 2.1], respectively.

Lemma 2.3 Let θ be an inner function and let 1p<, 2<q< and 0<s< such that 0<q+s+1<p. Then, for any fH(D) and aD,

D | f ( z ) | p ( 1 | θ ( z ) | 2 ) p ( 1 | z | 2 ) q p ( 1 | φ a ( z ) | 2 ) s d A ( z ) D | f ( z ) | p | θ ( z ) | p ( 1 | z | 2 ) q ( 1 | φ a ( z ) | 2 ) s d A ( z ) .

Lemma 2.4 Let s>1, r,t>0, and t<s+2<r. Then

D ( 1 | w | 2 ) s | 1 w ¯ z | r | 1 w ¯ ζ | t dA(w) ( 1 | z | 2 ) 2 + s r | 1 ζ ¯ z | t ,z,ζD.

Lemma 2.5 Let 1<p<, and a>1, b0 with b<2+a, wD. If fH(D), then

D | f ( z ) f ( 0 ) | p ( 1 | z | 2 ) a | 1 w ¯ z | b dA(z) D ( 1 | z | 2 ) p | f ( z ) | p ( 1 | z | 2 ) a | 1 w ¯ z | b dA(z).

Lemma 2.6 plays an important role in the proof of Theorem 1, which generalizes Theorem 6 of [12], with a different proof motivated by [21] and [19].

Lemma 2.6 Let 1<p<, 0<s<1, fF(p,p2,s) and B be a Carleson-Newman Blaschke product with a sequence of zeros { a k } k = 1 . Then fBF(p,p2,s) if and only if

sup a D k = 1 | f ( a k ) | p ( 1 | φ a ( a k ) | 2 ) s <.

Proof Necessity. If fBF(p,p2,s), then it is easy to deduce that

sup a D D | f ( z ) | p | B ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s dA(z)<.

We will prove that

sup a D k = 1 | f ( a k ) | p ( 1 | φ a ( a k ) | 2 ) s sup a D D | f ( z ) | p | B ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) .

From the sub-mean-value property of | f | p and the estimate

1 | a k | 2 1 | z | 2 |1 a ¯ k z|,zE( a k ,r),

for r>0 (see [[26], p.69]). Here and afterwards

E( a k ,r)= { z : | φ a k ( z ) | < r } .

We have

k = 1 | f ( a k ) | p ( 1 | φ a ( a k ) | 2 ) s k = 1 ( 1 | φ a ( a k ) | 2 ) s E ( a k , r ) | f ( z ) | p | 1 a ¯ k z | 2 d A ( z ) k = 1 E ( a k , r ) | f ( z ) | p ( 1 | a k | 2 ) p ( 1 | z | 2 ) p | 1 a ¯ k z | 2 p + 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) k = 1 ( 1 | a k | 2 ) p E ( a k , r ) | f ( z ) | p ( 1 | z | 2 ) p 2 | 1 a ¯ k z | 2 p ( 1 | φ a ( z ) | 2 ) s d A ( z ) k = 1 ( 1 | a k | 2 ) p D | f ( z ) | p ( 1 | z | 2 ) p 2 | 1 a ¯ k z | 2 p ( 1 | φ a ( z ) | 2 ) s d A ( z ) = D | f ( z ) | p k = 1 ( 1 | φ a k ( z ) | 2 ) p ( 1 | z | 2 ) 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) D | f ( z ) | p ( k = 1 ( 1 | φ a k ( z ) | 2 ) ) p ( 1 | z | 2 ) 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) .
(1)

Since B is a Carleson-Newman Blaschke product with a sequence of zeros { a k } k = 1 , we have

sup z D k = 1 ( 1 | φ z ( a k ) | 2 ) 1.

Note that

1 r 2 2logr,0<r1,

we have

2log | B ( z ) | = n = 1 log | φ a k ( z ) | 2 k = 1 ( 1 | φ a k ( z ) | 2 ) .

Since the function ( 1 e x ) x is decreasing in (0,), we get

1 | B ( z ) | 2 k = 1 ( 1 | φ a k ( z ) | 2 ) 1 exp ( sup z D k = 1 ( 1 | φ a k ( z ) | 2 ) ) sup z D k = 1 ( 1 | φ a k ( z ) | 2 ) k = 1 ( 1 | φ a k ( z ) | 2 ) .

Combining this with (1) and using Lemma 2.3 yield

k = 1 | f ( a k ) | p ( 1 | φ a ( a k ) | 2 ) s D | f ( z ) | p | B ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) < .

Sufficiency. Applying the p-triangle inequality gives

D | ( f ( z ) B ( z ) ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) D | f ( z ) | p | B ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) + D | f ( z ) | p | B ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) = : I 1 + I 2 .

Since fF(p,p2,s), B H , by Theorem 2.4 of [8], we have

I 1 B H p D | f ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) f F ( p , p 2 , s ) p .

We now estimate I 2 . Using the fact that (1 | z | 2 )| B (z)|1 and

| B ( z ) | k = 1 1 | a k | 2 | 1 a ¯ k z | 2 ,

and employing the p-triangle inequality again, we have

I 2 = D | f ( z ) | p | B ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) D | f ( z ) | p | B ( z ) | ( 1 | z | 2 ) 1 ( 1 | φ a ( z ) | 2 ) s d A ( z ) D | f ( z ) | p ( k = 1 1 | a k | 2 | 1 a ¯ k z | 2 ) ( 1 | z | 2 ) 1 ( 1 | φ a ( z ) | 2 ) s d A ( z ) = k = 1 ( 1 | a k | 2 ) D | f ( z ) | p ( 1 | z | 2 ) 1 | 1 a ¯ k z | 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) k = 1 ( 1 | a k | 2 ) D | f ( a k ) | p ( 1 | z | 2 ) 1 | 1 a ¯ k z | 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) + k = 1 ( 1 | a k | 2 ) D | f ( z ) f ( a k ) | p ( 1 | z | 2 ) 1 | 1 a ¯ k z | 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) = : I 3 + I 4 .

Applying Lemma 2.4 yields

I 3 = k = 1 ( 1 | a k | 2 ) | f ( a k ) | p D ( 1 | z | 2 ) 1 | 1 a ¯ k z | 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) sup a D k = 1 | f ( a k ) | p ( 1 | φ a ( a k ) | 2 ) s < .

Let φ λ (w)= e i τ φ a ( φ a k (w)), τ[0,2π]. Making the change of variables z= φ a k (w) and using Lemma 2.5, we get

I 4 k = 1 D | ( f φ a k ) ( w ) ( f φ a k ) ( 0 ) | p ( 1 | φ λ ( w ) | 2 ) s ( 1 | w | 2 ) d A ( w ) = k = 1 ( 1 | λ | 2 ) s D | ( f φ a k ) ( w ) ( f φ a k ) ( 0 ) | p ( 1 | w | 2 ) s 1 | 1 λ ¯ w | 2 s d A ( w ) k = 1 D | ( f φ a k ) ( w ) | p ( 1 | w | 2 ) p 1 ( 1 | φ λ ( w ) | 2 ) s d A ( w ) = k = 1 D | f ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a k ( z ) | 2 ) ( 1 | φ a ( z ) | 2 ) s d A ( z ) D | f ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) f F ( p , p 2 , s ) p .

Hence, we have fθF(p,p2,s). □

The following well-known results will also be used in the proof of Theorem 1.

Lemma 2.7 ([[22], Theorem 1.4])

Let 0<s<1. Then an inner function belongs to the Möbius invariant Besov-type space F(p,p2,s) for all p>max{s,1s} if and only if it is the Blaschke product associated with a sequence { a k } k = 1 which satisfies

sup a D k = 1 ( 1 | φ a ( a k ) | 2 ) s <.

Lemma 2.8 ([[27], Lemma 21])

Let { a k } k = 1 be a sequence in D. Then the measure d μ a k = k = 1 (1 | a k | 2 ) δ a k is a Carleson measure, i.e.

sup a D k = 1 ( 1 | φ a ( a k ) | 2 ) <,

if and only if { a k } k = 1 is a finite union of uniformly separated sequences.

If θ is an inner function, for 0<ϵ<1, define the level set of order ϵ of θ as

Ω(θ,ϵ)= { z D : | θ ( z ) | < ϵ } .

Lemma 2.9 ([[28], Theorem 1])

If fBMOA and θ is an inner function, then the following conditions are equivalent:

  1. (1)

    fθBMOA;

  2. (2)

    sup z D | f ( z ) | 2 (1 | θ ( z ) | 2 )<;

  3. (3)

    sup z Ω ( θ , ϵ ) |f(z)|<, for every ϵ, 0<ϵ<1;

  4. (4)

    sup z Ω ( θ , ϵ ) |f(z)|<, for some ϵ, 0<ϵ<1.

3 Proof of Theorem 1

  1. (1)

    (2). For inner functions θF(p,p2,s), by Lemma 2.7, θ is a Blaschke product with zeros { a k } k = 1 , and

    sup a D k = 1 ( 1 | φ a ( a k ) | 2 ) s <,

which implies that

sup a D k = 1 ( 1 | φ a ( a k ) | 2 ) <.

From Lemma 2.8, θ is a Carleson-Nemwman Blaschke product. Suppose that fF(p,p2,s) and fθBMOA. Lemma 2.9 gives

sup z Ω ( θ , ϵ ) | f ( z ) | <,0<ϵ<1.

Thus,

sup a D k = 1 | f ( a k ) | p ( 1 | φ a ( a k ) | 2 ) s ( sup z Ω ( θ , ϵ ) | f ( z ) | ) p sup a D k = 1 ( 1 | φ a ( a k ) | 2 ) s < .

Applying Lemma 2.6 implies that fθF(p,p2,s). Hence, θ is (F(p,p2,s),BMOA)-improving.

  1. (2)

    (1), (3) (2). Their proofs are obvious.

  2. (2)

    (3). Let θ be (F(p,p2,s),BMOA)-improving. If the inner function θF(p,p2,s), then θ is a Carleson-Newman Blaschke product. For fF(p,p2,s), if fθB, then any Carleson-Newman Blaschke product is (BMOA,B)-improving by Corollary 1 of [12]. Therefore, fθBMOA. Notice that θ is (F(p,p2,s),BMOA)-improving, we have fθF(p,p2,s). Thus, θ is (F(p,p2,s),B)-improving. The proof of Theorem 1 is completed.

4 Proofs of Theorem 2 and Corollary 2

In this section, we borrow the idea in [19] to study the zero set of A B p t spaces. Following the proof of Lemma 2.6, we have the next result.

Lemma 4.1 Let 1<p<, 0<t<1, 0<tp<1. Suppose fA B p t , B is a Carleson-Newman Blaschke product with sequence of zeros { a k } k = 1 . Then fBA B p t if and only if

k = 1 | f ( a k ) | p ( 1 | a k | 2 ) 1 t p <.

When p=q, σ=1 or σ= 1 p in Theorem 1 of [13], we get the following lemma.

Lemma 4.2 Let 1p<, 0<t< 1 p , f H p . Then the following conditions are equivalent.

  1. (1)

    fA B p t ;

  2. (2)

    D ( D | f ( e i η ) f ( z ) | 1 | z | 2 | e i η z | d η ) p ( 1 | z | 2 ) t p 1 dA(z)<;

  3. (3)

    D D | f ( e i η ) f ( z ) | p 1 | z | 2 | e i η z | dη ( 1 | z | 2 ) t p 1 dA(z)<.

Proof of Theorem 2 (1) (2). Since { a k } k = 1 is an A B p t -zero set, there exists fA B p t such that f( a k )=0 nowhere else. By A B p t H p , there exists a Blaschke product B, a singular inner function S and an outer function g, such that f=BSg. Since S0, g0, B is a Carleson-Newman Blaschke product with zeros { a k } k = 1 , from Corollary 3.1 of [29], we know that A B p s has the f-property (see [30] for the definition of the f-property). Then

gB= f S A B p t .

Applying Lemma 4.1, we have (2).

  1. (2)

    (1). It is obvious from Lemma 4.1.

  2. (3)

    (2). By the Poisson integral formula

    g( a k )= 1 2 π D g ( e i η ) 1 | a k | 2 | e i η a k | 2 dη.

Applying Hölder’s inequality, we have

| g ( a k ) | p D | g ( e i η ) | p 1 | a k | 2 | e i η a k | 2 dη.

The desired result follows.

(2) (3). By the p-triangle inequality, we obtain

k = 1 ( 1 | a k | 2 ) 2 t p D | g ( e i η ) | p | e i η a k | 2 d η k = 1 ( 1 | a k | 2 ) 2 t p D | g ( a k ) | p + | g ( e i η ) g ( a k ) | p | e i η a k | 2 d η .

Let

I 1 =: k = 1 ( 1 | a k | 2 ) 2 t p D | g ( a k ) | p | e i η a k | 2 dη

and

I 2 =: k = 1 ( 1 | a k | 2 ) 2 t p D | g ( e i η ) g ( a k ) | p | e i η a k | 2 dη.

It is obvious that

I 1 = k = 1 ( 1 | a k | 2 ) 1 t p | g ( a k ) | p D ( 1 | a k | 2 ) | e i η a k | 2 d η k = 1 ( 1 | a k | 2 ) 1 t p | g ( a k ) | p < .

We next estimate I 2 . Since { a k } k = 1 is a finite union of interpolating sequences, we can write

{ a k } k = 1 =: 1 i n 1 j { a i j }

and there exist a positive integer n and δ i >0, i=1,2,,n, such that

j l ϱ( a i j , a i l ) δ i .

Then for fixed i, the pseudo-hyperbolic disks { E ( a i j , δ i 4 ) } j = 1 are pairwise disjoint. Notice that

G(z)=: 0 2 π | g ( e i η ) g ( z ) | p 1 | z | 2 | e i η z | 2 dη

has the generalized sub-mean-value property. Therefore,

I 2 = i = 1 n j = 1 ( 1 | a i j | 2 ) 1 t p 0 2 π | g ( e i η ) g ( a i j ) | p 1 | a i j | 2 | e i η a i j | 2 d η i = 1 n j = 1 ( 1 | a i j | 2 ) 1 t p E ( a i j , δ i 4 ) G ( u ) d A ( u ) i = 1 n j = 1 E ( a i j , δ i 4 ) G ( u ) ( 1 | u | ) 1 + t p d A ( u ) D G ( u ) ( 1 | u | ) 1 + t p d A ( u ) .

Bearing in mind Lemma 4.2, we have (3).

Now, we prove that G(z) has the generalized sub-mean-value property. Since | g ( e i η ) g ( z ) | p is subharmonic, using the sub-mean-value property, we have

| g ( e i η ) g ( z ) | p 1 | E ( z , δ ) | E ( z , δ ) | g ( e i η ) g ( w ) | p dA(w),0<δ<1.

From [[26], p.69 and Lemma 4.30], we know

1|z|1|w||1 z ¯ w|,|1 a ¯ w||1 a ¯ z|

for wE(z,δ), 0<δ<1, a D ¯ . Thus, it follows that

G ( z ) 1 | E ( z , δ ) | E ( z , δ ) D | g ( e i η ) g ( w ) | p 1 | w | 2 | e i η w | 2 d η d A ( w ) = 1 | E ( z , δ ) | E ( z , δ ) G ( w ) d A ( w ) .

That is, G(z) 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 1p< and 0<s<1. Suppose f= I f O f F(p,p2,s), where I f and O f are inner-outer factors. Let I be an inner function dividing I f . Then f/IF(p,p2,s).

Proof Let fF(p,p2,s)A B p 1 s p . By the Möbius invariant property of F(p,p2,s), we have f φ a F(p,p2,s). From Corollary 3.1 of [29], we get

D | ( f ( z ) I ( z ) ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) = D | ( f φ a ( z ) I φ a ( z ) ) | p ( 1 | z | 2 ) p 2 + s d A ( z ) D | ( f φ a ) ( z ) | p ( 1 | z | 2 ) p 2 + s d A ( z ) = D | f ( z ) | p ( 1 | z | 2 ) p 2 ( 1 | φ a ( z ) | 2 ) s d A ( z ) .

The desired result follows. □

Proof of Corollary 2 Taking the same sequence { a k } k = 1 as in Proposition 1. Let B(z) be the associated Blaschke product. Notice the fact that F(p,p2,t)A B p 1 t p , it implies that { a k } k = 1 is not a F(p,p2,t)-zero set. We deduce that B(z) does not belong to F(p,p2,s). Combining this with Lemma 4.3, the proof of the rest is similar to that of Theorem 2 of [12] and thus is omitted. □

References

  1. Garnett J: Bounded Analytic Functions. Academic Press, New York; 1981.

    MATH  Google Scholar 

  2. Ahern P: The mean modulus of derivative of an inner function. Indiana Univ. Math. J. 1979, 28: 311-347. 10.1512/iumj.1979.28.28022

    Article  MathSciNet  MATH  Google Scholar 

  3. Ahern P, Clark DN:On inner functions with H p derivative. Mich. Math. J. 1974, 21: 115-127.

    Article  MathSciNet  MATH  Google Scholar 

  4. Ahern P, Clark DN:On inner functions with B p derivative. Mich. Math. J. 1976, 23: 107-118.

    Article  MathSciNet  MATH  Google Scholar 

  5. Gluchoff A: On inner functions with derivative in Bergman spaces. Ill. J. Math. 1987, 31: 518-527.

    MathSciNet  MATH  Google Scholar 

  6. Kim HO: Derivatives of Blaschke products. Pac. J. Math. 1984, 114: 175-190. 10.2140/pjm.1984.114.175

    Article  MathSciNet  MATH  Google Scholar 

  7. Dyakonov K: Self-improving behaviour of inner functions as multipliers. J. Funct. Anal. 2006, 240: 429-444. 10.1016/j.jfa.2006.03.020

    Article  MathSciNet  MATH  Google Scholar 

  8. Zhao R: On a general family of function spaces. Ann. Acad. Sci. Fenn., Math. Diss. 1996, 105: 1-56.

    Article  MathSciNet  Google Scholar 

  9. Xiao J LNM 1767. In Holomorphic Q Classes. Springer, Berlin; 2001.

    Chapter  Google Scholar 

  10. Xiao J: Geometric Qp Functions. Birkhäuser, Basel; 2006.

    Google Scholar 

  11. 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, 1993

    Google Scholar 

  12. Peláez J: Inner functions as improving multipliers. J. Funct. Anal. 2008, 255: 1403-1418. 10.1016/j.jfa.2008.06.010

    Article  MathSciNet  MATH  Google Scholar 

  13. Dyakonov K: Besov spaces and outer functions. Mich. Math. J. 1998, 45: 143-157.

    Article  MathSciNet  MATH  Google Scholar 

  14. Carleson, L: On a class of meromorphic functions and its associated exceptional sets. Uppsala (1950)

    MATH  Google Scholar 

  15. Carleson L: On the zeros of functions with bounded Dirichlet integrals. Math. Z. 1952, 56: 289-295. 10.1007/BF01174755

    Article  MathSciNet  MATH  Google Scholar 

  16. 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-5

    Article  MathSciNet  MATH  Google Scholar 

  17. 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/BF01162379

    Article  MathSciNet  MATH  Google Scholar 

  18. Taylor B, Williams D: Zeros of Lipschitz functions analytic in the unit disc. Mich. Math. J. 1971, 18: 129-139.

    Article  MathSciNet  MATH  Google Scholar 

  19. 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-6

    Article  MathSciNet  MATH  Google Scholar 

  20. 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 

  21. 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.3589

    Article  MathSciNet  MATH  Google Scholar 

  22. 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/S0013091507000818

    Article  MathSciNet  MATH  Google Scholar 

  23. Ortega JM, Fàbrega J: Pointwise multipliers and Corona type decomposition in BMOA. Ann. Inst. Fourier (Grenoble) 1996, 46: 111-137. 10.5802/aif.1509

    Article  MathSciNet  MATH  Google Scholar 

  24. Zhao R: Distances from Bloch functions to some Möbius invariant spaces. Ann. Acad. Sci. Fenn., Math. Diss. 2008, 33: 303-313.

    MATH  Google Scholar 

  25. 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/1224783520

    Article  MathSciNet  MATH  Google Scholar 

  26. Zhu K: Operator Theory in Function Spaces. Am. Math. Soc., Providence; 2007.

    Book  MATH  Google Scholar 

  27. McDonald G, Sundberg C: Toeplitz operators on the disc. Indiana Univ. Math. J. 1979, 28: 595-611. 10.1512/iumj.1979.28.28042

    Article  MathSciNet  MATH  Google Scholar 

  28. Dyakonov K: Division and multiplication by inner functions and embedding theorems for star-invariant subspaces. Am. J. Math. 1993, 115: 881-902. 10.2307/2375016

    Article  MathSciNet  MATH  Google Scholar 

  29. Böe B: A norm on the holomorphic Besov space. Proc. Am. Math. Soc. 2003, 131: 235-241. 10.1090/S0002-9939-02-06529-2

    Article  MathSciNet  MATH  Google Scholar 

  30. Hedenmalm H: On the f - and K -properties of certain function spaces. Contemp. Math. 1989, 91: 89-91.

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by NSF of China (No. 11171203) and NSF of Guangdong Province (Grant No. 10151503101000025 and No. S2011010004511).

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Zengjian Lou.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

All authors contributed equally in the preparation of this article. All authors read and approved the final manuscript.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Lou, Z., Qian, R. Inner functions as improving multipliers and zero sets of Besov-type spaces. J Inequal Appl 2014, 312 (2014). https://doi.org/10.1186/1029-242X-2014-312

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/1029-242X-2014-312

Keywords