Computing Solutions of Symmetric Hyperbolic Systems of PDE's

Authors:
Svetlana Selivanova;Victor Selivanov
Affiliations:
S.L. Sobolev Institute of Mathematics, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia;A.P. Ershov Institute of Informatics Systems, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 4
Cited 0

Complexity theory of real functions

Complexity theory of real functions
Computable analysis: an introduction

Computable analysis: an introduction
A Computable Spectral Theorem

CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on turing machines

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the computability properties of symmetric hyperbolic systems of PDE's A@?u@?t+@?i=1mB"i@?u@?x"i=0, A=A^*0, B"i=B"i^*, with the initial condition u|"t"="0=@f(x"1,...,x"m). 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,B"1,...,B"m satisfying some natural conditions) any initial function @f@?C^k^+^1(Q,R^n), k=1, to the unique solution u@?C^k(H,R^n), where Q=[0,1]^m and H is the nonempty domain of correctness of the system.