APP下载

部分边界可穿透的障碍物的正散射问题

2019-10-11彭超权李傲郭军

关键词:算子障碍物边界

彭超权,李傲,郭军

(中南民族大学 数学与统计学学院,武汉 430074)

通常,可穿透障碍物的声波散射问题可以通过Helmholtz方程以及障碍物边界上的传输条件来刻画.但是,在一些实际问题中,障碍物的部分边界可能为理想状态下的薄导体,此时声波会从边界的其余部分透射进入障碍物,这就是本文所要考虑的问题.文献[1]利用线性采样方法重构了散射体,但其中的正散射问题没有给出详细证明.类似的散射问题也出现在电磁波、弹性波散射现象中[2,3].

图1 模型简图

1 边界积分方程组

我们考虑如下边值问题:

(1)

首先证明问题解的存在性.

定理1边值问题(1)最多只有一个解.

因此我们有:

证毕.

令us,v有如下形式的解:

(2)

(3)

那么在边界Γ1上:

us和v在边界Γ3,Γ2上分别有:

如果定义:

(4)

Aχ=B.

(5)

定义Sobolev空间

以及共轭空间

X*=H1/2(Γ1)×H-1/2(Γ1)×H1/2(Γ3)×H1/2(Γ2),

A显然是从X映射到X*的有界算子.

2 积分方程(5)的解

定理2A是零指数的Fredholm算子.

这里j,l=1,2,3.当j=1,2时算子定义在∂D上,当j=3时算子定义在∂Ω上;当l=1,2时,算子在∂D上取值,当l=3时,算子在∂Ω上取值.

由参考文献[7],存在正下有界算子:

Sl:H-1/2(∂D)→H1/2(∂D),-Tl:H1/2(∂D)→H-1/2(∂D),

使得:

并且

是紧算子,其中l=1,2.参考文献[3]第七章.

定义:

Y:=H-1/2(∂D)×H1/2(∂D)×H-1/2(∂Ω)×H-1/2(∂D),Y*:=H1/2(∂D)×H-1/2(∂D)×H1/2(∂D)×H1/2(∂D),

因此有:

定理3 算子A:X→X*是单射.

证明设χ:=[a,b,c,e]T满足Aχ=0.接下来证明χ=0.

因Aχ=0意味位势满足齐次方程,根据定理2,知

现在重新定义位势us,v形式如(2)和(3)式,但us定义在D上,v定义在D0上.us和v在相应的区域满足Helmholtz方程.利用单双层位势的跳跃关系,在边界Γ1上:

在Γ2上:

根据上面4个式子,得到:

与定理1的证明过程相似,上式只有唯一解,故

因此:

证得a=b=c=e=0,故A是单射.

结合定理1~3,根据Fredholm定理位势算子的性质,问题(1)存在唯一解,且满足:

猜你喜欢

算子障碍物边界
与由分数阶Laplace算子生成的热半群相关的微分变换算子的有界性
守住你的边界
拓展阅读的边界
探索太阳系的边界
意大利边界穿越之家
Domestication or Foreignization:A Cultural Choice
高低翻越
赶飞机
月亮为什么会有圆缺
QK空间上的叠加算子