学位论文 > 优秀研究生学位论文题录展示
一类非线性偏微分方程初边值问题的可计算性分析
作 者: 缪任祥
导 师: 卢殿臣
学 校: 江苏大学
专 业: 应用数学
关键词: 图灵机 索伯列夫空间 可计算函数 微分方程解算子
分类号: O175.29
类 型: 硕士论文
年 份: 2009年
下 载: 53次
引 用: 0次
阅 读: 论文下载
内容摘要
研究微分方程解的数值算法是数值分析的核心。用来解微分方程的数值技术主要包括有限差分法和有限元法,目标是通过这种数值技术找到稳定的算法来快速收敛到正确的解。但是这些方法还不能够适用于每一个微分方程。可计算分析主要研究:如何来计算微分方程所描述的物理过程。可计算分析是以图灵机为基础研究连续性问题的可计算性和可计算复杂性。在可计算分析当中,如果存在着一个图灵机能够从给定参数的近似值计算出收敛到微分方程解的近似值,那么,这个微分方程的解就是可计算的,存在着收敛算法的数值解也就得到了保证。本文对变系数KdV-Burgers方程和薛定谔方程解算子的可计算性进行研究。全文共分五章:首先,对可计算理论的研究历史和现状进行了综述。第二章介绍了图灵机和TTE理论框架,给出了多种可计算空间的定义及其相应空间上的可计算性质。第三章应用TTE理论,算子半群理论,证明了索伯列夫空间上的变系数KdV-Burgers方程的解算子在Bourgain-type空间上是图灵可计算的。第四章对带有初边界值条件的线性薛定谔方程,通过作关于t的Laplace变换得到等价的积分方程,证明了方程的解算子是图灵可计算的。第五章对带有初始条件的非线性薛定谔方程,在索伯列夫空间上证明该方程的解算子是图灵可计算的。可计算性的证明过程通常会产生图灵算法,这些图灵算法可能会被转化为数值算法。本文所得到的研究结果拓展了数字计算机解微分方程的应用领域。
|
全文目录
摘要 5-6 ABSTRACT 6-10 第一章 绪论 10-14 1.1 可计算理论的发展历史 10-13 1.2 本课题研究的基本内容和意义 13-14 第二章 预备知识 14-26 2.1 图灵机和TTE简介 14-15 2.2 基本概念 15-18 2.3 常见空间的可计算结构 18-24 2.4 Bourgain-type空间 24-26 第三章 KdV-Burgers方程的初边值问题可计算性分析 26-31 3.1 引言 26 3.2 变系数KdV-Burgers方程解的可计算性 26-30 3.3 小结 30-31 第四章 带有初边值条件的薛定谔方程解的可计算性 31-36 4.1 引言 31 4.2 计算线性初边值问题的解 31-35 4.3 小结 35-36 第五章 带有初始条件的薛定谔方程解的可计算性 36-43 5.1 引言 36 5.2 非线性薛定谔方程解的分析性质 36-38 5.3 非线性薛定谔方程解的可计算性 38-42 5.4 小结 42-43 结束语 43-44 参考文献 44-48 致谢 48-49 硕士在读期间发表的论文 49
|
相似论文
- 基于计算模型的系统建模与验证,TP301.1
- 基于函数摘要的非法计算故障检测方法的研究,TP311.52
- 在图灵机上计算两类非线性发展方程任意精度的解,O175.29
- 微分方程解算子和矩阵的图灵可计算性,TP301
- 无界区域上p(x)-拉普拉斯方程组局部强解的存在性,O241.6
- 函数聚类及其进化计算知识获取研究,TP18
- 进化计算在优化问题中的应用,TP18
- 遗传算法收敛性分析及有效性初探,TP18
- 加权P-harmonic方程解的整体分支结构,O175
- 基于软件计算的流量反馈液压电梯速度控制系统的研究,TH137
- 几个偏微分方程解算子的图灵可计算性,O175.2
- 关于小波和框架的一些研究,O177.1
- 伪半环及其在自动机理论中的应用,TP301.1
- 流体系结构的编译技术研究,TP314
- 具有奇性或退化的非线性椭圆型方程(组)的可解性,O175.25
- 可计算与可学习的实递归函数,TP301
- 非线性波系统的精确解与解析近似解,O175.29
- 两类非线性波动方程的行波解,O175.29
- 非线性可积系统与可积扩展,O175.29
- 一类具阻尼非线性波动方程的Cauchy问题,O175.29
- 一类非线性四阶波动方程Cauchy问题的整体吸引子,O175.29
中图分类: > 数理科学和化学 > 数学 > 数学分析 > 微分方程、积分方程 > 偏微分方程 > 非线性偏微分方程
© 2012 www.xueweilunwen.com
|