The truncation regularization method for identifying the initial value of heat equation on a spherical symmetric domain

• 819 Accesses

• 2 Citations

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.

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:

$$\textstyle\begin{cases} u_{t}-\frac{2}{r}u_{r}-u_{rr}=f(r,t), & 0< t< T, 0< r< r_{0},\\ u(r,0)=\varphi(r), & 0\leq r\leq r_{0},\\ u(r_{0},t)=0, & 0\leq t\leq T,\\ \lim_{r\rightarrow0}u(r,t) \mbox{ is bounded}, & 0< t< T, 0< r< r_{0},\\ u(r,T)=g(r), & 0\leq r\leq r_{0}, \end{cases}$$
(1.1)

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

$$\bigl\Vert g^{\delta}(\cdot)-g(\cdot) \bigr\Vert _{L^{2}[0,r_{0};r^{2}]}\le\delta;\qquad \bigl\Vert f^{\delta}(\cdot,t)-f(\cdot,t) \bigr\Vert _{L^{\infty}(0,T;L^{2}[0,r_{0};r^{2}])}\le \delta.$$
(1.2)

The initial value problem is one of the backward heat conduction problems (BHCPs). A BHCP is severely ill-posed problem . To overcome this difficulty, many scholars proposed some regularization techniques for the BHCP, such as the kernel-based method , the mollification method , the Fourier regularization method , optimal filtering method , the iterative method , the quasi-reversibility method , the central difference method , the filter regularization method , the method of fundamental solutions [12, 13], the boundary element method [14, 15], the group preserving scheme , modified Tikhonov regularization method , Quasi-boundary value method  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 , 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 , the authors used the truncation method to solve a cauchy problem for the Helmholtz equation and the modified Helmholtz equation. In , 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:

$$u(r, t)=\sum_{n=1}^{\infty} \biggl(e^{-(\frac{n\pi}{r_{0}})^{2}t}\varphi _{n}+ \int_{0}^{t}e^{-(\frac{n\pi}{r_{0}})^{2}(t-\tau)}f_{n}(\tau)\,d \tau \biggr)\omega_{n}(r),$$
(1.3)

where

$$\omega_{n}(r):=\frac{\sqrt{2}n\pi}{\sqrt{r_{0}^{3}}}\frac{\sin(n\pi r/r_{0})}{(n\pi r/r_{0})}$$
(1.4)

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

\begin{aligned} & g(r)=\sum_{n=1}^{\infty} \biggl(e^{-(\frac{n\pi}{r_{0}})^{2}T}\varphi _{n}+ \int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d \tau \biggr)\omega_{n}(r), \end{aligned}
(1.5)
\begin{aligned} & g_{n}=e^{-(\frac{n\pi}{r_{0}})^{2}T}\varphi_{n}+ \int_{0}^{T}e^{-(\frac {n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d \tau. \end{aligned}
(1.6)

Define operator $$K: h(r)\rightarrow g(r)$$, then

$$g(r)=Kh(r)=\sum_{n=1}^{\infty}e^{-(\frac{n\pi}{r_{0}})^{2}T} \biggl(\varphi_{n}+ \int_{0}^{T}e^{(\frac{n\pi}{r_{0}})^{2}\tau}f_{n}(\tau )\,d\tau \biggr)\omega_{n}(r).$$
(1.7)

The operator K is a linear self-adjoint compact operator, and

$$k_{n}=e^{-(\frac{n\pi}{r_{0}})^{2}T}$$
(1.8)

is for the singular values of K. Using (1.4), (1.6) and equation (1.7) can be rewritten as

$$\bigl(g(r),\omega_{n}(r)\bigr)=\bigl(h(r), \omega_{n}(r)\bigr)e^{-(\frac{n\pi}{r_{0}})^{2}T}.$$
(1.9)

So

$$\varphi(r)=\sum_{n=1}^{\infty} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{e^{-(\frac{n\pi }{r_{0}})^{2}T}}\omega_{n}(r).$$
(1.10)

We give a prior bound on the initial value, i.e.,

$$\bigl\Vert \varphi(\cdot) \bigr\Vert _{p}\leq E,\quad p>0,$$
(1.11)

where $$E>0$$ is a constant and $$\Vert \cdot \Vert _{p}$$ denotes the norm in Sobolev space which is defined as follows:

$$\bigl\Vert \varphi(\cdot) \bigr\Vert _{p}:=\Biggl( \sum_{n=1}^{\infty}\bigl(1+n^{2} \bigr)^{p} \bigl\vert \bigl(\varphi (\cdot),\omega_{n}( \cdot)\bigr) \bigr\vert ^{2}\Biggr)^{\frac{1}{2}}.$$
(1.12)

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.

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

$$\Vert \varphi \Vert =\biggl( \int_{0}^{r_{0}} r^{2} \bigl\vert \varphi(r) \bigr\vert ^{2}\,dr\biggr)^{\frac{1}{2}}.$$
(2.1)

Lemma 2.1

([31, 32])

For any $$n\geq1$$, we have

$$\frac{C_{1}}{n\pi}\leq e^{-(\frac{n\pi}{r_{0}})^{2}T} \leq\frac {C_{2}}{n\pi},$$
(2.2)

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

$$\biggl\Vert g_{n}- \int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}}f_{n}(\tau )\,d\tau \biggr\Vert \leq\sqrt{2\bigl( \Vert g \Vert ^{2}_{L^{2}[0,r_{0};r^{2}]}+M \Vert F \Vert ^{2}_{L^{\infty}(0,T;L^{2}[0,r_{0};r^{2}])} \bigr)},$$
(2.3)

where $$M:=\frac{T}{2}(\frac{r_{0}}{\pi})^{2}(1-e^{(\frac{\pi }{r_{0}})^{2}})$$.

Proof

For $$t\in[0,T]$$,

$$\bigl\vert f_{n}(t) \bigr\vert ^{2}\leq\sum _{n=1}^{\infty} \bigl\vert \bigl(f(\cdot,t),\omega _{n}\bigr) \bigr\vert ^{2}\leq \Vert f \Vert ^{2}_{L^{\infty }(0,T;L^{2}[0,r_{0};r^{2}])}.$$

Thus

\begin{aligned} \biggl\Vert g_{n}- \int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau ) \,d\tau \biggr\Vert ^{2}&=\sum_{n=1}^{\infty} \biggl(g_{n}- \int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau) \,d\tau \biggr)^{2} \\ & \leq2\sum_{n=1}^{\infty}g_{n}^{2}+2 \sum_{n=1}^{\infty} \biggl\vert \int _{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau) \,d\tau \biggr\vert ^{2} \\ & \leq2\sum_{n=1}^{\infty}g_{n}^{2}+2 \sum_{n=1}^{\infty} \int _{0}^{T}e^{-2(\frac{n\pi}{r_{0}})^{2}(T-\tau)}\,d\tau \int _{0}^{T}f^{2}_{n}(\tau)\,d \tau \\ & \leq2 \bigl( \Vert g \Vert ^{2}_{L^{2}[0,r_{0};r^{2}]}+M \Vert f \Vert _{L^{\infty }(0,T;L^{2}[0,r_{0};r^{2}])}^{2} \bigr), \end{aligned}

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}})$$. □

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:

$$\varphi^{N,\delta}(r)=\sum_{n=1}^{N} \frac{g_{n}^{\delta}-\int _{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)} f^{\delta}_{n}(\tau)\,d\tau}{e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r).$$
(3.1)

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:

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi(\cdot) \bigr\Vert \leq \biggl(\frac{\sqrt{2(M+1)}\pi}{C_{1}}+1\biggr)E^{\frac{1}{p+1}} \delta^{\frac{p}{p+1}},$$
(3.2)

where $$[\gamma]$$ denotes the largest integer less than or equal to γ.

Proof

By the triangle inequality, we have

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi(\cdot) \bigr\Vert \leq \bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi^{N}( \cdot) \bigr\Vert + \bigl\Vert \varphi^{N}(\cdot)-\varphi(\cdot) \bigr\Vert .$$
(3.3)

We firstly give an estimate for the first term. From (1.2) and (2.2), we can get

\begin{aligned} &\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi^{N}(\cdot) \bigr\Vert ^{2} \\ &\quad= \Biggl\Vert \sum_{n=1}^{N} \frac{g_{n}^{\delta}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f^{\delta}_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) -\sum_{n=1}^{N} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) \Biggr\Vert ^{2} \\ &\quad= \Biggl\Vert \sum_{n=1}^{N} \frac{(g_{n}^{\delta}-g_{n})-\int_{0}^{T}e^{-(\frac {n\pi}{r_{0}})^{2}(T-\tau)}(f^{\delta}_{n}(\tau)-f_{n}(\tau))\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) \Biggr\Vert ^{2} \\ &\quad=\sum_{n=1}^{N}\biggl(\frac{(g_{n}^{\delta}-g_{n})- \vert \int_{0}^{T}e^{-(\frac {n\pi}{r_{0}})^{2}(T-\tau)}(f^{\delta}_{n}(\tau)-f_{n}(\tau))\,d\tau \vert }{ e^{-(\frac{n\pi}{r_{0}})^{2}T}} \biggr)^{2} \\ &\quad\leq2\sum_{n=1}^{N}\biggl( \frac{g_{n}^{\delta}-g_{n}}{e^{-(\frac{n\pi }{r_{0}})^{2}T}}\biggr)^{2} +2\sum_{n=1}^{N} \frac{ \vert \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}(f_{n}^{\delta}(\tau)-f_{n}(\tau))\,d\tau \vert ^{2}}{ (e^{-(\frac{n\pi}{r_{0}})^{2}T})^{2}} \\ &\quad\leq2\max_{n\leq N}\biggl(\frac{n\pi}{C_{1}}\biggr)^{2} \sum_{n=1}^{\infty }\bigl(g_{n}^{\delta}-g_{n} \bigr)^{2}+ 2M\max_{n\leq N}\biggl(\frac{n\pi}{C_{1}} \biggr)^{2}\sum_{n=1}^{\infty } \bigl(f_{n}^{\delta}(\tau)-f_{n}(\tau) \bigr)^{2} \\ &\quad\leq2\frac{N^{2}\pi^{2}\delta^{2}}{C_{1}^{2}}+2M\frac{N^{2}\pi ^{2}\delta^{2}}{C_{1}^{2}} \\ &\quad=2(M+1)\frac{N^{2}\pi^{2}\delta^{2}}{C_{1}^{2}}. \end{aligned}

Thus

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi^{N}( \cdot) \bigr\Vert \leq\sqrt {2(M+1)}\frac{N\pi\delta}{C_{1}}.$$
(3.4)

Applying conditions (1.12) and (2.2), we obtain

\begin{aligned} &\bigl\Vert \varphi(\cdot)-\varphi^{N}(\cdot) \bigr\Vert ^{2} \\ &\quad= \Biggl\Vert \sum_{n=1}^{\infty} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r)\\ &\qquad{}-\sum_{n=1}^{N} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) \Biggr\Vert ^{2} \\ &\quad= \Biggl\Vert \sum_{n=N+1}^{\infty} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{e^{-(\frac{n\pi }{r_{0}})^{2}T}}\omega_{n}(r) \Biggr\Vert ^{2} \\ &\quad=\sum_{n=N+1}^{\infty}\biggl(\frac{g_{n}-\int_{0}^{T} e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{e^{-(\frac{n\pi }{r_{0}})^{2}T}} \biggr)^{2} \\ &\quad=\sum_{n=N+1}^{\infty}\biggl( \bigl(1+n^{2}\bigr)^{\frac{-p}{2}}\bigl(1+n^{2} \bigr)^{\frac {p}{2}}\biggl(\frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau )}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\biggr)\biggr)^{2} \\ &\quad\leq\max_{n>N}\bigl((n+1)^{-2p}\bigr)\sum _{n=1}^{\infty}\biggl(\bigl(1+n^{2} \bigr)^{\frac {p}{2}}\biggl(\frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau )}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\biggr)\biggr)^{2} \\ &\quad\leq(N+1)^{-2p}E^{2}. \end{aligned}

Hence

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi(\cdot) \bigr\Vert \leq\sqrt {2(M+1)}\frac{N\pi\delta}{C_{1}}+(N+1)^{-p}E.$$
(3.5)

Choosing the regularization parameter $$N=[(\frac{E}{\delta })^{\frac{1}{p+1}}]$$, we obtain

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi(\cdot) \bigr\Vert \leq \biggl(\frac{\sqrt{2(M+1)}\pi}{C_{1}}+1\biggr)E^{\frac{1}{p+1}} \delta^{\frac{p}{p+1}}.$$
(3.6)

Theorem 3.1 is proved. □

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

$$\bigl\Vert (I-P_{N})\psi(r) \bigr\Vert \leq\tau \delta \leq \bigl\Vert (I-P_{N-1})\psi(r) \bigr\Vert ,$$
(3.7)

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:

1. (a)

$$d(N)$$ is a continuous function;

2. (b)

$$\lim_{N\rightarrow\infty}\,d(N)=0$$;

3. (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$$;

4. (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

$$N\leq\biggl(\frac{C_{2}}{\pi}\biggr)^{\frac{1}{p+1}}\biggl( \frac{E}{ (\tau-\sqrt {2(M+1)})\delta}\biggr)^{\frac{1}{p+1}}.$$
(3.8)

Proof

Due to (3.5), we obtain

\begin{aligned} & \biggl\Vert (I-P_{N-1}) \biggl(g(r)- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f(r,\tau)\,d\tau\biggr) \biggr\Vert ^{2} \\ &\quad=\sum_{n=N}^{\infty} \biggl\vert g_{n}- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d \tau \biggr\vert ^{2} \\ &\quad=\sum_{n=N}^{\infty}\bigl(1+n^{2} \bigr)^{-p}\bigl(1+n^{2}\bigr)^{p}e^{-2(\frac{n\pi }{r_{0}})^{2}T} \biggl(\frac{g_{n}-\int_{0}^{T} e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{e^{-(\frac{n\pi }{r_{0}})^{2}T}}\biggr)^{2} \\ &\quad\leq\max_{n\geq N}\biggl(n^{-2p}\biggl( \frac{C_{2}}{n\pi}\biggr)^{2}\biggr)\sum_{n=1}^{\infty} \biggl(\bigl(1+n^{2}\bigr)^{\frac {p}{2}}\biggl(\frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau )}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}} \biggr)\biggr)^{2} \\ &\quad\leq\frac{C_{2}^{2}}{\pi^{2}}N^{-2(p+1)}E^{2}. \end{aligned}

Thus we obtain

$$\biggl\Vert (I-P_{N-1}) \biggl(g(r)- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f(r,\tau)\,d\tau\biggr) \biggr\Vert ^{2}\leq\frac {C_{2}^{2}}{\pi^{2}}N^{-2(p+1)}E^{2}.$$
(3.9)

On the other hand,

\begin{aligned} & \biggl\Vert (I-P_{N-1}) \biggl(g(r)- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f(r,\tau)\,d\tau\biggr) \biggr\Vert \\ &\quad\geq \biggl\Vert (I-P_{N-1}) \biggl(g^{\delta}(r)- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f^{\delta}(r, \tau)\,d\tau\biggr) \biggr\Vert \\ &\qquad{}- \biggl\Vert (I-P_{N-1}) \bigl(g^{\delta}(r)-g(r)\bigr)- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}\bigl(f^{\delta}(r, \tau)-f(r,\tau)\bigr)\,d\tau \biggr\Vert \\ &\quad\geq\tau\delta-\sqrt{2(M+1)}\delta =\bigl(\tau-\sqrt{2(M+1)}\bigr)\delta, \end{aligned}

i.e.,

$$\biggl\Vert (I-P_{N-1}) \biggl(g(r)- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f(r,\tau)\,d\tau\biggr) \biggr\Vert \geq\bigl(\tau-\sqrt {2(M+1)}\bigr)\delta.$$
(3.10)

Combining (3.9) with (3.10), we obtain

$$\bigl(\tau-\sqrt{2(M+1)}\bigr)\delta\leq C_{2}(\pi)^{-1}N^{-(p+1)}E.$$

So

$$N\leq\biggl(\frac{C_{2}}{\pi}\biggr)^{\frac{1}{p+1}}\biggl( \frac{E}{ (\tau-\sqrt {2(M+1)})\delta}\biggr)^{\frac{1}{p+1}}.$$
(3.11)

□

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

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi(\cdot) \bigr\Vert \leq (C_{3}+C_{4})E^{\frac{1}{p+1}} \delta^{\frac{p}{p+1}},$$
(3.12)

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

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi(\cdot) \bigr\Vert \leq \bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi^{N}( \cdot) \bigr\Vert + \bigl\Vert \varphi^{N}(\cdot)-\varphi(\cdot) \bigr\Vert .$$
(3.13)

We first estimate the second term of (3.13). Using (1.12) and Lemma 2.1, we have

\begin{aligned} & \bigl\Vert \varphi^{N}(\cdot)-\varphi(\cdot) \bigr\Vert ^{2} \\ &\quad= \Biggl\Vert \sum_{n=1}^{\infty} \frac{g_{n}-\int_{0}^{T}e^{-(\frac {n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) -\sum_{n=1}^{N} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n} (\tau)\,d\tau}{e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) \Biggr\Vert ^{2} \\ &\quad= \Biggl\Vert \sum_{n=N+1}^{\infty} \frac{g_{n}-\int_{0}^{T}e^{-(\frac {n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) \Biggr\Vert ^{2} \\ &\quad=\sum_{n=N+1}^{\infty}\biggl(\frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}} \biggr)^{2} \\ &\quad=\sum_{n=N+1}^{\infty}\biggl( \bigl(e^{-(\frac{n\pi }{r_{0}})^{2}T}\bigr)^{-p}\bigl(1+n^{2} \bigr)^{-\frac{p}{2}}\bigl(1+n^{2}\bigr)^{\frac{p}{2}} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau )\,d\tau}{e^{-(\frac{n\pi}{r_{0}})^{2}T}}\biggr)^{\frac{2}{p+1}} \\ &\qquad{}\times \biggl(g_{n}- \int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau )\,d\tau\biggr)^{\frac{2p}{p+1}} \\ &\quad\leq \Biggl(\sum_{n>N}^{\infty}\biggl( \bigl(e^{-(\frac{n\pi}{r_{0}})^{2}T}\bigr)^{\frac {-2p}{p+1}}\bigl(1+n^{2} \bigr)^{-\frac{p}{p+1}}\bigl(1+n^{2}\bigr)^{\frac{p}{p+1}}\\ &\qquad{}\times \biggl( \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau )\,d\tau}{e^{-(\frac{n\pi}{r_{0}})^{2}T}}\biggr)^{\frac{2}{p+1}}\biggr)^{\frac {p+1}{2}} \Biggr)^{\frac{2}{p+1}} \\ &\qquad{}\times \Biggl(\sum_{n>N}^{\infty}\biggl( \biggl(g_{n}- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d \tau\biggr)^{\frac{2p}{p+1}}\biggr)^{\frac {p+1}{2p}} \Biggr)^{\frac{2p}{p+1}} \\ &\quad\leq\max_{n>N}\biggl(\biggl(\frac{C_{1}}{n\pi} \biggr)^{-p}n^{-p}\biggr)^{\frac{2}{p+1}}\sum _{n=1}^{\infty}\biggl(\bigl(1+n^{2} \bigr)^{\frac{p}{2}} \biggl(\frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f_{n}(\tau )\,d\tau}{e^{-(\frac{n\pi}{r_{0}})^{2}T}}\biggr)\biggr)^{\frac{2}{p+1}} \\ &\qquad{}\times\biggl((I-P_{N}) \biggl(g_{n}- \int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau )}f_{n}(\tau)\,d \tau\biggr)\biggr)^{\frac{2p}{p+2}} \\ &\quad\leq\biggl(\frac{\pi}{C_{1}}\biggr)^{\frac{2p}{p+1}}E^{\frac{2}{p+1}}\biggl( \biggl\Vert (I-P_{N-1}) \biggl(g^{\delta}(r)- \int_{0}^{T}e^{-(\frac{n\pi}{r_{0}})^{2}(T-\tau)}f^{\delta}(r, \tau)\,d\tau\biggr) \biggr\Vert \\ &\qquad{}+ \biggl\Vert (I-P_{N-1}) \bigl(g^{\delta}(r)-g(r)\bigr)- \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}\bigl(f^{\delta}(r, \tau)-f(r,\tau)\bigr)\,d\tau \biggr\Vert \biggr)^{\frac{2p}{p+1}} \\ &\leq\biggl(\frac{\pi(\tau+\sqrt{2(M+1)})}{C_{1}}\biggr)^{\frac{2p}{p+1}}E^{\frac {2}{p+1}} \delta^{\frac{2p}{p+1}}. \end{aligned}

Thus we obtain

$$\bigl\Vert \varphi^{N}(\cdot)-\varphi(\cdot) \bigr\Vert \leq\biggl(\frac{\pi(\tau+\sqrt {2(M+1)})}{C_{1}}\biggr)^{\frac{p}{p+1}}E^{\frac{1}{p+1}} \delta^{\frac{p}{p+1}}.$$
(3.14)

Then we estimate the first term of (3.13). Using (3.1), we obtain

\begin{aligned} &\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi^{N}(\cdot) \bigr\Vert ^{2} \\ &\quad= \Biggl\Vert \sum_{n=1}^{N} \frac{g_{n}^{\delta}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau}f^{\delta}_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r)-\sum_{n=1}^{N} \frac{g_{n}-\int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}f_{n}(\tau)\,d\tau}{ e^{-(\frac{n\pi}{r_{0}})^{2}T}}\omega_{n}(r) \Biggr\Vert ^{2} \\ &\quad\leq2\sum_{n=1}^{N}\biggl( \frac{g_{n}^{\delta}-g_{n}}{e^{-(\frac{n\pi }{r_{0}})^{2}T}}\biggr)^{2} +2\sum_{n=1}^{N} \frac{ \vert \int_{0}^{T}e^{-(\frac{n\pi }{r_{0}})^{2}(T-\tau)}(f_{n}^{\delta}(\tau)-f_{n}(\tau))\,d\tau \vert ^{2}}{ (e^{-(\frac{n\pi}{r_{0}})^{2}T})^{2}} \\ &\quad\leq2\max_{n\leq N}\biggl(\frac{n\pi}{C_{1}}\biggr)^{2} \sum_{n=1}^{\infty }\bigl(g_{n}^{\delta}-g_{n} \bigr)^{2}+ 2M\max_{n\leq N}\biggl(\frac{n\pi}{C_{1}} \biggr)^{2}\sum_{n=1}^{\infty } \bigl(f_{n}^{\delta}(\tau)-f_{n}(\tau) \bigr)^{2} \\ &\quad\leq2\frac{N^{2}\pi^{2}\delta^{2}}{C_{1}^{2}}+2M\frac{N^{2}\pi ^{2}\delta^{2}}{C_{1}^{2}} \\ &\quad=2(M+1)\frac{N^{2}\pi^{2}\delta^{2}}{C_{1}^{2}}. \end{aligned}

Using (3.8), we have

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi^{N}( \cdot) \bigr\Vert \leq\frac{\sqrt {2(M+1)}}{C_{1}}\biggl(\frac{C_{2}}{(\tau-\sqrt{2(M+1)})} \biggr)^{\frac{1}{p+1}} \pi^{\frac{p}{p+1}}E^{\frac{1}{p+1}} \delta^{\frac{p}{p+1}}.$$
(3.15)

Combining (3.14) with (3.15), we obtain

$$\bigl\Vert \varphi^{N,\delta}(\cdot)-\varphi(\cdot) \bigr\Vert \leq (C_{3}+C_{4})E^{\frac{1}{p+1}} \delta^{\frac{p}{p+1}},$$
(3.16)

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. □

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

$$\textstyle\begin{cases} u_{t}-\frac{2}{r}u_{r}-u_{rr}=f(r,t), & 0< t< T, 0< r< r_{0},\\ u(r,0)=\varphi(r), & 0\leq r\leq r_{0},\\ u(r_{0},t)=0, & 0\leq t\leq T,\\ \lim_{r\rightarrow0}u(r,t) \mbox{ is bounded}, & 0< t< T, 0< r< r_{0}. \end{cases}$$
(4.1)

Let $$T=1$$, $$r_{0}=\pi$$. Using (1.5), we have

\begin{aligned} g(r)={}& \sum_{n=1}^{\infty} \biggl( \varphi_{n}e^{-n^{2}}+ \int _{0}^{1}e^{-n^{2}(1-\tau)} f_{n}( \tau)\,d\tau \biggr)w_{n}(r) \\ ={}&\sum_{n=1}^{\infty} \biggl(\bigl( \varphi(r),w_{n}(r)\bigr)e^{-n^{2}}w_{n}(r)+ \int _{0}^{1}e^{-n^{2}(1-\tau)} \bigl(f(r, \tau),w_{n}(r)\bigr)w_{n}(r)\,d\tau \biggr) \\ ={}&\sum_{n=1}^{\infty} \biggl(e^{-n^{2}} \int_{0}^{\pi}s^{2}\varphi(s)\sqrt { \frac{2}{\pi}}\frac{\sin(ns)}{s}\,ds\sqrt{\frac{2}{\pi}}\frac{\sin(nr)}{r} \\ &{}+ \int_{0}^{1}e^{-n^{2}(1-\tau)} \int_{0}^{\pi}s^{2}f(s,\tau)\sqrt{ \frac {2}{\pi}}\frac{\sin(ns)}{s}\,ds\,d\tau\sqrt{\frac{2}{\pi}} \frac {\sin(ns)}{s} \biggr). \end{aligned}

Using (3.1), we have

\begin{aligned} \varphi^{N,\delta}(r) ={}&\sum_{n=1}^{N} \frac{1}{e^{-n^{2}}} \biggl(g_{n}^{\delta}- \int_{0}^{1}e^{-n^{2}(1-\tau)}f_{n}^{\delta}( \tau)\,d\tau \biggr)w_{n}(r) \\ ={}&\sum_{n=1}^{N}\frac{1}{e^{-n^{2}}} \biggl(\bigl(g^{\delta }(r),w_{n}(r)\bigr)w_{n}(r) - \int_{0}^{1}e^{-n^{2}(1-\tau)}\bigl(f^{\delta}(r, \tau),w_{n}(r)\bigr)\,d\tau w_{n}(r) \biggr) \\ ={}& \sum_{n=1}^{N}\frac{1}{e^{-n^{2}}} \biggl( \int_{0}^{\pi}s^{2}g^{\delta }(s)\sqrt{ \frac{2}{\pi}}\frac{\sin(ns)}{s}\,ds\sqrt{\frac{2}{\pi}}\frac{\sin(nr)}{r} \\ &{}- \int_{0}^{1}e^{-n^{2}(1-\tau)} \int_{0}^{\pi}s^{2}f^{\delta}(s,\tau ) \sqrt{\frac{2}{\pi}}\frac{\sin(ns)}{s}\,ds\,d\tau \sqrt{\frac{2}{\pi}} \frac{\sin(nr)}{r} \biggr). \end{aligned}

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

\begin{aligned} &g(r_{j})=\sum_{n=1}^{N}2 \Biggl(e^{-n^{2}}\sum_{i=1}^{M+1}r_{i}^{2} \varphi(r_{i})\frac{\sin(nr_{i})}{r_{i}}\frac {\sin(nr_{j})}{r_{j}}\omega_{i} \\ &\phantom{g(r_{j})=}{} +\sum_{q=1}^{P+1}e^{-n^{2}(1-t_{q})}\sum _{i=1}^{M+1}r_{i}^{2}f(r_{i},t_{q}) \frac{\sin(nr_{i})}{r_{i}}\omega _{i}y_{q}\frac{\sin(nr_{j})}{r_{j}} \Biggr), \\ &\varphi_{N}^{\delta}(r_{j})= \sum _{n=1}^{N}\frac{2}{e^{-n^{2}}} \Biggl(\sum _{i=1}^{M+1}r_{i}^{2}g^{\delta}(r_{i}) \frac{\sin(nr_{i})}{r_{i}}\frac {\sin(nr_{j})}{r_{j}}\omega_{i} \\ &\phantom{\varphi_{N}^{\delta}(r_{j})=}{} -\sum_{q=1}^{P+1}e^{-n^{2}(1-t_{q})}\sum _{i=1}^{M+1}r_{i}^{2}f^{\delta}(r_{i},t_{q}) \frac {\sin(nr_{i})}{r_{i}}\omega_{i}y(q)\frac{\sin(nr_{j})}{r_{j}} \Biggr), \end{aligned}

where

\begin{aligned} &\varphi(r_{i})=\bigl(\varphi(r_{1}),\varphi(r_{2}), \ldots,\varphi(r_{M+1})\bigr), \\ &\varphi^{\delta}(r_{i})=\bigl(\varphi^{\delta}(r_{1}), \varphi^{\delta }(r_{2}),\ldots,\varphi^{\delta}(r_{M+1}) \bigr), \\ &g(r_{j})=\bigl(g(r_{1}),g(r_{2}), \ldots,g(r_{M+1})\bigr), \\ &g^{\delta}(r_{j})=\bigl(g^{\delta}(r_{1}),g^{\delta}(r_{2}), \ldots,g^{\delta }(r_{M+1})\bigr), \\ &f(r_{i},t_{q})=\bigl(f(r_{i},t_{1}),f(r_{i},t_{2}), \ldots,f(r_{i},t_{P+1})\bigr), \\ &f^{\delta}(r_{i},t_{q})=\bigl(f^{\delta}(r_{i},t_{1}),f^{\delta }(r_{i},t_{2}), \ldots,f^{\delta}(r_{i},t_{P+1})\bigr), \\ & w_{i}= \textstyle\begin{cases} \frac{1}{3M}, & i=1,M+1,\\ \frac{4}{3M}, &i=2,4,\ldots, M,\\ \frac{2}{3M}, &i=3,5,\ldots, M-1; \end{cases}\displaystyle \end{aligned}
(4.2)
\begin{aligned} &y_{q}= \textstyle\begin{cases} \frac{1}{3y}, & i=1,y+1,\\ \frac{4}{3y}, &i=2,4,\ldots,\\ \frac{2}{3y}, &i=3,5,\ldots, y-1. \end{cases}\displaystyle \end{aligned}
(4.3)

Noise data is generated by adding a random perturbation, that is,

\begin{aligned} &g^{\delta}(\cdot) =g(\cdot)+\varepsilon\cdot g( \cdot)\cdot\bigl(2\operatorname{rand}(\cdot )-1\bigr), \\ &f^{\delta}(\cdot,\cdot) =f(\cdot,\cdot)+\varepsilon\cdot f(\cdot,\cdot ) \cdot\bigl(2\operatorname{rand}(\cdot,\cdot)-1\bigr), \end{aligned}

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.

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

1. 1.

Lavrentèv, MM, Romanov, VG, Shishatskii, SP: Ill-Posed Problems of Mathematical Physics and Analysis. Amer. Math. Soc., Providence (1986)

2. 2.

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)

3. 3.

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)

4. 4.

Fu, CL, Xiong, XT, Qian, Z: Fourier regularization for a backward heat equation. J. Math. Anal. Appl. 331(1), 472-480 (2007)

5. 5.

Seidman, TI: Optimal filtering for the backward heat equation. SIAM J. Numer. Anal. 33(1), 162-170 (1996)

6. 6.

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)

7. 7.

Qian, Z, Fu, CL, Shi, R: A modified method for a backward heat conduction problem. Appl. Math. Comput. 185(1), 564-573 (2007)

8. 8.

Showalter, RE: The final value problem for evolution equations. J. Math. Anal. Appl. 47(3), 563-572 (1974)

9. 9.

Dang, DT, Nguyen, HT: Regularization and error estimates for nonhomogeneous heat problem. Electron. J. Differ. Equ. 2006, 4 (2006)

10. 10.

Xiong, XT, Fu, CL, Qian, Z: Two numerical method for a backward heat equation. Appl. Math. Comput. 179, 370-377 (2006)

11. 11.

Qin, HH, Wei, T: Some filter regularization methods for a backward heat conduction problem. Appl. Math. Comput. 217, 10317-10327 (2011)

12. 12.

Mera, NS: The method of fundamental solutions for the backward heat conduction problem. Inverse Probl. Sci. Eng. 13(1), 65-78 (2005)

13. 13.

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)

14. 14.

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)

15. 15.

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)

16. 16.

Liu, CS: Group preserving scheme for backward heat conduction problems. Int. J. Heat Mass Transf. 47(12-13), 2567-2576 (2004)

17. 17.

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)

18. 18.

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)

19. 19.

Cheng, W, Fu, CL, Qian, Z: Two regularization method for a spherically symmetric inverse heat conduction problem. Appl. Math. Model. 32, 432-442 (2008)

20. 20.

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)

21. 21.

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)

22. 22.

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)

23. 23.

Nam, PT, Dang, DT, Tuan, NH: The truncation method for a two-dimensional nonhomogeneous backward heat problem. Appl. Math. Comput. 110, 557-574 (2010)

24. 24.

Qin, HH, Wei, T: Two regularization methods for the Cauchy problem of the Helmholtz equation. Appl. Math. Model. 34(4), 947-967 (2010)

25. 25.

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)

26. 26.

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)

27. 27.

Yang, F: The truncation method for identifying an unknown source in the Poisson equation. Appl. Math. Comput. 217(22), 9334-9339 (2011)

28. 28.

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)

29. 29.

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)

30. 30.

Zhang, ZQ, Wei, T: Identifying an unknown source in time-fractional diffusion equation by a truncation method. Appl. Math. Comput. 219, 972-983 (2013)

31. 31.

Liu, JJ, Yamamoto, M: A backward problem for the time-fractional diffusion equation. Appl. Anal. 89(11), 1769-1788 (2010)

32. 32.

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

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.

Correspondence to Fan Yang.

Ethics declarations

Competing interests

The authors declare that they have no competing interests. 