几个偏微分方程解算子的图灵可计算性

来源 :江苏大学 | 被引量 : 0次 | 上传用户:airleon29
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
最近,方程的计算机求解引起了人们的极大关注,从而推动了数学软件的蓬勃发展。但是,是否所有的方程都可以在计算机上实现求解呢?这是一个难以回答的问题。本文主要对线性Klein-Gordon方程,热传导方程以及非线性薛定谔方程进行讨论,并且证明了这三个方程的解算子确是图灵可计算的。首先,用傅立叶变换把Klein-Gordon方程转换为积分方程并证明其积分方程的解算子是可计算的,从而得到原方程的解算子也是可计算的。其次,运用广义函数的基本知识得到热传导方程的基本解,并运用卷积的可计算性质和分析性质得到热传导方程的广义解是可计算的。最后,研究了非线性薛定谔方程解算子的可计算性。证明过程中主要应用了分析中的压缩映象原理和一些空间的性质,通过构造可计算函数,来把解从一个区间延拓到整个空间。本文研究的结果推广了数字计算机求解微分方程的应用领域。
其他文献
时俭益定义了有限复反射群单根系的等价性和表出的同余性,并给出了群G,G,G,G,G,G和G的所有不等价单根系及其不同余表出。对于有限本原复反射群G,G,G,G,王丽给出了它们的根系和所有不等
班级团体辅导是在团体的框架内,教育者运用适当的辅导策略与方法,开展有针对性的团体活动,让团体成员间互动交流,促使成员在互动交流中不断的提升自我、探讨自我、自我成长,
设A为C-代数,a,b为A中正元,本文定义了a,b的“相等”关系(即[a]-[b]),讨论了这个关系的对称性,传递性。在此基础上,定义了正元的大小比较(即[a]≤[b]),讨论了其传递性,证明了它的一个
本文研究的非线性演化方程起源于Benjamin-Ono Kortewey de Vries方程u+Hu+u+βu+(u)=0, u(x,0):U(x)x∈R,t≥0,此方程是罗德海研究大气现象飑线时提出的。全文主要内容如下: 第
在这篇文章中,我们研究了离散样本O-U过程的参数推断。 在第一章中,我们首先介绍了对随机过程的离散时间样本做参数推断的基本想法,指出其广泛的实用背景;说明研究对象为具有
本文给出了3维流形上的一个具有scalar旗曲率和非迷向S曲率的Randers度量的例子。首先,通过研究具有scalar旗曲率和迷向S曲率的Randers度量所满足的等价条件,即通过Zermelo航海
图的染色问题是图论中最基本,也是最重要的问题之一.而图的标号问题作为图的染色问题的推广在现实生活中有广泛的应用. 本文主要讨论了图上的两种标号问题:L(2,1).标号和最优标