Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I)
Author(s) -
Klaus Weihrauch,
Ning Zhong
Publication year - 2007
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2006.08.006
Subject(s) - computable analysis , computability , mathematics , banach space , computable number , pure mathematics , cauchy distribution , computable function , cauchy sequence , discrete mathematics , cauchy problem , operator (biology) , algebra over a field , representation (politics) , initial value problem , mathematical analysis , biochemistry , chemistry , repressor , transcription factor , gene , politics , political science , law
We study computability of the abstract linear Cauchy problem(1)du(t)/dt=Au(t),u(0)=x∈X, where A is a linear operator, possibly unbounded, on a Banach space X. We give necessary and sufficient conditions for A such that the solution operator K:x↦u of the problem (1) is computable. For studying computability we use the representation approach to Computable Analysis developed by Weihrauch and others. This approach is consistent with the model used by Pour-El/Richards
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom