Next Article in Journal
Characterization Model Research on Deformation of Arch Dam Based on Correlation Analysis Using Monitoring Data
Previous Article in Journal
Two-Stage Satellite Combined-Task Scheduling Based on Task Merging Mechanism
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

On the Product of Weighted Composition Operators and Radial Derivative Operators from the Bloch-Type Space into the Bers-Type Space on the Fourth Loo-Keng Hua Domain

1
College of Sciences, Nanjing Agricultural University, Nanjing 210095, China
2
School of Mathematics and Statistics, Jiangsu Normal University, Xuzhou 221116, China
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(19), 3108; https://doi.org/10.3390/math12193108
Submission received: 17 September 2024 / Revised: 2 October 2024 / Accepted: 2 October 2024 / Published: 4 October 2024

Abstract

:
Let H E I V be the fourth Loo-Keng Hua domain. We study the boundedness of the product of the weighted composition operator and the radial derivative operator from the Bloch-type space B α ( H E I V ) into the Bers-type space A β ( H E I V ) and provide the necessary and sufficient conditions for their boundedness.

1. Introduction and Preliminaries

Throughout this paper, let m , n , r , N , N 1 , , N r be positive integers and p 1 , , p r be positive real numbers. Let z = ( z 1 , , z n ) and w = ( w 1 , , w n ) be points in the complex vector space C n . The notation z ¯ : = ( z 1 ¯ , , z n ¯ ) represents the conjugate of the vector z, and z T denotes the transpose of z. The inner product of z and w is given by z w ¯ T : = z , w = z 1 w 1 ¯ + z 2 w 2 ¯ + + z n w n ¯ , where w k ¯ is the complex conjugate of w k . Additionally, we write the norm of z as
| z | = z , z = | z 1 | 2 + | z 2 | 2 + + | z n | 2 .
Let B = { z C n : | z | < 1 } be the open unit ball in C n . As is well known, in the 1930s, Cartan fully characterized the irreducible bounded symmetric domains into six types. The first four types of irreducible domains are called the classical bounded symmetric domains (or the Cartan domain). In this paper, we need the fourth Loo-Keng Hua domain [1], which is realized as the following form:
H E I V = H E I V ( N 1 , , N r , N , p 1 , , p r ) = ( z , ξ ) : z R I V ( N ) , ξ = ( ξ 1 , , ξ r ) , ξ j C N j , j = 1 r | ξ j | 2 p j < 1 + z z T 2 2 z z ¯ T ,
where ξ j = ( ξ j 1 , , ξ j N j ) ; j = 1 , , r ; and
R I V ( N ) = z C N : 1 + z z T 2 2 z z ¯ T > 0 , 1 z z T 2 > 0
is the fourth Cartan domain. We know that the fourth Loo-Keng Hua domain is not transitive, except in some special cases.
On the fourth Loo-Keng Hua domain, Huang and Jiang studied the generalized Hua’s inequality on the fourth Loo-Keng Hua domain and gave an application ([2]). For more information on the first, second, third, and fourth Loo-Keng Hua domains, please refer to [1,3,4,5,6].
Let C be the complex plane and H ( H E I V , C ) be the space of all holomorphic functions on H E I V and α > 0 . We shall consider the Bers-type space on H E I V , denoted by A α ( H E I V ) , which is given by [2]:
A α ( H E I V ) = f H ( H E I V , C ) : f A α ( H E I V ) < + ,
where
f A α ( H E I V ) = sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j α | f ( z , ξ ) | .
It is not difficult to see that A α ( H E I V ) is a Banach space under the norm · A α ( H E I V ) .
Following Timoney and Su [5,6,7], we shall consider the Bloch-type space on H E I V , denoted by B α ( H E I V ) , which is given by
B α ( H E I V ) = { f H ( H E I V , C ) : f B α ( H E I V ) < + } ,
where
f B α ( H E I V ) = sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j α f ( z , ξ ) .
It is easy to see that B α ( H E I V ) is a Banach space under the norm · B α ( H E I V ) .
The composition, multiplication, and radial derivative operators on H ( H E I V , C ) are defined as follows:
( C φ f ) ( z , ξ ) = ( f φ ) ( z , ξ ) = f ( φ ( z , ξ ) ) , ( M ψ f ) ( z , ξ ) = ψ ( z , ξ ) f ( z , ξ ) , R f ( z , ξ ) = j = 1 N z j f z j ( z , ξ ) + k = 1 r ξ k f ξ k ( z , ξ ) , ( z , ξ ) H E I V .
It is well known that
R f ( z , ξ ) = f ( z , ξ ) , ( z , ξ ) ¯ ,
where
f ( z , ξ ) = f z 1 ( z , ξ ) , , f z N ( z , ξ ) , f ξ 1 ( z , ξ ) , , f ξ r ( z , ξ )
is the complex gradient of function f in ( z , ξ ) ( N 1 = = N r = 1 ).
The weighted composition operator with multiplication symbol ψ and composition symbol φ is defined by
W ψ , φ f = ( M ψ C φ ) f = ψ ( f φ ) , f H ( H E I V , C ) .
Over the past 40 years, the weighted composition operators have been extensively studied on or between the most well-known spaces (see, for example, [2,3,8,9,10,11,12]). Besides the products of the operators C φ and M ψ , there have been some investigations of the products of the operators D, R , M ψ , and C φ , where D stands for the differentiation operator. The product-type operators W ψ , φ D and D W ψ , φ were considered in [13,14], respectively. In general, the weighted composition operator is bounded and the radial derivative operator R is unbounded; one is naturally concerned about when their product W ψ , φ R is bounded. For some products of these and other concrete operators for the case of the unit ball, in [15], Liu and Yu introduced the operator (an extension of Stević–Sharma operator) T ψ 1 , ψ 2 , ψ 3 , φ and characterized the boundedness and compactness of T ψ 1 , ψ 2 , ψ 3 , φ from logarithmic Bloch spaces to weighted-type spaces on the unit ball. The product operator R ψ , φ m = M ψ C φ R m was introduced and studied in [16]. The characterization of the boundedness and compactness of the operators R ψ , φ m from logarithmic Bloch spaces B Log to weighted-type spaces H μ on the unit ball was obtained by Stević and Jiang in [17]. The boundedness and compactness of the sum operator G u , φ m = j = 0 m R u j , φ j from the mixed-norm space H ( p , q , ϕ ) , where 0 < p , q , < + and ϕ is normal to the weighted-type space H μ , was given by Huang, Jiang, and Xu in [18]. For some investigations in this direction, see also [19,20,21].
Our work was motivated by the aforementioned research [2,6,17,18]. The primary goal of this paper was to extend the current results on the boundedness of the product-type operator W ψ , φ R from the Bloch spaces B α ( H E I V ) into the Bers-type space A β ( H E I V ) . However, there has been relatively little research on this topic, leaving many open questions, such as the compactness and essential norm of the operator W ψ , φ R from the Bloch spaces B α ( H E I V ) into the Bers-type space A β ( H E I V ) . As a result, the research presented here is of significant importance, and we hope this exposition will inspire further investigation in this area.
From now on, unless specified otherwise, the letter C denotes a positive constant that may vary at each occurrence but is independent of the essential variables.
The following lemmas are used to prove our main results.
Lemma 1
(Minkowski inequality of integration formula [22]). Let a k , b k 0 for k = 1 , 2 , , n . Then, the following inequality holds:
k = 1 n a k + b k 1 / n k = 1 n a k 1 / n + k = 1 n b k 1 / n ,
with equality if and only if a k = c b k for some constant c and for all k = 1 , 2 , , n .
Lemma 2
([4,23]). Let Z R I ( m , n ) = { Z C m × n : I m Z Z ¯ T > 0 } , where Z means an m × n complex matrix, Z T denotes the transpose of Z, Z ¯ denotes the conjugate of Z, I m Z Z ¯ T > 0 denotes I m Z Z ¯ T is a Hermitian positive definite matrix, and m and n are positive integers. Then, there exist two unitary matrices U and V such that
Z = U λ 1 0 0 0 0 0 λ 2 0 0 0 0 0 0 λ m 0 0 V ,
where 1 > λ 1 λ 2 λ m 0 and λ 1 2 , , λ m 2 are the characteristic values of Z Z ¯ T .
Lemma 3
([4,23]). Let
Λ 1 = λ 1 0 0 0 λ 2 0 0 0 0 λ m λ 1 λ 2 λ m 0 ,
Λ 2 = μ 1 0 0 0 μ 2 0 0 0 0 μ m μ 1 μ 2 μ m 0 ,
where λ j μ k < 1 for j , k = 1 , 2 , , m . Then, there exists a permutation matrix P that is m × m such that
inf U U ¯ T = I , V V ¯ T = I det I Λ 1 U Λ 2 U ¯ T V = det I Λ 1 P Λ 2 P T .
Lemma 4
([2]). If z = ( z 1 , z 2 , z 3 , z 4 ) R I V ( 4 ) , then the following point belongs to R I ( 2 , 2 ) :
Z = z 1 + i z 2 i z 2 z 4 i z 3 + z 4 z 1 i z 2 .
Moreover, it follows that
1 + z z T 2 2 z z ¯ T = det I Z Z ¯ T .
In order to prove the main theorems, we need the following propositions.
Proposition 1.
If A , B R I ( 2 , 2 ) , then
det I A A ¯ T 1 / 2 + det I B B ¯ T 1 / 2 2 4 det I A B ¯ T .
Moreover,
det I A A ¯ T + det I B B ¯ T 4 det I A B ¯ T 2 det I A A ¯ T 1 / 2 det I B B ¯ T 1 / 2 .
Proof. 
Since A , B R I ( 2 , 2 ) , by Lemma 2, there exist four 2 × 2 unitary matrices U i and V i ( i = 1 , 2 ) such that
A = U 1 λ 1 0 0 λ 2 V 1 = U 1 Λ 1 V 1
and
B = U 2 μ 1 0 0 μ 2 V 2 = U 2 Λ 1 V 2 ,
0 λ 2 λ 1 < 1 , 0 μ 2 μ 1 < 1 . We have
det I A A ¯ T = ( 1 λ 1 2 ) ( 1 λ 2 2 ) , det I B B ¯ T = ( 1 μ 1 2 ) ( 1 μ 2 2 ) ,
and
det I A B ¯ T = det I U 1 Λ 1 V 1 U 2 Λ 2 V 2 ¯ T = det U 1 U 1 ¯ T U 1 Λ 1 V 1 V 2 ¯ T Λ 2 U 2 ¯ T = det U 1 det U 1 ¯ T Λ 1 V 1 V 2 ¯ T Λ 2 U 2 ¯ T = det U 1 ¯ T Λ 1 V 1 V 2 ¯ T Λ 2 U 2 ¯ T det U 1 = det I Λ 1 V 1 V 2 ¯ T Λ 2 U 2 ¯ T U 1 = det I Λ 1 V 1 V 2 ¯ T Λ 2 V 2 V 1 ¯ T V 1 V 2 ¯ T U 2 ¯ T U 1 .
Set U = V 1 V 2 ¯ T and V = V 1 V 2 ¯ T U 2 ¯ T U 1 ; then, U U ¯ T = I and V V ¯ T = I . By Lemmas 1 and 3, there exists a permutation matrix P that is 2 × 2 such that
4 det I A B ¯ T 4 det I Λ 1 P Λ 2 P T = 4 ( 1 λ 1 μ k 1 ) ( 1 λ 2 μ k 2 ) = ( 2 2 λ 1 μ k 1 ) ( 2 2 λ 2 μ k 2 ) 2 λ 1 2 μ k 1 2 2 λ 2 2 μ k 2 2 = 1 λ 1 2 + 1 μ k 1 2 ( 1 λ 2 2 ) + ( 1 μ k 2 2 ) 1 λ 1 2 1 λ 2 2 1 / 2 + ( 1 μ k 1 2 ) ( 1 μ k 2 2 ) 1 / 2 2 det I A A ¯ T 1 / 2 + det I B B ¯ T 1 / 2 2 ,
where k 1 , k 2 is a permutation of 1 , 2 , finishing the proof of the proposition. □
Without loss of generality, suppose that N 1 = = N r = 1 , that is, ξ j C ; j = 1 , , r ; ξ = ( ξ 1 , , ξ r ) ; and ξ p 2 = j = 1 r | ξ j | 2 p j p = ( p 1 , , p r ) .
Proposition 2.
If ( z , ξ ) , ( s , ζ ) H E I V , then
1 + z z T 2 2 z z ¯ T ξ p 2 + 1 + s s T 2 2 s s ¯ T ζ p 2 4 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ p ζ p .
Moreover, z z T | z | 2 , ξ p + | z | 2 < 1 , and
| ( z , ξ ) | < 1 + r .
Proof. 
If ( z , ξ ) , ( s , ζ ) H E I V , then
1 + z z T 2 2 z z ¯ T > ξ p 2 , 1 + s s T 2 2 s s ¯ T > ζ p 2 ,
and z , s R I V ( N ) . So there exists a real orthogonal matrix U such that
z = z 1 * , z 2 * , z 3 * , z 4 * , 0 , , 0 U , s = w 1 * , w 2 * , w 3 * , w 4 * , 0 , , 0 U .
Let
z * = ( z 1 * , z 2 * , z 3 * , z 4 * ) , s * = ( w 1 * , w 2 * , w 3 * , w 4 * ) ,
A = z 1 * + i z 2 * i z 2 * z 4 * i z 3 * + z 4 * z 1 * i z 2 * ,
and
B = w 1 * + i w 2 * i w 2 * w 4 * i w 3 * + w 4 * w 1 * i w 2 * .
From Lemma 4, we know that A , B R I ( 2 , 2 ) . Moreover, we also have
1 + z z T 2 2 z z ¯ T = det I A A ¯ T , 1 + | s s T | 2 2 s s ¯ T = det I B B ¯ T , 1 + z z T s ¯ s ¯ T 2 z s ¯ T = det I A B ¯ T .
Using Proposition 1 and conditions (4) and (5), it follows that
1 + z z T 2 2 z z ¯ T ξ p 2 + 1 + s s T 2 2 s s ¯ T ζ p 2 = det I A A ¯ T + det I B B ¯ T ξ p 2 + ζ p 2 4 det I A B ¯ T 2 det I A A ¯ T 1 / 2 det I B B ¯ T 1 / 2 2 ξ p ζ p = 4 1 + z z T s ¯ s ¯ T 2 z s ¯ T 2 1 + z z T 2 2 z z ¯ T 1 / 2 1 + s s T 2 2 s s ¯ T 1 / 2 2 ξ p ζ p 4 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ p ζ p .
That is, (2) holds.
Since
1 + z z T 2 2 z z ¯ T = det I A A ¯ T = ( 1 λ 1 2 ) ( 1 λ 2 2 ) 1 4 1 λ 1 2 + 1 λ 2 2 2 = 1 1 2 λ 1 2 + λ 2 2 2 = 1 | A | 2 2 2 ,
and
| A | 2 = | z 1 * + i z 2 * | 2 + | i z 2 * z 4 * | 2 + | i z 3 * + z 4 * | 2 + | z 1 * i z 2 * | 2 = 2 | z 1 * | 2 + | z 2 * | 2 + | z 3 * | 2 + | z 4 * | 2 = 2 | z | 2 ,
then,
z z T | z | 2 ,
which improves the estimation z z T 2 2 z z ¯ T = 2 | z | 2 in [2] [Lemma 2.5] and [11] [Lemma 19]. It follows that
1 + z z T 2 2 z z ¯ T 1 + | z | 4 2 | z | 2 = 1 | z | 2 2 .
Thus
ξ p 2 < 1 + z z T 2 2 z z ¯ T 1 | z | 2 2 ,
that is
ξ p + | z | 2 < 1 .
Since
| ξ j | 2 p j j = 1 r | ξ j | 2 p j = ξ p 2 < 1 , ( j = 1 , 2 , , r ) ,
we have
| ( z , ξ ) | = | z | 2 + | ξ | 2 < 1 + | ξ 1 | 2 + | ξ 2 | 2 + + | ξ r | 2 < 1 + r .
The proof of Proposition 2 is then complete.
Remark 1.
By direct computations, using the triangle inequality, we have
z z T 2 = z 1 2 + z 2 2 + + z N 2 2 | z 1 | 2 + | z 2 | 2 + + | z N | 2 2 = | z | 4 ,
and we can also obtain (6).
Next, we give the following generalized Hua’s inequality on H E I V .
Proposition 3.
If ( z , ξ ) , ( s , ζ ) H E I V , then
1 + z z T 2 2 z z ¯ T ξ p 2 1 + s s T 2 2 s s ¯ T ζ p 2 4 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ p ζ p 2 .
Proof. 
If ( z , ξ ) , ( s , ζ ) H E I V , then by the elementary inequality a b a + b 2 ( a 0 , b 0 ) and Proposition 2:
1 + z z T 2 2 z z ¯ T ξ p 2 1 + s s T 2 2 s s ¯ T ζ p 2 1 4 1 + z z T 2 2 z z ¯ T ξ p 2 + 1 + s s T 2 2 s s ¯ T ζ p 2 2 . 4 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ p ζ p 2 .

2. The Boundedness of the Operator W ψ , φ R : B α ( HE IV ) A β ( HE IV )

In this section, we formulate and prove results regarding the boundedness of the operator W ψ , φ R : B α ( H E I V ) A β ( H E I V ) .
For ( z , ξ ) H E I V , we have z R I V ( N ) ; thus, by Proposition 2, | z | < 1 and ξ p 2 = j = 1 r | ξ j | 2 p j < 1 . Set q = min { p 1 , p 2 , , p r } and Q = max { p 1 , p 2 , , p r } .
Theorem 1.
Suppose ψ H ( H E I V , C ) , φ H ( H E I V , H E I V ) , and α , β > 0 .
(1) 
If
L : = sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + w w T 2 2 w w ¯ T η p 2 α | ψ ( z , ξ ) | | ( w , η ) | < ,
where ( w , η ) : = φ ( z , ξ ) , then W ψ , φ R : B α ( H E I V ) A β ( H E I V ) is bounded.
(2) 
If W ψ , φ R : B α ( H E I V ) A β ( H E I V ) is bounded, then
sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 α | ψ ( z , ξ ) | η p 2 < .
Proof. 
First, suppose that (7) holds. For f B α ( H E I V ) , ( z , ξ ) H E I V , we have that
1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j β | ( W ψ , φ R f ) ( z , ξ ) | = 1 + z z T 2 2 z z ¯ T ξ p 2 β | ψ ( z , ξ ) R f ( φ ( z , ξ ) ) | 1 + z z T 2 2 z z ¯ T ξ p 2 β | ψ ( z , ξ ) | | f ( φ ( z , ξ ) ) | | φ ( z , ξ ) | 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + w w T 2 2 w w ¯ T η p 2 α | ψ ( z , ξ ) | | ( w , η ) | f B α ( H E I V ) M f B α ( H E I V ) .
Then, from (7) and (9), we obtain
W ψ , φ R f A β ( H E I V ) M f B α ( H E I V ) ,
from which the boundedness of the operator W ψ , φ R : B α ( H E I V ) A β ( H E I V ) follows.
Now, assume that W ψ , φ R : B α ( H E I V ) A β ( H E I V ) is bounded. Then, there is a positive constant C such that
W ψ , φ R f A β ( H E I V ) C f B α ( H E I V ) ,
for all f B α ( H E I V ) .
To prove (8) holds for α = 1 , fix ( s , ζ ) H E I V . By Proposition 2, we consider the test function f ( s , ζ ) : H E I V H E I V given by
f ( s , ζ ) ( z , ξ ) = log 1 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p ,
for ( z , ξ ) H E I V , where ξ , ζ p = ξ 1 , ζ 1 p 1 + + ξ r , ζ r p r and | ξ , ζ p | ξ p ζ p . Then, for j = 1 , , N and k = 1 , , r , we can check that
f ( s , ζ ) z j ( z , ξ ) = 2 s j ¯ 2 z j s ¯ s ¯ T 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p ,
and
f ( s , ζ ) ξ k ( z , ξ ) = p k ξ k p k 1 ζ k ¯ p k 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p .
By Proposition 3, we have
f ( s , ζ ) ( z , ξ ) 2 = j = 1 N f ( s , ζ ) z j ( z , ξ ) 2 + k = 1 r f ( s , ζ ) ξ k ( z , ξ ) 2 = 4 j = 1 N s j ¯ z j s ¯ s ¯ T 2 + k = 1 r p k ξ k p k ζ k ¯ p k 2 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p 2 4 j = 1 N s j ¯ z j s ¯ s ¯ T 2 + Q 2 k = 1 r | ξ k | 2 p k | ζ k | 2 p k 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p 2 4 s ¯ z s ¯ s ¯ T 2 + r Q 2 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ p ζ p 2 16 4 s ¯ z s ¯ s ¯ T 2 + r Q 2 1 + z z T 2 2 z z ¯ T ξ p 2 + 1 + s s T 2 2 s s ¯ T ζ p 2 2 64 s ¯ z s ¯ s ¯ T 2 + 16 r Q 2 1 + z z T 2 2 z z ¯ T ξ p 2 2 C 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j 2 .
It can be easily seen that f ( s , ζ ) B ( H E I V ) with
sup ( s , ζ ) H E I V f ( s , ζ ) B ( H E I V ) C .
Since
| R f ( s , ζ ) ( z , ξ ) | = j = 1 N z j f ( s , ζ ) z j ( z , ξ ) + k = 1 r ξ k f ( s , ζ ) ξ k ( z , ξ ) = j = 1 N z j 2 s j ¯ T 2 z j s ¯ s ¯ T 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p + k = 1 r ξ k p k ξ k p k 1 ζ k ¯ p k 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p = 2 j = 1 N z j s j ¯ T z j 2 s ¯ s ¯ T + k = 1 r p k ξ k p k ζ k ¯ p k 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p ,
so taking ( z , ξ ) = ( w , η ) : = φ ( z , ξ ) , then taking ( s , ζ ) = ( w , η ) , and by (6), we obtain
| w | 2 > | w | 4 w w T 2
and
| R f ( s , ζ ) ( z , ξ ) | = | R f ( w , η ) ( w , η ) | = 2 j = 1 N w j w j ¯ T w j 2 w ¯ w ¯ T + k = 1 r p k η k p k η k ¯ p k 1 + w w T w ¯ w ¯ T 2 w w ¯ T η , η p = 2 j = 1 N w j w j ¯ T w j 2 w ¯ w ¯ T + k = 1 r p k | η k | 2 p k 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 = 2 ( | w | 2 | w w T | 2 ) + k = 1 r p k | ζ k | 2 p k 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 q η p 2 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 .
Hence, inequalities (13) and (15) imply that
C W ψ , φ R f ( s , ζ ) B ( H E I V ) W ψ , φ R W ψ , φ R f ( s , ζ ) A β ( H E I V ) = sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j β | ψ ( z , ξ ) R f ( s , ζ ) ( φ ( z , ξ ) ) | 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j β | ψ ( z , ξ ) R f ( s , ζ ) ( φ ( z , ξ ) ) | 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j β | ψ ( z , ξ ) R f ( w , η ) ( w , η ) | q 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + | w w T | 2 2 w w ¯ T η p 2 | ψ ( z , ξ ) | η p 2 .
Thus,
sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + w w T 2 2 w w ¯ T η p 2 | ψ ( z , ξ ) | η p 2 < ,
which means that (8) holds for α = 1 .
Finally, if α 1 , we consider the test function g ( s , ζ ) : H E I V H E I V given by
g ( s , ζ ) ( z , ξ ) = 1 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p α 1 ,
for ( z , ξ ) H E I V . Then, we can check that for j = 1 , , N and k = 1 , , r ,
g ( s , ζ ) z j ( z , ξ ) = 2 ( 1 α ) ( z j s ¯ s ¯ T s j ¯ ) 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p α ,
and
g ( s , ζ ) ξ k ( z , ξ ) = ( 1 α ) p k ξ k p k 1 ζ k ¯ p k 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p α .
By Proposition 2, we have
g ( s , ζ ) ( z , ξ ) 2 = j = 1 N g ( s , ζ ) z j ( z , ξ ) 2 + k = 1 r g ( s , ζ ) ξ k ( z , ξ ) 2 = ( 1 α ) 2 4 j = 1 N z j s ¯ s ¯ T s j ¯ 2 + k = 1 r p k ξ k p k ζ k ¯ p k ) 2 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p 2 α ( 1 α ) 2 4 z s ¯ s ¯ T s ¯ 2 + r Q 2 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p 2 α 16 ( 1 α ) 2 4 z s ¯ s ¯ T s ¯ 2 + r Q 2 1 + z z T 2 2 z z ¯ T ξ p 2 + 1 + s s T 2 2 s s ¯ T ζ p 2 2 α C 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j 2 α ,
which implies that g ( s , ζ ) B α ( H E I V ) with
sup ( s , ζ ) H E I V g ( s , ζ ) B α ( H E I V ) C .
From (17) and (18), we obtain
| R g ( s , ζ ) ( z , ξ ) | = j = 1 N z j g ( s , ζ ) z j ( z , ξ ) + k = 1 r ξ k g ( s , ζ ) ξ k ( z , ξ ) = j = 1 N z j 2 ( 1 α ) ( z j s ¯ s ¯ T s j ¯ ) 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p α k = 1 r ξ k ( 1 α ) p k ξ k p k 1 ζ k ¯ p k 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p α = | α 1 | 2 j = 1 N z j 2 s ¯ s ¯ T z j s j ¯ k = 1 r p k ξ k p k ζ k ¯ p k 1 + z z T s ¯ s ¯ T 2 z s ¯ T ξ , ζ p α ,
so taking ( z , ξ ) = ( w , η ) : = φ ( z , ξ ) , then taking ( s , ζ ) = ( w , η ) , and using (14), we obtain
| R g ( s , ζ ) ( z , ξ ) | = | R g ( w , η ) ( w , η ) | = | α 1 | 2 j = 1 N z j 2 s ¯ s ¯ T z j s j ¯ k = 1 r p k ξ k p k ζ k ¯ p k 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 α = | α 1 | 2 j = 1 N w j 2 w ¯ w ¯ T w j w j ¯ k = 1 r p k | ζ k | 2 p k 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 α = | α 1 | 2 ( | w | 2 | w w T | 2 ) + k = 1 r p k | ζ k | 2 p k 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 α q | α 1 | η p 2 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 α .
Hence, using (19) and (20), we have that
C W ψ , φ R g ( s , ζ ) B α ( H E I V ) W ψ , φ R W ψ , φ R g ( s , ζ ) A β ( H E I V ) = sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j β | ψ ( z , ξ ) R g ( s , ζ ) ( φ ( z , ξ ) ) | 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j β | ψ ( z , ξ ) R g ( s , ζ ) ( φ ( z , ξ ) ) | 1 + z z T 2 2 z z ¯ T j = 1 r | ξ j | 2 p j β | ψ ( z , ξ ) R g ( w , η ) ( w , η ) | q | α 1 | 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 α | ψ ( z , ξ ) | η p 2 .
Taking the supremum over all ( z , ξ ) H E I V , we obtain
sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + w w T w ¯ w ¯ T 2 w w ¯ T η p 2 α | ψ ( z , ξ ) | η p 2 < ,
that is, (8) holds for α 1 . Hence, the proof is complete. □
Let φ H ( H E I V , H E I V ) , and for all ( z , ξ ) H E I V , we write ( w , η ) = φ ( z , ξ ) . By Proposition 2, η p < 1 . We say that φ satisfies the ρ -condition, if there exists ρ ( 0 , 1 ) such that η p ρ . We have the following theorem.
Theorem 2.
Suppose ψ H ( H E I V , C ) ; φ satisfies the ρ-condition; and α , β > 0 . Then, W ψ , φ R : B α ( H E I V ) A β ( H E I V ) is bounded if and only if
M : = sup ( z , ξ ) H E I V 1 + z z T 2 2 z z ¯ T ξ p 2 β 1 + w w T 2 2 w w ¯ T η p 2 α | ψ ( z , ξ ) | < ,
where ( w , η ) : = φ ( z , ξ ) .
Proof. 
If (21) holds, using (3), we obtain that (7) holds; so Theorem 1 implies that W ψ , φ R : B α ( H E I V ) A β ( H E I V ) is bounded. On the other hand, we can easily prove it; this is left to interested readers. □

3. Conclusions

Let Ω be a bounded domain in C n . There has been significant interest in operators acting on the subspaces of H ( Ω , C ) . However, there are still relatively few results concerning the product of the weighted composition operator and the radial derivative operator from Bloch spaces B α ( H E I V ) into the Bers-type space A β ( H E I V ) . Our hope is that this exposition will stimulate further research in this area.
In this study, we aimed to investigate the boundedness of the operator W ψ , φ R from the Bloch-type spaces B α ( H E I V ) into the Bers-type space A β ( H E I V ) . This work serves as a solid starting point for discussion and further inquiry. It is worth noting that working with operators on the fourth Loo-Keng Hua domain H E I V presents challenges compared with operators on the subspace of all holomorphic functions on the unit ball. This difficulty primarily arises from the complexity of obtaining test functions in the Bloch-type space B α ( H E I V ) .

Author Contributions

X.L.: investigation, validation, supervision, and writing—review and editing. Y.L.: proposed the investigation in this paper, project administration, and writing—review and editing. All authors read and agreed to the published version of this manuscript.

Funding

This work was supported by the National Natural Science Foundation of China (grant nos. 12401560, 11771184), Basic Research Program of Jiangsu Province (grant nos. BK20210380, BK20221508), and High Level Personnel Project of Jiangsu Province of China (grant No. JSSCBS20210277).

Data Availability Statement

The original contributions presented in the study are included in the article, further inquiries can be directed to the corresponding author.

Acknowledgments

The authors are very grateful to the anonymous referees and editors for their valuable and detailed suggestions and insightful comments to improve the original manuscript. These authors gratefully acknowledge the support of these organizations.

Conflicts of Interest

No potential conflicts of interest are reported by the authors.

References

  1. Hua, L. Harmonic Analysis of Functions of Several Complex Variables in the Classical Domains; American Mathematical Society: Providence, RI, USA, 1963. [Google Scholar]
  2. Huang, C.; Jiang, Z. The generalized Hua’s inequality on the fourth Loo-Keng Hua domain and an application. Bull. Math. Anal. Appl. 2021, 13, 1–9. [Google Scholar]
  3. Jiang, Z.; Li, Z. Weighted composition operators on Bers-type spaces of Loo-Keng Hua domains. Bull. Korean Math. Soc. 2020, 57, 583–595. [Google Scholar]
  4. Lu, Q. The Classical Manifolds and the Classical Domains; Shanghai Scientific and Technical Publisher: Shanghai, China, 1963. [Google Scholar]
  5. Su, J.; Miao, X.; Li, H. Generalizations of Hua’s inequalities and an application. J. Math. Inequal. 2015, 9, 27–45. [Google Scholar] [CrossRef]
  6. Wang, J.; Su, J. Boundedness and compactness of weighted composition operators from α-Bloch spaces to Bers-type spaces on generalized Hua domains of the first kind. Mathematics 2023, 11, 4403. [Google Scholar] [CrossRef]
  7. Timoney, R. Bloch functions in several complex variables, I. Bull. London Math. Soc. 1980, 12, 241–267. [Google Scholar] [CrossRef]
  8. Liu, X.; Liu, Y. Weighted composition operators between the Bloch type space and the Hardy space on the unit ball of complex Banach spaces. Numer. Funct. Anal. Optim. 2022, 43, 1578–1590. [Google Scholar] [CrossRef]
  9. Liu, Y.; Yu, Y. Weighted composition operators between the Bloch type space and H( B X) of infinite dimensional bounded symmetric domains. Complex Anal. Oper. Theory 2019, 13, 1595–1608. [Google Scholar] [CrossRef]
  10. Su, J.; Zhang, Z. Weighted composition operators from H to (α, m)-Bloch space on Cartan-Hartogs domain of the first type. J. Funct. Spaces 2022, 2022, 4732049. [Google Scholar] [CrossRef]
  11. Wang, Z.; Su, J. Weighted composition operators between Bers-type spaces on generalized Hua-Cartan-Hartogs domains. Axioms 2024, 13, 513. [Google Scholar] [CrossRef]
  12. Wang, J.; Su, J. Boundedness and compactness of weighted composition operators from the (α, k)-Bloch spaces to the A(β,k) spaces on generalized Hua domain of the fourth kind. Axioms 2024, 13, 539. [Google Scholar] [CrossRef]
  13. Jiang, Z. On a class of operators from weighted Bergman spaces to some spaces of analytic functions. Taiwan J. Math. 2011, 15, 2095–2121. [Google Scholar] [CrossRef]
  14. Jiang, Z. On a product-type operator from weighted Bergman-Orlicz space to some weighted-type spaces. Appl. Math. Comput. 2015, 256, 37–51. [Google Scholar] [CrossRef] [PubMed]
  15. Liu, Y.; Yu, Y. Products of composition, multiplication and radial derivative operators from logarithmic Bloch spaces to weighted-type spaces on the unit ball. J. Math. Anal. Appl. 2015, 423, 76–93. [Google Scholar] [CrossRef]
  16. Stević, S. Weighted iterated radial composition operators between some spaces of holomorphic functions on the unit ball. Abstr. Appl. Anal. 2010, 2010, 801264. [Google Scholar] [CrossRef]
  17. Stević, S.; Jiang, Z. Weighted iterated radial composition operators from logarithmic Bloch spaces to weighted-type spaces on the unit ball. Math. Methods Appl. Sci. 2022, 45, 3083–3097. [Google Scholar] [CrossRef]
  18. Huang, C.; Jiang, Z.; Xu, Y. Sum of some product-type operators from mixed-norm spaces to weighted-type spaces on the unit ball. AIMS Math. 2022, 7, 18194–18217. [Google Scholar] [CrossRef]
  19. 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]
  20. Stević, S. Sei-Ichiro Ueki, 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]
  21. 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]
  22. Kung, J. Applied Inequalities; Shandong Science and Technology Press: Qingdao, China, 2004. (In Chinese) [Google Scholar]
  23. Zhou, Z.; Shi, J. Compactness of composition operators on the Bloch space in the classical bounded symmetric domains. Michigan Math. J. 2002, 50, 381–405. [Google Scholar]
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

Liu, X.; Liu, Y. On the Product of Weighted Composition Operators and Radial Derivative Operators from the Bloch-Type Space into the Bers-Type Space on the Fourth Loo-Keng Hua Domain. Mathematics 2024, 12, 3108. https://doi.org/10.3390/math12193108

AMA Style

Liu X, Liu Y. On the Product of Weighted Composition Operators and Radial Derivative Operators from the Bloch-Type Space into the Bers-Type Space on the Fourth Loo-Keng Hua Domain. Mathematics. 2024; 12(19):3108. https://doi.org/10.3390/math12193108

Chicago/Turabian Style

Liu, Xiaoman, and Yongmin Liu. 2024. "On the Product of Weighted Composition Operators and Radial Derivative Operators from the Bloch-Type Space into the Bers-Type Space on the Fourth Loo-Keng Hua Domain" Mathematics 12, no. 19: 3108. https://doi.org/10.3390/math12193108

APA Style

Liu, X., & Liu, Y. (2024). On the Product of Weighted Composition Operators and Radial Derivative Operators from the Bloch-Type Space into the Bers-Type Space on the Fourth Loo-Keng Hua Domain. Mathematics, 12(19), 3108. https://doi.org/10.3390/math12193108

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