摘要
研究了带初值的热传导方程广义解的可计算性。首先,给出TTE的一些基本概念,然后,通过广义函数的理论得出热传导方程的基本解;最后,运用广义函数卷积的可计算性质得到最后证明。
Computability of the generalized solution operations of the initial - value problems for heat equation is studied. First, some basic definitions of TIE are given. Second, the fundamental solution of heat equation from the theory of generalized functions is gotten. Finally, the solution operations of heat equation is Turing - computable by use of computability of convolutions is proved.
出处
《科学技术与工程》
2007年第11期2520-2522,共3页
Science Technology and Engineering
基金
国家自然科学基金(10420130638)资助
关键词
图灵机
热传导方程
初值问题
Turing machine heat equation initial value problem
