- Research
- Open access
- Published:
A posteriori truncated regularization method for identifying unknown heat source on a spherical symmetric domain
Advances in Difference Equations volume 2017, Article number: 263 (2017)
Abstract
In this paper, we mainly consider the inverse problem for identifying the unknown heat source in spherical symmetric domain. We propose a truncation regularization method combined with an a posteriori regularization parameter choice rule to deal with this problem. The Hölder type convergence estimate is obtained. Numerical results are presented to illustrate the accuracy and efficiency of this method.
1 Introduction
Identifying the unknown heat source in a parabolic partial differential equation from the over-specified data plays an important role in applied mathematics, physics and engineering. These problems are widely encountered in the modeling of physical phenomena. A typical example is groundwater pollutant source estimation in cities with large population [1]. Now many scholars have used different methods to identify various types of heat sources. In [2, 3], the authors used the method of fundamental solutions and radial basis functions to identify the unknown heat source. In [4, 5], the authors used the Fourier truncation method and the wavelet dual least squares method to identify the spatial variable heat source. In [6], the authors used the simplified Tikhonov method to identify the spatial variable heat source. In [7, 8], the authors determined the heat source which depends on one variable in a bounded domain using the boundary-element method and an iterative algorithm. In [9], the authors identified the heat source which depends only on time variable using the Lie-group shooting method (LGSM). In [10], the authors used the truncation method based on Hermite expansion to identify the unknown source in a space fractional diffusion equation. In [11], the authors identified the point source with some point measurement data. In [12], the authors proved the existence and uniqueness for identifying the heat source which depends only on time variable. In [13], the authors used the variational method to identify the heat source which has the form \(F(x,t)\). In [14], the authors used the variational method to identify the heat source which has the form of \(F(x,t)=F(x)H(t)\) for the variable coefficient heat conduction equation. As far as we know, most of the researches on heat source identification problem mainly concentrated on one-dimensional case. But for a high dimensional case, there are few research results. In [15], the authors used the spectral method to identify the heat source in a columnar symmetric domain. In [16], the authors used the spectral method to identify the heat source in a spherically symmetric parabolic equation. But the regularization parameters is selected by the a priori rule. There is a defect for any a priori method, i.e., the a priori choice of the regularization parameter depends seriously on the a priori bound E of the unknown solution. However, the a priori bound E cannot be known exactly in practice, and working with a wrong constant E may lead to a badly regularized solution. In this paper, we not only give the a posteriori choice of the regularization parameter which depends only on the measurable data, but also we give some different examples to compare the effectiveness between the posterior choice rule and the priori choice rule. Moreover, we find the truncation regularization method is better than the other regularization methods, such as Tikhonov regularization and the quasi-boundary value regularization method for solving this problem. To the best of the authors’ knowledge, there are few papers to choose the regularization parameter under the a posteriori rule for this problem.
In this paper, we consider the following heat source identification problem in spherical symmetric domain:
where \(r_{0}\) is the radius, \(f(r)\) is the unknown heat source. Our purpose is to identify \(f(r)\) from the additional data \(u(r,T)=\varphi(r)\). Since the data \(\varphi(r)\) is based on (physical) observation, there must be measurement errors, and we assume the measured data function \(\varphi^{\delta}(r)\in L^{2}[0,r_{0};r^{2}]\), and it satisfies
where \(\delta>0\) is the measurable error level.
Using the separation variable method, we get the solution of problem (1) as follows:
where \(\psi_{n}(r)\) defined as follows are the characteristic functions:
\(j_{0}(x)\) is the zero Bessel function. \(\psi_{n}(r)\in L^{2}[0,r_{0};r^{2}]\) is an orthonormal system in the \(Hilbert\) space \(L^{2}[0,r_{0};r^{2}]\). \(f_{n}\) is the Fourier coefficient of \(f(r)\), which is defined by
Using \(u(r,T)=\varphi(r)\), we obtain
Due to the mean value theorem of integrals, we obtain
Define the operator \(K: f(\cdot)\rightarrow\varphi(\cdot)\), then we have
It is easy to see that K is a linear compact operator, and the singular values \(\{\sigma_{n}\}^{\infty}_{n=1}\) of K satisfy
and
i.e.,
So
From equation (12), we can see \(\sigma^{-1}_{n}\rightarrow\infty \) \((n\rightarrow\infty)\). Thus, the exact data function \(\varphi(r)\) must decrease rapidly. But the measured data function \(\varphi^{\delta}(r)\) only belongs to \(L^{2}[0,r_{0};r^{2}]\), we cannot expect it has the same decay rate in \(L^{2}[0,r_{0};r^{2}]\). Thus the problem (1) is ill-posed. It is impossible to solve this problem using a classical method. We will use the truncated regularization method to deal with the ill-posed problem. Before doing that, we impose an a priori bound on the unknown heat source, i.e.,
where \(E>0\) is a constant and \(\Vert \cdot \Vert _{H^{p}(0,\pi)}\) denotes the norm in Sobolev space which is defined as follows:
This paper is organized as follows. In Section 2, under the a posteriori parameter choice rule, we give the convergence error estimate. In Section 3, three numerical examples are used to verify the effectiveness for the proposed method. In Section 4, the conclusion of this paper is given.
2 Main result
From (12), we define
as the regularized solution of (1), where \(P_{N}:L^{2}[0,r_{0};r^{2}]\rightarrow \operatorname{span}\{\psi_{n}|n\leq N\}\) is the rectangular projection,
is the Fourier coefficient of \(\varphi^{\delta}(r)\). Due to the discrepancy principle, we consider an a posteriori regularization parameter choice rule as follows:
where \(\tau>1\) is a constant, I is an identity operator in \(L^{2}[0,r_{0};r^{2}]\).
Let
According to the following lemma, we know there exists an unique solution for (18).
Lemma 1
For \(\delta>0\), the function \(\rho_{N}\) satisfies:
-
(a)
\(\rho_{N}\) is a continuous function;
-
(b)
\(\lim_{N\rightarrow0^{+}}\rho_{N}=\Vert \varphi^{\delta } \Vert \);
-
(c)
\(\lim_{N\rightarrow+\infty}\rho_{N}=0\);
-
(d)
\(\rho_{N}\) is a strictly decreasing function over \((0,\infty)\).
Lemma 2
As \(n\geq1\), we obtain
where \(c_{1}, c_{2}\) are constants.
Lemma 3
Assume conditions (2) and (13) hold. N is taken as the solution of (17). Then we have
where \(c_{3}:=\pi^{\frac{-2}{p+2}}c_{2}^{\frac{2}{p+2}}\).
Proof
Using (17), we have
On the other hand,
So
Thus
This completes the proof of Lemma 3. □
Lemma 4
If the regularized solution is given by (15), we have
where \(c_{4}:=c^{-1}_{1}c^{\frac{2}{p+2}}_{2}\pi^{\frac{2}{p+2}}\).
Proof
Due to (20), we obtain
So
This completes the proof of Lemma 4. □
Lemma 5
Suppose conditions (2) and (13) hold. \(f(r)\) given by (12) is the exact solution of (1), then we obtain
where \(c_{5}:=c^{\frac{-p}{p+2}}_{1}\pi^{\frac{p}{p+2}}\).
Proof
So
This completes the proof of Lemma 5. □
Now we give the convergent error estimate between the exact solution and the regularized solution.
Theorem 6
\(f(r)\) given by (12) is the exact solution of (1), \(f^{\delta}_{N}\) given by (15) is the regularized solution of (1). The regularization parameter is given by (17). So we have
Proof
Using the triangle inequality, (21) and (22), we have
This completes the proof of Theorem 6. □
3 Numerical experiments
In this section, three numerical examples are used to illustrate the usefulness of proposed method. Moreover, the comparisons of numerical effectiveness between the a posteriori parameter choice (17) and the a priori parameter choice rule which is obtained by \(N=[(\frac{E}{\delta })^{\frac{2}{p+2}}]\) in [16] are also considered. The measurable data is given as follows:
where
The total noise level δ can be measured in the sense of the root mean square error (RMSE) as follows:
To show the accuracy of numerical solution, the approximate \(L^{2}\) error is computed as follows:
and the approximate relative error in \(L^{2}\) norm is denoted by
It is difficult to find an exact solution for problem (1) in our numerical experiment. We first give the heat source \(f(r)\) and solve the following direct problem:
Then we use \(u(r,T)=\varphi(r)\) and (18) to obtain the exact data \(\varphi(r)\) and the noise data \(\varphi^{\delta}(r)\), respectively. Finally, we solve the inverse problem to obtain the regularization solution \(f^{\delta}_{N(\delta)}(r)\). In the following three numerical examples, we take \(T=1\) and \(r_{0}=\pi\).
Example 1
Consider a smooth heat source: \(f(r)=r\sin r\).
Example 2
Consider a piecewise smooth heat source:
Example 3
Consider the following discontinuous function:
Firstly, we use Examples 1 and Examples 2 to compare the numerical effects among the truncate regularization method, the Tikhonov regularization method and quasi-boundary value regularization method under the a posteriori choice rule. The numerical results is shown in Tables 1 and 2. The Tikhonov regularization solution of problem (1) is given as follows:
where \(0<\alpha<1\) is the regularization parameter.
Through modifying the final value condition \(u(r,T)=\varphi(r)\), we solve the following problem:
where μ is the regularization parameter. Then we obtain the quasi-boundary value solution of problem (1) as follows:
Tables 1 and 2 gives the comparisons of the numerical results of the truncate regularization method, the Tikhonov regularization method and the quasi-boundary regularization method under the a posteriori choice rule for different ε. From Tables 1 and 2, we can see that the effectiveness of the truncate regularization method in the present paper is better than the other regularization methods.
Figure 1 shows the comparisons between the exact solution and its computed approximation with different noise levels for Examples 1. Figure 2 shows the comparisons between the exact solution and its computed approximation with different noise levels for Examples 2. Figure 3 indicates the comparisons between the exact solution and its computed approximation with different noise levels for Examples 3. From Figures 1-3, we can find that the smaller ε, the better the computed approximation is. Moreover, we can also see that the a posteriori parameter choice also works well.
4 Conclusion
Using the Morozov discrepancy principle, we obtain an a posteriori parameter choice rule which only depends on the measured data. Under the a posteriori choices of the regularization parameter, the Hölder type error estimate which is order optimal is obtained. Meanwhile, several numerical examples verify the efficiency and accuracy of this method.
References
Li, G, Tan, Y, Cheng, J, Wang, X: Determining magnitude of groundwater pollution sources by data compatibility analysis. Inverse Probl. Sci. Eng. 14, 287-300 (2006)
Micrzwiczak, M, Kolodziej, JA: Application of the method of fundamental solutions and radical basis functions for inverse tranyient heat source problem. Commun. Comput. Phys. 181, 2035-2043 (2010)
Ahmadabadi, MN, Arab, M, Ghaini, FMM: The method of fundamental solutions for the inverse space-dependent heat source problem. Eng. Anal. Bound. Elem. 33, 1231-1235 (2009)
Dou, FF, Fu, CL, Yang, FL: Optimal error bound and Fourier regularization for identifying an unknown source in the heat equation. J. Comput. Appl. Math. 230, 728-737 (2009)
Dou, FF, Fu, CL: Determining an unknown source in the heat equation by a wavelet dual least squares method. Appl. Math. Lett. 22, 661-667 (2009)
Yang, F, Fu, CL: A simplified Tikhonov regularization method for determining the heat source. Appl. Math. Model. 34, 3286-3299 (2010)
Farcas, A, Lesnic, D: The boundary-element method for the determination of a heat source dependent on one variable. J. Eng. Math. 54, 375-388 (2006)
Johansson, T, Lesnic, D: Determination of a spacewise dependent heat source. J. Comput. Appl. Math. 209, 66-80 (2007)
Liu, CH: A two-stage LGSM to identify time-dependent heat source through an internal measurement of temperature. Int. J. Heat Mass Transf. 52, 1635-1642 (2009)
Zhao, ZY, Xie, O, You, L, Meng, ZH: A truncation method based on Hermite expansion for unknown source in space fractional diffusion equation. Math. Model. Anal. 19, 430-442 (2014)
Badia, ELA, Ha-Duong, T, Hamdi, A: Identification of a point source in a linear advection-dispersion-reaction equation: application to a pollution source problem. Inverse Probl. 21, 1121-1136 (2005)
Ismailov, MI, Kanca, F, Lesnic, D: Determination of a time-dependent heat source under nonlocal boundary and integral overdetermination conductions. Appl. Math. Comput. 218, 4138-4146 (2011)
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. 36, 5080-5090 (2012)
Hasanov, A: Identification of spacewise and time dependent source terms in 1D heat conduction equation from temperature measurement at a final time. Int. J. Heat Mass Transf. 55, 2069-2080 (2012)
Cheng, W, Ma, YJ, Fu, CL: Identifying an unknown source term in radial heat conduction. Inverse Probl. Sci. Eng. 20, 335-349 (2012)
Cheng, W, Zhao, LL, Fu, CL: Source term identification for an axisymmetric inverse heat conduction problem. Appl. Math. Lett. 26, 387-391 (2013)
Liu, JJ, Yamamoto, M: A backward problem for the time-fractional diffusion equation. Appl. Anal. 89, 1769-1788 (2010)
Wang, JG, Wei, T, Zhou, YB: Tikhonov regularization method for a backward problem for the time-fractional diffusion equation. Appl. Math. Model. 37, 8518-8532 (2013)
Acknowledgements
The authors would like to thanks the editor and the referees for their valuable comments and suggestions that improve the quality of our paper. The work is supported by the National Natural Science Foundation of China (11561045,11501272) and the Doctor Fund of Lan Zhou University of Technology.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally and significantly in writing this article. All authors read and approved the final manuscript.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yang, F., Zhang, M., Li, XX. et al. A posteriori truncated regularization method for identifying unknown heat source on a spherical symmetric domain. Adv Differ Equ 2017, 263 (2017). https://doi.org/10.1186/s13662-017-1276-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1276-1