Abstract
In the present note, we discuss the boundedness of maximal and Riesz potential operators in double-phase Lorentz spaces of variable exponents defined by a symmetric decreasing rearrangement in the sense of Almut [1].
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1. Introduction
Recently, the study of double phase problems is very active in the field of Harmonic Analysis, Variable Exponent Analysis and PDE’s. The double phase functional was introduced by Zhikov [2]. Regarding regularity theory of differential equations, Mingione and collaborators [3]–[5] investigated a double phase functional
where \(1 < p < q\), \(a\) is nonnegative, bounded and Hölder continuous of order \(\theta \in (0,1]\). Regularity properties for general functionals was studied, under the condition \(q \le (1 + \theta/N)p\), in [6]. We refer to, e.g., [7] and [8] for Calderón-Zygmund estimates, [9] for the eigenvalue problem, and [10] for the boundedness of the maximal operator.
In [11], relaxing the continuity of \(a(\cdot)\), we considered the double phase functional
where \(p, q\) are log-Hölder continuous and \(b\) is nonnegative, bounded and Hölder continuous of order \(\theta \in (0,1]\). We showed the boundedness of the maximal operator and Sobolev’s inequality for double phase functionals with variable exponents. See also [12]. For other recent works, see [13], [16], etc.
Let \(B(x,r)\) denote the open ball centered at \(x\) of radius \(r > 0\). The volume of a measurable set \(E \subset {\mathbf R}^N\) is written as \(|E|\).
For a measurable function \(f\) on \({\mathbf R}^N\), we define the symmetric decreasing rearrangement of \(f\) by
where \(E^\star = \{x : |B(0,|x|)| < |E|\}\) and \(E_f(t) = \{y:|f(y)| > t\}\) (see [1]). Note here that
where \(f^*\) is the usual decreasing rearrangement of \(f\). The fundamental fact of the symmetric decreasing rearrangement of \(f\) is that
for all \(t \ge 0\). This readily gives the rearrangement preserving \(L^p\)-norm property such as
for \(1 \le p \le \infty\). For fundamental properties of the symmetric decreasing rearrangement, see Almut [1]. We also refer to his papers [17], [18] and [19, Chap. 4].
For variable exponents \(p\) and \(s\), the Lorentz space \(\mathcal{L}^{s,p}({\mathbf R}^N)\) is defined as the set of all measurable functions \(f\) on \({\mathbf R}^N\) with
See the paper by Ephremidze, Kokilashvili and Samko [20] when \(p\) and \(q\) are radial. In [21], the boundedness of the maximal operator and Sobolev’s inequality in the Lorentz space of variable exponents were studied.
Our first aim in this note is to establish the boundedness of the maximal operator in double-phase Lorentz spaces of variable exponents (Theorem 3 and Corollary 3), as an extension of [21]. We also give Sobolev’s inequality in double-phase Lorentz spaces of variable exponents (Theorem 4 and Corollary 4).
Throughout this paper, let \(C\) denote various constants independent of the variables in question.
2. Symmetric Decreasing Rearrangement and Lorentz Spaces of Variable Exponents
The (centered) maximal function \(Mf\) of a measurable function \(f\) on \({\mathbf R}^N\) is defined by
Lemma 1 [21, Lemma 2.2].
For all measurable functions \(f\) on \({\mathbf R}^N\) ,
where \(C\) is a positive constant independent of \(f\) .
For \(f \in L^1_{loc}({\mathbf R}^N)\), we define the Riesz potential of order \(\alpha\) \((0<\alpha<N)\) by
Lemma 2 [21, Lemma 2.4].
For all nonnegative measurable functions \(f\) on \({\mathbf R}^N\) ,
where \(C\) is a positive constant independent of \(f\) .
For the fundamental properties of symmetric decreasing rearrangements, see Almut [1].
A function \(p\) on \({\mathbf R}^N\) is said to be log-Hölder continuous if
-
(P1)
\(p\) is locally log-Hölder continuous, namely,
$$|p(x) - p(y)| \le \frac{C_0}{\log (1/|x-y|)} \qquad \text{for} \quad |x-y| \le \frac{1}{e}$$with a constant \(C_0 \ge 0\);
-
(P2)
\(p\) is log-Hölder continuous at infinity, namely,
$$|p(x) - p(\infty)| \le \frac{C_{\infty}}{\log (e+|x|)}$$with constants \(C_\infty \ge 0\) and \(p(\infty)\).
Let \(\mathcal{P}({\mathbf R}^N)\) be the class of all log-Hölder continuous functions \(p\) on \({\mathbf R}^N\). If in addition \(p\) satisfies
-
(P3)
\(1 < p^- := \inf_{x\in {\mathbf R}^N} p(x) \le \sup_{x\in {\mathbf R}^N} p(x) =: p^+ < \infty\),
then we write \(p \in \mathcal{P}_1({\mathbf R}^N)\).
Definition 1.
For \(p \in \mathcal{P}_1({\mathbf R}^N)\) and \(\tau \in \mathcal{P}({\mathbf R}^N)\), \(L^{\tau,p}({\mathbf R}^N)\) denotes the weighted \(L^{p(\cdot)}\) space of all functions \(f\) with
We write \(L^{0,p}({\mathbf R}^N) = L^{p(\cdot)}({\mathbf R}^N)\) and
Definition 2.
For \(s, p \in \mathcal{P}_1({\mathbf R}^N)\), denote by \(\mathcal{L}^{s,p}({\mathbf R}^N)\) the set of all measurable functions \(f\) such that
3. The Boundedness of Maximal and Potential Operators in Lorentz Spaces of Variable Exponents
We know the following boundedness of the maximal operator in the weighted \(L^{p(\cdot)}\) space, which is an extension of Diening [22] and Cruz-Uribe, Fiorenza and Neugebauer [23].
Theorem 1 [21, Theorem 4.1].
Let \(p \in \mathcal{P}_1({\mathbf R}^N)\) and \(\tau \in \mathcal{P}({\mathbf R}^N)\) . Suppose
-
(T1)
\(-N < \tau(0) < N( p(0)- 1)\) and \(-N < \tau(\infty) < N( p(\infty)- 1)\) .
Then the maximal operator \(\mathcal{M} : f \longrightarrow Mf\) is bounded from \(L^{\tau,p}({\mathbf R}^N)\) into itself, namely, there is a constant \(C >0\) such that
for all \(f \in L^{\tau,p}({\mathbf R}^N)\) .
This is a special case of [24, Theorem 1.1]. We also refer to [25].
In view of Lemma 1, we obtain the following result.
Corollary 1 [21, Corollary 4.2].
Let \(s, p \in \mathcal{P}_1({\mathbf R}^N)\) . Then the maximal operator \(\mathcal{M} : f \longrightarrow Mf\) is bounded from \(\mathcal{L}^{s,p}({\mathbf R}^N)\) into itself, namely, there is a constant \(C >0\) such that
for all \(f \in \mathcal{L}^{s,p}({\mathbf R}^N)\) .
As an application of Theorem 1, we can obtain a Sobolev type inequality for Riesz potentials by using Hedberg’s method ([26]).
For \(p \in \mathcal{P}_1({\mathbf R}^N)\), set
Theorem 2 [21, Theorem 6.1].
Let \(p \in \mathcal{P}_1({\mathbf R}^N)\) and \(\tau \in \mathcal{P}({\mathbf R}^N)\) . Suppose \(p^{+ }<n/\alpha\) and
-
(T2)
\(\alpha p(0) - N < \tau(0) < N(p(0)- 1)\) and \(\alpha p(\infty) - N < \tau(\infty) < N( p(\infty)- 1)\) .
Then there is a constant \(C >0\) such that
for all \(f \in L^{\tau,p}({\mathbf R}^N)\) .
Using Lemma 2, we obtain the following result.
Corollary 2 [21, Corollary 6.2].
Let \(p, s \in \mathcal{P}_1({\mathbf R}^N)\) , If \(p^+ < N /\alpha\) and \(s^+ < N /\alpha\) , then there is a constant \(C >0\) such that
for all \(f \in \mathcal{L}^{s,p}({\mathbf R}^N)\) .
4. The Boundedness of Maximal Operator in Double-Phase Lorentz Spaces of Variable Exponents
As an extension of [21], we obtain the boundedness of maximal operator in double-phase Lorentz spaces of variable exponents, in view of Theorems 1 and 2.
Recall that \(b\) is nonnegative, bounded and Hölder continuous of order \(\theta \in (0,1]\).
Theorem 3.
Let \(p, q \in \mathcal{P}_1({\mathbf R}^N)\) and \(\tau, \kappa \in \mathcal{P}({\mathbf R}^N)\) . Suppose
-
(D1)
\(1/q(x) = 1/p(x) - \theta/N\) ;
-
(D2)
\(\kappa(x) = \tau(x) q(x)/p(x)\) ;
-
(T3)
\(\theta p(0) -N < \tau(0) < N( p(0)- 1)\) and \(\theta p(\infty) -N < \tau(\infty) < N( p(\infty)- 1)\) ;
-
(T4)
\(-N < \kappa(0) < N( q(0)- 1)\) and \(-N < \kappa(\infty) < N( q(\infty)- 1)\) .
Then there is a constant \(C >0\) such that
for all \(f \in L^1_{loc}({\mathbf R}^N)\) .
When \(\tau = \kappa = 0\), we refer the reader to [11] and [12].
Proof of Theorem 3.
In view of Theorem 1, it suffices to show that
when \(f\) is a nonnegative measurable function \(f\) on \({\mathbf R}^N\) with \(\| f \|_{L^{\tau,p}({\mathbf R}^N)} + \| bf \|_{L^{\kappa,q}({\mathbf R}^N)} \le 1\). Note that
for \(x \in {\mathbf R}^N\) and \(r > 0\). Hence
for \(x \in {\mathbf R}^N\). In view of Theorem 2, we have
Moreover, we obtain, by Theorem 1,
which gives (1).
Corollary 3.
Let \(s, p, t, q \in \mathcal{P}_1({\mathbf R}^N)\) . Suppose \(1/t(x) = 1/s(x) - \theta/N\) and \(1/q(x) = 1/p(x) - \theta/N\) . Then there is a constant \(C >0\) such that
for all \(f \in L^1_{loc}({\mathbf R}^N)\) .
5. Sobolev’s Inequality in Double-Phase Lorentz Spaces of Variable Exponents
By Theorem 2, we obtain the following Sobolev inequality.
Theorem 4.
Let \(p,q \in \mathcal{P}_1({\mathbf R}^N)\) and \(\kappa, \tau \in \mathcal{P}({\mathbf R}^N)\) . Suppose \(p^+<N/(\alpha+\theta)\) . Moreover, suppose
-
(D1)
\(1/q(x) = 1/p(x) - \theta/N\) ;
-
(D2)
\(\kappa(x) = \tau(x) q(x)/p(x)\) ;
-
(T5)
\((\alpha+\theta)p(0)- N < \tau(0) < N( p(0)- 1)\) and \((\alpha+\theta)p(\infty)-N < \tau(\infty) < N( p(\infty)- 1)\) ;
-
(T6)
\(\alpha q(0) -N < \kappa(0) < N( q(0)- 1)\) and \(\alpha q(\infty) -N < \kappa(\infty) < N( q(\infty)- 1)\) .
Then there is a constant \(C >0\) such that
for all \(f \in L^1_{loc}({\mathbf R}^N)\) .
Proof.
By Theorem 2, it suffices to show
when \(f\) is a nonnegative measurable function \(f\) on \({\mathbf R}^N\) with \(\| f \|_{L^{\tau,p}({\mathbf R}^N)} + \| bf \|_{L^{\kappa,q}({\mathbf R}^N)} \le 1\). Note that
for \(x \in {\mathbf R}^N\). Therefore,
for \(x \in {\mathbf R}^N\). In view of Theorem 2, we have
and
which proves (2).
Corollary 4.
Let \(s, p, t, q \in \mathcal{P}_1({\mathbf R}^N)\) , \(1/t(x) = 1/s(x) - \theta/N\) and \(1/q(x) = 1/p(x) - \theta/N\) . Suppose \(s^+<N/(\alpha+\theta)\) and \(p^+<N/(\alpha+\theta)\) . Then there is a constant \(C >0\) such that
for all \(f \in L^1_{loc}({\mathbf R}^N)\) .
References
B. Almut, Rearrangement Inequalities, in Lecture Notes (June 2009).
V. V. Zhikov, “Averaging of functionals of the calculus of variations and elasticity theory,” Izv. Akad. Nauk SSSR Ser. Mat. 50, 675–710 (1986).
P. Baroni, M. Colombo, and G. Mingione, “Non-autonomous functionals, borderline cases and related function classes,” St Petersburg Math. J. 27, 347–379 (2016).
M. Colombo and G. Mingione, “Regularity for double phase variational problems,” Arch. Rat. Mech. Anal. 215, 443–496 (2015).
M. Colombo and G. Mingione, “Bounded minimizers of double phase variational integrals,” Arch. Rat. Mech. Anal. 218, 219–273 (2015).
P. Baroni, M. Colombo, and G. Mingione, “Regularity for general functionals with double phase,” Calc. Var. 57, 62 (2018).
P. Hästö and J. Ok, “Calderón-Zygmund estimates in generalized Orlicz spaces,” J. Differential Equations 267 (5), 2792–2823 (2019).
P. Shin, “Calderón-Zygmund estimates for general elliptic operators with double phase,” Nonlinear Anal. 194, 111409 (2020).
F. Colasuonno and M. Squassina, “Eigenvalues for double phase variational integrals,” Ann. Mat. Pura Appl. 195 (6), 1917–1959 (2016).
P. Hästö, “The maximal operator on generalized Orlicz spaces,” J. Funct. Anal. 271 (1), 240–243 (2016).
F.- Y. Maeda, Y. Mizuta, T. Ohno, and T. Shimomura, “Sobolev’s inequality inequality for double phase functionals with variable exponents,” Forum Math. 31 (2), 517–527 (2019).
Y. Mizuta, T. Ohno, and T. Shimomura, “Sobolev’s theorem for double phase functionals,” Math. Inequal. Appl. 23 (1), 17–33 (2020).
C. De Filippis and J. Oh, “Regularity for multi-phase variational problems,” J. Differential Equations 267 (3), 1631–1670 (2019).
P. Harjulehto and P. Hästö, “Boundary regularity under generalized growth conditions,” Z. Anal. Anwend. 38 (1), 73–96 (2019).
Y. Mizuta, T. Ohno, and T. Shimomura, “Herz-Morrey spaces on the unit ball with variable exponent approaching \(1\) and double phase functionals,” Nagoya Math. J. 242, 1–34 (2021).
Y. Mizuta and T. Shimomura, “Boundary growth of Sobolev functions for double phase functionals,” Ann. Acad. Sci. Fenn. Math. 45, 279–292 (2020).
B. Almut, “Cases of equality in the Riesz rearrangement inequality,” Ann. of Math. 143 (3 (2)), 499–527 (1996).
B. Almut and H. Hichem, “Rearrangement inequalities for functionals with monotone integrands,” J. Funct. Anal. 233 (2), 561–582 (2006).
Y. Mizuta, Potential Theory in Euclidean Spaces (Gakk\(\overline{\text{o}}\)tosho, Tokyo, 1996).
L. Ephremidze, V. Kokilashvili, and S. Samko, “Fractional, maximal and singular operators in variable exponent Lorentz spaces,” Fract. Calc. Appl. Anal. 11 (4), 407–420 (2008).
Y. Mizuta and T. Ohno, “Sobolev’s inequality for Riesz potentials in Lorentz spaces of variable exponent,” J. Math. Soc. Japan 67 (2), 433–452 (2015).
L. Diening, “Maximal functions on generalized \(L^{p(\cdot )}\) spaces,” Math. Inequal. Appl. 7 (2), 245–254 (2004).
D. Cruz-Uribe, A. Fiorenza, and C. J. Neugebauer, “The maximal function on variable \(L^{p}\) spaces,” Ann. Acad. Sci. Fenn. Math. 29, 247–249 (2004).
P. Hästö and L. Diening, “Muckenhoupt weights in variable exponent spaces,” Preprint.
D. Cruz-Uribe, L. Diening, and P. Hästö, “The maximal operator on weighted variable Lebesgue spaces,” Fract. Calc. Appl. Anal. 14 (3), 361–374 (2011).
L. I. Hedberg, “On certain convolution inequalities,” Proc. Amer. Math. Soc. 36, 505–510 (1972).
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Mizuta, Y., Ohno, T. & Shimomura, T. Maximal and Riesz Potential Operators in Double Phase Lorentz Spaces of Variable Exponents. Math Notes 111, 729–735 (2022). https://doi.org/10.1134/S0001434622050066
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0001434622050066