一类偏微分方程解算子的图灵可计算性

来源 :江苏大学 | 被引量 : 0次 | 上传用户:jx34343
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
精确求解偏微分方程在工程设计和其他计算科学等研究领域有着重要的现实应用,精确计算某一偏微分方程特定形式的解对数学家而言是一个巨大的挑战。到目前为止,这一工作并没有得到圆满解决,仍存在一些特殊偏微分方程,它们在满足特定条件下的解不仅存在而且可以精确计算,但是到目前为止仍无法用算式表示。因此,研究偏微分方程解算子的可计算性有着重要的现实意义。本文主要对mKdV方程、含强迫项组合KdV方程以及广义KdV方程解算子的可计算性进行研究。首先,在索伯列夫空间Hs(R)(s≥3)上用傅立叶变换把微分方程转换成积分方程。然后,利用方程的守恒量、Schwartz函数的性质、压缩映象原理和TTE理论证明存在r>o,使得相应的积分算子在0≤r≤r时是可计算的。最后,通过构造可计算函数把解从区间[O,T]延拓到整个实数空间上,从而得到原微分方程的解算子有相同的可计算性。本文研究的结果推广了数字计算机求解微分方程的应用领域,为mKdV方程、广义KdV方程以及含强迫项组合KdV方程的实际应用奠定了理论基础。其研究方法也可以用于其他类似的非线性微分方程解算子的研究。
其他文献
同步现象是自然界中最为典型的群集行为,复杂网络的同步现象可以理解为多个子系统通过相互作用,在不同的条件下各自演化,使得各动力系统中个体的状态逐渐同步,最终达到完全相同的
数字签名的公平交换协议在电子商务中具有广泛的应用,而现实的参与者总是从最大化自己收益的角度选择自己的行为,使得数字签名交换的公平性受到影响。考虑参与者的自利性,设计