Open Access

Regularization and stability estimates for an inverse source problem of the radially symmetric parabolic equation

Journal of Inequalities and Applications20152015:136

https://doi.org/10.1186/s13660-015-0661-0

Received: 9 November 2014

Accepted: 6 April 2015

Published: 17 April 2015

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.

Keywords

ill-posed probleminverse source problemparabolic equationquasi-reversibility methoderror estimate

MSC

35R2535R3065J2065M30

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 [410], and the numerical algorithms for the identification problem can be found in [1117]. 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:
$$ \frac{\partial u}{\partial t}-\frac{\partial^{2} u}{\partial r^{2}}-\frac{2}{r} \frac{\partial u}{\partial r}=f(r),\quad 0< r<r_{0}, 0<t<T, $$
(1.1)
with the boundary conditions
$$ u(r_{0},t)=0,\qquad \lim_{r\to0}u(r,t) \mbox{ bounded},\quad 0\le t\le T, $$
(1.2)
and the initial condition and final observation at \(t=T\),
$$ u(r,0)=0,\qquad u(r,T)=g(r), \quad 0\le r\le r_{0}, $$
(1.3)
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:
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{\partial u}{\partial t}-\frac{\partial^{2} u}{\partial r^{2}}-\frac{2}{r}\frac{\partial u}{\partial r}=f(r)-\alpha\frac{r_{0}^{2}}{\pi^{2} r} (rf(r) )'', & 0< r<r_{0}, 0<t<T, \\ u(r, 0)=0,\qquad u(r, T)=g^{\delta}(r), & 0\le r\le r_{0}, \\ u(r_{0} ,t)=0, \qquad \lim_{r\to0}u(r,t) \mbox{ bounded}, & 0\le t\le T, \end{array} \right . $$
(1.4)
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
$$ \|h\|= \biggl(\int^{r_{0}}_{0}r^{2}\bigl\vert h(r)\bigr\vert ^{2} \,dr \biggr)^{\frac{1}{2}}. $$
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):
$$ \lambda_{n}= \biggl(\frac{n\pi}{r_{0}} \biggr)^{2} \quad \mbox{and}\quad R_{n}(r)=j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr), \quad n=1,2,\ldots, $$
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:
$$\begin{aligned}& u(r, t)=\sum^{\infty}_{n=1}u_{n}(t) j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr), \end{aligned}$$
(2.1)
$$\begin{aligned}& f(r)=\sum^{\infty}_{n=1}f_{n} j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr). \end{aligned}$$
(2.2)
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
$$ \left \{ \begin{array}{l} u'_{n}(t)+ (n\pi/r_{0} )^{2}u_{n}(t)=f_{n}, \\ u_{n}(0)=0. \end{array} \right . $$
(2.3)
Solving this initial problem yields
$$ u_{n}(t)=\int^{t}_{0}f_{n} e^{- (\frac{n\pi}{r_{0}} )^{2}(t-\tau)}\, d\tau,\quad n=1,2,\ldots. $$
(2.4)
Combining (2.1) with (2.4), we have
$$ u(r,t)=\sum^{\infty}_{n=1}f_{n} \biggl(\int^{t}_{0}e^{- (\frac{n\pi }{r_{0}} )^{2}(t-\tau)} \, d\tau \biggr) j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr). $$
From (1.2) at \(t=T\),
$$ g(r)=\sum^{\infty}_{n=1}f_{n} \biggl(\int^{T}_{0}e^{- (\frac{n\pi }{r_{0}} )^{2}(T-\tau)} \, d\tau \biggr) j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr). $$
(2.5)
Thus, there holds
$$ f_{n}=\frac{2((n\pi)^{2}/r_{0}^{3})}{\int^{T}_{0}e^{- (\frac{n\pi}{r_{0}} )^{2}(T-\tau)}\, d\tau}\int^{r_{0}}_{0}r^{2} g(r) j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr) \,dr,\quad n=1,2,\ldots, $$
(2.6)
since
$$ \int^{T}_{0}e^{- (\frac{n\pi}{r_{0}} )^{2}(T-\tau)} \, d\tau= \biggl( \frac{r_{0}}{n\pi} \biggr)^{2} \bigl(1-e^{- (\frac{n\pi }{r_{0}} )^{2}T} \bigr), $$
then formula (2.5) becomes
$$ g(r)=\sum^{\infty}_{n=1}f_{n} \biggl(\frac{r_{0}}{n\pi} \biggr)^{2} \bigl(1-e^{- (\frac{n\pi}{r_{0}} )^{2}T} \bigr) j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr). $$
(2.7)
Define
$$ \varphi_{n}(r)=\frac{\sqrt{2} n\pi}{\sqrt{r_{0}^{3}}} j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr), $$
(2.8)
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
$$ g(r)=\sum^{\infty}_{n=1} \biggl( \frac{r_{0}}{n\pi} \biggr)^{2} \bigl(1-e^{- (\frac{n\pi}{r_{0}} )^{2}T} \bigr) (f, \varphi_{n}) \varphi_{n}(r). $$
(2.9)
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
$$ \bigl\Vert g-g^{\delta}\bigr\Vert \le\delta, $$
(2.10)
where \(\delta>0\) denotes the noise level.
We introduce an operator \(K:f(\cdot)\rightarrow g(\cdot)\), then we have
$$ g(r)=Kf(r)=\sum^{\infty}_{n=1} \biggl(\frac{r_{0}}{n\pi} \biggr)^{2} \bigl(1-e^{- (\frac{n\pi}{r_{0}} )^{2}T} \bigr) (f, \varphi_{n})\varphi_{n}. $$
(2.11)
It is easy to see that K is linear self-adjoint compact operator with eigenvalues
$$ k_{n}= \biggl(\frac{r_{0}}{n\pi} \biggr)^{2} \bigl(1-e^{- (\frac{n\pi }{r_{0}} )^{2}T} \bigr) $$
(2.12)
and eigenelements \(\varphi_{n}\). From formula (2.11), we have
$$ (g, \varphi_{n})=(f,\varphi_{n}) k_{n}, $$
then
$$ f(r)= \sum^{\infty}_{n=1} (f, \varphi_{n})\varphi_{n}=\sum^{\infty}_{n=1} k_{n}^{-1}(g,\varphi_{n})\varphi_{n}. $$
(2.13)
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):
$$ \|f\|_{p}\le E,\quad p>0 , $$
(2.14)
where \(\|f\|_{p}\) is defined by
$$ \|f\|_{p}= \Biggl(\sum^{\infty}_{n=1} \bigl(1+n^{2}\bigr)^{p} \bigl\vert (f,\varphi_{n}) \bigr\vert ^{2} \Biggr)^{\frac{1}{2}}. $$

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
$$ \left \{ \begin{array}{l@{\quad}l} \tilde{u}_{t}-\tilde{u}_{rr}-\frac{2}{r}\tilde{u}_{r}=\tilde{f}(r), &0< r<r_{0}, 0<t<T, \\ \tilde{u}(r_{0},t)=0, & 0\le t\le T, \\ \tilde{u}(r,0)=0,\qquad \tilde{u}(r,T)=0, & 0\le r\le r_{0}. \end{array} \right . $$
(3.1)
We now introduce a function
$$ \nu(r, t)=\tilde{u}(r, t)+F(r), $$
(3.2)
where
$$ F(r)=\int^{r}_{0}\xi^{-2} \int^{\xi}_{0}\tau^{2} \tilde{f}(\tau)\, d \tau\, d\xi- \int^{r_{0}}_{0}\xi^{-2}\int ^{\xi}_{0}\tau^{2} \tilde{f}(\tau)\, d\tau \, d\xi. $$
(3.3)
According to formulas (3.1)-(3.3), we can obtain that the function \(\nu(r, t)\) satisfies
$$\begin{aligned}& \nu_{t}-\nu_{rr}-\frac{2}{r}\nu_{r}=0,\quad 0< r<r_{0}, 0<t<T, \end{aligned}$$
(3.4)
$$\begin{aligned}& \nu(r_{0},t)=0,\quad 0\le t\le T, \end{aligned}$$
(3.5)
$$\begin{aligned}& \nu(r,0)=\nu(r, T)=F(r),\quad 0\le r\le r_{0}. \end{aligned}$$
(3.6)
From (3.4)-(3.6), we have
$$\begin{aligned}& \int^{T}_{0}\int^{r_{0}}_{0}r^{2} \nu\biggl(\nu_{t}-\nu_{rr}-\frac{2}{r}\nu_{r} \biggr) \,dr \,dt \\& \quad =\frac{1}{2}\int^{r_{0}}_{0}r^{2} \nu^{2}|^{t=T}_{t=0} \,dr-\int^{T}_{0} \int^{r_{0}}_{0}\nu \, d\bigl(r^{2} \nu_{r}\bigr) \,dt \\& \quad =\frac{1}{2}\int^{r_{0}}_{0}r^{2} \bigl(\nu^{2}(r, T)-\nu^{2}(r, 0)\bigr) \,dr \\& \qquad {}-\int ^{T}_{0}\biggl(r^{2}\nu \nu_{r}|^{r=r_{0}}_{r=0} -\int^{r_{0}}_{0}r^{2} \nu^{2}_{r} \,dr\biggr) \,dt \\& \quad =\int^{T}_{0} \int^{r_{0}}_{0}r^{2} \nu^{2}_{r} \,dr \,dt=0. \end{aligned}$$
Thus,
$$ \nu^{2}_{r}=0, $$
i.e.,
$$ \nu(r, t)=C(t),\quad 0\leq r\leq r_{0}. $$
So there holds \(\nu(r_{0}, t)=C(t)\). Combining this with (3.5) yields
$$ \nu(r, t)\equiv0, \quad (r, t)\in[0, r_{0}] \times[0, T]. $$
(3.7)
From (3.7) and (3.6), we get
$$ F(r)\equiv0,\quad (r, t)\in[0, r_{0}] \times[0, T] $$
(3.8)
and
$$ \int^{r}_{0}\xi^{-2}\int ^{\xi}_{0}\tau^{2} \tilde{f}(\tau)\, d\tau \, d\xi- \int^{r_{0}}_{0}\xi^{-2}\int ^{\xi}_{0}\tau^{2} \tilde{f}(\tau) \, d \tau\, d\xi=0. $$
(3.9)
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:
$$ \|f\|\le \biggl(\frac{e^{(\pi/r_{0})^{2}T}\pi^{2}}{(e^{(\pi/r_{0})^{2}T}-1)r_{0}^{2}} \biggr)^{\frac{p}{p+2}}E^{\frac {2}{p+2}}\|g\|^{\frac{p}{p+2}}. $$
(3.10)

Proof

From (2.13) and the Hölder inequality, the following holds:
$$\begin{aligned} \|f\|^{2}&=\Biggl\Vert \sum^{\infty}_{n=1} k_{n}^{-1}(g,\varphi_{n})\varphi_{n} \Biggr\Vert ^{2}=\sum^{\infty}_{n=1}|k_{n}|^{-2}|g_{n}|^{2}= \sum^{\infty}_{n=1}|k_{n}|^{-2}|g_{n}|^{\frac{4}{p+2}}|g_{n}|^{\frac{2p}{p+2}} \\ &\le \Biggl[\sum^{\infty}_{n=1} \bigl(|k_{n}|^{-2}|g_{n}|^{\frac{4}{p+2}} \bigr)^{\frac{p+2}{2}} \Biggr]^{\frac{2}{p+2}} \Biggl[\sum ^{\infty}_{n=1} \bigl(|g_{n}|^{\frac{2p}{p+2}} \bigr)^{\frac {p+2}{p}} \Biggr]^{\frac{p}{p+2}} \\ &= \Biggl[\sum^{\infty}_{n=1}\bigl\vert k_{n}^{-1}\bigr\vert ^{p+2}|g_{n}|^{2} \Biggr]^{\frac{2}{p+2}} \Biggl[\sum^{\infty}_{n=1}|g_{n}|^{2} \Biggr]^{\frac{p}{p+2}} \\ &= \Biggl[\sum^{\infty}_{n=1}\bigl\vert k_{n}^{-1}\bigr\vert ^{p}\bigl\vert k_{n}^{-1}g_{n}\bigr\vert ^{2} \Biggr]^{\frac{2}{p+2}} \Vert g\Vert ^{\frac{2p}{p+2}} \\ &= \Biggl[\sum^{\infty}_{n=1}\biggl\vert \frac{(n\pi/r_{0})^{2}}{1-e^{-(n\pi /r_{0})^{2}T}}\biggr\vert ^{p}\bigl(1+n^{2} \bigr)^{-p}\bigl(1+n^{2}\bigr)^{p}|f_{n}|^{2} \Biggr]^{\frac{2}{p+2}} \Vert g\Vert ^{\frac{2p}{p+2}} \\ &\le\max_{n\in\mathbb{N}}\biggl\vert \biggl(\frac{\pi}{r_{0}} \biggr)^{2}\frac {e^{(n\pi/r_{0})^{2}T}}{e^{(n\pi/r_{0})^{2}T}-1}\biggr\vert ^{\frac{2p}{p+2}} \Biggl[\sum^{\infty}_{n=1}\bigl(1+n^{2} \bigr)^{p}|f_{n}|^{2} \Biggr]^{\frac{2}{p+2}}\Vert g\Vert ^{\frac{2p}{p+2}} \\ &\le \biggl(\frac{e^{(\pi/r_{0})^{2}T}\pi^{2}}{(e^{(\pi/r_{0})^{2}T}-1)r_{0}^{2}} \biggr)^{\frac{2p}{p+2}}E^{\frac {4}{p+2}}\|g\|^{\frac{2p}{p+2}}. \end{aligned}$$
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:
$$ \left \{ \textstyle\begin{array}{l@{\quad}l} \frac{\partial u^{\delta}_{\alpha}}{\partial t}-\frac{\partial^{2} u^{\delta}_{\alpha}}{\partial r^{2}}-\frac{2}{r}\frac{\partial u^{\delta}_{\alpha}}{\partial r}=f^{\delta}_{\alpha}(r)-\alpha\frac{r_{0}^{2}}{\pi^{2} r} (rf^{\delta}_{\alpha}(r) )'', & 0< r<r_{0}, 0<t<T, \\ u^{\delta}_{\alpha}(r, 0)=0,\qquad u^{\delta}_{\alpha}(r, T)=g^{\delta}(r), & 0\le r\le r_{0}, \\ u^{\delta}_{\alpha}(r_{0} ,t)=0,\quad \lim_{r\to0}u^{\delta}_{\alpha}(r,t) \mbox{ bounded}, & 0\le t\le T, \end{array} \right . $$
(4.1)
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:
$$ f^{\delta}_{\alpha}(r)= \sum ^{\infty}_{n=1} \frac{k_{n}^{-1}}{1+\alpha n^{2}}(g^{\delta},\varphi_{n}) \varphi_{n}. $$
(4.2)
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
$$ \frac{1}{1-e^{-x}}\le\frac{e}{e-1}. $$
(4.3)

Lemma 4.2

If constants \(\alpha>0\), \(p>0\), then we obtain the inequality
$$ \max_{n\in\mathbb{N}}\frac{\alpha n^{2}}{1+\alpha n^{2}} \bigl(1+n^{2}\bigr)^{-\frac{p}{2}}\le \left \{ \begin{array}{l@{\quad}l} \alpha^{\frac{p}{2}},&0< p<2, \\ \alpha,&p\geq2. \end{array} \right . $$
(4.4)

Proof

Let
$$ \psi(n)=\frac{\alpha n^{2}}{1+\alpha n^{2}}\bigl(1+n^{2} \bigr)^{-\frac{p}{2}}. $$
(4.5)
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
$$ \psi(n)\leq\bigl(1+n^{2}\bigr)^{-\frac{p}{2}}\leq n_{0}^{-p}=\alpha^{\frac{p}{2}}. $$
(4.6)
Case II. For \(n< n_{0}\), there holds
$$ \psi(n)\leq\alpha n^{2}\bigl(1+n^{2} \bigr)^{-\frac{p}{2}}. $$
(4.7)
If \(0< p<2\), inequality (4.7) becomes
$$ \psi(n)\leq\alpha n^{2}\cdot n^{-p}\leq \alpha^{\frac{p}{2}}. $$
(4.8)
If \(p\geq2\), we obtain
$$ \psi(n)\leq\frac{\alpha n^{2}}{1+n^{2}}\leq\alpha. $$
(4.9)
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. (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. (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
$$\begin{aligned} \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert =& \Biggl\Vert \sum^{\infty}_{n=1}k_{n}^{-1}(g, \varphi_{n}) \varphi_{n}- \sum ^{\infty}_{n=1}\frac{k_{n}^{-1}}{1+\alpha n^{2}} \bigl(g^{\delta}, \varphi_{n}\bigr) \varphi_{n}\Biggr\Vert \\ \le&\Biggl\Vert \sum^{\infty}_{n=1}k_{n}^{-1}(g, \varphi_{n}) \varphi_{n}- \sum ^{\infty}_{n=1}\frac{k_{n}^{-1}}{1+\alpha n^{2}} (g, \varphi_{n}) \varphi_{n}\Biggr\Vert \\ &{}+\Biggl\Vert \sum^{\infty}_{n=1} \frac{k_{n}^{-1}}{1+\alpha n^{2}} \bigl(g-g^{\delta}, \varphi_{n}\bigr) \varphi_{n}\Biggr\Vert \\ \le&\sup_{n\in\mathbb{N}}\frac{\alpha n^{2}}{1+\alpha n^{2}} \bigl(1+n^{2} \bigr)^{-p/2}\Biggl\Vert \sum^{\infty}_{n=1} \bigl(1+n^{2}\bigr)^{p/2} k_{n}^{-1}(g, \varphi_{n}) \varphi_{n}\Biggr\Vert \\ &{}+\sup_{n\in\mathbb{N}}\frac{ (\frac{n\pi}{r_{0}} )^{2}}{ (1+\alpha n^{2})} \frac{1}{ (1-e^{- (n\pi/r_{0} )^{2}T} )}\Biggl\Vert \sum^{\infty}_{n=1} \bigl(g-g^{\delta}, \varphi_{n}\bigr) \varphi_{n}\Biggr\Vert \\ \le&\sup_{n\in\mathbb{N}} \biggl(\frac{\pi}{r_{0}} \biggr)^{2} \frac{1}{\alpha}\frac{1}{ (1-e^{- (n\pi/r_{0} )^{2}T} )}\Vert g-g_{\delta} \Vert \\ &{}+\sup_{n\in\mathbb{N}}\frac{\alpha n^{2}}{1+\alpha n^{2}} \bigl(1+n^{2} \bigr)^{-p/2}\Vert f\Vert _{p}. \end{aligned}$$
Combining with conditions (2.10), (2.14) and inequalities (4.3), (4.4), we obtain
$$ \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert \le \frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)}\frac{\delta}{\alpha}+\left \{ \begin{array}{l@{\quad}l} E\alpha^{\frac{p}{2}},&0< p<2, \\ E\alpha,&p\geq2. \end{array} \right . $$
Choose the regularization parameter α by
$$ \alpha=\left \{ \textstyle\begin{array}{l@{\quad}l} (\frac{\delta}{E} )^{\frac{2}{p+2}},&0< p<2, \\ (\frac{\delta}{E} )^{\frac{1}{2}},&p\geq2. \end{array} \right . $$
Thus, we have
$$ \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert \le \left \{ \begin{array}{l@{\quad}l} (1+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} ) E^{\frac{2}{p+2}}\delta^{\frac{p}{p+2}},&0< p<2, \\ (1+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} ) E^{\frac{1}{2}}\delta^{\frac{1}{2}},&p\geq2. \end{array} \right . $$
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
$$ \alpha=\left \{ \begin{array}{l@{\quad}l} \delta^{\frac{2}{p+2}},&0< p<2, \\ \delta^{\frac{1}{2}},&p\geq2, \end{array} \right . $$
the following stability estimates hold:
$$ \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert \le \left \{ \begin{array}{l@{\quad}l} (E+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} ) \delta^{\frac{p}{p+2}},&0< p<2, \\ (E+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} ) \delta^{\frac{1}{2}},&p\geq2, \end{array} \right . $$
where E is only a bounded positive constant and it is not necessary to know it exactly.

Declarations

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

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.

Authors’ Affiliations

(1)
College of Science, Henan University of Technology

References

  1. Adams, RA: Sobolev Spaces. Pure and Applied Mathematics. Academic Press, New York (1975) MATHGoogle Scholar
  2. Savateev, EG: On problems of determining the source function in a parabolic equation. J. Inverse Ill-Posed Probl. 3(1), 83-102 (1995) View ArticleMATHMathSciNetGoogle Scholar
  3. 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) Google Scholar
  4. Cannon, JR, Pérez, ES: An inverse problem for the heat equation. Inverse Probl. 2(4), 395-403 (1986) View ArticleMATHGoogle Scholar
  5. Cannon, JR, Duchateau, P: Structural identification of an unknown source term in a heat equation. Inverse Probl. 14, 535-551 (1998) View ArticleMATHMathSciNetGoogle Scholar
  6. Yamamoto, M: Conditional stability in determination of force terms of heat equations in a rectangle. Math. Comput. Model. 18(1), 79-88 (1993) View ArticleMATHGoogle Scholar
  7. 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) View ArticleMATHMathSciNetGoogle Scholar
  8. Choulli, M, Yamamoto, M: Conditional stability in determining a heat source. J. Inverse Ill-Posed Probl. 12(3), 233-243 (2004) View ArticleMATHMathSciNetGoogle Scholar
  9. 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) View ArticleMATHMathSciNetGoogle Scholar
  10. Li, GS: Data compatibility and conditional stability for an inverse source problem in the heat equation. Appl. Math. Comput. 173(1), 566-581 (2006) View ArticleMATHMathSciNetGoogle Scholar
  11. Burykin, AA, Denisov, AM: Determination of the unknown sources in the heat-conduction equation. Comput. Math. Model. 8(4), 309-313 (1997) View ArticleMATHMathSciNetGoogle Scholar
  12. Johansson, T, Lesnic, D: Determination of a spacewise dependent heat source. J. Comput. Appl. Math. 209(1), 66-80 (2007) View ArticleMATHMathSciNetGoogle Scholar
  13. 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) View ArticleMATHMathSciNetGoogle Scholar
  14. 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) MATHMathSciNetGoogle Scholar
  15. 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) View ArticleMATHMathSciNetGoogle Scholar
  16. 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) MathSciNetGoogle Scholar
  17. Wang, ZW, Liu, JJ: Identification of the pollution source from one-dimensional parabolic equation. Appl. Math. Comput. 219(8), 3400-3413 (2012) Google Scholar
  18. Yang, F, Fu, CL: A mollification regularization for the spatial-dependent heat source problem. J. Comput. Appl. Math. 255(1), 555-567 (2014) View ArticleMATHMathSciNetGoogle Scholar
  19. 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) View ArticleMATHMathSciNetGoogle Scholar
  20. Cheng, W, Ma, YJ, Fu, CL: Identifying an unknown source term in radial heat conduction. Inverse Probl. Sci. Eng. 20(3), 335-349 (2012) View ArticleMATHMathSciNetGoogle Scholar
  21. 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) View ArticleMathSciNetGoogle Scholar
  22. Lattès, R, Lions, JL: The Method of Quasi-Reversibility: Applications to Partial Differential Equations. Elsevier, New York (1969) MATHGoogle Scholar
  23. Eldén, L: Approximations for a Cauchy problem for the heat equation. Inverse Probl. 3(2), 263-273 (1987) View ArticleMATHGoogle Scholar
  24. Qian, Z, Fu, CL, Xiong, XT: A modified method for a nonstandard inverse heart conduction problem. Appl. Math. Comput. 180(2), 453-468 (2006) View ArticleMATHMathSciNetGoogle Scholar
  25. Dang, DT, Nguyen, NI: Regularization and error estimates for nonhomogeneous backward heat problems. Electron. J. Differ. Equ. 2006, 4 (2006) MathSciNetGoogle Scholar
  26. 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) View ArticleMATHMathSciNetGoogle Scholar
  27. 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) View ArticleMATHMathSciNetGoogle Scholar
  28. 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) View ArticleMATHMathSciNetGoogle Scholar
  29. Abramowitz, M, Stegun, IA: Handbook of Mathematical Functions. Dover, New York (1972) MATHGoogle Scholar
  30. Engl, HW, Hanke, M, Neubauer, A: Regularization of Inverse Problems. Mathematics and Its Applications, vol. 375. Kluwer Academic, Dordrecht (1996) View ArticleMATHGoogle Scholar

Copyright

© Cheng; licensee Springer. 2015