Stark-Wannier ladders and cubic exponential sums

# Stark-Wannier ladders and cubic exponential sums

Alexander Fedotov  and  Frédéric Klopp St. Petersburg State University, 7/9 Universitetskaya nab., St.Petersburg, 199034, Russia Sorbonne Universités, UPMC Univ. Paris 06, UMR 7586, IMJ-PRG, F-75005, Paris, France Univ. Paris Diderot, Sorbonne Paris Cité, UMR 7586, IMJ-PRG, F-75205 Paris, France CNRS, UMR 7586, IMJ-PRG, F-75005, Paris, France
The present work was supported by the Russian foundation of basic research under grant 14-01-00760-a. A.F. acknowledges support by the Fondation Sciences Mathématiques de Paris. F.K. acknowledges support by the Chebyshev Laboratory and the French Embassy in Russia through the Chaire Lamé. The authors would like to thank the Isaac Newton Institute for Mathematical Sciences for its hospitality during the programme “Periodic and Ergodic Spectral Problems” supported by EPSRC Grant Number EP/K032208/1. F.K. also acknowledges support from the Simons Foundation during his stay at the INI.

On , we consider the Schrödinger operator

 (1.1) Hϵ=−∂2∂x2+v(x)−ϵx,

where is a real analytic -periodic function and is a positive constant. This operator is a model to study a Bloch electron in a constant electric field ([1]). The parameter is proportional to the electric field. The operator (1.1) was studied both by physicists (see, e.g., the review [6]) and by mathematicians (see, e.g., [9]). Its spectrum is absolutely continuous and fills the real axis. One of main features of is the existence of Stark-Wannier ladders. These are -periodic sequences of resonances, which are poles of the analytic continuation of the resolvent kernel in the lower half plane through the spectrum (see, e.g., [2]). Most of the mathematical work studied the case of small (see, e.g., [9, 3] and references therein). When is small, there are ladders exponentially close to the real axis. Actually, only the case of finite gap potentials was relatively well understood. For these potentials, there is only a finite number of ladders exponentially close to the real axis. It was further noticed that the ladders non-trivially “interact” as changes, and conjectured that the behavior of the resonances strongly depends on number theoretical properties of (see, e.g., [1]).

In the present note, we only consider the periodic potential and study the reflection coefficient of the Stark-Wannier operator (1.1) in the lower half of the complex plane of the spectral parameter . The resonances are the poles of the reflection coefficient. We show that, as , the function can be asymptotically described in terms of a regularized cubic exponential sum that is a close relative of the cubic exponential sums often encountered in analytic number theory. This explains the dependence of the reflection coefficient on the arithmetic nature of . For , we describe the asymptotics of the Stark-Wannier ladders situated far from the real axis.

Let us recall the definition of the reflection coefficient for (1.1) following [2]. Consider the equation

 (1.2) −ψ′′(x)+(v(x)−ϵx)ψ(x)=Eψ(x),x∈C,

For the sake of simplicity, assume that the potential is entire. Assume also . For any , there are unique solutions to (1.2) that admit the asymptotic representations

 (1.3) ψ−(x,E) =14√−ϵx−Ee−∫−E/ϵx√−ϵt−Edt+o(1),x→−∞, ψ+(x,E) =14√ϵx+Eei∫x−E/ϵ√ϵt+Edt+o(1),x→+∞,

where the determinations of and are analytic in and positive along . Consider also the solution . The solutions and being linearly independent, one has

 (1.4) ψ−(x,E)=w(E)ψ∗+(x,E)+w∗(E)ψ+(x,E),x∈R,

where the coefficient is independent of and the function is entire. The ratio is the reflection coefficient. It is an -periodic meromorphic function of . The reflection coefficient is analytic in , and, for , one has . The poles of are the resonances of .

Let us now state the first of our results. Represent by its Fourier series for . Let . One has

###### Theorem 1.

Let . Then, as ,

 (1.5) p(m)=a(ϵ)√me−2πiωm3−2mlog(2πm/e)+δ(m),ω={π23ϵ},

where, for real, denotes the fractional part of , and . This estimate is locally uniform in .

Clearly, the asymptotic behavior of as is determined by the Fourier series terms with large positive , and so, roughly,

 (1.6) 1r(E)≈a(ϵ)P(E/ϵ),P(s)=∑m≥1√me−2πiωm3−2mlog(2πm/e)+2πims.

It is worth to compare the function with the cubic exponential sums . Such sums were extensively studied in analytic number theory, see, e.g., [4]. They were proved to depend strongly on the arithmetic nature of . This appears to be true in our case too. We have

###### Theorem 2.

Let . Assume that and represent it in the form , where are co-prime integers. If , we take . For , we set . As , one has

 (1.7) r−1(E)=b(ϵ)ρq∑m∈Iq(ξ)Sq(p,m)eρeiπ(ξ−m/q)+iπ(ξ−m/q)+O(log2ρ/ρ)+eO(ρlnρ),

where ,  ,  , and

 Sq(p,m)=q−1∑l=0e−2πipl3−mlq.

The error estimates are locally uniform in .

Let us discuss this result. First, assume that . By Theorem 2,

 (1.8) (b(ϵ)r(E))−1=√ze√z+O(ln2z√z)+eO(√zlnz),z=e2iπE/ϵ,

where the determination of is analytic in and positive along . Recall that is -periodic. Let . Representation (1.8) implies

###### Corollary 1.

Assume . The resonances located in have the following properties :

• for sufficiently large , the resonances with are located in the domain , where is a constant;

• let be the number of resonances in the rectangle ; then, one has

 n(y)=1πeπy+o(1)asy→∞.

The first statement immediately follows from Theorem 2; to prove the second one has to use Jensen formula and Levin lower bounds for the absolute values of entire functions, see, e.g., [8].
When , it is difficult to obtain the asymptotics of the resonances as, in a neighborhood of the line , they are determined by the first Fourier coefficients of , i.e., by with . Hence, the problem is not asymptotic in nature.

If , then the description of the resonances is determined by the values of for (the map is -periodic). The are cubic complete rational exponential sums, see, e.g., [7]. One easily checks

###### Lemma 1.

For any ,  .

This implies that, for , there is at least one integer such that .

If is non zero for only one (this happens, for example, for ), then one can characterize the resonances as when . Now, they live near the lines , .

For large , there are actually many non-zero values :

###### Lemma 2.

There exists a constant such that, for any co-prime , one has .

This statement follows from Lemma 1 and the well-known upper bound for general complete rational exponential sums of Hua ([7]).

In general, the behavior of is nontrivial; it is known to depend strongly on the prime factorization of . Computer calculations lead to the following conjecture: if is prime, , and , then .

If is non zero for at least two values of such that , then, using (1.5), one can describe asymptotically all the resonances with sufficiently negative imaginary part. One has

###### Corollary 2.

Assume that, for some integers such that , one has , , and for all . Then, for sufficiently large , in the vertical half-strip

 {E∈C:−ImE≥ϵy,m1q≤ReEϵ≤m2q},

there are resonances, and they are described by the asymptotic formulas:

 (1.9) Eϵ=−i(ln(πk)π−lnsinπ(m2−m1)q)+m2+m1q+o(1),k∈N,

where .

This statement easily follows from Theorem 2.

Finally, let us describe very briefly the ideas leading to Theorems 1 and 2. Buslaev’s solutions used to define the reflection coefficient (see (1.3)) are entire functions of and ; they satisfy the relations . It appears that the analytic properties of such solutions can naturally be described in terms of a system of two first order difference equations on the complex plane (see, for example, [5]). To get the asymptotics of the Fourier coefficients of the reflection coefficient, we study the solutions of this system far from the origin. The idea leading from Theorem 1 to Theorem 2 is analogous to one used to study the behavior of the exponential sums with for large , see [4]. However, to use it successfully, one has to carry out a non trivial analysis of properties of the error term in (1.5).

## References

• [1] Avron J.E. The lifetime of Wannier ladder states Annals of physics, 143:33–53 (1982).
• [2] Buslaev V.S., Dmitrieva L.A. A Bloch electron in an external field. Leningrad Mathematical Journal, 1(2):287–320 (1990).
• [3] Buslaev V. and Grigis A. Imaginary parts of Stark-Wannier resonances. Journal of mathematical physics, 39:2520-2550 (1998).
• [4] Davenport H. Analytic methods for Diophantine equations and Diophantine inequalities, University Press, Cambridge, 2005.
• [5] Fedotov A. and Klopp F. Anderson transitions for a family of almost periodic Schrödinger equations in the adiabatic case. Communications in Mathematical Physics, 227(1):1-92, 2002.
• [6] Gluck M., Kolovsky A.R. and Korsch H.J. Wannier-Stark resonances in optical and semiconductor superlattices. Physics Reports, 366:103–182 (2002).
• [7] Korobov N.M. Exponential sums and their applications. Kluwer, Dordrecht-Boston-London, 1992.
• [8] Levin, B. Ja. Distribution of zeros of entire functions, volume 5 of Translations of Mathematical Monographs. American Mathematical Society, Providence,
• [9] Sacchetti, A. Existence of the Stark-Wannier quantum resonances. J. Math. Phys., 55(12):122104, 2014.
You are adding the first comment!
How to quickly get a good reply:
• Give credit where it’s due by listing out the positive aspects of a paper before getting into which changes should be made.
• Be specific in your critique, and provide supporting evidence with appropriate references to substantiate general statements.
• Your comment should inspire ideas to flow and help the author improves the paper.

The better we are at sharing our knowledge with each other, the faster we move forward.
The feedback must be of minimum 40 characters and the title a minimum of 5 characters