The application of waste rubber powder (WRP) for asphalt pavement could achieve the harmless and resourceful utilization of solid waste, but the storage stability of waste rubber powder modified asphalt (RA) is one of the main problems restricting its application. Existing studies have demonstrated that graphene could enhance the storage stability of RA, but graphene's size effect on the modifying effect and its corresponding mechanism are still uncertain. In this research, the effects of graphene microstructural properties (i.e., molecular size and layer number) on the storage stability of RA were investigated by storage stability testing, dynamic shear rheometry (DSR) testing and fluorescence microscopy (FM) testing, in combination with molecular dynamics simulation (MD). The experimental results indicated that graphene improved the storage stability of RA significantly, with few-layer graphene being more effective in enhancing it. MD was used to investigate the graphene size effect on RA in compatibility, intermolecular binding energy and structural stability of the system. The simulation results revealed that small-sized graphene molecules were more compatible with RA. Meanwhile, few-layer, small-sized graphene can provide higher binding energy and better enhancement of storage stability of RA. The number of graphene layers mainly influences the binding energy rather than solubility parameters. The relative concentration distribution results demonstrated that graphene facilitated the spatial distribution of asphaltenes, rubber components and light components. This research provides theoretical support for the rational selection of microstructural properties of graphene to improve the modified asphalt storage stability performance.
Citation: Yutong Xie, Yingli Gao, Meijie Liao, Weiwei Tian. Study on the storage stability performance enhancement mechanism of graphene on rubber-modified asphalt based on size effect[J]. Electronic Research Archive, 2023, 31(4): 2048-2070. doi: 10.3934/era.2023105
[1] | Hyunjin Ahn . Asymptotic flocking of the relativistic Cucker–Smale model with time delay. Networks and Heterogeneous Media, 2023, 18(1): 29-47. doi: 10.3934/nhm.2023002 |
[2] | Hyunjin Ahn, Woojoo Shim . Interplay of a unit-speed constraint and time-delay in the flocking model with internal variables. Networks and Heterogeneous Media, 2024, 19(3): 1182-1230. doi: 10.3934/nhm.2024052 |
[3] | Hyunjin Ahn, Se Eun Noh . Finite-in-time flocking of the thermodynamic Cucker–Smale model. Networks and Heterogeneous Media, 2024, 19(2): 526-546. doi: 10.3934/nhm.2024023 |
[4] | Young-Pil Choi, Cristina Pignotti . Emergent behavior of Cucker-Smale model with normalized weights and distributed time delays. Networks and Heterogeneous Media, 2019, 14(4): 789-804. doi: 10.3934/nhm.2019032 |
[5] | Hyunjin Ahn . Non-emergence of mono-cluster flocking and multi-cluster flocking of the thermodynamic Cucker–Smale model with a unit-speed constraint. Networks and Heterogeneous Media, 2023, 18(4): 1493-1527. doi: 10.3934/nhm.2023066 |
[6] | Shenglun Yan, Wanqian Zhang, Weiyuan Zou . Multi-cluster flocking of the thermodynamic Cucker-Smale model with a unit-speed constraint under a singular kernel. Networks and Heterogeneous Media, 2024, 19(2): 547-568. doi: 10.3934/nhm.2024024 |
[7] | Hyunjin Ahn . Uniform stability of the Cucker–Smale and thermodynamic Cucker–Smale ensembles with singular kernels. Networks and Heterogeneous Media, 2022, 17(5): 753-782. doi: 10.3934/nhm.2022025 |
[8] | J. J. P. Veerman, B. D. Stošić, A. Olvera . Spatial instabilities and size limitations of flocks. Networks and Heterogeneous Media, 2007, 2(4): 647-660. doi: 10.3934/nhm.2007.2.647 |
[9] | Young-Pil Choi, Dante Kalise, Andrés A. Peters . Collisionless and decentralized formation control for strings. Networks and Heterogeneous Media, 2025, 20(3): 844-867. doi: 10.3934/nhm.2025036 |
[10] | Linglong Du, Anqi Du, Zhengyan Luo . Global well-posedness of strong solution to the kinetic Cucker-Smale model with external potential field. Networks and Heterogeneous Media, 2025, 20(2): 460-481. doi: 10.3934/nhm.2025021 |
The application of waste rubber powder (WRP) for asphalt pavement could achieve the harmless and resourceful utilization of solid waste, but the storage stability of waste rubber powder modified asphalt (RA) is one of the main problems restricting its application. Existing studies have demonstrated that graphene could enhance the storage stability of RA, but graphene's size effect on the modifying effect and its corresponding mechanism are still uncertain. In this research, the effects of graphene microstructural properties (i.e., molecular size and layer number) on the storage stability of RA were investigated by storage stability testing, dynamic shear rheometry (DSR) testing and fluorescence microscopy (FM) testing, in combination with molecular dynamics simulation (MD). The experimental results indicated that graphene improved the storage stability of RA significantly, with few-layer graphene being more effective in enhancing it. MD was used to investigate the graphene size effect on RA in compatibility, intermolecular binding energy and structural stability of the system. The simulation results revealed that small-sized graphene molecules were more compatible with RA. Meanwhile, few-layer, small-sized graphene can provide higher binding energy and better enhancement of storage stability of RA. The number of graphene layers mainly influences the binding energy rather than solubility parameters. The relative concentration distribution results demonstrated that graphene facilitated the spatial distribution of asphaltenes, rubber components and light components. This research provides theoretical support for the rational selection of microstructural properties of graphene to improve the modified asphalt storage stability performance.
The Hermite-Hadamard inequalities stand today as a fundamental result in mathematical analysis, originally developed by Charles Hermite and Jacques Hadamard during the late 19th and early 20th centuries, with numerous applications across a wide range of real-world problems. The Hermite-Hadamard inequalities help numerical analysis researchers determine error estimates when using the trapezoidal and midpoint rules for numerical integration. The optimization discipline uses it to analyze and create boundaries for objective functions. The inequality allows researchers in probability and statistics to conduct risk assessments through their mathematical treatment of convex utility functions and risk measures, thereby yielding beneficial findings throughout both domains.
Convex inequalities, particularly the Hermite-Hadamard inequalities, have broad applications in various scientific and practical fields. In economics, they are instrumental in estimating average utility or production costs under convexity assumptions, which are commonly used in modeling consumer preferences and temporal transformation [1]. In a multi-scale spatial-temporal interaction fusion network such as the one used for digital twin-based thermal error compensation in precision machine tools, integral inequalities (most notably Gronwall-type inequalities) are essential for establishing stability and error-bounding properties across temporal scales and interacting spatial components [2]. These inequalities offer valuable analytical frameworks to manage uncertainty, optimize resource allocation, and derive bounds for error estimates [3,4].
The Hermite-Hadamard inequalities state that if φ:[α,β]→R is a convex function on the interval [α,β], then the following inequalities hold [5]:
φ(α+β2)≤1β−α∫βαφ(μ)dμ≤φ(α)+φ(β)2. |
These inequalities have been explored through various types of generalized convex mappings, including p-convex, s-convex, harmonic convex, Godunova-Levin and h-convex functions, and several other classes exist; see, for example, [6,7,8]. The Hermite-Hadamard inequalities have been generalized in various mathematical settings, each offering new insights and applications. In the fractional calculus framework, integral versions involving Riemann-Liouville and Caputo operators extend classical convexity results to non-integer orders [9]. The quantum calculus version of the inequality utilizes Jackson integrals and q-analogues to formulate inequalities where traditional limits are replaced by discrete difference operators [10,11]. A stochastic extension based on probabilistic metric spaces and random variables provides bounds under convex stochastic dominance assumptions [12]. The fuzzy version explores generalized convexity in fuzzy analysis, employing the Hukuhara differentiability to establish inequalities for fuzzy-valued functions [13]. Meanwhile, for interval-valued mappings, the inequality is reformulated using convexity for interval-valued functions in partial relation [14].
In 2015, the distinguished mathematician S. S. Dragomir [15] introduced a novel formulation of the Hermite-Hadamard inequalities. His work contributed to the advancement of the classical framework of Lebesgue spaces by establishing a refined expression for functions using norm-based terms. This formulation preserved the core structure of the inequality while maintaining convexity, leading to broader applications in analysis.
Let X be a vector space over the field K (either R or C), and let ξ,η∈X with ξ≠η, and ρ∈[1,∞). Then, the following inequality holds:
‖ξ+η2‖ρ≤∫10‖(1−τ)ξ+τη‖ρdτ≤‖ξ‖ρ+‖η‖ρ2. | (1.1) |
Our aim is to extend inequality (1.1) in the setting of function spaces with non-standard growth conditions on the exponent. Toward this goal, we first discuss some appropriate literature on variable exponent spaces.
Non-standard growth on exponent functions is the terminology used for applications where the behavior of the exponent's growth in the function is not constant or uniform over the domain, compared to conventional function spaces with fixed exponents. In these applications, the exponent can depend on the point or the area within the domain, and there can be more flexible and general growth patterns. A non-standard growth on the exponent p(x) characterizes these spaces in which the integrability conditions change across the domain regions. The elastic character of variable exponent spaces provides great modeling ability in domains that need to deal with non-homogeneous processes in fluid dynamics [5] and image processing [17], as well as elasticity theory [18] and non-standard PDEs [19].
Non-standard growth sequence spaces (ℓp(⋅)) are function spaces in which the growth of sequences is regulated by a variable exponent or a varying growth function, as opposed to being constant. This comes, originally, from the groundbreaking work of Orlicz [20] who created generalized function spaces during the mid-twentieth century. The work of Orlicz (1932) expanded traditional Lp-spaces by establishing spaces that utilize growth conditions controlled by Young functions, thus enabling additional analysis on nonstandard function spaces. Variable exponent spaces emerged from this important foundational work by providing researchers with new ideas about spaces in which the exponent changes according to location. This extension broadens sequence space theory beyond classical boundaries, yet creates a comprehensive mathematical framework suitable for imaging work, signal analysis, and biological modeling.
Formally, let p={pn} be a sequence of real numbers such that pn>1 for all n. The variable exponent sequence space ℓp(n) is defined as
ℓp(n)={κ={κn}∈Rn:∞∑n=1|κn|pn<∞}. |
The norm on ℓp(n) is given by
‖κ‖ℓp(n)=inf{λ>0:∞∑n=1|κnλ|pn≤1}. |
These spaces have excellent flexibility for real-world usage because of their generalized summability conditions, providing finer control. Research on these spaces has revealed new challenges, as they rely on an underlying nonuniform convex norm structure and do not enjoy the duality relations characteristic of fixed p-spaces. Much attention has been drawn in recent research to investigating the topological nature of these spaces, especially for both modular sequence spaces and variable exponent Lebesgue spaces. Research on ℓp(n)-spaces has had a number of important developments. Izuki et al. [21] conducted research on the convergence of variable exponent spaces with an additional focus on sequence transformation properties to advance our understanding of their complex topological and analytical behavior. Rabinovich and Samko [22] analyzed the boundedness and Fredholmness of pseudodifferential operators in variable exponent spaces.
The efforts of different authors have resulted in the extension of a number of function spaces, such as Lebesgue spaces of integrability, Morrey spaces [23], Lorentz spaces [24], Hardy spaces [25], Bergman spaces [26], Orlicz spaces [27], and Zygmund spaces [28], among many others, from their traditional definitions to the variable exponent space context. For instance, boundedness embedding and compactness theories for operators evolved substantially during recent times while gaining diverse functional-space applications across different domains. Cordes [29] introduced the study of compact commutators and bounded pseudo differential operators which formed the essential groundwork for operator theory. The research of Denk et al. [30] added R-boundedness to Fourier multiplier analysis thus revealing fresh perspectives on operator performance within variable domains. Fan [31] studied boundary trace embedding theorems for variable exponent Sobolev spaces to show how variable exponents influence this relationship between embeddings. Mihăilescu and Rădulescu [32] expanded this framework for nonhomogeneous quasilinear eigenvalue problems while continuing research on variable exponent Sobolev spaces. Samko [33] analyzed weighted Hardy and singular operators within Morrey spaces to develop essential analytic methods for bounded operator investigations. Thieme [34] examined spectral bounds in infinite-dimensional systems thereby enabling population dynamics and time-heterogeneous systems applications. Guliyev et al. [35] executed an analysis of maximal and singular integral operator boundedness within variable exponent Morrey spaces through a unified method for generalized Morrey-type spaces. Unal and Aydın [36] recently investigated compact embeddings for weighted variable exponent Sobolev spaces while examining their applications to weighted Laplacians which demonstrated applicability between theoretical findings and practical uses.
Completeness, separability, and compactness are basic concepts in function space theory. These notions are of importance in determining the structure behavior and analytical properties of the spaces, and they form the core in many areas of functional analysis, operator theory, and PDEs. Dorantes-Aldama and Shakhmatov [37] further developed these notions by studying the completeness and compactness in metric spaces, topological groups, and functions spaces, which makes it possible to approach these properties in a much more general context. The researchers built on previous work in the topology of function spaces when Holá and Zsilinszky [38] investigated the completeness standards and related topological properties of the function space graphs, further enhancing the topological exploration of function spaces. Through his research, Rodabaugh [39] developed foundational results using separation axioms with representation theorems and compactness to advance the study of functional spaces in fuzzy set theory. Almira and Luther [40] added to compactness and approximation space theory through their work which explained the application of generalized approximation spaces in numerical analysis and optimization. Carro and Soria [41] introduced weighted Lorentz spaces while investigating their relationships with the Hardy operator to extend knowledge about bounded operators in weighted environments.
Bandaliyev et al. [42] investigated the precompactness and completeness of sets within variable exponent Morrey spaces by utilizing bounded metric measure spaces.
Theorem 1.1. [42] Let (Ω,ρ,ν) be a bounded doubling metric measure space, and let p(⋅)∈P(Ω,ν) satisfy 0<p−≤p+<∞ and supσ∈Ωα(σ)p(σ)<1p+. Assume that a subset Q of Lp(⋅),α(⋅)(Ω) satisfies:
● Q is bounded in Lp(⋅),α(⋅)(Ω);
● For some q∈(0,p−),
limτ→0+supζ∈Q‖∫B(⋅,τ)|ζ(⋅)−ζ(y)|qdν(y)‖Lp(⋅)q,α(⋅)(Ω)=0. |
Then, Q is totally bounded in Lp(⋅),α(⋅)(Ω).
Xu et al. [43] investigated the completeness, total boundedness, and separability in Bochner-Lebesgue spaces with variable exponents, extending the classical theory of compactness to the context of these generalized function spaces.
Theorem 1.2. [43] Let p(⋅)∈P(Rn). Suppose that Ω is a bounded subset of Lp(⋅)(Rn,D). If
● for every κ>0,σ∈Rn,
{∫B(σ,r)φ(α)dα:φ∈Ω}is a totally bounded set in D, |
● average continuity holds uniformly,
limh→0+supφ∈Ω‖Mhφ−φ‖Lp(⋅)(Rn,D)=0, |
and
● convergence at infinity holds uniformly,
limα→∞supφ∈Ω‖φχBcα‖Lp(⋅)(Rn,D)=0, |
where Bcα is the complement of Bα={σ∈Rn:|σ|≤α}. Then Ω is a precompact set in Lp(⋅)(Rn,D).
Morrey spaces play a central role in relating algebraic structures to topological space. They provide for the realization of abstract algebraic structures in concrete terms and are vital to numerous applications across homology and homotopy theory. Haroske et al. [44] presented an updated treatment of Morrey spaces and their derived versions by developing a single framework that reveals their mathematical properties together with their embedding propositions. The analysis of metric measure spaces depends heavily on Morrey spaces for carrying Euclidean results into metric areas as noted in [45]. Variable exponent Morrey spaces provide a refined framework in fluid dynamics research to manage variable regularity disturbances [46]. Relevant research results demonstrated Morrey spaces prove useful for nonlinear PDE studies in [47] because they provide robust solutions for non-linear and degenerate problems. Researchers have shown through [48] that Morrey spaces act as fundamental tools for deriving a priori estimates combined with fine regularity results within elliptic equation regularity theory. Researchers have examined embedding theorems and compactness properties with rigorous detail in [49] because these foundations support many analytical applications. The field of weighted Morrey spaces constitutes an essential extension due to their natural harmonic analysis environment and weighted inequality capabilities according to [50].
Researchers [51] developed the homogeneous grand mixed Herz-Morrey spaces during their study in 2024 and investigated fundamental features of these spaces. The study proved the boundedness property of sublinear and fractional-type operators inside these spaces.
Theorem 1.3. [51] Let 0<θ, 0≤α<∞, and 1<p,qi<∞ for each i=1,2,…,n. Assume that
n∑i=11qi<κ<n(1−1nn∑i=11qi). |
Define the annular region Ak by
Ak:=Bk∖Bk−1, |
where
Bk:={σ∈Rn:|σ|≤2k}. |
Let T denote a sublinear operator satisfying the following conditions:
● ‖Tφ‖L→q(Rn)≤C0‖φ‖L→q(Rn)′;
● For every k∈Z, let φ be a function such that
suppφ⊂Ak,wheresuppφ:=¯{σ∈Rn:φ(σ)≠0}. |
Assume further that |σ|≥2k+1. Then the sublinear operator T satisfies the pointwise estimate:
|Tφ(σ)|≤C1‖φ‖L1(Rn)|σ|n, |
where C1 is a positive constant independent of φ and σ.
● For every k∈Z, a function φ such that suppφ⊂Ak, and |σ|≤2k−2,
|Tφ(σ)|≤C1‖φ‖L1(Rn)2nk. |
Thus, T is bounded on M˙Kκ,p,θ→q,α(Rn).
For further recent results related to function spaces with non-standard growth, we refer the reader to [52,53,54] and the references therein.
This paper contributes significantly to the existing literature by generalizing inequality (1.1) within the framework of function spaces, specifically Orlicz-Zygmund spaces characterized by non-standard growth in the exponents. While this inequality has been studied through various approaches, its formulation in the setting of function spaces with non-standard growth remains novel. Moreover, since the Hermite-Hadamard inequality serves as a refinement of the triangle inequality and the Orlicz-Zygmund space extends the classical Lebesgue space, we address problem (3.11) posed by Peter Hästö [55], which concerns the triangle inequality and the norm structure in mixed Lebesgue spaces. Additionally, we explore several structural properties of Morrey spaces in the Besov sense, which were recently introduced by the authors in [56]. These spaces, owing to their intricate nature, have been scarcely studied in the literature. Our primary motivation for this investigation stems from the foundational works of [42,43,56], which have guided and inspired the present study.
This work is divided into four parts. The first part contains an introduction that presents an overview of the research. In Section 2, we recall basic definitions and known results, such as modular spaces, variable exponent spaces, and their mixed structures. Section 3 introduces our key contributions, which are Hermite-Hadamard-type inequalities in a new setting and several new structural properties of Besov-type Morrey spaces with non-standard growth exponents, and establish completeness, compactness, and separability of the space. Lastly, Section 4 offers the conclusions and possible directions of research based on these results.
Here, we shall review some basic definitions and facts about mixed norm function spaces with variable exponents. Most of the properties related to function spaces can be read in the book [57], and mixed Lebesgue spaces are treated in [56,58].
Variable Lebesgue spaces are classified as semi-modular spaces, which generalize normed spaces. To this end, we will first review some definitions and results related to modular spaces.
Definition 2.1. Let M be a vector space over some field K (real or complex). The mapping ρ:M⟶[0,∞) is said to be semi-modular on M if
● ρ(0)=0;
● ρ(αμ)=ρ(μ) for all μ∈M and α∈K,|α|=1;
● if ρ(αμ)=0 for all α>0, then μ=0;
● function [0,∞)∋α↦ρ(αμ) is left-continuous for every μ∈M;
● function [0,∞)∋α↦ρ(αμ) is non-decreasing for every μ∈M.
If a vector space M has ρ as a semi-modular on it, then the space
Mρ:={μ∈M:∃α>0ρ(αμ)<∞}, |
known as a semi-modular space, is connected to the functional ‖⋅‖ρ:Kρ→[0,∞) and defined as follows:
‖s‖ρ:=inf{α>0:ρ(s/α)≤1} for s∈Kρ. |
Proposition 2.1. Suppose that on vector space M, ρ is a semi-modular. Consequently, for each μ∈M, we have
ρ(μ)≤1⟺‖μ‖ρ≤1. |
Proof. Assume that ρ(μ)≤1. Then, ‖μ‖ρ≤1 is inferred from the definition of the norm ‖⋅‖ρ. Conversely, if we assume that ‖μ‖ρ≤1, then for each α>1 and due to the left continuity of the function, we have
ρ(μ/α)≤1. |
We recall the notion of the variable exponent Lebesgue space. Let Ω be the Lebesgue measurable space associated with Rn, and let p:Ω→(0,∞) be a measurable function, typically defined as follows:
● p−:=essinfσ∈Ωp(σ)=sup{α:p(σ)≥α a.e. σ∈Ω}.
● p+:=esssupσ∈Ωp(σ)=inf{α:p(σ)≤α a.e. σ∈Ω}.
● Ω0:={σ∈Ω:1<p(σ)<∞}=p−1((1,∞)).
● Ω1:={σ∈Ω:p(σ)=1}=p−1(1).
● Ω∞:={σ∈Ω:p(σ)=∞}=p−1(∞).
● the conjugate exponent p′(⋅):
p′(σ):={∞(σ∈Ω1),p(σ)p(σ)−1(σ∈Ω0),1(σ∈Ω∞). |
Namely, 1p(σ)+1p′(σ)=1 always holds for a.e. σ∈Ω. In particular, if p(⋅) equals a constant p, then of course p′(⋅)=p′ is the usual conjugate exponent. The function p′(⋅) does not represent the derivative of p(⋅); rather, it denotes the conjugate exponent of p(⋅). Many examples of exponent functions on the real number set demonstrate variable and constant exponent conditions. The expression p(α)=p serves as an elementary case of a constant exponent function with a fixed real number p. A variable exponent function demonstrates oscillatory behavior based on σ and has an expression of p(α)=2+sin(α). We will refer to any Lebesgue measurable function p:Ω→(0,∞) as a variable exponent, with the condition that p−>0. For the set Ω, P0(Ω) denotes the space of all functions with varying exponents. The notation P(Ω) marks the pack of all varying exponent functions p such that p−≥1. Consider the vector space L0(Ω), which contains all measurable functions over Ω. For p∈P0(Ω), over the space L0(Ω), we define the semi-modular as follows:
ρp(⋅)(φ):=∫ΩΨp(μ)(|φ(μ)|)dμ, |
where
Ψp(σ):={σp,if 0<p<∞,0, if σ≤1,p=∞,∞, if σ>1,p=∞, |
for each σ≥0. This modular space is described by the semi-modular ρp(⋅), which in turn defines the Lp(⋅)(Ω) space as follows:
φ∈Lp(⋅)(Ω)⟺∃α>0ρp(⋅)(αφ)=∫Ωφp(μ)(α|φ(μ)|)dμ<∞. |
The following Luxemburg quasi-norm makes the Lp(⋅)(Ω) space as a quasi-Banach space:
‖φ‖Lp(⋅)(Ω):=inf{α>0:ρp(⋅)(φ/α)≤1} for φ∈Lp(⋅)(Ω). |
Remark 2.1. If p(α)≡p∈(0,∞) is a constant, the space Lp(⋅)(Ω) simplifies to the classical Lebesgue space Lp(Ω). The interaction between the semimodular and quasinorm space presents advanced challenges when studying variable exponent spaces instead of constant exponent spaces. However, for any variable exponent function p∈P(Rn), the fundamental equivalence ρp(⋅)(φ)≤1 iff ‖φ∣Lp(⋅)‖≤1 follows directly from the left-continuity property of the semimodular ρp(⋅). It is essential to emphasize that the function space Lp(⋅) inherently satisfies the lattice property, and φ∈ Lp(⋅) and ‖φ∣Lp(⋅)‖<∞ are equivalent for any φ∈M(Rn) (the class of extended real-valued measurable mappings.
It is the particular case of Musielak-Orlicz space, and whenever p∈P(Ω), then Lp(⋅)(Ω) becomes a Banach space. When the exponent is constant, it reduces to a classical Lebesgue space.
Notably, the definition of Lp(⋅)(Ω) space becomes simpler if p+<∞, so that φ∈Lp(⋅)(Ω) if, and only if,
∫Ω|φ(μ)|p(μ)dμ<∞. |
Certain presumptions on the exponent function p are required for a few claims in this work. Specifically, function p:Ω⟶R is locally log-Hölder continuous on Ω, if there exists clog(p)>0 and for all μ,ν∈Ω, we have
|p(μ)−p(ν)|≤clog(p)log(e+1/|μ−ν|). |
We say that p satisfies the log-Hölder continuous at infinity (or has a log decay at infinity), if there exists p∞∈Ω and a constant clog>0 and for all ν∈Ω, we have
|p(μ)−p∞|≤clog(p)log(e+|μ|). |
If both of the aforementioned criteria are met by the function p, we declare that p is globally log-Hölder continuous Clog(p) on Ω. The corresponding class of functions is defined as follows:
Plog0(Ω):={p∈P0(Ω):1p∈Clog(p)}. |
For the semi-modular ρp(⋅) and the quasi-norm ‖⋅‖Lp(⋅)(Ω), we now formulate several well-known and practical statements.
Proposition 2.2. Let p∈P0(Ω) with p+<∞ and let φ∈Lp(⋅)(Ω). Then,
min{(ρp(⋅)(φ))1p−,(ρp(⋅)(φ))1p+}≤‖φ‖Lp(⋅)(Ω)≤max{(ρp(⋅)(φ))1p−,(ρp(⋅)(φ))1p+}. |
We now recall the definition of Morrey spaces with variable exponents, which serve as a generalization of the classical Morrey spaces.
Definition 2.2. For p,u∈P(Rn) with 0<p−≤ p(α)≤u(α)≤∞, the variable exponent Morrey space Mp(⋅),u(⋅):=Mp(⋅),u(⋅)(Rn) consists of all functions φ∈M(Rn) with a finite quasinorm as follows:
‖φ|Mp(⋅),u(⋅)‖:=supα∈Rn,κ>0κnu(α)−np(α)‖φχB(α,κ)|Lp(⋅)‖. | (2.1) |
By the definition of Lp(⋅), it becomes evident that the expression given in (2.1) can be equivalently reformulated in the following manner:
‖φ∣Mp(⋅),u(⋅)‖=supα∈Rn,κ>0inf{η>0:ρp(⋅)(κnu(α)−np(α)φηχB(α,κ))≤1}. |
Remark 2.2. A study of variable exponent Morrey spaces first appeared in [59] for Euclidean domains while the same concept emerged in [60] as part of the research on quasimetric spaces. Almeida et al. [59] presented embedding results and equivalent norms for bounded domains and proved them under the condition p(α)≥1 while assuming log-Hölder continuity of exponents. A study of Morrey spaces with variable exponents was featured in [61] while in [62], the authors established generalized versions of these spaces. In [63], researchers introduced partition norms that enable researchers to transform local findings into global results for variable exponent Morrey spaces on Rn. Different publications in the field provide multiple definitions although some of those definitions do not fully match each other. The definition employs the quasinorm (2.1) to present the framework which resembles [64] while investigating classical operators on unbounded domains.
Now, we define function spaces that exhibit a mixed convex modular structure, incorporating both sequence-based and integrability properties simultaneously.
Definition 2.3. [55] Let p,q∈P(Rn). The functional of mixed Lebesgue sequence space ℓq(⋅)(Lp(⋅)) is defined on sequences of Lp(⋅), as follows:
ρℓq(⋅)(Lp(⋅))((φj)):=∞∑j≥0inf{α>0:ρp(⋅)(φjα1q(⋅))≤1}. | (2.2) |
A left-continuous semimodular ingredient exists according to the convention α1∞=1 together with its corresponding Luxemburg norm.
‖(φj)|ℓq(⋅)(Lp(⋅))‖=‖(φj)‖ℓq(⋅)(Lp(⋅)):=inf{ν>0:ρℓq(⋅)(Lp(⋅))((φj)/ν)≤1},(φj)∈ℓq(⋅)(Lp(⋅)). | (2.3) |
Under certain assumptions [65], the space ℓq(⋅)(Lp(⋅)) becomes a normed space. When q+ is finite, then Eq (2.2) simplifies into a reduced form as follows:
ρℓq(⋅)(Lp(⋅))((φα)α)=∑α≥0‖|φα|q(⋅)|Lp(⋅)q(⋅)‖. | (2.4) |
Remark 2.3. This formulation establishes a quasinorm in the space ℓq(⋅)(Lp(⋅)) for all p,q∈P(Rn). Furthermore, it guarantees that the functional ‖⋅∣ℓq(⋅)(Lp(⋅))‖ defines a norm under specific conditions: when 1p(α)+ 1q(α)≤1, almost everywhere. More recently, Afzal et al. [65] observed that this also holds for Hadamard inequalities if 1≤ q(α)≤p(α)≤∞. However, unlike the case where q is constant, the expression (2.4) does not necessarily define a norm in terms of the Jensen inequality when min{p−,q−}≥1, as shown in [65], where an example in Theorem 10 demonstrates the failure of the triangle-type Jensen inequality in this scenario.
Now, we re-examine Morrey spaces endowed with a mixed modular structure.
Definition 2.4. [56] Consider exponent functions p,q,u∈P(Rn) such that the condition p(α)≤u(α). The functional of mixed norm Morrey-sequence space ℓq(⋅)(Mp(⋅),u(⋅)) encompass all measurable sequences (φη)η⊂M(Rn), and then one has
ρℓq(⋅)(Mp(⋅),u(⋅))((φη)η):=∑η≥0supα∈Rn,κ>0inf{σ>0:ρp(⋅)(κnu(α)−np(α)φηχB(α,κ)σ1q(⋅))≤1}, |
and the associated Luxemburg norm, typically defined as
‖(φη)η∣ℓq(⋅)(Mp(⋅),u(⋅))‖:=inf{α>0:ρℓq(⋅)(Mp(⋅),u(⋅))(1α(φη)η)≤1}. |
Remark 2.4. It can be shown that the space ℓq(⋅)(Mp(⋅),u(⋅)) constitutes a vector space, as established in [56]. The fact that ℓq(⋅)(Mp(⋅),u(⋅)) is closed under addition follows directly from the proof of the (quasi) triangle inequality for the norm ‖⋅∣ℓq(⋅)(Mp(⋅),u(⋅))‖, as established in Proposition 3.11 and Theorem 3.12.
In the following part, we will present helpful characteristics of the logarithm function as described in [66]. For values of μ,ν that are greater than or equal to 0 and constants A,p that are greater than 1, we will define
log(e+νμ)≤log(e+ν)+log(e+μ),log(e+Aν)≤Alog(e+ν),(ν+μ)plog(e+ν+μ)≤(2ν)plog(e+2ν)+(2μ)plog(e+2μ)≤2p+1νplog(e+ν)+2p+1μplog(e+μ). |
The Zygmund space Lp(⋅)logβL(Ω;Rn), for 1⩽p<∞,β∈R(β⩾0 for p=1), is defined as the Orlicz-Zygmund space LΦ(Ω;Rn) generated by the Young function
Φ(μ)≃μplogβ(e+μ) for every μ≥μ0≥0. |
Therefore, the Orlicz-Zygmund space Lp(⋅)logβL(Ω;Rn) is defined as follows:
Lp(⋅)logβL(Ω;Rn):={ζ:Ω→Rn measurable : ∫Ω|ζ|plogβ(e+|ζ|)dν<∞} |
and it becomes a Banach space with the Luxemburg norm
‖ζ‖Lp(⋅)logβL(Ω;Rn):=inf{α>0:ζΩ|ζα|plogβ(e+|ζα|)dν≤1}. |
Iwaniec and Verde in [67, Theorem 8.1] showed the following estimates:
‖ζ‖Lp(⋅)logβL≤[∫Ω|ζ|log(e+|ζ|‖ζ‖Lp(Ω))dν]1/p≤2‖ζ‖LplogL. |
In [67, Theorem 8.1], they focused solely on β=1 as the exponent of the logarithm. It is evident that their proof holds true for any β≥0. Therefore, we have
‖ζ‖Lp(⋅)logβL≤[∫Ω|ζ|plogβ(e+|ζ|‖ζ‖Lp(Ω))dν]1/p≤2‖ζ‖LplogβL. |
The following Hölder-type inequality is applicable (see, for example, [68]):
‖ζη‖LclogγL≤C(α,β,γ)‖ζ‖LαlogαL‖η‖LβlogβL, |
whenever α,β,γ>1 and α,β,γ∈R.
Building on the previously defined Orlicz-Zygmund space with variable integrability and the concept of Lebesgue sequence spaces, we now introduce a new modular along with its associated norm. These tools will allow for a more refined development of our results. To validate this space, we proceed by examining some of its structural properties.
Definition 3.1. Let p,q∈P(Rn). The {mixed generalized Orlicz-Zygmund sequence space} ℓq(⋅)logβ(Lp(⋅)) consists of sequences (ζj), where each ζj∈Lp(⋅), and is defined via the modular functional:
ρℓq(⋅)logβ(Lp(⋅))((ζj)):=∞∑j=1inf{αj>0:ρp(⋅)(ζjα1/q(⋅)j)logβ(e+|ζj|α1/q(⋅)j)≤1}. |
If we consider the following convention α1∞=1, the norm is defined as follows:
‖(ζj)j‖ℓq(⋅)logβ(Lp(⋅)):=inf{ν>0∣ϱℓq(⋅)logβ(Lp(⋅))(1ν(ζj)j)logβ(e+|ζj|ν)≤1}. |
If q+<∞, then
inf{α>0|ρp(⋅)(ζα1q(⋅)j)logβ(e+|ζ|α1q(⋅))⩽1}=‖|ζ|q(⋅)‖p(⋅)q(⋅). |
If we consider the following convention α1∞=1, the norm is defined as follows:
‖(ζj)j‖ℓq(⋅)logβ(Lp(⋅)):=inf{ν>0∣ρℓq(⋅)logβ(Lp(⋅))(1ν(ζj)j)logβ(e+|ζj|ν)≤1}. |
If q+<∞, then
inf{α>0|ρp(⋅)(ζα1q(⋅)j)logβ(e+|ζ|α1q(⋅))⩽1}=‖|ζ|q(⋅)‖p(⋅)q(⋅). |
Remark 3.1. Zygmund-type spaces are typically defined using expressions of the form:
Φ(t)=tp(log(e+t))β, |
where β∈R and p>1. When β=0, the logarithmic term vanishes, simplifying the expression to
Φ(t)=tp⋅(log(e+t))0=tp. |
This is exactly the Young function used to define the classical Lebesgue space Lp. Hence, it represents a natural generalization of the Lebesgue space.
In the variable exponent setting, where we consider spaces with variable summability and integrability, this generalization extends in a similar manner. Specifically, when β=0, the norm and associated modular in the variable exponent case coincide with Definition 3.1 as presented in [55].
This represents our first key result for the Hermite-Hadamard-type inequality.
Theorem 3.1. Let p,q∈P(Rn) satisfy one of the following conditions:
● p(κ)≥1 and q is a constant function with q≥1 almost everywhere,
● 1≤q(κ)≤p(κ)≤∞ for almost all κ∈Rn, or
● 1p(κ)+1q(κ)≤1 for almost all κ∈Rn.
● β≥0 and Ω=[0,1].
Then, the functional ‖⋅‖ℓq(⋅)logβ(Lp(⋅)) satisfies the Hermite-Hadamard inequalities
‖ην+Ψν2‖ℓq(⋅)logβ(Lp(⋅))≤∫Ω‖(1−σ)ην+σΨν‖ℓq(⋅)logβ(Lp(⋅))dσ≤‖ην‖ℓq(⋅)logβ(Lp(⋅))+‖Ψν‖ℓq(⋅)logβ(Lp(⋅))2. |
Proof. If 1≤p(κ) and q∈[1,∞) are constants, the proof becomes straightforward. In the remaining part, we begin by analyzing two double inequalities under the assumption of variable exponents. Subsequently, we establish that the middle term of the inequality is either equal to or less than its latter component:
‖ην+Ψν2‖ℓq(⋅)logβ(Lp(⋅))≤‖ην‖ℓq(⋅)logβ(Lp(⋅))+‖Ψν‖ℓq(⋅)logβ(Lp(⋅))2. | (3.1) |
For every sequence of measurable functions (ην)∞ν=1 and (Ψν)∞ν=1, let 2α1>0 and 2α2>0 be given such that
ρℓq(⋅)logβ(Lp(⋅))(ην2α1)logβ(e+|ην|2α1)≤1 and ρℓq(⋅)logβ(Lp(⋅))(Ψν2α2)logβ(e+|Ψν|2α2)≤1. |
Our objective now is to demonstrate that
ρℓq(⋅)logβ(Lp(⋅))(ην+Ψν2α1+2α2)logβ(e+|ην+Ψν|2α1+2α2)≤1. |
For every ϵ>0, there exist sequences of positive numbers {ςν}∞ν=1 and {κν}∞ν=1 such that
ρp(⋅)(ην(κ)2α1ς1q(κ)ν)logβ(e+|ην(κ)|2α1ς1q(κ)ν)≤1andρp(⋅)(Ψν(κ)2α2κ1q(κ)ν)logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)≤1, | (3.2) |
along with
∞∑ν=0ςν≤1+ϵ2and also∞∑ν=0κν≤1+ϵ2. |
We define
Aν:=α1ςν+α2κν2α1+2α2,that is,∞∑ν=0Aν≤1+ϵ2. |
We will demonstrate that
ρp(⋅)(ην(κ)+Ψν(κ)(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2))logβ(e+|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2))≤1,∀ν∈N. | (3.3) |
Define the sets
Ω0:={κ∈Rn∣p(κ)<∞} |
and
Ω∞:={κ∈Rn∣p(κ)=∞}. |
Now, for each κ∈Ω0, consider
Hν(κ):=(|ην(κ)|2α1ς1q(κ)ν)p(κ)logβ(e+|ην(κ)|2α1ς1q(κ)ν) |
and
Jν(κ):=(|Ψν(κ)|2α2κ1q(κ)ν)p(κ)logβ(e+|Ψν(κ)|2α2κ1q(κ)ν). |
Then, (3.2) can be rewritten as
∫Ω0Hν(κ)dκ=∫Ψ0(|ην(κ)|2α1ς1q(κ)ν)p(κ)logβ(e+|ην(κ)|2α1ς1q(κ)ν)dκ≤1 |
and
ess−supκ∈Ω∞|ην(κ)|2α1ς1q(κ)νlogβ(e+|ην(κ)|2α1ς1q(κ)ν)≤1. | (3.4) |
Also,
∫Ω0(|Ψν(κ)|2α2κ1q(κ)ν)p(κ)logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)dκ≤1andess−supκ∈Ω∞{|Ψν(κ)|2α2κ1q(κ)νlogβ(e+|Ψν(κ)|2α2κ1q(κ)ν)}≤1. | (3.5) |
Our aim is to establish (3.3), that is,
∫Ω0(|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2))p(κ)logβ(e+|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2))dκ≤1andess−supκ∈Ω∞{|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2)logβ(e+|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2))}≤1. | (3.6) |
We begin by proving the second part of (3.6). Initially, we note that (3.2) together with (???) and (3.5) leads to
|ην(κ)|2≤α1ς1q(κ)νlogβ(e+|ην(κ)|2α1ς1q(κ)ν) and |Ψν(κ)|2≤α2κ1q(κ)νlogβ(e+|Ψν(κ)|2α2κ1q(κ)ν), |
which are valid for almost all κ∈Ω∞. Applying q(κ)≥1 and utilizing Hölder's inequality in the form
(α1ς1q(κ)ν+α2κ1q(κ)ν2α1+2α2)[logβ(e+|ην(κ)|2α1ς1q(κ)ν)+logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)]≤(α1ςν+α2κν2α1+2α2)1q(κ)logβ(e+|ην(κ)+Ψν(κ)|(2α1+2α2)1q(κ)), |
we get
|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2)logβ(e+|ην(κ)+Ψν(κ)|(2α1+2α2)1q(κ))≤1. |
Now, we proceed to confirm the first relation in (3.6). Let 1≤q(κ)≤p(κ)<∞ for every κ∈Ω0. We then apply Hölder's inequality as follows:
((|ην(κ)|2α1ς1q(κ)ν)p(κ))1p(κ)ς1q(κ)ν2α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)+((|Ψν(κ)|2α2κ1q(κ)ν)p(κ))1p(κ)κ1q(κ)ν2α2logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)≤(2α1+2α2)1−1q(κ)(2α1ςν+2α2κν)1q(κ)−1p(κ)×(((|ην(κ)|2α1ς1q(κ)ν)p(κ))ςν2α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)+((|Ψν(κ)|2α2κ1q(κ)ν)p(κ))κν2α2logβ(e+|Ψν(κ)|2α2ς1q(κ)ν))1p(κ). | (3.7) |
If 1p(κ)≤1−1q(κ) holds almost everywhere for every κ∈Ω0, then we substitute (3.7) with
((|ην(κ)|2α1ς1q(κ)ν)p(κ))1p(κ)ς1q(κ)ν2α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)+((|Ψν(κ)|2α2κ1q(κ)ν)p(κ))1p(κ)κ1q(κ)ν2α2logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)≤(2α1+2α2)1−1p(κ)−1q(κ)(2α1ςν+2α2κν)1q(κ)×(((|ην(κ)|2α1ς1q(κ)ν)p(κ))α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)+((|Ψν(κ)|2α2κ1q(κ)ν)p(κ))α2logβ(e+|Ψν(κ)|2α2κ1q(κ)ν))1p(κ). |
Utilizing (3.7), we can proceed as follows:
∫Ω0(|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2))p(κ)logβ(e+|ην(κ)+Ψν(κ)|(2α1+2α2)1q(κ))dκ≤∫Ω0(((|ην(κ)|2α1ς1q(κ)ν)p(κ))1p(κ)ς1q(κ)ν2α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)+((|Ψν(κ)|2α2κ1q(κ)ν)p(κ))1p(κ)κ1q(κ)ν2α2logβ(e+|Ψν(κ)|2α2ς1q(κ)ν)2α1+2α2)p(κ)⋅(2α1ςν+2α2κν2α1+2α2)−p(κ)q(κ)dκ≤∫Ω0((|ην(κ)|2α1ς1q(κ)ν)p(κ))ςν2α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)+((|Ψν(κ)|2α2κ1q(κ)ν)p(κ))κν2α2logβ(e+|Ψν(κ)|2α2ς1q(κ)ν)2α1ςν+2α2κνdκ≤2α1ςν2α1ςν+2α2κν∫Ω0((|ην(κ)|2α1ς1q(κ)ν)p(κ))logβ(e+|ην(κ)|2α1ς1q(κ)ν)dκ+2α2κν2α1ςν+2α2κν∫Ω0((|Ψν(κ)|2α2κ1q(κ)ν)p(κ))logβ(e+|Ψν(κ)|2α2ς1q(κ)ν)dκ≤1, | (3.8) |
where we also applied (3.4) and (3.5). Alternatively, if we begin with (3.8), we proceed as follows:
∫Ω0(|ην(κ)+Ψν(κ)|(α1ςν+α2κν2α1+2α2)1q(κ)(2α1+2α2))p(κ)×logβ(e+|ην(κ)+Ψν(κ)|(2α1+2α2)1q(κ))dκ=∫Ω0((|ην(κ)|2α1ς1q(κ)ν)ς1q(κ)ν2α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)2α1+2α2(α1ςν+α2κνα1+α2)−p(κ)q(κ)+(|Ψν(κ)|2α2κ1q(κ)ν)κ1q(κ)ν2α2logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)2α1+2α2(α1ςν+α2κνα1+α2)−p(κ)q(κ))p(κ)dκ≤∫Ω0(|ην(κ)|2α1ς1q(κ)ν)p(κ)2α1logβ(e+|ην(κ)|2α1ς1q(κ)ν)2α1+2α2dκ+∫Ω0(|Ψν(κ)|2α2κ1q(κ)ν)p(κ)2α2logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)2α1+2α2dκ=2α12α1+2α2∫Ω0(|ην(κ)|2α1ς1q(κ)ν)p(κ)logβ(e+|ην(κ)|2α1ς1q(κ)ν)dκ+2α22α1+2α2∫Ω0(|Ψν(κ)|2α2κ1q(κ)ν)p(κ)logβ(e+|Ψν(κ)|2α2κ1q(κ)ν)dκ≤1. | (3.9) |
Thus, the proof of (3.1) is complete in both cases. Next, we examine the intermediate term and demonstrate that it is at most equal to the final component of the inequality. Now, let us consider
(3.10) |
Considering Eqs (3.9) and (3.8), we derive the desired result.
Remark 3.2. ● If we set , , and , then we obtain inequality (1.3) as presented by Dragomir in [15].
● If we consider , , and the equality of the essential supremum and essential infimum, then it refines the double inequality given in [69, p. 51].
● If we consider , then this resolves the open problem 3.11 presented in [55, p. 11].
Remark 3.3. As is well known, function spaces characterized by summability and integrability with variable exponents provide a more general framework than both the variable Lebesgue spaces of integrability and variable sequence spaces. These spaces naturally unify the structural features of both, with the variable Lebesgue space emerging as a special case. In [70], the authors show on page 15 that when the variable exponent is taken to be constant, the space reduces to the classical Lebesgue space. Additionally, in [15], related results were developed within the setting of classical Lebesgue spaces. Building upon these foundations, our work offers a natural and substantial generalization of these results within a more comprehensive modular framework.
Note: As explicitly stated, we adopt the same approach as the authors in [55] when dealing with the iterated function space in the proof of Theorem 3.6, where one of the exponents in the sequence space is assumed to be constant. In that context, we apply the Hölder conjugacy condition
which is precisely the same strategy employed when proving the Hermite-Hadamard-type result presented in this paper.
The primary objective of this section is to explore various new structural properties of Besov-type Morrey spaces, as established by the authors in [56].
First, we demonstrate that this modular space is a quasi-Banach space.
Theorem 3.2. If with , then is a quasi-Banach space.
Proof. To establish that is a quasi-Banach space, we first prove that it is a quasi-normed space. By Definition 2.4, we just need to consider quasi-convexity. Let and define and . Then clearly . Thus we have
which concludes the proof. The next step is to establish the completeness of the space. For this purpose, we fix a Cauchy sequence in . Hence, for any , there exists such that for all , we have
By the quasi-norm's definition,
and hence
In particular, for each , we have
Hence, by the definition of the Morrey space of integrability , we get
Thus, passing with , we get . Thus, we demonstrated that for each is a Cauchy sequence in . Thus, for every , there exists such that
Now, we shall prove that
(3.11) |
where . For this purpose, we require the following:
(3.12) |
In order to prove (3.12), we introduce the following notation:
Let be a subsequence such that
Hence, for each , there exists such that for all , one has
Thus,
Next, we apply the Fatou lemma and the fundamental characteristics of the norm, and we obtain
Hence,
Finally, applying , we obtain (3.12). Now, we can prove (3.11). Since is a Cauchy sequence in , for , we have
Therefore, by (3.12), for each and , we have
Then, passing , we obtain
Remark 3.4. If we take , the results reduce to the completeness of mixed Lebesgue spaces . Additionally, choosing and refines Theorem 2.71 concerning the completeness of variable Lebesgue spaces of integrability in [70]. On the other hand, if we only set , it provides a refinement of the integrability Morrey space in the variable exponent setting.
The following result establishes that the mixed-norm space is separable when the exponents satisfy .
Theorem 3.3. If and , then is separable.
Proof. For each , we define
It is clear that represents a closed subset of and
We divide the proof into two parts. First, we show that for each , the space is separable. Since , we know that is separable. Therefore, there exists a countable subset of , say , such that . Set
Obviously, is countable, so it is enough to show that . Let us fix and . Then, there exists such that for , we have
Then, we have
and we obtain
Therefore,
Now, we have to show that
To prove it, we let , and then
where . Therefore, for every , such that
Thus, we obtain
(3.13) |
On the other hand, we have
(3.14) |
Thanks to (3.14), we have
(3.15) |
Then in view of (3.13), we have
(3.16) |
Finally, let us define
It is clear that , and by (3.16), we obtain , which is the desired result.
Remark 3.5. If we set , the results simplify to the separability of mixed Lebesgue spaces . Furthermore, choosing and enhances the separability of variable Lebesgue spaces of integrability, as discussed in [70]. Conversely, setting only leads to a refinement of the separability of Morrey space within the variable exponent framework. Moreover, if are constant, all these results reduce to the classical sense of Lebesgue and Morrey spaces.
Proposition 3.1. Let and let . If for each , then
Proof. It suffices to show that
(3.17) |
Suppose that is such that
Let us fix and let be such that
Due to the assumption that , we get
Therefore,
(3.18) |
Finally, it easily follows that
and this concludes the proof.
Lemma 3.1. Assume that with . Then, for every , we have
Proof. Suppose , and we define the sequence in such a way that . Then, for each we have , and as sequences preserve their order, it follows that
Finally, by the Proposition 3.1, we get
and the proof follows.
Theorem 3.4. Let and , and suppose that . Then the set is precompact (i.e., totally bounded) in if and only if the following conditions are satisfied:
is bounded in .
For every , there exists such that for all ,
For all and , we have
For all , we have
Proof. First of all, we shall show the sufficiency of conditions –. The space is a quasi-Banach space, so it suffices to establish that the sequence has a convergent subsequence.
For every , the sequence is bounded in . By condition , there exists such that
Fixing , we apply Lemma 3.1 to deduce that
This confirms that the sequence is bounded in . Finally, for a fixed , we define
Since the sets are closed and bounded in , we apply the Cantor diagonal argument. Consequently, there exist a strictly increasing sequence and a sequence of measurable functions such that for every , we have
Let , and we shall prove that
We denote by . Fixing , it suffices to show that
for sufficiently large . From , there exists such that
(3.19) |
Subsequently, we can split the modular as follows:
(3.20) |
Next, applying the triangle inequality for , along with Lemma 3.1, Fatou's lemma for the counting measure, and Eq (3.19), we obtain
Therefore, for each , we have
(3.21) |
Additionally, we assert that for any , we also have
And for some specific , and , we arrive at
(3.22) |
Since in , for sufficiently big , we have
(3.23) |
which proves that
According to Eq (3.21), for sufficiently large , we have
which indicate that in and it proves that the family of measurable functions is bounded. Then we will prove that conditions – are necessary, assuming is totally bounded. Since is evident, we shift our focus to . Let us set and define
where the constant is once more used for the triangle inequality . According to our assumptions, there exists , such that
where are open balls in .
Since , there exists such that
for . Let , and then , such that
If we consider the unit ball property, then it follows that
Finally, the triangle inequality yields
and this establishes . To verify the validity of conditions and , let us consider and analyze Lemma 3.1. From this, it follows that
which is valid for each . As a result, the projective map
is defined as follows:
As is a quasi-Banach space, it is closed and bounded subset of , which is equivalent to its precompactness. Following that, the continuous image of the projective map is defined as
which is precompact in , and the proof is complete.
The results of Theorem 3.4 show that if instead of , the assumptions – imply the closedness and boundedness. As a result, the theorem holds true.
Remark 3.6. Theorem 3.4 provides a refinement of Theorem 3.1 presented in [71], which pertains to the integrability of variable Lebesgue spaces on metric measure spaces.
In this paper, we introduced a novel norm structure and a corresponding modular framework for Orlicz-Zygmund spaces characterized by non-standard growth exponents. This foundation opens the door for deeper exploration of such spaces within the landscape of modern functional analysis. A key contribution of our work is the formulation of the Hermite-Hadamard inequalities in this setting, offering a refined extension of classical triangular-type inequalities. Additionally, we investigated the intricate structure of Besov-type Morrey spaces, where summability and integrability are interwoven through a modular approach. Given the limited existing literature on these spaces, our results significantly advance the understanding of their fundamental properties.
The innovation embedded in these newly defined spaces offers substantial opportunities for future research. Potential directions include the analysis of bounded linear operators, embedding of theorems into classical and modular function spaces, and the reinterpretation of classical inequalities under this new mathematical lens. Properties such as uniform convexity, the topological framework, and the Kadec-Klee property deserve particular attention, as they are pivotal to the functional characteristics of these spaces. A more detailed examination of the norm's complex structure may also yield powerful tools for advanced analytical techniques. Furthermore, the application of these spaces in the study of partial differential equations (PDEs) and variational problems, particularly those modeling non-homogeneous or anisotropic media, is of significant interest, with implications for fields such as fluid dynamics and image processing. Continued research into embeddings, duality principles, and compactness criteria could provide new insights in harmonic analysis and potential theory. Finally, the extension of these ideas to fractional and nonlocal operators promises to enrich the theoretical foundation of inequalities and broaden their applicability across mathematical physics and applied analysis.
Waqar Afzal and Mujahid Abbas: Conceptualization, Methodology, Validation, Formal analysis, Investigation, Writing–original draft preparation, Writing–review and editing, Visualization; Najla M. Aloraini and Jongsuk Ro: Funding acquisition. All authors have read and agreed to the published version of the manuscript.
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
This work was supported by the Korea Institute of Energy Technology Evaluation and Planning (KETEP) and the Ministry of Trade, Industry & Energy (MOTIE) of the Republic of Korea (No. 20214000000280).
The authors declare no conflicts of interest.
[1] |
Q. Z. Wang, N. N. Wang, M. L. Tseng, Y. M. Huang, N. L. Li, Waste tire recycling assessment: Road application potential and carbon emissions reduction analysis of crumb rubber modified asphalt in China, J. Clean. Prod., 249 (2020), 119411. https://doi.org/10.1016/j.jclepro.2019.119411 doi: 10.1016/j.jclepro.2019.119411
![]() |
[2] |
T. Ma, H. Wang, L. He, Y. Zhao, X. Huang, J. Chen, Property characterization of asphalt binders and mixtures modified by different crumb rubbers, J. Mater. Civ. Eng., 29 (2017), 04017036. https://doi.org/10.1061/(asce)mt.1943-5533.0001890 doi: 10.1061/(asce)mt.1943-5533.0001890
![]() |
[3] |
X. Ding, L. Chen, T. Ma, H. Ma, L. Gu, T. Chen, et al., Laboratory investigation of the recycled asphalt concrete with stable crumb rubber asphalt binder, Constr. Build. Mater., 203 (2019), 552–557. https://doi.org/10.1016/j.conbuildmat.2019.01.114 doi: 10.1016/j.conbuildmat.2019.01.114
![]() |
[4] |
F. Chen, J. Qian, Studies of the thermal degradation of waste rubber, Waste Manage., (2003), 463–467. https://doi.org/10.1016/S0956-053X(03)00090-4 doi: 10.1016/S0956-053X(03)00090-4
![]() |
[5] |
Y. Zhu, G. Xu, T. Ma, J. Fan, S. Li, Performances of rubber asphalt with middle/high content of waste tire crumb rubber, Constr. Build. Mater., 335 (2022), 127488. https://doi.org/10.1016/j.conbuildmat.2022.127488 doi: 10.1016/j.conbuildmat.2022.127488
![]() |
[6] |
J. Li, M. Saberian, B. T. Nguyen, Effect of crumb rubber on the mechanical properties of crushed recycled pavement materials, J. Environ. Manage., 218 (2018), 291–299. https://doi.org/10.1016/j.jenvman.2018.04.062 doi: 10.1016/j.jenvman.2018.04.062
![]() |
[7] |
B. Świeczko-Żurek, P. Jaskula, J. A. Ejsmont, A. Kędzierska, P. Czajkowski, Rolling resistance and tyre/road noise on rubberised asphalt pavement in Poland, Road Mater. Pavement Des., 18 (2017), 151–167. https://doi.org/10.1080/14680629.2016.1159245 doi: 10.1080/14680629.2016.1159245
![]() |
[8] |
F. J. Navarro, P. Partal, F. Martínez-Boza, C. Gallegos, Thermo-rheological behaviour and storage stability of ground tire rubber-modified bitumens, Fuel, (2004), 2041–2049. https://doi.org/10.1016/j.fuel.2004.04.003 doi: 10.1016/j.fuel.2004.04.003
![]() |
[9] |
I. Gawel, R. Stepkowski, F. Czechowski, Molecular interactions between rubber and asphalt, Ind. Eng. Chem. Res., 45 (2006), 3044–3049. https://doi.org/10.1021/ie050905r doi: 10.1021/ie050905r
![]() |
[10] |
H. Xue, Y. Cao, Q. Liu, H. Zhang, M. Zhang, Stability evaluation and mechanism of asphalts modified with various rubber powder contents, Front. Mater., 7 (2021), 622479. https://doi.org/10.3389/fmats.2020.622479 doi: 10.3389/fmats.2020.622479
![]() |
[11] |
P. Kong, G. Xu, J. Yang, X. Chen, Y. Zhu, Study on storage stability of activated reclaimed rubber powder modified asphalt, Materials (Basel), 14 (2021), 4684–4684. https://doi.org/10.3390/ma14164684 doi: 10.3390/ma14164684
![]() |
[12] |
R. Wang, Y. Xiong, M. Yue, M. Hao, J. Yue, Investigating the effectiveness of carbon nanomaterials on asphalt binders from hot storage stability, thermodynamics, and mechanism perspectives, J. Clean. Prod., 276 (2020), 124180. https://doi.org/10.1016/j.jclepro.2020.124180 doi: 10.1016/j.jclepro.2020.124180
![]() |
[13] |
Y. Chen, Q. Wang, Z. Li, S. Ding, Rhysiological properties of graphene nanoplatelets/rubber crowd composite modified asphalt, Constr. Build. Mater., 261 (2020), 120505. https://doi.org/10.1016/j.conbuildmat.2020.120505 doi: 10.1016/j.conbuildmat.2020.120505
![]() |
[14] |
X. Li, Y. M. Wang, Y. L. Wu, H. R. Wang, M. Chen, H. D. Sun, et al., Properties and modification mechanism of asphalt with graphene as modifier, Constr. Build. Mater., 272 (2021), 121919. https://doi.org/10.1016/j.conbuildmat.2020.121919 doi: 10.1016/j.conbuildmat.2020.121919
![]() |
[15] |
B. B. Singh, F. Mohanty, S. S. Das, S. K. Swain, Graphene sandwiched crumb rubber dispersed hot mix asphalt, J. Traffic Transp. Eng. (English Ed., 7 (2020), 652–667. https://doi.org/10.1016/j.jtte.2019.02.003 doi: 10.1016/j.jtte.2019.02.003
![]() |
[16] |
Y. Meng, H. Guo, R. Xu, R. Zhang, C. Ma, Rheological and microscopic properties of graphene rubber composite modified asphalt, Jianzhu Cailiao Xuebao/Journal Build. Mater., 23 (2020), 1246–1251. https://doi.org/10.3969/j.issn.1007-9629.2020.05.034 doi: 10.3969/j.issn.1007-9629.2020.05.034
![]() |
[17] |
J. Liu, P. Hao, Z. Dou, J. Wang, L. Ma, Rheological, healing and microstructural properties of unmodified and crumb rubber modified asphalt incorporated with graphene/carbon black composite, Constr. Build. Mater., 305 (2021), 124512. https://doi.org/10.1016/j.conbuildmat.2021.124512 doi: 10.1016/j.conbuildmat.2021.124512
![]() |
[18] |
A. C. Ferrari, J. C. Meyer, V. Scardaci, C. Casiraghi, M. Lazzeri, F. Mauri, et al., Raman spectrum of graphene and graphene layers, Phys. Rev. Lett., 97 (2006), 187401. https://doi.org/10.1103/PhysRevLett.97.187401 doi: 10.1103/PhysRevLett.97.187401
![]() |
[19] |
S. K. Tiwari, S. Sahoo, N. Wang, A. Huczko, Graphene research and their outputs: Status and prospect, J. Sci. Adv. Mater. Devices., 5 (2020), 10–29. https://doi.org/10.1016/j.jsamd.2020.01.006 doi: 10.1016/j.jsamd.2020.01.006
![]() |
[20] |
Y. B. Xie, M. R. Huang, X. G. Li, Review: Layer-number controllable preparation of high-quality graphene for wide applications, J. Harbin Inst. Technol. (New Ser., 27 (2020), 136–157. https://doi.org/10.11916/j.issn.1005-9113.20003 doi: 10.11916/j.issn.1005-9113.20003
![]() |
[21] |
A. A. MOOSA, M. S. ABED, Graphene preparation and graphite exfoliation, Turkish J. Chem., 45 (2021), 493–519. https://doi.org/10.3906/kim-2101-19 doi: 10.3906/kim-2101-19
![]() |
[22] |
K. Vollmayr-Lee, Introduction to molecular dynamics simulations, Am. J. Phys., 88 (2020), 401–422. https://doi.org/10.1119/10.0000654 doi: 10.1119/10.0000654
![]() |
[23] |
F. Guo, J. Zhang, J. Pei, B. Zhou, Z. Hu, Study on the mechanical properties of rubber asphalt by molecular dynamics simulation, J. Mol. Model., 25 (2019), 365. https://doi.org/10.1007/s00894-019-4250-x doi: 10.1007/s00894-019-4250-x
![]() |
[24] |
Y. Chen, Q. Wang, Z. Li, S. Ding, Rhysiological properties of graphene nanoplatelets/rubber crowd composite modified asphalt, Constr. Build. Mater., 261 (2020), 120505. https://doi.org/10.1016/j.conbuildmat.2020.12050-5 doi: 10.1016/j.conbuildmat.2020.12050-5
![]() |
[25] |
Y. Wen, Q. Liu, L. Chen, J. Pei, J. Zhang, R. Li, Review and comparison of methods to assess the storage stability of terminal blend rubberized asphalt binders, Constr. Build. Mater., 258 (2020), 119586. https://doi.org/10.1016/j.conbuildmat.2020.119586 doi: 10.1016/j.conbuildmat.2020.119586
![]() |
[26] |
G. Polacco, S. Filippi, F. Merusi, G. Stastna, A review of the fundamentals of polymer-modified asphalts: Asphalt/polymer interactions and principles of compatibility, Adv. Colloid Interface Sci., 224 (2015), 72112. https://doi.org/10.1016/j.cis.2015.07.010 doi: 10.1016/j.cis.2015.07.010
![]() |
[27] |
M. Ragab, M. Abdelrahman, Enhancing the crumb rubber modified asphalt's storage stability through the control of its internal network structure, Int. J. Pavement Res. Technol., 11 (2018), 13–27. https://doi.org/10.1016/j.ijprt.2017.08.003 doi: 10.1016/j.ijprt.2017.08.003
![]() |
[28] |
D. D. Li, M. L. Greenfield, Chemical compositions of improved model asphalt systems for molecular simulations, Fuel, 115 (2014), 347–356. https://doi.org/10.1016/j.fuel.2013.07.012 doi: 10.1016/j.fuel.2013.07.012
![]() |
[29] |
G. Xu, H. Wang, Molecular dynamics study of oxidative aging effect on asphalt binder properties, Fuel, 188 (2017), 1–10. https://doi.org/10.1016/j.fuel.2016.10.021 doi: 10.1016/j.fuel.2016.10.021
![]() |
[30] |
Y. Lan, D. Li, R. Yang, W. Liang, L. Zhou, Z. Chen, Computer simulation study on the compatibility of cyclotriphosphazene containing aminopropylsilicone functional group in flame retarded polypropylene/ammonium polyphosphate composites, Compos. Sci. Technol., 88 (2013), 9–15. https://doi.org/10.1016/j.compscitech.2013.08.026 doi: 10.1016/j.compscitech.2013.08.026
![]() |
[31] |
H. Wang, Z. You, J. Mills-Beale, P. Hao, Laboratory evaluation on high temperature viscosity and low temperature stiffness of asphalt binder with high percent scrap tire rubber, Constr. Build. Mater., 26 (2012), 583–590. https://doi.org/10.1016/j.conbuildmat.2011.06.061 doi: 10.1016/j.conbuildmat.2011.06.061
![]() |
[32] |
Y. Qiao, W. Sheng, C. He, C. Liu, Z. Rao, Experimental study on the effect of different surfactants on the thermophysical properties of graphene filled nanofluids, Int. J. Energy Res., 45 (2021), 10043–10063. https://doi.org/10.1002/er.6497 doi: 10.1002/er.6497
![]() |
[33] |
Y. Meng, H. Guo, R. Xu, L. Liu, Study on the properties of graphene modified rubber asphalt under the effect of thermal aging, Gongneng Cailiao/Journal Funct. Mater., 51 (2020), 08001–08006. https://doi.org/10.3969/j.issn.1001-9731.2020.08.001 doi: 10.3969/j.issn.1001-9731.2020.08.001
![]() |
[34] |
S. D. Christian, Regular and related solutions: The solubility of gases, liquids, and solids(Hildebrand, Joel H; Prausnitz, John M.), J. Chem. Educ., 48 (1971), 562–A562. https://doi.org/10.1021/ed048pa562.1 doi: 10.1021/ed048pa562.1
![]() |
[35] |
Z. Long, L. You, X. Tang, W. Ma, Y. Ding, F. Xu, Analysis of interfacial adhesion properties of nano-silica modified asphalt mixtures using molecular dynamics simulation, Constr. Build. Mater., 255 (2020), 119354. https://doi.org/10.1016/j.conbuildmat.2020.119354 doi: 10.1016/j.conbuildmat.2020.119354
![]() |
[36] |
C. Li, S. Fan, T. Xu, Method for evaluating compatibility between SBS modifier and asphalt matrix using molecular dynamics models, J. Mater. Civ. Eng., 33 (2021), 4021207. https://doi.org/10.1061/(asce)mt.1943-5533.0003863 doi: 10.1061/(asce)mt.1943-5533.0003863
![]() |
[37] |
R. Yu, C. Fang, P. Liu, X. Liu, Y. Li, Storage stability and rheological properties of asphalt modified with waste packaging polyethylene and organic montmorillonite, Appl. Clay Sci., 104 (2015), 1–7. https://doi.org/10.1016/j.clay.2014.11.033 doi: 10.1016/j.clay.2014.11.033
![]() |
[38] |
A. H. Abed, H. U. Bahia, Enhancement of permanent deformation resistance of modified asphalt concrete mixtures with nano-high density polyethylene, Constr. Build. Mater., 236 (2020), 117604–117604. https://doi.org/10.1016/j.conbuildmat.2019.117604 doi: 10.1016/j.conbuildmat.2019.117604
![]() |
[39] |
C. Yu, K. Hu, Q. Yang, D. Wang, W. Zhang, G. Chen, et al., Analysis of the storage stability property of carbon nanotube/recycled polyethylene-modified asphalt using molecular dynamics simulations, Polymers (Basel), 13 (2021), 1658–1658. https://doi.org/10.3390/polym13101658 doi: 10.3390/polym13101658
![]() |
[40] |
Q. Zeng, Y. Liu, Q. Liu, P. Liu, Y. He, Y. Zeng, Preparation and modification mechanism analysis of graphene oxide modified asphalts, Constr. Build. Mater., 238 (2020), 117706. https://doi.org/10.1016/j.conbuildmat.2019.117706 doi: 10.1016/j.conbuildmat.2019.117706
![]() |
[41] |
X. Zhang, G. Huang, C. Zhou, X. Yuan, J. He, M. Feng, et al., Research status of graphene material in fields of asphalt composites, Zhongnan Daxue Xuebao (Ziran Kexue Ban)/Journal Cent. South Univ. (Science Technol., 50 (2019), 1637–1644. https://doi.org/10.11817/j.issn.1672-7207.2019.07.017 doi: 10.11817/j.issn.1672-7207.2019.07.017
![]() |
[42] |
L. Gong, R. J. Young, I. A. Kinloch, I. Riaz, R. Jalil, K. S. Novoselov, Optimizing the reinforcement of polymer-based nanocomposites by graphene, ACS Nano., 6 (2012), 2086–2095. https://doi.org/10.1021/nn203917d doi: 10.1021/nn203917d
![]() |
[43] |
Y. Q. Tan, G. N. Li, L. Y. Shan, H. J. Lyu, A. X. Meng, Research progress of bitumen microstructures and components, Jiaotong Yunshu Gongcheng Xuebao/J. Traffic Transp. Eng., 20 (2020). https://doi.org/10.19818/j.cnki.1671-1637.2020.06.001 doi: 10.19818/j.cnki.1671-1637.2020.06.001
![]() |
1. | 学海 杨, Research on Control of the Cucker-Smale System, 2024, 13, 2325-2286, 646, 10.12677/sea.2024.135066 |