A PDE CHARACTERIZATION OF ANISOTROPIC HARDY SPACES MARCIN BOWNIK AND LI-AN DANIEL WANG Hp Abstract. We obtain a differential characterization for the anisotropic Hardy space A by identifying it with a parabolic Hardy space associated with a general continuous group. This Hp allows A to be defined using a parabolic differential equation of Cald´eron and Torchinsky. We also provide a classification of dilations corresponding to equivalent anisotropic Hardy spaces with respect to linear transformations. 1. Introduction and Main Results Classically, Hardy spaces Hp can be characterized as boundary values to the heat or Poisson equations whose associated maximal operators are in Lp, and these kernels are fun- damental solutions to the heat and Dirichlet equations, respectively. Even as the work of Fefferman and Stein [12] led to the versatile employment of the grand maximal function, the study of Hardy spaces associated with various differential operators continue unabated, with each setting introducing its challenges as well as limitations in the various equivalent formulations of a classical Hardy space. To name just a few reference works, we have Hardy spaces associated with an operator L satisfying a pointwise heat kernel bounds [11], satis- fying an off-diagonal estimates [1], associated to divergence form elliptic operators [15], the Davies-Gaffney estimates [14], and reinforced off-diagonal estimates [5]. These are further generalized in the settings of weighted Hardy spaces [16, 17], Gaussian Hardy spaces [18], and variable exponent Hardy [22] among many other contributions. Amongst all this activity, the anisotropic Hardy space [2] appears to be an outlier. With its formulation grounded in maximal, atomic, and molecular characterizations, and the fact that the scale of the dilation employed in these characterizations is discrete, the anisotropic setting has no obvious characterization from a differential operator standpoint. Our objective is to p answer this question: Given an anisotropic Hardy space HA associated with an anisotropic dilation matrix A, is there a partial differential equation (PDE) whose fundamental solution p p can be used to define HA? Alternatively, can we characterize it as HL for some differential arXiv:2011.10651v1 [math.CA] 20 Nov 2020 operator L? As we will see, the answer to the first question is yes, but given the parabolic nature of this PDE, the answer to the second question is no. If a PDE does exist to characterize the anisotropic Hardy space, then we must first find a setting in which the dilation scale is continuous. A natural setting turns out to be the parabolic Hardy space of Calder´on and Torchinsky [6, 7], where the use of a continuous group of dilations A , satisfying A A = A , provides this needed structure, as well { t}t>0 s t st Date: November 24, 2020. 2010 Mathematics Subject Classification. 42B30 (35K10, 42B25, 42B35). Key words and phrases. anisotropic Hardy spaces, parabolic Hardy spaces, continuous groups of dilations. The first author was partially supported by NSF grant DMS-1956395. He would like to thank Harmut F¨uhr for helpful discussions. The second author was supported by the departmental funds from Sam Houston State University, and would like to thank Pierre Portal for discussion on this topic at ICMAT in 2013. 1 as a PDE we can immediately use. Strictly speaking, the original form of this group is not flexible enough to accommodate the geometry of an anisotropic dilation, where the natural geometric object are ellipsoids of changing eccentricities. Our first task, in light of this, is to consider a wider class of continuous groups that can capture the essential information from a dilation matrix in the anisotropic setting. This is the content of Theorem 2.4. Next, we will show that every anisotropic dilation matrix A is associated with a unique continuous group that represents the same geometric information. This is the content of Theorem 3.1. Lastly, we see that the Hardy spaces associated with both types of dilations are precisely the same space. This is the content of Theorem 3.8. p Theorem 3.8 also answers the question we posed. Once the anisotropic Hardy space HA is identified with the parabolic Hardy space Hp , we have a PDE characterization of Hp . Let At A { } Dtf(x) = f(Atx) be the dilation operator induced by continuous group. Then we consider the initial value problem that seeks to find u : Rn+1 C so that + → ∂u 1 1 n+1 n = (D− ∆D )u (x, t) R = R R , (1.1) ∂t t t t ∈ + × + u(x, 0) = f(x) x Rn. ∈ p ˜ A tempered distribution f is in HA exactly when the solution u(x, t) = f Φt(x) satisfies the regularity condition that ∗ p sup (Φ˜ t f)(x) L . ρ˜(x y)<t | ∗ | ∈ − ˜ 1 1 where Φt(x) = t− Φ(At− x) is the fundamental solution to the PDE (1.1), andρ ˜ is the quasi-norm associated with At , see Proposition 5.1. The rest of the paper is{ devoted} to a classification of anisotropic Hardy with respect to different choices of expansive dilations. This line of research was initiated by the first author in [2] and extended to anisotropic Hardy spaces with variable anisotropy by Dekel, Petrushev, and Weissblat [10]. Recently, Cheshmavar and F¨uhr [8] have given a classification of anisotropic Besov spaces [3] associated with anisotropic dilation matrices by describing when two such matrices induce the same scale of Besov spaces. At the same time they have found an incorrect statement in the corresponding classification theorem for anisotropic Hardy space [2, Theorem 10.3], which we correct and expand. In particular, we obtain a refinement of classification of anisotropic Hardy spaces, which are equivalent with respect to linear transformations. The paper is organized as follows. In Section 2 we provide the anisotropic and parabolic settings. In Section 3 we prove our main theorems, Theorem 3.1 and Theorem 3.8, link- ing anisotropic and parabolic Hardy spaces. In Section 4 we provide the classification of anisotropic Hardy spaces by correcting and expanding the earlier results in [2]. Lastly, in Section 5 we make further comments and observations about PDE (1.1), its related differen- tial operator L, and where the anisotropic Hardy space fits in the overall literature of Hardy spaces of various operators. For the remainder of the paper, we will use c and C as general constants that may depend on the dimension n or underlying geometry (anisotropic dilation matrix A or expansive group A ), but do not depend on the function f in question. The Schwartz class is denoted by , { t} S the tempered distributions denoted by ′, and a generic test function ϕ will be chosen so that ϕ = 0. S ∈ S 6 2 R 2. Anisotropic and Parabolic Hardy Spaces 2.1. Anisotropic Setting. We now introduce the anisotropic anisotropic setting from [2], and the facts needed to state and prove our results. We say a real-valued n n matrix A, is an anisotropic dilation matrix if all of its eigenvalues λ, real or complex, satisfy× λ > 1. We can construct a (non-unique) homogeneous quasi-norm, that is, a measurable mapping| | ρ : Rn [0, ) with a constant c satisfying: A → ∞ ρA(x)=0 x = 0, ⇐⇒ n ρA(Ax)= bρ(x) for all x R , where b := det A , ρ (x + y) c(ρ (x)+ ρ (y)) for all x,∈ y Rn. | | A ≤ A A ∈ We denote (A, ρA) to mean ρA is a quasi-norm associated to A, and with dx denoting the n Lebesgue measure, the triplet (R , dx, ρA) is a space of homogeneous type. To illustrate the difference between a quasi-norm and the Euclidean norm, recall that the Euclidean ball B(x, r), centered at x Rn with radius r, has the nice property that whenever r < r , we have B(x, r ) B(∈x, r ). But for a dilation matrix A, we do not 1 2 1 ⊂ 2 expect B(x, r) A(B(x, r)). Instead, one can construct ‘canonical’ ellipsoids Bk k Z, ⊂ { } ∈ associated with A, such that for all k Z, if we define Bk+1 = A(Bk), then we have nested k ∈ ellipsoids Bk Bk+1, and Bk = b . These nested ellipsoids will serve as the basic geometric object in the⊆ anisotropic| setting.| Moreover, we can use these ellipsoids to define a ‘step’ norm associated with A as follows: j b if x Bj+1 Bj ρA(x)= ∈ \ (0 if x =0. ω By setting ω to be the smallest integer so that 2B0 A B0 = Bω, ρA is a quasi-norm with the triangle inequality constant c = bω. While any two⊂ quasi-norms associated with A will give the same anisotropic structure [2, Lemma 2.4], the step norm will be our ‘canonical’ norm, denoted by ρA. A general quasi-norm (without being associated to a dilation) is a mapping ρ : Rn [0, ) satisfying ρ(x) = 0 exactly when x = 0 Rn, and for some c > 0, satisfies the inequality→ ∞ n∈ n ρ(x + y) c(ρ(x)+ ρ(y)) for all x, y R . Then if ρ1 and ρ2 be two quasi-norms on R , we say they≤ are equivalent if there exists∈C > 0 such that for all x Rd, ∈ 1 ρ (x) ρ (x) Cρ(x). C 1 ≤ 2 ≤ Definition 2.1. We say two dilations (A1, ρ1) and (A2, ρ2) are equivalent if their associated quasi-norms ρ1 and ρ2 are equivalent. We are now in a position to define Hardy spaces adapted to the geometry of dilations. We denote as the Schwartz class, and ′ the space of tempered distributions. For a dilation S S k k A, ϕ , and k Z, we denote the anisotropic dilation by ϕk(x) = b− ϕ(A− x).