Abstract
We consider an inverse problem of determining an unknown source term in the radially symmetric parabolic equation from a noisy final data and prove the uniqueness of solution for the problem. Using the Hölder inequality, we obtain a conditional stability for the space-dependent source term. A modified quasi-reversibility method is applied to deal with the ill-posedness of the problem. A Hölder-type error estimate between the approximate solution and the exact solution is provided by introducing some technical inequalities and choosing a suitable regularization parameter.
Similar content being viewed by others
1 Introduction
Inverse source problems occur in many branches of engineering sciences, for example, heat conduction, reaction diffusion, pollutant detection, crack identification, geophysical prospecting and electromagnetic theory. These problems are typically ill-posed in the sense of Hadamard [1]. In other words, the solution (if it exists) does not depend continuously on measured data. So, the numerical simulation is very difficult and some special regularization methods and stability estimates are required.
The inverse source problems have been investigated in many papers; for example, the existence and uniqueness of the solution were investigated in [2, 3], the conditional stability and the data compatibility were studied in [4–10], and the numerical algorithms for the identification problem can be found in [11–17]. In [18], Yang and Fu solved an inverse problem for determining a heat source in a parabolic equation by a mollification regularization method, and they gave two kinds of explicit error estimates by using an a priori and an a posteriori regularization parameter choice rule, respectively. In [19], Wei and Wang used a modified quasi-boundary value method to deal with an inverse source problem of the time-fractional diffusion equation and provided two kinds of convergence rates. Cheng et al. in [20] solved the identification of an unknown source term in radial heat conduction by a spectral method and gave a logarithmic-type error estimate. Yang et al. in [21] applied a quasi-boundary value regularization method for identifying an unknown source in the Poisson equation. However, to our knowledge, the research into the inverse source identification problem is mainly devoted to numerical methods. The stability theory with explicit error estimate for the problem is still limited.
In this paper, we apply a modified quasi-reversibility method to deal with an inverse source identification problem of a radially symmetric parabolic equation and obtain a Hölder-type error estimate between the approximate solution and the exact solution. The physical model we considered is a sphere of radius \(r_{0}\) with initial state, and it is considered radially symmetric and with the surface state distribution function remaining zero. The correspondingly mathematical model is the following radially symmetric parabolic equation:
with the boundary conditions
and the initial condition and final observation at \(t=T\),
where r denotes the radial coordinate, u represents state function, and f is physical laws, which means source term here. The inverse source identification problem (1.1)-(1.3) is to determine the unknown source term \(f(r)\) from the noisy final data \(g(r)\).
The quasi-reversibility method was first proposed by Lattès and Lions in [22]. This method consists in replacing the former second-order ill-posed problem into a family of well-posed fourth-order problems that depend on a regularization parameter α. The solution of quasi-reversibility is close to the exact solution when α is small. This method has been used to solve various types of inverse problems such as inverse heat conduction problem [23, 24], backward heat conduction problem [25], the Cauchy problem of Laplace equation [26, 27] and Cauchy problem for the modified Helmholtz equation [28].
In this study, we propose a modified version of quasi-reversibility method to solve the inverse source problem (1.1)-(1.3), i.e., adding a perturbation term in the parabolic equation (1.1) to form an approximate problem:
where α plays a role of regularization parameter, data \(g^{\delta}\) represents the measured data of function g. For this modification, we can obtain a Hölder-type error estimate with an a priori choice of regularization parameter.
The paper is organized as follows. In Section 2, the ill-posedness of problem (1.1)-(1.3) is described. In Section 3, we prove the uniqueness of solution and obtain a conditional stability for the inverse source problem (1.1)-(1.3) by using the Hölder inequality. Introducing some technical inequalities and choosing a suitable regularization parameter, in Section 4 we present a Hölder-type error estimate between the approximate solution and the exact solution for the modified quasi-reversibility method.
2 Ill-posedness of problem (1.1)-(1.3)
In this section, we derive an analytical solution for the inverse source problem by the eigenfunction expansion and analyze the ill-posedness of inverse source problem (1.1)-(1.3). Throughout this paper, we denote by \(L^{2}[0,r_{0}; r^{2}]\) the Hilbert space of Lebesgue measurable functions h with weight \(r^{2}\) on \([0,r_{0}]\), and \((\cdot,\cdot)\) and \(\|\cdot\|\) denote the inner product and the norm on \(L^{2}[0,r_{0}; r^{2}]\), respectively, with the norm
If the solution of problem (1.1)-(1.3) exists, then it must be unique, which will be given in Section 3.
Applying separation of variables, we can obtain the eigenvalues and corresponding eigenfunctions of problem (1.1)-(1.3):
where \(j_{0}(x)=\frac{\sin x}{x}\) denotes a spherical Bessel function of the first kind [29]. Then, using the eigenfunction method, we suppose that the solution \(u(r, t)\) and nonhomogeneous term \(f(r)\) of problem (1.1)-(1.3) can be represented as follows:
Applying the properties of \(j_{0}(x)\), the eigenfunctions system \(j_{0} (\frac{n\pi r}{r_{0}} )\) is complete and orthogonal with weight \(r^{2}\) on \([0,r_{0}]\). Substituting (2.1) and (2.2) into equation (1.1) and the initial condition in (1.2), we have that \(u_{n}(t)\) satisfies
Solving this initial problem yields
Combining (2.1) with (2.4), we have
From (1.2) at \(t=T\),
Thus, there holds
since
then formula (2.5) becomes
Define
this eigenfunctions system is orthonormal with weight \(r^{2}\) on \([0,r_{0}]\) and a complete system in \(L^{2}[0,r_{0}; r^{2}]\). Combining (2.6) with (2.8), formula (2.7) can be rewritten as
In practical applications, the input data g can only be measured, so we actually have the measured data function \(g^{\delta}(\cdot)\) which belongs to \(L^{2}[0,r_{0};r^{2} ]\) and satisfies
where \(\delta>0\) denotes the noise level.
We introduce an operator \(K:f(\cdot)\rightarrow g(\cdot)\), then we have
It is easy to see that K is linear self-adjoint compact operator with eigenvalues
and eigenelements \(\varphi_{n}\). From formula (2.11), we have
then
Since the eigenvalues \(k_{n}\) of the operator K decay, we realize that problem (1.1)-(1.3) is an ill-posed problem.
It is well known that for any ill-posed problems an a priori bound assumption for the exact solution is needed and necessary. Otherwise, the convergence of the regularized approximation solution will not be obtained or the convergence rate can be arbitrarily slow [30]. Assume also that there exists an a priori condition for problem (1.1)-(1.3):
where \(\|f\|_{p}\) is defined by
3 Uniqueness and conditional stability for problem (1.1)-(1.3)
In this section, we provide the uniqueness and conditional stability in Theorems 3.1 and 3.2, respectively.
Let g be a known function in \(L^{2}[0,r_{0};r^{2}]\). We consider the problem of finding a pair of functions \((u(r,t),f(r))\).
Theorem 3.1
If \(u_{i}\in C^{2,1}((0,r_{0})\times(0,T])\), \(f_{i}\in L^{2}[0,r_{0};r^{2}]\) (\(i=1,2\)). Let \((u_{i},f_{i})\) (\(i=1,2\)) satisfy problem (1.1)-(1.3), then \((u_{1},f_{1})= (u_{2},f_{2})\).
Proof
Put \(\tilde{u}=u_{1}-u_{2}\), \(\tilde{f}=f_{1}-f_{2}\), it is easy to know that \(\tilde{u}\) satisfies
We now introduce a function
where
According to formulas (3.1)-(3.3), we can obtain that the function \(\nu(r, t)\) satisfies
Thus,
i.e.,
So there holds \(\nu(r_{0}, t)=C(t)\). Combining this with (3.5) yields
and
Differentiating (3.9) with respect to r, we obtain \(\tilde{f}\equiv0\). Substituting (3.7) and (3.8) into (3.2) yields \(\tilde{u}\equiv0\). The uniqueness of inverse source problem (1.1)-(1.3) is proved. □
We give a conditional stability for the inverse source problem (1.1)-(1.3) in the following theorem.
Theorem 3.2
Let \(f(r)\) be the solution of the inverse source problem (1.1)-(1.3), and condition (2.14) be satisfied, then the following estimate holds:
Proof
From (2.13) and the Hölder inequality, the following holds:
The proof is completed. □
4 Modified quasi-reversibility method and error estimate
In this section, we propose a modified quasi-reversibility method to solve problem (1.1)-(1.3) and give a Hölder-type error estimate with some technical inequalities and an a priori regularization parameter choice rule.
Let \((u^{\delta}_{\alpha}(r,t), f^{\delta}_{\alpha}(r))\) be the solution of the following regularized problem:
where \(\alpha>0\) is a regularization parameter.
Similar to the derivation process of formula (2.13), we can obtain the solution of problem (4.1) as follows:
We call \(f^{\delta}_{\alpha}(r)\) above the quasi-reversibility approximations of the solution \(f(r)\) of problem (1.1)-(1.3).
Before giving an error estimate, we present firstly the following lemma which is crucial for error estimate.
Lemma 4.1
Let \(x\geq1\), then we have the inequality
Lemma 4.2
If constants \(\alpha>0\), \(p>0\), then we obtain the inequality
Proof
Let
The proof of (4.4) is divided into two cases.
Case I. For large values of n, i.e., for \(n\geq n_{0}:=\alpha^{-\frac{1}{2}}\), we have
Case II. For \(n< n_{0}\), there holds
If \(0< p<2\), inequality (4.7) becomes
If \(p\geq2\), we obtain
According to (4.5)-(4.9), the proof of (4.4) is completed. □
Theorem 4.3
Let \(f(r)\) given by (2.13) be the exact source history for \(r\in[0,r_{0}]\) and \(f^{\delta}_{\alpha}(r)\) given by (4.2) be the regularized approximation source to \(f(r)\). Suppose that the a priori condition (2.14) and the noise assumption (2.10) hold, then:
-
(1)
If \(0< p<2\) and select the regularization parameter \(\alpha= (\frac{\delta}{E} )^{\frac{2}{p+2}}\), there holds the stability estimate
$$ \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert \le \biggl(1+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} \biggr) E^{\frac{2}{p+2}} \delta^{\frac{p}{p+2}}. $$(4.10) -
(2)
If \(p\geq2\) and choose the regularization parameter \(\alpha= (\frac{\delta}{E} )^{\frac{1}{2}}\), there holds the stability estimate
$$ \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert \le \biggl(1+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} \biggr) E^{\frac{1}{2}} \delta^{\frac{1}{2}}. $$(4.11)
Proof
Due to (2.13) and (4.2), there holds
Combining with conditions (2.10), (2.14) and inequalities (4.3), (4.4), we obtain
Choose the regularization parameter α by
Thus, we have
The proof is completed. □
Remark 4.4
In general, the a priori bound E is unknown in practice. In this case, for Theorem 4.3, with
the following stability estimates hold:
where E is only a bounded positive constant and it is not necessary to know it exactly.
References
Adams, RA: Sobolev Spaces. Pure and Applied Mathematics. Academic Press, New York (1975)
Savateev, EG: On problems of determining the source function in a parabolic equation. J. Inverse Ill-Posed Probl. 3(1), 83-102 (1995)
Solov’ev, VV: Solvability of the inverse problem of finding a source, using overdetermination on the upper base for a parabolic equation. Differ. Equ. 25, 1114-1119 (1990)
Cannon, JR, Pérez, ES: An inverse problem for the heat equation. Inverse Probl. 2(4), 395-403 (1986)
Cannon, JR, Duchateau, P: Structural identification of an unknown source term in a heat equation. Inverse Probl. 14, 535-551 (1998)
Yamamoto, M: Conditional stability in determination of force terms of heat equations in a rectangle. Math. Comput. Model. 18(1), 79-88 (1993)
Li, GS, Yamamoto, M: Stability analysis for determining a source term in a 1-D advection-dispersion equation. J. Inverse Ill-Posed Probl. 14(2), 147-155 (2006)
Choulli, M, Yamamoto, M: Conditional stability in determining a heat source. J. Inverse Ill-Posed Probl. 12(3), 233-243 (2004)
El Badia, A, Ha-Duong, T: On an inverse source problem for the heat equation. Application to a pollution detection problem. J. Inverse Ill-Posed Probl. 10(6), 585-600 (2002)
Li, GS: Data compatibility and conditional stability for an inverse source problem in the heat equation. Appl. Math. Comput. 173(1), 566-581 (2006)
Burykin, AA, Denisov, AM: Determination of the unknown sources in the heat-conduction equation. Comput. Math. Model. 8(4), 309-313 (1997)
Johansson, T, Lesnic, D: Determination of a spacewise dependent heat source. J. Comput. Appl. Math. 209(1), 66-80 (2007)
Yan, L, Yang, FL, Fu, CL: A meshless method for solving an inverse spacewise-dependent heat source problem. J. Comput. Phys. 228(1), 123-136 (2009)
Yan, L, Fu, CL, Dou, FF: A computational method for identifying a spacewise-dependent heat source. Int. J. Numer. Methods Biomed. Eng. 26, 597-608 (2010)
Shidfar, A, Babaei, A, Molabahrami, A: Solving the inverse problem of identifying an unknown source term in a parabolic equation. Comput. Math. Appl. 60, 1209-1213 (2010)
Ma, YJ, Fu, CL, Zhang, YX: Identification of an unknown source depending on both time and space variables by a variational method. Appl. Math. Model. 26(10), 1209-1213 (2012)
Wang, ZW, Liu, JJ: Identification of the pollution source from one-dimensional parabolic equation. Appl. Math. Comput. 219(8), 3400-3413 (2012)
Yang, F, Fu, CL: A mollification regularization for the spatial-dependent heat source problem. J. Comput. Appl. Math. 255(1), 555-567 (2014)
Wei, T, Wang, JG: A modified quasi-boundary value method for an inverse source problem of the time-fractional diffusion equation. Appl. Numer. Math. 78, 95-111 (2014)
Cheng, W, Ma, YJ, Fu, CL: Identifying an unknown source term in radial heat conduction. Inverse Probl. Sci. Eng. 20(3), 335-349 (2012)
Yang, F, Zhang, M, Li, XX: A quasi-boundary value regularization method for identifying an unknown source in the Poisson equation. J. Inequal. Appl. 2014, 117 (2014)
Lattès, R, Lions, JL: The Method of Quasi-Reversibility: Applications to Partial Differential Equations. Elsevier, New York (1969)
Eldén, L: Approximations for a Cauchy problem for the heat equation. Inverse Probl. 3(2), 263-273 (1987)
Qian, Z, Fu, CL, Xiong, XT: A modified method for a nonstandard inverse heart conduction problem. Appl. Math. Comput. 180(2), 453-468 (2006)
Dang, DT, Nguyen, NI: Regularization and error estimates for nonhomogeneous backward heat problems. Electron. J. Differ. Equ. 2006, 4 (2006)
Klibanov, MV, Santosa, F: A computational quasi-reversibility method for Cauchy problems for Laplace’s equation. SIAM J. Appl. Math. 51(6), 1653-1675 (1991)
Qian, Z, Fu, CL, Xiong, XT: Fourth-order modified method for the Cauchy problem for the Laplace equation. J. Comput. Appl. Math. 192(2), 205-218 (2006)
Qin, HH, Wei, T: Quasi-reversibility and truncation methods to solve a Cauchy problem for the modified Helmholtz equation. Math. Comput. Simul. 80, 352-366 (2009)
Abramowitz, M, Stegun, IA: Handbook of Mathematical Functions. Dover, New York (1972)
Engl, HW, Hanke, M, Neubauer, A: Regularization of Inverse Problems. Mathematics and Its Applications, vol. 375. Kluwer Academic, Dordrecht (1996)
Acknowledgements
The author would like to express her cordial thanks to the referees for their valuable comments and suggestions. This work was supported by the National Natural Science Foundation of China (No. 11171136), the NSF of Henan Province of China (Nos. 132300410231; 132300410013) and the Plan of Nature Science Fundamental Research in Henan University of Technology (No. 11JCYJ16).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that she has no competing interests.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Cheng, W. Regularization and stability estimates for an inverse source problem of the radially symmetric parabolic equation. J Inequal Appl 2015, 136 (2015). https://doi.org/10.1186/s13660-015-0661-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13660-015-0661-0