两个非线性偏微分方程解算子的图灵可计算性-应用数学专业论文.docxVIP

万方数据 万方数据 学位论文版权使用授权书 江苏大学、中国科学技术信息研究所、国家图书馆、中国学术期 刊（光盘版）电子杂志社有权保留本人所送交学位论文的复印件和电 子文档，可以采用影印、缩印或其他复制手段保存论文。本人电子文 档的内容和纸质论文的内容相一致，允许论文被查阅和借阅，同时授 权中国科学技术信息研究所将本论文编入《中国学位论文全文数据库》 并向社会提供查询，授权中国学术期刊（光盘版）电子杂志社将本论 文编入《中国优秀博硕士学位论文全文数据库》并向社会提供查询。 论文的公布（包括刊登）授权江苏大学研究生院办理。 本学位论文属于不保密 □ 。 学位论文作者签名：何琴 指导教师签名： 2016 年 6 月 13 日 2016 年 6 月 13 日 独 创 性 声 明 本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独 立进行研究工作所取得的成果。除文中已注明引用的内容以外，本论 文不包含任何其他个人或集体已经发表或撰写过的作品成果，也不包 含为获得江苏大学或其他教育机构的学位或证书而使用过的材料。对 本文的研究做出重要贡献的个人和集体，均已在文中以明确方式标明。 本人完全意识到本声明的法律结果由本人承担。 学位论文作者签名：何琴 2016 年 6 月 13 日 江苏大学硕士学位论文 江 苏 大 学 硕 士 学 位 论 文 摘 要 作为现代数学的重要分支——非线性偏微分方程一直是人们研究的重要领 域。但是，非线性方程的求解却成为研究过程中的难题。这大大限制了方程的应 用。因此，对非线性方程解的存在性及其可计算性问题的研究成为重要课题，我 们迫切需要探索其解算子的图灵可计算性。 本文主要对非线性伪抛物线型方程、广义浅水波方程 Cauchy 问题解算子的 图灵可计算性进行讨论。第一章及第二章介绍可计算理论的产生与发展、二型有 效论（TTE）的一些基本概念、定理、引理，以及某些空间的表示等。第三章及 第四章运用 TTE 理论研究伪抛物线型方程和广义浅水波方程 Cauchy 问题解的可 计算性。最初，在 Fourier 变换、Duhamel 原理的帮助下，对这个方程作变换,使 它成为相等价的积分方程。接着，利用压缩映像原理、TTE 理论、方程的守恒量、 Schwartz 函数的性质，这个积分方程的解在一个小区间内是可以计算的就被证 实。最后，通过构造可计算函数，可以将局部区间的解拓展到整个空间，即得出 原方程的解算子也是可计算的。 关键词：伪抛物线型方程，浅水波方程，解算子，图灵可计算性，Duhamel 原 理 I 两 两 个 非 线 性 偏 微 分 方 程 解 算 子 的 图 灵 可 计 算 性 ABSTRACT As an important part of modern mathematics, nonlinear partial differential equation has always been an important field of study, but its solution is a problem in the research process, and blocking the application of it. Therefore, the study of the existence of solutions and its computability problems have become important topic. And we urgently need to explore the Turing-computability of the solution. In this paper, we mainly discuss the Turing-computability of the solution operation of nonlinear Pseudo-parabolic equation and generalized shallow water wave equation. First two chapters, we introduce the emergence and development history of computability, some basic concepts, theorems, lemmas and representation spaces in Type-2 theory of effectivity. In the next two chapters, we discuss the computability of the solution operators of the Pseudo-parabolic equa