二维星形域中Stefan问题的局部零能控性

来源 :东北师范大学 | 被引量 : 0次 | 上传用户:feimaocug
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文研究如下二维星形域中Stefan问题的局部零能控性的问题:(?)(0.1)ρ(φ,0)=ρ0(φ),φ∈[0,2π],(0.2)(V-νΔV=·n=-?y/?n,(x,t)∈Σρ,(0.3)其中Ωρ(t)={x∈R~2:(x1,x2)=r(cosφ,sinφ),0≤r<ρ(φ,t),φ∈[0,2π)},Qρ={(x,t):x∈Ωρ(t),t∈(0,T)},V是自由边界?Ωρ(t)的速度,ν是一个正常数,a1,a2∈C~1((?)ρ),b∈L∞(Qρ),y=y(x,t)为系统的状态,υ=υ(x,t)为控制函数,通过非空开集ω作用到系统上。本文利用非柱状域线性抛物系统的零能控结果证明了,对于固定的T>0和足够小的初值,存在控制υ使得y(x,T)=0,即系统(0.1)-(0.3)的解在T时刻对足够小的初值是局部零能控的。
其他文献
实际生活中,在图像采集以及传输过程中会产生模糊,根据产生模糊的类型不同,可分为平均、高斯以及运动三种模糊。图像恢复是通过对观察到的失真图像进行处理,使得恢复图像满足视觉上的要求,属于病态问题。直接求解该病态问题,通常得不到满意的结果,正则化方法是求解病态问题的有效方法。近年来,有很多针对图像恢复的模型,例如经典的Rudin-Osher-Fatemi(FOR)等模型,但传统模型会产生阶梯效应。所以有
学位
本文主要研究了列联表中边际集可约和可分解两种情况,其中边际集可分解是边际集可约的特殊情形.首先在可分解图模型Markov基的基础上,通过对具有一个以上元素的度为2的列联表集的研究,给出了唯一极小Markov基存在的充分必要条件,并以具有三维边际D={{1,2,3},{2,3,4}}的四维表为例,给出其唯一极小Markov基.该唯一极小Markov基可用于在给定充分统计量的情况下,对列联表的精确检验
学位
图像复原问题是图像处理领域的关键问题,本文围绕遭受浑浊介质(如沙尘暴、水下和雾霾)中的图像复原问题开展研究.近年来,关于这类问题的研究有大量的成果,但是大部分的研究成果是基于暗通道先验(DCP).在暗通道先验的方法中传输映射则是其中的一个核心问题.在传输映射的获取过程中,直接用暗通道先验获取的是一个初始的传输映射,我们需要对这个初始的传输映射进行细化.本文主要研究基于秩一模型的传输映射优化算法,高
学位
本文主要研究了两类随机系统.第一个系统是随机肿瘤-免疫系统,首先证明了该系统全局正解的存在唯一性,其次证明了系统解的随机最终有界性,并给出了肿瘤细胞持久和灭绝的充分条件;第二个系统是带有Holling-II和Holling-IV功能反应的随机捕食者-食饵系统,包括一个食饵,两个捕食者.对于该系统首先证明了全局正解的存在唯一性,其次证明了系统解的随机最终有界性,并给出了所有物种均值持久和灭绝的充分条
学位
党的十八大以来,意识形态工作所面对的国内国际环境日趋复杂,矛盾更加尖锐,对我们党在新的征程上如何筑牢抓实意识形态建设与工作提出了更高层次的全新要求。习近平总书记以超乎常人的政治智慧与勇气担当,将意识形态建设与工作视作为一项极其重要的工作,并多次在面向不同群体的座谈会中指出意识形态工作的重要性、地位任务等,对这项工作提出新的发展要求。这些重要论述极大地丰富了马克思主义科学理论体系,凝聚了最广大人民群
学位
在本篇硕士论文中,我们研究了两种情况下的时谐电磁散射,其中反散射体可以是一对电磁源,或者是一个非均匀介质,两者都具有紧支撑.我们主要关注通过单一远场测量来恢复散射体支撑的几何反散射问题.假设散射体的支撑(局部)具有圆锥形奇点.我们建立了当隐形发生时散射体的局部特征,证明了其物理场一定在圆锥点附近消失.利用这一特征,我们建立了上述反散射问题的几个局部和全局唯一性结果,证明了可见性必然意味着唯一恢复.
学位
近年来,在大数据与高性能计算平台的支撑下,深度神经网络DNN模型因为其强大的非线性拟合能力,高度的特征抽象能力和自动特征表达能力,已成为许多机器学习应用程序的首选方法之一。但随着网络的不断深入,在一个较小的网络设备上部署具有大量参数的网络变得越来越困难,并且在时间敏感的场景下应用也受到了限制,因此模型压缩成了重要的环节。我们知道权重和激活量化是深度神经网络(DNN)压缩的重要备选方案之一,并且可以
学位
本文研究从观测到的低质图像中恢复清晰图像的问题和图像分割问题.由于图像复原的不适定性,寻找有意义的图像先验仍是图像处理领域的一个巨大挑战.重叠组稀疏全变分(OGS-TV)已成功地应用于图像去噪.同时,自然图像的梯度服从重尾分布,超拉普拉斯先验可以很好地近似此经验分布,即稀疏性由lq范数来测量(0<<1).另外,在图像处理应用中,曲率因其在边缘连续性方面提供合适的先验的优点而受到越来越多的关注,比如
学位
迭代方法是求解大规模线性和非线性方程组的常用方法.其中,不动点迭代方法的实现较为简洁,因此该类方法的应用非常广泛.加性Schwarz区域分解方法(ASM)是求解离散偏微分方程的一类常用的不动点迭代方法.不动点迭代方法的收敛速度较慢,为了提高不动点迭代的收敛速度,通常可以采用相关的迭代加速技术.Anderson加速是一类加速不动点迭代收敛速度的方法.降秩外推方法(RRE)是一类针对一般迭代序列加速收
学位
本文主要研究算子系数下带跳的线性二次随机最优控制问题,证明了该问题的开环可解性等价于具有算子系数的线性耦合正倒向随机微分方程的可解性以及代价泛函的凸性条件,利用连续性方法建立了该Hamilton系统的适定性.
学位