One Class of Stable Difference Schemes for Hyperbolic System
1Differential Equations, Novosibirsk Institute of Mathematics, Novosibirsk, Russian
2Computations technologies and mathematical modeling, National University of Uzbekistan, Tashkent, Uzbekistan
It is suggested one class of difference schemes for hyperbolic systems of equations, which have several forms of writing. Stability of suggested difference schemes is investigated with the help of technics of integrals energy. Numerical results of model problems are given.
At a glance: Figures
Keywords: hyperbolic system, difference schemes, stability, energy norm
American Journal of Numerical Analysis, 2014 2 (3),
Received February 06, 2014; Revised March 03, 2014; Accepted April 02, 2014Copyright © 2014 Science and Education Publishing. All Rights Reserved.
Cite this article:
- Blokhin, A.M., R.D. Alaev, and M.U. Hudayberganov. "One Class of Stable Difference Schemes for Hyperbolic System." American Journal of Numerical Analysis 2.3 (2014): 85-89.
- Blokhin, A. , Alaev, R. , & Hudayberganov, M. (2014). One Class of Stable Difference Schemes for Hyperbolic System. American Journal of Numerical Analysis, 2(3), 85-89.
- Blokhin, A.M., R.D. Alaev, and M.U. Hudayberganov. "One Class of Stable Difference Schemes for Hyperbolic System." American Journal of Numerical Analysis 2, no. 3 (2014): 85-89.
|Import into BibTeX||Import into EndNote||Import into RefMan||Import into RefWorks|
At present in descriptions of different physical phenomenons it is widely applied hydrodynamical models. For finding the approximate solutions of such models often used finite-difference methods. There are many different ways of formation of difference schemes for the hydrodynamical models (and, in particular, for equations of the gas dynamic). Some approaches to formation of difference scheme presented, for example, in . In  is described one interesting approach, which based on possibility of writing of the system of gas dynamics equations in two variants. We shall explain meaning of this approach first for differential problem. As noted in  (see. also background work ), the system of equations of gas dynamics describing three dimensional motion of gas in assumption that gas is nonviscous not heat-conducting and in state of local thermodynamic balance (i.e. there exists equation of gas state), can be written in the form of symmetric -hyperbolic system (by Friedrichs)
Here , , are symmetric matrices of order 5, and also (naturally, in physical justified requirements to smooth solution of the system (1.1)); is the vector of dependence variables.
These two equivalent (on smooth solutions) forms of writing of the initial system of equations of gas dynamics allow to obtain for it such called local a priori estimation. Let the system (1.1) has smooth solution, satisfying the condition:
and initial data for :
here . Multiplying both sides of systems (1.1), (1.2) scalar to the vector and adding obtained expressions we have
Integrating the identity (1.5) on domain , taking into account conditions (1.3) we get searching a priori estimation
In the process of obtaining of the estimation (1.6) we also supposed, that on given smooth solution , the norms of the matrix are bounded.
Clearly, that the estimation (1.6) has local character, because the constant characterized time of existence of smooth solution (time up to occurrence of gradient catastrophe) of the problem (1.1), (1.4) and time of fulfillment of the inequality
The fact, that the system of equations of gas dynamics can be written in the form (1.1) or (1.2), gives to the idea to use this by formation of finite-difference schemes for equations of the gas dynamics with the aim to get approximate solutions of finite-difference analogue of local a priori estimation (1.6). On terminology, accepted in , this means adequacy of the initial mathematical and computational models. In the next section we describe one class of such difference schemes, in formation which is used above mentioned circumstance (another examples given in , see also ).
Remark 1.1. As noted in , the identity (1.5) is the another form of writing of additional law of the conservation to entropy (namely presence of such law and its nonuniqueness allows to present the system of the equations of gas dynamics in the form (1.1) or (1.2)).
Remark 1.2. We will digress from gas dynamical origin of the system (1.1), (1.2) and we assume, that initial symmetric -hyperbolic system (1.1) can be rewritten in the form (1.2) on smooth solutions of the system (1.1)).
The paper is organized as follows. In section 2 a class of difference schemes is constructed and the stability of difference schemes is proved. In section 3 it is given comparative analysis of numerical results. In conclusion it is briefly formulated obtained results.
2. One Class of "ctable" Difference Schemes for the System (1.1)
We formulate for the initial mathematical model (1.1), (1.4) the following computational model. In the domain we construct grid with steps , , and introduce such designations (see [1, p.27]):
As known, for symmetric matrices , it is possible to realize the following representation:
where are symmetric matrices.
It is easy to be sure in correctness of (2.1), if as take the following matrices:
Here is the orthogonal matrix, that reduce the matrix to diagonal form: , where is conjugate matrix to , , , are eigenvalues of the matrix , , .
For finding of numerical solution of the initial mathematical model (1.1), (1.4) it is suggested the following finite-difference scheme:
, , with initial data
Here , , , , , , , are "intermediate" values of the vector , .
Remark 2.1. The difference scheme (2.2) do not approximate initial system (1.1), it approximate corollary of (1.1) (which obtained from (1.1), (1.2)):
Remark 2.2. We assume that the solution of the finite-difference model (2.2), (2.3) satisfy the condition
We also suppose, that norms of matrices , , are bounded.
Remark 2.3. Suggested difference scheme (2.2) is implicit and has to be realized by iteration of nonlinearity.
Remark 2.4 We will not concretize choice of vectors , , , because it is possible different variants of such choice ("intermediate" means averaged value of the vector in the difference cell, such many variance may be useful for numerical calculations of applied problems).
The following theorem is true
Theorem. Let on solutions of the finite-difference model (2.2), (2.3) the condition (2.5) and the following inequality are fulfilled:
Then the difference model (2.2), (2.3) is "stable" in the energy norm , where
Proof. We multiply both sides of the system (2.2) scalar to the vector
The following relations are true:
Taking into account 1)-3) from the equality (2.7) we get
Multiplying (2.7') by and adding obtained results by from up to , taking into account (2.5) finally we get searching estimation
where is defined by formula (2.6).
The equality (2.8) is finite-difference analogue of a priori estimation (1.6). From (2.8) also follows "stability" of the difference model (2.2), (2.3) in energy norm .
Remark 2.5. We have taken the word stability in quotation, because strictly saying, it is required to prove, that the inequality
and the condition (2.5) are fulfilled on solutions of finite-difference computational model (2.2), (2.3).
Remark 2.6. In the process of obtaining of (2.8) we used the following calculations:
which is obtained by virtue of (2.5).
3.Some Simple Examples
As simple and also interesting examples we consider simple hyperbolic equations
For the equation (3.1) we consider the following problem:
The problem (3.3) illustrates gas-dynamical situation with the generated gasdynamic shock transition.
The difference scheme (2.2) for the equation (3.1) has following form:
Here , ,
, is some integer number.
Lax-Friedrichs difference scheme for the equation (3.1) according to  has the following form:
In Figure 1- Figure 4 are given comparisons of the calculation results by scheme (3.4) with numerical calculation by Lax-Friedrichs scheme for , , and for different values of time
For the equation (3.2) consider such problem:
where , , ,, are some parameters, is the time of coming of gradient catastrophe.
The problem (3.5) well illustrates gas-dynamical situation of beginning and evolutions of the gasdynamic shock transition.
Though the equation (3.2) is not written in the form (1.2), but it can be represented such (see. formula (2.4)):
and consequently the difference scheme (2.2) for the equation (3.2) has the following form:
Here is "intermediate" value (in this example as "intermediate" vale is taken ), , .
The Lax-Friedrichs difference scheme for the equation (3.2) according to  has the following form:
The comparisons numerical calculations by scheme (3.7) with numerical calculations by Lax-Friedrichs difference scheme given in Figure 5 - Figure 8 for different values of time
The general conclusion of numerical experiments is that the suggested scheme gives better both profile and origin of the shock wave.
So in the present paper it is constructed a class of difference schemes for systems of hyperbolic system which have different forms of writing. It is proved stability of such schemes in the energy norm (see.(2.6)). Numerical experiments are done on model examples. Results of numerical calculations showed capacity for work, and also competitive ability of suggested difference schemes comparatively with known schemes.
|||Blokhin A.M., Aloev R.D. Energy integrals and thier applications to investigation of stability of difference schemes. Novosibirsk, 1993. 224 p.|
|||Kulikovskii A.G., Pogorelov N.V., Semenov A.Yu. Mathematical problems of numerical solution of hyperbolic systems. M.:Physics and mathematics publishers, 2001, 608 p.|
|||Blokhin A.M., Sokovikov I.G. About one approach to formulation of difference schemes for quasi-linear equations of gas dynamics. Siberian Mathematical Journal, 1999, V.40, № 6, Pp.1236-1243.|
|||Harten A. On the symmetric form of systems of conservation laws with enthropy. J. Comput. Phys. 1983. V. 49, № 1, p.151-164.|