在图灵机上计算一类Cauchy问题任意精度的解  

Solution calculation of a type of Cauchy problem with arbitrary precision on Turing machines

作　　者：周佳征[1] 卢殿臣[1] 

机构地区：[1]江苏大学理学院非线性科学研究中心,江苏镇江212013

出　　处：《成都信息工程学院学报》2009年第1期72-76,共5页Journal of Chengdu University of Information Technology

基　　金：国家自然科学基金资助项目(10420130638)

摘　　要：研究一类Cauchy问题解算子的可计算问题,定义了从初值f,g到解u的一个非线性映射KR,在初值和非齐次项满足一定条件时,运用二型有效论模型和泛函分析的有关知识,证明了当k>2p-1(p>6)时,KR是(δHs,δHs.ρ,|ρ→δHs|)图灵可计算的,从而进一步丰富了非线性方程解算子的可计算性理论。A type of Cauchy problem with initial data is considered.A nonlinear map KR is defined from the initial data f and g to the solution u. It is proved that for k>2p-1(p>6),the map KR is(δHs,δHs·ρ,?ρ→δHs」)Turing calculable.

关 键 词：CAUCHY问题 可计算性 图灵机 索伯列夫空间 

分 类 号：TP301.4[自动化与计算机技术—计算机系统结构]