×

Computing solution operators of boundary-value problems for some linear hyperbolic systems of PDEs. (English) Zbl 1459.03070

Summary: 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 systems describe a wide variety of physical processes (e.g. elasticity, acoustics, Maxwell equations). Moreover, many boundary-value problems for the wave equation also can be reduced to this case, thus we partially answer a question raised in [K. Weihrauch and N. Zhong, Proc. Lond. Math. Soc. (3) 85, No. 2, 312–332 (2002; Zbl 1011.03035)]. Compared with most of other existing methods of proving computability for PDEs, this method does not require existence of explicit solution formulas and is thus applicable to a broader class of (systems of) equations.

MSC:

03D78 Computation over the reals, computable analysis
35L05 Wave equation
35L50 Initial-boundary value problems for first-order hyperbolic systems
65M06 Finite difference methods for initial value and initial-boundary value problems involving PDEs

Citations:

Zbl 1011.03035