论文部分内容阅读
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用,精确计算某一偏微分方程特定形式的解对数学家而言是一个巨大的挑战。到目前为止,这一工作并没有得到圆满解决,仍存在一些特殊偏微分方程,它们在满足特定条件下的解不仅存在而且可以精确计算,但是到目前为止仍无法用算式表示。因此,研究偏微分方程解算子的可计算性有着重要的现实意义。本文主要对一类柯西问题的解算子以及KdV—Burgers方程的解算子的可计算性进行研究。首先,在索伯列夫空间Hs(R)上用傅立叶变换把微分方程转换成积分方程。然后,利用Schwartz函数的性质、压缩映象原理和TTE理论证明存在T>0,使得相应的积分算子在0≤t≤T时是可计算的。最后,通过构造可计算函数把解从区间[0,T]延拓到整个实数空间上,从而得到原微分方程的解算子有相同的可计算性。本文研究的结果推广了数字计算机求解微分方程的应用领域,为这两个方程的实际应用奠定了理论基础。其研究方法也可以用于其他类似的非线性微分方程解算子的研究。