Semiclassical resonances for matrix Schrödinger operators with vanishing interactions at crossings of classical trajectories
Abstract.
We study the semiclassical distribution of resonances of a matrix Schrödinger operator (1.1) near a fixed energy level where the underlying classical trajectories of and of are respectively periodic and non-trapping. The aim is to compute the imaginary part of the resonances appearing near the eigenvalues created by when intersects with with finite contact order . Recent results [2] and [3] assert that the width of resonances is of polynomial order in the semiclassical parameter with exponent , if the interaction is elliptic at the crossing point. Here, we remove this ellipticity assumption and prove that the exponent is where is a "vanishing order" of the interaction at the crossing points, suitably defined in terms of the vanishing orders of and depending on whether the crossing point is a turning point or not.
1. Introduction
In this paper, we look at the asymptotic distribution of quantum resonances in the semiclassical limit for a matrix Schrödinger operator. More specifically, we are concerned with the influence that the crossings of the classical trajectories associated with this operator have on this distribution. Our motivation comes from molecular predissociation problems that have been studied under the Born-Oppenheimer approximation for many years for scalar operators and more recently for matrix-valued operators (see for example references in [10] for some history on the topic). In this approximation, the problem can be reduced to the study of the matrix Schrödinger operator
(1.1) |
with
where denotes the semiclassical parameter ( is the ratio of the electronic mass over the nuclear mass) and a first order (semiclassical) differential operator.
We provide a generalization of the main results of [2] and [3], which give the distribution of semiclassical resonances of near an energy such that has a simple well on one hand, and is a non-trapping energy for on the other hand (see figures 2 and 5). Such distribution was first studied in [6] for an energy level above the crossing level (referred to as cases (I-a) and (I-b) below) for transversal crossings ( below). In this work, under some elliptic condition at on the interaction term , the problem is brought back to the study of first order differential equations via normal forms. Due to the important role of the ellipticity assumption in this normal form method, it seems hard to deal with the non-elliptic case. However, authors in [2] provided a study of the resonances of using another method, which allowed to generalize the previous results to tangential crossings ( below). In short, this new method consists in reducing the problem to the proof of a stationary phase expansion with a degenerate phase, and it does not require the use of normal forms. In this article, we use this new method to get rid of the elliptic assumption on , which was assumed up until now. The problem then reduces to the proof of a stationary phase expansion with a degenerate phase and a degenerate amplitude (see Appendix A). A similar study of the distribution of semiclassical resonances of has been conducted for an energy level at the same level as the crossing (referred to as cases (II) and (III) below) in [4] and [5] when potentials cross transversely () and in [3] when potentials cross tangentially (). We also generalize those results by removing the ellipticity assumption and reducing the proof to a degenerate stationary phase argument.
If the symbol of the interaction term vanishes identically on , then the study of the system for can be brought back to the two eigenvalue problems corresponding to each scalar operator . However, the well known golden rule of P. Dirac, coined by E. Fermi, states that the presence of the interaction between the two scalar potentials may create resonances for the matrix operator . More precisely, near an energy , this interaction shifts the eigenvalues of away from the real axis, and the shifted points on the complex plane obtained are the resonances of . It is well known that the width between the resonances and the real line is proportional to the inverse of the half-life of the molecule described by ; our goal is to compute this width.
It has been established in [2] that the width of the resonances gets larger as the crossings become more degenerate. This implies that the molecule has a shorter half-life. Conversely, the main result of this article is that the width of the resonances gets narrower as the interaction term gets weaker, resulting in a longer half-life. More precisely we show that if , is the vanishing order of and the contact order of the characteristic sets , then in the cases (I-a) and (I-b) the imaginary part of the resonances is of size in the general case and of size when both and are odd. In the case (II), we show that the imaginary part of the resonances is of size . We also compute the first terms of the associated asymptotic expansions. We also discuss the case where , which is relevant to the physical situation (see [5]). We show that the main results hold replacing by in cases (I-a) and (I-b), and by in case (II).
In Section 2, we introduce the framework of this article in the cases (I-a) and (I-b), and we state in the main results the effect that the vanishing order of at has on the distribution of resonances. In Section 3, we state and prove the microlocal connection formula at a crossing point, which is the key result in the proof of the two main theorems. This essentially reduces to the degenerate stationary phase estimate and expansions proved in Appendix A; the use of those results in this context constitutes the main improvement of this article in regard to previous works. We then apply the microlocal connection formula in Section 4 to figure out the width of the resonances. Next, we deal with the case (II) in Section 5. We finally discuss in Section 6 the generalization (for all cases (I-a), (I-b) and (II)) to the case where and compare the influence of and .
2. Framework and main results
We make a few assumptions on the potentials , the interaction term and the considered energy . The situation is pictured in the figures 2 and 2 . We define as in (1.1) with .
Assumption 1.
The potentials , and the function are smooth and real-valued on . Moreover, there exist such that , and have a bounded analytic continuation to the complex domain
where . Moreover, the potentials admit limits different from .
Under Assumption 1, the operator is defined as an unbounded, essentially self-adjoint operator on with domain . The analytic assumptions on allow to define the resonances of near using the analytic dilation method (see [1]). Consider the complex box
(2.1) |
We define the resonances of near as follows.
Definition 2.1.
We say that a solution of the equation is outgoing when, for some sufficiently small, . Then, when is sufficiently small, we define to be a resonance of when there exists an outgoing, non-identically vanishing solution of . Such is then called a resonant state. We write the set of resonances of in .
Remark 2.2.
One convenient attribute of outgoing states is that they are microlocally infinitely small in the sense of (3.1) on the incoming tail ( with notations of (3.4)). This fact is well known in the scalar case (see [7]), and the reduction from the matrix case to the scalar case is explained for example in [6].
Remark 2.3.
The analycity in the angular complex domain
with and is actually enough to define resonances via the analytic distortion method (see [8]), which is more refined than the analytic dilation used above. We can also prove the microlocal connection formula (Theorem 3.1) as well as the main results of Section 2 under this weaker assumption for the cases (I-a) and (I-b). However in the case (II), some technical difficulties appear when defining WKB solutions normalized near the turning point (see the phase functions in (5.3)). These difficulties can be avoided by assuming the analycity around as in Assumption 1.
Assumption 2.
There exist real numbers and such that and, for all ,
(2.2) |
and
(2.3) |
Remark that, under the two previous assumptions, we have and .
We state some known results in spectral theory holding under Assumption 2. To this end, we first define the classical trajectory, or characteristic set, associated to the Hamiltonian for the energy .
On one hand, under (2.3), the spectrum of near is continuous. Moreover, the energies near are non-trapping. This means that the Hamiltonian flow carries any point of the characteristic set of away from any compact set: . Here, is the Hamiltonian vector field associated to . It is known that there are no resonances for in a complex zone around of width (see [11]).
On the other hand, under (2.2), the spectrum of consists of eigenvalues near . Under the condition (2.2), admits a simple well for energies close to , that is to say is a simple closed curve (or Jordan curve). To specify the eigenvalues of , we first define the classical action on as
(2.4) |
which is a smooth and monotonically increasing111 For , the function describes the area enclosed by and corresponds to the time that any classical solution takes to travel . This function analytically extends in around . function of near . Then, it is well known (see [9], [13]) that the eigenvalues of can be approximated by energies satisfying the so-called Bohr-Sommerfeld quantization rule
(2.5) |
We define accordingly the following subset of , consisting of real energies close to which satisfy (2.5):
When vanishes identically on , the spectrum of near consists of a continuous spectrum with embedded eigenvalues, approximated by the Bohr-Sommerfeld quantization rule (2.5). In the general case however, these embedded eigenvalues become resonances: this corresponds to Fermi’s golden rule.
Assumption 3.
The set of potential crossings is reduced to a unique point and the function vanishes at at a finite order :
(2.6) |
We list the four possible cases for potentials satisfying assumptions 2 and 3:
-
(I-a)
in which case and is odd.
-
(I-b)
in which case and is even.
-
(II)
in which case .
-
(III)
in which case . This is the setting of [4] and will be omitted here.
In the following, crossing points refer to elements of , and in this setting there are two crossing points, noted . The contact order at a crossing point refers to the geometric contact order of the characteristic sets at . It is defined as the order at which the functions and vanish at . In this context, . We will write the union of the two classical trajectories. The turning points will refer to the points of ; they correspond to the points , and defined in Assumption 2. Note that they differ from crossing points here.
The figures 2 and 2 account for the case (I-a). Note that one can assume without loss of generality that (replace by ).
Assumption 4.
The function vanishes at at a finite order :
(2.7) |
Moreover, we assume that .
The assumption ensures that the principal terms appearing in the asymptotic expansions (terms of order in Section 3 where or of order in Section 5 where ) do not get absorbed by the approximations of order that we use throughout the article (ex: asymptotic behavior of scalar solutions (3.8) used in the proof of Proposition 3.2).
The main results are the two following theorems; they will be proved in Section 3. The first one gives the asymptotic distribution of resonances of the matrix operator in terms of geometric data at the crossing points and in terms of the actions of the closed trajectories. In particular, the width of resonances gets narrower as grows and larger as grows.
Theorem 2.4.
In the case where both and are odd, vanishes and the imaginary part of the resonances shrinks, as stated in the following theorem.
Theorem 2.5.
The leading coefficient (resp. ) of may vanish at some energies , for each (small) , more specifically energies such that . In this case, we observe resonances that are closer to the real axis than those with imaginary part of order (resp. ). This phenomenon, called double line of resonances in [2], occurs due to the existence of a directed cycle in . This directed cycle is the (generalized) trajectory born from the combined classical actions of both and . On Figure 2, it corresponds to the simple closed curve linking and via and . It is illustrated in [2, Example 2.3].
Remark 2.6.
As pointed in [3, Remark 2.1], the limit should be taken in a subset , , otherwise the bijectivity of may break down.
3. Microlocal connection formula at a crossing point
3.1. Definition of the transfer matrix
We briefly recall some definitions of semiclassical analysis (see [14]). In this paper, we say that a function depending on is microlocally infinitely small around a point , and note
(3.1) |
if there exists independent of such that and
We say that near , with , when the previous definition applies to every point of .
In this section, we fix satisfying the previous assumptions and . Our goal for this section is to define the transfer matrix at each crossing point (microlocal connection formula) for such energies . This requires to recall a few results on microlocal solutions.
We briefly introduce a construction (based on a WKB method) of microlocal solutions on the characteristic curves away from crossing and turning points. First, we recall that the space of microlocal solutions to the equation near any connected subset of is of dimension . This is due to the fact that a scalar symbol of real principal type at a given point (a symbol such that and at this point) has its characteristic set of dimension locally around that point. In our case, is of principal type at all points of . The matrix case can be brought to this scalar case by transforming via a canonical (symplectic) transformation. Next, fix and any point on which is neither a crossing point nor a turning point. Then, we construct via a WKB method a non-trivial microlocal solution to the equation near (see for example [6, Proposition 5.4]) of the form
(3.2) |
where the phase function is defined starting from the -coordinate of the crossing points by and with
Here, is the complementary of in , meaning that .
Secondly, we study the behavior of microlocal solutions near crossing points. We split in eight connected components according to the crossing points and the turning points (see Figure 3 for the labelling at ):
(3.3) | |||
(3.4) |
Let be any point of . Since the space of microlocal solutions away from crossing points is of dimension , any microlocal solution of
is a (complex) multiple
of the previously introduced microlocal solution . We symmetrically define and on . The following theorem sums this remark up and gives an asymptotic microlocal connection formula near the crossing points.
Theorem 3.1.
Assume that assumptions 1 up to 4 hold true and that either (I-a) or (I-b) holds true. The space of microlocal solutions of the equation near the crossing point is of dimension : there exists a matrix depending on , and (respectively , and for ) such that, for any microlocal solution of near with ,
(3.5) |
We call transfer matrix at the matrix . Moreover, is given for all by
(3.6) |
where is given by (2.11). In the case where both and are odd and we have
(3.7) |
where is given by (2.16). Finally, and do not depend on the point chosen.
3.2. Microlocal connection formula at a crossing point
Let us now turn to the proof of Theorem 3.1. We study the behavior of microlocal solutions on a small, compact, -independent interval around the -coordinate of the crossing points. In the phase space, this means that we consider . Unfortunately, we cannot directly use a WKB method as in (3.2) to construct microlocal solutions near crossing points. We follow the idea of [4] and construct exact solutions for the scalar equations of based on Picard’s successive approximation method (see for example [12, Chapter 5]). We obtain pairs (, ) of solutions to in I which asymptotically behave as
(3.8) |
where . This asymptotic behavior when is uniform on . Next, we use those scalar solutions to construct vector-valued solutions of the system . Those solutions, constructed with the appropriate integral operators, are close at order to the solutions and small at order elsewhere (see [4, Section 4]). Essentially, this construction relies on the estimates of Proposition 3.2 below.
We consider the Banach space of continuous functions on endowed with the norm. We fix a small and define for and the integral operators by
(3.9) |
where and with and . Here stands for the wronskian and one can check that . The next proposition is a refinement of [2, Proposition 3.10].
Proposition 3.2.
For all and , is a bounded operator of . Moreover,
(3.10) |
Proof.
First, is bounded since , and are bounded on . We reduce the proof to the study of
for , because the other integrals appearing when expanding can be treated in a symmetric way. We first note (resp. ) the amplitude of (resp. ) defined in (3.8). Both and behave as when . We then apply (A.1) of Lemma A.1 with and . ∎
Remark 3.3.
Now, following the method of [4, Section 4], we construct two basis and of exact solutions on to and a matrix such that
and
More precisely, is of the form , where the coefficients of , , are of one of the two following types:
(3.11) |
where (when defined), and is defined in (3.9). The sign is for and for . We define symmetrically and replacing by . The proof of Theorem 3.1 is then reduced to a stationary phase argument as summed up in the next lemma.
Lemma 3.4.
Proof.
We look at ; the other terms can be treated in a symmetric way. We have
where, as in the previous proposition, and are the amplitudes of and defined in (3.8). We start with the case where either or is even. We split (3.2) into three parts: first, the terms for can be brutally bounded. Indeed, in view of Proposition 3.2, the geometric series is convergent for small enough and where is the Banach space of the bounded operators on . Next, the term for can be treated in a similar way as in Proposition 3.2. A first application of (A.1) of Lemma A.1 while keeping only the term of order gets us smooth functions bounded in such that . We then apply a second time the same result and obtain the claimed estimate. In a similar way, when and are odd, the term corresponding to is treated using (A.1) of Lemma A.1, and the terms corresponding to can be dealt with using Proposition 3.2. Finally, (respectively ) is the first term of the asymptotic expansion of , which corresponds to the term . We use (A.2) of Lemma A.1 with and . We write a Taylor expansion at for both functions; we get
and
To conclude, we use the fact and the assumption so that is negligible compared to the principal term (in the odd case, we use for the same reason). ∎
Remark 3.5.
At this point, we can compute with symmetrical computations as previously. However, knowing we can also directly deduce by remarking that
(3.12) |
4. Proof of the main results
We first recall [6, Proposition 7.1]). If is a resonance of and an associated non-trivial resonant state, then for all and with the notations of Theorem 3.1,
(4.1) |
The proof is then reduced to computing an asymptotic expansion of and .
Proof of Theorem 2.4.
For the time being, we assume that (2.8) holds true. Let be a resonance of and a non-trivial outgoing resonant state. We take back the notations from the microlocal connection formula (Theorem 3.1) and write
(4.2) |
Since is outgoing, we have (see Remark 2.2). Furthermore, is non-trivial so we do not have near . In particular (using the transfer matrix and Maslov correction on , would imply near ). We can then assume even if it means replacing by . We now compute . Using the transfer matrices ; we get
From the equation involving , we obtain
Now using the Maslov correction at the turning points and (see [6, Lemma 6.1]), we get
where is the classical action from to on . This yields, according to Theorem 3.1,
(4.3) |
where . Now, we want to compute the term appearing in (4.1). We claim that
(4.4) |
where is (the analytic continuation around of) the area of the closed curve defined in (2.4). To see this, we use the asymptotic behavior of the WKB solutions. The asymptotic behavior in the variable is such that decays exponentially at . For this reason, if we fix an arbitrary then the contribution to mainly comes from . On this interval, the coordinates of behave asymptotically in as
Essentially, the term in appearing in comes from turning points whereas the error on comes from an oscillating integral and (A.1) of Lemma A.1. We can for example refer to [6, Proposition 7.2] for more details. Finally, (4.4) holds and we use it in (4.1) to get
with and . The asymptotic expansion in the case where both and are odd and is computed in a similar way. More precisely, according to the equation (3.7) of Theorem 3.1, the equation (4.3) becomes
with . We obtain
with .
Concerning the proof of (2.8), we use the concept of pseudo-resonances introduced in [2, Section 4]. We construct what we call a monodromy matrix on and define the pseudo-resonances to be the zeros in of . Essentially, those energies satisfy a quantization condition (asymptotically in ) similar to the Bohr-Sommerfeld quantization rule (2.5) in the following sense: for each small , there exists a bijection from to the set of pseudo-resonances satisfying
when or is even and
when both and are odd and . The proof of this result relies on Theorem 3.1. Finally, a result relying on analytic distortion and the Kato-Rellich theorem ([2, Proposition 4.10]) ensures that pseudo-resonances approach resonances: for any , there exists a bijection such that
Combining these two results, we obtain (2.8). ∎
5. Crossing at a turning point
In this section, we generalize [3, Remark 2.4] and establish a connection formula (Theorem 5.2) in the case (II). In this case, the characteristic sets intersect at a unique crossing point which is also a turning point, as illustrated on Figure 5 below.
In this setting, the contact order of the characteristic sets is . Moreover, we fix and independent of and redefine
Theorem 5.1.
The proof of Theorem 5.1 essentially relies on Theorem 5.2 below. As in Section 3, we construct WKB solutions of the equation near away from on one hand, and exact solutions on a small interval on the other hand. We define
(5.3) |
where the phases are defined for small as
and the amplitudes satisfy
where and . Here, stands for the unique root near . Under Assumption 1, is analytic with respect to , and thus so is .
Then for any microlocal solution of near , there exist such that .
Theorem 5.2.
Let . Under the same assumptions as Theorem 5.1, the space of microlocal solutions of the equation near the crossing point is of dimension : there exists a transfer matrix depending on and such that, for any microlocal solution of near with ,
(5.4) |
Moreover,
(5.5) |
where is given by (5.11). Finally, does not depend on the point chosen.
Proof.
The method of proof is similar as the one explained in Section 3.2: we construct two basis of exact solutions near , express one as a linear combination of the other, and obtain the transfer matrix from this linear combination. This is done using the integral kernels defined above (see [3, Section 3]). Similarly to Proposition 3.2, we use (A.1) to prove estimates on the operator norm of those kernels, and we obtain
where
(5.6) |
Here,
and is the so-called Airy function. Note that this function extends near to an analytic function. The proof is then reduced to studying the behavior of the integrand of and using the stationary phase method. First, the asymptotic behavior of the Airy function at (see [12, Chapter 11]) is
and implies that, in the region , the integrand is exponentially small. More precisely, since , we have so that the integrand is with some function . Integrated, this yields a term of order .
Next, we consider some smooth function equal to 1 on and identically vanishing on , where and is a parameter. In the region , the integrand is . In the region , the integrand is . To prove this, we used the fact that with , as well as the asymptotic behavior
(5.7) |
of at . This allows us to show that
(5.8) |
This implies that the main contribution to (5.6) is given by
(5.9) |
where and is a small parameter. Here the amplitude is defined by
and the phase is defined by
(5.10) |
Following [3, Section 4], we fix and and split the study of in two. On one hand we obtain, via an integration by parts,
On the other hand, one can show that there exists a smooth function defined near satisfying such that the asymptotic behavior of the above functions for and is given by
where Here, we used the fact that on the support of . We compute this oscillating integral using (A.2). We finally get where
(5.11) |
∎
6. Generalization to an interaction
We generalize the results of this article in the case where the interaction term is a first order differential operator with smooth coefficients, that is to say of the form
with smooth and . This is a similar situation as the framework of [5] (where vanishes identically). We deal with (I-a) and (I-b) in Proposition 6.1, and with (II) in Proposition 6.3.
Proposition 6.1.
Suppose that assumptions 1 up to 3 and either (I-a) or (I-b) hold true. Assume also that (resp. ) satisfies Assumption 4 and write (resp. ) the associated vanishing order. Then, in case (I-a), for all small there exists a bijective map such that for any , (2.8), (2.9) and (2.10) hold true with . In case (I-b) and with , for all small there exists a bijective map such that for any , (2.13), (2.14) and (2.15) hold true with . Moreover, in case (I-a) the of(2.11) becomes
and in case (I-b) the is obtained replacing the term in (2.16) by
(6.1) |
Proof.
We redefine the integral operators of Section 3 by
where and , and . Using an integration by parts we remark that is still defined as a bounded linear operator on . Here, has a symbol of and therefore integrals involving and those involving can be treated in a symmetric way. The proof of Proposition 3.2 is conducted in a similar way as in the case where . Indeed, when expanding we obtain a sum of terms of order , of integrals of the same type as the case and of integrals of the form
where is defined on via integration by parts. We then apply (A.1) of Lemma A.1 with and . Here, and are the amplitudes and phases corresponding to and in (3.8). The computation of and in the proof of Lemma 3.4 is also very similar: we conduct calculations using the fact that
(6.2) |
To prove (6.1), we use
Notice that, in the odd case, so that . ∎
Remark 6.2.
In the cases (I-a) and (I-b), the role played by and is the same. Intuitively, this comes from the fact that the symbol of the interaction, , vanishes in at the same order as . In the case (II) however, the symbol vanishes at order in , which is why we can expect to have a less important role compared to , as described below.
Proposition 6.3.
Suppose that assumptions 1 up to 3 as well as (II) hold true. Assume also that (resp. ) satisfies Assumption 4 and write (resp. ) the associated vanishing order. Then, for all small there exists a bijective map such that for any (5.1) and (5.2) hold true with and given either by (5.11) when or by
(6.3) |
when .
Proof.
The constant appearing in the sub-principal term of the transfer matrix is given by the principal term in the -asymptotic expansion of the integral
Since we already dealt with the term containing , it suffices to deal with integrals of the form
(6.4) |
In a similar fashion as (5.8), we claim that the above integral cut off with is of order for and as in Section 5. Here, we need to take in account the asymptotic behavior
(6.5) |
of the derivative of the Airy function (see [12, Chapter 11]). In particular, is bounded at . With this, we can prove that the two terms
and
of the integral (6.4) cut off with are indeed . Moreover, the integral corresponding to (6.4) cut off with has its first term
of order because of the asymptotic behavior (5.7) of and because . The second term
is an oscillatory integral of the form with as in (5.10) and
Therefore, the transfer matrix (5.4) in Theorem 5.2 has a sub-principal term of order , with , as claimed. Remark that is never equal to , hence the coefficient of that sub-principal term is given either by the defined in (5.11) or by the defined in (6.3).
Remark 6.4.
The fact that appears instead of makes the amplitude vanish at order , instead of in (5.9). This explains the appearing in . Another way to see this is to remark that, if we note the oscillatory function appearing in the integral (5.9) (case ), then the integrand of the integral giving is essentially . In the Section 3 (where the derivative of the phase was the same), this factor in (6.2) did not vanish at because the crossing point was not a turning point. However in Section 5, the crossing point is a turning point therefore vanishes at order in .
Acknowledgement
I would like to warmly thank Kouichi Taira and Kenta Higuchi whose remarks and advices were most valuable during the writing of this article.
Appendix A A degenerate stationary phase estimate
Our goal in this section is to study the asymptotic behavior in the semiclassical limit of integrals of the form
In this article, there are two situations that require two different types of results on this oscillatory integral.
-
(i)
For integrals of the form with fixed and , we can use a cutoff near and consider it as an integral of a smooth function compactly supported near .
-
(ii)
For integrals of the form with fixed and variable , we must take into account the boundary term at , and find a bound that does not depend on . In this situation, we need to assume that .
The following lemma accounts for both of these cases.
Lemma A.1.
Let be a bounded open interval of containing and fix . Let and two smooth functions with bounded derivatives at any order. We assume the following :
-
(H1)
The function does not vanish on and is of the form where is a smooth function such that .
-
(H2)
The function is of the form where is a smooth function.
If then there exist a constant independent of such that, for any and any small enough,
(A.1) |
where is the Kronecker symbol. Furthermore, regardless of and , the following asymptotic expansion holds:
(A.2) |
where is the Gamma function, is and is defined in (2.12) replacing by . When and are both odd the value of the previous integral is, with error ,
(A.3) |
Proof.
We may assume that has a compact support in (use the non-stationary phase method to deal with points away from ). Let be a cutoff function vanishing for and equal to for . We set and we split into
For , we remark that, for small enough so that ,
To study the second term, we integrate by parts using the formal adjoint of . Since , we get
(A.4) |
Next, (H1) implies and so that the left term in (A.4) is bounded by
where . The boundary term in (A.4) is equal to zero when . When , (H2) implies that so that there exists a constant such that
Here, so that . Combining the estimates previously obtained, we obtain the claimed estimate for . In particular, the term only appears when .
We now prove (A.2) and (A.3). We bring the study on instead of using a cutoff near . The contribution away from is dealt with using the non-stationary phase method. First, we prove with the residue theorem that
This is proven in a similar way to the computation of the Fresnel integral . Next, we use the variable change and obtain
Here (H1) ensures that, locally around , is of constant sign. A straightforward computation using Taylor expansions at then gives (A.2) and (A.3) as claimed.
∎
References
- [1] J. Aguilar and J. Combes. A class of analytic perturbations for one-body schrödinger hamiltonians. Commun. Math. Phys., 22:269–279, 1971.
- [2] M. Assal, S. Fujiié, and K. Higuchi. Semiclassical resonance asymptotics for systems with degenerate crossings of classical trajectories. Int. Math. Res. Not., page rnad290, 2023.
- [3] M. Assal, S. Fujiié, and K. Higuchi. Transition of the semiclassical resonance widths across a tangential crossing energy-level. Preprint at arXiv:2402.19219, 2024.
- [4] S. Fujiié, A. Martinez, and T. Watanabe. Molecular predissociation resonances near an energy-level crossing i: Elliptic interaction. J. Differ. Equ., 260(5):4051–4085, 2016.
- [5] S. Fujiié, A. Martinez, and T. Watanabe. Molecular predissociation resonances near an energy-level crossing ii: Vector field interaction. J. Differ. Equ., 262(12):5880–5895, 2017.
- [6] S. Fujiié, A. Martinez, and T. Watanabe. Widths of resonances above an energy-level crossing. J. Funct. Anal., 280(6):108918, 2021.
- [7] B. Helffer and J.Sjöstrand. Résonances en limite semi-classique. Mémoires de la Société Mathématique de France, 24-25:1–228, 1986.
- [8] W. Hunziker. Distortion analyticity and molecular resonance curves. Annales de l’I.H.P. Physique théorique, 45(4):339–358, 1986.
- [9] A. Ifa, H. Louati, and M. Rouleux. Bohr-sommerfeld quantization rules revisited: the method of positive commutators. J. Math. Sci. Univ. Tokyo, 25(2):91–127, 2018.
- [10] M. Klein, A. Martinez, R. Seiler, and X. Wang. On the born-oppenheimer expansion for polyatomic molecules. Comm. Math. Phys., 143(3):607–639, 1992.
- [11] A. Martinez. Resonance free domains for non globally analytic potentials. Ann. Henri Poincarré, 3(4):739 – 756, 2002.
- [12] F. Olver. Asymptotics and Special Functions. Academic Press, New York, 1974.
- [13] D. Yafaev. The semiclassical limit of eigenfunctions of the schrödinger equation and the bohr-sommerfeld quantization condition, revisited. St. Petersbg. Math. J., 22(6):1051–1067, 2011.
- [14] M. Zworski. Semiclassical analysis, volume 138 of Graduate Studies in Mathematics. American Mathematical Soc., 2012.