1 Introduction
Inverse source problems occur in many branches of engineering sciences, for example, heat conduction, reaction diffusion, pollutant detection, crack identification, geophysical prospecting and electromagnetic theory. These problems are typically ill-posed in the sense of Hadamard [1]. In other words, the solution (if it exists) does not depend continuously on measured data. So, the numerical simulation is very difficult and some special regularization methods and stability estimates are required.
The inverse source problems have been investigated in many papers; for example, the existence and uniqueness of the solution were investigated in [2, 3], the conditional stability and the data compatibility were studied in [4‐10], and the numerical algorithms for the identification problem can be found in [11‐17]. In [18], Yang and Fu solved an inverse problem for determining a heat source in a parabolic equation by a mollification regularization method, and they gave two kinds of explicit error estimates by using an a priori and an a posteriori regularization parameter choice rule, respectively. In [19], Wei and Wang used a modified quasi-boundary value method to deal with an inverse source problem of the time-fractional diffusion equation and provided two kinds of convergence rates. Cheng et al. in [20] solved the identification of an unknown source term in radial heat conduction by a spectral method and gave a logarithmic-type error estimate. Yang et al. in [21] applied a quasi-boundary value regularization method for identifying an unknown source in the Poisson equation. However, to our knowledge, the research into the inverse source identification problem is mainly devoted to numerical methods. The stability theory with explicit error estimate for the problem is still limited.
Anzeige
In this paper, we apply a modified quasi-reversibility method to deal with an inverse source identification problem of a radially symmetric parabolic equation and obtain a Hölder-type error estimate between the approximate solution and the exact solution. The physical model we considered is a sphere of radius \(r_{0}\) with initial state, and it is considered radially symmetric and with the surface state distribution function remaining zero. The correspondingly mathematical model is the following radially symmetric parabolic equation:
with the boundary conditions
and the initial condition and final observation at \(t=T\),
where r denotes the radial coordinate, u represents state function, and f is physical laws, which means source term here. The inverse source identification problem (1.1)-(1.3) is to determine the unknown source term \(f(r)\) from the noisy final data \(g(r)\).
$$ \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)
$$ u(r_{0},t)=0,\qquad \lim_{r\to0}u(r,t) \mbox{ bounded},\quad 0\le t\le T, $$
(1.2)
$$ u(r,0)=0,\qquad u(r,T)=g(r), \quad 0\le r\le r_{0}, $$
(1.3)
The quasi-reversibility method was first proposed by Lattès and Lions in [22]. This method consists in replacing the former second-order ill-posed problem into a family of well-posed fourth-order problems that depend on a regularization parameter α. The solution of quasi-reversibility is close to the exact solution when α is small. This method has been used to solve various types of inverse problems such as inverse heat conduction problem [23, 24], backward heat conduction problem [25], the Cauchy problem of Laplace equation [26, 27] and Cauchy problem for the modified Helmholtz equation [28].
In this study, we propose a modified version of quasi-reversibility method to solve the inverse source problem (1.1)-(1.3), i.e., adding a perturbation term in the parabolic equation (1.1) to form an approximate problem:
where α plays a role of regularization parameter, data \(g^{\delta}\) represents the measured data of function g. For this modification, we can obtain a Hölder-type error estimate with an a priori choice of regularization parameter.
$$ \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)
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.
Anzeige
2 Ill-posedness of problem (1.1)-(1.3)
In this section, we derive an analytical solution for the inverse source problem by the eigenfunction expansion and analyze the ill-posedness of inverse source problem (1.1)-(1.3). Throughout this paper, we denote by \(L^{2}[0,r_{0}; r^{2}]\) the Hilbert space of Lebesgue measurable functions h with weight \(r^{2}\) on \([0,r_{0}]\), and \((\cdot,\cdot)\) and \(\|\cdot\|\) denote the inner product and the norm on \(L^{2}[0,r_{0}; r^{2}]\), respectively, with the norm
If the solution of problem (1.1)-(1.3) exists, then it must be unique, which will be given in Section 3.
$$ \|h\|= \biggl(\int^{r_{0}}_{0}r^{2}\bigl\vert h(r)\bigr\vert ^{2} \,dr \biggr)^{\frac{1}{2}}. $$
Applying separation of variables, we can obtain the eigenvalues and corresponding eigenfunctions of problem (1.1)-(1.3):
where \(j_{0}(x)=\frac{\sin x}{x}\) denotes a spherical Bessel function of the first kind [29]. Then, using the eigenfunction method, we suppose that the solution \(u(r, t)\) and nonhomogeneous term \(f(r)\) of problem (1.1)-(1.3) can be represented as follows:
Applying the properties of \(j_{0}(x)\), the eigenfunctions system \(j_{0} (\frac{n\pi r}{r_{0}} )\) is complete and orthogonal with weight \(r^{2}\) on \([0,r_{0}]\). Substituting (2.1) and (2.2) into equation (1.1) and the initial condition in (1.2), we have that \(u_{n}(t)\) satisfies
Solving this initial problem yields
Combining (2.1) with (2.4), we have
From (1.2) at \(t=T\),
Thus, there holds
since
then formula (2.5) becomes
Define
this eigenfunctions system is orthonormal with weight \(r^{2}\) on \([0,r_{0}]\) and a complete system in \(L^{2}[0,r_{0}; r^{2}]\). Combining (2.6) with (2.8), formula (2.7) can be rewritten as
In practical applications, the input data g can only be measured, so we actually have the measured data function \(g^{\delta}(\cdot)\) which belongs to \(L^{2}[0,r_{0};r^{2} ]\) and satisfies
where \(\delta>0\) denotes the noise level.
$$ \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, $$
$$\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)
$$ \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)
$$ 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)
$$ 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). $$
$$ 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)
$$ 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)
$$ \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), $$
$$ 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)
$$ \varphi_{n}(r)=\frac{\sqrt{2} n\pi}{\sqrt{r_{0}^{3}}} j_{0} \biggl(\frac{n\pi r}{r_{0}} \biggr), $$
(2.8)
$$ 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)
$$ \bigl\Vert g-g^{\delta}\bigr\Vert \le\delta, $$
(2.10)
We introduce an operator \(K:f(\cdot)\rightarrow g(\cdot)\), then we have
It is easy to see that K is linear self-adjoint compact operator with eigenvalues
and eigenelements \(\varphi_{n}\). From formula (2.11), we have
then
Since the eigenvalues \(k_{n}\) of the operator K decay, we realize that problem (1.1)-(1.3) is an ill-posed problem.
$$ 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)
$$ k_{n}= \biggl(\frac{r_{0}}{n\pi} \biggr)^{2} \bigl(1-e^{- (\frac{n\pi }{r_{0}} )^{2}T} \bigr) $$
(2.12)
$$ (g, \varphi_{n})=(f,\varphi_{n}) k_{n}, $$
$$ 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)
It is well known that for any ill-posed problems an a priori bound assumption for the exact solution is needed and necessary. Otherwise, the convergence of the regularized approximation solution will not be obtained or the convergence rate can be arbitrarily slow [30]. Assume also that there exists an a priori condition for problem (1.1)-(1.3):
where \(\|f\|_{p}\) is defined by
$$ \|f\|_{p}\le E,\quad p>0 , $$
(2.14)
$$ \|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
Proof
Put \(\tilde{u}=u_{1}-u_{2}\), \(\tilde{f}=f_{1}-f_{2}\), it is easy to know that \(\tilde{u}\) satisfies
We now introduce a function
where
According to formulas (3.1)-(3.3), we can obtain that the function \(\nu(r, t)\) satisfies
From (3.4)-(3.6), we have
Thus,
i.e.,
So there holds \(\nu(r_{0}, t)=C(t)\). Combining this with (3.5) yields
From (3.7) and (3.6), we get
and
Differentiating (3.9) with respect to r, we obtain \(\tilde{f}\equiv0\). Substituting (3.7) and (3.8) into (3.2) yields \(\tilde{u}\equiv0\). The uniqueness of inverse source problem (1.1)-(1.3) is proved. □
$$ \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)
$$ \nu(r, t)=\tilde{u}(r, t)+F(r), $$
(3.2)
$$ 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)
$$\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)
$$\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}$$
$$ \nu^{2}_{r}=0, $$
$$ \nu(r, t)=C(t),\quad 0\leq r\leq r_{0}. $$
$$ \nu(r, t)\equiv0, \quad (r, t)\in[0, r_{0}] \times[0, T]. $$
(3.7)
$$ F(r)\equiv0,\quad (r, t)\in[0, r_{0}] \times[0, T] $$
(3.8)
$$ \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)
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:
The proof is completed. □
$$\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}$$
4 Modified quasi-reversibility method and error estimate
In this section, we propose a modified quasi-reversibility method to solve problem (1.1)-(1.3) and give a Hölder-type error estimate with some technical inequalities and an a priori regularization parameter choice rule.
Let \((u^{\delta}_{\alpha}(r,t), f^{\delta}_{\alpha}(r))\) be the solution of the following regularized problem:
where \(\alpha>0\) is a regularization parameter.
$$ \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)
Similar to the derivation process of formula (2.13), we can obtain the solution of problem (4.1) as follows:
We call \(f^{\delta}_{\alpha}(r)\) above the quasi-reversibility approximations of the solution \(f(r)\) of problem (1.1)-(1.3).
$$ f^{\delta}_{\alpha}(r)= \sum ^{\infty}_{n=1} \frac{k_{n}^{-1}}{1+\alpha n^{2}}(g^{\delta},\varphi_{n}) \varphi_{n}. $$
(4.2)
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
The proof of (4.4) is divided into two cases.
$$ \psi(n)=\frac{\alpha n^{2}}{1+\alpha n^{2}}\bigl(1+n^{2} \bigr)^{-\frac{p}{2}}. $$
(4.5)
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
If \(0< p<2\), inequality (4.7) becomes
If \(p\geq2\), we obtain
According to (4.5)-(4.9), the proof of (4.4) is completed. □
$$ \psi(n)\leq\alpha n^{2}\bigl(1+n^{2} \bigr)^{-\frac{p}{2}}. $$
(4.7)
$$ \psi(n)\leq\alpha n^{2}\cdot n^{-p}\leq \alpha^{\frac{p}{2}}. $$
(4.8)
$$ \psi(n)\leq\frac{\alpha n^{2}}{1+n^{2}}\leq\alpha. $$
(4.9)
Theorem 4.3
Let
\(f(r)\)
given by (2.13) be the exact source history for
\(r\in[0,r_{0}]\)
and
\(f^{\delta}_{\alpha}(r)\)
given by (4.2) be the regularized approximation source to
\(f(r)\). Suppose that the a priori condition (2.14) and the noise assumption (2.10) hold, then:
(1)
If
\(0< p<2\)
and select the regularization parameter
\(\alpha= (\frac{\delta}{E} )^{\frac{2}{p+2}}\), there holds the stability estimate
$$ \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert \le \biggl(1+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} \biggr) E^{\frac{2}{p+2}} \delta^{\frac{p}{p+2}}. $$
(4.10)
(2)
If
\(p\geq2\)
and choose the regularization parameter
\(\alpha= (\frac{\delta}{E} )^{\frac{1}{2}}\), there holds the stability estimate
$$ \bigl\Vert f(\cdot)-f^{\delta}_{\alpha}(\cdot)\bigr\Vert \le \biggl(1+\frac{\pi^{2}e^{(\pi/r_{0})^{2}T}}{r_{0}^{2}(e^{(\pi/r_{0})^{2}T}-1)} \biggr) E^{\frac{1}{2}} \delta^{\frac{1}{2}}. $$
(4.11)
Proof
Due to (2.13) and (4.2), there holds
Combining with conditions (2.10), (2.14) and inequalities (4.3), (4.4), we obtain
Choose the regularization parameter α by
Thus, we have
The proof is completed. □
$$\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}$$
$$ \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 . $$
$$ \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 . $$
$$ \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 . $$
Remark 4.4
In general, the a priori bound E is unknown in practice. In this case, for Theorem 4.3, with
the following stability estimates hold:
where E is only a bounded positive constant and it is not necessary to know it exactly.
$$ \alpha=\left \{ \begin{array}{l@{\quad}l} \delta^{\frac{2}{p+2}},&0< p<2, \\ \delta^{\frac{1}{2}},&p\geq2, \end{array} \right . $$
$$ \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 . $$
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.
Competing interests
The author declares that she has no competing interests.