--- author: - 'Hong-Quan Li, Ye Zhang' title: | Revisiting the heat kernel on isotropic and nonisotropic Heisenberg groups\ Dedicated to Professor Jia-Rong Yu on his 100th birthday --- <span>**Abstract.**</span> The aim of this paper is threefold. First, we obtain the precise bounds for the heat kernel on isotropic Heisenberg groups by using well-known results in the three dimensional case. Second, we study the asymptotic estimates at infinity for the heat kernel on nonisotropic Heisenberg groups. As a consequence, we give uniform upper and lower estimates of the heat kernel, and complete its short-time behavior obtained by Beals-Gaveau-Greiner. Third, we complete the results obtained in @Li12 about the heat kernel of Grushin operators. <span>**Mathematics Subject Classification (2000):**</span> <span>**58J37, 35B40, 35H10, 35B45, 35K05, 43A80, 58J35, 43A85**</span> <span>**Key words and phrases:**</span> Heat kernel; Asymptotic behavior; Heisenberg groups; Precise estimates; Grushin operators Introduction ============ The small-time asymptotics of the heat kernel in the setting of Lie groups as well as hypoelliptic operators have attracted considerable attention during the past three decades, see for example @L87 [@BA88; @BGG00; @BB09; @Li10; @Li12; @B12; @BBN12; @BBN16] and references therein. They involve some geometric properties of the underlying space, such as the Carnot-Carathéodory distance and cut locus, etc. In this paper, we consider related problems on a stratified Lie group $G$ endowed with the canonical sub-Laplacian $\Delta$ and the group of dilations $\delta_r$ ($r > 0$). Let $Q$ denote its homogeneous dimension. It is well-known that the heat kernel $p_h$ ($h > 0$), that is the convolution kernel of $e^{h \Delta}$, satisfies the following scaling property (cf. for example @FS82) $$\begin{aligned} \label{hqp} 0 < p_h(g) = h^{-\frac{Q}{2}} p_1(\delta_{\frac{1}{\sqrt{h}}}(g)), \qquad \forall h > 0, \ g \in G.\end{aligned}$$ Let $o$ denote the neutral element of $G$. The semigroup property implies that $$\begin{aligned} \label{hup} p_h(g) \leq p_h(o) = C(G, \Delta) h^{-\frac{Q}{2}}, \quad \forall g \in G, \ h > 0,\end{aligned}$$ for a constant $C(G, \Delta)$ depending on $G$ and $\Delta$. Now the problem of the short-time behaviour of the heat kernel can be reformulated by, for a given point $g \neq o$ (by , the case $o$ is trivial but abnormal), to find $\Theta_h(g) > 0$ (usually of type $C(g) h^{-\sigma(g)}$) such that $$\begin{aligned} \label{STA} p_h(g) = \Theta_h(g) e^{-\frac{d^2(g)}{4 h}} \left( 1 + o(1) \right), \qquad \mbox{as $h \longrightarrow 0^+$,}\end{aligned}$$ where $d(g) = d(g,o)$ denotes the Carnot-Carathéodory distance (associated to $\Delta$) between $g$ and $o$. Here and in the sequel we use the notation $f = o(w)$ if $\lim \frac{f}{w} = 0$. Recall that we have $$\begin{aligned} \label{DS} d(\delta_r(g)) = r d(g), \quad \forall r > 0, \ g \in G.\end{aligned}$$ In fact, is a refinement of Varadhan's formula, which is valid in a general frame (cf. @L87, @AH05 and references therein), as follows $$\begin{aligned} \label{Varadhan} \lim_{h \longrightarrow 0^+} 4 h \, \ln{p_h(g)} = - d^2(g), \quad \forall g \in G.\end{aligned}$$ To our knowledge, many works on can be found in the setting of stratified Lie groups, but a complete and precise calculation has been obtained only for H-type groups, see @G77 for the three dimensional Heisenberg group, @BGG00 or @Li07 for isotropic Heisenberg groups, and @Li10 for other H-type groups. We also recall that some partial results have been obtained for nonisotropic Heisenberg groups by Beals, Gaveau and Greiner in @BGG00 (see also @BGG99). One goal of this article is to complete their results. We point out that in contrast to the elliptic case, cannot be uniform in a neighbourhood of the neutral element, see for example @G77 or the results below. Although there exists scaling invariance property, cf. , the small-time asymptotic behavior of the heat kernel does not directly imply Gaussian estimates of the heat kernel which play an important role in analysis. Certainly, there exist some effective methods to obtain off-diagonal Gaussian upper bounds (that is the Gaussian upper bounds of $p_h(g)$ here) from on-diagonal upper bounds (namely, the upper bounds of $p_h(o)$ in our situation). These methods are valid in some much more general situations than stratified groups, including but not limited to the following: (1) logarithmic Sobolev inequalities; (2) Nash type inequalities; (3) Sobolev inequalities; (4) the finite propagation speed property for the associated wave equation; (5) the Phragmén-Lindelöf theorem. See for example @DP89 [@C93; @S96; @S04; @CS08; @BCS15] and the references therein. In particular, the following upper estimates are well-known: $$\begin{aligned} \label{HU1} p_h(g) \lesssim h^{-\frac{Q}{2}} \left( 1 + \frac{d(g)}{\sqrt{h}} \right)^{Q - 1} e^{-\frac{d^2(g)}{4 h}}, \quad \forall h > 0, \ g \in G,\end{aligned}$$ where the power $Q - 1$ in the second term is optimal due to Molchanov's result on $Q$-dimensional sphere (see @M75 [Example 3.1, p. 23]). Here and in the sequel we use the notation $f \lesssim w$ (resp. $f = O(w)$) if there exists a universal constant $C > 0$ (maybe depending on $(G, \Delta)$) such that $f \leq C w$ (resp. $|f| \leq C \, w$). Classical lower estimates for the heat kernel, that is, for any $0 < \varpi < 4$, there exists a constant $C(\varpi) > 0$ such that $$\begin{aligned} \label{HL1} p_h(g) \geq C(\varpi) h^{-\frac{Q}{2}} e^{-\frac{d^2(g)}{(4 - \varpi) h}}, \quad \forall h > 0, \ g \in G,\end{aligned}$$ as well as upper bounds for its derivatives can be found in @V90 [@VSC92] and @CS08. Those classical estimates and their improvements are far enough for studying problems such as Hardy-Littlewood-Sobolev inequalities, Riesz transforms, etc. Recall that we have the inequality , and also notice that follows from some general approach and reveals little geometric information of the underlying groups. Hence it is not hard to understand why some results, related to dispersive and Strichartz estimates for wave or Schrödinger operators as well as spectral multipliers obtained on step-2 stratified groups (see @MS94 [@DH05; @MS15; @MM16; @BFKG16] and the references therein), could not be explained by . However, asymptotic estimates of the heat kernel obtained on isotropic Heisenberg groups (cf. @Li07) and on H-type groups (cf. @Li10) shed light on those subjects. Of course, further researches are necessary to provide new proofs for results cited above via heat kernel. We recall the gradient bound of the heat semigroup on the simplest non-trivial stratified Lie group, the three dimensional Heisenberg group $\H(1, 1)$: (see for example @B94 [@B97; @Le00; @ABCGMRS00; @Li06; @BBBC08; @Q10; @LP10; @Le11; @Q11; @Q13; @BGL14; @EGS18] and the references therein for the background and its extensive applications) $$\begin{aligned} \label{HGE} |\nabla e^{h \Delta} f|(g) \lesssim e^{h \Delta} \left( |\nabla f| \right)(g), \quad \forall h > 0, g, \ f \in C_0^{\infty},\end{aligned}$$ where $\nabla$ denotes the horizontal gradient. To our best knowledge, there exist three different approaches to prove . One is provided by the first author in @Li06 and two others are given by Bakry-Baudoin-Bonnefont-Chafaï in @BBBC08. All these methods are based on precise bounds of the heat kernel and its gradient on $\H(1, 1)$ (see @HM89, @BGG00, @Li06 or @Li07), that is $$\begin{aligned} p_h^{\H(1, 1)}(z, t) \sim \frac{h^{-2} e^{-\frac{d^2(g)}{4 h}}}{\sqrt{1 + \frac{|z| d(g)}{h}}}, \quad \forall h > 0, & \ g = (z, t) \in \H(1, 1) \cong \C \times \R, \label{HEB1} \\ |\nabla \ln{p_h^{\H(1, 1)}(g)}| \lesssim & \frac{d(g)}{h}, \quad \forall h > 0, g \ \in \H(1,1), \label{HEB2}\end{aligned}$$ where we adopt the notation $f \sim w$ if $f \lesssim w$ and $w \lesssim f$. Notice that has been generalized to H-type groups in @HL10 (resp. @E10) via the same method of the first author in @Li06 (resp. of Bakry-Baudoin-Bonnefont-Chafaï in @BBBC08). Recall the key ingredients are also precise bounds for the heat kernel and its gradient obtained in @Li10 and @E09, respectively. For other applications of precise bounds of the heat kernel, see for example @HZ10 and @BCH18. By the scaling invariance property, cf. , estimates and , we can get small-time asymptotic and precise estimates immediately if the asymptotic behaviour at infinity for the heat kernel at time $1$, that is, $p_1(g)$ is known. However, the subject becomes much more difficult and the only known case is H-type groups, see @Li10, also @HM89 for the three dimensional Heisenberg group and @Li07 for general isotropic Heisenberg groups. The main purpose in this article is to obtain uniform asymptotic bounds at infinity for $p_1(g)$ on more complicated groups, the nonisotropic Heisenberg groups, and to shed additional light on the heat kernel on step-$2$ stratified groups. To begin with, let us recall some definitions and basic facts. Preliminaries on isotropic and non-isotropic Heisenberg groups -------------------------------------------------------------- Suppose that $$\begin{aligned} l \in \N^+, \ \mathcal{K} = (k_1, \cdots, k_l) \in \left( \N^+ \right)^l, \ n = \sum_{i = 1}^l k_i,\end{aligned}$$ and $$\begin{aligned} \mathcal{A} = (a_1, \cdots, a_l) \mbox{ with } 0 < a_1 < \cdots < a_l = 1.\end{aligned}$$ Recall that (see @BGG00 or @LP03) the general Heisenberg group with parameter $(\mathcal{K}, \mathcal{A})$, $$\H(\mathcal{K}, \mathcal{A}) = \left( \prod_{i = 1}^l \C^{k_i} \right) \times \R,$$ is a stratified group with the group multiplication $$\begin{aligned} (z, t) \cdot (z', t') = (z + z', t + t' + 2 \sum_{i = 1}^l a_i \Im \langle z_i, z_i' \rangle),\end{aligned}$$ where $$z = (z_1, \cdots, z_l), \quad z' = (z_1', \cdots, z_l') \in \prod_{i = 1}^l \C^{k_i},$$ $\Im \omega$ denotes the imaginary part of a complex number $\omega$ and $\langle \cdot, \cdot \rangle$ denotes the usual complex inner product. When $l = 1$, $\H(n, 1)$ is often called the Heisenberg group or the isotropic Heisenberg group of real dimension $2 n + 1$. When $l \geq 2$, $\H(\mathcal{K}, \mathcal{A})$ is often called the non-isotropic Heisenberg group of real dimension $2 n + 1$. Recall that the dilation $\delta_r$ ($r > 0$) is given by $$\begin{aligned} \delta_{r}(z, t) = (r z, r^2 t), \quad \forall (z, t) \in \H(\mathcal{K}, \mathcal{A}) = \C^n \times \R.\end{aligned}$$ For $1 \leq i \leq l$, set $$z_i = (z_{i, 1}, \cdots, z_{i, k_i}) = (x_{i, 1} + \imath y_{i, 1}, \cdots, x_{i, k_i} + \imath y_{i, k_i}) \in \C^{k_i}$$ with $$x_{i, j}, y_{i, j} \in \R, \quad 1 \leq j \leq k_i, \quad |z_i| = \sqrt{\langle z_i, z_i \rangle}, \quad |z| = \sqrt{\sum_{i = 1}^l |z_i|^2}.$$ Let $$\begin{aligned} \X_{i, j} = \frac{\partial}{\partial x_{i, j}} + 2 a_i y_{i, j} \frac{\partial}{\partial t}, \quad \Y_{i, j} = \frac{\partial}{\partial y_{i, j}} - 2 a_i x_{i, j} \frac{\partial}{\partial t}, \qquad 1 \leq i \leq l, 1 \leq j \leq k_i,\end{aligned}$$ be the left invariant vector fields on $\H(\mathcal{K}, \mathcal{A})$. The associated canonical sub-Laplacian and horizonal gradient are given respectively by $$\begin{aligned} \Delta_{\H(\mathcal{K},\mathcal{A})} = \sum_{i = 1}^l \sum_{j = 1}^{k_i} (\X_{i, j}^2 + \Y_{i, j}^2), \qquad \nabla_{\H(\mathcal{K},\mathcal{A})} = (\X_{1, 1}, \Y_{1, 1}, \cdots, \X_{l, k_l}, \Y_{l, k_l}).\end{aligned}$$ Let $d(g) = d_{\H(\mathcal{K},\mathcal{A})}(g)$ denote the Carnot-Carathéodory distance between $g$ and the neutral element $o$, $p_h^{\H(\mathcal{K},\mathcal{A})}$ ($h > 0$) the heat kernel, namely the convolution kernel of $e^{h \Delta_{\H(\mathcal{K},\mathcal{A})}}$, and we set $p^{\H(\mathcal{K},\mathcal{A})} = p^{\H(\mathcal{K},\mathcal{A})}_1$. Recall that for all $h > 0$ and $(z, t) \in \H(\mathcal{K}, \mathcal{A})$, we have $$\begin{aligned} \label{sp} d\left(\frac{z}{\sqrt{h}},\frac{t}{h}\right)=\frac{1}{\sqrt{h}}d(z,t), \quad p^{\H(\mathcal{K},\mathcal{A})}_h(z, t) = \frac{1}{h^{n+1}} p^{\H(\mathcal{K},\mathcal{A})}\left(\frac{z}{\sqrt{h}}, \frac{t}{h}\right),\end{aligned}$$ and $$\begin{aligned} p^{\H(\mathcal{K},\mathcal{A})}(z, t) &= \frac{1}{2 (4\pi)^{n+1}} \nonumber \\ & \times \int_{\R}\prod_{j=1}^l \left( \frac{a_j \lambda}{\sinh{(a_j \lambda)}} \right)^{k_j} \exp{\left( \frac{1}{4} \left(\imath \lambda t - \sum_{j=1}^l |z_j|^2 a_j \lambda \coth{(a_j \lambda)}\right) \right)} \, d\lambda \label{1}\end{aligned}$$ by @BGG00 or @LP03. Then we provide a new approach, which is of independent interest, to yield the following.\ Precise estimates for the heat kernel on isotropic Heisenberg groups $\H(n, 1)$ ------------------------------------------------------------------------------- \[TC\] For $n \ge 2$, we have <span>*$$\begin{aligned} \label{IHE} p_h^{\H(n, 1)}(z, t) \sim h^{- n - 1} e^{-\frac{d^2(z, t)}{4 h}} \left( 1 + \frac{d(z, t)}{\sqrt{h}} \right)^{2 (n - 1)} \left( 1 + \frac{|z| d(z, t)}{h} \right)^{\frac{1}{2} - n},\end{aligned}$$*</span> for all $h > 0$ and $(z, t) \in \H(n, 1) \cong \C^n \times \R$. We emphasize that the implicit constants in depend on $n$. Remark that the estimate is valid for all $n \ge 1$: the upper bound was obtained under an equivalent form by Beals-Gaveau-Greiner (see @BGG00 [Theorem 4.6]), and was obtained in @Li07. Moreover, the uniform asymptotic behaviour at infinity of $p^{\H(n, 1)}$ for any $n \ge 1$ has been acquired by the first author in @Li07, by improving the method of Beals-Gaveau-Greiner in @BGG00. It is also obtained in @Li12 by another approach which is more powerful since $p^{\H(n, 1)}$ can be considered as a special case of the heat kernel of the Grushin operator $\Delta_G$ on $\R^{2 n} \times \R$, where $$\begin{aligned} \Delta_G = \sum_{i = 1}^{2 n} \left( U_i^2 + V_i^2 \right), \quad \mbox{with } U_i = \frac{\partial}{\partial x_i}, \ V_i = x_i \frac{\partial}{\partial t}.\end{aligned}$$ Strictly speaking, the asymptotic behaviour of $p^{\H(1, 1)}$ cannot be deduced directly from the results in @Li12. However, we will see in the following that an improvement of the method in @Li12 is sufficient for our desired result. Recall that the three dimensional Heisenberg group case has been proved by Hueber-Müller in @HM89. Now we consider our third proof of the above result. First we observe from the expression of the heat kernel given above (cf. ) and an elementary property of Fourier transform (see below for more details) that for any $n \ge 2$ and $(z,t) \in \H(n,1)$, we have $$\begin{aligned} p^{\H(n, 1)}(z, t) &= \left( p^{\H(1, 1)}(|z|, \cdot) \ast p^{\H(n - 1, 1)}(o, \cdot) \right)(t) \label{convolution} \\ &= \left( p^{\H(1, 1)}(|z|, \cdot) \ast \underbrace{p^{\H(1, 1)}(0, \cdot) \ast \cdots \ast p^{\H(1, 1)}(0, \cdot)}_{n - 1 \, \mbox{times}} \right)(t) \nonumber\end{aligned}$$ where the convolution $\ast$ is taken in $\R$. The last formula can be regarded as a reinforced version of the following identity: $$\begin{aligned} \label{convolution2} p^{\H(n, 1)}(z, t) = \left( p^{\H(1, 1)}(z_1, \cdot) \ast p^{\H(1, 1)}(z_2, \cdot) \ast \cdots \ast p^{\H(1, 1)}(z_n, \cdot) \right)(t),\end{aligned}$$ which has been used in @C96 [p. 371]. Then our proof is based on the above observation, some results of Gaveau in @G77 and the estimate . In order to state our main results, we fix some notations. Notations {#reference} --------- Let $w$ be a non-negative real-valued function. From now on, the notation $f = O(w)$ (resp. $f \lesssim w$ if $f$ is also real-valued function) means that there exists a universal constant $C > 0$, maybe depending on $(\mathcal{K}, \mathcal{A})$, such that $|f| \leq C w$ (resp. $f \leq C w$). Recall that we use the notation $f \sim w$ if $f \lesssim w$ and $w \lesssim f$. Similarly, $f = O_{\vartheta}(w)$ (resp. $f \lesssim_{\vartheta} w$ for real-valued function $f$), with a parameter $\vartheta$, means that there exists a constant $C(\vartheta) > 0$, depending on $\vartheta$ and maybe depending on $(\mathcal{K}, \mathcal{A})$, such that $|f| \leq C(\vartheta) w$ (resp. $f \leq C(\vartheta) w$). Furthermore, we use the notation $f \sim_{\vartheta} w$ if $f \lesssim_{\vartheta} w$ and $w \lesssim_{\vartheta} f$. We remark that starting from Section \[st1n\], $|f|$ often denotes the magnitude of the complex-valued function $f$. Then we recall the Carnot-Carathéodory distance on $\H(\mathcal{K}, \mathcal{A})$ obtained in @BGG00 [§3]. In fact, this part is not necessary for our main goal, namely Theorems \[t1\]-\[t3\] in Subsection \[mainre\] below and we include it for the sake of clarity (see the discussion in the end of Subsection \[mainre\]). Set $$\begin{aligned} \label{mu} \mu(\omega) = \frac{\omega}{{\sin^2{\omega}}}-\cot{\omega} = \frac{2 \omega - \sin{2 \omega}}{2 \sin^2{\omega}}: \quad (-\pi, \pi) \longrightarrow \R,\end{aligned}$$ which is an odd function, and a monotonely increasing diffeomorphism between $(-\pi,\pi)$ and $\R$. Given $(z,t)$ such that $z_l \ne 0$, there exists exactly one $-\pi < \theta = \theta(z, t) < \pi$ such that $$\begin{aligned} \label{dd1} t = \sum_{j=1}^l a_j \mu(a_j \theta) |z_j|^2,\end{aligned}$$ and we have $$\begin{aligned} \label{dd2} d^2(z,t) = \sum_{j=1}^l \left( \frac{a_j \theta}{\sin(a_j \theta)} \right)^2 |z_j|^2 = \theta \, ( t + \sum_{j=1}^l a_j \cot{(a_j\theta)} \, |z_j|^2 ).\end{aligned}$$ We have the following alternatives: 1. If $|t| < \sum\limits_{j=1}^{l - 1} a_j \mu(a_j \pi) |z_j|^2$, then the equation has a unique solution $-\pi < \theta < \pi$ and remains valid. 2. If $|t| \geq \sum\limits_{j=1}^{l - 1} a_j \mu(a_j \pi) |z_j|^2$, then we have $$\begin{aligned} d^2(z, t) = \pi \left( |t| + \sum_{j=1}^{l-1} a_j \cot{(a_j \pi)} |z_j|^2 \right).\end{aligned}$$ Using the equivalence between the Carnot-Carathéodory distance and a homogeneous norm on stratified groups (see for example @VSC92), or by a direct calculation, we have $$\begin{aligned} \label{l1} d^2(z, t) \sim |z|^2 + |t|, \qquad \forall (z, t) \in \H(\mathcal{K}, \mathcal{A}).\end{aligned}$$ Recall that $p^{\H(\mathcal{K},\mathcal{A})} \in C^{\infty}(\H(\mathcal{K} , \mathcal{A}))$ and note that $$\begin{aligned} p^{\H(\mathcal{K},\mathcal{A})}(z, t) = p^{\H(\mathcal{K},\mathcal{A})}(z, -t), \quad d(z, t) = d(z, -t), \quad \forall (z, t) \in \H(\mathcal{K}, \mathcal{A}).\end{aligned}$$ Hence, without loss of generality, we may assume in the sequel that $t \geq 0$ and $z_l \ne 0$. Under our assumption, we get $0 \leq \theta < \pi$. We define for $\lambda \in \C$ with $- \pi < \Im \lambda < \pi$, $$\begin{aligned} \label{defvarphi} \varphi(\lambda) = \varphi(\mathcal{K}, \mathcal{A}; z, t; \lambda)= \frac{1}{4} \left( \imath \lambda t -\sum_{j=1}^l |z_j|^2 a_j \lambda \coth{(a_j \lambda)} \right), \end{aligned}$$ and $$\begin{aligned} \label{phi} \Phi(s)=\Phi(\mathcal{K}, \mathcal{A}; z, t; s)=\varphi(s + \imath \theta) - \varphi(\imath \theta), \qquad s \in \R,\end{aligned}$$ where $\theta$ is given by . Note that $$\begin{aligned} & \varphi(\imath \theta) = - \frac{d^2(z, t)}{4}, \quad \varphi'(\imath \theta) = 0 = \Phi(0) = \Phi'(0) , \label{de1} \\ & \Phi^{\prime \prime}(0) =- \sum_{j=1}^l \frac{ a_j^2 |z_j|^2 }{ 2 \sin^2 ( a_j\theta ) }(1 - a_j \theta \cot( a_j \theta ) ) < 0. \label{dep}\end{aligned}$$ In the case that $\theta$ is close to $\pi$, we set $$\begin{aligned} \label{epsilon} \epsilon = \pi - \theta.\end{aligned}$$ We define holomorphic functions $G_i$ ($1 \leq i \leq 3$) and $G$ (with natural domain of definition) as follows: $$\begin{aligned} G_1(\xi)=\frac{\xi}{\sin{\xi}} \cos{\xi}, \quad G_2(\xi)=\pi \left( \frac{\cos{\xi}}{\sin{\xi}} - \frac{1}{\xi} \right) = \pi \frac{\xi \cos{\xi} - \sin{\xi}}{\xi \sin{\xi}},\end{aligned}$$ and $$\begin{aligned} \label{Ge} G_3(\xi) &= G_3(\mathcal{K},\mathcal{A};z;\xi) = -\sum_{j=1}^{l-1} \frac{|z_j|^2}{4} G_1(a_j(\pi-\xi)), \\ \label{Ge2} G(\xi) &= G(\mathcal{K},\mathcal{A};z;\xi) = \ G_3(\xi) + \frac{|z_l|^2}{4} (G_2(\xi) - G_1(\xi)).\end{aligned}$$ It follows that $$\begin{aligned} \label{v1p} \varphi(\imath (\pi - \xi)) = -\frac{t}{4} (\pi - \xi) + G(\xi) + \frac{\pi}{4} \frac{1}{\xi} |z_l|^2,\end{aligned}$$ with $\frac{\pi}{4} \frac{1}{\xi} |z_l|^2$ the bad part of the phase. We remark that $$\begin{aligned} G_2^{''}(0) = 0, \ G_1^{''}(0) = -\frac{2}{3}, \ G_1'(\xi) = -\mu(\xi), \ G_1^{''}(\xi) = -\mu'(\xi) < 0, \ \forall 0 \leq \xi < \pi.\end{aligned}$$ We deduce from and $\varphi'(\imath \theta) = 0$ that $$\begin{aligned} \frac{t}{4} = - G'(\epsilon) + \frac{\pi}{4} \frac{|z_l|^2}{\epsilon^2}.\end{aligned}$$ Combining it with , we get $$\begin{aligned} \Phi(\epsilon \tau) &= \varphi\left(\imath (\pi - \epsilon (1 + \imath \tau)) \right) - \varphi\left(\imath (\pi - \epsilon) \right) \nonumber \\ &= \frac{1}{4} \frac{\pi}{\epsilon} |z_l|^2 \, \left( \frac{1}{1 + \imath \tau} + \imath \tau - 1 \right) - \frac{1}{2} G^{''}(\epsilon) \epsilon^2 \tau^2 + K(\epsilon \tau), \label{p1p}\end{aligned}$$ where $$\begin{aligned} \label{ke} K(\xi) = K(\mathcal{K}, \mathcal{A}; z, t; \xi) = G(\epsilon + \imath \xi) - G(\epsilon) - G'(\epsilon) \left( \imath \xi \right) - \frac{1}{2} G^{''}(\epsilon) \left( \imath \xi \right)^2.\end{aligned}$$ We point out that $K(\xi)$ has been chosen so that $$\begin{aligned} K(0) = K^{\prime}(0) = K^{\prime\prime}(0) = 0 \ \mbox{ and } \ K^{\prime\prime\prime}(0) = -\imath G^{\prime\prime\prime}(\epsilon).\end{aligned}$$ For the simplicity of notations, we write in the sequel $$\begin{aligned} \label{ie1} D_1 = \frac{1}{4} \frac{\pi}{\epsilon} |z_l|^2, \ D_2=\frac{1}{2} G^{\prime \prime}(\epsilon) \epsilon^2, \ J_* = K(\imath \epsilon) = G(0) - G(\epsilon) + G'(\epsilon) \epsilon - \frac{1}{2} G^{\prime\prime}(\epsilon) \epsilon^2.\end{aligned}$$ This yields $$\begin{aligned} D_1 + D_2 = - \frac{1}{2} \epsilon^2 \Phi^{\prime\prime}(0),\end{aligned}$$ and for $\epsilon > 0$ small enough $$\begin{aligned} \label{d2j} D_2 \sim |z|^2 \epsilon^2 > 0, \qquad J_* = O(|z|^2 \epsilon^3).\end{aligned}$$ For $- \pi < \Im \omega < \pi$, we define holomorphic functions $h_1$, $h_2$ and $h$ by $$\begin{aligned} \label{defh} h_1(\omega) = \frac{ \omega }{ \sinh{ \omega } }, \quad h_2(\omega) = \omega \coth{ \omega }, \quad h(\omega) = h(\mathcal{K},\mathcal{A};\omega) = \prod_{j=1}^l h_1^{k_j} (a_j \omega).\end{aligned}$$ Let $\omega = \xi + \imath \eta$ with $\xi, \eta \in \R $, then from a direct computation, we get $$\begin{aligned} \label{h1h2} | h_1 ( \omega ) |^2 = \frac{ \xi^2 + \eta^2 }{ \sinh^2{ \xi } + \sin^2{ \eta } }, \qquad \Re{h_2 ( \omega )} = \frac{ \xi \sinh{ \xi } \cosh{ \xi } + \eta \sin{ \eta } \cos{ \eta }}{ \sinh^2{ \xi } + \sin^2{ \eta } } \geq 0,\end{aligned}$$ where $\Re \omega$ denotes the real part of a complex number $\omega$.\ By , , and the Cauchy's integral formula, we can write for $t \geq 0$ and $z_l \neq 0$ $$\begin{aligned} \label{spe} p^{\H(\mathcal{K},\mathcal{A})}(z,t) = \frac{1}{2(4\pi)^{n+1}} e^{-\frac{d^2(z,t)}{4}} M, \quad \mbox{with} \quad M = \int_{\R} h(\lambda + \imath \theta) e^{\Phi(\lambda)} \, d\lambda.\end{aligned}$$ Given $(z,t)$ such that $t \geq 0$ and $z_l \neq 0$, the above result is in fact a shift of the contour from $\R$ to $\R + \imath \theta$, which can be derived from the exponential decay of the integrand in the horizonal strip bounded by $\R$ and $\R + \imath \theta$.\ Uniform asymptotic behaviour at infinity of the heat kernel at time $1$ on non-isotropic Heisenberg groups $\H(\mathcal{K}, \mathcal{A})$ {#mainre} ----------------------------------------------------------------------------------------------------------------------------------------- Recall that $p^{\H(\mathcal{K},\mathcal{A})}$ denotes the heat kernel at time $1$ on the non-isotropic Heisenberg groups $\H(\mathcal{K}, \mathcal{A})$. With the notation $\theta$, $d(z, t)$, $\Phi$, $\epsilon$, $D_1$, $D_2$, $J_*$, $G$, $G_1$, $G_2$ and $G_3$ defined above, we will distinguish the following three cases:\ 1. $d(z, t) \longrightarrow + \infty$ with $ | \theta| \leq \theta_0 < \pi$;\ 2. $d(z, t) \longrightarrow + \infty$ with $0 < \epsilon = \pi - |\theta| \ll 1$ and $D_1 + D_2 \gg 1$;\ 3. $d(z, t) \longrightarrow + \infty$ with $0 \leq \epsilon \ll 1$ and $D_1 + D_2$ bounded.\ They are treated by next three theorems, respectively. Furthermore, we will find that these results are uniform. By the continuity of $p^{\H(\mathcal{K},\mathcal{A})}$, without loss of generality, we may assume that $|z| \neq 0$ and even $|z_l| \neq 0$ if we need. \[t1\] Suppose that $\frac{\pi}{2} \leq \theta_0 < \pi$. There exists a constant $c(\theta_0) = c(\mathcal{K}, \mathcal{A}; \theta_0) > 0$ such that: $$\begin{aligned} \label{t1as} p^{\H(\mathcal{K},\mathcal{A})}(z,t) = \frac{e^{-\frac{d^2(z,t)}{4}}}{4 \, (4 \pi)^{n + \frac{1}{2}}} \left( -\frac{\Phi^{\prime\prime}(0)}{2} \right)^{-\frac{1}{2}} \prod_{j=1}^l \left( \frac{a_j \theta}{\sin{(a_j \theta)}} \right)^{k_j} \left( 1 + O_{\theta_0}(d^{-2}(z, t)) \right),\end{aligned}$$ for all $d(z, t) \geq c(\theta_0)$ satisfying $|\theta| \leq \theta_0$. \[t2\] There exists a constant $0 < \epsilon_0 \ll 1$ such that $$\begin{aligned} p^{\H(\mathcal{K},\mathcal{A})}(z,t) &= \frac{e^{-\frac{d^2(z,t)}{4}}}{4 \, (4 \pi)^{n + \frac{1}{2}}} (D_1 + D_2)^{-\frac{1}{2}} \, \epsilon \prod_{j=1}^{l} \left( \frac{a_j \theta}{\sin{(a_j \theta)}} \right)^{k_j} \, \left( 1 + O((D_1 + D_2)^{-1}) \right) \label{t2as} \\ &= \frac{e^{-\frac{d^2(z,t)}{4}}}{4 \, (4 \pi)^{n + \frac{1}{2}}} \frac{\epsilon \left( \frac{\pi}{\epsilon} \right)^{k_l}}{\sqrt{D_1 + D_2}} \prod_{j=1}^{l-1} \left( \frac{a_j \pi}{\sin{(a_j \pi)}} \right)^{k_j} \, (1+O(\epsilon)) \left( 1 + O((D_1 + D_2)^{-1}) \right), \nonumber\end{aligned}$$ for all $(z, t)$ satisfying $0 < \epsilon = \pi - |\theta| \leq \epsilon_0$ and $D_1 + D_2 = - \frac{\Phi^{\prime\prime}(0)}{2} \epsilon^2 \ge \epsilon_0^{-3}$. The order of the remainders $O_{\theta_0}(d^{-2}(z, t))$ and $O((D_1 + D_2)^{-1})$, in Theorems \[t1\] and \[t2\] respectively, can be explained by the method of stationary phase (see for example @S93 [Ch. VIII 1.3.4]). \[t3\] Let $\epsilon_0$ be the constant in Theorem \[t2\]. For $\gamma_0 \geq 1$ fixed, we have $$\begin{aligned} \label{AT3} p^{\H(\mathcal{K},\mathcal{A})}(z,t) = \frac{e^{-\frac{d^2(z,t)}{4}}}{2 \, (4\pi)^{n+1}} e^{-D_1+J_*} S_{k_l} \, \epsilon \left( \frac{\pi}{\epsilon} \right)^{k_l} \prod_{j=1}^{l-1} \left( \frac{a_j \pi}{\sin{(a_j \pi)}} \right)^{k_j} \, \left( 1 + O_{\gamma_0} \left(d^{-\frac{1}{2}}(z, t)\right) \right), \quad\end{aligned}$$ as $d(z, t) \to +\infty$ satisfying $0 \leq \epsilon \leq \epsilon_0$ and $D_1 + D_2 \leq \gamma_0$, with $$\begin{aligned} \label{SKL} S_{k_l} = \frac{\sqrt{\pi}}{\sqrt{D_2}} \int_0^{+\infty} e^{-s} \left( \frac{s}{D_1} \right)^{\frac{1}{2} (k_l - 1)} I_{k_l-1}(2 \sqrt{D_1 s}) e^{- \frac{(s - D_1)^2}{4D_2}} \, ds,\end{aligned}$$ where the modified Bessel function $I_{\nu}$ ($\nu > -\frac{1}{2}$) is defined as $$\begin{aligned} I_{\nu}(u) = \frac{1}{\sqrt{\pi} \Gamma(\nu + \frac{1}{2})} \Big( \frac{u}{2} \Big)^{\nu} \int_{-1}^1 (1 - h^2)^{\nu - \frac{1}{2}} e^{-u h} \, dh, \quad u \in \C.\end{aligned}$$ The remainder $O_{\gamma_0}(d^{-\frac{1}{2}}(z, t))$ in Theorem \[t3\] should not be optimal and we should ask whether it can be improved to $O_{\gamma_0}(d^{-1}(z, t))$. When $l = 1$, that is, in the isotropic case, for $0 < \epsilon \ll 1$, a better asymptotic bound, which is given by a different formula, has been obtained in @Li07 [Lemme 2]. A detailed explanation on the coincidence of their leading terms can be found in @Li12. Here we use the formula in order to match Theorem \[t3\] with Theorem \[t2\]. Someone may ask that the term $\epsilon^{1 - k_l} S_{k_l}$ in could blow up for $k_l \geq 2$ as $\epsilon \longrightarrow 0^+$, and that might not be uniform. In fact, by using the definition of $D_1$, $D_2$ and $\epsilon$ (see and above), the change of variables $s = \epsilon \rho$ shows that $$\begin{aligned} \epsilon^{1 - k_l} S_{k_l} &= \sqrt{\pi} \left( \frac{1}{2} G^{''}(\epsilon) \right)^{-\frac{1}{2}} \\ &\times \int_0^{+\infty} e^{-\epsilon \rho} \left( \frac{4 \rho}{\pi |z_l|^2} \right)^{\frac{1}{2}(k_l-1)} I_{k_l-1}(\sqrt{\pi} |z_l| \sqrt{\rho}) \exp{\left(-\frac{(\rho - \frac{\pi |z_l|^2}{4 \epsilon^2})^2} {2 G^{''}(\epsilon)}\right)} \, d\rho.\end{aligned}$$ Here if $|z| \neq 0$ and $\epsilon = 0$ (it implies $|z_l| = 0$), we have $G^{''}(0) = G_3^{''}(0)$ (cf. above) and the following interpretations: $$\begin{aligned} \lim_{|z_l| \longrightarrow 0} \left( \frac{4 \rho}{\pi |z_l|^2} \right)^{\frac{1}{2}(k_l-1)} I_{k_l-1}(\sqrt{\pi} |z_l| \sqrt{\rho}) = \frac{\rho^{k_l - 1}}{\Gamma(k_l)}, \quad \forall \rho > 0, \\ \lim_{|z_l| \longrightarrow 0} \frac{\pi |z_l|^2}{4 \epsilon^2} = \frac{1}{4} \left( |t| - \sum_{j=1}^{l-1} a_j \mu(a_j \pi) |z_j|^2 \right).\end{aligned}$$ In particular, we get the following corollary. \[cor1\] Suppose that $|z| \neq 0$ and $|\theta| = \pi$. Then $|z_l| = 0$ and we have $$\begin{aligned} \label{ATsT} p^{\H(\mathcal{K},\mathcal{A})}(z,t) &= \frac{\pi^{k_l - n - \frac{1}{2}}}{2^{2n + 3} \Gamma(k_l)} \left( \frac{1}{2} G^{''}_3(0) \right)^{-\frac{1}{2}} e^{-\frac{d^2(z,t)}{4}} \prod_{j=1}^{l-1} \left( \frac{a_j \pi}{\sin{(a_j \pi)}} \right)^{k_j} \, \left( 1 + O\left(d^{-\frac{1}{2}}(z, t)\right) \right) \nonumber \\ &\times \int_0^{+\infty} \rho^{k_l - 1} \exp{\left(-\frac{1}{2 G^{''}_3(0)} \left( \rho - \frac{1}{4} ( |t| - \sum_{j=1}^{l-1} a_j \mu(a_j \pi) |z_j|^2 ) \right)^2 \right)} \, d\rho.\end{aligned}$$ The idea of the proof for Theorems \[t1\] and \[t2\] is standard, via the method of stationary phase. The main difficulty arises in the proof of Theorem \[t3\]. Analytically, this is because $\pm \imath \pi$ are simultaneously poles of the phase and of the amplitude in the expression of the heat kernel by means of oscillatory integral (cf. above), and the method of stationary phase is no longer valid. From a geometric point of view, this could be explained by the fact that the cut locus of $o$, excluding itself, is located in the case where $\epsilon = 0$. In addition, the phase (corresponding to the cut locus of $o$, or group law, from a geometric or algebraic point of view, respectively) in the non-isotropic case is much more complicated than that in the isotropic case, and the method in @Li07 is not enough. To overcome this difficulty, we will use a more powerful method. More precisely we essentially follow the same strategy in @Li12: First, we remark that a straightforward modification of @Li12 suffices for $k_l \geq 2$ since the corresponding bad part of the phase for the case of Grushin operators in @Li12 is more complicated than ours. Next, in the other case $k_l = 1$, corresponding to a case left open (in fact the case $n = 2$ there) in @Li12, the amplitude will play an important role as well, which makes the estimate of remainders subtler. Fortunately, it can be handled by ameliorating the proof of @Li12 [pp. 809-822] (more specifically, by adding a step of integration by parts in some appropriate form motivated by @Li12 [Cas 2, p. 816], so it should be reasonable to distinguish the case $k_l = 1$ with other cases $k_l \geq 2$). The idea and method of @Li12 can be adapted to other situations. For example, we will provide an intrinsic method in a forthcoming work to prove the uniform asymptotic bounds at infinity for heat kernel in the setting of H-type groups, which have been obtained in @Li10 by a very natural method motivated by @Li07. However, the method in @Li10 is no longer valid for other stratified group $G$ satisfying $\mathrm{dim} \mathcal{V}_2 \geq 2$, where $\mathcal{V}_2$ denotes the second slice in the stratification of its Lie algebra. Moreover, we point out that we will use the explicit formulas for the Carnot-Carathéodory distance in the proof below. However, the readers, who are familiar with asymptotic methods, will find that it is not necessary. It is worth observing that the Carnot-Carathéodory distance can be obtained in some more general step-$2$ stratified groups, for example, Lie groups associated to quadratic CR manifolds in the sense of @NRS01. Precise estimates for the heat kernel and its derivatives on non-isotropic Heisenberg groups $\H(\mathcal{K}, \mathcal{A})$ {#precise} --------------------------------------------------------------------------------------------------------------------------- A slight modification (substituting $\nu$ for $\frac{n}{2} - m \geq 1$, $r$ for $D_1$ and $b$ for $D_2$ respectively) of @Li12 [(4.11)] and @Li12 [Proposition 4.1, p. 817] gives the following proposition, which plays a crucial role in @Li12 and also in this article. \[prop1\] Let $\nu \ge 1$. For any $r \ge 0$ and $b > 0$, $$\begin{aligned} \label{Plancherel} \int_{\R} \frac{1}{(1+\imath \tau)^{\nu}} e^{-b \tau^2 + \imath r \tau + \frac{r}{1 + \imath \tau}} d\tau = \frac{\sqrt{\pi}}{\sqrt{b}} \int_0^{\infty} e^{-s} \left( \frac{s}{r} \right)^{\frac{\nu - 1}{2}} I_{\nu - 1}(2 \sqrt{r s}) e^{- \frac{(s - r)^2}{4b}} \, ds.\end{aligned}$$ Furthermore, for $\gamma_0 > 0$, we have $$\begin{aligned} \label{KE1} \frac{\sqrt{\pi}}{\sqrt{b}} \int_0^{\infty} e^{-s} \left( \frac{s}{r} \right)^{\frac{\nu - 1}{2}} I_{\nu - 1}(2 \sqrt{r s}) e^{- \frac{(s - r)^2}{4b}} \, ds \sim_{\gamma_0, \nu} \left(r + \sqrt{b}\right)^{\nu - 1},\end{aligned}$$ for all $0 \le r \le \gamma_0$ and $0 < b \le \gamma_0$. Using the scaling property , the definition of $S_{k_l}$ (cf. ) and (with $\nu = k_l$, $r = D_1$ and $b = D_2$), we can conclude the following results. We have $$\begin{aligned} \label{pehk} p^{\H(\mathcal{K},\mathcal{A})}_h(z,t) \sim h^{-n - 1} \left( 1 + \frac{|z|^2}{h} \epsilon_*^2 + \frac{|z_l|^2}{h} \epsilon_*^{-1} \right)^{- \frac{1}{2}} \left( \frac{h + \sqrt{h} |z| + |z_l|^2 \epsilon_*^{-2}}{h + \sqrt{h} |z| \epsilon_* + |z_l|^2 \epsilon_*^{-1}} \right)^{k_l - 1} e^{-\frac{d^2(z, t)}{4 h}}, \quad\end{aligned}$$ for all $h > 0$ and $(z, t) = ((z_1, \cdots, z_l), t) \in \H(\mathcal{K}, \mathcal{A})$ satisfying $\epsilon_* = \frac{\sin{\theta}}{\theta} > 0$. For the special case $\H((1, 1), (a_1, 1))$ (with $0 < a_1 < 1$), namely the five dimensional non-isotropic Heisenberg groups, can be obtained by applying and the following counterpart of : $$\begin{aligned} \label{convolutionh5} p_h^{\H((1, 1), (a_1, 1))}(z, t) = \frac{1}{a_1} \left(p_h^{\H(1, 1)}\left(z_1, \frac{\cdot}{a_1}\right) \ast p_h^{\H(1, 1)}(z_2, \cdot)\right)(t).\end{aligned}$$ However, the proof needs extremely tedious calculations and it seems not very practical for our purpose. By above, we get a uniform, but more complicated, estimate as follows: $$\begin{aligned} p^{\H(\mathcal{K},\mathcal{A})}(z,t) & \ \sim e^{-\frac{d^2(z, t)}{4}} \left[ 1 + |z|^2 \epsilon_*^2 + \epsilon_* \left( d^2(z, t) - \sum_{j = 1}^{l - 1} |z_j|^2 \left( \frac{a_j \theta}{\sin{(a_j \theta)}} \right)^2 \right) \right]^{- \frac{1}{2}} \\ &\times \left[ \frac{1 + |z| + \left( d^2(z, t) - \sum\limits_{j=1}^{l - 1} |z_j|^2 \left( \frac{a_j \theta}{\sin{(a_j \theta)}} \right)^2 \right)}{1 + |z| \epsilon_* + \epsilon_* \left( d^2(z, t) - \sum\limits_{j=1}^{l - 1} |z_j|^2 \left( \frac{a_j \theta}{\sin{(a_j \theta)}} \right)^2 \right)} \right]^{k_l - 1}, \quad \forall (z, t) \in \H(\mathcal{K}, \mathcal{A}).\end{aligned}$$ In the case where $l = 1$, that is, in the isotropic Heisenberg group case, it becomes (see also ) $$\begin{aligned} p^{\H(n , 1)}(z,t) \sim \left( 1 + |z| d(z, t) \right)^{- \frac{1}{2}} \left( \frac{1 + d^2(z, t)}{1 + |z| d(z, t)} \right)^{n - 1} e^{-\frac{d^2(z, t)}{4}}, \qquad \forall (z, t) \in \H(n, 1),\end{aligned}$$ which has been obtained in @Li07 [Theorem 1]. However, any formula similar to the last one, depending only on $(|z|, d(z, t))$, is invalid in the nonisotropic case. Furthermore, we give sharp estimates for derivatives of $p^{\H(\mathcal{K},\mathcal{A})}$ (so of $p^{\H(\mathcal{K},\mathcal{A})}_h$ as well) as follows: \[t4\] We have $| \nabla_{\H(\mathcal{K},\mathcal{A})} \ln{p^{\H(\mathcal{K},\mathcal{A})}(g)} | \lesssim d(g)$ for all $g \in \H(\mathcal{K}, \mathcal{A})$. In general, let $m \in \N^+$, $\beta \in \N^m$ and $\U_{\eta} \in \{\X_{i, j}, \Y_{i, j} \}_{1 \leq i \leq l, 1 \leq j \leq k_i}$ with $1 \leq \eta \leq m$. Then there exists a constant $C_* = C_*(\beta) > 0$ such that $$\begin{aligned} | \U_1^{\beta_1} \cdots \U_m^{\beta_m} p^{\H(\mathcal{K},\mathcal{A})}(g) | \leq C_* (1 + d(g))^{|\beta|} p^{\H(\mathcal{K},\mathcal{A})}(g), \quad \forall g \in \H(\mathcal{K}, \mathcal{A}), \ \mbox{where }|\beta| = \sum_{\eta = 1}^m \beta_{\eta}.\end{aligned}$$ The estimate $| \nabla_{\H(\mathcal{K},\mathcal{A})} \ln{p^{\H(\mathcal{K},\mathcal{A})}(g)} | \lesssim d(g)$ has been obtained by B. Qian in @Q10 by means of Harnack inequality and Bakry-Emery criterion. See @BB09 for more details about the method. Notice that we can also obtain the asymptotic behaviour at infinity of $\U_1^{\beta_1} \cdots \U_m^{\beta_m} p^{\H(\mathcal{K},\mathcal{A})}$. They are left to the interested reader. In a future work, the second author will establish the gradient bound of the heat semigroup on $\H(\mathcal{K}, \mathcal{A})$. Small-time asymptotic behaviour on $\H(\mathcal{K}, \mathcal{A})$ of the heat kernel ------------------------------------------------------------------------------------ Since the result of the case $(z, t) = o$ is trivial, we may assume in the sequel $(z, t) \neq o$. To study the small-time asymptotic estimates, Theorem \[t1\] and are sufficient. In fact, from the scaling invariance property, Theorem \[t1\] implies the following corollary. \[c2\] Suppose that $|t| = \sum\limits_{j=1}^{l} a_j \mu(a_j \theta) |z_j|^2$ has a unique solution $0 \leq \theta < \pi$, then we have $$\begin{aligned} p^{\H(\mathcal{K},\mathcal{A})}_h(z,t) = \frac{1}{4 (4\pi h)^{n + \frac{1}{2}}} e^{-\frac{d^2(z,t)}{4h}} \left( -\frac{\Phi^{\prime \prime}(0)}{2} \right)^{-\frac{1}{2}} \prod_{j=1}^l \left( \frac{a_j \theta}{\sin{(a_j \theta)}} \right)^{k_j} \left( 1 + O(h) \right), \quad \mbox{as $h \to 0^+$.} \end{aligned}$$ By , we get the following corollary immediately. \[c3\] Assume that $z_l = 0$ and $|t| = \sum\limits_{j=1}^{l - 1} a_j \mu(a_j \pi) |z_j|^2 > 0$. Then $$\begin{aligned} p^{\H(\mathcal{K},\mathcal{A})}_h(z,t) = \frac{2^{\frac{k_l - 3}{2}} \pi^{k_l + \frac{1}{2}}}{(4\pi)^{n+1}} \frac{\Gamma(\frac{k_l}{2})}{\Gamma(k_l)} \left( G_3^{\prime \prime}(0) \right)^{\frac{k_l - 1}{2}} e^{-\frac{d^2(z,t)}{4h}} h^{- n - \frac{k_l + 1}{2}} \prod_{j = 1}^{l-1} \left( \frac{a_j \pi}{\sin{(a_j \pi)}} \right)^{k_j} (1+o(1)),\end{aligned}$$ as $h \to 0^+$. For $|z| \neq 0$, using a change of variables $$\rho = 4^{-1} \left( |t| - \sum_{j=1}^{l-1} a_j \mu(a_j \pi) |z_j|^2 \right) + \sqrt{2 G_3^{''}(0)} \lambda,$$ we obtain from the following corollary as well. \[c4\] If $z_l = 0$ and $|t| > \sum\limits_{j=1}^{l - 1} a_j \mu(a_j \pi) |z_j|^2$. Then $$\begin{aligned} p^{\H(\mathcal{K},\mathcal{A})}_h(z,t) &= \frac{4^{1 - k_l} \pi^{k_l + 1}}{(4 \pi)^{n+1} \Gamma(k_l)} \left( |t| - \sum_{j=1}^{l-1} a_j \mu(a_j \pi) |z_j|^2 \right)^{k_l - 1} e^{-\frac{d^2(z,t)}{4h}} h^{ - n - k_l} \\ &\times \prod_{j=1}^{l-1} \left( \frac{a_j \pi}{\sin{(a_j \pi)}} \right)^{k_j} (1+o(1)), \end{aligned}$$ as $h \to 0^+$. Note that we have assumed that $|z| \neq 0$ in Corollary \[cor1\], but in the case of $z = o$ and $|t| > 0$, it suffices to use an argument of limit. Corollary \[c2\] and Corollary \[c4\] have been obtained by Beals, Gaveau and Greiner, namely @BGG00 [Theorem 5.62 and Theorem 5.75] (with $u = 2 h$), respectively, but Corollary \[c3\] is new, which completes their results. In particular, some new information, about the power of $h$ and the coefficient of the leading term, can be read from our result. The main results of @BBN16, based on Laplace's method, can be deduced from our Corollaries. In @BBN16, the authors considered only the very special situation of five dimensional non-isotropic Heisenberg groups and only $\sigma(g)$, namely, the power of $h$ in the term $\Theta_h(g) = C(g) h^{-\sigma(g)}$ of and the essential information can not be revealed. As we pointed out above, this paper is closely related to @Li12 and that there exist two cases left open in @Li12. So we will fill in the blanks. The heat kernel for Grushin operators $\Delta_G = \sum_{i = 1}^{n} \left( U_i^2 + V_i^2 \right)$ (with $U_i = \frac{\partial}{\partial x_i}$ and $V_i = x_i \frac{\partial}{\partial t}$) on $\R^n \times \R$ w.r.t. Lebesgue measure $dx \, dt$ {#Grushin} ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ Recall that the Grushin operators are prototype of nil-manifolds, but they do not have group structure. However, there exists dilatation structure as well. In @Li12, the first author has studied uniform asymptotic behaviour at infinity of the heat kernel at time $1$ as well as its precise estimates and its small-time asymptotic behaviour, although an additional condition, $n \geq 3$, is needed for main results therein, e.g. Theorems 1.2, 1.3 and Corollary 1.4 in Section 1.2, results in Sections 1.3, 1.4 and 1.5 and Proposition 4.2. Now, we are in the place to remove this assumption and finish the remaining case in @Li12 by the trick of integration by parts used in the estimates of $M_2$ and $M_2^*$ in Subsections \[S52\] and \[S52\*\] below (see Section \[st7\] for more details). As a result, we have the following theorem. \[g\] Theorems 1.2 and 1.3 of @Li12 are in fact valid for all $n \ge 1$. By Theorem \[g\], Corollary 1.4 in Section 1.2, results in Sections 1.3, 1.4 and 1.5 and Proposition 4.2 of @Li12 are still valid for $n = 1 $ and $n = 2$. The remainders in Theorem 1.1 and Theorem 1.2 of @Li12 can be improved to $O(d^{-2})$ and $O(\epsilon) + O((D_1 + D_2)^{-1})$ respectively for all $n \ge 1$ if we use third order Taylor expansion as in the proof of Theorem \[t1\] and Theorem \[t2\] in this paper. Notice that in @BBN12, Barilari et al. have studied the small-time heat kernel asymptotics on Grushin plane, that is in the case where $n = 1$. Recall that their main result (valid in other situations, but under some technical assumptions) is proved by using only the standard Laplace's method, which is a special case of the method of stationary phase. However, as we mentioned above, even the method of stationary phase is not powerful enough for our purpose: uniform asymptotic behaviour at infinity of the heat kernel. Further results {#futher} --------------- It is worthwhile to point out that non-isotropic Heisenberg groups are isomorphic to the isotropic ones. In other words, instead of working on $(\H(\mathcal{K},\mathcal{A}), \Delta_{\H(\mathcal{K},\mathcal{A})})$, we can equivalently work on $\H(n,1)$, but with the sub-Laplacian $$\begin{aligned} \sum_{i = 1}^l a_i \sum_{j = 1}^{k_i} (\hat{\X}_{i, j}^2 + \hat{\Y}_{i, j}^2),\end{aligned}$$ where $$\begin{aligned} \hat{\X}_{i, j} = \frac{\partial}{\partial u_{i, j}} + 2 v_{i, j} \frac{\partial}{\partial t}, \quad \hat{\Y}_{i, j} = \frac{\partial}{\partial v_{i, j}} - 2 u_{i, j} \frac{\partial}{\partial t}, \qquad 1 \leq i \leq l, 1 \leq j \leq k_i.\end{aligned}$$ More generally, let $G$ be a stratified Lie group with Lie algebra $\mathfrak{g}$ satisfying $\mathrm{dim} [\mathfrak{g},\mathfrak{g}] = 1$, and $L$ a (not necessarily the canonical) sub-Laplacian. By @BLU07 [Ch.3 and Ch.16], we can show that there exist $q \in \{0, 1, \cdots\}$ and $(\mathcal{K}, \mathcal{A})$ such that $(G, L)$ is isomorphic to $\R^q \times \H(\mathcal{K}, \mathcal{A})$ with the canonical sub-Laplacian $\Delta_{\R^q \times \H(\mathcal{K}, \mathcal{A})} = \Delta_{\R^q} + \Delta_{\H(\mathcal{K}, \mathcal{A})}$, and the sense for the case where $q =0$ is clear. By the fact that $$\begin{aligned} e^{h \Delta_{\R^q \times \H(\mathcal{K}, \mathcal{A})}} = e^{h \Delta_{\R^q}} e^{h \Delta_{ \H(\mathcal{K}, \mathcal{A})}},\end{aligned}$$ the asymptotic estimates at infinity for the heat kernel associated to $(G, L)$ is now well-known. Structure of the paper ---------------------- The paper is organized as follows. Theorem \[TC\] will be proved in Section \[st1\]. As we mentioned above that the proof of Theorems \[t1\]-\[t3\] in the case where $k_l \geq 2$ follows from a modification of the proof in @Li12. Then we only consider $k_l = 1$ here, which will be treated in Sections \[st1n\]-\[st3\], respectively. In Section \[st4\], we give the proof of precise bounds for the heat kernel and its derivatives. An interpretation for the Grushin heat kernel in 2D and 3D will be presented in Section \[st7\]. Proof of Theorem 1 {#st1} ================== In this section we always assume $l = 1$ and $n \geq 2$. By the scaling property, cf. , it suffices to show for $h = 1$. In such a case, according to and , we have for $|z| \neq 0$, $$\begin{aligned} d^2(z, t) = |z|^2 \left( \frac{ \theta }{ \sin{ \theta } } \right)^2 \quad \mbox{with} \quad t = |z|^2 \mu(\theta) = |z|^2 \frac{2 \theta - \sin{2 \theta}}{2 \sin^2{\theta}}.\end{aligned}$$ Then $$\begin{aligned} \frac{\partial \theta}{\partial t} = \frac{1}{|z|^2 \mu'(\theta)},\end{aligned}$$ and combining it with the fact that $$\begin{aligned} \mu^{\prime} ( \theta ) = \frac{ 2( \sin{ \theta }-\theta \cos{ \theta } ) }{\sin^3{ \theta }}, \quad \quad \frac{ d }{ d\theta } \left( \frac{ \theta }{ \sin{ \theta } } \right)^2 = \theta \mu'(\theta),\end{aligned}$$ we get the following lemma. \[l2\] For $ z \ne 0 $, $ \frac{ d }{ dt }d^2(z,t) = \theta $. As a consequence, $d(z, \cdot)$ is an even function and strictly increasing on the interval $(0, +\infty)$. By an abuse of notation, let $d$ simultaneously denote the Carnot-Carathéodory distance on $\H(n, 1)$ and on the three dimensional Heisenberg group $\H(1, 1)$ in this section. Then, by , we can write $$\begin{aligned} d(z, t) = d(|z|, |t|), \qquad \forall (z, t) \in \H(n, 1).\end{aligned}$$ Furthermore, we will use the following simple fact: For $|z| \ne 0$, we have $$\begin{aligned} \label{eps} \epsilon = \pi - |\theta| = \sqrt{ \pi } \sqrt{ \frac{ |z|^2 }{ |t| }} \left( 1 + O \left( \sqrt{ \frac{ |z|^2 }{ |t| } } \right) \right)\qquad \mbox{as $\frac{ |t| }{ |z|^2 } \to +\infty$.}\end{aligned}$$ **Proof.** It suffices to use the fact that $$\begin{aligned} \frac{ |t| }{ |z|^2 } = \mu ( |\theta| ) = \frac{ ( |\theta| - \sin{|\theta|}\cos{|\theta|} )}{ \pi } \frac{ (\pi - |\theta| )^2}{\sin^2{ |\theta| }} \frac{ \pi }{ (\pi - |\theta| )^2 } = \frac{ \pi }{ \epsilon^2 } (1 + O( \epsilon ))\end{aligned}$$ as $\frac{ |t| }{ |z|^2 } \to +\infty$ (it implies $\epsilon \to 0$) by . $\Box$ The following result can be found in @G77 [Théorème 2, p. 115], or obtained by a direct calculation: We have <span>*$$\begin{aligned} \widehat{h_1}(s) := \int_{\R} \frac{\lambda}{\sinh{\lambda}} e^{-\imath \lambda s} \, d\lambda = \frac{\pi^2}{1 + \cosh{(\pi s)}} \sim e^{-\pi |s|}, \qquad \forall s \in \R.\end{aligned}$$*</span> where $\widehat{h_1}$ denotes the Fourier transform of $h_1$ (cf. ). Using the following elementary property of Fourier transform and convolution: $$\begin{aligned} \label{Fourier} \widehat{f_1 \cdot f_2} = \frac{1}{2 \pi} \widehat{f_1} \ast \widehat{f_2}, \qquad \mbox{for suitable $f_1$ and $f_2$,}\end{aligned}$$ an easy induction argument gives the following lemma. \[Lm4\] For $n \geq 2$, we have $$\begin{aligned} \widehat{h_1^{n - 1}}(s) = \int_{\R} \left( \frac{\lambda}{\sinh{\lambda}} \right)^{n - 1} e^{-\imath \lambda s} \, d\lambda \sim (1+ \pi |s|)^{n - 2} e^{-\pi |s|}, \qquad \forall s \in \R.\end{aligned}$$ In the sequel of this section, we use $p(z,t)$ to denote $p^{\H(n, 1)}(z, t)$ for simplicity. Recall that without loss of generality, we may assume that $t \geq 0$, $|z| \ne 0$ and $d^2(z, t)$ is large enough. From , we can write $$\begin{aligned} p(z,t) & = \left( p^{\H(1, 1)}(|z|, \cdot) \ast p^{\H(n - 1, 1)}(o, \cdot) \right)(t) \sim \int_{\R} \widehat{h_1^{n - 1}}\left(\frac{s}{4}\right) p^{\H(1, 1)}(|z|, t - s) ds \\ &\sim \int_{\R} ( 1 + \pi |s| )^{n-2} e^{- \frac{ \pi |s| }{ 4 }} e^{-\frac{ d^2(z , t-s )}{ 4 }} \frac{1}{( 1 + |z| d(z, t-s))^{\frac{1}{2}}} \, ds = \int_0^{+\infty} + \int_{-\infty}^0,\end{aligned}$$ where the last "$\sim$" follows from and Lemma \[Lm4\]. Now Lemma \[l2\] implies that $$\begin{aligned} d(z, t - s) \leq d(z, t + s), \qquad \forall t, s \geq 0,\end{aligned}$$ which yields that $$\begin{aligned} p(z, t) \sim \int_0^{+\infty} ( 1 + \pi s )^{n-2} e^{- \frac{ \pi s }{ 4 }} e^{-\frac{ d^2(z , t-s )}{ 4 }} \frac{1}{( 1 + |z| d(z, t-s))^{\frac{1}{2}}} \, ds=e^{-\frac{d^2(z,t)}{4}} Q,\end{aligned}$$ with $$\begin{aligned} Q = \int_0^{+\infty} ( 1 + \pi s )^{n-2} e^{- \frac{ \pi s + d^2(z , t - s ) - d^2(z , t )}{ 4 }} \frac{1}{( 1 + |z| d(z, t-s))^{\frac{1}{2}}} \, ds.\end{aligned}$$ It remains to show that $$\begin{aligned} \label{eQ} Q \sim \left( 1 + |z| d(z, t) \right)^{-\frac{1}{2}} \left( \frac{d^2(z, t)}{1 + |z| d(z, t)} \right)^{n - 1}, \qquad \forall d(z, t) \gg 1.\end{aligned}$$ We split the proof into the cases: (1) $\frac{t}{|z|^2} \geq \gamma_0$ with $|z| d(z,t) > 1$, (2) $\frac{t}{|z|^2} \geq \gamma_0$ with $|z|d(z,t) \leq 1$, and (3) $\frac{t}{|z|^2} \leq \gamma_0$, where the constant $\gamma_0$ is large enough ($\gamma_0 \ge 1000$ will be sufficient). Case (1): $\frac{t}{|z|^2} \geq \gamma_0$ with $|z| d(z,t) > 1$. We split the integral $Q$ into two parts as follows: $$\begin{aligned} Q = \int_0^{ \frac{t}{2} } + \int_{ \frac{t}{2} }^{ +\infty } = Q_1 + Q_2.\end{aligned}$$ It follows from that $d(z, t - s) \sim \sqrt{t} \sim d(z, t)$ for all $0 < s \leq \frac{t}{2}$, then $$\begin{aligned} Q_1 \sim \left( 1 + |z| d(z, t) \right)^{-\frac{1}{2}} \int_0^{ \frac{t}{2} } ( 1 + \pi s )^{n-2} e^{- \frac{ \pi s + d^2(z , t - s ) - d^2(z , t )}{ 4 }} \, ds.\end{aligned}$$ Using the mean value theorem, Lemma \[l2\] implies that for $0 < s \leq \frac{t}{2}$ we have $$\begin{aligned} d^2(z, t) - d^2(z, t-s) = \theta_{\zeta_s} s,\end{aligned}$$ where $\theta_{\zeta_s} = \mu^{-1} \left( \frac{\zeta_s}{|z|^2} \right)$ with $\zeta_s \in (\frac{t}{2}, t)$. Under the assumption that $\frac{t}{|z|^2} \geq \gamma_0 \gg 1$, it deduces from the equation above and that $$\begin{aligned} \frac{\pi s - d^2(z,t) + d^2(z,t-s)}{4} = \frac{s}{4}( \pi - \theta_{\zeta_s}) = \frac{s}{4} \sqrt{\pi} \sqrt{\frac{|z|^2}{\zeta_s}}(1 + o(1)).\end{aligned}$$ As a result, there exist two constants $C_1, C_2 > 0$ such that $$\begin{aligned} \label{mean1} C_2 \sqrt{\frac{|z|^2}{t}} s \leq \frac{\pi s - d^2(z,t) + d^2(z,t-s)}{4} \leq C_1 \sqrt{\frac{|z|^2}{t}} s.\end{aligned}$$ Hence, we have $$\begin{aligned} Q_1 &\lesssim \frac{ 1 }{( 1 + |z| d(z,t))^{\frac{1}{2}}} \int_0^{ \frac{t}{2} } (1 + \pi s)^{n - 2} e^{ - C_2 \sqrt{ \frac{|z|^2}{t}} s} ds \\ &\sim \frac{ 1 }{( 1 + |z| d(z, t))^{\frac{1}{2}}} \left( \sqrt{\frac{t}{|z|^2} }\right)^{n - 1} \sim \left( 1 + |z| d(z, t) \right)^{-\frac{1}{2}} \left( \frac{d^2(z, t)}{1 + |z| d(z, t)} \right)^{n - 1},\end{aligned}$$ where the second "$\sim$" follows from $d(z,t) \sim \sqrt{t}$ by and $|z| d(z,t) > 1$ and the first "$\sim$" follows from the change of variables $u = \sqrt{\frac{|z|^2}{t}}s$ in addition. On the other hand, similarly, we have $$\begin{aligned} Q_1 &\gtrsim \frac{ 1 }{( 1 + |z| d(z, t))^{\frac{1}{2}}} \int_0^{ \frac{t}{2} } (1 + \pi s)^{n - 2} e^{ - C_1 \sqrt{ \frac{|z|^2}{t}} s} ds \\ &\sim \frac{ 1 }{( 1 + |z| d(z, t))^{\frac{1}{2}}} \left( \sqrt{\frac{t}{|z|^2} }\right)^{n - 1} \sim \left( 1 + |z| d(z, t) \right)^{-\frac{1}{2}} \left( \frac{d^2(z, t)}{1 + |z| d(z, t)} \right)^{n - 1}.\end{aligned}$$ To estimate $Q_2$, we use the mean value theorem again to obtain $$\begin{aligned} d^2(z, t) - d^2(z, t-s) = \theta_{\zeta_s} s \leq \theta_t s, \qquad \forall s \geq \frac{t}{2},\end{aligned}$$ where $\theta_{\zeta_s} = \mu^{-1} \left( \frac{\zeta_s}{|z|^2} \right)$ with $\zeta_s \in (t - s, t)$ and $\theta_t = \mu^{-1} \left( \frac{t}{|z|^2} \right)$. As before, the above inequality and imply that there exists a constant $C_3 > 0$ such that $$\begin{aligned} \label{mean2} -\frac{\pi s - d^2(z, t) + d^2(z, t - s)}{4} \leq - \frac{s}{4} (\pi - \theta_t) \leq -C_3 \sqrt{\frac{|z|^2}{t}} s.\end{aligned}$$ Then we have $$\begin{aligned} Q_2 \le \int_{ \frac{t}{2} }^{ +\infty } (1 + \pi s)^{n - 2} e^{ - C_3 \sqrt{ \frac{|z|^2}{t}} s} \, ds \sim \int_{ \frac{t}{2} }^{ +\infty } s^{n - 2} e^{ - C_3 \sqrt{ \frac{|z|^2}{t}} s} \, ds.\end{aligned}$$ By the change of variables $u = \sqrt{ \frac{|z|^2}{t}} s$ in the last integral, we yield $$\begin{aligned} Q_2 &\lesssim \left( \sqrt{\frac{t}{|z|^2} }\right)^{n - 1} \int_{ \frac{\sqrt{|z|^2t} }{2}}^{ +\infty } u^{n - 2} e^{ - C_3u } \, du \lesssim \left( \sqrt{\frac{t}{|z|^2} }\right)^{n - 1} e^{- \frac{C_3}{2} \frac{ \sqrt{|z|^2 t }}{2}}.\end{aligned}$$ Recall that $\sqrt{|z|^2 t } = |z| \sqrt{t} \sim |z| d(z, t) \geq 1$ which yields that $e^{- \frac{C_3}{2} \frac{ \sqrt{|z|^2 t }}{2}} \lesssim \left( 1 + |z| d(z, t) \right)^{-\frac{1}{2}}$. Hence we obtain the validity of in the case $\frac{t}{|z|^2} \geq \gamma_0 \gg 1$ with $|z| d(z,t) > 1$. Case (2): $\frac{t}{|z|^2} \geq \gamma_0$ with $|z| d(z,t) \leq 1$. Now we split the integral $Q$ into three parts as follows: $$\begin{aligned} Q = \int_0^{ \frac{t}{2} } + \int_{ \frac{t}{2} }^{ 2t } + \int_{ 2t }^{ +\infty } = Q_1 + Q_{2,1} + Q_{2,2}.\end{aligned}$$ Since $\frac{t}{|z|^2} \geq \gamma_0 \gg 1$, we have $d^2(z, t) \sim t$ is large enough from . Using , again and the fact that $$\begin{aligned} \sqrt{\frac{|z|^2}{t}} s \leq 2 |z| \sqrt{t} \lesssim |z| d(z, t) \le 1, \qquad \forall 0 \leq s \leq 2 t,\end{aligned}$$ from our assumption, we may easily obtain $$\begin{aligned} Q_1 \sim \int_{0}^{ \frac{t}{2} } (1 + \pi s)^{n - 2} \, ds \sim t^{n - 1},\end{aligned}$$ and $$\begin{aligned} Q_{2,1} \lesssim \int_{ \frac{t}{2} }^{ 2t } (1 + \pi s)^{n - 2} ds \sim t^{n - 1}.\end{aligned}$$ To estimate $Q_{2,2}$, observe that it deduces from Lemma \[l2\] that $$\begin{aligned} d(z,t) \leq d(z, t - s) = d(z, s- t), \qquad \forall s \geq 2 t,\end{aligned}$$ which implies that $$\begin{aligned} Q_{2,2} \le \int_{ 2t }^{ +\infty } (1 + \pi s)^{n - 2} e^{ -\frac{\pi}{4} s} \, ds = o\left(e^{-\frac{t}{4}}\right).\end{aligned}$$ This proves the required estimate in the case $\frac{t}{|z|^2} \geq \gamma_0$ with $|z| d(z,t) \leq 1$ since under the assumption we have $|z| d(z,t) + 1 \sim 1$ and $d^2(z,t) \sim t$ from . Case (3): $\frac{t}{|z|^2} \leq \gamma_0$. Note that by and Lemma \[l2\], $$\begin{aligned} \label{ppd} d^2(z, t) \sim_{\gamma_0} |z|^2 \gg 1, \qquad d(z, t) \lesssim_{\gamma_0} d(z, 0) \leq d(z, s), \quad \forall s \in \R.\end{aligned}$$ Using Lemma \[l2\] and the mean value theorem as before, we get for any $s > 0$ $$\begin{aligned} d^2(z,t) - d^2(z, t - s) = \theta_{\zeta_s} s,\end{aligned}$$ where $\theta_{\zeta_s} = \mu^{-1}\left( \frac{\zeta_s}{|z|^2} \right) \in (-\pi, \theta_0]$ and $\theta_0=\mu^{-1}(\gamma_0)$ is a constant belonging to $(0,\pi)$. Then $$\begin{aligned} \label{mean3} - \frac{2 \pi}{4} s \leq - \frac{\pi s - d^2(z,t) + d^2(z,t-s)}{4} \leq - \frac{\pi - \theta_0}{4} s, \quad \forall s > 0.\end{aligned}$$ On one hand, by the second inequality of and we have $$\begin{aligned} Q &= \int_0^{+\infty} (1 + \pi s)^{n - 2} \frac{ e^{ -\frac{\pi s - d^2(z,t) + d^2(z, t - s)}{4}} }{( 1 + |z| d(z, t-s))^{\frac{1}{2}}} \, ds\\ & \lesssim \frac{1}{|z|} \int_0^{+\infty} (1 + \pi s)^{n - 2} e^{- \frac{\pi - \theta_0}{4} s} ds \lesssim_{\gamma_0} \frac{1}{|z|}.\end{aligned}$$ On the other hand, $$\begin{aligned} Q \gtrsim_{\gamma_0} \frac{1}{|z|} \int_0^1 (1 + \pi s)^{n - 2} e^{-\frac{\pi}{2} s} \, ds \sim \frac{1}{|z|}\end{aligned}$$ by the first inequality of and . The two estimates above and complete the proof in this case. Combining all results above, we obtain . $\Box$ Uniform asymptotic behaviour of $M$ (cf. ) for $d(z, t) \longrightarrow +\infty$ with $0 \leq \theta \leq \theta_0 < \pi$ when $l \geq 2$ and $k_l = 1$ {#st1n} ======================================================================================================================================================= In this paper, we need the following lemma which is a counterpart of (4.5) in @Li10: \[l5\] $\Re\Phi(s)$ (cf. ) is an even function independent of $t$, strictly decreasing on the interval $[0,+\infty)$ and there exists a constant $A_0 =
{'source': 'arXiv_out/1809'}