--- title: Multilinear Hausdorff Operators url: https://www.emergentmind.com/topics/multilinear-hausdorff-operators type: topic --- # Multilinear Hausdorff Operators 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\) [1903.03915]. 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 [1705.02548] [1203.2967]. ## 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 \(\Phi(y)=\varphi(y)\chi_{[0,1]^n}(y)\), this reduces to the weighted multilinear Hardy-Cesàro operator \[ U_{\varphi,\vec s}(\vec f)(x)=\int_{[0,1]^n}\prod_{i=1}^m f_i(s_i(t)x)\,\varphi(t)\,dt \] [1903.03915]. Several later papers broaden the class of multilinear Hausdorff-type operators. The 2025 mixed radial-angular theory studies four multilinear models, \[ R_\Phi,\quad \widetilde R_\Phi,\quad S_\Phi,\quad \widetilde S_\Phi, \] distinguished by whether the denominator is \(\prod_i |u_i|^{n_i}\) or \(|\vec u|^{\sum_i n_i}\), and whether scaling acts on the inputs or on the kernel [2509.26097]. In the \(p\)-adic setting, a genuinely multilinear matrix Hausdorff operator is \[ \mathcal H_{\Phi,\vec A}^{\,p}(\vec f)(x) = \int_{\mathbb Q_p^n}\frac{\Phi(y)}{|y|_p^n}\, \prod_{i=1}^m f_i\bigl(A_i(y)x\bigr)\,dy, \qquad x\in\mathbb Q_p^n, \] with a parallel commutator theory [1810.06896]. | Setting | Representative operator | Representative paper | |---|---|---| | Euclidean matrix model | \(\mathcal H_{\Phi,\vec A}\) | [1903.03915] | | \(p\)-adic matrix model | \(\mathcal H_{\Phi,\vec A}^{\,p}\) | [1810.06896] | | Mixed radial-angular model | \(R_\Phi,\widetilde R_\Phi,S_\Phi,\widetilde S_\Phi\) | [2509.26097] | ## 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 \[ v(x)=|x|^\beta,\qquad w(x)=|x|^\gamma,\qquad v_i(x)=|x|^{\beta_i},\qquad w_i(x)=|x|^{\gamma_i}, \] the paper “Two Weighted estimates for multilinear Hausdorff Operators on the Morrey-Herz Spaces” establishes necessary and sufficient conditions for boundedness of \(\mathcal H_{\Phi,\vec A}\) on products of these spaces [1903.03915]. For two weighted central Morrey spaces, boundedness is governed by \[ \mathcal C_1 = \int_{\mathbb R^n} \frac{\Phi(y)}{|y|^n} \prod_{i=1}^m \|A_i^{-1}(y)\|^{-(\beta_i+n)\lambda_i+(\gamma_i-\beta_i)/q_i}\,dy. \] Under the balance conditions \[ \sum_{i=1}^m \frac1{q_i}=\frac1q,\qquad \frac{\gamma_1}{q_1}+\cdots+\frac{\gamma_m}{q_m}=\frac{\gamma}{q}, \qquad \frac{n+\beta_1}{n+\beta}\lambda_1+\cdots+\frac{n+\beta_m}{n+\beta}\lambda_m=\lambda, \] \(\mathcal C_1<\infty\) is sufficient; if \(\Phi\) is a real function with constant sign, it is also necessary, and the operator norm is equivalent to \(\mathcal C_1\) [1903.03915]. For two weighted Herz spaces, the corresponding quantity is \[ \mathcal C_2 = \int_{\mathbb R^n} \frac{\Phi(y)}{|y|^n} \prod_{i=1}^m \|A_i^{-1}(y)\|^{(1+\beta_i/n)\alpha_i+(\gamma_i-\beta_i)/(nq_i)}\,dy, \] and for two weighted Morrey-Herz spaces it is \[ \mathcal C_3 = \int_{\mathbb R^n} \frac{\Phi(y)}{|y|^n} \prod_{i=1}^m \|A_i^{-1}(y)\|^{(1+\beta_i/n)\alpha_i-(1+\beta_i/n)\lambda_i+(\gamma_i-\beta_i)/(nq_i)}\,dy. \] In both cases the power-weight theory again gives necessary and sufficient conditions, together with operator norm equivalences, under the corresponding parameter-balance identities [1903.03915]. The matrix geometry is controlled by \[ \rho_{\vec A}:=\operatorname*{ess\,sup}_{t\in\mathbb R^n,\ i=1,\dots,m}\|A_i(t)\|\,\|A_i^{-1}(t)\|<\infty, \] which implies \[ \|A_i(t)\|^\eta \lesssim \|A_i^{-1}(t)\|^{-\eta}, \qquad |A_i(t)x|^\eta \gtrsim \|A_i^{-1}(t)\|^{-\eta}|x|^\eta. \] These estimates permit dyadic-shell control in Herz and Morrey-Herz spaces and reduce the scalar case \(A_i(y)=s_i(y)I_n\) to explicit powers of \(|s_i(y)|\) [1903.03915]. In the Muckenhoupt-weight setting, the same paper proves sufficient conditions on these spaces in terms of \(A_q\), reverse Hölder indices, \(|\det A_i^{-1}(y)|\), and piecewise factors depending on whether \(\|A_i(y)\|<1\) or \(\|A_i(y)\|\ge 1\). The power-weight results are sharp; the Muckenhoupt results are only sufficient [1903.03915]. ## 3. \(p\)-adic multilinear operators and commutators The \(p\)-adic theory replaces Euclidean dilation by non-Archimedean scaling. On \(\mathbb Q_p^n\), the norm is \[ |x|_p=\max_{1\le j\le n}|x_j|_p, \] and the matrix norm is \[ \|A\|_p:=\max_{1\le i,j\le n}|a_{ij}|_p. \] The paper “Weighted Lebesgue and central Morrey estimates for p-adic multilinear Hausdorff operators and its commutators” studies \[ \mathcal H_{\Phi,\vec A}^{\,p}(\vec f)(x) = \int_{\mathbb Q_p^n}\frac{\Phi(y)}{|y|_p^n}\, \prod_{i=1}^m f_i\bigl(A_i(y)x\bigr)\,dy \] and the commutator \[ \mathcal H_{\Phi,\vec A,\vec b}^{\,p}(\vec f)(x) = \int_{\mathbb Q_p^n}\frac{\Phi(y)}{|y|_p^n} \prod_{i=1}^m \bigl(b_i(x)-b_i(A_i(y)x)\bigr) \prod_{i=1}^m f_i\bigl(A_i(y)x\bigr)\,dy \] [1810.06896]. For power weights \(\omega_i(x)=|x|_p^{\alpha_i}\), \(\omega(x)=|x|_p^\alpha\), the weighted Lebesgue boundedness criterion is sharp: \[ \mathcal C_1 := \int_{\mathbb Q_p^n}\frac{\Phi(y)}{|y|_p^n} \prod_{i=1}^m \|A_i^{-1}(y)\|_p^{\frac{\alpha_i+n}{q_i}}\,dy<\infty \] if and only if \[ \mathcal H_{\Phi,\vec A}^{\,p}: L_{\omega_1}^{q_1}(\mathbb Q_p^n)\times\cdots\times L_{\omega_m}^{q_m}(\mathbb Q_p^n)\to L_\omega^{q}(\mathbb Q_p^n) \] is bounded, and the norm is equivalent to \(\mathcal C_1\) [1810.06896]. The central Morrey analogue is also sharp: \[ \mathcal C_3 := \int_{\mathbb Q_p^n}\frac{\Phi(y)}{|y|_p^n} \prod_{i=1}^m \|A_i^{-1}(y)\|_p^{(\alpha_i+n)(\frac1{q_i}+\lambda_i)}\,dy<\infty \] if and only if \[ \mathcal H_{\Phi,\vec A}^{\,p}: \dot B_{\omega_1}^{q_1,\lambda_1}(\mathbb Q_p^n)\times\cdots\times \dot B_{\omega_m}^{q_m,\lambda_m}(\mathbb Q_p^n)\to \dot B_\omega^{q,\lambda}(\mathbb Q_p^n) \] is bounded [1810.06896]. A further extension introduces a \(p\)-adic rough multilinear Hausdorff operator with angular factor \(\Omega:S_0\to\mathbb C\), \[ \mathcal{H}^{p}_{\Phi,\Omega}(\vec f)(x) = \sum_{\gamma\in\mathbb Z} \frac{\Phi(p^\gamma)}{p^\gamma} \int_{S_0} \Omega(y) \prod_{i=1}^m f_i\bigl(p^\gamma |x|_p^{-1} y\bigr)\,dy, \] 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 [1812.11848]. ## 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 [2509.26097]. The basic space \[ LML_{rad}^{\tilde p,\lambda,q}L_{ang}^{p}(\mathbb R^n,|x|^\alpha) \] combines an \(L^p\)-norm on \(\mathbb S^{n-1}\), an \(L^{\tilde p}\)-norm in the radial variable with weight \(\rho^{n-1}\rho^\alpha\), and a local Morrey factor \(r^{-\lambda}\). The complementary space \[ {}^{c}LML_{rad}^{\tilde p,\lambda,q}L_{ang}^{p}(\mathbb R^n,|x|^\alpha) \] replaces radial integration over \((0,r)\) by \((r,\infty)\) [2509.26097]. Within this framework the paper studies \[ R_\Phi,\quad \widetilde R_\Phi,\quad S_\Phi,\quad \widetilde S_\Phi, \] as well as complementary variants \[ \dot R_\Phi,\quad \widetilde{\dot R_\Phi},\quad \dot S_\Phi,\quad \widetilde{\dot S_\Phi}. \] Its central claim is that the boundedness criteria are sharp: the exact integral conditions on \(\Phi\) are both sufficient and necessary, and in the main cases they equal the operator norms [2509.26097]. For the linear prototype \(\mathcal H_\Phi\), the exact criterion is \[ C_{\Phi,2} = \int_{\mathbb R^n} \frac{\Phi(y)}{|y|^{\,n-\frac{n+\alpha}{\tilde p}+\lambda}}\,dy<\infty, \] with \[ \|\mathcal H_\Phi\| = C_{\Phi,2}. \] For the multilinear operator \(R_\Phi\), one sharp constant is \[ C_{\Phi,3} = \int_{\mathbb R^{n_m}}\cdots\int_{\mathbb R^{n_1}} \frac{\Phi(\vec u)} {\prod_{i=1}^m |u_i|^{n_i}\prod_{i=1}^m |u_i|^{\frac{n+\alpha}{\tilde p_i}-\lambda_i}} \,d\vec u, \] 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, \] and the operator norm equals \(C_{\Phi,3}\) if additionally \[ \lambda p=\lambda_i p_i,\qquad i=1,\dots,m. \] The operators \(\widetilde R_\Phi\), \(S_\Phi\), and \(\widetilde S_\Phi\) have parallel exact constants, with \(\widetilde S_\Phi\) involving the characteristic kernel \[ \Phi\!\left(\frac{\prod_{i=1}^m t_i}{\sqrt{\sum_{i=1}^m t_i^2}}\right) \] after polar reduction [2509.26097]. 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 \(\Phi\) [2509.26097]. ## 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 \[ (H_{\Phi,A}f)(x)=\int_\Omega \Phi(u)\, f(A(u)(x))\,d\mu(u), \] where \(A(u)\) is a measurable family of automorphisms. In this setting the paper gives sufficient \(L^p\)-boundedness under \[ \|\Phi\|_{A,p}=\int_\Omega |\Phi(u)|\,m(A(u))^{-1/p}\,d\mu(u)<\infty \] and boundedness on atomic Hardy space \(H^{1,q}\) via a geometric distortion factor \(k(u)\) and the doubling exponent \(s=\log_2 C_\nu\) [2308.02388]. On homogeneous spaces \(G/K\), Mirotin also proves \(L^p\)- and Hardy-space boundedness for quotient-space Hausdorff operators induced by \(K\)-preserving automorphisms [2006.03281]. Other linear theories emphasize specific function spaces or spectral features. Guo–Luo–Zhao establish that matrix dilation on modulation spaces satisfies \[ \|D_A\|_{M^{p,q}\to M^{p,q}} \asymp \prod_{j=1}^d T_{p,q}(\lambda_j), \qquad T_{p,q}(\lambda)=\max\{\lambda^{-1/p},\lambda^{1/q-1},\lambda^{-2/p+1/q}\}, \] and derive Hausdorff-operator boundedness on \(M^{p,q}\) from singular-value conditions [2111.08530]. Mirotin shows that a nonzero Hausdorff operator with a commuting family of real self-adjoint perturbation matrices is non-Riesz on \(L^p(\mathbb R^n)\), using simultaneous diagonalization, hyperoctant decomposition, and Mellin-symbol calculus [2009.03685]. Additional linear settings include the unit disc, where Hausdorff operators are built from involutive Möbius automorphisms \(\varphi_w(z)=\frac{w-z}{1-\overline wz}\) and studied on Bloch, Bergman, and Hardy spaces [2101.05227], and the Heisenberg group, where high-dimensional Hausdorff operators with a general linear mapping \(A\) have sharp power-weighted Morrey estimates and commutator bounds [1712.10328]. By contrast, on a large family of quasi-Banach spaces, nonzero linear Hausdorff operators are unbounded unless they vanish identically; this holds for \(h^p\), \(F^s_{p,q}\), \(B^s_{p,q}\), and \(M^{s,q}_p\) when \(0