两个带有初值的偏微分方程解算子的图灵可计算性-计算数学专业论文.docxVIP

两个带有初值的偏微分方程解算 两个带有初值的偏微分方程解算 子的图灵可计算性 Turing Computability of the Solution Operators of Two Partial Differential Equations with Initial Datas 姓 201 5年6月 万方数据 独创性声明本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究 独创性声明 本人郑重声明：所呈交的学位论文，是本人在导师的指导下，独立进行研究 工作所取得的成果。除文中已注明引用的内容以外，本论文不包含任何其他个人 或集体已经发表或撰写过的作品成果，也不包含为获得江苏大学或其他教育机构 的学位或证书而使用过的材料。对本文的研究做出重要贡献的个人和集体，均已 在文中以明确方式标明。本人完全意识到本声明的法律结果由本人承担。 学位论文作者签名：关缸格 加莎年乡月彪日 万方数据 学位论文版权使用授权书江苏大学、中国科学技术信息研究所、国家图书馆、中国学术期刊(光盘版) 学位论文版权使用授权书 江苏大学、中国科学技术信息研究所、国家图书馆、中国学术期刊(光盘版) 电子杂志社有权保留本人所送交学位论文的复印件和电子文档，可以采用影印、 缩印或其他复制手段保存论文。本人电子文档的内容和纸质论文的内容相一致， 允许论文被查阅和借阅，同时授权中国科学技术信息研究所将本论文编入《中国 学位论文全文数据库》并向社会提供查询，授权中国学术期刊(光盘版)电子杂 志社将本论文编入《中国优秀博硕士学位论文全文数据库》并向社会提供查询。 论文的公布(包括刊登)授权江苏大学研究生院办理。 本学位论文属于不保密留。 学位论文作者签名：关钮括 指导教师 如l箩年6月“日 万方数据 江苏大学硕士学位论文摘要 江苏大学硕士学位论文 摘要 因为偏微分方程在自然科学，社会活动，工程设计等领域的应用增多，物理 学家和数学家们越来越关注对方程及其解的研究。偏微分方程的研究在计算机的 高速发展下变得更便捷，因此，方程的可计算性受到了极大的关注。 本文重点是在图灵机上研究Benney．Lin方程和高维四阶薛定谔方程的可计 算性。首先，应用压缩映象原理，证明了方程有唯一的解。其次，用二型图灵机 理论，证明该方程的局部解是可计算的。最后，构造可计算函数把解从局部延拓 到整个空间，从而得到该方程的解是图灵可计算的。本文的研究结果为这两个方 程的解的准确计算提供了理论依据，本文的方法可以用于研究相似方程的可计算 性。 关键词：Benney．Lin方程，高维四阶薛定谔方程，解算子，可计算性，TTE理 论 万方数据 两个带初值问题的偏微分方程解算子的图灵可计算性ABSTRACT 两个带初值问题的偏微分方程解算子的图灵可计算性 ABSTRACT With the wide application of partial differential equations on the field of natural science，social events and engineering，solving the equations has been a hot topic for many physicists and mathematicians．The rapid development of computer provides a new way to solve the partial differential equations．Hence，computing the partial differ rential equations have been got a great deal of attention． This paper mainly studies the Turing-Computability of the solution operators of the Benney-lin equation and the high dimension fourth-order schrodinger equation． Firstly,we prove the equation has a unique solution with the contraction principle． Then，the local solution is proved to be Turing-Computable in use of TTE theory． Finally,by constructing the computable functions，we extend the solution from the internal to the entire