- Research
- Open Access

# On the eleventh question of Allen Shields

- Bahmann Yousefi
^{1}Email author and - Ali Iloon Kashkooly
^{2}

**2011**:16

https://doi.org/10.1186/1687-1812-2011-16

© Yousefi and Kashkooly; licensee Springer. 2011

**Received:**28 March 2011**Accepted:**20 July 2011**Published:**20 July 2011

## Abstract

In this article, we will give sufficient conditions for the boundedness of the analytic projection on the set of multipliers of the formal Laurent series spaces. This answers a question that has been raised by A. L. Shields. Also, we will characterize the fixed points of some weighted composition operators acting on weighted Hardy spaces.

**AMS Subject Classification:** Primary 47B37; Secondary 47B38.

## Keywords

- Banach space of Laurent series associated with a sequence
*β* - bounded point evaluation; spectral set
- weak operator topology

## 1 Introduction

Let
be a sequence of positive numbers satisfying *β*(0) = 1. If 1 *< p <* ∞, then the space *L*^{
p
} (*β*) consists of all formal Laurent series
such that the norm
is finite. When *n* just runs over **ℕ** ∪ {0}, the space *L*^{
p
} (*β*) only contains formal power series
, and it is usually denoted by *H*^{
p
} (*β*). These spaces are also called as weighted Hardy spaces. If *p* = 2, such spaces were introduced by Allen L. Shields to study weighted shift operators in his article [1] which is one of basic studies in this area, and is a pretty large study that contains a number of interesting results, and indeed it is mainly of auxiliary nature. Actually, Shields showed a close relation between injective weighted shifts and the multiplication operator *M*_{
z
} acting on *L*^{2}(*β*) or *H*^{2}(*β*) (see [[1], Proposition 7]). These are reflexive Banach spaces with the norm ||·||_{
β
}. Let
. Hence, *f*_{
k
} (*z*) = *z*^{
k
} and {*f*_{
k
} }_{k∈ℤ}is a basis for *L*^{
p
} (*β*) such that ||*f*_{
k
} || = *β*(*k*). Clearly *M*_{
z
} , the operator of multiplication by *z* on *L*^{
p
} (*β*), shifts the basis {*f*_{
k
} }_{
k
}. The operator *M*_{
z
} is bounded, if and only if {*β*(*k* + 1)/*β* (*k*)} _{
k
} is bounded, and in this case
for all *n* ∈ **ℕ** ∪ {0}.

We say that a complex number *λ* is a bounded point evaluation on *L*^{
p
} (*β*) if the functional *e*(*λ*) :
defined by *e*(*λ*)(*f*) = *f*(*λ*) is bounded.

Let *X* be a Banach space. It is convenient and helpful to introduce the notation *< x, x* >* to stand for *x**(*x*), for *x* ∈ *X* and *x** ∈ *X**. Also, the set of bounded linear operators on *X* is denoted by *B*(*X*). If *A* ∈ *B*(*X*), then by *σ*(*A*) we mean the spectrum of *A* and by *r*(*A*) we mean the spectral radius of *A*.

By the same method used in [2], we can see that where . Also, if and , then clearly . For some sources on these topics, we refer to [1–14].

If Ω is a domain in the complex plane
, then by *H*(Ω) and *H*^{∞}(Ω) we mean the set of analytic functions and the set of bounded analytic functions on Ω, respectively. By ||·||_{Ω}, we denote the supremum norm on Ω.

We denote the set of multipliers {*φ* ∈ *L*^{
p
} (*β*) : *φL*^{
p
} (*β*) ⊆ *L*^{
p
} (*β*)} by
and the linear transformation of multiplication by *φ* on *L*^{
p
} (*β*) by *M*_{
φ
} . The space
is a commutative Banach algebra with the norm ||*φ*||_{∞} = ||*M*_{
φ
} ||.

By an analytic projection we mean the map which send each two-sided sequence into the corresponding one-sided sequence [1].

It is known that the analytic projection for the unweighted shift is unbounded ([[15], Prob. 9, Chapter 14]). In this paper, we want to investigate conditions under which the analytic projection on to be bounded. Also, we investigate the fixed points of some weighted composition operators acting on weighted Hardy spaces.

## 2 Main results

First we note that the multiplication operator *M*_{
z
} on *L*^{
p
} (*β*) is unitarily equivalent to an injective bilateral weighted shift and conversely, every injective bilateral weighted shift is unitarily equivalent to *M*_{
z
} acting on *L*^{
p
} (*β*) for a suitable choice of *β*. Throughout this article, *M*_{
z
} is a bounded operator on *L*^{
p
} (*β*).

Define the analytic projection
by *J*(*φ*) = *φ*_{1}. Then, the projection J is clearly bounded since ||*J*(*φ*)|| _{
p
} = ||*φ*_{1}|| _{
p
} ≤ ||*φ*|| _{
p
} ≤ ||*φ*||_{∞}. The problem of boundedness raised when we consider the projection J from
into
. It is certainly bounded if *M*_{
z
} is not invertible on *L*^{
p
} (*β*), since in this case we will see that for
in
, it should be
for all *n <* 0. However, this projection is not necessarily a bounded operator on
. For example, as stated in [1], it is not bounded when *β*(*n*) = 1 for all n in **ℤ** (see also [[16], Chapter VII, equations (2.2) and (2.3)]). We want to investigate those weighted Hardy spaces that admit the analytic projection as a bounded linear operator on
. This answers the following question that has been considered by Shields in [[1], p. 91, Question 11]:

**Question**. For which bilateral shifts is the analytic projection a bounded operator on
?

If *r*_{01}*< r*_{11}, then by the same method used for the formal power series in [2], we can see that each point of Ω_{1} is a bounded point evaluation on *L*^{
p
} (*β*).

Note that for the algebra *B*(*X*) of all the bounded operators on a Banach space *X*, the weak operator topology is the one such that *A*_{
α
} → *A* in the weak operator topology if and only if *A*_{
α
}*x* → *Ax* weakly, *x* ∈ *X*.

For the proof of the main theorems, we need the following lemmas.

**Lemma 1**. If there exists a constant *c >* 0 such that
for all Laurent polynomials *p*, then
.

*P*

_{ n }(

*φ*) are the averages of the partial sums of

*φ*. Now, clearly

*J*(

*P*

_{ n }(

*φ*)) =

*P*

_{ n }(

*J*(

*φ*)) and we can also see that . But

*P*

_{ n }(

*φ*) is a Laurent polynomial; thus by the assumption, we have

*n*∈

**ℕ**∪ {0}. Hence, is a norm-bounded sequence in

*B*(

*L*

^{ p }(

*β*)). Now, since the unit ball of

*B*(

*L*

^{ p }(

*β*)) is compact in the weak operator topology, we may assume, by passing to a subsequence if necessary, that for some operator

*A*in the weak operator topology. Put

*Q*

_{ n }=

*P*

_{ n }(

*J*(

*φ*)). Then, clearly we have . Thus, we get

*f*

_{0}and

*f*

_{ k }are considered, respectively, as elements of

*L*

^{ p }(

*β*) and . Hence, we obtain

for all *j* and *k* (here *f*_{
j
} ∈ *L*^{
p
} (*β*) and
. However,
is bounded, and
in the weak operator topology, and so *A* = *M*_{J(φ)}and indeed
. Now, by applying the closed graph theorem and the continuity of the coefficient functionals on
, we conclude that
. □

**Lemma 2**. Let *J*_{1} = *I* - *J* and
for all Laurent polynomials *p*, then
.

**Proof**. By the same method used in the proof of Lemma 1, we can see that
and this implies that *J* is also a bounded operator from
into
. Hence, the proof is complete. □

**Theorem 3**. Let *M*_{
z
} be invertible on *L*^{
p
} (*β*), *r*_{22}*< r*_{33} and let for some *d >* 0,
for all Laurent polynomials *p*. Then,
.

**Proof**. First, note that since

*M*

_{ z }is invertible, then , and hence, the inequality

*r*

_{22}

*< r*

_{33}implies that ||

*M*

_{ z }|| ∉

*σ*(

*M*

_{ z }). Thus, by the Cauchy integral formula we have

*t*→ ||(

*e*

^{ it }||

*M*

_{ z }|| -

*M*

_{ z })

^{-1}|| is continuous on [0, 2

*π*] and so it should be constant, say

*c*

_{1}. Thus, for all polynomials

*p*we get

We have
. On the other hand, since *q* ∈ *H*^{∞}(Ω_{3}), by using the Lemma in [[1], page 81], we get
where
. By the assumption
, thus
. Therefore, ||*M*_{J(q)}|| ≤ *cdc*_{0}||*M*_{
q
}|| for all Laurent polynomials *q* and so by Lemma 1 the proof is complete. □

**Theorem 4**. Let *M*_{
z
} be invertible on *L*^{
p
} (*β*), *r*_{23}*< r*_{12}, and let for some *d >* 0, the relation
holds for all Laurent polynomials *q*. Then,
.

**Proof**. It is sufficient to prove that

*J*

_{1}=

*I*-

*J*is a bounded operator on . Note that since

*r*

_{23}

*< r*

_{12}, thus . Now by using the relation (*) with replacing

*z*by and

*M*

_{ z }by we get for all polynomials

*q*in

*z*

^{-1}. Now, let

*p*be a Laurent polynomial. Then,

*p*∈

*H*

^{∞}(Ω

_{3}), by using the Lemma in [[1], p. 81], we get where . By the assumption we obtain

for all Laurent polynomials *p*. Now by Lemma 2,
and so the proof is complete. □

**Proposition 5**. If *M*_{
z
} is not invertible on *L*^{
p
} (*β*), then
.

**Proof**. Let . Since

*M*

_{ z }is not invertible, . Now by the relation (

****) in the proof of Theorem 6, we have

Hence, for *k* = -1 we get
for all
. Multiplying by *z* we have
, etc. Thus,
for all *n* ≤ -1 and so *J* is identity, i.e., *J*(*φ*)(*z*) = *φ*(*z*) for all
and so the proof is complete. □

**Definition 6**. Let *X* be a Banach space. A compact subset *K* of the plane is called a spectral set of *A* ∈ *B*(*X*), if it contains the spectrum of *A*, *σ*(*A*), and ||*f*(*A*)|| ≤ max{*|f*(*z*)*|* : *z* ∈ *K*} for all rational functions *f* with poles off *K*.

From now on suppose that *M*_{
z
} is invertible on *L*^{
p
} (*β*) and Ω_{2} is nonempty.

**Theorem 7**. If *σ*(*M*_{
z
} ) is a spectral set for *M*_{
z
} , then the analytic projection is a bounded operator on
.

**Proof**. Suppose that denotes the analytic projection. Note that . Since

*σ*(

*M*

_{ z }) is a spectral set, we have for all polynomials

*p*. Also, since Ω

_{2}is nonempty, we have

*r*

_{12}

*< r*

_{22}. Now, let

*q*(

*z*) =

*q*

_{1}(

*z*) +

*q*

_{2}(

*z*) be a Laurent polynomial such that and . Thus, we have where (see the Lemma in [[1], p. 81]). Therefore,

_{2}is a bounded point evaluation on . Indeed, if , then the relation implies that

and so
where by the root test the series
converges on Ω_{2}. This implies that
and each points of Ω_{2} is a bounded point evaluation on
. Also, Ω_{2} is the largest open annulus such that
(see [2] for the case of formal power series). Since
is a commutative Banach algebra and *e*_{
λ
} is multiplicative, it should be ||*e*_{
λ
} || = 1 for all *λ* ∈ Ω_{2}, and this implies that
for all *ψ* in
. Therefore, ||*M*_{J(q)}|| ≤ *cc*_{1}||*M*_{
q
} || for all Laurent polynomials *q*. So the proof is complete. □

**Corollary 8**. If
for all polynomials *p*, then the analytic projection is a bounded operator on
.

**Proof**. In the proof of Theorem 7, we only used the inequality in the definition of the spectral set for polynomials instead of rational functions. Hence, Theorem 7 is also consistent if we substitute the statement "
for all polynomials *p* in *z*", instead of the statement "*σ*(*M*_{
z
} ) be a spectral set for *M*_{
z
} ". This completes the proof. □

**Corollary 9**. If
for all polynomials *q* in *z*^{-1}, then the analytic projection is a bounded operator on
.

*J*

_{1}(

*p*) =

*p*

_{2}. Now by the Lemma in [[1], p. 81], we have where . Thus, by this hypothesis, we get

Now, the result follows from Lemma 2. □

Now we consider the special case when *p* = 2.

**Theorem 10**. Let *M*_{
z
} be invertible on *L*^{2}(*β*). If 0 *< r*_{12} = *r*_{23}*< r*_{22} = *r*_{33}, then
.

**Proof**. Note that for the Hilbert space *L*^{2}(*β*), the Von Neumann's inequality holds and since *r*_{23}*< r*_{33}, there exists a number *c >* 0 such that
for all Laurent polynomials *p* (see Proposition 23 in [[1], p. 82]). Also, note that Ω_{2} = Ω_{3}.

*p*∈

*H*

^{∞}(Ω

_{3}), we have where . On the other hand, since

*r*

_{12}

*< r*

_{22}, as we saw earlier, and for all

*φ*in . Therefore, we get

Now by Lemma 1, the proof is complete. □

Studying the fixed points of weighted composition operators entails a study of the iterate behavior of holomorphic self-maps. The holomorphic self maps of the open unit disc *U* are divided into classes of elliptic and non-elliptic. The elliptic type is an automorphism and has a fixed point in *U*. The maps that are not elliptic are called of non-elliptic type. The iterate of a non-elliptic map can be characterized by the Denjoy-Wolff Iteration Theorem [3]. By *ψ*_{
n
} we denote the nth iterate of *ψ* and by *ψ*' (*w*) we denote the angular derivative of *ψ* at *w* ∈ *∂U*. Note that if *w* ∈ *U*, then *ψ*' (*w*) has the natural meaning of derivative.

**Denjoy-Wolff Iteration Theorem**. Suppose *ψ* is a holomorphic self-map of *U* that is not an elliptic automorphism.

(*i*) If *ψ* has a fixed point *w* ∈ *U*, then *ψ*_{
n
} → *w* uniformly on compact subsets of *U*, and *|ψ*'(*w*)*| <* 1.

(*ii*) If *ψ* has no fixed point in *U*, then there is a point *w* ∈ *∂U* such that *ψ*_{
n
} → *w* uniformly on compact subsets of *U*, and the angular derivative of *ψ* exists at *w*, with 0 *< ψ'* (*w*) ≤ 1.

We call the unique attracting point *w*, the Denjoy-Wolff point of *ψ*.

Suppose that *ψ* is a holomorphic self-map of *U* such that the composition operator *C*_{
ψ
} acts boundedly on a Banach space of formal power series *H*^{
p
} (*β*), and *φ* belongs to
, the set of multipliers of *H*^{
p
} (*β*). Then, the weighted composition operator *C*_{
ψ,φ
} acting on *H*^{
p
} (*β*) is defined by *C*_{
φ,ψ
} = *M*_{
φ
}*C*_{
ψ
} . Note that if
, then *H*^{
p
} (*β*) ⊂ *H*(*U*), and each point of *U* is a bounded point evaluation on *H*^{
p
} (*β*).

**Theorem 11**. Suppose that *ψ* is a holomorphic self-map of *U* such that ||*ψ*|| _{
U
} *<* 1, and the composition operator *C*_{
ψ
} acts boundedly on a Banach space of formal power series *H*^{
p
} (*β*) with
. Also suppose that *φ* is a multiplier of *H*^{
p
} (*β*), and *w* is the Denjoy-Wolff point of *ψ*. If
and *φ*(*w*) ≠ 0, then the operator *C*_{Φ,ψ}has a nonzero fixed point on *H*^{
p
} (*β*) where
.

**Proof**. Note that

*w*∈

*U*since ||

*ψ*||

_{ U }

*<*1. Assume that

*φ*(

*w*) ≠ 0. Choose

*δ*with

*|ψ*'(

*w*)

*| < δ <*1. Without loss of generality, suppose that

*w*= 0. Hence,

*|ψ*(

*z*)

*| < δ|z|*when z is sufficiency near to zero. If

*K*is a compact subset of

*U*, then by the Denjoy-Wolff Theorem,

*ψ*

_{ n }→ 0 uniformly on

*K*and |

*ψ*

_{n+k}(

*z*)| <

*δ*

^{ k }|

*ψ*

_{ n }(

*z*)

*|*for sufficiently large n and every

*k*∈

**ℕ**, and

*z*∈

*K*. This implies that converges uniformly on compact subsets of

*U*. Since

*φ*is bounded, an application of Schwarz's lemma shows that there exists a constant

*M >*0 such that

*|φ*(0) -

*φ*(

*z*)

*| < M|z|*for every

*z*∈

*U*. However,

*φ*(0) ≠ 0, thus

*U*. Set . Then

*g*is a nonzero holomorphic function on

*U*. Also, note that

*φ*·

*g*◦

*ψ*=

*φ*(0)

*g*. Thus, generally there is a function

*g*∈

*H*(

*U*) such that

Because ||*ψ*_{
n
} || _{
U
} *<* 1, the function *g*◦*ψ*_{
n
} ∈ *H*^{∞}(*U* ); moreover, each factor of
belongs to *H*^{∞}(*U*) since *φ* belongs to *H*^{∞}(*U*). Thus, *g* ∈ *H*^{∞} (*U*) ⊆ *H*^{
p
} (*β*), and thus (****) shows that the operator *C*_{Φ,ψ}has a nonzero fixed point on *H*^{
p
} (*β*) as desired. □

## Declarations

### Acknowledgements

The authors would like to thank Professor Manuel De la Sen for correspondences that led to Theorem 11. This paper is dedicated to Ali ibn-e Hamzeh.

## Authors’ Affiliations

## References

- Shields AL:
**Weighted shift operators and analytic function theory.***Math Surv Am Math Soc*1974,**13:**49–128.MathSciNetGoogle Scholar - Yousefi B:
**Bounded analytic structure of the Banach space of formal power series.***Rendiconti Del Circolo Matematico Di Palermo*2002,**51:**403–410. 10.1007/BF02871850MathSciNetView ArticleGoogle Scholar - Cowen CC, MacCluer BD:
**Composition Operators on the Spaces of Analytic Functions.***CRC Press*1995.Google Scholar - Seddighi K, Yousefi B:
**On the reflexivity of operators on functions spaces.***Proc Am Math Soc*1992,**116:**45–52. 10.1090/S0002-9939-1992-1104402-5MathSciNetView ArticleGoogle Scholar - Yousefi B:
**On the space**λ^{ p }**(**β**).***Rendiconti Del Circolo Matematico Di Palermo, Serie II, Tomo XLIX*2000, 115–120.Google Scholar - Yousefi B:
**Unicellularity of the multiplication operator on Banach spaces of formal power series.***Studia Mathematica*2001,**147**(3):201–209. 10.4064/sm147-3-1MathSciNetView ArticleGoogle Scholar - Yousefi B, Jahedi S:
**Composition operators on Banach spaces of formal power series.***Bollettino Della Unione Matematica Italiana*2003,**8**(6-B):481–487.MathSciNetGoogle Scholar - Yousefi B:
**Strictly cyclic algebra of operators acting on Banach spaces**H^{ p }**(**β**).***Czech Math J*2004,**54**(129):261–266.MathSciNetView ArticleGoogle Scholar - Yousefi B, Soltani R:
**On the Hilbert space of formal power series.***Honam Math J*204,**26**(3):299–308.MathSciNetGoogle Scholar - Yousefi B:
**Composition operators on weighted Hardy spaces.***Kyungpook Math J*2004,**44:**319–324.MathSciNetGoogle Scholar - Yousefi B, Dehghan YN:
**Reflexivity on weighted Hardy spaces.***Southeast Asian Bull Math*2004,**28:**587–593.MathSciNetGoogle Scholar - Yousefi B:
**On the eighteenth question of Allen Shields.***Int J Math*2005,**16**(1):37–42. 10.1142/S0129167X05002758MathSciNetView ArticleGoogle Scholar - Yousefi B, Kashkuli AI:
**Cyclicity and unicellularity of the differentiation operator on Banach spaces of formal power series.***Math Proc R Irish Acad*2005,**105A**(1):1–7.MathSciNetView ArticleGoogle Scholar - Yousefi B, Farrokhinia A:
**On the hereditarily hypercyclic operators.***J Korean Math Soc*2006,**43**(6):1219–1229.MathSciNetView ArticleGoogle Scholar - Rudin W:
**Real and Complex Analysis.***McGraw-Hill, New York*1974.Google Scholar - Zygmond A:
*Trigonometric Series.**Volume I*. 2nd edition. Cambridge University Press, New York; 1959.Google Scholar - Zorboska N:
**Hyponormal composition operators on weighted Hardy spaces.***Acta Sci Math (Szeged)*1991,**55:**399–402.MathSciNetGoogle Scholar - Zorboska N:
**Angular derivative and compactness of composition operators on large weighted Hardy spaces.***Canad Math Bull*1994,**37:**428–432. 10.4153/CMB-1994-061-8MathSciNetView ArticleGoogle Scholar - Asadi M, Soleimani H, Vaezpour SM, Rhoades BE:
**On T-stability of picard iteration in cone metric spaces.***Fixed Point Theory Appl*2009,**2009:**6. Article ID 751090MathSciNetGoogle Scholar - Harder AM, Hicks TL:
**Stability results for fixed point iteration procedures.***Mathematica Japanica*1988,**33**(5):693–706.MathSciNetGoogle Scholar - Huang LG, Zheng X:
**Cone metric space and fixed point theorems of contractive mapping.***J Math Anal Appl*2007,**332**(2):1468–1476. 10.1016/j.jmaa.2005.03.087MathSciNetView ArticleGoogle Scholar - Ilic D, Rakocevic V:
**Quasi-contraction on a cone metric space.***Appl Math Lett*2008,**22**(5):728–731.MathSciNetView ArticleGoogle Scholar - Qing Y, Rhoades BE:
**T-stability of picard iteration in metric spaces.***Fixed Point Theory Appl*2008,**2008:**4. Article ID 418971Google Scholar - Rhoades BE, Soltus SM:
**The equivalence between the T-stabilities of Mann and Ishikawa iterations.***J Math Anal Appl*2006,**318:**472–475. 10.1016/j.jmaa.2005.05.066MathSciNetView ArticleGoogle Scholar - Sen MDL:
**On the characterization of Hankel and Toeplitz operators describing switched linear dynamic systems with point delays.***Abst Appl Anal*2009,**2009:**19. Article ID 314581Google Scholar - Sen MDL:
**Stability and convergence results based on fixed point theory for a generalized viscosity iterative scheme.***Fixed Point Theory Appl*2009,**2009:**34. Article ID 670314Google Scholar - Yadegarnegad A, Jahedi S, Yousefi B, Vaezpour SM: Semistability of iterations in cone spaces. , in press.Google Scholar
- Zamfirescu T:
**Fixed point theorem in metric spaces.***Arch Math (Basel)*1972,**23:**91–101.MathSciNetView ArticleGoogle Scholar

## Copyright

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.