某些带有开弧段的偏微分方程外问题的数值计算

来源 :吉林大学 | 被引量 : 0次 | 上传用户:wangxiaohong75
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文分别针对两类带有开弧段的微分方程外问题-斜微商问题和弧的散射问题,提出两种不同的数值方法.Ⅰ.开弧外斜微商问题的基于Chebyshev多项式的方法首先我们考虑二维平面内模拟霍尔效应的开弧外斜微商问题.用一个简单开弧Γ∈C2,λ来模拟二维平面上的电极,其中λ∈(0,1].令用z1:=y(1),z-1:=y(-1)来表示r的两个端点.我们用Γ+来表示当s增长时,Γ的左手一侧,那么用Γ来表示Γ的另一侧.用n表示指向Γ的法向量.Γ的切方向τ定义为s增长时Γ的方向.显然,其中那么开弧外斜导算子问题为:其中β是一个实的常数.考虑角位势:积分核V(x,σ)由下面的公式定义,其中可以看出,V(x,σ)是向量y(σ)x与x轴的夹角,且V(x,σ)是一个关于x的多值调和函数.下面我们对其添加一个附加条件,固定V(x,σ)的某个分支,使其变成一个单值函数:对它进行分部积分,v[μ](x)会变成如下形式的双层位势:其中且rσ:={y=y(s)=(y1(s),y2(s)),s∈[-1,σ]}.然后利用角位势和单层位势的线性组合来构造问题(1)的解.其中C表示任意常数,v是角位势,w是单层位势如果(6)中的μ(σ)有类似的形式,其中μ是一个连续函数,解u[μ](x)在r的端点处有奇性:存在(?)∈(-1,0],使得这里d=±1.我们把(6)带入到问题(1)的边界条件中,得到一个积分方程组(见[72]),其中φ0(x,y)是向量xy与法向量ny之间的夹角.如果(6)中的μ满足(8)和(9),它就是问题(1)的解.为了证明(8)和(9)的解的存在唯一性,定义两个边界积分算子:它们的定义如下其中V={μ∈H-1/2(Γ):fΓμds=0}.可以看出ToI是角位势法向导数在Γ上的极限.命题0.1[1]在(9)的条件下,由此重新表示(8)和(9),得:命题0.2I是一个有界可逆算子.定理0.3对于任何的f∈H-1/2(Γ),(11)有唯一的解μ∈H-1/2(Γ)用Tn(σ)和Un(σ)分别表示第一类和第二类Chebyshev多项式.构造有限维空间:接下来的两个命题将讨论QN和PN在Sobolev空间范数下的逼近性质.命题0.41.PN是H1/2[-1,1]空间中的一个闭子空间.2.P∞=UNPN在H1/2[-1,1]中稠密.命题0.5[52]1.QN是H-1/2[-1,1]空间中的一个闭子空间.2.Q∞=(?)QN在H-1/2[-1,1]中稠密.考虑用φN这种第一类Chebyshev多项式的线性组合来近似μ问题(11)的离散化问题为:找到一个φN∈QN且满足f-11φN(σ)|y(σ)|dσ=0,使得其中<·,·>表示H1/2(Γ)和H-1/2(Γ)的偶对.定理0.6变分问题(12)有唯一解,且满足估计:利用Chebyshev多项式的一些特殊性质,离散的变分问题的计算可以适当简化.变分问题可以重新表述为:寻找cn,n=1,…,N,使得由[72],那么(13)变为如果|y(s)|≠常数,则M=N-2.(14)可以用第一类Guass-Chebyshev求积公式计算得到,利用第一类Guass-Chebyshev求积公式和Chebyshev多项式的一些特殊性质,(15)中的第一个积分如果|y(s)|=B,B为常数,则M=N-1.由QN的定义,我们有如果用I表示(15)中的第一项产生的刚度矩阵,那么在第二种情况下,I是一个对角矩阵.下面考虑(15)中的第二项的计算.第二项产生的刚度矩阵用A={aij}(M+1)×N表示,A中的元素因此,(15)的刚度矩阵是I+A.(15)中的第三项的近似计算公式最后,我们就会得到一个关于{c1,c2,…,cN}的线性代数方程组,进而求出这些系数.然后,重构单层位势w[μ]和角位势v[μ](x):这样我们就可以计算出近似的电位势u,虽然角位势可以在一定条件下被表示成一个双层位势,但是这种表示方式和角位势的定义相比距Γ较近时有更强的奇性.所以重构角位势时,我们选择从定义的角度做离散.为了验证我们的方法的有效性,本文还列举了一些特殊情况下的数值算例,通过计算结果和精确解还有[73]中的方法得到的结果作比较来验证方法的准确性和可行性.Ⅱ.开弧外散射问题的一种数值方法给定一个开弧Γ (?)R2,弧的两个端点为P,Q.用Γ+表示弧的一侧,Γ表示弧的另一侧.n+表示指向Γ的法向量,它的反方向用n+表示.给定入射平面波ui(x)=ui(r,θ)=eikx·d,其中波数k∈R+,入射方向为d,声硬弧散射问题就是求总波场v(x)=ui(x)+us(x)满足在R2\Γ内,(22)在Γ±上,(23)当r=|x|→∞.(24)在(23)中,由于ui是一个整函数解,那么us满足下面的方程:在R2\Γ内,(26)在Γ±上,(27)对于ρ>0,定义和R0是一个实数且满足Γ在BR0。内的部分可以近似的看成是一条直线段,其中i=P,Q且R0<π/3k.令R<min(1,R0).以Γ的每个端点i为极点作极坐标系(ri,θi),使得θi=0与BR0i。中的Γ重合.命题0.7{cosn/2θ}n=0∞是L2(0,2π)的正交基.由分离变量法出发,BR0i\Γ中的总场v(x)有如下表达式:其中Jγ(z)是γ阶的第一类Bessel函数.命题0.8如果γ>0,R0<π/3k,0<r<R0,其中M是一个不依赖γ的常数.命题0.9如果an,bn≥0,则命题0.10在命题0.8的条件下,如果r<R0,其中K是一个与n无关的常数.定理0.11如果u是问题(22)-(24)的解,则当(ri,θi)∈BR0,i=P,Q时,令在命题0.8的条件下,我们可以得到v≥1,C是一个不依赖v的常数,κ是一个仅依赖于R和R0的正的常数.把Γ用一个圆BR={x∈R2:|x|<R}包裹起来.定义ΩR=BR\Γ.我们在区域ΩR的外面加上一个PML层ΩPML={x∈R2:R<|x|<ρ}.令用α(r)=1+iσ(r)表示模拟介质的性质,它满足用r表示复极径,Ωρ=Bρ\Γ中PML问题的解u就是下面方程组的解在Ωρ内,在Γ±上,(36)u=0,在Γρ上,其中A=A(x)是一个矩阵,在极坐标下满足,问题(36)是问题(26)-(28)的近似.a:H1(Ωρ)×H1((Ωρ)→C满足则(36)的变分问题是:找到u∈HE1(Ωρ)满足其中表示L2(Γ)的内积.下面我们作出如下假设:其中σ0>0,m>1.令令u=u+ui.问题(36)等价于下面的方程组在Ωρ内,(40)在Γ±上,(41)u=ui,在Γρ上,(42)其中很容易可以看出在BR中f=0.令U=u-uiΦ,其中Φ∈C∞(Ωρ)满足Φ=1,在Γρ上,Φ=0,在BR内.则U是下面方程组的解,在Ωρ内,(43)(?)U/(?)n±=0,在Γ±上,(44)U=0,在Γρ上,(45)其中很显然,ΩR中g=0.(43)-(45)的变分问题是找到U∈HE1(Ωρ),使得我们引入两个算子M:HE1(Ωρ)→H1(Ωρ)和N:HE1(Ωρ)→H1(Ωρ):其中u,v∈HE1(Ωρ).则问题(43)-(45)等价于找到U∈HE1(Ωρ)使得因为U=u-uiΦ,则u满足其中F是H1(Ωρ)中的一个函数.命题0.12除去可数多个k之外,问题(40)-(42)在u∈H1(Ωρ)中有唯一的解.令是H1(Ωρe)中SRj的迹算子.定义其中因此,V(?)H1(Ωρ),而且||u||v=||u||1,Ωρ.那么,显然u|Ωρe可以唯一决定u∈V定理0.131V是H1(Ωρ)的一个闭子空间.定义对(49)的左右两边都乘以Π,则除了可数多个k,(49)和(50)有相同的解.令Fh={Kih}表示区域Ωρe的正规三角剖分,其中h=maxdiam{Kih}.如果Kih∩(BRP∪BRQ)=(?),则Kih是三角形.如果是曲边三角形,其中曲边是SRQ或SRP的一部分.令Gih是一个足够光滑的一对一映射,它把Kih映为一个标准三角形定义其中的函数u满足u|KihO(Gih)-1是一个次数≤p的多项式.网格Fh在SRi上产生了两部分网格:在SRi上其中i=只Q.定义为FRh,i上的节点.由此可以产生两个(0,2π)上关于θ的剖分定义Xp△θ,i(0,2π)(?)H1(0,2π),其中的函数u满足u|K△θ,i是一个关于θ的次数≤p的多项式.我们定义一个插值算子Πθi满足Πθi(u|SRi)∈Xp△θ,i(0,2π).对于v∈Hv(0,2π),有其中v>1,0≤t≤1,p≥1.令其中i=P或Q.此外定义定义其中Nρ,jh是Γρ上Fh的节点.定义问题(40)-(42)的离散变分问题是:找到满足可以看出XH,Rh,p在V中是终归稠密的.除去可数多个k外,(55)有唯一的解.定理0.14u∈H1(Ωρ)是问题(40)-(42)的解,则如果我们有定理0.15除去可数多个k,(55)有唯一的解uh,N,R.如果N,p足够大,在定理0.14的条件下,本方法可以平行推广到声软问题中,即Neumann边界条件的情况.
其他文献
本文主要讨论了非线性不适定问题数值求解及在近场光学问题中的应用.第一章是绪论,介绍了散射问题和反散射问题的数学模型和常见方法,近场光学的模型,以及不适定问题的概念和正则化方法.第二章主要介绍谱截断矩量法的相关理论及其在处理严重不适定问题中的应用,特别是在近场光学问题中的应用.通过数值计算可以看到,相比常规的正则化方法,比如Tikhonov正则化,矩量法等,谱截断矩量法处理严重不适定问题更为有效.第
本论文主要研究了N型原子系统中的相干光学现象,具体包含相干烧孔、光群速度减慢、相干吸收与增益以及四能级荧光效应,共分为三个部分。一、四能级N型原子系统中的相干烧孔及光速减慢在这部分我们研究了一个在三束激光场(即一束耦合光、一束附加耦合光和一束饱和光)作用下的多普勒展宽的N型四能级原子系统对探测光的稳态光学响应特性,其中包含相干烧孔效应和光群速度的减慢。在研究中,我们考虑以下两种情况的N型系统结构:
本文利用临界点理论研究了几类非线性椭圆方程非平凡解的存在性和多重性.第二章考虑带参数的半线性椭圆方程边值问题其中Q(?)RN是一个有界光滑区域,f:Ω×R→R是一个C1函数.在f满足超线性次临界增长情形,当入与算子-△在零Dirichlet边值条件下的特征值充分接近时,我们结合分歧方法,环绕的极小极大方法,上下解方法和Morse理论得到了方程(1)的解的多重性.在第三章我们考虑带梯度项的椭圆方程边
超硬材料在现代工程、半导体工业和高新技术领域应用广泛,寻找性能更加优异的超硬多功能材料已成为一项十分重要的研究热点。遵循超硬材料寻找设计思路,本文采用第一性原理,结合结构预测等方法,对典型超硬碳材料及过渡金属钽氮化合物进行了深入的研究,获得了以下创新性结果:1、提出了冷压石墨相的候选结构:C碳(具有Cmcm空间群)。C碳具有最低的相转变压力,在能量上比前人提出的M碳、W碳、bct-C4等结构稳定。
高压电学测量作为高压下原位测量物质基本性质的一个重要手段,它的发展在高压研究理论中起着重要的作用。本文采用薄膜制备和光刻技术相结合,在金刚石对顶砧(DAC)上集成测量微电路,利用Van der Pauw方法揭示样品高压相变的结构特征和导电机理,在压力作用下,物质的结构会发生改变,从而引起电子传导性质的相应变化。通过测量样品电输运性质随压力的变化关系,就可以探测到样品中潜在的相变(结构相变和电子相变
偏微分方程解的奇异性是偏微分方程理论研究中的一个基本课题,它来源于物理学、几何学等学科中提出的实际问题.近年来,奇异性问题,特别是包含p-Laplace算子在内的具退化的椭圆型方程解的奇异性,已经成为国际上被关注的热点问题之本文的目的在于研究加权p-Laplace方程解的奇异性,包括孤立奇点的可去性,以及解在不可去孤立奇点附近的渐近性态两个方面.作为本文正文的第一部分,我们在第二章针对系数具径向对
本文利用全实加关联(Full Core Plus Correlation)方法计算了类锂体系从Li I到As XXXI的基态和一些低激发态的近核处电子密度和径向期待值,及其它算符的期待值,能级的超精细结构参数和高离化电荷对外显示的静电势,均取得了令人满意的结果。由FCPC波函数所得到的电荷密度在近核区域和远离核的长程区域,与已有低核电荷锂等电子序列的其他理论结果相比,在整个空间内,我们用全实加关联
本文研究了一类Feigenbaum映射f的吸引子的动力性态,构造性证明了这类Feigenbaum吸引子的存在性,并对其Hausdorff维数进行了估计,证明了对任意的t∈(0,1),都可以找到一个p阶Feigenbaum映射g,使其吸引子的Hausdorff维数为t.另外,通过与进位系统建立拓扑共轭关系,证明了g限制在其吸引子上具有简单的动力性质,仔细地说,该限制映射是等距的,极小的,唯一遍历的并
脉冲现象作为一种瞬时突变现象,其数学模型往往可归结为脉冲微分方程.在航天技术、控制系统、通讯、生命科学、医学、经济、信息科学等学科中都有广泛应用.对无脉冲影响的微分系统理论已经被人们深刻理解,有脉冲影响后,它们既有很多相似之处,也有很多不同.具有脉冲的非线性微分方程边值问题是微分方程理论中的一个重要课题.本文主要研究了具有Neumann边值问题的二阶脉冲微分方程,以及二阶脉冲周期边值问题正解的存在
研究多项式自同构对于仿射代数几何有着非常重要的意义.而与多项式自同构密切相关的Jacobi猜测,自被提出以来就一直受到学者们的密切关注.在对这个问题进行研究的过程中,学者们不断地提出新思想,新问题,新方法,不仅促进了相关研究领域的融合,而且对多项式自同构的研究起着强有力的推动作用.令K是一个域,X=(X1….,Xn),K[X]表示关于变量X1….,Xn的多项式环.设Fi∈K[X],则F=(F1,.