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

DOI10.23638/LMCS-13(4:13)2017zbMATH Open1459.03070arXiv1305.2494MaRDI QIDQ4596791FDOQ4596791

Authors: Svetlana V. Selivanova, Victor Selivanov 

Publication date: 11 December 2017

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.

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

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
• 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

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)

Cited In (13)

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

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)