- Research
- Open Access

# Identification of the unknown diffusion coefficient in a linear parabolic equation via semigroup approach

- Ebru Ozbilge
^{1}Email author and - Ali Demir
^{2}

**2014**:47

https://doi.org/10.1186/1687-1847-2014-47

© Ozbilge and Demir; licensee Springer. 2014

**Received:**30 September 2013**Accepted:**13 January 2014**Published:**30 January 2014

## Abstract

This article presents a semigroup approach to the mathematical analysis of the inverse parameter problems of identifying the unknown parameters $p(t)$ and *q* in the linear parabolic equation ${u}_{t}(x,t)={u}_{xx}+q{u}_{x}(x,t)+p(t)u(x,t)$, with mixed boundary conditions ${u}_{x}(0,t)={\psi}_{0}$, $k(1)u(1,t)={\psi}_{1}$. The main purpose of this paper is to investigate the distinguishability of the input-output mapping $\mathrm{\Phi}[\cdot ]:\mathcal{P}\to {H}^{1,2}[0,T]$, via semigroup theory. In this paper, it is shown that if the nullspace of the semigroup $T(t)$ consists of only the zero function, then the input-output mapping $\mathrm{\Phi}[\cdot ]$ has the distinguishability property. It is also shown that both types of boundary conditions and also the region in which the problem is defined play an important role in the distinguishability property of the input-output mapping. Moreover, the input data can be used to determine the unknown parameter $p(t)$ at $(x,t)=(0,0)$ and also the unknown coefficient *q*. Furthermore, it is shown that measured output data $f(t)$ can be determined analytically by an integral representation. Hence the input-output mapping $\mathrm{\Phi}[\cdot ]:\mathcal{P}\to {H}^{1,2}[0,T]$ is given explicitly in terms of the semigroup.

## Keywords

- Inverse Problem
- Unknown Parameter
- Parabolic Problem
- Infinitesimal Generator
- Linear Parabolic Equation

## 1 Introduction

The inverse problem of determining parameter in a linear parabolic equation by using over-measured data has generated an increasing interest from engineers and scientist in recent years because such problems play a crucial role in engineering, physics and applied mathematics. The problem of recovering a parameter or parameters in the mathematical model of a physical phenomenon is frequently encountered. Intensive study has been done on these kind of problems and various numerical methods developed which are used to overcome the problem of determining unknown parameter or parameters [1–4]. Linear identification problems for parabolic equations by the method of semigroups in Hilbert or Banach spaces have been considered by many authors such as Erdogan, Uygun, Sazaklioglu, and Ashyralyev [5–8].

The purpose of this study is to investigate the inverse problem of determining unknown parameters *q* and $p(t)$ in a one-dimensional parabolic equation using a semigroup approach.

The semigroup approach is an analytical approach for inverse problems of identifying unknown coefficients in parabolic problems. The inverse problem of unknown coefficients in a quasi-linear parabolic equations was studied by Demir and Ozbilge [9–12]. Moreover, the identification of the unknown diffusion coefficient in a linear parabolic equation was studied by Demir and Hasanov [12]. The study in this article is based on a philosophy similar to that used in [9–18].

where ${\mathrm{\Omega}}_{T}=\{(x,t)\in {R}^{2}:0<x<1,0<t\le T\}$. The left and right boundary values ${\psi}_{0}$, ${\psi}_{1}$ are assumed to be constants. The functions $p(t)$ and $g(x)$ satisfy the following conditions:

(C1) $p(t)\in {H}^{0,2}$, $q\ge 0$;

(C2) $g(x)\in {H}^{3,2}[0,1]$, ${g}^{\prime}(0)={\psi}_{0}$, $g(1)=\frac{{\psi}_{1}}{k(1)}$.

Under these conditions, the initial-boundary value problem (1) has the unique solution $u(x,t)\in {H}^{2,2}({\mathrm{\Omega}}_{T})\cap {H}^{3,2}({\overline{\mathrm{\Omega}}}_{T})$.

The parabolic equation in (1) is the mathematical model for various physical and chemical events, such as solute transport in a porous medium, where the dependent variable $u(x,t)$ denotes a solute concentration depending continuously on independent variables *x* and *t*. The coefficients *q* and $p(t)$ represent average velocity and decay taking place in both the liquid and absorbed phase. Moreover this linear parabolic equation can be considered as a control problem where the dependent variable $u(x,t)$ represents the temperature. In this case, the parameters *q* and $p(t)$ can be regarded as control parameters.

*the inverse problem*of determining the unknown parameters

*q*and $p(t)$ from the Dirichlet type of measured output data at the boundary $x=0$, respectively:

Here $u=u(x,t)$ is the solution of the parabolic problem (1). The function $f(t)$ is assumed to be *noisy free measured output data*. In this context, parabolic problem (1) will be referred to as a *direct* (*forward*) *problem*, with the *inputs* $g(x)$, *q* and $p(t)$. It is assumed that the function $f(t)$ belongs to ${H}^{0,2}[0,T]$ and satisfies the consistency condition $f(0)=g(0)$.

*q*and $p(t)$, introduce the input-output mapping $\mathrm{\Phi}[\cdot ,\cdot ]:\mathcal{P}\to {C}^{1}[0,T]$, where

In this paper, measured output data of Dirichlet type at the boundary $x=0$ is used in the identification of the unknown parameters. Also, in the determination of the unknown parameter, analytical results are obtained.

The purpose of this paper is to study the distinguishability of the unknown parameters via the above input-output mapping. Since the parameter *q* is a constant, it is relatively easy to determine its exact value in terms of boundary conditions, initial condition and over-measured data. Thus, we consider that the mapping $\mathrm{\Phi}[\cdot ,q]:\mathcal{P}\to {H}^{1,2}[0,T]$ has the distinguishability property if $\mathrm{\Phi}[{p}_{1},q]\ne \mathrm{\Phi}[{p}_{2},q]$ implies ${p}_{1}(t)\ne {p}_{2}(t)$. This fact, in particular, shows the injectivity of the inverse mapping ${\mathrm{\Phi}}^{-1}$. In this paper, measured output data of Dirichlet type at the boundary $x=0$ is used in the identification of the unknown parameters. Furthermore, in order to determine the unknown parameter, analytical results are obtained.

The paper is organized as follows. In Section 2, an analysis of the semigroup approach for the inverse problem is given, with the single measured output data $f(t)$ given at the boundary $x=0$. The final section offers some concluding remarks.

## 2 An analysis of the inverse problem with given measured data $f(t)$

Here, $A[\cdot ]:=-\frac{{d}^{2}[\cdot ]}{d{x}^{2}}$ is a second order differential operator and its domain is ${D}_{A}=\{v(x)\in {H}_{0}^{2,2}(0,1)\cap {H}_{0}^{3,2}[0,1]:{v}_{x}(0)=0=v(1)\}$, where ${H}_{0}^{2,2}(0,1)=\overline{{C}_{0}^{2}(0,1)}$ and ${H}_{0}^{1,2}[0,1]=\overline{{C}_{0}^{1}[0,1]}$ are Sobolev spaces. Obviously, by completion, $g(x)\in {D}_{A}$, since the initial value function $g(x)$ belongs to ${C}^{3}[0,1]$. Hence ${D}_{A}$ is dense in ${H}_{0}^{2,2}[0,1]$, which is a necessary condition for being an infinitesimal generator.

In the following, although the calculations are performed in the smooth function space, by completion they are valid in the Sobolev space.

Denoted by $T(t)$, the semigroup of linear operators are generated by the operator −*A* [7, 8]. Since the differential operator −*A* is a positive definite and self-adjoint linear operator, the theory of the eigenvalue problems for this operator is well known [19–23].

*A*can easily be identified. Moreover, the semigroup $T(t)$ can be constructed by using the eigenvalues and eigenfunctions of the infinitesimal generator

*A*. Hence, the following eigenvalue problem must first be considered:

*i.e.*, $N(T)=\{0\}$. The null space of the semigroup $T(t)$ of the linear operators can be defined as follows:

*the semigroup representation of the input-output mapping*$\mathrm{\Phi}[p]$ on the set of admissible source functions :

*t*and using the definitions for $\zeta (x)$ and $\xi (x,t)$ yields

*x*, we have

*q*, the following explicit formula is obtained:

The following lemma implies the relation between the parameters ${p}_{1}(t),{p}_{2}(t)\in {\mathcal{P}}_{q}$ at $x=0$ and the corresponding outputs ${f}_{j}(t):=u(0,t;{p}_{j})$, $j=1,2$.

**Lemma 1**

*Let*${u}_{1}(x,t)=u(x,t;{p}_{1})$

*and*${u}_{2}(x,t)=u(x,t;{p}_{2})$

*be the solutions of the direct problem*(1),

*corresponding to the admissible parameters*${p}_{1}(t),{p}_{2}(t)\in {\mathcal{P}}_{q}$.

*If*${f}_{j}(t)=u(0,t;{p}_{j})$, $j=1,2$,

*are the corresponding outputs*,

*and we denote*$\mathrm{\Delta}f(t)={f}_{1}(t)-{f}_{2}(t)$, $\mathrm{\Delta}\xi (x,t,s)={\xi}^{1}(x,t,s)-{\xi}^{2}(x,t,s)$,

*then the outputs*${f}_{j}(t)$, $j=1,2$,

*satisfy the following integral identity*:

*for each* $\tau \in (0,T]$.

*Proof*By using identity (10), the measured output data ${f}_{j}(t):=u(0,t;{p}_{j})$, $j=1,2$ can be written as follows:

respectively. From identity (9) it is obvious that ${\xi}^{1}(0,\tau )={\xi}^{2}(0,\tau )$ for each $\tau \in (0,T]$. Hence, the difference between these formulas implies the desired result. □

The above lemma and the definition of $\xi (x,t,s)$ enable us to reach the following conclusion:

**Corollary 1**

*Let the conditions of Lemma*1

*hold*.

*If*,

*in addition*,

*holds*, *then* ${f}_{1}(t)={f}_{2}(t)$, $\mathrm{\forall}t\in [0,T]$.

*i.e.*,

**Theorem 1**

*Let conditions*(C1), (C2)

*hold*.

*Assume that*$\mathrm{\Phi}[\cdot ]:\mathcal{P}\to {H}^{1,2}[0,T]$

*is the input*-

*output mapping defined by*(3)

*and corresponding to the measured output*$f(t):={u}_{x}(0,t)$.

*In this case*,

*the mapping*$\mathrm{\Phi}[p]$

*has the distinguishability property in the class of admissible parameters*${\mathcal{P}}_{q}$,

*i*.

*e*.,

## 3 Conclusion

The aim of this study was to analyze the distinguishability properties of the input-output mapping $\mathrm{\Phi}[\cdot ]:\mathcal{P}\to {H}^{1,2}[0,T]$, which is determined by the measured output data. In this study, we conclude that the semigroup with a trivial null space, *i.e.*, $N(T)=\{0\}$, plays a crucial role in the distinguishability of the input-output mappings. The other important conclusion is that for this kind of inverse problem, one Dirichlet type of measured output data at the boundary $x=0$ is sufficient to investigate the distinguishability of the input-output mapping, and also we were able to define the value of the unknown function $p(x)$ at $x=0$. Similarly, if we take Neumann type of measured output data, we would find the value of $p(x)$ at $x=1$.

## Declarations

### Acknowledgements

The research was supported by parts by the Scientific and Technical Research Council (TUBITAK) of Turkey and Izmir University of Economics.

## Authors’ Affiliations

## References

- DuChateau P: Monotonicity and invertibility of coefficient-to-data mappings for parabolic inverse problems.
*SIAM J. Math. Anal.*1995, 26: 1473-1487. 10.1137/S0036141093259257MathSciNetView ArticleGoogle Scholar - Isakov V: On uniqueness in inverse problems for quasilinear parabolic equations.
*Arch. Ration. Mech. Anal.*1993, 124: 1-13. 10.1007/BF00392201MathSciNetView ArticleGoogle Scholar - Pilant MS, Rundell W: A uniqueness theorem for conductivity from overspecified boundary data.
*J. Math. Anal. Appl.*1988, 136: 20-28. 10.1016/0022-247X(88)90112-6MathSciNetView ArticleGoogle Scholar - Renardy M, Rogers R:
*An Introduction to Partial Differential Equations*. Springer, New York; 2004.Google Scholar - Ashyralyev A, San ME: An approximation of semigroup method for stochastic parabolic equations.
*Abstr. Appl. Anal.*2012., 2012: Article ID 684248Google Scholar - Erdogan A, Sazaklioglu A: A note on the numerical solution of an identification problem for observing two-phase flow in capillaries.
*Math. Methods Appl. Sci.*2013. 10.1002/mma.2985Google Scholar - Erdogan A, Uygun H: A note on the inverse problem for a fractional parabolic equation.
*Abstr. Appl. Anal.*2012., 2012: Article ID 276080Google Scholar - Erdogan A, Ashyralyev A: On the second order implicit difference schemes for a right hand side identification problem.
*Appl. Math. Comput.*2014, 226: 212-229.MathSciNetView ArticleGoogle Scholar - Demir A, Ozbilge E: Semigroup approach for identification of the unknown diffusion coefficient in a quasi-linear parabolic equation.
*Math. Methods Appl. Sci.*2007, 30: 1283-1294. 10.1002/mma.837MathSciNetView ArticleGoogle Scholar - Ozbilge E: Identification of the unknown diffusion coefficient in a quasi-linear parabolic equation by semigroup approach with mixed boundary conditions.
*Math. Methods Appl. Sci.*2008, 31: 1333-1344. 10.1002/mma.974MathSciNetView ArticleGoogle Scholar - Demir A, Ozbilge E: Analysis of a semigroup approach in the inverse problem of identifying an unknown coefficient.
*Math. Methods Appl. Sci.*2008, 31: 1635-1645. 10.1002/mma.989MathSciNetView ArticleGoogle Scholar - Demir A, Hasanov A: Identification of the unknown diffusion coefficient in a linear parabolic equation by the semigroup approach.
*J. Math. Anal. Appl.*2008, 340: 5-15. 10.1016/j.jmaa.2007.08.004MathSciNetView ArticleGoogle Scholar - Ozbilge E: Identification of the unknown diffusion coefficient in a quasi-linear parabolic equation by semigroup approach with mixed boundary conditions.
*Math. Methods Appl. Sci.*2008, 31: 1333-1344. 10.1002/mma.974MathSciNetView ArticleGoogle Scholar - Ozbilge E, Demir A: Analysis of a semigroup approach in the inverse problem of identifying an unknown parameters.
*Appl. Math. Comput.*2011, 218: 965-969. 10.1016/j.amc.2011.01.080MathSciNetView ArticleGoogle Scholar - Demir A, Ozbilge E: Identification of the unknown boundary condition in a linear parabolic equation.
*J. Inequal. Appl.*2013., 2013: Article ID 96 10.1186/1029-242X-2013-96Google Scholar - Ozbilge E, Demir A: Identification of the unknown coefficient in a quasi-linear parabolic equation by semigroup approach.
*J. Inequal. Appl.*2013., 2013: Article ID 212 10.1186/1029-242X-2013-212Google Scholar - Ozbilge E: Determination of the unknown boundary condition of the inverse parabolic problems via semigroup method.
*Bound. Value Probl.*2013., 2013: Article ID 2 10.1186/1687-2770-2013-2Google Scholar - Ozbilge E, Demir A: Semigroup approach for identification of the unknown diffusion coefficient in a linear parabolic equation with mixed output data.
*Bound. Value Probl.*2013., 2013: Article ID 43 10.1186/1687-2770-2013-43Google Scholar - Cannon JR:
*The One-Dimensional Heat Equation*. Addison-Wesley, Reading; 1984.View ArticleGoogle Scholar - DuChateau P, Thelwell R, Butters G: Analysis of an adjoint problem approach to the identification of an unknown diffusion coefficient.
*Inverse Probl.*2004, 20: 601-625. 10.1088/0266-5611/20/2/019MathSciNetView ArticleGoogle Scholar - Showalter R:
*Monotone Operators in Banach Spaces and Nonlinear Partial Differential Equations*. Am. Math. Soc., Providence; 1997.Google Scholar - Hasanov A, Demir A, Erdem A: Monotonicity of input-output mappings in inverse coefficient and source problem for parabolic equations.
*J. Math. Anal. Appl.*2007, 335: 1434-1451. 10.1016/j.jmaa.2007.01.097MathSciNetView ArticleGoogle Scholar - Hasanov A, DuChateau P, Pektas B: An adjoint approach and coarse-fine mesh method for identification of the diffusion coefficient in a linear parabolic equations.
*J. Inverse Ill-Posed Probl.*2006, 14: 435-463. 10.1515/156939406778247615MathSciNetView ArticleGoogle Scholar - DuChateau P, Gottlieb J:
*Introduction to Inverse Problems in Partial Differential Equations for Engineers, Physicists and Mathematicians*. Kluwer Academic, Dordrecht; 1996.Google Scholar

## Copyright

This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.