基于交错网格Lowrank分解的无条件稳定地震波场延拓方
法
技术领域
[0001] 本
发明属于
勘探地球物理学领域,具体地,涉及一种基于交错网格Lowrank算子的无条件稳定有限差分波地震场延拓方法。
背景技术
[0002] 石油和
天然气是关系到国计民生的重要
能源。
地震勘探是寻找油气资源,解决油气勘探、开发问题的有效方法。地震正演、地震成像和地震反演是地震勘探中的重要技术,而这三种技术的计算效率和
精度都依赖于所采用的时间域
地震波场延拓方法。目前最常用的两类时间域波场延拓方法包括有限差分方法和谱方法。有限差分利用差分代替微分,具有计算量小且容易实现的优点,被广泛应用与地震勘探技术中。有限差分的系数可以通过Taylor级数展开或是优化
算法来求取。前者可以看作是对伪谱算子级数展开的截断,而后者可以看作是对伪谱算子在某个或某些特定
频率上的最小二乘拟合。有限差分本质上是对伪谱算子的一种近似,这种近似使得有限差分存在计算精度低,频散严重以及计算不稳定等问题。在实际计算过程中,为了提高有限差分的计算精度,往往采用高阶的空间差分算子,但由于计算机存储等限制,在时间上通常还是采用二阶精度的差分,因此波场延拓在时间方向上精度较低,这也导致了频散误差严重。另外,为了保证计算的稳定,需要采用比地震采集数据小得多的时间步长进
行波场延拓,增加了计算量。
[0003] 近年来随着计算机技术的发展,在
波数-空间域进行波场延拓成为可能。在波数-空间域构建的波场延拓算子能够补偿时间离散引起的误差,即便采用大时间步长延拓,仍能保持极高的精度和
稳定性,对于依赖于波场延拓方法的地震正演、成像和反演技术的发展具有重要意义。但是由于实际地震数据量巨 大,直接利用波数-空间域算子处理实际数据依然受到计算速度和计算存储的限制。将空间波数域算子和有限差分方法相结合,发挥空间波数域的波场延拓算子精度高、稳定性好的优点以及有限差分计算速度快的优点,是解决波场延拓问题的一种新思路。交错网格Lowrank有限差分方法就是基于这种思想提出的一种新的波场延拓方法。该方法利用Lowrank分解处理波数-空间域的算子,得到有限差分形式的计算格式,在保证精度的前提下,大大节省了计算量,并且发挥交错网格的特点,在不增加计算量的前提下,提高计算精度。虽然该方法精度很高,但时间步长的选择依然受到稳定性条件的限制。一种在大时间步长延拓时,能保证计算稳定的高精度波场延拓方法对于实际地震资料的处理具有重要价值。
发明内容
[0004] 为了得到适用于实际地震资料处理且计算稳定的高精度地震波场延拓方法,本发明提出了一种基于交错网格Lowrank算子的无条件稳定有限差分地震波场延拓方法,通过对交错网格Lowrank算子加入衰减约束提高稳定性,通过考虑了频率权重的加权最小二乘拟合提高计算精度,最后得到对任意实际步长都计算稳定的有限差分系数,并将其用于地震波场的延拓。
[0005] 为实现上述目的,本发明的技术方案如下:
[0006] 基于交错网格Lowrank算子的无条件稳定有限差分波场延拓方法,其特征在于,包括以下步骤:
[0007] 步骤1:利用一阶速度-应
力方程的Fourier积分解构建交错网格上的Lowrank算子
[0008] 步骤2:利用衰减函数对交错网格Lowrank算子进行衰减约束
[0009] 步骤3:利用加权最小二乘方法计算有限差分系数
[0010] 步骤4:利用得到的有限差分系数实现无条件稳定的有限差分波场延拓。
[0011] 相对于
现有技术,本发明的有益效果如下:能够实现无条件稳定的高精度的地震波场延拓,有效压制数值频散,在达到相同计算精度的条件下,预期能提高2至3倍的计算效率。
附图说明
[0012] 图1是基于交错网格Lowrank算子的无条件稳定有限差分波场延拓方法的
流程图。
[0013] 图2是衰减函数曲线。
[0014] 图3是频率权重函数曲线。
[0015] 图4是常规有限差分方法得到的地震波场。
[0016] 图5是加入衰减约束后的交错网格Lowrank有限差分方法得到的地震波场。
[0017] 图6是同时加入衰减约束和频率权重后的交错网格Lowrank有限差分方法得到的地震波场。
具体实施方式
[0018] 如图1所示,基于交错网格Lowrank算子的无条件稳定有限差分波场延拓方法,其特征在于,包括以下步骤:
[0019] 步骤1:利用一阶速度-
应力方程的Fourier积分解构建交错网格上的Lowrank算子
[0020] 根据地下介质的速度和
密度模型以及波场延拓参数,利用一阶速度-应力方程的Fourier积分解在交错网格上构建波数-空间域的波场延拓算子;对波数-空间域波场延拓算子应用Lowrank分解,得到交错网格Lowrank算子。具 体方法如下:
[0021] 地震波场在地下介质中的传播可以近似的用
声波方程描述。声波方程有多种形式,其中一阶速度-应力声波方程考虑了速度和密度变化,适用于地震波场的延拓。在速度和密度变化的介质中,一阶速度-应力方程为
[0022]
[0023] 其中 为矢量波场,u表示质点震动的速度,p表示压力,A为
[0024]
[0025] 其中 利用一阶速度-应力方程(1)的Fourier积分解,可以构建如下的波数-空间域波场延拓算子
[0026]
[0027] 式(3)给出了在波数-空间域实现波场延拓的一般形式。如果当前时刻为t,那么下一时刻的地震波场u(x,t+Δt)可以通过对当前时刻的波场作用一个波数-空间域的积分算子再加上一时刻的波场u(x,t-Δt)得到。因此实现式(3)给出的波场延拓的核心是构建波数-空间域的积分算子。本发明的步骤1利用一阶速度-应力方程的Fourier积分解给出交错网格上波数-空间域的波场延拓算子,这是后续步骤的
基础。
[0028] 式(1)中时间和空间上的偏导数对应的离散形式为
[0029]
[0030]
[0031]
[0032]
[0033] 将式(4)-(8)代入(1)式,可得交错网格上一阶速度-应力方程的离散形式[0034]
[0035]
[0036]
[0037] 其中
[0038] x1=(x+Δx/2,z),x2=(x,z+Δz/2),
[0039] t+=t+Δt/2,t-=t-Δt/2
[0040] 下面推导计算x和z方向的空间偏导数的波数-空间域算子,即式(3)中W(x,k)涉及到的一阶偏导数算子。对应于方程(1)的二阶
波动方程为
[0041]
[0042] 对于常速度和常密度的情况,方程(10)可以写成如下波数域的形式[0043]
[0044] 其中 是波场p(k,t)的空间傅里叶变换。方程(11)的解析解为
[0045]
[0046] 将此解析解带入二阶时间导数微分格式中,可得
[0047]
[0048] 其中sinc(x)=sin(x)/x。
[0049] 通常情况下,速度和密度都是随着空间
位置变化的,在速度梯度和时间步 长较小的情况下,可以将(13)式中的常速度v0替换为变速度v(x),从而得到近似式[0050]
[0051] 对上式两端应用逆傅里叶变换,可以得到波场在时间-空间域的递推格式[0052]
[0053] 其中F表示空间傅里叶变换。上式右端可看作是一个依赖于空间位置x和波数k的算子作用于波场,记为
[0054]
[0055] 利用(16)式,(15)式可以表示为
[0056]
[0057] 在(16)和(17)式中,算子 相当于标准的梯度算子 ,但是该算子还依赖于参数v(x)和Δt。当速度为常数时,(17)式严格成立,这意味着算子 补偿了由于时间离散而导致的误差。事实上,对于变化的速度场,算子 也能在一定程度上补偿时间离散引起的误差。
[0058] 对于地震波场这样的有限带宽
信号,通过对波场应用傅里叶变换可以准确求得波场在空间上的偏导数。类似于常规的梯度算子,可以定义
[0059]
[0060] 其中x,z方向的偏导数算子为
[0061]
[0062]
[0063]
[0064]
[0065] 其中F表示空间傅里叶变换,kx和kz为波数分量,满足 式中指数项使得波场在计算时沿着x轴的正向或负向交错Δx/2个网格步长,或者沿着z轴的正向或负向交错Δz/2个网格步长。
[0066] 直接利用公式(19)计算空间偏导数,需要的计算量为 ,这对于实际地震数据的处理是难以承受的。下面采用Lowrank分解对公式(19)进行近似处理,已降低计算量。以式(19)中x方向的空间偏导数 为例,定义波数-空间域算子矩阵
[0067] Wx(x,k)≡kxsinc(v(x)|k|Δt/2) (20)
[0068] 对式(20)应用Lowrank分解,将算子矩阵分解为三个矩阵的乘积[0069]
[0070] 其中Wx(x,km)和Wx(xn,k)分别是从矩阵Wx(x,k)选取M列和N行组成的子矩阵,amn是中间矩阵的系数,这里M和N是依赖于矩阵秩的整数,通常M和N远小于计算点数Nx。因此,可以得到计算空间偏导数 的交错网格Lowrank算子
[0071]
[0072] 类似的可以得到其余计算x和z方向的空间偏导数的交错网格Lowrank算子[0073]
[0074]
[0075]
[0076] 步骤2:对交错网格Lowrank算子进行衰减约束
[0077] 构造波数相关的光滑衰减函数;利用衰减函数对步骤1构建的交错网格Lowrank算子进行衰减约束。具体方法如下:
[0078] 为了提高大时间步长波场延拓的稳定性,我们给出对传播算子进行衰减约束的方法。交错网格Lowrank算子式(22)-(23)是一个光滑震荡的函数,根据Von-Neumann稳定性分析易知,计算稳定的充分条件是交错网格Lowrank算子的取值对于任意情况都位于区间[-1,+1]内。但在实际计算过程中,数值误差使得交错网格Lowrank算子在时间步长选择较大时,往往不能满足稳定性条件。在为此需对交错网格Lowrank算子施加衰减约束,施加衰减约束之后的的交错网格Lowrank算子为
[0079]
[0080]
[0081]
[0082]
[0083] 其中taper(k)为和波数相关的衰减函数。这里衰减函数的选取应该满足如下三个条件,
[0084] ①衰减函数是关于波数k的光滑函数;
[0085] ②能够自动识别出交错网格Lowrank算子的稳定临界条件;
[0086] ③能在临界值附近加入可控的衰减。
[0087] 我们选用取如下形式的衰减函数,
[0088]
[0089] 易知taper(k)关于波数k的任意阶导函数存在(即该函数是光滑的),通常k的取值范围是从负Nyquist波数到正Nyquist波数。式中k0,α和β是三个控制参数,k0为特征波数,是使得W(x,k)达到稳定条件所限制的临界值的波数,α控制衰减的宽度,β控制衰减的大小。图2给出了取不同控制参数的衰减函数图像,k0取为0.175,实线所示的衰减函数α=300,β=0.02,虚线所示的衰减函数α=150,β=0.04。
[0090] 步骤3:利用加权最小二乘方法计算有限差分系数
[0091] 构造频率加权函数;利用加权最小二乘拟合步骤2提出的加衰减约束交错网格Lowrank算子(24),计算得到有限差分系数。具体方法如下:
[0092] 采用式(24)进行波场延拓,需要在每一个时刻上做多次空间Fourier变换,这使得该方法的并行实现较为困难。下面根据式(24)给出易用于分布式内存并行计算平台的有限差分方法计算格式。
[0093] 以式(24)中x方向的偏导数 为例,利用Fouirer变化的
相移性质,可将计算偏导数 的Fouirer积分算子转化到空间域求解,在空间域其求解格式具有如下的有限差分形式,
[0094]
[0095] 其中p(x,t)为定义在空间位置x和时间t上的波场,xR=(x+l1Δx,z+l2Δz),xL=(x-(l1-1)Δx,z+l2Δz),G(x,l)为有限差分的差分系数,可由下面的最小二乘问题求得[0096]
[0097] 其中W(x,k)=sin(v(x)|k|Δt/2), 有限差分系数G(x,l)是依赖于空间位置的,随着不同位置模型参数的不同自适应地变化。
[0098] 通过在波数k的整个取值范围内拟合交错网格Lowrank算子求取有限差分系数,在实际的计算中k的取值范围是从负Nyquist频率到正Nyquist频率,Nyquist频率的大小由空间步长和网格点数通过
采样定理确定。但是地震波场是带限的,地震波场中有效信号的绝大部分
能量都集中在主频附近的一个小的频带范围内,这个有效的频带范围仅是正、负Nyquist频率之间很小的一个区间,在这个区间内波场延拓算子的精度决定了波场延拓过程中的计算精度。因此为了提高计算精度,在总体拟合精度不变的前提下,可以让主频附近的拟合精度尽可能高一些,而容许在远离主频的波数误差可大一些,因为这部分的有效能量很小,即便是其误差较大对整体的计算精度的影响也不会很大。为此要求在做最小二乘拟合时,对主频附近的波数设定较大的权重,以保证这部分算子的精度。
[0099] 基于加入频率权重和衰减约束的交错网络Lowrank算子的优化有限差分系数可以通过求解加权最小二乘问题得到,
[0100]
[0101] 其中w(k)为Gauss型的双峰权函数
[0102]
[0103] 其中 f0为地震子波主频,v为介质速度。图3给出了两个Gauss型权函数的图像,介质速度为4.5 km/s,其中实线表示的是主频为20Hz,a=20000时的Gauss权函数,虚线表示主频为30Hz,a=2000时的Gauss权函数。
[0104] 式(28)给出的最小二乘问题的解为
[0105]
[0106] 其中 为一个Nk×Nk的对
角矩阵, 其元素为权重函数。
[0107] 通过衰减约束保证式(30)给出的有限差分系数G对于任意大的时间步长计算都是稳定的,求取G时所用的加权最小二乘方法保证了有限差分系数的精度。
[0108] 步骤4:利用得到的有限差分系数实现无条件稳定的有限差分波场延拓[0109] 将步骤3得到的优化差分系数(30)用于波场延拓可实现无条件稳定的地震波场延拓。采用步骤3中得到优化有限差分系数,用下式实现波场延拓过程中沿着x轴正方向空间偏导数的计算,
[0110]
[0111] 其中xR=(x+l1Δx,z+l2Δz),xL=(x-(l1-1)Δx,z+l2Δz),G(x,l)为步骤3中1 2 3
得到优化有限差分系数,l,l,l=1,L,L表示有限差分的结构,类似的对于沿着x轴负方向空间偏导数,其有限差分计算格式为
[0112]
[0113] 其中xR=(x+(l1-1)Δx,z+l2Δz),xL=(x-l1Δx,z+l2Δz)。对于沿着z轴正方向交错的空间偏导数,其有限差分计算格式为
[0114]
[0115] 其中xU=(x+l1Δx,z+l2Δz),xD=(x+l1Δx,z-(l2-1)Δz)。对于沿着z轴负方向交错的空间偏导数,其有限差分计算格式为
[0116]
[0117] 其中xU=(x+l1Δx,z+(l2-1)Δz),xD=(x+l1Δx,z-l2Δz)。
[0118] 将式(31)-(34)式带入式(9),可得到无条件稳定的有限差分波地震场延拓计算式,
[0119]
[0120]
[0121]
[0122] 其中
[0123] x1=(x+Δx/2,z),x2=(x,z+Δz/2),
[0124] t+=t+Δt/2,t-=t-Δt/2
[0125] 地震勘探通常采用4ms的时间采用间隔记录地震信号,常规方法计算不稳定采用4ms时间步长进行数值波场延拓时计算不稳定,如图4所示。图5所示为仅采用本发明步骤2中提出的衰减约束得到的波场,衰减约束能够使得计算稳定,但当传播时间较大时,会出现数值误差。图6所示为在计算过程中同时加入本发明步骤2中提出的衰减约束和步骤
3中提出的频率权重得到的波场 记录,可以看出当使用4ms时间步长时,计算稳定,而且得到的波场精确,没有数值噪音。