Svetlana Selivanova

Learn More
We study locally compact contractive local groups, that is, locally compact local groups with a contractive pseudo-automorphism. We prove that if such an object is locally connected, then it is locally isomorphic to a Lie group. We also prove a related structure theorem for locally compact contractive local groups which are not necessarily locally(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