在圖靈機(jī)上計(jì)算兩類非線性發(fā)展方程任意精度的解.pdf

1、精確求解偏微分方程在工程設(shè)計(jì)和其他計(jì)算科學(xué)等研究領(lǐng)域有著重要的現(xiàn)實(shí)應(yīng)用，精確計(jì)算某一偏微分方程特定形式的解對(duì)數(shù)學(xué)家而言是一個(gè)巨大的挑戰(zhàn)。到目前為止，這一工作并沒有得到圓滿解決，仍存在一些特殊偏微分方程，它們?cè)跐M足特定條件下的解不僅存在而且可以精確計(jì)算，但是到目前為止仍無法用算式表示。因此，研究偏微分方程解算子的可計(jì)算性有著重要的現(xiàn)實(shí)意義。本文主要對(duì)一類柯西問題的解算子以及KdV—Burgers方程的解算子的可計(jì)算性進(jìn)行研究。首先，在索伯

2、列夫空間Hs(R)上用傅立葉變換把微分方程轉(zhuǎn)換成積分方程。然后，利用Schwartz函數(shù)的性質(zhì)、壓縮映象原理和TTE理論證明存在T＞0，使得相應(yīng)的積分算子在0≤t≤T時(shí)是可計(jì)算的。最后，通過構(gòu)造可計(jì)算函數(shù)把解從區(qū)間[0，T]延拓到整個(gè)實(shí)數(shù)空間上，從而得到原微分方程的解算子有相同的可計(jì)算性。本文研究的結(jié)果推廣了數(shù)字計(jì)算機(jī)求解微分方程的應(yīng)用領(lǐng)域，為這兩個(gè)方程的實(shí)際應(yīng)用奠定了理論基礎(chǔ)。其研究方法也可以用于其他類似的非線性微分方程解算子的研究。