Proceedings of the 2014 International Conference on Computer Science and Electronic Technology

turing-computability of solution of hirota equation

Authors
Dianchen Lu, Liming Fu
Corresponding Author
Dianchen Lu
Available Online January 2015.
DOI
https://doi.org/10.2991/iccset-14.2015.77How to use a DOI?
Keywords
Hirota equation, Solution operation, Turing computability, TTE theory, Duhamel principle,
Abstract

In this paper, we mainly discuss the Turing-computable of the Solution operation of Hirota Equation. Firstly, we prove the existence and uniqueness of the solution operator of equation by principle of contraction mapping, and acclaim that its local solution is Turing-Computable in use of TTE theory. By computable functions constructing, we extend the solution from the internal to the entire space. Then the solution of this equation is Turing-computable. The result enlarges the application in computing differential equations on digital computers.

Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

Volume Title
Proceedings of the 2014 International Conference on Computer Science and Electronic Technology
Series
Advances in Computer Science Research
Publication Date
January 2015
ISBN
978-94-62520-47-9
ISSN
2352-538X
DOI
https://doi.org/10.2991/iccset-14.2015.77How to use a DOI?
Copyright
© 2015, the Authors. Published by Atlantis Press.
Open Access
This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - CONF
AU  - Dianchen Lu
AU  - Liming Fu
PY  - 2015/01
DA  - 2015/01
TI  - turing-computability of solution of hirota equation
BT  - Proceedings of the 2014 International Conference on Computer Science and Electronic Technology
PB  - Atlantis Press
SP  - 347
EP  - 351
SN  - 2352-538X
UR  - https://doi.org/10.2991/iccset-14.2015.77
DO  - https://doi.org/10.2991/iccset-14.2015.77
ID  - Lu2015/01
ER  -