印兴耀 刘 博 杨凤英
(中国山东青岛266580中国石油大学(华东)地球科学与技术学院)
地震波数值模拟是在地震波传播理论的基础上,通过数值计算来模拟地震波在地下介质中的传播(董良国,2003),是研究地震波传播特性与地球介质参数关系的重要手段.交错网格有限差分技术已经广泛应用于各向异性介质(Igel et al,1995;Collino,Tsogka,2001;裴正林,王尚旭,2005;殷文等,2006;何燕,2008)、孔隙介质(Dai et al,1995;Zeng et al,2001;孙林洁,2012)、黏弹性介质(白晓寅,2008;孙成禹等,2010)的波动方程模拟中,但是常规交错网格在模拟非均匀性较强的介质和各向异性介质时需对介质参数进行平均或内插(陈浩等,2006),低阶插值可能会导致精度降低,高阶插值则会导致计算量增大.Gold等(1997)提出了旋转交错网格有限差分算法,Saenger等进一步研究了旋转交错网格的稳定性与频散的关系(Saenger et al,2000;Saenger,Bohlen,2004).在旋转交错网格中采用沿网格对角线差分的方式,可以避免弹性模量的平均与插值,因而更准确.随后一些研究人员通过旋转交错网格的完全匹配层(perfectly matched layer,简写为PML)边界条件的实现,利用旋转交错网格技术对各向异性介质(李敏,刘洋,2012)和黏弹介质(严红勇,刘洋,2012)等进行了数值模拟.但由于旋转交错网格中差分是沿对角线进行,步长是同等条件下常规交错网格的■2倍(网格是正方形的情况下),若用常规的差分格式会导致离散的梯度算子和散度算子在计算时误差增大,因而容易出现数值频散.而如果使用高阶有限差分则会因需要更多的网格点而增大计算量与内存.紧致有限差分是一种隐式差分格式,在同等网格数的条件下,具有比常规差分格式更高的精度以及更低的数值频散,故成为目前关注的热点.Lele(1992)分析了紧致差分格式的分辨率特性;王书强等(2002)对弹性波方程的紧致差分格式及其与中心差分的误差进行了研究;Du等(2009)基于交错网格紧致有限差分进行了横向各向同性介质的正演模拟;Boersma(2011)利用6阶紧致有限差分求解了Navier-Stokes方程.
实现有限差分时,差分系数的确定会影响数值模拟的精度.有限差分系数的求取一般包括泰勒展开和最优化算法两种方法(Liu,2013).基于泰勒展开得到的差分系数在波数较小时精度高,但随波数增大其精度会降低;基于最优化算法的差分系数求取方法是在给定精度与差分算子长度的情况下尽可能拓宽波数范围(Holberg,1987).Shan(2009),Kosloff等(2010),Zhou和Zhang(2011)以及Liu(2013)等对基于最小二乘算法的差分算子优化方法进行了深入研究;Zhang和Yao(2012)则基于模拟退火算法对中心差分算子进行了优化.
本文拟结合旋转交错网格与紧致有限差分技术,基于模拟退火全局优化算法对紧致差分算子进行优化,拓宽数值模拟的波数范围,在此基础上进行频散分析,最后通过数值模拟验证该方法的可行性和有效性.
在弹性波正演模拟中,除了使用二阶方程外,还常常采用一阶速度-应力弹性波方程,其主要优点是无需对弹性常数进行空间差分(Virieux,1984).这里根据运动平衡方程和本构关系给出二维情况下体力为零时各向异性介质的一阶速度-应力方程:
式中:v,σ分别代表速度和应力,1表示x方向,3表示z方向;cij为介质弹性张量矩阵的元素,当极端各向异性介质时,该矩阵有21个独立参数;当二维时,不考虑y分量,故张量矩阵中与y分量有关参数为0,只有5个独立参数(c11,c13=c31,c15=c51,c33,c35=c53,c55).
在地震波正演模拟中,采用常规的中心有限差分往往需要较多的网格点才能比较有效地压制数值频散,不利于边界的处理(王书强等,2002).紧致有限差分是一种隐式差分格式,只需要较少的网格点即可有效地压制数值频散,且同等阶次的精度要比常规中心有限差分格式高,因此本文采用紧致有限差分格式,弥补旋转交错网格因差分步长大导致梯度和散度算子在计算时误差增大因而更容易产生数值频散的不足.
常规的2(M-1)点2 M阶紧致有限差分格式(Kim,Lee,1996)为
式中,Δx为网格的空间步长,a和bn分别为差分的权系数,可以通过在第i个网格点的泰勒展开,然后对比对应系数来求解
即可得到2(M-1)点2 M阶紧致有限差分格式的差分系数(Liu,Sen,2009),例如当M=5时,可以得到8点10阶的紧致差分格式系数为a=0.257 894 74,b1=0.889 871 16,b2=0.216 121 16,b3=-0.004 701 2,b4=0.000 151 55.
在二维旋转交错网格上,密度和速度的各个分量定义在相同位置,弹性模量和应力的各个分量定义在另外的相同位置上,如图1所示.旋转交错网格在计算时分为两步(陈浩等,2006):首先,计算沿着对角线方向即˜x,˜z方向进行差分,得到相关物理量的对角线方向的空间一阶导数;然后,通过坐标旋转的换算关系,将得到的两个对角线方向的差分进行线性组合从而获得坐标轴方向即x,z方向的一阶空间导数,其换算关系为(Saenger et al,2000):
图1 旋转交错网格及完全匹配层吸收边界示意图x,z为坐标轴方向,x˜,z˜为对角线方向;灰色区域表示沿着x和z方向均进行衰减,白色区域表示只沿着x方向或者z方向进行衰减Fig.1 Schematic diagram of rotated staggeredgrid and perfectly matched layer(PML)absorbing boundary xand zare the coordinate directions,andx˜andz˜ are the diagonal directions.Gray areas indicate that waves are absorbed along both xand z directions and white areas indicate that waves are absorbed only along the xor zdirection
利用波动方程进行数值模拟,一个关键问题就是边界条件.为了解决边界反射问题,引入弹性波方程的PML边界条件.陈浩等(2006)指出,在旋转交错网格中,PML吸收边界条件的处理方式及吸收效果与常规交错网格中几乎是一样的.为此,引入图1所示的PML吸收层.PML边界的基本做法是在研究区域四周引入PML,波在PML中传播时不会产生反射,并且随传播距离按一定规律衰减.当波传播到PML边界时,波场近似为零,也不会产生反射(王守东,2003).
以式(1)中的vx为例来说明旋转交错网格紧致有限差分算法PML的实现方法:
求出.其中
类似地可以推导出其它分量的旋转交错网格紧致有限差分下的PML控制方程.
根据平面波理论,令
式中,β=kΔx/2,0≤β≤π/2.
为了使式(2)左右两边的误差尽可能小,须满足β-β*≈0的β取值范围应尽可能地大.
本文中,采用模拟退火全局最优算法(Kirkpatrick et al,1983)来优化旋转交错网格紧致有限差分算子.为此,建立以下目标函数:
Kim和Lee(1996)指出,当θ接近最大值π/2时,会出现很多难以控制的误差,从而导致优化效果不佳,因此本文选择θ=rπ/2,其中0<r<1.表1列出了优化的8点10阶,10点12阶,12点14阶以及14点16阶的紧致有限差分系数.
表1 优化的10—16阶紧致有限差分系数Table 1 Optimized coefficients of 10—16-order compact finite-difference
由式(12)可以看出,β接近于β*的程度表征了优化的紧致有限差分算子的精度,故定义
使α≈1的β取值范围越大,数值频散越小.
图2给出了常规的基于泰勒展开得到的差分算子与本文提出的全局优化算子的精度对比.可以看出,对于常规的基于泰勒展开得到的紧致有限差分算子,随着空间阶次的增大,使α≈1的波数范围变得越宽,即数值模拟的精度随阶次的增大而增大.显然,本文得到的全局优化的紧致有限差分算子在相同最大误差下使α≈1的波数范围比常规紧致有限差分算子还要大.从图2中还可以看出,优化的8点10阶紧致有限差分算子的频散比常规14点16阶紧致有限差分算子小,即优化的10阶精度要高于常规的16阶精度,从而可以使用较少的网格点来达到较高的精度,节省计算内存.
图2 10阶常规有限差分,10—16阶常规紧致有限差分及对应的优化紧致有限差分的频散对比 (k代表波数,Δx表示空间网格间距)Fig.2 Dispersion comparison by 10-order conventional finite-difference,10—16-order conventional compact finite-difference and the corresponding optimized compact finitedifference.k denotes the wavenumber,andΔxis spatial grid spacing
由图2中的10阶常规有限差分、10阶常规紧致有限差分与10阶优化紧致有限差分的频散曲线可以看出,10阶常规紧致有限差分格式的波数范围较10阶常规有限差分要宽,而经过优化的10阶紧致有限差分格式的波数范围则更进一步拓宽.设最大允许误差为εmax=|α-1|0≤β≤βmax,取εmax=0.2%,分别计算得到10阶常规有限差分、10阶常规紧致有限差分及10阶优化紧致有限差分的最大波数范围βmax分别为0.847 5,1.037 5,1.458 0,即10阶常规紧致有限差分的波数范围比常规差分格式拓宽了1.22倍,而经过全局优化后,波数范围提升至1.72倍.考虑到正演模拟中最常采用Δx=Δz的情况,则对于旋转交错网格,Δr比常规交错网格差分步长Δx及Δz增大了2倍,因而可以采用优化系数的紧致有限差分来弥补这一不足,从而有效地压制数值频散.需要指出的是,优化系数的紧致有限差分格式也可以很方便地应用于PML边界条件,而不需要特殊的处理.
为了验证全局优化的旋转交错网格紧致有限差分的精度比常规旋转交错网格有限差分方法有所提升,首先采用一个简单的各向同性模型进行测试(模型大小为3 000m×3 000m,在测试中并未添加任何边界条件),震源采用主频30Hz的雷克子波,z方向集中力源激发,网格大小为Δx=Δz=10m,时间采样为Δt=1ms.纵横波速度分别为4 000m/s和2 600m/s,模型密度为2 300kg/m3.图3给出了3种有限差分条件下400ms时刻x分量波场快照,均采用旋转交错网格系统.图3a采用常规10阶常规有限差分格式;图3b采用8点10阶,10点12阶,12点14阶,14点16阶常规紧致有限差分格式;图3c采用优化的8点10阶紧致有限差分格式.可以看出,10阶常规有限差分与10阶紧致有限差分对比,后者频散要小;而对于图3b中的紧致有限差分格式,随着空间阶次的增大,其精度越高,频散越小;对比图3b与图3c可以看出,优化的8点10阶紧致有限差分的数值频散甚至比常规14点16阶紧致有限差分还要小,这与图2所示是一致的.图4给出了从图3中提取的z=500m处(即50个网格点处)的波形曲线,以此来对比以上3种差分格式的数值频散.可以看出,10阶常规有限差分算法在波形外出现了数值抖动,说明数值频散比较高,模拟精度相对较低,而10阶紧致有限差分和优化的10阶紧致差分精度较高,从虚线框中可以进一步看出优化的10阶紧致有限差分算法的精度更高一些.
图3 10阶常规有限差分(a),10—16阶常规紧致有限差分(b)与优化的10阶紧致有限差分(c)得到的波场快照Fig.3 Snapshots of wave field by using 10-order conventional finite-difference(a),10-16-order conventional compact finite-difference(b)and optimized 10-order compact finite-difference(c)
图4 10阶常规有限差分,10阶常规紧致有限差分及10阶优化紧致有限差分波形对比图Fig.4 Comparison of waveforms by using 10-order conventional finite-difference(FD)(dark line),10-order conventional compact FD (blue line)and optimized 10-order compact FD (red line)
模型2的几何构造如图5所示,其中凹陷构造上部及下部均为各向同性介质,最下层为横向各向同性(VTI)介质.模型纵向和横向长为3 000m,具体参数见表2.采用优化的旋转交错网格紧致有限差分方法进行正演模拟,网格大小为Δx=Δz=10m,时间采样 为Δt=1ms.震源采用30Hz雷克子波,在模型的(1 150m,1 500m)处以纵波源形式激发.模拟过程中,采用PML边界条件(PML层部分同样采用优化的旋转交错网格紧致有限差分算法),厚度层为30个网格点.为体现吸收效果包含了PML层,图6给出了600ms时刻x及z分量的波场快照.可以看出,震源激发的纵波传播至分界面时,发生了反射与透射,可以见到PP波、PS波等,并可在凹陷处看到断面波,波场复杂,但波前面清晰,数值频散小.从图7所示的单炮记录中也可以看出优化的旋转交错网格紧致有限差分算法具有较高的模拟精度,各类波均可得到清晰体现,并且能够证明所加PML边界条件的吸收效果很好,无明显人为边界反射产生.
图5 凹陷模型示意图Fig.5 Schematic diagram of the depression model
图6 600ms时刻优化的旋转交错网格紧致有限差分正演x分量(左)和z分量(右)的波场快照(虚线框外围代表PML层)Fig.6 Wavefield snapshots of x-(left)and z-component(right)at 600ms using optimized rotated staggered-grid compact finite-difference method(PML layers are outside the dashed box)
表2 凹陷模型参数Table 2 Parameters of the depression model
图7 凹陷模型优化的旋转交错网格紧致有限差分正演x分量(左)和z分量(右)单炮记录Fig.7 Records of x-(left)and z-component(right)of the depression model using optimized rotated staggered-grid compact finite-difference method
旋转交错网格在地震波正演模拟中由于其可以避免在模拟中因弹性模量插值或平均而产生的误差和其对边界条件处理的便捷性而被广泛应用.但由于其差分方向是沿网格的对角线方向,因此相对于常规的交错网格而言,其差分步长较大,梯度算子、散度算子在计算时更容易产生误差,这意味着旋转交错网格更容易产生数值频散,从而影响模拟的精度.若采用小网格,虽然可以压制数值频散,却又大大增加了运算量及内存.因此本文采用旋转交错网格与紧致有限差分技术相结合的方法来提高模拟精度,并在此基础上,基于模拟退火算法对紧致有限差分进行全局优化,进一步提高计算精度,压制数值频散.
数值频散分析结果表明,优化的旋转交错网格紧致有限差分算法相对于普通旋转交错网格有限差分算法具有更宽的波数范围,这意味着优化的旋转交错网格有限差分算法可以在采用更大的空间采样间隔或者更高的震源主频时依然有较高的精度和较低的数值频散;且经过全局优化的10阶紧致有限差分算子比常规的16阶紧致有限差分算子具有更高的精度,即可以采用较少的网格点来达到较高的模拟精度,因此可以节省计算内存.
数值模拟实验进一步证实了本文提出的优化的旋转交错网格紧致有限差分算法的正确性与可行性.凹陷模型中,各类波均具有比较清晰的响应,揭示了波场的传播规律.同时波场快照与单炮记录中无明显的人为边界反射产生,也证明了模拟采用的PML吸收边界条件的有效性.
但是本文提出的方法亦存在不足之处.在求解紧致差分格式时需要解三角矩阵线性方程,较常规显式有限差分格式增加额外的计算负担,且不利于在GPU等平台直接并行,例如图3a和图3c中的400ms时长的计算时间分别为46.5s和85.6s,后者计算耗时约为前者的1.8倍.在科学计算中,效率与计算精度常常不可兼得,随着计算机科学计算能力的提高,可以采用GPU加速的LU分解算法或者使用LAPACK等优化程序包来克服求解大型矩阵的计算效率问题.在实际应用中需权衡利弊,选择适合的算法.
衷心感谢审稿专家提出的宝贵意见和建议.
白晓寅.2008.基于地震波衰减理论的地层吸收参数提取方法研究[D].东营:中国石油大学(华东)地球科学与技术学院:24-54.
Bai X Y.2008.The Study on Method of Layer Absorbing Parameters Extraction Based on the Theory of Seismic Wave Attenuation[D].Dongying:School of Geosciences,China University of Petroleum:24-54(in Chinese).
陈浩,王秀明,赵海波.2006.旋转交错网格有限差分及其完全匹配层吸收边界条件[J].科学通报,51(17):1985-1994.
Chen H,Wang X M,Zhao H B.2006.Rotated staggered grid finite-difference and the PML boundary[J].Chinese Science Bulletin,51(17):1985-1994(in Chinese).
董良国.2003.地震波数值模拟与反演中几个关键问题研究[D].上海:同济大学海洋与地球科学学院:1-2.
Dong L G.2003.Several Key Problems in Seismic Wave Numerical Simulation and Inversion[D].Shanghai:School of Ocean and Earth Science,Tongji University:1-2(in Chinese).
何燕.2008.正交各向异性弹性波高阶有限差分正演模拟研究[D].东营:中国石油大学(华东)地球科学与技术学院:45-80.
He Y.2008.High-Order Finite-Difference Forward Modeling of Elastic-Wave in Orthorhombic Anisotropic Media[D].Dongying:School of Geosciences,China University of Petroleum:45-80(in Chinese).
李敏,刘洋.2012.高阶旋转交错网格有限差分方法模拟TTI介质中横波分裂[J].物探与化探,36(6):934-940.
Li M,Liu Y.2012.Modeling of the S-wave splitting in TTI media using high-order rotated staggered grid scheme[J].Geophysical and Geochemical Exploration,36(6):934-940(in Chinese).
裴正林,王尚旭.2005.任意倾斜各向异性介质中弹性波波场交错网格高阶有限差分法模拟[J].地震学报,27(4):441-451.
Pei Z L,Wang S X.2005.A staggered-grid high-order finite-difference modeling for elastic wave field in arbitrary tilt anisotropic media[J].Acta Seismologica Sinica,27(4):441-451(in Chinese).
孙成禹,肖云飞,印兴耀,彭洪超.2010.黏弹介质波动方程有限差分解的稳定性研究[J].地震学报,32(2):147-156.
Sun C Y,Xiao Y F,Yin X Y,Peng H C.2010.Study on the stability of finite difference solution of visco-elastic wave equations[J].Acta Seismologica Sinica,32(2):147-156(in Chinese).
孙林洁.2012.非均匀孔隙介质有限差分正演模拟方法研究[D].青岛:中国石油大学 (华东)地球科学与技术学院:64-108.
Sun L J.2012.Finite-Difference Modeling Research in Heterogeneous Porous Media[D].Qingdao:School of Geosciences,China University of Petroleum:64-108(in Chinese).
王守东.2003.声波方程完全匹配层吸收边界[J].石油地球物理勘探,38(1):31-34.
Wang S D.2003.Absorbing boundary condition for acoustic wave equation by perfectly matched layer[J].Oil Geophysi-cal Prospecting,38(1):31-34(in Chinese).
王书强,杨顶辉,杨宽德.2002.弹性波方程的紧致差分方法[J].清华大学学报:自然科学版,42(8):1128-1131.
Wang S Q,Yang D H,Yang K D.2002.Compact finite difference scheme for elastic equations[J].Journal of Tsinghua University:Science and Technology,42(8):1128-1131(in Chinese).
严红勇,刘洋.2012.黏弹TTI介质中旋转交错网格高阶有限差分数值模拟[J].地球物理学报,55(4):1354-1365.
Yan H Y,Liu Y.2012.Rotated staggered grid high-order finite-difference numerical modeling for wave propagation in viscoelastic TTI media[J].Chinese Journal of Geophysics,55(4):1354-1365(in Chinese).
殷文,印兴耀,吴国忱,梁锴.2006.高精度频率域弹性波方程有限差分方法及波场模拟[J].地球物理学报,49(2):561-568.
Yin W,Yin X Y,Wu G C,Liang K.2006.The method of finite difference of high precision elastic wave equations in the frequency domain and wave field simulation[J].Chinese Journal of Geophysics,49(2):561-568(in Chinese).
Boersma B J.2011.A 6th order staggered compact finite difference method for the incompressible Navier-Stokes and scalar transport equations[J].J Comput Phys,230(12):4940-4954.
Collino F,Tsogka C.2001.Application of the perfectly matched absorbing layer model to the linear elastodynamic problem in anisotropic heterogeneous media[J].Geophysics,66(1):294-307.
Dai N,Vafidis A,Kanasewich E R.1995.Wave propagation in heterogeneous,porous media:A velocity-stress,finitedifference method[J].Geophysics,60(2):327-340.
Du Q Z,Li B,Hou B.2009.Numerical modeling of seismic wavefields in transversely isotropic media with a compact staggered-grid finite difference scheme[J].Appl Geophys,6(1):42-49.
Gold N,Shapiro S A,Burr E.1997.Modelling of high contrasts in elastic media using a modified finite difference scheme[C]∥SEG Technical Program Expanded Abstracts.Dallas,Texas:SEG:1850-1853.
Holberg O.1987.Computational aspects of the choice of operator and sampling interval for numerical differentiation in large-scale simulation of wave phenomena[J].Geophys Prospect,35(6):629-655.
Igel H,Mora P,Riollet B.1995.Anisotropic wave propagation through finite-difference grids[J].Geophysics,60(4):1203-1216.
Kim J W,Lee D J.1996.Optimized compact finite difference schemes with maximum resolution[J].AIAA J,34(5):887-893.
Kirkpatrick S,Gelatt C D Jr,Vecchi M P.1983.Optimization by simulated annealing[J].Science,220(4598):671-680.
Kosloff D,Pestana R C,Tal-Ezer H.2010.Acoustic and elastic numerical wave simulations by recursive spatial derivative operators[J].Geophysics,75(6):T167-T174.
Lele S K.1992.Compact finite difference schemes with spectral-like resolution[J].J Comput Phys,103(1):16-42.
Liu Y,Sen M K.2009.An implicit staggered-grid finite-difference method for seismic modelling[J].Geophys J Int,179(1):459-474.
Liu Y.2013.Globally optimal finite-difference schemes based on least squares[J].Geophysics,78(4):T113-T132.
Saenger E H,Bohlen T.2004.Finite-difference modeling of viscoelastic and anisotropic wave propagation using the rotated staggered grid[J].Geophysics,69(2):583-591.
Saenger E H,Gold N,Shapiro S A.2000.Modeling the propagation of elastic waves using a modified finite-difference grid[J].Wave Motion,31(1):77-92.
Shan G.2009.Optimized implicit finite-difference and Fourier finite-difference migration for VTI media[J].Geophysics,74(6):WCA189-WCA197.
Virieux J.1984.SH-wave propagation in heterogeneous media:Velocity-stress finite-difference method[J].Geophysics,49(11):1933-1957.
Zeng Y Q,He J Q,Liu Q H.2001.The application of the perfectly matched layer in numerical modeling of wave propagation in poroelastic media[J].Geophysics,66(4):1258-1266.
Zhang J H,Yao Z X.2012.Optimized finite-difference operator for broadband seismic wave modeling[J].Geophysics,78(1):A13-A18.
Zhou H B,Zhang G Q.2011.Prefactored optimized compact finite-difference schemes for second spatial derivatives[J].Geophysics,76(5):WB87-WB95.