Constructive and formal difference schemes for singularly perturbed parabolic equations in unbounded domains in the case of solutions growing at infinity

Abstract

An initial boundary value problem for a singular perturbed parabolic reaction–diffusion equation is considered in a domain unbounded in x on the real axis; the leading derivative of the equation contains the parameter ε²; ε ∈ (0, 1]. The right-hand side of the equation and the initial function indefinitely grow as 𝒪(x²) for x→ ∞, which leads to an indefinite growth of the solution at infinity as 𝒪(Ψ(x)), where Ψ(x) = x² + 1. For small values of the parameter ε a parabolic boundary layer appears in the neighbourhood of the lateral part of the boundary. In this problem for fixed values of the parameter ε the error of the grid solution indefinitely grows in the uniform norm for x → ∞. The closeness of the solutions to the initial boundary value problem and to its grid approximations is considered in this paper in the weighted uniform norm with the weight function Ψ^–1(x); the solution to the initial boundary value problem is ε-uniformly bounded in this norm. Using special grids condensing in the neighbourhood of the boundary layer, we construct formal difference schemes (schemes on grids with an infinite number of nodes) convergent ε-uniformly in the weighted norm. Based on the notion of the domain of essential dependence of the solution, we propose constructive difference schemes (schemes on grids with a finite number of nodes) convergent ε-uniformly in the weighted norm on given bounded subdomains.