您的当前位置:首页时域有限差分法计算薛定谔方程中的数值稳定性条件

时域有限差分法计算薛定谔方程中的数值稳定性条件

来源:小侦探旅游网
维普资讯 http://www.cqvip.com 第28卷第3期 云南师范大学学报 Vo1.28 No.3 2008年5月 Journal of Yunnan Normal University Mav 2008 时域有限差分法计算薛定谔方程中的数值稳定性条件 谷桂初 , 陈玖福 , 高利霄 , 周 庆 (1.云南大学物理系,云南昆明650091;2.昭通师范高等专科学校物理系,云南昭通657000) 摘要: 对于量子力学中的时域有限差分法,往往基于经验来确定其数值稳定性条件即空间和时间增 量必须满足的关系。文章从含时薛定谔波动方程出发,结合物理问题中的实际条件,推导出了空间和时 间增量必须满足的数值稳定性条件。特别讨论了在不同势能的情况下该稳定性条件的适用形式,得到 了适用于各种维数的统一表达式。并进一步运用时域有限差分法计算得到的数值结果说明了该稳定性 条件的合理性和有效性。 关键词:时域有限差分法;薛定谔波动方程;概率波函数;数值稳定性条件 中图分类号:O411.1;O4 11.3;0413.1;0413.2 文献标识码:A 文章编号: 1007—9793 (2008)03—0040—07 在量子力学中,系统的运动满足含时薛定谔波动方程。。 f_兰 +\ Zm  1,  ( 'y,z,£):ih o『£ (1) 其中:概率波函数 描述系统的运动状态,m为系统的有效质量, 是与时无关的势函数,Planck常量 =h/27r,i= 一1。(1)式的解包含了系统运动状态的信息,对于量子力学系统的动力学研究有着很 大的意义。同时由于精细处理技术的发展,使一些具有不同量子效应的设备成为可能,(1)式的含时计 算在估计这些量子效应的影响时具有很大的帮助。故对薛定谔方程的含时计算时首先要考虑其精度、 效率和稳定性。 时域有限差分(Finite—Difference Time—Domain,FDTD)法是目前电磁场计算中最有效数值方法之 』一 ,已经被成功的应用于一些量子力学的计算当中 -7 7。与传统的量子力学计算方法相比,FDTD法 具有简单、方便、效率高的特点,在量子力学中将得到更进一步的发展和完善。其基本思想是利用显式 差分原理得到(1)式的离散形式,建立时间和空间上的递进序列。在FDTD法中,数值稳定性条件即时 间增量△£和空间增量占的取值需满足的条件是非常重要的。它们不仅影响计算结果的精度和合理性, 还关系到计算成本高低的问题。然而,到目前为止,虽然文献[8]、[9]对偏微分方程的离散问题有过讨 论和分析,但只是从纯粹的数学出发,即从离散的误差意义上去讨论,没有任何实际物理意义,所得结论 是根据比较简单的偏微分方程所得,在实际运用中并不适合各种情况的含时薛定谔方程的FDTD计算。 故在量子力学计算中,往往△£和占是根据经验所得 3 , J。 本文的目的就是解决时间增量和空间增量的取值问题。基于有限差分近似、含时薛定谔波动方程 和量子力学问题,推导出时间离散间隔和空间离散间隔的稳定性要求,特别是详细讨论了不同势能和不 同维数的情况,得到了统一的表达式。对所得结果与参考文献中的经验值进行比较,同时对具体问题如 自由粒子、氘核半径和相干态问题进行计算分析,结果表明所得的稳定性条件是合理的,适用于各种形 式的薛定谔方程。 1 时间离散间隔的稳定性要求 +收稿日期:2007一lj一23 作者简介:谷桂初(1982一),男,湖南省娄底市人,在读硕士研究生,主要从事时域有限差分法在计算电磁学和 量子力学中的应用研究. 维普资讯 http://www.cqvip.com

第3期 谷桂初,等:时域有限差分法计算薛定谔方程中的数值稳定性条件 ・4l・ =A厂 (2) 其中:f是所考虑的物理量,A为时间本征值,n表示时间步。对于概率波函数,有 (r,t)= (r)e (3) 这一经典解是下面一阶偏微分方程的解析解: 一itok ‘ (4) 其中 是系统处于k阶状态的本征角频率。根据显式中心差分近似 ,有 一、 、  。 /l, (5) 式中 (r,£)= (r,nAt)= “(r)。比较(5)和(2)式,可以得到f= ,A=一 n+- n—l 2:: , ::。采用线性插值 掣 (6)(5)式变为 2A :一t itok@n 当△£足够小时,定义数值增长因子g g= = ㈩ 根据冯・诺依曼的稳定性条件,要求Ig I 1。将(7)式代人(6)式得到数值增长因子满足的方程为 g +2・ito At・g一1:0 从而得到 (8) g=一 At±,/1一( △£) 若(6)式的数值解接近解析解(3),则将(3)式离散后代人(7)式,得到增长因子的另一种表达式 g:exp(一itokAt) (9) (10) 比较(9)式和(10)式,满足l g l曼l且两式两等的充分条件为 1一( At) 即 0,V k (11) } At≤—— 1 maxk{ 将 = r,k代人上式有 At≤ max (12) 其中最大的本征能量值E =rrlax { }, 为系统处于k阶状态的本征能量值。 2时间增量和空间增量满足的关系 2.1势能V=0的情况 考虑粒子在自由空间运动,即势能V=0。在笛卡尔坐标系下,含时薛定谔波动方程可以写为… 一 (嘉+芳+善) =E c 3 维普资讯 http://www.cqvip.com ・42・ 云南师范大学学报(自然科学版) 第28卷 其中:概率波函数 I ( ,),, ,t):Aexp[ (K +K Y+K —E £)] (14) A为幅值常数, 为系统k阶状态对应的本征能量, 、 、 分别为 ,),, 三个方向上的波矢。采用有 限差分近似,(13)式中的二阶导数近似为 (15) a (Ax) 将(14)式代入(15)式得到 a exp( Ax)一2+exp(一 △ ) sin2(—a ———一≈~(△ )  (Kx譬) =一 ‘ (16) 2m[l (譬) +。  +(譬)  。 卜 (譬) j 两边同乘以譬,上式又可以写为 2m[l (等) +。 ( ) +。 (譬) 向 ‘… 一 上式应用了关系式(1 1)。要使上式对所有的K 、K Kz都成立的充分条件是 m 【t击( )ax+ ( a t)+击( Jaz) 2  、 : , S +S +S rrt (20) .s= At s m6 向 (21)、  m [I击+(△ ) ’ (△y) 。+击 一(△ ) J一 22  A向t’ ’ At ≤ V (23) 第一种情况是 V《1即 《 1,。故(22)式的最后一项可以忽略不计。当△ =△),= = ,有 S mS≤ m,,S (24) 维普资讯 http://www.cqvip.com 第3期 谷桂初,等: 时域有限差分法计算薛定谔方程中的数值稳定性条件 ・43・ 分别对应于一维、二维和三维情况下的关系式。 第二种情况是势能和最大本征能量的比值并不远远小于1,(22)式的最后一项不能忽略。(22)式 两遍同时除以zit,得到 I一1一百V午m (△g ) 一 I2 Zit —ji)/ 一1 (25) 其中△q (|i}= ,Y,Z)表示在|i}方向上的空间增量,m 为|i}方向上的有效质量。根据(12)式,有 min{_I1 1一 ))=丢( Emax一 )= = c26 其中E = + , 为最大的动能。所以 s min{ ( 1一 ))= Tmax ( ) 从而 知(28 在参考文献[1 1]中,网格节点上最大动能的估计值为 9) 从某种意义上说,(29)式反映了(28)式的正确性。 根据S的定义,在一维情况下 .s= A6 t 杏E6 (= T 。m 南+ )。  (30) 在量子力学中,一般 ~eV,6 ~ ,m~10 ,ji~10 。由(28)、(29)式很容易粗略估算到 ・ 6 ~10 ,而 ・6 ~eV・ ~10 甚至更小。令Tm ・6 ・6 ,同时取(28)式中的等号,有 .S 一m(31) 如果采用(29)式,有 S≤ 1百m , (32) 比较对照(21)(24)(31)(32)四式中的结论,可以发现,后者比前者要求更高,但不论是一维二维还是 三维空间,有势能存在还是没有势能存在,时间增量和空间增量的关系式S都处于同一数量级。但考虑 到一般的物理问题和稳定性条件的通用性和适用性,(21)式是比较好的选择,第三节的数值结果可以 验证此结论。 3数值结果 表1列举了参考文献[3][1O]中的经验值和根据上述结论所得到的计算值。其中带 号的为计算 值,不带 号的为经验值。经比较分析,经验值和计算值非常吻合,而由上述稳定性条件得到的计算值 更严格。 考虑自由电子在一维自由空间的运动,其初始试探波函数为 l ( ,o)=f、-5仃Z- z)一 exp[ik。( — )一0.5f )1  (33) -. , 。 、 (r ,根据上述稳定性条件,有S 1.444×1O sec・m一。令S=1×10 sec・m一, =0.1A,则△£=1× 10~fs。根据(12)式,容易得到△ 1.7562×10一fs,与取值非常吻合。图1是电子的运动图。从中可以看 出波包在运动过程中会随时间发散,其群速度为C=1.86×10 m/s。与用变量法得出的解析值C=1. 维普资讯 http://www.cqvip.com ・44・ 云南师范大学学报(自然科学版) 第28卷 8589×10 m/s非常接近。而且在计算中发现,随着时间的增加,其解并不发散。 表1 运用数值稳定性条件的计算值和文献中的经验值(一维情况) Tab.1 The computing results by the numerical stability conditions VS the empirical values in different references (one—dimensional case) O.1O O.1O O.oa 0.06 O.o5 0-04 . .皇 主 O.o2 三 O.oo ■ O.OO 山 山 .O2 .O5 _04 .O6 旬.1O .O8 .1O O 200 400 600 800 1Ooc O 200 400 600 800 Spa嗡I grid numbH Spatial gridnnmbel" 图1电子在空间运动。其中S=1×10 sec・m~,空间增量 =0.1h,波包初始中心 =200Ax,or:30Ax,波 长A=39Ax。(a)t:10000At.(b)t:20000At. Fig.1 The motion of the electron in free space,whereS=1 x 10 see・m~,△ =O.1AI the initial center ofthe waye packet =200ax。or=30kx and the wavelengthA=39Ax.(a)at timet=lO000At and(b)t=20000at. 0.25 O・2o 譬 々 O.15 . 0.10 O.05 O.oo O 40 20 30 40 50 Spatialgridnumbm" 图2氘核基态概率密度 Fig・2 The probability density of deuteron at ground sate VS spatial ds where S=1 x 10 see・m~。△ =lfm 另一个物理问题是求解氘核基态的概率半径。其势能采用形式 (r)=一 e “,其中Vo:32. 7Mev, =2.16fm。氘核的有效质量为 =8.3458×10 kg。运用上述稳定性条件可以得到S 1. 3247×10。sec。m一。令S=1×10 sec・m~,Ax:lfm,则At=1×10一fs。’而由(12)式得到的时间增 维普资讯 http://www.cqvip.com 第3期 谷桂初,等:时域有限差分法计算薛定谔方程中的数值稳定性条件 ・45・ 量为3t≤1.6107×10一fs,取值满足条件。初始试探波函数采用 (r,0)=e 图2反映的是基态概率密度在空问上的分布。从图中可以看出,峰值所对应的地方就是基态概率半径 的大小,为R=3.1738fm,这与解析解R=3.26fm相差不超过2.64%。并且随着时问步的增加,误差不 会增大,计算得到的概率半径也不变,计算结果非常理想,是稳定的。 相干态被广泛的应用于量子光学问题,在这里考虑谐振子的相干态问题。设初始时刻波包中心不 在谐振势的平衡点,其波函数为 ( ,0)=7r L-I/ ̄e-( 0) 其中L= }i/m∞。采用原子单位(}i=m=e=1),令∞=1, 。=20Ax,得到其波包中心随时变化曲线 图3,其中虚线表示理论值。波包中心X 的变化表明了此时的这个态不可能是一个定态,而是由无穷多 个态按一定的权重相干叠加而成。图3比较了S取不同值的情况,当S越大,误差增大,当S越小,精度越 高,但计算成本增加。S=1/6时能得到满意的结果。 20 10 。20 10 0 -0 .10 10 锄 0 20 10 。 锄 2000 4000 6000 8000 0 20 5000 10000 15000 10 0 -0 .10 10 锄 0 50001咖a5‘ 0【10I陀5000 Time step Time step 图3不同的.s所对应的波包中心( )变化曲线 其中:实线表示计算值。虚线表示理论值。At:0.OOO6。a…b C d四图分别对应S=1/2。1/4。1/6。 1/8 Fig.3 The probability wave center with different S VS.time step where the solid line means calculated results and the dot theoretic values.Figures a,b,C,d corresponding to S=1/2,1/4,1/6,1/8,respectively. 4小结 在运用FDTD法解薛定谔波动方程之前,时问增量和空问增量或者是关系式的选择确定是非常重 要,它关系到计算的精度、解的稳定和收敛性。结合时域有限差分原理、薛定谔波动方程和量子力学问 题,综合各种不同的物理问题,得到了统一的稳定性条件 维普资讯 http://www.cqvip.com ・46・ 云南师范大学学报(自然科学版) 第28卷 参考文献: [1] 曾谨言.量子力学(卷I)(第三版)[M].北京:科学出版社,2000.32—71. [2] 葛德彪,闫玉波.电磁波时域有限差分法[M].西安:西安电子科技大学出版社,2002.1—89. [3] 黄整,陈晓敏,朱正和.时域有限差分法对双原子分子振动光谱计算的应用[J].原子与分子物理学报,2000,17 (4):576—582. [4] Chang S H and Tanove A.Finite—diference time—domain model of lasing action in a four—level two—electron atomic system[J].Optics Exp.,2004,12(16):3827—3833. [5] Shibata T.Absorbing boundary conditions for the finite—diference time—domain calculation of the one—dimensional Schr?dinger equation[J].Phys.Rev.B,1991,43(8):6760—6763. [6] 罗有华,黄整,王育竹.冷原子在静电势阱中的量子力学效应[J].物理学报,2002,51(8):1706—1710. [7] 谷桂初,周庆.时域有限差分法在势垒贯穿问题中的应用[J].云南师范大学学报(自然科学版),2OO7,27(5):43—48. [8] Morton K W and Mayem D F.Numeircal Solution of Partila Differential Equations[M].Cambridge:Cambridge University Press,2005. [9] Thomas J W.Numerical Partial Differential Equations:Finite Diference methods[M].Beijing:World Publishing Corpo- ration,1997.5—139. [10] Sullivan,Dennis M.Electromagnetic simulation using the FDTD method[M],New York:IEEE Press Marking,2000. 136—140. [11] Kosloff R.Time—dependent quantum—mechanical methods for molecular dynamics[J].J.Phys.Chem.,1988,92 (8):2087—2100. The numerical stability conditions in the finite—-difference time—-domain calculation of Schroe dinger wave equation GU Gui—chu,CHEN Jiu—fu,GAO Li—xiao,ZHOU Qing (1.Depatrment of Physics,Yunnan University,Kunming 65009 1,China; 2.Depatrment of Physicis,Zhaotong teacher ̄college,Zhaotong 657000,China) Abstract: For the finite—difference time—domain(FDTD)method in quantum mechanics,the numerical stability conditions meaning the relationship of spatial increment and time increment are often determined em— pirically.Based on Time—dependent Schroe dinger wave equation and physical problems,the stability condi- tions for the choice of increment parameters are deduced in this paper.Especially,different cases of potential energy are investigated to obtain the uniform expressions.And further,some numerical results are given to show the validity by the FDTD method. Key words:the FDTD method;Schroe dinger wave equation;the probability wave function;the numerical stability conditions 

因篇幅问题不能全部显示,请点此查看更多更全内容