Abstract
In the present paper, we study the first and second order of accuracy difference schemes for the approximate solution of the inverse problem for hyperbolic–parabolic equations with unknown time-independent source term. The unique solvability of constructed difference schemes and the stability estimates for their solutions are obtained. The proofs are based on the spectral representation of the self-adjoint positive definite operator in a Hilbert space.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The differential equations with unknown parameters are widely used in mathematical modelling of real-life systems in different fields of science and have been studied extensively by many researchers (see [17, 19, 20, 22, 23, 25, 26, 29] and the references therein). These type of problems are called inverse, since the differential equation contains unknown source term (parameter) and therefore its solution cannot be determined uniquely from imposed initial and/or boundary conditions. Typically, one needs to introduce some additional condition(s) into the problem to gain a well-posedness of a mathematical model.
In general, the differential equations with unknown parameters are not solvable analytically and therefore one needs to tackle them by using numerical approaches. Construction of accurate and efficient numerical methods for differential equations with unknown parameters has been a subject of study by many authors (see, for example, [1, 2, 4, 8, 11, 12, 21, 27, 28, 31]).
There is a great deal of work in the analysis of direct problems for hyperbolic–parabolic equations (see [18, 24, 30]), as well as in construction of difference schemes for such problems (see [5,6,7, 10]). However, the inverse problems for hyperbolic–parabolic equations with unknown parameters have not been well-investigated in general.
Various local and nonlocal boundary value problems for hyperbolic–parabolic equations with unknown parameter can be reduced to the boundary value problem for the differential equation with parameter p
in a Hilbert space H with self-adjoint positive definite operator A satisfying \(A\ge \delta I\), where \(\delta >0\). The last condition in (1) is considered in order to compensate the uncertainty in the problem due to unknown term p.
The unique solvability of problem (1) in the space C(H) of the continuous H-valued functions u(t) defined on \([-1,1]\), equipped with the norm
was established in [3] and the following theorem on continuous dependence of the solution on the given data was proven.
Theorem 1
([3]) Assume that \(\varphi \), \(\psi \in D(A)\). Let f(t) and g(t) be continuously differentiable functions on [0, 1] and \([-1,0]\), respectively. Then, for the solution \(\{u(t),p\}\) of problem (1) in \(C(H)\times H\) the following stability inequalities
hold, where M does not depend on \(\varphi \), \(\psi \), f(t) and g(t) but may depend on \(\delta \) and \(\lambda \).
The first and second order of accuracy difference schemes for the approximate solution of abstract problem (1) were initially constructed in [16] and [13], respectively. Numerical algorithm for implementation of both schemes when applied to one-dimensional hyperbolic–parabolic equation with Dirichlet and Neumann boundary conditions were discussed in [14] and [15], respectively. We would like to emphasize that previous research was mainly focused on numerical studies for some applications of abstract problem (1), i.e. problems with specified operator A. To the best of our knowledge, the rigorous analysis of stable difference schemes for problem (1) in the abstract form is still lacking. The main goal of this study is to investigate the first and second order of accuracy stable difference schemes for the approximate solution of problem (1). We prove the unique solvability of these difference schemes and obtain the stability estimates for their solutions. The analysis relies on the operator approach and the proofs of the stability estimates are based on the spectral representation of the self-adjoint positive definite operator in a Hilbert space.
2 First order of accuracy stable difference scheme
Let \(\tau =1/N\) be a sufficiently small positive number such that \(\lambda \ge -1+\tau \). We define the grid points \(t_{k}=k\tau ,~-N\le k\le N\). For the approximate solution of problem (1) we consider the first order of accuracy stable difference scheme
where \(\ell =\lfloor \lambda /\tau \rfloor \), \(f_{k}=f(t_{k})\), \(1\le k \le N-1\) and \(g_{k}=g(t_{k})\), \(-N+1\le k\le 0\).
Let us first give some lemmas which we will need in the remaining part of this section. Here and everywhere else, we denote
Lemma 1
([9]) The following estimates hold
Lemma 2
([9]) The following estimates hold
Lemma 3
([9]) If \(-1+\tau \le \lambda < \tau \), then \(-N+1\le \ell \le 0\) and the following estimate holds
Lemma 4
The following estimate
holds for any \(m\ge 1\).
Proof
Since
by using (3) and the following estimates
we obtain (6). The proof of estimates (7) is based on the spectral representation of the self-adjoint positive definite operator A in a Hilbert space H [9]. \(\square \)
Lemma 5
If \(\tau \le \lambda \le 1\), then \(1\le \ell \le N\) and the following estimate holds
Proof
The proof of estimate (8) is based on the estimate (6). \(\square \)
Now, we give the main theorem for the solution of the first order of accuracy difference scheme (2).
Theorem 2
The difference scheme (2) has a unique solution and the following stability estimate holds
where \(M^{*}(\delta ,\lambda )\) is independent of \(\varphi \), \(\psi \), \(\tau \), \(f_{k}\) and \(g_{k}\).
Proof
Let us denote
Then, the difference scheme (2) results in the following auxiliary difference scheme
First, we obtain the formulas for the solution of scheme (11). It is known that for the given \(v_{0}\) the difference scheme
has a solution
Additionally, for the given \(v_{-N}\) the difference scheme
has a solution
In particular, with \(k=0\) in (13) we have
Then, by putting it in (12), we obtain
Using \(R-{\tilde{R}}=-2i\tau A^{1/2}R{\tilde{R}}\), we have
If \(-1+\tau \le \lambda < \tau \), then \(-N+1\le \ell \le 0\) and therefore from (11) and (13) it follows
so that
If \(\tau \le \lambda \le 1\), then \(1\le \ell \le N\) and, therefore, from (11) and (14) it follows
so that
Hence, for the solution of the auxiliary difference scheme (11) we have formulas (13) and (14), with \(v_{-N}\) being found by formula (15) when \(-1+\tau \le \lambda < \tau \) and formula (16) when \(\tau \le \lambda \le 1\). Now, taking into account that \(u_{-N}=\varphi \), we have \(A^{-1}p=\varphi - v_{-N}\). Then, by using (10), we obtain the solution of difference scheme (2).
Now, let us obtain the estimate (9). By using (15) and the estimates (4) and (5), we obtain
Similarly, by using (16) and the estimates (3), (4) and (8), we obtain
Then, using (13) and the estimates (4), (17) and (18), we get
for \(k=-N+1,\ldots ,0\). Using (14) and the estimates (3), (4), (6), (17) and (18), we obtain
for \(k=1,\ldots ,N\). Since \(A^{-1}p=\varphi - v_{-N}\), by using (17) and (18), we have
So, using (10), (19), (20) and (21), we prove the estimates
for \(k=-N,\ldots ,N\). Estimate (9) follows from (21) and (22). \(\square \)
3 Second order of accuracy stable difference scheme
In this section, for the approximate solution to a problem (1) we consider the second order of accuracy stable difference scheme
where \(f_{k}=f(t_{k})\), \(0\le k \le N-1\), \(g_{k}=g(t_{k}-\frac{\tau }{2})\), \(-N+1\le k\le 0\) and \(\ell =\lfloor \lambda /\tau \rfloor \). We assume here for simplicity that \(\tau \) is a sufficiently small positive number such that \(\lambda \ge -1+2\tau \).
Let us first give some lemmas which we will need in the remaining part of this section. Here and everywhere else, we denote
Lemma 6
([9]) The following estimates hold
Lemma 7
( [9]) The following estimates hold
Lemma 8
If \(-1+2\tau \le \lambda < \tau \), then \(-N+2\le \ell \le 0\) and the following estimate holds
Proof
The proof of the estimate (26) is based on the following estimate
The proof of the last estimate is based on spectral representation of the self-adjoint positive definite operator A in a Hilbert space H [9]. \(\square \)
Lemma 9
If \(\tau \le \lambda < 2\tau \), then \(\ell =1\) and the following estimate holds
Proof
We have
where \(\alpha =\frac{\lambda }{\tau }\big (1+\frac{\tau }{2}\big ) - \tau \). Since \(\tau \le \lambda < 2\tau \), it follows that \(1-\frac{\tau }{2}\le \alpha < 2\). Then, using the estimates (24) and the following estimate
we obtain
which allows us to prove the estimate (27). The proof of estimates (28) is based on spectral representation of the self-adjoint positive definite operator A in a Hilbert space H [9]. \(\square \)
Lemma 10
If \(2\tau \le \lambda \le 1\), then \(2\le \ell \le N\) and the following estimate holds
Proof
Denote
Applying the identity
and the following estimates
we get
From this estimate it follows that
and therefore, for small \(\tau \) we obtain (29). \(\square \)
Now, we give the main theorem for the solution of the difference scheme (23).
Theorem 3
The difference scheme (23) has a unique solution and the following stability estimate holds
where \(M^{*}(\delta ,\lambda )\) is independent of \(\varphi \), \(\psi \), \(\tau \), \(f_{k}\) and \(g_{k}\).
Proof
With substitution (10), the difference scheme (23) results in the following auxiliary difference scheme
First, we obtain the formulas for the solution of the scheme (31). It is known that for the given \(v_{0}\) the difference scheme
has a solution
Since \(R_{1}-R_{2}=-2i\tau A^{1/2}R_{1}R_{2}\), we have
Let us rearrange the first term in the right-hand side of (32)
Then, (32) becomes
It is known that for the given \(v_{-N}\) the difference scheme
has a solution
In particular, with \(k=0\) we have
Then, by putting (35) in (33), we obtain
If \(-1+2\tau \le \lambda < \tau \), then \(-N+2\le \ell \le 0\) and therefore from (31) and (34) it follows
so that
If \(\tau \le \lambda < 2\tau \), then \(\ell =1\) and therefore from (31) and (35) it follows
so that
If \(2\tau \le \lambda \le 1\), then \(2\le \ell \le N\) and therefore from (31) and (36) it follows
so that
Hence, for the solution of auxiliary difference scheme (31) we have formulas (34) and (36), with \(v_{-N}\) being found by formula (37) when \(-1+2\tau \le \lambda < \tau \), formula (38) when \(\tau \le \lambda <2\tau \) and formula (39) when \(2\tau \le \lambda \le 1\). Then, by using (10), we obtain the solution of difference scheme (23).
Now, let us prove the estimate (30). By using (37) and the estimates (25) and (26), we obtain
By using (38) and the estimates (25) and (27), we obtain
By using (39) and the estimates (24), (25) and (29), we obtain
Then, using (34) and the estimates (25), (40), (41) and (42), we obtain
for \(k=-N+1,\ldots ,0\). Using (36) and the estimates (24), (25), (40), (41) and (42), we obtain
for \(k=1,\ldots ,N\). Since \(A^{-1}p=\varphi - v_{-N}\), by using (40), (41) and (42), we obtain
So, using (10), (43), (44) and (45), we prove the estimates
for \(k=-N,\ldots ,N\). Estimate (30) follows from (45) and (46). \(\square \)
4 Conclusion
In the present paper, we conducted the analysis for the first and second order of accuracy difference schemes (2) and (23) for the approximate solution of problem (1). We have shown the unique solvability of these difference schemes and obtained the stability estimates for their solutions. It has been achieved by reducing the difference schemes to corresponding auxiliary difference schemes, having no parameter involved, and using the operator method in the proofs.
Stable difference schemes (2) and (23) are constructed for the abstract problem (1) and therefore the results are readily applicable for a broad range of problems that can be reduced to form (1).
We note that the second order of accuracy scheme (23) involves \(A^{2}\) and that can undesirable in applications when one needs to proceed with the spatial discretization of a multi-dimensional problem. It is of practical importance to construct the second order of accuracy stable difference scheme that involves A but no higher powers of A. Finally, the future work also concerns construction and analysis of stable difference schemes for the boundary value problem for hyperbolic–parabolic equations with unknown parameter dependent on t.
References
Ashyralyev, A.: On the problem of determining the parameter of a parabolic equation. Ukrain. Math. J. 62, 1397–1408 (2011)
Ashyralyev, A., Ashyralyyev, C.: On the problem of determining the parameter of an elliptic equation in a Banach space. Nonlinear Anal. Model. Control 19, 350–366 (2014)
Ashyralyev, A., Ashyralyyeva, M.A.: On source identification problem for a hyperbolic-parabolic equation. Contemp. Anal. Appl. Math. 3, 88–103 (2015)
Ashyralyev, A., Erdogan, A.S., Demirdag, O.: On the determination of the right-hand side in a parabolic equation. Appl. Numer. Math. 62, 1672–1683 (2012)
Ashyralyev, A., Ozdemir, Y.: Stability of difference schemes for hyperbolic-parabolic equations. Comput. Math. Appl. 50, 1443–1476 (2005)
Ashyralyev, A., Ozdemir, Y.: On nonlocal boundary value problems for hyperbolic-parabolic equations. Taiwan. J. Math. 11, 1075–1089 (2007)
Ashyralyev, A., Ozdemir, Y.: On numerical solutions for hyperbolic-parabolic equations with the multipoint nonlocal boundary condition. J. Franklin Inst. 351, 602–630 (2014)
Ashyralyev, A., Sazaklioglu, A.U.: Investigation of a time-dependent source identification inverse problem with integral overdetermination. Numer. Funct. Anal. Optim. 38, 1276–1294 (2017)
Ashyralyev, A., Sobolevskii, P.E.: New Difference Schemes for Partial Differential Equations, Operator Theory: Advances and Applications. Birkhauser, Boston (2004)
Ashyralyev, A., Yurtsever, A.: On a nonlocal boundary value problem for semilinear hyperbolic-parabolic equations. Nonlinear Anal. 47, 3585–3592 (2001)
Ashyralyyev, C., Akkan, Y.: Numerical solution to inverse elliptic problem with Neumann type overdetermination and mixed boundary conditions. Electron. J. Differ. Equ. 2015, 1–15 (2015)
Ashyralyyev, C., Demirdag, O.: The difference problem of obtaining the parameter of a parabolic equation. Abstr. Appl. Anal. 2012, 603018 (2012)
Ashyralyyeva, M.A., Ashyraliyev, M.: On a second order of accuracy stable difference scheme for the solution of a source identification problem for hyperbolic-parabolic equations. AIP Conf. Proc. 1759, 020023 (2016)
Ashyralyyeva, M.A., Ashyraliyev, M.: Numerical solutions of source identification problem for hyperbolic-parabolic equations. AIP Conf. Proc. 1997, 020048 (2018)
Ashyralyyeva, M.A., Ashyraliyev, M.: On the numerical solution of identification hyperbolic-parabolic problems with the Neumann boundary condition. Bull. Karaganda Univ. Math. 3, 69–74 (2018)
Ashyralyyeva, M.A., Ashyralyyev, A.: Stable difference scheme for the solution of the source identification problem for hyperbolic-parabolic equations. AIP Conf. Proc. 1676, 020024 (2015)
Belov, Y.Y.: Inverse Problems for Partial Differential Equations. VSP, Utrecht (2002)
Berdyshev, A.S.: The Volterra property of some problems with the Bitsadze–Samarskii type conditions for a mixed parabolic-hyperbolic equation. Sib. Math. J. 46, 386–395 (2005)
Dehghan, M.: Determination of a control parameter in the two-dimensional diffusion equation. Appl. Numer. Math. 37, 489–502 (2001)
Eidelman, Y.S.: Boundary value problems for differential equations with parameters. Ph.D. thesis, Voronezh State University (1984)
Erdogan, A.S., Ashyralyev, A.: On the second order implicit difference schemes for a right hand side identification problem. Appl. Math. Comput. 226, 212–228 (2014)
Gryazin, Y.A., Klibanov, M.V., Lucas, T.R.: Imaging the diffusion coefficient in a parabolic inverse problem in optical tomography. Inverse Probl. 15, 373–397 (1999)
Kabanikhin, S.I., Krivorotko, O.I.: Identification of biological models described by systems of nonlinear differential equations. J. Inverse Ill-Posed Probl. 23, 519–527 (2015)
Kalmenov, T.S., Sadybekov, M.A.: On a Frankl type problem for a mixed parabolic-hyperbolic equation. Sib. Math. J. 58, 227–231 (2017)
Kimura, T., Suzuki, T.: A parabolic inverse problem arising in a mathematical model for chromatography. SIAM J. Appl. Math. 53, 1747–1761 (1993)
Orazov, I., Sadybekov, M.A.: On a class of problems of determining the temperature and density of heat sources given initial and final temperature. Sib. Math. J. 53, 146–151 (2012)
Orlovskii, D.G., Piskarev, S.I.: Approximation of the Bitsadze–Samarskii inverse problem for an elliptic equation with the Dirichlet conditions. Differ. Equ. 49, 895–907 (2013)
Orlovsky, D.G., Piskarev, S.I.: On approximation of coefficient inverse problems for differential equations in functional spaces. J. Math. Sci. 230, 823–906 (2018)
Prilepko, A.I., Orlovsky, D.G., Vasin, I.A.: Methods for Solving Inverse Problems in Mathematical Physics. Marcel Dekker, New York (2000)
Sadybekov, M.A., Dildabek, G., Ivanova, M.B.: Spectral properties of a Frankl type problem for parabolic-hyperbolic equations. Electron. J. Differ. Equ. 2018, 1–11 (2018)
Sazaklioglu, A.U., Ashyralyev, A., Erdogan, A.S.: Existence and uniqueness results for an inverse problem for semilinear parabolic equations. Filomat 31, 1057–1064 (2017)
Funding
Open access funding provided by Mälardalen University.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Maksat Ashyraliyev and Maral Ashyralyyeva, contributed equally to this article.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ashyraliyev, M., Ashyralyyeva, M. Stable difference schemes for hyperbolic–parabolic equations with unknown parameter. Bol. Soc. Mat. Mex. 30, 14 (2024). https://doi.org/10.1007/s40590-023-00585-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40590-023-00585-1