- Research
- Open access
- Published:
The truncation regularization method for identifying the initial value of heat equation on a spherical symmetric domain
Boundary Value Problems volume 2018, Article number: 13 (2018)
Abstract
In this paper, identifying the initial value for high dimension heat equation with inhomogeneous source on a spherical symmetric domain is investigated. The truncation regularization method is a powerful technique for solving this inverse problem. We prove the convergence estimates between the regularization solution and the exact solution under the prior and the posterior regularization parameter choice rulers. A numerical example is presented to validate the effectiveness of this method.
1 Introduction
The initial value problem is one of the backward heat conduction problems (BHCPs). These problems have been studied over several decades due to their significance in many engineering problems and practical application problems, such as in welding of iron and steel, quenching of solids in liquids and testing of new thermal protective material.
In this paper, we consider an inhomogeneous heat equation on a symmetric domain as follows:
where \(r_{0}\) is the radius, \(\varphi(r)\) is the initial value. We use the additional condition \(u(r,T)=g(r)\) and \(f(r,t)\) to determine the initial value \(\varphi(r)\). The measured data of \(g(r)\) and \(f(r,t)\) are \(g^{\delta }(r)\) and \(f^{\delta}(r,t)\), which satisfy
The initial value problem is one of the backward heat conduction problems (BHCPs). A BHCP is severely ill-posed problem [1]. To overcome this difficulty, many scholars proposed some regularization techniques for the BHCP, such as the kernel-based method [2], the mollification method [3], the Fourier regularization method [4], optimal filtering method [5], the iterative method [6], the quasi-reversibility method [7–9], the central difference method [10], the filter regularization method [11], the method of fundamental solutions [12, 13], the boundary element method [14, 15], the group preserving scheme [16], modified Tikhonov regularization method [17], Quasi-boundary value method [18] and so on. But these references about BHCP, there are some drawbacks as follows: firstly, the regularization parameter is a prior choice rule, according to this choice rule, the parameter depends on the prior bound of the exact solution. But in practice we cannot obtain the exact solution, and the inaccurate prior bound may lead to the bad regularized solution. Secondly, they only considered the one dimensional BHCP; however, about high dimensional BHCP, there is little research results. In [19–21], the authors ever considered the high dimensional BHCP, but the regularization parameter is a prior choice. Thirdly, the equation is homogeneous and the measurement data is only one.
The truncation regularization method has been used to solve several inverse problems. In [22, 23], the authors used the truncation method to solve BHCP. In [24–26], the authors used the truncation method to solve a cauchy problem for the Helmholtz equation and the modified Helmholtz equation. In [27–30], the authors used the truncation method to identify the unknown source. In this paper, we mainly use the truncation regularization method to identify the initial value under two parameter choice rules. Moreover, we give an example to show the effectiveness of this method. We also compare the effectiveness between the posterior choice rule and the prior choice rule.
Using the separation of variables, we obtain the solution of the problem (1.1) as follows:
where
is the orthonormal eigenfunction system with weight \(r^{2}\) on \([0,r_{0}]\). It is also a complete system in \(L^{2}[0,r_{0};r^{2}]\). Now let \(\varphi_{n}=(\varphi(r), \omega_{n}(r)), f_{n}(\tau)=(f(r,t), \omega_{n}(r))\) and \(g_{n}=(g(r),\omega_{n}(r))\), \(h_{n}=\varphi_{n}+\int_{0}^{T}e^{(\frac{n\pi}{r_{0}})^{2}\tau }f_{n}(\tau)\,d\tau\). Using \(u(r,T)=g(r)\), we have
Define operator \(K: h(r)\rightarrow g(r)\), then
The operator K is a linear self-adjoint compact operator, and
is for the singular values of K. Using (1.4), (1.6) and equation (1.7) can be rewritten as
So
We give a prior bound on the initial value, i.e.,
where \(E>0\) is a constant and \(\Vert \cdot \Vert _{p}\) denotes the norm in Sobolev space which is defined as follows:
This article is organized as follows. Section 2 presents some preliminaries results. Section 3 presents the convergence estimates under two parameter choice rules. In Section 4, a numerical example is proposed to show the effectiveness of this method. In Section 5, a brief conclusion is given.
2 Some auxiliary results
Throughout this paper, \(L^{2}[0,r_{0};r^{2}]\) denotes the Hilbert space of Lebesgue measurable function φ with weight \(r^{2}\) on \([0,r_{0}]\). \((\cdot,\cdot)\) and \(\Vert \cdot,\cdot \Vert \) denote the inner and norm on \(L^{2}[0,r_{0};r^{2}]\), respectively, with the norm
Lemma 2.1
For any \(n\geq1\), we have
where \(C_{1}, C_{2}\) are constants.
Lemma 2.2
Suppose \(f\in L^{\infty }(0,T;L^{2}[0,r_{0};r^{2}])\), then there exists a positive M such that
where \(M:=\frac{T}{2}(\frac{r_{0}}{\pi})^{2}(1-e^{(\frac{\pi }{r_{0}})^{2}})\).
Proof
For \(t\in[0,T]\),
Thus
where \(M:=T\sup_{n\in\mathbb{N}}(\int_{0}^{T}e^{-2(\frac{n\pi }{r_{0}})^{2}(T-\tau)}\,d\tau)=\frac{T}{2}(\frac{r_{0}}{\pi })^{2}(1-e^{(\frac{\pi}{r_{0}})^{2}})\). □
3 Regularization method and convergence estimate
It is obvious that the instability arises in the components of large n in the solution. It is natural to imagine that we should replace \(e^{(\frac{n\pi}{r_{0}})^{2}T}\) by a bounded approximation or eliminate the noise in the input data. In this paper, we eliminate all the components of large n from the solution and define the truncation regularized solution as follows:
3.1 Error estimate under a prior parameter choice rule
Theorem 3.1
Let \(\varphi(r)\) given by (1.10) be the exact solution of problem (1.1). Let \(\varphi^{N,\delta}(r)\) given by (3.1) be the regularization solution. Choosing the regularization parameter \(N=[\gamma]\), where \(\gamma=(\frac {E}{\delta})^{\frac{1}{p+1}}\), then we obtain the following estimate:
where \([\gamma]\) denotes the largest integer less than or equal to γ.
Proof
By the triangle inequality, we have
We firstly give an estimate for the first term. From (1.2) and (2.2), we can get
Thus
Applying conditions (1.12) and (2.2), we obtain
Hence
Choosing the regularization parameter \(N=[(\frac{E}{\delta })^{\frac{1}{p+1}}]\), we obtain
Theorem 3.1 is proved. □
3.2 Error estimate under a posterior parameter choice rule
Choose \(\vert g^{\delta}(r)-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau )}f^{\delta}(r,\tau)\,d\tau \vert >\tau\delta\). Let \(\psi(r):=g^{\delta}(r)-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau )}f^{\delta}(r,\tau)\,d\tau\). Applying a discrepancy principle, we choose a posterior regularization parameter N that satisfies
where \(P_{N}:L^{2}[0,r_{0};r^{2}]\rightarrow \operatorname{span}\omega_{n}\vert _{n\leq N}\) is an orthogonal projective operator. I is an identity operator.
Lemma 3.1
Let \(d(N)= \Vert (I-P_{N})(g^{\delta }(r)-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f^{\delta}(r,\tau )\,d\tau) \Vert \), then we have the following conclusions:
-
(a)
\(d(N)\) is a continuous function;
-
(b)
\(\lim_{N\rightarrow\infty}\,d(N)=0\);
-
(c)
\(\lim_{N\rightarrow0}\,d(N)= \Vert g^{\delta}(r)-\int _{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2} (T-\tau)}f^{\delta}(r,\tau)\,d\tau \Vert \);
-
(d)
\(d(N)\) is a strictly decreasing function, for any \(N\in [1,\infty)\).
Lemma 3.2
If conditions (1.2) and (1.11) hold. Suppose \(\tau>\sqrt{2(M+1)}\). N is chosen by a posterior choice rule, thus we have
Proof
Due to (3.5), we obtain
Thus we obtain
On the other hand,
i.e.,
Combining (3.9) with (3.10), we obtain
So
 □
Theorem 3.2
Let \(\varphi(r)\) given by (1.10) be the exact solution of problem (1.1). Let \(\varphi^{N,\delta}(r)\) given by (3.1) be the regularization solution. The regularization parameter N is chosen in (3.7). Then we obtain
where \(C_{3}:=(\frac{\pi(\tau+\sqrt{2(M+1)})}{C_{1}})^{\frac{p}{p+1}}\), \(C_{4}:=\frac{\sqrt{2(M+1)}}{C_{1}}(\frac{C_{2}}{ (\tau-\sqrt{2(M+1)})})^{\frac{1}{p+1}} \pi^{\frac{p}{p+1}}\).
Proof
According to (3.3), we have
We first estimate the second term of (3.13). Using (1.12) and Lemma 2.1, we have
Thus we obtain
Then we estimate the first term of (3.13). Using (3.1), we obtain
Using (3.8), we have
Combining (3.14) with (3.15), we obtain
where \(C_{3}:=(\frac{\pi(\tau+\sqrt{2(M+1)})}{C_{1}})^{\frac{p}{p+1}}\), \(C_{4}:=\frac{\sqrt{2(M+1)}}{C_{1}}(\frac{C_{2}}{ (\tau-\sqrt{2(M+1)})})^{\frac{1}{p+1}} \pi^{\frac{p}{p+1}}\).
Theorem 3.2 is proved. □
4 Numerical implementation and numerical example
In this section, we present numerical experiment for above regularization method. The exact solution of problem (3.1) is difficult to obtain. So we use a given \(\varphi(r)\) to solve the positive problem. We have
Let \(T=1\), \(r_{0}=\pi\). Using (1.5), we have
Using (3.1), we have
Time and space of grid step size are \(\Delta t=\frac{1}{P}\) and \(\Delta r=\frac{\pi}{M}\). A grid point on the time interval \([0,T]\) is \(t_{q}=\frac{q-1}{P}\) \((q=1,2,\ldots,P+1)\). \(r_{i}=\frac{i-1}{M}\pi\) \((i=1,2,\ldots,M+1)\) is a grid point on the space interval. We have
where
Noise data is generated by adding a random perturbation, that is,
where ε is relative error level. In the computational procedure, we take the source function \(f(r,t)=t\sin(r)\).
Example 1
Take initial function \(\varphi(r)=\sin(r)\).
Figure 1 shows the comparisons of the numerical effects between the exact solution and its regularization solution for the prior and posterior regularization parameter choice rules. We can find that the smaller ε, the better the computed approximation is. Moreover, we can also easily find that the posterior parameter choice rule works better than the prior parameter choice rule. This is consistent with our theoretical analysis.
5 Conclusion
We consider an inverse problem to determine an initial date for heat equation with inhomogeneous source on a columnar symmetric domain. Using the truncation method, we construct the regularization solution. Moreover, we obtain the Hölder type error estimate under prior and posterior parameter choice rules. Finally, an example is given to show the effectiveness of the truncation method.
References
Lavrentèv, MM, Romanov, VG, Shishatskii, SP: Ill-Posed Problems of Mathematical Physics and Analysis. Amer. Math. Soc., Providence (1986)
Ames, KA, Epperson, JF: A kernel-based method for the approximate solution of backward parabolic problems. SIAM J. Numer. Anal. 34(4), 1357-1390 (1997)
Gao, LJ, Murio, DA: A mollified space marching finite difference algorithm for the two-dimensional inverse heat conduction problem with slab symmetry. Inverse Probl. 7(2), 247-259 (1991)
Fu, CL, Xiong, XT, Qian, Z: Fourier regularization for a backward heat equation. J. Math. Anal. Appl. 331(1), 472-480 (2007)
Seidman, TI: Optimal filtering for the backward heat equation. SIAM J. Numer. Anal. 33(1), 162-170 (1996)
Mera, NS, Elliott, L, Ingham, DB: An iterative method with decreasing regularization for the backward heat conduction problem. Numer. Heat Transf., Part B, Fundam. 42(3), 215-230 (2002)
Qian, Z, Fu, CL, Shi, R: A modified method for a backward heat conduction problem. Appl. Math. Comput. 185(1), 564-573 (2007)
Showalter, RE: The final value problem for evolution equations. J. Math. Anal. Appl. 47(3), 563-572 (1974)
Dang, DT, Nguyen, HT: Regularization and error estimates for nonhomogeneous heat problem. Electron. J. Differ. Equ. 2006, 4 (2006)
Xiong, XT, Fu, CL, Qian, Z: Two numerical method for a backward heat equation. Appl. Math. Comput. 179, 370-377 (2006)
Qin, HH, Wei, T: Some filter regularization methods for a backward heat conduction problem. Appl. Math. Comput. 217, 10317-10327 (2011)
Mera, NS: The method of fundamental solutions for the backward heat conduction problem. Inverse Probl. Sci. Eng. 13(1), 65-78 (2005)
Liu, CS: The method of fundamental solutions for solving the backward heat conduction problem with conditioning by a new post-conditioner. Int. J. Heat Mass Transf. 60(1), 57-72 (2011)
Han, H, Ingham, DB, Yuan, Y: The boundary element method for the solution of the backward heat conduction equation. J. Eng. Des. 516(4), 292-299 (1994)
Mera, NS, Elliott, L, Ingham, DB, Lesnic, D: An iterative boundary element method for solving the one-dimensional backward heat conduction problem. Int. J. Heat Mass Transf. 44(10), 1937-1946 (2001)
Liu, CS: Group preserving scheme for backward heat conduction problems. Int. J. Heat Mass Transf. 47(12-13), 2567-2576 (2004)
Zhao, ZY, Meng, ZH, Shi, R: A modified Tikhonov regularization method for a backward heat equation. Inverse Probl. Sci. Eng. 19(8), 1175-1182 (2011)
Le, TM, Pham, QH, Dang, TD, Nguyen, TH: A backward parabolic equation with a time-dependent coefficient: regularization and error estimates. J. Comput. Appl. Math. 237, 432-441 (2013)
Cheng, W, Fu, CL, Qian, Z: Two regularization method for a spherically symmetric inverse heat conduction problem. Appl. Math. Model. 32, 432-442 (2008)
Cheng, W, Fu, CL, Qian, Z: A modified regularization method for a spherically symmetric three-dimensional inverse heat conduction problem. Math. Comput. Simul. 75(3-4), 97-112 (2007)
Cheng, W, Ma, YJ: A modified quasi-boundary value method for solving the radially symmetric inverse heat conduction problem. Appl. Anal. 96(15), 2505-2515 (2017)
Zhang, YX, Fu, CL, Ma, YJ: An a posteriori parameter choice rule for the truncation regularization method for solving backward parabolic problem. J. Comput. Appl. Math. 255(285), 150-160 (2014)
Nam, PT, Dang, DT, Tuan, NH: The truncation method for a two-dimensional nonhomogeneous backward heat problem. Appl. Math. Comput. 110, 557-574 (2010)
Qin, HH, Wei, T: Two regularization methods for the Cauchy problem of the Helmholtz equation. Appl. Math. Model. 34(4), 947-967 (2010)
Qin, HH, Wei, T: Quasi-reversibility and truncation method to solve a Cauchy problem for the modified Helmholtz equation. Math. Comput. Simul. 80(2), 352-366 (2009)
Zhang, YX, Fu, CL, Deng, ZL: An a-posteriori truncation method for some Cauchy problems associated with Helmholtz-type equation. Inverse Probl. Sci. Eng. 21(7), 1151-1168 (2013)
Yang, F: The truncation method for identifying an unknown source in the Poisson equation. Appl. Math. Comput. 217(22), 9334-9339 (2011)
Li, XX, Yang, F: The truncation method for identifying the heat source dependent on a spatial variable. Appl. Math. Comput. 62(6), 2497-2505 (2011)
Zhang, YX, Yan, L: The general a-posteriori truncation method and its application to radiogenic source identification for the helium production-diffusion equation. Appl. Math. Model. 43, 126-138 (2017)
Zhang, ZQ, Wei, T: Identifying an unknown source in time-fractional diffusion equation by a truncation method. Appl. Math. Comput. 219, 972-983 (2013)
Liu, JJ, Yamamoto, M: A backward problem for the time-fractional diffusion equation. Appl. Anal. 89(11), 1769-1788 (2010)
Wang, JG, Wei, T: Tikhonov regularization method for a backward problem for the time-fractional diffusion equation. Appl. Math. Model. 37, 8518-8532 (2013)
Acknowledgements
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
Contributions
The main idea of this paper was proposed by FY and YRS prepared the manuscript initially and performed all the steps of the proofs in this research. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
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., Sun, YR., Li, XX. et al. The truncation regularization method for identifying the initial value of heat equation on a spherical symmetric domain. Bound Value Probl 2018, 13 (2018). https://doi.org/10.1186/s13661-018-0934-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-0934-x