iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.3390/axioms13080530
Sums of Generalized Weighted Composition Operators from Weighted Bergman Spaces Induced by Doubling Weights into Bloch-Type Spaces
Next Article in Journal
Chen-Burr XII Model as a Competing Risks Model with Applications to Real-Life Data Sets
Previous Article in Journal
Numerical Analysis of the Cylindrical Shell Pipe with Preformed Holes Subjected to a Compressive Load Using Non-Uniform Rational B-Splines and T-Splines for an Isogeometric Analysis Approach
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Sums of Generalized Weighted Composition Operators from Weighted Bergman Spaces Induced by Doubling Weights into Bloch-Type Spaces

1
School of Computer Science, University of Electronic Science and Technology of China, Zhongshan Institute, Zhongshan 528402, China
2
School of Mathematical Sciences, Qufu Normal University, Qufu 273100, China
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(8), 530; https://doi.org/10.3390/axioms13080530
Submission received: 28 June 2024 / Revised: 25 July 2024 / Accepted: 31 July 2024 / Published: 5 August 2024
(This article belongs to the Section Mathematical Analysis)

Abstract

:
The single generalized weighted composition operator D u , ψ n on various spaces of analytic functions has been investigated for decades, i.e., D u , ψ n f = u · ( f ( n ) ψ ) , where f H ( D ) . However, the study of the finite sum of generalized weighted composition operators with different orders, i.e., P U , ψ k f = u 0 · f ψ + u 1 · f ψ + + u k · f ( k ) ψ , is far from complete. The boundedness, compactness and essential norm of sums of generalized weighted composition operators from weighted Bergman spaces with doubling weights into Bloch-type spaces are investigated. We show a rigidity property of P U , ψ k . Specifically, the boundedness and compactness of the sum P U , ψ k is equivalent to those of each D u n , ψ n , 0 n k .

1. Introduction

Let D denote the unit disk in the complex plane C , with its boundary D representing the unit circle. Furthermore, let H ( D ) be the collection of all functions that are analytic within D . For any point a within D , we define σ a as the automorphism of D that shifts the origin to a, given by σ a ( w ) = a w 1 a ¯ w . For any positive real number β , the Bloch-type space B β is the set of all functions g in H ( D ) that meets the following requirement:
g B β = | g ( 0 ) | + sup w D ( 1 | w | 2 ) β | g ( w ) | < .
When furnished with this norm · B β , B β is a Banach space. We also define g as sup w D ( 1 | w | 2 ) β | g ( w ) | . Specifically, B 1 is equivalent to B , known as the classical Bloch space. For more information on the various operators that act on the Bloch space, the reader is directed to the literature referenced in [1,2,3,4,5,6].
Given a non-negative function ω that is integrable over the interval [ 0 , 1 ] , denoted by ω L 1 ( [ 0 , 1 ] ) . The extension of this function to the unit disk D , defined by ω ( z ) = ω ( | z | ) for all z D , is known as a radial weight. The set of doubling weights, denoted by D ^ , includes all radial weights ω that fulfill the specific criterion (as detailed in [7]):
ω ^ ( r ) C ω ^ r + 1 2 , 0 r < 1 ,
where C = C ( ω ) is a constant with a value of at least 1. Throughout this paper, the function ω ^ ( z ) is specified as the integral | z | 1 ω ( t ) d t .
Let 0 < p < and ω D ^ . The weighted Bergman space A ω p , which arises from a doubling weight ω , is defined as the collection of all functions f H ( D ) that satisfy the following condition:
f A ω p p = D | f ( z ) | p ω ( z ) d A ( z ) < .
In this context, d A represents the normalized area measure over D . If ω ( z ) takes the form ( α + 1 ) ( 1 | z | 2 ) α with 1 < α < , we refer to A ω p as A α p , which is recognized as the standard weighted Bergman space. Throughout this paper, we assume that ω ^ ( z ) > 0 for all z D . If this is not the case, then A ω p is equivalent to H ( D ) .
We will denote the set of all analytic functions that map the unit disk D onto itself as S ( D ) . Suppose we have a function ψ that is a member of S ( D ) , the composition operator C ψ is specified as:
C ψ f = f ψ , for every f H ( D ) .
The main emphasis in the study of composition operators is to establish a connection between the operator-theoretic attributes of C ψ and the function-theoretic properties of ψ . For a comprehensive study of the various characteristics of composition operators, one should refer to the existing literature [8,9] and the references cited therein.
For every n N , the n-th differentiation operator, indicated by D n , is characterized by D n f = f ( n ) , with the understanding that f H ( D ) and that f ( 0 ) = f . In particular, when n = 1 , we arrive at the standard derivative operator D, which is frequently unbounded across a variety of spaces consisting of analytic functions.
Given that u H ( D ) and ψ S ( D ) , we introduce the generalized weighted composition operator D u , ψ n . This operator is an extension of the traditional weighted composition operator and is also known as the weighted differentiation composition operator, defined as:
D u , ψ n f = u · ( f ( n ) ψ ) , for f H ( D ) .
In the particular case where n = 0 , the operator D u , ψ n is identified as the conventional weighted composition operator, denoted by u C ψ . The notion of the operator D u , ψ n was introduced by Zhu, the first author of this manuscript, as noted in [10]. For additional understanding and findings concerning the generalized weighted composition operator on analytic function spaces, one should refer to the literature cited in [10,11,12,13,14,15,16].
Let k be a non-negative integer, ψ S ( D ) , and let U represent the sequence { u 0 , u 1 , , u k } such that each u j is an element of H ( D ) . In the work [17] by Wang, Wang, and Guo, the operator P U , ψ k was introduced, which is defined by the sum:
P U , ψ k f = j = 0 k u j · ( f ( j ) ψ ) = j = 0 k D u j , ψ j f , for f H ( D ) .
The researchers in [17] explored the boundedness and compactness characteristics of the operator P U , ψ k within certain analytic function spaces. For an in-depth examination of this subject, the reader is encouraged to consult [17,18,19,20]. Nevertheless, the investigation into the finite sum of generalized weighted composition operators of varying orders remains largely unresolved.
The objective of this article is to study the boundedness and compactness of the operator P U , ψ k : A ω p B β , which refers to the sum of the generalized weighted composition operators from weighted Bergman spaces with doubling weights to Bloch-type spaces. We demonstrate a rigidity characteristic of P U , ψ k . Specifically, the boundedness and compactness of P U , ψ k are equivalent to those of each D u n , ψ n , for 0 n k . Furthermore, we provide a calculation for the essential norm of the operator P U , ψ k : A ω p B β .
It should be observed that the essential norm of a bounded linear operator T : X Y is measured by its distance to the set of compact operators K that map from X to Y. This is expressed as:
T e , X Y = inf T K X Y : K is compact ,
recognizing that X and Y are Banach spaces, and · X Y denotes the norm associated with the operator.
Throughout this paper, the symbol C denotes a positive constant that is contingent upon the context and may vary from one line to the next. We define A B to indicate the existence of a constant C for which A C B . The notation A B signifies that A B and B A simultaneously.

2. Boundedness of P U , ψ k : A ω p B β

In this section, we investigate the boundedness of the operator P U , ψ k : A ω p B β . We need some notations and the following lemma, which can be found in [21].
For every η D , the associated Carleson square at η is defined by the set:
S ( η ) = r e i θ : | η | r < 1 , | Arg η θ | < 1 | η | 2 .
For a radial weight ω , the integral over the Carleson square is given by
ω ( S ( η ) ) = S ( η ) ω ( z ) d A ( z ) .
It is evident that ω ( S ( η ) ) ( 1 | η | ) ω ^ ( η ) . For an in-depth understanding of the properties of doubling weights, the reader is directed to [7,22] and the associated literature.
Lemma 1.
Let ω D ^ , 0 < p < , n N 0 and f A ω p . Then, there exists a constant C = C ( ω , n , p ) > 0 , such that
| f ( n ) ( w ) | C f A ω p ( ω ( S ( w ) ) ) 1 / p ( 1 | w | 2 ) n , w D .
From now on, we assume that u j = 0 when j = 1 and u j = 0 when j = k + 1 for the simplicity of the notations. Set
M j = sup w D ( 1 | w | 2 ) β | u j 1 ( w ) ψ ( w ) + u j ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j < , for all j = 0 , 1 , , k + 1 .
Theorem 1.
Let β > 0 , k N 0 , 1 < p < , ω D ^ , ψ S ( D ) and U denote the sequence { u 0 , u 1 , · · · , u k } such that u j H ( D ) . Then, the operator P U , ψ k : A ω p B β is bounded if, and only if,
i = 0 k + 1 M i < .
Furthermore, if P U , ψ k : A ω p B β is bounded, then
P U , ψ k A ω p B β i = 0 k + 1 M i .
Proof. 
Suppose that i = 0 k + 1 M i < . Let g A ω p . By Lemma 1, we have
P U , ψ k g B β = | P U , ψ k g ( 0 ) | + P U , ψ k g = | j = 0 k u j ( 0 ) g ( j ) ( ψ ( 0 ) ) | + sup w D ( 1 | w | 2 ) β | j = 0 k u j ( w ) g ( j ) ( ψ ( w ) ) + u j ( w ) ψ ( z ) g ( j + 1 ) ( ψ ( w ) ) | C g A ω p j = 0 k | u j ( 0 ) | ( ω ( S ( ψ ( 0 ) ) ) ) 1 / p ( 1 | ψ ( 0 ) | 2 ) j + j = 0 k + 1 M j g A ω p C + j = 0 k + 1 M j < ,
which implies that P U , ψ k : A ω p B β is bounded.
Assume that P U , ψ k : A ω p B β is bounded. For b D , take
f j , b = 1 | b | 2 ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 b ¯ z ) σ b j ( z ) , for all j = 0 , 1 , , k + 1 .
After a calculation, it is observed that f j , b is an element of A ω p . Additionally, the norm of f j , b in A ω p , denoted as f j , b A ω p , is bounded above by a constant C for every j ranging from 0 to k + 1 . Given the bounded nature of the operator P U , ψ k : A ω p B β , we deduce that
sup b D P U , ψ k f j , b B β P U , ψ k A ω p B β sup b D f j , b A ω p C P U , ψ k A ω p B β < ,
for all j = 0 , 1 , , k + 1 . Since f k + 1 , ψ ( a ) ( i ) ( ψ ( b ) ) = 0 for all i = 0 , 1 , , k and
| f k + 1 , ψ ( b ) ( k + 1 ) ( ψ ( b ) ) | = ( k + 1 ) ! ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) k + 1 ,
we have
( 1 | b | 2 ) β | ( P U , ψ k f k + 1 , ψ ( b ) ) ( b ) | = ( 1 | b | 2 ) β | u 0 ( b ) f k + 1 , ψ ( b ) ( ψ ( b ) ) + u k ( b ) ψ ( b ) f k + 1 , ψ ( b ) ( k + 1 ) ( ψ ( b ) ) + j = 1 k u j ( b ) + u j 1 ( b ) ψ ( b ) f k + 1 , ψ ( b ) ( j ) ( ψ ( b ) ) | = ( 1 | b | 2 ) β | u k ( b ) ψ ( b ) | | f k + 1 , ψ ( b ) ( k + 1 ) ( ψ ( b ) ) | = ( 1 | b | 2 ) β | u k ( b ) ψ ( b ) | ( k + 1 ) ! ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) k + 1 ,
which implies that
M k + 1 sup b D P U , ψ k f k + 1 , ψ ( b ) B β P U , ψ k A ω p B β .
Since
P U , ψ k A ω p B β P U , ψ k f k , ψ ( b ) B β ( 1 | b | 2 ) β | ( P U , ψ k f k , ψ ( b ) ) ( b ) | ( 1 | b | 2 ) β | u k ( b ) + u k 1 ( b ) ψ ( b ) | | f k , ψ ( b ) ( k ) ( ψ ( b ) ) | ( 1 | b | 2 ) β | u k ( b ) ψ ( b ) | | f k , ψ ( b ) ( k + 1 ) ( ψ ( b ) ) | ( 1 | b | 2 ) β | u k ( b ) + u k 1 ( b ) ψ ( b ) | k ! ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) k C f k , ψ ( b ) A ω p ( 1 | b | 2 ) β | u k ( b ) ψ ( b ) | ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) k + 1 ,
we have
M k sup b D P U , ψ k f k , ψ ( b ) B β + C sup b D ( 1 | b | 2 ) β | u k ( b ) ψ ( b ) | ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) k + 1 P U , ψ k A ω p B β .
Further, fix 1 j k 1 and assume that
M i P U , ψ k A ω p B β , i = j + 1 , , k .
We next prove
M j P U , ψ k A ω p B β .
After a calculation, we obtain f j , ψ ( b ) ( s ) ( ψ ( b ) ) = 0 for all s < j and
| f j , ψ ( b ) ( j ) ( ψ ( b ) ) | = j ! ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) j .
Using (9) and Lemma 1, we have
P U , ψ k A ω p B β P U , ψ k f j , ψ ( b ) B β ( 1 | b | 2 ) β | ( P U , ψ k f j , ψ ( b ) ) ( b ) | ( 1 | b | 2 ) β | u j ( b ) + u j 1 ( b ) ψ ( b ) | | f j , ψ ( b ) ( j ) ( ψ ( b ) ) | i = j + 1 k + 1 ( 1 | b | 2 ) β | u i ( b ) + u i 1 ( b ) ψ ( b ) | | f j , ψ ( b ) ( i ) ( ψ ( b ) ) | ( 1 | b | 2 ) β | u j ( b ) + u j 1 ( b ) ψ ( b ) | j ! ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) j i = j + 1 k + 1 C f j , ψ ( b ) A ω p ( 1 | b | 2 ) β | u i ( b ) + u i 1 ( b ) ψ ( b ) | ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) i .
Thus, by (5), (7) and (10), we have
M j P U , ψ k A ω p B β + C i = j + 1 k + 1 sup b D ( 1 | b | 2 ) β | u i ( b ) + u i 1 ( b ) ψ ( b ) | ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) i P U , ψ k A ω p B β .
Therefore, M j < , for all j = 1 , , k + 1 .
Finally, we show that M 0 < . It is easy to see that
| f 0 , ψ ( b ) ( ψ ( b ) ) | = 1 ( ω ( S ( ψ ( b ) ) ) ) 1 / p .
Using Lemma 1 and (12), we have
P U , ψ k A ω p B β P U , ψ k f 0 , ψ ( b ) B β ( 1 | b | 2 ) β | u 0 ( b ) f 0 , ψ ( b ) ( ψ ( b ) ) + j = 1 k + 1 u j ( b ) + u j 1 ( b ) ψ ( b ) f 0 , ψ ( b ) ( j ) ( ψ ( b ) ) | ( 1 | b | 2 ) β | u 0 ( b ) | ( ω ( S ( ψ ( b ) ) ) ) 1 / p j = 1 k + 1 C f 0 , ψ ( b ) A ω p ( 1 | b | 2 ) β | u j ( b ) + u j 1 ( b ) ψ ( b ) | ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) j .
Using (5), (7), (11) and (13), we have
M 0 P U , ψ k A ω p B β + j = 1 k + 1 sup b D ( 1 | b | 2 ) β | u j ( b ) + u j 1 ( b ) ψ ( b ) | ( ω ( S ( ψ ( b ) ) ) ) 1 / p ( 1 | ψ ( b ) | 2 ) j P U , ψ k A ω p B β ,
as desired. From the above proof, we obtain
P U , ψ k A ω p B β i = 0 k + 1 M i ,
as desired. The proof of the theorem is now complete. □
According to the proof of Theorem 1, we easily obtain the following result.
Corollary 1.
Let β > 0 , k N 0 , 1 < p < , ω D ^ , ψ S ( D ) and U denote the sequence { u 0 , u 1 , · · · , u k } such that u j H ( D ) . Then, P U , ψ k : A ω p B β is bounded if, and only if, each D u n , ψ n : A ω p B β is bounded for every 0 n k .

3. Essential Norm and Compactness of P U , ψ k : A ω p B β

In this part of the work, we provide a calculation for the essential norm of P U , ψ k : A ω p B β . To accomplish this goal, we initially introduce a series of lemmas that will be employed later in the verification of the main results in this section.
Given that ω D ^ and p ( 1 , ) , it is deduced from Theorem 7 in [22], that there is an isomorphism ( A ω p ) * A ω p p 1 . Applying Lemma 2.1 in [23], we obtain the following lemma.
Lemma 2.
Suppose 0 < β < , 1 < p < , ω D ^ such that K : A ω p B β is bounded. Then, K is compact if, and only if, K h k B β 0 as k whenever { h k } is bounded in A ω p and uniformly converges to 0 on any compact subset of D as k .
Lemma 3.
Let 0 < β < , k N 0 , 1 < p < , ω D ^ , U denote the sequence { u 0 , u 1 , · · · , u k } such that u j H ( D ) and ψ S ( D ) with ψ < 1 such that P U , ψ k : A ω p B β is bounded. Then, P U , ψ k : A ω p B β is compact.
Proof. 
Assume that P U , ψ k : A ω p B β is bounded. By Theorem 1, we obtain
Φ j : = sup w D ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | < , for all j = 0 , 1 , , k + 1 .
Let { h n } n N be a bounded sequence in A ω p such that h n 0 uniformly on the compact subsets of D as n . Cauchy’s estimates imply that h n ( j ) 0 , j = 0 , 1 , , k + 1 , uniformly on the compact subsets of D as n . Therefore, by the fact that Ω = { z : | z | ψ } is a compact subset of D , we have
sup w D | h n ( j ) ( ψ ( w ) ) | 0 as n .
For i = 0 , 1 , , k + 1 , since { h n ( i ) } n N converges to zero uniformly on compact subsets of D , we obtain that | P U , ψ k h n ( 0 ) | 0 as n . Using (15), we have
P U , ψ k h n B β = | P U , ψ k h n ( 0 ) | + j = 0 k + 1 sup w D ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | | h n ( j ) ( ψ ( w ) ) | | P U , ψ k h n ( 0 ) | + j = 0 k + 1 Φ j sup w D | h n ( j ) ( ψ ( w ) ) | 0 as n .
This proves that P U , ψ k : A ω p B β is compact. □
Next, we state and prove the main results in this section. For simplicity, set
B j = lim r 1 sup | ψ ( w ) | > r ( 1 | w | 2 ) β | u j 1 ( w ) ψ ( z ) + u j ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j , for j = 0 , 1 , , k + 1 ;
and
B j , n = ( 1 | w n | 2 ) β | u j 1 ( w n ) ψ ( w n ) + u j ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) j , for j = 0 , 1 , , k + 1 ;
where { w n } n N is a sequence in D .
Theorem 2.
Let k N 0 , 0 < β < , 1 < p < , ω D ^ , ψ S ( D ) and U denote the sequence { u 0 , u 1 , · · · , u k } such that u j H ( D ) . If P U , ψ k : A ω p B β is bounded, then
P U , ψ k e , A ω p B β max 0 i k + 1 B i i = 0 k + 1 B i .
Proof. 
When the norm of ψ is strictly less than one, i.e., ψ < 1 , it is straightforward to demonstrate that the operator P U , ψ k : A ω p B β is compact, as established by Lemma 3. In such a case, the asymptotic relations are trivially satisfied.
We now shift our focus to the case where the norm of ψ equals one, i.e., ψ = 1 . Let { h i } be a sequence of functions within A ω p that converges uniformly to zero on all compact subsets as i tends to infinity. Given any compact operator K : A ω p B β , it follows from Lemma 2 that the limit of the norm of K h i in B β as i approaches infinity is zero; that is, lim i K h i B β = 0 . Consequently,
P U , ψ k K A ω p B β lim sup i ( P U , ψ k K ) h i B β lim sup i P U , ψ k h i B β lim sup i K h i B β = lim sup i P U , ψ k h i B β .
Therefore,
P U , ψ k e , A ω p B β = inf K P U , ψ k K A ω p B β lim sup i P U , ψ k h i B β .
Next, let { w n } n N be a sequence in D with | ψ ( w n ) | 1 as n such that
B k + 1 = lim sup n B k + 1 , n .
For each n, f k + 1 , ψ ( w n ) ( i ) ( ψ ( w n ) ) = 0 for all i = 0 , 1 , , k and
| f k + 1 , ψ ( w n ) ( k + 1 ) ( ψ ( w n ) ) | = ( k + 1 ) ! ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) k + 1 .
Here, f j , b is defined in (3). It is obvious that f k + 1 , ψ ( w n ) A ω p for any n N and f k + 1 , ψ ( w n ) 0 uniformly on each compact subset of D as n . Hence,
P U , ψ k e , A ω p B β lim sup n P U , ψ k f k + 1 , ψ ( w n ) B β lim sup n ( 1 | w n | 2 ) β | j = 0 k u j ( w n ) f k + 1 , ψ ( w n ) ( j ) ( ψ ( w n ) ) + u j ( w n ) ψ ( w n ) f k + 1 , ψ ( w n ) ( j + 1 ) ( ψ ( w n ) ) | = lim sup n ( k + 1 ) ! B k + 1 , n B k + 1 .
Let { w n } n N be a sequence in D with | ψ ( w n ) | 1 as n such that
B k = lim sup n B k , n .
For each n, f k , ψ ( w n ) ( i ) ( ψ ( w n ) ) = 0 for every i = 0 , 1 , , k 1 and
| f k , ψ ( w n ) ( k ) ( ψ ( w n ) ) | = k ! ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) k .
Here, f j , b is defined in (3). Similarly, we obtain
P U , ψ k e , A ω p B β lim sup n P U , ψ k f k , ψ ( w n ) B β lim sup n ( 1 | w n | 2 ) β | j = 0 k u j ( w n ) f k , ψ ( w n ) ( j ) ( ψ ( w n ) ) + u j ( w n ) ψ ( w n ) f k , ψ ( w n ) ( j + 1 ) ( ψ ( w n ) ) | lim sup n ( 1 | w n | 2 ) β | u k ( w n ) + u k 1 ( w n ) ψ ( w n ) | | f k , ψ ( w n ) ( k ) ( ψ ( w n ) ) | lim sup n ( 1 | w n | 2 ) β | u k ( w n ) ψ ( w n ) | | f k , ψ ( w n ) ( k + 1 ) ( ψ ( w n ) ) | lim sup n k ! ( 1 | w n | 2 ) β | u k ( w n ) + u k 1 ( w n ) ψ ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) k lim sup n C f k , ψ ( w n ) A ω p ( 1 | w n | 2 ) β | u k ( w n ) ψ ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) k + 1 ,
which implies that
C f k , ψ ( w n ) A ω p B k + 1 + P U , ψ k e , A ω p B β lim sup n k ! B k , n .
Therefore,
P U , ψ k e , A ω p B β B k .
Now, we fix j [ 1 , k 1 ] and suppose that
P U , ψ k e , A ω p B β B i ,
for every i = j + 1 , , k . We will prove that (23) holds for i = j . For this purpose, let { w n } n N D with | ψ ( w n ) | 1 as n for which
B j = lim sup n B j , n .
We see that f j , ψ ( w n ) ( i ) ( ψ ( w n ) ) = 0 for each n and i = 0 , 1 , , j 1 . Moreover,
| f j , ψ ( w n ) ( j ) ( ψ ( w n ) ) | = j ! ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) j ,
{ f j , ψ ( w n ) } n N is bounded in A ω p and converges to zero uniformly on compact subsets of D . Similarly,
P U , ψ k e , A ω p B β lim sup n P U , ψ k f j , ψ ( w n ) B β lim sup n j ! ( 1 | w n | 2 ) β | u j ( w n ) + u j 1 ( w n ) ψ ( w n ) | | ψ ( w n ) n | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) j C i = j + 1 k + 1 lim sup n f j , ψ ( w n ) A ω p ( 1 | w n | 2 ) β | u i ( w n ) + u i 1 ( w n ) ψ ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) i .
Since | ψ ( w n ) | 1 as n , from (19), (24) and (26), we obtain
P U , ψ k e , A ω p B β lim sup n P U , ψ k f j , ψ ( w n ) B β lim sup n j ! ( 1 | w n | 2 ) β | u j ( w n ) + u j 1 ( w n ) ψ ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) j C i = j + 1 k + 1 f j , ψ ( w n ) A ω p lim sup n ( 1 | w n | 2 ) β | u i ( w n ) + u i 1 ( w n ) ψ ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) i lim r 1 sup | ψ ( w ) | > r j ! ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j i = j + 1 k + 1 lim r 1 sup | ψ ( w ) | > r ( 1 | w | 2 ) β | u i ( w ) + u i 1 ( w ) ψ ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) i .
Thus, applying (23),
lim r 1 sup | ψ ( w ) | > r ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j P U , ψ k e , A ω p B β .
Therefore, for all j = 1 , 2 , , k ,
P U , ψ k e , A ω p B β lim r 1 sup | ψ ( w ) | > r ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j = B j .
Let { w n } n N be a sequence in D with | ψ ( w n ) | 1 as n such that
B 0 = lim sup n B 0 , n .
It is easy to check that { f 0 , ψ ( w n ) } n N is bounded in A ω p and converges to zero uniformly on compact subsets of D . Moreover,
| f 0 , ψ ( w n ) ( ψ ( w n ) ) | = 1 ( ω ( S ( ψ ( w n ) ) ) ) 1 / p .
So, by using Lemma 1 and (29), we obtain
P U , ψ k e , A ω p B β lim sup n P U , ψ k f 0 , ψ ( w n ) B β lim sup n ( 1 | w n | 2 ) β | j = 0 k u j ( w n ) f 0 , ψ ( w n ) ( j ) ( ψ ( w n ) ) + u j ( w n ) ψ ( w n ) f 0 , ψ ( w n ) ( j + 1 ) ( ψ ( w n ) ) | lim sup n ( 1 | w n | 2 ) β | u 0 ( w n ) | | f 0 , ψ ( w n ) ( ψ ( w n ) ) | j = 1 k + 1 lim sup n ( 1 | w n | 2 ) β | u j ( w n ) + u j 1 ( w n ) ψ ( w n ) | | f 0 , ψ ( w n ) ( j ) ( ψ ( w n ) ) | lim sup n ( 1 | w n | 2 ) β | u 0 ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p C f 0 , ψ ( w n ) A ω p j = 1 k + 1 lim sup n ( 1 | w n | 2 ) β | u j ( w n ) + u j 1 ( w n ) ψ ( w n ) | ( ω ( S ( ψ ( w n ) ) ) ) 1 / p ( 1 | ψ ( w n ) | 2 ) j .
Since | ψ ( w n ) | 1 as n , from (19), (24), (28) and (30) we obtain
P U , ψ k e , A ω p B β lim sup n P U , ψ k f 0 , ψ ( w n ) B β lim r 1 sup | ψ ( w ) | > r ( 1 | w | 2 ) β | u 0 ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p C j = 1 k + 1 lim r 1 sup | ψ ( w ) | > r ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( z ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j ,
which implies that
P U , ψ k e , A ω p B β B 0 .
Therefore, (27) and (31) imply that
P U , ψ k e , A ω p B β max 0 i k + 1 B i i = 0 k + 1 B i .
Finally, we prove that
P U , ψ k e , A ω p B β max 0 i k + 1 B i i = 0 k + 1 B i .
For θ [ 0 , 1 ) , set
( K θ f ) ( w ) = f θ ( w ) = f ( θ w ) , f H ( D ) .
It is evident that f θ uniformly converges to f on all compact subsets of D as θ 1 . Additionally, K θ : A ω p A ω p is compact, and K θ A ω p A ω p 1 . Consider a sequence { θ n } ( 0 , 1 ) that approaches 1 as n . For each n N , the operator P U , ψ k K θ n : A ω p B β is compact. By the definition of the essential norm, we obtain
P U , ψ k e , A ω p B β lim sup n P U , ψ k P U , ψ k K θ n A ω p B β .
Therefore, we only need to prove that
lim sup n P U , ψ k P U , ψ k K θ n A ω p B β max 0 i k + 1 B i .
Let f A ω p such that f A ω p 1 . We consider
( P U , ψ k P U , ψ k K θ n ) f B β = | j = 0 k u j ( 0 ) f ( j ) ( ψ ( 0 ) ) u j ( 0 ) f θ n ( j ) ( ψ ( 0 ) ) | + j = 0 k u j ( f ( j ) f θ n ( j ) ) ψ .
It is clear that
lim sup n | j = 0 k u j ( 0 ) f ( j ) ( ψ ( 0 ) ) u j ( 0 ) f θ n ( j ) ( ψ ( 0 ) ) | = 0 .
Consider
lim sup n j = 0 k u j ( f ( j ) f θ n ( j ) ) ψ = lim sup n sup w D ( 1 | w | 2 ) β | j = 0 k + 1 u j ( w ) + u j 1 ( w ) ψ ( w ) f ( j ) f θ n ( j ) ( ψ ( w ) ) | Q 3 + Q 4 .
Here, N N is large enough such that θ n 1 2 for all n N ,
Q 3 : = lim sup n sup | ψ ( w ) | θ n ( 1 | w | 2 ) β j = 0 k + 1 f ( j ) f θ n ( j ) ( ψ ( w ) ) | u j ( w ) + u j 1 ( w ) ψ ( w ) | ,
Q 4 : = lim sup n sup | ψ ( w ) | > θ n ( 1 | w | 2 ) β j = 0 k + 1 f ( j ) f θ n ( j ) ( ψ ( w ) ) | u j ( w ) + u j 1 ( w ) ψ ( w ) | .
Since f θ n ( i ) f ( i ) ( i = 0 , 1 , , k + 1 ) uniformly on compact subsets of D as n , we have
Q 3 j = 0 k + 1 Φ j lim sup n sup | w | θ n | f ( j ) ( w ) f θ n ( j ) ( w ) | = 0 ,
where
Φ j : = sup z D ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | < , for all j = 0 , 1 , 2 , , k + 1 .
For Q 4 , we obtain Q 4 lim sup n Q 41 , where
Q 41 : = j = 0 k + 1 sup | ψ ( w ) | > θ n ( 1 | w | 2 ) β f ( j ) f θ n ( j ) ( ψ ( w ) ) | u j ( w ) + u j 1 ( w ) ψ ( w ) | .
Using the fact that f A ω p 1 and Lemma 1, we obtain
sup | ψ ( w ) | > θ n ( 1 | w | 2 ) β f ( k ) f θ n ( k ) ( ψ ( w ) ) | u k ( w ) + u k 1 ( w ) ψ ( w ) | C f f θ n A ω p k ! sup | ψ ( w ) | > θ n ( 1 | w | 2 ) β | u k ( w ) + u k 1 ( w ) ψ ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) k .
After a calculation, we have
Q 41 j = 0 k + 1 C f f θ n A ω p sup | ψ ( w ) | > θ n ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | ( ω ( S ( ψ ( z ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j .
From (38), we see that
Q 4 = lim sup n Q 41 lim r 1 sup | ψ ( w ) | > r j = 1 k ( 1 | w | 2 ) β | u j ( w ) + u j 1 ( w ) ψ ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j j = 0 k + 1 B i max 0 i k + 1 B i .
Hence, by (33)–(36) and (39), we have
lim sup n P U , ψ k P U , ψ k K θ n A ω p B β = lim sup n sup f A ω p 1 ( P U , ψ k P U , ψ k K θ n ) f B β = lim sup n sup f A ω p 1 j = 0 k u j ( f ( j ) f θ n ( j ) ) ψ j = 0 k + 1 B i max 0 i k + 1 B i .
Hence, by (32) and (40), we have
P U , ψ k e , A ω p B β j = 0 k + 1 B i max 0 i k + 1 B i .
We have thus proved the theorem. □
From the proof of Theorem 2, we easily obtain the following corollary.
Corollary 2.
Let β > 0 , k N 0 , 1 < p < , ω D ^ , ψ S ( D ) and U denote the sequence { u 0 , u 1 , · · · , u k } such that u j H ( D ) . If P U , ψ k : A ω p B β is bounded, then the following conditions are equivalent:
(i) P U , ψ k : A ω p B β is compact.
(ii)
lim r 1 sup | ψ ( w ) | > r ( 1 | w | 2 ) β | u j 1 ( w ) ψ ( w ) + u j ( w ) | ( ω ( S ( ψ ( w ) ) ) ) 1 / p ( 1 | ψ ( w ) | 2 ) j = 0 , for j = 0 , 1 , , k + 1 .
(iii) D u n , ψ n : A ω p B β is compact for every 0 n k .

4. Conclusions

In this manuscript, we delve into the analysis of the boundedness, compactness and essential norm associated with the operator P U , ψ k : A ω p B β , offering a variety of characterizations for these attributes. Our methodologies draw inspiration from the studies in [14,15], which focus on generalized weighted composition operators, and [21], which examines product-type operators from A ω p spaces to Bloch-type spaces. We integrate the techniques presented in these three scholarly works. Our proof provides a more exhaustive explanation compared to that found in [17]. Ultimately, our findings extend numerous results found in the existing literature, as referenced in [21]. Additionally, we illustrate a rigidity property of P U , ψ k , highlighting that its boundedness and compactness are directly equivalent to those of each D u n , ψ n , for 0 n k . Moreover, we furnish a computation for the essential norm of the operator P U , ψ k : A ω p B β .

Author Contributions

Writing—original draft, X.Z. and Q.H.; Writing—review & editing, X.Z. and Q.H. All authors have read and agreed to the published version of the manuscript.

Funding

The first author was supported by the Guangdong Basic and Applied Basic Research Foundation (No. 2023A1515010614).

Data Availability Statement

No data were used to support this study.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

References

  1. Colonna, F. New criteria for boundedness and compactness of weighted composition operators mapping into the Bloch space. Cent. Eur. J. Math. 2013, 11, 55–73. [Google Scholar] [CrossRef]
  2. Li, S. Differences of generalized composition operators on the Bloch space. J. Math. Anal. Appl. 2012, 394, 706–711. [Google Scholar] [CrossRef]
  3. Madigan, K.; Matheson, A. Compact composition operators on the Bloch space. Trans. Amer. Math. Soc. 1995, 347, 2679–2687. [Google Scholar] [CrossRef]
  4. Montes-Rodríguez, A. The essential norm of a composition operator on Bloch spaces. Pac. J. Math. 1999, 188, 339–351. [Google Scholar] [CrossRef]
  5. Zhao, R. Essential norms of composition operators between Bloch type spaces. Proc. Am. Math. Soc. 2010, 138, 2537–2546. [Google Scholar] [CrossRef]
  6. Zhu, K. Operator Theory in Function Spaces; American Mathematical Society: Providence, RI, USA, 2007. [Google Scholar]
  7. Peláez, J. Small Weighted Bergman Spaces. In Proceedings of the Summer School in Complex and Harmonic Analysis, and Related Topics; University of Eastern Finland Library: Kuopio, Finland, 2016. [Google Scholar]
  8. Cowen, C.; MacCluer, B. Composition Operators on Spaces of Analytic Functions; CRC Press: Boca Raton, FL, USA, 1995. [Google Scholar]
  9. Tjani, M. Compact Composition Operators on Some Möbius Invariant Banach Space. Ph.D. Thesis, Michigan State University, East Lansing, MI, USA, 1996. [Google Scholar]
  10. Zhu, X. Products of differentiation, composition and multiplication from Bergman type spaces to Bers type spaces. Integral Transform. Spec. Funct. 2007, 18, 223–231. [Google Scholar] [CrossRef]
  11. Stević, S. Weighted differntiation composition operators from mixed-norm spaces to weighted-type spaces. Appl. Math. Comput. 2009, 211, 222–233. [Google Scholar]
  12. Stević, S. Weighted differentiation composition operators from H and Bloch spaces to nth weighted-type spaces on the unit disk. Appl. Math. Comput. 2010, 216, 3634–3641. [Google Scholar] [CrossRef]
  13. Zhu, X. Generalized weighted composition operators on weighted Bergman spaces. Numer. Funct. Anal. Opt. 2009, 30, 881–893. [Google Scholar] [CrossRef]
  14. Zhu, X. Generalized weighted composition operators on Bloch-type spaces. J. Ineq. Appl. 2015, 2015, 59–68. [Google Scholar] [CrossRef]
  15. Zhu, X. Essential norm of generalized weighted composition operators on Bloch-type spaces. Appl. Math. Comput. 2016, 274, 133–142. [Google Scholar] [CrossRef]
  16. Zhu, X. Generalized weighted composition operators on weighted Bergman spaces, II. Math. Ineq. Appl. 2019, 22, 1055–1066. [Google Scholar] [CrossRef]
  17. Wang, S.; Wang, M.; Guo, X. Products of composition, multiplication and iterated differentiation operators between Banach spaces of holomoruc functions. Taiwan. J. Math. 2020, 24, 355–376. [Google Scholar] [CrossRef]
  18. Stević, S.; Huang, C.; Jiang, Z. Sum of some product-type operators from Hardy spaces to weighted-type spaces on the unit ball. Math. Methods Appl. Sci. 2022, 45, 11581–11600. [Google Scholar] [CrossRef]
  19. Stević, S.; Ueki, S. Polynomial differentiation composition operators from Hp spaces to weighted-type spaces on the unit ball. J. Math. Inequal. 2023, 17, 365–379. [Google Scholar] [CrossRef]
  20. Zhu, X.; Hu, Q.; Qu, D. Polynomial differentiation composition operators from Besov-type spaces into Bloch-type spaces. Math. Methods Appl. Sci. 2024, 47, 147–168. [Google Scholar] [CrossRef]
  21. Liu, Z.; Wulan, H. Product type operators acting between weighted Bergman spaces and Bloch type spaces. Acta Math. Sci. 2024, 44, 1327–1336. [Google Scholar] [CrossRef]
  22. Peláez, J.; Rättyä, J. Bergman projection induced by radial weight. Adv. Math. 2021, 391, 107950. [Google Scholar] [CrossRef]
  23. Colonna, F.; Tjani, M. Operator norms and essential norms of weighted composition operators between Banach spaces of analytic functions. J. Math. Anal. Appl. 2016, 434, 93–124. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Zhu, X.; Hu, Q. Sums of Generalized Weighted Composition Operators from Weighted Bergman Spaces Induced by Doubling Weights into Bloch-Type Spaces. Axioms 2024, 13, 530. https://doi.org/10.3390/axioms13080530

AMA Style

Zhu X, Hu Q. Sums of Generalized Weighted Composition Operators from Weighted Bergman Spaces Induced by Doubling Weights into Bloch-Type Spaces. Axioms. 2024; 13(8):530. https://doi.org/10.3390/axioms13080530

Chicago/Turabian Style

Zhu, Xiangling, and Qinghua Hu. 2024. "Sums of Generalized Weighted Composition Operators from Weighted Bergman Spaces Induced by Doubling Weights into Bloch-Type Spaces" Axioms 13, no. 8: 530. https://doi.org/10.3390/axioms13080530

APA Style

Zhu, X., & Hu, Q. (2024). Sums of Generalized Weighted Composition Operators from Weighted Bergman Spaces Induced by Doubling Weights into Bloch-Type Spaces. Axioms, 13(8), 530. https://doi.org/10.3390/axioms13080530

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop