劉立漢，崔曉英，蔡靜秋

(重慶師范大學數(shù)學科學學院, 重慶401331)

外部反散射問題是一類典型的反散射問題。如一個物體被平面入射波或者點源散射，其反問題是從遠場數(shù)據(jù)或者近場數(shù)據(jù)重構(gòu)散射物體的位置、形狀及其物理性質(zhì)。這樣的問題出現(xiàn)在各種醫(yī)學成像、超聲波斷層、材料科學、無損探測、雷達、遙感和地震勘測等領(lǐng)域，見文獻[1-4]。本文我們研究如何從位于腔體內(nèi)部的點源測量數(shù)據(jù)來重構(gòu)腔體的位置、形狀及其物理性質(zhì)，即內(nèi)部反散射問題，這類問題出現(xiàn)在工業(yè)應用中的非結(jié)構(gòu)探測，如檢測聚變反應堆的結(jié)構(gòu)完整性，見文獻[5]。近年來，內(nèi)部反散射問題已經(jīng)吸引了很多的研究者，在文獻[5]中，Jakubik和Potthast通過電位法和量程檢驗得到Cauchy問題的解，利用這些解來研究一些聲學腔體的完整性；之后，線性采樣方法被用來處理部分涂層的腔體和可穿透性腔體的內(nèi)部反散射問題，如Cakoni和Liu的文獻[6]、Qin和Liu的文獻[7]、Cakoni、Colton和Meng的文獻[8]、Liu的文獻[9]；此外，因式分解法(見文獻[10])和近場成像法(見文獻[11])也被用來決定腔體的形狀；類似地，Qin和Cakoni的文獻[12]使用的是非線性積分方程方法，Zeng、Suarez和Sun的文獻[13]使用的是分裂法。

本文我們用另一個采樣方法，即交互間隙方法來處理內(nèi)部反散射問題，這種方法最早由Colton和Haddar提出來的。正如文獻[4]中標注的那樣，這種方法有兩個優(yōu)點，一是不需要散射物體的物理性質(zhì)的先驗知識；二是它避免對格林公式的背景介質(zhì)的計算；但交互間隙方法的一個顯著特點是使用柯西數(shù)據(jù)。在文獻[14]，Cakoni等一些人進一步分析了該方法對Maxwell方程和層狀介質(zhì)的影響，在文獻[15]中，Shifrin和Shushpannikov應用交互間隙方法來識別彈性固體的球狀缺陷，在文獻[16]中，Monk和Selgas采用交互間隙方法處理反流-固體耦合問題。

本文結(jié)構(gòu)如下：首先，我們闡述了內(nèi)部反散射問題相關(guān)的數(shù)學模型。然后，根據(jù)線性積分方法介紹交互間隙方法，并研究相應的定理和結(jié)論。最后，對交互間隙方法進行了數(shù)值驗證，并且我們提出的數(shù)值例子顯示了交互間隙方法的可行性。

1 反散射問題

Δu+k2n(x)u=0,x∈D{x0},

(1)

這里的υ是曲線的單位向外法向量，k是波數(shù)。我們假定B有有限多個組合并且這個曲線穿過B,n(x)是不連續(xù)且分段光滑的，u=ui+us是總場，us是散射場。從文獻[8]，我們可以得到，ui,us滿足交互關(guān)系，即

us(x,x0)=us(x0,x),

ui(x,x0)=ui(x0,x),

我們注意到ui可以被寫作

ui(x,x0)=Φ(x,x0)+Φs(x,x0)=G(x,x0),

x∈R2

對x≠x0,這里的Φ(x,x0)是Helmholtz方程的基礎解，且

ΔG+k2n(x)G=-δ(x-x0),

并且適合Sommerfeld輻射條件，即

r=|x|

令

U={u?Du∈H1(D{x0}):

Δu+k2u= 0,x∈D{x0};

其中g(shù)是一個連續(xù)函數(shù)，由文獻[17]中可知，上述方程有唯一解。

現(xiàn)在讓Ω是D中的一個有界Lipschitz域，因此DC?Ω?D,這里的DC表示C的內(nèi)部。本文中的散射問題，我們需要的是從?Ω的總場u的柯西數(shù)據(jù)來決定散射物體的形狀。

定義1 設非零的數(shù)k2∈C,若存在一個非平凡的解u∈H1(D),滿足

Δu+k2n(x)u=0,x∈D,

則稱k2是-Δ在D內(nèi)的一個廣義的Neumann特征值。

接下來，證明反散射問題的唯一性定理。

定理1 若k2不是Ω中的一個廣義Neumann特征值，則?D被C上的所有點源x0在?Ω上的散射場us(x,x0)唯一確定。

證明假定D1≠D2是包含Ω的兩個有界區(qū)域，并且ui,us分別是方程(1)的點源G(x,x0)的區(qū)域D被D1,D2替代后的解。

Δvs+k2n(x)vs=0,x∈Ω,

(i)Bε,x1∩D1≠?,

(ii)Bε,x1∩D2?D2,

因此yn∈Bε,x1,且x1∈Bε,x1?D2??D2.

又由于k2不是Neumann特征值，則由文獻[1, 17]可知，方程(1)滿足解的適定性，則存在一個常數(shù)c1>c0>0,有

對所有的n≥1均成立，這里的Γ表示?D1?Bε,x1的子集。

另一方面，證明從x1出發(fā)的入射波是有界的。由于在?D上，有

則

又由交互關(guān)系可得

令D*是一個有界Lipschitz域，因此D0?D*且Bε,x1∩?D*=Γ,令Γ1=?D*Γ,則x1到Γ1的距離大于h,因此存在一個常數(shù)c2>0,使得

ui(x,x1)=Φ(x,x1)=

則

▽ui(x,x1)=

于是當x→x1時，

▽ui(x,x1)→∞

矛盾，所以D1=D2。

2 交互間隙法

在這一部分，我們利用交互間隙法來重構(gòu)這個腔體的位置及其形狀。首先定義兩個空間

(i) 對于一個無界的開區(qū)域，定義

(ii) 定義

U*={u|u是方程(1)的解且

ui=G(x,x0),x0∈C}

(2)

Rv(x0)=R(u,v)

(3)

下面，證明如果k2不是DC內(nèi)的一個廣義的Neumann特征值，則R是單射且有稠密值域。對于接下來的討論，我們定義單層勢能vg

(4)

R(u,v)=0

則根據(jù)格林公式和邊界條件有

即

令w是下列方程的解，即

Δw+k2n(x)w=0,x∈D;

由于k2不是廣義的Neumann特征值，則上述方程在H1(D)中有唯一的解，且它連續(xù)依賴于ν。

又對?u∈U*,u=us+G(·,x0),有

(Rv,φ)=0

由(2)式和R的雙線性性，可得

0=R(h,v)=

Δh(x)+k2h(x)=0

Δh(x)+k2h(x)=0

且k2不是一個廣義的Neumann特征值，則在Dc內(nèi)h(x)=0。由單層勢能的跳躍關(guān)系有

則算子R的稠密性得證。

R(u,vg)=R(u,Φz)

(5)

此處Φz=Φ(·,z),z∈Ω°(Ω°是Ω的內(nèi)部)。特別地，我們將說明如何使用這個函數(shù)g來描述?D的特征。這個交互間隙法的優(yōu)點在于對非均勻腔體，只需要基本解，相比于其他定性方法如線性抽樣方法，需要背景格林函數(shù)，而這些函數(shù)要么是未知的，要么是很難計算的。

一般來說，這個積分方程(5)無解，然而如果k2不是Dc內(nèi)的廣義的Neumann特征值，它可能提供了積分方程(5)的近似解的可能性。接下來證明本篇論文的主要結(jié)論。

定理4 假定k2不是Dc內(nèi)的廣義的Neumann特征值，則有

且

R(u,vgn-Φz)=

由于u∈U*,即u是方程(1)的解，即?υu=0,則

(6)

vgn→Φz

R(u,vgn)→R(u,Φz)

即

且

R(u(·,x0),Φz)=

(7)

R(u(·,x0),Φz)=v(x0)+

再通過格林公式有

R(u(·,x0),Φz)=v(x0)-Φ(z,x0)

由式(7)可知，v(x0)-Φ(z,x0)作為Δu+k2n(x)u=0在DC內(nèi)的解可以是連續(xù)的。

另一方面，

R(u(·,x0),vgn)=

又u∈U*由邊界條件可得

假定存在一個數(shù)列{gn},gn∈L2(C),對?u∈U*,當n→∞時，有

R(u(·,x0),vgn)→R(u(·,x0),Φz)

又由于當n→∞時，對?x0∈C,有vgn→f, 則

?υvgn-?υf=?υ(vgn-f)→0

即對?x0∈C,當n→∞時，有?υvgn→?υf,則當n→∞時，有

有

Δw+k2nw=0,x0∈DC；

3 數(shù)值例子

在這一部分，我們將給出幾個數(shù)值例子來驗證我們前面兩部分理論結(jié)果的有效性。在接下來的例子中，我們選擇n=1.2,k=5。

利用交互間隙法來重構(gòu)腔體的邊界?D的步驟如下：

(i)選一個包含未知腔體的樣本點區(qū)域。在我們的例子中，樣本區(qū)域為[-1,1]2。

(ii)對于每個樣本點z,解如下正則化型的數(shù)據(jù)方程

(iii)計算指示函數(shù)I(z)。

(iv)描點畫圖I(z)。

第一個例子，我們考慮重構(gòu)一個半徑為0.5的圓，分沒有噪聲和帶1%噪聲兩種情況，結(jié)果分別見圖1(a)和1(b)。

第二個例子，我們考慮重構(gòu)一個長為0.8的正方形，結(jié)果分別見圖2。第三個例子，我們考慮重構(gòu)一個長軸長為1，短軸長為0.8的橢圓，結(jié)果分別見圖3。

如上的數(shù)值例子說明我們提出的交互間隙法來重構(gòu)腔體的邊界?D是一種有效的算法。

圖1 (a) 重構(gòu)半徑為0.5的圓(無噪音) 圖1(b) 重構(gòu)半徑為0.5的圓(有噪音)Fig.1 (a) Reconstruct a circle of radius 0.5(no noise) (b) Reconstruct a circle of radius 0.5(1% noise)

圖2 重構(gòu)邊長為0.8的正方形Fig.2 Reconstruct a square of length 0.8

圖3 重構(gòu)長軸為1，短軸為0.8的橢圓Fig.3 Reconstruct an ellipse of x-axis 1, y-axis 0.8