- Research
- Open Access
- Published:

# On the eleventh question of Allen Shields

*Fixed Point Theory and Applications*
**volume 2011**, Article number: 16 (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.

## 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} (*β*).

Let be in where

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 ?

We will use the following notations:

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 .

**Proof**. Let be an arbitrary element in and define

Indeed, the functions *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

for all *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

where *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

for all polynomials *p*. Therefore,

However, *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

where *c* = *c*_{1}||*M*_{
z
} ||. Now, let *q* be a Laurent polynomial. Then,

where

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,

where

Hence, . Since *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,

But and each point of Ω_{2} is a bounded point evaluation on . Indeed, if , then the relation implies that

By taking *k* = *n* - *m*, we get for all *m*. Therefore,

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 .

**Proof**. Put *J*_{1} = *I* - *J* where denotes the analytic projection. So for a Laurent polynomial

where and , we have *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}.

Let

where

Thus, . Since *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

By substituting *ψ*_{
i
} (*z*) instead of *z* in the above inequality, we get

This implies that and consequently converges uniformly on compact subsets of *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

Hence

so 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. □

## References

Shields AL:

**Weighted shift operators and analytic function theory.***Math Surv Am Math Soc*1974,**13:**49–128.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/BF02871850Cowen CC, MacCluer BD:

**Composition Operators on the Spaces of Analytic Functions.***CRC Press*1995.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-5Yousefi B:

**On the space***λ*^{p}**(***β***).***Rendiconti Del Circolo Matematico Di Palermo, Serie II, Tomo XLIX*2000, 115–120.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-1Yousefi B, Jahedi S:

**Composition operators on Banach spaces of formal power series.***Bollettino Della Unione Matematica Italiana*2003,**8**(6-B):481–487.Yousefi B:

**Strictly cyclic algebra of operators acting on Banach spaces***H*^{p}**(***β***).***Czech Math J*2004,**54**(129):261–266.Yousefi B, Soltani R:

**On the Hilbert space of formal power series.***Honam Math J*204,**26**(3):299–308.Yousefi B:

**Composition operators on weighted Hardy spaces.***Kyungpook Math J*2004,**44:**319–324.Yousefi B, Dehghan YN:

**Reflexivity on weighted Hardy spaces.***Southeast Asian Bull Math*2004,**28:**587–593.Yousefi B:

**On the eighteenth question of Allen Shields.***Int J Math*2005,**16**(1):37–42. 10.1142/S0129167X05002758Yousefi 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.Yousefi B, Farrokhinia A:

**On the hereditarily hypercyclic operators.***J Korean Math Soc*2006,**43**(6):1219–1229.Rudin W:

**Real and Complex Analysis.***McGraw-Hill, New York*1974.Zygmond A:

*Trigonometric Series.**Volume I*. 2nd edition. Cambridge University Press, New York; 1959.Zorboska N:

**Hyponormal composition operators on weighted Hardy spaces.***Acta Sci Math (Szeged)*1991,**55:**399–402.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-8Asadi 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 751090Harder AM, Hicks TL:

**Stability results for fixed point iteration procedures.***Mathematica Japanica*1988,**33**(5):693–706.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.087Ilic D, Rakocevic V:

**Quasi-contraction on a cone metric space.***Appl Math Lett*2008,**22**(5):728–731.Qing Y, Rhoades BE:

**T-stability of picard iteration in metric spaces.***Fixed Point Theory Appl*2008,**2008:**4. Article ID 418971Rhoades 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.066Sen 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 314581Sen 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 670314Yadegarnegad A, Jahedi S, Yousefi B, Vaezpour SM:

**Semistability of iterations in cone spaces.**, in press.Zamfirescu T:

**Fixed point theorem in metric spaces.***Arch Math (Basel)*1972,**23:**91–101.

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

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Authors' contributions

The study of weighted Hardy spaces lies at the interface of analytic function theory and operator theory. As a part of operator theory, research on multiplication operators acting on weighted Hardy spaces is of fairly recent origin, dating back to valuable work of Allen Shields [1] in the mid 1970's. The multiplication and composition operators have been the focus of attention for several decades and many of it's properties have been studied. One of another basic works in this area is "composition operators on the spaces of analytic functions" due to Cowen and MacCluer [3], which is a pretty large work that contains a number of interesting results and indeed it is mainly of auxiliary nature. Some properties of composition operators, such as hyponormality and compactness, have been studied by Zorboska on these spaces (see [17, 18]). The properties of unicellularity and strictly cyclicity of the multiplication operator *M*_{
z
} have been studied on these spaces in [6, 8]. We gave some necessary conditions for the multiplication operator *M*_{
z
} , acting on weighted Hardy spaces, to be reflexive (see [12]). This answers the eighteenth question raised by Allen Shields in [1]. In this article, we have given conditions under which the analytic projection is bounded on . This answers the eleventh question of Allen Shields raised in [1]. Also, we characterized the fixed points of some weighted composition operators acting on weighted Hardy spaces. At the end, we note that the weighted Hardy spaces (similar to (cone) metric spaces) will be mentioned as potential materials for further studies on stability of some iteration procedures, and we will continue the investigation on these topics such as [19–28] in our future studies.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Yousefi, B., Kashkooly, A.I. On the eleventh question of Allen Shields.
*Fixed Point Theory Appl* **2011, **16 (2011). https://doi.org/10.1186/1687-1812-2011-16

Received:

Accepted:

Published:

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

### Keywords

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