The exit from a metastable state: concentration of the exit point distribution on the low energy saddle points
Giacomo Di Ges\`u, Tony Leli\`evre, Dorian Le Peutrec, and Boris, Nectoux

TL;DR
This paper analyzes the distribution of exit points for a stochastic process in a domain, showing that at low temperatures, the exit points concentrate on the lowest energy saddle points on the boundary.
Contribution
It proves that the exit point distribution concentrates on minimal energy saddle points under general conditions, extending previous results to broader initial distributions.
Findings
Exit points concentrate on minimal energy saddle points at low temperature.
The support of the exit distribution localizes on points minimizing the potential on the boundary.
Results are extended to initial distributions beyond the quasi-stationary state.
Abstract
We consider the first exit point distribution from a bounded domain of the stochastic process solution to the overdamped Langevin dynamics starting from the quasi-stationary distribution in . In the small temperature regime () and under rather general assumptions on (in particular, may have several critical points in ), it is proven that the support of the distribution of the first exit point concentrates on some points realizing the minimum of on . The proof relies on tools to study tunnelling effects in semi-classical analysis. Extensions of the results to more general initial distributions than the quasi-stationary distribution are also presented.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
The exit from a metastable state: concentration of the exit point distribution on the low energy saddle points
Giacomo Di Gesù 22footnotemark: 2 , Tony Lelièvre , Dorian Le Peutrec and Boris Nectoux11footnotemark: 1 22footnotemark: 2 Current affiliation: Institut für Analysis und Scientific Computing, E101-TU Wien, Wiedner Hauptstr. 8, 1040 Wien, Austria. E-mail: {giacomo.di.gesu,boris.nectoux}@asc.tuwien.ac.atCERMICS, École des Ponts, Université Paris-Est, INRIA, 77455 Champs-sur-Marne, France. E-mail: [email protected] de Mathématiques d’Orsay, Univ. Paris-Sud, CNRS, Université Paris-Saclay, 91405 Orsay, France. E-mail: [email protected]
Abstract
We consider the first exit point distribution from a bounded domain of the stochastic process solution to the overdamped Langevin dynamics
[TABLE]
starting from the quasi-stationary distribution in . In the small temperature regime () and under rather general assumptions on (in particular, may have several critical points in ), it is proven that the support of the distribution of the first exit point concentrates on some points realizing the minimum of on . The proof relies on tools to study tunnelling effects in semi-classical analysis. Extensions of the results to more general initial distributions than the quasi-stationary distribution are also presented.
Contents
-
1.3.2 Notation for the local minima and saddle points of the function
-
1.3.4 Intermediate results on the smallest eigenvalues and on the principal eigenfunction of
-
3.1.2 The Witten Laplacian and the infinitesimal generator of the diffusion (1)
Introduction and main results
Setting and motivation
Overdamped Langevin dynamics
We are interested in the overdamped Langevin dynamics
[TABLE]
where is a vector in , is a function, is a positive parameter and is a standard -dimensional Brownian motion. Such a dynamics is prototypical of models used for example in computational statistical physics to simulate the evolution of a molecular system at a fixed temperature, in which case is the potential energy function and is proportional to the temperature. It admits as an invariant measure the Boltzmann-Gibbs measure (canonical ensemble) where . In the small temperature regime , the stochastic process is typically metastable: it stays for a very long period of time in a subset of (called a metastable state) before hopping to another metastable state. In the context of statistical physics, this behavior is expected since the molecular system typically jumps between various conformations, which are indeed these metastable states. For modelling purposes as well as for building efficient numerical methods, it is thus crucial to be able to precisely describe the exit event from a metastable state, namely the law of the first exit time and the first exit point.
The main objective of this work is to address the following question: given a metastable domain , what are the exit points in the small temperature regime ? Compared to the work [10], we here only identify the support of the first exit point distribution, and the relative likelihood of the points in this support, whereas in [10], we also study the exit through points which occur with exponentially small probability in the limit . The results here are thus less precise than in [10], but we also work under much more general assumptions on the function which are made precise in the next section.
Exit point distribution and purpose of this work
Let us consider a domain and the associated exit event from . More precisely, let us introduce
[TABLE]
the first exit time from . The concentration of the law of on a subset of is defined as follows.
Definition 1**.**
Let . The law of concentrates on in the limit if for every neighborhood of in
[TABLE]
and if for all and for all neighborhood of in
[TABLE]
In other words, is the support of the law of in the limit .
Previous results on the behaviour of the law of when . They are mainly three kinds of approaches to study where and how the law of concentrates on when . We refer to [5] for a comprehensive review of the literature.
The first approach one is based on formal computations: the concentration of the law of on in the small temperature regime () has been studied in [34] when on and in [37, 42] when considering also the case when on .
The second approach is based on rigorous techniques developed for partial differential equations. When it holds,
[TABLE]
where is the normal derivative of on , and
[TABLE]
the concentration of the law of in the limit on has been obtained in [24, 23, 40, 6, 7], when .
Finally, the last approach is based on techniques developed in large deviation theory. When (3) and (4) hold, and atteins its minimum on at one single point , it is proved in [13, Theorem 2.1] that the law of in the limit concentrates on , when . In [13, Theorem 5.1], under more general assumptions on , for , the limit of when is related to a minimization problem involving the quasipotential of the process (1). Let us mention two limitations when applying [13, Theorem 5.1] in order to obtain some information on the first exit point distribution. First, this theorem requires to be able to compute the quasipotential in order to get useful information: this is trivial under the assumptions (3) and (4) but more complicated under more general assumptions on (in particular when has several critical points in ). Second, even when the quasi potential is analytically known, this result only gives the subset of where exit will not occur on an exponential scale in the limit . It does not allow to exclude exit points with probability which goes to zero polynomially in (this indeed occurs, see Section 1.4.5), and it does not give the relative probability to exit through exit points with non-zero probability in the limit .
Let us mention that [24, 23, 40, 6, 7, 13] also cover the case of non reversible diffusions.
Purpose of this work: the case when has several critical points in . As explained above, the concentration of the law of on was obtained when (3) and (4) hold (which imply in particular that has only one critical point in ). Our work aims at generalizing in the reversible case the results [24, 23, 40, 6, 7] and [13, Theorem 2.1], when has several critical points in . In particular, we exhibit more general assumptions on in which the law of concentrates on points belonging to and we compute the relative probabilities to leave through each of them. For instance, we do not assume that on (i.e. we drop the assumption (3)), we have no restriction on the number of critical points of in (i.e. we do not assume (4)) and is allowed to have critical points in (e.g. saddle points or local minima) with larger energies than (however we do not consider the case when has critical points on ). Here are examples of outputs of our work.
First, we show for example the following result: if is connected and contains all the critical points of in together with on , then, the exit point distribution concentrates on when is distributed according to the quasi-stationary distribution of the process (1) in (see Definition 2 below) or . This extends the results of [24, 23, 40, 6, 7] and [13, Theorem 2.1] to a more general geometric setting.
Second, we also study situations where critical points of in are larger in energy than . In such a case, again for distributed according to or (where is a compact subset of to be made precise below), the law of concentrates when on a subset of which can be strictly included in . In particular, we show that the following phenomena can occur:
- (i)
There exist points , and , such that for all sufficiently small neighborhood of in , in the limit : (see (25) in Theorem 1 and the discussion after the statement of Theorem 1).
- (ii)
There exist points and , for all sufficiently small neighborhood of in , . This is explained in Section 1.4.5.
In particular, motivated by the desire to analyse the metastability of the exit event from , we exhibit explicit assumptions on which aim at ensuring the two following properties:
- [P1]
When is initially distributed according to the quasi-stationary distribution of the process (1) in (see Definition 2 below), the law of concentrates in the limit on some global minima of on .
- [P2]
There exists a connected component of such that when and belongs to this connected component, the law of concentrates in the limit on the same points of as it does when .
Finally, we give sharp asymptotic estimates when on the principal eigenvalue and the principal eigenfunction of the infinitesimal generator of the diffusion (1) associated with Dirichlet boundary conditions on , see Section 1.3.4. Let us mention that a simplified version of the results of this work is presented in [32].
Organization of the introduction. In Section 1.2, we introduce the quasi-stationary distribution associated with and the process (1), and we explain why it is relevant to study the exit event from a metastable domain assuming that the process (1) is initially distributed according to the quasi-stationary distribution. In Section 1.3, we introduce assumptions on which will be used throughout this paper and we state the main result of this work (see Theorem 1). Finally, in Section 1.4, we discuss the necessity of the assumptions related to obtain the results of Theorem 1.
Metastability and the quasi-stationary distribution
The quasi-stationary distribution is the cornerstone of our analysis. Here and in the following, we assume that is smooth, open, bounded and connected. Let us give the definition of the quasi-stationary distribution associated with the overdamped Langevin process (1) and :
Definition 2**.**
Let and consider the dynamics (1). A quasi-stationary distribution is a probability measure supported in such that for all measurable sets and for all
[TABLE]
Here and in the following, the subscript indicates that the stochastic process starts from : . In words, (5) means that if is distributed according to , then for all , is still distributed according to conditionally on for all . We have the following results from [28]:
Proposition 3**.**
Let be a bounded domain and consider the dynamics (1). Then, there exists a probability measure with support in such that, whatever the law of the initial condition with support in , it holds:
[TABLE]
Here, denotes the law of conditional to the event . A corollary of this proposition is that the quasi-stationary distribution exists and is unique. For a given initial distribution of the process (1), if the convergence in (6) is much quicker than the exit from , the exit from the domain is said to be metastable. When the exit from is metastable, it is thus relevant to study the exit event from assuming that the process (1) is initially distributed according to the quasi-stationary distribution .
Let us introduce the infinitesimal generator of the dynamics (1), which is the differential operator
[TABLE]
In the notation , the superscript indicates that we consider an operator on functions, namely [math]-forms. The basic observation to define our functional framework is that the operator is self-adjoint on the weighted space
[TABLE]
(the weighted Sobolev spaces are defined similarly). Indeed, for any smooth test functions and with compact supports in , one has
[TABLE]
This gives a proper framework to introduce the Dirichlet realization on of the operator :
Proposition 4**.**
The Friedrich’s extension associated with the quadratic form
[TABLE]
is denoted by . It is a non negative unbounded self adjoint operator on with domain
[TABLE]
where .
The compact injection implies that the operator has a compact resolvent and its spectrum is consequently purely discrete. Let us introduce the smallest eigenvalue of :
[TABLE]
The eigenvalue is called the principal eigenvalue of . From standard results on elliptic operator (see for example [15, 12]), is non degenerate and its associated eigenfunction has a sign on . Moreover, . Without loss of generality, one can then assume that:
[TABLE]
The eigenvalue-eigenfunction pair satisfies:
[TABLE]
The link between the quasi stationary distribution and the function is given by the following proposition (see for example [28]):
Proposition 5**.**
The unique quasi-stationary distribution associated with the dynamics (1) and the domain is given by:
[TABLE]
The next proposition (which can also be found in [28]) characterizes the law of the exit event from .
Proposition 6**.**
Let us consider the dynamics (1) and the quasi stationary distribution associated with the domain . If is distributed according to , the random variables and are independent. Furthermore is exponentially distributed with parameter and the law of has a density with respect to the Lebesgue measure on given by
[TABLE]
Here and in the following, stands for the normal derivative and is the unit outward normal on .
Hypotheses and main results
This section is dedicated to the statement of the main result of this work.
Hypotheses and notation
In the following, we consider a setting that is more general than the one of Section 1.2: is a oriented compact and connected Riemannian manifold of dimension with boundary .
The following notation will be used: for ,
[TABLE]
and
[TABLE]
Let us recall the definition of the domain of attraction of a subset of for the dynamics. Let be a function. Let and denote by the solution to the ordinary differential equation
[TABLE]
on the interval , where
[TABLE]
Let be such that . The -limit set of , denoted by , is defined by
[TABLE]
Let us recall that the -limit set is included in the set of the critical points of in . Moreover, when has a finite number of critical points in ,
[TABLE]
Let be a subset of . The domain of attraction of a subset of is defined by
[TABLE]
Let us now introduce the basic assumption which is used throughout this work:
[TABLE]
A function is a Morse function if all its critical points are non degenerate (which implies in particular that has a finite number of critical points since is compact and a non degenerate critical point is isolated from the other critical points). Let us recall that a critical point of is non degenerate if the hessian matrix of at , denoted by , is invertible. We refer for example to [22, Definition 4.3.5] for a definition of the hessian matrix on a manifold. A non degenerate critical point of is said to have index if has precisely negative eigenvalues (counted with multiplicity). In the case , is called a saddle point.
For any local minimum of in , one defines
[TABLE]
where is the set of continuous paths from to . In Section 2.1, another equivalent definition of is given (see indeed (38) and (40)). Let us now define a set of assumptions which will ensure that [P1] and [P2] are satisfied (see indeed Theorem 1 and Section 1.4 for a discussion on these assumptions):
- •
(A0) holds and
[TABLE]
where
[TABLE]
with, for a local minimum of in ,
[TABLE]
- •
(A1) holds and
[TABLE]
- •
(A1) holds and
[TABLE]
More precisely, the assumptions (A0), (A1), (A2), and (A3) ensure that when or , the law of concentrates on the set , see items 1 and 2 in Theorem 1. Finally, let us introduce the following assumption:
- (A1) holds and
[TABLE]
where the definition of a separating saddle point of is introduced below in item 1 in Definition 18.
The assumption (A4) together with (A0), (A1), (A2), and (A3), ensures that the probability that the process (1) (starting from the quasi-stationary distribution or from ) leaves through any sufficiently small neighborhood of in is exponentially small when , see indeed item 3 in Theorem 1.
In Figure 1, one has represented a one-dimensional case where (A1), (A2), (A3) and (A4) are satisfied. In Section 1.4, the assumptions (A1), (A2), (A3), and (A4) are discussed. In particular, it is shown that if one of the assumptions among (A1), (A2), or (A3) does not hold, then there exists a function for which either [P1] or [P2] is not satisfied. Equivalent formulations of the assumptions (A1), (A2), (A3), and (A4) will be given in Section 2.5.
Remark 7**.**
It is proved in Proposition 20 that when (A0) holds, for all local minima of in , one has (see (17)). This implies that for all , and then, .
Notation for the local minima and saddle points of the function
The main purpose of this section is to introduce the local minima and the generalized saddle points of . These elements of are used extensively throughout this work and play a crucial role in our analysis. Roughly speaking, the generalized saddle points of are the saddle points of the extension of by outside . Thus, when the function satisfies the assumption (A0), a generalized saddle point of (as introduced in [18]) is either a saddle point of or a local minimum of such that .
Let us assume that the function satisfies the assumption (A0). Let us denote by
[TABLE]
the set of local minima of in where is the number of local minima of in . Notice that since satisfies (A0), .
The set of saddle points of of index in is denoted by and its cardinality by . Let us define
[TABLE]
Notice that an equivalent definition of is
[TABLE]
which follows from the fact that for all . Let us introduce
[TABLE]
In addition, one defines:
[TABLE]
The set is the set of the generalized saddle points of . If is not empty, its elements are denoted by:
[TABLE]
and if is not empty, its elements are labeled as follows:
[TABLE]
Thus, one has:
[TABLE]
We assume that the elements of are ordered such that:
[TABLE]
Notice that .
Let us assume that the assumptions (A1), (A2), and (A3) are satisfied. In this case, let us recall that is defined by (A1). Moreover, in this case, one has and
[TABLE]
Indeed, by assumption (see (A3)) and there is no local minima of in on (since is a sublevel set of ). We assume lastly that the set is ordered such that:
[TABLE]
Notice that and . We provide an example in Figure 2 to illustrate the notations introduced in this section.
As introduced in [18, Section 5.2], is the set of generalized critical points of of index [math] for the Witten Laplacian acting on functions with Dirichlet boundary conditions on , and is the set of generalized critical points of of index for the Witten Laplacian acting on -forms with tangential Dirichlet boundary conditions on . We refer to Section 3.1.2 for the definition of these Witten Laplacians.
Remark 8**.**
The assumption (A0) implies that does not have any saddle point (i.e critical point of index ) on . Actually, under (A0), the points play geometrically the role of saddle points. Indeed, zero Dirichlet boundary conditions are consistent with extending by outside , in which case the point are geometrically saddle points of (i.e. is a local minimum of and a local maximum of , where is the straight line passing through and orthogonal to at ).
Main results on the exit point distribution
The main result of this work is the following.
Theorem 1**.**
Let us assume that the assumptions (A0), (A1), (A2), and (A3) are satisfied. Let and be a family of disjoint open subsets of such that
[TABLE]
where we recall that \big{\{}z_{1},\dots,z_{\mathsf{k}_{1}^{\partial\Omega}}\big{\}}=\mathsf{U}_{1}^{\partial\Omega}\cap\operatorname*{arg\,min}_{\partial\Omega}f (see (23)). Let be a compact subset of such that (see (A1) and (14)). Let be a probability distribution which is either supported in or equals to the quasi-stationary distribution of the process (1) in (see Definition 2 and (11)). Then:
There exists such that in the limit :
[TABLE]
and
[TABLE]
where we recall that \big{\{}z_{1},\ldots,z_{\mathsf{k}_{1}^{\partial\mathsf{C}_{\mathsf{max}}}}\big{\}}=\partial\mathsf{C}_{\mathsf{max}}\cap\partial\Omega (see (24)). 2. 2.
When for some i\in\big{\{}1,\dots,\mathsf{k}_{1}^{\partial\mathsf{C}_{\mathsf{max}}}\big{\}} the function is in a neighborhood of , one has when :
[TABLE]
where
[TABLE] 3. 3.
When (A4) is satisfied the remainder term in (26) is of the order O\big{(}e^{-\frac{c}{h}}\big{)} for some and the remainder term O\big{(}h^{\frac{1}{4}}\big{)} in (27) is of the order and admits a full asymptotic expansion in (as defined in Remark 9 below).
Finally, the constants involved in the remainder terms in (25), (26), and (27) are uniform with respect to the probability distribution supported in .
Remark 9**.**
Let us recall that for , admits a full asymptotic expansion in if there exists a sequence such that for any , it holds in the limit :
[TABLE]
According to (25), when the function belongs to and , one has in the limit :
[TABLE]
where the order in of the remainder term depends on the support of and on whether or not the assumption (A4) is satisfied. This is reminiscent of previous results obtained in [24, 23, 40, 6, 7].
Theorem 1 implies that in the limit , when or , the law of concentrates on the set with explicit formulas for the probabilities to exit through each of the ’s. Therefore, [P1] and [P2] are satisfied when the assumptions (A1), (A2), and (A3) holds.
Another consequence of Theorem 1 is the following. The probability to exit through a global minimum of which satisfies is exponentially small in the limit (see (25)) and when assuming (A4), the probability to exit through is also exponentially small even though all these points belong to .
Let us now give two crucial results used in the proof of [P2] in Theorem 1. The first result shows that, when the assumptions (A0) and (A1) are satisfied, and (which is automatically the case when (A1), (A2), and (A3) hold, see Lemma 26), the quasi-stationary distribution (see Proposition 5) concentrates in neighborhoods of the global minima of in . This is stated in the following proposition.
Proposition 10**.**
Assume that the assumptions (A0) and (A1) are satisfied. Furthermore, let us assume that
[TABLE]
where we recall that is introduced in (A1). Let be an open subset of . Then, if , one has in the limit :
[TABLE]
When , there exists such that when :
[TABLE]
Proposition 10 is a direct consequence of (11) and Proposition 59 below (see the beginning of Section 5).
The second result used in the proof of Theorem 1 connects the law of when and in the limit . This is stated in the following proposition.
Proposition 11**.**
Assume that the assumptions (A0) and (A1) are satisfied. Let us moreover assume that
[TABLE]
where we recall that is introduced in (A1). Let be a compact subset of such that and let . Then, there exists such that for all :
[TABLE]
in the limit and uniformly in .
Proposition 11 is a direct consequence of Lemma 69 below (see Section 6.2.2). It gives sufficient conditions to ensure that [P2] is satisfied.
Let us end this section with the following theorem dealing with the case when , when (see (16)) is not necessarily .
Theorem 2**.**
Let us assume that (A0) holds. Let (see (16)). Let us assume that
[TABLE]
Recall that (see (19) and (21)). For all , let be an open subset of such that . Let be a compact subset of such that . Then, there exists such that for small enough,
[TABLE]
Assume moreover that the sets are two by two disjoint. Let . Then, it holds for all ,
[TABLE]
in the limit and uniformly in .
Theorem 2 implies that when satisfies (29) (for instance, this is the case for on Figures 1 and 2), the law of when concentrates when on . Let us mention that the proof of Theorem 2 is based on the use of Theorem 1 with a suitable subdomain of containing .
When and does not satisfy (29), it is much harder to exhibit explicit assumptions on to give the most probable places of exit from of the process (1) when (as suggested by one dimensional-examples, see Appendix B).
Intermediate results on the smallest eigenvalues and on the principal eigenfunction of
Let us recall that from (12), one has:
[TABLE]
Therefore, to obtain the asymptotic estimates on stated in Theorem 1 when , i is sufficient to study the asymptotic behaviour of the quantities
[TABLE]
The intermediate results we obtain are the following.
In Theorem 5, one gives for small enough, a lower and an upper bound for all the small eigenvalues of when (A0) is satisfied. 2. 2.
In Theorems 3 and 4, one gives a sharp asymptotic equivalent in the limit of the smallest eigenvalue of when (A0) and (A1) are satisfied. 3. 3.
In Proposition 59, when (A0), (A1) and hold, one shows that concentrates in the -norm on the global minima of in in the limit . 4. 4.
In Theorem 6, one studies the concentration in the limit of the normal derivative of the principal eigenvalue of on when (A0),(A1), (A2), and (A3) are satisfied. In particular, one computes sharp asymptotic equivalents of in neighborhoods of in .
Discussion of the hypotheses
In this section, we discuss the necessity of the assumptions (A1), (A2), and (A3) to obtain [P1] and [P2]. We also discuss the necessity of the assumption (A4) in order to get item 3 in Theorem 1.
On the assumption (A0)
The results of this work actually still hold under a weaker assumption than (A0), namely by simply assuming that is a Morse function instead of is a Morse function. Indeed, as mentioned in [17, Section 7.1], the statement of Lemma 27 (which is the only place where we use the fact that is a Morse function on , relying on [18, Section 3.4]) still holds under this weaker assumption, see Appendix A.
On the assumption (A1)
In this section, we discuss the necessity of the assumption (A1) in order to obtain the results of Theorem 1 (or equivalently [P1] and [P2]). More precisely, one first exhibits a case where (A1) and [P2] are not satisfied. Then, one shows that there are cases where [P1] and [P2] are satisfied but not (A1). Finally, one explains why it is more difficult to analyse [P1] and [P2] when (A1) does no hold.
An example where (A1) and [P2] are not satisfied.
Let us consider , , and a Morse function such that
[TABLE]
where
[TABLE]
Notice that in this case , and are the two global minima of on , is the global maximum of on and . Such a function is represented in Figure 3. For such functions , the assumption (A1) is not satisfied since \operatorname*{arg\,max}\,\big{\{}\mathsf{H}_{f}(x)-f(x),\ x\text{ is local minimum of }f\text{ in }\Omega\big{\}}=\{x_{1},x_{2}\} and belongs to a connected component of which differs from the connected component of which contains .
Since for and , and , one has for all :
[TABLE]
However, from (282) below (see the Appendix) together with Laplace’s method, for , there exists such that in the limit :
[TABLE]
and for , there exists such that in the limit :
[TABLE]
Therefore, in this example, the assumption [P2] is not satisfied. The domain is not metastable (see Section 1.2) for any deterministic initial conditions .
There are cases when [P1] and [P2] are satisfied but not (A1).
In the symmetric case depicted in Figure 3 the quasi-stationary distribution concentrates in the two wells and (see [31]): i.e. for any such that and , and such that and , it holds
[TABLE]
However, it is proved in [31], that this equal repartition of when is unstable with respect to perturbations. Indeed, changing a little bit the value of the determinant of the hessian matrix at or , or the normal derivative at or of the symmetric potential depicted in Figure 3 (while keeping the fact that (A1) is not satisfied) makes concentrates in the limit in only one of the two wells or , and [P1] and [P2] then also hold.
Remark 12**.**
The main goal of [31] is to study the repartition of when in the double-well case (where (A1) does not hold). In particular, in this case, it is shown that the asymptotic behaviour when of which generically happens is the following: concentrates in only one of the two wells in the limit , and [P1] and [P2] hold.
On the analysis of [P1] and [P2] when (A1) does not hold.
To analyse whether [P1] or [P2] is satisfied when (A1) does not hold, one needs in particular to have access to the repartition of in neigborhoods of the local minima of in when .
When (A1) is not satisfied, the analysis of the repartition of is tricky. This can be explained as follows. When (A1) is not satisfied, one has from Theorem 5 below (see Section 4.2.2),
[TABLE]
where is the second smallest eigenvalue of . It is difficult to measure the quality of the approximation of by projecting an ansatz on , since the error is related to the ratio of over (see Lemma 28). Moreover, when (A1) is not satisfied, it is difficult to predict in which well concentrates when it does, as explained in [31]. This is again due to the fact that this prediction relies on a very accurate comparison between and .
On the contrary, when the assumption (A1) is satisfied, one can more easily obtain an approximation of (see (212) below) since in that case and thus Lemma 28 provides a sufficiently accurate error estimate of the approximation of by a simple ansatz (namely a cut-off function), see indeed Proposition 10 above and Proposition 59 below.
On the assumption (A2)
In this section, we discuss the assumption (A2) to obtain the results stated in Theorem 1. To this end, let us consider the following one-dimensional example. Let and : be a Morse function. Let us assume that with , (see Figure 4). This implies that , . Moreover, it holds
[TABLE]
The assumption (A1) is satisfied but not (A2). From (284) below (see Appendix B), there exists such that in the limit :
[TABLE]
Therefore, in the small temperature regime and starting from the quasi-stationary distribution, the process (1) leaves through when . Notice that is not the global minimum of and is even not a generalized critical point of index . Consequently, the condition [P1] is not satisfied.
On the assumption (A3)
In this section, we discuss the assumption (A3) to obtain the results of Theorem 1. To this end, let us consider the following one-dimensional case. Let and : be a Morse function. Let us assume that where (see Figure 5). This implies , , , is the global minimum of in , is a local minimum of and the global maximum of in . Then it holds,
[TABLE]
and . The assumptions (A1) and (A2) are satisfied but not (A3). From (286) below (see Appendix B), there exists such that in the limit :
[TABLE]
Therefore, when , the law of concentrates on in the limit . Since , the property [P1] is not satisfied.
On the assumption (A4)
In this section, one gives an example to show that when (A4) is not satisfied, the remainder term in (26) is not of the order for some . To this end, let us consider the following one-dimensional case. Let and : be a Morse function. Let us assume that with and (see Figure 6). This implies , , is the global minimum of in , is a local minimum of and is a local maximum of . In this example, it holds:
[TABLE]
and
[TABLE]
where is the other connected component of . The assumptions (A1), (A2), and (A3) are satisfied whereas, since is a separating saddle point of (see item 1 in Definition 18 below), the hypothesis (A4) is not satisfied. From (282) (in Appendix B) together with Laplace’s method, for , one has in the limit :
[TABLE]
Moreover, a similar result holds starting from (using Proposition 11 above): in the limit :
[TABLE]
In this case, the exit through when is not exponentially small but is exactly of the order even though is a generalized critical point of on (i.e , see (19)) and . In conclusion, the remainder term in (26) is in general not of the order and is actually exactly of the order in this example.
Remark 13**.**
This can be generalized to higher-dimensional settings. In [38, Proposition C.40, item 3], one shows with some higher-dimensional cases for which the assumption (A4) does not hold, that the remainder terms O\big{(}h^{\frac{1}{4}}\big{)} in (26) and (27) are of the order . We moreover expect that the reminder terms O\big{(}h^{\frac{1}{4}}\big{)} in (26) and (27) are of the order in the setting considered in Theorem 1. Proving this fact would require some substantially finer analysis.
Organization of the paper and outline of the proof
The aim of this section is to give an overview of the strategy of the proof of Theorem 1. From (12) and in order to obtain an asymptotic estimate of , we study the asymptotic behaviour when of the quantities
[TABLE]
where is defined by (8) and by (10).
To study and , the first key point is to notice that the gradient of any eigenfunction associated with an eigenvalue of is also a solution to an eigenvalue problem for the same eigenvalue. Let us be more precise. Let be an eigenfunction associated with . The eigenvalue-eigenfunction pair satisfies:
[TABLE]
By differentiating this relation, we observe that satisfies
[TABLE]
where
[TABLE]
is an operator acting on -forms (namely on vector fields). Therefore, the vector field is an eigen--form of the operator which is the operator with tangential Dirichlet boundary conditions (see (34)), associated with the eigenvalue .
The second key point (see for example [18]) is that, when (A0) holds, admits exactly eigenvalues smaller than (where we recall that is the number of local minima of in ) and that admits exactly eigenvalues smaller than (where, we recall that is the number generalized saddle points of in ). Actually, all these small eigenvalues are exponentially small in the regime (namely they are bounded from above by for some ), the other eigenvalues being bounded from below by a constant in this regime. This implies in particular that is an exponentially small eigenvalue of . Let us denote by (resp. ) the projector onto the vector space spanned by the eigenfunctions (resp. eigenforms) associated with the (resp. ) smallest eigenvalue of (resp. of ).
To obtain an asymptotic estimate on when , the strategy consists in studying the smallest singular values of the matrix of the gradient operator which maps , equipped with the scalar product of , to . Indeed, from Proposition 4, the squares of the smallest singular values of this matrix are the smallest eigenvalues of . Working with the matrix of gives more flexibility than directly working with the matrix of . To this end, the idea is then to construct an appropriate basis (with so called quasi-modes) of and . Moreover, from (34), and thus, to study the asymptotic behaviour of on when , one decomposes along the basis of . The terms in the decomposition are approximated using quasi-modes.
The paper is organized as follows. In Section 2, one constructs two maps and which will be extensively used in Section 3. These maps are useful in order to understand the different timescales of the process (1) in . Section 3 is dedicated to the construction of quasi-modes for and . In Section 4, we study the asymptotic behaviors of the smallest eigenvalues of (see Theorem 5) and we give an asymptotic estimate of when , see Theorem 3. In Section 5, we give asymptotic estimates for and for on when (see Proposition 59 and Theorem 6). Finally, Section 6 is dedicated to the proof of Theorem 1.
For the ease of the reader, a list of the main notation used in this work is provided at the end of this work.
Association of the local minima of with saddle points of
This section is dedicated to the construction of two maps: the map which associates each local minimum of with an ensemble of saddle points of and the map which associates each local minimum of with a connected component of a sublevel set of . These maps are useful to define the quasi-modes in Section 3.
This section is organized as follows. In Section 2.1, one introduces a set of connected components which play a crucial role in our analysis. The constructions of the maps and require two preliminary results: Propositions 20 and 22 which are respectively introduced in Section 2.2 and Section 2.3. Then, the maps and are defined in Section 2.4. Finally, in Section 2.5, one rewrites the assumptions (A1)-(A4) with the help of the map .
Connected components associated with the elements of
The aim of this section is to define for each , the connected component of which contains (where is defined by (15)). For that purpose, let us introduce the following definitions.
Definition 14**.**
Let us assume that the assumption (A0) holds. For all and , one defines
[TABLE]
and
[TABLE]
Moreover, for all , one defines
[TABLE]
A direct consequence of Lemma 15 below is that for all , defined in (38) coincides with introduced in (17) and thus
[TABLE]
where is defined by (16) and for , is defined by (38).
Notice that under (A0), for all , is well defined. Indeed, for all , is bounded by and nonempty because for small enough is included in (since and is Morse).
One has the following results which permits to give another definition of (see (15)) which will be easier to handle in the sequel.
Lemma 15**.**
Let us assume that (A0) holds. Then, for all
[TABLE]
where is defined by (15) and is defined by (38).
Proof.
Let . By definition of (see (15)), for all , there exists such that , and
[TABLE]
Therefore, . Then, by definition of (see (38)) which implies, letting , . To prove that , we argue by contradiction and we assume that . Let us consider . By definition of , . Thus, there exists such that , and for all , . This implies that, which contradicts the definition of . Therefore . This concludes the proof of Lemma 15.
Definition 16**.**
Let us assume that the assumption (A0) holds. The integer is defined by:
[TABLE]
where we recall that (see (18)), is defined by (38) and \mathcal{C}=\big{\{}\mathsf{C}(x),\,x\in\mathsf{U}_{0}^{\Omega}\big{\}} (see (16) and (39)). Moreover, the elements of are denoted by . Finally, for all , is denoted by
[TABLE]
For example, on Figure 1, one has and . The notation (42) will be useful when constructing the maps and in Section 2.4 below.
Separating saddle points
This section is devoted to the proof of Proposition 20 below which will be needed when constructing the maps and in Section 2.4. Let us first prove the following lemma which will be used in the proof of Proposition 20.
Lemma 17**.**
Let us assume that the function is a function. Let . For all , it holds:
[TABLE]
and
[TABLE]
where and are respectively defined in (36) and (37).
Proof.
The proof is divided into two steps.
Step 1. Proof of (43).
Since is open in the locally connected space , the set is open for all . Since moreover for all , the union is an open subset of . Therefore, since is connected, to obtain (43), it is enough to prove that the set is closed in . To this end, let us show that the complement of in is open. It is obviously the case if it is empty. If is not empty, let us choose
[TABLE]
Then, since , one has and thus for all . Therefore, it holds and for all . Hence, the open set is included in and disjoint from the set for all . This proves that is closed in . This concludes the proof of (43).
Step 2. Proof of (44).
Since for all , is a connected component of , it is closed in this closed set of and thus it is closed in . It follows that the set is connected as a decreasing intersection of compact connected sets. Since is also obviously included in and contains , it is then included in by definition of . The reverse inclusion follows from the fact that for all . This proves (44) and ends the proof of Lemma 17.
The constructions of the maps and made in Section 2.4 are based on the notions of separating saddle points and of critical components as introduced in [20, Section 4.1] for a case without boundary. Let us define and slightly adapt theses two notions to our setting. To this end, let us first recall that according to [18, Section 5.2], for any non critical point , for small enough
[TABLE]
and for any critical point of index of the Morse function , for small enough, one has the three possible cases:
[TABLE]
where . The separating saddle points of and the critical components of are defined as follows.
Definition 18**.**
Assume (A0). Let be the set of connected sets introduced Definition 16.
A point is a separating saddle point if
- •
either and for small enough, the two connected components of are contained in different connected components of ,
- •
or .
Notice that in the former case while in the latter case . The set of separating saddle points is denoted by . 2. 2.
For any , a connected component of the sublevel set in is called a critical connected component if . The family of critical connected components is denoted by .
Remark 19**.**
It is natural to define generally a separating saddle point of a Morse function as follows: is a separating saddle point if for any sufficiently small connected neighborhood of , has two connected components included in two connected components of . Our definition of separating saddle point is consistent with this general definition when the function is extended by outside . To be more precise, let us introduce some new nonempty set and let us define the topological space as the disjoint union whose open sets are
[TABLE]
Note that it follows from this definition that is connected and that . We denote by the ball in : if and if . Moreover, extending by on , the following holds for any and small enough : has at least two connected components in iff , in which case has precisely two connected components in . Lastly, for , the above two connected components of in are contained in different connected components of in iff .
In Figure 7, one gives an example of a saddle point which is not a separating saddle point as introduced in Definition 18.
Let us now study the properties of . The following proposition will be used in the first step of the construction of the map between points in and subsets of .
Proposition 20**.**
Let us assume that (A0) holds. Let be the set of connected sets introduced Definition 16 and let with . Then,
[TABLE]
In addition, one has
[TABLE]
where the set is introduced in item 1 in Definition 18. Finally, .
Proof.
The proof of Proposition 20 is divided into steps.
Step 1. For , let us show that is an open subset of . To this end, let us first prove that . From Definition 16 and (36), there exists such that with . From Lemma 17, it holds
[TABLE]
Moreover, since is increasing on , one has, by definition of (see (36)), that for all . Therefore and thus . Thus, . Then, the fact that is an open subset of follows from the fact that is open in . Indeed, is locally connected and is a connected component of the open set .
Step 2. Let us now show that the ’s are two by two disjoint. To this end, let with and . Therefore, since for , there exists such that is a connected component of (see Definition 16 and (36)), it holds if . Let us prove that by contradiction and assume that, without loss of generality, . Since , this implies . Therefore, for any , and by definition of (see (36)), intersects . This is in contradiction with the fact that . Therefore, and thus .
Step 3. Let us prove that for , which is equivalent, according to Definition 18, to (where is defined in Section 1.3.2). If , let us consider . According to [18, Section 5.2], if is not a critical point of , then the hypersurfaces and interstects transversally in a neighborhood of . This implies that for small enough, is connected and . Therefore, since is a connected component of , one has and thus, . This is impossible since . Therefore is a critical point of and according to [18, Section 5.2], there are three possible different cases:
either is local minimum of 2. 2.
or is a local minimum of and , 3. 3.
or for small enough, admits one or two connected components with nonempty intersection with .
The first case is not possible in our setting since implies that is not a local minimum of . The third case is also not possible since . Therefore is a local minimum of and . This proves that .
Step 4. Let us prove that for all with , or equivalently (see item 1 in Definition 18) that (where is the set of saddle points of in , see Section 1.3.2). To this end, let us assume that for some with . First, since for , there exists such that is a connected component of , one has necessarily . Moreover, it holds . Indeed, if there exists , we know from the analysis above that . It follows that for small enough, is connected and therefore . This implies that (since we proved that for , ) and hence . Lastly, if there exists , then one deduces from (46) that . Indeed, for all small enough, has two connected components respectively included in and .
Step 5. To conclude the proof of Proposition 20, it remains to show that for all , . Let us argue by contradiction and assume that . Since , one has (indeed we proved above that and ). Let us recall that for some (see Definition 16, (36), and (38)). Then, using the fact that
[TABLE]
and the fact that the function is Morse, for all ,
- •
either in which case there exists such that is connected (see (45) together with the fact that ) and thus is included in ,
- •
or in which case there exists such that has two connected components both included in (because we assume that there is no separating saddle point on ).
In all cases, one can assume in addition, choosing smaller, that and . Let us now consider
[TABLE]
Then, the set is an open subset of such that and . Therefore, the connected set is closed and open in , and thus
[TABLE]
Let us now denote by , for , the connected component of containing . It then holds, according to Lemma 17,
[TABLE]
Moreover, by definition of (see (36)), meets for all . Hence, is nonempty as a decreasing intersection of nonempty compact sets. This contradicts the fact that . In conclusion . This concludes the proof of Proposition 20.
We end this section with the following lemma which will be needed in the sequel.
Lemma 21**.**
Let us assume that (A0) is satisfied. Let be the set of connected sets introduced Definition 16. Let us consider with and such that is connected and such that for all , . Then, there exists and such that
[TABLE]
Proof.
There are two cases to consider: either or . Let us consider the case . Using (47) and (48), the result stated in Lemma 21 follows from the fact that for all , the sets are two by two disjoint, together with the definition of (see the second point of item 1 in Definition 18). Let us now consider the case . From (48), one has and this inclusion is an equality if the statement of Lemma 21 is not satisfied. To prove Lemma 21, let us argue by contradiction, i.e. let us assume that
[TABLE]
Notice that there exists such that for all , is a connected component of . Let us prove, using the same arguments as those used to prove (50), that is a connected component of . To this end, let us consider . If is not a separating saddle point, there exists such that and is included in . Else, is a separating saddle point and thus, from (51), there exists , , such that . Thus, again, there exists such that and is included in . Therefore, the same arguments as those used to prove (50) imply that is a connected component of . Using in addition (44) together with the fact that for all , the connected component of which contains intersects (by definition of ), one obtains that is not empty. This is a contradiction. Therefore, the set is strictly included in . This concludes the proof of Lemma 21.
A topological result under the assumption (A0)
This section is devoted to the proof of Proposition 22 which will be needed when constructing the maps and in Section 2.4.
Proposition 22**.**
Let us assume that the assumption (A0) is satisfied. Let us consider for (see Definition 16). From (36) and (38), there exists such that . Let and be a connected component of . Then,
[TABLE]
Moreover, let us define
[TABLE]
with the convention when . Then, the following assertions hold.
For all , the set is a connected component of . 2. 2.
If , one has and the connected components of belong to .
Proof.
Notice that from (47), the set is an open subset of . The proof of Proposition 22 is divided into three steps.
Step 1. Proof of (52).
The fact that
[TABLE]
is straightforward. Indeed, let . Then, and for small enough, the two connected components of are contained in different connected components of (see item 1 in Definition 18). Then, since the set is a connected component of , contains at least two open connected components and of . Moreover, for , . Thus, for , the global minimum of on is reached in and hence at some . This implies that contains at least two elements, and .
Let us now prove the reverse implication in (53). To this end, let us assume that there exist two points in . One can assume without loss of generality that
[TABLE]
Let us recall that (see (36)) is the connected component of containing . Let us define
[TABLE]
Let us show that
[TABLE]
Notice first that is well defined since is nonempty and bounded. Indeed, since is a non degenerate local minimum of , for sufficiently small, for all , . Therefore, (because and ). Moreover for all , (because implies since and are both connected components of ). Therefore, is well defined and satisfies (which proves the first inequality in (55)). Since is increasing on , it holds for all by definition of . Thus, since according to Lemma 17 (see (43)),
[TABLE]
the set does not contain and hence . This proves (55). Notice that (55) implies
[TABLE]
Let us now prove that which will conclude the proof of (53). Let us prove it by contradiction and let us assume that . Then, using in addition the fact the function is Morse and the fact that
[TABLE]
the same arguments as those used to prove (50) apply and lead to the fact that is a closed and open connected set in . Thus,
[TABLE]
For , let us now denote by the connected component of containing . It then holds, according to Lemma 17 (see (44)),
[TABLE]
In addition, for all , by definition of (see (54)), and . Thus, using (58), and hence, since , it holds . This contradicts the fact that that . Therefore, we have proven that
[TABLE]
Using (56), this implies that which concludes the proof of the reverse implication in (53) and thus the proof of (52).
Step 2. Proof of item 1 in Proposition 22.
Let us first deal with the case . In that case, the set is reduced to one element. This implies that for all , the set is connected since each of its connected components necessarily contains at least one element of .
Let us now deal with the case . Let us then consider and, for every , let be as defined in (54). Let us also define
[TABLE]
which is well defined since the set is nonempty (by (52)) and contains a finite number of elements (since is Morse). Then, from (55), (59) and the first inclusion in (57), one has
[TABLE]
Then, since for all and for all y\in\mathsf{C}\cap\big{(}\mathsf{U}_{0}^{\Omega}\setminus\{x\}\big{)}, (because and by definition of , see (54)) and since the ’s are connected components of , one obtains that for all y,w\in\mathsf{C}\cap\big{(}\mathsf{U}_{0}^{\Omega}\setminus\{x\}\big{)}. Thus, one has
[TABLE]
This implies that for any y\in\mathsf{C}\cap\big{(}\mathsf{U}_{0}^{\Omega}\setminus\{x\}\big{)}, is equal to (since every connected component of contains at least one element of ). Therefore, one has
[TABLE]
Moreover, it holds
[TABLE]
and thus , where we recall that is defined in Proposition 22. Indeed, if it is not the case, then from (61), one has and thus contains at least two connected components of with , which contradicts (63). The fact that is connected follows from (63) and (64).
Let us now prove that is a connected component of for all . Since is connected, one can consider the connected component of which contains . Then, since is a connected component of and , it holds and thus, . Therefore, one has is a connected component of . This concludes the proof of item 1 in Proposition 22.
Step 3. Proof of item 2 in Proposition 22.
Let us assume that . Then, using (52), contains at least two elements. Let and . Then and according to (55), it holds . From (64) and (60), it holds moreover
[TABLE]
Therefore and thus
[TABLE]
This proves the first statement of item 2 in Proposition 22.
Let us now prove that each connected component of is a critical connected component (as introduced in item 2 in Definition 18). Let us first notice that implies
[TABLE]
where is defined in (36) (since every connected component of contains at least one element of ). Let us consider a connected component of . From (66), this component has the form for some . Since (see (61)), contains at least two connected components, and thus . Let . Let us assume that is not a critical connected component, i.e that . Then, the arguments used to prove (50) imply that is a connected component of . Thus, using Lemma 17 (see (44)), it holds
[TABLE]
Moreover, since for all , (see (62)) and , it holds . Therefore, since (see (65)), one has which contradicts the fact that . This ends the proof of Proposition 22.
Constructions of the maps and
In this section we construct, under (A0), two maps and . These maps are constructed using an association between the local minima of and the (generalized) saddle points . Such maps have been introduced in [1, 2] and [16, 20] in the boundaryless case in order to give sharp asymptotic estimates of the eigenvalues of the involved operators. This has been generalized in [18] to the boundary case (where the authors introduced the notion of generalized saddle points for ).
Let us recall (see Lemma 27 below), that has exactly eigenvalues smaller than for sufficiently small . Actually, from [19, 18], it can be shown that these eigenvalues are exponentially small. The goal of the map is to associate each local minimum of with a set of generalized saddle points such that is constant over and such that, for sufficiently small , there exists at least one eigenvalue of whose exponential rate of decay is 2\big{(}f(\mathbf{j}(x))-f(x)\big{)} i.e.
[TABLE]
The map associates each local minimum of with the connected component of which contains . To construct the maps and , the procedure relies on the analysis made in Section 2.3 and on the analysis of the sublevel sets of following the general analysis of the sublevel sets of a Morse function on a manifold without boundary of [20, Section 4.1] which generalizes the procedure described in [16]. To build the maps and , one considers the connected components of appearing when is decreasing from to . Each time a new connected component appears in , one picks arbitrarily a local minimum in it and then, one associates this local minimum with the separating saddle points on the boundary of this new connected component.
Let assume that the assumption (A0) holds. The constructions of the maps and are made recursively as follows:
Initialization (). We consider for (see (42)).
For each , denotes one point in . Then we define, for all ,
[TABLE]
Notice that according to Proposition 20 and item 2 in Definition 18, it holds
[TABLE]
and
[TABLE]
Moreover, one has from Proposition 20 (and more precisely the second inclusion in (48)),
[TABLE] 2. 2.
First step (). If , we consider \{f<\lambda\}\bigcap\Big{(}\cup_{\ell=1}^{\mathsf{N}_{1}}\mathsf{E}_{1,\ell}\Big{)} for .
From Proposition 22, for each , if and only if . As a consequence, one has:
[TABLE]
If \mathsf{U}_{1}^{\mathsf{ssp}}\bigcap\Big{(}\cup_{\ell=1}^{\mathsf{N}_{1}}\mathsf{E}_{1,\ell}\Big{)}=\emptyset (then ), the constructions of the maps and are finished and one goes to item 4 below. If \mathsf{U}_{1}^{\mathsf{ssp}}\bigcap\Big{(}\cup_{\ell=1}^{\mathsf{N}_{1}}\mathsf{E}_{1,\ell}\Big{)}\neq\emptyset, one defines
[TABLE]
The set
[TABLE]
is then the union of finitely many connected components. We denote by (with ) the connected components of \bigcup_{\ell=1}^{\mathsf{N}_{1}}\big{(}\mathsf{E}_{1,\ell}\cap\{f<\sigma_{2}\}\big{)} which do not contain any of the minima . From items 1 and 2 in Proposition 22 (applied for each with there),
[TABLE]
Notice that the other connected components (i.e. those containing the ’s) may be not critical. Let us associate with each , , one point arbitrarily chosen in (the last equality follows from the fact that ). For , let us define:
[TABLE] 3. 3.
Recurrence ().
If all the local minima of in have been labeled at the end of the previous step above (), i.e. if (or equivalently if ), the constructions of the maps and are finished, all the local minima of have been labeled and one goes to item 4 below. If it is not the case, from Proposition 22, there exists such that
[TABLE]
where one defines recursively the decreasing sequence by
[TABLE]
for . Let us now consider the larger integer among the integers such that (69) holds. Notice that is well defined since the cardinal of is finite. By definition of , one has:
[TABLE]
Then, one repeats recursively times the procedure described above defining \big{(}\mathsf{E}_{2,\ell},\mathbf{j}(x_{2,\ell}),\widetilde{\mathbf{j}}(x_{2,\ell})\big{)}_{1\leq\ell\leq\mathsf{N}_{2}} : for , one defines as the set of connected components of
[TABLE]
which do not contains any of the local minima of in which have been previously chosen. From items 1 and 2 in Proposition 22 (applied for each with there),
[TABLE]
For , we associate with each , one point arbitrarily chosen in . For , let us define:
[TABLE]
From (70) and Proposition 22, and thus, all the local minima of in are labeled. The constructions of the maps of the maps and are finished and one goes to item 4 below. 4. 4.
Properties of the maps and .
Let us now give important features of the map which follows directly from its construction and which are used in the sequel. Two maps have been defined:
[TABLE]
which are clearly injective. Notice that the , , are not disjoint in general. For all , contains exactly one value, which will be denoted by . Moreover, since (see the first statement in (47)), one has for all ,
[TABLE]
Moreover, it holds
[TABLE]
Finally, for all ,
[TABLE]
and for all ,
[TABLE]
In Figure 8, one gives the constructions of the maps and for a one-dimensional example. Since, one can pick a minimum or another in a critical connected component at each step of the construction of and , the maps are not uniquely defined if over one of the connected components (), contains more than one point. As will be clear below, this non-uniqueness has no influence on the results proven hereafter (in particular Theorem 1). In Figure 9, we give an example for which two constructions of the maps and are possible.
Remark 23**.**
In the case when for all local minima of , is a single point, for all and when all the heights are distinct, the map is exactly the one constructed in [18].
The next definition will be used in Section 3.2 to construct the quasi-modes.
Definition 24**.**
Let us assume that the assumption (A0) is satisfied. Let be such that
[TABLE]
where the family is defined in the construction of the map above. For and , one defines
[TABLE]
which is a connected component of \big{\{}f<\max_{\overline{\mathsf{E}_{k,\ell}}}f-\varepsilon\big{\}} according to item 1 in Proposition 22.
Rewriting the assumptions (A1)-(A4) in terms of the map
In this section, one rewrites the assumptions (A1), (A2) (A3), and (A4) with the map constructed in Section 2.4. To this end, let us prove the following lemma.
Lemma 25**.**
Let us assume that the hypothesis (A0) is satisfied. Then, the assumption (A1) is equivalent to the fact that there exists such that for all ,
[TABLE]
Thus, when (A1) holds, the elements of (see Definition 16) are ordered such that , i.e for all :
[TABLE]
Moreover, under (A1) (or equivalently (76)), one has , where is defined by (A1).
Proof.
Assume that the hypothesis (A0) is satisfied. Let us recall that the set (defined by (16)) satisfies from (39) and Definition 16:
[TABLE]
Let and let , such that . Then, from (40) and the first step of the construction of in Section 2.4, one has for all : and . Thus, it holds
[TABLE]
This implies the results stated in Lemma 25.
In view of Lemma 25 and by construction of the map (see the first step in Section 2.4), one can rewrite the assumptions (A1), (A2) (A3), and (A4) with the map as follows:
- •
The assumption (A1) is equivalent to the fact that, up to reordering the elements of (see Definition 16) such that (76), it holds for all :
[TABLE]
Furthermore, in this case, , where is defined by (A1).
- •
The assumption (A2) rewrites when (A1j) holds,
[TABLE]
- •
The assumption (A3) rewrites when (A1j) holds,
[TABLE]
- •
When (A1j) holds, the assumption (A4) is equivalent to
[TABLE]
This equivalence follows from (A1j) together with the fact that (see (67)) and by definition of a separating saddle point.
From now on, we work with the formulations (A1j), (A2j), (A3j), and (A4j) of the assumptions (A1), (A2), (A3), and (A4).
Notice that under (A1j), it holds from (73), for all ,
[TABLE]
In Figure 10, ones gives an example when (A1j) holds but not (A2j), (A3j) and (A4j). In Figure 11, one gives an example when (A1j) and (A2j) hold but not (A3j) and (A4j). In Figure 12, one gives a case when (A1j), (A2j) and (A3j) hold but not (A4j). In Figure 13, one gives a case when (A1j), (A2j), (A3j), and (A4j) hold.
When (A1j) and (A2j) are satisfied, from Definition 18 and Proposition 20 (see the first inclusion in (48) and (67)), one has
[TABLE]
In that case, we assume that the elements of (see (21)) are ordered such that
[TABLE]
where satisfies (see (21)). Notice that from Lemma 25, this labeling implies when (A3j) is satisfied:
[TABLE]
where is defined by (24). Let us finally prove the following result which will be used in the sequel.
Lemma 26**.**
Let us assume that the assumptions (A0), (A1j), (A2j) and (A3j) are satisfied. Then, one has
[TABLE]
and
[TABLE]
Proof.
The fact that is obvious. Let us prove (82). Let and let us recall that from Definition 16, there exists such that . Let us assume that . Then, by definition of the map and by definition of (see (38)) together with the fact that (A1j), (A2j) and (A3j) hold, one has . Thus, if , it holds
[TABLE]
This implies from the assumption (A1j). This concludes the proof of (82).
Construction of the quasi-modes
This section is dedicated to the construction of two families of quasi-modes: a family of functions which aims at approximating the vector space spanned by the eigenfunctions associated with the smallest eigenvalues of and a family of -forms which aims at approximating the vector space spanned by the eigenforms associated with the smallest eigenvalues of . This construction is made using the maps and previously constructed.
This section is organized as follows. In Section 3.1, we introduce the notations used throughout this paper for operators, and the properties of Witten Laplacians and of the operators needed in our analysis. The maps and constructed in the previous section are then used to build the quasi-modes in Section 3.2.
Notations and Witten Laplacian
In Section 3.1.1, one introduces the notations for the Sobolev spaces which are used in this paper. Section 3.1.2 is dedicated to the properties of Witten Laplacians and of the operators needed in our analysis.
Notation for Sobolev spaces
For , one denotes by the space of -forms on . Moreover, is the set of -forms such that on , where denotes the tangential trace on forms. For and , one denotes by the weighted Sobolev spaces of -forms with regularity index , for the weight function on : if and only if for all multi-index with , the derivative of is in where is the completion of the space for the norm
[TABLE]
The subscript in the notation refers to the fact that the weight function appears in the inner product. See for example [43] for an introduction to Sobolev spaces on manifolds with boundaries. For and , the set is defined by
[TABLE]
Notice that is the space , and that is the space than we introduced in Proposition 4. We will denote by the norm on the weighted space . Moreover denotes the scalar product in .
Finally, we will also use the same notation without the index to denote the standard Sobolev spaces defined with respect to the Lebesgue measure on .
The Witten Laplacian and the infinitesimal generator of the diffusion (1)
In this section, we recall some basic properties of Witten Laplacians, as well as the link between those and the operators introduced above (see (7) and (35)).
For , one defines the distorted exterior derivative à la Witten and its formal adjoint: by
[TABLE]
The Witten Laplacian, firstly introduced in [46], is then defined similarly as the Hodge Laplacian by
[TABLE]
The Dirichlet realization of on is denoted by and its domain is
[TABLE]
The operator is self-adjoint, nonnegative, and its associated quadratic form is given by
[TABLE]
where
[TABLE]
We refer in particular to [18, Section 2.4] for a comprehensive definition of Witten Laplacians with Dirichlet tangential boundary conditions and statements on their properties. The link between the Witten Laplacian and the infinitesimal generator of the diffusion (1) is the following: since
[TABLE]
one has:
[TABLE]
where is the unitary operator
[TABLE]
In particular, the operator has a natural extension to -forms defined by the relation
[TABLE]
For , one recovers the operator with tangential Dirichlet boundary conditions defined by (34) and (35). The operator with domain
[TABLE]
is then self-adjoint on , non positive and its associated quadratic form is
[TABLE]
Let us also recall that (and equivalently ) has a compact resolvent. From general results on elliptic operators when , (and ) admits a non degenerate smallest eigenvalue with an associated eigenfunction which has a sign on . Denoting moreover by the spectral projector associated with and some Borel set , the following commutation relations hold on :
[TABLE]
Let us recall that from the elliptic regularity of , for any bounded Borel set , , the relation (86) then leads to the following complex structure:
[TABLE]
and
[TABLE]
For ease of notation, one defines:
[TABLE]
The following result, instrumental in our investigation of the smallest eigenvalue of , is an immediate consequence of [18, Theorem 3.2.3] together with (85).
Lemma 27**.**
Under assumption (A0), there exists such that for all ,
[TABLE]
where and are defined in Section 1.3.2.
In the sequel, with a slight abuse of notation, one denotes the exterior differential acting on functions by . Note that it follows from the above considerations and Lemma 27 that under (A0), it holds
[TABLE]
Moreover, from (85), it is equivalent to study the spectrum of or the spectrum of . We end this section with the following lemma which will be frequently used throughout this work.
Lemma 28**.**
Let be a non negative self adjoint operator on a Hilbert space with associated quadratic form whose domain is . It then holds, for any and ,
[TABLE]
where, for a Borel set , is the spectral projector associated with and .
Construction of the quasi-modes for ,
Let us recall that from Lemma 27, one has for any small enough
[TABLE]
where we recall that is the number of local minima of in and is the number generalized saddle points of in , see Section 1.3.2. To prove Theorem 1, the strategy consists in constructing a family of quasi-modes in order to approximate and a family of quasi-modes in order to approximate , see (87).
Since the construction of the quasi-modes rely on the one made for Witten Laplacians in [16, 18, 20], we first construct quasi-modes for the Witten Laplacians (Section 3.2.1) and (Section 3.2.2). The quasi-modes for and are then obtained using (85) (Section 3.2.3).
Quasi-modes for the Witten Laplacian
Let us assume that the assumption (A0) is satisfied. Let us recall that from Lemma 27 and (85), there exists such that for any :
[TABLE]
where we recall that is the number of local minima of in . In this section, one constructs using the maps and constructed in Section 2.4, a family of functions whose span approximates {\rm Ran}\,\pi_{[0,h^{\frac{3}{2}})}\big{(}\Delta^{D,(0)}_{f,h}\big{)}. The properties of this family which are listed in this section will be useful to prove Proposition 46 below and Propositions 49 and 50 in the next section. Following [16, 18, 20], we associate each critical point with a quasi-mode for . The notation follows the one introduced in Section 2.4.
Let us first introduce two parameters and which will be used to define the quasi-modes for . In the following, is the geodesic distance on for the initial metric. Let us consider small enough such that
[TABLE]
and for all ,
[TABLE]
or
[TABLE]
The parameter will be successively reduced a finite number of times in this section and in Section 3.2.2, and it will be kept fixed from the end of Section 3.2.2.
Let be such that
[TABLE]
which ensures in particular that and are connected for all and , see (75). The parameter will be further reduced a finite number of times in the following sections so that is as close as necessary to near , where is used to define the quasi-mode for associated to .
Definition 29**.**
Let us assume that the assumption (A0) holds. For and , the quasi-mode associated with is defined by:
[TABLE]
where the functions . There exists such that for all , there exists such that for all , the functions satisfy the following properties:
- a)
It holds
[TABLE]
see (42) for the definition of and (75) for the definition of . 2. b)
For all ,
[TABLE]
and hence, according to (93),
[TABLE] 3. c)
For all , it holds
[TABLE] 4. d)
For all , it holds
[TABLE] 5. e)
For all , it holds . 6. f)
For and for any such that , it holds
[TABLE]
Notice that by a conexity argument, it holds or .
In Figures 14, 15 and 16, for , one gives a schematic representation of the cut-off function near respectively in the three situations:
- •
, and .
- •
and .
- •
, z\in\big{(}\mathsf{U}_{1}^{\overline{\Omega}}\setminus\mathbf{j}(x_{k,\ell})\big{)}\cap\partial\mathsf{E}_{k,\ell}.
For the ease of notation, we do not indicate the dependance on the parameters and in the notation of the functions for , , introduced in Definition 29.
The following lemma will be useful to estimate when the quantities
[TABLE]
for and (where the functions are introduced in Definition 29), see indeed item 2a in Proposition 46 below.
Lemma 30**.**
Let us assume that the assumption (A0) holds. Then, for and , there exist , and such that for all ,
[TABLE]
where the function is introduced in Definition 29.
Proof.
This estimate follows from (92)–(94), and Laplace’s method applied to .
The following lemma ensures that the family is uniformly linearly independent for any small enough.
Lemma 31**.**
Let us assume that the assumption (A0) holds. The family introduced in Definition 29, is linearly independent, uniformly with respect to small enough. This is equivalent to: for some (and hence for any) orthonormal (for the -scalar product) family spanning , for any matrix norm on , there exist and such that for all ,
[TABLE]
Proof.
The proof of Lemma 31 is made in [20, Section 4.2].
Quasi-modes for the Witten Laplacian
Let us assume that the assumption (A0) is satisfied. Let us recall that from Lemma 27 and (85), there exists such that for any :
[TABLE]
where we recall that is the number of generalized saddle points of in , see Section 1.3.2. In this section, one constructs a family of -forms which aims at approximating {\rm Ran}\,\pi_{[0,h^{\frac{3}{2}})}\big{(}\Delta^{D,(1)}_{f,h}\big{)}. To this end, for each , one constructs a -form locally supported in a neighborhood of in . More precisely, one proceeds as follows:
for each , the -form associated with is constructed following the procedure in [16, 20] and, 2. 2.
for each , the -form associated with is constructed as in [18].
Let us recall these constructions and some estimates which will be used throughout this work.
Quasi-mode associated with .
Let us recall that from (22),
[TABLE]
is the set of saddle points of in . Let j\in\{\mathsf{m}_{1}^{\partial\Omega}+1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} and . Let be some small smooth neighborhood of such that and for , if and only if . Let us now consider the full Dirichlet realization of the Witten Laplacian in whose domain is
[TABLE]
where the superscript stands for full Dirichlet boundary conditions. Let us recall that according to [19, Section 2], there exists, choosing if necessary smaller, a non negative solution to the eikonal equation
[TABLE]
Moreover, is the unique non negative solution to (100) in the sense that if is another non negative solution to (100) on a neighborhood of , then on .
Remark 32**.**
The function is actually the Agmon distance to , i.e. is the distance to in associated with the metric , where is the Riemannian metric on (see [19, Section 1]).
The next proposition, which follows from [19, Theorem 1.4 and Lemma 1.6], gathers all the estimates one needs in the following on the operator .
Proposition 33**.**
Let us assume that the assumption (A0) is satisfied. Then, the operator is self-adjoint, has compact resolvent and is positive. Moreover:
- •
There exist and such that for all :
[TABLE]
- •
The smallest eigenvalue of is exponentially small: there exist , and such that for any :
[TABLE]
- •
Any -normalized eigenform associated with the smallest eigenvalue of satisfies the following Agmon estimates (see Remark 32): for all , there exist and such that for any , it holds:
[TABLE]
Choosing smaller if necessary, one assumes that there exists such that
[TABLE]
Let us now define the quasi-mode associated with .
Definition 34**.**
Let us assume that the assumption (A0) is satisfied. Let j\in\{\mathsf{m}_{1}^{\partial\Omega}+1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} and . The quasi-mode associated with is defined by
[TABLE]
where is a -normalized eigenform associated with the smallest eigenvalue of and is a smooth non negative cut-off function satisfying, and on .
Notice that both and can be used to build a quasi-mode and the choice of the sign is determined in Proposition 36. Moreover, using (103) together with the fact that for all j\in\{\mathsf{m}_{1}^{\partial\Omega}+1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, (see (100)), one has when :
[TABLE]
for some independent of .
Using Proposition 33 and (105), one deduces the following estimate on the quasi-mode introduced in Definition 34.
Corollary 35**.**
Let us assume that the assumption (A0) holds. Let be the quasi-mode associated with (j\in\{\mathsf{m}_{1}^{\partial\Omega}+1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}), see Definition 34. Then, there exist , and such that for any :
[TABLE]
Let us now recall the construction of a WKB approximation of made in [19] and which will be needed in the following. Let us denote by and respectively the stable and unstable manifolds of associated with the flow of which are defined as follows. Denoting by the solution of with initial condition ,
[TABLE]
It then holds (see indeed [19, Section 2] and [16, Section 4.2]): , , and for all (assuming small enough),
[TABLE]
with moreover
[TABLE]
Additionally, there exists from [19, Proposition 1.3 and Section 2] a -form such that , where is a unit normal to , and such that the -form satisfies
[TABLE]
where . Moreover, one has in the limit (see [19, Section 2]):
[TABLE]
where the remainder terms admits a full asymptotic expansion in . Using in addition the fact that on , there exists such that for small enough:
[TABLE]
From (110), one then obtains that admits an eigenvalue which equals . Since , from (101) and (102), one deduces that for all and thus . Finally, one has:
[TABLE]
In the following proposition, and are compared.
Proposition 36**.**
Let us assume that the assumption (A0) is satisfied. Let be a -normalized eigenform associated with the smallest eigenvalue of (j\in\{\mathsf{m}_{1}^{\partial\Omega}+1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}). Then, there exists such that for all one has:
[TABLE]
where
[TABLE]
In addition, up to replacing by , one can assume that for small enough and then, in the limit , one has:
[TABLE]
where the remainder terms admits a full asymptotic expansion in .
Proof.
Let us define k_{j}(h):=\big{\langle}w_{j},\theta_{j}u^{(1)}_{j,wkb}\big{\rangle}_{L^{2}}=c_{j}(h)^{-1}. If , then one changes to so that one can suppose without loss of generality that . For small enough, one has from (101):
[TABLE]
Let us define the following -form
[TABLE]
Thus, the following identity holds for small enough
[TABLE]
Notice that, from (110), there exist and such that for all
[TABLE]
Therefore, using Lemma 28, (105), and (111), there exist and such that for small enough:
[TABLE]
Moreover, since and , one obtains using the Gaffney inequality (see [43]):
[TABLE]
Furthermore, from (106), it holds
[TABLE]
and from (111)
[TABLE]
Thus, there exists such that:
[TABLE]
This concludes the proof of (112). Finally, since (see (105)), by considering \|\theta_{j}(u^{(1)}_{j,wkb}-k_{j}(h)w_{j})\|^{2}_{L^{2}}=O\big{(}h^{\infty}\big{)}, one gets using (110):
[TABLE]
Since , one has k_{j}(h)=\frac{(\pi h)^{\frac{d}{4}}}{|{\rm det\,{\rm Hess\,}}f(z_{j})|^{\frac{1}{4}}}\,\big{(}1+O(h)\big{)}. This concludes the proof of (113) since .
Quasi-mode associated with .
Let us recall that from (21),
[TABLE]
Let j\in\{1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}} and . To construct a -form locally supported in a neighborhood of in , one proceeds in the same way as in [18, Section 4.3]. Let be a small neighborhood of in such that satisfies: on , for all , if and only if , and on . Let us now consider the mixed full Dirichlet–tangential Dirichlet realization of the Witten Laplacian in whose domain is
[TABLE]
where the superscript stands for mixed full Dirichlet–tangential Dirichlet boundary conditions (see [18, Remark 4.3.1] for the characterization of its domain). Since on , from [18, Section 4.2], one has that, choosing small enough, there exists a non negative solution to the eikonal equation
[TABLE]
Moreover, is the unique non negative solution to (114) in the sense that if is another non negative solution to (114) on a neighborhood of , then on .
Remark 37**.**
The function is actually the Agmon distance to , see [10, Section 3] for a precise definition of the Agmon distance in a bounded domain.
Choosing smaller if necessary, one can assume that there exists such that
[TABLE]
The next proposition, which follows from [18, Proposition 4.3.2], gathers all the estimates one needs in the following on the operator .
Proposition 38**.**
Let us assume that the assumption (A0) is satisfied. Then, the operator is self-adjoint, has compact resolvent and is positive. Moreover:
- •
There exists such that for all :
[TABLE]
- •
The smallest eigenvalue of is exponentially small: there exist , and such that for any :
[TABLE]
- •
Any -normalized eigenform associated with the smallest eigenvalue of satisfies the following Agmon estimates: there exist , and such that for any , it holds:
[TABLE]
Let us now define the quasi-mode associated with .
Definition 39**.**
Let us assume that the assumption (A0) holds. Let j\in\{1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}} and . The quasi-mode associated with is defined by
[TABLE]
where is a -normalized eigenform associated with the first eigenvalue of and is a smooth non negative cut-off function satisfying , , and on .
Notice again that both and can be used to build a quasi-mode and the choice of the sign is determined in Proposition 41. Notice also that the fact that follows from standard elliptic regularity results. In addition, for all j\in\{1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}}, using (117) together with the fact that (see (114)), there exists such that when :
[TABLE]
Using Proposition 38 and (119), one deduces the following estimate on the quasi-mode introduced in Definition 34.
Corollary 40**.**
Let us assume that the assumption (A0) holds. Let be the quasi-mode associated with (j\in\{1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}}), see Definition 39. Then, there exist , and such that for any :
[TABLE]
Let us now give the corresponding versions of the WKB approximation estimates (111)–(113) for the quasi-mode introduced in Definition 39. From [18, Section 4.2], there exists a function with on such that the -form
[TABLE]
satisfies
[TABLE]
Moreover, one has in the limit (see [18, Section 4.2]):
[TABLE]
where the remainder terms admits a full asymptotic expansion in . In the following proposition, and are compared.
Proposition 41**.**
Let us assume that the assumption (A0) holds. Let be a -normalized eigenform associated with the smallest eigenvalue of (j\in\{1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}}). Then, there exists such that for all one has:
[TABLE]
where
[TABLE]
In addition, up to replacing by , one can assume that for small enough and then, in the limit , one has:
[TABLE]
where the remainder terms admits a full asymptotic expansion in .
Proposition 41 is proved exactly as Proposition 36.
In conclusion, a family of -forms has been constructed in this section. Since (89) guarantees that for all , the family is orthonormal in . From now on, the parameter is fixed and will be successively reduced a finite number of times in the following.
WKB approximation of the quasi-modes .
For upcoming computations, one needs the following definition.
Definition 42**.**
Let us assume that the assumption (A0) is satisfied. For all , one defines:
[TABLE]
where for j\in\{1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}}, satisfies (122) and is introduced in Definition 39 and, for j\in\{\mathsf{m}_{1}^{\partial\Omega}+1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, satisfies (111) and is introduced in Definition 34.
From (105), Proposition 36, (119), and Proposition 41 one has the following lemma.
Lemma 43**.**
Let us assume that the assumption (A0) is satisfied. For j\in\{1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}}, let be as defined in (118), and for j\in\{\mathsf{m}_{1}^{\partial\Omega}+1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, let be as defined in (104). Moreover, for j\in\{1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, let be as defined in (125). Then, one has:
[TABLE]
Quasi-modes for ,
Before defining the quasi-modes for and , let us label the quasi-modes for and the local minima of using the lexicographic order.
Definition 44**.**
Let us assume that the assumption (A0) is satisfied. Then, the family of critical connected components introduced in Section 2.4, the local minima of labeled in Section 2.4, the family of cut-off functions introduced in Definition 29 and the family of quasi-modes introduced in Definition 29 are labeled in the lexicographic order:
[TABLE]
Let us recall that the lexicographic order is defined by if and only if or if , . From now on, one uses the labeling introduced in Definition 44.
According to (85), the quasi-modes for and are obtained from those constructed previously for and using the unitary transformation defined in (84).
Definition 45**.**
Let us assume that the assumption (A0) is satisfied. Let be the family of quasi-modes for introduced in Definition 29 (and labeled in the lexicographic order, see Definition 44) and let be the family of quasi-modes for introduced in Definitions 34 and 39. The family of quasi-modes for and the family of quasi-modes for are defined by: for , and for :
[TABLE]
Notice that, according to (92) and (126), for all ,
[TABLE]
and according to (104) and (118), for all ,
[TABLE]
Bases of and
Let us recall, that from (87),
[TABLE]
In this section, one proves that the quasi-modes introduced in Definition 45 form two bases of and . In the following, the finite dimensional spaces and are endowed with the scalar product .
Proposition 46**.**
Let us assume that the assumption (A0) holds. Let be the family of quasi-modes for and let be the family of quasi-modes for introduced in Definition 45. Then,
For all k\in\big{\{}1,\dots,{\mathsf{m}_{0}^{\Omega}}\big{\}} and j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, , and
[TABLE] 2. 2.
- a)
For any , one can choose the parameter in (92) (see also (126)) small enough such that for all , in the limit :
[TABLE]
In particular, choosing the parameter small enough in (92), there exists such that in the limit :
[TABLE]
- b)
There exist such that for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, one has in the limit :
[TABLE] 3. 3.
- a)
*The family is uniformly linearly independent (for the -scalar product) for all sufficiently small (as defined in Lemma 31). *
- b)
For all (i,j)\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}^{2},
[TABLE]
In particular, there exists such that for all :
[TABLE]
and
[TABLE]
Proof.
The proof of Proposition 46 is divided into two steps.
Step 1. Proofs of items 1 and 2.
The first item is immediate according to the definition of the families and introduced in Definition 45.
The first inequality appearing in 2a is a direct consequence of Lemma 28 applied to whose associated quadratic form is given by on . The second inequality in 2a follows from Laplace’s methods and from the properties of the cut-off functions used to define the quasi-modes (see Definition 45 and Lemma 30). Indeed, it is just a rewriting of (98) using Definition 45 and the labeling introduced in Definition 44.
Let us now deal with 2b. First, Lemma 28 together with (106) and (120) implies the existence of some such that for all and small enough,
[TABLE]
Consequently, using again (106) and (120), and owing to the following relations on ,
[TABLE]
[TABLE]
, and , one obtains the existence of such that in the limit :
[TABLE]
Since , the estimates (127) and (128) then lead, owing to Gaffney’s inequality (see [43, Corollary 2.1.6]), to
[TABLE]
Therefore, we deduce from the relation , valid for all and , and from
[TABLE]
resulting from (85) and (87), that there exists such that for all and small enough,
[TABLE]
This ends the proof of 2b.
Step 2. Proof of item 3.
The fact that the family is uniformly linearly independent is a consequence of Lemma 31 together with (126). Item 3b follows from items 1 and 2.b together with the relation
[TABLE]
holding for in and . Finally, the fact that for small enough, \operatorname{Ran}\pi_{h}^{(0)}={\rm Span}\big{(}\pi_{h}^{(0)}\widetilde{u}_{k},\ k=1,\dots,{\mathsf{m}_{0}^{\Omega}}\big{)} and \operatorname{Ran}\pi_{h}^{(1)}={\rm Span}\big{(}\pi_{h}^{(1)}\widetilde{\psi}_{i},\ i=1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{)} are consequences of items 2a, 3a and 3b together with Lemma 27.
On the smallest eigenvalue of
This section is dedicated to the proof of the following theorem.
Theorem 3**.**
Assume that the assumptions (A0) and (A1j) are satisfied. Let be the principal eigenvalue of (see (8)). Then, denoting by the second smallest eigenvalue of , there exists such that in the limit :
[TABLE]
Moreover, when (A2j) is satisfied, one has in the limit :
[TABLE]
where we recall that . Finally, when (A4j) holds, the remainder term in (131) is actually of order and admits a full asymptotic expansion in .
Remark 47**.**
Without the assumption (A4j), we are not able to prove an asymptotic expansion in of the remainder term in (131) except in some specific cases, see Theorem 4 below or [38, Proposition C.40].
Let us mention that sharp asymptotic estimates when of the principal eigenvalue of have been obtained in [18, 33, 10] in the Dirichlet case and in [30] in the Neumann case. However, these results do not apply under the assumptions considered in Theorem 3. Let us also mention that when or when is a compact Riemannian manifold, sharp asymptotic estimates of the second smallest eigenvalue of have been obtained in [2, 16, 35, 26, 20, 21, 36].
The analysis led in this section will also allow us to give a lower and an upper bound for all the small eigenvalues of (and not only ). This is the purpose of Theorem 5 below.
Remark 48**.**
Combining Theorem 3 and Proposition 6, under the assumptions (A0), (A1j) and (A2j), one obtains that in the limit :
[TABLE]
In some specific cases, one can drop the assumption (A2j) in Theorem 3 and still obtain a sharp asymptotic equivalent of when . Indeed, in view of the proof of Theorem 3, one has the following result.
Theorem 4**.**
Assume that the assumptions (A0) and (A1j) are satisfied. Assume moreover that for all , (this last assumption is for instance satisfied when ). Let us define,
[TABLE]
and
[TABLE]
where is the negative eigenvalue of (notice that and cannot be both equal to [math] since from Proposition 20, ). Then, one has when :
[TABLE]
where the two remainder terms admit a full asymptotic expansion in .
This section is organized as follows. In Section 4.1, one gives the quasi-modal estimates which are used to prove Theorem 3. Section 4.2 is then dedicated to the proof of Theorem 3.
Estimates of interactions between quasi-modes
The main result of this section is Proposition 50 which gives the quasi-modal estimates in needed to prove Theorem 3. This section is divided into two parts. In Section 4.1.1, one gives the asymptotic estimates of the boundary terms
[TABLE]
which are then used in the proof of Proposition 50. In Section 4.1.2, one states and proves Proposition 50.
For all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, let us define the constant
[TABLE]
where is the negative eigenvalue of . These constants will appear in the upcoming computations.
Asymptotic estimates of boundary terms for
The following boundary estimates will be used several times in the sequel.
Proposition 49**.**
Let us assume that the assumption (A0) is satisfied. Let us consider , an open set of , and . Then, there exists such that one has in the limit :
[TABLE]
where is introduced in (126) and is defined in (20). Moreover, when j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\partial\Omega}\big{\}}, , and is in a neighborhood of , it holds
[TABLE]
where the remainder terms admits a full asymptotic expansion in (as defined in Remark 9), and is defined by (132)
Proof.
Let . From (126) and (104), the quasi-mode is supported in for and thus:
[TABLE]
Let us now consider the case . Notice that one has for all small enough, from the trace theorem, (126), (118), and (117),
[TABLE]
where is independent of . Therefore, since is the only minimum of on , if , one has in the limit :
[TABLE]
for some independent of .
Let us now now consider the case and . One has:
[TABLE]
where is defined in (125). From (121), let us recall that in the limit :
[TABLE]
with on . Thus on , using also (114),
[TABLE]
Thus, the term appearing in the right-hand side of (136) satisfies in the limit :
[TABLE]
where the last line follows from , , Laplace’s method, and according to (124). When and is in a neighborhood of , the same arguments applied to (137) yield, in the limit :
[TABLE]
where the remainder terms admits a full asymptotic expansion in (which follows from Laplace’s method).
Besides, from the trace theorem and Lemma 43, the second term in the right-hand side of (136) satisfies in the limit :
[TABLE]
The first part of Proposition 49 then results from (133)–(136), (138), and (140), and its second part from (136), (139)–(140), and from the asymptotic estimate of given in (124) which yields, when
[TABLE]
This ends the proof of Proposition 49.
Quasi-modal estimates in
We are now in position to prove Proposition 50 which will be crucial to prove Theorem 3. This proposition allows indeed to study accurately the small singular values of the restricted differential . The square of the smallest singular values is indeed , where is the principal eigenvalue of (see (8) and Proposition 4).
Proposition 50**.**
Let us assume that the assumption (A0) holds. Let be the family of quasi-modes for and let be the family of quasi-modes for introduced in Definition 45. Then, there exists such that for for all , for all k\in\big{\{}1,\dots,{\mathsf{m}_{0}^{\Omega}}\big{\}} and j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, there exists independent of such that in the limit ,
[TABLE]
where all the remainder terms admits a full asymptotic expansions in (as defined in Remark 9),
[TABLE]
and
[TABLE]
where the constant is defined in (132), and is defined in Section 2.4 and labeled in Definition 44. Finally, if (and thus, it holds necessarily , see (72) where is defined by (41)), one has
[TABLE]
Proof.
The proof of Proposition 50 is divided into three steps.
Step 1.
Let k\in\big{\{}1,\ldots,\mathsf{m}_{0}^{\Omega}\big{\}} and j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}. Let us consider the case . According to Definitions 34, 39 and 45, one has that for all , the quasi-mode is supported in . Therefore, from (92), (96), and Definition 45, one has and thus
[TABLE]
Step 2.
Let us now deal with the computation of the terms for k\in\big{\{}1,\ldots,\mathsf{m}_{0}^{\Omega}\big{\}} and j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} such that . In this case, these computations follow from the analysis led in the proof of [16, Proposition 6.4], the only difference arising from the fact and were both reduced to one single point there. Let us give a proof for the sake of completeness. One has:
[TABLE]
From (93)–(94), it holds . Thus, using Laplace’s method together with the fact that , one has in the limit :
[TABLE]
Let us now give the estimate of the numerator of the right-hand side of (142).
To prepare this computation, let us first recall that the set has, according to (90), two connected components. Since (see Definition 18), exactly one of these two connected components intersects – and is then included in – the critical connected component associated with (see Definition 18 and (71)). Moreover, the set , where the stable manifold has been defined in (107), has also two connected components and one of them contains the connected component of which intersects , namely . Let us denote by
[TABLE]
Since , one has using in addition (95):
[TABLE]
Therefore, using an integration by parts, it holds:
[TABLE]
since on . From (106), it holds for small enough,
[TABLE]
where is independent of . Since moreover on by (93) and (94), there exist and such that for , in the limit :
[TABLE]
Lastly, using Lemma 43 and the trace theorem, one obtains in the limit :
[TABLE]
where denotes the negative eigenvalue of . The second equality follows from Laplace’s method and from the fact that
[TABLE]
and , see indeed the lines between (109) and (110). The last line follows from (113). The asymptotic estimate of the term is a consequence of the latter estimate together with (142)–(145) which gives in the limit :
[TABLE]
where the remainder terms admits a full asymptotic expansion in (which follows from Laplace’s method). This proves Proposition 50 for all k\in\big{\{}\mathsf{1},\ldots,\mathsf{m}_{0}^{\Omega}\big{\}} and j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} such that .
Step 3.
Let us now deal with the computation of the terms for k\in\big{\{}\mathsf{1},\ldots,\mathsf{m}_{0}^{\Omega}\big{\}} and j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} when . Notice that according to Definition 45 and (92) and by definition of lexicographic labeling introduced in Definition 44, this situation can only occur when
[TABLE]
One has
[TABLE]
Notice that (143) also holds here for . Since , the numerator of the right-hand side of (146) can be rewritten as
[TABLE]
From (120), there exists such that for small enough, in . Since on by (91) and (93), there exist and such that for , in the limit :
[TABLE]
Furthermore, applying Proposition 49 with and , one has in the limit :
[TABLE]
Therefore, injecting the estimates (143), (148) and (149) into (146), one obtains in the limit :
[TABLE]
where the remainder terms admits a full asymptotic expansion in (which follows from Laplace’s method). This is the desired estimate according to (141)–(132). This ends the proof of Proposition 50.
Restricted differential
This section is devoted to the proof of Theorem 3. In this section, one also gives lower and upper bounds on the first eigenvalues of , see Theorem 5 below. According to Lemma 27 and Proposition 4, the square of the singular values of the restricted differential ( and being endowed with the inner product) are the first first eigenvalues of times . Therefore, the strategy consists in estimating in the limit the singular values of the restricted differential .
This section is organized as follows. Section 4.2.1 is dedicated to the definition of the matrix of the restricted differential and preliminary asymptotic estimates on its coefficients. In Section 4.2.2, lower and upper bounds for the smallest eigenvalues of are obtained. Finally, one proves Theorem 3 in Section 4.2.3.
Matrix of the restricted differential
Let us introduce the matrix of the restricted differential in a basis of projected quasi-modes.
Definition 51**.**
Let us assume that the assumption (A0) is satisfied. Let be the family of quasi-modes for and let be the family of quasi-modes for , both introduced in Definition 45. Let us denote by the matrix defined by: for all and for all
[TABLE]
Notice that from (86), it holds for all and for all :
[TABLE]
Then, using the identity
[TABLE]
together with item 2 in Proposition 46 and Proposition 50, one gets the following estimates of the coefficients of :
Proposition 52**.**
Let us assume that the assumption (A0) is satisfied. Let be the matrix introduced in Definition 51. Let and . Then, there exists such that for (where is introduced in (92)), there exists such that in the limit :
[TABLE]
and
[TABLE]
where we recall that, from Proposition 50, ,
[TABLE]
and is defined in (141). Moreover, when (and thus ), one has .
To study the singular values of the matrix , one defines the following matrices:
- •
let \widetilde{S}=\big{(}\widetilde{S}_{j,k}\big{)}_{j,k} be the real value matrix defined by
[TABLE]
- •
let be the diagonal matrix defined by
[TABLE]
and where is defined in (151).
Notice that when the assumptions (A1j) and (A2j) are satisfied, one has in the limit (see (78) together with the fact since which follows from (67) and (A2j)):
[TABLE]
and for some independent of , it holds:
[TABLE]
- •
let be the real value matrix defined by
[TABLE]
The matrix is the matrix whose coefficients are given by:
[TABLE]
for all (j,k)\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}\times\big{\{}1,\dots,{\mathsf{m}_{0}^{\Omega}}\big{\}}. It satisfies, according to Proposition 52 and (153), in the limit :
[TABLE]
where is defined by (151), and is defined in (141). From (157), one has when , which means that there exist and such that for all :
[TABLE]
Under (A0), by definition of the matrices , , and (see Definition 51 and Equations (152), (153), (156)), there exists such that the matrix \big{(}S-\widetilde{S}\big{)}D^{-1} satisfies in the limit :
[TABLE]
The following Lemma will be needed in the sequel.
Lemma 53**.**
Let us assume that the assumption (A0) holds. Let be the matrix defined in (156). Then, there exist and such that for all :
[TABLE]
where denotes the usual Euclidean norm on , .
Proof.
The proof of Lemma 53 is divided into two steps.
Step 1. Block-diagonal decomposition of .
According to (156), (153) and (152), has the form, up to reordering the for :
[TABLE]
where:
- •
the block matrix on the first line corresponds to the rows of associated with such that .
- •
is a matrix of size {\rm Card}\big{(}\cup_{k=1}^{\mathsf{N}_{1}}\mathbf{j}(x_{k})\big{)}\times\mathsf{N}_{1} (where is defined in (41)). The coefficients are associated with 0-forms , for (see Definition 45 and (92)) and with 1-forms for such that .
- •
is a matrix of size {\rm Card}\big{(}\cup_{k=\mathsf{N}_{1}+1}^{\mathsf{m}_{0}^{\Omega}}\mathbf{j}(x_{k})\big{)}\times(\mathsf{m}_{0}^{\Omega}-\mathsf{N}_{1}), which has the following block diagonal form:
[TABLE]
where for \ell\in\big{\{}1,\ldots,\mathsf{N}_{1}\big{\}}, is a matrix of size
[TABLE]
with the convention that does not exist if . Let us recall that for \ell\in\big{\{}1,\ldots,\mathsf{N}_{1}\big{\}}, is introduced in Definition 16. For all , contains the non zero terms of associated with 0-forms and 1-forms with:
such that (according to (97)), 2. 2.
for those , is such that .
This explains in particular the block structure of since by construction if (see (156) and (152)).
From [20, Section 7.3 and Equation (7.4) in Section 7.2], for all \ell\in\big{\{}1,\ldots,\mathsf{N}_{1}\big{\}} there exist and such that for all and for all z\in\mathbb{R}^{{\rm Card}\big{(}\operatorname*{arg\,min}_{\overline{\mathsf{C}_{\ell}}}f\big{)}~{}-1},
[TABLE]
Thus, there exist and such that for all and for all ,
[TABLE]
For any ( and ), it holds
[TABLE]
Therefore, to prove (160), let show that there exist and such that for all and for all ,
[TABLE]
Step 2. Proof of (162).
Let us divide the family into groups ():
[TABLE]
which are such that for all ,
[TABLE]
and for all such that ,
[TABLE]
Then, by definition of the matrix (see Step 1 above), up to a reordering, has the block-diagonal form
[TABLE]
where for \ell\in\big{\{}1,\ldots,\mathsf{K}\big{\}}, is a matrix of size {\rm Card}\Big{(}\bigcup_{k=1,\,x_{k}\in\cup_{j=1}^{k_{\ell}}\mathsf{C}_{j}^{\ell}}^{\mathsf{N}_{1}}\mathbf{j}(x_{k})\Big{)}\times k_{\ell}. For \ell\in\big{\{}1,\ldots,\mathsf{K}\big{\}}, the coefficients are associated with 0-forms , for such that and with 1-forms for such that .
Therefore, to prove (162), let us show that for \ell\in\big{\{}1,\ldots,\mathsf{K}\big{\}}, there exist and such that for all and for all ,
[TABLE]
In view of the block structure of , to prove it, one can assume, without loss of generality, that which is equivalent to the fact that the set is connected. Let us thus assume that is connected and let us then write
[TABLE]
where is a matrix which has the same size as , and which satisfies, from (157), for all and all such that ,
[TABLE]
and
[TABLE]
where and for all and such that . To prove (162), it sufficient to show that (162) holds for instead of , i.e. that there exist and such that for all and for all ,
[TABLE]
Before proving (166), let us label the family as follows. According to Lemma 21, one can assume without loss of generality that is such that there exists such that
[TABLE]
Let us now label such that for all , is connected. Let us prove (166) by induction on (the proof is similar to the proof made in [20, Section 7.3] in a different context). For , one denotes by the following property: there exists and such that for all and for all ,
[TABLE]
Let us prove . Using (167) together with (164) and (165), the -th row of equals
[TABLE]
where is such that z_{j}\in\partial\mathsf{C}_{1}\setminus\Big{(}\cup_{\ell=2}^{\mathsf{N}_{1}}\partial{\mathsf{C}_{\ell}}\Big{)}. Thus, one has for , \big{\|}A\,y\big{\|}_{2}\geq|\varepsilon_{j,1}\,C_{j,1}y_{1}|. Therefore, is satisfied. Let us now assume that is satisfied for some and let us prove . If , there exists , such that . Thus, using (164), one has
[TABLE]
Therefore, one obtains y_{k+1}^{2}C_{j,k+1}^{2}\leq\big{|}(Ay)_{j}\big{|}^{2}\leq\big{\|}Ay\big{\|}^{2}_{2}. Applying the property , one gets
[TABLE]
This implies that the property is satisfied. Let us now consider the case . Using (165) together with the fact that the set is connected, there exist and such that . Thus,
[TABLE]
Thus, since the exists such that for all small enough, one obtains using the triangular inequality and the property ,
[TABLE]
Using the property , one gets that \min\Big{(}\frac{C_{j,k+1}^{2}}{2(1+M^{2})},\alpha_{k}\Big{)}\sum_{\ell=1}^{k+1}y_{\ell}^{2}\leq 2\big{\|}Ay\big{\|}^{2}_{2}. Therefore, the property is satisfied. This ends the proof of (166) by induction. Together with (161) and (162), one then obtains (160). This concludes the proof of Lemma 53.
As a consequence of (160), the rectangular matrix admits a left inverse which satisfies
[TABLE]
for some independent of . This implies that, using (159) and (156):
[TABLE]
On the smallest eigenvalues of
This section is dedicated to the proof of the following proposition which aims at giving lower bound and an upper bounds for the smallest eigenvalues of .
Theorem 5**.**
Let us assume that the assumption (A0) holds. Let be the map constructed in Section 2.4. Let us reorder the set such that the sequence
[TABLE]
is decreasing, and, on any such that \big{(}\mathsf{S}_{k}\big{)}_{k\in\mathcal{I}} is constant, the sequence is decreasing (where the ’s are introduced in (153)). Finally let us denote by , for , the -th eigenvalue of counted with multiplicity (with these notations, , see (8)). Then, there exist and such that for all k\in\big{\{}1,\dots,{\mathsf{m}_{0}^{\Omega}}\big{\}} and for all ,
[TABLE]
The reordering of introduced in (170) is only used in Theorem 5. One recalls that, except in Theorem 5, the labelling of is the one introduced in Definition 44.
A direct consequence of Theorem 5 is the following.
Corollary 54**.**
Let us assume that the assumptions (A0) and (A1j) are satisfied. Then, the estimate (130) is satisfied.
Before starting the proof of Theorem 5, let us recall the Fan inequalities, which is the purpose of Lemma 55 below (see for instance [44, Theorem 1.6] or [29]) and its consequences, see Lemma 56 below.
Lemma 55**.**
Let , and . Then, it holds
[TABLE]
where, for any matrix , denote the singular values of the matrix and where \big{\|}T\big{\|}:=\sqrt{\max\sigma(\,^{t}TT)} is the spectral norm of .
Let us recall that from item 3 in Proposition 46, there exists such that for all ,
[TABLE]
and
[TABLE]
where the projectors and are defined in (87). Let us define \widetilde{\Upsilon}:=\big{(}\pi^{(0)}_{h}\widetilde{u}_{k}\big{)}_{1\leq k\leq{\mathsf{m}_{0}^{\Omega}}} and \widetilde{\Psi}:=\big{(}\pi^{(1)}_{h}\widetilde{\psi}_{j}\big{)}_{1\leq j\leq\mathsf{m}_{1}^{\overline{\Omega}}}. For , let be an orthonormal basis of and let us define the matrices
[TABLE]
Notice that from item 3 in Proposition 46, there exist and such that for all :
[TABLE]
and
[TABLE]
A consequence of the Fan inequalities is the following.
Lemma 56**.**
Let us assume that the assumption (A0) holds. Let us denote by , for , the -th eigenvalue of counted with multiplicity and let be the matrix defined in (152). Then, there exists such that for all , one has in the limit :
[TABLE]
where denote the singular values of .
Proof.
The smallest eigenvalues of are the eigenvalues of
[TABLE]
Moreover, since the -adjoint of is , one has that the smallest eigenvalues of are given by times the squares of the singular values of . Thus, the eigenvalues of are given by times the squares of the singular values of the matrix defined by
[TABLE]
In addition, by definition of the matrices and (see (171)), one has
[TABLE]
By (169), it holds
[TABLE]
Furthermore, from (169), there exists such that in the limit
[TABLE]
and from item 3b in Proposition 46,
[TABLE]
where we recall that \big{\|}T\big{\|}:=\sqrt{\max\sigma(\,^{t}TT)} is the spectral norm of a matrix . Therefore, it follows from the Fan inequalities (see Lemma 55) that the singular values of are, up to multiplication by , the singular values of . This concludes the proof of Lemma 56.
Remark 57**.**
Notice that in general, the spectral norm of the matrix defined in (171) does not equal when . For instance, in the case when is a one-dimensional symmetric double-well potential with the saddle point lower than , it can be checked that the Gramian matrix of the functions and introduced in Definition 45 converges when towards the matrix
[TABLE]
where .
Let us now prove Theorem 5.
Proof.
Theorem 5 is equivalent, according Lemma 56, to the existence of and such that for all k\in\big{\{}1,\dots,{\mathsf{m}_{0}^{\Omega}}\big{\}} and for all
[TABLE]
Let us prove (175). According to (153) and to the ordering of introduced in the statement of Theorem 5, the singular values of satisfy for small enough (see (153) and (170)):
[TABLE]
Using the fact that (see (156)) together with (158), (172) and Lemma 55, one obtains that for all
[TABLE]
which provide the required upper bound in (175). To obtain a lower bound on the singular values of , we write
[TABLE]
Using (168), (173) and Lemma 55, one has for all
[TABLE]
Then, (175) follows from (176), (178) and (177). This concludes the proof of Theorem 5.
To prove Theorem 3 and to ease upcoming computations, we replace in the Fan inequalities (174) the matrix by another matrix which has a simpler form than : this is the purpose of Lemma 58. Before stating Lemma 58, let us choose a particular orthonormal basis of to define in (171). Recall that the when the assumption (A1j) is satisfied the well (see Definition 16) satisfies: for all ,
[TABLE]
Let us define
[TABLE]
According to item 2a in Proposition 46, there exists such that in the limit :
[TABLE]
Then, let us choose such that
[TABLE]
is an orthonormal basis of . In that case, the matrix defined in (171), satisfies in the limit :
[TABLE]
Let us now define the matrix by:
[TABLE]
and
[TABLE]
Lemma 58**.**
Let us assume that the assumptions (A0) and (A1j) are satisfied. Let us denote by , for , the -th eigenvalue of counted with multiplicity and let be the matrix defined in (152). Then, there exists such that in the limit :
[TABLE]
where denote the singular values of and is the principal eigenvalue of (see (8)).
Proof.
Let us prove that there exists such that in the limit ,
[TABLE]
From (179), the matrix has the form
[TABLE]
for some . Moreover, according to (180) and (181), the matrix has the form
[TABLE]
Let us recall that by definition of (see (171)) and from item 3a in Proposition 46, is invertible and thus is invertible. Therefore, one has
[TABLE]
and thus,
[TABLE]
This proves (182). Lemma 58 is then a consequence of (182) together with Lemma 56 and Lemma 55.
Proof of Theorem 3
This section is dedicated to the proof of Theorem 3 which gives the asymptotic estimate of the principal eigenvalue of under the assumptions (A1j) and (A2j).
Proof of Theorem 3.
Let us assume that the assumptions (A0) and (A1j) hold. The spectral gap (130) has already been proved, see Corollary 54. It thus remains to prove (131). The proof of (131) is partly inspired by the analysis led in [20, Section 7.4]. According to Lemma 58, there exists such that in the limit :
[TABLE]
where is defined in (180) and (181). Therefore, the analysis of the estimate of is then reduced to precisely computing . One has:
[TABLE]
Let us assume in addition to (A0) and (A1j) that (A2j) holds. Recall that (A1j) and (A2j) consists in assuming that for all ,
[TABLE]
and
[TABLE]
Then, it holds
[TABLE]
Thus, using in addition Proposition 52 and (152), one has in the limit :
[TABLE]
for some independent of and where
[TABLE]
where the constants ’s are defined in (141) and where all the remainder terms admits a full expansion in .
Let us first obtain an upper bound on . Let us denote by the vector . Then, it holds from (184),
[TABLE]
Using in addition the fact from (180), one has , one obtains
[TABLE]
This provides the required upper bound. Notice that (187), (185), and (186) imply that in the limit
[TABLE]
Let us now give a lower bound on . To this end let us consider with , realizing the minimum in (184). Let us write , where and is a row vector of size . We claim that there exists such that for small enough,
[TABLE]
Let us prove (189). By definition of and according to (156), one has
[TABLE]
To prove (189), we use the block structure of the matrices , and . Let us recall that from (79) and (80), since (A2j) holds,
[TABLE]
Then, according to (156), (153) and (152), the matrix has the form, up to reordering the , ,
[TABLE]
where:
- •
is a matrix of size where we recall that is defined in (80). The coefficients are associated with the function (see Definition 45 and (92)) and with 1-forms for (or equivalently, such that ).
- •
is a matrix of size \big{(}\mathsf{m}_{1}^{\overline{\Omega}}-\mathsf{k}_{1}^{\partial\mathsf{C}_{1}}\big{)}\times 1 . The coefficients are associated with the function and with 1-forms for (or equivalently, such that ).
- •
is a matrix of size \big{(}\mathsf{m}_{1}^{\overline{\Omega}}-\mathsf{k}_{1}^{\partial\mathsf{C}_{1}}\big{)}\times\big{(}\mathsf{m}_{0}^{\Omega}-1\big{)}. The coefficients are associated with 0-forms , for and with 1-forms for (or equivalently, such that ).
From (160) and (190), is injective and satisfies, for some constant and for all small enough,
[TABLE]
This is indeed obvious by applying (160) to the vector . Let us now decompose the square matrices and in blocks which are compatible with the decomposition of made in (190). According to (153), (180), and (181), one has
[TABLE]
where for a square matrix of size :
[TABLE]
Notice that from (154), it holds
[TABLE]
and from (173), there exists such that when
[TABLE]
We are now in position to prove (189). Le us recall that by definition of , one has
[TABLE]
Therefore, since (see (180)) and (see (156)), one has using (188), (190), and (193) together with the fact that and (see (190) and (158)),
[TABLE]
Moreover, using (193) and since (see (190) and (158)) and (since and see (180), (181), and (172)), one has
[TABLE]
Therefore, one deduces from the latter inequality and from (195) and (191) that
[TABLE]
In addition, since (which follows from , see indeed (180), (181), (173), and (192)) and since there exists such that it holds:
[TABLE]
which follows from (153) and (155), one obtains from (196) that there exists such that for small enough,
[TABLE]
This ends the proof of (189). We are now in position to give a lower bound on . Notice that from (189) together with the fact that , one has
[TABLE]
Using (190) and (192), there exists such that
[TABLE]
where we recall that is defined by (80). Using in addition (189) and (197) together with the fact that , there exists such that in the limit :
[TABLE]
By definition of (see (80)) it holds
[TABLE]
where the last equality follows from (156). Thus, one obtains the following lower bound:
[TABLE]
In conclusion, from (187) and (198), one has for some , in the limit :
[TABLE]
Using (185) and (186), one gets
[TABLE]
Thus, since , using in addition Proposition 52, (183), and (199), it holds int the limit :
[TABLE]
Then, (200) together with Proposition 50 and the fact that
[TABLE]
imply when :
[TABLE]
Recall that (A4j) consists in assuming that . This concludes the proof of Theorem 3.
On the principal eigenfunction of
This section is dedicated to the proof of Proposition 59 and Theorem 6 stated below which gives respectively the asymptotic behaviour in the limit of and on .
Proposition 59 gives a sufficient condition to obtain that (and thus the quasi-stationnary distribution , see Proposition 5) concentrates in only one of the wells when in the -norm.
Proposition 59**.**
Assume that the assumptions (A0) and (A1j) are satisfied. Let us moreover assume that
[TABLE]
Let be the eigenfunction associated with the principal eigenvalue of (see (8)) which satisfies (9). Let be an open subset of . On the one hand, if
[TABLE]
one has in the limit :
[TABLE]
On the other hand, if
[TABLE]
then, there exists such that when :
[TABLE]
When (A0) and (A1j) are satisfied and when holds, Proposition 59 implies that when , concentrates in the -norm on the global minima of in . Proposition 59 together with (11) and the fact that when (A1j) holds (or equivalently (A1), see Lemma 25), imply Proposition 10. Notice that when in Proposition 59, one has from (201), when :
[TABLE]
The following theorem shows that, under the hypotheses (A1j), (A2j), and (A3j), the -norm of the normal derivative of the principal eigenfunction of concentrates when on .
Theorem 6**.**
Let us assume that the assumptions (A0), (A1j), (A2j) and (A3j) are satisfied. Let be the eigenfunction associated with the principal eigenvalue of which satisfies (9). Let and be an open subset of .
- (i)
When , one has in the limit :
[TABLE]
where is independent of .
- (ii)
When , one has in the limit :
[TABLE]
where, for some independent of ,
[TABLE]
- (iii)
When, for some , , , and is in a neighborhood of , one has in the limit :
[TABLE]
where satisfies (204) and the constants and are defined in (141)–(132).
The following rewriting of Theorem 6 will be useful to prove Theorem 1. Assume that the assumptions (A0), (A1j), (A2j), and (A3j) are satisfied. Let and be a family of disjoint open subsets of such that
[TABLE]
where we recall that (see (23)). Then:
There exists such that in the limit ,
[TABLE]
and
[TABLE]
with the convention if and where we recall that (see (79), (80) and (A3j)),
[TABLE]
The asymptotic estimate (205) follows from item in Theorem 6 taking , while (206) follows from item in Theorem 6 taking . 2. 2.
Moreover, when, for some , is in a neighborhood of , one has in the limit :
[TABLE]
where
[TABLE]
This asymptotic equivalent follows from item in Theorem 6 taking for some . 3. 3.
Lastly, when (A4j) (i.e when ), the remainder term O\big{(}h^{\frac{d-5}{4}}e^{-\frac{1}{h}(2f(z_{1})-f(x_{1}))}\big{)} in (206) is of the order O\big{(}e^{-\frac{1}{h}\big{(}2\min_{\partial\Omega}f-\min_{\overline{\Omega}}f+c\big{)}}\big{)} for some and the remainder term O\big{(}h^{\frac{1}{4}}\big{)} in (207) is of the order and admits a full asymptotic expansion in .
According to Theorem 6, when the function belongs to , one has the following equivalent of (205) in the limit :
[TABLE]
Remark 60**.**
When the assumption (A4j) is not satisfied, the remainder terms in (206) and (207) may not be optimal. In [38, Section C.4.2.2], it is proved with a one-dimensional example, that when the assumption (A4j) is not satisfied, the optimal remainder term in (206) is O\big{(}h^{\frac{d-4}{4}}e^{-\frac{1}{h}\big{(}2\min_{\partial\Omega}f-\min_{\overline{\Omega}}f\big{)}}\big{)} and the optimal remainder term in (207) is . In higher-dimension, these optimal remainder terms can be obtained in some specific cases, see [38, Proposition C.40].
This section is organized as follows. In Section 5.1, one proves Proposition 59. Section 5.2 is then dedicated to the proof of Theorem 6.
Proof of Proposition 59
This section is dedicated to the proof Proposition 59. Let us first give a corollary of Theorem 5 which is used in the proof of Proposition 59.
Corollary 61**.**
Let us assume that the assumptions (A0) and (A1j) are satisfied. Then, there exists such that for all , there exists such that for all , the orthogonal projector
[TABLE]
Moreover, choosing the parameter appearing in (92) small enough, there exists such that for all , one has:
[TABLE]
where the function is introduced in Definition 45.
Proof.
The fact that is a direct consequence of Corollary 54. Let us now prove (209). Using Lemma 28, Proposition 4 and using item 2a of Proposition 46, for any , there exist (see (92)), and such that one has for all ,
[TABLE]
Therefore, choosing small enough such that , there exists and such that one has for all ,
[TABLE]
This concludes the proof of (209) and thus the proof of Corollary 61.
Let us now prove Proposition 59.
Proof of Proposition 59.
Let us first assume that only the assumptions (A0) and (A1j) are satisfied. Let us recall that is the eigenfunction associated with the principal eigenvalue of (see (8)) which satisfies (9). As a direct consequence of Corollary 61 and (211), one has since the functions and are non negative,
[TABLE]
Let be an open subset of . Using (212) and thanks to the Cauchy-Schwarz inequality, one obtains in the limit :
[TABLE]
Let us recall that by construction (see Definition 45 and (92)),
[TABLE]
Then, from the definition of (see (92) and the lines below) and using Laplace’s method, one has in the limit ,
[TABLE]
Let us assume that
[TABLE]
Then, using Laplace’s method, one has when ,
[TABLE]
where we recall that . Thus, from (213), (214), and (215), one has when :
[TABLE]
Let us assume moreover that
[TABLE]
Then, (201) in Proposition 59 is a consequence of (216). Let us now consider the case where
[TABLE]
Then, it holds
[TABLE]
Since in the limit :
[TABLE]
one obtains using (217), (213), and (214), that there exist and such that when :
[TABLE]
This proves (202) and concludes the proof of proposition 59.
Proof of Theorem 6
Let us briefly explain the strategy for the proof of Theorem 6. The basic idea is to notice that, since belongs to (according to (88)), one has for any open set of and for any -orthonormal basis of ,
[TABLE]
Notice that this decomposition of is valid on . Indeed, for all , has a smooth trace on since (due to the fact that the eigenforms of belongs to and is a projector onto a finite number of eigenforms of ). In the rest of this section, one first introduces such a family using a Gram-Schmidt orthonormalization of the family \big{\{}\pi_{h}^{(1)}\widetilde{\psi}_{1},\dots,\pi_{h}^{(1)}\widetilde{\psi}_{\mathsf{m}_{1}^{\overline{\Omega}}}\big{\}}. Then, one gives estimates of the terms appearing in (219). Finally, one concludes the proof of Theorem 6 in Section 5.2.3, with estimations of the boundary terms .
Gram-Schmidt orthonormalization
Let us assume that the hypothesis (A0) holds, and assume small enough such that the family is independent (which is guaranteed for small by item 3b in Proposition 46). Using a Gram-Schmidt procedure, there exists, for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, a family such that the -forms
[TABLE]
satisfy:
- (i)
for all , {\rm Span}\big{(}\{f_{i},i=1,\dots,k\}\big{)}={\rm Span}\big{(}\{\pi_{h}^{(1)}\widetilde{\psi}_{i},i=1,\dots,k\}\big{)},
- (ii)
for all , .
One defines moreover, for ,
[TABLE]
so that (\psi_{j})_{j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}} is a -orthonormal basis of . By reasoning by induction (see [10, Section 2] for a similar proof), Proposition 46 easily leads to the following estimates showing in particular that the family is close to the family .
Lemma 62**.**
Let us assume that the assumption (A0) is satisfied. Then, there exists such that for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, and small enough,
[TABLE]
Estimates of the interaction terms
Let us begin with the estimates of the terms , where j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} and .
Lemma 63**.**
Let us assume that the assumption (A0) holds. Then, there exists such that for all for all , j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} and small enough, it holds:
[TABLE]
where we recall that the asymptotic expansion of the term is given in Proposition 52.
Proof.
Using (220), (221), and Lemma 62, one has for some and for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} and small enough,
[TABLE]
Using Proposition 52, the statement of Lemma 63 follows immediately.
In view of (219), we need to give an asymptotic estimate of the terms
[TABLE]
To do that, we would like to prove that is well approximated by . To this end, let us show that is an accurate approximation of in .
Before, let us recall that when (A0) and (A1j) hold, Corollary 61 implies that there exists such that for all , there exists such that for all , the orthogonal projector
[TABLE]
Therefore, is the orthogonal projector onto . Moreover, from the second equality in (212) and item 3a in Proposition 46, one has
[TABLE]
Therefore, is an accurate approximation of in . The following result extends this result in when assuming (A2j) in addition to (A0) and (A1j).
Lemma 64**.**
Assume that (A0), (A1j) and (A2j) hold. Then, it holds in the limit :
[TABLE]
and
[TABLE]
where in the limit , satisfies (204)
Proof.
Applying the Parseval identity to (see (86)), one gets
[TABLE]
Using Lemma 63, there exists consequently such that for all small enough,
[TABLE]
Using in addition (200), one then obtains the first part of Lemma 64:
[TABLE]
where, in the limit , satisfies (204).
Let us recall that from (212) and (211), one has for any small enough
[TABLE]
Now, since the projectors and commute with , and , one has
[TABLE]
where the last line follows from (223). Using in addition (222), one obtains in the limit :
[TABLE]
which proves Lemma 64, using also the asymptotic estimate of given in Theorem 3, see (131).
We are now in position to estimate the interaction terms .
Corollary 65**.**
Let us assume that the assumptions (A0), (A1j) and (A2j) hold. Let be the eigenfunction associated with the principal eigenvalue of (see (8)) which satisfies (9). Then, in the limit :
- (i)
for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} such that (i.e. for all j\in\big{\{}1,\dots,\mathsf{k}_{1}^{\partial\mathsf{C}_{1}}\big{\}}, see (79) and (80)),
[TABLE] 2. (ii)
for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} such that ,
[TABLE] 3. (iii)
and for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} such that ,
[TABLE]
where in the limit , satisfies (204).
Proof.
Using (223), there exists such that for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, in the limit :
[TABLE]
In addition, using the Cauchy-Schwarz inequality and the second statement in Lemma 64, it holds for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, in the limit :
[TABLE]
where is of the order given by (204). Then, the statement of Corollary 65 follows by injecting (225) into (224) and by using the estimates of the terms \big{\langle}\nabla\pi_{h}^{(0)}\widetilde{u}_{1},\psi_{j}\big{\rangle}_{L^{2}_{w}} () given in Lemma 63.
Estimates of the boundary terms \Big{(}\displaystyle{\int_{\Sigma}\,F\,\psi_{j}\cdot n\,e^{-\frac{2}{h}f}}\Big{)}_{j\in\{1,\ldots,\mathsf{m}_{1}^{\overline{\Omega}}\}}
Proposition 66**.**
Let us assume that the assumption (A0) is satisfied. Let us consider , an open set of , and . Then, there exists such that in the limit :
[TABLE]
where we recall that (see (23)). Moreover, when i\in\big{\{}1,\dots,\mathsf{k}_{1}^{\partial\Omega}\big{\}}, , and is in a neighborhood of , it holds in the limit :
[TABLE]
where the constant is defined in (132).
Proof.
Let . Using (220), (221), the trace theorem, and the Cauchy-Schwarz inequality, one has for all ,
[TABLE]
From Lemma 62 and item 2b in Proposition 46, there exists such that for all j\in\big{\{}1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}}, , in the limit :
[TABLE]
Therefore, using Proposition 49, there exists such that for all , in the limit :
[TABLE]
The statement of Proposition 66 is then a straightforward consequence of Proposition 49.
We are now in position to prove Theorem 6.
Proof of Theorem 6.
Let us assume that the assumptions (A0), (A1j), (A2j) and (A3j) hold. Recall that in this case, for all , one has
[TABLE]
and
[TABLE]
Moreover, from (82), it holds
[TABLE]
Thus, one has
[TABLE]
Let us now consider and an open subset of . First, since \big{\{}\psi_{j},\,j=1,\dots,\mathsf{m}_{1}^{\overline{\Omega}}\big{\}} is an orthonormal basis of and , one has the following decomposition:
[TABLE]
Using in addition Corollary 65, Proposition 66, and (226), there exists such that for all small enough,
[TABLE]
Hence, when does not contain any of the , , from (227), Corollary 65, Proposition 66, and (226), one deduces the following relation for some independent of and every small enough:
[TABLE]
This proves item in Theorem 6.
Assume now that does not contain any of the , . Then , from (227), Corollary 65, Proposition 66, and (226), one deduces that in the limit :
[TABLE]
where the constant is independent of and satisfies (204). This proves item in Theorem 6.
Assume lastly that , is in a neighborhood of and . From (227), Corollary 65, Proposition 66, and (226), one then deduces that in the limit , it holds for some and which satisfies (204),
[TABLE]
where the constants and are defined in (141)–(132). This concludes the proof of item in Theorem 6.
On the law of
The main goal of this section is to prove Theorem 1. In Section 6.1, one proves Theorem 1 when (where is the quasi-stationary distribution of the process (1) in , see Definition 2). In Section 6.2, one proves Theorem 1 when .
Proof of Theorem 1 when
The proof of Theorem 1 when is a straightforward consequence of Theorem 3, Proposition 59 and Theorem 6. Indeed, let us recall that from (12), one has:
[TABLE]
Moreover, recall that (A1), (A2), and (A3) (see Section 2.5 and more precisely Lemma 25) are equivalent to the assumptions (A1j), (A2j), and (A3j) . In addition, under (A1j), one has (see Lemma 25), (see (81)) and
[TABLE]
and
[TABLE]
Thus, injecting the results of Theorem 3 (and more precisely (131)), Proposition 59 (applied to , see (203)) and Theorem 6 in (228), one obtains the statement of Theorem 1 when .
Proof of Theorem 1 when
Recall that, under (A1), (see Lemma 25). To prove Theorem 1 when , one first proves that a sufficiently accurate leveling property (as introduced in [3]) holds in for , see Proposition 68 in Section 6.2.1. Then, combining Theorem 1 when with Proposition 68, one proves Theorem 1 when in Section 6.2.2.
Leveling results
The leveling property for is defined as follows.
Definition 67**.**
Let be a compact subset of and . We say that satisfies a leveling property on if
[TABLE]
and this limit holds uniformly with respect to .
The leveling property (229) has been widely studied in the literature in various geometrical settings, see for example [40, 23, 9, 3, 13, 11]. We prove the following proposition which is a leveling property in our framework.
Proposition 68**.**
Let us assume that the assumption (A0) holds. Let and be a connected component of such that . Then, for any path-connected compact set and for any , there exist and , such that for all ,
[TABLE]
Proof.
The proof is inspired from techniques used in [9]. The proof of Proposition 68 is divided into two steps. In the following is a constant which can change from one occurrence to another and which does not depend on .
Step 1. Let . Let us denote by the unique weak solution to the elliptic boundary value problem
[TABLE]
Then, belongs to and for all , there exist , and such that for all , it holds
[TABLE]
Moreover, the Dynkin’s formula implies that
[TABLE]
Let us prove that belongs to and (232). Since is , for all , the exists such that on and . From (231), the function and is the weak solution to
[TABLE]
Thus, using [12, Theorem 5, Section 6.3], (and thus ) and there exist and such that for all
[TABLE]
and thus
[TABLE]
This proves (232) for The inequality (232) is then obtained by a bootstrap argument (by induction on ). This implies by Sobolev embeddings that belongs to . Let us now prove that there exist and such that
[TABLE]
Notice that from (233), one has that for all , . From (231) and (235) there exists such that for any and ,
[TABLE]
Choosing and we get
[TABLE]
Therefore, using (232), one obtains that for all , there exist , and such that for all
[TABLE]
Let such that . Then, one obtains (236) from the continuous Sobolev injection .
Step 2. Let us assume that the assumption (A0) holds. Let and be a connected component of such that . To prove Proposition 68, we will prove that for any compact subset of , there exists such that
[TABLE]
Indeed, since is path-connected, the following inequality
[TABLE]
where depends on , will then conclude the proof of (230).
Let us now define the set by
[TABLE]
which is not empty and for all , for some . Indeed, the boundary of is the set (since ) which contains no critical points of for , with small enough (since there is a finite number of critical points under the assumption (A0)). We now prove that for all there exists such that
[TABLE]
Let be such that where will be fixed later (since , ). Equation (231) rewrites
[TABLE]
Using (236), there exist and such that,
[TABLE]
where we used the Green formula (valid since is for all ) and the inclusion . In addition, since it holds,
[TABLE]
Therefore, there exists such that for small enough,
[TABLE]
and from (231), we then have for some constant which has been reduced. In the following, is a constant which may change from one occurrence to another and does not depend on . Let be such that on . Since , there exists , such that for small enough. By elliptic regularity (see [12, Theorem 5, Section 6.3]) it comes
[TABLE]
Let be such that . From the Gagliardo-Nirenberg interpolation inequality (see [39, Lecture II]), the following inequality holds
[TABLE]
From (231), . Using a cutoff function such that on , we get, as previously, from the elliptic regularity . Let (i.e. ). If , then [39, Lecture II] implies
[TABLE]
Thus, (239) is proved (and one then chooses , i.e. ). Otherwise, we prove (239) by induction as follows. From the Gagliardo-Nirenberg interpolation inequality (see [39, Lecture II]), we get
[TABLE]
We repeat this procedure times where is the first integer such that and the Gagliardo-Nirenberg interpolation inequality implies that which ends the proof of (239). Since for any compact , there exists such that , the inequality (237) is proved. This concludes the proof of Proposition 68.
End of the proof of Theorem 1
To prove Theorem 1 when , the following lemma will be needed.
Lemma 69**.**
Assume that the assumptions (A0) and (A1j) are satisfied. Let be as in (A1j). Let us moreover assume that
[TABLE]
Let be a compact subset of such that and let . Then, there exists such that for all , one has in the limit :
[TABLE]
uniformly in .
Lemma 69 implies Proposition 11 since we recall that when (A0) and (A1j) are satisfied, (see Lemma 25).
Proof.
Assume that the assumptions (A0) and (A1j) are satisfied. Let us assume that
[TABLE]
Step 1. For small enough, let be as introduced in Definition 24 (see (75)):
[TABLE]
Let . In this first step, we will prove that , , , :
[TABLE]
in the limit and uniformly in .
Let us recall that from the notation of Proposition 68, for all :
[TABLE]
From (11), one has:
[TABLE]
where and is the eigenfunction associated with the principal eigenvalue of (see (8)) which satisfies (9). Let us first deal with the second term in (242). Since (A0) and (A1j) hold, and because it is assumed that , one obtains from Proposition 59 (applied to , see (203)) that there exists such that for small enough:
[TABLE]
For all small enough, one has \big{(}\overline{\Omega}\setminus\mathsf{C}_{1}(\alpha)\big{)}\cap\operatorname*{arg\,min}_{\mathsf{C}_{1}}f=\emptyset. Therefore, using (202) (applied for small enough with ), one has from (240), that for all small enough, there exists such that when :
[TABLE]
Thus, there exists such that for all there exists such that when :
[TABLE]
Then, since , one obtains that
[TABLE]
Let us now deal with the first term in (242). Let us recall that is a connected component of . Moreover, for ( small enough), the compact set is connected and . Therefore, from Proposition 68 applied to for , one obtains that there exists such that for all ,
[TABLE]
in the limit and uniformly with respect to . Moreover, for all there exists such that in the limit :
[TABLE]
which follows from the fact that
[TABLE]
together with (243). Let us now fix . Then, using (245) and (246), , , :
[TABLE]
in the limit and uniformly with respect to . Therefore, using (242), (244) and (247), , , , :
[TABLE]
in the limit and uniformly with respect to . This concludes the proof of (241).
Step 2. Let us now conclude the proof of Lemma 69 by considering a compact subset of such that . Let us recall that (see (14)):
[TABLE]
Since is open and stable by the flow (see (13)), the continuity of implies that there exists such that for all ,
[TABLE]
Moreover, since is compact and for all , (i.e. for all ), there exists such that all continuous curves such that
[TABLE]
satisfy:
[TABLE]
Furthermore, up to choosing smaller, there exists such that
[TABLE]
Let us now recall the following estimate of Freidlin and Wentzell (see [13, Theorems 2.2 and 2.3 in Chapter 3, and Theorem 1.1 in Chapter 4], [4], [8, Theorem 3.5] and [14, Theorem 5.6.3]). For all , it holds:
[TABLE]
where
[TABLE]
and is the set of curves of regularity such that and \sup_{t\in[0,T_{K}]}\big{|}\gamma(t)-\varphi_{t}(x)\big{|}\geq\delta. Since is compact, there exists such that for small enough, it holds:
[TABLE]
Notice that when and \sup_{t\in[0,T_{K}]}\big{|}X_{t}-\varphi_{t}(x)\big{|}\leq\delta, it holds from (248) and (249):
[TABLE]
Let us now consider . Let . Then,
[TABLE]
Using (251), it holds for small enough:
[TABLE]
Using (252), (241) (with ), (251), and the Markov property of the process (1), there exists such that for all , one has when :
[TABLE]
uniformly in . This concludes the proof of Lemma 69.
Let us now end the proof of Theorem 1 when , where is a compact subset of such that . Recall that, when (A1) holds, which is equivalent to (A1j), one has , see Lemma 25.
Proof.
Let be a compact subset of such that
[TABLE]
and let us consider that the process starts from . Let . Let us notice that the proof is not a direct consequence of Lemma 69 since in Theorem 1, less regular test functions are considered. The proof of Theorem 1 is divided into three steps. In the following we assume that (A0), (A1j), (A2j) and (A3j) are satisfied.
Step 1. Proof of (25) and (26) when .
Let us first show that if is open and there exists such that (where is the open ball in of radius centered at ), then, for all ,
[TABLE]
in the limit and uniformly in . To this end, let us consider be such that
[TABLE]
Using Lemma 69, there exists such that for all :
[TABLE]
in the limit and uniformly in . Then, (253) follows from (25) applied to and the family of sets for when .
Let us now prove (25) and (26). Let and for all , let be an open set which contains . Let us assume in addition that if . One has for any
[TABLE]
Moreover, one has:
[TABLE]
Using (253) with , one gets (25).
Let us now prove (26). Let . Let us introduce disjoint open sets () and a smooth function supported in such that (in order to apply Lemma 69 with ). To this end, let be such that for any with , the sets and are disjoint. Let us consider
[TABLE]
Using Lemma 69, there exists such that for all
[TABLE]
in the limit and uniformly in . Then, using (26) and item 3 in Theorem 1 applied with , , and , it holds when : \mathbb{E}_{x}\left[\mathbf{1}_{\Sigma_{j}}F(X_{\tau_{\Omega}})\right]=O\big{(}h^{\frac{1}{4}}\big{)} and when (A4j) holds, one has when :
[TABLE]
for some . This concludes the proof of (26).
Step 2. Proof of (27) when .
For all , let be open subset of such that . Let us assume that if . Let be in a neighborhood of for some . Let be such that is on and let be such that , on . One has:
[TABLE]
Using Lemma 69 with and (25)-(26) with , and the family of disjoint open sets , there exists such that for all :
[TABLE]
in the limit and uniformly in , and where is defined in (28). In addition, using Theorem 1 when , when (A4j) holds, one can replace O\big{(}h^{\frac{1}{4}}\big{)} in the last computation by . Moreover, using (253) with : there exists such that for all :
[TABLE]
in the limit and uniformly in . Thus, one has when and uniformly with respect to :
[TABLE]
and when (A4j) holds, one has:
[TABLE]
This concludes the proof of (27) when and the proof of Theorem 1.
Proof of Theorem 2
In this section, one proves Theorem 2.
Proof of Theorem 2..
Let us assume that (A0) holds. Let . Assume that (see (29))
[TABLE]
To prove Theorem 2, the strategy consists in using Theorem 1 with a subdomain of containing such that in the limit , the most probable places of exit of the process (1) from when are the elements of . This will imply (since the trajectories of the process (1) are continuous) that the most probable places of exit of the process (1) from when are the elements of , which is the statement of Theorem 2.
The proof of Theorem 2 is divided into two steps.
Step 1: Construction of a domain containing .
In this step, one constructs a subset of such that
[TABLE]
and
[TABLE]
To construct a domain which satisfies (254) and (255), we first briefly recall the local structure of near to then build a neighborhood of in (this construction is similar to the the construction of made in Step 5 in the proof of Proposition 20). The set is then used to justify the existence of a domain satisfying (254) and (255). Let be such that is a connected component of (see (17)). Then, for , we introduce a ball of radius centred at in as follows.
If : Since and , there exists such that , on , and, according to [18, Section 5.2], is connected and (where we recall that ). 2. 2.
If : Recall that (see (21)) and thus, and is a non degenerate local minimum of . Thus, there exists , such that on and such that, according to [18, Section 5.2], is connected and included in . In addition, it holds is included in . Finally, up to choosing smaller, one has:
[TABLE]
where we recall that is the open ball of radius centred in in , and,
[TABLE]
Items 1 an 2 above imply that for all , by definition of (see Theorem 2 and Definition 16),
[TABLE]
One then defines:
[TABLE]
The set is an open neighborhood of in . Moreover, according to items 1 and 2 above,
[TABLE]
and using in addition (258),
[TABLE]
The second statement in (260) implies that is a connected component of . Thus, for small enough , where is the connected component of which contains . This suggests that a natural candidate to satisfy (254) and (255) is the domain . However, for small enough, the boundary of is not , it is composed of two smooth pieces and . The union of this two sets gives rise to ”corners”. Moreover, the function is not a Morse function since on . To justify the existence of a domain which satisfies (254) and (255), we proceed in two steps, as follows.
- •
Domain containing which satisfies (254) and on . The subdomain of is constructed as a smooth regularization of the set with such that by modifying in a neighborhood of (where the two smooth pieces of intersect each other). Moreover, on (since there is no critical point of on ) and on (since and on , see the second inequality in (257)). Thus, using in addition (260) together with the fact that is an open neighborhood of in , there exists a connected open subset of such that
[TABLE]
and
[TABLE]
which satisfies, for some and ,
[TABLE]
Finally, according to the first statement in (257), there exists such that for any open -neighborhood of in , with , one has
[TABLE]
where is the tangential gradient of on .
- •
Domain containing which satisfies (254) and (255). To construct such a domain, we use Proposition 72 (see Appendix C below) with , , ,
- (i)
on which is a Morse function with no critical point on (see (264) together with the fact that is composed of non degenerate critical points of ),
- (ii)
which satisfies, according to (264), on .
Therefore, using in addition the fact that satisfies (261)–(263), there exists a connected open subset of such that , ,
[TABLE]
and for some and ,
[TABLE]
It then remains to check that satisfies (254). From (265) and (256), satisfies the two first statements in (254) and . Since and , one deduces from the first statement in (260), that
[TABLE]
and from (259),
[TABLE]
This proves that satisfies the two last statements in (254). This concludes the construction of a domain which satisfies (254) and (255). A schematic representation of such a domain is given in Figure 17.
Step 2: End of the proof of Theorem 2.
For all , let be an open subset of such that . Let be a compact subset of such that . Let us first consider the case when .
Let be the subdomain of constructed in the previous step and which, we recall, contains and satisfies (254) and (255). Then, one easily deduces that when is replaced by , the function satisfies (A0) and (see (16) for the definition of ). Thus, in this case . Moreover, using in addition the second and third statements in (254), one obtains that the assumptions (A1), (A2), (A3) and (A4) are satisfied for the function . Thus, according Theorem 1 applied to the function , the most probable places of exit of the process (1) from when , are (and the relative asymptotic probabilities are given by item 2 in Theorem 1). In particular, from items 1 and 3 in Theorem 1, for any open subset of such that
[TABLE]
there exists such that for small enough:
[TABLE]
where is the first exit time from of the process (1).
Step 2a: Proof of the first asymptotic estimate in Theorem 2 when .
Writing , it holds:
[TABLE]
To prove the first asymptotic estimate in Theorem 2, let us prove that when , the probability that belongs to each of the two sets in the right-hand side of (267), is exponentially small when . Let us recall that is the first exit time from of the process (1) and thus, when , , and
[TABLE]
Thus, from (268), when , it holds:
[TABLE]
Using (266), there exists such that for small enough:
[TABLE]
Thus, there exists such that for small enough:
[TABLE]
Let us now consider the case when and . When , it holds from (268):
[TABLE]
From (266), there exists such that for small enough:
[TABLE]
Therefore, there exists such that for small enough:
[TABLE]
In conclusion, from (267), (269) and (270), one obtains that there exists such that for small enough:
[TABLE]
This proves the first asymptotic estimate in Theorem 2 when .
Step 2b: Proof of the second asymptotic estimate in Theorem 2 when .
Let us assume that the open sets are two by two disjoint. Let us consider and such that (see indeed the first statement in (254)),
[TABLE]
Then, one writes:
[TABLE]
Let us first deal with the second term in the right-hand side (273). It holds (since the sets are two by two disjoint and , see (272)), when :
[TABLE]
Thus, from (271) (applied with instead of ), one obtains that there exists such that for small enough:
[TABLE]
Let us now deal with the first term in the right-hand side (273). It holds from (272) and (268), when :
[TABLE]
Applying item 2 in Theorem 1 with the function and , one has:
[TABLE]
in the limit and uniformly in . Together with (273), (274), and (275), this concludes the proof of the second asymptotic estimate in Theorem 2 when .
The case when is proved using the estimate of Freidlin and Wentzell (250) (see the second step of the proof of Lemma 69). This concludes the proof of Theorem 2.
\addappheadtotoc
**A. On the assumption (A0) and Lemma 27 **
In this appendix and as stated in Section 1.4.1, one explains why the conclusion of Lemma 27, proved in [18, Section 3.4] (and made for , ), is still valid when assuming in (A0) that is a Morse function instead of is a Morse function.
For that purpose, let us assume that is , on and that, the functions and are Morse functions. From (85), we are going to prove that in this case, for small enough, one still has:
[TABLE]
Let us notice that there exists an open neighborhood of such that is a Morse function. Therefore, in view of [18, Section 3.4] (and more precisely of the IMS formula used there to prove an upper bound on the number of small eigenvalues), to prove (276), it is sufficient to show that for all , there exists a neighbourhood of in such that for any (for ) supported in ,
[TABLE]
for some independent of and . Let us recall the two following Green formulas [18, Lemma 2.3.2]. For all , one has:
[TABLE]
For all , one has:
[TABLE]
where is the Lie derivative with respect to the vector field and its formal adjoint in . Let us recall that the operator is a zeroth order operator (see for instance [19, Appendice 1]).
Since there is no boundary term in (278), the first equality in (276) is just a consequence of on . Indeed, there exist a neighbourhood of in and a constant such that . Then, from (278), for small enough, one has for all supported in :
[TABLE]
Thus, (277) is satisfied and for small enough, it holds:
[TABLE]
Let us now prove the second equality in (276). To this end, let such that . Then, there exists a neighborhood of in such that on . Therefore, using (279), for small enough, one has for all supported in :
[TABLE]
The estimate (281) implies, according again to (277), that for small enough, it holds
[TABLE]
This ends the proof of (276).
B. Proofs of the results of Sections 1.4.3, 1.4.4, and 1.4.5
In this section, one proves the asymptotic estimates (30), (31), (32) and (33) stated in Section 1.4. Let us start with the following result. Let and : be a function. Then, for all , one has:
[TABLE]
Indeed, let be the unique solution to the elliptic boundary value problem on :
[TABLE]
Clearly, one has for all ,
[TABLE]
Finally, using the Dynkin’s formula [25, Theorem 11.2], one has for all ,
[TABLE]
This proves (282).
Let us now explain how to prove (30), (31), (32) and (33). The asymptotic estimates (30) and (33) follow directly from (282) together with Laplace’s method.
Let us now prove (31). In the example depicted in Figure 4, the assumption (A1) is satisfied. Therefore, using (212), there exits such that on a neighborhood of and:
[TABLE]
where satisfies and is independent of . Moreover, one has (see Figure 4)
[TABLE]
Thus, from Proposition 59 (applied to , see (203)), one has in the limit :
[TABLE]
Moreover, if we denote by for , since and , one has in the limit (using (283) and (282) in the third equality):
[TABLE]
for some independent of . This proves (31).
Let us now prove (32). In the example depicted in Figure 5, the assumption (A1) is satisfied. Therefore, using (212), there exits such that on a neighborhood of and:
[TABLE]
where satisfies and is independent of . Moreover, one has (see Figure 5)
[TABLE]
Thus, from Proposition 59 (applied to , see (203)), one has in the limit :
[TABLE]
Then, the same computations as those made to obtain (284), imply that when :
[TABLE]
for some independent of . This proves (32).
**C. On the proof of (255). **
In this section, we prove the existence of a domain which satisfies (255) in addition to (254). To this end, we first give in Proposition 70 a simple perturbation result to present the main idea of the proof. Then, we extend this result to the setting we are interested in to prove the existence of such a domain in Proposition 72.
Proposition 70**.**
Let be a function and be a open bounded and connected subset of . Let us assume that
[TABLE]
Then, for any open sets and such that , there exists a open bounded and connected subset of such that
[TABLE]
Remark 71**.**
We would like to thank François Laudenbach who gave us the main ingredient of the proof of Proposition 70. The proof is inspired by a method due to René Thom [45] based on Sard’s theorem [41], see [27, Section 5.6].
Proof.
Let and be two open subsets of such that . Let us denote by the boundary of which is a smooth compact hypersurface of . For , one denotes by the ball of radius centred at [math] in . Let be a neighborhood of in . By assumption on , there exist and such that the map
[TABLE]
is well defined and is a diffeomorphism onto its image, and, for all , there exists a unique such that
[TABLE]
Moreover, for every , according to the implicit function theorem, the map is smooth and then also is . The latter application is then an injective immersion and hence, since is compact, it follows that is a smooth compact hypersurface. Up to choosing smaller, for any , is the boundary of a open bounded and connected subset of such that
[TABLE]
To prove Proposition 70, it remains to show that there exists such that is a Morse function. Let us introduce the function
[TABLE]
For all and for all , let and be such that
[TABLE]
where we recall that is a unit outward normal to . At , it holds , where is the -derivative of at . The function defined by
[TABLE]
is a submersion onto a small tube around the zero section of . This is obvious by considering the -derivative of . Hence, is transverse to the zero section of (see [27, Chapitre 5.1] for the definition of transversality). Using the parametric transversality theorem (which is a consequence of Sard’s theorem, see for instance [27, Chapitre 5.3.1]), one obtains that for almost every , is transverse to , which is equivalent to is a Morse function. This concludes the proof of Proposition 70.
The next proposition gives sufficient conditions on and to modify the result of Proposition 70 so that the perturbed domain has the same boundary as on a prescribed subset of on which is already a Morse function.
Proposition 72**.**
Let be a function and be a open bounded and connected subset of . Let us assume that
[TABLE]
Furthermore, let us assume that there exists an open subset of such that is a Morse function with no critical point on . Let us now consider an open set such that and has no critical point on . Then, for any open sets and such that , there exists a open bounded and connected subset of such that ,
[TABLE]
Proof.
Let and be two open subsets of such that . Let us denote by the boundary of which is a smooth compact hypersurface of . Let us introduce a function such that for all and for all where is an open neighborhood of in such that . To prove Proposition 72, one uses the cutoff function in the definition of to ensure that (see the proof of Proposition 70 for the notation ). This is made as follows. Let us first consider and such that the map
[TABLE]
is well defined and is a diffeomorphism onto its image, and, for all , there exists a unique such that
[TABLE]
Notice that for all and (since on ). Thus, for all , which implies that . Again, is a smooth compact hypersurface. A schematic representation of the function and the hypersurface are given in Figure 18. Up to choosing smaller, for any , is the boundary of a open bounded and connected subset of such that, since ,
[TABLE]
Let us now show that there exists such that is a Morse function. For that purpose, we consider the function
[TABLE]
and the function defined by . Notice that for all , is already, by assumption, a Morse function (with no critical point on ). This implies that is transverse to the zero section of along . Thus, to prove Proposition 72, it remains to study the function , for . For and for all , it holds:
[TABLE]
Since by assumption for all belonging to the compact set , one has up to choosing smaller, for all and , . Finally, for and for all , it holds:
[TABLE]
Thus, the function is a submersion onto a small tube around the zero section of . This implies that is transverse to the zero section of along . In conclusion, the function is transverse to the zero section of . The parametric transversality theorem implies that for almost every , is transverse to , which is equivalent to is a Morse function. This concludes the proof of Proposition 72.
Acknowledgements
This work is supported by the European Research Council under the European Union’s Seventh Framework Programme (FP/2007-2013) / ERC Grant Agreement number 614492. The authors thank Laurent Michel and François Laudenbach for fruitful discussions.
Main notation used in this work
, p. 2
, p. 7
, p. 8
, p. 9
, p. 5
, p. 5
, p. 1.3.1
, , and , p. 1.3.1
, p. 1.3.1,
, p. 1.3.1
, p. • ‣ 1.3.1 (see also p. 14)
, p. 17
Assumptions (A1), (A2), (A3), and (A4), p. • ‣ 1.3.1
and , p. 1.3.2
and , p. 1.3.2
and , p. 1.3.2
and , p. 1.3.2
and , p. 1.3.2
, and , p. 1.3.2
, p. 27
, p. 14
, p. 14
, p. 14
and , p. 16
(), p. 16 (labeled with the lexicographic order in p. 3.2.3)
, page 1
, page 2
and , page 2.4
(, ), page 1 (labeled with the lexicographic order in p. 3.2.3)
(, ), page 2 (labeled with the lexicographic order in p. 3.2.3)
, page 2
, p. 3.1.1
, p. 3.1.1
and , p. 3.1.1
, p. 3.1.1
and , p. 3.1.1
and , p. 3.1.1
and , p. 3.1.1
and , p. 3.1.1
, p. 3.1.2
, p. 3.1.2
, p. 3.1.2
, p. 3.1.2
For and , p. 3.1.2
and , p. 29 (labeled with the lexicographic order in p. 3.2.3)
, p. 42
and , page 45
, p. 3
, p. 4.1
, , and , p. 50
and , p. 51
and , p. • ‣ 4.2.1
, , and p. • ‣ 4.2.1
and , p. • ‣ 4.2.1
, p. 5
, p. 54
, , p. 55
, p. 56
, p. (ii)
, p. 61
p. 5.2.1
and , p. 220
, p. 232
(), p. 6.2.1
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] A. Bovier, M. Eckhoff, V. Gayrard, and M. Klein. Metastability in reversible diffusion processes. I. Sharp asymptotics for capacities and exit times. J. Eur. Math. Soc. (JEMS) , 6(4):399–424, 2004.
- 2[2] A. Bovier, V. Gayrard, and M. Klein. Metastability in reversible diffusion processes. II. Precise asymptotics for small eigenvalues. J. Eur. Math. Soc. (JEMS) , 7(1):69–99, 2005.
- 3[3] M. V. Day. Exponential leveling for stochastically perturbed dynamical systems. SIAM Journal on Mathematical Analysis , 13(4):532–540, 1982.
- 4[4] M. V. Day. On the exponential exit law in the small parameter exit problem. Stochastics: An International Journal of Probability and Stochastic Processes , 8(4):297–323, 1983.
- 5[5] M. V. Day. Mathematical approaches to the problem of noise-induced exit. In Stochastic Analysis, Control, Optimization and Applications , pages 269–287. Systems Control Found. Appl., Birkhõuser Boston, Boston, MA, 1999.
- 6[6] M.V. Day. On the asymptotic relation between equilibrium density and exit measure in the exit problem. Stochastics: an international journal of probability and stochastic processes , 12(3-4):303–330, 1984.
- 7[7] M.V. Day. Recent progress on the small parameter exit problem. Stochastics: An International Journal of Probability and Stochastic Processes , 20(2):121–150, 1987.
- 8[8] A. Dembo and O. Zeitouni. Large deviations techniques and applications . Springer, Applications of Mathematics, second edition, 1998.
