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

## 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.

## 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 [1114], 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 [2023]. 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

1. (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.

2. (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.

## References

1. Alifanov, OM: Inverse Heat Transfer Problems. Springer, Berlin (1994)

2. 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)

3. Beck, JV, Blackwell, B, Clair, SR: Inverse Heat Conduction: Ill-Posed Problems. Wiley, New York (1985)

4. Carasso, A: Determining surface temperatures from interior observations. SIAM J. Appl. Math. 42, 558-574 (1982)

5. Seidman, T, Eldén, L: An optimal filtering method for the sideways heat equation. Inverse Probl. 6, 681-696 (1990)

6. Tautenhahn, U: Optimality for ill-posed problems under general source conductions. Numer. Funct. Anal. Optim. 19, 377-398 (1998)

7. 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)

8. 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)

9. 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)

10. Hon, YC, Wei, T: A fundamental solution method for inverse heat conduction problem. Eng. Anal. Bound. Elem. 28, 489-495 (2004)

11. 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)

12. Regińska, T, Eldén, L: Solving the sideways heat equation by a wavelet-Galerkin method. Inverse Probl. 13, 1093-1106 (1997)

13. 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)

14. Fu, CL, Qiu, CY: Wavelet and error estimation of surface heat flux. J. Comput. Appl. Math. 150, 143-155 (2003)

15. 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)

16. Qian, Z, Zhang, Q: Differential-difference regularization for a 2D inverse heat conduction problem. Inverse Probl. 26(9), 095015 (2010)

17. Elkinsa, BS, Keyhania, M, Franke, JI: Global time method for inverse heat conduction problem. Inverse Probl. Sci. Eng. 20(5), 651-664 (2012)

18. 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)

19. 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)

20. Fu, CL: Simplified Tikhonov and Fourier regularization methods on a general sideways parabolic equation. J. Comput. Appl. Math. 167, 449-463 (2004)

21. 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)

22. 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)

23. Chang, CL, Chang, M: Inverse determination of thermal conductivity using semi-discretization method. Appl. Math. Model. 33, 1644-1655 (2009)

24. Regińska, T: Application of wavelet shrinkage to solving the sideways heat equation. BIT Numer. Math. 41(5), 1101-1110 (2000)

25. Vani, C, Avudainayagam, A: Regularized solution of the Cauchy problem for the Laplace equation using Meyer Wavelets. Math. Comput. Model. 36, 1151-1159 (2002)

26. Qiu, CY, Fu, CL: Wavelets and regularization of the Cauchy problem for the Laplace equation. J. Math. Anal. Appl. 33(2), 1440-1447 (2008)

27. Wang, JR: Shannon wavelet regularization methods for a backward heat equation. J. Comput. Appl. Math. 235(9), 3079-3085 (2011)

28. Dou, FF: Wavelet-Galerkin method for identifying an unknown source term in a heat equation. Math. Probl. Eng. 2012, Article ID 904183 (2012)

29. Qian, AL: Identifying an unknown source in the Poisson equation by a wavelet dual least square method. Bound. Value Probl. 2013, 267 (2013)

30. Regińska, T, Wakulicz, A: Wavelet moment method for the Cauchy problem for the Helmholtz equation. J. Comput. Appl. Math. 223, 218-229 (2009)

31. Dou, FF, Fu, CL: A wavelet method for the Cauchy problem for the Helmholtz equation. ISRN Appl. Math. 2012, Article ID 435468 (2012)

32. Feng, XL, Ning, WT: A wavelet regularization method for solving numerical analytic continuation. Int. J. Comput. Math. 92(5), 1025-1038 (2015)

33. Cheng, W, Fu, CL, Qian, Z: Two regularization methods for a spherically symmetric inverse heat conduction problem. Appl. Math. Model. 32, 432-442 (2008)

## 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).

## Author information

Authors

### Corresponding author

Correspondence to Wei Cheng.

### Abbreviation

IHCP, inverse heat conduction problem.

### Competing interests

The author declares that she has no competing interests.

### Author’s contributions

The paper was realized by the author. The author read and approved the final manuscript.

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Rights and permissions

Reprints and permissions

Cheng, W. Stability estimate and regularization for a radially symmetric inverse heat conduction problem. Bound Value Probl 2017, 53 (2017). https://doi.org/10.1186/s13661-017-0785-x