The maximum principle [1] is used for the study of the uniqueness and continuous dependence of a classical solution of mixed problems for parabolic and elliptic equations on the input data. For example, by using this principle, one can show that the corresponding solution of the homogeneous equation attains its maximum or minimum on the boundary of a domain. In a more general form, it permits one to derive a priori estimates for the maximum absolute value of the solution. Great attention is paid to the maximum principle in the theory of finite-difference approximations [2–7]. In particular, it is used in convergence analysis of difference schemes in the uniform norm. Difference schemes satisfying the maximum principle are said to be monotone. The monotonicity condition plays an important role in computational practice, since systems of algebraic equations obtained on the basis of such methods are well-conditioned. From the viewpoint of stability, the most rigorous results were obtained for linear problems in the investigation of difference schemes in grid Hilbert spaces as well as in the uniform norm. The maximum principle differs from the method of energy inequalities by the fact that it permits one to derive a priori estimates in the norm of C for problems of arbitrary dimension. The investigation of the well-posedness of a scheme in the uniform norm (in the grid Banach space L∞) is a key point in many problems. As an example, we note problems with unbounded nonlinearity. These problems are characterized by the fact that specific conditions imposed on the coefficients depending on the solution are valid either in the range of the exact solution or in a small neighborhood of it. To provide the validity of these properties for the coefficients of a difference scheme, one has to show that the approximate solution belongs to the range of the exact solution. This necessitates studying the properties of the solution of the difference scheme in the norm of C [8]. In the present paper, we state the maximum principle for general grid equations written out in a common canonical form for both interior and boundary nodes of the grid. On the basis of its corollaries, we prove the monotonicity of difference schemes (including vector-additive schemes [9, 10]) approximating a multidimensional quasilinear parabolic equation. We obtain the corresponding a priori estimates. In monotone schemes, it is very important to preserve the second-order accuracy of the approximation to a quasilinear parabolic equation with boundary conditions of the third kind. One usually increases the order of approximation of the boundary conditions by using the main differential equation on the boundary of the domain. However, it is difficult to prove the second-order convergence in the norm of C in the framework of this classical approach. Matus [11] suggested an approach to the construction of monotone difference schemes preserving the second-order approximation and accuracy for linear differential problems with boundary conditions of the second and third kind without using the main differential equation on the boundary of the domain. The main idea is based on the assumption of the existence and uniqueness of a smooth solution in some sufficiently small neighborhood of the domain of the problem and the use of only half-integer grid points. In this case, the boundary conditions are approximated with second order on the two-point stencil. If the equation is assumed to be well-posed at the boundary points as well, then one can also construct fourth-order schemes in this case [11]. In the present paper, we apply this approach to nonlinear equations. In particular, we prove the monotonicity and obtain a priori estimates for a difference scheme approximating the third boundary value problem for a nonlinear parabolic equation with nonlinearities of unbounded growth. Some results in this direction were announced in [12, 13].
Read full abstract