Reconstructing the right-hand side of a fractional subdiffusion equation from the final data

Abstract

In this study, we study an inverse source problem for the time-fractional diffusion equation, where the final data $t = T$ are given. We show that our problem is ill-posed in the sense of Hadamard. Applying a truncation method, we give the regularized solution. Finally, convergence estimates under a priori and a posteriori parameter choice rules are proved.

1 Introduction

The last few decades have seen interest in the research of diffusion equation problems; more and more researchers are studying the problem of the fractional diffusion equation. It can model anomalous phenomena in chemical physics, biological cell dynamics, physiology, and finance [1–4]. In this study, we consider the following fractional diffusion equation with Riemann–Liouville derivative:

$$ \textstyle\begin{cases} \partial _{t} u(x,y,t)= \partial _{t}^{1-\beta } ( u_{xx}(x,y,t) + u_{yy}(x,y,t) ) +\varPhi (t)f(x,y),\\ \quad (x,y,t) \in \varOmega \times (0,T), \\ {u(x,y,t) = 0}, \quad (x,y) \in \partial \varOmega, t \in (0,T], \\ {u(x,y,T) = g(x,y), \quad (x,y)} \in \varOmega, \end{cases} $$

(1.1)

with the Riemann–Liouville fractional derivative of order $1-\beta \in (0,1)$ defined by [3, 5] as follows:

$$ \partial _{t}^{1-\beta }u(x,y,t) = \frac{1}{\varGamma (\beta )} \frac{d}{dt} \int _{0}^{t} (t-\varsigma )^{\beta -1} u(x,y, \varsigma )\,d \varsigma,\quad t > 0, $$

(1.2)

where $\varGamma (\cdot )$ is the Gamma function and $\varOmega = (0,\pi )^{2}$. The Laplacian operator $\Delta u(x,y,t) = u_{xx}(x,y,t) + u _{yy}(x,y,t)$ (with the homogeneous Dirichlet boundary condition) has the normalized eigenbasis

$$ {e_{k}(x)} = { \biggl(\frac{2}{\pi } \biggr)^{\frac{d}{2}} \sin (k_{1}x_{1}) \cdot \cdot \cdot \sin (k_{d}x_{d}) \in \mathbb{R} ^{d}} $$

and the eigenvalues $(p^{2}+q^{2})$. We denote $p = (p_{1},p _{2}, \dots, p_{d})$, $x=(x_{1},x_{2}, \dots, x_{d})$ and $p^{2} = p_{1}^{2} + \cdots + p_{d}^{2}$. Similarly, we have $q = (q_{1},q_{2}, \dots, q_{d})$, $y=(y_{1},y_{2}, \dots, y_{d})$ and $q^{2} = q_{1}^{2} + \cdots + q_{d}^{2}$. Problem (1.1) has been studied by many authors. The direct problem (or the initial value problem) concerning the first equation of (1.1) seems to come from [6] where the authors introduced the integral formulation of the fractional diffusion equation. These equations have attracted a lot of attention, see, e.g., [7, 8]. Models with a singular kernel at the origin are well-known and arise in the heat conduction and viscoelasticity, etc. [9, 10]. Some works for the linear case can be found in [9, 10]. When we know the final data g, the problem (1.1) is about recovering the initial data ${u(x,y,0)}$, called the backward problem, which was studied recently by Yong et al. [11]. Our main aim in this paper is to recover the source function f from the given data ${g(x,y)}$ and ${\varPhi (t)}$. Here ${f(x,y)}$ and ${\varPhi (t)}$ describe the spatial distribution of the source and the time evolution pattern, respectively. In this case, our problem is called the inverse source problem (ISP) which is motivated by many practical applications. We can list some applications of (ISP), for example, pollution in the environment [12, 13], dislocation problems [14], biomedical imaging techniques such as the thermo-acoustic tomography [15, 16], electroencephalography/magnetoencephalography (EEG/MEG) problems [17, 18], optical tomography [19]. The inverse source problem for some other fractional diffusion equations has been investigated by many authors and its physical background can be found in [20]; see also the works by Wei et al. [21–23] and Kirane et al. [24, 25]. To the best of our knowledge, there are no results for the inverse source problem (1.1).

Now, we return and discuss more details on the purpose of our paper. It is known that the inverse source problem mentioned above is not well-posed in general, i.e., when a solution exists, it does not depend continuously on the given data. In practice, the exact data ${(\varPhi,g)}$ is noised by measured data $( \varPhi ^{\varepsilon }, g^{\varepsilon })$ with order of $\varepsilon >0$ as follows:

$$ \bigl\Vert \varPhi ^{\varepsilon }-\varPhi \bigr\Vert _{\mathcal{L}^{\infty }(0,T)} \le \varepsilon, \qquad \bigl\Vert g^{\varepsilon }-g \bigr\Vert _{ \mathcal{L}^{2}(\varOmega )} \le \varepsilon, $$

(1.3)

where $\|\varPhi \|_{\mathcal{L}^{\infty }(0,T)}= {\sup }_{0 \le t \le T} |\varPhi (t)|$ for any $\varPhi \in \mathcal{L}^{ \infty }(0,T)$. This problem is ill-posed in the sense of Hadamard, which means that small changes in the observed data can lead to a blow-up of the solution. Hence some regularization methods are required for stable computation of a sought solution. The topic of this paper is to find an approximate solution. Employing some previously suggested ideas, in this study, using the Fourier regularization method, we establish a regularized solution. Under an a priori bound assumption of the sought solution and a priori parameter choice rule, we give the convergence rate. In practice, an a priori bound is difficult to obtain and check, so we need an a posteriori parameter choice rule. The strong point of an a posteriori parameter choice rule is that it does not depend on the a priori bound.

The paper is organized into three sections. In Sect. 2, we present a formula of the source function f and establish some lemmas and theorems which are useful to obtain the next results. The ill-posedness of the inverse source problem is also shown in this section. In Sect. 3, we apply the Fourier regularization method and give two convergence estimates and two regularization parameter choice rules: an a priori parameter choice and an a posteriori parameter choice are presented in Sect. 3.1 and Sect. 3.2, respectively.

2 Preliminary results

Definition 2.1

Let $\langle \cdot,\cdot \rangle$ be a scalar product in $\mathcal{L}^{2}( \varOmega )$. The notation $\|\cdot \|_{{X}}$ stands for the norm in the Banach space X. We denote by $\mathcal{L}^{ {p}}({0,T;X})$, $1 \le p < \infty$, the Banach space of p-integrable real-valued functions $u:(0,T) \to X$, and set

$$ \Vert u \Vert _{\mathcal{L}^{\infty }(0,T;X)} = \operatorname{ess}\sup_{t \in (0,T)} \bigl\Vert u(t) \bigr\Vert _{X}, \quad\text{for } p = \infty. $$

(2.1)

Definition 2.2

(see [19])

The Mittag-Leffler function is defined by the series

$$ E_{\kappa,\alpha }(z) = \sum_{n=0}^{\infty } \frac{z^{n}}{ \varGamma (\kappa n +\alpha )}, \quad \kappa > 0, \alpha \in \mathbb{R}, z \in \mathbb{C}, $$

(2.2)

where $\kappa > 0$, $\alpha \in \mathbb{R}$ are arbitrary constants.

Lemma 2.1

(see [19])

Let$\kappa > 0$and$\alpha \in \mathbb{R}$. Then one has

$$ E_{\kappa,\alpha }(z) = z E_{\kappa,\kappa +\alpha }(z) + \frac{1}{ \varGamma (\alpha )},\quad z \in \mathbb{C}. $$

(2.3)

Lemma 2.2

(see [26])

Letting$\lambda > 0$and$\beta > 0$withkbeing and integer from$\mathbb{N}^{*}$, one has

$$\begin{aligned} \begin{aligned} &\frac{d^{k}}{dt^{k}} E_{\beta,1} \bigl(-\lambda t^{\beta }\bigr) = - \lambda t^{\beta -k} E_{\beta,\beta -k+1} \bigl(-\lambda t^{\beta }\bigr),\quad t > 0, \\ &\frac{d}{dt} \bigl( t E_{\beta,2} \bigl(-\lambda t^{\beta } \bigr) \bigr) = E_{\beta,1}\bigl(-\lambda t^{\beta }\bigr), \quad t > 0. \end{aligned} \end{aligned}$$

(2.4)

Lemma 2.3

(see [3])

Let$0 < \beta _{0} < \beta _{1} < 1$. Then there exist positive constants$\widetilde{\varLambda }_{1}, \widetilde{\varLambda }_{2}, \widetilde{\varLambda }_{3}$depending only on$\beta _{0}, \beta _{1}$such that for all$\beta \in [\beta _{0}, \beta _{1}]$,

$$\begin{aligned} \frac{\widetilde{\varLambda }_{1}}{1+z} \le E_{\beta,1}(-z) \le \frac{\widetilde{\varLambda }_{2}}{1+z},\qquad E_{\beta,\kappa }(-z) \le \frac{\widetilde{\varLambda }_{3}}{1+z}, \quad\textit{for all } z \ge 0, \kappa \in \mathbb{R}. \end{aligned}$$

(2.5)

Lemma 2.4

(see [3])

Let$0 < \beta < 1$and$\lambda, {a} >0$. Then

• (i) $\partial _{t} (E_{\beta } (-\lambda t^{\beta }) ) = -\lambda t^{\beta -1} E_{\beta,\beta }(-\lambda {t}^{\beta })$, for${t} \ge 0$,

• (ii) $\partial _{t} ( t^{\beta -1} E_{\beta,\beta }(- \lambda t^{\beta }) ) = t^{\beta -2} E_{\beta,\beta -1} (-\lambda t ^{\beta })$, for${t} \ge 0$,

• (iii) $\int _{0}^{\infty } e^{-{s}{t}} {E_{\alpha }(-{a}{t}^{\alpha })} = \frac{{s}^{\alpha -1}}{ {s}^{\alpha }+{a}}$, for$\Re ({s}) > {a}^{\frac{1}{\alpha }}$.

Lemma 2.5

Let$0 < \beta < 1$, for${p,q} > 0$and denote$\widetilde{\lambda }_{{pq}} = {p^{2}+q^{2}}$, then

$$\begin{aligned} \frac{\widetilde{\mathcal{M}}^{\dagger }_{\beta }( \widetilde{\varLambda }_{1})}{\widetilde{\lambda }_{{pq}}} \le \int _{0}^{T} E_{\beta,1} \bigl(-\widetilde{ \lambda }_{ {pq}} (T-\varsigma )^{\beta } \bigr)\,d\varsigma \le \frac{ \widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2})}{\widetilde{\lambda }_{{pq}}}, \end{aligned}$$

(2.6)

where

$$\begin{aligned} \widetilde{M}^{\dagger }_{\beta }(\widetilde{\varLambda }_{1}) = \frac{2 \widetilde{\varLambda }_{1}{T} }{1 + 2 T^{\beta }},\qquad \widetilde{M}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) = \frac{\widetilde{\varLambda }_{2} {T}^{1-\beta }}{ 1-\beta } . \end{aligned}$$

(2.7)

Proof

From Lemma 2.3, we have

$$\begin{aligned} \int _{0}^{T} E_{\beta,1} \bigl(-\widetilde{ \lambda } _{{pq}} (T-\varsigma )^{\beta } \bigr)\,d\varsigma &\le \int _{0}^{T} \frac{\widetilde{\varLambda }_{2}\,ds}{1 + \widetilde{\lambda } _{{pq}} (T-\varsigma )^{\beta }} \\ &\le \frac{ \widetilde{\varLambda }_{2}}{\widetilde{\lambda }_{{pq}}} \int _{0}^{T} \frac{d\varsigma }{(T-\varsigma )^{\beta }} = \frac{1}{ \widetilde{\lambda }_{{pq}} } \biggl(\frac{ \widetilde{\varLambda }_{2} T^{1-\beta }}{ 1-\beta } \biggr). \end{aligned}$$

(2.8)

Next, because of inequality $({T}-\varsigma )^{\beta }\le {T}^{\beta }$ valid for any $\varsigma \in [0,{T}]$ and Lemma 2.3, one has

$$\begin{aligned} \int _{0}^{{T}} E_{\beta,1} \bigl(-\widetilde{ \lambda } _{{pq}} ({T}-\varsigma )^{\beta } \bigr){d}\varsigma &\ge \widetilde{\varLambda }_{1} \int _{0}^{{T}} \frac{ {d}\varsigma }{1 + \widetilde{\lambda }_{{pq}} ( {T}-\varsigma )^{\beta }} \ge \frac{\widetilde{\varLambda }_{1}}{ \widetilde{\lambda }_{{pq}}} \int _{0}^{{T}} \frac{ {d}\varsigma }{\frac{1}{2} + ({T}-\varsigma )^{\beta }} \\ &\ge \frac{\widetilde{\varLambda }_{1}}{\widetilde{\lambda }_{ {pq}}} \int _{0}^{{T}} \frac{{d}\varsigma }{\frac{1}{2} + {T}^{\beta }} = \frac{1}{\widetilde{\lambda } _{{pq}}} \biggl(\frac{2\widetilde{\varLambda }_{1}{T} }{1 + 2 {T}^{\beta }} \biggr). \end{aligned}$$

(2.9)

Combining (2.9) and (2.8), we conclude that

$$ \frac{1}{\widetilde{\lambda }_{{pq}}} \biggl(\frac{ \widetilde{\varLambda }_{1} 2{T} }{1 + 2 {T}^{\beta }} \biggr) \le \int _{0}^{{T}} E_{\beta,1} \bigl(- \widetilde{ \lambda }_{{pq}} ({T}-\varsigma )^{\beta } \bigr){d}\varsigma \le \frac{1}{ \widetilde{\lambda }_{ {pq}} } \biggl(\frac{\widetilde{\varLambda }_{2} {T}^{1- \beta }}{ 1-\beta } \biggr). $$

(2.10)

Denoting $\widetilde{M}^{\dagger }_{\beta }(\widetilde{\varLambda }_{1}) = (\frac{\widetilde{\varLambda }_{1} 2{T} }{1 + 2 {T}^{\beta }} ), \widetilde{M}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) = (\frac{\widetilde{\varLambda }_{2} {T}^{1-\beta }}{ 1-\beta } )$ shows that (2.6) holds. □

Lemma 2.6

Suppose that there exist positive constants such that$m_{0} \le |\varPhi ^{\varepsilon }(t)| \le M_{0}$, ${\forall t \in [0,T]}$. By choosing$\varepsilon \in (0, \frac{m_{0}}{2} )$, we have

$$\begin{aligned} \frac{m_{0}}{2} \le \bigl\vert \varPhi (t) \bigr\vert \le \mathcal{P}(m _{0},M_{0}), \end{aligned}$$

(2.11)

where$\mathcal{P}(m_{0},M_{0}) = M_{0} + \frac{m_{0}}{2}$.

Proof

First of all, we have

$$\begin{aligned} { \bigl|\varPhi ^{\varepsilon }(t) \bigr|} &\le \bigl\vert \varPhi (t) \bigr\vert + \bigl\vert \varPhi ^{\varepsilon }(t) - \varPhi (t) \bigr\vert \le \bigl\vert \varPhi (t) \bigr\vert + \sup_{t \in [0,T]} \bigl\vert \varPhi ^{\varepsilon }(t) - \varPhi (t) \bigr\vert \\ &\le \bigl\vert \varPhi (t) \bigr\vert + \bigl\Vert \varPhi ^{\varepsilon } - \varPhi \bigr\Vert _{\mathcal{L}^{\infty }(0,T)} \le \bigl\vert \varPhi (t) \bigr\vert + \varepsilon. \end{aligned}$$

(2.12)

From (2.12), we know that

$$\begin{aligned} \bigl\vert \varPhi (t) \bigr\vert \ge \bigl\vert \varPhi ^{\varepsilon }(t) \bigr\vert - \varepsilon \ge m_{0} - \varepsilon \ge \frac{m_{0}}{2}. \end{aligned}$$

(2.13)

Similarly, we get

$$\begin{aligned} \bigl\vert \varPhi (t) \bigr\vert \le M_{0} + \varepsilon < M_{0} + \frac{m _{0}}{2}. \end{aligned}$$

(2.14)

Denoting ${\mathcal{P}(m_{0},M_{0}) = M_{0} + \frac{m_{0}}{2}}$, and combining (2.13) with (2.14) leads to (2.11). □

Lemma 2.7

Let$\varPhi: [0,{T}] \to \mathbb{R}^{+}$be a continuous function, then we have

$$ \frac{ m_{0} \widetilde{M}^{\dagger }_{\beta }( \widetilde{\varLambda }_{1}) }{2\widetilde{\lambda }_{{pq}}} \le \int _{0}^{T} E_{\beta,1}\bigl(-\widetilde{ \lambda }_{ {pq}} (T-\varsigma )^{\beta }\bigr) \varPhi (\varsigma ) \,d\varsigma \le \frac{\mathcal{P}(m_{0},M_{0})\widetilde{M}^{\dagger \dagger } _{\beta }(\widetilde{\varLambda }_{2})}{ \widetilde{\lambda }_{ {pq}}}. $$

(2.15)

2.1 The formula of source term f

In this section, we introduce the mild solution of the following initial value problem:

$$ \textstyle\begin{cases} \partial _{t} u(x,y,t) = \partial _{t}^{1-\beta } (u_{xx}(x,y,t) + u_{yy}(x,y,t) ) + \mathbf{H}(x,y,t), \\ \quad (x,y,t) \in \varOmega \times (0,T), \\ u(x,y,t) = 0,\quad { (x,y)} \in \partial \varOmega, {t \in (0,T]}, \\ u(x,y,0) = a(x,y),\quad {(x,y)} \in \varOmega. \end{cases} $$

(2.16)

We use the separation of variables to obtain the solution of (2.16). Suppose that the exact u is defined by Fourier series

$$\begin{aligned} {u(x,y,t) = \sum_{p=1}^{\infty } \sum _{q=1}^{ \infty } u_{pq}(t)} \mathcal{S}_{{pq}}({x},{y}) \end{aligned}$$

(2.17)

in which $\mathcal{S}_{{pq}}({x},{y}) = { \sin (px) \sin (qy)}$. Taking the Laplace transform of (2.16) we obtain that

$$ \varsigma \widetilde{u_{pq}}(\varsigma ) - \widetilde{a_{pq}} = -\widetilde{\lambda }_{{pq}} \varsigma ^{1-\beta } \widetilde{u_{pq}}(\varsigma ) + \widetilde{\mathbf{H}_{pq}}( \varsigma ), \quad \Re (\varsigma ) > 0, $$

(2.18)

in which ṽ is the Laplace transform of function v, and so

$$\begin{aligned} \widetilde{u_{pq}}(s) = \frac{\varsigma ^{\beta -1}}{ \varsigma ^{\beta }+ \widetilde{\lambda }_{{pq}}} {\widetilde{a_{pq}}} + \frac{\varsigma ^{\beta -1}}{\varsigma ^{\beta }+ \widetilde{\lambda }_{{pq}}}\widetilde{\mathbf{H}_{pq}}(\varsigma ), \end{aligned}$$

(2.19)

where $\mathbf{H}_{{pq}}({t}) = \langle \mathbf{H}(\cdot, \cdot,{t}), \mathcal{S}_{{pq}}({x},{y}) \rangle$. It follows from Lemma 2.3 and the uniqueness of Laplace transform that

$$\begin{aligned} {u_{pq}(t) = E_{\beta,1}\bigl(-\widetilde{\lambda }_{{pq}}t ^{\beta }\bigr)a_{pq} + \int _{0}^{t} E_{\beta,1} \bigl(- \widetilde{ \lambda }_{{pq}}(t-\varsigma )^{\beta } \bigr) \mathbf{H}_{pq}( \varsigma ) \,d\varsigma. } \end{aligned}$$

(2.20)

By letting $t=T$ in the last equality, recalling $a _{pq} = 0$ and $\mathbf{H}_{pq}(\varsigma )= \varPhi (\varsigma ) f_{pq}$, we have

$$\begin{aligned} {u_{pq}(T) = g_{pq} = f_{pq} \int _{0}^{T}E_{\beta,1}\bigl(- \widetilde{ \lambda }_{{pq}}(T-\varsigma )^{\beta }\bigr) \varPhi ( \varsigma ) \,d\varsigma.} \end{aligned}$$

(2.21)

We get the formula of the source function f as

$$\begin{aligned} f(x,y) = \sum_{p=1}^{\infty }\sum _{q=1}^{\infty }\frac{ g_{pq} \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T- \varsigma )^{\beta }) \varPhi (\varsigma )\,d\varsigma }, \end{aligned}$$

(2.22)

where

$$\begin{aligned} \begin{aligned} &{a_{pq}} = \frac{4}{\pi ^{2}} \int _{0}^{\pi } \int _{0}^{\pi } a(x,y) \mathcal{S}_{{pq}}({x}, {y}) \,dx \,dy, \\ &{g_{pq}}= \frac{4}{\pi ^{2}} \int _{0}^{\pi } \int _{0}^{\pi } g(x,y) \mathcal{S}_{{pq}}({x}, {y}) \,dx \,dy, \\ &{\mathbf{H}_{pq}(s) }= \frac{4}{\pi ^{2}} \int _{0}^{\pi } \int _{0}^{\pi }{\mathbf{H}}(x,y,s) \mathcal{S}_{ {pq}}({x},{y}) \,dx \,dy, \end{aligned} \end{aligned}$$

(2.23)

and where we note that $E_{\beta,1} (- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta } )>0$ and $\varPhi (\varsigma )>0$ for $0 \le \varsigma \le T$.

Theorem 2.1

Let$\varPhi: [0,T] \to \mathbb{R}$be as in Lemma 2.7. Then the solution$(u(x,y,t), f(x,y))$of Problem (1.1) is unique.

Proof

Let ${f_{1}}$ and ${f_{2}}$ be the source functions corresponding to the final values ${g_{1}}$ and ${g_{2}}$, respectively. Suppose that ${g_{1} = g_{2}}$. Then we prove that ${f_{1}=f_{2}}$. Using the fact that $E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \ge 0$ for ${\varsigma \le T}$. Using Lemma 2.2, we have

$$\begin{aligned} { \int _{0}^{T} E_{\beta,1}\bigl(-\widetilde{ \lambda }_{{pq}}(T- \varsigma )^{\beta }\bigr) \varPhi (\varsigma ) \,d\varsigma } &\ge \frac{m _{0}}{2} \int _{0}^{T}E_{\beta,1}\bigl(-\widetilde{ \lambda }_{{pq}}(T- \varsigma )^{\beta }\bigr) \,d\varsigma \\ &= \frac{m_{0}}{2} T E_{\beta,2}\bigl(-\widetilde{\lambda }_{ {pq}}T^{\beta }\bigr) > 0. \end{aligned}$$

(2.24)

Therefore, we get

$$ f_{1}(x,y)-f_{2}(x,y) = \sum_{p=1}^{\infty } \sum_{q=1}^{ \infty } \frac{ (g^{1}_{pq}-g^{2}_{pq} ) \mathcal{S}_{ {pq}}({x},{y}) }{ \int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ( \varsigma )\,d\varsigma }=0. $$

(2.25)

The proof is complete. □

Theorem 2.2

The inverse source problem is ill-posed.

Proof

To illustrate the ill-posedness of our problem, the relevant counterexample is indicated. Choose the input final data $g _{mn}(x,y) = \frac{\mathcal{S}_{{mn}}({x},{y}) }{ \sqrt{mn}}$. By (2.22), the source term corresponding to ${g_{mn}}$ is

$$\begin{aligned} {f_{mn}(x,y)} &= \sum_{p=1}^{\infty } \sum_{q=1}^{\infty }\frac{g_{mn} \mathcal{S}_{{pq}}( {x},{y}) }{ \int _{0}^{T}E_{\beta,1} (- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta } ) \varPhi ( \varsigma )\,d\varsigma } \\ &= \sum_{p=1}^{\infty }\sum _{q=1}^{\infty }\frac{ \frac{\mathcal{S}_{{mn}}({x},{y})}{{ \sqrt{mn}}} \mathcal{S}_{{pq}}({x},{y})}{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T- \varsigma )^{\beta }) \varPhi (\varsigma )\,d\varsigma } \\ &= \frac{ \mathcal{S}_{{mn}}({x},{y})}{\sqrt{mn}} \int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{mn}}(T-\varsigma )^{\beta }) \varPhi ( \varsigma )\,d\varsigma . \end{aligned}$$

(2.26)

Assume that input final data ${g(x,y)=0}$. By (2.22), the source term corresponding to g is ${f(x,y)=0}$. The error in $\mathcal{L}^{2}(\varOmega )$ norm between two input final data is

$$\begin{aligned} { \|g_{mn} - g \|_{\mathcal{L}^{2}(\varOmega )}= \biggl\| \frac{ \mathcal{S}_{{mn}}({x},{y}) }{ \sqrt{mn}}\biggr\| _{\mathcal{L}^{2}(\varOmega )}= \frac{1}{\sqrt{mn}} \to 0 \quad\text{when } m,n \to \infty. } \end{aligned}$$

(2.27)

The error in $\mathcal{L}^{2}$ norm between two corresponding source terms is

$$\begin{aligned} \|f_{mn} - f \|^{2}_{\mathcal{L}^{2}(\varOmega )} &= \biggl(\frac{\pi ^{2}}{4} \biggr) \biggl\Vert \frac{\mathcal{S}_{ {mn}}({x},{y})}{ \sqrt{mn} \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{mn}} (T-\varsigma )^{ \beta } ) \varPhi (\varsigma )\,d\varsigma } \biggr\Vert ^{2}_{\mathcal{L}^{2}( \varOmega ) } \\ & = \biggl(\frac{\pi ^{2}}{4} \biggr)\frac{1}{{mn}} \biggl( \int _{0}^{T} E_{\beta,1}\bigl(-\widetilde{ \lambda }_{{mn}}(T- \varsigma )^{\beta } \bigr) \varPhi (\varsigma )\,d\varsigma \biggr)^{-2} \\ & \ge { \biggl(\frac{\pi ^{2}}{4} \biggr) \frac{1}{mn} \frac{ (\int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{ {mn}} (T-\varsigma )^{\beta } )\,d\varsigma )^{-2}}{ \vert \mathcal{P}(m_{0},M_{0}) \vert } } \\ &= \biggl(\frac{\pi ^{2}}{4} \biggr) \frac{1}{\mathcal{P}(m _{0},M_{0})\widetilde{M}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2})} \frac{\widetilde{\lambda }_{{mn}} ^{2}}{{mn}} \to \infty \quad\text{as } m,n \to \infty. \end{aligned}$$

(2.28)

Hence, from (2.27) and (2.28), there is in general no stability result. Thus, problem (1.1) is ill-posed in the Hadamard sense in $\mathcal{L}^{2}$ norm. □

2.2 Conditional stability of source term f

Theorem 2.3

For$\mathcal{M}>0$such that$\|f \|_{H^{\delta }( \varOmega )} \le \mathcal{M}$,

$$ \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )} \le \widetilde{C}( \delta, \mathcal{M}) \Vert g \Vert _{\mathcal{L}^{2}(\varOmega )}^{\frac{ \delta }{\delta +1}}, $$

(2.29)

in which

$$\begin{aligned} \widetilde{C}(\delta, \mathcal{M}) = \biggl(\frac{2}{m_{0} ( \widetilde{M}^{\dagger }_{\beta }(\widetilde{\varLambda }_{1}) ) } \biggr)^{\frac{\delta }{\delta +1}}\mathcal{M}^{\frac{1}{ \delta +1}}. \end{aligned}$$

(2.30)

Proof

From (2.22), combining Hölder inequality and Lemma 2.7, we obtain

$$\begin{aligned} & \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )}^{2} \\ &\quad \le \Biggl(\sum _{p=1}^{\infty }\sum_{q=1}^{\infty } \frac{ \vert \langle g_{pq}, \mathcal{S}_{{pq}}({x},{y}) \rangle \vert ^{2} }{ \vert \int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ( \varsigma )\,d\varsigma \vert ^{2\delta +2} } \Biggr)^{ \frac{1}{\delta +1}} \Biggl(\sum _{p=1}^{\infty }\sum_{q=1} ^{\infty } \bigl\vert \bigl\langle g_{pq}, \mathcal{S}_{{pq}}({x}, {y}) \bigr\rangle \bigr\vert ^{2} \Biggr)^{\frac{\delta }{\delta +1}} \\ &\quad\le \Biggl(\sum_{p=1}^{\infty }\sum _{q=1}^{ \infty } \frac{ \vert \langle f_{pq}, \mathcal{S}_{{pq}}( {x},{y}) \rangle \vert ^{2} }{ \vert \int _{0}^{T} E _{\beta,1} (-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{ \beta } ) \varPhi (\varsigma )\,d\varsigma \vert ^{2\delta } } \Biggr)^{\frac{1}{ \delta +1}} \Vert g \Vert _{\mathcal{L}^{2}(\varOmega )}^{\frac{2 \delta }{\delta +1}} \\ &\quad\le \biggl(\frac{\sum_{p=1}^{\infty }\sum_{q=1} ^{\infty } \widetilde{\lambda }_{{pq}}^{2\delta } \vert \langle f _{pq},\mathcal{S}_{{pq}}({x},{y}) \rangle \vert ^{2}}{ \vert \frac{m_{0}}{2} \vert ^{2\delta } ( \widetilde{M}^{\dagger } _{\beta }(\widetilde{\varLambda }_{1}) )^{2\delta } } \biggr)^{\frac{1}{ \delta +1}} \Vert g \Vert _{\mathcal{L}^{2}(\varOmega )}^{\frac{2 \delta }{\delta +1}}. \end{aligned}$$

(2.31)

From (2.31), we conclude that

$$\begin{aligned} \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )}^{2} \le \biggl(\frac{2}{ \vert m _{0} \vert ( \widetilde{M}^{\dagger }_{\beta }(\widetilde{\varLambda } _{1}) ) } \biggr)^{\frac{2\delta }{\delta +1}} \Vert f \Vert ^{\frac{2}{ \delta +1}}_{H^{\delta }(\varOmega )} \Vert g \Vert _{\mathcal{L}^{2}( \varOmega )}^{\frac{2\delta }{\delta +1}}. \end{aligned}$$

(2.32)

 □

3 Fourier truncation regularization and error estimate

In this section, we eliminate all the components of large ${p,q}$ from the solution where the positive integer $\mathcal{N _{TR}}$ plays the role of the regularization parameter. The nature of our regularization method is just eliminating all high frequencies from the solution and considering instead of (2.22) only for $\widetilde{\lambda }_{pq} = p^{2} + q^{2}$, where $\mathcal{N_{TR}}$ is a suitable positive constant. We note that the $\mathcal{N_{TR}}$ constant will be selected appropriately as a formal parameter. This regularization method is quite simple and convenient to handle some of the problems posed. The current article is devoted to establishing such an approach for problem (1.1). Let

$$\begin{aligned} &\overline{B}_{\varepsilon }:= \bigl\{ p,q \in \mathbb{N}^{*}, \widetilde{\lambda }_{{pq}} = p^{2} + q^{2} \le \mathcal{N_{TR}} \bigr\} , \end{aligned}$$

(3.1)

$$\begin{aligned} & \underline{B}_{\varepsilon }:= \bigl\{ p,q \in \mathbb{N} ^{*}, \widetilde{\lambda }_{{pq}} = p^{2} + q^{2} > \mathcal{N _{TR}} \bigr\} . \end{aligned}$$

(3.2)

We have the regularized solution as follows:

$$ {f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) = \sum _{p,q \in \overline{B}_{\varepsilon }} \frac{g^{\varepsilon }_{pq} \mathcal{S}_{{pq}}({x},{y})}{ \int _{0} ^{T} E_{\beta,1} (-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta } )\varPhi ^{\varepsilon }(\varsigma )\,d\varsigma } }. $$

(3.3)

Next, we show error estimation for $\|f(x,y)-f^{\mathcal{N _{TR}}}_{\varepsilon }(x,y) \|_{\mathcal{L}^{2}(\varOmega )}$ and give convergence rate under a suitable choice for the regularization parameter.

3.1 Convergence estimate under an a priori regularization parameter choice rule

Theorem 3.1

Let$f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y)$be the regularized solution of Problem (1.1) with observed data${g^{\varepsilon }(x,y)}$and let${f(x,y)}$be the exact solution of Problem (1.1) with exact data${g(x,y)}$. By choosing parameter regularization$\mathcal{N _{TR}}=[\zeta ]$, where$[\zeta ]$denotes the largest integer less than or equal toζ,

• If$0 < \delta \le 1$then, by choosing$\zeta = (\frac{ \mathcal{M}}{\varepsilon } )^{\frac{1}{\delta +1}}$, we obtain

  $$\begin{aligned} \bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \le \varepsilon ^{\frac{\delta }{\delta + 1}}\mathcal{M}^{\frac{1}{\delta + 1}} \mathcal{D}(m_{0},\beta,f,\varLambda _{1}). \end{aligned}$$

  (3.4)

• If$\delta > 1$, then, by choosing$\zeta = (\frac{\mathcal{M}}{ \varepsilon } )^{\frac{1}{2}}$, we obtain

  $$\begin{aligned} \bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \le \varepsilon ^{\frac{1}{2}} \mathcal{M}^{\frac{1}{2}} \mathcal{D}(m_{0},\beta,f,\varLambda _{1}), \end{aligned}$$

  (3.5)

where$\mathcal{D}(m_{0},\beta,f,\varLambda _{1}) = \frac{ \pi }{2} ( 1 + \max \{ \frac{1}{ |m_{0} | \widetilde{\mathcal{M}}^{\dagger }_{\beta }(\varLambda _{1})},\frac{\|f\| _{\mathcal{L}^{2}(\varOmega )}}{|m_{0}|} \} )$.

Proof of Theorem 3.1

Using (2.22) and (3.3) and the triangle inequality, we have

$$\begin{aligned} &f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \\ &\quad= \sum_{p=1}^{\infty }\sum _{q=1}^{\infty } \frac{g _{pq} \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi (\varsigma )\,d\varsigma } \\ &\qquad{}- \sum _{p,q \in \overline{B}_{\varepsilon }} \frac{ g^{\varepsilon } _{pq} \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma )\,d\varsigma } \\ &\quad= \sum_{p=1}^{\infty }\sum _{q=1}^{\infty } \frac{g _{pq} \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi (\varsigma )\,d\varsigma } \\ &\qquad{}- \sum _{p,q \in \overline{B}_{\varepsilon }} \frac{g_{pq} \mathcal{S} _{{pq}}({x},{y}) }{ \int _{0}^{T} E_{ \beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi (\varsigma )\,d\varsigma } \\ &\qquad {}+ \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{g _{pq} \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi (s)\,ds } \\ &\qquad{}- \sum _{p,q \in \overline{B}_{\varepsilon }} \frac{ g_{pq}^{\varepsilon } \mathcal{S}_{{pq}}({x}, {y}) }{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda } _{{pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma )\,d\varsigma } . \end{aligned}$$

(3.6)

Using (3.6), we can write

$$\begin{aligned} &f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \\ &\quad = \underbrace{ \sum_{{p,q} \in \underline{B}_{\varepsilon }} \frac{{g} _{{pq}} \mathcal{S}_{{pq}}({x},{y})}{ \int _{0}^{{T}} E_{\beta,1}(-\widetilde{\lambda }_{ {pq}}({T}-\varsigma )^{\beta }) \varPhi (\varsigma ) {d}\varsigma } }_{:= \mathcal{A}_{1} } + \underbrace{ \sum_{{p,q} \in \overline{B}_{\varepsilon }} \frac{ ( {g}_{pq}(x) - {g}^{\varepsilon }_{{pq}}(x) ) \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{{T}} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}( {T}-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) {d}\varsigma } }_{:= \mathcal{A}_{2} } \\ &\qquad{} + \underbrace{ \sum_{{p,q} \in \overline{B}_{\varepsilon }} \frac{{g} _{{pq}} \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{{T}} E_{\beta,1}(-\widetilde{\lambda }_{ {pq}}({T}-\varsigma )^{\beta }) \varPhi (\varsigma ) {d}\varsigma } \times \sum_{{p,q} \in \overline{B}_{\varepsilon }} \frac{ \int _{0}^{{T}} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}( {T}-\varsigma )^{\beta }) (\varPhi ^{\varepsilon }(\varsigma ) - \varPhi (\varsigma ) ){d}\varsigma }{\int _{0}^{{T}} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}({T}-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) {d}\varsigma } } _{:= \mathcal{A}_{3}}. \end{aligned}$$

(3.7)

Step 1. Firstly, we have the following estimate:

$$\begin{aligned} \Vert \mathcal{A}_{1} \Vert ^{2}_{\mathcal{L}^{2}(\varOmega )} &= \frac{ \pi ^{2}}{4} \sum_{p,q \in \underline{B}_{\varepsilon }} \frac{ \vert \langle g_{pq}, \mathcal{S}_{{pq}}({x},{y}) \rangle \vert ^{2}}{ \vert \int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ( \varsigma ) \,d\varsigma \vert ^{2} } \\ &= \frac{\pi ^{2}}{4}\sum_{p,q \in \underline{B}_{\varepsilon }} \bigl\vert \bigl\langle f_{pq}, \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \bigr\vert ^{2} \\ &\le \frac{\pi ^{2}}{4} \sum_{p,q \in \underline{B}_{\varepsilon }} ( 1 + \widetilde{\lambda }_{{pq}} )^{-2\delta } ( 1 + \widetilde{\lambda }_{{pq}} )^{2\delta } \bigl\vert \bigl\langle f_{pq}, \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \bigr\vert ^{2} \\ &\le \frac{\pi ^{2}}{4} (1 + \mathcal{N_{TR}} )^{-2\delta } \mathcal{M}^{2}. \end{aligned}$$

(3.8)

Hence, we obtain

$$\begin{aligned} \Vert \mathcal{A}_{1} \Vert _{\mathcal{L}^{2}(\varOmega )} \le \frac{ \pi }{2} (1 + \mathcal{N_{TR}} )^{-\delta } \mathcal{M}. \end{aligned}$$

(3.9)

Step 2. The term $\|\mathcal{A}_{2} \|_{\mathcal{L} ^{2}(\varOmega )}$ is bounded by

$$\begin{aligned} \|\mathcal{A}_{2} \|^{2}_{\mathcal{L}^{2}(\varOmega )} & \le \frac{\pi ^{2}}{4} \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{ \vert g_{pq}(x) - g_{pq}^{\varepsilon }(x) \vert ^{2}}{ \vert \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T- \varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) \,d\varsigma \vert ^{2} } \\ &\le \frac{\pi ^{2}}{4} \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{ \widetilde{\lambda }_{{pq}}^{2} \vert g_{pq} - g^{\varepsilon }_{pq} \vert ^{2} }{ \vert m_{0} \vert ^{2} (\widetilde{\mathcal{M}} ^{\dagger }_{\beta }(\widetilde{\varLambda }_{1}) )^{2} } \\ &\le \frac{\pi ^{2}}{4} \sup_{ 1 \le p \le \mathcal{N_{TR}}} \sup_{ 1 \le q \le \mathcal{N_{TR}}} \frac{\widetilde{\lambda }_{ {pq}}^{2}}{ \vert m_{0} \vert ^{2} ( \widetilde{\mathcal{M}}^{\dagger }_{\beta }(\widetilde{\varLambda }_{1}) )^{2} } \sum_{p,q \in \overline{B}_{\varepsilon }} \bigl\vert g_{pq} - g^{\varepsilon }_{pq} \bigr\vert ^{2} \\ &\le \frac{\pi ^{2} \widetilde{\lambda }_{{pq}}^{2} }{ 4 \vert m_{0} \vert ^{2} ( \widetilde{\mathcal{M}}^{\dagger }_{ \beta }(\varLambda _{1}) )^{2} } \bigl\Vert g-g^{\varepsilon } \bigr\Vert ^{2}_{ \mathcal{L}^{2}(\varOmega )} \le \frac{\pi ^{2}{\mathcal{N_{TR}}}^{2} \varepsilon ^{2}}{ 4 \vert m_{0} \vert ^{2} ( \widetilde{\mathcal{M}}^{\dagger }_{\beta }(\varLambda _{1}) )^{2}}. \end{aligned}$$

(3.10)

Therefore,

$$\begin{aligned} \Vert \mathcal{A}_{2} \Vert _{\mathcal{L}(\varOmega )} \le \frac{ {\varepsilon \pi \mathcal{N_{TR}}}}{ 2 \vert m_{0} \vert \widetilde{\mathcal{M}} ^{\dagger }_{\beta }(\varLambda _{1}) }. \end{aligned}$$

(3.11)

Step 3. The term $\|\mathcal{A}_{3} \|_{\mathcal{L} ^{2}(\varOmega )}$ can be estimated as follows:

$$\begin{aligned} \Vert \mathcal{A}_{3} \Vert ^{2}_{\mathcal{L}^{2}(\varOmega )} \le{}& \frac{ \pi ^{2}}{4} \biggl(\sum_{p,q \in \overline{B}_{\varepsilon }} \biggl\vert \frac{ \vert \langle g_{pq}, \mathcal{S}_{{pq}}({x}, {y}) \rangle \vert }{ \int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) \,d\varsigma } \biggr\vert ^{2} \biggr) \\ &{}\times \biggl( \sum_{p,q \in \overline{B}_{\varepsilon }} \biggl\vert \frac{ \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{ {pq}}(T-\varsigma )^{\beta }) (\varPhi ^{\varepsilon }(\varsigma ) - \varPhi (\varsigma ) ) \,d\varsigma }{\int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) \,d\varsigma } \biggr\vert ^{2} \biggr) . \end{aligned}$$

(3.12)

From (3.12), we get

$$\begin{aligned} &\Vert \mathcal{A}_{3} \Vert ^{2}_{\mathcal{L}^{2}(\varOmega )} \\ &\quad \le \frac{\pi ^{2}}{4} \biggl( \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{ \vert \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T- \varsigma )^{\beta }) ( \varPhi ^{\varepsilon }(\varsigma ) - \varPhi ( \varsigma ) ) \,d\varsigma \vert ^{2} }{ \vert \int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma )\,d\varsigma \vert ^{2} } \biggr) \\ &\qquad{} \times { \biggl( \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{ \vert \langle g_{pq}, \mathcal{S}_{{pq}}({x},{y}) \rangle \vert ^{2}}{ \vert \int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T- \varsigma )^{\beta }) \varPhi (\varsigma )\,d\varsigma \vert ^{2} } \biggr)} \\ &\quad\le \frac{\pi ^{2}}{4}\frac{ \Vert \varPhi ^{\varepsilon } - \varPhi \Vert ^{2}_{\mathcal{L}^{\infty }(0,T)}}{ \vert m_{0} \vert ^{2}} \sum_{p=1}^{\infty } \sum_{q=1}^{\infty } \frac{ \vert \langle g_{pq}, \mathcal{S}_{ {pq}}({x},{y}) \rangle \vert ^{2}}{ \vert \int _{0} ^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}} (T-\varsigma )^{ \beta }) \varPhi (\varsigma )\,d\varsigma \vert ^{2} } \\ &\quad= \frac{\pi ^{2}}{4} \frac{ \Vert \varPhi ^{\varepsilon } - \varPhi \Vert ^{2}_{\mathcal{L}^{\infty }(0,T)}}{ \vert m_{0} \vert ^{2}} \Vert f \Vert ^{2}_{ \mathcal{L}^{2}(\varOmega )} \le \frac{\pi ^{2}\varepsilon ^{2} \Vert f \Vert ^{2} _{\mathcal{L}^{2}(\varOmega )} }{ 4 \vert m_{0} \vert ^{2} }. \end{aligned}$$

(3.13)

From (3.12), we conclude that

$$\begin{aligned} \Vert \mathcal{A}_{3} \Vert _{\mathcal{L}^{2}(\varOmega )} \le \frac{\pi \varepsilon \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )} }{ 2 \vert m_{0} \vert }. \end{aligned}$$

(3.14)

Combining (3.8), (3.11), and (3.12) yields

$$\begin{aligned} & \bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \\ &\quad \le \frac{\pi \mathcal{M}}{2 (1 + \mathcal{N_{TR}} )^{\delta }} + \frac{{\pi \varepsilon \mathcal{N_{TR}}}}{ 2 \vert m _{0} \vert \widetilde{\mathcal{M}}^{\dagger }_{\beta }(\varLambda _{1}) } + \frac{ \pi \varepsilon \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )} }{ 2 \vert m_{0} \vert }. \end{aligned}$$

(3.15)

Using the fact that $\mathcal{N_{TR}} \le \zeta \le \mathcal{N_{TR}}+1$ gives

$$\begin{aligned} & \bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \\ &\quad\le \frac{\pi }{2} \biggl[\zeta ^{-\delta } \mathcal{M} + \varepsilon \zeta \max \biggl\{ \frac{1}{ \vert m_{0} \vert \widetilde{\mathcal{M}}^{\dagger }_{\beta }(\varLambda _{1})}, \frac{ \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )}}{ \vert m_{0} \vert } \biggr\} \biggr] \end{aligned}$$

(3.16)

$$\begin{aligned} &\quad \le \varepsilon ^{\frac{\delta }{\delta + 1}}\mathcal{M}^{\frac{1}{ \delta + 1}} \frac{\pi }{2} \biggl( 1 + \max \biggl\{ \frac{1}{ \vert m_{0} \vert \widetilde{\mathcal{M}}^{\dagger }_{\beta }(\varLambda _{1})}, \frac{ \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )}}{ \vert m_{0} \vert } \biggr\} \biggr). \end{aligned}$$

(3.17)

 □

3.2 Convergence estimate under an a posteriori regularization parameter choice rule

In this subsection, by using the discrepancy principle, we consider an a posteriori regularization parameter choice. Define

$$ \mathcal{R}_{\mathcal{N_{TR}}}g^{\varepsilon } = \sum_{p,q \in \overline{B}_{\varepsilon }} g^{\varepsilon }_{pq} \mathcal{S}_{{pq}}({x},{y}). $$

(3.18)

Because of the discrepancy principle, we take $\mathbb{K} = \mathbb{K}(\varepsilon, {g}^{\varepsilon })$ as the solution of

$$ \bigl\Vert (I - \mathcal{R}_{\mathcal{N_{TR}}})g^{\varepsilon } \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \le \tau \varepsilon \le \bigl\Vert (I - \mathcal{R}_{\mathcal{N_{TR}}-1})g^{\varepsilon } \bigr\Vert _{ \mathcal{L}^{2}(\varOmega )}, \quad \tau > 1. $$

(3.19)

For this choice rule, we get an upper bound estimate for the $\mathcal{N_{TR}}$ in the following lemma.

Lemma 3.1

We have

$$ \mathcal{N_{TR}} \le \biggl( \frac{\pi \widetilde{\mathcal{M}} ^{\dagger \dagger }_{\beta }(\widetilde{\varLambda }_{2}) \mathcal{P}(m _{0},M_{0}) \mathcal{M}}{2(\tau -1)\varepsilon } \biggr)^{\frac{1}{1+ \delta }}. $$

(3.20)

Proof

From $\|g^{\varepsilon }-g \|_{\mathcal{L}^{2}( \varOmega )} \le \varepsilon$ and (3.19), we have

$$\begin{aligned} { \|\mathcal{R}_{\mathcal{N_{TR}}-1}g - g \|_{ \mathcal{L}^{2}(\varOmega )} } &= \bigl\Vert (\mathcal{R}_{\mathcal{N _{TR}}-1}-I)g^{\varepsilon }- (I-\mathcal{R}_{\mathcal{N_{TR}}-1}) \bigl(g-g ^{\varepsilon }\bigr) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \\ &\ge \bigl\Vert (\mathcal{R}_{\mathcal{N_{TR}}-1}-I)g^{\varepsilon } \bigr\Vert _{\mathcal{L}^{2}(\varOmega )}- \bigl\Vert (I-\mathcal{R}_{\mathcal{N _{TR}}-1}) \bigl(g-g^{\varepsilon }\bigr) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \\ & \ge (\tau -1) \varepsilon. \end{aligned}$$

(3.21)

On the other hand, for $\widetilde{\lambda }_{{pq}} \geq \mathcal{N _{TR}}$, we obtain

$$\begin{aligned} &\int _{0}^{T} E_{\beta,1}\bigl(-\widetilde{ \lambda }_{{pq}}(T- \varsigma )^{\beta }\bigr) \varPhi (\varsigma ) \,d\varsigma \\ &\quad \le \bigl\vert \mathcal{P}(m_{0},M_{0}) \bigr\vert \int _{0}^{T} E_{\beta,1}\bigl(- \widetilde{ \lambda }_{{pq}}(T-\varsigma )^{\beta }\bigr) \varPhi ( \varsigma ) \,d\varsigma \\ &\quad = \bigl\vert \mathcal{P}(m_{0},M_{0}) \bigr\vert \frac{\widetilde{\mathcal{M}} ^{\dagger \dagger }_{\beta }(\widetilde{\varLambda }_{2})}{ \widetilde{\lambda }_{{pq}}} \le \frac{ \vert \mathcal{P}(m_{0},M _{0}) \vert \widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2})}{ \mathcal{N_{TR}} }. \end{aligned}$$

(3.22)

This implies that

$$\begin{aligned} & \Vert \mathcal{R}_{\mathcal{N_{TR}}-1}g - g \Vert ^{2}_{ \mathcal{L}^{2}(\varOmega )} \\ &\quad = \frac{\pi ^{2}}{4} \sum _{p,q \in \underline{B}_{\varepsilon }} \bigl\vert \bigl\langle g(\cdot,\cdot), \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \bigr\vert ^{2} \\ &\quad= \frac{\pi ^{2}}{4} \sum_{p,q \in \underline{B}_{\varepsilon }} \biggl\vert \int _{0}^{T} E_{\beta,1}\bigl(-\widetilde{ \lambda }_{ {pq}}(T-\varsigma )^{\beta }\bigr) \varPhi (\varsigma ) \,d\varsigma \bigl\langle f_{pq}, \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \biggr\vert ^{2} \\ &\quad\le \frac{\pi ^{2}}{4} \frac{ \vert \mathcal{P}(m_{0},M_{0}) \vert ^{2} (\widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) )^{2} }{ (\mathcal{N_{TR}} )^{2} } \sum_{p,q \in \underline{B}_{\varepsilon }} \bigl\vert \bigl\langle f_{pq}, \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \bigr\vert ^{2} \\ &\quad\le \frac{\pi ^{2}}{4} \frac{ \vert \mathcal{P}(m_{0},M_{0}) \vert ^{2} (\widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) )^{2} }{ (\mathcal{N_{TR}} )^{2} } \sum_{p,q \in \underline{B}_{\varepsilon }} ( 1 + \widetilde{\lambda }_{{pq}} )^{-2 \delta } ( 1 + \widetilde{ \lambda }_{{pq}} )^{2 \delta } \bigl\vert \bigl\langle f_{pq}, \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \bigr\vert ^{2} \\ &\quad\le \frac{\pi ^{2}}{4} \frac{ \vert \mathcal{P}(m_{0},M_{0}) \vert ^{2} (\widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) )^{2} }{ (\mathcal{N_{TR}} )^{2} (\mathcal{N_{TR}} )^{2\delta } } \sum_{p,q \in \underline{B}_{\varepsilon }} ( 1 + \widetilde{\lambda }_{{pq}} )^{2\delta } \bigl\vert \bigl\langle f_{pq}, \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \bigr\vert ^{2} \\ &\quad\le \frac{\pi ^{2}}{4} \frac{ \vert \mathcal{P}(m_{0},M_{0}) \vert ^{2} (\widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) )^{2} \Vert f \Vert ^{2}_{H^{\delta }(\varOmega )} }{ ( \mathcal{N_{TR}} )^{2+2\delta } } \\ &\quad\le \frac{\pi ^{2}}{4} \frac{ \vert \mathcal{P}(m_{0},M_{0}) \vert ^{2} (\widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }(\widetilde{\varLambda }_{2}) )^{2} \mathcal{M} ^{2} }{ ( \mathcal{N_{TR}} )^{2+2\delta } }. \end{aligned}$$

(3.23)

Hence, we conclude that

$$ \Vert F_{\mathcal{N}-1}g - g \Vert _{\mathcal{L}^{2}(\varOmega )} \le \frac{\pi \vert \mathcal{P}(m_{0},M_{0}) \vert \widetilde{\mathcal{M}} ^{\dagger \dagger }_{\beta }(\widetilde{\varLambda }_{2})\mathcal{M}}{2 (\mathcal{N_{TR}} )^{1+\delta }}. $$

(3.24)

Combining (3.21) and (3.24), we conclude that

$$ (\tau - 1)\varepsilon \le \frac{\pi \vert \mathcal{P}(m_{0},M_{0}) \vert \widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) \mathcal{M} }{ 2 ( \mathcal{N_{TR}} )^{1+\delta } }. $$

(3.25)

From (3.25), so we can obtain

$$ \mathcal{N_{TR}} \le \biggl( \frac{\pi \vert \mathcal{P}({m}_{0},{M _{0}}) \vert \widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }( \widetilde{\varLambda }_{2}) \mathcal{M}}{2(\tau -1)\varepsilon } \biggr)^{\frac{1}{1+ \delta }}. $$

(3.26)

 □

Next we present an error estimate for the approximate solution of problem (1.1).

Theorem 3.2

Let$f^{\mathcal{N_{TR}}}_{\varepsilon }$andfbe as in Theorem 3.1. Then we obtain

$$\begin{aligned} \bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \le \varepsilon ^{\frac{\delta }{\delta + 1}} \mathcal{M}^{\frac{1}{\delta + 1}} \bigl[ Q_{1} + Q_{2} (\tau +1)^{\frac{\delta }{\delta + 1}} \bigr], \end{aligned}$$

(3.27)

where

$$\begin{aligned} & Q_{1} = \biggl( \frac{\pi \widetilde{\mathcal{M}}^{\dagger \dagger }_{\beta }(\widetilde{\varLambda }_{2}) \vert \mathcal{P}(m_{0},M_{0}) \vert }{ 2(\tau - 1){ \vert m_{0} \vert }^{\delta +1} } \biggr)^{\frac{1}{\delta + 1}} \max \biggl\{ \Vert f \Vert _{ \mathcal{L}^{2}(\varOmega )}, \frac{\pi }{2\widetilde{M}^{\dagger }_{ \beta }(\widetilde{\varLambda }_{1}) } \biggr\} , \\ & Q_{2} = \frac{ 1 }{ { \vert \frac{m_{0}}{2} \vert }^{\frac{\delta }{ \delta + 1}} (\widetilde{M}^{\dagger }_{\beta }( \widetilde{\varLambda }_{1}) )^{\frac{\delta }{\delta +1}}}. \end{aligned}$$

(3.28)

Proof

Using the triangle inequality, we have

$$\begin{aligned} &\bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \\ &\quad \le \bigl\Vert f(x,y) - f^{\mathcal{N _{TR}}}(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} + \bigl\Vert f^{ \mathcal{N}_{TR}}(x,y) - f^{\mathcal{N}_{TR}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )}. \end{aligned}$$

(3.29)

We split the proof into two steps.

Step 1. Estimate for $\| f(\cdot,\cdot ) - f^{\mathcal{N _{TR}}}(\cdot,\cdot ) \|_{\mathcal{L}^{2}(\varOmega )}$. We obtain it as

$$\begin{aligned} & \bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}(x,y) \bigr\Vert _{H^{\delta }(\varOmega )} \\ &\quad \le \Biggl\Vert \sum_{p=\mathcal{N_{TR}}+1}^{ \infty } \sum_{q=\mathcal{N_{TR}}+1}^{\infty } \bigl\langle f_{pq}, \mathcal{S}_{{pq}}({x},{y}) \bigr\rangle \Biggr\Vert \\ &\quad = \Biggl(\sum_{p=\mathcal{N_{TR}}+1}^{\infty } \sum _{q=\mathcal{N_{TR}}+1} ^{\infty } ( 1 + \widetilde{\lambda }_{{pq}} )^{2 \delta } \bigl\vert \bigl\langle f(\cdot,\cdot ), \mathcal{S}_{{pq}}( {x},{y})\bigr\rangle \bigr\vert ^{2} \Biggr)^{1/2} \le \mathcal{M}. \end{aligned}$$

(3.30)

From (3.19), we get

$$\begin{aligned} & \bigl\Vert Af(x,y) - Af^{\mathcal{N_{TR}}}(x,y) \bigr\Vert _{ \mathcal{L}^{2}(\varOmega )} \\ &\quad \le \bigl\Vert (I - \mathcal{R}_{\mathcal{N _{TR}}})g \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \\ &\quad\le \bigl\Vert (I - \mathcal{R}_{N_{TR}})g^{\epsilon } + ( I - \mathcal{R}_{\mathcal{N_{TR}}} ) \bigl( g - g^{\epsilon } \bigr) \bigr\Vert _{ \mathcal{L}^{2}(\varOmega )} \\ &\quad\le \bigl\Vert ( I - \mathcal{R}_{\mathcal{N_{TR}}} )g^{ \varepsilon } \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} + \bigl\Vert ( I - \mathcal{R}_{\mathcal{N_{TR}}} ) \bigl( g - g^{\varepsilon } \bigr) \bigr\Vert _{ \mathcal{L}^{2}(\varOmega )} \\ &\quad\le (\tau + 1) \varepsilon. \end{aligned}$$

(3.31)

Therefore, we have

$$ \bigl\Vert f(\cdot,\cdot ) - f^{\mathcal{N_{TR}}}(\cdot, \cdot ) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \le Q_{2} \bigl((\tau +1) \varepsilon \bigr)^{\frac{\delta }{\delta + 1}}. $$

(3.32)

Step 2. Estimate for $\| f^{\mathcal{N_{TR}}}( \cdot,\cdot ) - f^{\mathcal{N_{TR}}}_{\varepsilon }(\cdot,\cdot ) \|_{\mathcal{L}^{2}(\varOmega )}$. We obtain it from

$$\begin{aligned} &f^{\mathcal{N_{TR}}}(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \\ &\quad= \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{ g_{pq} \mathcal{S}_{{pq}}({x},{y}) }{\int _{0}^{T} E_{ \beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi (\varsigma ) \,d\varsigma - \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{ g^{\varepsilon } _{pq} \mathcal{S}_{{pq}}({x},{y}) }{\int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{ \beta }) \varPhi ^{\varepsilon }(\varsigma ) \,d\varsigma } } \\ &\quad\le \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{g_{pq} \mathcal{S}_{{pq}}({x},{y}) }{\int _{0}^{T} E_{ \beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi (\varsigma ) \,d\varsigma } - \sum _{p,q \in \overline{B}_{\varepsilon }} \frac{ g_{pq} \mathcal{S} _{{pq}}({x},{y}) }{\int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) \,d\varsigma } \\ &\qquad{} + \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{ (g _{pq} - g_{pq}^{\varepsilon }) \mathcal{S}_{{pq}}({x}, {y}) }{\int _{0}^{T} E_{\beta,1}(-\widetilde{\lambda }_{ {pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) \,d \varsigma }. \end{aligned}$$

(3.33)

From (3.33), we know that

$$\begin{aligned} &f^{\mathcal{N_{TR}}}(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \\ &\quad \le \underbrace{ \sum_{{p,q} \in \overline{B}_{\varepsilon }} \frac{ \int _{0} ^{T} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}({T}- \varsigma )^{\beta }) (\varPhi (\varsigma ) - \varPhi ^{\varepsilon }(\varsigma )) {d}\varsigma }{ \int _{0}^{T} E_{\beta,1}(- \widetilde{\lambda }_{{pq}}({T}-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) {d}\varsigma } \times \sum_{{p,q} \in \overline{B}_{\varepsilon }} \frac{{g} _{{pq}} \mathcal{S}_{{pq}}({x},{y}) }{ \int _{0}^{{T}} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}( {T}-\varsigma )^{\beta }) \varPhi (\varsigma ) {d}\varsigma } } _{:=\mathcal{A}_{3}} \\ &\qquad{} + \underbrace{ \sum_{{p,q} \in \overline{B}_{\varepsilon }} \frac{ \langle {g}_{{pq}} - {g}_{{pq}}^{\varepsilon }, \mathcal{S}_{{pq}}({x},{y}) \rangle }{\int _{0}^{ {T}} E_{\beta,1}(-\widetilde{\lambda }_{{pq}}( {T}-\varsigma )^{\beta }) \varPhi ^{\varepsilon } (\varsigma ) {d}\varsigma }}_{:=\mathcal{A}_{4}}. \end{aligned}$$

(3.34)

From (3.33), it is easy to check that

$$ \Vert \mathcal{A}_{3} \Vert _{\mathcal{L}^{2}(\varOmega )} \le \frac{\varepsilon \Vert f \Vert _{\mathcal{L}^{2}(\varOmega )} }{m_{0}} . $$

(3.35)

Our estimate of $\mathcal{A}_{4}$ is based on Lemma 2.7, and we obtain

$$\begin{aligned} \Vert \mathcal{A}_{4} \Vert ^{2}_{\mathcal{L}^{2}(\varOmega )} &= \frac{\pi ^{2}}{4} \sum_{p,q \in \overline{B}_{\varepsilon }} \biggl\vert \frac{ \langle g_{pq}(x,y) - g^{\varepsilon }_{pq}(x,y), \mathcal{S}_{{pq}}({x},{y}) \rangle }{\int _{0}^{T} E _{\beta,1}(-\widetilde{\lambda }_{{pq}}(T-\varsigma )^{\beta }) \varPhi ^{\varepsilon }(\varsigma ) \,d\varsigma } \biggr\vert ^{2} \\ &\le \frac{\pi ^{2}}{4} \sum_{p,q \in \overline{B}_{\varepsilon }} \frac{\widetilde{\lambda }_{{pq}}^{2} \vert \langle g_{pq}(x,y) - g^{\varepsilon }_{pq}(x,y),\mathcal{S}_{{pq}}({x}, {y}) \rangle \vert ^{2} }{ \vert m_{0} \vert ^{2} (\widetilde{M}^{\dagger } _{\beta }(\widetilde{\varLambda }_{1}) )^{2} } \\ & \le \frac{\pi ^{2}}{4}\frac{\varepsilon ^{2} (\mathcal{N _{TR}} )^{2}}{m_{0}^{2} (\widetilde{M}^{\dagger }_{\beta }( \widetilde{\varLambda }_{1}) )^{2} }. \end{aligned}$$

(3.36)

Hence, we get

$$ \Vert \mathcal{A}_{4} \Vert _{\mathcal{L}^{2}(\varOmega )} \le \frac{\pi \varepsilon \mathcal{N_{TR}} }{2m_{0} \widetilde{M}^{ \dagger }_{\beta }(\widetilde{\varLambda }_{1}) }. $$

(3.37)

From the above observations, we deduce that

$$\begin{aligned} \bigl\Vert f^{\mathcal{N_{TR}}}(x,y) - f^{\mathcal{N_{TR}}}_{ \varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )}\le \frac{\varepsilon \mathcal{N_{TR}} }{m_{0}} \max \biggl\{ \Vert f \Vert _{\mathcal{L} ^{2}(\varOmega )}, \frac{\pi }{2\widetilde{M}^{\dagger }_{\beta }( \widetilde{\varLambda }_{1})} \biggr\} . \end{aligned}$$

(3.38)

Substituting (3.26) into (3.38), we obtain

$$ \bigl\Vert f^{\mathcal{N_{TR}}}(x,y) - f^{\mathcal{N_{TR}}}_{ \varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \le \varepsilon ^{\frac{\delta }{\delta + 1}}\mathcal{M}^{\frac{1}{\delta + 1}} Q_{1}. $$

(3.39)

Combining Steps 1 and 2, we obtain the final estimate as follows:

$$\begin{aligned} { \bigl\Vert f(x,y) - f^{\mathcal{N_{TR}}}_{\varepsilon }(x,y) \bigr\Vert _{\mathcal{L}^{2}(\varOmega )} \le \varepsilon ^{\frac{\delta }{\delta + 1}} \mathcal{M}^{\frac{1}{\delta + 1}} \bigl[ Q_{1} + Q_{2} (\tau +1)^{\frac{\delta }{\delta + 1}} \bigr]}, \end{aligned}$$

(3.40)

in which ${Q_{1}}$ depends on $m_{0}, M_{0}, \varLambda _{1}, \varLambda _{2},\delta,f,\tau,\beta$, and ${Q_{2}}$ depends on ${m_{0},\delta,\beta,\varLambda _{1}}$ defined in (3.28). This completes the proof. □