Quantum diffusion in the Kronig-Penney model

Quantum diffusion in the Kronig-Penney model

Masahiro Kaminaga Department of Electrical Engineering and Information Technology, Tohoku Gakuin University, Tagajo, 985-8537, JAPAN. Tel.: +81-22-368-7059  E-mail:kaminaga@mail.tohoku-gakuin.ac.jp    Takuya Mine Faculty of Arts and Sciences, Kyoto Institute of Technology, Matsugasaki, Kyoto, 606-8585, JAPAN. Tel: +81-75-724-7834  E-mail: mine@kit.ac.jp
Received: date / Accepted: date
Abstract

In this paper we consider the 1D Schrödinger operator with periodic point interactions. We show an bound for the time evolution operator restricted to each energy band with decay order as , which comes from some kind of resonant state. The order is optimal for our model. We also give an asymptotic bound for the coefficient in the high energy limit. For the proof, we give an asymptotic analysis for the band functions and the Bloch waves in the high energy limit. Especially we give the asymptotics for the inflection points in the graphs of band functions, which is crucial for the asymptotics of the coefficient in our estimate.

1 Introduction

The one-electron models of solids are based on the study of Schrödinger operator with periodic potential. There are a lot of studies on the periodic potential, in particular, for periodic point interactions, we can show the spectral set explicitly (Albeverio et. al. [2] is the best guide to this field for readers). Most fundamental case is the one-dimensional Schrödinger operator with periodic point interactions, called the Kronig–Penney model (see Kronig–Penney [10]), given by

(1)

where is a non-zero real constant, and is the Dirac delta measure at . The positive sign of corresponds the repulsive interaction, while the negative one corresponds the attractive one. More precisely, is the negative Laplacian with boundary conditions on integer points:

(2)

where

(3)

Here and is the usual Sobolev space of order on the open set . From Sobolev’s embedding theorem , every elements of are continuous (classical sense) and uniformly bounded functions. It is well-known that is self-adjoint [4, 2] and is a model describing electrons on the quantum wire. The spectrum of this model is explicitly given by

(4)

where

is so-called discriminant and can be regarded as an entire function with respect to . The spectrum of consists of infinitely many closed intervals (spectral bands) and is purely absolutely continuous.

On the other hand, for the Schrödinger operator on with decaying potential , the dispersive estimate for the Schrödinger time evolution operator is stated as follows:

(5)

where denotes the spectral projection to the absolutely continuous subspace for . The dispersive estimate is a quantitative representation of the diffusion phenomena in quantum mechanics, and is extensively studied recently, because of its usefulness in the theory of the non-linear Schrödinger operator (see e.g. Journé–Soffer–Sogge [11], Weder [18], Yajima [17], Mizutani [12], and references therein). The estimate (5) is also obtained in the case of the one-dimensional point interaction. Adami–Sacchetti [1] obtain (5) when is one point potential, and so do Kovařík–Sacchetti [9] when is the sum of potentials at two points. The motivation of the present paper is to obtain a similar estimate for our periodic model (1). Though this problem is quite fundamental, we could not find such kind of results in the literature, probably because the deduction of the result requires a detailed analysis of the band functions, as we shall see below.

Since the spectrum of the Schrödinger operator with periodic potential is absolutely continuous, one may expect some dispersion type estimate holds also in this case. However, there seems to be few results about the dispersive type estimate for the time evolution operator of the differential equation with periodic coefficients.111Some authors study the pointwise asymptotics for the integral kernel of the time evolution operator in the large time limit; see e.g. Korotyaev [8] and references therein. But we could not find the dispersive type estimate for the periodic Schrödinger operator itself in the literature. An example is the paper by Cuccagna [3], in which the Klein–Gordon equation

is considered, where is a smooth real-valued periodic function with period . Cuccagna proves the solution satisfies

(6)

for , where is some bounded discrete set. The peculiar power comes from the following reason. The integral kernel for the time evolution operator is written as the sum of oscillatory integrals

(7)

where , , , , and . The function is called the band function for the -th band, which is a real-analytic function of with period . In the large time limit , it is well-known that the main contribution of the oscillatory integral (7) comes from the part nearby the stationary phase point (the solution of ), and the stationary phase method tells us the principal term in the asymptotic bound is a constant multiple of (see e.g. Stein [15, Chapter VIII] or Lemma 15 below). However, since is a periodic function, there exists a point so that . If the stationary phase point coincides with , then the previous bound no longer makes sense. Instead, the stationary phase method concludes the principal term is a constant multiple of . Since the integral kernel of our operator has the same form as (7) (see (125) below), we expect a result similar to (6) also holds in our case.

Let us formulate our main result. Let be the Hamiltonian for the Kronig-Penney model given in (2) and (3). As stated above, the spectrum of has the band structure, that is,

where the -th band is a closed interval of finite length (for the precise definition, see (22) below). Our main result is as follows.

Theorem 1.

Let be the spectral projection onto the -th energy band . Then, for sufficiently large , there exist positive constants and such that

(8)

for any and any , where . The coefficients obey the bound

as .

The power in the first term of the coefficient in (8) is the same as in (5) with and , since it comes from the states corresponding to the energy near the band center, which behaves like a free particle. This fact can be understood from the graph of (Figure 1).222All the graphs are written by using Mathematica 9.0. The part of the graph corresponding to the band center is similar to the parabola or its translation, which is the band function for the free Hamiltonian . On the other hand, the power comes from part of the integral (7) given by

(9)

where is some open set including two solutions to the equation . Notice that is an inflection point in the graph of ; see Figure 1. The estimates for the coefficients are obtained from the lower bounds for the derivatives of . Actually, we can choose so that

(10)

where is a positive constant independent of . By (10) and the estimates for the amplitude function (Proposition 14), we can prove Theorem 1 by using a lemma for estimating oscillatory integrals, given in Stein’s book (see Stein [15, page 334] or Lemma 15 below). We can also prove the power is optimal, by considering the case (so, is a stationary phase point), and applying the asymptotic expansion formula in the stationary phase method (see e.g. Stein [15, Page 334]).

Figure 1: The graphs of the band functions () for . The range of is the -th band . We find two inflection points of near , for every .

The physical implication of the result is as follows. By definition, the parameter represents the propagation velocity of a quantum particle. The wave packet with energy near has the maximal group speed in the -th band, and the speed of the quantum diffusion is slowest in that band. Thus such state has a bit longer life-span (in the sense of -norm) than the ordinary state has; the state is in some sense a resonant state, caused by the meeting of two stationary phase points as tends to . It is well-known that the existence of resonant states makes the decay of the solution with respect to slower (see Jensen–Kato [6] or Mizutani [12]).

Since the estimate (8) is given bandwise, it is natural to ask we can obtain the dispersive type estimate for the whole Schrödinger time evolution operator , like Cuccagna’s result (6). However, it turns out to be difficult in the present case, from the following reason. A reasonable strategy to prove such estimate is as follows. First, we divide the integral into two parts and the rest, where is given in (9) with some open set including . Next, we show the sum of converges and gives , and the sum of the rests also converges and gives . However, for fixed and , we find that our upper bound for is not better than , and the sum of the upper bounds does not converge (see the last part of Section 4). One reason for this divergence is very strong singularity of our potential, the sum of -functions. Because of this singularity, the width of the band gap, say ( is the band number), does not decay at all in the high energy limit .333 Proposition 10 implies as . Then we cannot take the open set so small,444 We take in the proof of Theorem 1. and the sum of the lengths diverges; if this sum converges, we can use a simple bound to control the sum. Thus we do not succeed to obtain a bound for the sum of at present.

On the other hand, for the Schrödinger operator on with real-valued periodic potential , it is known that the decay rate of the width of the band gap reflects the smoothness of the potential . Hochstadt [5] says if is in , and Trubowitz [16] says ( is some positive constant) if is real analytic. So, if is sufficiently smooth, it is expected that we can control the sum of , and obtain the dispersive type estimate for the whole operator (i.e. (8) without the projection ). We hope to argue this matter elsewhere in the near future.

The paper is organized as follows. In Section 2, we review the Floquet–Bloch theory for our operator and give the explicit form of the integral kernel of . In Section 3, we give more concrete analysis for the band functions, especially give some estimates for the derivatives. In Section 4, we prove Theorem 1, and give some comment for the summability with respect to of the estimates (8).

2 Floquet–Bloch theory

In this section, we shall calculate the integral kernel of the operator by using the Floquet-Bloch theory. Most results in this section are already written in another literature (e.g. Reed-Simon [14, XIII.16] and Albeverio et. al. [2, III.2.3]), but we shall give it here again for the completeness.

First we shall calculate the generalized eigenfunctions for our model, i.e., the solutions to the equations

(11)
(12)
(13)

The condition (12) comes from the requirement , and we use the abbreviation in (13).

Proposition 2.

Let , , and take so that . Then, the equations (11)-(13) have a solution of the following form.

(14)

where and are constants. When , we interpret . The coefficients and satisfy the following recurrence relation.

(15)

The matrix satisfies and the discriminant is

(16)

The proof is a simple calculation, so we shall omit it. Notice that is an entire function with respect to , since is an even function.

Next we shall calculate the Bloch waves, the solution to (11)-(13) with the quasi-periodic condition

(17)

for some .

Proposition 3.
  1. For , there exists a non-trivial solution to (11)-(13) satisfying the Bloch wave condition (17) if and only if

    (18)
  2. When (18) holds, a solution to (11)-(13) and (17) is given by (14) with the coefficients

    (19)
Proof.

(i) It is easy to see a non-trivial solution to (11)-(13) and (17) exists if and only if has an eigenvalue , and the latter condition is equivalent to (18), since and . (ii) When (18) holds, the vector given in (19) is an eigenvector of with the eigenvalue . Thus the second equation in (19) follows from (15). ∎

Proposition 3 and the Bloch theorem imply if and only if (18) holds for some , that is,

(20)

as already stated in (4). For , we have

(21)

If , the right hand side of (21) is larger than and (20) does not hold for . Thus, there is no negative part in . If , then some negative value belongs to , and the corresponding is pure imaginary. However, we concentrate on the high energy limit in the present paper, and the existence of the negative spectrum does not affect our argument. So we sometimes assume in the sequel, in order to simplify the notation. In this case, the results for will be stated in the remark.

By an elementary inspection of the graph of , we find the following properties.

Proposition 4.

Assume . Then,

  1. and for .

  2. The equation has a unique solution in the open interval for .

  3. The equation has a unique solution in the open interval for , and .

  4. For convenience, we put . Then, is monotone decreasing on for even , and monotone increasing on for odd .

Remark. When , we denote the solution to in by , and the solution to in by , for .

Figure 2: The graph of when is positive.
Figure 3: The graph of when is negative.

When , the spectrum of is given as

(22)

by (20) and Proposition 4. The closed interval is called the -th band. By the expression (22), the band gap is non-empty for every . Proposition 4 also implies the function () has the unique inverse function . Then the band function is defined by

(23)

By definition, the band function is a real-analytic, periodic, and even function with respect to . The -th band is the range of the band function .

Let be the spectral projection for the self-adjoint operator corresponding to the -th band . The spectral theorem implies

where means the strong limit in . Let be the integral kernel of the operator , that is,

for . Let us calculate more explicitly.

Proposition 5.

Assume . For and , let given by (23). Let be the Bloch wave function defined by (14) and (19) with . Then, for any and , we have

(24)
(25)

Remark. When , the same result holds for , but the range of the function is .

Before the proof, we prepare a lemma about the Wronskian of the Bloch waves. The Wronskian of two functions and is defined as

Lemma 6.
  1. For any two solutions and to (11)-(13), the Wronskian is a constant function on .

  2. Let and given in Proposition 5. Let be the normalized Bloch wave function defined by

    Then we have

    (26)
    (27)
Proof.

(i) It is well-known that is constant on for every , since and are solutions to (11). Moreover, (12) and (13) imply

for every . Thus is constant on .

(ii) The first statement (26) follows immediately from the definition (14) and (19). We introduce an auxiliary function by . Then we have

(28)

Since satisfies (11)-(13) and (17), it is easy to check

(29)
(30)
(31)
(32)

In this proof, we denote the inner product in , that is, . Then we have from (29)

(33)
(34)

By differentiating both sides of (33) with respect to , we have

(35)

where . By differentiating both sides of (34) with respect to , we have

(36)

By differentiating (30)-(32) with respect to , we see that the derivative also satisfies the same relations (30)-(32). Then we have by integration by parts

(37)

By (29), (35) and (37), the first term and the third in the left hand side of (36) cancel with each other. Thus we have

Here we use (30)-(32) in the second equality, (28) in the third, and in the last. ∎

Proof of Proposition 5.

First, the Floquet-Bloch theory tells us

(38)

for any . Actually, is the normalized eigenfunction of , where is the Hilbert space defined by

(39)

Since the whole operator has the direct integral decomposition , the formula (38) follows from the eigenfunction expansion for (for the detail, see e.g. Reed–Simon [14]).

Let and . Since , , and , we have from (38)

(40)

Moreover, we have by (27)

(41)

The Wronskian on the interval is calculated as follows.

(42)

By (16) and (18), we have

This equality and (19) implies for

(43)

Substituting (42) and (43) into (41), we have

Substituting this equality into (40), we have (24). The derivative (25) is obtained by differentiating . ∎

Remark. Note that is positive for for odd , and negative for even . Substituting (41) into (40) and making the change of variable , we have for

(44)

The formula (44) can be deduced in another way. According to the Stone formula ([13, Theorem VII.13]), the spectral measure for the operator is represented as

(45)

where is the boundary value of the resolvent . The integral kernel of the resolvent operator for (the resolvent set of ) is given as

(46)

where , , and is the solution to (11)-(13) decaying exponentially as . The two functions are given by (14) and (19) with replaced by the solutions to

so that . By choosing the solution appropriately, (45) and (46) give the formula (44).

3 Analysis of band functions

In this section, we analyze the band function , which is explicitly given by

(47)

especially its asymptotics as . Here is the inverse function of

is given in Proposition 4 and its remark, and we put . By the formula (47), we can draw the graphs of , 555 The inverse correspondence is useful for the numerical calculation. which are illustrated in Figure 1 in the introduction. From Figure 1, we notice that is similar to the parabola on the interval , except near the edge points. From this reason, we mainly consider the function on the interval , thereby we can simplify some formulas given below. Figure 1 also suggests us it is better to analyze when its value is near the band edge, and near the band center, separately.

3.1 Explicit formulas for derivatives

Our goal is to give an asymptotic bound for the oscillatory integral (24), by using Lemma 15 in Section 4. Then we need lower bounds for the derivatives of up to the third order, which are calculated explicitly as follows.

(48)
(49)