学位论文 > 优秀研究生学位论文题录展示
几个偏微分方程解算子的图灵可计算性
作 者: 蒋东海
导 师: 卢殿臣
学 校: 江苏大学
专 业: 应用数学
关键词: 图灵机 索伯列夫空间 极限空间 微分方程解算子 可计算函数
分类号: O175.2
类 型: 硕士论文
年 份: 2007年
下 载: 52次
引 用: 0次
阅 读: 论文下载
内容摘要
最近,方程的计算机求解引起了人们的极大关注,从而推动了数学软件的蓬勃发展。但是,是否所有的方程都可以在计算机上实现求解呢?这是一个难以回答的问题。本文主要对线性Klein—Gordon方程,热传导方程以及非线性薛定谔方程进行讨论,并且证明了这三个方程的解算子确是图灵可计算的。首先,用傅立叶变换把Klein—Gordon方程转换为积分方程并证明其积分方程的解算子是可计算的,从而得到原方程的解算子也是可计算的。其次,运用广义函数的基本知识得到热传导方程的基本解,并运用卷积的可计算性质和分析性质得到热传导方程的广义解是可计算的。最后,研究了非线性薛定谔方程解算子的可计算性。证明过程中主要应用了分析中的压缩映象原理和一些空间的性质,通过构造可计算函数,来把解从一个区间延拓到整个空间。本文研究的结果推广了数字计算机求解微分方程的应用领域。
|
全文目录
摘要 5-6 ABSTRACT 6-8 第一章 绪论 8-12 1.1 可计算理论出现的背景及发展历史 8-10 1.2 TTE简介 10 1.3 本课题研究的基本内容和意义 10-12 第二章 预备知识 12-29 2.1 基本定义和引理 12-19 2.2 常见空间的可计算结构 19-29 第三章 两个线性偏微分方程解算子的可计算性 29-35 3.1 非齐次线性Klein—Gordon方程 29-31 3.2 热传导方程 31-35 第四章 非线性薛定谔方程解算子的可计算性 35-44 4.1 薛定谔方程解的分析性质 35-37 4.2 薛定谔方程解的图灵可计算性 37-44 结束语 44-45 参考文献 45-49 致谢 49-50 硕士在读期间发表的论文 50
|
相似论文
- Markov算子的渐近平稳性,O211.62
- 基于计算模型的系统建模与验证,TP301.1
- 基于函数摘要的非法计算故障检测方法的研究,TP311.52
- 在图灵机上计算两类非线性发展方程任意精度的解,O175.29
- 微分方程解算子和矩阵的图灵可计算性,TP301
- 拓扑动力系统中的强跟踪性与逐点伪轨跟踪性质,O19
- 一类非线性偏微分方程初边值问题的可计算性分析,O175.29
- 无界区域上p(x)-拉普拉斯方程组局部强解的存在性,O241.6
- 函数聚类及其进化计算知识获取研究,TP18
- 进化计算在优化问题中的应用,TP18
- 遗传算法收敛性分析及有效性初探,TP18
- 双重逆极限空间上的动力性质,O171
- 加权P-harmonic方程解的整体分支结构,O175
- 基于软件计算的流量反馈液压电梯速度控制系统的研究,TH137
- 族F混合性质的研究,O189.11
- 关于小波和框架的一些研究,O177.1
- 在离散动力系统中平均跟踪性与极限弱反跟踪性的研究,O193
- 伪半环及其在自动机理论中的应用,TP301.1
- 流体系结构的编译技术研究,TP314
- 具有奇性或退化的非线性椭圆型方程(组)的可解性,O175.25
中图分类: > 数理科学和化学 > 数学 > 数学分析 > 微分方程、积分方程 > 偏微分方程
© 2012 www.xueweilunwen.com
|