Table of Contents
Fetching ...

Real-variable theory of matrix-weighted multi-parameter Besov--Triebel--Lizorkin-type spaces

Fan Bu, Yiqun Chen, Tuomas Hytönen, Dachun Yang, Wen Yuan

Abstract

We develop a comprehensive theory for a general class of multi-parameter function spaces of Besov-Triebel-Lizorkin type, with a matrix weight. We prove the equivalence of different quasi-norms, the identification of function and sequence spaces via the $\varphi$-transform, the boundedness of almost diagonal operators and multi-parameter singular integrals under minimal assumptions, molecular and wavelet characterisations, and Sobolev-type embedding theorems. We identify matrix-weighted $L^p$ spaces, Sobolev spaces, and multi-parameter BMO spaces as examples of our general scale of spaces. Thus, our result on the boundedness of multi-parameter singular integrals on these spaces is seen as an extension, with a different method, of a recent theorem of Domelevo et al. [J. Math. Anal. Appl. 2024] on matrix-weighted $L^p$ spaces. For this theory, we develop several tools of independent interest. Many previous results were restricted to integrability exponents $p\in(1,\infty)$, while Besov-Triebel-Lizorkin spaces naturally involve the full range $p\in(0,\infty)$. We extend the definition of multi-parameter $A_p$ matrix weights to $p\in(0,1]$ and establish their basic properties, culminating in the $L^p$-boundedness of a matrix-weighted strong maximal operator (suitably rescaled when $p\in(0,1]$) for all $p\in(0,\infty)$. For $p\in(1,\infty)$, this is due to Vuorinen [Adv. Math. 2024] by convex-set-valued techniques of Bownik and Cruz-Uribe [arXiv 2022; Math. Ann. (to appear)]; the lack of convexity requires us to develop a new approach that works for all $p\in(0,\infty)$. We also need and prove a multi-parameter extension of Carleson-type embeddings from Frazier and Roudenko [Math. Ann. 2021] but attributed by them to F. Nazarov. We prove the necessity of the conditions of the new embedding using a nontrivial elaboration of Carleson's classical counterexample [Mittag-Leffler Rep. 1974].

Real-variable theory of matrix-weighted multi-parameter Besov--Triebel--Lizorkin-type spaces

Abstract

We develop a comprehensive theory for a general class of multi-parameter function spaces of Besov-Triebel-Lizorkin type, with a matrix weight. We prove the equivalence of different quasi-norms, the identification of function and sequence spaces via the -transform, the boundedness of almost diagonal operators and multi-parameter singular integrals under minimal assumptions, molecular and wavelet characterisations, and Sobolev-type embedding theorems. We identify matrix-weighted spaces, Sobolev spaces, and multi-parameter BMO spaces as examples of our general scale of spaces. Thus, our result on the boundedness of multi-parameter singular integrals on these spaces is seen as an extension, with a different method, of a recent theorem of Domelevo et al. [J. Math. Anal. Appl. 2024] on matrix-weighted spaces. For this theory, we develop several tools of independent interest. Many previous results were restricted to integrability exponents , while Besov-Triebel-Lizorkin spaces naturally involve the full range . We extend the definition of multi-parameter matrix weights to and establish their basic properties, culminating in the -boundedness of a matrix-weighted strong maximal operator (suitably rescaled when ) for all . For , this is due to Vuorinen [Adv. Math. 2024] by convex-set-valued techniques of Bownik and Cruz-Uribe [arXiv 2022; Math. Ann. (to appear)]; the lack of convexity requires us to develop a new approach that works for all . We also need and prove a multi-parameter extension of Carleson-type embeddings from Frazier and Roudenko [Math. Ann. 2021] but attributed by them to F. Nazarov. We prove the necessity of the conditions of the new embedding using a nontrivial elaboration of Carleson's classical counterexample [Mittag-Leffler Rep. 1974].

Paper Structure

This paper contains 51 sections, 152 theorems, 985 equations, 1 algorithm.

Key Result

Proposition 2.2

If $\|\ \|$ is a quasi-norm (resp. quasi-seminorm) on $\mathbb F^m$, then there exists a positive definite (resp. semidefinite) matrix $A\in\mathbb F^{m\times m}$ such that, for every $x\in \mathbb F^m$, $\|x\|\sim |Ax|,$ where the positive equivalence constants depend only on $m$ and the quasi-tria

Theorems & Definitions (381)

  • Definition 2.1
  • Proposition 2.2
  • proof
  • Definition 2.3
  • Lemma 2.4
  • proof
  • Lemma 2.5
  • Remark 2.6
  • proof : Proof of Lemma \ref{['red Fub']}
  • Lemma 2.7
  • ...and 371 more