International Journal of Analysis

Volume 2014, Article ID 301709, 9 pages

http://dx.doi.org/10.1155/2014/301709

## Weighted Fractional Differentiation Composition Operators from Mixed-Norm Spaces to Weighted-Type Spaces

Department of Mathematical Science, Gauhati University, Guwahati 781014, India

Received 3 December 2013; Accepted 10 January 2014; Published 27 February 2014

Academic Editor: Frédéric Robert

Copyright © 2014 D. Borgohain and S. Naik. 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

Let be an open unit disc in the complex plane and let as well as be analytic maps. For an analytic function on the weighted fractional differentiation composition operator is defined as , where , , and . In this paper, we obtain a characterization of boundedness and compactness of weighted fractional differentiation composition operator from mixed-norm space to weighted-type space .

#### 1. Introduction

The classical/Gaussian hypergeometric series is defined by the power series expansion Here , , are complex numbers such that , , and is Pochhammer’s symbol/shifted factorial defined by Appel’s symbol and for .

Obviously, . Many properties of the hypergeometric series including the Gauss and Euler transformations are found in standard textbooks such as [1, 2].

For any two analytic functions and represented by their power series expansion, in , the Hadamard product (or convolution) of and denoted by and is defined by in . Moreover, In particular, if , we have If and , then the fractional derivative (see [3]) of order is defined by In terms of convolution, we also have

For , we define

It is obvious to find that the fractional derivative and the ordinary derivative satisfy

Let be fixed and let be nonconstant analytic self-map of . For and , we can define an operator on , called a weighted fractional differentiation composition operator, by We can regard this operator as a generalization of a multiplication operator and a weighted composition operator. In this paper we study the boundedness and the compactness of weighted fractional differentiation composition operator from mixed-norm spaces to weighted-type spaces. Recall that a positive continuous function on is called normal if there is and and with such that

Let be the normalized Lebesgue area measure on and let be the space of all analytic functions on .

For , , and is normal we denote by the space of all functions such that where and where

When and , , then (classical weighted Bergman space), defined by Further, when then the natural limit to the weighted Bergman space is the Hardy space ; that is, . For more details on Hardy space, see [4].

Suppose is normal and radial; that is, . The weighted-type space consists of all such that A little version of is denoted by as the subset of consisting of all such that Note that is a closed subspace of . For the space , see [5].

For , we have the space of bounded analytic functions , where

For , equals the weighted composition operator defined by , , which reduces to the composition operator for . During the last century, composition operators were studied between different spaces of analytic functions. There are many papers about these operators. Among other things, they deal with boundedness and compactness of these operators. But we will discuss mostly the mixed-norm spaces. For some recent papers on weighted composition operators on some -type spaces, see [5–14].

If , we get the operator which for gives which for gives and gives . For particular choices of , , and , we obtain many operators which are product, addition, and composition of multiplication and differentiation operators. For more details of these types of operators see [15–21].

Recall that, in [22], Stević characterized the boundedness and compactness of weighted differentiation composition operators from mixed-norm spaces to the weighted-type spaces. Our results can be viewed as generalizations of their results.

Throughout this paper, denotes a positive constant which may vary for different lines. The notation means there is a positive constant such that .

#### 2. Some Lemmas

We collect some basic lemmas which are useful in the proof of the main results.

Lemma 1 (see [23, Lemma 6]). *For and one has
*

*Lemma 2 (see [24, Proposition ]). For one has
*

*Lemma 3 (see [22, Lemma 1]). Assume , , is normal, and . Then, for every , there is a positive constant independent of such that
*

*3. Main Results*

*3. Main Results**In the following results we show boundedness of the operator from mixed-norm space to weighted-type space . As a consequence we obtain many new results in the form of corollaries.*

*Lemma 3 is true for the th order derivative of . Here we will give a more general result which involves fractional derivative of .*

*Proposition 4. Assume , , is normal, and . Then, for every , there is a positive constant independent of such that
*

*Theorem 5. For , , , , and are normal, and is an analytic self-map of . Then is bounded if and only if
Moreover, if is bounded, then the following asymptotic relation holds:
*

*Proof of Proposition 4. *Let .

Using integral representation of convolution we have, for ,
Since , Minkowski’s inequality gives
where .

For , we have
Putting , we have, for any ,
Since
therefore
For
Putting , we have
By using the following asymptotic relations:
we have
A simple calculation using Cauchy’s integral formula gives
The above inequality can be written as the following:
When , from inequality (31) we have
For we have and so . Therefore the proof is similar to the case, .

*Proof of Theorem 5. *Suppose (24) holds. We have
Therefore,

Conversely, assume that is bounded. For a fixed , let
where the constant is from the definition of the normality of the function :
In view of the well-known Gauss identity [1], of hypergeometric function
we can rewrite the previous equation to obtain the following:

We know the hypergeometric function is bounded if on (see [1]). The hypergeometric function is bounded on since ; therefore, using Lemma 2 gives
Since is normal and using Lemma 1, we get . Now
For every , we have

Therefore,

From (40) and (48) we get the asymptotic relation (25).

*If we take in the proof of Theorem 5, we get the following result.*

*Theorem 6. For , , , , and are normal, and is an analytic self-map of . Then is bounded if and only if
Moreover, if is bounded, then the following asymptotic relation holds:
*

*Theorem 7. For , , , , and are normal, and is an analytic self-map of . Then is bounded if and only if is bounded and .*

*Proof. *Suppose is bounded. Then it is clear that is also bounded, since
Therefore, .

Conversely, assume that is bounded and . Let be any polynomial. Then,
Let , where . Consider the following:
Obviously, is bounded in . Also, ; therefore . Since the set of polynomials is dense in , therefore we have from the proof of Theorem 7 of [22] that
from which the boundedness of follows.

*As consequences of the above theorems we have the following important corollary.*

*Corollary 8. For , , , , and are normal, and is an analytic self-map of .(a)Then is bounded if and only if
(b)When , one gets that is bounded if and only if
(c)For , then is bounded if and only if
(d)For , is bounded if and only if
*

*A simple calculation shows that , , and . Thus the corollaries of Stević’s paper [22] on boundedness of these operators follow easily.*

*4. Compactness of *

*4. Compactness of**In this section we will characterize when weighted composition operators acting between mixed-norm spaces and weighted-type space are compact. Before stating the results, we show the following lemma whose proof can be obtained by adapting the proof of Lemma 4 of [25].*

*Lemma 9. Suppose , , , and are normal, and is a holomorphic self-map of . Then the operator is compact if and only if is bounded and for any bounded sequence in which converges to zero uniformly on compact subsets of , we have
as .*

*Theorem 10. Suppose , , , and are normal, and is a holomorphic self-map of . Then the operator is compact if and only if is bounded and
*

*Proof. *Suppose, is compact. Then it is bounded. Suppose (67) is not true. Then there is a sequence such that as and such that
Let , .

It is obvious that
As we have . From the above inequality we have as uniformly on compact subsets of . Therefore,
But from our assumption we have
when , which is a contradiction.

Suppose is bounded and (67) holds. Then for every there exist such that, when ,
Consider . Obviously, :
Assume that is bounded sequence in , that is, , and converges to zero uniformly on compact subsets of as . For ,
Now, consider the case . We have
Putting gives us
where . Therefore,
in compact subsets of . Therefore we have
Since, on compact subsets of , uniformly as , therefore
From (72) and (73) it follows that as . Therefore the operator is compact.

*The following result is obvious as can be seen from the above theorem.*

*Theorem 11. Suppose , , , and are normal, and is a holomorphic self-map of . Then the operator is compact if and only if is bounded and
*

*Conflict of Interests*

*Conflict of Interests**The authors declare that there is no conflict of interests regarding the publication of this paper.*

*Acknowledgment*

*Acknowledgment**The first author would like to acknowledge the financial support as Junior Research Fellow and the second author as Principal Investigator of the Project NBHM (National Board for Higher Mathematics, India) (2/48(9)/2012/NBHM (R.P.)/RD-II/2936).*

*References*

*References*

- G. E. Andrews, R. Askey, and R. Roy,
*Special Functions*, Cambridge University Press, New York, NY, USA, 1999. View at MathSciNet - N. M. Temme,
*Special Functions: An Introduction to the Classical Functions of Mathematical Physics*, John Wiley & Sons, New York, NY, USA, 1996. View at MathSciNet - G. H. Hardy and J. E. Littlewood, “Some properties of fractional integrals. II,”
*Mathematische Zeitschrift*, vol. 34, no. 1, pp. 403–439, 1932. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - P. L. Duren,
*Theory of H*, Academic Press, New York, NY, USA, 1981.^{p}Spaces - S. Stević, “Norm of weighted composition operators from Bloch space to ${H}_{\mu}^{\infty}$ on the unit ball,”
*Ars Combinatoria*, vol. 88, pp. 125–127, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - D. Clahane and S. Stević, “Norm equivalence and composition operators between Bloch/Lipschitz spaces of the ball,”
*Journal of Inequalities and Applications*, vol. 2006, Article ID 61018, 11 pages, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Li and S. Stević, “Weighted composition operators from Bergman-type spaces into Bloch spaces,”
*Proceedings of the Indian Academy of Sciences*, vol. 117, no. 3, pp. 371–385, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Li and S. Stević, “Weighted composition operators from
*α*-Bloch space to ${H}^{\infty}$ on the polydisck,”*Numerical Functional Analysis and Optimization*, vol. 28, no. 7-8, pp. 911–925, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Li and S. Stević, “Weighted composition operators from ${H}^{\infty}$ to Bloch space on the polydisk,”
*Abstract and Applied Analysis*, vol. 2007, Article ID 48478, 13 pages, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Li and S. Stević, “Weighted composition operators between ${H}^{\infty}$ and
*α*-Bloch spaces in the unit ball,”*Taiwanese Journal of Mathematics*, vol. 12, no. 7, pp. 1625–1639, 2008. View at Google Scholar · View at MathSciNet · View at Scopus - A. Montes-Rodríguez, “Weighted composition operators on weighted Banach space of analytic function,”
*Journal of the London Mathematical Society*, vol. 61, no. 3, pp. 872–884, 2000. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Ohno, “Weighted composition operators between ${H}^{\infty}$ and the Bloch space,”
*Taiwanese Journal of Mathematics*, vol. 5, no. 3, pp. 555–563, 2001. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Stević, “Weighted composition operators between mixed norm spaces and ${H}_{\alpha}^{\infty}$ spaces in the unit ball,”
*Journal of Inequalities and Applications*, vol. 2007, Article ID 28629, 9 pages, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - X. Zhu, “Weighted composition operator between ${H}^{\infty}$ and Bergman type spaces,”
*Communications of the Korean Mathematical Society*, vol. 21, no. 4, pp. 719–727, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. A. Hibschweiler and N. Portnoy, “Composition followed by differentiation between Bergman and Hardy spaces,”
*Rocky Mountain Journal of Mathematics*, vol. 35, no. 3, pp. 843–856, 2005. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Li and S. Stević, “Generalized composition operators on Zygmand spaces into Bloch type spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 338, no. 2, pp. 1282–1295, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Li and S. Stević, “Products of composition and integral type operators from ${H}^{\infty}$ to the Bloch space,”
*Complex Variables Elliptic Equations*, vol. 53, no. 5, pp. 463–474, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - S. Li and S. Stević, “Products of Volterra type operator and composition operator from ${H}^{\infty}$ and Bloch spaces to Zygmund spaces,”
*Journal of Mathematical Analysis and Applications*, vol. 345, no. 1, pp. 40–52, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Ohno, “Products of composition and differentiation between hardy spaces,”
*Bulletin of the Australian Mathematical Society*, vol. 73, no. 2, pp. 235–243, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Stević, “Weighted differentiation composition operators from the mixed-norm space to the
*n*th weigthed-type space on the unit disk,”*Abstract and Applied Analysis*, vol. 2010, Article ID 246287, 15 pages, 2010. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - S. Stević, “Generalized composition operators between mixed-norm and some weighted spaces,”
*Numerical Functional Analysis and Optimization*, vol. 29, no. 7-8, pp. 959–978, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - S. Stević, “Weighted differentiation composition operators from mixed-norm spaces to weighted-type spaces,”
*Applied Mathematics and Computation*, vol. 211, no. 1, pp. 222–233, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus - A. L. Shields and D. L. Williams, “Bounded projections, duality and multipliers in spaces of analytic functions,”
*Transactions of the American Mathematical Society*, vol. 162, pp. 287–302, 1971. View at Publisher · View at Google Scholar · View at MathSciNet - W. Rudin,
*Function Theory in the Unit Ball of*, Springer, New York, NY, USA, 1980. View at MathSciNet*ℂ*^{n} - S. Stević, “Boundedness and compactness of an integral operator in a mixed norm space on the polydisk,”
*Siberian Mathematical Journal*, vol. 48, no. 3, pp. 559–569, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus

*
*