A grid method for solving non-stationary problems with one or more spatial variables, in which the passage from a given time to the next time is realized at the expense of a sequential solution of the grid analogues of related non-stationary problems with a smaller number of spatial variables (see –). One can often find methods in this class such that: 1) the whole passage from a grid layer at a moment of time to a new grid layer at is simple enough to be realized using arithmetical operations, where is the number of nodes in the spatial grid; 2) absolute stability of the method is guaranteed; and 3) an acceptable precision of the method is guaranteed (existence of some form of approximation). Discretization methods are used fairly extensively in the practical solution of higher-dimensional problems of mathematical physics, such as those involving linear and non-linear systems of parabolic, hyperbolic or mixed type (see –).
For a problem with spatial variables, the passage from to by a discretization method can usually be carried out using auxiliary (fractional) steps:
is the matrix corresponding to the difference approximation of a certain differential operator, containing only derivatives with respect to (a one-dimensional differential operator), and the right-hand side of (1) can be easily calculated. By a corresponding enumeration of the unknowns, connected with the choice of the direction , the matrices usually become diagonal and the solution of (1) for every reduces to the multiple solution of one-dimensional difference systems in the direction . Hence a discretization method is often called either an alternating-directing method (see also Variable-directions method) or a method of fractional steps (cf. Fractional steps, method of).
As a typical example, consider the equation
with initial condition and boundary condition , where and is the boundary of . The following method can be used on a square grid with step :
where , , , , and are the simplest difference approximations to and , is the set of all interior nodes , and .
There are two alternative approaches to the theory of discretization methods. In one of them the intermediate steps do not differ essentially from integral steps, and the difference equations in fractional steps and the boundary conditions for them, being similar to those in method , are carried out in the same way. One can thus expect that and will serve as approximations to the solution of the original problem at the moments of time and . This approach is based on the use of the notions of a splitting scheme and a total approximation (see ). Schemes of such a type are often called locally one-dimensional schemes or additive schemes. They can also be treated as ordinary difference schemes for a certain equation with strongly-oscillating coefficients, whose solution must be close to that of the original problem (see –). The merits of this approach are in its simplicity and generality. For example, generalizations of method
also exist in the case of curvilinear domains and for more general problems. The level of precision of the methods obtained when following this course is usually not very high. There are well-known and sometimes successfully applied variants of discretization methods in which the splitting takes place with respect to the physical processes rather than the spatial variables (see , ).
A second approach to the plan of analysis of stability and convergence dispenses with the need to consider fractional steps. Both the difference scheme itself and the approximation are treated in the traditional way. The unusualness of the difference scheme is to be found only at a higher level of the scheme, where there appears an unusual difference operator. For example, instead of method
one considers the method
where and is the identity operator. Such operators are usually called split or factorized operators. The fractional steps are only connected with the method for solving the resulting system, and for one and the same scheme (3) one can introduce various methods, with boundary conditions chosen accordingly. Schemes of type (3) can be treated as ordinary weighted schemes for an -equation such as
where the solutions differ from the solution of the original problem by (see ). In the case of a domain made up of rectangles, the matrices of the systems arising in methods of type (3) cannot be written as a product of "one-dimensional" matrices. Nevertheless, solutions of similar systems can be found using arithmetical operations (see ), and operators of this type are called generalized split operators. In investigating the stability and convergence of schemes with split and generalized split operators, a major role is played by the method of energy inequalities (see , , –).
|||G.I. Marchuk, "Methods of numerical mathematics" , Springer (1975) (Translated from Russian)|
|||A.A. Samarskii, "Theorie der Differenzverfahren" , Akad. Verlagsgesell. Geest u. Portig K.-D. (1984) (Translated from Russian)|
|||N.N. Yanenko, "The method of fractional steps; the solution of problems of mathematical physics in several variables" , Springer (1971) (Translated from Russian)|
|||E.G. D'yakonov, "On the stability of difference schemes for some nonstationary problems" J. Miller (ed.) , Topics in numerical analysis , Acad. Press (1973) pp. 63–87 (Translated from Russian)|
|||V.M. Kovenya, N.N. Yanenko, "Discretization methods in problems of gas dynamics" , Novosibirsk (1981) (In Russian)|
|||A.R. Mitchell, "Computational methods in partial differential equations" , Wiley (1969)|
|||G. Fairweather, "Finite element Galerkin methods for differential equations" , M. Dekker (1978)|
|||A.A. Zlotnik, "The rate of convergence of the projection-difference scheme with a splitting operator for parabolic equations" USSR Comput. Math. Math. Phys. , 20 : 2 (1980) pp. 155–164 Zh. Vychisl. Mat. Mat. Fiz. , 20 : 2 (1980) pp. 422–432|
|||R. Glowinski, "On a new preconditioner for the Stokes problem" Math. Aplic. Comp. , 6 : 2 (1987) pp. 123–140|
In the Western literature, the terminology "discretization method" is used for constructing difference schemes (cf. Difference scheme) both for boundary value problems and for initial-boundary value problems. I.e. for a method of replacing a differential equation by a difference equation. In this article, it is used in the restrictive sense of the time discretization of initial-boundary value problems by splitting methods. Furthermore, in the English literature, fractional steps and locally one-dimensional methods (cf. also [a7]) refer to the discretization methods originally proposed by Yanenko, Samarskii, D'yakonov while the alternating-direction implicit methods refer to methods proposed by Peaceman, Rachford, Douglas. A further family of splitting methods are the so-called hopscotch methods advocated by Courlay [a4].
|[a1]||J. Douglas, "On the numerical integration of by implicit methods" J. Soc. Ind. Appl. Math. , 3 (1955) pp. 42–65|
|[a2]||J. Douglas, H.H. Rachford, "On the numerical solution of heat conduction problems in two and three space variables" Trans. Amer. Math. Soc. , 82 (1956) pp. 421–439|
|[a3]||G.E. Forsythe, W.R. Wasow, "Finite difference methods for partial differential equations" , Wiley (1960)|
|[a4]||A.R. Gourlay, "Hopscotch, a fast second-order partial differential equation solver" J. Inst. Math. Appl. , 6 (1970) pp. 375–390|
|[a5]||A.R. Mitchell, D.F. Griffiths, "The finite difference method in partial differential equations" , Wiley (1980)|
|[a6]||D.W. Paeceman, H.H. Rachford, "The numerical solution of parabolic and elliptic differential equations" J. Soc. Indust. Appl. Math. , 3 (1955)|
|[a7]||W.F. Ames, "Numerical methods for partial differential equations" , Acad. Press (1977)|
Discretization method. E.G. D'yakonov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Discretization_method&oldid=17484