Stability estimate and regularization for a radially symmetric inverse heat conduction problem

Wei Cheng

doi:10.1186/s13661-017-0785-x

Research
Open Access

Stability estimate and regularization for a radially symmetric inverse heat conduction problem

Wei Cheng¹Email author

Boundary Value Problems20172017:53

https://doi.org/10.1186/s13661-017-0785-x

Received: 30 November 2016
Accepted: 4 April 2017
Published: 18 April 2017

Abstract

This paper investigates a radially symmetric inverse heat conduction problem, which determines the internal surface temperature distribution of the hollow sphere from measured data at the fixed location inside it. This is an inverse and ill-posed problem. A conditional stability estimate is given on its solution by using Hölder’s inequality. A wavelet regularization method is proposed to recover the stability of solution, and the technique is based on the dual least squares method and Shannon wavelet. A quite sharp error estimate between the approximate solution and the exact ones is obtained by choosing a suitable regularization parameter.

Keywords

inverse heat conduction
ill-posed problems
stability estimate
regularization
error estimate

MSC

65M30
35R30
35R25

1 Introduction

A physical model considered here is a hollow sphere, and R and $r_{0}$ denote its external and internal radius, respectively. Let the hollow sphere be adiabatic at its external surface, and a thermocouple is installed inside the hollow sphere at the radius $r=r_{1}$, $r_{0}< r_{1}< R$, as illustrated in Figure 1. Assuming a spherically symmetric temperature distribution of the model, the correspondingly mathematical model can be described as the following radially symmetric heat conduction problem:

$$ \begin{aligned} &u_{t}=u_{rr}+\frac{2}{r}u_{r}, \quad r_{0}< r< R, t>0, \\ &u(r,0)=0, \quad r_{0}\le r\leq R, \\ &u(r_{1},t)=g(t), \quad t\geq0, \\ &u_{r}(R,t)=0,\quad t\geq0, \end{aligned} $$

(1.1)

where r denotes the radial coordinate, $g(t)$ is the temperature history at one fixed radius $r_{1}$, $r_{0}< r_{1}< R$. We want to recover the temperature distribution $u(r,\cdot)$ ($r_{0}\le r< r_{1}$) based on the measured data of $g (\cdot)$. This is an inverse heat conduction problem.

The inverse heat conduction problem (IHCP) has numerous important applications in various sciences and engineering [1]. For example, determination of thermal fields at surfaces without access, obtaining the force applied to a complex structure from knowledge of the response and transfer function which describes the system, or the diagnosis of a disease by computerized tomography [2]. In all cases, the boundary conditions of these problems are inaccessible to measurements or not known. Usually sensors are installed beneath the surface and the unknown boundary conditions of these problems are estimated.

The solutions of inverse heat conduction problems (IHCPs) are very challenging, because IHCPs are severely ill-posed in the Hadamard sense that the solution (if it exists) does not depend continuously on the given data, i.e., a small measurement error in the given data can cause an enormous error in the solution [3, 4]. Therefore, an appropriate regularization method needs to be applied. These methods include the filtering method [5], the spectral method [6], the mollification method [7, 8], the boundary element method [9], the fundamental solution method [10], the wavelet and wavelet-Galerkin method [11–14], the Fourier method [15], the differential-difference method [16], the global time method [17], the modified Tikhonov method [18], the iterative method [19] etc. However, the results already published in the works on IHCP are mainly devoted to the heat equation with constant coefficient. The works presented for heat equation with variable coefficient are still limited. A few works have been developed for the inverse problems on heat equation with variable coefficient [20–23]. In [20], Fu used a simplified Tikhonov and a Fourier regularization methods to deal with an IHCP on heat equation with variable coefficient and provided two kinds of convergence rates. Grabski et al. [21] applied the method of fundamental solutions for identifying a time-dependent perfusion coefficient in the bioheat equation. A non-iterative inverse determination of temperature-dependent thermal conductivity was solved by Mierzwiczak and Kolodziej [22]. Chang and Chang [23] investigated the determination of spatially- and temperature- dependent thermal conductivity by a semi-discretization method. In this work, we will use a wavelet method to deal with IHCP (1.1) ($r_{0}\le r< r_{1}$) with variable coefficient and to obtain a quite sharp error estimate between the approximate solution and the exact solution.

The wavelet method has become a powerful method for solving partial differential equations (PDEs). And the method has been applied to direct problems as well as to various types of inverse problems such as the IHCP [24], the Cauchy problem of Laplace equation [25, 26], the backward heat conduction problem [27], the inverse source identification problems [28, 29] and the Cauchy problem for the modified Helmholtz equation [30, 31]. It is worth mentioning that Feng and Ning [32] used a Meyer wavelet regularization method for solving numerical analytic continuation and presented the Hölder-type stability estimates. In this paper, we solve the radially symmetric inverse heat conduction problem (1.1) in the interval $[r_{0}, r_{1})$ by determining the temperature distribution using a wavelet dual least squares method generated by the family of Shannon wavelets.

When we deal with problem (1.1) in $L^{2}(\mathbb{R})$ with respect to variable t, we extend all functions of variable t appearing in the paper to be zero for $t<0$. Since the measurement data of $g(t)$ contain noises, the solutions have to be sought from the data function $g^{\delta}(t)\in L^{2}(\mathbb{R})$, which satisfy

$$ \bigl\Vert g-g^{\delta}\bigr\Vert \leq\delta, $$

(1.2)

where the constant $\delta>0$ denotes a bound on the measurement error, and $\Vert \cdot \Vert $ represents the $L^{2}(\mathbb{R})$ norm. It is also assumed that there exists an a priori bound for function $u(r_{0},t)$

$$ \bigl\Vert u(r_{0},\cdot) \bigr\Vert _{H^{p}}\leq E, \quad p\geq0, $$

(1.3)

where $\Vert u(r_{0},\cdot) \Vert _{H^{p}}$ denotes the norm in the Sobolev space $H^{p}(\mathbb{R})$ defined by

$$ \bigl\Vert u(r_{0},\cdot) \bigr\Vert _{H^{p}}:= \biggl( \int_{-\infty}^{\infty} \bigl(1+\xi^{2} \bigr)^{p} \bigl\vert \hat{f}(\xi) \bigr\vert ^{2}\,d\xi \biggr)^{\frac{1}{2}}. $$

Using the Fourier transform with respect to the variable t, problem (1.1) can be formulated in a frequency space as follows:

$$ \textstyle\begin{cases} i\xi\hat{u}(r,\xi)=\frac{\partial^{2}\hat{u}(r,\xi)}{\partial r^{2}}+\frac{2}{r}\frac{\partial\hat{u}(r,\xi)}{\partial r}, \quad r\in(r_{0}, R],\xi\in\mathbb{R},\\ \hat{u}(r_{1},\xi)=\hat{g}(\xi),\quad \xi\in\mathbb{R},\\ \hat{u}_{r}(R,\xi)=0,\quad \xi\in\mathbb{R}. \end{cases} $$

(1.4)

We can get a formal solution for problem (1.4), refer to [33],

$$ \hat{u}(r, \xi) =(r_{1}/r)\varphi(r,\xi) e^{(r_{1}-r) \sqrt{i\xi}} \hat{g}( \xi),\quad r\in[r_{0}, R),\xi\in\mathbb{R}, $$

(1.5)

where

$$ \varphi(r,\xi)=\frac{(\sqrt{i\xi}R+1)e^{2r\sqrt{i\xi}}+ (\sqrt{i\xi}R-1)e^{2R\sqrt{i\xi}}}{(\sqrt{i\xi}R+1)e^{2r_{1}\sqrt{i\xi}}+ (\sqrt{i\xi}R-1)e^{2R\sqrt{i\xi}}}. $$

According to Lemma 2.3 in [33], function $\varphi(r,\xi)$ satisfies

$$ c_{1}\le \bigl\vert \varphi(r,\xi) \bigr\vert \le c_{2}, \quad r\in[r_{0},r_{1}),\xi\in \mathbb{R}, $$

(1.6)

where $c_{1}$ and $c_{2}$ are positive constants. Due to $\vert (r_{1}/r)\varphi(r,\xi) e^{(r_{1}-r) \sqrt{i\xi}} \vert $ increases rapidly with exponential order as $\vert \xi \vert \rightarrow\infty$, the Fourier transform of the exact data $g(t)$ must decay rapidly at high frequencies for $r_{1}>r$. But such a decay is not likely to occur in $g^{\delta}(t)$. So, a small measurement error in the given data $g^{\delta}(t)$ in high frequency components can completely destroy the solution of problem (1.1) for $r\in[r_{0}, r_{1})$.

For problem (1.1), we define an operator $A_{r}:u(r,\cdot)\longmapsto g(\cdot)$ in the space $X=L^{2}(\mathbb{R})$. Then problem (1.1) can be rewritten as

$$ A_{r}u(r,t)=g(t),\quad\forall u(r,\cdot)\in X, r_{0} \le r< r_{1}. $$

(1.7)

According to expression (1.5), there holds

$$ \widehat{A_{r}u}(r,\xi)=\hat{g}(\xi)=(r/r_{1})e^{(r-r_{1}) \sqrt{i\xi}} \varphi^{-1}(r,\xi)\hat{u}(r,\xi), \quad r\in[r_{0},r_{1}). $$

(1.8)

Then we have $\widehat{A_{r}u(r,\xi)}:=\widehat{A_{r}}\hat{u}(r,\xi)$ and a multiplication operator $\widehat{A_{r}}:L^{2}(\mathbb{R})\longmapsto L^{2}(\mathbb{R})$ given by

$$ \widehat{A_{r}}\hat{u}(r,\xi)=(r/r_{1})e^{(r-r_{1}) \sqrt{i\xi}} \varphi^{-1}(r,\xi)\hat{u}(r,\xi). $$

(1.9)

Therefore, we have the following lemma.

Lemma 1.1

If $A^{*}_{r}$ is the adjoint of $A_{r}$, then $A^{*}_{r}$ corresponds to the following problem:

$$ \textstyle\begin{cases} -\frac{\partial U}{\partial t}=\frac{\partial^{2} U}{\partial r^{2}}+\frac{2}{r}\frac{\partial U}{\partial r}, \quad r_{0}< r\le R, t\ge0,\\ U(r,0)=0, \quad r_{0}\le r\le R,\\ U(r_{1},t)=g(t), \quad t\geq0,\\ U_{r}(R,t)=0,\quad t\geq0, \end{cases} $$

(1.10)

and

$$ \widehat{A^{*}_{r}} =(r/r_{1})e^{(r-r_{1}) \overline{\sqrt{i\xi}}} \overline{\varphi^{-1}(r,\xi)}. $$

(1.11)

Proof

Using the following relations and expression (1.9)

$$\langle A_{r}u,\upsilon\rangle=\langle \widehat{A_{r}} \hat{u},\hat{\upsilon}\rangle=\bigl\langle \hat{u},\widehat {A_{r}}^{*} \hat{\upsilon}\bigr\rangle =\bigl\langle u,A^{*}_{r}\upsilon \bigr\rangle =\bigl\langle \hat{u},\widehat{A^{*}_{r}}\hat{ \upsilon}\bigr\rangle , $$

where $\langle\cdot,\cdot\rangle$ denotes the inner product, we can obtain the adjoint operator $A^{*}_{r}$ of $A_{r}$ in the frequency domain

$$ \widehat{A^{*}_{r}}=\widehat{A_{r}}^{*}=(r/r_{1})e^{(r-r_{1}) \overline{\sqrt{i\xi}}} \overline{\varphi^{-1}(r,\xi)}. $$

Applying the Fourier transform with respect to the variable t, we can rewrite problem (1.10) in the following form (in the frequency space):

$$ \textstyle\begin{cases} -i\xi\hat{U}(r,\xi)=\frac{\partial^{2}\hat{U}(r,\xi)}{\partial r^{2}}+\frac{2}{r}\frac{\partial\hat{U}(r,\xi)}{\partial r}, \quad r\in(r_{0}, R],\xi\in\mathbb{R},\\ \hat{U}(r_{1},\xi)=\hat{g}(\xi),\quad \xi\in\mathbb{R},\\ \vert \hat{U}_{r}(R,\xi) \vert =0,\quad \xi\in\mathbb{R}. \end{cases} $$

(1.12)

Taking the conjugate operator for problem (1.4), we know that $\hat{U}(r,\xi)=\overline{\hat{u}(r,\xi)}$. So, combining with (1.5), we get

$$ \hat{U}(r,\xi)=\overline{\hat{u}(r,\xi)} =(r_{1}/r) e^{(r_{1}-r) \overline{\sqrt{i\xi}}} \overline{\varphi(r,\xi)} \hat{g}(\xi) $$

(1.13)

and

$$ \hat{g}(\xi)=(r/r_{1}) e^{(r-r_{1}) \overline{\sqrt{i\xi}}} \overline{ \varphi^{-1}(r,\xi)} \hat{U}(r,\xi)=\widehat{A^{*}_{r}} \hat{U}(r,\xi)=\widehat{A^{*}_{r}U}. $$

(1.14)

□

The outline of the paper is as follows. In Section 2, using Hölder’s inequality, we prove the conditional stability for IHCP (1.1) in the interval $[r_{0}, r_{1})$. The relevant properties of Shannon wavelets are summarized in Section 3. The last section presents error estimates via wavelet dual least squares method approximation.

2 A conditional stability estimate

In this section, we give a conditional stability in the following theorem.

Theorem 2.1

Let $u(r, t)$ be the exact solution of problem (1.1) given by (1.5) and the a priori bound (1.3) hold. Then, for a fixed $r\in(r_{0}, r_{1})$, we have the following estimate:

$$ \bigl\Vert u(r,\cdot) \bigr\Vert \le c_{2} (c_{1})^{\frac {r-r_{1}}{r_{1}-r_{0}}}(r_{1}/r_{0})^{\frac{r-r_{0}}{r_{1}-r_{0}}} \bigl\Vert u(r_{0}, \cdot) \bigr\Vert ^{\frac{r_{1}-r}{r_{1}-r_{0}}} \Vert g \Vert ^{\frac{r-r_{0}}{r_{1}-r_{0}}}, $$

(2.1)

where $c_{1}$ and $c_{2}$ are constants given by (1.6).

Proof

Using Parseval’s formula, expression (1.5) and Hölder’s inequality, we have

$$\begin{aligned} \bigl\Vert u(r,\cdot) \bigr\Vert ^{2}&= \bigl\Vert \hat{u}(r, \cdot) \bigr\Vert ^{2}= \int^{\infty}_{-\infty} \bigl\vert (r_{1}/r) \varphi(r,\xi) e^{(r_{1}-r) \sqrt{i\xi}} \hat{g}(\xi) \bigr\vert ^{2} \,d\xi \\ &= \int^{\infty}_{-\infty} \bigl[ \bigl\vert (r_{1}/r)\varphi(r,\xi) \bigr\vert ^{\frac{2(r_{1}-r_{0})}{r_{1}-r}} \bigl\vert e^{(r_{1}-r_{0}) \sqrt{i\xi}}\hat{g}(\xi) \bigr\vert ^{2} \bigr]^{\frac{r_{1}-r}{r_{1}-r_{0}}} \bigl[ \bigl\vert \hat{g}(\xi) \bigr\vert ^{2} \bigr]^{\frac{r-r_{0}}{r_{1}-r_{0}}} \,d\xi \\ &\le \biggl( \int^{\infty}_{-\infty} \bigl\vert (r_{1}/r) \varphi(r,\xi) \bigr\vert ^{\frac{2(r_{1}-r_{0})}{r_{1}-r}} \bigl\vert e^{(r_{1}-r_{0}) \sqrt{i\xi}}\hat{g}( \xi) \bigr\vert ^{2} \,d\xi \biggr)^{\frac{r_{1}-r}{r_{1}-r_{0}}} \biggl( \int^{\infty}_{-\infty} \bigl\vert \hat{g}(\xi) \bigr\vert ^{2} \,d\xi \biggr)^{\frac{r-r_{0}}{r_{1}-r_{0}}} \\ &= \biggl( \int^{\infty}_{-\infty} \bigl\vert (r_{1}/r) \varphi(r,\xi) \bigr\vert ^{\frac{2(r_{1}-r_{0})}{r_{1}-r}} \bigl\vert (r_{1}/r_{0}) \varphi(r_{0},\xi) \bigr\vert ^{-2} \bigl\vert \hat{u}(r_{0}, \xi) \bigr\vert ^{2} \,d\xi \biggr)^{\frac{r_{1}-r}{r_{1}-r_{0}}} \Vert g \Vert ^{\frac{2(r-r_{0})}{r_{1}-r_{0}}} \\ &\le\sup_{\xi\in\mathbb{R}} \bigl[ \bigl\vert (r_{1}/r) \varphi(r,\xi) \bigr\vert ^{2} \bigl\vert (r_{1}/r_{0}) \varphi(r_{0},\xi) \bigr\vert ^{\frac{2(r-r_{1})}{r_{1}-r_{0}}} \bigr] \bigl\Vert \hat{u}(r_{0}, \cdot) \bigr\Vert ^{\frac{2(r_{1}-r)}{r_{1}-r_{0}}} \Vert g \Vert ^{\frac{2(r-r_{0})}{r_{1}-r_{0}}}. \end{aligned}$$

From inequalities (1.6), we get

$$ \bigl\vert (r_{1}/r)\varphi(r,\xi) \bigr\vert ^{2} \bigl\vert (r_{1}/r_{0})\varphi(r_{0},\xi) \bigr\vert ^{\frac{2(r-r_{1})}{r_{1}-r_{0}}}\le \bigl\vert (r_{1}/r)c_{2} \bigr\vert ^{2} \bigl\vert (r_{1}/r_{0})c_{1} \bigr\vert ^{\frac{2(r-r_{1})}{r_{1}-r_{0}}}. $$

Then there holds

$$ \bigl\Vert u(r,\cdot) \bigr\Vert ^{2}\le c_{2}^{2} (c_{1})^{\frac{2(r-r_{1})}{r_{1}-r_{0}}}(r_{1}/r_{0})^{\frac{2(r-r_{0})}{r_{1}-r_{0}}} \bigl\Vert u(r_{0}, \cdot) \bigr\Vert ^{\frac{2(r_{1}-r)}{r_{1}-r_{0}}} \Vert g \Vert ^{\frac{2(r-r_{0})}{r_{1}-r_{0}}}. $$

The conclusion of Theorem 2.1 is proved. □

Remark 2.2

If $u_{1}(r, t)$ and $u_{2}(r, t)$ are the solutions of problem (1.1) with the exact data $g_{1}(t)$ and $g_{2}(t)$, respectively, then for a fixed $r\in(r_{0},r_{1})$, there holds

$$ \bigl\Vert u_{1}(r,\cdot)-u_{2}(r,\cdot) \bigr\Vert \le C \bigl\Vert u_{1}(r_{0}, \cdot)-u_{2}(r_{0}, \cdot) \bigr\Vert ^{\frac{r_{1}-r}{r_{1}-r_{0}}} \bigl\Vert g_{1}( \cdot)-g_{1}(\cdot) \bigr\Vert ^{\frac{r-r_{0}}{r_{1}-r_{0}}}, $$

(2.2)

where $C=c_{2} (c_{1})^{\frac{r-r_{1}}{r_{1}-r_{0}}}(r_{1}/r_{0})^{\frac{r-r_{0}}{r_{1}-r_{0}}}$. It is obvious that if $\Vert g_{1}(\cdot)-g_{1}(\cdot) \Vert \to0$, then $\Vert u_{1}(r,\cdot)-u_{2}(r,\cdot) \Vert $ for $r_{0}< r\le r_{1}$.

In the next section, the relevant properties of Shannon wavelets are summarized.

3 The Shannon wavelets

Suppose that ϕ and ψ are the Shannon scaling and wavelet functions whose Fourier transforms are given by

$$ \hat{\phi}(\xi)= \textstyle\begin{cases} 1, & \vert \xi \vert \le\pi,\\ 0, & \mbox{otherwise}, \end{cases} $$

(3.1)

and

$$ \hat{\psi}(\xi)= \textstyle\begin{cases} e^{-i\frac{\xi}{2}}, & \pi\le \vert \xi \vert \le2\pi ,\\ 0, & \mbox{otherwise}. \end{cases} $$

(3.2)

Let $\phi_{j,k}(t):=2^{\frac{j}{2}}\phi(2^{j}t-k)$, $\psi_{j,k}(t):=2^{\frac{j}{2}}\psi(2^{j}t-k)$, $j,k\in\mathbb{Z}$, $\Psi_{-1,k}:=\phi_{0,k}$ and $\Psi_{l,k}:=\psi_{l,k}$ for $l\ge0$, the index set

$$\begin{aligned} & \tilde{I}= \bigl\{ \{j,k\}: j, k\in\mathbb{Z} \bigr\} \subset \mathbb{Z}^{2}, \\ &\tilde{I}_{J}= \bigl\{ \{j,k\}: j=-1,0,\ldots, J-1; k\in\mathbb{Z} \bigr\} \subset\mathbb{Z}^{2}. \end{aligned}$$

Then the subspaces $V_{J}$ can be defined

$$ V_{J}=\overline{\operatorname {span}\{\Psi_{\lambda}\}_{\lambda\in\tilde{I}_{J}}} $$

(3.3)

and an orthogonal projection $P_{J}: L^{2}(\mathbb{R})\longmapsto V_{J}$:

$$ P_{J}\varphi=\sum _{\lambda\in\tilde{I}_{J}}\langle\varphi, \Psi_{\lambda}\rangle\Psi_{\lambda}, \quad \forall \varphi\in L^{2}(\mathbb{R}). $$

(3.4)

We have, for any $k\in\mathbb{Z}$,

$$\begin{aligned} &\operatorname {supp}(\hat{\psi}_{j,k})= \bigl\{ \xi:\pi2^{j}\le \vert \xi \vert \le\pi2^{j+1} \bigr\} , \end{aligned}$$

(3.5)

$$\begin{aligned} &\operatorname {supp}(\hat{\phi}_{j,k})= \bigl\{ \xi: \vert \xi \vert \le\pi 2^{j} \bigr\} . \end{aligned}$$

(3.6)

Expression (3.4) shows that $P_{J}$ can be considered as a low pass filter.

4 Regularization and error estimates

In this section, the wavelet dual least squares method will be described and error estimates be given by Theorems 4.1-4.3.

4.1 Dual least squares method

We now introduce the dual least squares method for approximation of the solutions of problem (1.1). For the operator equation $Au=g$, a general projection method is generated by two subspace families $\{V_{j}\}$ and $\{Y_{j}\}$ of X. Then the approximate solution $u_{j}\in V_{j}$ is defined to be the solution of the following problem:

$$ \langle Au_{j}, y\rangle=\langle g,y\rangle,\quad\forall y\in Y_{j}. $$

(4.1)

If $V_{j} \subset R(A^{*})$ and subspaces $Y_{j}$ are chosen in such a way that

$$ A^{*}Y_{j}=V_{j}, $$

then there is a special case of projection method known as the dual least squares method. Suppose that $\{\psi_{\lambda}\}_{\lambda\in \tilde{I}_{j}}$ is an orthogonal basis of $V_{j}$ and $y_{\lambda}$ is the solution of the equation

$$ A^{*}y_{\lambda}=k_{\lambda}\psi_{\lambda}, \quad \Vert y_{\lambda} \Vert =1. $$

(4.2)

Then we can obtain the approximate solution

$$ u_{j}=\sum _{\lambda\in\tilde{I}_{j}}\langle g,y_{\lambda}\rangle\frac{1}{k_{\lambda}}\psi_{\lambda}. $$

(4.3)

According to (4.3), we easily conclude $u_{J}=P_{J}u$. In order to give an error estimate for the regularized solution, we need a sequence of subspaces $Y_{j}$ approximating the space X and contained in the range of $A^{*}$. From $A^{*}Y_{j}=V_{j}$, the subspaces $Y_{j}$ are spanned by $w_{\lambda}$, $\lambda\in\tilde{I}_{J}$, where

$$ A^{*} w_{\lambda}=\Psi_{\lambda}\quad \mbox{and} \quad k_{\lambda}= \Vert w_{\lambda} \Vert ^{-1}, \quad \quad y_{\lambda}= \frac{w_{\lambda}}{ \Vert w_{\lambda} \Vert }=k_{\lambda}w_{\lambda}. $$

(4.4)

We know that $w_{\lambda}$ is a solution of the following problem (see Lemma 1.1):

$$ \textstyle\begin{cases} -\frac{\partial U}{\partial t}=\frac{\partial^{2} U}{\partial r^{2}}+\frac{2}{r}\frac{\partial U}{\partial r}, \quad r_{0}< r\le R, t\ge0,\\ U(r,0)=0, \quad r_{0}\le r\le R,\\ U(r_{1},t)=\Psi_{j,k}(t), \quad t\geq0,\\ U_{r}(R,t)=0, \quad t\geq0. \end{cases} $$

(4.5)

Because $\operatorname {supp}\hat{\psi}_{j,k}$ is compact, the solution exists for any $t\in(0,\infty)$. Analogously, the solution of the adjoint equation is unique. So, for given $\Psi_{\lambda}$, $w_{\lambda}$ can be uniquely determined according to (4.5). From (1.13), there holds

$$ \hat{w}_{\lambda}=\frac{r_{1}}{r} e^{(r_{1}-r) \overline{\sqrt{i\xi}}} \overline{ \varphi(r, \xi)}\hat{\Psi}_{\lambda}(\xi), \quad \lambda=\{j,k\}, $$

(4.6)

combining with (4.4), we have

$$ \hat{y}_{\lambda}=\frac{r_{1}}{r} e^{(r_{1}-r) \overline{\sqrt{i\xi}}} \overline{ \varphi(r, \xi)} k_{\lambda}\hat{\Psi}_{\lambda}(\xi), \quad \lambda=\{j,k \}. $$

(4.7)

Thus we have the approximate solution for noisy data $g^{\delta}$ given by

$$ P_{J}u^{\delta}(r,t)=u_{J}^{\delta}=\sum _{\lambda\in\tilde{I}_{J}} \bigl\langle u^{\delta}, \Psi_{\lambda}\bigr\rangle \Psi_{\lambda}=\sum _{\lambda\in\tilde{I}_{J}} \bigl\langle g^{\delta}, y_{\lambda}\bigr\rangle \frac{1}{k_{\lambda}} \Psi_{\lambda}. $$

(4.8)

4.2 Error estimates

We estimate firstly the errors $\Vert P_{J}u-P_{J} u^{\delta} \Vert $ and $\Vert u-P_{J} u \Vert $ by Theorems 4.1 and 4.2, respectively.

Theorem 4.1

Stability

Let $P_{J}u(r,t)$ given by (4.3) and $P_{J}u^{\delta}(r,t)$ given by (4.8) be the regularized approximate solutions to $u(r,t)$ for the data g and $g^{\delta}$, respectively. If the measured data $g^{\delta}(t)$ satisfy condition (1.2), then for any fixed $r\in[r_{0}, r_{1})$, we have

$$ \bigl\Vert P_{J}u-P_{J} u^{\delta}\bigr\Vert \leq (c_{2}r_{1}/r_{0}) e^{(r_{1}-r)\sqrt{\frac{1}{2} \pi2^{J}}} \delta. $$

(4.9)

Proof

Due to (4.3), (4.8) and (4.7), for any fixed $r\in[r_{0}, r_{1})$, there holds

$$\begin{aligned} \bigl\Vert P_{J}u (r,\cdot)-P_{J}u^{\delta}(r, \cdot) \bigr\Vert &= \biggl\Vert \sum _{\lambda\in \tilde{I}_{J}} \bigl\langle g-g^{\delta}, y_{\lambda}\bigr\rangle \frac{1}{k_{\lambda}} \Psi_{\lambda}\biggr\Vert \\ &= \biggl\Vert \sum _{\lambda\in\tilde{I}_{J}} \bigl\langle \hat{g}- \widehat{g^{\delta}}, \hat{y}_{\lambda}\bigr\rangle \frac{1}{k_{\lambda}} \hat{\Psi}_{\lambda}\biggr\Vert \\ &= \biggl\Vert \sum _{\lambda\in \tilde{I}_{J}} \biggl\langle \hat{g}-\widehat{g^{\delta}}, \frac{r_{1}}{r} e^{(r_{1}-r) \overline{\sqrt{i\xi}}} \overline{\varphi(r,\xi)} k_{\lambda}\hat{ \Psi}_{\lambda}\biggr\rangle \frac{1}{k_{\lambda}}\hat{\Psi}_{\lambda}\biggr\Vert \\ &\leq\sup _{\pi2^{J-1}\leq \vert \xi \vert \leq \pi 2^{J}} \bigl\vert (r_{1}/r) e^{(r_{1}-r) \overline{\sqrt{i\xi}}} \overline{\varphi(r,\xi)} \bigr\vert \cdot \biggl\Vert \sum _{\lambda\in\tilde{I}_{J}} \bigl\langle \hat{g}-\widehat{g^{\delta}}, \hat{ \Psi}_{\lambda}\bigr\rangle \hat{\Psi}_{\lambda}\biggr\Vert \\ &\leq\sup _{\pi2^{J-1}\leq \vert \xi \vert \leq \pi2^{J}} \bigl\vert (r_{1}/r) e^{(r_{1}-r) \sqrt{i\xi}} \varphi(r,\xi) \bigr\vert \cdot \bigl\Vert \hat{P}_{J} \bigl( \hat{g}-\widehat{g^{\delta}} \bigr) \bigr\Vert , \end{aligned}$$

combining with inequality (1.6) and condition (1.2),

$$\begin{aligned} \bigl\Vert P_{J}u (r,\cdot)-P_{J}u^{\delta}(r,\cdot) \bigr\Vert &\leq(c_{2}r_{1}/r_{0})\sup _{\pi2^{J-1}\leq \vert \xi \vert \leq \pi2^{J}}e^{(r_{1}-r)\sqrt{ \vert \xi \vert /2}} \delta \\ &\leq(c_{2}r_{1}/r_{0}) e^{(r_{1}-r)\sqrt{\frac{1}{2} \pi2^{J}}} \delta. \end{aligned}$$

□

Theorem 4.2

Convergence

If $u(r,t)$ is the solution of problem (1.1) satisfying the a priori condition (1.3), then for any fixed $r\in[r_{0},r_{1})$, we have

$$ \bigl\Vert u(r,\cdot)-P_{J}u(r,\cdot) \bigr\Vert \leq (c_{2}/c_{1}) \bigl(2^{J+1} \bigr)^{-p}e^{(r_{0}-r)\sqrt{\frac{1}{2} \pi2^{J}}} E. $$

(4.10)

Proof

According to (3.4), we get

$$\begin{aligned}& u(r,\cdot)=\sum _{\lambda} \bigl\langle u(r,\cdot), \Psi_{\lambda}\bigr\rangle \Psi_{\lambda}, \\& P_{J}u(r,\cdot)=\sum _{\lambda\in\tilde{I}_{J}} \bigl\langle u(r, \cdot), \Psi_{\lambda}\bigr\rangle \Psi_{\lambda}. \end{aligned}$$

By using Parseval’s relation and (1.5), (1.6), (1.3), there holds

$$\begin{aligned}& \bigl\Vert u(r,\cdot)-P_{J}u(r,\cdot) \bigr\Vert \\& \quad = \bigl\Vert \hat{u}(r,\cdot)-\widehat{P_{J}u}(r,\cdot) \bigr\Vert = \biggl\Vert \sum _{\lambda\in\tilde{I}} \langle\hat{u}, \hat{\Psi}_{\lambda}\rangle\hat{\Psi}_{\lambda}- \sum _{\lambda\in\tilde{I}_{J}} \langle \hat{u}, \hat{\Psi}_{\lambda}\rangle\hat{\Psi}_{\lambda}\biggr\Vert \\& \quad = \biggl\Vert \sum _{\lambda\in\tilde{I}_{j\geq J+1}} \langle\hat{u}, \hat{ \Psi}_{\lambda}\rangle\hat{\Psi}_{\lambda}\biggr\Vert = \biggl\Vert \sum _{\lambda\in\tilde{I}_{j\geq J+1}} \bigl\langle (r_{1}/r) \varphi(r, \cdot) e^{(r_{1}-r) \sqrt{i(\cdot)}} \hat{g}(\cdot), \hat {\Psi}_{\lambda}\bigr\rangle \hat{\Psi}_{\lambda}\biggr\Vert \\& \quad = \biggl\Vert \sum _{\lambda\in\tilde{I}_{j\geq J+1}} \bigl\langle (r_{0}/r)\varphi(r,\cdot) \varphi^{-1}(r_{0}, \cdot)e^{(r_{0}-r) \sqrt{i(\cdot)}} \hat{u}(r_{0},\cdot), \hat{\Psi}_{\lambda}\bigr\rangle \hat{\Psi}_{\lambda}\biggr\Vert \\& \quad \leq\sup _{\pi2^{J}\leq \vert \xi \vert \leq\pi2^{J+1}} \biggl\vert \frac{r_{0} \varphi(r,\xi)}{r \varphi(r_{0},\xi)} e^{(r_{0}-r)\sqrt {i\xi}} \vert \xi \vert ^{-p} \biggr\vert \biggl\Vert \sum _{\lambda\in\tilde{I}_{j\geq J+1}} \bigl\langle \bigl(1+(\cdot)^{2} \bigr)^{p/2} \hat{u}(r_{0},\cdot),\hat{\Psi}_{\lambda}\bigr\rangle \hat{ \Psi}_{\lambda}\biggr\Vert \\& \quad \leq\sup _{\pi2^{J}\leq \vert \xi \vert \leq \pi 2^{J+1}}(c_{2}/c_{1}) \vert \xi \vert ^{-p} e^{(r_{0}-r)\sqrt{ \vert \xi \vert /2}} E \leq(c_{2}/c_{1}) \bigl(2^{J+1} \bigr)^{-p}e^{(r_{0}-r)\sqrt{\frac{1}{2} \pi2^{J}}} E. \end{aligned}$$

We have proved estimate (4.10). □

Theorem 4.3

Let $u(r,t)$ be the exact solution of (1.1) and $P_{J}u^{\delta}$ given by (4.8) be the regularized approximate solution to $u(r,t)$. If the measured data $g^{\delta}(t)$ satisfies condition (1.2) and the a priori condition (1.3) is valid when we select

$$ J=\log_{2} \biggl[ \frac{2}{\pi} \biggl(\frac{1}{r_{1}-r_{0}}\ln \biggl(\frac{E}{\delta} \biggl(\ln\frac{E}{\delta} \biggr)^{-2p} \biggr) \biggr)^{2} \biggr], $$

(4.11)

then for any fixed $r\in[r_{0},r_{1})$, we have

$$ \begin{aligned}[b] & \bigl\Vert u(r,\cdot)-P_{J}u^{\delta}(r,\cdot) \bigr\Vert \\ &\quad \leq E^{1-\frac{r-r_{0}}{r_{1}-r_{0}}}\delta^{\frac {r-r_{0}}{r_{1}-r_{0}}} \biggl(\ln\frac{E}{ \delta} \biggr)^{-2p (1-\frac{r-r_{0}}{r_{1}-r_{0}} )} \bigl(C+o(1) \bigr) \quad\textit{for }\delta\to0, \end{aligned} $$

(4.12)

where $C=(c_{2}/c_{1})(r_{1}-r_{0})^{2p}+(c_{2}r_{1}/r_{0})$.

Proof

From Theorem 4.1 , Theorem 4.2 and the choice rule (4.11) of J, we can get

$$\begin{aligned}& \bigl\Vert u(r,\cdot)-P_{J}u^{\delta}(r,\cdot) \bigr\Vert \\& \quad \leq (c_{2}/c_{1}) \bigl(2^{J+1} \bigr)^{-p}e^{(r_{0}-r)\sqrt{\frac{1}{2} \pi2^{J}}} E +(c_{2}r_{1}/r_{0}) e^{(r_{1}-r)\sqrt{\frac{1}{2} \pi2^{J}}} \delta \\& \quad \leq (c_{2}/c_{1})E(r_{1}-r_{0})^{2p} \biggl( \ln \biggl(\frac{E}{\delta} \biggl(\ln\frac{E}{\delta} \biggr)^{-2p} \biggr) \biggr)^{-2p} \biggl(\frac{E}{\delta} \biggl(\ln\frac{E}{\delta} \biggr)^{-2p} \biggr)^{\frac{r_{0}-r}{r_{1}-r_{0}}} \\& \quad\quad{} +(c_{2}r_{1}/r_{0}) \delta \biggl( \frac{E}{\delta} \biggl(\ln\frac{E}{\delta} \biggr)^{-2p} \biggr)^{\frac{r_{1}-r}{r_{1}-r_{0}}} \\& \quad \le E^{1-\frac{r-r_{0}}{r_{1}-r_{0}}}\delta^{\frac {r-r_{0}}{r_{1}-r_{0}}} \biggl(\ln\frac{E}{ \delta} \biggr)^{-2p (1-\frac{r-r_{0}}{r_{1}-r_{0}} )} \biggl\{ \frac{c_{2} ((r_{1}-r_{0}) \ln\frac{E}{\delta} )^{2p}}{c_{1} (\ln(\frac{E}{\delta} (\ln\frac{E}{\delta} )^{-2p} ) )^{2p}}+\frac{c_{2}r_{1}}{r_{0}} \biggr\} . \end{aligned}$$

Note that

$$ \frac{\ln\frac{E}{\delta}}{ \ln(\frac{E}{\delta} (\ln\frac{E}{\delta} )^{-2p} )}=\frac{\ln\frac{E}{\delta}}{\ln\frac{E}{\delta}-2p \ln(\ln\frac{E}{\delta} )}\to1\quad\mbox{for }\delta\to0. $$

We have obtained estimate (4.12). □

Remark 4.4

(i)

If $p=0$ and $r_{0}< r< r_{1}$, estimate (4.12) becomes
$$ \bigl\Vert u(r,\cdot)-P_{J}u^{\delta}(r,\cdot) \bigr\Vert \le \bigl((c_{2}/c_{1})+(c_{2}r_{1}/r_{0}) \bigr)E^{1-\frac{r-r_{0}}{r_{1}-r_{0}}}\delta^{\frac{r-r_{0}}{r_{1}-r_{0}}}, $$

(4.13)
which is a Hölder stability estimate.
(ii)

If $p>0$, estimate (4.12) is a logarithmical-Hölder stability estimate, especially at $r=r_{0}$, it becomes
$$ \bigl\Vert u(r_{0},\cdot)-u^{\delta}(r_{0},\cdot) \bigr\Vert \le E \biggl(\ln\frac{E}{\delta} \biggr)^{-2p} \bigl(C+o(1) \bigr)\to0\quad\mbox{for }\delta\to0, $$

(4.14)
which is a logarithmical stability estimate.

5 Conclusion

In this paper the radially symmetric inverse heat conduction problem is considered. A conditional stability result is established by utilizing the a priori bound. We obtain a regularized solution by a wavelet dual least squares method and the error estimate of logarithmic Hölder type between the approximate solution and the exact ones by choosing a suitable regularization parameter.

Declarations

Acknowledgements

The author would like to thank the anonymous referees for their valuable comments and helpful suggestions on this work. The project is supported by the National Natural Science Foundation (NNSF) of China (11561045), the Natural Science Foundation of Henan Province of China (132300410231).

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Authors’ Affiliations

(1)

College of Science, Henan University of Technology, Zhengzhou, 450001, P.R. China

References

Alifanov, OM: Inverse Heat Transfer Problems. Springer, Berlin (1994) View ArticleMATHGoogle Scholar
Fernandes, AP, Santos, MB, Guimarães, G: An analytical transfer function method to solve inverse heat conduction problems. Appl. Math. Model. 39, 6897-6914 (2015) MathSciNetView ArticleGoogle Scholar
Beck, JV, Blackwell, B, Clair, SR: Inverse Heat Conduction: Ill-Posed Problems. Wiley, New York (1985) MATHGoogle Scholar
Carasso, A: Determining surface temperatures from interior observations. SIAM J. Appl. Math. 42, 558-574 (1982) MathSciNetView ArticleMATHGoogle Scholar
Seidman, T, Eldén, L: An optimal filtering method for the sideways heat equation. Inverse Probl. 6, 681-696 (1990) MathSciNetView ArticleMATHGoogle Scholar
Tautenhahn, U: Optimality for ill-posed problems under general source conductions. Numer. Funct. Anal. Optim. 19, 377-398 (1998) MathSciNetView ArticleMATHGoogle Scholar
Murio, DA: Stable numerical evaluation of Grünwald-Letnikov fractional derivatives applied to a fractional IHCP. Inverse Probl. Sci. Eng. 17(2), 229-243 (2009) MathSciNetView ArticleMATHGoogle Scholar
Garshasbi, M, Dastour, H: Estimation of unknown boundary functions in an inverse heat conduction problem using a mollified marching scheme. Numer. Algorithms 68(4), 769-790 (2015) MathSciNetView ArticleMATHGoogle Scholar
Hào, DN, Thanh, PX, Lesnic, D, Johansson, BT: A boundary element method for a multi-dimensional inverse heat conduction problem. Int. J. Comput. Math. 13, 1540-1554 (2012) MathSciNetView ArticleMATHGoogle Scholar
Hon, YC, Wei, T: A fundamental solution method for inverse heat conduction problem. Eng. Anal. Bound. Elem. 28, 489-495 (2004) View ArticleMATHGoogle Scholar
Eldén, L, Berntsson, F, Regińska, T: Wavelet and Fourier methods for solving the sideways heat equation. SIAM J. Sci. Comput. 21(6), 2187-2205 (2000) MathSciNetView ArticleMATHGoogle Scholar
Regińska, T, Eldén, L: Solving the sideways heat equation by a wavelet-Galerkin method. Inverse Probl. 13, 1093-1106 (1997) MathSciNetView ArticleMATHGoogle Scholar
Regińska, T, Eldén, L: Stability and convergence of wavelet-Galerkin method for the sideways heat equation. J. Inverse Ill-Posed Probl. 8, 31-49 (2000) MathSciNetMATHGoogle Scholar
Fu, CL, Qiu, CY: Wavelet and error estimation of surface heat flux. J. Comput. Appl. Math. 150, 143-155 (2003) MathSciNetView ArticleMATHGoogle Scholar
Wróblewska, A, Frackowiak, A, Cialkowski, M: Regularization of the inverse heat conduction problem by the discrete Fourier transform. Inverse Probl. Sci. Eng. 24(2), 195-212 (2016) MathSciNetView ArticleGoogle Scholar
Qian, Z, Zhang, Q: Differential-difference regularization for a 2D inverse heat conduction problem. Inverse Probl. 26(9), 095015 (2010) MathSciNetView ArticleMATHGoogle Scholar
Elkinsa, BS, Keyhania, M, Franke, JI: Global time method for inverse heat conduction problem. Inverse Probl. Sci. Eng. 20(5), 651-664 (2012) MathSciNetView ArticleGoogle Scholar
Xiong, XT, Hon, YC: Regularization error analysis on a one-dimensional inverse heat conduction problem in multilayer domain. Inverse Probl. Sci. Eng. 21(5), 865-887 (2013) MathSciNetView ArticleMATHGoogle Scholar
Chapko, R, Johansson, BT, Vavrychuk, V: A projected iterative method based on integral equations for inverse heat conduction in domains with a cut. Inverse Probl. 29(6), 065003 (2013) MathSciNetView ArticleMATHGoogle Scholar
Fu, CL: Simplified Tikhonov and Fourier regularization methods on a general sideways parabolic equation. J. Comput. Appl. Math. 167, 449-463 (2004) MathSciNetView ArticleMATHGoogle Scholar
Grabski, JK, Lesnic, D, Johansson, BT: Identification of a time-dependent perfusion coefficient in the bioheat equation. Int. Commun. Heat Mass Transf. 75, 218-222 (2016) View ArticleGoogle Scholar
Mierzwiczak, M, Kolodziej, JA: The determination temperature-dependent thermal conductivity as inverse steady heat conduction problem. Int. J. Heat Mass Transf. 54, 790-796 (2011) View ArticleMATHGoogle Scholar
Chang, CL, Chang, M: Inverse determination of thermal conductivity using semi-discretization method. Appl. Math. Model. 33, 1644-1655 (2009) MathSciNetView ArticleMATHGoogle Scholar
Regińska, T: Application of wavelet shrinkage to solving the sideways heat equation. BIT Numer. Math. 41(5), 1101-1110 (2000) MathSciNetView ArticleGoogle Scholar
Vani, C, Avudainayagam, A: Regularized solution of the Cauchy problem for the Laplace equation using Meyer Wavelets. Math. Comput. Model. 36, 1151-1159 (2002) MathSciNetView ArticleMATHGoogle Scholar
Qiu, CY, Fu, CL: Wavelets and regularization of the Cauchy problem for the Laplace equation. J. Math. Anal. Appl. 33(2), 1440-1447 (2008) MathSciNetView ArticleMATHGoogle Scholar
Wang, JR: Shannon wavelet regularization methods for a backward heat equation. J. Comput. Appl. Math. 235(9), 3079-3085 (2011) MathSciNetView ArticleMATHGoogle Scholar
Dou, FF: Wavelet-Galerkin method for identifying an unknown source term in a heat equation. Math. Probl. Eng. 2012, Article ID 904183 (2012) MathSciNetView ArticleMATHGoogle Scholar
Qian, AL: Identifying an unknown source in the Poisson equation by a wavelet dual least square method. Bound. Value Probl. 2013, 267 (2013) MathSciNetView ArticleMATHGoogle Scholar
Regińska, T, Wakulicz, A: Wavelet moment method for the Cauchy problem for the Helmholtz equation. J. Comput. Appl. Math. 223, 218-229 (2009) MathSciNetView ArticleMATHGoogle Scholar
Dou, FF, Fu, CL: A wavelet method for the Cauchy problem for the Helmholtz equation. ISRN Appl. Math. 2012, Article ID 435468 (2012) MathSciNetView ArticleMATHGoogle Scholar
Feng, XL, Ning, WT: A wavelet regularization method for solving numerical analytic continuation. Int. J. Comput. Math. 92(5), 1025-1038 (2015) MathSciNetView ArticleMATHGoogle Scholar
Cheng, W, Fu, CL, Qian, Z: Two regularization methods for a spherically symmetric inverse heat conduction problem. Appl. Math. Model. 32, 432-442 (2008) MathSciNetView ArticleMATHGoogle Scholar