Computable Analysis of the Initial Value Problem for the Weak Dissipation Camassa-Holm Equation

被引:0
作者
Lu, Dianchen [1 ]
Zhang, Hua [1 ]
机构
[1] Jiangsu Univ, Nonlinear Sci Res Ctr, Zhenjiang, Peoples R China
来源
2012 THIRD INTERNATIONAL CONFERENCE ON THEORETICAL AND MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE (ICTMF 2012) | 2013年 / 38卷
关键词
Weak Dissipation; Camassa-Holm Equation; Initial Value Problem; Computability; Type-2 Theory Of Effectively;
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
In this paper we study the computability of the solution operator of the initial value problem of weak dissipation Camassa-Holm equation. Let K-R : H-s (R) -> C(R,H-s (R)) be a nonlinear map from the initial date phi is an element of H-s (R) to the solution u is an element of C(R,H-s (R)). By using Sobolve spaces and Type-2 theory of effectivity, we proved that, for s > 2, the map K-R is Turing computable and thus enrich the theory of computability on nonlinear equation's solution.
引用
收藏
页码:105 / 109
页数:5
相关论文
共 7 条
[1]  
Guo Boling, 2008, WLL POSEDNESS CMASSA, P100
[2]   Computing the Solution of the m-Korteweg-de Vries Equation on Turing Machines [J].
Lu, Dianchen ;
Wang, Qingyan .
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 202 (0C) :219-236
[3]   Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines [J].
Weihrauch, K ;
Zhong, N .
THEORETICAL COMPUTER SCIENCE, 2005, 332 (1-3) :337-366
[4]  
Weihrauch K., 2000, Computable analysis
[5]   Computing Schrodinger propagators on Type-2 Turing machines [J].
Weihrauch, Klaus ;
Zhong, Ning .
JOURNAL OF COMPLEXITY, 2006, 22 (06) :918-935
[6]   Computability theory of generalized functions [J].
Zhong, N ;
Weihrauch, K .
JOURNAL OF THE ACM, 2003, 50 (04) :469-505
[7]  
Zhong N, 2007, THEOR COMPUT SYST, V41, P155, DOI [10.1007/s00224-006-1335-6, 10.1007/S00224-006-1335-6]