Multilinear Hausdorff Operators

• Multilinear Hausdorff operators are integral operators that average products of transformed inputs using a measurable kernel, extending classical Hausdorff operators to a multilinear framework.
• They are analyzed via sharp boundedness criteria on various spaces including Morrey, Herz, and p-adic Lebesgue spaces, with power-weight and Muckenhoupt settings playing key roles.
• Recent studies explore mixed radial-angular formulations and advanced commutator theories, providing exact norm evaluations and applications in a broad operator-theoretic context.

Searching arXiv for recent and foundational papers on multilinear Hausdorff operators and closely related variants. Multilinear Hausdorff operators are multilinear integral operators that average products of transformed inputs against a kernel. A standard Euclidean model is

$$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,\qquad x\in\mathbb R^n,$$

where $\vec f=(f_1,\dots,f_m)$, $\Phi$ is measurable, and each $A_i(y)$ is invertible almost everywhere on $\operatorname{supp}\Phi$ (Chuong et al., 2019). The literature develops weighted boundedness, sharp norm criteria, $p$-adic analogues, commutators, and mixed radial-angular refinements. At the same time, the term “Hausdorff” is used in adjacent but distinct senses, including multi-parameter linear operators and the multilinear Hausdorff moment problem (Huy et al., 2017, Ibort et al., 2012).

1. Definitions and principal models

In the Euclidean multilinear theory, the core operator is

$$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$

with the standing assumption

$$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$

A basic scalar specialization is

$A_i(y)=s_i(y)I_n,$

which yields

$$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$

If $\vec f=(f_1,\dots,f_m)$0, this reduces to the weighted multilinear Hardy-Cesàro operator

$\vec f=(f_1,\dots,f_m)$1

(Chuong et al., 2019).

Several later papers broaden the class of multilinear Hausdorff-type operators. The 2025 mixed radial-angular theory studies four multilinear models,

$\vec f=(f_1,\dots,f_m)$2

distinguished by whether the denominator is $\vec f=(f_1,\dots,f_m)$3 or $\vec f=(f_1,\dots,f_m)$4, and whether scaling acts on the inputs or on the kernel (Liu et al., 30 Sep 2025). In the $\vec f=(f_1,\dots,f_m)$5-adic setting, a genuinely multilinear matrix Hausdorff operator is

$\vec f=(f_1,\dots,f_m)$6

with a parallel commutator theory (Chuong et al., 2018).

Setting	Representative operator	Representative paper
Euclidean matrix model	$\vec f=(f_1,\dots,f_m)$7	(Chuong et al., 2019)
$\vec f=(f_1,\dots,f_m)$8-adic matrix model	$\vec f=(f_1,\dots,f_m)$9	(Chuong et al., 2018)
Mixed radial-angular model	$\Phi$0	(Liu et al., 30 Sep 2025)

2. Euclidean weighted theory on Morrey, Herz, and Morrey-Herz scales

A central development is the two-weight theory on central Morrey, Herz, and Morrey-Herz spaces. For power weights

$\Phi$1

the paper “Two Weighted estimates for multilinear Hausdorff Operators on the Morrey-Herz Spaces” establishes necessary and sufficient conditions for boundedness of $\Phi$2 on products of these spaces (Chuong et al., 2019).

For two weighted central Morrey spaces, boundedness is governed by

$\Phi$3

Under the balance conditions

$\Phi$4

$\Phi$5 is sufficient; if $\Phi$6 is a real function with constant sign, it is also necessary, and the operator norm is equivalent to $\Phi$7 (Chuong et al., 2019).

For two weighted Herz spaces, the corresponding quantity is

$\Phi$8

and for two weighted Morrey-Herz spaces it is

$\Phi$9

In both cases the power-weight theory again gives necessary and sufficient conditions, together with operator norm equivalences, under the corresponding parameter-balance identities (Chuong et al., 2019).

The matrix geometry is controlled by

$A_i(y)$0

which implies

$A_i(y)$1

These estimates permit dyadic-shell control in Herz and Morrey-Herz spaces and reduce the scalar case $A_i(y)$2 to explicit powers of $A_i(y)$3 (Chuong et al., 2019).

In the Muckenhoupt-weight setting, the same paper proves sufficient conditions on these spaces in terms of $A_i(y)$4, reverse Hölder indices, $A_i(y)$5, and piecewise factors depending on whether $A_i(y)$6 or $A_i(y)$7. The power-weight results are sharp; the Muckenhoupt results are only sufficient (Chuong et al., 2019).

3. $A_i(y)$8-adic multilinear operators and commutators

The $A_i(y)$9-adic theory replaces Euclidean dilation by non-Archimedean scaling. On $\operatorname{supp}\Phi$0, the norm is

$\operatorname{supp}\Phi$1

and the matrix norm is

$\operatorname{supp}\Phi$2

The paper “Weighted Lebesgue and central Morrey estimates for p-adic multilinear Hausdorff operators and its commutators” studies

$\operatorname{supp}\Phi$3

and the commutator

$\operatorname{supp}\Phi$4

(Chuong et al., 2018).

For power weights $\operatorname{supp}\Phi$5, $\operatorname{supp}\Phi$6, the weighted Lebesgue boundedness criterion is sharp: $\operatorname{supp}\Phi$7 if and only if

$\operatorname{supp}\Phi$8

is bounded, and the norm is equivalent to $\operatorname{supp}\Phi$9 (Chuong et al., 2018). The central Morrey analogue is also sharp: $p$0 if and only if

$p$1

is bounded (Chuong et al., 2018).

A further extension introduces a $p$2-adic rough multilinear Hausdorff operator with angular factor $p$3,

$p$4

together with a Coifman–Rochberg–Weiss type commutator. This rough theory is developed on weighted Herz, central Morrey, and Morrey-Herz spaces with power weights and Muckenhoupt weights, and the boundedness of the commutators is established with symbols in central BMO space (Chuong et al., 2018).

4. Mixed radial-angular local Morrey-type theory

The paper “Sharp Bounds for the multilinear Hausdorff operators on mixed radial-angular local Morrey-type spaces” shifts the focus from purely radial scales to mixed radial-angular norms (Liu et al., 30 Sep 2025). The basic space

$p$5

combines an $p$6-norm on $p$7, an $p$8-norm in the radial variable with weight $p$9, and a local Morrey factor $$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$0. The complementary space

$$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$1

replaces radial integration over $$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$2 by $$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$3 (Liu et al., 30 Sep 2025).

Within this framework the paper studies

$$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$4

as well as complementary variants

$$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$5

Its central claim is that the boundedness criteria are sharp: the exact integral conditions on $$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$6 are both sufficient and necessary, and in the main cases they equal the operator norms (Liu et al., 30 Sep 2025).

For the linear prototype $$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$7, the exact criterion is

$$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$8

with

$$\mathcal H_{\Phi,\vec A}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(A_i(y)x)\,dy,$$9

For the multilinear operator $$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$0, one sharp constant is

$$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$1

under

$$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$2

and the operator norm equals $$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$3 if additionally

$$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$4

The operators $$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$5, $$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$6, and $$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$7 have parallel exact constants, with $$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$8 involving the characteristic kernel

$$\det A_i(y)\neq 0 \quad \text{for a.e. } y \in \operatorname{supp}\Phi.$$9

after polar reduction (Liu et al., 30 Sep 2025).

These results recover exact norms for linear and multilinear Hardy, dual Hardy, Hardy-Littlewood average, and Cesàro operators as special cases, again by choosing specific kernels $A_i(y)=s_i(y)I_n,$0 (Liu et al., 30 Sep 2025).

5. Broader operator-theoretic frameworks

Several papers develop linear Hausdorff theories that function as ambient frameworks for multilinear extensions. Mirotin’s “On a general concept of a Hausdorff-type operator” proposes the abstract model

$A_i(y)=s_i(y)I_n,$1

where $A_i(y)=s_i(y)I_n,$2 is a measurable family of automorphisms. In this setting the paper gives sufficient $A_i(y)=s_i(y)I_n,$3-boundedness under

$A_i(y)=s_i(y)I_n,$4

and boundedness on atomic Hardy space $A_i(y)=s_i(y)I_n,$5 via a geometric distortion factor $A_i(y)=s_i(y)I_n,$6 and the doubling exponent $A_i(y)=s_i(y)I_n,$7 (Mirotin, 2023). On homogeneous spaces $A_i(y)=s_i(y)I_n,$8, Mirotin also proves $A_i(y)=s_i(y)I_n,$9- and Hardy-space boundedness for quotient-space Hausdorff operators induced by $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$0-preserving automorphisms (Mirotin, 2020).

Other linear theories emphasize specific function spaces or spectral features. Guo–Luo–Zhao establish that matrix dilation on modulation spaces satisfies

$$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$1

and derive Hausdorff-operator boundedness on $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$2 from singular-value conditions (Guo et al., 2021). Mirotin shows that a nonzero Hausdorff operator with a commuting family of real self-adjoint perturbation matrices is non-Riesz on $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$3, using simultaneous diagonalization, hyperoctant decomposition, and Mellin-symbol calculus (Mirotin, 2020).

Additional linear settings include the unit disc, where Hausdorff operators are built from involutive Möbius automorphisms $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$4 and studied on Bloch, Bergman, and Hardy spaces (Mirotin, 2021), and the Heisenberg group, where high-dimensional Hausdorff operators with a general linear mapping $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$5 have sharp power-weighted Morrey estimates and commutator bounds (Ruan et al., 2017). By contrast, on a large family of quasi-Banach spaces, nonzero linear Hausdorff operators are unbounded unless they vanish identically; this holds for $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$6, $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$7, $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$8, and $$\mathcal H_{\Phi,\vec s}(\vec f)(x)=\int_{\mathbb R^n}\frac{\Phi(y)}{|y|^n}\prod_{i=1}^m f_i(s_i(y)x)\,dy.$$9 when $\vec f=(f_1,\dots,f_m)$00 (Guo et al., 2020). A plausible implication is that multilinear quasi-Banach extensions require unusually rigid structure.

6. Terminology, boundary cases, and conceptual distinctions

The phrase “multilinear Hausdorff operators” is not uniform across the literature. One recurring misconception is to treat all “Hausdorff” papers with several parameters or several variables as belonging to the same operator class. The paper “The multi-parameter Hausdorff operators on $\vec f=(f_1,\dots,f_m)$01 and $\vec f=(f_1,\dots,f_m)$02” studies

$\vec f=(f_1,\dots,f_m)$03

but this operator is linear in $\vec f=(f_1,\dots,f_m)$04; “multi-parameter” refers to coordinatewise dilations, not multilinearity in several input functions (Huy et al., 2017). Its exact $\vec f=(f_1,\dots,f_m)$05 and $\vec f=(f_1,\dots,f_m)$06 norm formulas are foundational for product-type Hausdorff analysis, but they do not define a multilinear operator in the usual sense.

A second misconception concerns the multilinear Hausdorff moment problem. The paper “On the multilinear Hausdorff problem of moments” is not about Hausdorff operators of the form

$\vec f=(f_1,\dots,f_m)$07

or their multilinear analogues. It studies when a multi-index sequence is representable by a polymeasure on $\vec f=(f_1,\dots,f_m)$08 or by a single measure on $\vec f=(f_1,\dots,f_m)$09, with weak boundedness characterizing the weak multilinear Hausdorff problem and a Hankel condition characterizing the strong one (Ibort et al., 2012). The shared word “Hausdorff” comes from the classical moment problem on $\vec f=(f_1,\dots,f_m)$10, not from operator theory.

These distinctions matter because the operator-theoretic multilinear literature is centered on products of transformed inputs, typically of the form

$\vec f=(f_1,\dots,f_m)$11

whereas adjacent “Hausdorff” literatures may instead concern coordinatewise linear operators, moment representation, or general automorphism averages. The modern subject therefore combines a stable core—multilinear averages of transformed inputs—with several neighboring traditions that supply techniques, notation, and occasional terminological ambiguity (Chuong et al., 2019, Liu et al., 30 Sep 2025).