- Research
- Open Access
- Published:

# Identification of the unknown coefficient in a quasi-linear parabolic equation by a semigroup approach

*Journal of Inequalities and Applications*
**volume 2013**, Article number: 212 (2013)

## Abstract

This article presents a semigroup approach to the mathematical analysis of the inverse coefficient problems of identifying the unknown coefficient a(x,t) in the quasi-linear parabolic equation {u}_{t}(x,t)={u}_{xx}(x,t)+a(x,t)u(x,t) with Dirichlet boundary conditions u(0,t)={\psi}_{0}, u(1,t)={\psi}_{1}. It is shown that the unknown coefficient a(x,t) can be approximately determined *via* the semigroup approach.

## 1 Introduction

Consider 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 {c}_{1}>a(x,t)\ge {c}_{0}>0 and g(x) satisfy the following conditions:

(C1) a(x,t)\in {H}^{1,2}({\mathrm{\Omega}}_{T});

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

Under these conditions, the initial boundary value problem (1) has the unique solution u(x,t)\in {H}^{2,2}[0,1]\cap {H}^{1,2}[0,1] [1–3].

Consider *the inverse problem* of determining the unknown coefficient a(x,t) from the following observations at the boundary x=0:

Here u=u(x,t) represents the solution of the parabolic problem (1). It is assumed that the function f(t) is *noisy free measured output data*. In this context the parabolic problem (1) will be referred to as a *direct (forward) problem* with the *inputs* g(x) and a(x,t). The function f(t) is assumed to belong to {H}^{1,2}[0,T] and satisfy the consistency conditions f(0)={g}^{\prime}(0). Moreover, it is assumed that the function g(x) satisfies the consistency conditions g(0)={\psi}_{0}, g(1)={\psi}_{1}.

In inverse problems, mostly numerical methods are employed to determine the unknown function. Even using one or more measured output data in analytic methods does not help in determination of the unknown function exactly [4, 5].

The purpose of this paper is to determine the analytic representation of the approximate unknown coefficient a(x,t) *via* a semigroup approach. We determine the approximate solution of the boundary value problem (1) without determining the unknown coefficient a(x,t). In the determination of it, we just use the values a(0,0), {a}_{x}(0,0) which are obtained and the over measured data {u}_{x}(0,t)=f(t). However, this cannot be possible for any kind of a boundary value problem with different type of boundary conditions. The semigroup approach for inverse problems for the identification of unknown coefficient in a quasi-linear parabolic equations was studied by Demir and Ozbilge [6, 7]. Moreover, the identification of the unknown diffusion coefficient in a linear parabolic equation was studied by Demir and Hasanov [8]. The study in this paper is based on similar philosophy to that in [6–9].

Recent studies [6–9] on the identification of the unknown function *via* a semigroup approach [10] show that the semigroup approach is the most effective analytical method which sheds more light on the unknown function. The weak point of this method is that you cannot apply this method to the initial boundary value problems with boundary conditions other than constant or zero. Overcoming this problem in some way makes this method more effective and valuable.

The paper is organized as follows. In Section 2, determination of the unknown coefficient a(x,t) is given *via* the semigroup approach. Some concluding remarks are given in Section 3.

## 2 Determination of the unknown coefficient a(x,t)*via* the semigroup approach

Consider *the inverse problem* of determining the explicit form of the unknown coefficient a(x,t) *via* the semigroup approach. Let the parabolic equation be arranged as follows:

Here we treat the term a(x,t)u(x,t) as a right-hand side function, *i.e.*, F(x,t)=a(x,t)u(x,t). In order to formulate the solution of the parabolic problem (1) in terms of a semigroup, a new function needs to be defined to make the boundary values equal to zero:

which satisfies the following parabolic problem:

We can represent the solution of this problem in terms of a semigroup of linear operators. 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(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, despite doing the calculations in the smooth function space, by completion they are valid in the Sobolev space. Denote by T(t) the semigroup of linear operators generated by the operator −*A* [5, 6]. Since the initial boundary value problem (4) possesses the property of uniqueness of its solutions, then the solution {v}_{h}(x,t) of its homogeneous part can be written as follows:

Furthermore, by using the *variations of parameters formula*, we can write the solution of the initial boundary value problem (3) as follows:

In order to construct the semigroup T(t), we need to identify the eigenvalues and eigenfunctions of the infinitesimal operator *A*. Hence, the following eigenvalue problem must first be considered:

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

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. It is well known that the Sturm-Liouville problem (5) 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 (4) in terms of the semigroup T(t) can be represented in the following form:

Hence, by using identity (3) 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 a semigroup can be written in the following form:

Now, differentiating both sides of identity (7) with respect to *t* yields

Using the semigroup property -{\int}_{0}^{t}AT(t-s)u(x,s)\phantom{\rule{0.2em}{0ex}}ds=T(0)u(x,t)-T(t)u(x,0),

is obtained. Taking t=0 in the above identity, we get

Taking x=0 in the above identity, we obtain

Since u(0,t)={\psi}_{0}, {u}_{t}(0,t)=0. Taking this into account yields

By solving the equation for a(0,0), the following explicit formula for the value a(0,0) of the unknown coefficient a(x,t) is obtained:

Now, differentiating both sides of identity (8) with respect to *x* yields

Taking x=0 in the above identity, we obtain

Since {u}_{x}(0,t)=f(t), {u}_{xt}(0,t)={f}^{\prime}(t). Taking this into account yields

By solving the equation for {a}_{x}(0,0), the following explicit formula for the value {a}_{x}(0,0) of the unknown coefficient a(x,t) is obtained:

By making use of the values a(0,0) and {a}_{x}(0,0), we can write a linear approximation for a(x,0) near (0,0) as follows:

Substituting the linear approximation (11) into equation (8) yields

which enables us to obtain the approximate solution of the parabolic problem (1). For this, we first need to show that

by using the well-known property of the semigroup of the linear operators

which leads us to the determination of the unknown coefficient a=a(x,t) analytically.

**Lemma** *Let* T(t) *be the semigroup of the linear operators*, *and let* u(x,t) *be the solution of the equation* {u}_{t}(x,t)=Au(x,t), *where* *A* *is the infinitesimal generator of* T(t). *Then the following identity holds*:

*for each* t,s\in (0,T].

*Proof* First of all, observe that since eigenfunctions {\varphi}_{n}(x) of the infinitesimal generator *A* generate a complete orthogonal family, we can write u(x,t) in terms of eigenfunctions in the following form:

Taking derivative of both sides with respect to the variable *t* produces

Notice that this identity implies that {u}_{t}(x,t) is in the domain of the semigroup of linear operators T(t). Hence we can apply T(t) to {u}_{t}(x,t):

Now we know that

Taking derivative of both sides with respect to the variable *t* produces

which is exactly the same as (11). This is exactly what is desired. However, notice that the identity

does not hold. □

This lemma leads us to the solution of the parabolic problem (1) without knowing the unknown coefficient a(x,t), but knowing a(0,0) and {a}_{x}(0,0). Then the solution enables us to determine the unknown coefficient a(x,t) approximately.

Now, applying the identity (13) to (12) and using the linearity, we get

Hence we can obtain the solution u(x,t) from the above identity by integrating with respect to *t* as follows:

where C(x) denotes the integration constant. We can determine it by using the initial condition

which yields

Substituting the integration constant C(x) into the identity (15), we obtain the approximate solution of the parabolic problem (1). Hence, by using this solution and the parabolic equation, we are able to determine the unknown coefficient a(x,t) approximately.

## 3 Conclusion

The aim of this study was to determine the unknown coefficient a(x,t) *via* the semigroup approach. Lemma in Section 2 plays a crucial role in the identification of the unknown coefficient a(x,t). This lemma leads us to new conclusions about the identification problems *via* the semigroup approach. We will present these results in our future studies….

## References

Showalter R:

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

*Introduction to Inverse Problems in Partial Differential Equations for Engineers, Physicists and Mathematicians*. Kluwer Academic, Amsterdam; 1996.Renardy M, Rogers R:

*An Introduction to Partial Differential Equations*. Springer, New York; 2004.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.989Demir 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.837Demir 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.004Ozbilge 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.974Ashyralyev, A, San, ME: An approximation of semigroup method for stochastic parabolic equations. Abstr. Appl. Anal. (in press)

## Acknowledgements

Dedicated to Professor Hari M Srivastava.

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

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

Both authors contributed equally to the manuscript and 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 coefficient in a quasi-linear parabolic equation by a semigroup approach.
*J Inequal Appl* **2013**, 212 (2013). https://doi.org/10.1186/1029-242X-2013-212

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1029-242X-2013-212

### Keywords

- Inverse Problem
- Initial Boundary
- Parabolic Problem
- Unknown Coefficient
- Infinitesimal Generator