Convergence theorem for difference approximations of hyperbolic quasilinear initial-boundary value problems

Abstract:

Dissipative difference approximations to multi-dimensional hyperbolic quasi-linear initial-boundary value problems are considered. The difference approximation is assumed to be consistent with the differential problem and its linearization should be stable in ${l_2}$. A formal asymptotic expansion to the difference solution is constructed. This expansion includes boundary and initial layers. It is proved that the expansion indeed approximates the difference solution to the required order. As a result, the difference solution converges to the differential one as the mesh size h tends to 0.