---
title: Matrix-Weighted Campanato Spaces
url: https://www.emergentmind.com/topics/matrix-weighted-campanato-spaces
type: topic
---

# Matrix-Weighted Campanato Spaces

Matrix-weighted Campanato spaces are vector-valued function spaces in which local oscillation is measured relative to a matrix \(A_p\) weight and its reducing operators. For \(p\in(0,\infty)\), \(q\in[1,\infty)\), \(s\in\mathbb Z_+\), and an \(A_p\)-matrix weight \(W\), the space \(\mathcal L_{p,q,s,W}\) consists of locally \(L^q\) functions whose deviation from vector-valued polynomials of degree at most \(s\) is uniformly controlled on cubes after normalization by a reducing operator \(A_Q\) [2508.15195]. In the scalar case this reproduces the classical weighted Campanato spaces. In the matrix setting, the role of reducing operators is central: they replace scalar averages, encode the local geometry and anisotropy of the weight, and provide the normalization needed for duality, atomic decompositions, and operator boundedness.

## 1. Definition, parameters, and normalization

Let \(n\) denote the dimension of the underlying space \(\mathbb R^n\), let \(m\) denote the dimension of the target space \(\mathbb C^m\), and let \(W\) be an \(m\times m\) matrix \(A_p\) weight, meaning a measurable function with values in non-negative definite, invertible, locally integrable matrices satisfying a matrix Muckenhoupt \(A_p\) condition [2508.15195]. For each cube \(Q\subset\mathbb R^n\), one fixes a reducing operator \(A_Q\), a positive definite matrix associated with \(W\).

The defining seminorm is
\[
\|\vec g\|_{\mathcal L_{p,q,s,W}}
:=
\sup_Q \inf_{\vec P\in(\mathcal P_s)^m}
|Q|^{\frac1{q'}-\frac1p}
\left(\int_Q \big|A_Q^{-1}[\vec g(x)-\vec P(x)]\big|^q\,dx\right)^{1/q},
\]
where \(q'\) is the Hölder conjugate of \(q\), and \((\mathcal P_s)^m\) is the space of vector-valued polynomials of degree at most \(s\) [2508.15195]. The infimum over \(\vec P\) implements Campanato’s polynomial subtraction mechanism; the matrix normalization \(A_Q^{-1}\) adapts this oscillation to the local behavior of the weight.

Two structural facts are immediate in the theory. First, the norm does not depend on the particular choice of reducing operators \(\{A_Q\}\), up to equivalence. Second, if \(\vec g\in(\mathcal P_s)^m\), then \(\|\vec g\|_{\mathcal L_{p,q,s,W}}=0\) [2508.15195]. Both facts are standard signatures of Campanato-type spaces: the seminorm measures oscillation modulo low-degree polynomials rather than absolute size.

| Symbol | Meaning | Role |
|---|---|---|
| \(p\) | Campanato/Hardy index | ranges \((0,1]\) for duality |
| \(q\) | local \(L^q\) parameter | oscillation integrability |
| \(s\) | polynomial degree | cancellation order |
| \(W\) | matrix \(A_p\) weight | determines geometry |
| \(A_Q\) | reducing operator | cube-wise normalization |

## 2. Reducing operators and matrix geometry

A family \(\{A_Q\}\) is a set of reducing operators of order \(p\) for \(W\) if
\[
|A_Q \vec z|
\sim
\left(\fint_Q |W^{1/p}(x)\vec z|^p\,dx\right)^{1/p}
\]
uniformly in \(Q\), for all \(\vec z\in\mathbb C^m\) [2508.15195]. This relation is the matrix analogue of scalar normalization by weighted averages. It allows the Campanato seminorm to measure oscillation in the local geometry induced by \(W\), rather than in a fixed Euclidean scale.

The same device appears across matrix-weighted analysis. In the Littlewood–Paley framework of Frazier and Roudenko, reducing operators satisfy
\[
c_1|A_Q \vec y|
\le
\left(\frac1{|Q|}\int_Q |W^{1/p}(x)\vec y|^p\,dx\right)^{1/p}
\le
c_2|A_Q \vec y|
\]
and can be used interchangeably with \(W\) in the definitions of matrix-weighted Triebel–Lizorkin and sequence spaces [1906.00149]. In particular, for \(1<p<\infty\), one has \(L^p(W)=\dot F^{0\,2}_p(W)\), and for \(k\in\mathbb N\), \(F^{k\,2}_p(W)\) coincides with the matrix-weighted Sobolev space \(L^p_k(W)\) [1906.00149]. These equivalences show that reducing operators are not ad hoc artifacts of Campanato theory; they are a recurrent normalization mechanism throughout the matrix-weighted function-space scale.

The operator-theoretic side exhibits the same geometry. In the matrix \(T1\) theory of Bickel and Wick, the matrix Carleson Embedding Theorem is only known for matrix \(A_2\) weights, and the embedding constant depends on the weight through
\[
B(W):=[W]_{R_2}[W]_{A_2},
\]
rather than only on a testing constant [1407.3819]. Their testing conditions, involving the action of an operator on bump functions \(\mathbf 1_I e\), are described as reminiscent of Campanato/BMO-type requirements. This is one of the clearest points at which the geometry of matrix weights directly modifies classical scalar theory.

## 3. Duality with matrix-weighted Hardy spaces

For \(p\in(0,1]\), matrix-weighted Campanato spaces arise as duals of matrix-weighted Hardy spaces. The Hardy space \(H_W^p\) is defined via the matrix-weighted grand non-tangential maximal function \((M^*_{1,N})_W^p(\vec f)\), and a \((p,q,s)_W\)-atom is a vector-valued function \(\vec a\) supported on a cube \(Q\), satisfying moment cancellation
\[
\int_{\mathbb R^n} x^\gamma \vec a(x)\,dx = 0
\quad\text{for all } |\gamma|\le s,
\]
together with the size condition
\[
\left(\int_Q |A_Q\vec a(x)|^q\,dx\right)^{1/q}
\le
|Q|^{1/q-1/p}
\]
[2508.15195].

The main duality theorem states that if \(p\in(0,1]\), \(q\in[1,\infty)\), \(s\in[\lfloor n(\frac1p-1)\rfloor,\infty)\cap\mathbb Z_+\), and \(W\in A_p\), then
\[
(H_W^p)^*=\mathcal L_{p,q,s,W}.
\]
More precisely, each \(\vec g\in\mathcal L_{p,q,s,W}\) defines a bounded linear functional
\[
L_g(\vec f)=\int_{\mathbb R^n} \vec f(x)\cdot \vec g(x)\,dx
\]
on finite atomic combinations, and every bounded linear functional on \(H_W^p\) arises in this way for a unique \(\vec g\in\mathcal L_{p,q,s,W}\) [2508.15195].

This duality stabilizes the parameter \(q\). If \(s_0:=\lfloor n(\frac1p-1)\rfloor\), then
\[
\mathcal L_{p,1,s_0,W}=\mathcal L_{p,q,s,W}
\]
up to norm equivalence for all permissible \(q\) [2508.15195]. The result places \(\mathcal L_{p,q,s,W}\) in the same role that classical Campanato spaces occupy in the unweighted and scalar-weighted Hardy-space theory, but with polynomial cancellation and local scaling governed by matrix averages rather than scalar ones.

## 4. Equivalent norms, atomic testing, and John–Nirenberg-type structure

The space \(\mathcal L_{p,q,s,W}\) admits several equivalent characterizations. One is projection-based: if \(\Pi_Q^s\) denotes the orthogonal projection onto polynomials of degree at most \(s\) over \(Q\), then
\[
\|\vec g\|_{\mathcal L_{p,q,s,W}}
\sim
\sup_Q
|Q|^{\frac1{q'}-\frac1p}
\left(\int_Q
\big|A_Q^{-1}[\vec g(x)-\Pi_Q^s\vec g(x)]\big|^q\,dx\right)^{1/q}
\]
[2508.15195]. This removes the explicit infimum over all polynomials and replaces it with a canonical local projection.

Another is a John–Nirenberg-type formulation. For any \(r\in[1,\infty)\), membership in \(\mathcal L_{p,q,s,W}\) is equivalent to finiteness of a norm built from
\[
W^{-\frac1{r'}}(x)\,A_Q^{\frac{p}{r'}-1}\,[\vec g(x)-\vec P(x)]
\]
inside the cube-wise \(L^r\) oscillation functional, with equivalent norms [2508.15195]. This asserts that the space is robust under a nontrivial change in the local integrability exponent, provided the normalization is adjusted by the weight and the reducing operator.

The atomic viewpoint gives a dual reformulation. The Campanato space norm is equivalent to testing against atoms, and the dual norm of a functional on \(H_W^p\) is equivalent to its action on atoms [2508.15195]. These equivalent descriptions are essential in applications: they connect local polynomial approximation, weighted oscillation, and Hardy-space duality in a single framework.

## 5. Calderón–Zygmund operators on matrix-weighted Campanato spaces

The operator theory for \(\mathcal L_{p,q,s,W}\) is formulated in terms of modified Calderón–Zygmund operators. The modification is needed because Campanato and Hardy spaces, especially for small \(p\), are not invariant under translation or polynomials. Accordingly, if \(K\) is an \((s,\delta)\)-standard kernel, the modified operator \(\widetilde T\) is defined by a local part plus a principal value integral with subtracted Taylor expansion, so that
\[
\widetilde T(x^\gamma)\in\mathcal P_s
\quad\text{for all } |\gamma|\le s
\]
[2508.15195].

The central boundedness criterion is exact. If \(p\in(0,\infty)\), \(q\in[1,\infty)\), \(s\ge \lceil n(1/p-1)\rceil\), \(W\in A_p\), and \(K\) is an \((s,\delta)\)-standard kernel, then
\[
\widetilde T \text{ is bounded on } \mathcal L_{p,q,s,W}
\quad\Longleftrightarrow\quad
T(x^\gamma)=0 \text{ for all } |\gamma|\le s
\]
[2508.15195]. The operator must vanish on polynomials of degree at most \(s\); no weaker cancellation condition is stated.

Via duality, this yields the corresponding Hardy-space theorem. For \(p\in(0,1]\), one has
\[
T \text{ is bounded on } H_W^p
\quad\Longleftrightarrow\quad
T^*(x^\gamma)=0 \text{ for all } |\gamma|\le s
\]
under the same structural conditions on \(s\), \(W\), and the kernel [2508.15195]. The Campanato and Hardy theories therefore form a matched pair: boundedness on one side is characterized by polynomial cancellation of \(T\), and boundedness on the dual side by polynomial cancellation of \(T^*\).

## 6. Relation to matrix-weighted BMO and little BMO

Matrix-weighted Campanato spaces are closely tied to matrix-weighted BMO. In the one-parameter setting, the space \(\mathrm{BMO}_W^p\) is defined by oscillation conditions of the form
\[
\sup_I \frac1{|I|}\int_I
\big|W^{1/p}(x)(B(x)-m_I B)V_I^{-1}\big|^p\,dx<\infty,
\]
with reducing operators \(V_I\) adapted to the weight [1507.04032]. That paper states that its BMO-type condition is essentially a matrix-weighted Campanato condition, and that the explicit formulas can be considered as matrix-weighted Campanato seminorms for the case \(\lambda=1\), i.e. BMO [1507.04032]. It also proves that, for \(1<p<\infty\), the commutator \([T,B]\) with any Riesz transform is bounded on \(L^p(W)\) if and only if \(B\in \mathrm{BMO}_W^p\).

The multi-parameter extension is provided by S. Kakaroumpas and O. Soler i Gibert, who develop two-matrix weighted little BMO in two parameters [2312.06414]. For biparameter matrix \(A_p\) weights \(U,V\), the two-matrix weighted little BMO norm is
\[
|B|_{\mathrm{bmo}(U,V,p)}
=
\sup_R
\left(
\frac1{|R|}
\int_R
\|V(x)^{1/p}(B(x)-(B)_R)U_R^{-1}\|^p\,dx
\right)^{1/p},
\]
with the supremum over rectangles \(R\subset\mathbb R^n\times\mathbb R^m\) and \(U_R\) a reducing operator [2312.06414]. The main structural theorem gives a variable-by-variable uniform equivalence between this two-parameter space and the corresponding one-parameter matrix-weighted BMO spaces on slices.

The same work makes the Campanato connection explicit at the level of interpretation. It states that little BMO spaces are matrix-weighted analogues of Campanato spaces; that the matrix-weighted BMO space \(\mathrm{BMO}(U,V,p)\) plays the role of a matrix-weighted Campanato space; and that the two-parameter little BMO space is a product or rectangular variant, more restrictive because the rectangles can be highly eccentric [2312.06414]. It also proves lower and upper bounds for commutators with product Riesz transforms and Journé operators in terms of the little BMO norm. A plausible implication is that matrix-weighted Campanato theory has both a polynomial-approximation formulation and a genuinely product-rectangular formulation, depending on whether the underlying geometry is one-parameter or multi-parameter.

## 7. Analytical infrastructure and broader function-space context

Several adjacent developments supply the analytic infrastructure for matrix-weighted Campanato spaces. The Littlewood–Paley theory of matrix-weighted Triebel–Lizorkin spaces furnishes wavelet and \(\varphi\)-transform characterizations, together with discrete sequence spaces in which cube-wise coefficients are normalized by \(W\) or by reducing operators \(\{A_Q\}\) [1906.00149]. The paper emphasizes that these sequence-space norms control the distribution of local oscillations and moments, a mechanism that is crucial for Campanato theory. It also observes that, for appropriate smoothness parameters, the Triebel–Lizorkin scale interpolates between \(L^p(W)\) and matrix-weighted Sobolev spaces, while Campanato spaces arise as limiting or endpoint cases.

On the operator side, the matrix \(T1\) theorems for well-localized operators show that boundedness between matrix-weighted \(L^2\) spaces is governed by testing conditions and a matrix Carleson Embedding Theorem, with constants depending on the geometry of the weight [1407.3819]. The construction of a Haar basis adapted to a matrix weight and the dependence of the embedding constant on \([W]_{R_2}[W]_{A_2}\) underline a persistent theme: noncommutativity changes not only definitions but also the quantitative structure of the theory.

Taken together, these results place matrix-weighted Campanato spaces at the intersection of local polynomial approximation, weight-adapted normalization, atomic Hardy-space duality, and weighted singular integral theory. The framework developed in the recent literature shows that reducing operators are the common language linking these domains, and that Campanato, BMO, Hardy, Triebel–Lizorkin, and commutator theories become mutually interpretable once the local geometry of a matrix weight is built into the norms [2508.15195].

Source: https://www.emergentmind.com/topics/matrix-weighted-campanato-spaces