Next Article in Journal
Operational Performance Evaluation Model for Food Processing Machinery Industry Chain
Previous Article in Journal
The Influence of the Caputo Fractional Derivative on Time-Fractional Maxwell’s Equations of an Electromagnetic Infinite Body with a Cylindrical Cavity Under Four Different Thermoelastic Theorems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Order-Bounded Difference in Weighted Composition Operators Between Fock Spaces

1
School of Mathematics and Statistics, Sichuan University of Science and Engineering, Zigong 643000, China
2
South Sichuan Center for Applied Mathematics, Sichuan University of Science and Engineering, Zigong 643000, China
*
Author to whom correspondence should be addressed.
Mathematics 2024, 12(21), 3360; https://doi.org/10.3390/math12213360
Submission received: 19 September 2024 / Revised: 22 October 2024 / Accepted: 23 October 2024 / Published: 26 October 2024

Abstract

:
There are two aims in this paper. The first aim is to characterize the order-bounded weighted composition operators between Fock spaces, and the second is to further characterize the order-bounded difference in weighted composition operators between Fock spaces. At the same time, six examples are given to illustrate the relations between boundedness and ordered boundedness. Moreover, an interesting result is found that differences in weighted composition operators defined by some special weighted functions and symbol functions are order-bounded between Fock spaces if and only if each weighted composition operator is compact between Fock spaces. Finally, two open questions are also put forward for converting larger Fock spaces into smaller ones.
MSC:
47B38; 47B33; 47B37; 30H05

1. Introduction

Let C denote the complex plane and H ( C ) the space of all holomorphic functions on C with the usual compact open topology. For two given functions φ , u H ( C ) , the weighted composition operator on (or between) the subspaces of H ( C ) is defined by
W u , φ f ( z ) = u ( z ) f ( φ ( z ) ) .
If u 1 , then W u , φ is the composition operator usually denoted by C φ . If φ ( z ) = z , then W u , φ is the multiplication operator usually denoted by M u . For various investigations of these operators acting on holomorphic functions, see [1,2,3,4,5,6,7,8,9].
Let φ j , u j H ( C ) for j = 1 , 2 . The difference in the operators W u 1 , φ 1 and W u 2 , φ 2 on (or between) the subspaces of H ( C ) is defined by
( W u 1 , φ 1 W u 2 , φ 2 ) f ( z ) = u 1 ( z ) f ( φ 1 ( z ) ) u 2 ( z ) f ( φ 2 ( z ) ) .
While some basic properties of weighted composition operators have been studied widely and deeply, the topological structure of the composition operators and weighted composition operators has been paid more attention. To this end, Shapiro and Sundberg in [10] studied whether two composition operators belong to the same connected component when their difference is compact. Influenced by this inspiring question, differences in composition operators or weighted composition operators have been studied and have become a very active topic. For example, Hosokawa in [11] characterized the bounded and compact difference in weighted composition operators in Bloch spaces. Moorhouse in [12] gave a characterization of a compact difference for composition operators in weighted Bergman spaces. Some interesting phenomena were also found in the progress of characterizing difference in weighted composition operators. Here, we will just list a few to illustrate this and inspire you. For instance, Choe et al. in [13] characterized compact difference in composition operators in weighted Bergman space of the upper half-plane, but Matache in [14] proved that the compact composition operators in this space do not exist. Moorhouse in [12] proved that the difference in noncompact composition operators can be compact in the weighted Bergman space of the unit disk. All of these have aroused the interest of experts and scholars in this research topic (see [15,16,17,18] and the references therein).
Next, let us turn our attention to the order-boundedness of operators in holomorphic function spaces. Let μ be a positive measure on D and X be a Banach space of holomorphic functions. Let 0 < p < , ( Ω , A , μ ) be a measure space and
L p ( Ω , A , μ ) = f | f : Ω C is measurable and Ω | f | p d μ < .
We say that an operator T : X L p ( Ω , A , μ ) is order-bounded if T maps the close unit ball B X of X into an order interval of L p ( Ω , A , μ ) . From this, we give the following definition.
Definition 1. 
Let 0 < p < . An operator T : X L p ( Ω , A , μ ) is said to be order-bounded if there exists a nonnegative function h L p ( Ω , A , μ ) such that for all f X with f X 1 , it holds that
| ( T f ) ( x ) | h ( x ) , a . e . [ μ ] .
Hunziker and Jarchow in [19] introduced this definition, and they also proved that if the composition operator is order-bounded from Hardy space to weighted Bergman space, then it is also compact. Ueki in [20] characterized the order-boundedness of weighted composition operators from weighted-type space to Bergman space, and proved the equivalent relations between boundedness and ordered boundedness. A sufficient condition for the order-boundedness of weighted composition operators in Dirichlet spaces was given in [21]. Subsequently, the necessary and sufficient conditions of order-bounded weighted composition operators in Dirichlet spaces was obtained in [22]. Wolf in [23] studied the order-bounded weighted composition operators from weighted Bergman spaces with the weights to L q ( μ ) . For some other studies, also see [24,25,26,27,28].
Inspired by these studies of order-boundedness, it is natural to consider how to characterize the order-bounded weighted composition operators and difference in weighted composition operators between Fock spaces. Indeed, Tien and Khoi in [29] characterized the boundedness and compactness of differences in weighted composition operators between Fock spaces. This reinforces the need to study the order-bounded difference in weighted composition operators between Fock spaces. Hence, one of the aims of this paper is to characterize order-bounded difference in weighted composition operators between Fock spaces.
In this paper, positive numbers are denoted by C, and they may vary in different situations. The notation a b (resp. a b ) means that there is a normal number C such that a C b (resp. a C b ).

2. Preliminaries

For 0 < q < , L q ( C , e q | z | 2 2 d A ) is the space of all f in H ( C ) for which
f L q ( C , e q | z | 2 2 d A ) = C | f ( z ) | q e q | z | 2 2 d A ( z ) 1 q < ,
where d A is the usual Lebesgue area measure on C . For 0 < p < , the Fock space F p is the set of all functions f H ( C ) such that
f p = p 2 π C | f ( z ) | p e p | z | 2 2 d A ( z ) 1 p < .
If p = , then the space F is the set of all functions f H ( C ) such that
f = sup z C | f ( z ) | e | z | 2 2 < .
If p = 2 , it is a Hilbert space with the inner product
f , g = 1 π C f ( z ) g ( z ) ¯ e | z | 2 d A ( z ) .
By [30], F p is a Banach space for 1 p . F p is a complete metric space with the distance d ( f , g ) = f g p p when 0 < p < 1 .
Let w C . On C , the function is defined:
K w ( z ) = e w ¯ z .
Then, K w p = e | w | 2 2 for 0 < p . Indeed, K w is the reproducing kernel of F 2 , which means that f , K z = f ( z ) for f F 2 and all z C . Let k w be the normalization of K w , that is,
k w ( z ) = e w ¯ z | w | 2 2 .
From the calculations, it follows that k w p = 1 for 0 < p , and k w 0 as | w | .
Here, we would also like to mention some applications of the space F 2 in physics. For instance, F 2 is used to legitimately state quantum that lack definite particle numbers like the states of quantum harmonic oscillators. For various aspects of the theory of weighted composition operators acting on Fock spaces, see [31,32,33,34,35,36].
The following evaluation can be found (see [30]).
Lemma 1. 
For each f F p and z C , it holds that
| f ( z ) | 2 π p 1 / p e | z | 2 2 f p , 0 < p < e | z | 2 2 f p , p = .
Remark 1. 
Regardless of whether 0 < p < or p = , for each f F p and z C , it holds that
| f ( z ) | C e | z | 2 2 f p .
where the positive constant C can be taken as max { 1 , ( 2 π p ) 1 / p } .
Next, a sufficient condition for the boundedness of the operator W u , φ : F p F q was given as follows.
Lemma 2. 
Let 0 < p and 0 < q < . The operator W u , φ : F p F q is bounded if u and φ satisfy the condition
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
Proof. 
For f F p and z C , it follows from Remark 1 that
| W u , φ f ( z ) | = | u ( z ) f ( φ ( z ) ) | C | u ( z ) | e | φ ( z ) | 2 2 f p .
Thus, we have
W u , φ f q q = q 2 π C | u ( z ) f ( φ ( z ) ) | q e q | z | 2 2 d A ( z ) q 2 π C q C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 f p q d A ( z ) = q 2 π C q C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) f p q .
From (2), we obtain
W u , φ f q C q 2 π C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) 1 q f p .
By (1), the operator W u , φ : F p F q is bounded. The proof is completed. □
The following result was obtained in [31].
Lemma 3. 
Let 0 < p q < and φ ( z ) = a z + b with 0 < | a | 1 and u a nonzero function in F q . Then, the following statements hold.
(i) The operator W u , φ : F p F q is bounded if and only if
m ( u , φ ) = sup z C | u ( z ) | e | φ ( z ) | 2 | z | 2 2 < .
(ii) The operator W u , φ : F p F q is compact if and only if
lim | z | | u ( z ) | e | φ ( z ) | 2 | z | 2 2 = 0 .
The case a = 0 is not considered in Lemma 3. Indeed, we have the following result for this case.
Lemma 4. 
Let 0 < p , q , u ( z ) = e c ¯ z and φ ( z ) = b . Then, the operator W u , φ : F p F q is bounded.
Proof. 
For each f F p , from Remark 1, we have
W u , φ f q = | f ( b ) | u q C e | b | 2 2 u q f p = C e | b | 2 + | c | 2 2 f p ,
which shows that the operator W u , φ : F p F q is bounded. The proof is completed. □
In [33], the author proved that if u is a nonzero function in F q and m ( u , φ ) is finite, then φ ( z ) = a z + b with | a | 1 . From this, we therefore assume that φ ( z ) = a z + b with | a | 1 throughout this paper. From Lemmas 3 and 4, we have the next result, which extends the case p = q (see [37]) to the case 0 < p q < .
For z C , we write z = x + i y and c ¯ + a b ¯ = l + i β for convenience.
Lemma 5. 
Let 0 < p q < , u ( z ) = e c ¯ z and φ ( z ) = a z + b with | a | 1 . Then, the operator W u , φ : F p F q is bounded if and only if either | a | < 1 or | a | = 1 and c + a ¯ b = 0 .
Proof. 
If | a | < 1 , then
sup z C | u ( z ) | e | φ ( z ) | 2 | z | 2 2 = sup x , y R e | b | 2 2 + l 2 + β 2 2 ( 1 | a | 2 ) e 1 | a | 2 2 ( x l 1 | a | 2 ) 2 1 | a | 2 2 ( y + β 1 | a | 2 ) 2 = e | b | 2 2 + l 2 + β 2 2 ( 1 | a | 2 ) sup x , y R e 1 | a | 2 2 ( x l 1 | a | 2 ) 2 1 | a | 2 2 ( y + β 1 | a | 2 ) 2 = e | b | 2 2 + | c ¯ + a b ¯ | 2 2 ( 1 | a | 2 ) < .
This means that m ( u , φ ) is finite. From Lemmas 3 and 4, we obtain that the operator W u , φ is bounded.
If | a | = 1 and c + a ¯ b = 0 , then
m ( u , φ ) = sup z C | u ( z ) | e | φ ( z ) | 2 | z | 2 2 = sup x , y R e | b | 2 2 e ( 1 | a | 2 ) x 2 2 + l x e ( 1 | a | 2 ) y 2 2 β y = e | b | 2 2 sup x , y R e l x β y = e | b | 2 2 ,
which shows that m ( u , φ ) is finite. By Lemma 3, we find the operator W u , φ is bounded.
Conversely, let us assume that W u , φ is bounded. Then, from Proposition 3.1 in [31], we obtain that m ( u , φ ) is finite and | a | 1 . By the above proofs, we have
m ( u , φ ) = e | b | 2 2 + | c ¯ + a b ¯ | 2 2 ( 1 | a | 2 ) , | a | < 1 e | b | 2 2 sup x , y R e l x β y , | a | = 1 .
For the case | a | = 1 , form (5), we see that W u , φ is bounded if and only if c + a ¯ b = 0 . The proof is completed. □
The next results are about the characterizations of compactness. The first was obtained in [31].
Lemma 6. 
Let 0 < p , q < , φ ( z ) = b and u ( z ) = e c ¯ z . Then, the operator W u , φ : F p F q is compact.
By Lemmas 3 and 6, we have
Lemma 7. 
Let 0 < p q < , φ ( z ) = a z + b with | a | 1 and u ( z ) = e c ¯ z . Then, the operator W u , φ : F p F q is compact if and only if | a | < 1 .
Proof. 
Assume that | a | < 1 . By Lemma 6, we can further assume that 0 < | a | < 1 . From the Cauchy–Schwarz inequality, we obtain
l x β y | z | | c ¯ + a b ¯ | | z | ( | c | + | a b | ) .
Then,
| u ( z ) | e | φ ( z ) | 2 | z | 2 2 e | b | 2 2 e ( 1 | a | 2 ) | z | 2 2 + ( | a b | + | c | ) | z | ,
which shows
lim | z | | u ( z ) | e | φ ( z ) | 2 | z | 2 2 = 0 .
By Lemma 3, the operator W u , φ : F p F q is compact.
Conversely, let us assume that the operator W u , φ : F p F q is compact. If | a | = 1 , then from the proof of Lemma 5 we have
lim | z | | u ( z ) | e | φ ( z ) | 2 | z | 2 2 = e | b | 2 2 lim x 2 + y 2 e l x β y .
This limit does not exist. Therefore, we obtain | a | < 1 . The proof is completed. □
Here, we cite the following two results (see [29]) in order to study the order-boundedness of difference in weighted composition operators between Fock spaces.
Lemma 8. 
Let 0 < p , q < and u 1 , u 2 , φ 1 , φ 2 be holomorphic functions on C with u 1 0 , u 2 0 and φ 1 φ 2 . If the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is bounded, then
m ( u j , φ j ) = sup z C | u j ( z ) | 2 e | φ j ( z ) | 2 | z | 2 < .
In this case, φ j = a j z + b j with | a j | 1 and j = 1 , 2 .
Lemma 9. 
Let 0 < p q < and u 1 , u 2 , φ 1 , φ 2 be holomorphic functions on C with u 1 0 , u 2 0 and φ 1 φ 2 . Then, the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is compact if and only if both W u 1 , φ 1 and W u 2 , φ 2 : F p F q are compact.
Next, we have an integral estimate.
Lemma 10. 
Let 0 < q < . For d C , it holds that
C | e d z | q d A ( z ) = .
Proof. 
Let z = x + i y and d = a + i b . Then,
C | e d z | q d A ( z ) = + + | e ( a + i b ) ( x + i y ) | q d x d y = + + | e ( a x b y ) + i ( b x + a y ) | q d x d y = + + e q a x q b y d x d y = + e q a x d x + e q b y d y = .
The proof is completed. □

3. Order-Bounded Weighted Composition Operators

We begin to study the order-bounded weighted composition operators between Fock spaces. For the special symbol functions, we characterize the order-bounded weighted composition operators between Fock spaces and prove that order-boundedness is equivalent to compactness.
First, let us recall that the operator W u , φ : F p F q is order-bounded if and only if there exists a nonnegative function g L q ( C , e q | z | 2 2 d A ) such that for all f F p with f p 1 , it holds that
| W u , φ f ( z ) | g ( z ) , a . e . [ e q | z | 2 2 d A ] .
Theorem 1. 
Let 0 < p and 0 < q < . Then, the operator W u , φ : F p F q is order-bounded if and only if u and φ satisfy the condition
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
Proof. 
Assume that (6) holds. Let f F p with f p 1 . From Remark 1, we obtain
| W u , φ f ( z ) | = | u ( z ) f ( φ ( z ) ) | C | u ( z ) | e | φ ( z ) | 2 2 .
From (6), we know that the function
h ( z ) = | u ( z ) | e | φ ( z ) | 2 2 , z C ,
belongs to L q ( C , e q | z | 2 2 d A ) , and it follows from (7) that | W u , φ f ( z ) | h ( z ) . This shows that the operator W u , φ : F p F q is order-bounded.
Now, assume that the operator W u , φ : F p F q is order-bounded. Then, there exists a nonnegative function g L q ( C , e q | z | 2 2 d A ) such that for f F p with f p 1 , it follows that
| W u , φ f ( z ) | g ( z ) , a . e . [ e q | z | 2 2 d A ] .
For w C , from Preliminaries, we know that the function
k w ( z ) = e w ¯ z | w | 2 2
and k w p = 1 . Then, replacing f by k w in (8), we obtain
g ( z ) | W u , φ k w ( z ) | = | u ( z ) k w ( φ ( z ) ) | = | u ( z ) e w ¯ φ ( z ) | w | 2 2 | , a . e . [ e q | z | 2 2 d A ] .
Letting w = φ ( z ) in (9), we have
g ( z ) | u ( z ) | | e | φ ( z ) | 2 2 | = | u ( z ) | e | φ ( z ) | 2 2 , a . e . [ e q | z | 2 2 d A ] ,
which implies
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
That is, (6) holds, and the proof is completed. □
Example 1. 
Let 0 < p , 0 < q < , u ( z ) = e ( 1 i ) z and φ ( z ) = ( 1 2 1 2 i ) z + 1 + i . Then, the operator W u , φ : F p F q is order-bounded.
Proof. 
Let z = x + i y . From Theorem 1, we have
| u ( z ) | 2 e | φ ( z ) | 2 | z | 2 = | e 2 ( 1 i ) z | e | ( 1 2 1 2 i ) z + 1 + i | 2 | z | 2 = | e 2 ( 1 i ) ( x + i y ) | e | ( 1 2 1 2 i ) ( x + i y ) + 1 + i | 2 | x + i y | 2 = e 2 ( x + y ) e 1 2 x 2 1 2 y 2 + 2 y + 2 = e 1 2 ( x 2 ) 2 1 2 ( y 4 ) 2 + 12 .
Then,
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) = + + e q 4 ( x 2 ) 2 q 4 ( y 4 ) 2 + 6 q d x d y = e 6 q + e q 4 ( x 2 ) 2 d x + e q 4 ( y 4 ) 2 d y < .
which implies
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
Hence, the operator W u , φ : F p F q is order-bounded. The proof is completed. □
Example 2. 
Let 0 < p , 0 < q < , φ ( z ) = ( 1 2 + 3 2 i ) z + i and u ( z ) = e ( 3 2 + 1 2 i ) z . Then, the operator W u , φ : F p F q is not order-bounded.
Proof. 
Let z = x + i y . From Theorem 1, we have
| u ( z ) | e | φ ( z ) | 2 | z | 2 2 = | e ( 3 2 + 1 2 i ) ( x + i y ) | e | i ( 3 2 x + 1 2 y + 1 ) + 1 2 x 3 2 y | 2 | x + i y | 2 2 = | e i ( 1 2 x 3 2 y ) | e 1 2 y 3 2 x e 1 2 y + 3 2 x + 1 = e .
Then,
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) = .
Hence, the operator W u , φ : F p F q is not order-bounded. The proof is completed. □
From the next example, we see that there exists some functions u and φ such the operators W u , φ : F p F q are bounded but not order-bounded.
Example 3. 
Let 0 < p q < , u ( z ) = e ( 1 + i ) z and φ ( z ) = i z i 1 . Then, the operator W u , φ : F p F q is bounded but not order-bounded.
Proof. 
Let z = x + i y . From Lemma 3, we have
| u ( z ) | e | φ ( z ) | 2 | z | 2 2 = | e ( 1 + i ) ( x + i y ) | e | i ( x 1 ) ( y + 1 ) | 2 | x + i y | 2 2 = | e i ( x + y ) | e x y e x + y + 1 = e ,
which implies
m ( u , φ ) = sup z C e = e < .
Hence, the operator W u , φ : F p F q is bounded.
On the other hand, it follows from the calculations that
C | u ( z ) | p e p ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) = .
By Theorem 1, the operator W u , φ : F p F q is not order-bounded. The proof is completed. □
Example 3 shows that we need to further study the relations between the order-boundedness and some properties such as boundedness or compactness of weighted composition operators. For such a problem, we will provide some answers in the sequel.
Since W 1 , φ = C φ , the following result was obtained.
Corollary 1. 
Let 0 < q < and 0 < p . Then, the operator C φ : F p F q is order-bounded if and only if u and φ satisfy the condition
C e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
We see that if the operator T : F p F q is order-bounded, then it is bounded. We give the proof as follows.
If the operator T : F p F q is order-bounded, then there exists a nonnegative function h L q ( C , e q | z | 2 2 d A ) such that for f F p with f p 1 , it holds that
| T f ( z ) | h ( z ) , a . e . [ e q | z | 2 2 d A ] .
Thus, for each f F p with f p 1 , it holds that
T f q q = C | T f ( z ) | q e q | z | 2 2 d A ( z ) C | h ( z ) | q e q | z | 2 2 d A ( z ) ,
which shows that the operator T : F p F q is bounded.
Theorem 2. 
Let 0 < p q < , φ ( z ) = a z + b with | a | 1 and u ( z ) = e c ¯ z . Then, the operator W u , φ : F p F q is order-bounded if and only if | a | < 1 .
Proof. 
Assume that | a | < 1 . Now, we prove that u and φ satisfy the condition (6). The proof is divided into the following two cases.
Case 1. Assume that | a | = 0 , that is, a = 0 . We notice that u q q = K c q q = e q | c | 2 2 . Then, we have
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) = C | e c ¯ z | q e q ( | b | 2 | z | 2 ) 2 d A ( z ) = C | e c ¯ z | q e q ( | b | 2 | z | 2 ) 2 d A ( z ) = e q | b | 2 2 C | e c ¯ z | q e q | z | 2 2 d A ( z ) = e q | b | 2 2 K c q q = e q ( | b | 2 + | c | 2 ) 2 < ,
which shows that (6) holds for this case.
Case 2. Assume that 0 < | a | < 1 . We have
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) = C | e c ¯ z | q e q ( | a z + b | 2 | z | 2 ) 2 d A ( z ) C | e c ¯ z | q e q ( | a | 2 | z | 2 + | b | 2 + 2 | a | | b | | z | | z | 2 ) 2 d A ( z ) = e q | b | 2 2 C | e c ¯ z | q e q [ ( | a | 2 1 ) | z | 2 + 2 | a | | b | | z | ] 2 d A ( z ) e q | b | 2 2 C e q | z | ( | c ¯ | + | a | | b | ) + q ( | a | 2 1 ) | z | 2 d A ( z ) .
Let k 1 = q ( | c | + | a | | b | ) and k 2 = q ( 1 | a | 2 ) . We obtain that k 1 0 and k 2 ( 0 , 1 ) . At this moment, we have
C e q | z | ( | c | + | a | | b | ) + q ( | a | 2 1 ) | z | 2 d A ( z ) = C e k 1 | z | k 2 | z | 2 d A ( z ) .
Let z = x + i y , x = ρ cos θ and y = ρ sin θ . From changing the variables in the integral, we obtain
C e k 1 | z | k 2 | z | 2 d A ( z ) = + + e k 1 x 2 + y 2 k 2 ( x 2 + y 2 ) d x d y = 0 2 π 0 + ρ e k 1 ρ k 2 ρ 2 d ρ d θ = 2 π 0 + ρ e k 1 ρ k 2 ρ 2 d ρ = 2 π 0 + 1 2 k 2 e k 1 ρ d e k 2 ρ 2 = 2 π 1 2 k 2 e k 1 ρ k 2 ρ 2 | 0 + + 0 + k 1 2 k 2 e k 1 ρ k 2 ρ 2 d ρ = π k 2 e k 1 ρ k 2 ρ 2 | 0 + + k 1 0 + e k 1 ρ k 2 ρ 2 d ρ = π k 2 ( I 1 ( ρ ) + k 1 I 2 ( ρ ) ) .
We have
I 2 ( ρ ) = 0 + e k 1 ρ k 2 ρ 2 d ρ = 0 + e k 2 ( ρ k 1 2 k 2 ) 2 + k 1 2 4 k 2 d ρ = e k 1 2 4 k 2 0 + e k 2 ( ρ k 1 2 k 2 ) 2 d ρ < ,
and
I 1 ( ρ ) = e k 1 ρ k 2 ρ 2 | 0 + < ,
which implies
C e k 1 | z | k 2 | z | 2 d A ( z ) < ,
that is,
C | u ( z ) | q e q ( | φ ( z ) | 2 | z | 2 ) 2 d A ( z ) < ,
which also shows that (6) holds for this case.
Now, assume that the operator W u , φ : F p F q is order-bounded. From the Definition 1, there exists a nonnegative function h L p ( C , e q | z | 2 2 d A ) such that for all f F p with f p 1 , it holds that
| W u , φ f ( z ) | = | u ( z ) f ( φ ( z ) ) | = | e c ¯ z f ( a z + b ) | h ( z ) , a . e . [ e p | z | 2 2 d A ] .
Replacing f by k w in (10), we have
| W u , φ k w ( z ) | = | e c ¯ z e w ¯ | a z + b | | w | 2 2 | h ( z ) , a . e . [ e p | z | 2 2 d A ] .
Letting w = φ ( z ) , we obtain
| e c ¯ z e | a z + b | 2 2 | h ( z ) , a . e . [ e p | z | 2 2 d A ] ,
which shows
C | e c ¯ z + | a z + b | 2 2 | p e p | z | 2 2 d A ( z ) < .
If | a | = 1 , then by Lemma 10 and the fact e z = | e z | , we have
C | e c ¯ z + | a z + b | 2 2 | q e q | z | 2 2 d A ( z ) = C | e c ¯ z | q e q 2 ( | a z + b | 2 | z | 2 ) d A ( z ) = e q | b | 2 2 C | e c ¯ z | q e q ( a b ¯ z ) d A ( z ) = e q | b | 2 2 C | e c ¯ z | q | e a b ¯ z | q d A ( z ) = e q | b | 2 2 C | e ( c ¯ + a b ¯ ) z | q d A ( z ) = ,
which contradicts (11). So, we have | a | < 1 . The proof is completed. □
From Lemma 7 and Theorem 2, we obtain the following result.
Corollary 2. 
Let 0 < p q < , φ ( z ) = a z + b with | a | 1 and u ( z ) = e c ¯ z . Then, the operator W u , φ : F p F q is compact if and only if the operator W u , φ : F p F q is order-bounded.
Since C φ = W K 0 , φ , we also have
Corollary 3. 
Let 0 < p q < . Then, the operator C φ : F p F q is compact if and only if the operator C φ : F p F q is order-bounded.
We obtain Theorem 2 only for the case 0 < p q < . The case 0 < q < p < is more complicated, so we put forward the following:
Question 1. 
Let 0 < q < p < , u ( z ) = e c ¯ z and φ ( z ) = a z + b with | a | 1 . What is the necessary and sufficient condition for the operator W u , φ : F p F q to be order-bounded?

4. Order-Bounded Difference in Weighted Composition Operators

Now, we characterize the order-boundedness of difference in weighted composition operators between Fock spaces. We have successfully applied improved methods and techniques from [29] to the research of the following Theorem 3.
Theorem 3. 
Let 0 < p , 0 < q < and u 1 , u 2 , φ 1 , φ 2 be holomorphic functions with u 1 0 , u 2 0 and φ 1 φ 2 on C . Then, the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is order-bounded if and only if both W u 1 , φ 1 and W u 2 , φ 2 : F p F q are order-bounded.
Proof. 
Assume that the operators W u 1 , φ 1 and W u 2 , φ 2 : F p F q are order-bounded. By Theorem 1,
C | u j ( z ) | q e q ( | φ j ( z ) | 2 | z | 2 ) 2 d A ( z ) <
for j = 1 , 2.
For f F p with f p 1 , it follows from Lemma 1 that
| ( W u 1 , φ 1 W u 2 , φ 2 ) ( f ) ( z ) | = | u 1 ( z ) f ( φ 1 ( z ) ) u 2 ( z ) f ( φ 2 ( z ) ) | | u 1 ( z ) f ( φ 1 ( z ) ) | + | u 2 ( z ) f ( φ 2 ( z ) ) | | u 1 ( z ) | e | φ 1 ( z ) | 2 2 + | u 2 ( z ) | e | φ 2 ( z ) | 2 2 .
Choose the function
h ( z ) = | u 1 ( z ) | e | φ 1 ( z ) | 2 2 + | u 2 ( z ) | e | φ 2 ( z ) | 2 2 .
Then,
h q ( z ) = | u 1 ( z ) | e | φ 1 ( z ) | 2 2 + | u 2 ( z ) | e | φ 2 ( z ) | 2 2 q 2 max | u 1 ( z ) | e | φ 1 ( z ) | 2 2 , | u 2 ( z ) | e | φ 2 ( z ) | 2 2 q 2 q | u 1 ( z ) | q e q | φ 1 ( z ) | 2 2 + | u 2 ( z ) | q e q | φ 2 ( z ) | 2 2 ,
which shows
C h q ( z ) e q | z | 2 2 d A ( z ) 2 q C | u 1 ( z ) | q e q ( | φ 1 ( z ) | 2 | z | 2 ) 2 + | u 2 ( z ) | q e q ( | φ 2 ( z ) | 2 | z | 2 ) 2 d A ( z ) < ,
that is, h L q ( C , e q | z | 2 2 d A ) . Therefore, the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is order-bounded.
Conversely, assume that the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is order-bounded. By Definition 1, there exists a nonnegative function g L q ( C , e q | z | 2 2 d A ) such that for all f F p with f p 1 , it holds that
| ( W u 1 , φ 1 W u 2 , φ 2 ) f ( z ) | g ( z ) , a . e . [ e q | z | 2 2 d A ] .
Consider the function f = k w in (12). Then, we have
g ( z ) | ( W u 1 , φ 1 W u 2 , φ 2 ) k w ( z ) | = | u 1 ( z ) k w ( φ 1 ( z ) ) u 2 ( z ) k w ( φ 2 ( z ) ) | = | u 1 ( z ) e w ¯ φ 1 ( z ) | w | 2 2 u 2 ( z ) e w ¯ φ 2 ( z ) | w | 2 2 | | u 1 ( z ) e w ¯ φ 1 ( z ) | w | 2 2 | | u 2 ( z ) e w ¯ φ 2 ( z ) | w | 2 2 | , a . e . [ e q | z | 2 2 d A ] .
Letting w = φ 1 ( z ) in (13), we obtain
g ( z ) | u 1 ( z ) e | φ 1 ( z ) | 2 2 | | u 2 ( z ) e φ 1 ( z ) ¯ φ 2 ( z ) | φ 1 ( z ) | 2 2 | = | u 1 ( z ) | e | φ 1 ( z ) | 2 2 | u 2 ( z ) | e | φ 2 ( z ) | 2 | φ 1 ( z ) φ 2 ( z ) | 2 2 , a . e . [ e q | z | 2 2 d A ] .
Also, letting w = φ 2 ( z ) in (13), we have
g ( z ) | u 2 ( z ) | e | φ 2 ( z ) | 2 2 | u 1 ( z ) | e | φ 1 ( z ) | 2 | φ 1 ( z ) φ 2 ( z ) | 2 2 , a . e . [ e q | z | 2 2 d A ] .
Consequently, combining (14) and (15) leads to
2 g ( z ) | u 1 ( z ) | e | φ 1 ( z ) | 2 2 + | u 2 ( z ) | e | φ 2 ( z ) | 2 2 1 e | φ 1 ( z ) φ 2 ( z ) | 2 2 , a . e . [ e q | z | 2 2 d A ] .
Since 1 e x x 1 + x for all x 0 , we obtain
1 e | φ 1 ( z ) φ 2 ( z ) | 2 2 | φ 1 ( z ) φ 2 ( z ) | 2 2 + | φ 1 ( z ) φ 2 ( z ) | 2 .
We therefore have
g ( z ) | φ 1 ( z ) φ 2 ( z ) | 2 2 ( 2 + | φ 1 ( z ) φ 2 ( z ) | 2 ) | u 1 ( z ) | e | φ 1 ( z ) | 2 2 , a . e . [ e q | z | 2 2 d A ] ,
and
g ( z ) | φ 1 ( z ) φ 2 ( z ) | 2 2 ( 2 + | φ 1 ( z ) φ 2 ( z ) | 2 ) | u 2 ( z ) | e | φ 2 ( z ) | 2 2 , a . e . [ e q | z | 2 2 d A ] .
From Lemma 8, for some a , b C , we conclude that φ 1 ( z ) φ 2 ( z ) = a z + b . Therefore, we see that if a 0 , then
lim | z | | φ 1 ( z ) φ 2 ( z ) | 2 2 + | φ 1 ( z ) φ 2 ( z ) | 2 = 1 ;
if a = 0 , then
lim | z | | φ 1 ( z ) φ 2 ( z ) | 2 2 + | φ 1 ( z ) φ 2 ( z ) | 2 = | b | 2 2 + | b | 2 > 0 ,
where we have used the assumption of φ 1 φ 2 . Next, the proof is divided into the following two cases.
Case 1. Assume that a 0 . By (18), for ε = 1 2 , there exists a positive constant r 1 > 0 such that
| | φ 1 ( z ) φ 2 ( z ) | 2 2 + | φ 1 ( z ) φ 2 ( z ) | 2 1 | < 1 2
for all | z | > r 1 . It is clear that (20) is equivalent to
1 2 < | φ 1 ( z ) φ 2 ( z ) | 2 2 + | φ 1 ( z ) φ 2 ( z ) | 2 < 3 2
for all | z | > r 1 .
It follows from (16) and (21) that there exists a positive constant C 1 such that
| u 1 ( z ) | e | φ 1 ( z ) | 2 2 C 1 g ( z ) , a . e . [ e q | z | 2 2 d A ]
for all | z | > r 1 . By the continuousness, there exists a positive constant C 2 such that
| u 1 ( z ) | e | φ 1 ( z ) | 2 2 C 2
for all | z | r 1 . Consequently, from (22) and (23) we obtain
| u 1 ( z ) | e | φ 1 ( z ) | 2 2 C 1 g ( z ) + C 2 , a . e . [ e q | z | 2 2 d A ] .
Then
C | u 1 ( z ) | q e q ( | φ 1 ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
Similarly, we also can obtain
C | u 2 ( z ) | q e q ( | φ 2 ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
By Theorem 1, both W u 1 , φ 1 and W u 2 , φ 2 : F p F q are order-bounded for this case.
Case 2. Assume that a = 0 . By (19), there exists a positive constant r 2 such that
| | φ 1 ( z ) φ 2 ( z ) | 2 2 + | φ 1 ( z ) φ 2 ( z ) | 2 | b | 2 2 + | b | 2 | < | b | 2 2 ( 2 + | b | 2 )
for all | z | > r 2 . (24) implies that
| b | 2 2 ( 2 + | b | 2 ) < | φ 1 ( z ) φ 2 ( z ) | 2 2 + | φ 1 ( z ) φ 2 ( z ) | 2 < 3 | b | 2 2 ( 2 + | b | 2 )
for all | z | > r 2 . By (17) and (25), there exists a positive constant C 3 such that
| u 1 ( z ) | e | φ 1 ( z ) | 2 2 C 3 g ( z ) a . e . [ e q | z | 2 2 d A ]
for | z | > r 2 . On the other hand, there exists a positive constant C 4 such that
| u 1 ( z ) | e | φ 1 ( z ) | 2 2 C 4
for all | z | r 2 .
Therefore, we have
| u 1 ( z ) | e | φ 1 ( z ) | 2 2 C 3 g ( z ) + C 4 , a . e . [ e q | z | 2 2 d A ] .
From this, we deduce that
C | u 1 ( z ) | q e q ( | φ 1 ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
We also can similarly obtain
C | u 2 ( z ) | q e q ( | φ 2 ( z ) | 2 | z | 2 ) 2 d A ( z ) < .
Also by Theorem 1, both W u 1 , φ 1 and W u 2 , φ 2 : F p F q are order-bounded. The proof is completed. □
Remark 2. 
In the proof of Theorem 4, we have used the two obvious facts 1 e x x 1 + x for all x 0 , and | e z ¯ w | z | 2 2 | = e | w | 2 | z w | 2 2 for all w , z C .
Example 4. 
Let 0 < p , 0 < q < , φ 1 ( z ) = i 2 z 1 + i , φ 2 ( z ) = ( 1 3 2 3 i ) z + i , u 1 ( z ) = e z and u 2 ( z ) = e ( 1 + 3 i ) z . Then the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is order-bounded.
Proof. 
Let z = x + i y . From Theorem 1, we have
| u 1 ( z ) | 2 e | φ 1 ( z ) | 2 | z | 2 = | e 2 z | e | i 2 z 1 + i | 2 | z | 2 e 2 | z | e | i 2 | 2 | z | 2 + | 1 + i | 2 + 2 | 1 + i | | i 2 | | z | | z | 2 = e 3 4 | z | 2 + ( 2 + 2 ) | z | + 2 = e 3 4 ( | z | 4 3 2 2 3 ) 2 + 4 + 4 2 3 ,
which implies
C | u 1 ( z ) | q e q ( | φ 1 ( z ) | 2 | z | 2 ) 2 d A ( z ) = C e 3 q 8 ( | z | 4 3 2 2 3 ) 2 + 2 q + 2 2 q 3 d A ( z ) < .
Hence, the operator W u 1 , φ 1 : F p F q is order-bounded.
Similarly, we have
| u 2 ( z ) | 2 e | φ 2 ( z ) | 2 | z | 2 = | e 2 ( 1 + 3 i ) z | e | ( 1 3 2 3 i ) z + i | 2 | z | 2 e 2 | 1 + 3 i | | z | e | 1 3 2 3 i | 2 | z | 2 + | i | 2 + 2 | 1 3 2 3 i | | i | | z | | z | 2 = e 4 9 | z | 2 + ( 2 5 3 + 2 10 ) | z | + 1 = e 4 9 ( | z | 3 5 4 9 10 4 ) 2 + 99 4 + 15 5 2 .
Obviously,
C | u 2 ( z ) | q e q ( | φ 2 ( z ) | 2 | z | 2 ) 2 d A ( z ) = C e 2 q 9 ( | z | 3 5 4 9 10 4 ) 2 + 99 q 8 + 15 5 q 4 d A ( z ) < .
From Theorem 1, the operator W u 2 , φ 2 : F p F q is order-bounded. Then, the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is order-bounded by Theorem 3. The proof is completed. □
Example 5. 
0 < p , 0 < q < , φ 2 ( z ) = ( 1 + i ) z + 1 i , u 1 ( z ) = e ( 3 + 4 i ) z and u 2 ( z ) = e ( 1 2 i ) z . Then the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is not order-bounded.
Proof. 
Let z = x + i y . From Theorem 1, we have
| u 1 ( z ) | 2 e | φ 1 ( z ) | 2 | z | 2 = | e 2 z ( 3 + 4 i ) | e | 1 i | 2 | z | 2 e 2 | 3 + 4 i | | z | e 2 | z | 2 = e ( | z | 5 ) 2 + 27 ,
which implies
C | u 1 ( z ) | q e q ( | φ 1 ( z ) | 2 | z | 2 ) 2 d A ( z ) = C e q 2 ( | z | 5 ) 2 + 27 q 2 d A ( z ) < .
Hence, the operator W u 1 , φ 1 : F p F q is order-bounded.
Similarly, we have
| u 2 ( z ) | 2 e | φ 2 ( z ) | 2 | z | 2 = | e 2 ( 1 2 i ) z | e | ( 1 + i ) z + 1 i | 2 | z | 2 e 2 | 1 2 i | | z | e | 1 + i | 2 | z | 2 + | 1 i | 2 + 2 | 1 + i | | 1 i | | z | | z | 2 = e | z | 2 + ( 4 + 2 5 ) | z | + 2 = e ( | z | + 2 + 5 ) 2 + 11 + 4 5 .
Obviously,
C | u 2 ( z ) | q e q ( | φ 2 ( z ) | 2 | z | 2 ) 2 d A ( z ) = C e q 2 ( | z | + 2 + 5 ) 2 + q 2 ( 11 + 4 5 ) d A ( z ) = .
From Theorem 1, the operator W u 2 , φ 2 : F p F q is not order-bounded. That is, the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is not order-bounded. The proof is completed. □
From the next example, we see that there exists some symbols u and φ such the operators W u 1 , φ 1 W u 2 , φ 2 : F p F q are bounded but not order-bounded.
Example 6. 
Let 0 < p q < , φ 1 ( z ) = ( 1 2 1 2 i ) z + 1 i , u 1 ( z ) = e ( 1 + 3 i ) z , φ 2 ( z ) = i z + i 1 and u 2 ( z ) = e ( 1 i ) z . Then, the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is bounded but not order-bounded.
Proof. 
By Theorem 1, we have
| u 1 ( z ) | 2 e | φ 1 ( z ) | 2 | z | 2 e 2 | 1 + 3 i | | z | e | 1 2 1 2 i | 2 | z | 2 + 2 | 1 2 1 2 i | | 1 i | | z | + | 1 i | 2 | z | 2 = e 6 | z | | z | 2 2 + 2 = e 1 2 ( | z | 6 ) 2 + 20 ,
that is,
C e p 2 [ 1 2 ( | z | 6 ) 2 + 20 ] d A ( z ) < ,
which shows that the operator W u 1 , φ 1 : F p F q is order-bounded. At the same time,
m ( u 1 , φ 1 ) = e 20 < .
So, from Lemma 3, the operator W u 1 , φ 1 : F p F q is bounded.
Let z = x + i y . From Lemma 3, we have
| u 2 ( z ) | 2 e | φ 2 ( z ) | 2 | z | 2 = | e ( 1 i ) ( x + i y ) | 2 e | ( y 1 ) i ( x 1 ) | 2 | x + i y | 2 = | e i ( y x ) | 2 e 2 x + 2 y e 2 x 2 y + 2 = e 2 ,
which implies that
m ( u 2 , φ 2 ) = sup z C e 2 < .
Hence, the operator W u 2 , φ 2 : F p F q is bounded.
On the other hand, it follows from the calculations that
C | u 2 ( z ) | p e p ( | φ 2 ( z ) | 2 | z | 2 ) 2 d A ( z ) = .
From Theorem 1, the operator W u 2 , φ 2 : F p F q is not order-bounded. Then the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is bounded but not order-bounded. The proof is completed. □
We have the following result, which can be obtained by Theorems 2 and 3.
Corollary 4. 
Let 0 < p q < , u j ( z ) = e c ¯ j z , φ j ( z ) = a j z + b j with | a j | 1 , c 1 c 2 and a 1 a 2 or b 1 b 2 for j = 1 , 2 . Then the operator W u 1 , φ 1 W u 2 , φ 2 : F p F q is order-bounded if and only if | a j | < 1 for j = 1 , 2 .
To sum up, we obtain
Theorem 4. 
Let 0 < p q < , u j ( z ) = e c ¯ j z and φ j ( z ) = a j z + b j with | a j | 1 , c 1 c 2 and a 1 a 2 or b 1 b 2 for j = 1 , 2 . Then the following statements are equivalent:
(a) W u 1 , φ 1 W u 2 , φ 2 : F p F q is order-bounded;
(b) W u 1 , φ 1 W u 2 , φ 2 : F p F q is compact;
(c) | a j | < 1 , for j = 1 , 2 ;
(d) both W u 1 , φ 1 : F p F q and W u 2 , φ 2 : F p F q are order-bounded;
(e) both W u 1 , φ 1 : F p F q and W u 2 , φ 2 : F p F q are compact.
Proof. 
From Theorem 2 and Corollary 2, it follows that ( c ) ( d ) and ( d ) ( e ) . Obviously, ( a ) ( d ) from Theorem 3. From Lemma 9, ( b ) ( e ) is true. The proof is completed. □
Notice that C φ 1 C φ 2 = W K 0 , φ 1 W K 0 , φ 2 . Therefore, the following result was obtained.
Corollary 5. 
Let 0 < p q < , φ j ( z ) = a j z + b j with | a j | 1 , and a 1 a 2 or b 1 b 2 for j = 1 , 2 . Then the following statements are equivalent:
(a) C φ 1 C φ 2 : F p F q is order-bounded;
(b) C φ 1 C φ 2 : F p F q is compact;
(c) | a j | < 1 for j = 1 , 2 ;
(d) both C φ 1 : F p F q and C φ 2 : F p F q are order-bounded;
(e) both C φ 1 : F p F q and C φ 2 : F p F q are compact.
We finish the section by posing the following
Question 2. 
What will be the results in this section for the case 0 < q < p < ?

5. Conclusions

In this paper, we completely characterize the order-bounded weighted composition operators W u , φ from F p to F q for 0 < p and 0 < q < . We also completely characterize the order-bounded difference in these operators. When 0 < p q < , we successfully characterize the order-boundedness of the operators W e c ¯ z , a z + b from F p to F q by using the compactness. But, we find that there are still some interesting unresolved questions such as Questions 1 and 2. Therefore, we hope that the study can attract people’s more attention to this topic.

Author Contributions

X.-F.P. wrote the main manuscript text, Z.-J.J. wrote the partial manuscript and carefully revised the manuscript. All authors have read and agreed to the published version of the manuscript.

Funding

This study was supported by Sichuan Science and Technology Program (2024NSFSC0416).

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 author would like to thank the anonymous reviewers for providing valuable comments for the improvement of the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Cowen, C.; Gunatillake, G.; Ko, E. Hermitian weighted composition operators and Bergman extremal functions. Complex Anal. Oper. Theory 2013, 7, 69–99. [Google Scholar] [CrossRef]
  2. Colonna, F.; Tjani, M. Essential norms of weighted composition operators from Hilbert function spaces into Zygmund-type spaces. Med. J. Math. 2015, 12, 1357–1375. [Google Scholar] [CrossRef]
  3. Contreras, M.; Hernández-Díaz, A. Weighted composition operators between different Hardy spaces. Integral Equ. Oper. Theory 2003, 46, 165–188. [Google Scholar] [CrossRef]
  4. Du, J.; Zhu, X. Essential norm of weighted composition operators between Bloch-type spaces in the open unit ball. Math. Inequalities Appl. 2019, 22, 45–58. [Google Scholar] [CrossRef]
  5. Haakan, H.; Korenblum, B.; Zhu, K.H. Theory of Bergman Spaces; Springer Science Business Media: Berlin/Heidelberg, Germany, 2012. [Google Scholar]
  6. Zhu, K.H. Operator Theory in Function Spaces; American Mathematical Society: Providence, RI, USA, 2007. [Google Scholar]
  7. Zhu, K.H. Spaces of Holomorphic Functions in the Unit Ball; Springer: New York, NY, USA, 2005. [Google Scholar]
  8. Hu, Q.; Li, S.; Zhang, Y. Essential norm of weighted composition operators from analytic Besov Spaces into Zygmund type spaces. J. Contemp. Math. Anal. 2019, 54, 129–142. [Google Scholar] [CrossRef]
  9. Zorboska, N. Isometric weighted composition operators on weighted Bergman spaces. J. Math. Anal. Appl. 2018, 461, 657–675. [Google Scholar] [CrossRef]
  10. Shapiro, J.; Sundberg, C. Isolation amongst the composition operators. Pac. J. Math. 1990, 145, 117–152. [Google Scholar] [CrossRef]
  11. Hosokawa, T. Differences of weighted compsotion operators on the Bloch spaces. Complex Anal. Oper. Theory 2009, 3, 847–866. [Google Scholar] [CrossRef]
  12. Moorhouse, J. Compact dfferences of composition operators. J. Funct. Anal. 2005, 219, 70–92. [Google Scholar] [CrossRef]
  13. Choe, B.R.; Koo, H.; Smith, W. Dfference of composition operators over the half-plane. Trans. Am. Math. Soc. 2017, 369, 3173–3205. [Google Scholar] [CrossRef]
  14. Matache, V. Composition operators on Hardy spaces of a half-plane. Proc. Am. Math. Soc. 1999, 127, 1483–1491. [Google Scholar] [CrossRef]
  15. Choe, B.R.; Choi, K.; Koo, H.; Yang, J. Difference of weighted composition operators. J. Funct. Anal. 2020, 278, 108401. [Google Scholar] [CrossRef]
  16. Choe, B.R.; Koo, H.; Park, I. Compact differences of composition operators on the Bergman spaces over the ball. Potential Anal. 2014, 40, 81–102. [Google Scholar] [CrossRef]
  17. Koo, H.; Wang, M. Joint Carleson measure and the difference of composition operators on A α p (Bn). J. Math. Anal. Appl. 2014, 419, 1119–1142. [Google Scholar] [CrossRef]
  18. Soumyadip, A.; Wu, Z. Compact and Hilbert-Schmidt differences of weighted composition operators. Integral Equ. Oper. Theory 2017, 88, 465–482. [Google Scholar]
  19. Hunziker, H.; Jarchow, H. Composition operators which improve integrability. Math. Nachrichten 1991, 152, 83–99. [Google Scholar] [CrossRef]
  20. Ueki, S. Order bounded weighted composition operators mapping into the Bergman space. Complex Anal. Oper. Theory 2012, 6, 549–560. [Google Scholar] [CrossRef]
  21. Gao, Y.; Kumar, S.; Zhou, Z. Order bounded weighted composition operators mapping into the Dirichlet type spaces. Chin. Ann. Math. 2016, 37B, 585–594. [Google Scholar] [CrossRef]
  22. Sharma, A. On order bounded weighted composition operators between Dirichlet spaces. Positivity 2017, 21, 1213–1221. [Google Scholar] [CrossRef]
  23. Wolf, E. Order bounded weighted composition operators. J. Aust. Math. Soc. 2012, 93, 333–343. [Google Scholar] [CrossRef]
  24. Liu, Z.L. Order boundedness and essential norm of generalized weighted composition operators on Bergman spaces with doubling weights. Oper. Matrices 2023, 17, 995–1009. [Google Scholar]
  25. Glück, J.; Kaplin, M. Order boundedness and order continuity properties of positive operator semigroups. Quaest. Math. 2024, 47, 153–168. [Google Scholar]
  26. Hibschweiler, R.A. Order bounded weighted composition operators. Contemp. Math. 2008, 454, 93–105. [Google Scholar]
  27. Jiang, Z.J. Order bounded and 2-complex symmetric weighted superposition operators on Fock spaces. Symmetry 2024, 16, 833. [Google Scholar] [CrossRef]
  28. Lin, Q.; Liu, J.; Wu, Y. Order boundedness of weighted composition operators on weighted Dirichlet spaces and derivative Hardy spaces. Bull. Belg. Math. Soc. Simon Stevin. 2020, 27, 627–637. [Google Scholar] [CrossRef]
  29. Tien, P.T.; Khoi, L.H. Differences of weighted composition operators between the Fock spaces. Monatsh. Math. 2019, 188, 183–193. [Google Scholar] [CrossRef]
  30. Zhu, K.H. Analysis on Fock Spaces; Springer: New York, NY, USA, 2012. [Google Scholar]
  31. Tien, P.T.; Khoi, L.H. Weighted composition operators between different Fock spaces. Potential Anal. 2017, 50, 171–195. [Google Scholar] [CrossRef]
  32. Feng, L.X.; Zhao, L.K. A class of weighted composition operators on the Fock space. Complex Var. Elliptic. Equ. 2020, 65, 1001–1017. [Google Scholar] [CrossRef]
  33. Le, T. Normal and isometric weighted composition operators on the Fock space. Bull. Lond. Math. Soc. 2014, 46, 847–856. [Google Scholar] [CrossRef]
  34. Stević, S. Weighted composition operators between Fock-type spaces in C n . Appl. Math. Comput. 2009, 215, 2750–2760. [Google Scholar]
  35. Ueki, S. Weighted composition operator on the Fock space. Proc. Am. Math. Soc. 2007, 135, 1405–1410. [Google Scholar] [CrossRef]
  36. Worku, M. On generalized weighted composition operators acting between Fock-type spaces. Quaest. Math. 2022, 45, 1317–1331. [Google Scholar] [CrossRef]
  37. Tien, P.T.; Khoi, L.H. Boundedness and compactness of weighted composition operators on Fock spaces F p ( C ) . Acta Math. 2016, 41, 531–537. [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

Peng, X.-F.; Jiang, Z.-J. Order-Bounded Difference in Weighted Composition Operators Between Fock Spaces. Mathematics 2024, 12, 3360. https://doi.org/10.3390/math12213360

AMA Style

Peng X-F, Jiang Z-J. Order-Bounded Difference in Weighted Composition Operators Between Fock Spaces. Mathematics. 2024; 12(21):3360. https://doi.org/10.3390/math12213360

Chicago/Turabian Style

Peng, Xiao-Feng, and Zhi-Jie Jiang. 2024. "Order-Bounded Difference in Weighted Composition Operators Between Fock Spaces" Mathematics 12, no. 21: 3360. https://doi.org/10.3390/math12213360

APA Style

Peng, X.-F., & Jiang, Z.-J. (2024). Order-Bounded Difference in Weighted Composition Operators Between Fock Spaces. Mathematics, 12(21), 3360. https://doi.org/10.3390/math12213360

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