Abstract
In the present paper, the finite-difference method for the initial-boundary value problem for a hyperbolic system of equations with nonlocal boundary conditions is studied. The positivity of the difference analogy of the space operator generated by this problem in the space C with maximum norm is established. The structure of the interpolation spaces generated by this difference operator is investigated. The positivity of this difference operator in Hölder spaces is established. In applications, stability estimates for the solution of the difference scheme for a hyperbolic system of equations with nonlocal boundary conditions are obtained. A numerical example is applied.
MSC:35L40, 35L45.
Similar content being viewed by others
1 Introduction
Nonlocal problems are widely used for mathematical modeling of various processes of physics, ecology, chemistry, and industry, when it is impossible to determine the boundary or initial values of the unknown function. The method of operators as a tool for the investigation of the solution of local and nonlocal problems for partial differential equations in Hilbert and Banach spaces has been systematically developed by several authors (see, e.g., [1–27]). It is well known that (see, e.g., [28–32] and the references given therein) many application problems in fluid mechanics, physics, mathematical biology, and chemistry were formulated as nonlocal mathematical models. Note that such problems were not well studied in general.
In the paper [33], the initial-boundary value problem
for the hyperbolic system of equations with nonlocal boundary conditions was considered. Here
, (), , () are given smooth functions and they satisfy all compatibility conditions which guarantee the problem (1) has a smooth solution and . As noted in the paper [33], the problem of sound waves [34] and the problem of the expansion of electricity oscillations [35] can be replaced by the problem (1). Note that, we have the nonclassical initial-boundary value problem (1) with boundary conditions , , , , . These conditions are given on two boundary points. It is clear that it is impossible to determine the boundary values of the unknown function. So, these conditions are not local.
Let E be a Banach space and be a linear unbounded operator densely defined in E. We call A a positive operator in the Banach space if the operator has a bounded inverse in E for any , and the following estimate holds:
Throughout the present paper, M is defined as a positive constant. However, we will use to stress the fact that the constant depends only on .
For a positive operator A in the Banach space E, let us introduce the fractional spaces () consisting of those for which the norm
is finite.
Let us introduce the Banach space () of all continuous vector functions defined on and satisfying a Hölder condition for which the following norm is finite:
Here is the Banach space of all continuous vector functions defined on with norm
We consider the space operator A generated by the problem (1) defined by the formula
with domain
The Green’s matrix function of A was constructed. The positivity of the operator A in the Banach space was established. It was proved that for any the norms in spaces and are equivalent. The positivity of A in the Hölder spaces of , was proved. In applications, stability estimates for the solution of the problem (1) for the hyperbolic system of equations with nonlocal boundary conditions were obtained.
In the present paper, the finite-difference method for the initial value problem for the hyperbolic system of equations with nonlocal boundary conditions is applied. The positivity of the difference analogy of the space operator A defined by equation (1) in the difference analogy of spaces is established. The structure interpolation spaces generated by this difference operator is studied. The positivity of this difference operator in Hölder spaces is established. In practice, stability estimates for the solution of the difference scheme for the hyperbolic system of equations with nonlocal boundary conditions are obtained. The method is illustrated by numerical example.
The organization of the present paper as follows. Section 1 is an introduction where we provide the history and formulation of the problem. In Section 2, the Green’s matrix function of the difference space operator is presented and positivity of this operator in the difference analogy of spaces is proved. In Section 3, the structure of fractional spaces generated by this difference operator is investigated and positivity of this difference operator in Hölder spaces is established. In Section 4, stable difference schemes for the approximate solution of the problem (1) are constructed. A theorem on the stability for the first order of accuracy in the t difference scheme is proved. In Section 5, a numerical application is given. Finally, Section 6 is for our conclusion.
2 The Green’s matrix function of difference space operator and positivity
Let us introduce the Banach spaces () and of all mesh vector functions defined on
with the following norms:
We consider the difference space operator generated by the problem (1) defined by the formula
acting on the space of mesh vector functions defined on , satisfying the conditions
Here . We will study the resolvent of the difference space operator , i.e.
or
Lemma 2.1 For any , equation (7) is uniquely solvable and the following formula holds:
where
Here
Proof Using the resolvent equation (7), we get
From that follows the following recursive formula:
Hence
From this formula and the nonlocal boundary condition it follows that
Then,
Using the resolvent equation (7), we get
From that follows the system of recursion formulas
Hence
From this formula and the nonlocal boundary condition it follows that
Therefore,
Applying equation (12), we get
From the last two formulas it follows that
Lemma 2.1 is proved. □
Lemma 2.2 The following pointwise estimates hold; see equation (7):
Here .
Proof It is easy to see that the estimates of equations (14), (15), and (16) follow from the triangle inequality. Applying the triangle inequality, we get
If . Then, using the estimates of equations (14), (15), (16), and inequality (18), we get
If . Then, using the estimates of equations (14), (15), (16), and inequality (18), we get
Here . Then, using the estimates of equations (14), (15), (16), and inequality (18), we get
Lemma 2.2 is proved. □
Theorem 2.1 The operator has a bounded inverse in for any and the following estimate holds:
Proof Using the formula equation (13) and the triangle inequality, we get
for any . Using the estimate of equation (15), we get
Using the estimate of equation (16), we get
Using the estimate of equation (17), we get
Therefore,
From this it follows that
Theorem 2.1 is proved. □
3 The structure of fractional spaces and positivity of in Hölder spaces
Clearly, the operator and its resolvent commute. By the definition of the norm in the fractional space , we get
Thus, from Theorem 2.1 it follows that is a positive operator in the fractional spaces . Moreover, we have the following result.
Theorem 3.1 For , the norms of the spaces and the Hölder space are equivalent uniformly with respect to h. Here
Proof For any we have the obvious equality
By equation (8), we can write
Applying equation (21) and the following obvious equalities:
and using the nonlocal boundary conditions
we get
Using this formula, the triangle inequality and the definition of spaces and , we get
Here
Using the estimates
and the estimates of equations (14), (15), (16), and (17), we get
Then
for any . This means that
Let us prove the opposite inequality. For any positive operator we can write
From the relation and formula (21) it follows that
Consequently,
whence
Let
Then for any , we have
Now let us estimate , where
Note that it suffices to consider the case when . Applying the scheme of the paper [33] and using equations (8), (9), (10), (11), and the estimates of equations (14), (15), (16), and (17), we can establish the following estimate:
for . Applying the triangle inequality and the estimate of equation (22), we get
Thus for any we have
This means that the following inequality holds:
Theorem 3.1 is proved. □
Since the is a positive operator in the fractional spaces , from the result of Theorem 3.1 it follows that it is also a positive operator in the Hölder space . Namely, we have the following.
Theorem 3.2 The operator has a bounded inverse in uniformly with respect to h for any and the following estimate holds:
4 Applications
In this section we consider the application of results of Sections 2 and 3. For a positive operator A in E the following result was established in papers [36, 37].
Theorem 4.1 Let A be a positive operator in E. Then it obeys the following estimate:
where does not depend on τ and k. Here is the Padé approximation of near .
For a numerical solution of the initial-boundary value problem (1) the following difference scheme is presented:
We introduce the Banach space of all continuous abstract mesh vector functions
defined on with values in E, equipped with the norm
Note that the problem (24) can be written in the form of the abstract Cauchy problem
in a Banach space with a positive operator defined by (5). Here is the given abstract vector function defined on with values in E, is the element of . It is well known that (see, for example [3]) the formula
gives a solution of the problem (25) in .
Theorem 4.2 For the solution of the problem (25) the stability inequality holds:
The proof of Theorem 4.2 is based on the positivity of the operator , equation (26) and the estimate of equation (23).
Applying the results of Theorems 2.1 and 4.2, we get the following theorem.
Theorem 4.3 The solution of the problem (24) satisfies the following estimate:
Applying results of Theorems 3.2, 4.1, and 4.2, we get the following theorem.
Theorem 4.4 Assume that
Then the solution of the problem (24) satisfies the following estimate:
Finally, one has not been able to obtain a sharp estimate for the constants figuring in the stability estimates. Therefore, our interest in the present paper is studying the difference scheme equation (24) by numerical experiments. Applying this difference scheme, the numerical method is proposed in the following section for the numerical solution of the hyperbolic system of equations with nonlocal boundary conditions. The method is illustrated by a numerical example.
5 Numerical results
For the numerical result, the initial value problem
for the hyperbolic system of equations with nonlocal boundary conditions is considered. Applying the difference scheme equation (24), we obtain
where
We get the system of equations in the matrix form
where
, , , ,
Thus, we have the first-order difference equation with respect to k matrix coefficients. To solve this difference equation we have the following procedure:
For their comparison, the errors are computed by
of the numerical solutions. The numerical solutions are recorded for different values of ; , represent the numerical solutions of these difference schemes at . The errors are given in Table 1 for , and , respectively.
6 Conclusion
In the present study, the finite-difference method for the initial-boundary value problem for the hyperbolic system of equations with nonlocal boundary conditions is studied. The positivity of the difference analogy of the space operator generated by this problem in the space with maximum norm is established. The structure interpolation spaces generated by this difference operator is investigated. The positivity of this difference operator in Hölder spaces is established. In practice, stability estimates for the solution of the difference scheme for the hyperbolic system of equations with nonlocal boundary conditions are obtained. A numerical example is applied. Moreover, applying this approach we can construct the stable difference schemes for numerical solutions of the initial-boundary value problem
for the hyperbolic system of semilinear equations with nonlocal boundary conditions. Of course, convergence estimates for the solution of these difference schemes can be obtained.
References
Fattorini HO: Second Order Linear Differential Equations in Banach Spaces. North-Holland, Amsterdam; 1985.
Goldstein JA Oxford Mathematical Monographs. In Semigroups of Linear Operators and Applications. Clarendon, New York; 1985.
Krein SG: Linear Differential Equations in Banach Space. Nauka, Moscow; 1966. (in Russian). English transl.: Linear Differential Equations in Banach space. Translations of Mathematical Monographs, vol. 23. Am. Math. Soc., Providence (1968)
Pogorelenko V, Sobolevskii PE: The ‘counter-example’ to W. Littman counter-example of -energetic inequality for wave equation. Funct. Differ. Equ. 1997, 4(1-2):165-172.
Sobolevskii PE: On the equations of the second order with a small parameter at the highest derivatives. Usp. Mat. Nauk 1964, 19(6):217-219. (in Russian)
Sobolevskii PE, Semenov S: On some approach to investigation of singular hyperbolic equations. Dokl. Akad. Nauk SSSR 1983, 270(1):555-558. (in Russian)
Vasilev VV, Krein SG, Piskarev S: Operator semigroups, cosine operator functions, and linear differential equations. Itogi Nauki i Tekhniki 204. In Mathematical Analysis. Akad. Nauk SSSR Vsesoyuz. Inst. Nauchn. i Tekhn. Inform., Moscow; 1990:87-202. (Translated in J. Soviet Math. 54(4), 1042-1129 (1991))
Ashyralyev A, Fattorini HO: On uniform difference schemes for second-order singular pertubation problems in Banach spaces. SIAM J. Math. Anal. 1992, 23(1):29-54. 10.1137/0523003
Ashyraliyev M: A note on the stability of the integral-differential equation of the hyperbolic type in a Hilbert space. Numer. Funct. Anal. Optim. 2008, 29(7-8):750-769. 10.1080/01630560802292069
Yurtsever A, Prenov R: On stability estimates for method of line for first order system of differential equations of hyperbolic type. In Some Problems of Applied Mathematics. Edited by: Ashyralyev A, Yurtsever A. Fatih University Publications, Istanbul; 2000:198-205.
Ashyralyev A, Yildirim O: A note on the second order of accuracy stable difference schemes for the nonlocal boundary value hyperbolic problem. Abstr. Appl. Anal. 2012., 2012: Article ID 846582
Ashyralyev A, Aggez N: Finite difference method for hyperbolic equations with the nonlocal integral condition. Discrete Dyn. Nat. Soc. 2011., 2011: Article ID 562385
Ashyralyev A, Sobolevskii PE: Two new approaches for construction of the high order of accuracy difference schemes for hyperbolic differential equations. Discrete Dyn. Nat. Soc. 2005, 2005(2):183-213. 10.1155/DDNS.2005.183
Ashyralyev A, Koksal ME, Agarwal RP: A difference scheme for Cauchy problem for the hyperbolic equation with self-adjoint operator. Math. Comput. Model. 2010, 52(1-2):409-424. 10.1016/j.mcm.2010.03.012
Aggez N, Ashyralyyeva M: Numerical solution of stochastic hyperbolic equations. Abstr. Appl. Anal. 2012., 2012: Article ID 824819
Ashyralyev A, Akat M: An approximation of stochastic hyperbolic equations. 1389. AIP Conference Proceedings 2011, 625-628.
Amanov D, Ashyralyev A: Initial-boundary value problem for fractional partial differential equations of higher order. Abstr. Appl. Anal. 2012., 2012: Article ID 973102
Ashyralyev A, Dal F: Finite difference and iteration methods for fractional hyperbolic partial differential equations with the Neumann condition. Discrete Dyn. Nat. Soc. 2012., 2012: Article ID 434976
Ashyralyev A, Yildirim O: On multipoint nonlocal boundary value problems hyperbolic differential and difference equations. Taiwan. J. Math. 2010, 14(1):165-194.
Soltanov H: A note on the Goursat problem for a multidimensional hyperbolic equation. Contemp. Anal. Appl. Math. 2013, 1(2):98-106.
Selitskii AM: The space of initial data for the second boundary-value problem for parabolic differential-difference equation. Contemp. Anal. Appl. Math. 2013, 1(1):34-41.
Selitskii AM: The space of initial data for the Robin boundary-value problem for parabolic differential-difference equation. Contemp. Anal. Appl. Math. 2013, 1(2):91-97.
Agarwal R, Bohner M, Shakhmurov VB: Maximal regular boundary value problems in Banach-valued weighted spaces. Bound. Value Probl. 2005, 1: 9-42.
Shakhmurov VB: Coercive boundary value problems for regular degenerate differential-operator equations. J. Math. Anal. Appl. 2004, 292(2):605-620. 10.1016/j.jmaa.2003.12.032
Ashyralyev A, Sobolevskii PE: Well-posedness of parabolic difference equations. In Operator Theory Advances and Applications. Birkhäuser, Basel; 1994.
Rassias JM, Karimov ET: Boundary-value problems with non-local condition for degenerate parabolic equations. Contemp. Anal. Appl. Math. 2013, 1(1):42-48.
Ashyralyev A, Sobolevskii PE: New difference schemes for partial differential equations. In Operator Theory Advances and Applications. Birkhäuser, Basel; 2004.
Dehghan M: On the numerical solution of the diffusion equation with a nonlocal boundary condition. Math. Probl. Eng. 2003, 2003(2):81-92. 10.1155/S1024123X03111015
Cannon JR, Perez Esteva S, van der Hoek J: A Galerkin procedure for the diffusion equation subject to the specification of mass. SIAM J. Numer. Anal. 1987, 24(3):499-515. 10.1137/0724036
Gordeziani N, Natani P, Ricci PE: Finite-difference methods for solution of nonlocal boundary value problems. Comput. Math. Appl. 2005, 50: 1333-1344. 10.1016/j.camwa.2005.05.005
Dautray R, Lions JL: Analyse Mathematique et Calcul Numerique Pour les Sciences et les Techniques. Masson, Paris; 1988. vols. 1-11
Ashyralyev A, Ozdemir Y: Stability of difference schemes for hyperbolic-parabolic equations. Comput. Math. Appl. 2005, 50(8-9):1443-1476. 10.1016/j.camwa.2005.01.028
Ashyralyev A, Prenov R: The hyperbolic system of equations with nonlocal boundary conditions. TWMS J. Appl. Eng. Math. 2012, 2(2):154-178.
Godunov SK: Numerical Methods of Solution of the Equation of Gas Dynamics. NSU, Novosibirsk; 1962. (in Russian)
Tikhonov AN, Samarskii AA: Equations of Mathematical Physics. Nauka, Moscow; 1977. (in Russian)
Hersch R, Kato T: High accuracy stable difference schemes for well-posed initial value problems. SIAM J. Numer. Anal. 1982, 19(3):599-603. 10.1137/0719040
Brenner P, Crouzeix M, Thomee V: Single step methods for inhomogeneous linear differential equations in Banach space. RAIRO Anal. Numér. 1982, 16(1):5-26.
Acknowledgements
We would like to thank the reviewers whose careful reading, helpful suggestions, and valuable comments helped us to improve the manuscript.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
Each of the authors read and approved the final version of the manuscript.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Ashyralyev, A., Prenov, R. Finite-difference method for the hyperbolic system of equations with nonlocal boundary conditions. Adv Differ Equ 2014, 26 (2014). https://doi.org/10.1186/1687-1847-2014-26
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2014-26