Svetlana Selivanova

Learn More
We study the computability properties of symmetric hyperbolic systems of PDE A ∂u ∂t + m i=1 Bi ∂u ∂x i u|t=0 = ϕ(x1,. .. , xm). 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(More)
We discuss possibilities of application of Numerical Analysis methods to proving computability, in the sense of the TTE approach, of solution operators of boundary-value problems for systems of PDEs. We prove computability of the solution operator for a symmetric hyperbolic system with computable real coefficients and dissipative boundary conditions, and of(More)
  • 1