Contemporary Mathematics

http://ojs.wiserpub.com/index.php/CM/

Research Article

Pre-compact sets in the Generalized Morrey spaces in terms of averaging

function

Nurzhan Bokayev1 , Dauren Matin1* , Talgat Akhazhanov1

1
Faculty ofMechanics andMathematics, L.N. Gumilyov Eurasian National University, Astana 010000, Kazakhstan;
2

d.matin@mail.kz

Received: 16 March 2020; Revised: 23 April 2020; Accepted: 30 April 2020

Abstract: In this paper, sufficient conditions for compactness of sets in generalized Morrey spaces are given in terms
of an averaging function. This result is an analogue of the well-known Fréchet Kolmogorov theorem on the pre-compact
of sets in Lebesgue spaces. Our main result has consisted of four conditions on the behavior of the function norm and the
norm of its averages in generalized Morrey spaces, which have been sufficient for a set to be pre-compact in these spaces.
An example has been provided to demonstrate that not all the conditions obtained in the main result have been necessary
for a set to be pre-compact in generalized Morrey spaces.

Keywords: pre-compact, Generalized Morrey spaces, averaging function, Commutator, Riesz Potential

MSC: 42B20; 42B25

1. Introduction
This article addresses the issues of pre-compact of sets in generalized Morrey spaces 𝑀 𝑝𝑤 (𝑟 ) . Conditions for the
pre-compact of sets are obtained in terms of averaging function. The necessity of the provided pre-compact conditions
in generalized Morrey spaces is also discussed. The criterion for the pre-compact of sets in Lebesgue spaces in terms of
equicontinuity and function averaging is well known.
This article further considers the conditions for the pre-compact of sets in generalized Morrey spaces. An analogue
of the Fréchet Kolmogorov theorem for Morrey spaces in terms of equicontinuity was obtained in [1] and [2]. There are
also the applications of this result to prove the compact of the commutator for the Riesz potential and the commutator
for the Calderon Zygmund singular integral in Morrey spaces, which were considered in [1] and [2], respectively. An
analogue of the Fréchet Kolmogorov theorem for generalized Morrey spaces in terms of equicontinuity and the compact
of the commutator of the Riesz potential in generalized Morrey spaces were considered in [3]. The pre-compact of sets on
variable exponent Morrey spaces was studied in [4]. The pre-compact of sets and characterizations of commutators on ball
Banach function spaces was obtained in [5]. The pre-compact of sets on Orlicz spaces was shown in [6]. The boundedness
of the Riesz potential on Morrey spaces was investigated by S. Spanne, J. Peetre [7], and D. Adams [8]. T. Mizuhara [9],
E. Nakai [10], and V.S. Guliyev extended Adams’ results and provided sufficient conditions for the boundedness of 𝐼 𝛼
on generalized Morrey spaces. The boundedness of the commutator for the Riesz potential on both Morrey spaces and

Copyright ©2024 Dauren Matin.

DOI: https://doi.org/xxxxx
This is an open-access article distributed under a CC BY license
(Creative Commons Attribution 4.0 International License)
https://creativecommons.org/licenses/by/4.0/

Volume 5 Issue 1|2024| 5 Contemporary Mathematics

generalized Morrey spaces was studied in [11, 12], respectively. The compact of the commutator for the Riesz potential
on the Morrey spaces and on the Morrey spaces with non-doubling measures was considered in [1, 13], respectively.
The compact of the commutator for the Riesz potential [𝑏, 𝐼 𝛼 ] in local Morrey-type spaces 𝑀 𝑝𝑤 (𝑟 ) in terms of uniform
equi-continuity in [14].
This paper is organized as follows: Section 2 presents notation and preliminaries. In Section 3, results on the pre-
compact of a set in terms of uniform equi-continuity averaging function n generalized Morrey spaces.
Some theorems will also be revisited, and auxiliary lemmas will be established. Finally, the section concludes with
Section 4.
Let us introduce some conventional notations. Throughout this paper, use 𝐶 to denote a positive constant that is
independent of the main parameters involved, although its value may vary from line to line. Constants with subscripts,
such as 𝑐 𝑝 , depend on the subscript 𝑝. By the difference 𝐴 \ 𝐵 between two sets 𝐴 and 𝐵 (in that order), mean the set of
all elements of 𝐴 which do not belong to 𝐵.
By 𝐶 (R), denote the set of all continuous bounded functions on R with the uniform norm.
The main goal of this paper is to determine the conditions for the pre-compact of sets in generalized Morrey spaces
𝑀 𝑝𝑤 (𝑟 ) in terms of averaging function. The method of function averaging and the properties of averaging are actively used
in this work. In proving the main theorem on the pre-compact of sets in generalized Morrey spaces, it is first shown that
the set consisting of the function averages is totally bounded in a certain ring of sets. Then, the total boundedness of the
considered sets in generalized Morrey spaces is established.

2. Preliminaries
In this section recall some definitions of various function spaces, as well as their properties.
For a Lebesgue measurable set 𝐸 ⊂ R𝑛 and 0 < 𝑝 ≤ ∞, 𝐿 𝑝 (𝐸) is the standard Lebesgue spaces of all functions 𝑓
Lebesgue measurable on 𝐸 for which

 ! 𝑝1

 ∫


 | 𝑓 (𝑦)| 𝑝 𝑑𝑦 < ∞, if 1 ≤ 𝑝 < ∞,
∥ 𝑓 ∥ 𝐿 𝑝 (𝐸 ) = 𝐸



 𝑒𝑠𝑠 sup | 𝑓 (𝑦)| < ∞,
 if 𝑝 = ∞.

𝑛 𝑛 𝑛
𝑝 (R )). Let 1 ≤ 𝑝 ≤ ∞. The space 𝐿 𝑝 (R ) collects all 𝑓 ∈ 𝐿 0 (R ) such that
Definition 1. (see, [15] p. 7) (𝐿 loc loc

𝑓 ∈ 𝐿 𝑝 (𝐾) for each compact set 𝐾, where 𝐿 0 (R𝑛 ) denotes the set of all Lebesgue measurable functions.
The Morrey spaces were introduced by Charles Morrey in 1938 (see [16]), due to the applications in elliptic partial
differential equations.
Definition 2. For 0 < 𝜆 < 𝑛, 0 < 𝑝 ≤ ∞ the Morrey spaces 𝑀 𝑝𝜆 ≡ 𝑀 𝑝𝜆 (R𝑛 ) are defined as the set of all functions
𝑓 ∈ 𝐿 𝑙𝑜𝑐 𝑛
𝑝 (R ), for which
 
∥ 𝑓 ∥ 𝑀 𝑝𝜆 = sup 𝑟 −𝜆 ∥ 𝑓 ∥ 𝐿 𝑝 ( 𝐵( 𝑥,𝑟 ) ) < ∞,
𝑥 ∈R𝑛 ,𝑟 >0

where 𝐵(𝑥, 𝑟) is the open ball in R𝑛 with center at the point 𝑥 ∈ R𝑛 and of radius 𝑟 > 0.
For 𝜆 = 0 and 𝜆 = 𝑛, the Morrey spaces 𝑀 𝑝0 (R𝑛 ) and 𝑀 𝑝𝑛 (R𝑛 ) coincide (with equality of norms) with the spaces
𝐿 𝑝 (R𝑛 ) and 𝐿 ∞ (R𝑛 ), respectively (see [17, page 13-14]).
In recent decades, there is an increasing interest in applications of Morrey spaces to various areas of analysis such
as partial differential equations, potential theory, and harmonic analysis; see [15], [18], [19]. Later, Morrey spaces were
found to have numerous important applications, including to the Navier Stokes equations (see [20, 21]), the Schrödinger
equations in [22, 23], and potential theory in [24, 25].
Generalized Morrey spaces 𝑀 𝑝𝑤 (𝑟 ) were considered first by T. Mizuhara [9], E. Nakai [10] and V.S. Guliyev.

Contemporary Mathematics 6 | Nurzhan Bokayev, Dauren Matin.

 Definition 3. Let 1 ≤ 𝑝 ≤ ∞ and let 𝑤 be a Lebesgue measurable non-negative function on (0, ∞) that is not
equivalent to zero. The generalized Morrey space 𝑀 𝑝𝑤 (𝑟 ) ≡ 𝑀 𝑝𝑤 (𝑟 ) (R𝑛 ) is defined as the set of all functions 𝑓 ∈ 𝐿 𝑙𝑜𝑐 𝑛
𝑝 (R )
with ∥ 𝑓 ∥ 𝑀 𝑤 (𝑟 ) < ∞, where
𝑝

 
∥ 𝑓 ∥ 𝑀 𝑤 (𝑟 ) = sup 𝑤(𝑟) ∥ 𝑓 ∥ 𝐿 𝑝 ( 𝐵( 𝑥,𝑟 ) ) .
𝑝
𝑥 ∈R𝑛 , 𝑟 >0

The space 𝑀 𝑝𝑤 (𝑟 )
coincides with the Morrey space 𝑀 𝑝𝜆 if 𝑤(𝑟) = 𝑟 −𝜆 , where 0 < 𝜆 < 𝑛. By Ω 𝑝∞ denote the set of all
positive functions 𝑤(𝑟), measurable on (0, ∞), and such that for some 𝑡 > 0,
𝑛
∥𝑤(𝑟)𝑟 𝑝 ∥ 𝐿∞ (0,𝑡 ) < ∞, and ∥𝑤(𝑟)∥ 𝐿∞ (𝑡 ,∞) < ∞.

e𝑝𝜃.
If condition ||𝑤(𝑟)|| 𝐿 𝜃 (𝑡 ,∞) < ∞ is replaced by ||𝑤(𝑟)|| 𝐿 𝜃 (0,∞) < ∞, say that 𝑤 ∈ Ω
𝑤 (𝑟 )
The space 𝑀 𝑝 is non-trivial, that is consists not only of functions, equivalent to 0 on R𝑛 , if and only if 𝑤 ∈
Ω 𝑝∞ [17, 26].
Definition 4. Let F be a subset of the function space 𝑋, and G ⊂ F . Then G is called an 𝜖-net of F if, for any 𝑓 ∈ F
and any 𝜖 > 0, there exists a 𝑔 ∈ G such that ∥ 𝑓 − 𝑔∥ 𝑋 < 𝜖. 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, if a totally bounded F has a compact closure in 𝑋, then it is said to be relatively compact or
pre-compact.
From the Hausdorff theorem (see, [27] p. 13), it follows that a subset F of a function space 𝑋 is relatively compact
if and only if F is totally bounded due to the completeness of 𝑋.
It is well-known Frechet-Kolmogorov theorem on the pre-compact of sets in the 𝐿 𝑝 (R𝑛 ) in terms of uniform equi-
continuity.
Theorem 1. [27] Suppose that 1 ≤ 𝑝 < ∞. The set 𝑆 ⊂ 𝐿 𝑝 (R𝑛 ) is pre-compact in 𝐿 𝑝 (R𝑛 ) if and only if the set 𝑆
satisfies the following three conditions:

sup ∥ 𝑓 ∥ 𝐿 𝑝 (R𝑛 ) < ∞, (1)

𝑓 ∈𝑆

lim sup sup ∥ 𝑓 (· + ℎ) − 𝑓 (·)∥ 𝐿 𝑝 (R𝑛 ) = 0 (2)

𝛿→0+ | ℎ| ≤ 𝛿 𝑓 ∈𝑆

and

lim sup ∥ 𝑓 ∥ 𝐿 𝑝 ( 𝑐 𝐵(0,𝑅) ) = 0, (3)

𝑅→∞ 𝑓 ∈𝑆
𝑐
where 𝐵(0, 𝑅) is the complement of a ball 𝐵(0, 𝑅).
For a function 𝑓 ∈ 𝐿 𝑙𝑜𝑐 𝑛
1 (R ), define the averaging function ( 𝐴 𝛿 𝑓 )(𝑥) in depending of 𝛿 > 0 with
∫
1
( 𝐴 𝛿 𝑓 ) (𝑥) = 𝑓 (𝑦)𝑑𝑦,
|𝐵(𝑥, 𝛿)|
𝐵( 𝑥, 𝛿 )

where |𝐵| is the Lebesgue measure of the set B.

The following theorem is a well-known result concerning the conditions for the pre-compact of sets in 𝐿 𝑝 (R𝑛 ) in
terms of the averaging function ( 𝐴 𝛿 𝑓 ) (𝑥).

Volume 5 Issue 1|2024| 7 Contemporary Mathematics

 Theorem 2.[27] Let 1 ≤ 𝑝 < ∞. The set 𝑆 ⊂ 𝐿 𝑝 (R𝑛 ) is pre-compact in 𝐿 𝑝 (R𝑛 ) if and only if the set 𝑆 satisfies the
following conditions:

sup ∥ 𝑓 ∥ 𝐿 𝑝 (R𝑛 ) < ∞, (4)

𝑓 ∈𝑆

lim sup ∥ 𝐴 𝛿 𝑓 − 𝑓 ∥ 𝐿 𝑝 (R𝑛 ) = 0, (5)

𝛿→0+ 𝑓 ∈𝑆

and

lim sup ∥ 𝑓 ∥ 𝐿 𝑝 ( 𝑐 𝐵(0,𝑅) ) = 0. (6)

𝑅→∞ 𝑓 ∈𝑆

From definition, of 𝐴 𝛿 𝑓 , and symmetry of a circle, we have:

∫
( 𝐴 𝛿 𝑓 ) (𝑥) = 𝜓 𝛿 (𝑦) 𝑓 (𝑥 − 𝑦)𝑑𝑦 = (𝜓 𝛿 ∗ 𝑓 )(𝑥), 𝑥 ∈ R𝑛 , (7)
𝐵(0, 𝛿 )

where
𝜒𝐵(0, 𝛿) (𝑥)
𝜓 𝛿 (𝑥) = .
|𝐵(0, 𝛿)|
Indeed,
∫ ∫ ∫
1 1
(𝜓 𝛿 ∗ 𝑓 )(𝑥) = 𝜓 𝛿 (𝑦) 𝑓 (𝑥 − 𝑦)𝑑𝑦 = 𝜒𝐵(0, 𝛿) (𝑥 − 𝑦) 𝑓 (𝑦)𝑑𝑦 = 𝑓 (𝑦)𝑑𝑦 = ( 𝐴 𝛿 𝑓 ) (𝑥).
|𝐵(𝑥, 𝛿)| |𝐵(𝑥, 𝛿)|
𝐵(0, 𝛿 ) 𝐵( 𝑥, 𝛿 ) 𝐵( 𝑥, 𝛿 )

Let us denote the maximum Hardy-Littlewood function 𝑀 𝑓 by

∫
1
(𝑀 𝑓 )(𝑥) = sup | 𝑓 (𝑦)|𝑑𝑦.
𝑟 >0 |𝐵(𝑥, 𝑟)|
𝐵( 𝑥,𝑟 )

Note that, by the basic sense of an average, for any 𝑥 ∈ R𝑛 and 𝛿 > 0
∫ ∫
1 1
|( 𝐴 𝛿 𝑓 ) (𝑥)| ≤ | 𝑓 (𝑦)|𝑑𝑦 ≤ sup | 𝑓 (𝑦)|𝑑𝑦 = (𝑀 𝑓 )(𝑥). (8)
|𝐵(𝑥, 𝛿)| 𝑟 >0 |𝐵(𝑥, 𝑟)|
𝐵( 𝑥, 𝛿 ) 𝐵( 𝑥,𝑟 )

The following theorem provides conditions for the boundedness of the operator 𝑀 in space 𝑀 𝑝𝑤 (𝑟 ) .
Theorem 3 [28] Let 1 < 𝑝 < ∞, 𝑤 ∈ Ω 𝑝∞ . In order that the maximal operator 𝑀 be bounded in the space 𝑀 𝑝𝑤 (𝑟 ) , it
is sufficient that for some 𝑐 1
 𝑟  𝑛𝑝
𝑤(𝑟) ≤ 𝑐 1 ∥𝑤(𝑟)∥ 𝐿∞ (𝑡 ,∞) , (9)
𝑟 +𝑡 𝐿∞ (0,∞)

for any 𝑡 > 0.

Note that condition (9) is equivalent to the next condition. For some 𝑐 1 > 0

Contemporary Mathematics 8 | Nurzhan Bokayev, Dauren Matin.

 𝑛 𝑛
𝑡 − 𝑝 𝑤(𝑟)𝑟 𝑝 ≤ 𝑐 1 ∥𝑤(𝑟)∥ 𝐿∞ (𝑡 ,∞) . (10)
𝐿∞ (0,𝑡 )

Corollary 1 Let 1 < 𝑝 < ∞. If 𝑤 ∈ Ω 𝑝∞ and condition (10) is satisfied, then there exists 𝑐 2 > 0, such that for any
𝛿 > 0 and 𝑓 ∈ 𝑀 𝑝𝑤 (𝑟 )

∥ 𝐴 𝛿 𝑓 ∥ 𝑀 𝑤 (𝑟 ) ≤ 𝑐 2 ∥ 𝑓 ∥ 𝑀 𝑤 (𝑟 ) . (11)
𝑝 𝑝

Proof. It sufficies to use inequality (8) and Theorem 3 □

3. Pre-compact of sets in generalized Morrey spaces in terms averaging function

In this section demonstrates sufficient conditions for the precompactness of sets in generalized Morrey spaces 𝑀 𝑝𝑤 (𝑟 )
in terms of averaging function, and establish some auxiliary lemmas.
Lemma 1. Let 1 ≤ 𝑝 ≤ ∞. Then for any 𝑅 > 0, 𝛿 > 0 and 𝑓 ∈ 𝐿 𝑝 (𝐵(0, 𝑅 + 𝛿))

|| 𝐴 𝛿 𝑓 || 𝐿 𝑝 ( 𝐵(0,𝑅) ) ≤ || 𝑓 || 𝐿 𝑝 ( 𝐵(0,𝑅+ 𝛿 ) ) . (12)

Lemma 2. Let 1 ≤ 𝑝 ≤ ∞. Then for any 0 < 𝛿 < 𝑅1 < 𝑅2 < ∞ and 𝑓 ∈ 𝐿 𝑝 (𝐵(0, 𝑅2 + 𝛿) \ 𝐵(0, 𝑅1 − 𝛿))

|| 𝐴 𝛿 𝑓 || 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) ≤ || 𝑓 || 𝐿 𝑝 ( 𝐵(0,𝑅2 + 𝛿 )\𝐵(0,𝑅1 − 𝛿 ) ) . (13)

Lemma 1 and Lemma 2 are particular cases of the following variant of Young’s inequality [29] for convolutions,

∫
∥(𝑘 ∗ 𝑓 )(𝑥)∥ 𝐿 𝑝 (𝐻 ) = 𝑘 (𝑦) 𝑓 (𝑥 − 𝑦)𝑑𝑦 ≤ ∥𝑘 ∥ 𝐿1 (𝐺) ∥ 𝑓 ∥ 𝐿 𝑝 (𝐺−𝐻 ) ,
𝐺 𝐿 𝑝 (𝐻 )

where 𝐺 − 𝐻 = {𝑥 − 𝑦 : 𝑥 ∈ 𝐺, 𝑦 ∈ 𝐻}, (see formula (7)) with 𝑘 = 𝜓 𝛿 , 𝐺 = 𝐵(0, 𝛿) and 𝐻 = 𝐵(0, 𝑅) in Lemma 1, 𝐻 =
𝐵(0, 𝑅2 ) \ 𝐵(0, 𝑅1 ) = 1 in Lemma 2. Since ∥𝜓 𝛿 ∥ 𝐿1 ( 𝐵(0, 𝛿 ) ) = 1 and 𝐵(0, 𝛿) − 𝐵(0, 𝑅) = {𝑥 − 𝑦, where 𝑥 ∈ 𝐵(0, 𝛿), 𝑦 ∈
𝐵(0, 𝑅)} then in Lemma 1 the result is as follows |𝑥 − 𝑦| ≤ |𝑦| + |𝑥| ≤ 𝑅 + 𝛿. In the case of Lemma 2 𝐵(0, 𝛿) − 𝐵(0, 𝑅2 ) \
𝐵(0, 𝑅1 ) = {𝑥 − 𝑦, where 𝑥 ∈ 𝐵(0, 𝛿), 𝑦 ∈ 𝐵(0, 𝑅2 ) \ 𝐵(0, 𝑅1 )} it turns out the following |𝑥 − 𝑦| ≤ |𝑦| + |𝑥| ≤ 𝑅2 + 𝛿 and
|𝑥 − 𝑦| ≥ |𝑦| − |𝑥| ≥ 𝑅1 − 𝛿 .
Lemma 3. Let 1 ≤ 𝑝 ≤ ∞, 𝑤 ∈ Ω 𝑝∞ . Then for any 0 < 𝑅1 < 𝑅2 < ∞, 𝛿 > 0 and for any functions 𝑓 , 𝜑 ∈ 𝑀 𝑝𝑤 (𝑟 )

|| 𝑓 − 𝜑|| 𝑀 𝑤 (𝑟 ) ≤ || 𝑓 𝜒𝐵(0,𝑅1 ) || 𝑀 𝑤 (𝑟 ) + ||𝜑𝜒𝐵(0,𝑅1 ) || 𝑀 𝑤 (𝑟 )

𝑝 𝑝 𝑝

+||( 𝐴 𝛿 𝑓 − 𝑓 ) 𝜒𝐵(0,𝑅 || 𝑀 𝑤 (𝑟 ) + ||( 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑) 𝜒𝐵(0,𝑅 || 𝑀 𝑤 (𝑟 ) (14)

2 ) \𝐵(0,𝑅1 ) 𝑝 2 ) \𝐵(0,𝑅1 ) 𝑝

+||( 𝐴 𝛿 𝜑 − 𝜑) 𝜒𝐵(0,𝑅 || 𝑀 𝑤 (𝑟 ) + || 𝑓 𝜒𝑐 𝐵(0,𝑅2 ) || 𝑀 𝑤 (𝑟 ) + ||𝜑𝜒𝑐 𝐵(0,𝑅2 ) || 𝑀 𝑤 (𝑟 ) .

2 )\𝐵(0,𝑅1 ) 𝑝 𝑝 𝑝

Proof. By adding and subtracting the corresponding summands and applying the triangle inequality, we get that

|| 𝑓 − 𝜑|| 𝑀 𝑤 (𝑟 ) = ||( 𝑓 − 𝜑) 𝜒𝐵(0,𝑅1 ) + ( 𝑓 − 𝜑) 𝜒𝐵(0,𝑅 + ( 𝑓 − 𝜑) 𝜒𝑐 𝐵(𝑅2 ,∞) || 𝑀 𝑤 (𝑟 )

𝑝 2 )\𝐵(0,𝑅1 ) 𝑝

Volume 5 Issue 1|2024| 9 Contemporary Mathematics

 = || 𝑓 𝜒𝐵(0,𝑅1 ) − 𝜑𝜒𝐵(0,𝑅1 ) + 𝑓 𝜒𝑐 𝐵(𝑅2 ,∞) − 𝜑𝜒𝑐 𝐵(𝑅2 ,∞) − ( 𝐴 𝛿 𝑓 − 𝑓 ) 𝜒𝐵(0,𝑅
2 )\𝐵(0,𝑅1 )

+( 𝐴 𝛿 𝜑 − 𝜑) 𝜒𝐵(0,𝑅 − ( 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑) 𝜒𝐵(0,𝑅 || 𝑀 𝑤 (𝑟 ) .
2 ) \𝐵(0,𝑅1 ) 2 )\𝐵(0,𝑅1 ) 𝑝

≤ 𝑓 𝜒𝐵(0,𝑅1 ) 𝑀𝑝
𝑤 (𝑟 ) + 𝜑𝜒𝐵(0,𝑅1 ) 𝑤 (𝑟 )
𝑀𝑝
+ 𝑓 𝜒𝑐 𝐵(𝑅2 ,∞) 𝑀𝑝
𝑤 (𝑟 )

+ 𝜑𝜒𝑐 𝐵(𝑅2 ,∞) 𝑀𝑝

𝑤 (𝑟 ) + ( 𝐴 𝛿 𝑓 − 𝑓 ) 𝜒𝐵(0,𝑅 𝑤 (𝑟 )
2 ) \𝐵(0,𝑅1 ) 𝑀𝑝

+ ( 𝐴 𝛿 𝜑 − 𝜑) 𝜒𝐵(0,𝑅 𝑤 (𝑟 )
+ ( 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑) 𝜒𝐵(0,𝑅 𝑤 (𝑟 )
.
2 ) \𝐵(0,𝑅1 ) 𝑀𝑝 2 ) \𝐵(0,𝑅1 ) 𝑀𝑝

Theorem 4. Let 1 < 𝑝 < ∞, 𝑤 ∈ Ω e 𝑝∞ is satisfied the condition (9). Suppose that the set 𝑆 ⊂ 𝑀 𝑝𝑤 (𝑟 ) (R𝑛 ) satisfies the
following four conditions, where 0 < 𝑅1 < 𝑅2 and 𝛿 > 0:

sup ∥ 𝑓 ∥ 𝑀 𝑤 (𝑟 ) (R𝑛 ) < ∞, (15)

𝑝
𝑓 ∈𝑆

lim sup 𝑓 𝜒𝐵(0,𝑅 𝑤 (𝑟 )

= 0, (16)
𝑅1 →0+ 𝑓 ∈𝑆 1) 𝑀𝑝 (R𝑛 )

lim sup ∥ 𝐴 𝛿 𝑓 − 𝑓 ∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) = 0 (17)

𝛿→0+ 𝑓 ∈𝑆

and

lim sup 𝑓 𝜒𝑐 𝐵(0,𝑅 𝑤 (𝑟 )

= 0. (18)
𝑅2 →∞ 𝑓 ∈𝑆 2) 𝑀𝑝 (R𝑛 )

Then the set 𝑆 is pre-compact in 𝑀 𝑝𝑤 (𝑟 ) .

Proof of Theorem 4.
Let 𝑆 ⊂ 𝑀 𝑝𝑤 (𝑟 ) and suppose that conditions (15) – (18) are satisfied.
Step 1. In the first step, we prove that for any 0 < 𝛿 < 𝑅1 < 𝑅2 < ∞ the set 𝑆 𝛿 = {𝐴 𝛿 𝑓 : 𝑓 ∈ 𝑆} is pre-compact in
𝐿 𝑝 (𝐵(0, 𝑅2 ) \ 𝐵(0, 𝑅1 )).
Note that

|| 𝑓 || 𝑀 𝑤 (𝑟 ) ≥ 𝑤(𝑟)|| 𝑓 || 𝐿 𝑝 ( 𝐵(0,𝑟 ) ) 𝐿∞ (𝑅2 ,∞)

≥ ∥𝑤(𝑟)∥ 𝐿∞ (𝑅2 ,∞) ∥ 𝑓 ∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) ,
𝑝

hence

∥ 𝑓 ∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) ≤ ∥𝑤(𝑟) ∥ −1

𝐿∞ (𝑅2 ,∞) || 𝑓 || 𝑀 𝑤 (𝑟 ) . (19)
𝑝

Therefore, according to inequalities (19), (11), and condition (15) for 𝑔 ∈ 𝑆 𝛿 , we have

Contemporary Mathematics 10 | Nurzhan Bokayev, Dauren Matin.

 sup ∥𝑔∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) = sup ∥ 𝐴 𝛿 𝑓 ∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) )
𝑔∈𝑆 𝛿 𝑓 ∈𝑆

≤ ∥𝑤(𝑟)∥ −1 −1
𝐿∞ (𝑅2 ,∞) sup ∥ 𝐴 𝛿 𝑓 ∥ 𝑀 𝑤 (𝑟 ) ≤ 𝑐 2 ∥𝑤(𝑟)∥ 𝐿∞ (𝑅2 ,∞) sup ∥ 𝑓 ∥ 𝑀 𝑤 (𝑟 ) < ∞. (20)
𝑝 𝑝
𝑓 ∈𝑆 𝑓 ∈𝑆

In addition, according to inequality (13) and condition (17)

lim sup ∥ 𝐴 𝜏 𝑔 − 𝑔∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) = lim+ sup ∥ 𝐴 𝜏 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝑓 ∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) )

𝜏→0+ 𝑔∈𝑆 𝛿 𝜏→0 𝑓 ∈𝑆

= lim+ sup ∥ 𝐴 𝛿 ( 𝐴 𝜏 𝑓 − 𝑓 )∥ 𝐿 𝑝 (𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) ≤ lim+ sup ∥ 𝐴 𝜏 𝑓 − 𝑓 ∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 + 𝛿 )\𝐵(0,𝑅1 − 𝛿 ) ) = 0.

𝜏→0 𝑓 ∈𝑆 𝜏→0 𝑓 ∈𝑆

Therefore, since the set 𝐵(0, 𝑅2 ) \ 𝐵(0, 𝑅1 ) satisfies conditions(4), (5) and (6) of Theorem 2, it follows that the set 𝑆 𝛿
is precompact in 𝐿 𝑝 (𝐵(0, 𝑅2 ) \ 𝐵(0, 𝑅1 )), or equivalently, totally bounded in 𝐿 𝑝 (𝐵(0, 𝑅2 ) \ 𝐵(0, 𝑅1 )).
Hence, for any 𝜀 > 0, there exists 𝑓1 , ..., 𝑓𝑚 ∈ 𝑆 (depending on 𝜀, 𝑟 and 𝑅) such that {𝐴 𝛿 𝑓1 , 𝐴 𝛿 𝑓2 , ..., 𝐴 𝛿 𝑓𝑚 } is a finite
𝜀-net in 𝑆 𝛿 with respect to norm of 𝐿 𝑝 (𝐵(0, 𝑅2 ) \ 𝐵(0, 𝑅1 )). Therefore, for any 𝑓 ∈ 𝑆, there is 1 ≤ 𝑗 ≤ 𝑚 such that

𝐴𝛿 𝑓 − 𝐴𝛿 𝑓 𝑗 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) )
< 𝜀.
Hence,

min 𝐴𝛿 𝑓 − 𝐴𝛿 𝑓 𝑗 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) )

< 𝜀.
𝑗=1,...,𝑚

Step 2. In the second step, we prove that the set 𝑆 is totally bounded in 𝑀 𝑝𝑤 (𝑟 ) .
Let us show that the set 𝑆 is a pre-compact set in 𝑀 𝑝𝑤 (𝑟 ) . For any 𝑓 , 𝜑 ∈ 𝑆, we have

 
( 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑) 𝜒𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) 𝑤 (𝑟 )
= sup 𝑤(𝑟)||( 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑) 𝜒𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) || 𝐿 𝑝 (𝐵( 𝑥,𝑟 ) )
𝑀𝑝 𝑥 ∈R𝑛 , 𝑅1 >0

≤ sup (𝑤(𝑟)) ∥ ( 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑) ∥ 𝐿 𝑝 (𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) (21)

𝑟 >0

and by inequality (14), it follows that for any 𝑓 , 𝜑 ∈ 𝑆

|| 𝑓 − 𝜑|| 𝑀 𝑤 (𝑟 ) ≤ 2 sup ||𝑔 𝜒𝐵(0,𝑅1 ) || 𝑀 𝑤 (𝑟 ) + 2 sup ||( 𝐴 𝛿 𝑔 − 𝑔) 𝜒𝐵(0,𝑅 || 𝑀 𝑤 (𝑟 )

𝑝
𝑔∈𝑆 𝑝
𝑔∈𝑆 2 )\𝐵(0,𝑅1 ) 𝑝

+2 sup ||𝑔 𝜒𝑐 𝐵(𝑅2 ,∞) || 𝑀 𝑤 (𝑟 ) + ∥𝑤∥ 𝐿∞(𝑅 ∥ 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) = 𝐸 1 + 𝐸 2 + 𝐸 3 + 𝐸 4 ,

𝑝 1 ,∞)
𝑔∈𝑆

where 𝐸 1 , 𝐸 2 , 𝐸 3 and 𝐸 4 are defined in the following. Let 𝜀 > 0. Using condition (16),you can choose the radius of the
ball 𝑅1 = 𝑅1 (𝜀) such that

𝜀
𝐸 1 = 2 sup ||𝑔 𝜒𝐵(0,𝑅1 ) || 𝑀 𝑤 (𝑟 ) < .
𝑔∈𝑆 𝑝 4

Volume 5 Issue 1|2024| 11 Contemporary Mathematics

 By condition (18), you can choose the radius of the ball 𝑅2 = 𝑅2 (𝜀), such that

𝜀
𝐸 3 = 2 sup ||𝑔 𝜒𝑐 𝐵(𝑅2 ,∞) || 𝑀 𝑤 (𝑟 ) < .
𝑔∈𝑆 𝑝 4
By using inequality (21) and condition (17), you can choose 𝛿 = 𝛿(𝜀) such that

𝐸 2 = 2 sup ||( 𝐴 𝛿 𝑔 − 𝑔) 𝜒𝐵(0,𝑅 || 𝑀 𝑤 (𝑟 )

𝑔∈𝑆 2 )\𝐵(0,𝑅1 ) 𝑝

𝜀
≤ 2||𝑤|| 𝐿∞ (𝑅,∞) sup ∥ 𝐴 𝛿 𝑔 − 𝑔∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) < .
𝑔∈𝑆 4

𝐸 4 = ∥𝑤∥ 𝐿∞(𝑅 ∥ 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑∥ 𝐿 𝑝 (𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) )

1 ,∞)

Then for any 𝑓 , 𝜑 ∈ 𝑆

3𝜀 3𝜀
|| 𝑓 − 𝜑|| 𝑀 𝑤 (𝑟 ) ≤ + 𝐸4 = + ∥𝑤∥ 𝐿∞(𝑅 ,∞) ∥ 𝐴 𝛿 𝑓 − 𝐴 𝛿 𝜑∥ 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) ) .
𝑝 4 4 1

Hence for any 𝜑1 , 𝜑2 , ..., 𝜑 𝑚 ∈ 𝑆

3𝜀
min || 𝑓 − 𝜑 𝑗 || 𝑀 𝑤 (𝑟 ) ≤ + ∥𝑤∥ 𝐿∞(𝑅 ,∞) min 𝐴𝛿 𝑓 − 𝐴𝛿 𝜑 𝑗 𝐿 𝑝 ( 𝐵(0,𝑅2 )\𝐵(0,𝑅1 ) )
. (22)
𝑗=1,2,...,𝑚 𝑝 4 1 𝑗=1,2,...,𝑚

Finally, by the pre-compact of the set 𝑆 𝛿 ( 𝜀) in 𝐿 𝑝 (𝐵(0, 𝑅2 (𝜀)) \ 𝐵(0, 𝑅1 (𝜀))), for any 𝑓 ∈ 𝑆 there exist 𝑚(𝜀) ∈ N and
𝑓1, 𝜀 , ..., 𝑓𝑚( 𝜀) , 𝜀 ∈ 𝑆, such that

𝜀  −1
min 𝐴 𝛿 ( 𝜀) 𝑓 − 𝐴 𝛿 ( 𝜀) 𝑓 𝑗, 𝜀 𝐿 𝑝 ( 𝐵(0,𝑅2 ( 𝜀) )\𝐵(0,𝑅1 ( 𝜀) ) )
≤ ∥𝑤∥ 𝐿 𝜃 (0,∞) .
𝑗=1,2,...,𝑚( 𝜀) 4
Therefore, setting 𝜑 𝑗 = 𝑓 𝑗, 𝜀 , 𝑗 = 1, ..., 𝑚(𝜀), by inequality (22), for any 𝑓 ∈ 𝑆, it turns out that

min || 𝑓 − 𝑓 𝑗, 𝜀 || 𝑀 𝑤 (𝑟 ) ≤ 𝜀.
𝑗=1,2,...,𝑚 𝑝

Thus, we have that 𝜑 𝑗 = 𝑓 𝑗, 𝜀 , 𝑗 = 1, ..., 𝑚(𝜀) is a finite 𝜀-net in 𝑆 with respect to the norm of 𝑀 𝑝𝑤 (𝑟 ) .
It follows from this that the set 𝑆 is totally bounded in 𝑀 𝑝𝑤 (𝑟 ) , or equivalently, the set 𝑆 is pre-compact in 𝑀 𝑝𝑤 (𝑟 ) .
The Proof of Theorem 4 is completed.
The strengths of the results obtained are that the theorems consider wider spaces. The Frechet-Kolmogorov theorem
for the pre-compact 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 generalized Morrey spaces, four conditions for pre-compactness of sets were
derived in terms of averaging functions. An example of a set of functions for which not all of the specified conditions are
necessary was also considered. Consequently, the question of finding necessary and sufficient conditions in generalized
Morrey spaces remains open.

Remark. Condition (15) in Theorem 4 is necessary because any pre-compact set in a normed space is bounded.

Contemporary Mathematics 12 | Nurzhan Bokayev, Dauren Matin.

 The conditions (17), (16), and (18) are not necessary, at least in the case when 𝑛 = 1 and 𝑤(𝑟) = 𝑟 −𝜆 , where 0 < 𝜆 < 𝑝1 .
In this case, the set 𝑆, consisting of only one function |𝑥| 𝜆− 𝑝 ∈ 𝑀 𝑝𝜆 , is pre-compact. However, the conditions (17) and (16)
1

are not satisfied. This follows from the example provided below.
Thus, the question of finding the necessary and sufficient conditions for the set 𝑆 ⊂ 𝑀 𝑝𝑤 (𝑟 ) to be pre-compact remains
open.
Example. For 𝑛 = 1 and 𝑤(𝑟) = 𝑟 −𝜆 , 1 ≤ 𝑝 < ∞, 0 < 𝜆 < 𝑝1 , can state that

lim 𝐴𝑟 (| · | 𝜆− 𝑝 ) − | · | 𝜆− 𝑝
1 1
≠0 (23)
𝑟→0+ 𝑀 𝑝𝜆

in 𝑀 𝑝𝜆 as 𝑟 → 0+ , and

lim || 𝑓0 (𝑥 + 𝑢) − 𝑓0 (𝑥)|| 𝑀 𝑝𝜆 ≠ 0 (24)

𝑢→0

in 𝑀 𝑝𝜆 as 𝑢 → 0, and finaly

|𝑥| 𝜆− 𝑝 𝜒𝑐
1
lim (𝑥) ≠0 (25)
𝑟→+∞ 𝐵(0,𝑟 ) 𝑀 𝑝𝜆

in 𝑀 𝑝𝜆 as 𝑟 → +∞.
Indeed, for 𝑥 > 0 and 0 < 𝑟 < 𝑥,

∫𝑥+𝑟
𝜆− 𝑝1 1
𝑦 𝜆− 𝑝 𝑑𝑦
1
𝐴𝑟 (| · | )(𝑥) =
2𝑟
𝑥−𝑟

  −1
1 1  
(𝑥 + 𝑟) 𝜆− 𝑝 +1 − (𝑥 − 𝑟) 𝜆− 𝑝 +1
1 1
= 𝜆− +1
𝑝 2𝑟

  −1 𝜆− 1 +1   
1 𝑥 𝑝 𝑟  𝜆− 𝑝1 +1  𝑟  𝜆− 𝑝1 +1
= 𝜆− +1 1+ − 1−
𝑝 2𝑟 𝑥 𝑥
and
  −1    
𝑥 𝜆− 𝑝 +1  𝑟  𝜆− 𝑝1 +1  𝑟  𝜆− 𝑝1 +1
1
𝜆− 𝑝1 𝜆− 𝑝1 1 1 𝑟
𝐴𝑟 (| · | )(𝑥) − 𝑥 = 𝜆− +1 1+ − 1− −2 𝜆− +1
𝑝 2𝑟 𝑥 𝑥 𝑝 𝑥
Indeed, according to Taylor’s formula, there exist 𝜉 and 𝜂 such that 1 − 𝑥 < 𝜂 < 1 < 𝜉 < 1 + 𝑥 and

𝜇(𝜇 − 1) 2 𝜇(𝜇 − 1)(𝜇 − 2) 3 𝜇(𝜇 − 1)(𝜇 − 2)(𝜇 − 3) 𝜇−4 4

(1 + 𝑦) 𝜇 − (1 − 𝑦) 𝜇 − 2𝜇𝑥 = 1 + 𝜇𝑥 + 𝑥 + 𝑥 + 𝜉 𝑥
2 6 24
 
𝜇(𝜇 − 1) 2 𝜇(𝜇 − 1)(𝜇 − 2) 3 𝜇(𝜇 − 1)(𝜇 − 2)(𝜇 − 3) 𝜇−4 4
− 1 − 𝜇𝑥 + 𝑥 − 𝑥 + 𝜂 𝑥 − 2𝜇𝑥
2 6 24

𝜇(𝜇 − 1)(𝜇 − 2) 3 𝜇(𝜇 − 1)(𝜇 − 2)(𝜇 − 3)  𝜇−4  𝜇(𝜇 − 1)(𝜇 − 2) 3

= 𝑥 + 𝜉 − 𝜂 𝜇−4 𝑥 4 ≥ 𝑥 .
3 24 3

Volume 5 Issue 1|2024| 13 Contemporary Mathematics

 Using the inequality

𝜇(1 − 𝜇)(2 − 𝜇) 3
(1 + 𝑦) 𝜇 − (1 − 𝑦) 𝜇 − 2𝜇𝑦 ≥ 𝑦
3
that is valid for for any 0 < 𝜇 < 1 and 0 < 𝑦 < 1, hence, assuming 𝜇 = 𝜆 − 𝑝1 + 1 and 𝑦 = 𝑟𝑥 , that for some 𝑐 𝜆 > 0, depending
only on 𝜆 and 𝑝, for any 0 < 𝑟 < 𝑥:

 𝑟 2
𝐴𝑟 (| · | 𝜆− 𝑝 )(𝑥) − 𝑥 𝜆− 𝑝 ≥ 𝑐 𝜆 𝑥 𝜆− 𝑝
1 1 1
.
𝑥
Therefore,

𝐴𝑟 (| · | 𝜆− 𝑝 )(𝑥) − |𝑥| 𝜆− 𝑝 sup 𝑟 −𝜆 𝐴𝑟 (| · | 𝜆− 𝑝 )(𝑥) − |𝑥| 𝜆− 𝑝

1 1 1 1
=
𝑀 𝑝𝜆 𝑧 ∈R, 𝑟 >0 𝐿 𝑝 (𝑧−𝑟 ,𝑧+𝑟 )

≥ 𝑟 −𝜆 𝐴𝑟 (| · | 𝜆− 𝑝 )(𝑥) − |𝑥| 𝜆− 𝑝
1 1

𝐿 𝑝 (2𝑟 ,4𝑟 )

 𝑟 2
≥ 𝑐 𝜆 𝑟 −𝜆 𝑥 𝜆− 𝑝
1

𝑥 𝐿 𝑝 (2𝑟 ,4𝑟 )

 2
1
≥ 𝑐 𝜆 𝑟 −𝜆 (4𝑟) 𝜆− 𝑝 (2𝑟) 𝑝 = 𝑐 𝜆 4𝜆− 𝑝 −2 2 𝑝 > 0,
1 1 1 1

4
whence follows (23).
From (23) and Lemma 9, follows (24).
Finally,

|𝑥| 𝜆− 𝑝 𝜒𝑐 |𝑥| 𝜆− 𝑝 𝜒𝑐
1 1
(𝑥) = sup (𝑥)
𝐵(0,𝑟 ) 𝑀 𝑝𝜆 𝑧 ∈R𝑛 , 𝜌>0 𝐵(0,𝑟 ) 𝐿 𝑝 ( 𝑥−𝜌,𝑥+𝜌)

1
∫𝜌 𝑝
−𝜆 © 𝜆 𝑝−1 ª
≥ sup 𝜌 −𝜆 |𝑥| 𝜆−
1
𝑝 = sup 𝜌 ­𝑛𝑣 𝑛 𝑥 𝑑𝑥 ®
𝜌>𝑟 𝐿 𝑝 ( (0,𝜌)∩(𝑟 ,∞) ) 𝜌>𝑟
« 𝑟 ¬

  𝑝1  1
−𝜆 𝑛𝑣 𝑛  𝜆 𝑝−1 𝜆 𝑝−1  𝑛𝑣 𝑛 𝑝
≥ lim 𝜌 𝜌 −𝑟 𝑑𝑥 = ,
𝜌→+∞ 𝜆𝑝 𝜆𝑝
from which (25) follows.

4. Discussion and Conclusion

In this paper, sufficient conditions for pre-compactness of sets in generalized Morrey spaces are given in terms of the
averaging function. This result serves as an analogue of the well-known Fréchet Kolmogorov theorem, which gives the
conditions for the compact of sets in Lebesgue spaces. The generalization to Morrey spaces extends the applicability of
compact criteria to a broader class of function spaces, reflecting the interplay between local regularity and global behavior

Contemporary Mathematics 14 | Nurzhan Bokayev, Dauren Matin.

in these spaces. The obtained result can be used to prove the compact of integral operators in generalized Morrey spaces.
A similar theorem in terms of uniform equi-continuity, specifically the pre-compact theorem for sets in Morrey spaces,
was considered in [1] and applied to prove the compact of the commutator for the singular Calderón-Zygmund integral
operator in [2].

Acknowledgement
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).

References
[1] Chen Y, Ding Y, Wang X. Compactness of commutators of Riesz potential on Morrey space. Potential Anal. 2009;
30(4): 301-313.
[2] Chen Y, Ding Y, Wang X. Compactness of Commutators for singular integrals on Morrey spaces. Can J Math. 2012;
64(2): 257-281.
[3] Bokayev N, Matin D, Akhazhanov T, Adilkhanov A. Compactness of Commutators for Riesz Potential on
Generalized Morrey Spaces. Mathematics. 2024; 12(2): 1-16.
[4] Bandaliyev RA, Górka P, Guliyev VS, Sawano Y. Relatively Compact Sets in Variable Exponent Morrey Spaces on
Metric Spaces. Mediterr J Math. 2021; 18(232): 1-23.
[5] Tao J, Yang D, Yuan W, Zhang Y. Compactness characterizations of commutators on ball Banach function spaces.
Potential Analysis. 2023; 58(58): 645 679.
[6] Dauitbek D, Nessipbayev Y, Tulenov K. Examples of weakly compact sets in Orlicz spaces. Bulletin of the Karaganda
Univercity Mathematics Series. 2022; 106(2): 72-82.
[7] Peetre J. On the theory of 𝐿 𝑝,𝜆 spaces. J Funct Anal. 1969; 4(1): 71-87.
[8] Adams D. Lectures on 𝐿 𝑝 Potential Theory. 2nd ed. Umea University: Department University; 1981.
[9] Mizuhara T. Boundedness of some classical operators on generalized Morrey spaces. In Proceedings of the Harmonic
Analisis, ICM 90 Satellite Proceedings,. 1991; 1(12): 183-189.
[10] Nakai E. Hardy-Littlewood maximal operator, singular integral operators and Riesz potentials on generalized Morrey
spaces. Math Nachr. 1994; 1(166): 95-103.
[11] Ding Y. A characterization of BMO via commutators for some operators. Northeast Math J. 1997; 13(4): 422-432.
[12] Guliyev VS. Generalized weighted Morrey spaces and higher order commutators of sublinear operators. Eurasian
Math J. 2012; 3(3): 33-61.
[13] Sawano Y, Shiai S. Compact commutators on Morrey spaces with non-doubling measures. Georgian Math J. 2008;
15(2): 353-376.
[14] Matin D, Akhazhanov T, Adilkhanov A. Compactness of Commutators for Riesz Potential on Local Morrey-type
spaces. Bulletin of the Karaganda Univercity Mathematics Series,. 2023; 110(2): 93-103.
[15] Sawano Y, Di-Fazio G, Hakim D. Morrey Spaces. Introduction and applications to integral operators and PDE s.
vol. 1 ed. New York: Chapman and Hall/CRC; 2020.
[16] Morrey C. On the solutions of quasi-linear elleptic partial diferential equations. Trans Am Math Soc. 1938; 1(1):
126-166.
[17] Burenkov VI. Recent progress in studying the boundedness of classical operators of real analysis in general Morrey-
type spaces. I. Eurasian Math J. 2012; 3(3): 11-32.
[18] Sawano Y, Di-Fazio G, Hakim D. Morrey Spaces. Introduction and applications to integral operators and PDE s.
vol. 2. ed. New York: Chapman and Hall/CRC; 2020.
[19] Tao J, Yang D. Boundedness and compactness characterizations of Cauchy integral commutators on Morrey spaces.
Math Methods Appl Sci. 2019; 42(5): 1631 1651.
[20] Kato T. Strong solutions of the Navier-Stokes equation in Morrey spaces. Bol Soc Brasil Mat. 1992; 22(22): 127-155.

Volume 5 Issue 1|2024| 15 Contemporary Mathematics

[21] Taylor M. Analysis on Morrey spaces and applications to Navier-Stokes and other evolution equations. Commun
Part Differ Equ. 1992; 17(17): 1407-1456.
[22] Shen Z. The periodic Schrödinger operators with potentials in the Morrey class. J Funct Anal. 2002; 193(2): 314-345.
[23] Guliyev VS, Guliyev RV, Omarova MN, Ragusa MA. Schrodinger type operators on local generalized Morrey spaces
related to certain nonnegative potentials. Discret Contin Dyn Syst Ser B. 2020; 25(5): 671-690.
[24] Di Fazio G, Ragusa M. Interior estimates in Morrey spaces for strong solutions to nondivergence form equations
with dicontinuous coefficients. J Funct Anal. 1993; 112(2): 241-256.
[25] Huang Q. Estimates on the generalized Morrey spaces 𝐿 2,𝜆 𝜙 and 𝐵𝑀𝑂 𝜓 for linear elliptic systems. Indiana Univ
Math J. 1996; 1968(45): 397-439.
[26] Burenkov VI. Recent progress in studying the boundedness of classical operators of real analysis in general Morrey-
type spaces. II. Eurasian Math J. 2013; 4(1): 21-45.
[27] Yosida K. Functional Analysis. 2nd ed. Berlin/Heidelberg, Germany: Springer; 1978. Available from: https:
//doi.org/10.1007/978-3-642-61859-8.
[28] Burenkov VI, Guliyev HV. Necessary and sufficient conditions for boundedness of the maximal operator in the local
Morrey-type spaces. Studia Mathematica. 2004; 163(2): 157-176.
[29] Burenkov VI, Tararykova TV. An Analog of Young s Inequality for Convolutions of Functions for General Morrey-
Type Spaces. Proceedings of the Steklov Institute of Mathematics. 2016; 293(1): 107 126.

Contemporary Mathematics 16 | Nurzhan Bokayev, Dauren Matin.