Mixed Radial-Angular Local Morrey Spaces

• Mixed radial-angular local Morrey-type spaces are defined by separate integrability conditions: angular L^p, radial L^(p̃), and local Morrey aggregation controlled by λ and q.
• They generalize classical Morrey and mixed Lebesgue spaces by incorporating distinct radial decay and angular smoothing to capture local behavior in ℝⁿ.
• The framework yields sharp boundedness results for Hausdorff-type and Hardy operators, offering precise norm identities and supporting anisotropic harmonic analysis.

Searching arXiv for direct and closely related papers on mixed radial-angular local Morrey-type spaces. Searching arXiv for foundational mixed Morrey, local mixed Morrey-type, and radial Morrey-related literature mentioned in the source material. Mixed radial-angular local Morrey-type spaces are function spaces that combine three layers of control: angular integrability on the sphere, radial integrability in the variable $\rho=|x|$, and local Morrey-type growth or decay in an outer radius parameter $r$. In the formulation developed for Hausdorff-type operators, the model space is the weighted mixed radial-angular local Morrey-type space

$$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$

together with its complementary local analogue, where the inner norm separates the radial and angular variables and the outer $r^{-\lambda}$-normalization imposes local Morrey behavior (Liu et al., 30 Sep 2025).

1. Definitions and ambient structure

The starting point is the classical local Morrey-type space $LM^\lambda_{p,q}(\mathbb R^n)$, defined for $0<p,q\le \infty$ and $0\le \lambda<\infty$ by

$$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$

with the usual $q=\infty$ modification. Its complementary counterpart ${}^cLM^\lambda_{p,q}(\mathbb R^n)$ replaces $r$0 by $r$1 and is formulated for $r$2 (Liu et al., 30 Sep 2025).

The mixed radial-angular ambient Lebesgue space is

$r$3

with the standard endpoint modifications when $r$4 or $r$5. This separates the angular exponent $r$6 from the radial exponent $r$7 (Liu et al., 30 Sep 2025).

The weighted mixed radial-angular local Morrey-type space is then defined, for $r$8, by

$r$9

The paper also gives separate endpoint formulas for $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$0, $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$1, and $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$2. The complementary space

$$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$3

is obtained by replacing the inner interval $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$4 with $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$5 (Liu et al., 30 Sep 2025).

This construction makes the three exponents play distinct roles. The exponent $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$6 measures spherical $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$7-integrability on $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$8, $$LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha),$$9 measures radial accumulation with respect to $r^{-\lambda}$0, and $r^{-\lambda}$1 controls the outer Morrey-type aggregation in the variable $r^{-\lambda}$2. The parameter $r^{-\lambda}$3 is the local Morrey parameter, and $r^{-\lambda}$4 is the power-weight exponent (Liu et al., 30 Sep 2025).

2. Basic relations, endpoint cases, and nontriviality

The mixed radial-angular spaces extend both classical local Morrey-type spaces and mixed radial-angular Lebesgue spaces. When $r^{-\lambda}$5,

$r^{-\lambda}$6

so the mixed radial-angular definition contains the local Morrey-type $r^{-\lambda}$7-endpoint as a special case (Liu et al., 30 Sep 2025).

The local mixed radial-angular space is nontrivial precisely under the same condition as the classical local Morrey-type space: $r^{-\lambda}$8 For the complementary local theory, the sign pattern is reversed in the operator theorems: $r^{-\lambda}$9 This sign reversal reflects the replacement of inner growth from the origin by tail control away from the origin (Liu et al., 30 Sep 2025).

The defining norm can be read as a Morrey refinement of the radial-angular $LM^\lambda_{p,q}(\mathbb R^n)$0-norm. The inner quantity

$LM^\lambda_{p,q}(\mathbb R^n)$1

is a radial-angular ball norm on $LM^\lambda_{p,q}(\mathbb R^n)$2, while the outer factor $LM^\lambda_{p,q}(\mathbb R^n)$3 and the $LM^\lambda_{p,q}(\mathbb R^n)$4-aggregation impose local Morrey-type control. This separates the radial averaging, the angular $LM^\lambda_{p,q}(\mathbb R^n)$5-behavior, and the local Morrey growth/decay encoded by $LM^\lambda_{p,q}(\mathbb R^n)$6 and $LM^\lambda_{p,q}(\mathbb R^n)$7 (Liu et al., 30 Sep 2025).

3. Hausdorff operators and sharp boundedness theory

The direct operator theory on these spaces is built around Hausdorff-type operators. The general higher-dimensional Hausdorff operator is

$LM^\lambda_{p,q}(\mathbb R^n)$8

and the main scalar specializations are

$LM^\lambda_{p,q}(\mathbb R^n)$9

The multilinear operators are $0<p,q\le \infty$0, $0<p,q\le \infty$1, $0<p,q\le \infty$2, and $0<p,q\le \infty$3, where the $0<p,q\le \infty$4-family uses the product denominator $0<p,q\le \infty$5 and the $0<p,q\le \infty$6-family uses the joint size $0<p,q\le \infty$7 (Liu et al., 30 Sep 2025).

For the linear operator $0<p,q\le \infty$8, if $0<p,q\le \infty$9 is nonnegative, locally integrable, and radial, then

$0\le \lambda<\infty$0

holds if and only if

$0\le \lambda<\infty$1

and the operator norm is exactly $0\le \lambda<\infty$2. For $0\le \lambda<\infty$3, the corresponding sharp criterion is

$0\le \lambda<\infty$4

again with exact norm identity (Liu et al., 30 Sep 2025).

The multilinear theory has the same exactness. Under

$0\le \lambda<\infty$5

Theorems 2.3–2.6 give sharp bounds for

$0\le \lambda<\infty$6

from products of spaces

$0\le \lambda<\infty$7

into

$0\le \lambda<\infty$8

with exact constants $0\le \lambda<\infty$9. In the $$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$0 regime the balance becomes

$$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$1

and exactness is obtained under

$$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$2

For the untilded $$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$3- and $$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$4-operators the kernel criteria are expressed by integrals against powers of $$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$5 or $$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$6; for the tilded operators the sharp constants are written as radialized integrals in the variables $$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$7 (Liu et al., 30 Sep 2025).

The paper also records explicit classical corollaries. The Hardy operator

$$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$8

satisfies

$$\|f\|_{LM^\lambda_{p,q}(\mathbb R^n)} = \left( \int_0^\infty \left( \frac{1}{r^\lambda} \left( \int_{B(0,r)} |f(y)|^p\,dy \right)^{1/p} \right)^q \frac{dr}{r} \right)^{1/q},$$9

when $q=\infty$0, while the dual Hardy operator

$q=\infty$1

has exact norm

$q=\infty$2

when $q=\infty$3. Weighted Hardy-Littlewood average operators, weighted Cesàro operators, and their multilinear versions are obtained by special choices of $q=\infty$4, again with necessary-and-sufficient integral criteria and exact operator norms (Liu et al., 30 Sep 2025).

4. Complementary local theory

The complementary local theory replaces radial accumulation from $q=\infty$5 to $q=\infty$6 by tail accumulation from $q=\infty$7 to $q=\infty$8. For $q=\infty$9,

${}^cLM^\lambda_{p,q}(\mathbb R^n)$0

is defined by

${}^cLM^\lambda_{p,q}(\mathbb R^n)$1

with the corresponding endpoint variants for ${}^cLM^\lambda_{p,q}(\mathbb R^n)$2, ${}^cLM^\lambda_{p,q}(\mathbb R^n)$3, and ${}^cLM^\lambda_{p,q}(\mathbb R^n)$4 (Liu et al., 30 Sep 2025).

The associated complementary multilinear operators are denoted

${}^cLM^\lambda_{p,q}(\mathbb R^n)$5

and the sharp criteria mirror the local theory. The linear complementary results give exact norms

${}^cLM^\lambda_{p,q}(\mathbb R^n)$6

for ${}^cLM^\lambda_{p,q}(\mathbb R^n)$7 and ${}^cLM^\lambda_{p,q}(\mathbb R^n)$8, respectively. The multilinear complementary constants ${}^cLM^\lambda_{p,q}(\mathbb R^n)$9 are the tail analogues of $r$00 (Liu et al., 30 Sep 2025).

The conceptual distinction is simple but structural. Local spaces measure how mixed radial-angular mass accumulates toward the origin; complementary local spaces measure how it persists at large radius. This is reflected simultaneously in the change from $r$01 to $r$02, in the sign change for admissible $r$03, and in the corresponding operator criteria (Liu et al., 30 Sep 2025).

5. Antecedents and neighboring frameworks

The 2025 theory sits at the intersection of several earlier developments. One precursor is the mixed radial-angular Lebesgue theory on Heisenberg groups, where

$r$04

is defined by radial integration in $r$05 and angular integration on the homogeneous sphere $r$06. That paper proves sharp bounds for homogeneous kernel operators, Hilbert operators, and Hardy–Littlewood–Pólya operators in mixed radial-angular spaces, but it does not define any local or Morrey-type radial-angular norm (Li et al., 2023).

A second precursor is the Cartesian theory of local mixed Morrey-type spaces

$r$07

together with its power-weight form $r$08. That framework develops preduals, heat-kernel and grand maximal characterizations, nonsmooth decomposition, and Hardy-operator boundedness. Its “mixed” structure, however, is Benedek–Panzone mixed Lebesgue integration in Cartesian coordinates, not a separation of radial and angular variables (Shi et al., 2022).

A closely related line studies local and global mixed Morrey-type spaces

$r$09

again with coordinatewise mixed $r$10-norms on cubes $r$11 or $r$12. For fractional integrals $r$13, that literature derives local estimates of the form

$r$14

and then reduces boundedness on $r$15 to one-dimensional weighted Hardy inequalities. This provides a scale-variable mechanism that is structurally relevant for radial-angular spaces, but the underlying geometry remains cube-based and coordinatewise (Zhang et al., 2021).

Another transferable mechanism appears in the dyadic local and generalized Morrey theory on the torus. There the spaces

$r$16

are written as scale-wise dyadic sequence norms, and convolution estimates are proved through dyadic decomposition, Köthe duality, and real interpolation. The paper explicitly notes that this dyadic architecture is highly relevant for mixed radial-angular variants, while also observing that the torus is less natural for genuinely radial-angular formulations because of periodicity (B. et al., 8 Jun 2026).

These neighboring frameworks show that mixed radial-angular local Morrey-type spaces did not arise in isolation. They combine the radial-angular decomposition present in mixed radial-angular Lebesgue theory with the outer local Morrey and Hardy-operator machinery developed in Cartesian local mixed Morrey-type spaces, and they stand alongside dyadic-partition approaches that package local information scale by scale (Li et al., 2023, Shi et al., 2022, Zhang et al., 2021, B. et al., 8 Jun 2026).

6. Radial regularity, interpretation, and limitations

Radial symmetry in Morrey-related smoothness spaces has its own established theory. For radial subspaces of Besov-type spaces $r$17, one has continuity on $r$18 under

$r$19

and the Strauss-type pointwise estimate

$r$20

when $r$21. In the Sobolev-Morrey case $r$22, this becomes

$r$23

for radial $r$24, together with logarithmic behavior at the critical line near the origin (Yuan et al., 2013).

These results are not statements about mixed radial-angular local Morrey-type spaces, but they are structurally informative. The proofs rely on dyadic radius shells

$r$25

and on the shell multiplicity

$r$26

which is exactly the geometric factor arising from angular directions. This suggests that any mixed radial-angular local Morrey-type theory, when restricted to radial functions and matched to isotropic scaling, should recover the same Strauss-type exponents on the radial subspace (Yuan et al., 2013).

At the same time, the present theory remains operator-specific. The direct sharp results concern Hausdorff-type operators and their Hardy/Cesàro specializations, while adjacent literatures treat maximal operators, fractional integrals, singular integrals, decomposition theory, and preduals in different geometries. A plausible implication is that a fuller harmonic-analysis theory for mixed radial-angular local Morrey-type spaces would need to combine shell-cap decompositions, one-dimensional Hardy inequalities in the radial variable, and block or dyadic mechanisms that can replace the translation-friendly cube technology available in Cartesian or toroidal settings (Liu et al., 30 Sep 2025, Shi et al., 2022, Zhang et al., 2021, B. et al., 8 Jun 2026).

In this sense, mixed radial-angular local Morrey-type spaces are best understood as an overview. They refine local Morrey-type norms by separating radial and angular behavior, they inherit radial-scaling compatibility from mixed radial-angular Lebesgue spaces, and they admit a sharp Hausdorff-operator theory because radial dilations act transparently on the polar decomposition. The resulting spaces are local, anisotropic in the radial-angular sense, and already rich enough to support exact norm formulas for a broad class of dilation-based integral operators (Liu et al., 30 Sep 2025).