9.3.1 二维椭圆型偏微分方程的变分问题
目前二维电法正演问题是最重要的问题。所相应的是在第一类、第二类或第三类边界条件下的泊松方程或拉普拉斯方程。用数学的语言来说,这些都是属于椭圆型偏微分方程,所以这里就讨论和二维椭圆型方程相联系的变分问题。首先讨论椭圆方程边值问题和相应变分问题的等价性。
电法勘探中目标函数(如电位等)在勘探区域D内所满足的椭圆型微分方程为
地球物理数据处理教程
在D域的边界Γ上(Γ为逐段光滑的封闭曲线),满足下列条件之一:
地球物理数据处理教程
以上式中u(x,y)为欲求目标函数,α、β、γ和f均为x和y的已知函数。要求α>0,β≥0,γ≥0。方程(9.3.1)也称为赫姆霍兹方程。
数学上可以证明,若函数
J[u]=(Lu,u)-2(f,u) (9.3.5)
达到极小值,式中圆括号表示内积,定义为
地球物理数据处理教程
或者反过来也一样,若
这里不给出严格的证明,只从公式推导上说明其等价性,首先
地球物理数据处理教程
因为
地球物理数据处理教程
所以
地球物理数据处理教程
图9.3 区域边界的几何关系
(dl为文中ds)
利用平面格林公式
地球物理数据处理教程
上式积分中间两项可写为
地球物理数据处理教程
由图9.3可见
地球物理数据处理教程
所以
地球物理数据处理教程
代入第三类边界条件,则
地球物理数据处理教程
上式中ds为Γ上的一个微线段,n为该线段的外法线方向,所以
地球物理数据处理教程
实际上,J[u]是一个二次泛函,可以求出它的一阶变分和二阶变分。设δu(x,y)是u(x,y)的增量,则
地球物理数据处理教程
式中:
地球物理数据处理教程
泛函(9.3.6)取极值的必要条件是
δJ=0
又因α>0,β≥0,γ≥0且δu≢0,所以δ2J>0,故泛函(9.3.6)达到极小值的充要条件是δJ=0,δ2J>0。
现将一阶变分δJ改写一下,因为
地球物理数据处理教程
所以
地球物理数据处理教程
而δu是任意的,又α>0,因此由δJ=0推得
地球物理数据处理教程
这就是方程(9.3.1)的第三边值问题的解。
当γ=0时,在(9.3.6)式中没有线积分项,易于看出,δJ=0相当于微分方程在第二类边界条件下的求解,即:
地球物理数据处理教程
对于第一类边值问题,这时相应的泛函(9.3.6)式也没有线积分项,考虑到这时δu|Γ=0,故有
地球物理数据处理教程
与δJ=0相应的极小函数u(x,y)就是方程在第一类边界条件的解
地球物理数据处理教程
在以上讨论过程中有这样一种情况,即求一函数使泛函(9.3.6)达到极小值时,其边界条件是被极值函数自动满足的,无须作定解条件列出,这样的边界条件称为自然边界条件。
图9.4 两种介质的分界面
而第一类边界条件,在变分问题中与在微分方程边值问题中一样,必须作定解条件列出,也就是说极值解必须在满足这个边界条件的函数类中去找,这类边界条件称为强加边界条件。
前面的讨论适合于物性连续变化的介质,现在考虑分区均匀具有物性分界面的情况,这时必须考虑介质分界面的影响,在公式中将出现介质物性参数。现以稳定电流场为例进行讨论,由第一部分的理论:在两种导电介质的界面上,电流场必须满足的两个普遍性边界条件,即(8.3.9)和(8.3.10)式。这时介质参数α1=σ1,α2=σ2分别为两种介质的导电率,
地球物理数据处理教程
这时β=0,f=0,(9.3.6)式简化为
地球物理数据处理教程
式中D域由区域D1和D2合成,在D1上α=α1,在D2上α=α2。上式的变分可写为
地球物理数据处理教程
由于规定界面的法线方向从介质1指向介质2,所以上式最后一项为负的。在界面Γ12上,由于电位连续,在边界附近介质1中的电位变化必等于介质2中的电位变化,即δu
地球物理数据处理教程
式中Γ=Γ1+Γ2,只包括外边界,不包括介质分界面。
由此可知,只要泛函表达式中包含物性参数,泛函的变分与介质分界面无关,只与外边界有关。在泛函取极值的过程中,分界面上的边界条件将自动满足,这也属于自然边界条件。
9.3.2 里兹—伽辽金方法
里兹方法是求泛函的近似极小值函数的一个方法,伽辽金方法来源于力学中的“虚位移原理”,它和变分问题没有任何联系,因此不需要将微分方程问题化为泛函变分问题来求解。但当微分方程问题和变分问题等价时,它和里兹方法就是一样的,所以这里将它们并联起来叙述。
考虑满足第一边界条件下的泊松方程
地球物理数据处理教程
相应的变分问题是求泛函
地球物理数据处理教程
的极小值。
设极小值函数的近似值为
地球物理数据处理教程
通常Wi(x,y)可选取满足边界条件的三角函数或多项式,αi为待定系数,将(9.3.14)式代入(9.3.13)则
地球物理数据处理教程
其中
地球物理数据处理教程
由此可见,J(un)是α1,α2,…,αn的多元二次函数,由求泛函极小的必要条件,必须满足
地球物理数据处理教程
由此可得
地球物理数据处理教程
或
地球物理数据处理教程
这是一个线性代数方程组,解此方程组求出系数α1,α2,…,αn,代入(9.3.14)式,便是我们要求的解。
事实上,将λk,s和μk的表达式代入(9.3.15)式,可写为
地球物理数据处理教程
或
地球物理数据处理教程
由格林第一公式
地球物理数据处理教程
令u=un,v=Ws,并考虑边界条件,Wi也应满足边界条件Ws|Γ=0,故有
地球物理数据处理教程
代入(9.3.16)式中可得
地球物理数据处理教程
这是方程组(9.3.15)的另一形式,即所谓伽辽金方程组。
对于一般椭圆型方程(9.3.1)的第一边值问题
地球物理数据处理教程
相应的变分问题是求泛函
地球物理数据处理教程
的极小值。
同样,假设其极小值函数近似为(9.3.14)式,可以证明此时确定αk的方程组为
地球物理数据处理教程
其中
地球物理数据处理教程
方程组(9.3.20)的伽辽金形式为
地球物理数据处理教程
9.3.3 能量极小原理
在电磁学中有这样一个基本原理,即电磁场在达到平衡状态时都要求满足能量最小的条件,或者说,电磁能量取得极小的条件和麦克斯韦方程组是等价的,是以不同的形式表示电磁场状态及分布的基本定律。
已知电磁场的功率密度通量是由坡印亭矢量给出的
地球物理数据处理教程
而单位体积的功率ψ是密度通量
地球物理数据处理教程
由于
可将(9.3.22)式写为
地球物理数据处理教程
将上式对时间t积分,可以得到能量密度
地球物理数据处理教程
上式中等式右边三项分别表示磁场的、电场的和传导电流的能量密度。
地球物理数据处理教程
式中γ2=-μω(ωε+iσ),这是用磁场强度表示的总能量表达式。同样可求出以电场强度表示的总能量表达式:
地球物理数据处理教程
当考虑存在场源时,有
磁源能量
电源能量
电流源能量
电流源功率
式中:
电磁总能量DT由场的能量和源的能量组成,例如电场的总能量是电场能量和电极化源能量的总和
DT=DF+DE
前面已叙,电磁场的状态由能量极小原理确定。于是由极值的必要条件,能量DT的变分δDT必为零,对电场,其变分方程为
地球物理数据处理教程
对磁源磁场为
地球物理数据处理教程
当给定场源分布和适当边界条件时便可由上面变分方程求出介质各处的场值。
实际上可以证明满足变分方程的场值一定满足带有场源项的赫姆霍兹方程。例如(9.3.25)式,由于其变分和积分是对不同变量进行的,故可以交换其顺序,可得
地球物理数据处理教程
利用高斯公式,上式第二项为
地球物理数据处理教程
由于在区域的边界S面上变分δE处处为零,所以上式为零。这样可写出
地球物理数据处理教程
由于在区域内δE不为零,δDT为零,则要求
地球物理数据处理教程
在均匀导磁率的区域,化简为
地球物理数据处理教程
或
地球物理数据处理教程
这就是带有场源的赫姆霍兹方程。可见由能量极小原理所导出的变分方程与麦克斯韦方程组导出的微分方程对决定场的状态是等价的。
本回答被网友采纳