Professional Documents
Culture Documents
Received April 17, 2012; revised June 19, 2012; accepted June 27, 2012
ABSTRACT
The Finite-Difference Time-Domain (FDTD) method is a well-known technique for the analysis of quantum devices. It
solves a discretized Schrdinger equation in an iterative process. However, the method provides only a second-order
accurate numerical solution and requires that the spatial grid size and time step should satisfy a very restricted condition
in order to prevent the numerical solution from diverging. In this article, we present a generalized FDTD method with
absorbing boundary condition for solving the one-dimensional (1D) time-dependent Schrdinger equation and obtain a
more relaxed condition for stability. The generalized FDTD scheme is tested by simulating a particle moving in free
space and then hitting an energy potential. Numerical results coincide with those obtained based on the theoretical
analysis.
Keywords: Schrodinger Equation; Absorbing Boundary; FDTD Method; Stability
1. Introduction
The 1D time-dependent linear Schrdinger equation,
which is the basis of quantum mechanics [1,2], can be
expressed as follows [3,4]:
2
x, t
x, t V x, t
i
i
x, t ,
t
2m x 2
(1)
n1 k n k
t
2 n k i n k , (2)
2 x
2mx
x2 n k n k 1 2 n k n k 1 .
Copyright 2012 SciRes.
(3)
x, t real x, t i imag x, t .
(4)
2
imag x, t V x, t
imag x, t ,(5)
2m
x 2
and
imag x, t
t
real x, t V x, t
real x, t . (6)
2m
x 2
Thus, the second-order central finite difference approximations in space and time result in the FDTD-Q
AJCM
164
schemes as follows:
n
real
and
k k
t
2m x
2
and employ the Taylor series method to
x 2
expand real x, tn and real x, tn 1 at
where A
n 1
real
n 1 2
2 n1 2 k V k ima
g k ,
2 x imag
(7)
t tn 1 2 n 1 2 t as follows:
n 1 2
n 1 2
imag
k imag
k
2m x
n
2 n k V k real
k .
2 x real
(8)
max V c 1,
m x 2 2
(9)
where c is a constant. It should be pointed out that Soriano et al. [27] and Visscher [4] also used the eigenvalue
method to analyze the stability of the FDTD-Q scheme
and obtained a very similar condition of
t t
max V 1 However, as pointed out in [13],
m x 2 2
t t
max V 1 is chosen,
even if the condition
m x 2 2
the numerical solution is still divergent. Equation (9)
indicates that the condition must be less than 1 but not
close to 1.
The motivation of this study is to apply the idea of the
FDTD method to develop a generalized FDTD method
with absorbing boundary condition for solving the linear
Schrdinger equation, so that a more relaxed condition
for stability may be obtained.
2 p 1
1
2 p 1!
real x, tn1 2
2 p 1
t 2 p 1
(12)
We then evaluate those derivatives in Equation (12) by
using Equations (10) and (11) repeatedly:
real x, tn1 2
t
A imag x, tn1 2 ,
2m
3 real x, tn 1 2
t
V imag x, tn 1 2
A
t 2
2m
2
V
V real x, tn 1 2
A
A
2m
t
2m
3
(13a)
(13b)
V
A imag x, tn 1 2 ,
2m
5 real x, tn 1 2
t
5 2
V imag x, tn 1 2
A
t 2
2m
3
V
V real x, tn 1 2
A
A
2m
t
2m
5
(13c)
V
A imag x, tn 1 2 ,
2m
real x, tn 1 real x, tn 1
N
t
2
p 0 2
2 p 1
(1) p 1
V
A
2 p 1! 2m
(14)
imag x, t
t
Copyright 2012 SciRes.
V
A real x, t ,
2
m
2 p 1
imag x, tn 1/ 2 O t 2 N 3 .
real x, t
V
A imag x, t ,
t
2m
(10)
Similarly, we employ the Taylor series method to expand imag x, tn1 2 and imag x, tn1 2 at t tn nt
as follows:
t
2
p 0 2
2 p 1
1
2 p 1!
imag x, tn
2 p 1
t 2 p 1
(15)
(11)
165
imag x, tn
t
V
A real x, tn ,
2
m
3 imag x, tn
V real x, tn
A
t
t 2
2m
V
V imag x, tn
A
A
m
m
2
2
t
(16a)
(16b)
V
A real x, tn ,
m
2
5 imag x, tn
2
V real x, tn
A
t 3
t 2
2m
3
V
V imag x, tn
A
A
t
2m
2m
3
(16c)
V
A real x, tn ,
2m
3. Stability
In order to prevent the numerical solution from diverging,
we need to analyze the stability of the generalized FDTD
method in Equation (18). Here, we consider that the
Laplace operator A is only approximated by either a
1 2
second-order central difference operator
x or a
x 2
1
fourth-order central difference operator
Dx2 , where
x 2
n
A real
k
1 2
x
x 2
1
n
n
n
real
k 1 2 real
k real
k 1 , (19a)
x 2
imag x, tn 1 2 imag x, tn 1 2
with O x 2 ,
t
2
p 0 2
N
2 p 1
V
A
2 p 1! 2m
2 p 1
real x, tn O t 2 N 3 .
n
n 1
real
k real
k
N
t
2
p 0 2
2 p 1
1 A V 2 p 1 n1 2 k , (18a)
imag
2 p 1! 2m
p 1
n 1 2
n 1 2
imag
k imag
k
t
2
p 0 2
N
2 p 1
V
A
2 p 1! 2m
2 p 1
n
real
k .
(18b)
n
A real
k
(17)
Thus, if A imag k x, tn1 2 and A real k x, tn are
approximated using some accurate finite differences, one
may obtain a generalized FDTD scheme for solving the
time-dependent linear Schrdinger equation as follows:
1
Dx2
x 2
1
n
n
real
k 2 16 real
k 1
(19b)
12x 2
n
n
n
30 real k 16 real k 1 real k 2 ,
with O x 4 ,
(20a)
1 2 n +1 2
1
x n ik x
k 2 4sin 2
. (20b)
imag e
2 x imag
2
x
x
1 2
x in Equation (18), substix 2
tuting Equation (20) into the resulting equations, and
then deleting the common factor eik x , we obtain
Replacing A with
V t
2 x
r sin
2
2
p 0 2 p 1 ! m
N
n
n 1
real
real
2
2 p 1
n 1
imag
,
(21a)
AJCM
166
1 r sin 2 x V t 2 p 1 n ,
real
2
2
p 0 2 p 1 ! m
p 1
n
n 1
imag
imag
2
(21b)
t
where r 2 . Since Equation (21a) is true for any
x
time level n, we rewrite Equation (21a) as
V t
2 x
r sin
2
2
p 0 2 p 1 ! m
N
n 1
n
real
real
2
1 r 2 V t 2 p 1 n1 2 k ,
2
x
imag
2
p 0 2 p 1 ! 4m
2 p 1
n
imag
,
(22)
(27a)
n 1 2
imag
k
p
N
1 r 2 V t 2 p 1 n k .
2
real
x
2
p 0 2 p 1 ! 4m
2
real
real
1 0,
(23)
2 p 1
V t
2 x
where 2
, Us
r sin
2
2
p 0 2 p 1 ! m
ing the fact that for a quadratic equation x 2 Bx C 0
the solution x satisfies x 1 if and only if B 1 C
and C 1 we obtain from Equation (23) that real 1
if and only if 2. By the Von Neumann analysis,
we conclude that the generalized FDTD scheme is stable
if 2, i.e.,
N
2 p 1! m r sin 2
p 0
x V t
2
2 p 1
1.
(24)
x V t
lim
r sin 2
N
2
2
p 0 2 p 1 ! m
N
V t
2 x
r sin
1
!
2
2
p
m
p 0
2 p 1
2 p 1
(25)
implying that, when N , Equation (24) is automatically satisfied, and, hence, the scheme with N ,
is unconditionally stable. However, we cannot choose
N and, therefore, the generalized FDTD scheme
should be imposed the condition in Equation (24). Noting
that the condition in Equation (24) gives only real 1
and does not indicate whether or not there is a double
root with real 1 in Equation (23) (for this case, the
numerical solution may still blow up), we choose the
x
maximum value of sin 2
and require
2
V t
2 p 1! m r 2
p 0
Copyright 2012 SciRes.
2 p 1
c 1,
n 1 2
imag
(27b)
is stable if Equation (26) is satisfied.
It can be seen that when N = 0 the condition in Equation (26) reduces to that in Equation (9). Also, the accuracy of the scheme is O x 2 x 2 t 2 t 2 N 2 .
Similarly, for the fourth-order central difference
1
n
n
Dx2 case, we let real
eik x and
k real
x 2
n 1/2
n
imag
eik x , and substitute them into Equation
k imag
sin 2
,
3 4sin
real e
2
3x
2
2
(28a)
1
n 1 2
(k )
Dx2 imag
x 2
x
4
2 x n
ik x
sin 2
.
3 sin
imag e
3x 2
2
2
(28b)
1
Dx2 substituting Equation (28)
x 2
into Equation (18), and deleting the common factor
eik x , we obtain a quadratic equation for real as follows:
Replacing A with
x V t
sin r sin 2
,
2
2
m
p 1
(26)
2
real
2 2 real 1 0,
(29)
where
N
p 0
2 p 1!
x
2 x V t
r sin 2
3 sin
3
2
2 2
m
2 p 1
167
(1) p 1
V t
2
rDx2
2
p 0 2 p 1 ! 4m
N
2 p 1
n 1 2
imag
k ,
(30a)
n 1 2
imag
n 1 2
imag
(1) p
V t
rDx2
2
p 0 2 p 1 ! 4m
N
2 p 1
n
real
k .
(30b)
is stable if the following condition is satisfied
2 p 1! 3m r
p 0
V t
2 p 1
c 1,
k1 2
k
2
,
, v2 2
m 1m
m 2 m
x imag x, t c1 t imag x, t
where
c1
v1 v2
, c2
mv1v2
v1 v2
(36)
imag xk , tn1 2
n 1 2
n 1 2
imag
k imag
k 1
x imag xk , tn 1 2
n 1 2
n 1 2
imag
k 1 imag
k
t imag xk , tn 1 2
x
n 1 2
n 1 2
imag
k imag
k
(37a)
, (37b)
(37c)
and
Since a wave maintains various components with different group velocities, we impose a higher-order boundary condition as follows:
Copyright 2012 SciRes.
(35b)
c1V c2 real x, t 0,
(32)
mv j
i x
x, t 0.
(35a)
c1V c2 imag x, t 0,
where k j
x real x, t c1 t real x, t
v1
(34)
It should be pointed out that for a wave traveling towards the left, v1 and v2 are substituted by v1 and
v2 . It may be seen from Equations (33) and (34) that if
v1 does not equal v2 the two different wave components with group velocities v1 and v2 will be absorbed,
and on the other hand, if v1 is equal to v2 the component of the wave with group velocity v1 (or v2 ) will be
absorbed to the second order.
With Equations (5), (6) and (34), the wavefunctions at
the left and right boundaries can be determined as
(31)
where c is a constant.
The accuracy of the scheme is
O x 2 x 2 t 2 t 2 N 2 . It can be seen from the
above both schemes that for a larger N, the evaluation for
powers of x2 or Dx2 can be very expansive. Therefore,
it is our suggestion to choose a smaller N for computation.
mv1
mv2
i x
i x
x, t 0.
real xk , tn
n
n
real
k real
k 1
x real xk , tn
n
n
real
k 1 real
k
t real xk , tn
(38a)
,
(38b)
n
n 1
real
k real
k
.
(38c)
t
Upon substituting Equations (37) and (38) into Equation (35), we obtain discrete absorbing boundary conditions as follows:
n 1
n k 1 c1 real
k
1 c
n 1 2
imag
k 1 real
x
t
x t
(39a)
n 1 2
n 1 2
imag k imag k 1
,
1
2 c1V c2
AJCM
168
and
n 1 2
n 1 2 k 1 c1 imag
k
1 c
n 1
real
k 1 imag
x
t
x t
(39b)
n
n
real ( k ) real k 1
.
1
2 c1V c2
5. Numerical Examples
To test the stability of the generalized FDTD schemes in
Equation (27) and Equation (30) with discrete absorbing
boundary conditions, Equation (39), we employed the
present schemes and the original FDTD scheme to simulate a particle moving in free space and then hitting an
energy potential as tested in [3]. To this end, we initiated
a particle at a wavelength of in a Gaussian envelop
of width with the following two equations:
k e
0
real
0
imag
k k0
0.5
2 k k0
cos
(40a)
and
k e
k k0
0.5
2 k k0
sin
,
(40b)
(41b)
n 1 2
n
2 real
k
k i 2 imag
,
2
2
x
x
and
Potential Energy PE
n
n 1 2
V k real
k imag
k ,
k 1
(41b)
n 1 2
n
2 real
k
k and 2 imag
are evaluated usx 2
x 2
ing the fourth-order finite difference approximations:
where
n
n
n
30 real
k 16 real
k 1 real
k 2 ,
(42a)
and
n 1 2
2 imag
(k )
1
n 1 2
n 1 2
imag
k 2 16 imag
k 1
x 2
12x 2
n 1 2
n 1 2
n 1 2
30 imag
k 16 imag
k 1 imag
k 2 .
(42b)
Based on the above formula, the electron moves in
free space and then hits an energy potential with a total
energy of about 150 eV. The energy is purely kinetic due
to the fact that there is no potential energy available before the energy barrier is reached. With an increase in
time, the electron will propagate in the positive spatial
direction. The waveform begins to spread, but the total
kinetic energy remains constant. After the electron
strikes the potential barrier, part of the energy will be
converted to potential energy. The waveform indicates
that there is some probability that the electron is reflected
and some probability that it penetrates the potential barrier. However, the total energy should remain constant.
In our computations, we chose N = 2 in Equation (27)
and Equation (30), and let
t
2mx 2
,
(43)
max V t
2 p 1! 2 2
p 0
2 p 1
8
max V t
2 p 1! 3 2
p 0
2 N n
n 1 2
k
real k i imag
2m k 1
n
2 real
k 1 n k 2 16 n k 1
real
real
x 2
12x 2
c 1,
(44a)
2 p 1
c 1.
(44b)
t
r
2
when = 0.46875 (in which
m
2
2
max V 0.9375 1.7 1026 1) , the FDTD-Q scheme
is stable and indeed the numerical solution does not diverge. Figure 1 shows that when the absorbing boundary
condition is not imposed, the wavepacket is distorted at
n 5.0 104 On the other hand, Figure 2 shows that the
wavepacket disappears at n 5.0 104 when an absorbing boundary condition is imposed. Similar results
AJCM
169
n=1E3
V=100eV
KE=64.9eV
PE=83.2eV
-0.2
0
200
400
600
800
1000
1200
1400
1600
0.2
n=2E3
V=100eV
t
t
r max V 2 max V 1 which violates the
m
2
2
stability condition. Thus, we employed the generalized
FDTD scheme, Equation (27) with N = 2 and Equation
(30) with N = 2 for this case. It is noted that when =
0.5,
KE=65.6eV
PE=82.9eV
-0.2
0
200
400
600
800
1000
1200
1400
1600
V=100eV
KE=86.85eV
0
200
PE=62.61eV
400
600
800
1000
1200
1400
2 p 1
8
max V t
2 p 1! 3 2
p 0
26
0.9735 1.7 10 1
2
-0.2
0.2
n=5E4
max V t
2 p 1! 2 2
p 0
26
0.8418 1.7 10 1,
2
1600
2 p 1
0.2
n=1E3
V=100eV
n=1E3
V=100eV
KE=65.2eV
PE=82.32eV
KE=65.0eV
PE=83.2eV
-0.2
0
200
400
600
800
1000
1200
1400
-0.2
0
1600
200
400
600
800
1000
1200
1400
1600
0.2
0.2
n=2E3
V=100eV
n=2E3
V=100eV
KE=65.0eV
PE=82.3eV
KE=64.8eV
PE=82.8eV
-0.2
0
200
400
600
800
1000
1200
1400
-0.2
1600
200
400
600
800
1000
1200
1400
1600
0.2
0.2
n=5E4
V=100eV
n=5E4
V=100eV
KE=91.6eV
PE=57.2eV
KE=1.5eV
PE=2.9eV
-0.2
0
200
400
600
800
1000
1200
1400
-0.2
1600
200
400
600
800
1000
1200
1400
1600
170
0.2
n=1E3
V=100eV
n=1E3
V=100eV
KE=66.9eV
PE=84.4eV
KE=65.0eV
PE=82.33eV
-0.2
0
200
400
600
800
1000
1200
1400
-0.2
0
1600
200
400
600
800
1000
1200
1400
1600
0.2
0.2
n=2E3
V=100eV
n=2E3
V=100eV
KE=66.1eV
PE=84.0eV
KE=63.0eV
PE=81.7eV
-0.2
0
200
400
600
800
1000
1200
1400
-0.2
0
1600
0.2
200
400
600
800
1000
1200
1400
1600
0.2
n=5E4
V=100eV
n=5E4
V=100eV
KE=90.0eV
PE=60.8eV
KE=0.69eV
PE=1.0eV
-0.2
0
200
400
600
800
1000
1200
1400
-0.2
6. Conclusion
We have developed a generalized FDTD method with
absorbing boundary condition for solving the 1D timedependent Schrdinger equation and obtain a more relaxed condition for stability when central difference
Copyright 2012 SciRes.
1600
200
400
600
800
1000
1200
1400
1600
n=1E3
V=100eV
KE=66.7eV
PE=84.4eV
-0.2
0
200
400
600
800
1000
1200
1400
1600
0.2
n=2E3
V=100eV
KE=61.8eV
PE=81.5eV
-0.2
0
200
400
600
800
1000
1200
1400
1600
0.2
n=5E4
V=100eV
KE=0.3eV
PE=0.3eV
-0.2
0
200
400
600
800
1000
1200
1400
1600
7. Acknowledgements
The research was supported by a grant from the LaSPACE, Louisiana.
REFERENCES
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
A. Arnold, M. Ehrhardt and I. Sofronov, Discrete Transparent Boundary Conditions for the Schrdinger Equation:
Fast Calculation, Approximation and Stability, Communications in Mathematical Science, Vol. 1, 2003, pp. 501556.
A. Askar and A. S. Cakmak, Explicit Integration Method
for the Time-Dependent Schrdinger Equation, Journal
of Chemical Physics, Vol. 68, No. 6, 1978, pp. 2794-2798.
doi:10.1063/1.436072
W. Bao, S. Jin and P. Markowich, On Time-Splitting
Spectral Approximations for the Schrdinger Equation in
the Semiclassical Regime, Journal of Chemical Physics,
Vol. 26, 2005, pp. 487-524.
N. Carjan, M. Rizea and S. Strottman, Efficient Numerical Solution of the Time-Dependent Schrdinger Equation for Deep Tunneling, Romanian Reports in Physics,
Vol. 55, 2003, pp. 555-579.
T. F. Chan, D. Lee and L. Shen, Stable Explicit Schemes
for Equations of the Schrdinger Type, SIAM Journal on
Numerical Analysis, Vol. 23, No. 2, 1986, pp. 274-281.
doi:10.1137/0723019
[10] H. Chen and B. D. Shizgal, The Quadrature Discretization Method in the Solution of the Schrdinger Equation,
Journal of Chemical, Vol. 24, 1998, pp. 321-343.
[11] Z. Chen, J. Zhang and Z. Yu, Solution of the Time-Dependent Schrdinger Equation with Absorbing Boundary
Conditions, Journal of Semiconductors, Vol. 30, No. 1,
2009, Article ID: 012001.
doi:10.1088/1674-4926/30/1/012001
[12] W. Dai, An Unconditionally Stable Three-Level Explicit
Difference Scheme for the Schrdinger Equation with A
Variable Coefficient, SIAM Journal on Numerical Analysis, Vol. 29, No. 1, 1992, pp. 174-181.
doi:10.1137/0729011
171
AJCM
172
AJCM