5.1. DN映射的矩阵近似
该算法的第一步是根据测量数据和已知外加电流计算DN图的矩阵近似值。此方法可在中找到[61,77].
给定一组L(左)−1线性独立电流模式开启L(左)电极,表示发送到ℓ用于k个第个电流模式对于k个= 1, …,L(左)−1(根据基尔霍夫定律,线性无关电流模式的最大数量为L(左)−1.)让表示在我th电极对应于k个电流模式和归一化,以便,k个=1,…,1(根据基尔霍夫定律,线性无关电流模式的最大数目L(左)− 1. 这对应于地面的选择。让j个k个表示标准化电流的矢量和Φ对应L(左)×L(左)−1电流模式矩阵。电压v(v)k个归一化电流产生的电流由下式给出.通过Φ定义当前模式的矩阵(ℓ, k个)第个条目.
让(u个(·),周(·))L(左)表示由定义的离散内积
离散Dirichlet-to-Neumann映射,表示为L(左)γ,近似为L(左)γ=R(右)γ−1,其中R(右)γ表示离散的Neumann-to-Dirichlet映射。的条目R(右)γ由提供
哪里A类ℓ是的面积ℓth电极。
5.2. 计算ψ|∂Ω
Faddeev-Green函数的性质可以在[96,85,77]. 格林函数G公司k个根据相关的格林函数计算克k个对于操作员,其中。注释来自(5)和(7)功能μ(z、 k个)满意度
自G公司k个(z) =e(电子)伊克斯克k个(z)和克k个(z) =克1(千赫兹),格林函数G公司k个可以从中计算所有k
有几种计算方法克1(z)在文学作品中[96,60]. 这里我们使用的方法是[60]使用公式(3.10)[20]
哪里电子工程师(z)是指数积分函数。
为了适应测量数据的形式,我们将求解在中心zℓ每个电极的e(电子)ℓ。对于|k个| ≤R(右),来自(25)我们解决了
卷积G公司k个带有函数(f)计算如下。
对于ℓ′ ≠ℓ,
哪里A类ℓ′是电极的面积e(电子)ℓ′。对于ℓ′ =ℓ,的对数奇点G公司k个在0时需要更仔细地计算积分,因此我们离散了ℓth电极N个e(电子)点,,如所示,并应用辛普森规则:
具有有限个点的电极表面离散化的缩放N个e(电子).红色的点表示电极的中心蓝色的点表示离散化点。
请注意(f)(ζ、 k个)以上近似值为(f)(ζℓ,千)自,其中δΛ := Λγ−∧γ0贯穿论文的其余部分。代表就基本函数而言,
生成的表达式(f)(ζℓ,千):
其中系数b条n个(k个)第页,共页有待确定。让Φ表示L(左)×N个归一化电流模式的矩阵,并且让δΛj个n个(ζℓ) ≈ (ΦδΛ)(ℓ, n个). 发件人(31)和(32),
让矩阵由定义
让b条k个是未知系数的向量和扩展e(电子)伊克斯以类似的方式,让c(c)k个是展开式中系数的向量e(电子)伊克斯.让δL(左)将矩阵近似表示为δΛ. 这就产生了矩阵方程
将的每一侧相乘方程式(36)通过ΦT型并定义矩阵A类以下为:=ΦT型
G公司k个ΦδL(左),我们得到了以下线性系统,并使用GMRES进行了求解[90].
5.4. D-bar方程的数值解
为了获得γ(z)有必要求解D-bar方程μ(z、 k个)对于每个z在感兴趣的地区。此计算可以针对每个z,因此是微不足道的可并行性。此外,不需要统一的网格,也不需要计算γ每z英寸Ω.
D-bar方程(写为PDE)为
哪里.
求解此PDE的一种方法是使用有限差分,如[80]. 在这里,我们提出了一种快速傅立叶变换(FFT)方法,该方法在[68]基于Vainikko的多重网格方法[99]用于求解Lippmann-Schwinger方程。对于这种方法,我们使用D-bar方程的积分公式
或使用上述符号,
主要思想是(41)作为的右手边的卷积方程式(39)用格林函数对于D-bar操作符,由下式给出.然后(41)有表单
实际上,全平面方程式(40)转换为在周期设置中定义的等效方程。最初的想法来自瓦尼科[99],并适应了中的D-bar设置[68].
通过平铺k个-带正方形的平面
和一些ε> 0. 然后问足够容纳半径为2的圆盘R(右).采用平滑截止功能令人满意的η(k个)=1用于|k个| < 2R(右)+ε和η(k个)=0(对于)|k个| ≥ 2R(右)+2个ε定义周期近似格林函数
并表示.D-bar的周期性版本方程式(45)是
其中⋆表示圆环上的周期卷积。
现在是固定的z的解决方案(45)和(43)圆盘重合|k个| <R(右).因此我们可以替换μR(右)位于的右侧(45)并获得μ总的来说k个-从左侧的平面(45).
利用快速傅里叶变换可以有效地计算周期卷积(45)在等距网格上k个-有间距的平面小时以获得
其中黑体符号表示和是通过计算k个-网格、和·表示矩阵的元素乘法(Hadamard乘积)。注意,这里的FFT是二维FFT,可以用Matlab命令fft2和ifft2实现。
让
然后(44)可以写成矩阵方程
自μR(右)在操作员内部发现P(P),它不能用简单的形式书写阿克斯=b条。它由方程式隐式给出(46)因此,该方程很适合用无矩阵迭代法(如GMRES)求解。请参见.
在D-bar方程的数值解中,实际线性运算传递给了GMRES。左上角数组中的零元素表示(a)格林函数在正方形边界附近被平滑地截断为零S公司以及(b)原点处的奇异性被零取代。注意,实际部分和虚拟部分需要分开列出,如(47).
有以下几个功能方程式(46)然而,在数值解中必须考虑到这一点。
由于上的共轭μ,方程式(46)是一个实际线性因此,在应用GMRES之前,必须将方程的实部和虚部分开,除非使用专用的迭代解算器,例如[34]. FFT假设它们作用的函数的周期性,因此k平面中的网格必须延伸足够远,以便渐近行为μ~1相当接近。
此外,由于FFT和卷积,必须适当选择网格。
对于选定的截断半径R(右)>在k平面中,定义一个正方形问:=[−R、 R(右)]2,选择一个正整数米,表示M(M)= 2米、和设置小时= 2R(右)/(M(M)− 1). 定义网格通过
哪里
请注意是M(M)2并且该离散化不包括点(0,0)。此外,请注意,此网格与第15章中使用的网格不同[77]. 在Matlab中,可以使用meshgrid命令轻松计算此类网格。为了计算格林函数,网格向左和向右增加了M(M)/有间距的2个点小时总共2个M(M)分数:
在卷积的计算中,为零路径,以便与的网格兼容.通过表示网格点以便于将网格点处的函数值作为长度向量写入M(M)2,定义一个映射vecrl,它将上定义的复值矩阵矢量化k个-网格到上定义的复值向量,然后堆叠向量的实部和虚部,形成长度为2的向量M(M)2:
要解决方程式(46),我们首先构建一个初始猜测。一个合适的选择是带有第一个的垂直矢量M(M)2等于1和最后一个的元素M(M)2元素等于0,因为μR(右)是1+0我。对于每个选定的z,打电话给gmres进行初步猜测μ0和左边的线性运算符(46)由例程描述
此例程是传递给GMRES的函数,定义为(f)作为随着GMRES的每次迭代而更新的输入。GMRES的输出向量将是近似值的叠加实部和虚部μR(右)在这一点上z关于向量化k个-网格。然后可以将其作为复值向量重新写入,并将其重塑为原始向量k个-栅格.
上述求解方法具有计算复杂性M(M)2日志M(M)当在M(M)×M(M)栅格[68]. (第1个数字D-bar解算器的复杂性如[93]是M(M)4.)芬兰反问题学会计算博客上提供了MATLAB实现§.
有一种专用的迭代方法可用于实际线性问题,如D-bar方程[34],提供了加速的可能性。有关D-bar方法的实时实现,请参见[32].
D-bar方程的其他计算求解方法包括谱方法[64,63]和有限差分法[80]. 此外,Lippmann-Schwinger解算器[24]可能适用于D-bar方程。