UDC 517.958
LANDAU-ZENER EFFECT FOR A QUASI-2D PERIODIC SANDWICH
N. Bagraev1, G. Martin2, B. S. Pavlov2'3, A. Yafyasov3
1 A. F. Ioffe Physico-Technical Institute, Russian Academy of Sciences, St. Petersburg, Russia 2NZ Institute for Advanced study, Massey University, Albany Campus, New Zealand 3V. Fock Institute for Physics at Physical Faculty of the St. Petersburg University, Russia
[email protected], [email protected], [email protected], [email protected]
Bloch-waves in 1D periodic lattices are typically constructed based on the transfer-matrix approach, with a complete system of solutions of the Cauchy problem on a period. This approach fails for the multi-dimensional Schrodinger equations on periodic lattices, because the Cauchy problem is ill-posed for the associated elliptic partial differential equations. In our previous work [8] we suggested a different procedure for the calculation of the Bloch functions for the 2D Schrodinger equation based on the Dirichlet-to-Neumann map substituted for the transfer -matrix. In this paper we suggest a method of calculation of the dispersion function and Bloch waves of quasi-2D periodic lattices, in particular of a quasi-2D sandwich, based on construction of a fitted solvable model.
Keywords: Landau-Zener effect, Bloch waves.
1. Transfer- matrix and DN-map approach to construction of Bloch- functions in 1D periodic lattices
The study of the basic quantum features of solids can be reduced to the one-body spectral problem on periodic lattices and construction of the quasi-periodic solutions of the one-body Schrodinger equation - Bloch-functions, see [16,19]. In the 1D case Bloch-functions are constructed on the period (0, a), q(x + a) = q(x), as linear combinations x = @ + m< of standard solutions of the Cauchy problem satisfying the initial conditions 0(0) = 1,0'(0) = 0, <^(0) = 0,< (0) = 1:
-0" + qO = AO, + q< = A< (1)
A linear combination x = 0 + of the two above solutions, with Wronskian equal to 1, represents a Bloch function, if it satisfies the quasi-periodic boundary conditions
x(a) = vx(0), x'(a) = (0)-
The corresponding spectral bands as are defined by the condition —1 ^ T/2(A) ^ 1 imposed on the trace Tr T(A) = [0(a) + <(a) of the transfer matrix
( 0(a) <(a) ) ( u(0) ) = ( u(a) ) ( u(0) ) ' = ^ 0'(a) < (a) J' ^ u' (0) ) = ^ u' (a) J = ^ u' (0) ) '
In fact the Bloch solution x(x,p) is bounded on the real axis x, if p2 = A is on the spectral bands and does not tend to zero at infinity , \x\ ^ ro, that is only if ^ = e%pa, with real quasi-momentum .
In particular for the Bloch solution x = 0 + m< we have
r(1 ) (1 ).
m m
det
0
Thus the Cauchy data (1,m) of the Bloch function give an eigenvector of the transfer matrix with the eigenvalue /j, :
9(a) — fi p(a) 9'(a) ^ (a) — p
thus y2 — [d(o) + p'(a)] ¡i + 1 = 0.
Hence the dispersion A = X(p) and the position of the spectral bands a : = 1 are defined by the trace of the transfer matrix, see Fig.1.
)
Fig. 1. The spectral bands as of the 1D periodic problem found from the condition
— 1 ^ Tr T < 1.
The above "transfer-matrix path" to the construction of Bloch functions fails in the case of multi-dimensional periodic lattices, because the Cauchy problem is ill-posed for these elliptic PDEs. Fortunately this is not the only way to calculate the dispersion function and the Bloch waves, even in the 1D case.
Indeed, we can obtain Bloch solutions from an analysis of a boundary problem, by consider, instead of the standard solutions of the Cauchy problem, another pair of solutions fa0,faa of the same Schrodinger equation —fa'' + qfa = Xfa, with the boundary data fa0(0) = 1,-00(a) = 0 and, respectively faa(0) = 0,faa(a) = 1, see Fig. 1 (1,2) below. These solutions fa0,faa of the Schrodinger equation are linearly independent if A is not an eigenvalue of the corresponding Dirichlet problem on the period.
W (fao,faa )
-faa' (0) = w (fa ,fa)
fao'(a) = W(fa, fa)
Then the Bloch solution can be found as a linear combination of fa, fa in the form
x(x) = x(0)fa(x) + x(o)faa(x) = x(0) [fa(x) + eipafaa(x)^ (2)
which implies:
X'(a) = x(0) [fao(a) + e*°faa(a)] = ^ x(0) fa0(0) + e^fa'a(0)] . Eventually, the quasi-momentum exponential etpa = p will be found from the quadratic equation
[fa0(a) + faa (a)] = V [fa0(0) + faa (0)]
which can be re-written as
2 fa0(Q)-faa(g) fa(a) _ 2 fa(Q)-faa(g) H i--, , ,-H--, , , — ß >--TTTrvs-ß ' —
fa (0)
fa(0)
faa (0)
0
a
a
Here the coefficient in front of is equal again to trace Tr T = /i + /i 1 of the
transfer-matrix:
Fig. 2. Standard solutions ^0 (1) of the 1D boundary problem. Standard solutions of the 2D boundary problem on the square period (3). Standard solutions of the boundary problems on the domain with a smooth boundary (4).
Thus the Bloch solution can be constructed of the standard solutions as x(O)[0o +
This naive approach to the construction of the Bloch function, contrary to previous, based on the transfer matrix, can be extended to multidimensional lattices, because it is dealing with objects naturally defined in a multidimensional environment. Indeed, define the Dirichlet-to-Neumann map (DN-map) as the transformation of the Diricjhlet boundary data ^(0),^(a) of the solution ^ on the boundary into the Neumann data ^'(0),^'(a), associated with the positive direction on the x-axis. Notice, that our definition of the 1D DN - map, in this section, is only slightly different from the standard one which is associated with the positive normal on the boundary of the domain, but not with the positive direction of the x-axis :
VM.
stand
( u(0)\ ( -u' (on/ -1 0\f u' (on/ -1 0 \VKr ( u(0) \ ^ u(a) ) - ^ u'(a) )\0 1 ) V u'(a) J \ 0 1 ) \ u(a) J
Hence our DN-map transfers the Dirichlet data (u(0),u(a)) as follows:
( f (0) ^(0) ^ ( u(0) \ = ( U' (0) \ ( u(0) \
V ^0(a) ^a(a) ) V u(a) ) V U'(a) J V u(a) ) '
(4)
x' (0)
(5)
Then the quasi-periodic conditions imposed onto the boundary data (1,^)^(0), (1, /j,)x'(0) of the Bloch function are represented as a homogeneous equation with respect to the the independent variables (u(0),u'(0)):
( Va°) fa (0) 1 ) y(0) _ ( 1 ) J
V fo(a) fa (a) )\ ») X(0) _ ^ ») X
This can be considered as a homogeneous equation for Cauchy data (x(0),x'(0)) at the left border point x _ 0 of the period. Then a nonzero solution of the problem exists under the determinant condition.
det/ ^0(0) + M(0) -1\ 0
\fo(^)+ («0 )
which coincides with (3).
This approach is based on the boundary problem and the Dirichlet-to-Neumann map, see next section for it's two-dimensional version. The Cauchy problem is present here just in the form of the data (u(0),u' (0)), which can be considered as independent coordinates characterizing the solution u, due to the uniqueness theorem: (u(0) = 0,«'(0) = 0 involves vanishing of the corresponding solution of the Schrodinger equation —u" + qu — Xu = 0).
2. DN-map approach to construction of Bloch- functions in quasi-2D periodic lattices
The proposed method of constructing of Bloch functions does not rely on the existence of solutions of the Cauchy problem. Instead, it uses the uniqueness of the solution of the Cauchy problem and the Dirichlet -to-Neumann map. Both details are present in the multidimensional case, although the existence of solutions of Cauchy problems is not guaranteed. Fortunately we do not need the existence here.
Really the only difference between the general multidimensional approach suggested from the one-dimensional version is the unified choice of the direction of the direction of the normal derivative on the boundary: the positive normal is defined in multidimensional case as an exterior normal, which involves changing signs of some matrix elements of the DN-map.
In the multidimensional case the roles of the basic solutions fa ,faa of the boundary problems for the Schrodinger equation on the square 2D period are played by solutions associated with the boundary data forming an orthogonal basis {fa } e L2(t) on the boundary of the period Q : dQ = r, see Fig.2, (4):
-△fas + qfas = Xfas, fas
fas> (far,far)i2(r) = $st-
Due to the uniqueness theorem for these elliptic equations the solutions {fa} are linearly independent, and their linear combinations approximate a solution of any boundary problem with the boundary data ur decomposed on the boundary basis.
This fact allows us to define and calculate the Dirichlet-to-Neumann map on the domain as an operator in the space of boundary values of smooth solutions transforming the Dirichlet boundary data ur into the Nemann boundary data - the normal derivatives
^. r du
VN : ur —>• TT
on
(6)
see [23] for a discussion of the appropriate Sobolev classes. To calculate the matrix of the DN-map with respect to an orthogonal basis {ms} on the smooth boundary r, consider the matrix element of the DN-map
J Ul ^ {uhVNui)
Then the Green's formula allows us to transform the matrix element into the bilinear form of the Schrodinger operator.
{ui, VMum) = [VuiVum + qui um — Xut um] dQ. (7)
jn
This formula now allows us to calculate effectively the trace of the DN-map in some finite-dimensional subspaces, if the spectral parameter A is far from the eigenvalues of the Dirichlet problem on the domain Q. When A is close to a Dirichlet eigenvalue , it is more convenient to calculate the matrix elements of the Neumann-to-Dirichlet map. This is done based on the same
r
r
formula (7), but beginning from the solution of a sequence of Neumann problems for a smooth orthogonal basis {ps} in L2(r)
-Avs + qvs = Xv.
dvs dn
Ps
Then the Green formula implies the following expression for the matrix elements of the Neumann-to-Dirichlet map
. r^ du
- A v + qv - Xu, MV : —
dn
(NVpi ,pm) = [VviVvm + qvi vm - Xvi vm] dQ.
(8)
Once the Neumann-to-Dirichlet map is constructed, the Dirichlet-to-Neumann map, should it exist for given A, can be obtained as the inverse of the former, VM MV = I.
Notice, that the DN map , associated with the outward positive normal, has a negative imaginary part in the upper halfplane ^A > 0, but the inverse MV is a Nevanlinna-class function. Obviously choosing the inward positive normal results in MV with the negative imaginary part and the Nevallinna-class operator function VM.
Consider the quasi- 2D periodic lattice with a cubic period, see Fig. 3, and the Schrodinger operator
Lu = — Au + q(x)u (9)
on the lattice, with periodic potential q(x1,x2) = q(x1 + ma, x2 + na), m,n = ±1, ±2,..., zero
boundary conditions on the lower and the upper lids r0
x
0 r3 0 1 h
x
h of the lattice.
In this way the whole spectral problem on the lattice is reduced to the spectral problem on the period, with the same boundary conditions on the lids h, and the quasi-periodic conditions on the vertical walls r^.
The positive normal on r^2 is defined by e\,e2, and the positive normals on the walls Tq 2 are —e\, — e2. The quasi-periodic boundary conditions permit us to eliminate the boundary
0
data «Li,2, jr\ri,2 on the walls r,
r 0 an 1 1 0
1,2. 0
U
e-ipi,2 a u
du dn
—e
—ipi , 2«
du dn
Then the quasi-periodic boundary conditions on the walls 2 are reduced to a linear system
with respect to the "independent variables" u = {ua,ua, ^ of the components of the VM on the walls:
r1
du dn
), with a matrix composed
r2
(
du
dn ri 1 0
du,
dn oto
¿pi 2® dn
ipi 2® dn
\
r1
1
rl t
/ dug \
I dn I
V )
VM
u
u
r1
r2
=—ipia
U
?—ip2a
U
rl
(10)
rl J
r
S2
1 , 2
1 , 2
1,2
1,2
r
r
r
r
0
0
a
a
e
e
VN
u
u
ri
r2
3-ipia.
U
3- ip2a.
V
U
ri
= VN( -K )
V ß 1 Ua )
(11)
r2 /
L a /
Here ß = [^1,^2] = [e
= [plpia P1p2a]
is a diagonal matrix. The DN-map VN can be represented in matrix form with 2 x 2 blocks VN^a connecting the Dirichlet data on to the Neumann data
on Pa.
a "3
/ r3
r1 r £
/
Fig. 3. 3D-period of the quasi-2D lattice, with zero boundary conditions on r^
r
oi
Matrix elements of the DN map connect the Dirichlet data on r^fc with Neumann data on
(
12
VNaa VNaa
waa vnaa
^ = VNaa, (
vn10
VN10
VN21 VN]
vNia vNia vn21 vnia,
= VN,
oa,
VNH VNlO VNoo VNoo
) )
= VN(
aO■
= VN,
OO.
Then the DN-map is represented by the block-matrix
VN
(
VNaa VNOa
VNao
VNOO
with blocks mapping the data ua, u0 onto the positive normal derivatives the 0-components of the Bloch function can be eliminated based on u0 = which implies the following linear homogeneous system for the data [ua -function:
dUg
dn ß-1
In particular,
dn
U,
dito dn
of the Bloch
dn )
-1 Bu g r' dn '
/ dug \ /
{ -¿"ff J= {
VNaa VNOa
vnao vnOO
) ( ß 1Ua^) ■
(12)
Eliminating ^ we conclude that a nontrivial solution of the equation (12) exists if and only if zero is an eigenvalue of the operator:
[^VMoaH + nVNoo + VMaa 11 + VM00] Ua = 0. (13)
Then the Bloch function is obtained as a solution of the boundary problem for the Schrodinger equation
-Ax + QX = ^X-X
u„
.1,2
X
A±
e-Wl,2a
.1,2
K
Ai
Equation (13) is an analog of the quadratic equation (3), however questions concerning the existence of the corresponding solution of it in the general case is not yet completely understood, because we can't use the classical determinant condition of existence of non-trivial solutions of the homogeneous equation (13), see analysis of a general situation based on Schur complement - a matrix analog of the determinant "— in [18].
Fortunately for us, the physically meaningful spectral problem on the cubic periodic lattice with romboidal periods and relatively narrow connecting channels r%a, a = 0, a; 1 = 1, 2, gives a chance of simplification of the model down to the solvable level.
Fig. 4. 2D periodic lattice with romboidal periods
3. Finite-dimensional low-energy approximation for the dispersion surface of a quasi-2D periodic lattice
The structure of branches of the wave-functions on the links, connecting neighboring periods is determined mainly by the eigenfunctions of the conductivity band and by the covalent bonds formed from the upper filled orbitals on the period. Lower orbitals are essentially localized inside the period. This observation suggests that we substitute the spectral problem on the whole periodic lattice by one supplied with additional "partial" zero boundary conditions on the contacts r^, of the neighboring periods applied on the orthogonal complement N± c ¿2(r) of the contact space N and the partial matching of eigenfunctions of the valent and conductivity bands on N :
P
N
U
e
—ipia p N
U
1 0
P
N
1 0
du On
—e
—ipiap N
1 0
du On
P,
N
U
0.
(14)
1 0,a
The structure of the corresponding spaces N, N± depends on the energy, however for low temperature the energy is defined by the Fermi level Ap of the material and thus, in this regime, N can be selected independently of the energy. Then the above boundary conditions (14) define, together with the potential q and the corresponding differential expression Lu = —Au + qu, a selfadjoint operator LN on the period, with partial quasi-periodic boundary condition in N c L2 (r). In fact the contact space N is the main parameter of our one-body model of the 2D
periodic lattice. The freedom of choice of N here can be used in different ways to understand the structure and the functioning of the valent bonds and conductivity in solids.
The DN-map of the model Schrodinger equation with Dirichlet zero boundary condition on the complementary subspace and partial Dirichlet boundary condition in the contact space N
— Au + qu = Xu, P^u
= 0, PNu
r¡
= u? E N. (15)
r'
is obtained via framing of the standard DN-map by the projections PN onto the contact space N of the covalent bonds and conductivity channels.
vmn = pn vm pn .
Then the dispersion equation of the model with a chosen contact space N is obtained, as in (13), via substitution of the standard DN-map by the partial DN map
[^vmNNaV + ^mNo + vmNa» + WNo] ua = 0. (16)
The ultimate equation, contrary to (13), is finite-dimensional. This allows us to obtain the dispersion equation for the model periodic quasi-2D lattice in explicit form as a determinant condition of existence of a nontrivial solution of the homogeneous equation. Indeed, assume that there exist a single resonance eigenvalue of the relative Dirichlet problem, situated close to the Fermi level AF, Xf ~ AF, on the period, with an eigenfunction tpf. Then, for low temperature, the relative DN-map can be replaced on the temperature interval near the Fermi level (AF — 2mnTh-2, AF + 2mnTh-2) by a sum of a one-dimensional polar term and a correcting term
pN \ / pN 9<p? nN VJsiN _ dn/\r dn + pNBpN = _ + BN_
X — A1 X — Ai
Hence (16) is represented in a matrix form, based on the decomposition N = J2i=12 a=0 a N(^J.
Elimination of the variable /J;V fa
an
gives a finite-dimensional equation for PN v
similar to
one above, see (13) [ ]
^QNaV + VQNo + QNaV + QN0] Ua +
(X — Xf) [^BNaP + ^No + BNa» + BNo] Ua = 0, (17)
with ¡i = = (eipia,eip2a). The determinant condition for existence of a non-trivial
solution to the ultimate equation gives the dispersion equation A = X(p1,p2) for the model Hamiltonian LN of the periodic lattice.
4. Landau-Zener phenomenon and Bloch-functions on a quasi-2D periodic sandwich
The essence of the 1D Landau-Zener phenomenon is easy to see from the simplest example of two parallel strings
1 d2 u1 dV 2 1 d2 u2 d2 u2 1
+ eu , -r ^ 0 = ^ 0 + eu,
q dt2 dx2 c2 dt2 dx2
manufactured from a magnetic material, weakly interacting due to their different or equivalent polarity. Re-writing the above linear system in terms of Fourier-dual variables t, £ (frequency and momentum) as
1 2~1 r-2~2 ~2 1 2~2 r-2~1 ~1
-r T U = t U ~ £U , —T U = C U — eu
c? <a
r
r
yields a dispersion equation in the form of a determinant condition for the Fourier-dual variables p2 = c-2t2 + £2. The branches A1)2(e) of the dispersion curve p = A1)2(e)r are just straight lines crossing at the origin of the (r, p) plane, but form two branches of a hyperbola for £ > 0. The Landau-Zener effect is precisely the transformation of the crossing of the terms A1 (p), A2(p)
for £ = 0 into the "quasi-crossing" for £ > 0 , as it is shown in Fig. 5 . This effect was first observed in [31], see an extended analysis of the 1D case in [12]. It was noticed that the interaction of terms As in solid-state quantum problems leads to pseudo-relativistic properties of the corresponding particles/quasi-particles. Fresh interest for quasi-relativism in solid state physics arose in connection with the discovery of the high mobility of charge carriers in graphen, see for instance [13,20,28]. The 1D Landau-Zener effect in the case of weakly-interacting lattices can be considered as a "blowup" of the 0-dimensional singularity at the crossing point of the terms, see Fig.6 (1,2). Physicists have not yet decided on the magnitude of the mass of the charge carrier in Graphen, but there are recent theoretical indications, see [13], that it is small, but non-zero. This would mean that the conic dispersion surface presented in [20], may be interpreted a blowup of the tip of the cone, see Fig. 6 (3,4) Unfortunately, this hypothesis would contradict to our previous observations concerning the 2D Landau-Zener effect, see Fig. 8 (2). It remains an important question if an essential anisotropy of the effective mass of electron in graphen could be measured, to support the idea of the blowup resolution if the conic singularity presented on the picture in [20], but the mathematical arguments support the anisotropic stance of the resolution of the singularity on the line of intersection of two 2D terms blowing up in a form of a gutter, see Fig. 8 ( 2).
Indeed, the Bloch functions of two electrons on a pair of remoted periodic lattices with romboidal periods, see Fig 7, separated by a potential barrier (or two holes on lattices, separated by a quantum well) can be obtained as the product of the the Bloch functions on the isolated lattices. The corresponding dispersion equation for a single electron (hole) on the remoted lattices is obtained as a product of dispersion functions on the lattices [E — Eu(p)][E — Ed (p)] = 0. But if the mutual positions of the lattices permit the electron ( hole) to jump from one lattice to another, then the product of the dispersion functions is transformed into the perturbed product [E — Eu(p)][E — Ed(p)} = e(E,p) with a small term in the right-hand side.
Fig. 5. One - dimensional Landau-Zener effect.
Fig. 6. The blowup of the zero-dimensional singularity for 1D terms (1,2) and 2D
terms (3, 4)
Our aim is to calculate the perturbed equation based on the spectral data of the lattices and a model, see Fig. 8(1) of the interaction between lattices introduced via special assumptions about tunneling across the 5- barrier, see below. A naive physicist would easily see that the blowup of the intersection line of the dispersion surfaces E = Eu(p), E = Ed(p) of the upper and lower lattices with a barrier between them constitute a sandwich and would not give a cone (with a rounded top), see Fig. 8(4), but rather a gutter-like shape of the resulting dispersion surface, Fig. 8(3).
The final decision on the type of the blow-up (either the conic -like blowup or the gutter like blowup) must be recovered from experiments aimed at measurement of the effective mass anisotropy. But in this paper, based on our arguments above and also the modern analysis of blowup from 1D and 2D singularities in [24], we represent, see Fig. 8 (2), a theoretical analysis of the gutter-like blowup resolution of singularity localized of a curve obtained as an intersection of the 2D terms arising from the two neighboring periods of the upper and lower lattices of a quasi- 2D sandwich structure.
Our study is motivated by the recent discovery of the quasi-relativistic behavior of terms in the man-made sandwich of two periodic quasi-2D lattices, see [5]. We hope that the sandwich structures of two weak interacting quasi-periodic lattices can be used as a source of various artificial material structures with useful and interesting transport properties. The study of the Landau-Zener transformation in 2D case requires new analytic machinery, since, as we have noticed above, the 1D technique, based on the transfer-matrix, fails because of the "ill-posedness" of the Cauchy problem for Schrodinger equation on a square period. Thus we consider the periodic 2D sandwich based on Dirichlet-to-Neumann technique developed in the previous section.
Fig. 7. Two-storied period of the periodic quasi-2D sandwich lattice
Originally we considered a 2-stordie period, see Fig. 7 with partial quasi-periodic boundary conditions on the vertical walls 1 = 1, 2, a = 0,a, with the contact subspaces Ni,2, zero boundary conditions on the upper and lower lids r^, and a bilateral potential barrier r^,
emulating the upper and lower layers of silicon heavily doped with borons and the intermediate layer of pure silicon, substituted by the ^-barrier.
This model is already soluble, but we make ome more step to obtain further simplification
by substitution of the rectangular barrier by a 8- barrier, see Fig. 8(1). Denoting by nfu the outer
normals on both sides r 1'd of the 8 - barrier, we represent the boundary condition on r as
P,
N
d ^
+
d ,
+ ßVb = 0, with Vb = PNb^
Pn„
pu • 1 b
(18)
dnu lr6 ' dnd lr6
Here we assume the continuity condition of the wave-function on the potential barrier
and a jump of the normal derivative
dnu
d
dnd L dn J
u 1 b b
depending on the value of the
Nb- projection PNb ^
of the wave-function on the barrier.
Once the magnitude of the tunneling constant ¡3 is fixed, we may consider the DN-map of the two-storied period with the joint vertical walls r= rua U rd>a, and Ni = NU U Nd. Then the dispersion equation for the 2D sandwich is similar to previous formulae (16,17).
Fig. 8. Two-story period of the periodic quasi-2D sandwich lattice
It is interesting to observe the behavior of the dispersion surfaces in terms of the tunneling parameter ¡3. To do this we consider the relative DN-maps of the upper and the lower stories Qu, Qd of the whole 2-story period Q of the sandwich. Denote by NU, Nd, Nb the contact subspaces associated with the corresponding walls F^ i, F^ i, r and by NU'±, Nd'L, N^ the relevant orthogonal complements in the spaces of square-integrable functions on the walls.
ru vMu
vMU = I vMu0a VM10 vMuob vMuba vMUo VM]
bb
(19)
with 2 blocks
vHl
(
puVM\ p^dM
a,a' u
u r\ pu
P'UVMt
pzvn:
p u
a,a' r 2 p u a,a! r 2
)
and 2x1, 1x2 and 1x1 blocks
VM\
u
a,b
(
PUVNIbPbU P2UVMIbPU
)
vNla = (PbUVMUaPU; PbUvMlaPU), vN\
PUVNUb PU-
Landau-Zener effect for a quasi-2D periodic sandwich 43
A similar representation is valid for VMd. The joint DN-map VM2d of the period with
continuity condition in Nb on r : PNb V
= Pbv
and the tunneling condition on the barrier
Ph
<9^
dn
+ l3Pbv
rb
0
is given by the block-matrix acting on the vector Wq, PbWb, ^o, , with 2D components
W = (*«i, *«2), W = № W2),
and 1D component Pb Vfe.
= (vd,
a v a.1 '
V = v
01
K)
VM*
2D —
/ vM1 vm:o VMuab 0 0 \
vMu0a VMum VMuob 0 0
vMuba VM¡0 [vMubb + vMdbb] VMdm VML
0 0 VMdob VM0o VMt
V 0 0 VMdab VMdao VMdaa )
(20)
Due to the partial zero condition on the walls and the lids with selected contact subspaces N™,N2£,Nf,Nd,Nb of the open channels, the components of the boundary vectors are selected from these subspaces and the matrix elements are framed by projections onto N™, N2?, Nf ,Nd,Nb. We omit the projections in the formula (20) for the DN-map. The quasi-periodic boundary conditions are represented, with the diagonal matrices ¡iu = №,^2] and fid = [^i, 1^2] on the boundary vectors, as
d
1 b
r
b
VM-
2D
Vu
a
- a
V
d
( dVa \
dn ^u dn
-p v
d
Vd dn dn
(21)
N'1 N?
The role of variables in these equations are played by the vectors W
(vual, V^2
vda
(V
dn
dn
L) G N? ©
= i^ii ^ii dn V dn
) e
dn ) e
and the vector G Nb.
The vectors , enter only into the right side of the last equation and can be easily eliminated, resulting in a homogeneous finite-dimensional linear system, which has a non-trivial solution under the determinant condition:
a
( £>11 D12 0 \ det I D21 D22 D23 I — 0
V 0 D32 D33 )
where
A i = vNuaa ßU + vNUo + ßU vNUa + ßuVUU
aaH-U ^ lSJV aq ~T f^U ^J^ 0« ~ f^u^^ 00>
12 = VJ X^ + ßd VU^
U 0,
D12 = VUUb + ßd VUU D21 = vuUaßU + vuu
D22 = vuU + vudbb + ßi,
D23 = vuto + vudbaßd,
D32 = vudab + ßd vudb,
D33 = vudaa ßd + vUdao + ßd vuda + ßdvUdo.
The determinant condition of existence of the nontrivial solution for large ß takes the
form
det [VUUa ßu + VUUo + muu VUUa + ßuV^Uo] x
x det [VML * + VK„ + -, VMl + M] - o (ietm,JvUi + ßI])
(23)
bb ' bb
gives a dispersion equation for the quasi-2D periodic sandwich for large ¡3, which is represented as a blow-up of the crossing of 2D terms of the upper and lower planes of the sandwich :
det [VUUa VU + VUUa + VU VUu0a + vUDMUo ] x
(24)
x det [VUdaa d + VUda0 + fid VUdQa + ^dVU'^a] = 0.
Further simplification can be obtained via substitution of the matrix elements of VU2D by the corresponding rational approximations near the resonance eigenvalues XU,X'{... of the partial Dirichlet problem, similar to (16, 17) in previous section. If there is only one simple resonance eigenvalue XU, Xf of the Schrodinger operator on each upper and low periods, then for the matrix elements of the upper and lower periods we have
r\U,d
vUwA, « , + Bu,d,,
* a,a' ^ U,d a,a''
A — Af
which gives, due to finite dimension of the components, a rational equation for the dispersion function
det [QUa Vu + QUa + VU QUa + VuQUo + (A — XU)(BUa Vu + ^ + Vu BUa + ^0)] X
det [Qdaa »d + Qda0 + Vd Ol + m0 + (A — k)(&„ »d + + »d B^ + ^00)] = Otf-f),
corresponding to the blowup of the intersection L of the dispersion surfaces of the upper and the lower components of the period. On a small neighborhood of a given point (Xt ,pt E L) of the intersection the blowup looks as a gutter oriented in the tangent direction of L, with curvature of the cross-section proportional to [3, see Fig. 8(2). Thus the 2D Landau-Zener effect in the case of a sandwich defines a gutter- like dispersion surface, with a small effective mass in the direction orthogonal to the direction of the intersection L.
The practical receipt of construction of the dispersion surface for a two-storied quasi-2D lattice consists of several steps. Assuming that the two-storied period Q is connected with neighboring ones by covalent bonds, we select the contact spaces Nr = N in a special way to reflect the structure of the covalent bonds on the boundary r of the period, and apply the partial zero boundary conditions on the orthogonal complements N± of N at the boundary of the periods. Select the basis in Nr and construct the partial DN and ND -maps in N for the Schrodinger operator on the period for a temperature interval of the spectral parameter close to the
Fermi level. Due to uniqueness theorem of the Cauchy problem for the Schrodinger equation, the difficulties in construction of the partial DN-map near the eigenvalues of the Dirichlet problem can be avoided via construction of the corresponding ND- map and using the connection between them VMMV = IN .A one-pole (or, more generally, multi-pole) rational approximation of the DN-map on the energy interval near the Fermi level, taking into account the polar terms at the resonance eigenvalues on the interval and a regular approximation for the contribution from the complementary spectrum. This permits to find the finite-dimensional determinant condition of existence of nontrivial real quasimomenta and the corresponding "sandwich" Bloch functions obtained as a hybridization of the Bloch functions of the upper-lower layers of the sandwich.
5. Dispersion equation for a sandwich with a resonance barrier
More interesting physical picture arises when the barrier possess resonance properties, taken into account by the energy-dependence of the coefficient ¡3, see [30]. The resonance properties may be caused by the size quantization on the space-charge region near the surface of the emitter, see for instance [29]. In the previous section we modeled a straight rectangular barrier by a 5 barrier at the mutual boundary r of the upper and lower parts Qu'd of the two-
storied period: + (3u =0. In [7] the barrier has resonance properties defined by the
r
sub-bands of 2D holes. Such a barrier can be modeled by the energy-dependent parameter /3. This parameter arises in the course of the construction of a zero-range model of the resonance barrier. In this section we follow [21]when introducing the operator extension procedure for the finite positive matrix A - the inner Hamiltonian of the barrier
a2
A = a2 Pr E ^ E, dim E = n < rn.
Here a2 > 0- the eigenvalues of the inner Hamiltonian of the barrier and Pr = vr) {ur are the corresponding orthogonal spectral projections. We will establish, as a result of our analysis, a duality between the eigenvalues and the dimension quantization levels, similar to the duality between the eigenvalues of the Dirichlet and Neumann problems on an interval. Restriction of the matrix A is equivalent to selection of the deficiency subspace for a given value of the spectral parameter. We choose the deficiency subspace Mi as a generating subspace of
A : \/ AkMi = Ea
k>0
such that
A + il
---Mi r\Ni = 0, dimA/i = d.
A — il
Set
da = (A — il)-i (Ea eMi) and define the restriction of the inner Hamiltonian as A ^ A0 = A\ A. Then Ni c Ea plays the role of the deficiency subspace at the spectral point i, dim Mi = d, 2d ^ dim Ea, and the dual deficiency subspace is M-i = jrf/M- The domain of the restricted operator A0 is not dense in Ea, because A is bounded. Nevertheless, since the deficiency subspaces M±i, do not overlap, the extension procedure for the orthogonal sum l0 © A0 can be developed, as in, for instance, [21]. In this case the "formal adjoint" operator for A0 is defined on the defect Mi + M-i := M by the von Neumann formula : A+e ± ie = 0 for e G M±i,. Then the extension is constructed via restriction of the formal adjoint onto a certain plane in the defect where the boundary form vanishes (a
"Lagrangian plane"). According to the classical von Neumann construction all Lagrangian planes are parametrized by isometries V : Mi — Mi in the form
Tv = {I - V) Mi.
It follows from [21] that, once the extension is constructed on the Lagrangian plane, the whole construction of the extended operator can be finalized as a direct sum of the closure of the restricted operator and the extended operator on the Lagrangian plane.
Notice that the operator extension procedure may be developed without the non-overlapping condition also, see [17]. In particular, in the case dim£^ = 1, which is not formally covered by the above procedure, was analyzed in [25] independently of [17]. The relevant formulas for the scattering matrix and scattered waves remain true and may be verified by direct calculation.
Choose an orthonormal basis in Mi, say {fs} , s = 1, 2,... d, as a set of deficiency vectors of the restricted operator Aq. Then the vectors fs = jz^jfs form an orthonormal basis in the dual deficiency subspace M-i. Under the non-overlapping condition one can use the formal adjoint operator A+ defined on the defect M:
d
u = J]^ fs + xs fs] e M, (25)
s=1
by the von Neumann formula, see [1],
d
A0U = Xs fs + i Xs fs]. (26)
=1
In order to use the symplectic version of the operator-extension techniques, we need to introduce in the defect a new basis ws,±, on which the formal adjoint A+ is correctly defined due to the non-overlapping condition above:
fs + fs_ A ,
fs — fs I r ws- = - =--:-7 Is,
2 i A — il
hence
A+Ws,+ = Ws,- A+Ws,- = -Ws,+
It is convenient to represent elements u e M via this new basis as
d
U =Y1 K+>s Ws,+ + — Ws,-}- (27)
s=1
Then, using the notation d=1 £s,± fs := we re-write the above von Neumann formula as
A 1 1 A
-rrC - -tjC, A+U=-~--£+--:--r (28)
A - ir + A - ir- 0 A - ir + A - ir- v y
The following formula for "integration by parts" for abstract operators was proved in [21].
Lemma 5.1. Consider the elements u, v from the domain of the (formal) adjoint operator A+:
A 1 A 1
v —_fu__fu v —_fv__fv
A-tP+ A — il A — il + A — il
with coordinates ^^, :
d
S=1 S=1
Then, the boundary form of the formal adjoint operator is equal to
?u Pv\ _
5+ , ^—/n — , ^ + ■
JA (u,v) = {A+u,v) - (u, Ä+v) = (C+, Cfa - (t, fa. (29)
One can see that the coordinates ^, of the elements u, v play the role of the boundary values similar to {U'(0), U(0), V'(0), V(0)} for the Schrodinger equation —U" + VU = XU on (0,a). We call these symplectic coordinates for the elements u,v. The next statement, proved in [21], is the main detail of the fundamental Krein formula [1], for generalized resolvents of symmetric operators. In our situation it is used in the course of the calculation of the scattering matrix.
Lemma 5.2. The vector-valued function of the spectral parameter
uW = l^fi a = "»+ A^rfi - aV" (30)
satisfies the adjoint equation — XI]u = 0, and the symplectic coordinates E A^ of it are connected by the formula
I+ XA A-Xl"
C+ = PNi-r^iC (31)
The matrix-function
Pn/j^PN.^M-.M^M
has a positive imaginary part in the upper half-plane ^m X > 0 and serves an abstract analog of the celebrated Weyl-Titchmarsh function, see [1,15]. It exists almost everywhere on the real axis A with a finite number of simple poles at the eigenvalues fa of A. The boundary values of the solution u of the adjoint equation [A+ — XI]u = 0 are connected via the abstract Weyl-Titchmarsh function as
fa = Mt+. (32)
We obtain the zero-range model the resonance barrier rb imposing of elements ^ = (fa, fa, ^ fa E L2(Qd),fa e E,fau E L2(qu) boundary conditions at the barrier rb. In what follows we restrict our analysis to the case of a one-dimensional defect, d = 1, that is scalar fa, M and the one-dimensional jump of the normal derivative at the barrier Then, following [29] a selfadjoint boundary condition at the barrier can be selected based on a choice of 3D complex vector ¡3 = (1, ¡3,1) defining the Datta-Das Sarma boundary condition at the barrier imposed on the partial boundary values ^ = (fa,fa,fa) , = Pb^j, with the normal
directed outside the barrier:
^ II £
For the selected above vector parameter ¡3 = (1,fa 1) this boundary condition looks like the condition at the ^-barrier:
p»Pr- + + = = = i3'^- = (33)
dn\rd dn\ 1 1b 11 b
u
±
Eliminating the inner components of the boundary values lbased on (32), we obtain the boundary condition imposed on the partial jump r/ + /"/<77^ | r< = of the wave-function:
b
d ^
b dn
+ \p\2M-iPb^b = 0. (34)
The dispersion equation for the sandwich with a resonance barrier is obtained from 21 via replacement of f32 by \2M-1. In fact at each zero of M the corresponding dispersion surface endures Landau-Zener effect, because the crossing of 2D terms is , in fact, transformed into quasi-crossing. Hence the zeros of M play the role of resonance levels of the dimensional quantization. This defines the duality between the eigenvalues of the inner Hamiltonian of the barrier and the poles of M which appear as resonance peaks corresponding to the sub-bands of 2D holes, similar to the duality revealed in our paper [29]. One can see that the resonance peaks at the sub-bands are dual to the eigenvalues of the inner Hamiltonian, which can be interpreted as the dimensional quantization levels, similarly to [29].
Suggested approach to calculation of the dispersion function and the Bloch waves is naturally extended to multidimensional lattices and sandwiches and forms a convenient analytical base for relevant computing. We postpone description of the corresponding material to the oncoming publications.
6. Superconductivity in a quasi-2D periodic sandwich: Landau- Zener gap enhancement
Fig. 9. Additional spectral gap arising from a simple and flat band overlapping: transformation of the band's crossing (1) into the quasi-crossing (2) (1D schematic figure)
Fig. 10. Additional spectral gaps arising from the 2D Landau-Zener phenomenon: transformation of the crossing of the dispersion surfaces into the quasi-crossing (2) (the 2D section of the 3D gutter)
In [7] high-temperature superconductivity was observed in a Si-B sandwich. This is interpreted as a Josephson effect arising due to the interaction between the Bloch electrons on the upper and lower plates of the sandwich, defined by the boundary condition on the barrier r, see Fig. 10. The transformation of the crossing of the corresponding 2D terms into quasi-crossings — the Landau-Zener phenomenon — is similar to that discussed in [2] with the standard and flat bands overlapping, see Fig. 9. It was shown in [2] that in the one-dimensional model the spectral gap SLZ, arising due to the Landau-Zener phenomenon (Landau-Zener gap) causes the enhancement of the BCS gap and hence better high-temperature stability of the superconductivity phenomenon. In [7] additional electrodes were used to manipulate the positions of the sub-bands in the barrier, and the stable high-temperature conductivity effect was observed. The presence of the flat band is not essential for the theoretical interpretation of the superconductivity observed: the Landau-Zener gap arose due to the sandwich structure with a resonance barrier. But in the case [2] when the flat band is involved, the density of states [VPA]_1 is automatically large, while in the case of the SiB sandwich we do not have yet any theoretical estimation of the density of space to explain the HTSC effect. We hope to develop computing, based on above analysis, to obtain thew estimation in further publications.
7. Acknowledgement
Authors are grateful to the Marsden Fund of the Royal Society of New Zealand for a generous support which allowed the personal contacts of our team over the mountains and across the oceans.
One of authors (B.P.) is grateful to the Russian Academy for the support from the grant RFBR 03-01-00090.
References
[1] Akhiezer N.I., Glazman I.M. Theory of Linear Operators in Hilbert Space, Vol. 1. — New York: Frederick Ungar Publ., 1966. Translated from Russian by M. Nestel.
[2] Adamyan V., Pavlov B. High-Temperature superconductivity as a result of a simple and flat bands overlapping // Solid State Physics. — 1992. — V. 34, No. 2. — P. 626-635.
[3] Albeverio S., Gesztesy F., Hoegh-Krohn R., Holden H. Solvable models in quantum mechanics. — New York: Springer-Verlag, 1988.
[4] Albeverio S., Kurasov P. Singular Perturbations of Differential Operators. — London Math. Society Lecture Note Series, Vol. 271. — Cambridge University Press, 2000.
[5] Bagraev N., Buravlev A., Kljachkin L., Maljarenko A., Gehlhoff W., Romanov Yu., Rykov S. Local tunnel spectroscopy of silicon structures // Physics and Techniques of Semiconductors. — 2005. — V. 39, No. 6. — P. 716-727.
[6] Bagraev N., Mikhailova A., Pavlov B., Prokhorov L., Yafyasov A. Parameter regime of a resonance quantum switch // Phys. Rev. B. — 2005. — V. 71. — 165308, pp. 1-16.
[7] Bagraev N., Klyachkin L., Kudryavtsev A., Malyarenko A., Romanov V. Superconductor properties for silicon nanostructures // In: Superconductivity theory and application, Ed. by A. Luiz, SCIVO, Chapt. 4, 2010. — P. 69-92.
[8] Bagraev N., Martin G., Pavlov B. Landau-Zener Phenomenon on a double of weakly interacting quasi-2d lattices // In: Progress in Computational Physics: Wave propagation in periodic Media, Bentham Science publications (PiCP), 2010.01.06. — P. 61-64.
[9] Berezin F.A., Faddeev L.D. A remark on Schrodinger equation with a singular potential // Dokl. AN SSSR. — 1961. —V. 137. — P. 1011-1014.
[10] Brüning J., Martin G., Pavlov B. Calculation of the Kirchhoff coefficients for the Helmholtz resonator // Russ. J. Math. Phys. — 2009. — V. 16, No. 2. —P. 188-207.
[11] Callaway J. Energy band theory. — New York—London: Acacemic Press, 1964.
[12] Demkov Y.N., Kurasov P.B., Ostrovski V.N. Double-periodical in time and energy solvable system with two interacting set of states // J. Physics A, Math. General, 28 (1995) p.434.
[13] Firsova N., Ktitorov S. Electron's scattering in the monolayer graphen with the short range impurites // Phys. Letters A. — 2010. — V. 174. — P. 1270-1273.
[14] Fox C., Oleinik V., Pavlov B. A Dirichlet-to-Neumann approach to resonance gaps and bands of periodic networks // Proceedings of the Conference: Operator Theory and mathematical Physics, Birmingham, Alabama, 2005. In: Contemporary Mathematics. — 2006. — V. 412. — P. 151-169.
[15] Gorbachuk V.I., Gorbachuk M.L. Boundary value problems for operator differential equations // Translated and revised from the Russian, 1984. Mathematics and its Applications (Soviet Series), Vol. 48. Dordrecht: Kluwer Academic Publishers Group, 1991.
[16] Kittel C. Quantum Theory of Solids, Chapter 9. — New York—London: John Wiley & sons, inc., 1962.
[17] Krasnosel'skij M.A. On selfadjoint extensions of Hermitian Operators // Ukr. Mat. Zh. — 1949. — V. 1. — P. 21-38.
[18] Mennicken R., Shkalikov A. Spectral decomposition of symmetric operator-matrices // Mathematische Nachrichten. — 1996. — V. 179. — P. 259-273.
[19] Madelung O. Festkorpertheory. Bd. I, II, Ch. IV. — Berlin, Heidelberg, New York: Springer Verlag, 1972.
[20] Novoselov K., Geim A., Morozov S., Jiang D., Katsnelson I., Grigorieva I., Dubonos S. Two-dimensional gas of massless Dirac fermions in graphen // Nature. — 2005. — V. 438. — P. 197-200.
[21] Pavlov B. The theory of extensions and explicitly solvable models // Uspekhi. Mat. Nauk. — 1987. — V. 42, No. 6 (258).— P. 99-131.
[22] Pavlov B. The spectral aspect of superconductivity- the pairing of electrons // Vestnik Leningr. Uni. Math. Math. — 1987. — V. 3. — P. 43-49.
[23] Pavlov B. S-Matrix and Dirichlet-to-Neumann Operators // In: Encyclopedia of Scattering, ed. R. Pike, P. Sabatier, Academic Press, Harcourt Science and Tech. Company, 2001. — P. 1678-1688.
[24] Pospescu-Pampu P. Resolution of curves and surfaces // Lecture notes in Summer School of Resolution of Singularities, June 2006, Trieste, Italy.
[25] Shirokov J. Strongly singular potentials in three-dimensional Quantum Mechanics // Teor. Mat. Fiz. 42 1 (1980) 45-49
[26] Sylvester J., Uhlmann G. The Dirichlet to Neumann map and applications // Proceedings of the Conference "Inverse problems in partial differential equations", Arcata, 1989. In: SIAM, Philadelphia. — 1990. — V. 101.
[27] Titchmarsh E.C. Eigenfunction expansion asociated with second -order differential equation, Part II, Chapter XXI. — Oxford at the clarendon press, 1958.
[28] Yafyasov A., Bogevol'nov V., Zelenin C. Manifestation of dimensional quantization of space-charge region of Carbon on differential capacitance and surface cons=ductivity measurements // Russian Academy Doklady, Electrochemie. — 1989. — V. 25. — P. 536-538.
[29] Yafyasov A., Bogevolnov V., Fursey G., Pavlov B., Polyakov M., Ibragimov A. Low-threshold emission from carbon nano-structures // Ultramicroscopy. — 2011. — V. 111. — P. 409-414.
[30] Yafyasov A., Martin G., Pavlov B. Resonance one-body scattering on a junction // Nanosystems: Physics, Chemistry, Mathematics. — 2010. — V. 1, No. 1. — P. 108-147.
[31] Zener C. Non-adiabatic crossing of energy levels. — Proc. Royal Soc. A. — 1932. — V. 137. — P. 696.
[32] Ziman J.,Mott N., Hirsch P. The Physics of Metals. — London, Cambridge, 1969.
[33] Ziman J. Electrons and phonons: the theory of transport phenomena in solids. — Oxford University Press, 1960.