An Algorithm for Construction of the Asymptotic Approximation of a Stable Stationary Solution to a Diffusion Equation System with a Discontinuous Source Function

Abstract

An algorithm is presented for the construction of an asymptotic approximation of a stable stationary solution to a diffusion equation system in a two-dimensional domain with a smooth boundary and a source function that is discontinuous along some smooth curve lying entirely inside the domain. Each of the equations contains a small parameter as a factor in front of the Laplace operator, and as a result, the system is singularly perturbed. In the vicinity of the curve, the solution of the system has a large gradient. Such a problem statement is used in the model of urban development in metropolitan areas. The discontinuity curves in this model are the boundaries of urban biocenoses or large water pools, which prevent the spread of urban development. The small parameter is the ratio of the city’s outskirts linear size to the whole metropolis linear size. The algorithm includes the construction of an asymptotic approximation to a solution with a large gradient at the media interface as well as the steps for obtaining the existence conditions. To prove the existence and stability theorems, we use the upper and lower solutions, which are constructed as modifications of the asymptotic approximation to the solution. The latter is constructed using the Vasil’yeva algorithm as an expansion of a small parameter exponent.