We study the computability properties of symmetric hyperbolic systems. Such systems first considered by K.O. Friedrichs can be used to describe a wide variety of physical processes. Using the difference equations approach, we prove computability of the operator that sends (for any fixed computable matrices A,B1,..., Bm satisfying certain conditions) any initial function π{variant} ∈ C p+1(Q, R n) (satisfying certain conditions), p ≥ 2, to the unique solution u ∈ C p(H, R n), where Q=[0, 1] m and H is the nonempty domain of correctness of thesystem. © J.UCS.
Original languageEnglish
Pages (from-to)1337-1364
Number of pages28
JournalJournal of Universal Computer Science
Volume15
Issue number6
StatePublished - 24 Jul 2009

    Research areas

  • Computability, Difference scheme, Finite-dimensional approximation, Hyperbolic system, Matrix pencil, Metric space, Norm, PDE, Stability

ID: 127086942