Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
@article{Selivanova2017ComputingSO, title={Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs}, author={S. Selivanova and V. Selivanov}, journal={ArXiv}, year={2017}, volume={abs/1305.2494} }
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 the Cauchy problem for the same system (we also prove computable dependence on the coefficients) in a cube $Q\subseteq\mathbb R^m$. Such… CONTINUE READING
Topics from this paper
7 Citations
Computational Complexity of Real Powering and Improved Solving Linear Differential Equations
- Mathematics, Computer Science
- CSR
- 2019
- 3
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs with Guaranteed Precision
- Computer Science, Mathematics
- ArXiv
- 2018
- PDF
Bit Complexity of Computing Solutions for Symmetric Hyperbolic Systems of PDEs (Extended Abstract)
- Mathematics, Computer Science
- CiE
- 2018
- 2
References
SHOWING 1-10 OF 105 REFERENCES
Computing the Solution Operators of Symmetric Hyperbolic Systems of PDE
- Computer Science
- J. Univers. Comput. Sci.
- 2009
- 5
- PDF
Finite Difference and Spectral Methods for Ordinary and Partial Differential Equations
- Physics
- 1996
- 168
- PDF
Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
- Mathematics, Computer Science
- Math. Log. Q.
- 2007
- 8
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing
- Mathematics, Computer Science
- Theor. Comput. Sci.
- 2005
- 37
Computing Schrödinger propagators on Type-2 Turing machines
- Mathematics, Computer Science
- J. Complex.
- 2006
- 24
- PDF