Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

DOI10.23638/LMCS-13(4:13)2017MaRDI QIDQ4596791zbMATH OpenFDO

Authors Svetlana V. Selivanova, Victor Selivanov

Publication date 11 December 2017

Full work available at URL https://arxiv.org/abs/1305.2494

zbMATH Keywords

stabilityCauchy problemwave equationboundary-value problemdifference schemesolution operatorcomputabilityfinite-dimensional approximationsymmetric hyperbolic systemsystems of PDEsalgebraic realconstructive field

Mathematics Subject Classification ID

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

Abstract: 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 $Qsubseteqmathbb{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 Weihrauch and Zhong (2002). 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.

Recommendations

• Computing the solution operators of symmetric hyperbolic systems of PDE
• Solving of boundary value problems for systems of differential-operator equations
• Computing Solutions of Symmetric Hyperbolic Systems of PDE's
• scientific article; zbMATH DE number 3890007
• Computation of solutions of nonlinear boundary value problems
• Exact real computation of solution operators for linear analytic systems of partial differential equations
• Publication:3482224
• scientific article; zbMATH DE number 1995836
• scientific article; zbMATH DE number 4174258
• scientific article; zbMATH DE number 1535937

Cited in

(13)

• On the main scientific achievements of Victor Selivanov
• Primitive recursive ordered fields and some applications
• Searching for applicable versions of computable structures
• Computability aspects for 1st-order partial differential equations via characteristics
• Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
• Computing the solution operators of symmetric hyperbolic systems of PDE
• Primitive recursive ordered fields and some applications
• Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations
• Computational complexity of classical solutions of partial differential equations
• Computability of Differential Equations
• Computing Solutions of Symmetric Hyperbolic Systems of PDE's
• Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract)
• Bit-complexity of solving systems of linear evolutionary partial differential equations

This page was built for publication: Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4596791)