Next Article in Journal
A Generalised Difference Equation and Its Dynamics and Solutions
Next Article in Special Issue
On Ulam–Hyers–Mittag-Leffler Stability of Fractional Integral Equations Containing Multiple Variable Delays
Previous Article in Journal
MRA-VSS: A Matrix-Based Reversible and Authenticable Visual Secret-Sharing Scheme Using Dual Meaningful Images
Previous Article in Special Issue
Unique Solutions for Caputo Fractional Differential Equations with Several Delays Using Progressive Contractions
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Pre-Compactness of Sets and Compactness of Commutators for Riesz Potential in Global Morrey-Type Spaces

1
Faculty of Mechanics and Mathematics, L.N. Gumilyov Eurasian National University, Astana 010000, Kazakhstan
2
V.A. Steklov Mathematical Institute, Russian Academy of Sciences, 42 Gubkin St, 117966 Moscow, Russia
3
V.A. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences, 65 Profsoyuznaya St, 117997 Moscow, Russia
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Mathematics 2024, 12(22), 3533; https://doi.org/10.3390/math12223533
Submission received: 19 August 2024 / Revised: 14 October 2024 / Accepted: 21 October 2024 / Published: 12 November 2024
(This article belongs to the Special Issue Advances in Mathematics: Equations, Algebra, and Discrete Mathematics)

Abstract

:
In this paper, we establish sufficient conditions for the pre-compactness of sets in the global Morrey-type spaces G M p θ w ( · ) . Our main result is the compactness of the commutators of the Riesz potential b , I α in global Morrey-type spaces from G M p 1 θ 1 w 1 ( · ) to G M p 2 θ 2 w 2 ( · ) . We also present new sufficient conditions for the commutator b , I α to be bounded from G M p 1 θ 1 w 1 ( · ) to G M p 2 θ 2 w 2 ( · ) . In the proof of the theorem regarding the compactness of the commutator for the Riesz potential, we primarily utilize the boundedness condition for the commutator for the Riesz potential b , I α in global Morrey-type spaces G M p θ w ( · ) , and the sufficient conditions derived from the theorem on pre-compactness of sets in global Morrey-type spaces G M p θ w ( · ) .

1. Introduction

Morrey spaces M p λ ( R n ) were introduced by C. Morrey [1] in 1938 during his studies of quasilinear elliptic differential equations. In this paper, we consider the global Morrey-type spaces G M p θ w ( · ) ( R n ) . Morrey spaces and generalized Morrey spaces are special cases of these spaces. We obtain sufficient conditions for the pre-compactness of sets in global Morrey-type spaces. These results are analogous to the well-known Fréchet–Kolmogorov theorems on the pre-compactness of sets in a Lebesgue space. The Fréchet–Kolmogorov theorem for the pre-compactness of sets in a Lebesgue space, in terms of average functions, contains three conditions that are necessary and sufficient. To prove a similar result for global Morrey-type spaces, we derive four conditions for pre-compactness of sets in terms of averaging functions. We also consider an example of a set of functions for which not all specified conditions are necessary. Consequently, the question of finding necessary and sufficient conditions in global Morrey spaces remains open. The conditions for the pre-compactness of sets in global Morrey-type spaces, in terms of the difference of functions, are similar to the corresponding conditions in the Fréchet–Kolmogorov theorem. This result is further utilized to prove the compactness of the commutator for the Riesz potential in the global Morrey-type spaces under consideration. Moreover, we preliminarily prove a theorem on the boundedness for the commutator of the Riesz potential in global Morrey-type spaces.
The first significant result regarding the commutator for the Riesz transforms was presented by Coifman et al. [2], which characterizes the boundedness of commutators for the Riesz transforms on the Lebesgue space L p ( R n ) , with p ( 1 , ) , via the well-known space B M O ( R n ) . The commutators of various operators play key roles in harmonic analysis (see, for instance,  [3]), partial differential equations (see, for instance,  [4]), and quasiregular mappings (see, for instance,  [5]).
The compactness of the commutator for the Riesz potential on the Morrey spaces M p λ was considered in [6], while, in generalized Morrey spaces M p w ( · ) , it was addressed in  [7]. The compactness of the multi-commutators on the Morrey spaces with non-doubling measures was studied in [8]. Compactness characterizations of commutators on ball Banach function spaces was discussed in [9]. Additionally, the pre-compactness of sets on the Morrey spaces and on variable exponent Morrey spaces was examined in [10,11,12].
The boundedness of the Riesz potential on the Morrey spaces was investigated by S. Spanne, J. Peetre [13], and D. Adams [14]. T. Mizuhara [15], E. Nakai [16], and V.S. Guliyev [17] generalized the results of D. Adams and obtained sufficient conditions for the boundedness of I α on the generalized Morrey spaces. The boundedness of the Riesz potential in local and global Morrey-type spaces was considered in [18,19].
Boundedness of the commutator for the Riesz potential on the Morrey spaces and on the generalized Morrey spaces was examined in [20,21], respectively.
The main goal of this paper is to find conditions for the pre-compactness of sets in the global Morrey-type spaces and to determine sufficient conditions for the compactness of the commutator for the Riesz potential b , I α in the global Morrey-type spaces. Specifically, we aim to find conditions on the parameters p , q , α and the functions w 1 and w 2 that ensure the compactness of the operators b , I α from G M p 1 θ 1 w 1 ( · ) to G M p 2 θ 2 w 2 ( · ) .
This paper is organized as follows. In Section 2, we present definitions and preliminaries. To do this, we will establish some auxiliary lemmas. In Section 3, we present results on the pre-compactness of sets in terms of averaging function on global Morrey-type spaces. In Section 4, we present results on the pre-compactness of sets in terms of uniform equi-continuity on global Morrey-type spaces. In Section 5, we give sufficient conditions for the compactness of the commutator for the Riesz potential b , I α on the global Morrey-type space G M p θ w ( · ) . Finally, we present conclusions in Section 6.
We make some conventions on notation. Throughout this paper, we always use C to denote a positive constant that is independent of the main parameters involved but whose value may differ from line to line. Constants with subscripts, such as C p , are dependent on the subscript p. We denote f g if f C g and B D if there exists C 1 , C 2 , such that C 1 B D C 2 B . By C ( R ) we denote the set of all continuous bounded functions on R with the uniform norm, by χ A we denote the characteristic function of a set A R n , and by cA we denote the complement of A.

2. Definitions and Preliminaries

In this section, we recall some definitions of various function spaces, along with their properties, and establish some auxiliary lemmas.
For a Lebesgue measurable set E R n and 0 < p , L p ( E ) denotes the standard Lebesgue spaces of all functions f, Lebesgue measurable on E, for which
f L p ( E ) = E | f ( y ) | p d y 1 p < , if 1 p < , e s s sup | f ( y ) | < , if p = .
Throughout the paper, I : = ( a , b ) ( 0 , ) . By M ( I ) we denote the set of all measurable functions on I. The symbol M + ( I ) stands for the collection of all f M ( I ) that are non-negative on I, while M + ( I ; ) and M + ( I ; ) denote the subsets of those functions that are non-increasing and non-decreasing on I, respectively. When I = ( 0 , ) , we simply write M and M instead of M + ( I ; ) and M + ( I ; ) , respectively. The family of all weight functions (also called just weights) on I, that is, globally integrable non-negative functions on ( 0 , ) , is given by W ( I ) . For p ( 0 , ] and w M + ( I ) , we define the functional · L p , w ( I ) on M ( I ) by
f L p , w ( I ) = I | f ( x ) | p w ( x ) d x 1 p , if p < , e s s sup ( 0 ; ) | f ( x ) | w ( x ) , if p = .
For 0 λ n p , 0 < p , the Morrey spaces M p λ M p λ ( R n ) are defined as the set of all functions f L p l o c ( R n ) , for which
f M p λ ( R n ) = sup x R n , r > 0 r λ B ( x , r ) | f ( y ) | p d y 1 p < ,
where B ( x , r ) is the open ball in R n centered at the point x R n of radius r > 0 .
Recently, boundedness and compactness of various operators in Morrey-type spaces have been actively studied ([7,10]).
Note that
f M p 0 ( R n ) f L p ( R n ) , f M p n p ( R n ) f L ( R n ) .
If λ < 0 , λ > n p , the space M p λ ( R n ) is trivial, i.e., consists only of functions equivalent to zero on R n .
Definition 1.
Let 0 < p , θ , and let w be a non-negative measurable function on ( 0 , ) . We denote by G M p θ w ( · ) G M p θ w ( · ) ( R n ) the global Morrey-type space, the space of all functions f L p l o c R n with finite quasi-norm
f G M p θ w ( · ) = sup x R n w ( r ) f L p B ( x , r ) L θ ( 0 , ) .
If θ = , the space G M p w ( · ) M p w ( · ) is called the generalized Morrey space. The space M p w ( · ) coincides with the Morrey space M p λ if w ( r ) = r λ , where 0 λ n p .
Definition 2.
Let 0 < p , θ . We denote by Ω p θ the set of all functions, w, which are non-negative, measurable on ( 0 , ) , not equivalent to 0 and such, that for some t > 0 (hence, for all t > 0),
w ( r ) L θ ( t , ) < , w ( r ) r n p L θ ( 0 , t ) < .
If condition | | w ( r ) | | L θ ( t , ) < is replaced by | | w ( r ) | | L θ ( 0 , ) < , we say that w Ω ˜ p θ .
The space G M p θ w ( · ) is non-trivial, that is consists not only of functions, equivalent to 0 on R n , if and only if w Ω p θ [22].
Definition 3.
Let ϵ ( 0 , ) , F be a subset of a quasi-normed space X, and G F . Then G is called an ϵ-net of F if, for any f F , there exists a g G , such that f g X < ϵ . Moreover, if G is an ϵ-net of F and the cardinality of G is finite, then G is called a finite ϵ-net of F . Furthermore, F is said to be totally bounded if, for any ϵ ( 0 , ) , there exists a finite ϵ-net. In addition, F is said to be relatively compact (pre-compact) if the closure in X of F is compact.
From the Hausdorff theorem (see, for instance, [23] p. 13), it follows that a subset F of a Banach space X, is relatively compact if and only if F is totally bounded due to the completeness of X.
We recall the well-known Fréchet–Kolmogorov theorem on the pre-compactness of set S L p ( R n ) in terms of uniform equi-continuity.
Theorem 1
([23]). A set S L p ( R n ) , where 1 p < , is pre-compact if and only if
sup f S f L p ( R n ) < ,
lim δ 0 + sup f S sup | h | δ f ( · + h ) f ( · ) L p ( R n ) = 0
and
lim R sup f S f L p ( B c ( 0 , R ) ) = 0 ,
where B ( 0 , R ) c is the complement of the ball B ( 0 , R ) .
We denote by A δ f the Steklov averaging function: for any δ > 0 and f L 1 l o c ( R n )
A δ f ( x ) = 1 | B ( x , δ ) | B ( x , δ ) f ( y ) d y .
Remark 1.
Condition (3) can be replaced by the following condition
lim δ 0 + sup f S A δ f f L p ( R n ) = 0 .
That is, the following Fréchet–Kolmogorov theorem on the pre-compactness of sets in L p ( R n ) in terms of averaging functions is true.
Theorem 2
([23]). A set S L p ( R n ) , where 1 p < , is pre-compact if and only if
sup f S f L p ( R n ) < ,
lim δ 0 + sup f S A δ f f L p ( R n ) = 0 ,
and
lim R sup f S f L p ( c B ( 0 , R ) ) = 0 .
It is clear that
A δ f ( x ) = B ( 0 , δ ) ψ δ ( y ) f ( x y ) d y = ( ψ δ f ) ( x ) , x R n ,
where ψ δ ( x ) = χ B ( 0 , δ ) ( x ) | B ( 0 , δ ) | .
Let f L 1 l o c ( R n ) . The Riesz potential I α ( f ) is defined by
( I α f ) ( x ) = R n f ( y ) | x y | n α d y , x R n , 0 < α < n .
The Riesz potential I α plays an important role in the harmonic analysis and in the theory of operators.
For a function b L 1 l o c ( R n ) , let M b denote the multiplication operator M b f = b f , where f is a Lebesgue measurable function. Then the commutator of I α and M b is defined by
( b , I α f ) ( x ) = ( ( M b I α I α M b ) f ) ( x ) = R n b ( x ) b ( y ) f ( y ) x y n α d y .
A function b L l o c ( R n ) is said to be in B M O ( R n ) , if
b = sup x R n , r > 0 1 | B ( x , r ) | B ( x , r ) b ( y ) ( A r b ) ( y ) d y < .
By V M O ( R n ) we denote the B M O - closure of the space C 0 ( R n ) , where C 0 ( R n ) is the set of all C ( R n ) functions with compact support.
Remark 2.
In what follows we shall essentially use the following statement, proved in [24]: let 1 p θ , then for any w Ω p θ , δ > 0 and f G M p θ w ( · )
A δ f G M p θ w ( · ) f G M p θ w ( · ) .
Lemma 1.
Let 1 p . Then for any R > 0 , δ > 0 , and f L p ( B ( 0 , R + δ ) )
| | A δ f | | L p ( B ( 0 , R ) ) | | f | | L p ( B ( 0 , R + δ ) ) .
Lemma 2.
Let 1 p . Then for any 0 < δ < R 1 < R 2 < and f L p ( B ( 0 , R 2 + δ ) B ( 0 , R 1 δ ) )
| | A δ f | | L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) | | f | | L p ( B ( 0 , R 2 + δ ) B ( 0 , R 1 δ ) ) .
Lemmas 1 and 2 are particular cases of the following variant of Young’s inequality [24] for convolutions
G k ( y ) f ( x y ) d y L p ( H ) k L 1 ( G ) f L p ( G H ) ,
(see Formula (8)), with k = ψ δ , G = B ( 0 , δ ) , and H = B ( 0 , R ) in Lemma 1, and G = B ( 0 , δ ) , H = B ( 0 , R 2 ) B ( 0 , R 1 ) in Lemma 2.
Lemma 3.
Let 1 p , 0 < θ , w Ω p θ and | | w | | L θ ( R , ) > 0 for some R > 0 . Then for any δ > 0 and f G M p θ w ( · )
| | A δ f | | L p ( B ( 0 , R ) ) C 1 | | f χ B ( 0 , R + δ ) | | G M p θ w ( · ) ,
where C 1 = w L θ ( R , ) 1 .
Proof. 
According to Lemma 2
A δ f L p ( B ( 0 , R ) ) f L p ( B ( 0 , R + δ ) ) = w L θ ( R + δ , ) f L p ( B ( 0 , R + δ ) ) w L θ ( R + δ , )
= w ( r ) f L p ( B ( 0 , R + δ ) ) L θ ( R + δ , ) w L θ ( R + δ , ) = w ( r ) f χ ( B ( 0 , R + δ ) ) L p ( B ( 0 , r ) ) L θ ( R + δ , ) w L θ ( R + δ , )
1 w L θ ( R , ) w ( r ) f χ B ( 0 , R + δ ) L p ( B ( 0 , r ) ) L θ ( 0 , ) = C 1 f χ B ( 0 , R + δ ) G M p θ w ( · ) .
   □
Lemma 4.
Let 1 p , θ , w Ω p θ . Then for any 0 < R 1 < R 2 < , δ > 0 and for any functions f , φ G M p θ w ( · )
| | f φ | | G M p θ w ( · ) | | f χ B ( 0 , R 1 ) | | G M p θ w ( · ) + | | φ χ B ( 0 , R 1 ) | | G M p θ w ( · )
+ | | ( A δ f f ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) | | G M p θ w ( · ) + | | ( A δ f A δ φ ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) | | G M p θ w ( · )
+ | | ( A δ φ φ ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) | | G M p θ w ( · ) + | | f χ B c ( 0 , R 2 ) | | G M p θ w ( · ) + | | φ χ c B ( 0 , R 2 ) c | | G M p θ w ( · ) .
Proof. 
By adding and subtracting the corresponding summands and applying the Minkowski inequality, we obtain that
| | f φ | | G M p θ w ( · ) = | | ( f φ ) χ B ( 0 , R 1 ) + ( f φ ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) + ( f φ ) χ B c ( R 2 , ) | | G M p θ w ( · )
= | | f χ B ( 0 , R 1 ) φ χ B ( 0 , R 1 ) + f χ B c ( R 2 , ) φ χ B c ( R 2 , ) ( A δ f f ) χ B ( 0 , R 2 ) B ( 0 , R 1 )
+ ( A δ φ φ ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) + ( A δ f A δ φ ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) | | G M p θ w ( · )
f χ B ( 0 , R 1 ) G M p θ w ( · ) + φ χ B ( 0 , R 1 ) G M p θ w ( · ) + f χ B c ( R 2 , ) G M p θ w ( · )
+ φ χ B c ( R 2 , ) G M p θ w ( · ) + ( A δ f f ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) G M p θ w ( · )
+ ( A δ φ φ ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) G M p θ w ( · ) + ( A δ f A δ φ ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) G M p θ w ( · ) .
   □
Lemma 5.
Let 0 < p , 0 < θ , w Ω ˜ p θ . Then for any 0 < R 1 < R 2 < and for any function f G M p θ w ( · )
f χ B ( 0 , R 2 ) B ( 0 , R 1 ) G M p θ w ( · ) w L θ ( 0 , ) f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) .
Proof. 
Since
f χ B ( 0 , R 2 ) B ( 0 , R 1 ) G M p θ w ( · ) = sup x R n w ( r ) f χ B ( 0 , R 2 ) B ( 0 , R 1 ) L p ( B ( x , r ) ) L θ ( 0 , ) ,
and
f χ B ( 0 , R 2 ) B ( 0 , R 1 ) L p ( B ( x , r ) ) = f L p ( B ( x , r ) ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) ) f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) ,
we have
f χ B ( 0 , R 2 ) B ( 0 , R 1 ) G M p θ w ( · ) w L θ ( 0 , ) f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) .
   □

3. Pre-Compactness of Sets in the Global Morrey-Type Spaces in Terms of Averaging Function

In this section, we provide sufficient conditions for the pre-compactness of sets in the global Morrey-type spaces G M p θ w ( · ) in terms of averaging function.
Theorem 3.
Let 1 p θ , w Ω ˜ p θ , | | w | | L θ ( t , ) > 0 for any t > 0 , and a set S G M p θ w ( · ) ( R n ) satisfy the following conditions:
sup f S f G M p θ w ( · ) ( R n ) < ,
lim R 1 0 + sup f S f χ B ( 0 , R 1 ) G M p θ w ( · ) ( R n ) = 0 ,
for any 0 < R 1 < R 2 <
lim δ 0 + sup f S A δ f f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) = 0 ,
and
lim R 2 sup f S f χ B c ( 0 , R 2 ) G M p θ w ( · ) ( R n ) = 0 .
Then the set S G M p θ w ( · ) ( R n ) is pre-compact in G M p θ w ( · ) .
Proof of Theorem 3.
Let S G M p θ w ( · ) and suppose that conditions (14)–(17) are satisfied.
Step 1. For any 0 < δ < R 1 < R 2 < , the set S δ = { A δ f : f S } is pre-compact in L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) .
Note that
| | f | | G M p θ w ( · ) w ( r ) | | f | | L p ( B ( 0 , r ) ) L θ ( R 2 , ) w ( r ) L θ ( R 2 , ) f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) ,
hence,
f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) w ( r ) L θ ( R 2 , ) 1 | | f | | G M p θ w ( · ) .
Therefore, according to inequalities (9), (18) and condition (14) for g S δ , we have
sup g S δ g L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) = sup f S A δ f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) )
w ( r ) L θ ( R 2 , ) 1 sup f S A δ f G M p θ w ( · ) w ( r ) L θ ( R 2 , ) 1 sup f S f G M p θ w ( · ) < .
By inequality (11) and by condition (16) we obtain
lim τ 0 + sup g S δ A τ g g L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) = lim τ 0 + sup f S A τ A δ f A δ f L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) )
= lim τ 0 + sup f S A δ ( A τ f f ) L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) lim τ 0 + sup f S A τ f f L p ( B ( 0 , R 2 + δ ) B ( 0 , R 1 δ ) ) = 0 .
Hence, by Theorem 2, it follows that the set S δ is pre-compact in L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) or, equivalently, totally bounded in L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) .
Step 2. The set S is totally bounded in G M p θ w ( · ) .
Let us show that the set S is a pre-compact set in G M p θ w ( · ) . By inequalities (12) and (13) for any f , φ S , we have
| | f φ | | G M p θ w ( · ) 2 sup g S | | g χ B ( 0 , R 1 ) | | G M p θ w ( · ) + 2 sup g S | | ( A δ g g ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) | | G M p θ w ( · )
+ 2 sup g S | | g χ B ( 0 , R 2 ) c | | G M p θ w ( · ) + w L θ ( R 1 , ) A δ f A δ φ L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) )
= E 1 + E 2 + E 3 + E 4 .
Let ε > 0 . Using condition (15), we can choose a radius R 1 = R 1 ( ε ) of the ball B ( 0 , R 1 ) , such that
E 1 = 2 sup g S | | g χ B ( 0 , R 1 ) | | G M p θ w ( · ) < ε 4 .
By condition (17), we can choose R 2 = R 2 ( ε ) , such that
E 3 = 2 sup g S | | g χ B ( 0 , R 2 ) c | | G M p θ w ( · ) < ε 4 .
By Lemma 5 and by condition (16), we can choose δ = δ ( ε ) , such that
E 2 = 2 sup g S | | ( A δ g g ) χ B ( 0 , R 2 ) B ( 0 , R 1 ) | | G M p θ w ( · )
2 | | w | | L θ ( R 1 , ) 1 sup g S A δ g g L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) < ε 4 .
Then, for any f , φ S
| | f φ | | G M p θ w ( · ) 3 ε 4 + w L θ ( 0 , ) A δ f A δ φ L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) .
Hence, for any φ 1 , φ 2 , , φ m S
min j = 1 , 2 , . . . , m | | f φ j | | G M p θ w ( · ) 3 ε 4 + w L θ ( 0 , ) min j = 1 , 2 , . . . , m A δ f A δ φ j L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) .
Indeed, let j 0 be such that
| | A δ f A δ ϕ j 0 | | L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) = min j = 1 , . . . m | | A δ A δ ϕ j | | L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) ,
then
min j = 1 , . . . m | | f ϕ j | | L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) ) | | f ϕ j 0 | | L p ( B ( 0 , R 2 ) B ( 0 , R 1 ) )
and (20) with ϕ = ϕ j 0 implies (21).
Finally, by the pre-compactness of the set S δ ( ε ) in L p ( B ( 0 , R 2 ( ε ) ) B ( 0 , R 1 ( ε ) ) ) , for any f S there exist m ( ε ) N and f 1 , ε , , f m ( ε ) , ε S , such that
min j = 1 , 2 , . . . , m ( ε ) A δ ( ε ) f A δ ( ε ) f j , ε L p ( B ( 0 , R 2 ( ε ) ) B ( 0 , R 1 ( ε ) ) ) ε 4 w L θ ( 0 , ) 1 .
Therefore, setting φ j = f j , ε , j = 1 , , m ( ε ) , by inequality (21), for any f S , we obtain
min j = 1 , 2 , . . . , m ( ε ) | | f f j ( ε ) | | G M p θ w ( · ) ε .
Thus, we have that φ j = f j , ε , j = 1 , , m ( ε ) is a finite ε -net in S with respect to the norm of G M p θ w ( · ) .
We conclude from this that the set S is totally bounded in G M p θ w ( · ) , or equivalently, the set S is pre-compact in G M p θ w ( · ) .

4. Pre-Compactness of Sets in the Global Morrey-Type Spaces in Terms of Uniform Equi-Continuity

In this section, we provide sufficient conditions for the pre-compactness of sets in the global Morrey-type spaces G M p θ w ( · ) in terms of uniform equi-continuity.
The pre-compactness of sets in Morrey spaces M p λ ( R n ) in terms of uniform equi-continuity was investigated in [6,11] and for generalized Morrey spaces M p w ( · ) ( R n ) it was investigated in [7,25].
Theorem 4.
Suppose that 1 p θ and w Ω p θ . Suppose that a subset S of G M p θ w ( · ) satisfies the following conditions:
sup f S f G M p θ w ( · ) < ,
lim u 0 sup f S f ( · + u ) f ( · ) G M p θ w ( · ) = 0 ,
lim r sup f S f χ B c ( 0 , r ) G M p θ w ( · ) = 0 .
Then S is a pre-compact set in G M p θ w ( · ) ( R ) .
To prove this theorem, we need the following statements.
Lemma 6.
Let 1 p θ , w Ω p θ . Then for all f G M p θ w ( · ) and δ > 0 we have
A δ f f G M p θ w ( · ) sup u B ( 0 , δ ) f ( · + u ) f ( · ) G M p θ w ( · ) .
Proof. 
Let z R n and ρ > 0 . Then by Hölder’s inequality
A δ f f L p B ( z , ρ ) = B ( z , ρ ) 1 B ( x , δ ) B ( x , δ ) f ( y ) d y f ( x ) p d x 1 p
= B ( z , ρ ) 1 B ( x , δ ) B ( x , δ ) ( f ( y ) f ( x ) ) d y p d x 1 p
B ( z , ρ ) 1 B ( x , δ ) B ( x , δ ) | f ( y ) f ( x ) | p d y d x 1 p
= B ( z , ρ ) 1 B ( 0 , δ ) B ( 0 , δ ) | f ( x + u ) f ( x ) | p d u d x 1 p
= 1 B ( 0 , δ ) B ( 0 , δ ) B ( z , ρ ) | f ( x + u ) f ( x ) | p d x d u 1 p .
Therefore,
A δ f f G M p θ w ( · ) = sup z R n w ( ρ ) A δ f f L p ( B ( z , ρ ) ) L θ ( 0 , )
sup z R n w ( ρ ) 1 | B ( 0 , δ ) | B ( 0 , δ ) f ( · + u ) f ( · ) L p ( B ( z , ρ ) ) p d u 1 p L θ ( 0 , )
= sup z R n 1 | B ( 0 , δ ) | B ( 0 , δ ) w ( ρ ) p f ( · + u ) f ( · ) L p ( B ( z , ρ ) ) p d u L θ ( 0 , ) 1 p .
Since θ p 1 , by applying Minkowski’s inequality for integrals, we obtain the following:
A δ f f G M p θ w ( · ) sup z R n 1 | B ( 0 , δ ) | B ( 0 , δ ) 0 w ( ρ ) θ f ( · + u ) f ( · ) L p ( B ( z , ρ ) ) θ d ρ p θ d u 1 p
1 | B ( 0 , δ ) | B ( 0 , δ ) f ( · + u ) f ( · ) G M p θ w ( · ) p d u 1 p
sup u B ( 0 , δ ) f ( · + u ) f ( · ) G M p θ w ( · ) .
   □
Lemma 7.
Let 1 p , θ , w Ω p θ . Then there exists r 0 > 0 such that for every 0 < r r 0 there exists C 6 > 0 , depending only on r , n , p , θ , w , such that (below C ( R n ) is the space of all bounded continuous functions on R n )
(1) for every f G M p θ w ( · )
A r f C ( R n ) C 6 f G M p θ w ( · ) ,
(2) for every f G M p θ w ( · )
sup u B ( 0 , r ) A r f ( · + u ) A r f ( · ) C ( R n ) C 6 sup u B ( 0 , r ) f ( · + u ) f ( · ) G M p θ w ( · ) .
Proof. 
1. Since a function w Ω p θ is not equivalent 0, there exists r 0 > 0 , such that w L θ ( r 0 , ) > 0 . Let 0 < r r 0 , x R n . Then by Hölder’s inequality
A r f ( x ) 1 B ( x , r ) 1 p f L p B ( x , r ) .
Hence,
w ( ρ ) A r f ( x ) L θ ( r , ) 1 v n r n 1 p w ( ρ ) f L p B ( x , r ) L θ ( r , )
1 v n r n 1 p w ( ρ ) f L p B ( x , ρ ) L θ ( r , ) ,
where v n is the volume of the unit ball in R n , and
A r f ( x ) w ( ρ ) L θ ( r , ) 1 v n r n 1 p w ( ρ ) f L p B ( x , ρ ) L θ ( 0 , ) ,
That is why
sup x R n A r f ( x ) C 6 sup x R n w ( ρ ) f L p B ( x , ρ ) L θ ( 0 , ) = C 6 f G M p θ w ( · ) ,
where C 6 = w L θ ( r , ) ( v n r n ) 1 p 1 .
2. Next, for every x 1 , x 2 B ( 0 , r )
A r f ( x 1 ) A r f ( x 2 ) = 1 v n r n B ( x 1 , r ) f ( y ) d y B ( x 2 , r ) f ( y ) d y =
= ( v n r n ) 1 B ( 0 , r ) f ( z + x 1 ) d z B ( 0 , r ) f ( z + x 2 ) d z
( v n r n ) 1 B ( 0 , r ) f ( z + x 1 ) f ( z + x 2 ) d z =
= ( v n r n ) 1 B ( x 2 , r ) f ( s + x 1 x 2 ) f ( s ) d s
( v n r n ) 1 p f ( · + x 1 x 2 ) f ( · ) L p B ( x 2 , r ) .
Therefore, similarly to the first step of the proof
sup x 1 x 2 r x 1 , x 2 R n A r f ( x 1 ) A r f ( x 2 ) C 6 sup x 1 x 2 r x 1 , x 2 R n f ( · + x 1 x 2 ) f ( · ) G M p θ w ( · ) =
= C 6 sup u B ( 0 , r ) f ( · + u ) f ( · ) G M p θ w ( · ) .
Hence, we have (27). □
Lemma 8.
Let 1 p , θ , w Ω p θ . Then, there exists C 7 > 0 , depending only on n , p , θ , w , such that for every, r , R > 0 , and for all f , g G M p θ w ( · ) ,
A r f A r g G M p θ w ( · ) C 7 ( 1 + R n p ) A r f A r g C B ( 0 , R ) ¯ + sup u B ( 0 , R ) f ( · + u ) f ( · ) G M p θ w ( · )
+ sup u B ( 0 , R ) g ( · + u ) g ( · ) G M p θ w ( · ) + f χ B ( 0 , R ) c G M p θ w ( · ) + g χ B ( 0 , R ) c G M p θ w ( · ) .
Proof. 
Indeed,
A r f A r g G M p θ w ( · ) A r f A r g χ B ( 0 , R ) G M p θ w ( · ) + A r f A r g χ B ( 0 , R ) c G M p θ w ( · ) = I 1 + I 2 .
Next,
I 1 = sup x R n w ( ρ ) A r f A r g L p ( B ( x , ρ ) B ( 0 , R ) ) L θ ( 0 , )
sup x R n w ( ρ ) A r f A r g L p ( B ( x , ρ ) B ( 0 , R ) ) L θ ( 0 , 1 )
+ sup x R n w ( ρ ) A r f A r g L p ( B ( x , ρ ) B ( 0 , R ) ) L θ ( 1 , )
A r f A r g C ( B ( 0 , R ) ¯ ) ·
· w ( ρ ) v n ρ n 1 p L θ ( 0 , 1 ) + w ( ρ ) v n R n 1 p L θ ( 1 , )
C 7 1 + R n p A r f A r g C ( B ( 0 , R ) ¯ ) ,
where
C 7 = v n 1 p w ( ρ ) ρ n p L θ ( 0 , 1 ) + w ( ρ ) L θ ( 1 , ) < ,
since w Ω p θ .
By Lemma 6
I 2 A r f f G M p θ w ( · ) + ( f g ) χ B ( 0 , R ) c G M p θ w ( · ) + A r g g G M p θ w ( · )
sup u B ( 0 , r ) f ( · + u ) f ( · ) G M p θ w ( · ) + sup u B ( 0 , r ) g ( · + u ) g ( · ) G M p θ w ( · )
+ f χ B ( 0 , R ) c G M p θ w ( · ) + g χ B ( 0 , R ) c G M p θ w ( · ) .
Lemma 9.
Let 1 p , θ , w Ω p θ . Then, for every r , R > 0 and for every f , g G M p θ w ( · ) ,
f g G M p θ w ( · ) C 7 ( 1 + R n p ) A r f A r g C ( B ( 0 , R ) ¯ )
+ 2 sup u B ( 0 , r ) f ( · + u ) f ( · ) G M p θ w ( · ) + 2 sup u B ( 0 , r ) g ( · + u ) g ( · ) G M p θ w ( · )
+ f χ B ( 0 , R ) c G M p θ w ( · ) + g χ B ( 0 , R ) c G M p θ w ( · ) ,
where C 7 > 0 is the same as in Lemma 8.
Proof. 
It suffices to notice that
f g G M p θ w ( · ) A r f f G M p θ w ( · ) + A r f A r g G M p θ w ( · ) + A r g g G M p θ w ( · )
and apply Lemmas 6 and 8. □
Proof of Theorem 4.
Let S G M p θ w ( · ) satisfy conditions (22)–(24).
Step 1. First, we show that the set S r = { A r f : f S } is a pre-compact set in C ( B ( 0 , R ) ¯ ) .
Let 0 < r < r 0 , where r 0 is defined in Lemma 7, and let R > 0 be fixed. By using inequality (22) and inequality (26), we have
sup f S A r f C ( B ( 0 , R ) ¯ ) < .
Using (27) and condition (23), we obtain
lim u 0 sup f S A r f ( · + u ) A r f ( · ) C ( B ( 0 , R ) ¯ ) = 0 .
Therefore, by the Ascoli–Arzela theorem, the set S r is pre-compact in C ( B ( 0 , R ) ¯ ) , so the set S r is totally bounded in C ( B ( 0 , R ) ¯ ) . Hence, for any ε > 0 , there exists f 1 , , f m S (depending on ε , r , and R), such that { A r f 1 , A r f 2 , , A r f m } is a finite ε -net in S r with respect to the norm of C ( B ( 0 , R ) ¯ ) . Therefore, for any f S , there exists 1 j m , such that
min j = 1 , . . . , m A r f A r f j C ( B ( 0 , R ) ¯ ) < ε .
Step 2. Let us show that the set S is a pre-compact set in G M p θ w ( · ) .
Let { φ 1 , , φ m } be an arbitrary finite subset of S. By inequality (29) for any f S and any j = 1 , , m , we have
f φ j G M p θ w ( · ) C 7 ( 1 + R n p ) A r f A r φ j C ( B ( 0 , R ) ¯ )
+ 2 sup u B ( 0 , r ) f ( · + u ) f ( · ) G M p θ w ( · ) + 2 sup u B ( 0 , r ) φ j ( · + u ) φ j ( · ) G M p θ w ( · )
+ f χ B ( 0 , R ) c G M p θ w ( · ) + φ j χ B ( 0 , R ) c G M p θ w ( · )
C 7 ( 1 + R n p ) A r f A r φ j C ( B ( 0 , R ) ¯ )
+ 4 sup u B ( 0 , r ) sup g S g ( · + u ) g ( · ) G M p θ w ( · ) + 2 sup g S g χ B ( 0 , R ) c G M p θ w ( · ) .
Hence,
min j = 1 , . . . , m f φ j G M p θ w ( · ) C 7 ( 1 + R n p ) min j = 1 , . . . , m A r f A r φ j C ( B ( 0 , R ) ¯ )
+ 4 sup u B ( 0 , r ) sup g S g ( · + u ) g ( · ) G M p θ w ( · ) + 2 sup g S g χ B ( 0 , R ) c G M p θ w ( · ) .
Let ε > 0 . First, by using condition (24), we choose R ( ε ) > 0 , such that
sup g S g χ B c ( 0 , R ( ε ) ) G M p θ w ( · ) < ε 6 .
Next, by using condition (23), we choose r ( ε ) , such that
sup u B ( 0 , r ( ε ) ) sup g S g ( · + u ) g ( · ) G M p θ w ( · ) < ε 12 .
Since the set S r ( ε ) is pre-compact in C ( B ( 0 , R ( ε ) ) ¯ ) , there exist m ( ε ) N and f 1 , ε , , f m ( ε ) , ε S , such that for any f S
min j = 1 , . . . , m ( ε ) A r ( ε ) f A r ( ε ) f j , ε C ( B ( 0 , R ( ε ) ) ¯ ) < ε 3 C 7 ( 1 + R ( ε ) n p ) .
Therefore, setting φ j = f j , ε , j = 1 , , m ( ε ) , by inequality (30), for any f S , we obtain
min j = 1 , . . . , m ( ε ) f f j , ε G M p θ w ( · ) < ε 3 + ε 3 + ε 3 = ε .
Then, we have that φ j = f j , ε , j = 1 , , m ( ε ) is a finite ε -net in S with respect to the norm of G M p θ w ( · ) .
So, the set S is pre-compact in G M p θ w ( · ) . □

5. Compactness of Commutators for the Riesz Potential

The main purpose of this section is to find sufficient conditions for the compactness of commutators for the Riesz Potential b , I α on the global Morrey-type space G M p θ w ( · ) ( R n ) .
The next theorem contains sufficient conditions on w 1 , w 2 ensuring the boundedness of I α from G M p 1 θ 1 w 1 ( · ) to G M p 2 θ 2 w 2 ( · ) for some values of the parameters α , p 1 , p 2 , θ 1 , θ 2 .
Theorem 5
(see [19]). Let 1 < p 1 < p 2 < , 1 p 2 = 1 p 1 α n , 0 < θ 1 θ 2 < , w 1 Ω p 1 θ 1 , w 2 Ω p 2 θ 2 , then the condition
w 2 ( r ) r t + r n p 2 L θ 2 ( 0 , ) w 1 ( r ) L θ 1 ( t , ) ,
for all t > 0 is sufficient for the boundedness of I α from G M p 1 θ 1 w 1 ( · ) ( R n ) to G M p 2 θ 2 w 2 ( · ) ( R n ) .
The following lemma gives the L p -estimates for the commutators for the Riesz potential over balls.
Lemma 10
([26]). Let 1 < p 1 < , 0 < α < n p 1 , 1 p 2 = 1 p 1 α n , b B M O ( R n ) .
Then the inequality
[ b , I α ] f L p 2 ( B ( x 0 , r ) ) b r n p 2 2 r 1 + l n t r t n p 2 1 f L p 1 ( B ( x 0 , t ) ) d t
holds for any ball B ( x 0 , r ) and for all f L p l o c ( R n ) .
To formulate the following theorem on the boundedness of the Hardy operator in weighted Lebesgue spaces, we need the necessary notation.
Let u , w , and v be weight functions, that is locally integrable non-negative functions on ( 0 , ) .
Denote by
H g ( t ) : = 0 t g ( s ) d s , g M + ,
and
H g ( t ) : = t g ( s ) d s , g M + ,
the Hardy operator and Copson operator, respectively.
Define
H u ( g ) ( t ) : = H ( g · u ) ( t ) = 0 t g ( s ) u ( s ) d s , g M + ,
H u ( g ) ( t ) = H ( g · u ) ( t ) = t g ( s ) · u ( s ) d s , g M + .
Also, define
U ( t ) : = 0 t u ( s ) d s , U ( t ) : = t u ( s ) d s , V ( t ) : = 0 t v ( s ) d s , V ( t ) : = t v ( s ) d s ,
W ( t ) : = 0 t w ( s ) d s , W ( t ) : = t w ( s ) d s .
The following theorem gives a complete characterization of the weighted Hardy inequality on the cone of non-increasing functions.
Theorem 6
([27]). Let 1 < θ 1 θ 2 < . Let u , w , v be weight functions defined on ( 0 , ) . Then inequality
H u ( g ) L θ 2 , w ( 0 ; ) C 8 g L θ 1 , v ( 0 ; ) , g M
with the best constant C 8 holds if and only if the following conditions hold:
A 0 : = sup t > 0 t U θ 2 ( τ ) w ( τ ) d τ 1 θ 2 V 1 θ 1 ( t ) < ,
A 1 : = sup t > 0 W 1 θ 2 ( t ) t U ( τ ) V ( τ ) θ 1 v ( τ ) d τ 1 θ 1 < ,
and in this case C 8 A 0 + A 1 .
The following theorem provides sufficient conditions on w 1 , w 2 ensuring the boundedness for the commutator b , I α from G M p 1 θ 1 w 1 ( · ) to G M p 2 θ 2 w 2 ( · ) for some values of the parameters α , p 1 , p 2 , θ 1 , θ 2 .
Theorem 7.
Let 1 < p 1 < p 2 < , 1 < α < n p 1 , 1 p 2 = 1 p 1 α n , 0 < θ 1 θ 2 < , b B M O ( R n ) , w 1 Ω p 1 θ 1 , w 2 Ω p 2 θ 2 , and w 1 , w 2 satisfy the conditions
A 2 = sup t > 0 t r ( 1 + l n s r ) s n p 2 1 d s θ 2 w 2 ( r ) d r 1 θ 2 · t w 1 θ 1 ( s ) d s 1 θ 1 < ,
A 3 = sup t > 0 0 t w 2 ( s ) · s n p 2 d s 1 θ 2 · t r ( 1 + l n s r ) s n p 2 1 d s r w 1 θ 1 ( s ) d s θ 1 w 1 θ 1 ( r ) d r 1 θ 1 < .
Then, the commutator b , I α is bounded from G M p 1 θ 1 w 1 ( · ) ( R n ) to G M p 2 θ 2 w 2 ( · ) ( R n ) . Moreover, there exists C 9 > 0 , depending only on the numerical parameters and w 1 , w 2 , such that for all f G M p 1 θ 1 w 1 ( · )
[ b , I α ] f G M p 2 θ 2 w 2 ( · ) C 9 b f G M p 1 θ 1 w 1 ( · ) .
Proof. 
By inequality (32) from Lemma 10, we have
[ b , I α ] f G M p 2 θ 2 w 2 ( · ) = sup x R n w 2 ( r ) [ b , I α ] f L p 2 ( B ( x , r ) ) L θ 2 ( 0 , )
sup x R n b w 2 ( r ) r n p 2 r 1 + l n t r t n p 2 1 f L p 1 ( B ( x , t ) ) d t L θ 2 ( 0 , )
b sup x R n 0 w 2 ( r ) r n p 2 r 1 + l n t r t n p 2 1 f L p 1 ( B ( x , t ) ) d t θ 2 d r 1 θ 2 .
Then, by Theorem 6, setting w ( r ) = w 2 ( r ) r n q , g ( t ) = f L p ( B ( 0 , t ) ) , u ( t ) = 1 + l n t r t n p 2 1 , v ( r ) = w 1 θ 1 ( r ) , under conditions (33) and (34), we have
[ b , I α ] f G M p 2 θ 2 w 2 ( · ) C 9 b sup x R n 0 w 1 ( r ) f L p 1 ( B ( x , t ) ) d t θ 1 d r 1 θ 1 = C 9 b f G M p 1 θ 1 w 1 ( · ) .
Now, we present a theorem about the compactness of the operators b , I α on global Morrey-type spaces from G M p 1 θ 1 w 1 ( · ) ( R n ) to G M p 2 θ 2 w 2 ( · ) ( R n ) .
Theorem 8.
Let 1 < p 1 < p 2 < , 0 < θ 1 θ 2 < , 1 p 2 = 1 p 1 α n , w 1 Ω p 1 θ 1 , w 2 Ω p 2 θ 2 , and the functions w 1 , w 2 satisfy conditions (33) and (34). Moreover, let b V M O ( R n ) . Then, the commutator b , I α is a compact operator from G M p 1 θ 1 w 1 ( · ) to G M p 2 θ 2 w 2 ( · ) .
To prove this theorem, we need the following auxiliary assertions.
Lemma 11
([7]). Let n N , 1 < p 1 < p 2 < , 1 p 2 = 1 p 1 α n . Then, there exists C 10 > 0 , depending only on n , p 1 , p 2 , such that for any β > 0 , γ 2 β , t R n , r > 0 , and for any f L p l o c ( R n ) satisfying the condition s u p p f B ( 0 , β ) ¯
( I α f ) χ B c ( 0 , γ ) L p 2 ( B ( t , r ) ) C 10 γ α n m i n { γ , r } n p 2 β n ( 1 1 p 1 ) f L p 1 ( B ( 0 , β ) ) .
Lemma 12
([7]). Let n N , 1 < p 1 < p 2 < , 1 p 2 = 1 p 1 α n . Then, there exists C 11 > 0 , depending only on n , p 1 , p 2 , such that for any β > 0 , γ 2 β , t R n , r > 0 , and for any f L p l o c ( R n ) , for any b L ( R n ) satisfying the condition s u p p b B ( 0 , β ) ¯
( [ b , I α ] f ) χ B c ( 0 , γ ) L p 2 ( B ( t , r ) ) C 11 γ α n m i n { γ , r } n p 2 β n ( 1 1 p 1 ) b L ( R n ) f L p 1 ( B ( 0 , β ) ) .
Proof Theorem 8.
Let F be an arbitrary bounded subset of G M w 1 ( · ) θ 1 . To prove Theorem 8, it suffices to show that conditions (22)–(24) of Theorem 4 hold for the set S = {[b, Iα]: fF}, where bVMO.
Since C 0 ( R n ) is dense in V M O ( R n ) , we only need to prove that the set G = { [ b , I α ] f : f F } , where b C 0 , is pre-compact in G M p 2 θ 2 w 2 ( · ) .
Suppose that D > 0 and
f G M p 1 θ 1 w 1 ( · ) D , for f F .
By Theorem 7, we have
sup f F [ b , I α ] f G M p 2 θ 2 w 2 ( · ) C 9 · b sup f F f G M p 1 θ 1 w 1 ( · ) C 9 · D b < .
This implies that condition (22) of Theorem 4 holds.
Now, let us prove that condition (24) of Theorem 4 holds for b , I α . Suppose that s u p p b { x : | x | β } . By Lemma 12
( b , I α f ) χ B ( 0 , γ ) c G M p 2 θ 2 w 2 ( · ) = sup x R n w 2 ( r ) ( b , I α f ) χ B ( 0 , γ ) c L p 2 ( B ( x , r ) ) L θ 2 ( 0 , )
C 11 γ α n β n ( 1 1 p 1 ) b L ( R n ) f L p 1 ( B ( 0 , β ) ) w 2 ( r ) m i n { γ , r } n p 2 L θ 2 ( 0 , ) .
For r < γ , we have m i n { γ , r } n p 2 = r n p 2 . Using the condition w 2 Ω p 2 , θ 2 , we have
w 2 ( r ) r n p 2 L θ 2 ( 0 , t ) < .
For γ < r , we have m i n { γ , r } n p 2 = γ n p 2 . Using the condition w 2 Ω p 2 , θ 2 , we have
w 2 ( r ) γ n p 2 L θ 2 ( t , ) = γ n p 2 w 2 ( r ) L θ ( t , ) < .
Therefore, for γ 1
w 2 ( r ) m i n { γ , r } n p 2 L θ 2 ( 0 , )
θ 2 ( 1 θ 2 1 ) + w 2 ( r ) r n p 2 L θ 2 ( 0 , t ) + γ n / p 2 w 2 ( r ) L θ 2 ( t , ) C 13 γ n / p 2 < ,
where C 13 is independent of f F and γ .
Note that for any f G M p 1 θ 1 w 1 ( · )
f G M p 1 θ 1 w 1 ( · ) = sup x R n w 1 ( r ) f L p 1 B ( x , r ) L θ 1 ( 0 , )
w 1 ( r ) f L p 1 B ( 0 , r ) L θ 1 ( β , ) w 1 ( r ) L θ 1 ( β , ) f L p 1 B ( 0 , β )
By condition (33) w 1 ( r ) L θ 1 ( β , ) > 0 . Therefore for any f F
f L p 1 B ( 0 , β ) w 1 ( r ) L θ 1 ( β , ) 1 f G M p 1 θ 1 w 1 ( · ) w 1 ( r ) L θ 1 ( β , ) 1 D
So, for any f F and γ 1
( b , I α f ) χ B ( 0 , γ ) c G M p 2 θ 2 w 2 ( · ) C 14 γ α n + n p 2 D = C 14 γ n 1 1 p 1 D ,
where C 14 > 0 is independent of f F and γ 1 .
Hence,
lim γ , sup f F ( b , I α f ) χ B ( 0 , γ ) c G M p 2 θ 2 w 2 ( · ) = 0 .
This is the required condition (24).
Now we prove that condition (23) of Theorem 4 holds for the set [ b , I α ] ( f ) , where f F . That is, we show that, for any 0 < ε < 1 2 and if | z | is sufficiently small depending only on ε , for every f F .
( b , I α f ) ( · + z ) b , I α f ( · ) G M p 2 θ 2 w 2 ( · ) C 15 D ε ,
where C 15 > 0 is independent of f and ε .
Let ε be an arbitrary number, such that 0 < ε < 1 2 . For | z | R n , we have that
[ f , I α ] f ( x + z ) [ b , I α ] f ( x ) = R n [ b ( x + z ) b ( y ) ] f ( y ) | x + z y | n α d y R n [ b ( x ) b ( y ) ] f ( y ) | x y | n α d y =
= R n [ b ( x + z ) b ( y ) ] f ( y ) | x + z y | n α d y R n [ b ( x ) + b ( x + z ) b ( x + z ) b ( y ) ] f ( y ) | x y | n α d y =
= R n [ b ( x + z ) b ( y ) ] f ( y ) | x + z y | n α d y + R n [ b ( y ) b ( x + z ) ] f ( y ) | x y | n α d y +
+ R n [ b ( x + z ) b ( x ) ] f ( y ) | x y | n α d y =
= R n [ b ( y ) b ( x + z ) ] f ( y ) | x y | n α f ( y ) | x + z y | n α d y + R n [ b ( x + z ) b ( x ) ] f ( y ) | x y | n α d y =
= | x y | > | z | ε [ b ( x + z ) b ( x ) ] f ( y ) | x y | n α d y
+ | x y | > | z | ε 1 | x y | n α 1 | x + z y | n α · [ b ( y ) b ( x + z ) ] f ( y ) d y
+ | x y | | z | ε [ b ( y ) b ( x ) ] f ( y ) | x y | n α d y | x y | | z | ε [ b ( y ) b ( x + z ) ] f ( y ) | x + z y | n α d y
= J 1 + J 2 + J 3 J 4 .
Since b C 0 ( R n ) , we have
| b ( x ) b ( x + z ) | | f ( x ) | · | z | C | z | ,
where C = max x R n | ( f ) ( x ) | .
Therefore,
| J 1 | C 16 | z | I α ( | f | ) ( x ) .
By Theorem 5,
| | J 1 | | G M p 2 θ 2 w 2 ( · ) C 16 | z | I α ( f ) G M p 2 θ 2 w 2 ( · ) C 16 | z | f G M p 1 θ 1 w 1 ( · ) C 16 D | z | .
where C 16 > 0 is independent of f.
For J 2 , we have that
b ( x + z ) b ( y ) 2 b C 17 .
Therefore,
| J 2 | C 17 | z | | x y | > | z | ε | f ( y ) | | x y | n d y C 17 I α ( | f | ) ( x ) .
Again, by Theorem 5, we obtain
J 2 G M p 2 θ 2 w 2 ( · ) C 17 ε I α ( | f | ) G M p 1 θ 1 w 1 ( · ) C 17 ε f G M p 1 θ 1 w 1 ( · ) C 17 · D · ε .
where C 17 > 0 is independent of f and ε .
Regarding J 3 . Since b C 0 , we have | b ( x ) b ( y ) | C | x y | .
| J 3 | C | x y | | z | ε | f ( y ) | | x y | n α 1 d y C ε 1 | z | | x y | | z | ε | f ( y ) | | x y | n α d y
C · ε 1 | z | I α ( | f | ) ( x ) .
Thus, we have
J 3 G M p 2 θ 2 w 2 ( · ) C · ε 1 | z | I α ( f ) G M p 2 θ 2 w 2 ( · ) C · ε 1 | z | f G M p 1 θ 1 w 1 ( · ) ε 1 · | z | · D .
Similarly, using the estimate
| b ( x + z ) b ( y ) | C | x + z y | ,
we have
| J 4 | C | x y | | z | ε | x + z y | n + 1 + α | f ( y ) | d y C ( ε 1 | z | + | z | ) I α ( | f | ) ( x + z ) .
Therefore,
J 4 G M p 2 θ 2 w 2 C · ( ε 1 | z | + | z | ) f G M p 1 θ 1 w 1 C · ( ε 1 | z | + | z | ) · D .
Here, C does not depend on z and ε . Finally, from (37)–(40) by taking a | z | to be sufficiently small, we have
b , I α ( f ) ( · + z ) b , I α f ( · ) G M p 2 θ 2 w 2 ( · )
J 1 G M p 2 θ 2 w 2 ( · ) + J 2 G M p 2 θ 2 w 2 ( · ) + J 3 G M p 2 θ 2 w 2 ( · ) + J 4 G M p 2 θ 2 w 2 ( · ) C · D · ε .
This shows that the set [ b , I α ] ( f ) , f F satisfies condition (23) of Theorem 4. Therefore, by Theorem 4, the set [ b , I α ] ( f ) , f F is pre-compact in G M p 2 θ 2 w 2 ( · ) , which completes the proof of Theorem 8. □

6. Conclusions

In this paper, we have established sufficient conditions for the compactness of sets in global Morrey-type spaces. Moreover, we have provided sufficient conditions for the compactness for the commutator [ b , I α ] for the Riesz potential operator on global Morrey-type spaces G M p θ w ( · ) ( R n ) . More specifically, we have proved that, if b V M O ( R n ) , then [ b , I α ] is a compact operator from G M p 1 θ 1 w 1 ( · ) to G M p 2 θ 2 w 2 ( · ) .

Author Contributions

Conceptualization, N.B., V.B. and A.A.; writing—original draft and editing, D.M.; validation and formal analysis, N.B. All authors have read and agreed to the published version of the manuscript.

Funding

This work is funded by the Science Committee of the Ministry of Science and Higher Education of the Republic of Kazakhstan (grant no. AP14969523 and no. AP14869887). The work of V.I. Burenkov was also financially supported by the Russian Science Foundation (project 24-11-00170 (Sections 1-3) and project 22-11-00042 (Sections 4-5)).

Data Availability Statement

No new data were created or analyzed in this study. Data sharing is not applicable to this article.

Acknowledgments

The authors would like to express their gratitude to the referees for their numerous very constructive comments and suggestions.

Conflicts of Interest

All of authors in this article declare no conflicts of interest. All finders support the publication of this article.

References

  1. Morrey, C. On the solutions of quasi-linear elliptic partial differential equations. Trans. Am. Math. Soc. 1938, 1, 126–166. [Google Scholar] [CrossRef]
  2. Coifman, R.R.; Rochberg, R.; Weiss, G. Factorization theorems for Hardy spaces in several variables. Ann. Math. 1976, 103, 611–635. [Google Scholar] [CrossRef]
  3. Arai, R.; Nakai, E. An extension of the characterization of CMO and its application to compact commutators on Morrey spaces. J. Math. Soc. Jpn. 2020, 2, 507–539. [Google Scholar] [CrossRef]
  4. Chen, J.; Hu, G. Compact commutators of rough singular integral operators. Can. J. Math. 2015, 58, 19–29. [Google Scholar] [CrossRef]
  5. Iwaniec, T. Lp-theory of quasiregular mappings. In Quasi Conformal Space Mappings; Lecture Notes in Mathematics; Springer: Berlin, Germany, 1992; Volume 1508, pp. 39–64. [Google Scholar]
  6. Chen, Y.; Ding, Y.; Wang, X. Compactness of commutators of Riesz potential on Morrey space. Potential Anal. 2009, 4, 301–313. [Google Scholar] [CrossRef]
  7. Bokayev, N.; Matin, D.; Akhazhanov, T.; Adilkhanov, A. Compactness of commutators for Riesz potential on generalized Morrey spaces. Mathematics 2024, 12, 304. [Google Scholar] [CrossRef]
  8. Sawano, Y.; Shiai, S. Compact commutators on Morrey spaces with non-doubling measures. Georgian Math. J. 2008, 2, 353–376. [Google Scholar] [CrossRef]
  9. Tao, J.; Yang, D.; Yuan, W.; Zhang, Y. Compactness characterizations of commutators on ball Banach function spaces. Potential Anal. 2023, 58, 645–679. [Google Scholar] [CrossRef]
  10. Bandaliyev, R.A.; Górka, P.; Guliyev, V.S.; Sawano, Y. Relatively compact sets in variable exponent Morrey spaces on metric spaces. Mediterr. J. Math. 2021, 6, 1–23. [Google Scholar] [CrossRef]
  11. Chen, Y.; Ding, Y.; Wang, X. Compactness of commutators for singular integrals on Morrey spaces. Can. J. Math. 2012, 64, 257–281. [Google Scholar] [CrossRef]
  12. Wang, W.; Xu, J. Precompact sets, boundedness, and compactness of commutators for singular integrals in variable Morrey spaces. J. Funct. Spaces 2017, 2017, 3764142. [Google Scholar] [CrossRef]
  13. Peetre, J. On the theory of Lp,λ spaces. J. Funct. Anal. 1969, 4, 71–87. [Google Scholar] [CrossRef]
  14. Adams, D.R. Lectures on Lp-potential theory. Umea Univ. 1981, 2, 1–74. [Google Scholar]
  15. Mizuhara, T. Boundedness of some classical operators on generalized Morrey spaces. In Proceedings of the Harmonic Analisis, ICM 90 Satellite Proceedings; Springer: Tokyo, Japan, 1991; pp. 183–189. [Google Scholar]
  16. Nakai, E. Hardy–Littlewood maximal operator, singular integral operators and Riesz potentials on generalized Morrey spaces. Math. Nachr. 1994, 166, 95–103. [Google Scholar] [CrossRef]
  17. Guliyev, V.S. Generalized weighted Morrey spaces and higher order commutators of sublinear operators. Eurasian Math. J. 2012, 3, 33–61. [Google Scholar]
  18. Burenkov, V.I. Recent progress in studying the boundedness of classical operators of real analysis in general Morrey-type spaces II. Eurasian Math. J. 2013, 4, 21–45. [Google Scholar]
  19. Burenkov, V.I.; Gogatishvili, A.; Guliyev, V.S.; Mustafaev, R. Boundedness of the Riesz potential in local Morrey-type spaces. Potential Anal. 2011, 35, 67–87. [Google Scholar] [CrossRef]
  20. Ding, Y. A characterization of BMO via commutators for some operators. Northeast. Math. J. 1997, 13, 422–432. [Google Scholar]
  21. Guliyev, V.S.; Bandaliyev, R.A. Embedding theorems between variable-exponent Morrey spaces. Math. Notes 2019, 106, 488–500. [Google Scholar]
  22. Burenkov, V.I.; Guliyev, H.V. Necessary and sufficient conditions for boundedness of the maximal operator in the local Morrey-type spaces. Stud. Math. 2004, 163, 157–176. [Google Scholar] [CrossRef]
  23. Yosida, K. Functional Analysis; Springer: Berlin, Germany, 1978. [Google Scholar]
  24. Burenkov, V.I.; Tararykova, T.V. An analog of Young’s inequality for convolutions of functions for general Morrey-type spaces. Proc. Steklov Inst. Math. 2016, 293, 107–126. [Google Scholar] [CrossRef]
  25. Bokayev, N.A.; Burenkov, V.I.; Matin, D.T. On pre-compactness of a set in general local and global Morrey-type spaces. Eurasian Math. J. 2017, 8, 109–115. [Google Scholar]
  26. Guliyev, V.S.; Shukurov, P.S. On the boundedness of the fractional maximal operator, Riesz potential and their commutators in generalized Morrey spaces. Oper. Theory Adv. Appl. 2013, 229, 175–199. [Google Scholar]
  27. Gogatishvili, A.; Mustafayev, R.C. Weighted iterated Hardy-type inequalities. Math. Inequal. Appl. 2017, 20, 683–728. [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

Bokayev, N.; Burenkov, V.; Matin, D.; Adilkhanov, A. Pre-Compactness of Sets and Compactness of Commutators for Riesz Potential in Global Morrey-Type Spaces. Mathematics 2024, 12, 3533. https://doi.org/10.3390/math12223533

AMA Style

Bokayev N, Burenkov V, Matin D, Adilkhanov A. Pre-Compactness of Sets and Compactness of Commutators for Riesz Potential in Global Morrey-Type Spaces. Mathematics. 2024; 12(22):3533. https://doi.org/10.3390/math12223533

Chicago/Turabian Style

Bokayev, Nurzhan, Victor Burenkov, Dauren Matin, and Aidos Adilkhanov. 2024. "Pre-Compactness of Sets and Compactness of Commutators for Riesz Potential in Global Morrey-Type Spaces" Mathematics 12, no. 22: 3533. https://doi.org/10.3390/math12223533

APA Style

Bokayev, N., Burenkov, V., Matin, D., & Adilkhanov, A. (2024). Pre-Compactness of Sets and Compactness of Commutators for Riesz Potential in Global Morrey-Type Spaces. Mathematics, 12(22), 3533. https://doi.org/10.3390/math12223533

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