Abstract
Let \(T_t=e^{-tL}\) be a semigroup of self-adjoint linear operators acting on \(L^2(X,\mu )\), where \((X,d,\mu )\) is a space of homogeneous type. We assume that \(T_t\) has an integral kernel \(T_t(x,y)\) which satisfies the upper and lower Gaussian bounds:
By definition, f belongs to \(H^1(L)\) if \(\Vert f\Vert _{{H^1(L)}}=\Vert \sup _{t>0}|T_tf(x)|\Vert _{L^1(X,\mu )} <\infty \). We prove that there is a function \(\omega (x)\), \(0<c\le \omega (x)\le C\), such that \(H^1(L)\) admits an atomic decomposition with atoms satisfying: \({\mathrm{supp}}\, a\subset B\), \(\Vert a\Vert _{L^\infty } \le \mu (B)^{-1}\), and the weighted cancelation condition \(\int a(x)\omega (x)\hbox {d}\mu (x)=0\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let (X, d) be a metric space equipped with a nonnegative Borel measure \(\mu \). We shall assume that \(\mu (X)=\infty \) and \(0<\mu (B(x,r))<\infty \), \(r>0\), where \( B(x,r)= \left\{ y\in X \ | \ d(x,y)\le r \right\} \) denotes the closed ball centered at x and radius r. Suppose \((X,d,\mu )\) is a space of homogeneous type in the sense of Coifman and Weiss [8], which means that the doubling condition holds, namely: There is \(C>0\) such that \(\mu (B(x,2r))\le {C \mu } (B(x,r))\) for \(r>0\) and \(x\in X\). It is well known that the doubling condition implies that there are \(q>0\) and \(C_d>0\) such that
Suppose that L is a nonnegative densely defined self-adjoint linear operator on \(L^2(X,\mu )\). Let \(T_t=e^{-tL}\), \(t>0\), denote the semigroup of linear operators generated by \(-\,L\). We impose that there exists \(T_t(x,y)\), such that
Clearly, \(T_t(x,y)=T_t(y,x)\) for \(t>0\) and a.e. \(x,y\in X\). Moreover, we assume the following lower and upper Gaussian bounds, that is, there are constants \(c_1\ge c_2>0\) and \(C_0>0\) such that
for \(t>0\) and a.e. \(x,y\in X\). It is well known that (1.3) implies that for every \(n\in {\mathbb {N}}\) we have
for \(t>0\) and a.e. \(x,y\in X\) with some \(C_n,c_n'>0\). For this fact see, e.g., [20, (7.1)], [10, 27].
The Hardy space \(H^1(L)\) related to L is defined by means of the maximal function of the semigroup \(T_t\), namely
On the other hand, we define atomic Hardy spaces as follows. Suppose we have a space X with a doubling measure \(\sigma \) and a quasi-metric \(\rho \). We call a function a an \((\rho ,\sigma )\)-atom if there exists a ball \(B = B_\rho (x_0,r) := \left\{ x\in X \ | \ \rho (x,x_0)\le r \right\} \) such that: \(\mathrm {supp}\ a \subseteq B\), \(\left\| a \right\| _\infty \le \sigma (B)^{-1}\), and
By definition, a function \(f\in L^1(X, \sigma )\) belongs to \(H^1_{\mathrm{at}}(\rho ,\sigma )\), if there exist \((\rho ,\sigma )\)-atoms \(a_k\) and complex numbers \(\lambda _k\), such that
If such sequences exist, we define the norm \(\left\| f \right\| _{H^1_{\mathrm{at}}(\rho ,\sigma )}\) to be the infimum of \(\sum _{k=1}^{\infty }\left| \lambda _k \right| \) in the above presentations of f. Notice that in this paragraph we have changed the notation. This is because in the article we will use different metrics and measures.
For \(x\in X\) let \(\varPhi _x:(0,\infty ) \rightarrow (0,\infty )\) be the nondecreasing function defined by
The first main result of this paper is the following.
Theorem 1
Suppose that \((X,d,\mu )\) is a space of homogeneous type and assume that for each \(x\in X\) the function \(\varPhi _x\) is a bijection on \((0,\infty )\). Let a nonnegative self-adjoint linear operator L on \(L^2(X,\mu )\) be given such that the semigroup \(T_t=e^{-tL}\) satisfies (1.3). Then there exist a constant \(C>0\) and a function \(\omega \) on X, \(0< C^{-1} \le \omega (x) \le C\), such that the spaces \(H^1(L)\) and \(H^1_{\mathrm{at}}(d,\omega \mu )\) coincide and the corresponding norms are equivalent,
Moreover, \(\omega \) is L-harmonic, that is \(T_t \omega =\omega \) for \(t>0\).
Let us notice that the assumption on \(\varPhi _x\) implies that \(\mu (X) = \infty \) and \(\mu \) is nonatomic. This will be used later on. By definition, we call a semigroup conservative if
for \(t>0\) and \(x\in X\).
Theorem 2
Suppose that \((X,d,\mu )\) is a space of homogeneous type and assume that for each \(x\in X\) the function \(\varPhi _x\) is a bijection on \((0,\infty )\). Let a nonnegative self-adjoint linear operator L on \(L^2(X,\mu )\) be given such that the semigroup \(T_t=e^{-tL}\) satisfies (1.3) and (1.6). Then, the spaces \(H^1(L)\) and \(H^1_{\mathrm{at}}(d,\mu )\) coincide and the corresponding norms are equivalent, i.e., there exists \(C>0\) such that
It appears that Theorem 2 is equivalent to Theorem 1, see Sect. 3. Let us also emphasize that we do not require any regularity conditions on the kernels \(T_t(x,y)\). However, it turns out that (1.3) implies Hölder-type estimates on \(T_t(x,y)\), which are crucial for this paper. This will be discussed in Sect. 4 (see Theorem 5 and Corollary 14). In fact, Sect. 4 gives a short, independent, and self-contained proof of Hölder-type estimates of the heat kernel that satisfies (1.3), which can be interesting in its own right. Furthermore, although Theorems 1 and 2 are stated for the heat semigroup, we would like to emphasize that the same theorems can be proved for the Hardy space \(H^1(\sqrt{L})\) associated with the Poisson semigroup \(e^{-t\sqrt{L}}\) as well, see Theorem 4 and Remark 21.
The theory of the classical Hardy spaces on the Euclidean spaces \({\mathbb {R}}^n\) has its origin in studying holomorphic functions of one variable in the upper half-plane. The reader is referred to the original works of Stein and Weiss [32], Burkholder et al. [6], Fefferman and Stein [15]. Very important contribution to the theory is the atomic decomposition of the elements of the \(H^p\) spaces proved by Coifman [7] in the one-dimensional case and then by Latter [23] for \(H^p({\mathbb {R}}^n)\) . The theory was then extended to the space of homogeneous type (see, e.g., [8, 24, 33]). For more information concerning the classical Hardy spaces, their characterizations and historical comments we refer the reader to Stein [31]. A very general approach to the theory of Hardy spaces associated with semigroups of linear operators satisfying the Davies–Gaffney estimates was introduced by Hofmann et al. [20] (see also [1, 30]). Let us point out that the classical Hardy spaces can be thought as those associated with the classical heat semigroup \(e^{t\Delta }\). Finally we want to remark that the present paper takes motivation from [13, 14], where the authors studied \(H^1\) spaces associated with Schrödinger operators \(-\,\Delta +V\) on \({\mathbb {R}}^n\), \(n\ge 3\), with Green bounded potentials \(V\ge 0\).
In what follows C and c denote different constants that may depend on \(C_d, q, C_0, c_1, c_2\). By \(U \lesssim V\) we understand \(U\le CV\) and \(U \simeq V\) means \(C^{-1}V \le U \le CV\).
The paper is organized as follows. In Sect. 2 we prove that estimate (1.3) implies the existence of an L-harmonic function \(\omega \) such that \(0<C^{-1}\le \omega (x)\le C\). The equivalence of Theorems 1 and 2 is a consequence of the Doob transform, see Sect. 3. Then a proof of Theorem 2 is given in a few steps. First, in Sect. 4 we prove Hölder-type estimates for a conservative semigroup. Then, in Sect. 5 we introduce a new quasi-metric \(\widetilde{d}\) and study its properties. In Sect. 6 we apply a theorem of Uchiyama on the space \((X,\widetilde{d}, \mu )\) to complete the proof of Theorem 2. Finally, in Sect. 7 we provide some examples of semigroups that satisfy assumptions of Theorem 1.
2 Gaussian estimates and bounded harmonic functions
In this section we assume that the semigroup \(T_t\) satisfies (1.3). Clearly,
for all \(t>0\) and a.e. \(x\in X\). For a positive integer n define
Then,
Recall that a metric space with the doubling condition is separable, then so is \(L^1(X,\mu )\). Using the Banach–Alaoglu theorem for \(L^\infty (X,\mu )\) there exists a subsequence \(n_k\) and \(\omega \in L^\infty (X,\mu )\), such that \(\omega _{n_k} \rightarrow \omega \) in \(*\)-weak topology. Obviously,
Our goal is to prove that \(T_t \omega (x) = \omega (x)\) for \(t>0\). To this end, we write
Since the last two limits tend to zero, as \(k\rightarrow \infty \), we obtain
From (2.1) we get that \(\lim _{k\rightarrow \infty } \omega _{n_k}(x)\) exists for a.e. \(x\in X\) and the limit has to be \(\omega (x)\). Moreover, \(T_t \omega (x) = \omega (x)\). Thus we have proved the following proposition.
Proposition 3
Assume that a semigroup \(T_t\) satisfies (1.3). Then there exists a function \(\omega \) and \(C>0\) such that \(0<C^{-1}\le \omega (x)\le C\) and \(T_t \omega (x) = \omega (x)\) for every \(t>0\).
3 Doob transform
In this section we work in a slightly more general scheme. Let \((X,\mu )\) be a \(\sigma \)-finite measure space and L be a self-adjoint operator on \(L^2(X,\mu )\). We assume that the strongly continuous semigroup \(T_t=\exp (-\,tL)\) admits a nonnegative integral kernel \(T_t(x,y)\), so that
Moreover, assume that there exists \(\omega \) satisfying \(0<C^{-1} \le \omega (x) \le C\), that is L-harmonic. Namely, for every \(t>0\) one has
for a.e. \(x\in X\). Obviously, this implies that \(\sup _{x\in X, t>0}\int T_t(x,y)\, \hbox {d}\mu (y)\le C\).
Define a new measure \(\hbox {d}\nu (x)=\omega ^2(x)\, \hbox {d}\mu (x)\) and a new kernel
The semigroup \(K_t\) given by
is a strongly continuous semigroup of self-adjoint integral operators on \(L^2(X,\nu )\). The mapping \(L^2(X, \mu )\ni f\mapsto \omega ^{-1} f \in L^2(X,\nu )\) is an isometric isomorphism with the inverse \(L^2(X, \nu )\ni g\mapsto \omega g\in L^2(X,\mu )\). Clearly,
Moreover, the positive integral kernel \(K_t(x,y)\) is conservative, that is,
Thus the above change of measure and operators, which is called Doob’s transform (see, e.g., [16]), conjugates the semigroup \(T_t\) with the conservative semigroup \(K_t\).
It is clear that the operators \(K_t\) are contractions on \(L^1(X,\nu )\). Consequently, \(K_t\) is a strongly continuous semigroup of linear operators on \(L^1(X,\nu )\). To see this, it suffices to show that \(\lim _{t\rightarrow 0} \Vert K_t\chi _A-\chi _A\Vert _{L^1(X,\nu )}=0\) for any measurable set A of finite measure. We have that
On the other hand \(\int _X K_t\chi _A(x)\, \hbox {d}\nu (x)= \nu (A)=\Vert \chi _A\Vert _{L^1(X,\nu )}\). Hence,
which completes the proof of the strong continuity of \(K_t\) on \(L^1(X,\nu )\).
Further, we easily see that the semigroup \(T_t\) is strongly continuous on \(L^1(X,\mu )\). Indeed, if \(f\in L^1(X,\mu )\) then \(g=\omega ^{-1} f\in L^1(X,\nu )\) and
Now we discuss the equivalence of Theorems 1 and 2. Let \(T_t\) and \(K_t\) be the semigroups related by (3.1) with generators \(-\,L\) and \(-\,R\), respectively. It easily follows from the Doob transform that \(f\in H^1(L)\) if and only if \(\omega ^{-1}f\in H^1(R)\) and \(\Vert f\Vert _{H^1(L)}\simeq \Vert \omega ^{-1}f\Vert _{H^1(R)}\). In other words
is an isomorphism of the spaces.
Assume that the space \(H^1(R)\) admits an atomic decomposition with atoms that satisfy the cancelation condition with respect to the measure \(\nu \), that is every \(g\in H^1(R)\) can be written as \(g=\sum \lambda _j a_j\) with \(\sum _{j} |\lambda _j|\simeq \Vert g\Vert _{H^1(R)}\) and \(a_j\) are atoms with the property \(\int a_j\, \hbox {d}\nu =0\). Then every \(f\in {H^1(L)}\) admits atomic decomposition \(f=\sum \lambda _j b_j\) with atoms \(b_j\) that satisfy cancelation condition \(\int b_j\, \omega \, \hbox {d}\mu =0\).
4 Hölder-type estimates on the semigroups
In this section we consider a conservative semigroup \(T_t\) having an integral kernel \(T_t(x,y)\) that satisfies upper and lower Gaussian bounds (1.3). Let
be the kernels of the subordinate semigroup \(P_t = e^{-t\sqrt{L}}\).
Theorem 4
Let L be a nonnegative self-adjoint linear operator on \(L^2(X,\mu )\) such that the semigroup \(T_t=e^{-tL}\) satisfies (1.3) and (1.6). Then there is a constant \(\alpha >0\) such that
whenever \(d(y,z)\le t\).
Theorem 5
Under the assumptions of Theorem 4 there are constants \(\alpha ,c>0\) such that
whenever \(d(y,z)\le \sqrt{t}\).
Hölder regularity of semigroups satisfying Gaussian bounds was considered in various settings by many authors. We refer the reader to Grigor’yan [16], Hebisch and Saloff-Coste [19], Saloff-Coste [28], Gyrya and Saloff-Coste [17], Bernicot, Coulhon, and Frey [2], and references therein. Here we present a short alternative proof of (4.3). To this end we shall first prove some auxiliary propositions and then Theorem 4. Finally, at the end of this section, we shall make use of functional calculi deducing Theorem 5 from Theorem 4.
Proposition 6
For \(x,y \in X\) and \(t>0\) we have
Proof
Consider first the case \(d(x,y) \le t\). Then \(d(x,y)+t\simeq t\). The upper bound follows by (1.3) and (1.1). Indeed,
Also, (1.3) implies lower bounds, since
Let us now turn to the case \(d(x,y)\ge t\). Then \(d(x,y)+t\simeq d(x,y)\). Using (1.3), we have
Moreover, by (1.1),
and
Estimates (4.5)–(4.7) give upper estimate. For the lower estimate, recall that \(d(x,y)\ge t\) and observe that
\(\square \)
Corollary 7
There is a constant \(C>0\) such that if \(d(y,z)\le t\), then
Proof
The corollary is a simple consequence of (4.4). For the proof one may consider two cases: \(d(x,y)\le 2t\) (then \(d(x,z)\le 3t\)) and \(d(x,y)>2 t\) (then \(d(x,y)\simeq d(x,z)\)). \(\square \)
Proposition 8
There exists a constant \(\gamma \in (0,1)\) such that the following statement holds:
If there are \(y,z,t_0,a_1,b_1>0\) given such that \(d(y,z)<t_0\) and for all \(x\in X\) we have
then there is a subinterval \([a_2,b_2] \subseteq [a_1,b_1]\) such that \(b_2-a_2 = \gamma (b_1-a_1)\) and for all \(t\ge 2t_0\) and all \(x\in X\) one has
Proof
The proof, which takes some ideas from [21], is an adapted version of the proof of [13, Prop. 3.1]. For the reader convenience we present the details. Let \(m=(a_1+b_1)/2\) and \(\theta = (b_1-a_1)/(a_1+b_1) \in (0,1)\), so that \(a_1=(1-\theta )m\) and \(b_1=(1+\theta )m\). Define
Obviously, either \(\mu (\varOmega _- \cap B(z,t_0)) \ge \mu (B(z,t_0))/2\) or \(\mu (\varOmega _+ \cap B(z,t_0)) \ge \mu (B(z,t_0))/2\). Here we shall assume that the latter holds. The proof in the opposite case is similar. Denote \(B = B(z,t_0)\), \(s=t-t_0 \ge t_0\). For \(x\in X\), we have
Notice that \(d(w,z)\le t_0 \le s\) and, by Corollary 7,
Since \(t\simeq s\), Proposition 6 implies
and
Therefore
where \(\kappa \in (0,2)\). Moreover, from (4.9) and the semigroup property we easily get
Defining \(\gamma = 1-\kappa /2 \in (0,1)\), \(b_2=b_1\) and \(a_2 = m\left( (1-\theta ) + \kappa \theta \right) \), we have
Now (4.10) together with (4.11) gives
\(\square \)
Proof of Thorem 4
Having Corollary 7 and Proposition 8 proved, we follow arguments of [13] to obtain the theorem. By Corollary 7 there are \(b_1>a_1>0\) such that for \(y,z \in X\) and \(t>0\) satisfying \(d(y,z)<t\) we have
for all \(x\in X\). From Proposition 8 we deduce that there exists \(\omega (y,z)\) such that
It follows from (4.1) that \(\int _X P_t(x,y)\, \hbox {d}\mu (y) = 1\). Recall that \(P_t(x,y) = P_t(y,x)\). Using (4.12),
Thus \(\omega (y,z) = 1\).
Assume that \(d(y,z)<t\). Let \(n\in {\mathbb {N}}\) be such that \(d(y,z) \le t2^{-n} < 2d(y,z)\). Set \(t_0 = t2^{-n}\). Clearly, \(d(y,z)\le t_0\) and
Observe that \(n\simeq \log (t/d(y,z))\). Applying Proposition 8 n-times we arrive at
with \(\alpha >0\) and the proof of Theorem 4 is finished. \(\square \)
Finally, we devote the remaining part of this section for deducing Theorem 5 from Theorem 4. This is done by using a functional calculi. First, we need some preparatory facts. Recall that q is a fixed constant satisfying (1.1). By \(W^{2,\sigma }(\mathbb {R})\) we denote the Sobolev space with the norm
Let \(\int _0^\infty \xi \hbox {d}E_{\sqrt{L}}(\xi )\) be the spectral resolution for \(\sqrt{L}\). For a bounded function m on \([0,\infty )\) the formula
defines a bounded linear operator on \(L^2(X,\mu )\).
Further we shall use the following lemma, whose proof based on finite speed propagation of the wave equation (see [9]) can be found in [11].
Lemma 9
[11, Lemma 4.8] Let \(\kappa >1/ 2\), \(\beta >0\). Then there exists a constant \(C>0\) such that for every even function \(m\in W^{2,\beta / 2+\kappa }({\mathbb {R}})\) and every \(g\in L^2(X,\mu )\), \({\mathrm {supp}}\, g\subset B(y_0, r)\), we have
for \(j\in {\mathbb {Z}}\).
Proposition 10
Let \(\beta >q\) and \(\kappa >1/ 2\). There is a constant \(C>0\) such that for every \(F\in W^{2, \beta / 2+\kappa }(\mathbb {R})\) with \({\mathrm {supp}}\, F\subset (1/2, 2)\) the integral kernels \(F(2^{-j}\sqrt{L})(x,y)\) of the operators \(F(2^{-j}\sqrt{L})\) satisfy
Proof
For \(y\in X\) and \(j\in {\mathbb {Z}}\) set \(U_0=B(y,2^{-j})\), \(U_k=B(y,2^{k-j})\setminus B(y,2^{k-j-1})\), \(k=1,2,\ldots \) . Define \(g_{j,k,y}(x)=T_{2^{-2j}}(x,y)\chi _{U_k}(x)\), \(k=0,1,2,\ldots \) . Then, using (1.1) and (1.3), we have
where \(a_k=C_0 \sqrt{C_{q}2^{kq}}\exp (-c_22^{2k-2})\) is a rapidly decreasing sequence.
Let \(m(\xi )\) be the even extension of \(e^{\xi ^2}F(\xi )\). Obviously, \(\left\| m \right\| _{W^{2, \beta /2+\kappa }(\mathbb {R})} \simeq \left\| F \right\| _{W^{2, \beta /2+\kappa }(\mathbb {R})}\). Then, \(F(2^{-j}\sqrt{L})=m(2^{-j}\sqrt{L})T_{2^{-2j}}\), and, consequently,
By the Cauchy–Schwartz inequality, (1.1), and (4.13) we get
We turn to estimate \(\Vert m(2^{-j}\sqrt{L})g_{j,y,k}\Vert _{L^1(B(y,2^{k-j+1})^c,\mu )}\). Utilizing the Cauchy–Schwarz inequality and Lemma 9, we obtain,
Recall that \(\beta >q\) and hence is not difficult to check that (1.1) leads to
Thus, by (4.13), (4.16), and (4.17), we get
which, combined with (4.15) and (4.14), completes the proof of the proposition. \(\square \)
For \(t>0\) set
Lemma 11
The operators \(\psi _t(\sqrt{L})\) have integral kernels \(\varPsi _t(x,y)\) that satisfy
Proof
Denoting \(\theta _t(\xi ) = \exp \left( -t\xi ^2 \right) (\exp \left( \sqrt{t}\xi \right) -1)\), where \(t,\xi >0\), we have
Clearly, by (1.3), \(\sup _{t,x>0} \int T_t (x,y) \, \hbox {d}\mu (y) \le C\). Thus we concentrate our attention on \(\theta _t(\sqrt{L})\).
Let \(\eta \in C_c^\infty (1/2,2)\) be a partition of unity such that
Denote \(\widetilde{\theta _{t,j}}(\xi ) = \theta _{t,j}(2^j \xi ) = \eta (\xi ) \theta _1(\sqrt{t} 2^j\xi )\). One can easily verify that for \(n\in {\mathbb {N}}\cup \{0\}\) there are constants \(C_n, c_n>0\) such that
In other words, for arbitrary N,
Using Proposition 10 (with a fixed \(N> q/ 2+1\)) we get that the integral kernels \(\varTheta _{t,j}(x,y)\) of the operators \(\theta _{t,j} (\sqrt{L}) = \widetilde{\theta }_{t,j}(2^{-j} \sqrt{L})\) satisfy
Therefore, \(\varTheta _t (x,y) = \sum _{j\in {\mathbb {Z}}} \varTheta _{t,j}(x,y)\) is the integral kernel of \(\theta _t(\sqrt{L})\) and it satisfies
\(\square \)
Proof of Theorem 5
By the spectral theorem \(T_{t} = \psi _t(\sqrt{L}) P_{\sqrt{t}}\) and
Using Theorem 4 together with Lemma 11 and Proposition 6, for \(\sqrt{t}\ge d(y,z)\), we have
We claim that for \(d(y,z)\le \sqrt{t}\) one has
To prove the claim we consider two cases.
Case 1: \(2d(y,z)\ge d(x,y)\). Recall that \(\sqrt{t}\ge d(y,z)\); thus, \(d(x,y)\le 2 \sqrt{t}\) and (4.19) follows directly from (4.18).
Case 2: \(2d(y,z)\le d(x,y)\). In this case \(d(x,y)\simeq d(x,z)\), so by (1.3) we obtain
where in the last inequality we have utilized that \(\mu (B(z,\sqrt{t}))\simeq \mu (B(y,\sqrt{t}))\), since \(d(y,z)<\sqrt{t}\). By taking the geometric mean of (4.18) and (4.20) we obtain (4.19). To finish the proof observe that (4.19) implies (4.3). Indeed,
and using the exponent factor we can replace \(\mu (B(y,\sqrt{t}))\) by \(\mu (B(x,\sqrt{t}))\). \(\square \)
Remark 12
Let us remark that Lemma 11, which is crucial in our proof of Theorem 5, can be proved by applying functional calculus of Hebisch [18]. Thus, Theorem 5 can be also obtained without using the finite propagation speed of the solution of the wave equation
As a consequence of (1.4) and Theorem 5 we get what follows.
Corollary 13
The function \(T_t(x,y)\) is continuous on \((0,\infty )\times X \times X\).
As a direct consequence of Theorem 5 and Doob transform (see (3.1)) we get the following corollary. Notice that in Corollary 14 we do not assume that \(T_t(x,y)\) is conservative.
Corollary 14
Assume that the semigroup \(T_t\) satisfies (1.3). Then there are constants \(\alpha ,c>0\) such that
whenever \(d(y,z)\le \sqrt{t}\).
5 Measures and distances
To prove Theorem 2 we introduce a new quasi-metric \(\widetilde{d}\) on X, which is related to d and \(\mu \). To this end, set
where the infimum is taken over all closed balls B containing x and y (see, e.g., [8, 25]). Denote
In the lemma below we state some properties of \(\widetilde{d}\), which are known among specialists, and which we shall need latter on. Since their proofs are very short and it is difficult for us to indicate one reference which contains all of them, we provide the details for the convenience of the reader.
Lemma 15
The function \(\widetilde{d}\) has the following properties: 0
-
(a)
there exists \(C_b>0\) such that for \(x,y\in X\) we have
$$\begin{aligned} C_b^{-1}{\mu (B(x,d(x,y)))}\le \widetilde{d}(x,y)\le {\mu (B(x,d(x,y)))}. \end{aligned}$$(5.1) -
(b)
\(\,\widetilde{d}\) is a quasi-metric, namely there exists \(A_1\) such that
$$\begin{aligned} \widetilde{d}(x,y)\le A_1\left( \widetilde{d}(x,z)+\widetilde{d}(z,y)\right) . \end{aligned}$$
Moreover, if the measure \(\mu \) has no atoms and \(\mu (X)=\infty \), then:
-
(c)
the measure \(\mu \) is regular with respect to \(\widetilde{d}\), namely for \(x\in X\) and \(r>0\),
$$\begin{aligned} \mu (\widetilde{B}(x,r))\simeq r; \end{aligned}$$
-
(d)
for \(x\in X\) and \(r>0\) there exists \(R>0\) such that
$$\begin{aligned} \widetilde{B}(x,r)\subset B(x,R) \ \text { and } \ \mu (B(x,R))\lesssim \mu (\widetilde{B}(x,r)); \end{aligned}$$
-
(e)
for \(x\in X\) and \(R>0\) there exists \(r>0\) such that
$$\begin{aligned} B(x,R)\subset \widetilde{B}(x,r) \ \text { and } \ \mu (\widetilde{B}(x,r))\lesssim \mu ( B(x,R)). \end{aligned}$$
Proof
(a) Set \(R=d(x,y)\). Clearly, \(\widetilde{d} (x,y)\le \mu (B(x,R))\), as x and y belong to B(x, R). On the other hand, if x and y belong to a ball \(B = B(z,r)\), then \(R\le 2r\); hence, \(B(x,R) \subset B(z,3r)\) and \(\mu (B(x,R))\le \mu (B(z,3r))\simeq \mu (B(z,r))\). By taking the infimum over all balls B containing both x and y, we conclude that \(\mu (B(x,R))\le C \widetilde{d} (x,y)\) .
(b) For every \(x,y,z\in X\), we have \(d (x,y) \le d (x,z) + d (z,y)\). Assume that \(r=d(x,z)\ge d(z,y)\). Then \(x,y\in B(z,r)\). By using (a), we deduce that
(c) Given \(x\in X\), by our additional assumptions, the function \((0,\infty ) \ni r\mapsto \mu (B(x,r))\) is increasing and
Let \(x\in X\) and \(r>0\). For every \(y\in \widetilde{B}(x,r)\), we have \(\mu (B(x,d(x,y))\simeq \widetilde{d} (x,y) \le r\) . Hence
Let \(y\in \widetilde{B}(x,r)\) such that \(d(x,y) \ge \frac{R}{2}\). Then
Hence
On the other hand,
As \(\mu (B(x,T/2))<r\), we have \(\widetilde{d} (x,y)<r\), for every \(y\in B(x,T/2)\); hence, \(B(x,T/2)\subset \widetilde{B}(x,r)\). Consequently,
which together with (5.3) completes the proof of (c).
(d) is a simple consequence of (5.2), (5.3), and (c).
(e) Set \(r=\mu (B(x,R))\). If \(y\in B(x,R)\), then \(\widetilde{d}(x,y)\le r\) and, consequently, \(B(x,R)\subset \widetilde{B}(x, r)\). Clearly, by (c), \(\mu (\widetilde{B}(x,r)) \simeq r = \mu (B(x,R))\). \(\square \)
Let us recall that in Theorems 1 and 2 we assume that \(\varPhi _x\) is a bijection on \((0,\infty )\). This obviously implies that \(\mu (X)=\infty \) and that \(\mu \) is nonatomic. As a consequence of (d) and (e) of Lemma 15 we obtain the following corollary.
Corollary 16
Suppose that \(\mu \) has no atoms and \(\mu (X)=\infty \). Then, the atomic Hardy spaces \(H^1_{\mathrm{at}}(d,\mu )\) and \(H^1_{\mathrm{at}}(\widetilde{d}, \mu )\) coincide and the corresponding atomic norms are equivalent.
We finish this section by Lemma 17, which is used latter on. Define \(A_2 := C_b (C_d 2^q)^{3}\), where \(C_d\), q, and \(C_b\) are as in (1.1) and (5.1).
Lemma 17
Suppose that we have a space of homogeneous type \((X,d,\mu )\) such that the function \(\varPhi _x\) defined in (1.5) is a bijection on \((0,\infty )\). Assume that \(x\in X\), \(r,t>0\) are related by \(r=\mu (B(x,\sqrt{t}))\) and satisfy: \(\sqrt{t}\le d(y,z)\), \(A_2\widetilde{d}(y,z)< r\). Then
Proof
Suppose, toward a contradiction, that \(d(x,y) <\sqrt{t}\). From (5.1) we get
so the first inequality is proved.
Similarly, assume \(d(x,z)< d(x,y)/2\). Then \(d(x,y)/2\le d(y,z)\le 2d(x,y)\). Thus, using (5.1),
and we come to a contradiction. \(\square \)
6 Proof of Theorem 2
In order to prove Theorem 2 we shall use a result of Uchiyama [33], which we state below in Theorem 18. Denote by \((X,\widetilde{d},\mu )\) the space X equipped with a quasi-metric \(\widetilde{d}\) and a nonnegative measure \(\mu \), where \(\mu (X)=\infty \). Assume moreover that
where \(x\in X\), \(r>0\) and \(\widetilde{B}(x,r)\subseteq X\) is a ball in the quasi-metric \(\widetilde{d}\). Let \(A_1\) be a constant in the quasi-triangle inequality, i.e.,
Additionally, we impose that there exist constants \(\gamma _1, \gamma _2, \gamma _3>0\), \(A\ge A_1\) and a continuous function \(\widetilde{T}(r,x,y)\) of variables \(x,y\in X\) and \(r>0\) such that
for all \(x,y,z \in X\) and \(r>0\).
As in [33], we consider the maximal function
and the Hardy space \(H^1(X,\widetilde{T}) = \left\{ f\in L^1(X,\mu ) \ \big | \ \left\| f \right\| _{H^1(X,\widetilde{T})}:= \left\| f^{(+)} \right\| _{L^1(X,\mu )} <\infty \right\} \).
Recall that the atomic space \(H^1_{\mathrm{at}}(\widetilde{d}, \mu )\) is defined in Sect. 1.
Theorem 18
([33], Corollary 1’) Suppose that \((X,\widetilde{d},\mu , \widetilde{T})\) satisfy (6.1), (6.2), (U1), (U2), and (U3). Then the spaces \(H^1(X,\widetilde{T})\) and \(H^1_{\mathrm{at}}(\widetilde{d}, \mu )\) coincide and
Assume that the kernel \(T_t(x,y)\) satisfies (1.3) and the semigroup \(T_t\) is conservative. Recall that in Sect. 4 we proved Hölder-type estimate (4.3) for \(T_t(x,y)\). Define \(\widetilde{T}(r,x,y)\) by
where \(t=t(x,r)\) is such that
In what follows \(t,r>0\) and \(x\in X\) are always related by (6.3). Let us notice that from Corollary 13 and by the assumption that \(\varPhi _x\) is a continuous bijection on \((0,\infty )\) we have that \(\widetilde{T}\) is a continuous function on \((0,\infty )\times X \times X\).
Theorem 19
Suppose that \(T_t(x,y)\) satisfies upper and lower Gaussian bounds (1.3) and the semigroup \(T_t\) is conservative. Then the kernel \(\widetilde{T}(r,x,y)\) satisfies (U1), (U2), and (U3).
Proof
On-diagonal lower estimate (U1) is an immediate consequence of lower Gaussian bound (1.3).
For every fixed \(\delta >0\) , the upper estimate
follows from the upper estimates for \(T_t(x,y)\), more precisely by combining
with
The latter estimate holds for any \(\delta >0\). Thus (U2) is proved with any \(\gamma _1>0\). To finish the proof we need Hölder-type estimate (U3). This is proved in Proposition 20 below. \(\square \)
Proposition 20
Let \(\alpha \) be a constant as in Theorem 5. There exists \(A\ge A_1\) such that for \(\delta >0\) we have
if \(\widetilde{d}(y, z)\le (r+\widetilde{d}(x,y))/ (4A)\).
Proof
Set \(A=\max (A_1,A_2)\), see (6.2) and Lemma 17. Assuming that \(\widetilde{d} (y, z) \le (r+\widetilde{d}(x,y))/ (4A)\) let us begin with some observations.
Firstly, we claim that it suffices to prove (6.7) for \(\widetilde{d}(y,z)<r/ (2A)\). Indeed, if \(\widetilde{d}(y,z)> r/ (2A)\), then \(\widetilde{d}(y,z)\le \widetilde{d}(x,y)/ (2A)\) and, consequently,
So, \(\widetilde{d} (x,y)\lesssim \widetilde{d} (x,z)\) and (6.7) follows from (6.4) by using the triangle inequality. From now on we assume that \(\widetilde{d}(y,z)<r/ (2A)\).
Secondly, if \(d(y,z)\le \sqrt{t}\), then using (1.1) and (5.1),
Thirdly, if \(d(y,z)\ge \sqrt{t}\), then using (1.1) and (5.1),
Let us turn to the proof of (6.7).
Case 1: \(d(y,z)\le d(x,y)/2\). Then \(d(x,y)\simeq d(x,z)\). Thus, according to (1.3) and (4.3) combined with (6.8) and (6.9) we obtain
where in the last inequality we have used (6.6).
Case 2: \(d(y,z) > d(x,y)/2\) and \(\sqrt{t}>d(y,z)\). Then \(\widetilde{d}(x,y)\lesssim \mu (B(x,\sqrt{t}))=r\). Using (4.3) and (6.8),
Case 3: \(d(y,z) > d(x,y)/2\) and \(\sqrt{t}<d(y,z)\). Then, \(\widetilde{d}(y,z) \le r/(2A)\le r/(2A_2)\) and by Lemma 17 we have \(2d(x,z)>d(x,y) \ge \sqrt{t}\). Hence, using (6.5) and (6.9),
where in the last inequality we have used (6.6). This finishes the proof of Proposition 20.
\(\square \)
Proof of Theorem 2
Assuming (1.3) and (1.6) we obtain Hölder-type estimate (4.3). Recall once more that the assumption on \(\varPhi _x\) implies \(\mu (X)=\infty \) and \(\mu \) is nonatomic. Then we define a new quasi-metric \(\widetilde{d}\). By Corollary 16 we get that \(H^1_{\mathrm{at}}(d,\mu )=H^1_{\mathrm{at}}(\widetilde{d}, \mu )\). We apply Theorem 18 to the space \((X, \widetilde{d}, \mu )\). The assumptions of Theorem 18 are verified in Theorem 19 and Proposition 20. In this way we get
Using once again the assumption on \(\varPhi _x\) and the definition of \(\widetilde{T}\) we easily observe that
which finishes the proof of Theorem 2. \(\square \)
Let us recall that Theorem 1 follows from Theorem 2. This is elaborated at the end of Sect. 3.
Remark 21
Under the assumptions of Theorem 1 one can prove, by the same methods, that the Hardy space
coincides with \(H^1_{\mathrm{at}}(d, \omega \, \mu )\) and the corresponding norms are equivalent. To this end, one uses: Proposition 6, Doob’s transform, Theorem 4, and Theorem 18 applied to the kernel \(\widetilde{P}(r,x,y) = P_t(x,y)\), where \(t=t(x,r)\) is defined by the relation \(\mu (B(x,t)) = r\).
7 Examples
In this section we give examples of self-adjoint semigroups with the two-sided Gaussian bounds.
7.1 Laplace–Beltrami operators
Let (X, g) be a complete Riemannian manifold with the Riemannian distance d(x, y) and the Riemannian measure \(\mu \) satisfying the doubling property and the Poincaré inequality
where \(\nabla \) denotes the gradient on X. It is well known that the kernel of the heat semigroup generated by the Laplace–Beltrami operator satisfies two-sided Gaussian bounds (1.3) and Hölder estimates (4.3). For details and more information concerning the heat equation on Riemannian manifolds we refer the reader to [28] and references therein.
7.2 Schrödinger operators
On \(X=\mathbb {R}^d\) with the Euclidean metric and the Lebesgue measure we consider the Schrödinger operator
where \(\Delta \) is the standard Laplacian and V is a locally integrable function.
It is well known (see, e.g., [29]) that for \(V\ge 0\), \(d\ge 3\), the semigroup \(T_t=e^{-tL}\) admits kernels \(T_t(x,y)\) with the upper and lower Gaussian bounds (1.3) if and only if V is a Green bounded potential, that is,
Hardy spaces associated with Schrödinger operators on \({\mathbb {R}}^d\) satisfying (7.1) were studied in [13]. Actually, as we have already mentioned, this work motivated us to study the problem of \(H^1\) spaces with the Gaussian bounds in the generality as in Theorems 1 and 2.
Our second example concerns Schrödinger operators \(L=-\,\Delta +V\) with nonpositive potentials. For \(d\ge 3\) fix \(p_1,p_2>1\) satisfying \(p_1<d/2<p_2\). Then there is a constant \(c(p_1,p_2,d)>0\) such that if \(V\le 0\) and
then the integral kernel \(T_t(x,y)\) of the semigroup \(T_t=e^{-tL}\) exists and satisfies two-sided Gaussian bounds
The result can be found in Zhang [35]. A slightly different proof of (7.2), based on bridges of the Gauss–Weierstrass semigroup, can be obtained by using Lemma 1.2 together with Proposition 2.2 of [4].
7.3 Bessel–Schrödinger operator
Let \(\alpha >-\,1\) and consider \(X=(0,\infty )\) and \(\hbox {d}\mu (x)=x^\alpha \, dx\). Notice that the space \((X,\mu )\) with the Euclidean metric \(d_e(x,y) = |x-y|\) is a space of homogeneous type. We consider the classical Bessel operator
which is self-adjoint positive on \(L^2(X,\mu )\), and the associated semigroup of linear operators \(S_t=e^{-t{\mathcal {B}}}\). It is well known that \(S_t\) is conservative and has the integral kernel
see, e.g., [5, Chapter 6]. Here \(I_{(\alpha -1)/2}\) denotes the modified Bessel function of the first kind, see, e.g., [34]. The kernel \(S_t(x,y)\) satisfies two-sided Gaussian estimates
For a short proof of (7.4) see [12, proof of Lemma 4.2]. Therefore, using Theorem 2 we obtain atomic characterization of \(H^1({\mathcal {B}})\) that was previously proved in [3].
In this subsection we consider perturbations of \({\mathcal {B}}\) of the form
where a potential V is nonnegative and locally integrable. More precisely, on \(L^2(X,\mu )\) we define the quadratic form
with the domain
where \({\mathrm {cl}}(A)\) stands for the closure of the set A in the norm \(\left\| f \right\| _{L^2(X,\mu )}+\left\| f' \right\| _{L^2(X,\mu )}\). The form Q is positive and closed. Thus, it corresponds to the unique self-adjoint operator L on \(L^2(X,\mu )\) with the domain
By definition, \(L f = h\) when f, h are related as above.
Let \(T_t = \exp \left( -tL \right) \) be the semigroup generated by \(-\,L\). The Feynman–Kac formula states that
where \(b_s\) is the Bessel process on \((0,\infty )\) associated with \(S_t\). Using (7.5) one gets that the semigroup \(T_t\) has form (1.2), where
Therefore the upper Gaussian estimates for \(T_t(x,y)\) follows simply from (7.4) for any locally integrable \(V\ge 0\). On the other hand, the relation between \(S_t(x,y)\) and \(T_t(x,y)\) is given by the perturbation formula
From now on we consider only \(\alpha >1\). We are interested in proving the lower Gaussian estimates, but this can be done only for some potentials V. For other potentials Hardy spaces may have a local character, (see, e.g., [22]). Let
be the formal kernel of \({\mathcal {B}}^{-1}\). In addition to \(V\in L^1_{loc}(X)\) and \(V\ge 0\), we shall need one more assumption, a version of the global Kato condition, cf. (7.1),
Formally, we can rephrase this as \({\mathcal {B}}^{-1}V \in L^\infty (X,\mu )\). Let us point out that
This can be easily obtained from (7.3) and well-known asymptotics for the Bessel function \(I_{(\alpha -1)/ 2}\), see also [26, Sect. 2].
In Lemmas 22 and 23 we prove that under assumption (7.8) lower Gaussian estimates (1.3) hold for \(T_t(x,y)\). The estimates are proved in a similar way as in the case of the Schrödinger operator on the Euclidean space. For the convenience of the reader we provide the details.
Lemma 22
Suppose that \(\left\| V \right\| _{\mathrm{Kato}}<\infty \). If \(|x-y|\le \sqrt{t}\), then
Proof
First we shall prove Lemma 22 with an additional assumption that \(\left\| V \right\| _{\mathrm{Kato}} \le \varepsilon \) for a fixed small \(\varepsilon >0\). By (7.7) and (7.6),
By choosing proper \(\varepsilon >0\) we deduce the thesis from lower estimate (7.4) for \(S_t(x,y)\).
Now assume that the norm \(\left\| V \right\| _{\mathrm{Kato}}<\infty \) is arbitrary. Fix \(q>1\), such that \(\left\| V \right\| _{\mathrm{Kato}} =q \varepsilon \). Set \(V_q(x) = V(x)/q\), \(\left\| V_q \right\| _{\mathrm{Kato}} = \varepsilon \), and let \(T_t^q\) be the semigroup related to \(L_q={\mathcal {B}}+V_q\). Using (7.5) and Hölder’s inequality,
Let us notice that
for a.e. \((x,y)\). By letting \(r\rightarrow 0\) in (7.9), using (7.4) and the first part of the proof, for a.e. (x, y) we obtain that
\(\square \)
Lemma 23
Suppose that \(\left\| V \right\| _{\mathrm{Kato}}<\infty \). Then
Proof
Assume that \(|x-y|^2/t \ge 1\) and set \(m = \lceil 4|x-y|^2/t \rceil \ge 4\). For \(i=0,\ldots , m\), let \(x_i = x + i(y-x)/m \), so that \(x_0 =x\), \(x_m = y\), and \(|x_{i+1}-x_i| = |x-y|/m \). Denote \(B_i = B(x_i, \sqrt{t}/(4\sqrt{m}))\) and observe that
for \(y_i \in B_i\) and \(y_{i+1} \in B_{i+1}\). Now we use the semigroup property, Lemma 22, and the doubling property of \(\mu \) to obtain
Notice that \(c_1,c_2,c_3\), and c in this estimate depend only on the constant \(C_l\) from Lemma 22 and the doubling constant of \(\mu \).\(\square \)
Obviously, the space \((X,d_e,\mu )\) satisfies the assumptions of Theorem 1. Since we have the two-sided Gaussian estimates for \(T_t\) (see Lemma 22, (7.6), and (7.4)) we obtain the following corollary.
Corollary 24
Suppose that \(\alpha >1\) and \(V\ge 0\) satisfies (7.8). Then there exists \(\omega \) such that \(0<C^{-1} \le \omega (x) \le C\), \(T_t \omega = \omega \) for \(t>0\) and \(H^1(L)=H^1_{\mathrm{at}}(d_e, \omega \, \mu )\). Moreover,
References
Auscher, P., Duong, X.T., McIntosh, A.: Boundedness of banach space valued singular integral operators and hardy spaces. Unpublished preprint (2005)
Bernicot, F., Coulhon, T., Frey, D.: Gaussian heat kernel bounds through elliptic Moser iteration. J. Math. Pures Appl. (9) 106(6), 995–1037 (2016)
Betancor, J.J., Dziubański, J., Torrea, J.L.: On Hardy spaces associated with Bessel operators. J. Anal. Math. 107, 195–219 (2009)
Bogdan, K., Dziubański, J., Szczypkowski, K.: Sharp Gaussian estimates for Schrödinger heat kernels: \(L^p\) integrability conditions. ArXiv e-prints (2015)
Borodin, A.N., Salminen, P.: Handbook of Brownian Motion—Facts and Formulae. Probability and its Applications, 2nd edn. Birkhäuser, Basel (2002)
Burkholder, D.L., Gundy, R.F., Silverstein, M.L.: A maximal function characterization of the class \(H^{p}\). Trans. Am. Math. Soc. 157, 137–153 (1971)
Coifman, R.R.: A real variable characterization of \(H^{p}\). Stud. Math. 51, 269–274 (1974)
Coifman, R.R., Weiss, G.: Extensions of Hardy spaces and their use in analysis. Bull. Am. Math. Soc. 83(4), 569–645 (1977)
Coulhon, T., Sikora, A.: Gaussian heat kernel upper bounds via the Phragmén-Lindelöf theorem. Proc. Lond. Math. Soc. (3) 96(2), 507–544 (2008)
Davies, E.B.: Heat Kernels and Spectral Theory, Cambridge Tracts in Mathematics, vol. 92. Cambridge University Press, Cambridge (1990)
Dziubański, J., Preisner, M.: Remarks on spectral multiplier theorems on Hardy spaces associated with semigroups of operators. Rev. Un. Mat. Argentina 50(2), 201–215 (2009)
Dziubański, J., Preisner, M., Wróbel, B.: Multivariate Hörmander-type multiplier theorem for the Hankel transform. J. Fourier Anal. Appl. 19(2), 417–437 (2013)
Dziubański, J., Zienkiewicz, J.: On isomorphisms of Hardy spaces associated with Schrödinger operators. J. Fourier Anal. Appl. 19(3), 447–456 (2013)
Dziubański, J., Zienkiewicz, J.: A characterization of Hardy spaces associated with certain Schrödinger operators. Potential Anal. 41(3), 917–930 (2014)
Fefferman, C., Stein, E.M.: \(H^{p}\) spaces of several variables. Acta Math. 129(3–4), 137–193 (1972)
Grigor’yan, A.: Heat Kernel and Analysis on Manifolds, AMS/IP Studies in Advanced Mathematics, vol. 47. American Mathematical Society, International Press, Providence, Boston (2009)
Gyrya, P., Saloff-Coste, L.: Neumann and Dirichlet heat kernels in inner uniform domains. Astérisque 336, viii+144 (2011)
Hebisch, W.: Functional calculus for slowly decaying kernels. Unpublished. http://www.math.uni.wroc.pl/~hebisch/
Hebisch, W., Saloff-Coste, L.: On the relation between elliptic and parabolic Harnack inequalities. Ann. Inst. Fourier (Grenoble) 51(5), 1437–1481 (2001)
Hofmann, S., Lu, G., Mitrea, D., Mitrea, M., Yan, L.: Hardy spaces associated to non-negative self-adjoint operators satisfying Davies-Gaffney estimates. Mem. Am. Math. Soc. 214(1007), vi+78 (2011)
Jerison, D.S., Kenig, C.E.: Boundary value problems on Lipschitz domains, Studies in partial differential equations, MAA Stud. Math., vol. 23. Mathematical Association of America, Washington pp. 1–68 (1982)
Kania, E., Preisner, M.: Hardy spaces for Bessel-Schrödinger operators. arXiv e-prints (2016)
Latter, R.H.: A characterization of \(H^{p}({\mathbf{R}}^{n})\) in terms of atoms. Stud. Math. 62(1), 93–101 (1978)
Macías, R.A., Segovia, C.: A decomposition into atoms of distributions on spaces of homogeneous type. Adv. Math. 33(3), 271–309 (1979)
Macías, R.A., Segovia, C.: Lipschitz functions on spaces of homogeneous type. Adv. Math. 33(3), 257–270 (1979)
Nowak, A., Stempak, K.: Potential operators associated with Hankel and Hankel-Dunkl transforms. J. Anal. Math. 131, 277–321 (2017)
Ouhabaz, E.M.: Analysis of Heat Equations on Domains, London Mathematical Society Monographs Series, vol. 31. Princeton University Press, Princeton (2005)
Saloff-Coste, L.: Aspects of Sobolev-Type Inequalities, London Mathematical Society Lecture Note Series, vol. 289. Cambridge University Press, Cambridge (2002)
Semenov, YuA: Stability of \(L^p\)-spectrum of generalized Schrödinger operators and equivalence of Green’s functions. Int. Math. Res. Not. 12, 573–593 (1997)
Song, L., Yan, L.: A maximal function characterization for Hardy spaces associated to nonnegative self-adjoint operators satisfying Gaussian estimates. Adv. Math. 287, 463–484 (2016). https://doi.org/10.1016/j.aim.2015.09.026
Stein, E.M.: Harmonic Analysis: Real-Variable Methods, Orthogonality, and Oscillatory Integrals. Princeton Mathematical Series, vol. 43. Princeton University Press, Princeton (1993). (With the assistance of Timothy S. Murphy, Monographs in Harmonic Analysis, III)
Stein, E.M., Weiss, G.: On the theory of harmonic functions of several variables. I. The theory of \(H^{p}\)-spaces. Acta Math. 103, 25–62 (1960)
Uchiyama, A.: A maximal function characterization of \(H^{p}\) on the space of homogeneous type. Trans. Am. Math. Soc. 262(2), 579–592 (1980)
Watson, G.N.: A Treatise on the Theory of Bessel Functions, Cambridge Mathematical Library. Cambridge University Press, Cambridge (1995). (Reprint of the second (1944) edition)
Zhang, Q.S.: A sharp comparison result concerning Schrödinger heat kernels. Bull. Lond. Math. Soc. 35(4), 461–472 (2003)
Acknowledgements
We want to thank Pascal Aucher, Frédéric Bernicot, Li Chen, and Grzegorz Plebanek for their remarks. We are greatly indebt to Jacek Zienkiewicz for conversations concerning Schrödinger operators. The authors are grateful to the referee for her/his helpful comments which improved the presentation the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
The research was supported by the Polish National Science Center (Narodowe Centrum Nauki) Grant No. DEC–2012/05/B/ST1/00672.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Dziubański, J., Preisner, M. Hardy spaces for semigroups with Gaussian bounds. Annali di Matematica 197, 965–987 (2018). https://doi.org/10.1007/s10231-017-0711-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-017-0711-y