1.简介
当大雨袭来时,了解水渗入地下的方式对于预测河流洪水和山体滑坡等灾害至关重要。描述多孔介质中非饱和带流体运动的经典数学模型是Richards方程,它是一个非线性退化平流扩散方程。理查兹方程最近出现了两个主要的研究方向。一种是通过找到系数函数的特定形式来找到精确解,从而使方程完全可积。精确的解决方案有助于清楚地捕捉现象的物理机制并追求可控性[1,2,三]. 另一个研究方向是通过数值方法寻求近似解,使系数函数符合实际情况。有限元、有限差分或有限体积方法在[4,5]以及其中的参考。上述方案通常使用基于反向欧拉格式的完全隐式方案。自适应时间步进的研究[6,7]. 在这些研究中,设计了一些保守格式,数值试验表明它们具有良好的稳定性和一定的阶精度,但没有给出理论证明。 到目前为止,我们只知道一篇论文来证明Richards方程的混合有限元离散化在[8,9]. 在[8]他们引入了隐式混合元格式,并应用Kirchhoff变换处理Richards方程的简并性。基尔霍夫变换可以用于连续内积,但在差分格式的分析中必须采用离散内积,因此我们采取了一种新的方法,即通过对抛物项的系数函数添加扰动来克服退化。 在[8]他们使用的格式是隐式的,稳定性条件肯定优于显式格式。因此,在隐式格式的分析中,他们没有注意到稳定性条件。然而,只有在严格的网格比限制下,显式数值格式才是稳定的。为了改善稳定性条件,我们在差分格式中引入了一个额外的项来放宽时间步长限制,以改善稳定性条件。此外,隐式数值格式和显式差分格式的理论分析是完全不同的。 我们知道,这些早期的尝试都是基于反向欧拉差分格式和中心差分格式的隐式格式,尽管在某些情况下,可能必须使用隐式格式来避免不稳定性。然而,一个强非线性代数系统必须在每个时间层上求解,即使这些迭代方法[10,11]使用时,仍需要大量计算。显式格式是提高计算效率的一个很好的选择,但经典显式格式由于其退化性和严格的时间步长限制而不能用于Richards方程。 本文的主要目的是为Richards方程提供一个有效的显式数值格式,并证明其稳定性。这项工作的主要目标有三:首先,我们对抛物项的系数函数添加扰动以克服简并性。其次,我们在差分格式中引入了一个常系数稳定项,以放宽对时间步长的稳定性限制。请注意,在模拟Cahn–Hilliard方程时使用了类似的技术[12]和MBE模型[13]. Cahn–Hilliard方程和MBE模型是四阶抛物型偏微分方程,因此它们分别在Fourier谱格式和有限元格式中引入了二阶稳定项。Richards方程是一个二阶方程,因此在显式差分格式中添加的稳定项是完全不同的。最后,我们用归纳法证明了其稳定性,并进行了一些数值实验。 本文的组织结构如下。在第2节给出了Richards方程的显式差分格式。在第3节,我们证明了该方案的稳定性。在第4节,给出了一些数值实验。我们将论文总结为第5节. 2.Richards方程和显式差分格式
理查兹方程可以写成三种等效形式,其中一种是压头或含水量作为因变量。我们记得液压头被分隔成压力头和重力头z(z),垂直坐标向上增加,随着压力第页通过重力归一化。在这里是流体的质量密度克是重力加速度。之间的本构关系和允许从一个转换到另一个。这三种形式可以确定为小时-基于,-基于和混合:
其中实数函数,、和分别表示比湿容函数,非饱和导水率和非饱和扩散率.系数描述了水在孔隙中流动的难易程度,并取决于材料的固有渗透率、饱和度以及流体的密度和粘度。假设多孔介质是各向同性的。
我们认为小时-以Haverkamp等人报告的数据为基础的表格[14,15]它用于求解土柱入渗的一个例子。哪里表示含水量。和分别为初始含水量和饱和含水量。此外,,简单的计算表明 对于给定的和,我们考虑以下数据[16]. 这些数据提供了土壤柱渗透示例中的一些实数。从数据中,我们可以验证和很容易,即。,对于这将用于稳定性证明。
让是均匀步长,其中M(M)是一个正整数。我们划分时间范围吨具有N个段,让是统一的时间长度。那么对于一个函数,表示,其中、和,.让是网格比率。
现在,我们介绍离散内积为和相应的离散标准是此外,离散半范数和离散最大范数定义为 针对Richards方程的简并性,设计了一种处理非线性抛物项的特殊技巧。我们加上一个正常数到在(7)(事实上,可以看作是). 然后,修改后的一阶显式格式为 利用以对流为主的扩散问题为特征的Richards方程,数值实验表明(8)受网格比率的限制,这意味着该方案仅在非常小的时间步长内稳定,正如预期的那样。所以我们在(8)改善稳定性条件,放宽时间步长的限制。哪里是要确定的正常数,以改善稳定性条件。 备注 1 在[17]对于一维Richards方程,我们还建立了一个线性化的半隐式有限差分格式,并分析了其稳定性。与方案相比[17],显式差分方案(9)是为了避免在每个时间步长求解线性代数方程。如果我们用N段划分时间域,显式差分格式可以将计算成本降低到这一点。所以显式差分格式(9)更简洁,其数值模拟速度更快。 3.稳定性分析
定理 1 方案(9)与稳定离散范数,当时间步长满足,其中是的下限. 证明。 发件人(4),的下限对于有界现在我们假设有一个常数这样的话用于固定n个.取的内积(9)带有给予哪里–满足和 总结起来,我们得到对于简单计算表明这意味着存在一个正常数,独立于和,因此. 我们现在准备证明关于离散变量的稳定性规范。取的内积(9)带有,我们有哪里 我们的结论是,有一个正常数独立于和这样的话 结合以上两个结果(11)和(10),使用Sobolev的嵌入不等式,我们可以得到是有界的,当它意味着归纳假设成立,完成了证明。□ 在其他有用的应用中也使用了类似的估算技术[18]. 备注 2 我们利用常数以提高稳定性。如果、方案(9)是稳定的。请注意和使之成为可能足够小,以防出现过多错误。 备注 三。 确保数值方案(9)如果是收敛的,则应选择满足以下条件的时间步长.如果,我们必须采取非零扰动以确保方案的稳定性。因为,我们可以接受在数值实验中。 4.数值实验
在本节中,我们通过基于广义渗透过程的数值实验来说明数值稳定性小时-基于理查兹方程。由于很难获得该模型的精确解,为了验证理论结果,我们采用以下非齐次模型,其中边界条件保持不变(6). 如果我们假设一个精确的解,一个简单的计算表明 通过使用方案(9),我们显示,在图1,压力头随深度在10 s至360 s时间间隔内的变化趋势,选择和. 在[14]为了节省计算量,作者采用了隐式数值格式,并采取了较大的时间步长,例如10s、30s和120s。在本文中,我们将时间步长减小为相应地,他们使用的空间步长比我们大得多。不同的方案和较大的网格间隙可能会带来一些但可以容忍的差异。 我们接受s和用不同的时间步长和不同的选择来测试方案的稳定性。结果列于表1很明显,使用附加项可以显著提高稳定性。此外,在表2,我们设置和s、 并确认获得了期望的收敛阶数。 5.结论
在这项工作中,发展并分析了Richards方程的稳定显式格式。我们提出了避免Richards方程退化的技巧,并改进了有限差分格式的稳定性条件。给出了一个数值例子来验证我们的理论分析。长期数值稳定性的证明,以及如下所示的误差估计图2,表示理查兹方程典型解的物理稳定性;对解的无穷小扰动不会增长。对行波解的稳定性及其与数值稳定性的相关性进行严格的数学分析需要进行独立的研究。 与隐式数值格式和线性化数值格式相比,稳定的显式数值格式提高了计算效率。本文是Richards方程显式差分格式的第一步,我们只分析了这种格式的稳定性。我们正在扩展其他高精度显式差分格式并估计误差。