`Journal of Function Spaces and ApplicationsVolume 2012 (2012), Article ID 393710, 5 pageshttp://dx.doi.org/10.1155/2012/393710`
Research Article

## -Algebras Generated by a System of Unilateral Weighted Shifts and Their Application

Department of Mathematics, Faculty of Science, Istanbul University, 34134 Istanbul, Turkey

Received 5 September 2012; Accepted 28 November 2012

Copyright © 2012 Beyaz Basak Koca and Nazim Sadik. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

We study the structure -algebras generated by a system of unilateral weighted shifts. Finally the obtained results are applied to a class of integral equations.

#### 1. Introduction

The structure of -algebras generated by isometry is determined in [1, 2]. The structure is the same with the structure of -algebras generated by unilateral weighted shift operators, that is, the structure of -algebras generated by multiplication operators with the independent variable in the Hardy space on the unit disc. The analogue of the unit disc on is the polydisc or the unit ball The structures of -algebras generated by multiplication operators with the independent variable in the Hardy space on the unit ball and polydisc are different. To understand this difference we study the structure of -algebras generated by system of unilateral weighted shifts.

Let be a multiindex of integers and denotes for the multi-index . Here is another multi-index , where is the Kronocker symbol.

Let be an orthonormal basis of a separable complex Hilbert space and let be a bounded net of complex numbers. Denote by the bounded linear operators whose effect on the elements of basis of is given as . A family of operators, denoted by , is called a system of unilateral weighted shifts, and the numbers of are called the weights of the system. It is known from [3, page 209, Corollary 2] that for shifts with nonzero weights , without loss of generality we may always assume the weights are a set of positive real numbers, that is, the system positive. It is possible to show that if there exists a solution for the multivariable moment problem for the net where , , that is, if there exists the probability measure on ( times) such that then the system is unitarily equivalent to the system of multiplication operators by the independent variables , , on the space where , .

The reader can find for more details of such operators in the article by Jewell and Lubin [3] and Ergezen and Sadik [4]. Furthermore the papers of Curto and Yoon [5] and Curto and Yan [6] are closely related to our study.

#### 2. -Algebras Generated by a System of Unilateral Weighted Shifts

Let denote the family of the systems which satisfy the functional model defined above. Moreover, let be a subset of defined by

Theorem 2.1 (see [4, page 25, Theorem 2]). Let . A necessary and sufficient condition for the operator algebra generated by the system to be isometrically isomorphic to the polydisc algebra is that belongs to .

This theorem will be helpful in studying the structure of -algebra generated by .

Let denote the orthogonal projection of onto and let lie in . Then the Toeplitz operator for in .

Without loss of generality we may take . The following theorems for were given by Sadikov [7].

Theorem 2.2. Let . If the algebra generated by the system is polydisc algebra then the commutator ideal of contains properly the ideal of compact operators and the quotient space is isometrically isomorphic to and , where is unit circle and is the two point space.

Corollary 2.3. Let . Then necessary and sufficient condition for to be Fredholm is that is nonvanishing for and is homotopic to constant.

Theorem 2.2 and Corollary 2.3 are proved by using the methods of Douglas and Howe in their study [8] and Curto and Muhly in [9].

Let and let be subset of defined by

Theorem 2.4 (see [10, p. 1932, Theorem 2]). Let . A necessary and sufficient condition for the operator algebra generated by the system to be isometrically isometric to the ball algebra is that belongs to .

Theorem 2.5. Let . If the algebra generated by the system is ball algebra then contains ideal of compact operators and . The quotient is naturally identified with by a map .

It is enough to show compactness of the operators , for proving that commutant of the algebra is . For this, we just study the case . Then the case is similarly showed, as well. With the basic computations, we obtain . If we show converges the zero when then the proof is completed. For this, we need the following lemma.

Lemma 2.6. Let be a measure determined by the system and . then the expression converges to zero when .

In view of the following process, the lemma is proved. Without loss of generality, we can take . Hence the second fractional of the expression becomes . It is enough to show goes to zero when . Take and for given . Consider and . We have , where . It easily shows that and for all . Moreover, take ; then we have for all , where . Hence, there exists such that for all it is obtained .

It follows from Lemma 2.6 and a well-known result in -algebras [2, page 212, Proposition 1] that .

#### 3. An Application

Throughout this section, we follow the notations and definitions in the preceding section.

Let be separable complex Hilbert space, let denote the algebra of linear bounded operators on and let be identity operator. Consider an operator where and are the elements of a subalgebra of such that the image is a commutative subalgebra of the algebra under the natural quotient map from to and denotes an automorphism in the algebra , that is, , where and belong to . It is obvious that if then , where and .

Theorem 3.1 (see [11]). If the operator has an inverse in then is Fredholm operator.

Using the Theorem 3.1 we take and consider the operator , where and are Toeplitz operators in and the operators and satisfy the conditions given above.

Moreover if we take into account the orthonormal projection has the form where is the reproducing Bergman kernel of the functional space , then the equation is written in the form

Hence we have the following theorem.

Theorem 3.2. If the function does not vanish in , then all of Noether’s theorems is true for (3.3). In particular, if we take , and then (3.3) has the form where is the surface measure in .

#### References

1. L. A. Coburn, “The ${C}^{*}$-algebra generated by an isometry,” Bulletin of the American Mathematical Society, vol. 73, pp. 722–726, 1967.
2. L. A. Coburn, “The ${C}^{*}$-algebra generated by an isometry. II,” Transactions of the American Mathematical Society, vol. 137, pp. 211–217, 1969.
3. N. P. Jewell and A. R. Lubin, “Commuting weighted shifts and analytic function theory in several variables,” Journal of Operator Theory, vol. 1, no. 2, pp. 207–223, 1979.
4. F. Ergezen and N. Sadik, “On some operator algebras generated by unilateral weighted shifts,” Publicationes Mathematicae Debrecen, vol. 76, no. 1-2, pp. 21–30, 2010.
5. R. E. Curto and J. Yoon, “Jointly hyponormal pairs of commuting subnormal operators need not be jointly subnormal,” Transactions of the American Mathematical Society, vol. 358, no. 11, pp. 5139–5159, 2006.
6. R. E. Curto and K. R. Yan, “The spectral picture of Reinhardt measures,” Journal of Functional Analysis, vol. 131, no. 2, pp. 279–301, 1995.
7. N. M. Sadikov, “Toeplitz operators on the disc,” Izvestiya Akademii Nauk Azerbaĭdzhanskoĭ SSR. Seriya Fiziko-Tekhnicheskikh i Matematicheskikh Nauk, vol. 5, no. 4, pp. 8–12, 1984 (Russian).
8. R. G. Douglas and R. Howe, “On the ${C}^{\ast }$-algebra of Toeplitz operators on the quarterplane,” Transactions of the American Mathematical Society, vol. 158, pp. 203–217, 1971.
9. R. E. Curto and P. S. Muhly, “${C}^{*}$-algebras of multiplication operators on Bergman spaces,” Journal of Functional Analysis, vol. 64, no. 3, pp. 315–329, 1985.
10. F. Ergezen, “On unilateral weighted shifts in noncommutative operator theory,” Topology and Its Applications, vol. 155, no. 17-18, pp. 1929–1934, 2008.
11. N. M. Sadikov, “On a method of Z. I. Halilov,” Akademiya Nauk Azerbaĭdzhanskoĭ SSR. Doklady, vol. 37, no. 1, pp. 13–15, 1981 (Russian).