1. 引言
本文讨论了多连通域中泊松方程的一个柯西问题。设
是
中一个有界的多连通区域,有两个光滑边界
和
。假设
是可以测量柯西数据的外部可达边界,
为内部不可达边界。函数
满足,
(1)
以及边界条件
(2)
(3)
其中
和
分别是在边界
上指定的Dirichlet和Neumann数据;
表示
在
上的外法向导数。
众所周知,在Hadamard [1] 意义下,泊松方程的柯西问题是不适定的 [2] [3]。也就是说,给定数据中非常小的扰动可能会导致解的巨大偏差。该问题在等离子体物理学、心电图学、腐蚀无损评价等许多不同的领域都有应用 [4] [5] [6] [7]。由于其缺陷,柯西问题的数值逼近变得非常困难和具有挑战性。通常,我们使用正则化技术来获得稳定的数值解,如Tikhonov正则化 [8] 和拟逆方法 [9]。
对于环域中具有Dirichlet边界条件的泊松方程的直接问题,Lin等人研究了一种基于傅里叶展开法和超球面光谱方法的简单而有效的光谱方法 [10]。魏等人用基本解法结合Tikhonov正则化法求解了圆的邻域上拉普拉斯方程的柯西问题 [11]。然而,据我们所知,关于泊松方程柯西问题的文献很少,本文的目的是用MFS-RBFs来解决这个问题。
最近,作者提出了一种新的,改进的无网格方法来解决逆热源问题 [12]。他们结合了MFS和RBF方法给出了逆源问题的数值解。受他们思想的启发,我们用这种方法来求解泊松方程。
通常对于实际问题,由于
和
是通过测量得到的,因此不可避免地会有误差
,而且我们只知道测量的数据
,
。假设
(4)
本文的组织结构如下:在第1节和第2节中,我们分别介绍了拉普拉斯方程的基本解方法和径向基函数法。第3节中应用基本解–径向基函数(MFS-RBFs)方法解决问题。第4节介绍了Tikhonov正则化方法。最后,我们在第5节中给出了数值例子。
2. 基本解方法
基本解法是求解偏微分方程的常用方法,是一种无网格方法。其主要思想是为一个给定的偏微分方程找到一种具有特殊形式和奇异性的解,然后假设这些解可以得到所需的定解问题的解。然而,基本解方法有一个很大的缺点,即使是对于正定问题,所得到的线性方程系统也是病态的 [13]。因此,需要一种特殊的正则化方法来求解这个代数系统。
在本节中,我们给出了一种用周和魏在 [11] [14] 中提出的MFS近似拉普拉斯方程柯西问题解的方法。在(1)中,当
时,原方程变成拉普拉斯方程
(5)
设
和
为实数,使
,而N为自然数。我们在以下点上安排内外源点:
为外源点,
为内源点,其中
。
我们知道拉普拉斯方程的基本解 [15] 定义为
, (6)
其中
和
是
中的点,
表示
中的欧几里得距离。
根据MFS的理念和基本解(6),我们假设柯西问题(5),(2),(3)的近似解
可以用以下线性组合来表示
, (7)
其中
是一个实常数,
是源点,而
是要确定的未知系数,从而满足以下不变条件
(8)
在可接触边界
上,选择N个配置点
,
来拟合Dirichlet数据和Neumann数据。有关对配置点和源点的设置的说明,请参见图1。通过配置边界条件(2)~(3),容易得到线性方程组,
(9)
Figure 1. Fork(×) are collocation points for boundary condition; Stars(*) represent source points; Solid line (-) denotes the outer boundary; Dashdot line (-.) represents the inner boundary
图1. (×)是边界条件的配置点;(*)表示源点;实线(-)表示外边界Γ1;点线(-.)表示内边界Γ0
从不变条件(8)和配置条件(9)可得,参数集
和
是以下线性方程的解
(10)
其中
,以及
由以下矩阵定义
, (11)
其中
3. 径向基函数方法
在本节中,我们考虑了离散数据 [12] 的插值的RBF方法。如果
是一个不动点,
是
中的一个任意点,而径向函数
通过
定义,其中
,径向函数
仅由
和
之间的距离决定。这个性质意味着
是径向对称的。表1中给出了一些常用的无限光滑的RBFs。这些函数依赖于一个自由参数C,称为形状参数,它使用了RBFs的近似理论。
Table 1. Some well-known radial basis functions
表1. 一些常用的径向基函数
设
是
中的域
中一组给定的不同点的集合。RBFs的主要思想是使用相同类型的RBFs的线性组合进行如下插值:
(12)
其中
,
是未知系数。假设给定值
。当未知系数
的值已知时,有
,且满足以下线性方程
, (13)
这里
,
和
,其中
对应的
。
由Schoenberg定理 [16] 可知,在一般情况下,对于高斯,逆多二次,多二次以及逆二次径向基函数中不同的插值点,矩阵是正定的。
4. 基本解–径向基函数方法
本节采用基本解和径向基函数法求解问题(1)~(3)的数值方案。通过MFS和RBFs的线性组合,直接给出解的线性表达式,即用RBFs的线性组合近似出方程(1)的非齐次项。
在区域
中,我们假设
分别为源点和配置点。
则问题(1)~(3)的解可以被写成如下形式:
(14)
这里
,其中
由(6)给出。而且
是由表1给出的径向基函数中的一种。在本节中,我们选用高斯径向基函数。我们用近似解
去满足给定的方程。所以系数
通过以下矩阵方程确定:
(15)
其中
,
。矩阵
可以表示为如下形式:
其中
,
。
在实际应用中,由于测量数据
,
和
不能准确地测量并且通常会被噪音干扰,并且数值算法关于噪音数据的稳定性对于获得具有物理意义的解至关重要。故我们用噪音数据来证明所提出的数值方案的稳定性,并得到了以下噪声数据:
, (16)
其中
是精确值,函数
是在[0, 1]上均匀分布的随机数。
5. 正则化方法
由于泊松方程(1)~(3)的柯西问题是高度不适定的,方程(15)中的矩阵A是病态的,且矩阵A的条件数随着配置点数的增加而急剧增加。另一方面,由于径向基函数依赖于形状参数C也会影响A的条件数。因此,我们常用一些正则化方法来解决这种不适定问题 [17] [18]。本文中采用Tikhonov正则化方法 [8] 求解带有右侧误差
的矩阵方程(13),即解决以下最小二乘问题
(17)
其中
是
中的欧几里得范数,
为正则化参数。容易知道(17)中的
的最小值满足
(18)
其中
。在计算过程中,我们使用Hansen的软件包 [19] 来解决(15),而该问题(1)~(3)的近似解
表示如下:
(19)
因此,对
,内部不可达边界上的Dirichlet数据为
(20)
6. 数值实验
在本节中,我们举了三个数值例子来验证该方法的可行性和有效性。计算程序都在Matlab中给出,为了估计数值近似的误差,我们选择了一些测试点,用以下公式计算相对均方根误差(RRMSE)。
其中N是在内边界
上均匀分布的测试点的总数,
和
是在
上一点处的解的近似值和精确值。
例1. 已知精确解以及内外边界都为圆。
Figure 2. The approximate solutions (
) to different points on (
) in Example 1
图2. 例一中(
)上不同点的近似解
例2. 精确解和内外边界分别为
Figure 3. The approximate solutions (
) to different points on (
) in Example 2
图3. 例二中(
)上不同点的近似解
例3. 在此例中,我们考虑了精确解u未知的情况。设外边界是一个圆
,内边界通过
被参数化,
为
在 [14] 中给出的。通过求解以下直接问题,得到了外边界
上的Neumann数据。
在这个例子中,我们可以看到非齐次项是0,我们使用本文中提到的方法来解决它,即通过径向基函数来逼近0。
Figure 4. The approximate solutions (
) to different points on (
) in Example 3
图4. 例三中(
)上不同点的近似解
图2~4展示了例1~3中
的精确解和近似解之间的比较,以及使用MFS-RBFs添加到数据中的不同误差。结果表明,随着误差水平的增加,该近似函数具有可接受的精度。在图5中我们展示了例1~3的关于
的形状参数C的相对误差RRMSE(u)。在图6中,我们分别绘制了在内边界
上例1和2在不同误差水平下的解
的Neumann数据。图7给出了例1~3的数值解相对于配置点的相对误差。可以看出,数值误差逐渐稳定,表明不需要使用大量的配置点来得到精确的解。然而,从图8中来看,当源点的数量在一定的范围内时,数值结果是振荡的。
(a) Relative error change of shape parameter C in Example 1 (b) Relative error change of shape parameter C in Example 2(c) Relative error change of shape parameter C in Example 3
Figure 5. Relative error change of shape parameter C in Examples 1~3
图5. 例1~3中δ = 1%时形状参数C的相对误差变化
(a)
(b)
Figure 6. The
for Examples 1 and 2 with various noise levels
图6. 例1和例2不同误差水平下的
(a)
(b)
(c)
Figure 7. The relative errors of solutions with respect to the number of collocation points for Example 1~3
图7. 例1~3的关于解的配置点的数目的相对误差
(a)
(b)
Figure 8. The relative errors of solutions with respect to the number of source points for Example 1 and 2
图8. 例1和例2的解相对于源点数目的相对误差
7. 结论
本文将MFS与RBF结合起来,重建了多连通域上二维泊松方程的内部Dirichlet和Neumann数据。用具有精确解和非精确解的数值例子验证了该方法是准确和稳定的。
基金项目
本文所述的工作由国家自然科学基金项目数学天元基金(No. 11326234),甘肃省自然科学基金项目(No. 145RJZA099),甘肃省高校科研项目(2014A-012),西北师范大学青年教师科研能力提升项目(2020-08)支持。
NOTES
*通讯作者。