Heat kernel asymptotics on the free step-two Carnot group with generators
Abstract. In this work, we establish the uniform heat kernel asymptotics as well as sharp bounds for its derivatives on the free step-two Carnot group with generators. As a by-product, on this highly non-trivial toy model, we completely solve the Gaveau–Brockett problem, in other words, we obtain the expression of the squared Carnot–Carathéodory distance, as explicitly as one can possibly hope for. Furthermore, the precise estimates of the heat kernel, and its small-time asymptotic behaviors are deduced.
Mathematics Subject Classification (2020): 58J37; 35B40; 35H10; 35B45; 35K08; 43A80; 58J35; 43A85
Key words and phrases: Asymptotic behavior; Carnot–Carathéodory distance; Free step-two Carnot group; Heat kernel; Precise estimates
1 Introduction
The heat semi-group and its kernel play a crucial role in various areas of Mathematics. See for example [39, 10, 46, 53, 1, 17, 47, 3, 23, 5] and huge references therein.
We restrict our attention to the heat kernel in the setting of Carnot groups. Let . According to [53, p. 44] or [12, Definition 2.2.3], a connected and simply connected Lie group is said to be step- Carnot group (or stratified group) if its left-invariant Lie algebra admits a direct sum decomposition
where denotes the Lie bracket on . We say that is the first slice in the stratification above. We identify with via the exponential map, and fix a (bi-invariant) Haar measure on , namely the lift of Lebesgue measure on via . Fix a basis for and consider the sub-Laplacian . Let () denote the associated heat kernel, i.e. the fundamental solution of . It is well-known that , and (see for example [53])
We use to denote the Carnot–Carathéodory distance defined by , which inherits the left-invariant property (see e.g. [53, III. 4]), i.e.
We shall therefore put , where is the identity of . Let denote the homogeneous dimension of , namely, .
There is a natural family of dilations on defined for as follows:
This induces the definition of dilation on , which we still denote by . The following scaling properties are well-known
(1.1) |
Let denote the horizontal gradient. The classical Li–Yau estimates for the heat kernel and their improvements (as well as their wide application) can be found in some much more general situations than Carnot groups. See for instance [20, 45, 52, 53, 16, 49, 50, 18, 14] and the references therein. In particular, it holds for any and all that:
(1.2) | |||
(1.3) | |||
(1.4) |
where the absolute constant is independent of , and dependent only on . Moreover, we have for all and that
(1.5) |
By the fact that , the last claim is equivalent to
(1.6) |
A direct consequence of (1.2) and (1.3) is the following well-known Varadhan’s formula, which is actually valid in a very general circumstance than Carnot groups (cf. eg. [28], [2] and the references therein):
(1.7) |
In this work, we investigate much more complicated problems: uniform asymptotic behaviours at infinity for in the sense of
(1.8) |
as well as sharp estimates for its derivatives
(1.9) | |||
(1.10) |
where has at most polynomial growth w.r.t. . Here and in the sequel, we use the notation if . Notice that by the classical Li–Yau estimates, a direct consequence of (1.8) is the precise bounds for the heat kernel. Also recall that these stronger estimates play a crucial role in [26, 29, 4, 24, 13, 34] for instance.
Another by-product of (1.8) is the complete description of short-time behaviour,
(1.11) |
where is frequently of type . Sometimes, it allows us to determine the cut locus for the identity on the underlying group, namely the set of points where the squared distance is not smooth.
We point out that the satisfactory explicit formula of the heat kernel for Carnot groups with step is still missing. There are some attempts to study the short-time behaviour of on Carnot groups, by means of the generalized Fourier transform and the Trotter product formula. However, as far as the authors know, it is unclear whether we can recover correctly the well-known Varadhan’s formulas (1.7) along the way, even in the simplest Carnot group (namely the Heisenberg group of dimension 3) without using the explicit formula of the heat kernel. For example, C. Séguin and A. Mansouri have conducted such investigation in [48], but the “remainder terms” in their main results (cf. e.g. (2), (3) as well as the estimate following (41) in [48]) are not real remainders since they are of polynomial decay, which is much larger than the exponential decay of the heat kernel by Varadhan’s formula (1.7). Also notice that the deduction from (38) to (39) in [48] is incorrect due to the same reason.
From now on, we focus on step-two Carnot groups, in other words, . In such case, can be written as the partial Fourier transform w.r.t. the center of the underlying group. See for example [19] or [7]. In particular, there exist two key functions, in the phase and in the amplitude.
Recall that determining the cut locus and the distance between two points on the underlying space are two fundamental problems in (Riemannian) geometry and optimal control. It seems that the second one is much more difficult than the first one. As pointed out in [9, § 6.5.4], the distance and the cut locus of a Riemannian manifold cannot in general be explicitly computed. To our best knowledge, few has been known even in the setting of step-two Carnot groups endowed with a left invariant Riemannian metric. As for the corresponding sub-Riemannian case, there are masses of works, but only limited to nonisotropic Heisenberg groups and H-type groups, cf. e.g. [21, 8, 51, 44]. Their method is quite standard, namely finding all the possible candidates (which is usually to solve some differential equations with some boundary conditions) and picking out the shortest one.
Recently, the first author introduces an original, new and very powerful method in [33] to attack these problems, say the operator convexity (of the key function ). More precisely, by combining it with the method of stationary phase and Varadhan’s formulas, the distance and the cut locus are characterized in an enormous kind of step-two Carnot groups, say GM-groups (cf. [33, Corollary 2.3 and Theorem 2.7], also [38, Theorem 4, Corollary 9] for various equivalent characterizations of GM-groups via basic geometric properties). Furthermore, for a given step-two Carnot group , by using the known sub-Riemannian exponential mapping in addition, up to a set of measure zero, all normal geodesics from the origin to any given point are characterized, by [33, Theorem 2.4], which implies more qualitative results of .
It follows from [33, § 11] and [38, Corollary 13] that the simplest step-two non-GM group is the free step-two Carnot group with generators, (see below for a definition). In such case, the long-standing open problem of Gaveau–Brockett is completely solved in [33, § 11] and [38, § 7] (cf. also Theorem 2.2 and Corollary 2.3 below) by means of two quite different methods, which rely heavily on the Hamilton–Jacobi theory. Also notice that the results of [33, 38] are very dependent on the properties of , but the other key function is not used at all.
Unlike in the setting of GM-groups, the expression of on cannot be well explained directly by the integral expression for the heat kernel. Motivated by this new phenomenon, the first and third authors naturally turned to searching for a more essential explanation by studying the small-time behavior for the heat kernel in such case. In particular, we discovered the expression (2.30) below where the properties of Bessel functions have been used, since . See Section 4 below for more details. Furthermore, by using the recursion formulas for the Bessel functions and the Fourier transform of the Gaussian functions, the initial expression in the form of oscillatory integral for the heat kernel has been reformulated into a much more suitable one in the form of Laplace integral with positive integrand (cf. [37, (15), (16) and Proposition 4]). Following main ideas in [33] (with some new methods introduced), the new expression of the heat kernel allows us to understand some basic geometric problems well in the setting of step-two Carnot groups. For instance, at least in principle, the extremely difficult problem of determining the distance from any given point to the origin is reduced to an elementary calculus, see [37, Algorithm 1] for more details. We point out that the methods in [37] can be adapted to study the corresponding Riemannian geometric problems on any step-two Carnot group.
One goal of this article is to re-obtain the expression of on via the heat kernel, without using the Hamilton–Jacobi theory. Indeed it can be considered as an illuminative model as well as application of [37]. Notice that in this article, we do not care about any other geometric problems except the expression for . Hence some reductions such as (2.21) will be used. Moreover, for this article to be self-contained, Theorem 2.1 and Corollary 2.3, as well as their proofs, namely main parts in Sections 3 and 5 (up to a slight modification), are extracted from [33, 38].
On the other hand, by adapting the method introduced in [33], refining and extending the argument in the proof of [32, Theorem 1.3] (also of [36, Theorem 3], the first and third authors study (1.8)-(1.10) in [35] on a large class of step-two Carnot groups which are simultaneously GM and Métivier groups.
Notice that is neither a GM-group nor a Métivier group. The main goal of the work is to consider as a toy model in order to study (1.8)-(1.10). We hope it provides a routine for (at least concrete) step-two Carnot groups. Although some new original and powerful methods are provided in [33, 37, 35], we will find that they are not enough and it is still very challenging to complete our mission on . More explanation about our major obstacles can be found in Subsection 2.5.
As an application of results obtained in this work, we will establish the gradient estimate for the heat semi-group on in a forthcoming paper. Moreover, the method presented here will be adapted to study the heat kernel associated to the full Laplacian (which corresponds to the canonical left-invariant Riemannian structure) on as well. Precise estimates of the heat kernel for the Riemannian case will be provided in a future work.
1.1 Notation
We denote the sets of integers and nonnegative integers by and respectively, and put , . Given a multi-index and , , we write , , and in the usual way; we also use the notation that . The real part and imaginary part of a complex number are denoted by and respectively. Supposing that , we let represent the identity matrix, and the orthogonal group of order .
The symbols and are used throughout to denote implicit positive constants which may vary from one line to the next. And when necessary we will specify with a subscript which parameters the values of and depend on.
The usual asymptotic notation is employed. Let be a non-negative real-valued function. By (resp. if is also real-valued) we mean (resp. ). Correspondingly if . Moreover, we will use the counterparts of such notation for Hermitian (in particular, real symmetric) operators or matrices. If the implicit constant depends on parameter , we will write in the subscript of , etc.
The statement , or is shorthand for as tends to some (could be ); it will be clear that which variable is taken to the limit. Especially, if we also write . The statement means .
For example, we use “if and then ” to represent that “for every , there exists a constant large enough and a constant such that when and , we have ”.
Finally, all the vectors appearing in this work are regarded as column vectors unless otherwise stated. However, we may write a column vector in with scalar coordinates , simply as . Moreover, for a function depending on , we will use the following notation to denote the -gradient (resp. -Hessian matrix) at the point :
2 Description of the setting and statements of results
Recall the free step-two Carnot group with 3 generators is given by with the group structure
where “” denotes the cross product on , i.e.,
Here we choose the same definition of as the one in [33, § 11] rather than the one in [38]. In fact, they differ in a negative sign before the term and it will not affect the expression of the heat kernel. The corresponding left-invariant vector fields and sub-Laplacian are given by
(2.1) |
It is well-known that the associated heat kernel (), i.e. the fundamental solution of , has the following integral formulas (cf. e.g. [21, 19] or [40])
(2.2) |
with some positive constant and
(2.3) |
where
(2.4) |
by [22, 1.431.2] and
(2.5) |
Finally, the following equivalence between the Carnot–Carathéodory distance and a homogeneous norm (see for example [53, III.4]) will be used again and again:
(2.7) |
2.1 Reductions
Our main target of this work is to establish the uniform heat kernel asymptotics at infinity on and the following simple observation will simplify our asymptotic problem to a large extent. In fact, using the orthogonal invariant property and the symmetry w.r.t. the origin of the heat kernel, we reduce the original problem (which is -dimensional) to a -dimensional one. Moreover, when deriving the explicit expression of the Carnot–Carathéodory distance, we can even reduce to a -dimensional problem; see the beginning of Subsection 2.3 for more details.
To be more precise, through the change of variables and , (2.3)-(2.5) imply that
(2.8) |
From this, together with the smoothness of and the benefit that our heat kernel asymtotics will be uniform enough, without loss of generality, we may assume that
(2.9) |
Here and in the sequel, will simultaneously denote the vectors in Euclidean spaces (possibly with different dimensions) with 1 in the first coordinate and zeros elsewhere. Further reduction will be provided in Assumption (A) below.
2.2 Two key analytic diffeomorphisms
Set in the sequel
(2.10) | |||
(2.11) |
(2.12) | |||
(2.13) |
(2.14) | |||
(2.15) | |||
(2.16) |
and
(2.17) |
Notice that if , then . This analytic function actually comes from the equation of critical point: . The interested readers can find the background as well as the geometrical meaning of in [33, § 2 and § 11].
The starting point of this article is the following diffeomorphisms (see Figure 1 for the sketch map):
Theorem 2.1.
The map is an analytic-diffeomorphism from:
(1) onto . Moreover, let
Then the Hessian matrix of at is positive definite.
(2) onto . Furthermore, using the above notation with belonging to instead of , the Hessian matrix of at is nonsingular, and has
exactly two positive eigenvalues.
Its proof is based on the operator convexity and Hadamard’s Theorem. See Section 3 below for the details. We point out that the two diffeomorphisms first appeared in [33]. In fact, the first claim is a direct consequence of [33, Propositions 11.1 and 11.2], while the second one is exactly [33, Theorem 11.2].
In light of Theorem 2.1, we will make the following assumption repeatedly, unless otherwise specified:
(2.18) |
At this moment we will not formulate our main result, namely the uniform heat kernel asymptotics at infinity in the sense of (1.8), since there are too many notations to be introduced which may lead to confusion. Instead, we shall postpone the precise statement until Section 11.1 and present some byproducts in this section. The first one is the following:
2.3 Explicit expression for the squared Carnot–Carathéodory distance
Using the scaling property of the heat kernel (cf. (2.2)) and (1.7), (2.8) implies its counterpart for :
(2.21) |
Combining with the scaling property of , it suffices to determine for special , such as and with .
In the sequel, we introduce some positive functions on ,
(2.22) | |||
(2.23) |
Indeed, the positivity of follows from Corollary 3.6 below, and the others are clear.
Theorem 2.2.
For the other cases, an argument of limit implies that:
Corollary 2.3.
It holds that:
-
(i)
For , we have .
-
(ii)
If and such that . Then .
-
(iii)
Let and . Then
where is the unique solution of the following equation
(2.26) -
(iv)
Set , . For with , we have
We give two remarks on these results as follows:
Remark 2.4.
(1) For (i), the distance between and has been computed in [15] in the setting of free step-two Carnot groups with generators. (iii) have been obtained in [41]. (ii) (resp. (iv)) can be found in (resp. deduced from) [33, Corollary 11.1] (resp. [33, Theorem 11.1]). As for our main results, i.e. (2.25), the case where is given by [33, Theorem 11.1]. For the opposite case , there exist two different proofs (as mentioned in Introduction), one is based on [33, Corollary 2.4] (cf. [33, §11.2]), the other is based on [33, Theorem 2.4] (cf. [37, §7.4]).
(2) The LHS of (2.26) is exactly the function with defined as in [41, (3.3)]. Then from [41, Lemma 3.5] it follows that is a strictly increasing diffeomorphism between and , which justifies the uniqueness of the solution in .
(3) For (iv), the function is actually a differomorphism from to . See [21, Lemme 3, p. 112] for more details. In this case, the expression of the square distance is the same with the point on the Heisenberg group of real dimension .
Remark 2.5.
In our setting , . See for example [38, § 7.5] for an elementary explanation. We will not use this fact in the proof, but it helps us understand better some of our difficulties encountered in the uniform heat kernel asymptotics.
2.4 Precise estimates for the heat kernel
Another main byproduct of our uniform heat kernel asymptotics at infinity is the following sharp upper and lower bounds:
Theorem 2.6.
Under the Assumption (A) (cf. (2.18)), we have
(2.27) |
Here we use the formula (2.27) in order to match the precise estimates for the heat kernel in our setting with the known results, cf. eg. [32, 36, 35]. However, a much more explicit expression for can be found in Corollary 11.4 below.
Remark 2.7.
(1) From the above explicit expression of on , it is easy to get that for any , with the equality holding if and only if . Indeed, the result is still valid on any step-two Carnot group (cf. [33, §2]).
(2) Let be a Métivier group with , the standard Laplace’s method implies that (cf. also [33, §4.2]) its heat kernel with time at is as . Remark that our result (2.27) with and is totally different from the classical one. Indeed in our case, the Laplace’s method is no longer applicable, since it follows from (2.5) that the set of minimal points of equals . From a geometric point of view, it says that there exists on a non-trivial abnormal set (or geodesics), which is exactly .
(3) Compare this result with the one in the setting of Heisenberg groups or even generalized H-type groups (cf. [30, 31, 36, 35]), (2.27) is much more complicated since the group law is more complex. Naturally, we believe that there will be some more complicated terms for precise bounds of the heat kernel on concrete step-two groups.
2.5 Idea of the proof
Let’s start by explaining how to prove , namely the first equality in (2.25). From (2.19) and Varandhan’s formula, it suffices to investigate the asymptotic behavior of
(2.28) |
It is a typical oscillatory integral. The usual processing method is to use the method of stationary phase, and it allows us to guess the correct answer (cf. Corollary 11.7)
(2.29) |
where are the eigenvalues of , and we adopt the convention for . Indeed, it is a special case of [33, §4] provided . More precisely, it suffices to deform the contour from to , then apply the method of stationary phase at the nondegenerate critical point , since all assumptions of the method can be verified to be satisfied. However, for the opposite case , the situation becomes very tricky, and the two main obstacles we encountered were as follows. The first one is how to choose a suitable integration path passing through the point so that all assumptions hold for the method of stationary phase. The second one is how to treat the “residue problem”, since in such case and the integrand in (2.28) has singularities as . It is actually the main difference between GM-groups and non-GM groups.
This motivates us to find a more appropriate expression. For that, we drop , and set in the sequel
with
Remark that admits the following scaling property: for all and . By means of properties of Bessel functions, we can establish the following much more useful expression (compared with [37, (15)] which is valid for any step-two Carnot groups):
Proposition 2.8.
Its proof is provided in Subsection 4.1. We emphasize that we have used here the new coordinates in view of the scaling property of . The reason for our choice of herein can be found in Theorem 2.10 below. The key point is that can be considered formally as the heat kernel at time on an imagined but non-existent Heisenberg-type group , with dimension in the center and dimension on the first slice in the stratification. To see this more explicitly, as in [33, Theorem 2.2 and Corollary 2.3] (cf. also [35, Theorem 4.2]), we introduce the squared “intrinsic distance” associated to :
See Proposition 4.2 below for more properties of , especially the scaling property.
Let denote the modified Bessel function of order (cf. [22, § 8.431.3]), i.e.,
(2.32) |
and set in the sequel the even functions
(2.33) |
The following proposition says that satisfies the uniform bounds [31, (1.5)] as well as the uniforms asymptotics behaviors [31, Théorèmes 1.4-1.5] with and (of course, with therein replaced by our , and some slight, natural modifications):
Proposition 2.9.
admits the following properties:
-
(i)
The positivity, namely .
-
(ii)
-type uniform bounds in the sense of [31, Théorème 1.1], namely,
(2.34) -
(iii)
It holds uniformly for any and all large enough that
where is the unique critical point of in .
To show Proposition 2.9, it is enough to adapt the method in [37] for (i), and the method in [35] for (ii) and (iii). Hence its proof is postponed to Appendix A.
Return to (), namely (2.28). Using the scaling property of (cf. Proposition 4.2 (iii) below), Propositions 2.8 and 2.9 say that it is now a typical Laplace-type integral with positive integrand. Then inspired by the main idea of the standard Laplace’s method, it is natural to study the minimum of . The following theorem will play an important role.
Theorem 2.10.
Its proof will be postponed to Section 4. Combining this with Proposition 2.9 (ii), it is easy to show that , namely Theorem 2.2.
However, the Laplace’s method is far from sufficient for the main goal of this article. Roughly speaking, the phase function in our Laplace-type integral (cf. Propositions 2.8 and 2.9), namely , is not when (see Remark 4.3 below), which makes things difficult when small. In fact, as far as the authors know, there is no suitable method to deal with this situation. Furthermore, let denote its minimum (i.e. ), two eigenvalues of with (cf. Subsection 7.3 below). It is worthwhile to point out that for , the Laplace’s method is sufficient only for the case where both and are large enough.
For instance, in the case , we first use Proposition 2.9 (iii) to simplify the integrand in (2.30). The most delicate situation is that with , and notice that can be bounded. To obtain the uniform asymptotic behavior of in such case, we will choose suitable coordinates (in fact the modified polar coordinates up to a scaling), by which the phase function can be divided into the angular part and the radical part in the main region. We will use Laplace’s method to deal with the radical part and the method in [30] to cope with the angular part. In the opposite case where is bounded, we’ll make use of a completely different approach.
Furthermore, to establish the sharp estimates for the derivatives of the heat kernel, unlike in the setting of GM-Métivier groups, new techniques need to be introduced.
The remainder of this article is organized as follows. Theorem 2.1 is proved in Section 3. The proofs of Proposition 2.8 and Theorem 2.10 are given in Section 4. We obtain the explicit expression of the squared distance as a consequence of Laplace’s method in Section 5. The uniform asymptotic behaviour at infinity for the heat kernel at time 1 are divided into cases. We establish the first asymptotic in Section 6 for the case where and . After some preparations in Section 7, we will attack the most difficult and complicated situation in Section 8. Section 9 is devoted to the case where with , while Section 10 is for the remaining case. The summaries of our main results as well as the proof of Theorem 2.6 are collected in Section 11. Finally in Section 12 we establish the sharp bounds for derivatives of the heat kernel. In Appendix A we give the proof for our Proposition 2.9.
3 Proof of Theorem 2.1
In this section, we establish the two key analytic-diffeomorphisms provided in Theorem 2.1. Recall that this part (up to some modification) is extracted from [33].
As we have seen in Theorems 2.1-2.2 and Corollary 2.3, the function plays an important role. Let us begin with
3.1 Fine properties of the function and its derivatives
Notice that:
(3.1) |
In the second and last “” we have used the series expansion of the function ; see for example [22, §1.421.3, p. 44] with slight modification. That is,
(3.2) |
where the positive finite measure on is given by
Now we collect some properties for on .
Lemma 3.1.
We have
(3.3) | |||
(3.4) |
Proof.
The following two lemmas will play an important part in the proof for the first analytic-diffeomorphism of Theorem 2.1. Lemma 3.3 is also vital to the heat kernel asymptotics in Section 6.
Lemma 3.2.
It holds that
(3.5) |
Proof.
Lemma 3.3.
Let . Then
Proof.
In fact, writing , then a direct computation gives
Next, it is easy to prove that for satisfying ,
Hence it remains to show that for , we have
(3.7) | ||||
where . To prove this, we write RHS of (3.7) as
(3.8) |
Note that we have uniformly for all that the diagonal entries of the last matrix
(3.9) |
by (3.6), (3.3) respectively, and the determinant
(3.10) |
by Lemma 3.1, which implies its eigenvalues , thereby proving (3.7). ∎
Recall that denotes the unique solution of in the interval . We will use repeatedly the following simple observation:
Lemma 3.4.
We have for any that:
(3.11) |
Moreover,
(3.12) |
Proof.
Now we turn to the property of on , which plays crucial roles in the proof of the second analytic-diffeomorphism in Theorem 2.1.
Lemma 3.5.
It holds for any that:
(3.13) |
Moreover, we have for any that:
(3.14) | |||
(3.15) | |||
(3.16) |
Proof.
Recall that (cf. (2.22)) for . Notice that () and for . A direct consequence of (3.13) is the following:
Corollary 3.6.
We have for all .
Now, we give the
3.2 Proof of the two key analytic-diffeomorphisms
Proof.
There are four steps.
Step 1. The Jacobian determinant of is positive on and negative on , respectively. Notice that (cf. (2.17)) for we have
Then the Jacobian matrix of at , saying , equals by a routine calculation
(3.21) |
Notice that , which is positive definite on by Lemma 3.3. This in particular gives the first claim. For the second one, recalling (see (3.13), (3.15), and (2.14))
we find
with the observation that
(3.22) |
Hence from (3.13), (3.14), and (3.16), we conclude that is negative on .
Step 2. The analytic map is a diffeomorphism from onto . First we claim that is from into , namely,
This is a direct consequence of the inequality for ; see (3.5).
Notice that and are both connected and simply connected and we have shown the Jacobian determinant of vanishes nowhere in . Then by Hadamard’s theorem (see for example [27, § 6.2]), it remains to prove that is proper, that is, whenever satisfies then . To see this, by contradiction, assume that is not proper. Then we can find a sequence such that but stays in a compact set in . After picking subsequences, we can assume further that and . Recalling the definition of (see (3.1)), we always obtain a contradiction in each of the following 4 possible cases:
-
(i)
If , then .
- (ii)
-
(iii)
If , then .
- (iv)
Step 3. is a diffeomorphism from onto . First, we need to show is from into , i.e,
Using (3.13), it remains to prove that , which is obvious by (3.14) and (3.13).
Using an argument similar to that in Step 2, it is easily seen that the smooth function is proper. Moreover, we have obtained in Step 1 that the Jacobian determinant of vanishes nowhere on . From these and Hadamard’s theorem the desired conclusion follows, since both and are connected and simply connected.
Step 4. The matrix is nonsingular, negative definite on , and has exactly two positive eigenvalues on . Indeed, setting , then a direct calculation gives
(3.24) |
Note that we have on by (3.13), and on (cf. (2.16)). Moreover, from Step 1 we know the matrix is positive definite on and on . Then the claim of Step 4 follows easily and the proof of Theorem 2.1 is completed. ∎
The above proof and the fact that give the following lemma immediately.
Lemma 3.7.
Let and be given as in Assumption (A) (cf. (2.18)). We have
(3.25) |
Remark 3.8.
Recall that and are defined by (2.14) and (2.16), respectively. The following characterization of will be used in the proof of Theorem 2.10 (cf. Subsection 4.3 below):
Lemma 3.9.
We have
(3.29) |
Proof.
Indeed, is obviously contained in RHS. Conversely, given a point in RHS, since it deduces from (3.6) that
then whenever , which implies that . ∎
The expression of the function (cf. (3.22)) in fact can be simplified as the following lemma shows, which will be used in Section 11.
Lemma 3.10.
Suppose that with . Then
(3.30) |
Proof.
4 Proof of Proposition 2.8 and Theorem 2.10
In this section, we will show the more useful integral expression for the heat kernel (2.30), which plays a role in overcoming our major obstacle in Section 8 below. Furthermore, we give some basic properties for the “intrinsic distance” , as well as the proof of Theorem 2.10. Let us begin with the
4.1 Proof of Proposition 2.8
Proof.
Let denote the unique solution of in . The following equality, which is a counterpart of (2.4) for , comes from the property of the Bessel function (cf. [22, § 8.544, § 8.464.3])
(4.1) |
Then taking logarithmic derivative of the equality above, a direct calculation gives:
(4.2) |
4.2 The “intrinsic distance” associated to
We are in a position to provide some basic properties of the squared “intrinsic distance” associated to ,
where the smooth function is defined by
(4.7) |
with
(4.8) |
where we have used (4.2) in the last equality with a complexification. Hence is operator convex on in the sense of [11].
From the above series expansion, one has immediately
(4.9) |
In particular, we get the following counterpart of the key function () in the setting of Heisenberg group as well as generalized Heisenberg-type groups (cf. [21, Lemma 3, p. 112], [8, Theorem 1.36] and [35, Section 7]):
Lemma 4.1.
The function is an odd increasing diffeomorphism between and .
We denote the smooth inverse function of by , that is,
(4.10) |
And we define a smooth function on the real line by setting
(4.11) |
The following result (especially the assertions (ii) and (iii) below) says that can be imagined as a Carnot–Carathéodory distance on . Indeed it comes from the same spirit of the characterization for the squared Carnot–Carathéodory distance on GM-groups, even on GM-Métivier groups (cf. [33] and [35]). So one can consider that we are in a special case of GM-groups.
Proposition 4.2.
It holds that:
-
(i)
The smooth function is concave in .
-
(ii)
The function has the following explicit expression:
(4.12) where denotes the unique critical point of in , i.e.,
(4.13) with the convention for , and otherwise.
-
(iii)
for any . Moreover, the following properties hold for all :
(4.14) -
(iv)
is continuous on .
Proof.
For the reader’s convenience, we provide a direct proof.
First, the concavity can be directly verified by showing that from the series expression (4.8). Now we prove (ii). Recall that for a smooth concave function, the maximizer is equivalent to the critical point (cf. [42, IMPORTANT, p.146]). Through a simple computation we have
where is defined by (4.13) (this is clearly consistent with the one defined in Proposition 2.9 (iii)). From this and (4.11) we obtain (ii).
Next we show (iii). It follows from (4.8) that . Hence (4.7) and the definition of yield that . Next, notice that , and since (cf. the first equality in (4.8)). In conclusion, we get that , which implies immediately the first claim. On the other hand, the scaling property is clear from the definition of .
We are left with the proof of (iv). Notice that the continuity of at where follows from (4.12) and the smoothness of . And the continuity at follows easily from the first formula of (4.14). For the point where , initially by (4.12) we have . Supposing , we consider two cases. If , then by the first equality in (4.12) we have . If , by (4.13) we have and (from Lemma 4.1 and the fact that ). Then noticing that and for small enough, by (4.12) we obtain
as well. ∎
Remark 4.3.
Before providing the proof of Theorem 2.10, we recall that (cf. (2.23)) for , and state the following simple observation:
Lemma 4.4.
is strictly increasing on .
Proof.
A simple computation shows
which implies the monotonicity of . ∎
4.3 Proof of Theorem 2.10
Proof.
Let us begin with the proof of (2.36). Recall that the Assumption (A) (cf. (2.18)) says that , , and with
It follows from () that
(4.15) |
Combining this with (4.13) and (4.12), we obtain that
which is the first equality in (2.36).
Next, observe that . Then to obtain the second equality in (2.36), it suffices to use the first one and
To show the third one, we make use of the second one and the following basic equality
For the fourth one, it suffices to use the second one, the fact that and . The last one follows from the fourth one, the fact that
and .
Turning to the first assertion. Fix as in Assumption (A). Notice that from Proposition 4.2 (iii)-(iv), the continuous function must attain its minimum at some point . Then we only need to show that . This proceeds in three steps as follows:
Step 1: It holds that .
Step 2: It holds that .
Step 3: We have and .
Since and , it follows from (4.16) and that
(4.19) |
Substituting this into (4.17) with , together with , we can write
The equation together with the fact that for (cf. (3.13)), we get that , , (otherwise we would yield from that , which leads to , a contradiction!), and . In particular, recalling the definition of (cf. (2.14)), we have .
At this point, (4.19) leads to , and . Taking gradient w.r.t. on both sides of (4.18), we obtain . Then using the expression of (cf. (4.16)), a direct computation gives and
which is non-negative, by the fact that the Hessian matrix at a minimum point is positive semi-definite.
To summarize, we get that
Using the characterization of (cf. (3.29)), one can easily verify that . Then by Theorem 2.1 we see that . Therefore, and , namely, , which finishes the proof of Theorem 2.10. ∎
Recall that and . The above proof also gives the following:
Corollary 4.5.
Let be as in Assumption (A) (cf. (2.18)). Then
(4.20) |
5 The complete answer to the Gaveau–Brockett problem on
Now we are in a position to determine the expression for the sub-Riemannian distance from the origin to any given point. As indicated in Introduction and Remark 2.4, the main result (i.e., Theorem 2.2) has been proved in [33, 38], via two different methods. Here our third method use only the heat kernel. Although we can apply our uniform heat kernel asymptotic at infinity, namely Theorem 8.1 below (combining with Remark 8.3), to obtain Theorem 2.2, it turns out that a simpler argument in the proof below works as well. Indeed the argument is closely related to one of basic ideas in [33, 37]. Also note that at least in this very broad framework of step-two groups, this method looks much more practical and elementary than the classical one.
5.1 Proof of Theorem 2.2
Proof.
Combining the scaling property (2.2) with (2.30), we obtain that
Then it follows from (ii) of Proposition 2.9 and the second equation of (4.14) that
(5.1) |
Recall that for some constant (cf. Theorem 2.10 and the first equation in (4.14)). Then
On the other hand, for any given , by the continuity of , there exists a ball with center and radius where . Hence
It follows from Varadhan’s formulas that , which implies immediately the desired result. ∎
5.2 Proof of Corollary 2.3
Proof.
We first show (ii). Fix an and let . From the proof of Theorem 2.1, we can pick a sequence such that and
Hence as . Since is continuous, it yields from Theorem 2.2 that
To show (iii), as before we first fix a . Let , , and . Since , by Theorem 2.1 (2) and (2.17) we have and
(5.2) |
By the compactness of , up to subsequences, we may take as such that the corresponding . Obviously, and .
We claim that , so and (by (5.2) and the fact that ). Were this not the case, it would follow that . Then the first equation in (5.2) implies that
since and () only if (cf. (3.6)). Notice that the limit (3.23) remains valid as , then using (5.2) again we infer that
This leads to a contradiction.
In conclusion, by the continuity of and the last equality in (2.24), we obtain that , where satisfies
(5.3) |
That is
which, together with Remark 2.4 (1), implies (iii).
Noticing that , then a similar and simpler argument gives (iv).
6 Uniform asymptotics for the simplest case: and
Recall that . In this section we establish the following theorem:
Theorem 6.1.
Let and with . Then
(6.1) |
Essentially, Theorem 6.1 is a special case of [33, Theorem 2.2] (up to a slight modification), which is based on the method of stationary phase and the operator convexity. For the reader’s convenience, we provide a direct proof. Let us begin with the following crucial lemma:
Lemma 6.2.
Let . Then there exists a constant such that
Proof.
Notice that every term in the series is non-negative, and thus its value is greater than the single term . Thus,
Next, it follows from and the following elementary inequality
that . Consequently,
Lemma 6.3.
It holds that
(6.3) |
We are in a position to give the
6.1 Proof of Theorem 6.1
Proof.
Under our assumptions, first it deduces from (6.2) and (2.17) that is a nondegenerate critical point of in , i.e. the open ball in with the center and the radius .
Next, notice that the integrand in (2.19) is holomorphic on , and decays exponentially from Lemma 6.2 and (6.3). Hence we can deform the contour from to in (2.19), and get
(6.4) |
Since (so ), we split into the following three regions:
Then , where
We begin with the estimate of the leading term . It can be checked that
for all . As a result, the standard Laplace’s method shows that:
We are left with . Set for . Notice that Lemma 6.2 again yields
Moreover, (6.3) says that . Then using the polar coordinates with , we have that:
because of (6.2). Next, using the spherical coordinates , the last integral equals
where the penultimate “” from the fact that on . Hence from (6.2), we get also under our assumption.
Combining all the estimates obtained above, we complete the proof of Theorem 6.1. ∎
Remark 6.4.
From the above proof, one can easily see that the condition in Theorem 6.1 can be weakened to with and in such case should be modified to as well. Also note that in this case the choice of depends on .
7 Preparations for asymptotics in difficult cases
In this section, we study more properties of the functions introduced in previous sections, which will be used to develop the uniform asymptotics of our heat kernel.
The first lemma is concerned with the modified Bessel function of order 0 with an additional parameter , which is defined by
(7.1) |
Notice that is exactly (cf. (2.32)).
Lemma 7.1.
It holds that:
(7.2) | |||
(7.3) | |||
(7.4) |
Proof.
Some basic properties of the functions (cf. (4.9)), (cf. (4.10)) and (cf. (4.11)) originated from (cf. (2.33) or (4.8)) are collected in the following subsection:
7.1 Properties of and
Lemma 7.2.
The following conclusions hold:
-
(i)
is even, positive and strictly increasing on .
-
(ii)
It holds uniformly for all that
(7.5) -
(iii)
We have uniformly for all that
(7.6) -
(iv)
As , we have
(7.7) (7.8) Moreover,
(7.9)
Proof.
Recall that the odd function satisfies and . From the definition of (cf. (4.8)), we see that is even, and . Taking derivatives, it is clear that
(7.10) |
which implies item (i).
Now we turn to the proof of item (iv). For near the point , we first observe that . Then using the Taylor expansion at (recalling ):
a direct calculation shows that:
(7.11) |
where is an analytic function satisfying . Taking derivative, we obtain that:
(7.12) |
As a result, whenever , the first asymptotic above gives
(7.13) |
Taking square root, we get that
which implies the first equation of (7.8). So we get the other two estimates of (7.8) from (7.6). On the other hand, using (7.11), it turns out that:
which is exactly (7.7).
Finally, (7.9) follows from items (i) and (iv). ∎
Recall the even function is defined by (cf. (2.33))
The following simple observation will be used in the proof of Propositions 2.9 and 8.2, as well as of Theorem 9.1 below:
Lemma 7.3.
The even function is positive and smooth on . Moreover, we have
(7.14) |
and
(7.15) |
Proof.
7.2 The auxiliary function
Let be defined as in Assumption (A) (cf. (2.18)). We set for
(7.16) |
namely, the modulus of the vector in (2.35), and write
(7.17) |
Then (4.12) implies the following more suitable expression of than (2.35):
(7.18) |
In what follows, it will be convenient to work in the modified polar coordinates
(7.19) |
Correspondingly, given a function on we shall write . And for brevity, given a function (resp. ) on (resp. ) with the parameter , we will write it simply (resp. ) when there is no confusion. For example, the notation above implies that
Since the unique minimizer of (which is exactly ) belongs to , we will see later that it is natural to consider the restriction of on . To be more precise, we set
(7.20) |
Similarly, after introducing the counterparts of and :
(7.21) |
we obtain
(7.22) |
From the definition, is smooth on and is its minimizer, so . For the convenience of readers, we list here some basic facts, which can be deduced immediately from their definitions by recalling (4.15), (4.8), (4.10), (4.11) and (7.10) :
(7.23) |
In Section 8 below, we will fully utilize the Taylor expansion of order of at its minimizer and the fact that
The critical point is nondegenerate.
To do this, we start to calculate explicitly (equality (7.32)). Indeed, a simple calculation shows that:
(7.24) | |||
(7.25) | |||
(7.26) |
Moreover, using the chain rule and the fact that (cf. (7.10)), we get that:
(7.27) | |||
(7.28) | |||
(7.29) |
where we have used (7.26) in the last equality.
In particular, at the minimizer , by the fact that and , it follows from (7.27) that
(7.30) |
by the last equation in (7.23). Using the first equation of (7.25), we obtain
This together with the fact that (via the second equality in (7.24)) and (cf. (7.23)) allows us to yield
from the second equation of (7.25). Inserting this into (7.28), together again with the fact that and (cf. (7.23)), we have
where we have used (7.30) and the last equality of (7.23) in the last “=”, and set that
(7.31) |
The second “=” in (7.31) can be verified directly. In fact, from (3.11), we see that:
where the penultimate equality follows from (3.17). Remark that , the unique zero of on , is simple. By (4.9), it is obvious that , which shows that . In conclusion, by the fact that , and , we yield the following:
Lemma 7.4.
Let be as in Assumption (A) (cf. (2.18)). Then
(7.32) |
It is a simple but vital fact that both and enjoy some monotonicity properties, which will be used extensively in Section 8. Actually, one has:
Lemma 7.5.
The following conclusions hold:
-
(i)
For fixed , the even function is increasing w.r.t. ;
-
(ii)
The function is decreasing on the interval and increasing on .
Proof.
The proof of (i) is easy. Since is fixed, then by (7.16) the positive function
(7.33) | ||||
is increasing w.r.t. , so is . Thus (i) follows from the fact that and the first claim in Lemma 7.2.
To prove (ii), it suffices to show that on and on . Since and , then whenever is small enough, and for small enough. As a result, by the smoothness of , it remains to show that there is no such that . If this is not the case, from (i) it will deduce that
which is equivalent to
Then following the argument in the proof of Theorem 2.10, we have and this leads to a contradiction, which completes the proof. ∎
We are now in the position to introduce
7.3 Some key parameters related to
Under Assumption (A) (cf. (2.18)), recalling (7.32) and (4.20), we set in the sequel,
(7.34) | |||
(7.35) | |||
(7.36) |
where we have used in the last “” of (7.36) the fact that . Note that is exactly the minimum of , and in fact are two eigenvalues of the Hessian matrix of at its unique minimum point .
These parameters are important for the asymptotics of the heat kernel in Sections 8 and 9 below. We summarize some useful properties of them in the following lemma, which is a direct application of Theorems 2.1 and 2.10.
Lemma 7.6.
Supposing that Assumption (A) (cf. (2.18)) holds, then we have:
-
(i)
.
-
(ii)
, , and .
-
(iii)
If , then
(7.37) -
(iv)
If and , then
(7.38) In particular, is bounded.
-
(v)
If , then
(7.39) -
(vi)
It holds that
(7.40)
Proof.
Recall that , , and (cf. (2.7)).
For item (i), let us begin with the proof of . By the penultimate equality in (2.36), it remains to prove that the continuous function for all . In fact, it follows from Corollary 3.6 that . Next, a simple calculation, via Taylor’s expansion at for and , shows that , which implies the desired result. Similarly, using the third and the second “” in (2.36) successively, we get that
For item (ii), to show the first claim, it suffices to use the last “=” in (7.36), since it holds that and by item (i) and the fact that . Next we prove items (iii)-(v) before proving the remaining claims.
For item (iii), it follows from Assumption (A) that
(7.41) |
where we have used (3.12) in the last inequality. Hence and .
In the opposite case , it deduces from (3.28) that , and thus . Using (3.28) again we obtain by (3.26) and the fact that . This also leads to .
In conclusion, we establish the first three estimates in (7.37). The others are clear by (i).
We are in a position to prove item (iv). Indeed by item (i) we have and , whence and . By (i) again, it turns out that
(7.42) |
To show the first estimate, consider the following three cases: (1) , (2) with , and (3) with . In the first case, it follows from (3.28) that . And in such case, we remark that , thereby showing that . In the second case, by (3.27) and the first equation in (7.42), it holds that
and therefore, . In the third case, the argument is similar except using (3.28) instead.
For item (v), since (so ), then by (3.26) and (3.27) we have . Thus, by item (i) we obtain . It follows from the first claim in item (ii) that .
Now we return to the rest claims in item (ii). Recall (7.35). By (7.5) and the trivial fact that for , we obtain
(7.43) |
There are two possible cases:
(ii-1) . We have . Then combining item (i) with item (iii) yields that , and , whence .
8 Uniform asymptotics for the subtlest case: , and
Recall that , is the minimum of , and are two eigenvalues of the Hessian matrix of at its unique minimum point . Our target in this section is the following:
Theorem 8.1.
Let and with . Then
Its proof is based on Propositions 2.8 and 2.9. As mentioned in Subsection 2.5, Laplace’s method is not enough for our purpose, since could be bounded. To prove it in a uniform way, we will use Proposition 8.2 below, via the modified polar coordinates provided by (7.19). In short, we introduce a suitable coordinate system, give a nice expression for the integrand (especially, (8.1) for the phase), and determine the main contributing region of the integral.
Structure of . This set depends on two parameters and (cf. (8.2) below), which in fact involves three different cases. To avoid redundant computation, we list some preparatory estimates for the aforementioned parameters in the following Table 1. These results, which can be checked without difficulties by Lemma 7.6 (i)-(iv) and the fact that , will be used iteratively throughout the proof of Theorem 8.1.
More explanations for Table 1:
- •
-
•
These estimates should be used in the sense of “”. For instance, “1” in the -Column means .
Case | Condition | ||||||
---|---|---|---|---|---|---|---|
(1) | 1 | ||||||
(2) | , | ||||||
(3) | , |
Proposition 8.2.
The proof of Proposition 8.2 is postponed to Subsection 8.3 below. At this point we see how to apply it to obtain Theorem 8.1. For the sake of brevity, from now on we will omit the dependence of undetermined constants in the proof.
Let us decompose with defined as in Proposition 8.2 and
(8.4) |
where the universal constant will be chosen later. Then by (2.30) and (7.19) we can write
(8.5) |
We will see that the main contribution comes from .
Estimate of . We use (8.3) to treat . Under our assumptions, observe that . Then the standard Laplace’s method implies that:
On the other hand, if , then and therefore,
If , notice that (cf. also Table 1). Then Lemma 7.1 gives:
Combining all the estimates above yields that
(8.6) |
where we have used in “” (7.15), (7.3) and the fact that (cf. Lemma 7.6 (i) with the definition of (7.34)).
As a consequence, to finish the proof of Theorem 8.1, it is enough to show that
(8.7) |
This is done in the following two cases, and , which will be treated in Subsections 8.1 and 8.2, respectively.
The following estimates will be used repeatedly hereafter:
(8.8) |
Indeed, by recalling the definition of (cf. (2.35)), (cf. (7.16)) and (cf. (2.31)) (with the coordinates (7.19)), the first estimate comes from (4.14), and the second one from Proposition 2.9 (ii) and the fact that the minimum of equals to (cf. (7.34) again and Theorem 2.10).
8.1 Proof of (8.7) in the case where
In this case, notice that (cf. (2.7)), so . First from Table 1 with Lemma 7.6 (i)-(iii), we remark that
(8.9) |
Then (8.6) can be simplified as
(8.10) |
Estimate of . On , by (8.8) we obtain , whence there is a positive constant such that by selecting large enough. Combining this with the second claim in (8.8), we get that
Estimate of . We have to deal with two kinds of subcases: and . For , recalling , then by applying Lemma 7.5 and (8.1) (with ) successively, we have
(8.11) |
on for some positive constant . Hence by the second estimation in (8.8) again, the fact that and (cf. the second equation in (8.9)), we obtain
In the opposite case , we decompose with
(8.12) |
on which the integrals of are denoted by and respectively. Notation for such decomposition will be used repeatedly in the rest of this section without particular statements.
The same argument as in the case yields .
To estimate , first notice that . Similar to the proof of (8.11), there exists some positive constant such that
(8.13) |
Combining this with and Proposition 2.9 (ii), we conclude
(8.14) |
which implies immediately that because of the estimate and (8.10).
This completes the proof of (8.7) under our assumptions.
8.2 Proof of (8.7) in the case where
In such case, , , and (cf. (7.38)). Moreover, Lemma 7.6 (ii) says that and . Thus it follows from (8.6) that
(8.15) |
Estimate of . It’s very similar to the case . Since , then on , we can choose large enough so that . Hence it deduces from (7.33) that , and therefore, . As a result, with large enough, by the first estimate in (8.8) we have
Consequently, combining this with the second estimate in (8.8) and (8.15), we yield
(8.16) |
Estimate of . We divide this remaining estimate into two cases.
Case I. By Table 1 with Lemma 7.6 (i)-(ii), we have , and . Now we write in the rectangular coordinates with
where the constant will be determined later.
As in the proof of (8.11) and (8.13), there exists a constant such that for all ,
As a consequence,
where we have used in the second “” and (8.15) in “”.
To deal with , we use an argument similar to that in the proof of (8.16). In brief, on , recalling that (from (7.40) and ), we obtain:
for large enough. Then by the first estimate in (8.8), there is a constant such that
which further implies that
Thus we have shown that .
Case II. From Table 1 we can read that and . There are two subcases as well: and .
Recall that (cf. (8.2)). Fix selected constant . Without loss of generality, we may assume that . And we decompose with
where the constant will be chosen later. The argument used in the estimation (8.11) shows that we have uniformly on , . Then, using (8.17), a simple calculation yields .
The estimate for is somewhat more complicate. Recall that (cf. Lemma 7.6 (i) and (7.38)). Since now it holds that and by (7.38), then from the first equality in (7.33) and (7.23), a direct calculation shows that, for any and ,
(8.18) |
Consequently, we can invoke (7.18) and (7.7) to obtain
which follows that
(8.19) |
Note that on and . Then by (8.18) we can choose properly such that, for any ,
where we have used (7.33) in the equality and in the last inequality. Hence
(8.20) |
as long as is large enough. Besides, observing on it holds that , thus by (8.18) we get
(8.21) |
Consequently, it follows from (8.19)-(8.21) that
(8.22) |
On the other hand, as in the proof of (8.11), we also have . Hence there is a positive constant such that
(8.23) |
By the second estimate in (8.8) again, we yield that
where we have used that in the second “”, and (8.17) in “”. In conclusion, and the proof for is finished.
Subcase II-2. We decompose as in (8.12) and write . To show we can argue as in Subcase II-1, in fact the two key estimates (8.17) and (8.23) (on instead of ) are still valid.
8.3 Proof of Proposition 8.2
Proof.
The proof of (8.1) is elementary, mainly by means of Taylor’s formula and Chain Rule. However, it is very cumbersome and we have to make use of Lemma 7.6 and Table 1 by distinguishing three cases therein repeatedly, as explained earlier.
Let us begin with the “radial” part. Under our assumptions, it holds that for any ,
(8.24) |
Here we only prove the first two estimates, which together with (7.24)-(7.26), the fact that (cf. (2.7)), and Table 1 with Lemma 7.6 will allow us to conclude the remaining claims.
To this end, recall the definition of (cf. (7.21)), (7.40) and the fact that . Then
where “” trivially holds since at this point and (cf. Lemma 7.6 (i)). We explain how to obtain “”, or equivalently, . Indeed, its proof is based on Table 1 and Lemma 7.6. For instance, we consider the subtlest situation: and . In such case, Table 1 says that , and . Hence , which implies the desired estimate. As a consequence we obtain .
Similarly, , thereby from (7.24)
(8.25) |
where the last “” can also be checked using Table 1 and Lemma 7.6 again.
Note that we have shown in (8.24) that . It follows from the first estimate in (7.5) and the definition of (cf. (4.10)) that
which implies that and .
Thus using (7.29), (8.24), (7.6) and Table 1, we can show that:
Hence by the mean value theorem, we get
(8.26) |
Now we handle the “angular” part. Recall that , , and (cf. Lemma 7.6 (i)-(ii)), it follows from the first estimate in (8.24) that:
(8.27) |
Here to show “”, we have distinguished the following cases: (I) ; (II) with: (II-1) ; (II-2a) and ; and (II-2b) and . We only show the subtlest case (II-2b), and the others are trivial. In such case, from Lemma 7.6 and Table 1, we yield
Therefore, using (7.21) and the Taylor’s expansion of at , we can write as
(8.28) |
where we have used (cf. (8.24)) in the last equality. In particular, from (8.27) again, we find that
(8.29) |
Now applying the Taylor’s expansion to the function at (also recalling that by (7.23)), we obtain that
It follows from (8.29) and (8.24) that for all we have and thus by (7.8)
which implies
(8.30) |
and also
(8.31) |
by another Taylor’s expansion and (8.24).
Similarly, using the Taylor’s expansion to the function at gives
(8.32) |
where in the first “” we have used (7.10) and (7.8), and in the second “” (8.30) and (8.29). Writing
by (8.24), the first term is bounded by . Using (8.31) in addition, the second term is bounded by
As before, the “” here can be checked using Table 1 and Lemma 7.6. For the last term, we just use Taylor’s expansion, together with (8.24) again to obtain the same upper bound. In conclusion, we obtain that
(8.33) |
Furthermore, substituting (8.32), (8.26) and (8.33) into , we can yield:
where in the last equality, we have used and repeated the trick of combining Table 1 with Lemma 7.6. This establishes (8.1).
9 Uniform asymptotics for and
We continue to use the notation as before, and for the sake of brevity we still omit the dependence of undetermined constants in the proof of our theorems. The aim of this section is to establish the following:
Theorem 9.1.
Let . Then there is a constant such that, for all satisfying and ,
where and
(9.1) |
Recall that even in the special -dimensional non-isotropic Heisenberg group, it indeed happens that the leading term of the asymptotic expansion for the heat kernel cannot be represented in an explicit expression but an integral form. See [36, Theorem 4]. Hence we believe that in our group , which is -dimensional, it is unpractical to find all the explicit expressions as in the setting of isotropic Heisenberg groups (cf. [30]). Nevertheless, in such case precise estimates for the heat kernel can still be provided in a very concise form:
Theorem 9.2.
Let . Then there is a constant such that, for all satisfying and ,
(9.2) |
Let us begin with the
Proof of Theorem 9.2.
Under our assumptions, it deduces from Lemma 7.6 that and , which yield and . This occurs only in the case of Lemma 7.6 (iv), whence and (7.38) holds. In particular, . Now from (7.38), and force that
(9.3) |
We split the integral (2.30), by means of the modified polar coordinates (7.19), into the following three parts:
where
(9.4) | |||
(9.5) | |||
(9.6) |
Here and are two constants to be chosen later.
The choice of and the estimate of are similar to those for in Subsection 8.2, which yield that
(9.7) |
The estimate of follows in a similar argument but with some simplification for as in Subsection 8.2. Indeed, using (9.3) one can check (8.22) is still valid on provided that is large enough. Consequently, by the second claim in (8.8) we have
(9.8) |
Aiming now at , as in the proof of (8.18), we can show that , and on . Then an application of (7.7) with the fact that gives
Moreover, it follows from (7.33) and (9.3) that
Hence and therefore, on . As a result, from (2.30) and Proposition 2.9 (ii), we get
(9.9) |
This together with the fact that concludes the proof of Theorem 9.2. ∎
Now, we return to the
Proof of Theorem 9.1.
Recall that we have already shown that . To treat , remark that
Then one follows the argument just given for . The main difference is that we can write now with the additional term , due to the fact that on . Thus,
Notice that , then the above estimates imply that .
On the other hand, restricting ourselves to the region , some simplifications can be made to the expression of the heat kernel. In fact, using (9.3) it can be checked without difficulties that , , and . Then by the first estimate in (7.8) we have , which, together with (7.14), implies that
And moreover, we can apply (7.7) with the fact that and obtain that, for all ,
10 Uniform asymptotics for the remaining cases: points near the abnormal set
Recall that . In this section, our goal is to deal with the following two remaining cases:
(C1). , , and .
(C2). , and .
However, we shall give asymptotics under more general conditions as follows:
(C3). and .
(C4). , and .
More precisely, the relations among them are the following:
(C1) or (C2) (C3) (C4). | (10.1) |
Indeed, (C2) (C3) trivially holds and (C1) (C3) can be explained by the fact that (cf. Lemma 7.6 (i)). To show (C3) (C4), noting now that . Then Lemma 7.6 (i)-(ii) imply that and , which yield the desired results. Finally, suppose (C4) holds. First we claim that . Suppose the contrary. Then , whence and , which, however, implies that , a contradiction! Now follows at once from (7.38) as and from (7.39) as , respectively. Hence (C4) (C3).
To conclude, we reduce the remaining cases to (C4), or equivalently, (C3). Roughly speaking, these points are near the “(shortest) abnormal set”, i.e., the points such that the Hessian matrices of the reference functions are degenerate at the critical points . Hence in such case, the method of stationary phase no longer works even for small-time heat kernel asymptotics. The interested readers may consult [33]. More precisely, we shall prove the following theorem.
Theorem 10.1.
Let . Then there is a constant such that, for all satisfying and ,
(10.2) |
where
(10.3) |
Before showing Theorem 10.1, we state the positivity of the smooth function in the following lemma:
Lemma 10.2.
It holds that , .
Its proof is essentially the same as in Appendix A.1 below, but simpler in the 1D case. We now proceed with the proof of Theorem 10.1.
Proof.
Recall we have shown that in the proof of (10.1), and the heat kernel is given by (cf. (2.19))
(10.4) | ||||
where
Notice that the functions
are all bounded on , and Then on , using the finite-increment theorem, we can write
(10.5) | ||||
where we have used the fact that .
Put , . We then write
Next, we shall illustrate that the term is principal and the other terms are negligible.
Estimate of . Applying (4.3) with , and respectively w.r.t. the variable , we see that
from the definition of in (10.3).
By Lemma 10.2, whenever and are both bounded. Then under our assumptions. It is therefore sufficient to show
(10.6) |
Bound of . Applying (10.5) and the exponential decay of , we obtain
Evaluation of and . On , first observe that . Moreover, the simple estimate
(10.7) |
implies that
Then
From this and the trivial estimate , we obtain
Estimations of and . It follows from the monotonicity and the exponential decay of on that
Inserting this estimate into , we have
Similarly,
From these estimates we conclude the proof of (10.6) and hence the theorem. ∎
Remark 10.3.
The argument above also works for .
Notice that the above proof and the fact that also give the following
Corollary 10.4.
Let . Then there is a constant such that
(10.9) |
11 Summaries of main results
Recall that in previous sections we have established the uniform asymptotic expansions of the heat kernel at infinity in four possible cases, namely Theorems 6.1, 8.1, 9.1 and 10.1 with Remarks 6.4 and 8.3. Now we summarize these results and deduce the precise estimates as well as the small-time asymptotics of the heat kernel.
11.1 Uniform asymptotics
Theorem 11.1.
Under the Assumption (A) (cf. (2.18)), it holds that:
-
(i)
Let . Then there exists a constant such that for all satisfying with ,
-
(ii)
Let . Then there exists a constant such that for all satisfying , ,
-
(iii)
Let . Then there is a constant such that, for all satisfying and ,
-
(iv)
Let . Then there is a constant such that, for all satisfying and ,
Remark 11.2.
Supposing the requirements of Theorem 11.1 (i) and (ii) are fulfilled simultaneously, then the leading terms of the asymptotic formulas for the heat kernel given by them indeed coincide. This fact can be verified via an elementary but somewhat tedious calculation, by means of (7.2) (noting now that and by Lemma 7.6 and Remark 7.7), with equalities (7.35), (7.36), (2.33), (3.30), (3.25) and (cf. (2.18)).
As a by-product, we get the following important equality under Assumption (A):
(11.1) |
An application of Theorem 11.1 leads to the following consequence:
11.2 Sharp upper and lower bounds
The statement of this result has already appeared in Section 2.4. We restate it here for the reader’s convenience.
Theorem 11.3.
Under Assumption (A) (cf. (2.18)), we have
(11.2) |
Proof.
Recall that and . Then from Lemma 7.6 (ii), the right hand side of (11.2) is bounded below and above by the quantity
(11.3) |
Thus the estimate (11.2) just amounts to .
For the case that , using Lemma 7.6 (ii) again we obtain , whence , while by the positivity of the heat kernel we have . Thus, .
The opposite case can be deduced directly from Theorem 11.1, according to which we split it into four subcases:
If (so ) and , then , and by Lemma 7.6 (i), which, together with Theorem 11.1 (i) and (6.2) show that
Since , then by Lemma 7.6 (ii). From this and Lemma 7.6 (v) we conclude that .
If , and , then the desired result follows at once from (8.6) and the fact that (cf. Lemma 7.6 (ii)).
Thanks to this theorem, we can derive the precise estimates for the heat kernel for all points at infinity. Notice that the properties (2.8) allow us to consider only specific points as in the following:
Corollary 11.4.
Assuming that with and , we have:
-
(i)
If , then
(11.4) -
(ii)
If , then
(11.5)
Proof.
Via a limit argument, it is enough to prove these estimates under Assumption (A) (cf. (2.18)) only. Recall that , and .
For item (ii), using Lemma 7.6 (iv)-(v) we have . In fact, when , this follows from the facts that and (by (7.38)); while when , by (7.39) it holds that and , yielding the desired estimate as well. Consequently, appealing to (11.2) again gives
(11.6) |
If , then . So together with the first estimate in (7.38), we get that: and . As a result, we obtain . Conversely, if , then . From this and (11.6) the estimate (11.5) follows immediately. ∎
Another consequence of Theorem 11.1 is the
11.3 Small-time asymptotics
To obtain the desired asymptotics, the uniform asymptotics of Theorem 11.1 (ii) and Remark 10.3 are sufficient. Since is trivial, we may assume that . Recall that one can reduce the matters to the case where and with .
The first corollary is due to Remark 10.3.
Corollary 11.6.
Let and . Then
Applying Theorem 11.1 (ii) and (11.1), one obtains immediately the following Corollary 11.7, which shows in particular that (2.29) is still valid for .
Corollary 11.7.
Let , and . Then as ,
where .
To deduce the following four corollaries, we can appeal to Theorem 11.1 (ii) with an argument of limit. Indeed, by (7.35), Corollary 2.3 and the fact that , one can check that the approximating sequence (whose choice is similar as in the proof of Corollary 2.3) of the given point satisfies the asymptotic condition uniformly provided is small enough, then a passage to limit in both sides of the asymptotic formula will give us the asserted results.
Corollary 11.8.
Let , and . Then
where is the unique solution of .
Corollary 11.9.
Let , and . Then
Corollary 11.10.
Corollary 11.11.
Let and . Then
12 Sharp bounds for derivatives of the heat kernel
Recall that we use to denote an element in and to denote the horizontal gradient on this group, with given by (2.1). Let () represent the corresponding right-invariant vector field, that is,
Now set and . Then we have the following theorem. We mention that B. Qian has established for any free step-two Carnot group with generators (cf. [43, Proposition 5.5]), and its proof is based on the Harnack inequality and Bakry–Émery criterion (cf. [6] for more details on this approach).
Theorem 12.1.
It holds for any that
Proof.
Recalling also that , we start with the reduction of the problem. When is bounded, since is smooth and positive, we see the second estimate is trivial, and the first one follows at once from the the exponential decay of as well as the facts that and for all . So only the case where is large needs handling with greater care, then it is enough to show the following
(12.1) |
By an argument of limit and the second equation of (2.8), we only need to prove (12.1) under the following assumption:
(12.2) |
Note that this assumption is equivalent to that we can find a suitable orthogonal matrix such that satisfies Assumption (A) (cf. (2.18)). Notice that there exists only one such , we have also , , and . In principle, the methods in establishing the asymptotics of the heat kernel should be enough to estimate the sharp bounds of its derivatives. As before, we want to reduce the point to Assumption (A) naturally. However, it turns out that the orthogonal matrix may also depend on and we should be very careful. In fact, we prove (12.1) in the following four cases (conditions are stated for the point ):
Case (1): and .
Case (2): and .
Case (3): and .
Case (4): , and .
For Cases (1)-(3), it transpires that one can first directly taking derivatives in the original expression of the heat kernel (cf. (2.3)), and can reduce the proof of (12.1) to the one of (12.3) or (12.5) below. Then performing the orthogonal transform as before solves the problem. However, we should pay attention to Case (3) since there emerges singularity of higher order in the amplitude owing to derivation. Unlike the known cases (Heisenberg groups, non-isotropic Heisenberg groups, and GM-Métivier groups), in Case (3) we neither have the estimates for higher order singularities in the amplitude on , nor can apply the technique in Case (4) to deal with it. So we have to establish the upper bound estimates for higher order singularities. Fortunately, the method to obtain the uniform heat kernel can be modified to overcome this difficulty in an elegant manner, though the integral in this case is converted to a higher dimensional one.
For the remaining Case (4), we first choose an orthogonal matrix in (2.8) to enable us to use the new formula (2.30). However, in this way we should be careful since we need also take derivatives on such orthogonal matrix and thus we require a lower bound of (namely , which indeed can be observed from (12.1)) to treat it.
12.1 Proof of (12.1) in Cases (1)-(3)
In both Cases (1)-(2), by the fact that , it suffices to establish the following estimate
(12.3) |
where as in (12.2), and
(12.4) |
Notice that from the definition above we have by means of an orthogonal transform. Combining this with the fact that . It remains to prove (12.3) for as in Assumption (A) (cf. (2.18)). Note that we are only concerned with the upper bound, the desired estimate can be deduced easily by using an argument similar to (and simpler than) that of Theorem 6.1 for Case (1), and that of Theorem 10.1 for Case (2).
For Case (3), some modification is now required. Firstly, by the assumption that , it remains to prove
(12.5) |
As before we can reduce the proof to the points satisfying (2.18) or equivalently Assumption (A). Secondly, it follows from that and , which occurs only in the case of Lemma 7.6 (iii). As a result, we obtain
(12.6) |
Moreover, from Corollary 11.4 (i) it follows that
Thirdly, we need a more suitable integral expression for , which will play an important role. To be more precise, applying (4.3) with , and , respectively, we find that
where
A similar and simpler argument used in Appendix A yields the following upper bound for :
(12.7) |
where is now is defined by (4.12) with .
Now adopting similar notation as in Subsection 7.2, we write
Then . From the above estimates and using polar coordinates (7.19) for and -dimensional ones for respectively, together with the fact that , we deduce that (12.5) will hold provided that
(12.8) |
To prove this we write LHS of (12.8) as with
where and to be determined later. The estimate follows from a similar argument as in the estimate of in Subsection 8.1 with large enough. The estimate for is also similar to that by choosing small enough and using the following assertion: for . In fact, from (7.21) and (12.6) we can check that
(12.9) |
Therefore, on . By this and (7.7), we get that:
However, recalling (cf. (2.23)), the third equality in (2.36) implies that since by the third estimate in (12.6), which readily yields the assertion.
To estimate , first recall that and . Fixing selected and , then one can conclude similarly as in the proof of (8.32) (a rougher argument is enough) that
(12.10) |
In particular, . Applying these estimates with the -dimensional polar coordinates to , we infer it is bounded by
Recalling that is the only minimal point of with , so it is exactly majorized by via the standard Laplace’s method. This finishes the proof of Case (3).
12.2 Proof of (12.1) in Case (4)
To prove (12.1) in this case, the following estimate is crucial:
(12.11) |
where , , and
with
Remark that the upper bound (12.7) is valid for . Then following a similar line of reasoning as in Sections 8 and 9, we can obtain (12.11) under the condition that and .
The rest proof of (12.1) is then simple based on (12.11) and we shall go on in the following three steps. Firstly, without loss of generality we may assume that , then taking the orthogonal transform
(12.12) |
in (2.8) and applying (4.3) to (2.3) we arrive at that
(12.13) |
where
Note that to reduce such points to ones obeying (2.9), one only needs to use some orthogonal transform (in or ) again. This will be used implicitly in what follows. Moreover, the parameter , viewed as a function of , is homogeneous on of degree and on of degree respectively.
Secondly, suppose for the moment that . Take derivatives in (12.13). By Leibniz’s rule, the chain rule, (12.11) and the homogeneous property of , we see that to show (12.1) it is enough to observe that, for instance, for any ,
Other possible situations can also be verified easily.
Thirdly, let us improve the above result to the desired case , for which we only need to cope with the remaining case . In particular one has . We may assume as well, since only homogeneous property plays a role when estimating the derivatives of . Notice also that a change of variables in the definition of (cf. (4.4)) gives the following
Then applying the previous formula to (12.13) with (cf. (12.12)), we get:
(12.14) |
Observe that all coefficients of in the -variable of (12.14) is homogeneous on of degree and on of degree . Then using a similar argument as in the case , one can easily check that the condition and the estimate (12.11) are sufficient for (12.1). This proves Case (4), and hence Theorem 12.1. ∎
Appendix A Proof of Proposition 2.9
Recall the functions , and introduced in Subsections 2.5 and 4.1-4.2, and set . Then (7.9) implies that
(A.1) |
Let us now begin with the positivity of . Indeed, the argument below also allows us to establish [37, Proposition 2.2]. The fact is implicitly indicated therein.
A.1 Proof of Proposition 2.9 (i)
Proof.
It follows from (4.4)-(4.6) that
(A.2) |
where
We apply (4.3) with , and , respectively, to get that
As a result, for every with , , and , we obtain
where and we have used (4.3) again in the last “”. Hence we get that , and by induction .
It remains to show that . In fact, the basic properties of the Fourier transform and convolution give that
(A.3) |
And it suffices to recall the continuous function and notice that the nonnegative continuous function satisfies . ∎
A.2 Proof of Proposition 2.9 (ii) and (iii)
It is enough to prove (iii) in detail, since (ii) will follow easily from it and the fact that is positive and continuous we have just obtained, with estimates (7.3), (7.15) and (A.1).
To show (iii), we consider two cases as in the proposition below:
Proposition A.1.
The following uniform asymptotic estimates hold:
-
(I)
If , , and , then we have
(A.4) -
(II)
If , and , then we have
(A.5)
Now we show how (iii) of Proposition 2.9 follows from Proposition A.1. First we consider the case where with and . In such case, a direct computation shows that
(A.6) |
and thus, by Schur’s Lemma,
Combining this, (A.4) with (7.2) and the following observation:
(A.7) |
we obtain the asserted asymptotic in Proposition 2.9 without difficulties.
A.3 Proof of (A.4)
It suffices to use the argument introduced in [33], namely, the conjunction of the method of stationary phase and the operator convexity. To this end, using (4.7) and (4.8), the argument in the proof of Lemma 6.2 implies its counterpart:
Lemma A.2.
There exists a constant such that for any , we have
A.4 Proof of (A.5)
Our assumptions are now , and . In principle we use the same argument as in [35, §5 – §6]. The main difference is that in this case . Fortunately, the functions and in the definition of (cf. (4.4)) are explicit enough for us to get a better leading term than the ones in [35]. In fact, the function is more or less a heat kernel at time on -type groups, which has a more concrete leading term. See [31] for more details.
Let us start with the
A.4.1 Preliminaries
Recalling (A.1), now we have . As in Subsection 2.5, we need a new formula of to proceed our estimates. In fact, set in the sequel for and
(A.9) | |||
(A.10) |
Then from the definition we find that
where we have used in the last equality (4.3) with , , and , respectively. Hence
(A.11) |
As in (4.7), we define
(A.12) |
Here we state a counterpart of Lemma A.2, which follows from the same argument.
Lemma A.3.
There exists a constant such that
It follows from the definition that
Then deforming the contour from to in the inner integral of (A.11), and applying the change of variables for the outer integral, we yield that
(A.13) |
where
(A.14) |
with
(A.15) |
A.4.2 Properties of
We will see that the main contribution of the integral in (A.13) comes from the part of the integral taken only over the domain . To this end, we would like to study the asymptotic behavior of on and the upper bound of for other regions.
For this purpose, let us first introduce
(A.17) | |||
Then vanishes to order 2 at the origin, and the phase function of the integral in (A.14) becomes
Now we can establish:
Proposition A.4.
We have uniformly for all that:
Proof.
Recall . By (A.16) and the first equality of (A.15), we have for all that:
(A.18) | |||
(A.19) |
Then from the definition of (cf. (A.12)), a simple computation (compared with (A.8)) shows that
which implies that, for all ,
(A.20) |
Now setting
we have by (A.20) and (A.19). Then lifting the contour again by in (A.14), and splitting the integral into the ones over and . It follows from the estimate of above that
in the first region and thus using a similar argument in the proof of Theorem 6.1, we obtain the desired proposition. ∎
Next we give an upper bound of for all .
Proposition A.5.
There exists a constant such that
A.4.3 Estimation of
To treat , we need the following lemma, which is an analogue of [32, Proposition 4.2].
Lemma A.6.
Let , , and set
Then we have uniformly
provided
(A.21) |
Proof.
First notice that the change of variables gives for any . Then without loss of generality we can assume . Using polar coordinates and the integral representation for (cf. (2.32)), we get
where in the last “” we have used the change of variables additionally. Then we split the proof into two cases:
Case 1: .
Noting , the standard Laplace’s method gives
which ends the proof.
Case 2: .
In such case, from (7.2) we get
Then the usage of the Laplace’s method yields
where in the last “” we have used (7.2) again. ∎
Recall the estimate (A.20). The result of Proposition A.4 can be further simplified. To be more precise, it follows from (A.20) and (A.15) that:
Consequently, if we set
(A.22) | |||
(A.23) |
then and . Hence it follows from Proposition A.4 that
which implies that
where
Now taking , , and , in the above lemma, by (A.16) we can check that the condition (A.21) is fulfilled, and hence
On the other hand, using the same argument with replaced by , we can obtain the same lower bound for . So it is actually an equality. In conclusion, under the assumption in Proposition A.1 (II), it holds that
(A.24) |
A.4.4 Bounds for the remaining terms
We begin with the estimate of . In fact, on , we have that , and by the first equality in (A.15) and (A.16). Then it follows from Proposition A.5 that
where we have used in “” (A.16) again.
Similarly, we can prove as well.
Consider now . On , notice that , , and . As a result, Proposition A.5 yields
We are now left with the estimation of . Remark that we have on that and . Then Proposition A.5 gives
where we have used in the second “” the change of variables .
A.4.5 Summary
Acknowledgement
This work is partially supported by NSF of China (Grants No. 12271102 and No. 11625102). The first author would like to thank D. Bakry for bringing the free step-two Carnot group with generators to our attention in 2008.
References
- [1] J.-P. Anker and L. Ji. Heat kernel and Green function estimates on noncompact symmetric spaces. Geom. Funct. Anal., 9(6):1035–1091, 1999.
- [2] T. Ariyoshi and M. Hino. Small-time asymptotic estimates in local Dirichlet spaces. Electron. J. Probab., 10:no. 37, 1236–1259, 2005.
- [3] P. Auscher, T. Coulhon, X. T. Duong, and S. Hofmann. Riesz transform on manifolds and heat kernel regularity. Ann. Sci. École Norm. Sup. (4), 37(6):911–957, 2004.
- [4] D. Bakry, F. Baudoin, M. Bonnefont, and D. Chafaï. On gradient bounds for the heat kernel on the Heisenberg group. J. Funct. Anal., 255(8):1905–1938, 2008.
- [5] D. Bakry, I. Gentil, and M. Ledoux. Analysis and geometry of Markov diffusion operators, volume 348 of Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer, Cham, 2014.
- [6] F. Baudoin and M. Bonnefont. The subelliptic heat kernel on : representations, asymptotics and gradient bounds. Math. Z., 263(3):647–672, 2009.
- [7] R. Beals, B. Gaveau, and P. Greiner. The Green function of model step two hypoelliptic operators and the analysis of certain tangential Cauchy Riemann complexes. Adv. Math., 121(2):288–345, 1996.
- [8] R. Beals, B. Gaveau, and P. C. Greiner. Hamilton-Jacobi theory and the heat kernel on Heisenberg groups. J. Math. Pures Appl. (9), 79(7):633–689, 2000.
- [9] M. Berger. A panoramic view of Riemannian geometry. Springer-Verlag, Berlin, 2003.
- [10] N. Berline, E. Getzler, and M. Vergne. Heat kernels and Dirac operators. Grundlehren Text Editions. Springer-Verlag, Berlin, 2004. Corrected reprint of the 1992 original.
- [11] R. Bhatia. Matrix analysis, volume 169 of Graduate Texts in Mathematics. Springer-Verlag, New York, 1997.
- [12] A. Bonfiglioli, E. Lanconelli, and F. Uguzzoni. Stratified Lie groups and potential theory for their sub-Laplacians. Springer Monographs in Mathematics. Springer, Berlin, 2007.
- [13] M. Bonnefont, D. Chafaï, and R. Herry. On logarithmic Sobolev inequalities for the heat kernel on the Heisenberg group. Annales de la Faculté des sciences de Toulouse : Mathématiques, 29(2):335–355, 2020. identifier: 10.5802/afst.1633.
- [14] S. Boutayeb, T. Coulhon, and A. Sikora. A new approach to pointwise heat kernel upper bounds on doubling metric measure spaces. Adv. Math., 270:302–374, 2015.
- [15] R. W. Brockett. Nonlinear control theory and differential geometry. In Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Warsaw, 1983), pages 1357–1368. PWN, Warsaw, 1984.
- [16] T. Coulhon. Itération de Moser et estimation gaussienne du noyau de la chaleur. J. Operator Theory, 29(1):157–165, 1993.
- [17] T. Coulhon and X. T. Duong. Riesz transforms for . Trans. Amer. Math. Soc., 351(3):1151–1169, 1999.
- [18] T. Coulhon and A. Sikora. Gaussian heat kernel upper bounds via the Phragmén-Lindelöf theorem. Proc. Lond. Math. Soc. (3), 96(2):507–544, 2008.
- [19] J. Cygan. Heat kernels for class nilpotent groups. Studia Math., 64(3):227–238, 1979.
- [20] E. B. Davies and M. M. H. Pang. Sharp heat kernel bounds for some Laplace operators. Quart. J. Math. Oxford Ser. (2), 40(159):281–290, 1989.
- [21] B. Gaveau. Principe de moindre action, propagation de la chaleur et estimées sous elliptiques sur certains groupes nilpotents. Acta Math., 139(1-2):95–153, 1977.
- [22] I. S. Gradshteyn and I. M. Ryzhik. Table of integrals, series, and products. Elsevier/Academic Press, Amsterdam, eighth edition, 2015. Translated from the Russian, Translation edited and with a preface by Daniel Zwillinger and Victor Moll, Revised from the seventh edition [MR2360010].
- [23] A. Grigor’yan. Heat kernel and analysis on manifolds, volume 47 of AMS/IP Studies in Advanced Mathematics. American Mathematical Society, Providence, RI; International Press, Boston, MA, 2009.
- [24] W. Hebisch and B. Zegarliński. Coercive inequalities on metric measure spaces. J. Funct. Anal., 258(3):814–851, 2010.
- [25] L. Hörmander. The analysis of linear partial differential operators. I. Springer Study Edition. Springer-Verlag, Berlin, second edition, 1990. Distribution theory and Fourier analysis.
- [26] H. Hueber and D. Müller. Asymptotics for some Green kernels on the Heisenberg group and the Martin boundary. Math. Ann., 283(1):97–119, 1989.
- [27] S. G. Krantz and H. R. Parks. The implicit function theorem. Modern Birkhäuser Classics. Birkhäuser/Springer, New York, 2013. History, theory, and applications, Reprint of the 2003 edition.
- [28] R. Léandre. Majoration en temps petit de la densité d’une diffusion dégénérée. Probab. Theory Related Fields, 74(2):289–294, 1987.
- [29] H.-Q. Li. Estimation optimale du gradient du semi-groupe de la chaleur sur le groupe de Heisenberg. J. Funct. Anal., 236(2):369–394, 2006.
- [30] H.-Q. Li. Estimations asymptotiques du noyau de la chaleur sur les groupes de Heisenberg. C. R. Math. Acad. Sci. Paris, 344(8):497–502, 2007.
- [31] H.-Q. Li. Estimations optimales du noyau de la chaleur sur les groupes de type Heisenberg. J. Reine Angew. Math., 646:195–233, 2010.
- [32] H.-Q. Li. Estimations asymptotiques du noyau de la chaleur pour l’opérateur de Grushin. Comm. Partial Differential Equations, 37(5):794–832, 2012.
- [33] H.-Q. Li. The Carnot-Carathéodory distance on -step groups. arXiv e-prints, page arXiv:2112.07822, Dec. 2021.
- [34] H.-Q. Li and P. Sjögren. Estimates for operators related to the sub-Laplacian with drift in Heisenberg groups. J. Fourier Anal. Appl., 28(1):Paper No. 10, 29, 2021.
- [35] H.-Q. Li and Y. Zhang. Heat kernel asymptotics for a class of Métivier groups. Preprint 2022.
- [36] H.-Q. Li and Y. Zhang. Revisiting the heat kernel on isotropic and nonisotropic Heisenberg groups. Comm. Partial Differential Equations, 44(6):467–503, 2019.
- [37] H.-Q. Li and Y. Zhang. A complete answer to the Gaveau–Brockett problem. arXiv e-prints, page arXiv:2112.07927, Dec. 2021.
- [38] H.-Q. Li and Y. Zhang. Sub-Riemannian geometry on some step-two Carnot groups. arXiv e-prints, page arXiv:2102.09860, Feb. 2021.
- [39] P. Li and S.-T. Yau. On the parabolic kernel of the Schrödinger operator. Acta Math., 156(3-4):153–201, 1986.
- [40] F. Lust-Piquard. A simple-minded computation of heat kernels on Heisenberg groups. Colloq. Math., 97(2):233–249, 2003.
- [41] A. Montanari and D. Morbidelli. On the subRiemannian cut locus in a model of free two-step Carnot group. Calc. Var. Partial Differential Equations, 56(2):Paper No. 36, 26, 2017.
- [42] C. P. Niculescu and L.-E. Persson. Convex functions and their applications. CMS Books in Mathematics/Ouvrages de Mathématiques de la SMC. Springer, Cham, 2018. A contemporary approach, Second edition of [ MR2178902].
- [43] B. Qian. Positive curvature property for sub-Laplacian on nilpotent Lie group of rank two. Potential Anal., 39(4):325–340, 2013.
- [44] S. Rigot. Mass transportation in groups of type . Commun. Contemp. Math., 7(4):509–537, 2005.
- [45] L. Saloff-Coste. Analyse sur les groupes de Lie à croissance polynômiale. Ark. Mat., 28(2):315–331, 1990.
- [46] L. Saloff-Coste. A note on Poincaré, Sobolev, and Harnack inequalities. Internat. Math. Res. Notices, (2):27–38, 1992.
- [47] L. Saloff-Coste. Aspects of Sobolev-type inequalities, volume 289 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2002.
- [48] C. Séguin and A. Mansouri. Short-time asymptotics of heat kernels of hypoelliptic Laplacians on unimodular Lie groups. J. Funct. Anal., 262(9):3891–3928, 2012.
- [49] A. Sikora. Sharp pointwise estimates on heat kernels. Quart. J. Math. Oxford Ser. (2), 47(187):371–382, 1996.
- [50] A. Sikora. Riesz transform, Gaussian bounds and the method of wave equation. Math. Z., 247(3):643–662, 2004.
- [51] K.-H. Tan and X.-P. Yang. Characterisation of the sub-Riemannian isometry groups of -type groups. Bull. Austral. Math. Soc., 70(1):87–100, 2004.
- [52] N. T. Varopoulos. Small time Gaussian estimates of heat diffusion kernels. II. The theory of large deviations. J. Funct. Anal., 93(1):1–33, 1990.
- [53] N. T. Varopoulos, L. Saloff-Coste, and T. Coulhon. Analysis and geometry on groups, volume 100 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge, 1992.
Hong-Quan Li, Sheng-Chen Mao
School of Mathematical Sciences/Shanghai Center for Mathematical Sciences
Fudan University
220 Handan Road
Shanghai 200433
People’s Republic of China
E-Mail: [email protected]
[email protected] or [email protected]
Ye Zhang
Analysis on Metric Spaces Unit
Okinawa Institute of Science and Technology Graduate University
1919-1 Tancha, Onna-son, Kunigami-gun
Okinawa, 904-0495, Japan
E-Mail: [email protected] or [email protected]