# Identification of the pollution source of a parabolic equation with the time-dependent heat conduction

## Abstract

We consider the problem of identifying the pollution source of a 1D parabolic equation from the initial and the final data. The problem is ill posed and regularization is in order. Using the quasi-boundary method and the truncation Fourier method, we present two regularization methods. Error estimates are given and the methods are illustrated by numerical experiments.

## 1 Introduction

In this paper, we consider an inverse problem of identifying a pollution source from data measured at some points in a watershed. The pollution source causes water contamination in some region. In all industrial countries, groundwater pollution is a serious environmental problem that puts the whole ecosystem, including humans, in jeopardy. The quality and quantity of groundwater have much effect on human life and may lead to natural environmental changes (see, e.g., [1]). As we know, most efforts to find pollutant transport are based on the methodology of mathematics. Solute transport in a uniform groundwater flow can be described by the one-dimensional (1D) linear parabolic equation

$\frac{\mathrm{âˆ‚}\stackrel{Ëœ}{u}}{\mathrm{âˆ‚}t}âˆ’D\frac{{\mathrm{âˆ‚}}^{2}\stackrel{Ëœ}{u}}{\mathrm{âˆ‚}{x}^{2}}+V\frac{\mathrm{âˆ‚}\stackrel{Ëœ}{u}}{\mathrm{âˆ‚}x}+R\stackrel{Ëœ}{u}={F}_{0}\left(x,t\right),\phantom{\rule{1em}{0ex}}xâˆˆ\mathrm{Î©},0
(1)

where Î© is a spatial domain, $\stackrel{Ëœ}{u}$ is the solute concentration, V represents the velocity of watershed movement, R denotes the self-purifying function of the watershed, and ${F}_{0}\left(x,t\right)$ is a source term causing the pollution function $\stackrel{Ëœ}{u}\left(x,t\right)$. Putting

$\stackrel{Ëœ}{u}\left(x,t\right)=u\left(x,t\right){e}^{\frac{V}{2D}xâˆ’\left(\frac{{V}^{2}}{4D}+R\right)t},$

we can transform the latter equation into

$\frac{\mathrm{âˆ‚}u}{\mathrm{âˆ‚}t}âˆ’D\frac{{\mathrm{âˆ‚}}^{2}u}{\mathrm{âˆ‚}{x}^{2}}=F\left(x,t\right),$
(2)

where $F\left(x,t\right)={F}_{0}\left(x,t\right){e}^{âˆ’\frac{V}{2D}x+\left(\frac{{V}^{2}}{4D}+R\right)t}$; we still call it the source function. Coming from this relationship between the two equations (1) and (2), in the present paper, we will find a pair of functions $\left(u,F\right)$ satisfying (2) subject to the initial and the final conditions

$u\left(x,0\right)=0,\phantom{\rule{2em}{0ex}}u\left(x,T\right)=g\left(x\right),\phantom{\rule{1em}{0ex}}xâˆˆ\left(0,\mathrm{Ï€}\right),$
(3)

and the boundary condition $u\left(0,t\right)=u\left(\mathrm{Ï€},t\right)=0$. To consider a more general case, we will replace D in (2) by a given function $a\left(t\right)$ which is defined later.

This inverse source problem is ill posed. Indeed, a solution corresponding to the given data does possibly not exist, and even if the solution exists (uniquely) then it may not depend continuously on the data. Because the problem is severely ill posed and difficult, many preassumptions on the form of the heat source are in order. In fact, let $\left\{{\mathrm{Ï†}}_{n}\left(t\right)\right\}$ be a basis in ${L}^{2}\left(0,T\right)$. Then the function F can be written as

$F\left(\mathrm{Î¾},t\right)=\underset{n=0}{\overset{\mathrm{âˆž}}{âˆ‘}}{\mathrm{Ï†}}_{n}\left(t\right){f}_{n}\left(\mathrm{Î¾}\right).$
(4)

In the simplest case, one reduces this approximation to its first term $F\left(x,t\right)=\mathrm{Ï†}\left(t\right)f\left(x\right)$, where the function Ï† is given. Source terms of this form frequently appear, for example, as a control term for the parabolic equation.

In another context, this problem is called the identification of heat source; it has received considerable attention from many researchers in a variety of fields using different methods since 1970. If the pollute source has the form of $f=f\left(u\right)$, the inverse source problem was studied in [2]. In [3], the authors considered the heat source as a function of both space and time variables, in the additive or separable forms. Many researchers viewed the source as a function of space or time only. In [4, 5], the authors determined the heat source dependent on one variable in a bounded domain by the boundary-element method and the iterative algorithm. In [6], the authors investigated the heat source which is time-dependent only by the method of a fundamental solution.

Many authors considered the uniqueness and stability conditions of the determination of the heat source under this separate form. In spite of the uniqueness and stability results, the regularization problem for unstable cases is still difficult. For a long time, it has been investigated for a heat source which is time-depending only [4, 5, 7] or space-depending only [1, 3, 8â€“10]. As regards the regularization method, there are few papers with a strict theoretical analysis of identifying the heat source $F\left(x,t\right)=\mathrm{Ï†}\left(t\right)f\left(x\right)$, where Ï† is a given function. Trong et al. [11, 12] considered this problem by the Fourier transformation method. Recently, when $a\left(t\right)=1$ and $\mathrm{Ï†}\left(t\right)={e}^{âˆ’\mathrm{Î»}t}$ ($\mathrm{Î»}>0$), the problem (1) describes a heat process of radio isotope decay whose decay rate is Î», which has been considered by Qian and Li [13]. In [14], Hasanov identified the heat source which has the form of $F\left(x,t\right)=F\left(x\right)H\left(t\right)$ of the variable coefficient heat conduction equation ${u}_{t}={\left(k\left(x\right){u}_{x}\right)}_{x}+F\left(x\right)H\left(t\right)$ using the variational method. However, the generalized case with the time-dependent coefficient of Î”u in the main equation is still limited and open. In this paper, we consider the following generalized equation:

${u}_{t}âˆ’a\left(t\right){u}_{xx}=F\left(x,t\right)$
(5)

and u satisfies the condition (3). This kind of equation (5) has many applications in groundwater pollution. It is a simple form of advection-convection, which appears in groundwater pollution source identification problems (see [1]). Such a model is related to the detection of the pollution source causing water contamination in some region.

The remainder of the paper is divided into three sections. In Section 2, we apply the quasi-boundary value method and truncation method to solve the problem (2)-(3). Then we also estimate the error between an exact solution and the regularization solution with the logarithmic order and HÃ¶lder order. Finally, some numerical experiments will be given in Section 3.

## 2 Identification and regularization for inhomogeneous source depending on time variable

Let $âˆ¥â‹\dots âˆ¥$, $ã€ˆâ‹\dots ,â‹\dots ã€‰$ be the norm and the inner product in ${L}^{2}\left(0,\mathrm{Ï€}\right)$. Let $a:\left[0,T\right]â†’R$ be a continuous function on $\left[0,T\right]$. We set $A\left(t\right)={âˆ«}_{0}^{t}a\left(s\right)\phantom{\rule{0.2em}{0ex}}ds$. The problem (5) can be transformed into

$\left\{\begin{array}{l}\frac{d}{dt}ã€ˆu\left(x,t\right),sinnxã€‰+{n}^{2}a\left(t\right)ã€ˆu\left(x,t\right),sinnxã€‰=\mathrm{Ï†}\left(t\right)ã€ˆf\left(x\right),sinnxã€‰,\phantom{\rule{1em}{0ex}}0
(6)

By an elementary calculation, we can solve the ordinary differential equation (6) to get

$ã€ˆf\left(x\right),sinnxã€‰={e}^{{n}^{2}A\left(T\right)}{\left[{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{âˆ’1}ã€ˆg\left(x\right),sinnxã€‰$

or

$f\left(x\right)=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{e}^{{n}^{2}A\left(T\right)}{\left[{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{âˆ’1}{g}_{n}sinnx,$
(7)

where ${g}_{n}=\frac{2}{\mathrm{Ï€}}ã€ˆg\left(x\right),sinnxã€‰$. Note that ${e}^{{n}^{2}A\left(T\right)}$ increases rather quickly when n becomes large. Thus the exact data function $g\left(x\right)$ must satisfy the property that $ã€ˆg\left(x\right),sinnxã€‰$ decays rapidly. But in applications, the input data $g\left(x\right)$ can only be measured and never be exact. We assume the data functions ${g}^{\mathrm{Ïµ}}\left(x\right)âˆˆ{L}^{2}\left(0,\mathrm{Ï€}\right)$, $\mathrm{Ï†},{\mathrm{Ï†}}_{\mathrm{Ïµ}}âˆˆ{L}^{2}\left(0,T\right)$ to satisfy

$âˆ¥{g}^{\mathrm{Ïµ}}âˆ’gâˆ¥â‰¤\mathrm{Ïµ},\phantom{\rule{2em}{0ex}}âˆ¥{\mathrm{Ï†}}_{\mathrm{Ïµ}}âˆ’\mathrm{Ï†}âˆ¥â‰¤\mathrm{Ïµ}$
(8)

and $\mathrm{Ï†}\left(t\right)>{C}_{0}$, ${\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)>{C}_{0}$, $tâˆˆ\left(0,T\right)$, where the constant Ïµ represents a noise level and ${C}_{0}>0$.

Lemma 1 Let $s>0$, $Xâ‰¥0$. Then for all $0â‰¤tâ‰¤T$ and $0<\mathrm{Ïµ}<1$, we have

$\frac{\mathrm{Ïµ}}{{\left(1+X\right)}^{s}\left(\mathrm{Ïµ}+{e}^{âˆ’TX}\right)}â‰¤{s}^{s}{e}^{1âˆ’s}\left(1+{T}^{âˆ’s}\right){\left(\frac{T}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}.$
(9)

Proof Case 1. $Xâˆˆ\left[0,\frac{1}{T}\right]$. It is clear to see that

$\frac{\mathrm{Ïµ}}{{\left(1+X\right)}^{s}\left(\mathrm{Ïµ}+{e}^{âˆ’TX}\right)}â‰¤\frac{\mathrm{Ïµ}}{{\left(1+X\right)}^{s}{e}^{âˆ’TX}}â‰¤\mathrm{Ïµ}{e}^{TX}â‰¤e\mathrm{Ïµ}.$
(10)

From the inequality $\mathrm{Ïµ}â‰¤{\left(\frac{s}{e}\right)}^{s}{\left(\frac{1}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}$, we get

$\frac{\mathrm{Ïµ}}{{\left(1+X\right)}^{k}\left(\mathrm{Ïµ}+{e}^{âˆ’TX}\right)}â‰¤{s}^{s}{e}^{1âˆ’s}{\left(\frac{1}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}â‰¤{s}^{s}{e}^{1âˆ’s}\left(1+{T}^{âˆ’s}\right){\left(\frac{T}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}.$

Case 2. $X>\frac{1}{T}$. Set ${e}^{âˆ’TX}=\mathrm{Ïµ}Y$. Then we obtain

$\begin{array}{rcl}\frac{\mathrm{Ïµ}}{{\left(1+X\right)}^{s}\left(\mathrm{Ïµ}+{e}^{âˆ’TX}\right)}& =& \frac{\mathrm{Ïµ}}{\mathrm{Ïµ}+\mathrm{Ïµ}Y}{\left(\frac{T}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}\\ =& \frac{1}{1+Y}{\left(\frac{T}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}\\ =& \frac{1}{1+Y}{\left(\frac{T}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}{\left(\frac{âˆ’ln\left(\mathrm{Ïµ}\right)}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}\\ =& {\left(\frac{T}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}\frac{1}{1+Y}{\left(\frac{âˆ’ln\left(\mathrm{Ïµ}\right)}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}.\end{array}$

We continue to estimate the term $\frac{1}{1+Y}{\left(\frac{âˆ’ln\left(\mathrm{Ïµ}\right)}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}$.

If $0 then $0<âˆ’ln\left(\mathrm{Ïµ}\right)<âˆ’ln\left(\mathrm{Ïµ}Y\right)$, thus

$\frac{1}{1+Y}{\left(\frac{âˆ’ln\left(\mathrm{Ïµ}\right)}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}<1,$

else if $Y>1$ then $lnY>0$ and $ln\left(\mathrm{Ïµ}Y\right)=âˆ’TX<âˆ’1$ due to the assumption $Xâˆˆ\left(\frac{1}{T},\mathrm{âˆž}\right)$. Therefore, $lnY\left(1+ln\left(\mathrm{Ïµ}Y\right)\right)â‰¤0$. This implies that

$0<\frac{âˆ’ln\mathrm{Ïµ}}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}<\frac{âˆ’ln\mathrm{Ïµ}}{âˆ’ln\left(\mathrm{Ïµ}Y\right)}<1+lnY.$
(11)

Hence, in this case, we get

$\frac{1}{1+Y}{\left(\frac{âˆ’ln\left(\mathrm{Ïµ}\right)}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}<\frac{{\left(1+lnY\right)}^{s}}{Y}={\left(1+lnY\right)}^{s}{Y}^{âˆ’1}.$
(12)

Set $g\left(Y\right)={\left(1+lnY\right)}^{s}{Y}^{âˆ’1}$ for $Y>{e}^{âˆ’1}$. Taking the derivative of this function, we get

${g}^{â€²}\left(Y\right)={\left(1+lnY\right)}^{sâˆ’1}{Y}^{âˆ’2}\left(sâˆ’1âˆ’lnY\right).$
(13)

The function g has a maximum at the point ${Y}_{0}$, so that ${g}^{â€²}\left({Y}_{0}\right)=0$. This implies that ${Y}_{0}={e}^{sâˆ’1}$. Therefore

$\underset{Yâ‰¥1}{sup}{\left(1+lnY\right)}^{s}{Y}^{âˆ’1}â‰¤g\left({Y}_{0}\right)={s}^{s}{e}^{1âˆ’s}.$
(14)

Since (11), (14), we have

$\frac{1}{1+Y}{\left(\frac{âˆ’ln\left(\mathrm{Ïµ}\right)}{Tâˆ’ln\left(\mathrm{Ïµ}Y\right)}\right)}^{s}â‰¤{s}^{s}{e}^{1âˆ’s}.$

From (11), we get

$\frac{\mathrm{Ïµ}}{{\left(1+X\right)}^{s}\left(\mathrm{Ïµ}+{e}^{âˆ’TX}\right)}â‰¤{s}^{s}{e}^{1âˆ’s}{\left(\frac{T}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}â‰¤{s}^{s}{e}^{1âˆ’s}\left(1+{T}^{âˆ’s}\right){\left(\frac{T}{ln\left(1/\mathrm{Ïµ}\right)}\right)}^{s}.$

â€ƒâ–¡

Lemma 2 Let $a:\left[0,T\right]â†’R$ be a continuous function on $\left[0,T\right]$. Let $p={inf}_{0â‰¤tâ‰¤T}a\left(t\right)$, $q={sup}_{0â‰¤tâ‰¤T}a\left(t\right)$. Then we have

$\left(\mathrm{i}\right)\phantom{\rule{1em}{0ex}}{\left[{âˆ«}_{0}^{T}exp\left({n}^{2}{âˆ«}_{0}^{t}a\left(s\right)\phantom{\rule{0.2em}{0ex}}ds\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{âˆ’1}â‰¤\frac{1}{T},$
(15)
$\left(\mathrm{i}\mathrm{i}\right)\phantom{\rule{1em}{0ex}}\frac{1}{{\left(1+{n}^{2}\right)}^{k}\left(\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}â‰¤\frac{B\left(q,k,T\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}|\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k},$
(16)

where

$B\left(q,k,T\right)={k}^{k}{e}^{1âˆ’k}\left(1+{\left(qT\right)}^{âˆ’k}\right).$

Proof (i) Since $a\left(t\right)â‰¥p$, we have

$\begin{array}{rcl}{\left[{âˆ«}_{0}^{T}exp\left({n}^{2}{âˆ«}_{0}^{t}a\left(s\right)\phantom{\rule{0.2em}{0ex}}ds\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{âˆ’1}& =& \frac{1}{{âˆ«}_{0}^{T}exp\left({n}^{2}{âˆ«}_{0}^{t}a\left(s\right)\phantom{\rule{0.2em}{0ex}}ds\right)\phantom{\rule{0.2em}{0ex}}dt}\\ â‰¤& \frac{1}{{âˆ«}_{0}^{T}exp\left({n}^{2}{âˆ«}_{0}^{t}p\phantom{\rule{0.2em}{0ex}}ds\right)\phantom{\rule{0.2em}{0ex}}dt}\\ =& \frac{1}{{âˆ«}_{0}^{T}{e}^{p{n}^{2}t}\phantom{\rule{0.2em}{0ex}}dt}=\frac{p{n}^{2}}{{e}^{p{n}^{2}T}âˆ’1}â‰¤\frac{1}{T}.\end{array}$
(17)

(ii) Since $a\left(t\right)â‰¤q$, we get ${e}^{âˆ’{n}^{2}A\left(T\right)}â‰¥{e}^{âˆ’{n}^{2}qT}$. Then using Lemma 1, we get

$\begin{array}{rcl}\frac{1}{{\left(1+{n}^{2}\right)}^{k}\left(\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}& â‰¤& \frac{1}{{\left(1+{n}^{2}\right)}^{k}\left(\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}qT}\right)}\\ â‰¤& \frac{B\left(q,k,T\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}|\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k}.\end{array}$
(18)

â€ƒâ–¡

### 2.1 Regularization by a quasi-boundary value method

Denote by ${âˆ¥â‹\dots âˆ¥}_{k}$ the norm in Sobolev space ${H}^{k}\left(0,\mathrm{Ï€}\right)$ defined by

${âˆ¥fâˆ¥}_{k}={\left(\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{\left(1+{n}^{2}\right)}^{k}{|{f}_{n}|}^{2}\right)}^{\frac{1}{2}},$

where ${f}_{n}=\frac{2}{\mathrm{Ï€}}ã€ˆf\left(x\right),sinnxã€‰$.

We modify the problem (3)-(5) by perturbing the Fourier expansion of final value g as follows:

$\left\{\begin{array}{l}\frac{\mathrm{âˆ‚}{u}^{\mathrm{Ïµ}}}{\mathrm{âˆ‚}t}âˆ’\frac{\mathrm{âˆ‚}}{\mathrm{âˆ‚}x}\left(a\left(t\right)\frac{\mathrm{âˆ‚}{u}^{\mathrm{Ïµ}}}{\mathrm{âˆ‚}x}\right)={\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right){f}_{\mathrm{Ïµ}}\left(x\right),\phantom{\rule{1em}{0ex}}xâˆˆ\left(0,\mathrm{Ï€}\right),0
(19)

where ${g}_{n}^{\mathrm{Ïµ}}=\frac{2}{\mathrm{Ï€}}ã€ˆ{g}^{\mathrm{Ïµ}}\left(x\right),sinnxã€‰$ and $\mathrm{Î±}\left(\mathrm{Ïµ}\right)$ is a regularization parameter such that ${lim}_{\mathrm{Ïµ}â†’0}\mathrm{Î±}\left(\mathrm{Ïµ}\right)=0$. This problem is based on the quasi-boundary regularization method which is given in [11]. This method has been studied for solving various types of inverse problem [11, 15]. The solution of this problem is given by

${f}_{\mathrm{Ïµ}}\left(x\right)=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’1}{g}_{n}^{\mathrm{Ïµ}}sinnx.$
(20)

Now we will give an error estimate between the regularization solution and the exact solution by the following theorem.

Theorem 1 Suppose that $f,gâˆˆ{L}^{2}\left(0,\mathrm{Ï€}\right)$ such that ${âˆ¥fâˆ¥}_{2k}<\mathrm{âˆž}$ and ${âˆ¥gâˆ¥}_{k+\frac{1}{2}}<\mathrm{âˆž}$ for some $kâ‰¥0$. Let ${g}^{\mathrm{Ïµ}}âˆˆ{L}^{2}\left(0,\mathrm{Ï€}\right)$ be measured data at $t=T$ satisfying (8). Let ${f}_{\mathrm{Ïµ}}$ be the regularized solution given by (20). If we select $\mathrm{Î±}\left(\mathrm{Ïµ}\right)$ such that

$\underset{\mathrm{Ïµ}â†’0}{lim}\frac{\mathrm{Ïµ}}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}=0,$

then ${lim}_{\mathrm{Ïµ}â†’0}âˆ¥{f}_{\mathrm{Ïµ}}âˆ’fâˆ¥=0$ and we have following estimate:

$\begin{array}{rcl}âˆ¥{f}_{\mathrm{Ïµ}}âˆ’fâˆ¥& â‰¤& \frac{\mathrm{Ïµ}}{{C}_{0}T\mathrm{Î±}\left(\mathrm{Ïµ}\right)}+C\left(p,q,k,T\right)\frac{\mathrm{Ïµ}}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}|\frac{1}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k}{âˆ¥gâˆ¥}_{\frac{2k+1}{2}}\\ +|B\left(q,k,T\right)||\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k}{âˆ¥fâˆ¥}_{2k}.\end{array}$
(21)

Proof We define

${h}_{\mathrm{Ïµ}}\left(x\right)=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’1}{g}_{n}sinnx$
(22)

and

${p}_{\mathrm{Ïµ}}\left(x\right)=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’1}{g}_{n}sinnx.$
(23)

We divide the proof into three steps.

Step 1. Estimate $âˆ¥{f}_{\mathrm{Ïµ}}âˆ’{h}_{\mathrm{Ïµ}}âˆ¥$. From (20) and (22), we have

$\begin{array}{rcl}{âˆ¥{f}_{\mathrm{Ïµ}}âˆ’{h}_{\mathrm{Ïµ}}âˆ¥}^{2}& =& \underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{{\left(\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}^{2}}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’2}{\left({g}_{n}^{\mathrm{Ïµ}}âˆ’{g}_{n}\right)}^{2}\\ â‰¤& \underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{{\mathrm{Ïµ}}^{2}{ln}^{2}\left(\frac{qT}{\mathrm{Ïµ}}\right)}\frac{1}{{\left({âˆ«}_{0}^{T}{C}_{0}\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{\left({g}_{n}^{\mathrm{Ïµ}}âˆ’{g}_{n}\right)}^{2}\\ â‰¤& \frac{1}{{|\mathrm{Î±}\left(\mathrm{Ïµ}\right)|}^{2}}\frac{1}{{\left({âˆ«}_{0}^{T}{C}_{0}\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{âˆ¥{g}^{\mathrm{Ïµ}}âˆ’gâˆ¥}^{2}\\ â‰¤& \frac{{\mathrm{Ïµ}}^{2}}{{C}_{0}^{2}{T}^{2}{|\mathrm{Î±}\left(\mathrm{Ïµ}\right)|}^{2}}.\end{array}$
(24)

Step 2. Estimate $âˆ¥{h}_{\mathrm{Ïµ}}âˆ’{p}_{\mathrm{Ïµ}}âˆ¥$. From (22), (23), and (18), we have

$\begin{array}{c}{âˆ¥{h}_{\mathrm{Ïµ}}âˆ’{p}_{\mathrm{Ïµ}}âˆ¥}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{{\left(\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}^{2}}{\left[{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’1}âˆ’{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’1}\right]}^{2}{g}_{n}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{{\left(1+{n}^{2}\right)}^{2k}{\left(\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}^{2}}\frac{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\left(\mathrm{Ï†}\left(t\right)âˆ’{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{\left(1+{n}^{2}\right)}^{2k}{g}_{n}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤|\frac{B\left(q,k,T\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}{|}^{2}|\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{2k}\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{\left[{âˆ«}_{0}^{T}{e}^{2{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt\right]\left[{âˆ«}_{0}^{T}{|{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right]}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{\left(1+{n}^{2}\right)}^{2k}{g}_{n}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤|\frac{B\left(q,k,T\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}{|}^{2}|\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{2k}\hfill \\ \phantom{\rule{2em}{0ex}}Ã—\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{\left[{âˆ«}_{0}^{T}{e}^{2{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt\right]\left[{âˆ«}_{0}^{T}{|{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right]}{{C}_{0}^{4}{T}^{4}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{\left(1+{n}^{2}\right)}^{2k}{g}_{n}^{2}.\hfill \end{array}$
(25)

On other hand, we have

$\begin{array}{rcl}{e}^{{n}^{2}A\left(T\right)}âˆ’{e}^{{n}^{2}A\left(0\right)}& =& {e}^{{n}^{2}A\left(T\right)}âˆ’1={âˆ«}_{0}^{T}{\left({e}^{{n}^{2}A\left(t\right)}\right)}^{â€²}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\\ =& {âˆ«}_{0}^{T}{n}^{2}{A}^{â€²}\left(t\right){e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt={âˆ«}_{0}^{T}{n}^{2}a\left(t\right){e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt.\end{array}$

Since $pâ‰¤a\left(t\right)â‰¤q$, we get

$p{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dtâ‰¤{âˆ«}_{0}^{T}a\left(t\right){e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dtâ‰¤q{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt.$

Hence

$\frac{{e}^{{n}^{2}A\left(T\right)}âˆ’1}{q{n}^{2}}â‰¤{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dtâ‰¤\frac{{e}^{{n}^{2}A\left(T\right)}âˆ’1}{p{n}^{2}}.$
(26)

It follows from (25) and (26) that

$\begin{array}{c}{âˆ¥{h}_{\mathrm{Ïµ}}âˆ’{p}_{\mathrm{Ïµ}}âˆ¥}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤|\frac{B\left(q,k,T\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}{|}^{2}|\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{2k}\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{{q}^{2}\left({e}^{2{n}^{2}A\left(T\right)}âˆ’1\right){âˆ¥{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)âˆ¥}^{2}}{2p{C}_{0}^{4}{T}^{4}{\left({e}^{{n}^{2}A\left(T\right)}âˆ’1\right)}^{2}}{\left(1+{n}^{2}\right)}^{2k+1}{g}_{n}^{2}.\hfill \end{array}$
(27)

Since

$\begin{array}{rcl}\frac{{e}^{2{n}^{2}A\left(T\right)}âˆ’1}{{\left({e}^{{n}^{2}A\left(T\right)}âˆ’1\right)}^{2}}& =& \frac{1âˆ’{e}^{âˆ’2{n}^{2}A\left(T\right)}}{{\left(1âˆ’{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}^{2}}â‰¤{\left(\frac{1}{1âˆ’{e}^{âˆ’{n}^{2}A\left(T\right)}}\right)}^{2}\\ â‰¤& {\left(\frac{1}{1âˆ’{e}^{âˆ’A\left(T\right)}}\right)}^{2}â‰¤{\left(\frac{1}{1âˆ’{e}^{âˆ’pT}}\right)}^{2}\end{array}$

and ${âˆ¥{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)âˆ¥}^{2}â‰¤{\mathrm{Ïµ}}^{2}$, we obtain

$\begin{array}{rcl}{âˆ¥{h}_{\mathrm{Ïµ}}âˆ’{p}_{\mathrm{Ïµ}}âˆ¥}^{2}& â‰¤& \frac{{q}^{2}}{2p{C}_{0}^{4}{T}^{4}{\left(1âˆ’{e}^{âˆ’pT}\right)}^{2}}|\frac{\mathrm{Ïµ}B\left(q,k,T\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}{|}^{2}|\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{2k}\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{\left(1+{n}^{2}\right)}^{2k+1}{g}_{n}^{2}\\ =& |C\left(p,q,k,T\right){|}^{2}|\frac{\mathrm{Ïµ}}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}{|}^{2}|\frac{1}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{2k}{âˆ¥gâˆ¥}_{\frac{2k+1}{2}}^{2}.\end{array}$

Here

$C\left(p,q,k,T\right)=\frac{q}{2\sqrt{p}{C}_{0}^{2}{T}^{2}\left(1âˆ’{e}^{âˆ’pT}\right)}B\left(q,k,T\right){\left(qT\right)}^{k}.$

Hence

$âˆ¥{h}_{\mathrm{Ïµ}}âˆ’{p}_{\mathrm{Ïµ}}âˆ¥â‰¤C\left(p,q,k,T\right)\frac{\mathrm{Ïµ}}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}|\frac{1}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k}{âˆ¥gâˆ¥}_{\frac{2k+1}{2}}.$
(28)

Step 3. Estimate $âˆ¥{p}_{\mathrm{Ïµ}}âˆ’fâˆ¥$. In fact, using the Fourier expansion of f, we have

$\begin{array}{rcl}{âˆ¥{p}_{\mathrm{Ïµ}}âˆ’fâˆ¥}^{2}& =& \underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}}âˆ’{e}^{{n}^{2}A\left(T\right)}\right)}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’2}{g}_{n}^{2}\\ =& \underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{\left(\frac{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}}\right)}^{2}{\left(\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}\right)}^{2}{g}_{n}^{2}\\ =& \underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{\left(\frac{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}}\right)}^{2}{f}_{n}^{2}.\end{array}$

Using Lemma 2, we obtain

$\begin{array}{rcl}{âˆ¥{p}_{\mathrm{Ïµ}}âˆ’fâˆ¥}^{2}& =& \underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{{|\mathrm{Î±}\left(\mathrm{Ïµ}\right)|}^{2}}{{\left(1+{n}^{2}\right)}^{2k}{\left(\mathrm{Î±}\left(\mathrm{Ïµ}\right)+{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}^{2}}{\left(1+{n}^{2}\right)}^{2k}{f}_{n}^{2}\\ â‰¤& |B\left(q,k,T\right){|}^{2}|\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{2k}{âˆ¥fâˆ¥}_{2k}^{2}.\end{array}$

This implies that

$âˆ¥{p}_{\mathrm{Ïµ}}âˆ’fâˆ¥â‰¤|B\left(q,k,T\right)||\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k}{âˆ¥fâˆ¥}_{2k}.$
(29)

Combining Steps 1, 2, and 3 and using the triangle inequality, we get

$\begin{array}{rcl}âˆ¥{f}_{\mathrm{Ïµ}}âˆ’fâˆ¥& â‰¤& âˆ¥{f}_{\mathrm{Ïµ}}âˆ’{h}_{\mathrm{Ïµ}}âˆ¥+âˆ¥{h}_{\mathrm{Ïµ}}âˆ’{p}_{\mathrm{Ïµ}}âˆ¥+âˆ¥{p}_{\mathrm{Ïµ}}âˆ’fâˆ¥\\ â‰¤& \frac{\mathrm{Ïµ}}{{C}_{0}T\mathrm{Î±}\left(\mathrm{Ïµ}\right)}+C\left(p,q,k,T\right)\frac{\mathrm{Ïµ}}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}|\frac{1}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k}{âˆ¥gâˆ¥}_{\frac{2k+1}{2}}\\ +|B\left(q,k,T\right)||\frac{qT}{ln\left(\frac{1}{\mathrm{Î±}\left(\mathrm{Ïµ}\right)}\right)}{|}^{k}{âˆ¥fâˆ¥}_{2k}.\end{array}$
(30)

â€ƒâ–¡

Remark 1 If we choose $\mathrm{Î±}\left(\mathrm{Ïµ}\right)={\mathrm{Ïµ}}^{m}$, $0, then (21) holds.

Remark 2 In this theorem, with the assumption $fâˆˆ{H}^{2k}\left(0,\mathrm{Ï€}\right)$, we have an error $âˆ¥{f}_{\mathrm{Ïµ}}âˆ’fâˆ¥$ of logarithmic order. In the next section, we introduce a truncation method which improves the order of the error. We present the error of HÃ¶lder estimates (the order is ${\mathrm{Ïµ}}^{\mathrm{Î±}}$, $0<\mathrm{Î±}<1$) with a weaker assumption of f, i.e., $fâˆˆ{H}^{1}\left(0,\mathrm{Ï€}\right)$.

### 2.2 Regularization by a truncation method

Theorem 2 Suppose that $fâˆˆ{H}^{1}\left(0,\mathrm{Ï€}\right)$. Let ${g}^{\mathrm{Ïµ}}âˆˆ{L}^{2}\left(0,\mathrm{Ï€}\right)$ be measured data at $t=T$ satisfying (8). Put

${f}_{\mathrm{Ïµ}}\left(x\right)=\underset{n=1}{\overset{N}{âˆ‘}}{e}^{{n}^{2}A\left(T\right)}{\left[{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{âˆ’1}{g}_{n}^{\mathrm{Ïµ}}sinnx,$
(31)

where $N=\left[{\mathrm{Ïµ}}^{\frac{kâˆ’1}{3}}\right]+1$, $kâˆˆ\left(0,1\right)$. Then the following estimate holds:

$âˆ¥{f}^{\mathrm{Ïµ}}âˆ’fâˆ¥â‰¤Q{\mathrm{Ïµ}}^{\frac{1âˆ’k}{6}}+2P{\mathrm{Ïµ}}^{k},$
(32)

where

$\begin{array}{c}P=\sqrt{\frac{4}{{C}_{0}^{2}}+\frac{{q}^{4}{âˆ¥gâˆ¥}^{2}}{2p{C}_{0}^{4}{\left(1âˆ’{e}^{âˆ’pT}\right)}^{4}}},\hfill \\ Q=\left(2\sqrt{\mathrm{Ï€}}+\sqrt{\frac{\mathrm{Ï€}}{2}}\right){âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}.\hfill \end{array}$

Proof From (7) and (31), we have

$\begin{array}{c}f\left(x\right)âˆ’{f}_{\mathrm{Ïµ}}\left(x\right)\hfill \\ \phantom{\rule{1em}{0ex}}=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}sinnxâˆ’\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}^{\mathrm{Ïµ}}sinnx\hfill \\ \phantom{\rule{1em}{0ex}}=\underset{n=N+1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}sinnx+\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}sinnx\hfill \\ \phantom{\rule{2em}{0ex}}âˆ’\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}^{\mathrm{Ïµ}}sinnx\hfill \\ \phantom{\rule{1em}{0ex}}={I}_{1}+{I}_{2},\hfill \end{array}$
(33)

where

${I}_{1}=\underset{n=N+1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}sinnx$
(34)

and

${I}_{2}=\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}sinnxâˆ’\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}}{{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt}{g}_{n}^{\mathrm{Ïµ}}sinnx.$
(35)

Step 1. We estimate ${I}_{1}$. In fact, since (34), we get

${âˆ¥{I}_{1}âˆ¥}^{2}=\underset{n=N+1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{g}_{n}^{2}=\underset{n=N+1}{\overset{\mathrm{âˆž}}{âˆ‘}}{f}_{n}^{2}.$
(36)

Using integration by parts, we have

$\begin{array}{rcl}{f}_{n}={âˆ«}_{0}^{\mathrm{Ï€}}f\left(x\right)sinnx\phantom{\rule{0.2em}{0ex}}dx& =& âˆ’\frac{cosnx}{n}f\left(x\right){|}_{x=0}^{x=\mathrm{Ï€}}+\frac{1}{n}{âˆ«}_{0}^{\mathrm{Ï€}}f\left(x\right)cosnx\phantom{\rule{0.2em}{0ex}}dx\\ =& \frac{1}{n}f\left(0\right)âˆ’\frac{{\left(âˆ’1\right)}^{n}}{n}f\left(\mathrm{Ï€}\right)+\frac{1}{n}{âˆ«}_{0}^{\mathrm{Ï€}}{f}^{â€²}\left(x\right)cosnx\phantom{\rule{0.2em}{0ex}}dx.\end{array}$
(37)

Hence

$|{f}_{n}|â‰¤\frac{|f\left(0\right)|+|f\left(\mathrm{Ï€}\right)|}{n}+\sqrt{\frac{\mathrm{Ï€}}{2}}\frac{1}{n}âˆ¥{f}^{â€²}\left(x\right)âˆ¥.$
(38)

On the other hand, since ${H}^{1}\left(0,\mathrm{Ï€}\right)$ is embedded continuously in $C\left[0,\mathrm{Ï€}\right]$ we can assume that $uâˆˆC\left[0,\mathrm{Ï€}\right]$. So, there exists an $mâˆˆ\left[0,\mathrm{Ï€}\right]$ such that $f\left(m\right)=\frac{1}{\mathrm{Ï€}}{âˆ«}_{0}^{\mathrm{Ï€}}f\left(x\right)\phantom{\rule{0.2em}{0ex}}dx$. We have

$\begin{array}{r}f\left(\mathrm{Ï€}\right)=f\left(m\right)+{âˆ«}_{m}^{\mathrm{Ï€}}{f}^{â€²}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx,\\ f\left(0\right)=f\left(m\right)âˆ’{âˆ«}_{0}^{m}{f}^{â€²}\left(x\right)\phantom{\rule{0.2em}{0ex}}dx.\end{array}$
(39)

It follows that

$\begin{array}{rcl}|f\left(\mathrm{Ï€}\right)|& â‰¤& |f\left(m\right)|+{âˆ«}_{m}^{\mathrm{Ï€}}|{f}^{â€²}\left(x\right)|\phantom{\rule{0.2em}{0ex}}dxâ‰¤\frac{1}{\mathrm{Ï€}}{âˆ«}_{0}^{\mathrm{Ï€}}|f\left(x\right)|\phantom{\rule{0.2em}{0ex}}dx+{âˆ«}_{0}^{\mathrm{Ï€}}|{f}^{â€²}\left(x\right)|\phantom{\rule{0.2em}{0ex}}dx\\ â‰¤& \sqrt{\mathrm{Ï€}{âˆ«}_{0}^{\mathrm{Ï€}}\left(|f\left(x\right){|}^{2}+|{f}^{â€²}\left(x\right){|}^{2}\right)\phantom{\rule{0.2em}{0ex}}dx}=\sqrt{\mathrm{Ï€}}{âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}.\end{array}$
(40)

In a similar way, we also obtain $|f\left(0\right)|â‰¤\sqrt{\mathrm{Ï€}}{âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}$. Hence $|{f}_{n}|â‰¤\frac{2\sqrt{\mathrm{Ï€}}+\sqrt{\frac{\mathrm{Ï€}}{2}}}{n}{âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}$. This implies that

$\begin{array}{rcl}{âˆ¥{I}_{1}âˆ¥}^{2}& â‰¤& \underset{n=N+1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{{\left(2\sqrt{\mathrm{Ï€}}+\sqrt{\frac{\mathrm{Ï€}}{2}}\right)}^{2}}{{n}^{2}}{âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}^{2}\\ â‰¤& {\left(2\sqrt{\mathrm{Ï€}}+\sqrt{\frac{\mathrm{Ï€}}{2}}\right)}^{2}{âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}^{2}\underset{n=N+1}{\overset{\mathrm{âˆž}}{âˆ‘}}\frac{1}{{n}^{2}âˆ’n}\\ â‰¤& {\left(2\sqrt{\mathrm{Ï€}}+\sqrt{\frac{\mathrm{Ï€}}{2}}\right)}^{2}{âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}^{2}\frac{1}{N}.\end{array}$
(41)

Step 2. We estimate ${I}_{2}$. The term (35) can be rewritten as follows:

$\begin{array}{rcl}{I}_{2}& =& \underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}\left[{g}_{n}{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dtâˆ’{g}_{n}^{\mathrm{Ïµ}}{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right]}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}sinnx\\ =& \underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{{n}^{2}A\left(T\right)}\left[\left({g}_{n}âˆ’{g}_{n}^{\mathrm{Ïµ}}\right){âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt+{g}_{n}{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\left({\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\right]}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}sinnx.\end{array}$

Then

${âˆ¥{I}_{2}âˆ¥}^{2}â‰¤2\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}{\left({g}_{n}âˆ’{g}_{n}^{\mathrm{Ïµ}}\right)}^{2}}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}+2\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}{g}_{n}^{2}{\left[{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\left({\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{2}}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}.$
(42)

Using $\frac{{e}^{{n}^{2}A\left(T\right)}âˆ’1}{q{n}^{2}}â‰¤{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt$, we have

$\begin{array}{rcl}\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}{\left({g}_{n}âˆ’{g}_{n}^{\mathrm{Ïµ}}\right)}^{2}}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}& â‰¤& \underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}}{{C}_{0}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}{\left({g}_{n}âˆ’{g}_{n}^{\mathrm{Ïµ}}\right)}^{2}\\ â‰¤& \underset{n=1}{\overset{N}{âˆ‘}}\frac{{n}^{4}{q}^{2}{e}^{2{n}^{2}A\left(T\right)}}{{C}_{0}^{2}{\left({e}^{{n}^{2}A\left(T\right)}âˆ’1\right)}^{2}}{\left({g}_{n}âˆ’{g}_{n}^{\mathrm{Ïµ}}\right)}^{2}\\ â‰¤& \underset{n=1}{\overset{N}{âˆ‘}}\frac{{n}^{4}{q}^{2}}{{C}_{0}^{2}{\left(1âˆ’{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}^{2}}{\left({g}_{n}âˆ’{g}_{n}^{\mathrm{Ïµ}}\right)}^{2}\\ â‰¤& \frac{4{N}^{4}{q}^{2}{\mathrm{Ïµ}}^{2}}{{C}_{0}^{2}}.\end{array}$
(43)

In a similar way and using (26), we also obtain

$\begin{array}{c}\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}{g}_{n}^{2}{\left[{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\left({\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{2}}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}t}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}{g}_{n}^{2}\left[{âˆ«}_{0}^{T}{e}^{2{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt\right]\left[{âˆ«}_{0}^{T}{|{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right]}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}{g}_{n}^{2}q\left[{âˆ«}_{0}^{T}{e}^{2{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt\right]\left[{âˆ«}_{0}^{T}{|{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)|}^{2}\phantom{\rule{0.2em}{0ex}}dt\right]}{{C}_{0}^{4}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\phantom{\rule{0.2em}{0ex}}dt\right)}^{4}}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\underset{n=1}{\overset{N}{âˆ‘}}\frac{{n}^{6}{q}^{4}{e}^{2{n}^{2}A\left(T\right)}\left({e}^{2{n}^{2}A\left(T\right)}âˆ’1\right){g}_{n}^{2}{\mathrm{Ïµ}}^{2}}{2p{C}_{0}^{4}{\left({e}^{{n}^{2}A\left(T\right)}âˆ’1\right)}^{4}}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\underset{n=1}{\overset{N}{âˆ‘}}\frac{{n}^{6}{q}^{4}\left(1âˆ’{e}^{âˆ’2{n}^{2}A\left(T\right)}\right){g}_{n}^{2}{\mathrm{Ïµ}}^{2}}{2p{C}_{0}^{4}{\left(1âˆ’{e}^{âˆ’{n}^{2}A\left(T\right)}\right)}^{4}}.\hfill \end{array}$
(44)

It is easy to see that $\frac{1}{1âˆ’{e}^{âˆ’{n}^{2}A\left(T\right)}}â‰¤\frac{1}{1âˆ’{e}^{âˆ’pT}}$. It implies that

$\begin{array}{c}\underset{n=1}{\overset{N}{âˆ‘}}\frac{{e}^{2{n}^{2}A\left(T\right)}{g}_{n}^{2}{\left[{âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\left({\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)âˆ’\mathrm{Ï†}\left(t\right)\right)\phantom{\rule{0.2em}{0ex}}dt\right]}^{2}}{{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}\mathrm{Ï†}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}{\left({âˆ«}_{0}^{T}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{2}}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\underset{n=1}{\overset{N}{âˆ‘}}\frac{{N}^{6}{g}_{n}^{2}{\mathrm{Ïµ}}^{2}}{2{C}_{0}^{4}{\left(1âˆ’{e}^{âˆ’pT}\right)}^{4}}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{{N}^{6}{q}^{4}{\mathrm{Ïµ}}^{2}}{2p{C}_{0}^{4}{\left(1âˆ’{e}^{âˆ’pT}\right)}^{4}}\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{g}_{n}^{2}\hfill \\ \phantom{\rule{1em}{0ex}}â‰¤\frac{{N}^{6}{q}^{4}{\mathrm{Ïµ}}^{2}{âˆ¥gâˆ¥}^{2}}{2p{C}_{0}^{4}{\left(1âˆ’{e}^{âˆ’pT}\right)}^{4}}.\hfill \end{array}$
(45)

Therefore

${âˆ¥{I}_{2}âˆ¥}^{2}â‰¤\frac{4{N}^{2}{\mathrm{Ïµ}}^{2}}{{C}_{0}^{2}}+\frac{{N}^{6}{q}^{4}{\mathrm{Ïµ}}^{2}{âˆ¥gâˆ¥}^{2}}{2p{C}_{0}^{4}{\left(1âˆ’{e}^{âˆ’pT}\right)}^{4}}â‰¤{N}^{6}{\mathrm{Ïµ}}^{2}{P}^{2},$

where $P=\sqrt{\frac{4}{{C}_{0}^{2}}+\frac{{q}^{4}{âˆ¥gâˆ¥}^{2}}{2p{C}_{0}^{4}{\left(1âˆ’{e}^{âˆ’pT}\right)}^{4}}}$. Hence

$âˆ¥{I}_{2}âˆ¥â‰¤{N}^{3}\mathrm{Ïµ}P.$
(46)

Combining (33), (41), and (46), we obtain

$\begin{array}{rcl}âˆ¥fâˆ’{f}_{\mathrm{Ïµ}}âˆ¥& =& âˆ¥{I}_{1}+{I}_{2}âˆ¥â‰¤âˆ¥{I}_{1}âˆ¥+âˆ¥{I}_{2}âˆ¥\\ â‰¤& \left(2\sqrt{\mathrm{Ï€}}+\sqrt{\frac{\mathrm{Ï€}}{2}}\right){âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}\sqrt{\frac{1}{N}}+P{N}^{3}\mathrm{Ïµ}.\end{array}$
(47)

Since $N=\left[{\mathrm{Ïµ}}^{\frac{kâˆ’1}{3}}\right]+1$, we obtain

$âˆ¥fâˆ’{f}_{\mathrm{Ïµ}}âˆ¥â‰¤Q{\mathrm{Ïµ}}^{\frac{1âˆ’k}{6}}+2P{\mathrm{Ïµ}}^{k},$
(48)

where $Q=\left(2\sqrt{\mathrm{Ï€}}+\sqrt{\frac{\mathrm{Ï€}}{2}}\right){âˆ¥fâˆ¥}_{{H}^{1}\left(0,\mathrm{Ï€}\right)}$.â€ƒâ–¡

## 3 Numerical results

In this section, we consider some examples simulation for the theory in Section 2. In numerical experiments, we are interested in the error between exact source and source with approximation as RMSE:

$RMSE\left(f,{f}_{\mathrm{Ïµ}}\right):=\frac{1}{N}\sqrt{\underset{n=1}{\overset{N}{âˆ‘}}{\left(f\left({x}_{n}\right)âˆ’{f}_{\mathrm{Ïµ}}\left({x}_{n}\right)\right)}^{2}}$

with $f\left({x}_{n}\right)$, ${f}_{\mathrm{Ïµ}}\left({x}_{n}\right)$ a discretization of function f, ${f}_{\mathrm{Ïµ}}$.

Now, we consider

$\left\{\begin{array}{l}{u}_{t}âˆ’a\left(t\right){u}_{xx}=\mathrm{Ï†}\left(t\right)f\left(x\right),\phantom{\rule{1em}{0ex}}xâˆˆ\left(0,\mathrm{Ï€}\right),tâˆˆ\left(0,1\right),\\ u\left(0,t\right)=u\left(\mathrm{Ï€},t\right)=0,\phantom{\rule{1em}{0ex}}tâˆˆ\left(0,1\right),\\ u\left(x,T\right)=g\left(x\right),\phantom{\rule{1em}{0ex}}xâˆˆ\left(0,\mathrm{Ï€}\right),\end{array}$

where

$\begin{array}{c}a\left(t\right)=t+1,\hfill \\ \mathrm{Ï†}\left(t\right)={t}^{2}+t+1,\hfill \\ g\left(x\right)=sinx.\hfill \end{array}$

We can see the exact source

$f\left(x\right)=sin\left(x\right).$

Using FORTRAN 95, we have a generator for noise data from routine $rand\left(\right)$ which is a random variable with the uniform distribution on $\left[0,1\right]$. Therefore, we have measurement data with noise

$\begin{array}{c}{g}_{\mathrm{Ïµ}}\left(x\right)=sinx+\mathrm{Ïµ}âˆ—rand\left(\right),\hfill \\ {\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)={t}^{2}+t+1+\mathrm{Ïµ}âˆ—rand\left(\right),\hfill \end{array}$

where $\mathrm{Ïµ}={10}^{âˆ’r}$, with $r=1,2,3,4$, works as the amplitude of noise.

We can easily see

$\begin{array}{c}âˆ¥gâˆ’{g}_{\mathrm{Ïµ}}âˆ¥<\mathrm{Ïµ}\sqrt{\mathrm{Ï€}},\hfill \\ âˆ¥\mathrm{Ï•}âˆ’{\mathrm{Ï•}}_{\mathrm{Ïµ}}âˆ¥<\mathrm{Ïµ}\sqrt{\mathrm{Ï€}}\hfill \end{array}$

and we have convergence to zero.

From Figure 1, we can compare between exact data and measured data.

We consider the source approximation with the quasi-reversibility regularization

${f}_{\mathrm{Ïµ}}\left(x\right)=\underset{n=1}{\overset{\mathrm{âˆž}}{âˆ‘}}{\left({âˆ«}_{0}^{1}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’1}\frac{{g}_{n}^{\mathrm{Ïµ}}sinnx}{\mathrm{Ïµ}+{e}^{âˆ’{n}^{2}A\left(1\right)}}.$

We have the table of errors with (see Table 1) and Figure 2.

On the other hand, we have the source approximation with the truncation Fourier regularization

${f}_{\mathrm{Ïµ}}\left(x\right)=\underset{n=1}{\overset{N}{âˆ‘}}{\left({âˆ«}_{0}^{1}{e}^{{n}^{2}A\left(t\right)}{\mathrm{Ï†}}_{\mathrm{Ïµ}}\left(t\right)\phantom{\rule{0.2em}{0ex}}dt\right)}^{âˆ’1}{e}^{{n}^{2}A\left(1\right)}{g}_{n}^{\mathrm{Ïµ}}sinnx.$

We have the table of errors (see Table 2) and Figure 3 is as in Table 2.

## References

1. Atmadja J, Bagtzoglou AC: Marching-jury backward beam equation and quasi-reversibility methods for hydrologic inversion: application to contaminant plume spatial distribution recovery. Water Resour. Res. 2003, 39: 1038-1047.

2. Cannon JR, Duchateau P: Structural identification of an unknown source term in a heat equation. Inverse Probl. 1998, 14: 535-551. 10.1088/0266-5611/14/3/010

3. Savateev EG: On problems of determining the source function in a parabolic equation. J. Inverse Ill-Posed Probl. 1995, 3: 83-102.

4. Farcas A, Lesnic D: The boundary-element method for the determination of a heat source dependent on one variable. J. Eng. Math. 2006, 54: 375-388. 10.1007/s10665-005-9023-0

5. Johansson T, Lesnic D: Determination of a spacewise dependent heat source. J. Comput. Appl. Math. 2007, 209: 66-80. 10.1016/j.cam.2006.10.026

6. Yan L, Fu C-L, Yang F-L: The method of fundamental solutions for the inverse heat source problem. Eng. Anal. Bound. Elem. 2008, 32: 216-222. 10.1016/j.enganabound.2007.08.002

7. Yang F, Fu C-L: Two regularization methods for identification of the heat source depending only on spatial variable for the heat equation. J. Inverse Ill-Posed Probl. 2009,17(8):815-830.

8. Cheng W, Fu C-L: Identifying an unknown source term in a spherically symmetric parabolic equation. Appl. Math. Lett. 2013, 26: 387-391. 10.1016/j.aml.2012.10.009

9. Yang F, Fu C-L: A simplified Tikhonov regularization method for determining the heat source. Appl. Math. Model. 2010, 34: 3286-3299. 10.1016/j.apm.2010.02.020

10. Yang F, Fu C-L: A mollification regularization method for the inverse spatial-dependent heat source problem. J.Â Comput. Appl. Math. 2014, 255: 555-567.

11. Trong DD, Tuan NH: A nonhomogeneous backward heat problem: regularization and error estimates. Electron. J.Â Differ. Equ. 2008., 2008: Article ID 33

12. Trong DD, Quan PH, Alain PND: Determination of a two dimensional heat source: uniqueness, regularization and error estimate. J. Comput. Appl. Math. 2006, 191: 50-67. 10.1016/j.cam.2005.04.022

13. Qian A, Li Y: Optimal error bound and generalized Tikhonov regularization for identifying an unknown source in the heat equation. J. Math. Chem. 2011,49(3):765-775. 10.1007/s10910-010-9774-3

14. Hasanov A: Identification of spacewise and time dependent source terms in 1D heat conduction equation from temperature measurement at a final time. Int. J. Heat Mass Transf. 2012, 55: 2069-2080. 10.1016/j.ijheatmasstransfer.2011.12.009

15. Denche M, Bessila K: A modified quasi-boundary value method for ill-posed problems. J. Math. Anal. Appl. 2005, 301: 419-426. 10.1016/j.jmaa.2004.08.001

## Acknowledgements

This research is funded by the Institute for Computational Science and Technology at Ho Chi Minh City (ICST HCMC) under the project name â€˜Inverse parabolic equation and application to groundwater pollution sourceâ€™.

## Author information

Authors

### Corresponding author

Correspondence to Nguyen Huy Tuan.

### Competing interests

The authors declare that they have no competing interests.

### Authorsâ€™ contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

## Authorsâ€™ original submitted files for images

Below are the links to the authorsâ€™ original submitted files for images.

## Rights and permissions

Reprints and permissions

Tuan, N.H., Trong, D.D., Thong, T.H. et al. Identification of the pollution source of a parabolic equation with the time-dependent heat conduction. J Inequal Appl 2014, 161 (2014). https://doi.org/10.1186/1029-242X-2014-161

• Accepted:

• Published:

• DOI: https://doi.org/10.1186/1029-242X-2014-161