- Research
- Open Access
- Published:

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

*Advances in Difference Equations*
**volume 2014**, Article number: 47 (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.

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

Consider now the following initial-boundary value problem:

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.

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

On denoting \mathcal{P}:=\{(p(t),q):{c}_{1}>p(t)\ge {c}_{0}>0,q\ge 0\}, the set of admissible parameters *q* and p(t), introduce the input-output mapping \mathrm{\Phi}[\cdot ,\cdot ]:\mathcal{P}\to {C}^{1}[0,T], where

Then the inverse problem with the measured output data f(t) can be formulated as the following operator equation:

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)

Consider now the inverse problem with one measured output data f(t) at x=0. In order to formulate the solution of parabolic problem (1) in terms of a semigroup, a new function needs to be defined:

which satisfies the following parabolic problem:

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

Note that the eigenvalues and eigenfunctions of the differential operator *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:

This is the Sturm-Liouville problem. The eigenvalues are determined, with {\lambda}_{n}={(2n-1)}^{2}\frac{{\pi}^{2}}{4} for all n=0,1,\dots , and the corresponding eigenfunctions are {\varphi}_{n}(x)=\sqrt{2}cos((2n-1)\frac{\pi}{2}x). In this case, the semigroup T(t) can be represented in the following way [24]:

where \u3008{\varphi}_{n}(\theta ),U(\theta ,s)\u3009={\int}_{0}^{1}{\varphi}_{n}(\theta )U(\theta ,s)\phantom{\rule{0.2em}{0ex}}d\theta. The Sturm-Liouville problem (7) generates a complete orthogonal family of eigenfunctions, so that the null space of the semigroup T(t) is trivial, *i.e.*, N(T)=\{0\}. The null space of the semigroup T(t) of the linear operators can be defined as follows:

The unique solution of the initial-boundary value problem (6) in terms of semigroup T(t) can be represented in the following form:

Hence, by using identity (5) and taking the initial value u(x,0)=g(x) into account, the solution u(x,t) of the parabolic problem (1) in terms of semigroup can be written in the following form:

In order to arrange the above solution representation, let us define the following:

The solution representation in terms of \zeta (x) and \xi (x,s) can then be rewritten in the following form:

Substituting x=0 into this solution yields

Taking into account the over-measured data u(0,t)=f(t)

is obtained, which implies that f(t) can be determined analytically. The right-hand side of identity (10) defines *the semigroup representation of the input-output mapping* \mathrm{\Phi}[p] on the set of admissible source functions :

Now, differentiating both sides of identity (8) with respect to *t* and using the definitions for \zeta (x) and \xi (x,t) yields

Using the semigroup property {\int}_{0}^{t}AT(t-s)u(x,s)\phantom{\rule{0.2em}{0ex}}ds=T(t)u(x,0)-T(0)u(x,t) where T(0)=I is the identity operator and substituting t=0 in (11) we get

Substituting x=0 into (12),

is obtained. Since u(0,t)=f(t), we have {u}_{t}(0,t)={f}^{\prime}(t). Taking this into account and substituting t=0 yields

Solving the equation for p(0), the following explicit formula is obtained:

This result implies that g(0)\ne 0. Now, taking the derivative of (12) with respect to *x*, we have

Substituting x=0 into (14),

Since {u}_{x}(0,t)={\psi}_{0}, {u}_{xt}(0,0)=0. Solving the equation for *q*, the following explicit formula is obtained:

Substituting (13) in (15), we get

The admissible set of diffusion parameters can then be redefined as follows:

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

Note that \u3008{\varphi}_{n}(x),{\xi}^{1}(x,t)-{\xi}^{2}(x,t)\u3009=0 for all {\varphi}_{n}(x) implies that {\xi}^{1}(x,\tau )={\xi}^{2}(x,\tau ). Hence, by Lemma 1, we conclude that {f}_{1}(t)={f}_{2}(t), \mathrm{\forall}t\in [0,T]. Moreover, this leads to the important conclusion that the input-output mapping \mathrm{\Phi}[p] is distinguishable [5], *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.

## References

- 1.
DuChateau P: Monotonicity and invertibility of coefficient-to-data mappings for parabolic inverse problems.

*SIAM J. Math. Anal.*1995, 26: 1473-1487. 10.1137/S0036141093259257 - 2.
Isakov V: On uniqueness in inverse problems for quasilinear parabolic equations.

*Arch. Ration. Mech. Anal.*1993, 124: 1-13. 10.1007/BF00392201 - 3.
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-6 - 4.
Renardy M, Rogers R:

*An Introduction to Partial Differential Equations*. Springer, New York; 2004. - 5.
Ashyralyev A, San ME: An approximation of semigroup method for stochastic parabolic equations.

*Abstr. Appl. Anal.*2012., 2012: Article ID 684248 - 6.
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.2985 - 7.
Erdogan A, Uygun H: A note on the inverse problem for a fractional parabolic equation.

*Abstr. Appl. Anal.*2012., 2012: Article ID 276080 - 8.
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. - 9.
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.837 - 10.
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.974 - 11.
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.989 - 12.
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.004 - 13.
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.974 - 14.
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.080 - 15.
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-96 - 16.
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-212 - 17.
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-2 - 18.
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-43 - 19.
Cannon JR:

*The One-Dimensional Heat Equation*. Addison-Wesley, Reading; 1984. - 20.
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/019 - 21.
Showalter R:

*Monotone Operators in Banach Spaces and Nonlinear Partial Differential Equations*. Am. Math. Soc., Providence; 1997. - 22.
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.097 - 23.
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/156939406778247615 - 24.
DuChateau P, Gottlieb J:

*Introduction to Inverse Problems in Partial Differential Equations for Engineers, Physicists and Mathematicians*. Kluwer Academic, Dordrecht; 1996.

## Acknowledgements

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

## Author information

### Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Ozbilge, E., Demir, A. Identification of the unknown diffusion coefficient in a linear parabolic equation via semigroup approach.
*Adv Differ Equ* **2014, **47 (2014). https://doi.org/10.1186/1687-1847-2014-47

Received:

Accepted:

Published:

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

### Keywords

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