本文關(guān)鍵詞：兩個(gè)非線性偏微分方程解算子的圖靈可計(jì)算性

  更多相關(guān)文章： 偽拋物線型方程 淺水波方程 解算子 圖靈可計(jì)算性 Duhamel原理

【摘要】：作為現(xiàn)代數(shù)學(xué)的重要分支——非線性偏微分方程一直是人們研究的重要領(lǐng)域。但是,非線性方程的求解卻成為研究過程中的難題。這大大限制了方程的應(yīng)用。因此,對非線性方程解的存在性及其可計(jì)算性問題的研究成為重要課題,我們迫切需要探索其解算子的圖靈可計(jì)算性。本文主要對非線性偽拋物線型方程、廣義淺水波方程Cauchy問題解算子的圖靈可計(jì)算性進(jìn)行討論。第一章及第二章介紹可計(jì)算理論的產(chǎn)生與發(fā)展、二型有效論(TTE)的一些基本概念、定理、引理,以及某些空間的表示等。第三章及第四章運(yùn)用TTE理論研究偽拋物線型方程和廣義淺水波方程Cauchy問題解的可計(jì)算性。最初,在Fourier變換、Duhamel原理的幫助下,對這個(gè)方程作變換,使它成為相等價(jià)的積分方程。接著,利用壓縮映像原理、TTE理論、方程的守恒量、Schwartz函數(shù)的性質(zhì),這個(gè)積分方程的解在一個(gè)小區(qū)間內(nèi)是可以計(jì)算的就被證實(shí)。最后,通過構(gòu)造可計(jì)算函數(shù),可以將局部區(qū)間的解拓展到整個(gè)空間,即得出原方程的解算子也是可計(jì)算的。
【關(guān)鍵詞】：偽拋物線型方程 淺水波方程 解算子 圖靈可計(jì)算性 Duhamel原理
【學(xué)位授予單位】：江蘇大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2016
【分類號】：O175.29
【目錄】：

• 摘要5-6
• ABSTRACT6-9
• 第一章 緒論9-14
• 1.1 可計(jì)算理論的出現(xiàn)背景及發(fā)展歷史9-11
• 1.2 圖靈機(jī)及TTE簡介11-12
• 1.3 計(jì)算復(fù)雜性12-13
• 1.4 本課題研究的基本內(nèi)容和意義13-14
• 第二章 預(yù)備知識14-27
• 2.1 Banach不動點(diǎn)定理——壓縮映像原理14
• 2.2 Sobolev空間14
• 2.3 Fourier變換的性質(zhì)14-15
• 2.4 可計(jì)算性理論15-20
• 2.5 常見的可計(jì)算空間20-27
• 第三章 非線性偽拋物線型方程初值問題解的可計(jì)算性27-34
• 3.1 預(yù)備知識28-29
• 3.2 主要結(jié)果29-33
• 3.3 本章小結(jié)33-34
• 第四章 廣義淺水波方程解算子的圖靈可計(jì)算性34-41
• 4.1 預(yù)備知識及引理34-35
• 4.2 主要結(jié)果35-39
• 4.3 本章小結(jié)39-41
• 結(jié)束語41-42
• 參考文獻(xiàn)42-46
• 致謝46-47
• 碩士在讀期間發(fā)表的論文47

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前6條

1 王志堅(jiān);韓偉一;汪云林;;可計(jì)算性對經(jīng)濟(jì)管理科學(xué)的影響[J];科學(xué)對社會的影響;2009年03期

2 許道云;;分析中的可計(jì)算性[J];寧夏大學(xué)學(xué)報(bào)(自然科學(xué)版);2012年01期

3 邱玉文;趙希順;;Co-regular集的可計(jì)算性探討[J];中山大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年06期

4 魏萍;王金玉;;非可計(jì)算性項(xiàng)目的統(tǒng)計(jì)容許性分析[J];長春理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2007年03期

5 潘斌;;新手與專家:風(fēng)險(xiǎn)視域的理性之爭[J];科學(xué)技術(shù)哲學(xué)研究;2013年04期

6 ;[J];;年期

中國博士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 曲美霞;可計(jì)算性邏輯中分支切換復(fù)用運(yùn)算研究[D];山東大學(xué);2014年

2 王昌達(dá);隱通道可計(jì)算性的研究[D];江蘇大學(xué);2006年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前4條

1 李興香;GoL1系統(tǒng)的空間復(fù)雜性分析[D];山東大學(xué);2015年

2 何琴;兩個(gè)非線性偏微分方程解算子的圖靈可計(jì)算性[D];江蘇大學(xué);2016年

3 張艷;可計(jì)算性邏輯中CL2系統(tǒng)的可判定性及空間復(fù)雜性分析[D];山東大學(xué);2013年

4 鄭瑞;微分方程解算子和矩陣的圖靈可計(jì)算性[D];江蘇大學(xué);2008年

，

本文編號：883349