准规则网格高阶有限差分法非均质弹性波波场模拟
2019-05-31李青阳吴国忱段沛然
李青阳 吴国忱* 段沛然
(①中国石油大学(华东)地球科学与技术学院,山东青岛 266580;②海洋国家实验室海洋矿产资源评价与探测技术功能实验室,山东青岛 266071)
0 引言
地震波场数值模拟是已知地下介质结构和参数,基于射线理论或波动方程理论模拟地震波在地下传播的一种技术。主要有有限元法、有限差分法和伪谱法等。近年来,学者们逐渐提出了一些新的数值模拟方法,如傅里叶积分法[1-2]、一步外推法[3-4]和低秩近似法[5-7]等。
有限差分法因其具有计算效率高、内存占用小、方便实现等优点,被广泛应用于地震波波动方程数值模拟[8-10]。Alterman等[11]最先提出层状介质二阶弹性波方程的离散数值解,其实质就是均匀介质的数值解。Boore[12]提出非均匀介质二阶弹性波有限差分法,Kelly等[8]对这一方法进行了改进。Madariaga[13]提出一阶速度—应力弹性波方程交错网格的有限差分法,Virieux[14-15]将交错网格法用于P-SV和SH波速度—应力方程的数值模拟。Levander[16]在Madariaga方法的基础上提出四阶精度交错网格有限差分法,提高了数值模拟的稳定性。Graves[17]将交错网格有限差分应用于三维弹性波介质。Moczo等[18]推导了纵横波的稳定性条件,并指出阶数越小频散越严重。Kristek等[19]提出了三维空间四阶速度—应力交错网格有限差分算法,有效压制了数值频散,提高了数值模拟精度。国内许多学者对于有限差分法进行了大量研究,如:刘洋等[20]提出任意偶数阶精度差分格式;董良国等[21]基于交错网格提出时间四阶、空间高阶有限差分法,实现一阶弹性波方程高精度数值求解;殷文等[22]在频率域实现了有限差分法,在提高模拟精度的同时很好地压制了频散;杨庆节等[23]在董良国等[21]研究的基础上优化了差分格式,提高了算法的稳定性和精度;杜启振等[24]联合高阶有限差分法和伪谱法共同求解声波方程,针对复杂介质的数值模拟有较好的稳定性。
目前应用最广泛的是Virieux[15]、Levander[16]的交错网格有限差分法,不仅可以对流体—固体耦合介质进行建模,且能够适应于高泊松比介质(包括流体),同时将密度的空间分布以及变化考虑在内,对于非均匀弹性介质下地震波传播建模是一个非常不错的选择。然而交错网格有限差分法面临内存需求量大、计算效率低的问题[25-27]。为此,Di Bartolo等[28]提出等效交错网格法,实现了二阶变密度声波方程的数值模拟,该方法精度与交错网格的正演模拟精度一致,从数学上也能够证明二者之间的等价性,且在存储上的优势非常明显,二维情况下内存占用量仅相当于交错网格法的三分之一。
受Di Bartolo等[28]研究的启发,本文应用准规则网格(Quasi-regular grid,QRG)正演算法模拟非均匀弹性介质地震波传播。首先给出各向同性非均匀弹性介质下通常使用的一阶速度—应力弹性波方程和二阶位移弹性波方程,在特殊假设条件下分析二者与经典二阶均匀弹性波位移方程的联系;然后回顾了QRG与交错网格剖分算法,在此基础上提出弹性波QRG高阶有限差分算法,分析不同算法的内存占用情况,以体现QRG法的优越性;从数学角度证明了QRG法和交错网格法在模拟弹性波传播过程中的等价性,并给出不同震源的加载方式以及边界条件和稳定性条件; 最后采用简单层状模型和复杂Marmousi-2模型进行数值模拟,通过与交错网格法和规则网格法的对比,验证QRG法对非均匀介质数值模拟的准确性及适用性。
1 弹性波波动方程
二维弹性波传统二阶位移—应力方程为
(1)
式中:u和w分别为x、z方向的位移波场;λ和μ为弹性介质中的拉梅常数;ρ为介质密度;τxx和τzz表示正应力;τxz表示切应力;fx、fz和fxz是震源项。
将式(1)中应力分量代入位移分量中,就得到各向同性非均匀二阶位移弹性波方程
(2)
式中sx和sz为纯位移方程震源项。需要注意的是,在离散情况下,加载震源方式不同会导致二阶方程与二阶位移—应力方程模拟结果不同。
在弹性介质均匀假设条件下,式(2)退化为经典的二阶弹性波位移方程
(3)
2 不同网格剖分的正演算法
2.1 规则网格法
规则网格法是地震波传播模拟最常用的有限差分法,具体思想是对均匀假设下的弹性波方程(式(3))中的连续偏导数项应用中心差分近似得到离散的近似表达式。因为均匀假设不涉及弹性参数和密度的空间变化,显然该方法仅在假定模型参数变化忽略不计或只考虑运动学的情况下满足精度要求,是一种利用规则网格剖分得到一个稳定的解析近似解的方法。在规则网格法中位移被限制在空间步长为Δx、Δz和时间间隔为Δt的每个离散点上,然后通过泰勒级数展开,并用已知的中心差分算子来近似弹性波方程的时空连续偏导项。
以位移水平分量为例,时间二阶导数差分近似为
(4)
对于空间导数,二阶有限差分近似为
(5)
式中假设Δx=Δz=h。从式(5)可知,在同一方向的二阶导数融合了半网格的思想,空间步长是h,而混合求导项的空间步长必须是2h。
2.2 交错网格法
Virieux[15]的交错网格法是通过建立半网格进行中心差分运算,实现对非均匀弹性波方程进行数值求解。例如空间二阶精度差分格式可表示为
(6)
类似地,对于时间的中心差分运算也采用半网格思想,具体的递推流程如图1所示。经典交错网格提出后最先是应用于弹性波一阶速度—应力方程
(7)
式中vx、vz为弹性波场x、z方向速度分量。
图1 弹性介质交错网格模拟示意图
2.3 准规则网格法
受Di Bartolo等[28]等效交错网格法启发,本文提出QRG高阶有限差分法,利用交错网格对位移分量剖分,实现非均匀介质弹性波场数值模拟。该方法是建立在二阶位移方程之上,实际上该方程与一阶速度—应力方程是等价的,等价的基础是位移与速度满足
(8)
将式(8)代入一阶速度—应力方程(式(7)),则
转换为二阶位移—应力方程(式(1))。虽然二阶位移—应力方程的时间离散并没有落在半网格上,即无半时间网格,但是空间离散仍然采用交错网格法剖分。
图2为QRG法与交错网格法网格剖分对比,可以看出,在二维情况下,交错网格法需要存储应力(τxx、τzz、τxz)、位移(u、w)共5个变量场,而QRG法只需存储2个位移场(u、w);在三维情况下,交错网格法需要存储应力(τxx、τyy、τzz、τxy、τyz、τxz)、位移(u、v、w)共9个变量场,而QRG法只需存储3个位移场(u、v、w),因此QRG法内存占用更少。
QRG法剖分下的任意阶差分格式为
(9)
(10)
(11)
(12)
(13)
(14)
(15)
(16)
式中:al和am是差分系数(表1); 2N为差分阶次;b为空间导数项对应的拉梅常数。
式(9)~式(16)中位移分量的下标是严格按照图2中准规则网格剖分方法给出的;式(9)~式(12)对应非均匀弹性波位移水平分量,其下标与正三角形一一对应;式(13)~式(16)对应位移垂直分量,其下标对应于倒三角形。
图2 交错网格与准规则网格剖分对比
表1 任意阶差分系数
3 QRG与交错网格法等价性证明
以弹性波方程的水平分量为例,式(2a)忽略震源项可表示为
(17)
为方便书写,选用空间二阶精度近似,则式(17)QRG差分格式为
(18)
二阶位移—应力方程(式(1))交错网格差分格式为
(19a)
(19b)
将式(19)中的应力项代入水平位移项中,整理可得
(20)
对式(20)应用加法交换律即得到与QRG法差分格式(式(18))完全相同的结果,上述结果在空间任意阶差分格式、推广至三维的差分格式均成立。垂直分量的推导过程与之类似,不再赘述。
4 震源、稳定性和边界条件
QRG法震源的加载需要考虑其网格剖分的特殊性。二阶位移—应力方程整理为二阶方程的过程中,对二阶位移—应力方程所加载的震源进行了一次空间求导运算,以位移水平分量为例
(21)
(22)
通常正演模拟加载的是点震源,在空间坐标可以表达为f×δ(i,k),则震源的空间导数为
(23)
由上式可知,对f作中心差分求导为零值,因此在数值模拟中,二阶纯位移方程无法得到与位移—应力在应力上加载震源模拟的结果。鉴于此,选择将震源加载在位移分量上,其物理意义可以这样描述:对空间一点加力,使该点位移产生响应并等效于力源,位移响应即为新的震源加载在该点,这样就避免震源对空间求导。因此,规则网格法、QRG法和交错网格法同时加载位移震源模拟结果是相同的。
对于经典规则网格法的位移加载震源,通常有四点法和八点法,而QRG法因为网格剖分不同,所以震源加载的方式也会有所不同。以四点法为例,图3和图4是两种方法纵波震源、横波震源的加载方式对比示意图,规则网格法震源中虚线表示水平和垂直方向加载位移的合成,由于QRG法的位移是相互交错排列,因此加载方式与规则网格不同。
图3 规则网格法(左)与准规则网格法(右)纵波震源加载示意图
图5和图6分别是QRG法不同的震源波场。因为QRG法的震源加载在位移上,所以纵波/横波震源加载过程中,会因为网格的离散导致残留的横波/纵波存在,该问题在规则网格法震源加载中同样存在。对于这种情况可以采用二阶位移—应力方程和二阶纯位移方程相互耦合的方法[31]在应力上加载震源,得到干净的纵波/横波波场,如图7所示。
图4 规则网格法(左)与准规则网格法(右)横波震源加载示意图
图5 纵波源波场水平分量(a)与垂直分量(b)对比
图6 横波源波场水平分量(a)与垂直分量(b)对比
之前证明了QRG法与交错网格法的等价性,因此QRG法的稳定性条件与交错网格法一致[21]。对于有限模型空间造成的人工反射问题,QRG法与规则网格法加载方式类似,通常会采用吸收边界条件来模拟无限介质,常见的方法有波动方程分解法[32]、旁轴近似法[33]、阻尼衰减法[34]、完全匹配层吸收边界[35],本文采用完全匹配层吸收边界条件。
图7 二阶位移—应力方程和二阶
5 数值模拟结果及分析
5.1 层状模型
首先通过简单模型验证QRG法的正演精度。层状模型(图8)尺寸为1500m×1000m,其中第二层与第三层纵、横波速度相同,但密度相差很大;震源是主频为20Hz雷克子波,位于(750m,0m)处,空间步长统一为5m,时间采样间隔为0.4ms。
图9为层状介质模型交错网格法、QRG法和规则网格法模拟的0.4s波场快照,可以看出,交错网格法和QRG法对于密度异常界面能够产生反射、透射波,而规则网格法模拟忽略了密度参数信息(式(3)),不能有效识别密度界面,表明交错网格法和QRG法有更高的模型参数利用率。图10为抽取接收点位于x=500m和x=1000m的水平分量地震记录,可见:三种方法模拟记录中直达波(0.2s)与一次反射波(0.4~1.6s)的旅行时信息基本一致,说明模型参数的空间变化对于波的旅行时影响微乎其微;QRG法和交错网格法相位信息基本吻合,振幅略微有些许差异,是由计算过程中误差累积造成的;二者与规则网格对比差异很大,主要体现在反射波的相位与振幅信息,是介质的非均匀性造成的。对式(2)进行简单数学变换可得
图8 层状模型
(24)
图9 层状介质模型不同方法模拟的0.4s波场快照
对比上式与式(3)可知,非均匀介质弹性波方程位移分量比均匀介质下方程多出了关于拉梅常数的导数项Au和Aw,直达波是从炮点沿第一层介质直接传播至检波点,该过程满足介质均匀假设,即拉梅常数导数为0,因此QRG法的直达波模拟结果与规则网格法结果一致。在层状模型中,介质的非均匀性主要体现在在弹性间断面上,而在层间介质仍然满足均匀假设,因此Au和Aw仅对界面处的反射、透射波的振幅和相位产生影响,而不改变旅行时信息。
图11为图10的局部放大显示(0.3~0.8s),可见0.35~0.45s处第一界面的交错网格法和QRG法的反射波旅行时、相位和振幅基本一致,在0.5~0.6s处第二界面的反射波旅行时和相位基本吻合、振幅有所差异。而规则网格法除了旅行时信息与前二者吻合,相位和振幅均偏小。在0.6~0.7s处交错网格法和QRG法可见纯密度界面的反射波信息,而在规则网格法记录中观察不到。
综上所述,相比于规则网格法,QRG法能够较准确地模拟非均匀弹性介质下的地震波传播,其旅行时、相位及振幅信息均与交错网格法模拟结果基本一致,在兼具模拟精度和节省内存的考虑下,QRG法在振幅上的微弱差异完全可以接受。
5.2 Marmousi-2模型
采用复杂Marmousi-2模型(图12)验证本文方法对复杂模型的适用性和稳定性。模型尺寸为 6800m×1400m,空间步长为5m;震源采用主频为20Hz的雷克子波,时间采样间隔为0.4ms,震源位于(3400m,0m)处;检波器均匀布置在模型表面,间隔为5m。
图13为Marmousi-2模型采用QRG法和交错网格法模拟的0.6s时刻水平分量波场快照,图14为垂直分量波场快照,两种方法的时空差分精度均为时间二阶和空间十阶。波场信息完整且无明显频散,证明QRG法对复杂模型数值模拟稳定性良好,从波场快照可见本文QRG法对复杂模型模拟结果非常稳定。
图15为两种方法模拟的水平分量道集,图16为两种方法模拟的垂直分量道集,从两种方法模拟记录结果可见,QRG与交错网格法的模拟精度基本一致。图17为两种方法模拟结果的单道水平及垂直分量对比,可见对复杂的Marmousi-2模型,两种方法模拟的地震信号旅行时、相位和波形信息基本一致。
图10 层状模型不同方法模拟的水平分量地震记录对比
图11 图10局部放大显示
综上所述,本文提出QRG法高阶有限差分法在非均匀弹性介质复杂模型中的展示出良好的稳定性,同时通过与交错网格法结果的对比,体现了QRG法所具有的优势。
图12 Mamoursi-2模型
图13 Mamoursi-2两种方法模拟的0.6s水平分量波场快照
图14 Mamoursi-2两种方法模拟的0.6s垂直分量波场快照
图15 Mamoursi-2两种方法模拟水平分量的道集
图16 Mamoursi-2两种方法模拟垂直分量的道集
图17 Marmousi-2两种方法模拟的水平(a)及垂直(b)分量记录对比
6 结论
针对非均匀弹性介质中地震波传播正演模拟问题,本文提出一种新的QRG方法,对弹性波方程不同的位移分量采用交错的思想排列,并对位移分量做新的中心差分运算。通过算法分析和模型测试得到以下认识:
(1)本文提出的QRG法与交错网格法具有相同的模拟精度,并且优于传统的规则法,同时具有良好的稳定性;
(2)QRG法在内存方面具有很大的优势,对同一个二维模型分别用QRG法和交错网格法做一次正演模拟,QRG法的内存使用量比交错法减少60%,如推广到三维,则减少66.7%;
(3)QRG法加载纵/横波震源会产生与规则网格法一样微弱的横/纵波残留,在一定误差允许范围内是可以忽略不计的。如果要得到干净的波场,可以通过交错网格法与QRG法相互耦合的方式解决这一问题。
QRG法计算量较大,如何引入一些优化系数方法降低计算复杂度,是今后的研究方向; 另外,如何将QRG法应用到逆时偏移、最小二乘偏移以及全波形反演以提高地震偏移成像与反演的精度,也是今后的研究方向。