---
title: Mixed Radial-Angular Local Morrey Spaces
url: https://www.emergentmind.com/topics/mixed-radial-angular-local-morrey-type-spaces
type: topic
---

# Mixed Radial-Angular Local Morrey Spaces

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 [2509.26097].

## 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 \(B(0,r)\) by \({}^cB(0,r)\) and is formulated for \(\lambda\le 0\) [2509.26097].

The mixed radial-angular ambient Lebesgue space is
\[
L^{\tilde p}_{rad}L^p_{ang}(\mathbb R^n),
\qquad
\|f\|_{L^{\tilde p}_{rad}L^p_{ang}}
=
\left(
\int_0^\infty
\|f(r\cdot)\|_{L^p(S^{n-1})}^{\tilde p}
\,r^{n-1}\,dr
\right)^{1/\tilde p},
\]
with the standard endpoint modifications when \(p=\infty\) or \(\tilde p=\infty\). This separates the angular exponent \(p\) from the radial exponent \(\tilde p\) [2509.26097].

The weighted mixed radial-angular local Morrey-type space is then defined, for \(0<p,\tilde p,q<\infty\), by
\[
\begin{aligned}
\|f\|_{LML_{rad}^{\tilde p,\lambda,q}L_{ang}^{p}(\mathbb R^n, |x|^{\alpha})}
&=
\left(
\int_0^\infty
\left(
\frac{1}{r^\lambda}
\left(
\int_0^r
\left(
\int_{\mathbb S^{n-1}} |f(\rho\theta)|^p\,d\sigma(\theta)
\right)^{\tilde p/p}
\rho^{n-1}\rho^\alpha\,d\rho
\right)^{1/\tilde p}
\right)^q
\frac{dr}{r}
\right)^{1/q}.
\end{aligned}
\]
The paper also gives separate endpoint formulas for \(q=\infty\), \(\tilde p=\infty\), and \(p=\infty\). The complementary space
\[
{}^cLML_{rad}^{\tilde p,\lambda,q}L_{ang}^p(\mathbb R^n,|x|^\alpha)
\]
is obtained by replacing the inner interval \((0,r)\) with \((r,\infty)\) [2509.26097].

This construction makes the three exponents play distinct roles. The exponent \(p\) measures spherical \(L^p\)-integrability on \(\mathbb S^{n-1}\), \(\tilde p\) measures radial accumulation with respect to \(\rho^{n+\alpha-1}d\rho\), and \(q\) controls the outer Morrey-type aggregation in the variable \(r\). The parameter \(\lambda\) is the local Morrey parameter, and \(\alpha\) is the power-weight exponent [2509.26097].

## 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 \(\tilde p=p=\infty\),
\[
\|f\|_{LML_{rad}^{\infty,\lambda,q}L_{ang}^{\infty}(\mathbb R^n,|x|^\alpha)}
=
\|f\|_{LM^\lambda_{\infty,q}(\mathbb R^n)},
\]
so the mixed radial-angular definition contains the local Morrey-type \(L^\infty\)-endpoint as a special case [2509.26097].

The local mixed radial-angular space is nontrivial precisely under the same condition as the classical local Morrey-type space:
\[
\lambda>0 \text{ if } q<\infty,
\qquad
\lambda\ge 0 \text{ if } q=\infty.
\]
For the complementary local theory, the sign pattern is reversed in the operator theorems:
\[
\lambda,\lambda_i<0 \text{ if } q<\infty,
\qquad
\lambda,\lambda_i\le 0 \text{ if } q=\infty.
\]
This sign reversal reflects the replacement of inner growth from the origin by tail control away from the origin [2509.26097].

The defining norm can be read as a Morrey refinement of the radial-angular \(L^{\tilde p}_{rad}L^p_{ang}\)-norm. The inner quantity
\[
\left(
\int_0^r
\left(
\int_{\mathbb S^{n-1}} |f(\rho\theta)|^p\,d\sigma(\theta)
\right)^{\tilde p/p}
\rho^{n+\alpha-1}\,d\rho
\right)^{1/\tilde p}
\]
is a radial-angular ball norm on \(B(0,r)\), while the outer factor \(r^{-\lambda}\) and the \(L^q(dr/r)\)-aggregation impose local Morrey-type control. This separates the radial averaging, the angular \(L^p\)-behavior, and the local Morrey growth/decay encoded by \(\lambda\) and \(q\) [2509.26097].

## 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
\[
\mathcal H_{\Phi,A}(f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}f(xA(y))\,dy,
\]
and the main scalar specializations are
\[
\mathcal H_\Phi(f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}f\!\left(\frac{x}{|y|}\right)\,dy,
\qquad
\widetilde{\mathcal H_\Phi}(f)(x)=\int_{\mathbb R^n}\frac{\Phi\!\left(\frac{x}{|y|}\right)}{|y|^n}f(y)\,dy.
\]
The multilinear operators are \(R_\Phi\), \(\widetilde{R_\Phi}\), \(S_\Phi\), and \(\widetilde{S_\Phi}\), where the \(R\)-family uses the product denominator \(\prod |u_i|^{n_i}\) and the \(S\)-family uses the joint size \(|\vec u|^{\sum n_i}\) [2509.26097].

For the linear operator \(\widetilde{\mathcal H_\Phi}\), if \(\Phi\) is nonnegative, locally integrable, and radial, then
\[
\|\widetilde{\mathcal H_\Phi}(f)\|_{LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p}
\le
C_{\Phi,1}\,
\|f\|_{LML_{rad}^{\tilde p,\lambda,q}L_{ang}^p}
\]
holds if and only if
\[
C_{\Phi,1}
=
\omega_n
\int_0^\infty
\frac{\Phi(t)}{t^{\lambda-\frac{n+\alpha}{\tilde p}+1}}\,dt
<\infty,
\]
and the operator norm is exactly \(C_{\Phi,1}\). For \(\mathcal H_\Phi\), the corresponding sharp criterion is
\[
C_{\Phi,2}
=
\int_{\mathbb R^n}
\frac{\Phi(y)}{|y|^{\,n-\frac{n+\alpha}{\tilde p}+\lambda}}\,dy
<\infty,
\]
again with exact norm identity [2509.26097].

The multilinear theory has the same exactness. Under
\[
\frac1p=\sum_{i=1}^m\frac1{p_i},
\qquad
\frac1{\tilde p}=\sum_{i=1}^m\frac1{\tilde p_i},
\qquad
\lambda=\sum_{i=1}^m\lambda_i,
\]
Theorems 2.3–2.6 give sharp bounds for
\[
R_\Phi,\ \widetilde{R_\Phi},\ S_\Phi,\ \widetilde{S_\Phi}
\]
from products of spaces
\[
\prod_{i=1}^m
LML_{rad}^{\tilde p_i,\lambda_i,(q\tilde p_i)/\tilde p}L_{ang}^{p_i}
\]
into
\[
LML_{rad}^{\tilde p,\lambda,q}L_{ang}^{p},
\]
with exact constants \(C_{\Phi,3},\dots,C_{\Phi,6}\). In the \(\tilde p=\infty\) regime the balance becomes
\[
\frac1q=\sum_{i=1}^m\frac1{q_i},
\]
and exactness is obtained under
\[
\lambda q=\lambda_i q_i.
\]
For the untilded \(R\)- and \(S\)-operators the kernel criteria are expressed by integrals against powers of \(|u_i|\) or \(|\vec u|\); for the tilded operators the sharp constants are written as radialized integrals in the variables \(t_i\) [2509.26097].

The paper also records explicit classical corollaries. The Hardy operator
\[
\mathcal H(f)(x)=\frac1{|B(0,|x|)|}\int_{B(0,|x|)}f(y)\,dy
\]
satisfies
\[
\|\mathcal H\|
=
\frac{n\tilde p}{n\tilde p+\lambda\tilde p-(n+\alpha)}
\]
when \(n\tilde p+\lambda\tilde p-(n+\alpha)>0\), while the dual Hardy operator
\[
\mathcal H^*(f)(x)=\int_{|y|>|x|}\frac{f(y)}{|B(0,|y|)|}\,dy
\]
has exact norm
\[
\|\mathcal H^*\|
=
\frac{n\tilde p}{n+\alpha-\lambda\tilde p}
\]
when \(0\le \lambda<\frac{n+\alpha}{\tilde p}\). Weighted Hardy-Littlewood average operators, weighted Cesàro operators, and their multilinear versions are obtained by special choices of \(\Phi\), again with necessary-and-sufficient integral criteria and exact operator norms [2509.26097].

## 4. Complementary local theory

The complementary local theory replaces radial accumulation from \(0\) to \(r\) by tail accumulation from \(r\) to \(\infty\). For \(0<p,\tilde p,q<\infty\),
\[
{}^cLML_{rad}^{\tilde p,\lambda,q}L_{ang}^{p}(\mathbb R^n, |x|^{\alpha})
\]
is defined by
\[
\left(
\int_0^\infty
\left(
\frac{1}{r^\lambda}
\left(
\int_r^\infty
\left(
\int_{\mathbb S^{n-1}} |f(\rho\theta)|^p\,d\sigma(\theta)
\right)^{\tilde p/p}
\rho^{n-1}\rho^\alpha\,d\rho
\right)^{1/\tilde p}
\right)^q
\frac{dr}{r}
\right)^{1/q},
\]
with the corresponding endpoint variants for \(q=\infty\), \(\tilde p=\infty\), and \(p=\infty\) [2509.26097].

The associated complementary multilinear operators are denoted
\[
\dot R_\Phi,\ \widetilde{\dot R_\Phi},\ \dot S_\Phi,\ \widetilde{\dot S_\Phi},
\]
and the sharp criteria mirror the local theory. The linear complementary results give exact norms
\[
C_{\Phi,7}
=
\omega_n\int_0^\infty \frac{\Phi(t)}{t^{\lambda-\frac{n+\alpha}{\tilde p}+1}}\,dt,
\qquad
C_{\Phi,8}
=
\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^{n-\frac{n+\alpha}{\tilde p}+\lambda}}\,dy,
\]
for \(\widetilde{\mathcal H_\Phi}\) and \(\mathcal H_\Phi\), respectively. The multilinear complementary constants \(C_{\Phi,9},\dots,C_{\Phi,12}\) are the tail analogues of \(C_{\Phi,3},\dots,C_{\Phi,6}\) [2509.26097].

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 \((0,r)\) to \((r,\infty)\), in the sign change for admissible \(\lambda\), and in the corresponding operator criteria [2509.26097].

## 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
\[
L^{p_2}_{|x|}L^{p_1}_\theta(\mathbb H^n)
\]
is defined by radial integration in \(r=|x|_h\) and angular integration on the homogeneous sphere \(S_{Q-1}\). 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 [2307.02029].

A second precursor is the Cartesian theory of local mixed Morrey-type spaces
\[
LM_{\vec p,\theta,w}(\mathbb R^n),
\qquad
\|f\|_{LM_{\vec p,\theta,w}}
=
\bigl\|\,w(r)\,\|f\|_{L_{\vec p}(Q(0,r))}\bigr\|_{L_\theta(0,\infty)},
\]
together with its power-weight form \(LM_{\vec p,\theta}^{\lambda}\). 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 [2209.06003].

A closely related line studies local and global mixed Morrey-type spaces
\[
LM^{\vec p,\theta}_w,\qquad GM^{\vec p,\theta}_w,
\]
again with coordinatewise mixed \(L^{\vec p}\)-norms on cubes \(Q(0,r)\) or \(Q(x,r)\). For fractional integrals \(I_\alpha\), that literature derives local estimates of the form
\[
\|I_\alpha f\|_{L^{\vec p_2}(Q(x,r))}
\lesssim
r^{\sum_i \frac1{p_{2i}}}
\int_r^\infty \|f\|_{L^{\vec p_1}(Q(x,t))}\frac{dt}{t^{\sigma+1}},
\]
and then reduces boundedness on \(LM^{\vec p,\theta}_w\) 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 [2102.01304].

Another transferable mechanism appears in the dyadic local and generalized Morrey theory on the torus. There the spaces
\[
LM_{p,q}^{\lambda}(\mathfrak T)
\quad\text{and}\quad
M_{p,q}^{\lambda}
\]
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 [2606.09270].

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 [2307.02029][2209.06003][2102.01304][2606.09270].

## 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 \(RB_{p,q}^{s,\tau}(\mathbb R^n)\), one has continuity on \(\mathbb R^n\setminus\{0\}\) under
\[
s>1/p
\quad\text{or}\quad
s=1/p,\ q\le1,
\]
and the Strauss-type pointwise estimate
\[
|f(x)|
\le
C\,\|f\|_{B_{p,q}^{s,\tau}}\,|x|^{\frac{1-n}{p}+n\tau}
\qquad (|x|\ge1)
\]
when \(\tau\in\big[0,\frac{n-1}{np}\big]\). In the Sobolev-Morrey case \(W_p^{m,u}\), this becomes
\[
|f(x)|
\le
C\,|x|^{\frac1p-\frac nu}\,\|f\|_{W_p^{m,u}}
\qquad (|x|\ge1)
\]
for radial \(f\), together with logarithmic behavior at the critical line near the origin [1303.4851].

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
\[
P_{j,k}=\{x:\ k2^{-j}\le |x|<(k+1)2^{-j}\}
\]
and on the shell multiplicity
\[
C(n,k)\asymp k^{n-1},
\]
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 [1303.4851].

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 [2509.26097][2209.06003][2102.01304][2606.09270].

In this sense, mixed radial-angular local Morrey-type spaces are best understood as a synthesis. 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 [2509.26097].

Source: https://www.emergentmind.com/topics/mixed-radial-angular-local-morrey-type-spaces