Skip to main content

Theory and Modern Applications

Identification of source term for the ill-posed Rayleigh–Stokes problem by Tikhonov regularization method

Abstract

In this paper, we study an inverse source problem for the Rayleigh–Stokes problem for a generalized second-grade fluid with a fractional derivative model. The problem is severely ill-posed in the sense of Hadamard. To regularize the unstable solution, we apply the Tikhonov method regularization solution and obtain an a priori error estimate between the exact solution and regularized solutions. We also propose methods for both a priori and a posteriori parameter choice rules. In addition, we verify the proposed regularized methods by numerical experiments to estimate the errors between the regularized and exact solutions.

1 Introduction

In this paper, we consider the Rayleigh–Stokes problem for a generalized second-grade fluid model with fractional derivative

$$ \textstyle\begin{cases} \partial _{t} u-(1+\gamma \partial _{t}^{\alpha })\Delta u = f(x) \chi (t), & (x,t) \in \varOmega \times (0,T), \\ u(x,t)=0, & x \in \partial {\varOmega }, \\ u(x,0) = u_{0}(x), & x \in {\varOmega }, \\ u(x,T) = g(x), & x \in {\varOmega }, \end{cases} $$
(1.1)

where \(\varOmega \subset \mathbb{R}^{d}\) (\(d=1,2,3\)) is a smooth domain with boundary ∂Ω, and \(T>0\) is a given time. Here \(\gamma >0\) is a constant, \(u_{0}\) is the initial data in \(L^{2}( \varOmega )\), \(\partial _{t}=\partial /\partial t\), and \(\partial _{t}^{ \alpha }\) is the Riemann–Liouville fractional derivative of order \(\alpha \in (0,1)\) defined by [1, 2]

$$ \partial _{t}^{\alpha }f(t)=\frac{d}{d t} \int _{0}^{t} \omega _{1-\alpha }(t-s)f(s) \,ds, \quad \omega _{\alpha }(t)=\frac{t^{\alpha -1}}{\varGamma (\alpha )}. $$

Based on our search results, recently, the Rayleigh–Stokes problem is studied by many authors with many different approaches such as

The Rayleigh–Stokes problem (1.1) plays an important role in describing the behavior of some non-Newtonian fluids [3]. The direct problems, i.e., initial and boundary value problems for the Rayleigh–Stokes problem, have been studied in [3]. Numerical solutions of Rayleigh–Stokes problem for a heated generalized second-grade fluid with fractional derivatives have been considered and developed in some previous papers by Dehghan et al. [4,5,6,7]. Many various numerical methods, such as the finite element method, have been applied for solving the forward problem for Rayleigh–Stokes equation, for example, in [3, 8,9,10]. In [3] the authors considered a fractional derivative anomalous diffusion model.

In practical problems, most of fluid flows and transport processes are distributed parameters, where the parameters used in the modeling equations, such as physical parameters, sink/source terms, initial and boundary conditions, and so on, are not easily obtained from the observations. To deal with this matter, the inverse problem of parameter identification has been applied.

The inverse source problem for fractional diffusion have many important applications in physical practice. Some works on well-posedness of the inverse source problem have been studied by Kirane et al. [11] and Tatar et al. [12]. Triet et al. [13] study the inverse source problem for the Rayleigh–Stokes problem with a fractional derivative model. To regularize the unstable solution, the authors apply a general filter method for constructing regularized solution, and the convergence rate of this method also has been investigated. The fractional derivative model is also studied by Dumitru et al. (see [14,15,16,17,18]).

The latter observation has been considered in many previous studies on linear inverse problems, such as [19,20,21]. Consequently, the spectral method studied in [19,20,21] is a special result obtained by choosing a specific filter.

To the best of our knowledge, the research results on inverse problems of the Rayleigh–Stokes problem are still limited. The research works do not deal much with regularization of ill-posed problems. Especially, the evaluation of a priori and a posteriori parameters have not been considered. Problem (1.1) is the forward problem when the source function \(F = F(x, t)\) is appropriately given whereas an inverse source problem based on problem (1.1) is determining the source term F at a previous time from its value \(u(x,T)=g(x)\) given at the final time T, where \(g \in H^{2}(\varOmega ) \cap H_{0}^{1}( \varOmega )\).

In this work, we give another way for approaching the ill-posedness of an inverse source problem. We deliver a Tikhonov regularization method to consider the above Gaussian random model. The right-hand side is a function represented in the form of variable separation. To determine the source term \(f(x)\), we require the following assumptions: The functions \((g,F)\) are approximated by the noisy observation data \((g^{\varepsilon },F^{\varepsilon })\) such that

$$\begin{aligned} & \bigl\Vert g-g^{\epsilon } \bigr\Vert _{L^{2}(\varOmega )}\le \epsilon , \quad\quad \bigl\Vert \chi -\chi ^{\epsilon } \bigr\Vert _{C[0,T]} \le \epsilon , \end{aligned}$$
(1.2)
$$\begin{aligned} &\chi _{0} \le \chi (t),\chi ^{\epsilon }(t) \le \chi _{1},\quad \forall t \in [0,T]. \end{aligned}$$
(1.3)

This paper is organized as follows. In Sect. 2, we introduce some notations on Gaussian random models. The main results are given in Sect. 3, including the Tikhonov regularization method and its stability estimates under a priori and a posteriori parameters.

2 Regularization of the inverse source problem by the Tikhonov method

2.1 Preliminaries

In this section, we introduce some useful definitions and preliminary results.

Definition 2.1

Let \(\lbrace \lambda _{p}, \phi _{p} \rbrace \) be the eigenvalues and corresponding eigenvectors of the Laplacian operator −Δ in Ω. The family of eigenvalues \(\lbrace \lambda _{p} \rbrace _{p=1}^{\infty } \) satisfy \(0<\lambda _{1}\leq \lambda _{2} \leq \cdots \leq \lambda _{p} \leq \cdots \) , where \(\lambda _{p} \to \infty \) as \(p \to \infty \):

$$\begin{aligned} \textstyle\begin{cases} \Delta \phi _{p}(x)=-\lambda \phi _{p}(x), & x \in \varOmega , \\ \phi _{p}(x)=0, & x \in \partial \varOmega . \end{cases}\displaystyle \end{aligned}$$

Definition 2.2

For \(k>0\), we define

$$\begin{aligned} H^{k}(\varOmega ) := \Biggl\{ v\in L^{2}(\varOmega ); \sum_{p=1}^{\infty } \lambda _{p}^{k} \bigl\vert \langle v,\phi _{p} \rangle \bigr\vert ^{2}< + \infty \Biggr\} \end{aligned}$$
(2.1)

equipped with the norm

$$\begin{aligned} \Vert v \Vert _{H^{k}(\varOmega )}= \Biggl( \sum_{n=1}^{\infty } \lambda _{p}^{k} \bigl\vert \langle v,\phi _{p} \rangle \bigr\vert ^{2} \Biggr)^{\frac{1}{2}}. \end{aligned}$$

Applying an eigenfunction expansion, the solution of the Rayleigh–Stokes problem is obtain in the from

$$\begin{aligned} u(x,t) = \sum_{p=1}^{+\infty } { \mathcal{H}}_{p}(\alpha ,t) \bigl\langle u_{0}(x),\phi _{p}(x) \bigr\rangle + \sum_{p=1}^{\infty } \biggl( \int _{0}^{t} {\mathcal{H}}_{p}( \alpha ,t-s) \chi (s) \,ds f_{p}(x) \biggr) \phi _{p}(x), \end{aligned}$$
(2.2)

where \(F_{p}(s) = \chi (s) \langle f(x),\phi _{p}(x) \rangle \), and \({\mathcal{H}} _{p}(\alpha ,t)\) satisfies the equation

$$\begin{aligned} \textstyle\begin{cases} \frac{d}{dt} {\mathcal{H}}_{p}(\alpha ,t) + \lambda _{p} ( 1 + \gamma \partial _{t}^{\alpha } ) {\mathcal{H}}_{p}(\alpha ,t) = 0,\quad t \in (0,T), \\ {\mathcal{H}}_{p}(\alpha ,0) = 1. \end{cases}\displaystyle \end{aligned}$$
(2.3)

Taking \(t = T\) and \(u_{0}=0\), we get

$$\begin{aligned}& \begin{aligned}[b] g(x) &= \sum_{p=1}^{\infty } \biggl[ \int _{0}^{T} {\mathcal{H}} _{p}( \alpha ,T-s) F_{p}(s) \,ds \biggr] \phi _{p}(x) \\&=\sum _{p=1}^{\infty } \biggl[ \int _{0}^{T} {\mathcal{H}}_{p}( \alpha ,T-s) \chi (s) \,ds \biggr] f_{p} \phi _{p}(x), \end{aligned} \end{aligned}$$
(2.4)

where \(F_{p}(s)= \chi (s) f_{p}\). Hence the source function f is given by the Fourier series

$$ f(x)= \sum_{p=1}^{\infty }f_{p} \phi _{p}(x)= \sum_{p=1}^{\infty } \frac{ \langle g(x), \phi _{p}(x) \rangle }{ \int _{0}^{T} {\mathcal{H}}_{p}(\alpha ,T-s) \chi (s) \,ds } \phi _{p}(x) . $$
(2.5)

Using [22], we obtain

$$ \mathcal{L} \bigl({\mathcal{H}}_{p}(\alpha ,t) \bigr) = \frac{1}{ t + \gamma \lambda _{p} t^{\alpha } +\lambda _{p} }. $$
(2.6)

Lemma 2.3

The functions \({\mathcal{H}}_{p}(\alpha ,t)\), \(p=1,2,\ldots \) , are equal to

$$ {\mathcal{H}}_{p}(\alpha ,t)= \int _{0}^{\infty }e^{-rt}K_{p}( \alpha ,r) \,dr, $$

where

$$ K_{p}(\alpha ,r)=\frac{\gamma }{\pi } \frac{\lambda _{p} r^{\alpha } \sin \alpha \pi }{ (-r+\lambda _{p} \gamma r^{\alpha }\cos \alpha \pi +\lambda _{p} )^{2}+ (\lambda _{p} \gamma r^{\alpha }\sin \alpha \pi )^{2}}. $$

Proof

See [22]. □

In the following lemma, we present a useful estimate.

Lemma 2.4

Let \(\alpha \in (\frac{1}{2}, 1)\). We have the following estimate for all \(t \in [0,T]\):

$$\begin{aligned} {\mathcal{H}}_{p}(\alpha ,t) \ge \frac{C(\gamma ,\alpha ,\lambda _{1}) }{\lambda _{p}} , \end{aligned}$$
(2.7)

and there exists \(\mathcal{D}\) such that

$$ \int _{0}^{T} \bigl\vert { \mathcal{H}}_{p}(\alpha ,t) \bigr\vert ^{2} \,dt \le \frac{ \mathcal{D}^{2}}{\lambda _{p}^{2}} \frac{T^{2\alpha -1}}{2\alpha -1}, $$
(2.8)

where

$$ C(\gamma ,\alpha ,\lambda _{1}) = \gamma \sin (\alpha \pi ) \int _{0}^{+\infty } \frac{ e^{-rT} r^{\alpha } \,dr }{\gamma ^{2} r^{2\alpha } + \frac{r^{2}}{\lambda _{1}^{2}} + 1 } . $$
(2.9)

Proof

See [23]. □

Lemma 2.5

From (2.7) of Lemma 2.4 we get

$$\begin{aligned} \int _{0}^{T} \mathcal{H}_{p}( \alpha ,T-s) \,ds \ge \int _{0}^{T} \frac{C( \gamma ,\alpha ,\lambda _{1}) }{\lambda _{p}} \,ds = \frac{T C(\gamma , \alpha ,\lambda _{1}) }{\lambda _{p}} . \end{aligned}$$
(2.10)

Next, from (2.10) by putting \(\inf_{t \in [0,T] } \vert \chi ^{\epsilon }(t) \vert = \chi _{0}\) we have

$$\begin{aligned} \frac{1}{\int _{0}^{T} {\mathcal{H}}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds} \le \frac{1}{\chi _{0}} \frac{1}{ \int _{0}^{T} {\mathcal{H}}_{p}(\alpha ,T-s)) \,ds } \le \frac{\lambda _{p}}{ \chi _{0} TC(\gamma ,\alpha ,\lambda _{1})} . \end{aligned}$$
(2.11)

2.2 The ill-posedness of the inverse source problem

Theorem 2.6

The inverse source problem is ill-posed.

Proof

Define the linear operator \(\mathcal{K}:L^{2}(\varOmega ) \to L^{2}( \varOmega ) \) by

$$\begin{aligned} \mathcal{K}f(x) &= \sum_{p=1}^{\infty } \biggl[ \int _{0} ^{T} {\mathcal{H}}_{p}( \alpha ,s) \chi (s)\,ds \biggr] \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ &= \int _{\varOmega }k(x,\omega )f(\omega )\,d\omega , \end{aligned}$$
(2.12)

where

$$ k(x,\omega ) = \sum_{p=1}^{\infty } \biggl[ \int _{0}^{T} {\mathcal{H}}_{p}( \alpha ,s) \chi (s)\,ds \biggr] \phi _{p}(x)\phi _{p}( \omega ). $$

Since \(k(x,\omega ) = k(\omega ,x)\), \(\mathcal{K}\) is a self-adjoint operator. Next, we will prove its compactness. Define the finite rank operators \(\mathcal{K}_{N}\) by

$$\begin{aligned} \mathcal{K}_{N}f(x) = \sum _{p=1}^{N} \biggl[ \int _{0}^{T} {\mathcal{H}}_{p}( \alpha ,s) \chi (s)\,ds \biggr] \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \phi _{p}(x). \end{aligned}$$
(2.13)

Then from (2.12) and (2.13) we have

$$\begin{aligned} \Vert \mathcal{K}_{N}f - \mathcal{K}f \Vert ^{2}_{L^{2}(\varOmega )} &= \sum_{p=N+1}^{\infty } \biggl[ \int _{0}^{T} {\mathcal{H}}_{p}( \alpha ,T-s) \chi (s)\,ds \biggr]^{2} \bigl\vert \bigl\langle f(x), \phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\le \Vert \chi \Vert _{C([0,T])}^{2} \sum _{p=N+1}^{\infty } \frac{ \mathcal{D}^{2}}{\lambda _{p}^{2}} \frac{T^{2\alpha -1}}{2\alpha -1} \bigl\vert \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\le \Vert \chi \Vert _{C([0,T])}^{2} \frac{\mathcal{D}^{2}}{\lambda _{N}^{2}} \frac{T^{2\alpha -1}}{2\alpha -1} \sum_{p=N+1}^{\infty } \bigl\vert \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2}. \end{aligned}$$

This implies that

$$\begin{aligned} \Vert \mathcal{K}_{N}f - \mathcal{K}f \Vert _{L^{2}(\varOmega )} \le \Vert \chi \Vert _{C[0,T]} \frac{DT^{\alpha -\frac{1}{2}}}{\lambda _{N}\sqrt{2\alpha -1}} \Vert f \Vert _{L^{2}(\varOmega )}. \end{aligned}$$
(2.14)

Therefore \(\Vert \mathcal{K}_{N} - \mathcal{K} \Vert \to 0\) in the sense of operator norm in \(L(L^{2}(\varOmega );L^{2}(\varOmega ))\) as \(N \to \infty \). Also, \(\mathcal{K}\) is a compact operator. Next, the singular values for the linear self-adjoint compact operator \(\mathcal{K}\) are

$$\begin{aligned} \psi _{p} = \int _{0}^{T} {\mathcal{H}}_{p}( \alpha ,T-s) \chi (s)\,ds, \end{aligned}$$
(2.15)

and the corresponding eigenvectors \(\phi _{p}\) form an orthonormal basis in \(L^{2}(\varOmega )\). From (2.12), the inverse source problem we introduced can be formulated as the operator equation

$$\begin{aligned} \mathcal{K} f(x)=g(x), \end{aligned}$$
(2.16)

and by Kirsch [24] we conclude that it is ill-posed. To illustrate ill-posed problems, we present an example. Let us choose the input final data \(g^{k}(x) = \frac{\phi _{k}(x) }{\sqrt{\lambda _{k}}} \). By (2.5) the source term corresponding to \(g^{k}\) is

$$\begin{aligned} f^{k}(x) &= \sum_{p=1}^{\infty } \frac{ \langle g^{k}(x),\phi _{p}(x) \rangle }{ \int _{0}^{T} {\mathcal{H}}_{p}(\alpha ,T-s) \chi (s)\,ds } \phi _{p}(x) =\sum _{p=1}^{\infty }\frac{ \langle \frac{\phi _{k}(x) }{\sqrt{\lambda _{k}}},\phi _{p}(x) \rangle }{ \int _{0}^{T} {\mathcal{H}} _{p}(\alpha ,T-s) \chi (s)\,ds } \phi _{p}(x) \\ &= \frac{\phi _{k}(x) }{ \sqrt{\lambda _{k}} \int _{0}^{T} {\mathcal{H}}_{p}(\alpha ,T-s) \chi (s)\,ds } . \end{aligned}$$
(2.17)

Let us choose the other input final data \(g=0\). By (2.5) the source term corresponding to g is \(f=0\). The error in \(L^{2}\)-norm between two input final data is

$$\begin{aligned} \bigl\Vert g^{k}-g \bigr\Vert _{L^{2}(\varOmega )}= \frac{1}{\sqrt{\lambda _{k}} } . \end{aligned}$$
(2.18)

Therefore

$$\begin{aligned} \lim_{k \to +\infty } \bigl\Vert g^{k}-g \bigr\Vert _{L^{2}(\varOmega )}= \lim_{k \to + \infty } \frac{1}{\sqrt{\lambda _{k}} }=0, \end{aligned}$$
(2.19)

and the error in \(L^{2}\) norm between the corresponding source terms is

$$\begin{aligned} \bigl\Vert f^{k}-f \bigr\Vert ^{2}_{L^{2}(\varOmega )}= \frac{1}{\lambda _{k} ( \int _{0}^{T} {\mathcal{H}}_{p}(\alpha ,T-s) \chi (s)\,ds ) ^{2} }. \end{aligned}$$
(2.20)

Hence

$$\begin{aligned} \bigl\Vert f^{k}-f \bigr\Vert _{L^{2}(\varOmega )}= \frac{1}{\sqrt{\lambda _{k}} \int _{0}^{T} {\mathcal{H}}_{p}(\alpha ,T-s) \chi (s)\,ds } . \end{aligned}$$
(2.21)

From (2.21), combined with Lemma 2.4, we have

$$\begin{aligned} \int _{0}^{T} {\mathcal{H}_{p}}( \alpha ,T-s) \chi (s)\,ds \le \Vert \chi \Vert _{C[0,T]} \frac{\mathcal{D}}{\lambda _{N}} \frac{T^{\alpha - \frac{1}{2}}}{\sqrt{2\alpha -1}} . \end{aligned}$$
(2.22)

We obtain

$$\begin{aligned} \bigl\Vert f^{k}-f \bigr\Vert _{L^{2}(\varOmega )} \ge \frac{\sqrt{\lambda _{k}} }{ \mathcal{D} \Vert \chi \Vert _{C[0,T]} } \biggl( \frac{\sqrt{2\alpha -1} }{T ^{\alpha - \frac{1}{2}}} \biggr) . \end{aligned}$$
(2.23)

Since \(\alpha >\frac{1}{2}\), this leads to

$$\begin{aligned} \lim_{k \to +\infty } \bigl\Vert f^{k}-f \bigr\Vert _{L^{2}(\varOmega )} > \lim_{k \to + \infty } \frac{\sqrt{\lambda _{k}} }{\mathcal{D} \Vert \chi \Vert _{C[0,T]} } \biggl( \frac{ \sqrt{2\alpha -1} }{T^{\alpha - \frac{1}{2}}} \biggr) = + \infty . \end{aligned}$$
(2.24)

Combining (2.19) and (2.24), we conclude that the inverse source problem is ill-posed. □

2.3 Conditional stability of source term f

In this section, we introduce a conditional stability estimate of this inverse source problem. We impose the following a priori bound on the exact solution \(f(x)\):

$$\begin{aligned} \Vert f \Vert _{H^{k}(\varOmega )} \le E, \end{aligned}$$
(2.25)

where E and k are positive constants. We have the following:

Theorem 2.7

Let \(f\in H^{k}(\varOmega )\) be such that \(\Vert f \Vert _{H^{k}(\varOmega )} \le E\) for some \(E>0\). Then we have the estimate

$$\begin{aligned} \Vert f \Vert _{L^{2}(\varOmega )} \le \mathcal{C}(k, T) E^{\frac{1}{k+1}} \Vert g \Vert _{L^{2}(\varOmega )}^{\frac{k}{k+1}}, \end{aligned}$$

where

$$\begin{aligned} \mathcal{C}(k, T)= \frac{ 1 }{ \chi ^{\frac{k}{k+1}}_{0} T^{ \frac{k}{k+1}}C^{\frac{k}{k+1}}(\gamma ,\alpha ,\lambda _{1}) } . \end{aligned}$$
(2.26)

Proof

From (2.5), using the Hölder inequality, we have

$$\begin{aligned} \Vert f \Vert _{L^{2}(\varOmega )}^{2} &= \sum _{p=1}^{\infty } \biggl\vert \frac{ \langle g(x),\phi _{p}(x) \rangle }{ \int _{0}^{T} \mathcal{H}_{p}( \alpha ,T-s) \chi (s)\,ds } \biggr\vert ^{2} \\ &= \sum_{p=1}^{\infty } \frac{ \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{\frac{2}{k+1}} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{ \frac{2k}{k+1}} }{ \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2} } \\ &\le \Biggl[\sum_{p=1}^{\infty } \frac{ \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T} \mathcal{H}_{p}( \alpha ,T-s) \chi (s)\,ds \vert ^{2k+2} } \Biggr]^{\frac{1}{k+1}} \Biggl[ \sum _{p=1}^{\infty } \bigl\vert \bigl\langle g(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \Biggr]^{\frac{k}{k+1}} \\ &\le \Biggl[\sum_{p=1}^{\infty } \frac{ \vert \langle f(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T} \mathcal{H}_{p}( \alpha ,T-s) \chi (s)\,ds \vert ^{2k} } \Biggr]^{\frac{1}{k+1}} \Vert g \Vert _{L ^{2}(\varOmega )}^{\frac{2k}{k+1}}. \end{aligned}$$
(2.27)

Using Lemma 2.5, we have

$$\begin{aligned} \sum_{p=1}^{\infty } \frac{ \vert \langle f(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2k} } & \le \sum_{p=1}^{\infty } \frac{ \lambda _{p}^{2k} \vert \langle f(x),\phi _{p}(x) \rangle \vert ^{2} }{ \chi ^{2k}_{0} T^{2k}C^{2k}(\gamma ,\alpha ,\lambda _{1}) } \\ &= \frac{ \Vert f \Vert ^{2}_{H^{k}(\varOmega )} }{ \chi ^{2k}_{0} T^{2k}C^{2k}( \gamma ,\alpha ,\lambda _{1}) }. \end{aligned}$$
(2.28)

Combining (2.27) and (2.28), we get

$$\begin{aligned} \Vert f \Vert _{L^{2}(\varOmega )}^{2} &\le \frac{ \Vert f \Vert ^{\frac{2}{k+1}}_{H^{k}( \varOmega )} }{ \chi ^{\frac{2k}{k+1}}_{0} T^{\frac{2k}{k+1}}C^{ \frac{2k}{k+1}}(\gamma ,\alpha ,\lambda _{1}) } \Vert g \Vert _{L^{2}(\varOmega )} ^{\frac{2k}{k+1}} \\ &\le \mathcal{C}^{2}(k,T) E^{\frac{2}{k+1}} \Vert g \Vert _{L^{2}(\varOmega )} ^{\frac{2k}{k+1}} , \end{aligned}$$
(2.29)

where \(\mathcal{C}(k, T)= \frac{ 1}{ \chi ^{\frac{k}{k+1}}_{0} T^{ \frac{k}{k+1}}C^{\frac{k}{k+1}}(\gamma ,\alpha ,\lambda _{1}) } \) is a constant depending on \(C(\gamma ,\alpha ,\lambda _{1})\). □

2.4 The Tikhonov regularization method

Applying the Tikhonov regularization method, we solve the inverse source problem, which minimizes the function f in the following quantity in \(L^{2}(\varOmega )\):

$$\begin{aligned} \Vert \mathcal{K}f-g \Vert ^{2}_{L^{2}(\varOmega )} + \beta ^{2} \Vert f \Vert ^{2}_{L^{2}( \varOmega )}, \end{aligned}$$
(2.30)

and its minimized value \(f_{\beta }\) satisfies

$$\begin{aligned} \mathcal{K}^{*}\mathcal{K}f_{\beta }(x) + \beta ^{2} f_{\beta }(x) = \mathcal{K}^{*}g(x). \end{aligned}$$
(2.31)

Due to singular value decomposition for compact self-adjoint operator \(\mathcal{K}\) as in (2.15), we have

$$ f_{\beta }(x) = \sum_{p=1}^{\infty } \frac{ \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds }{ \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds \vert ^{2} } \bigl\langle g(x), \phi _{p}(x) \bigr\rangle \phi _{p}(x) . $$
(2.32)

If the observed data \((\chi ^{\epsilon }(t), g^{\epsilon }(x))\) of \((\chi (t), g(x))\) are with noise level ϵ, that is,

$$\begin{aligned} \bigl\Vert g - g^{\epsilon } \bigr\Vert _{L^{2}(\varOmega )} \le \epsilon , \quad\quad \bigl\Vert \chi - \chi ^{\epsilon } \bigr\Vert _{C[0,T]} \le \epsilon , \end{aligned}$$
(2.33)

then we can present a regularized solution as

$$ f^{\epsilon }_{\beta }(x) = \sum _{p=1}^{\infty }\frac{ \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds }{ \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds \vert ^{2} } \bigl\langle g^{\epsilon }(x), \phi _{p}(x) \bigr\rangle \phi _{p}(x) . $$
(2.34)

3 The choices of regularization parameter β and convergence results

In this section, we consider an a priori strategy and a posteriori choice rule to find the regularization parameter. Under each choice of the regularization parameter, we can obtain a convergence estimate.

3.1 An a priori choice rule

Choose the regularization parameter β. The next theorem shows that the choice β is valid under suitable assumptions.

Theorem 3.1

Let f be as in (2.5), and let the noise assumption (2.33) and the a priori condition (2.25) hold. Then the error estimate between the exact solution and its regularized solution is as follows:

  1. (a)

    If \(0 < k \le 1\), then by choosing \(\beta = (\frac{\epsilon }{E})^{ \frac{1}{k+1}}\) we have the convergence estimate

    $$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \\ &\quad \le \biggl[ \frac{5 E^{\frac{1}{k+1}}}{4 \vert \chi _{0} \vert \lambda _{1}^{k} }+ \frac{1}{2}+ \sqrt{ \biggl( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma , \alpha ,\lambda _{1}) } \biggr)^{2} +1 } \biggr] E^{\frac{1}{k+1}} \epsilon ^{\frac{k}{k+1}} . \end{aligned}$$
    (3.1)
  2. (b)

    If \(k > 1\), then by choosing \(\beta = (\frac{\epsilon }{E})^{ \frac{1}{2}}\) we have the convergence estimate

    $$\begin{aligned} \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} &\le \biggl[ \frac{5 E^{\frac{1}{2}}}{4 \vert \chi _{0} \vert \lambda _{1}^{k} }+ \frac{1}{2}+ \frac{ \lambda _{1}^{1-k} }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \biggr] E^{\frac{1}{2}} \epsilon ^{\frac{1}{2}} . \end{aligned}$$
    (3.2)

We first give two lemmas.

Lemma 3.2

Assume that (2.33) holds. Then we have the estimate

$$\begin{aligned} \bigl\Vert f_{\beta }(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \le \frac{5 \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{4 \vert \chi _{0} \vert } + \frac{ \epsilon }{2 \beta } . \end{aligned}$$
(3.3)

Proof

From (2.32) and (2.34) we have

$$\begin{aligned} f_{\beta }(x) - f_{\beta }^{\epsilon }(x) &= \sum _{p=1}^{ \infty } \biggl(\frac{\int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s) \chi (s) \,ds \vert ^{2} } \\ & \quad{} - \frac{ \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi ^{ \epsilon }(s) \,ds }{\beta ^{2} + \vert \int _{0}^{T} \mathcal{H} _{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds \vert ^{2} } \biggr) \bigl\langle g(x), \phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ & \quad{} + \sum_{p=1}^{\infty } \frac{ \int _{0}^{T}\mathcal{H} _{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds \vert ^{2} } \bigl\langle g(x) - g^{\epsilon }(x),\phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ &= \sum_{p=1}^{\infty } \frac{ \beta ^{2} \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) )\,ds }{ ( \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s) \chi (s) \,ds \vert ^{2} ) ( \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds \vert ^{2} ) } \\ & \quad{} \times \bigl\langle g(x),\phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ &\quad{} + \sum_{p=1}^{\infty } \frac{ \int _{0}^{T}\mathcal{H} _{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) )\,ds \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2}} \\ & \quad {}\times \frac{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert }{\beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2}} \bigl\langle g(x), \phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ & \quad{} + \sum_{p=1}^{\infty } \frac{ \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} } \bigl\langle g(x) - g^{\epsilon }(x),\phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ &\le \mathcal{Q}_{1} + \mathcal{Q}_{2} + \mathcal{Q}_{3}, \end{aligned}$$
(3.4)

where

$$\begin{aligned}& \begin{aligned} \mathcal{Q}_{1} &= \sum_{p=1}^{\infty } \frac{ \beta ^{2} \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) )\,ds }{ ( \beta ^{2} + \vert \int _{0} ^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds \vert ^{2} ) ( \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds \vert ^{2} ) } \\ & \quad {}\times \bigl\langle g(x),\phi _{p}(x) \bigr\rangle \phi _{p}(x), \end{aligned} \\& \begin{aligned} \mathcal{Q}_{2} &= \sum_{p=1}^{\infty } \frac{ \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) )\,ds \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2}} \\ & \quad {}\times \frac{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert }{\beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2}} \bigl\langle g(x), \phi _{p}(x) \bigr\rangle \phi _{p}(x), \end{aligned} \\& \mathcal{Q}_{3} = \sum_{p=1}^{\infty } \frac{ \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} } \bigl\langle g(x) - g^{\epsilon }(x),\phi _{p}(x) \bigr\rangle \phi _{p}(x). \end{aligned}$$

We continue estimating the error in three steps.

Step 1. Estimate of \(\Vert \mathcal{Q}_{1} \Vert _{L^{2}(\varOmega )}\). Using the inequality \(a^{2}+b^{2} \ge 2ab\), \(a,b \ge 0\), we get

$$\begin{aligned} & \Vert \mathcal{Q}_{1} \Vert ^{2}_{L^{2}(\varOmega )} \\ &\quad \le \sum_{p=1}^{\infty } \biggl[ \frac{ \beta ^{2} \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) )\,ds }{ ( \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s)\chi (s)\,ds \vert ^{2} ) ( \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} ) } \biggr]^{2} \\ & \quad \quad{} \times \bigl\vert \bigl\langle g(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\quad \le \sum_{p=1}^{\infty } \frac{ \vert \beta ^{2} \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) ) \,ds \vert ^{2} }{ 16 \beta ^{4} \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s)\chi (s)\,ds \vert ^{2} \vert \int _{0}^{T}\mathcal{H} _{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} } \bigl\vert \bigl\langle g(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\quad \le \sum_{p=1}^{\infty } \frac{ \Vert \chi - \chi ^{\epsilon } \Vert ^{2}_{C[0,T]} \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\,ds \vert ^{2} }{ 16 \vert \chi _{0} \vert ^{2} \vert \int _{0}^{T}\mathcal{H} _{p}(\alpha ,T-s) \,ds \vert ^{2} } \frac{ \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds \vert ^{2} } \\ &\quad \le \frac{ \Vert \chi - \chi ^{\epsilon } \Vert ^{2}_{C[0,T]} }{ 16 \vert \chi _{0} \vert ^{2} } \sum_{p=1}^{\infty } \bigl\vert \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} = \frac{ \Vert \chi - \chi _{\epsilon } \Vert ^{2}_{C[0,T]} }{ 16 \vert \chi _{0} \vert ^{2} } \Vert f \Vert _{L^{2}(\varOmega )}^{2} . \end{aligned}$$
(3.5)

Hence

$$\begin{aligned} \Vert \mathcal{Q}_{1} \Vert _{L^{2}(\varOmega )} & \le \frac{ \Vert \chi - \chi ^{ \epsilon } \Vert _{C[0,T]} \Vert f \Vert _{L^{2}(\varOmega )} }{ 4 \vert \chi _{0} \vert } \le \frac{ \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{ 4 \vert \chi _{0} \vert } . \end{aligned}$$
(3.6)

Step 2. Estimate of \(\Vert \mathcal{Q}_{2} \Vert _{L^{2}(\varOmega )}\). We have

$$\begin{aligned} & \Vert \mathcal{Q}_{2} \Vert ^{2}_{L^{2}(\varOmega )} \\ &\quad \le \sum_{p=1}^{\infty } \biggl[ \frac{ \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) )\,ds \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert }{ \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2}} \\ & \quad\quad{} \times \frac{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert }{\beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2}} \biggr]^{2} \bigl\vert \bigl\langle g(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\quad \le \sum_{p=1}^{\infty } \frac{ (\int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) (\chi (s) - \chi ^{\epsilon }(s) ) \,ds )^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2} \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} } \bigl\vert \bigl\langle g(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\quad \le \sum_{p=1}^{\infty } \frac{ \Vert \chi - \chi ^{\epsilon } \Vert ^{2}_{C[0,T]} (\int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\,ds )^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s) \,ds \vert ^{2} } \frac{ \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2} } \\ &\quad \le \sum_{p=1}^{\infty } \frac{ \Vert \chi - \chi ^{\epsilon } \Vert ^{2}_{C[0,T]} }{ \vert \chi _{0} \vert ^{2} } \frac{ \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2} } \\ &\quad \le \frac{ \Vert \chi - \chi ^{\epsilon } \Vert ^{2}_{C[0,T]} }{ \vert \chi _{0} \vert ^{2} } \sum_{p=1}^{\infty } \bigl\vert \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2}= \frac{ \Vert \chi - \chi ^{\epsilon } \Vert ^{2}_{C[0,T]} }{ \vert \chi _{0} \vert ^{2} } \Vert f \Vert ^{2}_{L^{2}(\varOmega )}. \end{aligned}$$

Hence

$$\begin{aligned} \Vert \mathcal{Q}_{2} \Vert _{L^{2}(\varOmega )} & \le \frac{ \Vert \chi - \chi ^{ \epsilon } \Vert _{C[0,T]} }{ \vert \chi _{0} \vert } \Vert f \Vert _{L^{2}(\varOmega )} \le \frac{ \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{ \vert \chi _{0} \vert } . \end{aligned}$$
(3.7)

Step 3. Estimate of \(\Vert \mathcal{Q}_{3} \Vert _{L^{2}(\varOmega )}\).

$$\begin{aligned} \Vert \mathcal{Q}_{3} \Vert ^{2}_{L^{2}(\varOmega )} & \le \sum_{p=1}^{ \infty } \biggl( \frac{ \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds}{ \beta ^{2} + (\int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds )^{2} } \bigl\langle g(x)- g^{\epsilon }(x),\phi _{p}(x) \bigr\rangle \biggr)^{2} \\ &\le \frac{1}{4\beta ^{2}} \sum_{p=1}^{\infty } \bigl\vert \bigl\langle g(x) - g^{\epsilon }(x) , \phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &= \frac{1}{4\beta ^{2}} \bigl\Vert g - g^{\epsilon } \bigr\Vert ^{2}_{L^{2}(\varOmega )} \le \frac{\epsilon ^{2}}{4 \beta ^{2}} . \end{aligned}$$
(3.8)

Hence

$$\begin{aligned} \Vert \mathcal{Q}_{3} \Vert _{L^{2}(\varOmega )} &\le \frac{\epsilon }{2\beta }. \end{aligned}$$
(3.9)

Combining (3.6), (3.7), and (3.9), we get

$$\begin{aligned} \bigl\Vert f_{\beta }(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} &\le \Vert \mathcal{Q}_{1} \Vert _{L^{2}(\varOmega )}+ \Vert \mathcal{Q}_{2} \Vert _{L^{2}( \varOmega )}+ \Vert \mathcal{Q}_{3} \Vert _{L^{2}(\varOmega )} \\ &\le \frac{ \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{4 \vert \chi _{0} \vert } + \frac{ \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{ \vert \chi _{0} \vert } + \frac{ \epsilon }{2 \beta } \\ &= \frac{5 \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{4 \vert \chi _{0} \vert } + \frac{ \epsilon }{2 \beta } . \end{aligned}$$
(3.10)

The proof of Lemma 3.2 is completed. □

To obtain the boundedness of bias, we usually need some a priori condition. By Tikhonov’s theorem we can restrict \(L^{-1}\) to the continuous image of a compact set M. Thus we assume that f is in a compact subset of \(L^{2}(\varOmega )\). From now on, we assume that \(\Vert f \Vert _{H^{2}(\varOmega )} \le E\) for \(k > 0\).

Lemma 3.3

Let \(f \in H^{k}(\varOmega )\) and suppose that \(\Vert f \Vert _{H^{k}(\varOmega )} \le E\) for some \(E > 0\). Then we have the estimate

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )} \le \textstyle\begin{cases} E \beta ^{k} \sqrt{ ( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma , \alpha ,\lambda _{1}) } )^{2} +1 } , & 0 < k < 1, \\ \frac{E\lambda _{1}^{1-k} }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \beta , & k \ge 1 . \end{cases}\displaystyle \end{aligned}$$
(3.11)

Proof

From (2.32) and (2.5), using the Parseval identity, we get

$$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert ^{2}_{L^{2}(\varOmega )} \\ &\quad = \sum_{p=1}^{+\infty } \frac{ \beta ^{4} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s)\chi (s)\,ds \vert ^{2} [\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2} ]^{2} } \\ &\quad = \sum_{p=1}^{+\infty } \frac{ \beta ^{4} \lambda _{p}^{-2k} \lambda _{p}^{2k} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2} [\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2} ]^{2} } \\ &\quad \le \sup_{p \in \mathbb{N}} \bigl\vert \mathcal{M}(p) \bigr\vert ^{2} \sum_{p=1}^{+\infty } \frac{\lambda _{p}^{2k} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s)\chi (s)\,ds \vert ^{2} } \\ &\quad = \sup_{p \in \mathbb{N}} \bigl\vert \mathcal{M}(p) \bigr\vert ^{2} \Vert f \Vert ^{2}_{H ^{k}(\varOmega )} . \end{aligned}$$
(3.12)

Hence

$$\begin{aligned} \mathcal{M}(p) = \frac{\beta ^{2} \lambda _{p}^{-k} }{ \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2} } . \end{aligned}$$
(3.13)

Next, we estimate \(\mathcal{M}(p)\). Applying the Cauchy inequality and Lemma 2.5, for \(\chi \ge \chi _{0}\), we get

$$\begin{aligned} \mathcal{M}(p) &\le \frac{\beta ^{2} \lambda _{p}^{-k} }{ 2 \beta \int _{0}^{T} \mathcal{H}(p,T-s)\chi (s)\,ds } \le \frac{ \beta \lambda _{p}^{1-k} }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) }. \end{aligned}$$
(3.14)

We consider two cases.

Case 1. If \(k \ge 1\), then

$$\begin{aligned} \lambda _{p}^{1-k} = \frac{1}{\lambda _{p}^{k-1}} \le \frac{1}{\lambda _{1}^{k-1}}= \lambda _{1}^{1-k} . \end{aligned}$$
(3.15)

Combining (3.12), (3.13), and (3.14), we obtain

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )} &\le \frac{\beta \lambda _{1}^{1-k} }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \Vert f \Vert _{H^{k}(\varOmega )} \le \frac{E\lambda _{1}^{1-k} }{ 2 \vert \chi _{0} \vert T C( \gamma ,\alpha ,\lambda _{1})} \beta . \end{aligned}$$
(3.16)

Case 2. \(0 < k < 1\). Choose any \(q \in (0,1)\). We \(\mathbb{N} = \mathcal{L}_{1} \cup \mathcal{L}_{2}\), where

$$\begin{aligned} \mathcal{L}_{1} = \bigl\{ p \in \mathbb{N}, \lambda _{p}^{1-k} \le \beta ^{-q} \bigr\} , \qquad \mathcal{L}_{2} = \bigl\{ p \in \mathbb{N}, \lambda _{p}^{1-k} > \beta ^{-q} \bigr\} . \end{aligned}$$
(3.17)

From (3.12) and (3.17) we have:

$$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert ^{2}_{L^{2}(\varOmega )} \\ &\quad =\sup_{p \in \mathcal{L}_{1}} \biggl[ \frac{ \beta \lambda _{p}^{1-k} }{ 2 \vert \chi _{0} \vert T C(\gamma , \alpha , \lambda _{1}) } \biggr]^{2} \sum_{{p \in \mathcal{L}_{1}} } \lambda _{p}^{2k} \bigl\vert \bigl\langle f(x), \phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ & \qquad{} + \sum_{{p \in \mathcal{L}_{2}} } \biggl[ \frac{\beta ^{2} \lambda _{p}^{-k} }{ \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}(p,T-s) \chi (s)\,ds \vert ^{2} } \biggr]^{2}\lambda _{p}^{2k} \bigl\vert \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\quad \le \biggl[ \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma , \alpha , \lambda _{1}) } \biggr]^{2} \beta ^{2-2q} \Vert f \Vert _{H^{k}(\varOmega )}^{2} + \sup _{p \in \mathcal{L}_{2}} \lambda _{p}^{-2k} \sum _{p=1}^{ \mathcal{L}_{2} } \lambda _{p}^{2k} \bigl\vert \bigl\langle f(x),\phi _{p}(x) \bigr\rangle \bigr\vert ^{2} \\ &\quad \le \biggl[ \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha , \lambda _{1}) } \biggr]^{2} \beta ^{2-2q} \Vert f \Vert _{H^{k}(\varOmega )}^{2} + \beta ^{\frac{2q k}{1-k}} \Vert f \Vert _{H^{k}(\varOmega )}^{2} . \end{aligned}$$
(3.18)

Choosing \(q=1-k\), from \(\Vert f(x) \Vert _{H^{k}(\varOmega )} \le E\) we have

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert ^{2}_{L^{2}(\varOmega )} &\le \biggl( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \biggr)^{2} \beta ^{2k} E^{2}+ \beta ^{2k} E^{2} \\ &=\beta ^{2k} E^{2} \biggl( \biggl( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \biggr)^{2} +1 \biggr) . \end{aligned}$$
(3.19)

This implies that

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )} \le \beta ^{k} E \sqrt{ \biggl( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \biggr)^{2} +1 } . \end{aligned}$$
(3.20)

 □

Now we continue to prove Theorem 3.1.

If \(0 \le k \le 1\), then from Lemmas 3.2 and 3.3 we have

$$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \\ & \quad \le \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )}+ \bigl\Vert f_{\beta }(x) - f _{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \\ &\quad \le \frac{5 \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{4 \vert \chi _{0} \vert } + \frac{ \epsilon }{2 \beta } + \beta ^{k} E \sqrt{ \biggl( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \biggr)^{2} +1 } . \end{aligned}$$
(3.21)

By choosing the parameter regularization

$$ \beta = \biggl(\frac{\epsilon }{E}\biggr)^{\frac{1}{k+1}} \quad \text{and}\quad \Vert f \Vert _{L ^{2}(\varOmega )} \le \frac{1}{\lambda _{1}^{k}} \Vert f \Vert _{H^{k}(\varOmega )} \le \frac{E}{\lambda _{1}^{k}} $$

we obtain

$$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \\ &\quad \le \frac{5E}{4 \vert \chi _{0} \vert \lambda _{1}^{k} } \epsilon + \frac{1}{2} E^{\frac{1}{k+1}} \epsilon ^{\frac{k}{k+1}}+E^{\frac{1}{k+1}} \epsilon ^{\frac{k}{k+1}} \sqrt{ \biggl( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C( \gamma ,\alpha ,\lambda _{1}) } \biggr)^{2} +1 } \\ &\quad \le \biggl[ \frac{5 E^{\frac{k}{k+1}} \epsilon ^{\frac{1}{k+1}}}{4 \vert \chi _{0} \vert \lambda _{1}^{k} }+ \frac{1}{2}+ \sqrt{ \biggl( \frac{ 1 }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \biggr)^{2} +1 } \biggr] E^{\frac{1}{k+1}} \epsilon ^{\frac{k}{k+1}} . \end{aligned}$$
(3.22)

If \(k > 1\), then from Lemmas 3.2 and 3.3 we have the estimate

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} &\le \bigl\Vert f(x) - f _{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )}+ \bigl\Vert f_{\beta }(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \\ &\le \frac{5 \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{4 \vert \chi _{0} \vert } + \frac{1}{2} \frac{ \epsilon }{ \beta }+ \frac{\beta \lambda _{1}^{1-k} }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } E. \end{aligned}$$
(3.23)

Since \(\beta = (\frac{\epsilon }{E})^{\frac{1}{2}}\) and \(\Vert f \Vert _{L^{2}( \varOmega )} \le \frac{1}{\lambda _{1}^{k}} \Vert f \Vert _{H^{k}(\varOmega )} \le \frac{E}{ \lambda _{1}^{k}} \), we have

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} &\le \frac{5 E}{4 \vert \chi _{0} \vert \lambda _{1}^{k} } \epsilon + \frac{1}{2} E^{\frac{1}{2}} \epsilon ^{\frac{1}{2}}+ \frac{ \lambda _{1}^{1-k} }{ 2 \vert \chi _{0} \vert T C( \gamma ,\alpha ,\lambda _{1}) } E^{\frac{1}{2}} \epsilon ^{\frac{1}{2}} \\ &\le \biggl[ \frac{5 E^{\frac{1}{2}}\epsilon ^{\frac{1}{2}}}{4 \vert \chi _{0} \vert \lambda _{1}^{\gamma } }+ \frac{1}{2}+ \frac{ \lambda _{1}^{1-k} }{ 2 \vert \chi _{0} \vert T C(\gamma ,\alpha ,\lambda _{1}) } \biggr] E^{\frac{1}{2}} \epsilon ^{\frac{1}{2}} . \end{aligned}$$
(3.24)

3.2 An a posteriori parameter choice

In this section, we consider the choice of the a posteriori regularization parameter in Morozov’s discrepancy principle (see in [1]). Suppose \(\tau >1\) is a given fixed constant.

Choose the regularization parameter \(\beta = \beta (\epsilon ) \) as the solution of the equation

$$\begin{aligned} \bigl\Vert \mathcal{K} f_{\beta }^{\epsilon }- g^{\epsilon } \bigr\Vert _{L^{2}(\varOmega )} = \tau \epsilon , \end{aligned}$$
(3.25)

where \(0 < \tau \epsilon \le \Vert g^{\epsilon } \Vert _{L^{2}(\varOmega )}\).

Lemma 3.4

Set \(\mathcal{P}(\beta ) = \Vert \mathcal{K} f_{\beta }^{\epsilon }- g ^{\epsilon } \Vert _{L^{2}(\varOmega )} \). Then we have:

  1. (a)

    \(\mathcal{P}(\beta )\) is a continuous function.

  2. (b)

    \(\mathcal{P}(\beta ) \to 0\) as \(\beta \to 0\).

  3. (c)

    \(\mathcal{P}(\beta ) \to \Vert g^{\epsilon } \Vert _{L^{2}(\varOmega )}\) as \(\beta \to \infty \).

  4. (d)

    \(\mathcal{P}(\beta )\) is a strictly decreasing function for any \(m \in (0, + \infty )\).

Lemma 3.4 shows that there exists a unique solution of equation (3.25).

Lemma 3.5

If (3.25) holds, then the regularization parameter β satisfies

$$\begin{aligned} \beta &\ge \frac{ 2 \lambda _{1}^{k} \vert \chi _{0} \vert ( \tau -1) \epsilon }{ \vert \chi _{1} \vert E } . \end{aligned}$$
(3.26)

Proof

By (2.34), for every \(g^{\epsilon } \in H^{2}(\varOmega ) \cap H_{0}^{1}(\varOmega ) \), we have

$$\begin{aligned} \bigl\Vert \mathcal{K} f_{\beta }^{\epsilon } - g^{\epsilon } \bigr\Vert _{L^{2}(\varOmega )}^{2} = \sum _{p=1}^{\infty } \biggl(\frac{\beta ^{2} }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert ^{2} } \biggr)^{2} \bigl\Vert g^{\epsilon } \bigr\Vert _{L ^{2}(\varOmega )}^{2} . \end{aligned}$$
(3.27)

Using (3.25), we obtain

$$\begin{aligned} \tau \epsilon = \sum_{p=1}^{\infty } \biggl(\frac{\beta ^{2} }{ \beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert ^{2} } \biggr) \bigl\Vert g^{\epsilon } \bigr\Vert _{L^{2}( \varOmega )}. \end{aligned}$$
(3.28)

We have

$$\begin{aligned} \bigl\Vert g^{\epsilon } \bigr\Vert _{L^{2}(\varOmega )} \le \bigl\Vert g^{\epsilon }- g \bigr\Vert _{L^{2}( \varOmega )} + \Vert g \Vert _{L^{2}(\varOmega )}. \end{aligned}$$
(3.29)

Combining (3.28), (3.29), and \(\frac{\beta ^{2} }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2} } < 1\), we obtain

$$\begin{aligned} \tau \epsilon \le \bigl\Vert g^{\epsilon }- g \bigr\Vert _{L^{2}(\varOmega )} + \sum_{p=1}^{\infty } \biggl(\frac{\beta ^{2} }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} } \biggr) \Vert g \Vert _{L^{2}(\varOmega )}. \end{aligned}$$
(3.30)

Because \(\tau >1\), by (1.2) we get

$$\begin{aligned} ( \tau -1) \epsilon \le \sum_{p=1}^{\infty } \biggl(\frac{\beta ^{2} }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert ^{2} } \biggr) \Vert g \Vert _{L^{2}(\varOmega )}. \end{aligned}$$
(3.31)

On the other hand, we have

$$\begin{aligned} &\sum_{p=1}^{\infty } \biggl( \frac{\beta ^{2} }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} } \biggr)^{2} \Vert g \Vert _{L^{2}(\varOmega )}^{2} \\ &\quad \le \sum_{p=1}^{\infty } \biggl( \frac{ \beta ^{2} \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds }{ [ \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert ^{2} ] \lambda _{p}^{k} } \biggr)^{2} \frac{ \lambda _{p}^{2k} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2}} \\ &\quad \le \sum_{p=1}^{\infty } \biggl( \frac{ \beta ^{2} \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds }{ [ \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi ^{\epsilon }(s)\,ds \vert ^{2} ] \lambda _{p}^{k} } \biggr)^{2} \frac{ \lambda _{p}^{2k} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds \vert ^{2}} \\ &\quad \le \sum_{p=1}^{\infty } \mathcal{E}(p)^{2} \frac{ \lambda _{p}^{2k} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2}} , \end{aligned}$$
(3.32)

where \(\mathcal{E}(p) = \frac{ \beta ^{2} \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds }{ ( \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} ) \lambda _{p}^{k} } \). We estimate \(\mathcal{E}(p)\) as follows:

$$\begin{aligned} \mathcal{E}(p) &= \frac{ \beta ^{2} \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s) \chi (s)\,ds }{ ( \beta ^{2} + \vert \int _{0} ^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} ) \lambda _{p}^{k} } \le \frac{ \beta ^{2} \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s)\chi (s)\,ds }{ 2\lambda _{p}^{k} \beta \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds} \\ &\le \frac{ \beta \vert \chi _{1} \vert }{ 2\lambda _{1}^{k} \vert \chi _{0} \vert } . \end{aligned}$$
(3.33)

Therefore, combining (3.31), (3.32), and (3.33), we conclude that

$$\begin{aligned} ( \tau -1) \epsilon &\le \frac{ \beta \vert \chi _{1} \vert }{ 2 \lambda _{1}^{k} \vert \chi _{0} \vert } \Vert f \Vert _{H^{k}(\varOmega )} \le \frac{ \beta \vert \chi _{1} \vert E}{ 2 \lambda _{1}^{k} \vert \chi _{0} \vert } . \end{aligned}$$
(3.34)

Hence we obtain

$$\begin{aligned} \beta &\ge \frac{ 2 \lambda _{1}^{k} \vert \chi _{0} \vert ( \tau -1) \epsilon }{ \vert \chi _{1} \vert E } \end{aligned}$$
(3.35)

which gives the required result. □

Theorem 3.6

Suppose the a priori conditions (1.2) and (2.25) hold and the regularization parameter β is given by (3.25). Then we have the error estimate

$$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \\ &\quad \le \mathcal{C}(k, T) E^{\frac{1}{k+1}} ( \tau + 1)^{\frac{k}{k+1}} \epsilon ^{\frac{k}{k+1}} +\frac{5 \epsilon E }{4 \vert \chi _{0} \vert \lambda _{1}^{k} } + \frac{ \vert \chi _{1} \vert E }{4 \lambda _{1}^{k} \vert \chi _{0} \vert ( \tau -1) }. \end{aligned}$$
(3.36)

Proof

By the triangle inequality we have

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \le \bigl\Vert f(x) - f _{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )}+ \bigl\Vert f_{\beta }(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )}. \end{aligned}$$
(3.37)

Using \(\Vert f \Vert _{L^{2}(\varOmega )} \le \frac{1}{\lambda _{1}^{k}} \Vert f \Vert _{H ^{k}(\varOmega )} \le \frac{E}{\lambda _{1}^{k}} \), from Lemmas 3.2 and 3.5 we obtain

$$\begin{aligned} \bigl\Vert f_{\beta }(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} &\le \frac{5 \epsilon \Vert f \Vert _{L^{2}(\varOmega )} }{4 \vert \chi _{0} \vert } + \frac{ \epsilon }{2 \beta } \end{aligned}$$
(3.38)
$$\begin{aligned} &\le \frac{5 \epsilon E }{4 \vert \chi _{0} \vert \lambda _{1}^{k} } + \frac{ \vert \chi _{1} \vert E }{4 \lambda _{1}^{k} \vert \chi _{0} \vert ( \tau -1) }. \end{aligned}$$
(3.39)

For the first part of the right-hand side of (3.37), we have

$$\begin{aligned} &\mathcal{K}f(x) - \mathcal{K}f_{\beta }(x) \\ &\quad = \sum_{p=1}^{\infty } \frac{ \beta ^{2}}{ \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds \vert ^{2} } \bigl\langle g(x), \phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ &\quad = \sum_{p=1}^{\infty } \frac{ \beta ^{2}}{ \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds \vert ^{2} } \bigl\langle g(x) - g^{\epsilon }(x) , \phi _{p}(x) \bigr\rangle \phi _{p}(x) \\ & \quad\quad{} + \sum_{p=1}^{\infty } \frac{ \beta ^{2}}{ \beta ^{2} + \vert \int _{0}^{T} \mathcal{H}_{p}(\alpha ,T-s) \chi (s) \,ds \vert ^{2} } \bigl\langle g^{\epsilon }(x), \phi _{p}(x) \bigr\rangle \phi _{p}(x). \end{aligned}$$

Using (1.2) and (3.25), we get

$$\begin{aligned} \bigl\Vert \mathcal{K} f(x) - \mathcal{K}f_{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )} \le ( \tau + 1) \epsilon . \end{aligned}$$
(3.40)

We also have

$$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert ^{2}_{H^{k}(\varOmega )} \\ &\quad = \sum_{p=1}^{+\infty } \biggl( \frac{\beta ^{2} }{\beta ^{2} + \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s)\chi ^{\epsilon }(s)\,ds \vert ^{2} } \biggr)^{2} \frac{\lambda _{p}^{2k} \vert \langle g(x),\phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}(\alpha ,T-s) \chi (s)\,ds \vert ^{2} } \\ &\quad \le \sum_{p=1}^{+\infty } \frac{\lambda _{p}^{2k} \vert \langle g(x), \phi _{p}(x) \rangle \vert ^{2} }{ \vert \int _{0}^{T}\mathcal{H}_{p}( \alpha ,T-s)\chi (s)\,ds \vert ^{2} } = E^{2}. \end{aligned}$$

From Theorem 2.7 we have

$$\begin{aligned} \bigl\Vert f(x) - f_{\beta }(x) \bigr\Vert _{L^{2}(\varOmega )} \le \mathcal{C}(k, T) E^{ \frac{1}{k+1}} ( \tau + 1)^{\frac{k}{k+1}} \epsilon ^{\frac{k}{k+1}}. \end{aligned}$$
(3.41)

Therefore

$$\begin{aligned} & \bigl\Vert f(x) - f_{\beta }^{\epsilon }(x) \bigr\Vert _{L^{2}(\varOmega )} \le \mathcal{C}(k, T) E^{\frac{1}{k+1}} ( \tau + 1)^{\frac{k}{k+1}} \epsilon ^{\frac{k}{k+1}} +\frac{5 \epsilon E }{4 \vert \chi _{0} \vert \lambda _{1}^{k} } + \frac{ \vert \chi _{1} \vert E }{4 \lambda _{1}^{k} \vert \chi _{0} \vert ( \tau -1) }. \end{aligned}$$

 □

4 Numerical experiment

In this section, we present a numerical result with \(\varOmega = (0,1)\). Recall that the problem is given by

$$ \textstyle\begin{cases} \partial _{t} u-(1+\gamma \partial _{t}^{\alpha })\Delta u = f(x) \chi (t), & (x,t) \in \varOmega \times (0,T), \\ u(x,t)=0, & x \in \partial {\varOmega }, \\ u(x,0) = u_{0}(x), & x \in {\varOmega }, \\ u(x,T) = g(x), & x \in {\varOmega }. \end{cases} $$
(4.1)

Fix the parameter \(\gamma =1\). The couple \((g^{\epsilon },\chi ^{ \epsilon })\) determined below plays the role of measured data with random noise:

$$\begin{aligned}& \begin{gathered} g^{\epsilon }(\cdot ) = g(\cdot ) + \epsilon \operatorname{rand}(\cdot ), \\ \chi ^{\epsilon }(\cdot ) = \chi (\cdot ) + \epsilon \operatorname{rand}( \cdot ), \end{gathered} \end{aligned}$$
(4.2)

where \(\operatorname{rand}() \in (-1,1)\) is a random number. We can easily verify the validity of the inequality

$$\begin{aligned} \bigl\Vert g - g^{\epsilon } \bigr\Vert _{L^{2}(\varOmega )} \leq \epsilon , \quad\quad \bigl\Vert \chi - \chi ^{\epsilon } \bigr\Vert _{C[0,T]} \leq \epsilon . \end{aligned}$$
(4.3)

In (4.1), we have \(u(x,t) = \sin (\pi x) t^{\alpha +1} \). By a simple calculation we get \(f(x) = \sin (\pi x)\) and \(\chi (t) = ( \alpha +1)t^{\alpha } + \pi ^{2} t^{\alpha +1} + \frac{\pi ^{2}(\alpha +1)}{\varGamma (2)}t\). Combining this with (4.2), we get

$$\begin{aligned}& \begin{gathered} \chi ^{\epsilon }(s) = (\alpha +1)s^{\alpha } + \pi ^{2} s^{\alpha +1} + \frac{\pi ^{2}(\alpha +1)}{\varGamma (2)}s + \epsilon \operatorname{rand}( \cdot ), \\ g^{\epsilon }(x) = \sin (\pi x) + \epsilon \operatorname{rand}(\cdot ). \end{gathered} \end{aligned}$$
(4.4)

Following (2.32), f can be rewritten as

$$\begin{aligned} f(x) = \sum_{p=1}^{\infty } \frac{ \langle g(x),\phi _{p}(x) \rangle }{ \int _{0}^{T} {\mathcal{H}}(p,T-s) \chi (s)\,ds } \phi _{p}(x). \end{aligned}$$
(4.5)

Next, we can rewrite the term \({\mathcal{H}}(p,T-s)\) as follows:

$$\begin{aligned} {\mathcal{H}}(p,T-s) = \int _{0}^{\infty } e^{-r(T-s)}K_{p}(r) \,dr = \lim_{M \to \infty } \int _{0}^{M} e^{-r(T-s)}K_{p}(r) \,dr. \end{aligned}$$
(4.6)

Combining (4.5) and (4.6), we get

$$\begin{aligned} f(x) &= \sum_{p=1}^{\infty } \frac{ \langle g(x),\phi _{p}(x) \rangle }{ \int _{0}^{T} {\mathcal{H}}(p,T-s) \chi (s)\,ds } \phi _{p}(x) \\ &= \sum_{p=1}^{\infty }\frac{ \langle g(x),\phi _{p}(x) \rangle }{ \lim_{M \to \infty } \int _{0}^{T} (\int _{0}^{M} e ^{-r(T-s)}K_{p}(r)\,dr ) \chi (s)\,ds } \phi _{p}(x) \end{aligned}$$

with M large enough. However, to be able to calculate, we choose \(M=300\). Using the composite Simpson rule of numerical integration in Matlab, we have the following approximates of \(f \in L^{2}(0,1)\):

$$\begin{aligned} \int _{0}^{1} G(x) \,dx \approx \frac{1}{3N_{x}}\sum_{k=1}^{N_{x}/2} \bigl[G(x_{2k-2}) + 4G(x_{2k-1}) + G(x_{2k}) ) \bigr], \end{aligned}$$

where \(x_{k} = \frac{k}{N_{x}}\), \(x_{0} =0\), \(x_{N_{x}} = 1\).

Similarly, we have the approximates of \(f_{\beta }^{\epsilon } \in L ^{2}(0,1) \). In practice, it is very difficult to obtain the value of M for the a priori parameter choice rule without having an exact solution. We thus try taking \(\Vert f \Vert _{H^{2}(\varOmega )} \le M\) with \(E \approx 10\), leading to \(\beta _{\mathrm{pri}} = (\frac{\epsilon }{E})^{ \frac{1}{2}}\) for the a priori parameter choice rule and \(\beta _{\mathrm{pos}} = \frac{ \epsilon }{ E (\tau , \vert \chi _{0} \vert , \vert \chi _{1} \vert ,\alpha ) }\) for the a posteriori parameter choice rule based on τ. Of course, choosing τ and α different, we have different \(\beta _{\mathrm{pos}}\) with \(E (\tau , \vert \chi _{0} \vert , \vert \chi _{1} \vert ,\alpha ) = \frac{ \vert \chi _{1} \vert }{ \sqrt{2} \lambda _{1}^{k} ( \tau ^{2}-2) \vert \chi _{0} \vert } \Vert f \Vert _{H^{2}(\varOmega )}\).

In general, the whole numerical procedure is summarized in the following steps.

Step 1. As the discretization level, a uniform grid of mesh-point \((x_{i},t_{j})\) is used to discretize the space and time intervals:

$$\begin{aligned} x_{i} = i\Delta x, \quad\quad \Delta x = \frac{1}{N_{x}},\quad i = \overline{0,N_{x}}, \quad \quad t_{j} = j\Delta t, \quad \quad \Delta t = \frac{1}{N_{t}}, \quad j = \overline{0,N _{t}}. \end{aligned}$$
(4.7)

Of course, higher values of \(N_{x}\) and \(N_{t}\) will provide more accurate and stable numerical results. In this example, we take \(N_{x} = N_{t} = 512\).

Step 2. Setting \(f_{\beta }^{\epsilon }(x_{i}) = f_{\beta ,i}^{\epsilon }\) and \(f(x_{i}) = f_{i}\), we construct two vectors containing all discrete values of \(f_{\beta }^{\epsilon }\) and f, denoted by \(\varLambda _{\beta }^{\epsilon }\) and Ψ, respectively:

Λ β ϵ = [ f β , 0 ϵ f β , 1 ϵ f β , N x ϵ ] R N x + 1 , Ψ = [ f 0 f 1 f N x 1 f N x ] R N x + 1 .
(4.8)

Step 3. Error estimate between the exact and regularized solutions:

$$\begin{aligned} \mathbb{E}= \frac{ \sqrt{ \sum_{i=0}^{N_{x}} \vert f_{\beta }^{ \epsilon }(x_{i}) - f(x_{i}) \vert _{L^{2}(0,1)}^{2} } }{ \sqrt{ \sum_{i=0}^{N_{x}} \vert f(x_{i}) \vert _{L^{2}(0,1)}^{2} } } . \end{aligned}$$
(4.9)

The numerical results are summarized in Tables 1, 23.

Table 1 Error estimates between the exact and regularized solutions for \(\tau = 1.6\), \(\alpha \in \{0.65, 0.75, 0.85, 0.95\}\)
Table 2 Error estimates between the exact and regularized solutions for \(\tau = 1.7\), \(\alpha \in \{0.65, 0.75, 0.85, 0.95\}\)
Table 3 Error estimates between the exact and regularized solutions for \(\tau = 1.8\), \(\alpha \in \{0.52, 0.62, 0.72, 0.82, 0.92\}\)

Table 1 show the relative error estimates between the exact solution and its regularized solution, both a priori and a posteriori, at \(\tau =1.6\) with \(\alpha = 0.65\), \(\alpha =0.75\), \(\alpha =0.85\), and \(\alpha =0.95\). Table 2 show the relative error estimates between the exact solution and its regularized solution, both a priori and a posteriori at \(\tau =1.7\) with \(\alpha = 0.65\), \(\alpha =0.75\), \(\alpha =0.85\), and \(\alpha =0.95\). In Tables 1 and 2, we calculate with values of \(\epsilon = 10^{-1}, 10^{-2}\) and \(\epsilon = 10^{-3}\). In Table 3, with two values \(\epsilon = 10^{-4}\) and \(\epsilon = 10^{-5}\), \(\tau =1.8\), we choose \(\alpha = 0.52\), \(\alpha =0.62\), \(\alpha =0.72\), \(\alpha =0.82\), and \(\alpha =0.92\). In general, we see that the posterior parameter choice rule method converges to the exact solution faster than the prior parameter choice rule method. We also see that our proposed regularized methods have very good convergence rates to the exact solution as ϵ tends to 0.

5 Concluding remarks

In this work, we have studied the inverse source problem for the Rayleigh–Stokes equation in a second-grade generalized flow. We introduce a Tikhonov regularized method to establish an approximate solution. Then we prove an upper bound on the rate of convergence of the mean integrated squared error under some a priori condition of the sought solution. In the future work, we will try to study a numerical method for solving the ill-posedness of our inverse source problem.

References

  1. Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Application of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  2. Podlubny, I.: Fractional Differential Equations. Mathematics in Science and Engineering, vol. 198. Academic Press, San Diego (1990)

    MATH  Google Scholar 

  3. Shen, F., Tan, W., Zhao, Y., Masuoka, T.: The Rayleigh–Stokes problem for a heated generalized second grade fluid with fractional derivative model. Nonlinear Anal., Real World Appl. 7(5), 1072–1080 (2006)

    Article  MathSciNet  Google Scholar 

  4. Dehghan, M.: A computational study of the one-dimensional parabolic equation subject to nonclassical boundary specifications. Numer. Methods Partial Differ. Equ. 22(1), 220–257 (2006)

    Article  MathSciNet  Google Scholar 

  5. Dehghan, M.: The one-dimensional heat equation subject to a boundary integral specification. Chaos Solitons Fractals 32(2), 661–675 (2007)

    Article  MathSciNet  Google Scholar 

  6. Dehghan, M., Abbaszadeh, M.: A finite element method for the numerical solution of Rayleigh–Stokes problem for a heated generalized second grade fluid with fractional derivatives. Eng. Comput. 33, 587–605 (2017)

    Article  Google Scholar 

  7. Mehrdad, L., Dehghan, M.: The use of Chebyshev cardinal functions for the solution of a partial differential equation with an unknown time-dependent coefficient subject to an extra measurement. J. Comput. Appl. Math. 235(3), 669–678 (2010)

    Article  MathSciNet  Google Scholar 

  8. Zaky, A.M.: An improved tau method for the multi-dimensional fractional Rayleigh–Stokes problem for a heated generalized second grade fluid. Comput. Math. Appl. 75(7), 2243–2258 (2018)

    Article  MathSciNet  Google Scholar 

  9. Singh, J., Secer, A., Swroop, R., Kumar, D.: A reliable analytical approach for a fractional model of advection-dispersion equation. Nonlinear Eng. 8, 107–116 (2019)

    Article  Google Scholar 

  10. Meng, R., Yin, D., Drapaca, C.S.: Variable-order fractional description of compression deformation of amorphous glassy polymers. Comput. Mech. (2019). https://doi.org/10.1007/s00466-018-1663-9

    Article  MathSciNet  MATH  Google Scholar 

  11. Kirane, M., Malik, A.S., Gwaiz, M.A.: An inverse source problem for a two dimensional time fractional diffusion equation with nonlocal boundary conditions. Math. Methods Appl. Sci. 36(9), 1056–1069 (2013)

    Article  MathSciNet  Google Scholar 

  12. Tatar, S., Ulusoy, S.: An inverse source problem for a one-dimensional space–time fractional diffusion equation. Appl. Anal. 94(11), 2233–2244 (2015)

    Article  MathSciNet  Google Scholar 

  13. Nguyen, H.L., Nguyen, H.T., Kirane, M., Duong, D.X.T.: Identifying initial condition of the Rayleigh–Stokes problem with random noise. Math. Methods Appl. Sci. 42, 1561–1571 (2019)

    Article  MathSciNet  Google Scholar 

  14. Hajipour, M., Jajarmi, A., Baleanu, D., Sun, H.: On an accurate discretization of a variable-order fractional reaction–diffusion equation. Commun. Nonlinear Sci. Numer. Simul. 69, 119–133 (2019)

    Article  MathSciNet  Google Scholar 

  15. Baleanu, D., Jajarmi, A., Asad, J.H.: Classical and fractional aspects of two coupled pendulums. Rom. Rep. Phys. 71(1), 103 (2019)

    Google Scholar 

  16. Baleanu, D., Jajarmi, A., Hajipour, M.: On the nonlinear dynamical systems within the generalized fractional derivatives with Mittag-Leffler kernel. Nonlinear Dyn. 94(1), 397–414 (2018)

    Article  Google Scholar 

  17. Baleanu, D., Jajarmi, A., Bonyah, E., Hajipour, M.: New aspects of the poor nutrition in the life cycle within the fractional calculus. Adv. Differ. Equ. 2018, 230 (2018). https://doi.org/10.1186/s13662-018-1684-x

    Article  MathSciNet  MATH  Google Scholar 

  18. Kumar, D., Singh, J., Baleanu, D.: Analysis of a fractional model of Ambartsumian equation. Eur. Phys. J. Plus 133, 259 (2018)

    Article  Google Scholar 

  19. Cavalier, L.: Nonparametric statistical inverse problems. Inverse Probl. 24(3), 034004 (2008)

    Article  MathSciNet  Google Scholar 

  20. Mai, A.P.N.T.: A statistical minimax approach to the Hausdorff moment problem. Inverse Probl. 24(4), 045018 (2008)

    Article  MathSciNet  Google Scholar 

  21. Mair, A.B., Ruymgaart, H.F.: Statistical inverse estimation in Hilbert scales. SIAM J. Appl. Math. 56(5), 1424–1444 (1996)

    Article  MathSciNet  Google Scholar 

  22. Bazhlekova, E., Jin, B., Lazarov, R., Zhou, Z.: An analysis of the Rayleigh–Stokes problem for a generalized second-grade fluid. Numer. Math. 131, 1–31 (2015)

    Article  MathSciNet  Google Scholar 

  23. Nguyen, A.T., Luu, V.C.H., Nguyen, H.L., Nguyen, H.T., Nguyen, V.T.: Identification of source term for the Rayleigh–Stokes problem with Gaussian random noise. Math. Methods Appl. Sci. 41(14), 5593–5601 (2018)

    Article  MathSciNet  Google Scholar 

  24. Kirsch, A.: An Introduction to the Mathematical Theory of Inverse Problem. Springer, Berlin (1996)

    Book  Google Scholar 

Download references

Acknowledgements

Many thanks to Professor Nguyen Huy Tuan for discussing and helping to develop this paper.

Availability of data and materials

Not applicable.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Can Nguyen.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Binh, T.T., Nashine, H.K., Long, L.D. et al. Identification of source term for the ill-posed Rayleigh–Stokes problem by Tikhonov regularization method. Adv Differ Equ 2019, 331 (2019). https://doi.org/10.1186/s13662-019-2261-7

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2261-7

MSC

Keywords