---
title: Variable Exponent Morrey Spaces
url: https://www.emergentmind.com/topics/variable-exponent-morrey-spaces
type: topic
---

# Variable Exponent Morrey Spaces

Variable exponent Morrey spaces are Morrey-type function spaces in which local integrability is measured by a variable exponent and local growth is controlled either by a Morrey parameter or by a more general control function. In the literature considered here, the notion of Morrey space with variable exponents “might differ from work to work”: one finds ball-based formulations, generalized spaces with a Morrey control \(u(x,r)\), global Morrey-type spaces with a defining function \(w(x,r)\), and local “complementary” spaces based on \(\Omega\setminus B(x_0,r)\). Across these formulations, the common theme is the combination of variable exponent Lebesgue theory with Morrey localization, which supports a broad operator theory for maximal operators, potentials, singular integrals, commutators, Stein–Weiss inequalities, and Triebel–Lizorkin refinements [2607.04533].

## 1. Definitions and principal formulations

A variable exponent is a measurable function \(p(\cdot):\mathbb{R}^n\to[1,\infty)\), with essential bounds
\[
p_-:=\operatorname*{ess\,inf}_{x\in\mathbb{R}^n}p(x),\qquad
p_+:=\operatorname*{ess\,sup}_{x\in\mathbb{R}^n}p(x).
\]
The associated variable exponent Lebesgue space \(L^{p(\cdot)}(\mathbb{R}^n)\) is defined by the Luxemburg norm
\[
\|f\|_{L^{p(\cdot)}}:=
\inf\left\{\lambda>0:\int_{\mathbb{R}^n}\left|\frac{f(x)}{\lambda}\right|^{p(x)}dx\le 1\right\}.
\]
When \(p(\cdot)\equiv p_0\), this reduces to the classical space \(L^{p_0}(\mathbb{R}^n)\).

One widely used generalized Morrey formulation is
\[
\mathcal{M}_{p(\cdot),u}(\mathbb{R}^n)
:=
\left\{f\in L^{p(\cdot)}_{\mathrm{loc}}(\mathbb{R}^n):
\|f\|_{\mathcal{M}_{p(\cdot),u}}<\infty\right\},
\]
with
\[
\|f\|_{\mathcal{M}_{p(\cdot),u}}
:=
\sup_{x_0\in\mathbb{R}^n,\;r>0}
\frac{\|f\,\chi_{B(x_0,r)}\|_{L^{p(\cdot)}}}{u(x_0,r)},
\]
where \(u:\mathbb{R}^n\times(0,\infty)\to(0,\infty)\) is a measurable Morrey control function. This definition recovers variable exponent Lebesgue behavior when \(u(x,r)\sim \|\chi_{B(x,r)}\|_{L^{p(\cdot)}}\), and in the constant-exponent case \(p(\cdot)\equiv p\), \(u(x,r)=r^{\lambda/p}\), it is isomorphic to the classical Morrey space \(\mathcal L^{p,\lambda}\) [2607.04533].

A second formulation, used for fully variable Morrey parameters, is
\[
M_{p(\cdot)}^{\lambda(\cdot)}(\Omega)
=
\left\{f:\Omega\to\mathbb C\text{ measurable}:
\|f\|_{M_{p(\cdot)}^{\lambda(\cdot)}(\Omega)}<\infty\right\},
\]
where \(\Omega\subset\mathbb R^n\) is bounded and
\[
I_{p(\cdot),\lambda(\cdot)}(f)
:=
\sup_{x\in\Omega,\;r>0}
r^{-\lambda(x)}
\int_{\tilde B(x,r)}|f(y)|^{p(y)}\,dy,
\qquad \tilde B(x,r)=B(x,r)\cap\Omega.
\]
The norm is
\[
\|f\|_{M_{p(\cdot)}^{\lambda(\cdot)}(\Omega)}
=
\inf\left\{\eta>0:
I_{p(\cdot),\lambda(\cdot)}(f/\eta)\le 1\right\}.
\]
This is the bounded-domain framework used for Stein–Weiss and Poincaré-type inequalities [2510.02235].

A third formulation places the exponent at the center of the ball:
\[
\|f\|_{M^{u(\cdot)}_{p(\cdot)}(\mathbb{R}^n)}
:=
\sup_{x\in\mathbb{R}^n,\;r>0}
r^{\,n\left(\frac1{u(x)}-\frac1{p(x)}\right)}
\|f\|_{L^{p(\cdot)}(B_r(x))}.
\]
This ball-centered definition is the base space for variable exponent Triebel–Lizorkin–Morrey scales [1808.05304].

There are also generalized global Morrey-type spaces on unbounded domains, defined by
\[
\|f\|_{GM_{p(\cdot),\theta(\cdot),w(\cdot)}}
=
\sup_{x\in\Omega}
\Big\|
w(x,r)\,r^{-\eta_{p(x,r)}}
\|f\|_{L^{p(\cdot)}(B(x,r))}
\Big\|_{L^{\theta(\cdot)}(0,\infty)},
\]
and local “complementary” spaces
\[
\|f\|_{{^c\!}M_{\{x_0\}^{p(\cdot),w}(\Omega)}}
=
\sup_{0<r<\ell}
\frac{r^{\frac{n}{p'(x_0)}}\,
\|f\|_{L^{p(\cdot)}(\Omega\setminus B(x_0,r))}}{w(r)},
\]
which measure the behavior of \(f\) outside shrinking balls around a fixed point \(x_0\) [2106.02062].

## 2. Structural hypotheses and basic analytic tools

The standard regularity hypothesis on variable exponents is log-Hölder continuity. In one common global form, one assumes constants \(C_1,C_2>0\) such that
\[
|p(x)-p(y)|\le \frac{C_1}{-\log|x-y|},\qquad |x-y|\le \tfrac12,
\]
and
\[
|p(x)-p(y)|\le \frac{C_2}{\log(e+|x|)},\qquad |y|\ge |x|.
\]
These conditions prevent oscillation that is too fast locally or at infinity, and they guarantee boundedness of the Hardy–Littlewood maximal operator on \(L^{p(\cdot)}\) in the settings considered here [2607.04533].

A fundamental consequence is control of characteristic functions of balls. For \(p(\cdot)\) in the global log-Hölder class, one has
\[
\frac1{|B|}\,
\|\chi_B\|_{L^{p(\cdot)}}\,
\|\chi_B\|_{L^{p'(\cdot)}}\le C,
\]
which is the variable-exponent analogue of \(\|\chi_B\|_{L^p}\|\chi_B\|_{L^{p'}}\sim |B|\). More refined estimates of the form
\[
\frac{\|\chi_S\|_{L^{q(\cdot)}}}{\|\chi_B\|_{L^{q(\cdot)}}}
\le C\left(\frac{|S|}{|B|}\right)^\delta,
\qquad S\subset B,
\]
play the role of uniform \(A_p\)-type control in many Morrey and Herz–Morrey arguments [1404.1627].

Variable Hölder inequalities are equally basic. In the formulation used for \(L^{p(\cdot)}\),
\[
\int_{\mathbb{R}^n}|f(x)g(x)|\,dx
\le r_p\,\|f\|_{L^{p(\cdot)}}\|g\|_{L^{p'(\cdot)}},
\]
and analogous inequalities hold in the weighted and localized settings. In the Triebel–Lizorkin–Morrey theory, these are supplemented by ball-norm asymptotics such as
\[
\|\chi_{B_r(x_0)}\|_{L^{p(\cdot)}}
\approx
\begin{cases}
r^{n/p(x_0)}, & 0<r\le 1,\ x_0\in B_1(0),\\
r^{n/p_\infty}, & r\ge 1,
\end{cases}
\]
for \(p\in\mathcal P^{\log}(\mathbb R^n)\) [1808.05304].

For bounded-domain variable exponent Morrey spaces, there is also a norm–modular equivalence:
\[
\|f\|_{M_{p(\cdot)}^{\lambda(\cdot)}(\Omega)}
\approx
\sup_{x\in\Omega,\;r>0}
r^{-\frac{\lambda(x)}{p(x)}}
\left\|f\,\chi_{\tilde B(x,r)}\right\|_{L^{p(\cdot)}(\Omega)}.
\]
This reduction is indispensable in the proof of weighted fractional inequalities and Poincaré-type results [2510.02235].

## 3. Morrey control functions, weak spaces, and boundedness theory

In the generalized space \(\mathcal M_{p(\cdot),u}\), the control function \(u(x,r)\) is not arbitrary in operator theory. A class \(W_{p(\cdot)}\) of admissible Morrey control functions is defined by a discrete Hardy-type condition:
\[
\sum_{j=1}^{\infty}
\frac{\|\chi_{B(x_0,r)}\|_{L^{p(\cdot)}}}
{\|\chi_{B(x_0,2^{j+1}r)}\|_{L^{p(\cdot)}}\,
u(x_0,2^{j+1}r)}
\le C\,u(x_0,r),
\]
together with a local scaling bound
\[
\frac{\|\chi_{B(x_0,r)}\|_{L^{p(\cdot)}}}
{\|\chi_{B(x_0,2^{j+1}r)}\|_{L^{p(\cdot)}}}
\le C\,2^{-j\cdot n/p_+}.
\]
The main role of \(W_{p(\cdot)}\) is that it allows dyadic expansions produced by nonlocal operators to be reduced to a single Morrey weight at scale \(r\) [2607.04533].

Weak versions are built in parallel. For example,
\[
\|f\|_{W\mathcal M_{p(\cdot),u}}
=
\sup_{x_0\in\mathbb R^n,\;r>0}
\frac{\sup_{\lambda>0}
\|\chi_{\{x\in B(x_0,r):|f(x)|>\lambda\}}\|_{L^{p(\cdot)}}}{u(x_0,r)}.
\]
These spaces are the natural targets when strong-type boundedness fails at critical parameter values [2607.04533].

The operator theory on variable exponent Morrey spaces is extensive. For higher-order commutators of rough fractional maximal operators with variable kernels, one has strong boundedness
\[
M_{\Omega,b,\alpha}^{(m)}:
\mathcal M_{p(\cdot),u}(\mathbb R^n)
\longrightarrow
\mathcal M_{q(\cdot),u^\#}(\mathbb R^n),
\qquad
u^\#(x,r)=r^{\alpha+\lambda m}u(x,r),
\]
under a strict interior condition
\[
0<\frac{\alpha+\lambda m}{n}<\frac1{p_+},
\qquad
\frac1{p(x)}-\frac1{q(x)}=\frac{\alpha+\lambda m}{n},
\]
together with rough-kernel and Morrey-weight hypotheses [2607.04533].

At the level of weighted fractional integrals, the bounded-domain Stein–Weiss inequality gives
\[
\| |x-x_0|^{a} I_\gamma f \|_{M_{q(\cdot)}^{\lambda(\cdot)}(\Omega)}
\leq C
\| |x-x_0|^{b} f \|_{M_{p(\cdot)}^{\lambda(\cdot)}(\Omega)},
\]
provided
\[
0 \leq  b-a \le \gamma,
\qquad
\frac{\lambda_{+}-n}{q_+} < a \le b < \frac{n}{ (p')_{+}},
\]
\[
0 < \lambda_{-} \leq \lambda(x) < n - (\gamma - b + a)p(x),
\qquad
\frac{\gamma + a- b}{n - \lambda(x)}= \frac{1}{p(x)} - \frac{1}{q(x)}.
\]
This extends Stein–Weiss theory from variable exponent Lebesgue spaces and constant-exponent Morrey spaces to \(M_{p(\cdot)}^{\lambda(\cdot)}(\Omega)\) [2510.02235].

For global Morrey-type spaces on unbounded sets, the Hardy–Littlewood maximal operator and potential operators are bounded under Hardy-type integral conditions on the defining functions \(w_1,w_2\). A representative condition is
\[
\sup_{x\in\Omega,\ t>0}
\int_0^t (w_2(x,r))^{\theta_2(r)}
\left(
\int_r^\infty
\left(\frac{1}{w_1(x,s)s}\right)^{\theta_1(r)} ds
\right)^{\frac{\theta_2(r)}{\theta_1(r)}}
dr
<\infty,
\]
which yields boundedness of \(M\) from \(GM_{p(\cdot),\theta_1(\cdot),w_1(\cdot)}\) to \(GM_{p(\cdot),\theta_2(\cdot),w_2(\cdot)}\) [2106.02062].

In the complementary setting, one has
\[
M,\ T:
{^c\!}M_{\{x_0\}^{p(\cdot),w_1}(\Omega)}
\to
{^c\!}M_{\{x_0\}^{p(\cdot),w_2}(\Omega)},
\]
and, when
\[
\frac1{q(x)}=\frac1{p(x)}-\frac{\alpha(x)}{n},
\]
also
\[
I^{\alpha(\cdot)},\ M^{\alpha(\cdot)}:
{^c\!}M_{\{x_0\}^{p(\cdot),w_1}(\Omega)}
\to
{^c\!}M_{\{x_0\}^{q(\cdot),w_2}(\Omega)},
\]
with conditions formulated by Zygmund-type integral inequalities on \(w_1,w_2\), without monotonicity assumptions on these functions [1109.5565].

## 4. Endpoint phenomena and interpolation

A characteristic feature of variable exponent Morrey theory is the presence of critical lines at which the target exponent degenerates. For the higher-order commutator problem, the critical configuration is
\[
\frac{\alpha+\lambda m}{n}=\frac1{p_+}.
\]
At points where \(p(x)=p_+\), the formula
\[
\frac1{q(x)}=\frac1{p(x)}-\frac{\alpha+\lambda m}{n}
\]
gives \(q(x)=\infty\). In that regime, the target variable exponent Lebesgue space \(L^{q(\cdot)}\) no longer makes sense globally, and strong-type mapping fails because the Luxemburg norm blows up [2607.04533].

The replacement is a weak endpoint bound. Under the critical scaling and an Adams-type relation between Morrey weights,
\[
\sup_{x_0,r} r^{\alpha+\lambda m}\frac{u(x_0,r)}{v(x_0,r)}<\infty,
\]
the commutator maps
\[
\mathcal M_{p(\cdot),u}
\longrightarrow
W\mathcal M_{\infty,v},
\]
where
\[
\|f\|_{W\mathcal M_{\infty,v}}
:=
\sup_{B(x_0,r)}
\frac{\sup_{\lambda>0}
|\{x\in B(x_0,r):|f(x)|>\lambda\}|}{v(x_0,r)}.
\]
This shows that the critical line remains accessible, but only in an \(L^\infty\)-type weak Morrey scale [2607.04533].

Interpolation restores interior strong estimates from weak endpoints. In an abstract Grafakos–Martell-type framework, if a sublinear operator \(T\) is bounded both
\[
T:\mathcal M_{p(\cdot),u}\to \mathcal M_{q(\cdot),v}
\]
and
\[
T:\mathcal M_{p(\cdot),u}\to W\mathcal M_{q(\cdot),v},
\]
then for \(\theta\in(0,1)\),
\[
\frac1{q_\theta(x)}=\frac{\theta}{q(x)}+\frac{1-\theta}{p(x)},
\qquad
\log u_\theta(x,r)=\theta\log u(x,r)+(1-\theta)\log v(x,r),
\]
and
\[
T:\mathcal M_{p(\cdot),u_\theta}\to \mathcal M_{q_\theta(\cdot),u_\theta}
\]
is bounded. In the commutator setting this yields a full continuum of intermediate strong Morrey estimates between the weak endpoint and the interior strong case [2607.04533].

Endpoint questions also appear in other branches of the theory. In Herz–Morrey spaces with variable exponent, parameter restrictions such as
\[
\lambda-n\delta_2<\alpha<\lambda+n\delta_1
\]
or
\[
\alpha(0)>\beta-n\delta_2,\qquad \alpha_\infty>\beta-n\delta_2
\]
arise from convergence of the geometric series generated by dyadic decompositions. The papers explicitly note that at the boundary some geometric series fail to converge, so the admissible intervals are not merely formal [1404.1627].

## 5. Herz–Morrey, Triebel–Lizorkin–Morrey, and other extensions

A major extension of variable exponent Morrey theory is the Herz–Morrey scale. With dyadic annuli \(A_k\) and characteristic functions \(\chi_k\), the homogeneous Herz–Morrey space with variable exponent is
\[
M\dot K_{p,q(\cdot)}^{\alpha,\lambda}(\mathbb R^n)
=
\left\{
f:
\sup_{k_0\in\mathbb Z}
2^{-k_0\lambda}
\left(
\sum_{k=-\infty}^{k_0}
2^{k\alpha p}\|f\chi_k\|_{L^{q(\cdot)}}^p
\right)^{1/p}
<\infty
\right\}.
\]
When \(\lambda=0\), it reduces to the Herz space \(\dot K_{q(\cdot)}^{\alpha,p}\). These spaces are Morrey-type because the parameter \(\lambda\) controls the growth of radial partial sums, while \(\alpha\) supplies radial decay or growth [1404.1627].

This radialized framework supports extensive operator theory. Sublinear operators, fractional integrals, fractional Hardy-type operators of variable order, commutators generated by Riesz potentials, multilinear Hausdorff commutators, singular integrals with variable kernels, and fractional-differentiation commutators have all been shown to be bounded on suitable weighted or unweighted variable exponent Herz–Morrey spaces under explicit exponent, weight, and kernel conditions [1304.4410].

A more recent extension is the weighted grand Herz–Morrey scale with variable exponents,
\[
MK^{\alpha(\cdot),p,\theta}_{\dot q(\cdot),\lambda}(w),
\]
whose quasi-norm contains an additional supremum over a grand parameter \(\delta>0\). On top of this, weighted grand Herz–Morrey–Triebel–Lizorkin spaces
\[
MK^{\alpha(\cdot),p,\theta}F^s_{q(\cdot),\lambda,w,\beta}
\]
are defined by Littlewood–Paley decompositions and admit equivalent quasi-norms via maximal functions and Peetre-type maximal functions. This places variable exponent Morrey-type control inside a smoothness scale [2502.14015].

The fully variable Triebel–Lizorkin–Morrey scale takes a different route. Starting from
\[
\|f\|_{M^{u(\cdot)}_{p(\cdot)}}
=
\sup_{x,r}
r^{n\left(\frac1{u(x)}-\frac1{p(x)}\right)}
\|f\|_{L^{p(\cdot)}(B_r(x))},
\]
one defines
\[
E^{w,u(\cdot)}_{p(\cdot),q(\cdot)}(\mathbb R^n)
\]
through the sequence norm
\[
\big\|(w_j\,\varphi_j^\vee*f)_j\big\|_{M^{u(\cdot)}_{p(\cdot)}(\ell^{q(\cdot)})}.
\]
The key technical advance here is a vector-valued convolution inequality in \(M^{u(\cdot)}_{p(\cdot)}(\ell^{q(\cdot)})\) that replaces the Hardy–Littlewood maximal inequality in the fully variable setting and leads to Peetre maximal characterizations and independence from the admissible dyadic system [1808.05304].

These extensions show that variable exponent Morrey spaces serve not only as stand-alone objects but also as the base layer of richer scales carrying radial, weighted, grand, and frequency-localized structure. This suggests a broad architecture in which Morrey control, variable local integrability, and smoothness can be combined systematically.

## 6. Applications, reductions, and open problems

The principal motivation repeatedly stated in the literature is the treatment of nonstandard growth. Variable exponent analysis is used in PDEs with nonstandard growth, including electrorheological fluids, non-Newtonian fluids, elasticity with variable growth, and related inhomogeneous media. Morrey control adds local growth information that is fundamental in elliptic and parabolic regularity theory, so variable exponent Morrey spaces combine spatially varying integrability with localized scale control [2502.14015].

Several reductions recover classical settings. If \(p(\cdot)\equiv p\) and \(u(x,r)=r^{\lambda/p}\), then \(\mathcal M_{p(\cdot),u}\) is isomorphic to the classical Morrey space \(\mathcal L^{p,\lambda}\). If \(\lambda=0\) in Herz–Morrey spaces, one obtains Herz spaces. If all exponents and weights are constant, the variable exponent Triebel–Lizorkin–Morrey and grand Herz–Morrey scales collapse to their classical counterparts [2607.04533].

The complementary theory reveals a precise link with weighted Lebesgue spaces. In the constant exponent power-weight case,
\[
L^p\bigl(\Omega, |y-x_0|^{\lambda(p-1)}\bigr)
\subsetneq
{^c\!}L_{\{x_0\}^{p,\lambda}(\Omega)}
\subsetneq
wL^p\bigl(\Omega, |y-x_0|^{\lambda(p-1)}\bigr),
\]
and this identifies complementary Morrey control as a quantified description of point singularity at \(x_0\) [1109.5565].

A recurrent caution is that the definition itself is not completely standardized: the notion of Morrey space with variable exponents might differ from work to work [1808.05304]. This is not merely terminological. Some frameworks place the exponent at the center of the ball, others use a modular with \(p(y)\) inside the integral, others employ general Morrey control functions, and still others use global or complementary norms. A plausible implication is that boundedness theorems are best interpreted within the precise definition adopted by each paper.

One explicit open problem is the Stein–Weiss inequality on variable exponent Morrey spaces over all of \(\mathbb R^n\). The bounded-domain theory is established, but the proof “does not seem to extend to unbounded domains,” and proving a Stein–Weiss type inequality on variable exponent Morrey spaces defined on all of \(\mathbb R^n\) remains open [2510.02235]. Other papers point to possible extensions to Calderón–Zygmund operators, commutators, nonlocal operators, grand Herz–Morrey–Besov spaces, and sharper endpoint theories [2504.01854].

Variable exponent Morrey spaces therefore form a heterogeneous but coherent field: the common core is a variable exponent \(L^{p(\cdot)}\) structure localized by Morrey scaling, while the main research directions concern admissible formulations, endpoint control, interpolation, weighted inequalities, and the transfer of harmonic-analysis methods to increasingly refined Morrey-type scales.

Source: https://www.emergentmind.com/topics/variable-exponent-morrey-spaces