Local Multi-Norm Hardy Space

• Local multi-norm Hardy space is a local Hardy space on R^d defined using multi-norm structures with anisotropic dilations and marked partitions that bridge one-parameter and product theories.
• The space is characterized by equivalent descriptions via Littlewood–Paley square functions, Plancherel–Pólya variants, and local multi-norm Riesz transforms, ensuring robust L^1-equivalence.
• Its atomic decomposition and stability under singular integrals demonstrate that operators adapted to anisotropic metrics are bounded, offering a powerful framework for Calderón–Zygmund analysis.

Searching arXiv for the primary paper and closely related Hardy-space frameworks to ground the article in recent literature. arXiv search query: (Hejna et al., 12 Jul 2025) arXiv search query: "Littlewood-Paley square functions and the local Hardy space for Multi-Norm Structures on R^d" The local multi-norm Hardy space $h^1_{\mathbb E}(\mathbb R^d)$ is a local Hardy space determined by a multi-norm structure on $\mathbb R^d$, where several anisotropic dilation families interact through a standard matrix $\mathbb E$. In the formulation developed in "Littlewood-Paley square functions and the local Hardy space for Multi-Norm Structures on $\mathbb R^d$" (Hejna et al., 12 Jul 2025), the space is defined through Littlewood–Paley square functions attached to a frequency decomposition organized by admissible scales, cones, and marked partitions, and it admits equivalent descriptions by square functions, Plancherel–Pólya variants, local multi-norm Riesz transforms, and atoms. The resulting theory recovers the classical local Hardy space in the single-parameter isotropic case, while occupying an intermediate position between one-parameter and product Hardy theories.

1. Matrix geometry and multi-norm structures

The ambient space is $\mathbb R^d$ equipped with anisotropic one-parameter dilations

$$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$

and with a block decomposition

$$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$

where each factor is dilation-invariant. If $E_i\subset\{1,\dots,d\}$ is the coordinate index block for $\mathbb R^{d_i}$, then the homogeneous dimension and homogeneous norm on the $i$-th factor are

$\mathbb R^d$0

A standard matrix $\mathbb R^d$1 satisfies three conditions: $\mathbb R^d$2; $\mathbb R^d$3 for all $\mathbb R^d$4; and $\mathbb R^d$5 for $\mathbb R^d$6. These conditions encode the coupled anisotropies that distinguish the multi-norm setting from a product of unrelated one-parameter structures (Hejna et al., 12 Jul 2025).

Given $\mathbb R^d$7, one defines $\mathbb R^d$8 families of dilations on physical and frequency space,

$\mathbb R^d$9

together with the multi-norm gauges

$\mathbb E$0

The kernel class $\mathbb E$1 and multiplier class $\mathbb E$2 are controlled by these gauges. If $\mathbb E$3, then on $\mathbb E$4 it is represented by a smooth function $\mathbb E$5 satisfying

$\mathbb E$6

where

$\mathbb E$7

Dually, if $\mathbb E$8, then

$\mathbb E$9

Theorem 3.9 gives equivalent descriptions of $\mathbb R^d$0 and $\mathbb R^d$1 via dyadic decompositions in frequency space and via kernel expansions with prescribed cancellations aligned with $\mathbb R^d$2 and the dotted variables. This geometry is the structural substrate on which the local Hardy space is built.

2. Littlewood–Paley decomposition adapted to $\mathbb R^d$3

The frequency decomposition is organized by the logarithmic map

$\mathbb R^d$4

tubes $\mathbb R^d$5 around integer cubes $\mathbb R^d$6, and dyadic blocks $\mathbb R^d$7. The local Littlewood–Paley decomposition has the form

$\mathbb R^d$8

where $\mathbb R^d$9 is the set of admissible scales. The decomposition is refined by marked partitions

$\mathbb R^d$0

which encode dominance relations of components in the gauges $\mathbb R^d$1. Each marked partition determines a cone $\mathbb R^d$2 and a face $\mathbb R^d$3; the principal cone is $\mathbb R^d$4 (Hejna et al., 12 Jul 2025).

For $\mathbb R^d$5, Proposition 3.8.5 gives a quasi-product description of $\mathbb R^d$6. In qualitative form, each block behaves like a product of an annulus in the dotted variable $\mathbb R^d$7 and a ball in the remaining $\mathbb R^d$8-variables, at scales prescribed by $\mathbb R^d$9. This point is decisive: the frequency tiles are neither simple products of annuli nor single-parameter annuli, but are instead adapted to the dominance pattern imposed by $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$0.

Two kinds of Littlewood–Paley families are constructed. The tensor type starts from one-parameter families $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$1 in each $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$2, forms $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$3 as a product over $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$4, and imposes cancellations in dotted variables. The convolution type starts from families $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$5 adapted to $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$6 and defines

$$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$7

Both constructions satisfy reproducing formulas; for instance, in the tensor case,

$$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$8

For any Littlewood–Paley family $$\delta_t(x)=(t^{\lambda_1}x_1,\dots,t^{\lambda_d}x_d), \qquad \lambda_h>0,$$9, the associated square function is

$$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$0

Its local character is intrinsic: $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$1 indexes scales near $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$2, the blocks $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$3 are large away from the origin, the sums start at $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$4, and the unit ball $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$5 is retained. The main structural result is that these square functions are $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$6-equivalent. Theorem 5.1 proves the tensor-type equivalence, Theorems 6.2 and 6.4 compare convolution-type and tensor-type square functions, Theorem 6.11 identifies them with the full-parameter local convolution square function, and Theorem 7.1 proves equivalence with Plancherel–Pólya blockwise supremum variants.

3. Definition and elementary properties of $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$7

The local multi-norm Hardy space is defined by square functions: $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$8 Because of the $$\mathbb R^d=\mathbb R^{d_1}\times\cdots\times \mathbb R^{d_n},$$9-equivalence theorems, this definition is independent of the particular choice of $E_i\subset\{1,\dots,d\}$0. Low frequency $E_i\subset\{1,\dots,d\}$1 is handled by the inhomogeneous family, while the remaining blocks are supported away from the origin in frequency but near $E_i\subset\{1,\dots,d\}$2. The space is therefore local in the same sense as Goldberg’s theory: it measures small-scale oscillation while retaining an inhomogeneous low-frequency component (Hejna et al., 12 Jul 2025).

Several basic properties are immediate from the square-function construction. Theorem 8.1 shows

$E_i\subset\{1,\dots,d\}$3

Lemma 8.2 states that $E_i\subset\{1,\dots,d\}$4 is dense in $E_i\subset\{1,\dots,d\}$5. Proposition 8.4 proves invariance under multiplication by compactly supported smooth cutoffs, and Corollary 8.5 yields a partitioning argument. These facts confirm that the construction is genuinely local rather than merely inhomogeneous in a formal sense.

A common misidentification is to regard $E_i\subset\{1,\dots,d\}$6 as either a standard anisotropic Hardy space attached to one dilation or a pure product Hardy space. The paper explicitly places multi-norm structures between one-parameter and product theories: they capture compositions of Calderón–Zygmund operators adapted to distinct dilation families via the $E_i\subset\{1,\dots,d\}$7-geometry, and the marked partitions reflect anisotropic dominance across components, not independence. Unlike pure product theory, the multi-norm blocks $E_i\subset\{1,\dots,d\}$8 are coarser than products of annuli but finer than any single one-parameter decomposition.

4. Equivalent characterizations and atomic decomposition

The square-function definition is only one of several equivalent descriptions. Theorem 7.1 gives a Plancherel–Pólya characterization using dyadic rectangles in $E_i\subset\{1,\dots,d\}$9. Theorem 8.9 gives a Riesz-transform characterization: $\mathbb R^{d_i}$0 if and only if all convolutions

$\mathbb R^{d_i}$1

where $\mathbb R^{d_i}$2 are the local Calderón–Zygmund kernels characterizing $\mathbb R^{d_i}$3. Moreover,

$\mathbb R^{d_i}$4

This characterization links the abstract square-function norm to a concrete family of local singular integrals (Hejna et al., 12 Jul 2025).

The atomic theory is indexed by marked partitions $\mathbb R^{d_i}$5 and a parameter $\mathbb R^{d_i}$6. There are three atom types.

Type	Support and size	Cancellation
$\mathbb R^{d_i}$7	supported in a translate of $\mathbb R^{d_i}$8, $\mathbb R^{d_i}$9	none
$i$0	supported in $i$1, $i$2	$i$3
$i$4	special product atom on $i$5, $i$6	cancellation in each dotted variable $i$7

For $i$8, the supporting set is a dyadic rectangle at admissible scale $i$9, and dyadic rectangles coincide with dyadic cubes for the one-parameter dilations $\mathbb R^d$00. For $\mathbb R^d$01, the atoms are “special Chang–Fefferman atoms”: cancellations are in dotted coordinates, not whole blocks. The cancellation order is minimal—integral zero in the dotted variables—consistent with local $\mathbb R^d$02 frameworks, while higher cancellations enter the reproducing formulas rather than the atom definition.

Theorem 9.3 establishes the atomic decomposition: for any $\mathbb R^d$03, there exists $\mathbb R^d$04 such that every $\mathbb R^d$05 can be written

$\mathbb R^d$06

where each $\mathbb R^d$07 is an $\mathbb R^d$08-atom for some $\mathbb R^d$09, and

$\mathbb R^d$10

The proof uses the multi-norm Calderón reproducing formulas, Plancherel–Pólya square functions, and a multi-parameter Journé covering lemma. The converse inclusion is also proved: Theorem 11.7 and Proposition 11.9 show that every $\mathbb R^d$11-atom belongs to $\mathbb R^d$12 with a uniform norm bound.

5. Singular integrals, multipliers, and model cases

The space $\mathbb R^d$13 is stable under the singular integral operators naturally attached to the multi-norm geometry. Theorem 8.6 states that if $\mathbb R^d$14 is a multi-norm singular kernel, then

$\mathbb R^d$15

is bounded on $\mathbb R^d$16, with operator norm controlled by finitely many kernel constants from Definition 3.1. This makes $\mathbb R^d$17 the correct endpoint space for the local multi-norm Calderón–Zygmund class (Hejna et al., 12 Jul 2025).

A principal source of examples comes from compositions of operators adapted to distinct dilation families. Theorem 3.10, recalled from earlier work in Section 3.5, states that if $\mathbb R^d$18 are local smooth Calderón–Zygmund kernels adapted to $\mathbb R^d$19, $\mathbb R^d$20, then

$\mathbb R^d$21

In particular, compositions of $\mathbb R^d$22 Mihlin–Hörmander multipliers adapted to $\mathbb R^d$23 define operators bounded on $\mathbb R^d$24 via Theorem 8.6.

The theory includes several limiting and illustrative cases. When $\mathbb R^d$25 and $\mathbb R^d$26 acts isotropically, $\mathbb R^d$27, the multi-norm structure reduces to the standard local Hardy space $\mathbb R^d$28 in Goldberg’s sense; the square functions become classical inhomogeneous Littlewood–Paley square functions, and the atoms become local Goldberg atoms. At the other end, the two-dilation case already exhibits the essential geometry. If

$\mathbb R^d$29

then

$\mathbb R^d$30

and

$\mathbb R^d$31

The marked partitions are $\mathbb R^d$32, $\mathbb R^d$33, and $\mathbb R^d$34, with regions

$\mathbb R^d$35

$\mathbb R^d$36

The frequency space is partitioned into the unit square plus rectangles aligned with these regions, and the corresponding square functions impose cancellation in the dotted variables according to the marked partition.

6. Technical features, surrounding literature, and unsettled directions

The general $\mathbb R^d$37-dilation case is described as considerably harder than the recent $\mathbb R^d$38-dilation work, and the analysis proceeds through a systematic organization of frequency tiles by marked partitions and cones. Lemma 3.7 gives a tube cover of $\mathbb R^d$39 with controlled overlaps, Lemma 3.8 places admissible scales within bounded distance of the relevant cone, and the proofs of $\mathbb R^d$40-equivalence use high-order cancellation of the auxiliary families, “borrowing” decay across coordinates to dominate mixed interactions, and vector-valued Fefferman–Stein inequalities. The Plancherel–Pólya comparison is obtained by dyadic rectangles, while the atomic theorem relies on a multi-parameter Journé covering lemma and the Carbery–Seeger proposition from the “journe” section (Hejna et al., 12 Jul 2025).

The broader Hardy-space landscape shows several parallel local theories, but they encode locality in different ways. Anisotropic mixed-norm Hardy spaces $\mathbb R^d$41 are defined by anisotropic grand maximal functions and admit atomic and Campanato dual descriptions (Huang et al., 2018). Local Musielak–Orlicz Hardy spaces $\mathbb R^d$42 and weighted local Orlicz–Hardy spaces $\mathbb R^d$43 are defined by local grand maximal functions, admit atomic decompositions, and have local $\mathbb R^d$44-type duals (Yang et al., 2011, Yang et al., 2011). Local Hardy spaces associated with ball quasi-Banach spaces and non-negative self-adjoint operators use local Lusin area functions together with low-frequency control, and mixed-norm local Hardy spaces appear იქ in the operator-adapted setting (Liu et al., 5 Mar 2025), while multilinear pseudo-differential operators are studied on local Hardy spaces associated with ball quasi-Banach function spaces, including local mixed-norm Hardy spaces $\mathbb R^d$45 (Tan, 30 Mar 2025). These comparisons suggest that the local multi-norm Hardy space belongs to a wider family of local endpoint constructions, but its distinctive feature is the $\mathbb R^d$46-driven interaction of several anisotropies through marked partitions and dotted-variable cancellation rather than through a single anisotropic metric, a Musielak–Orlicz modular, or an operator semigroup.

One notable omission is duality. The paper develops a characterization via local multi-norm Riesz transforms, but it does not state explicitly the identification of $\mathbb R^d$47 with a local $\mathbb R^d$48-type space. The techniques and references suggest such a duality is plausible; however, it is not claimed as a theorem. In that sense, the theory is structurally complete at the level of square functions, atoms, and singular integrals, while the dual endpoint picture remains an evident direction for further development.