Open Access

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

Journal of Inequalities and Applications20132013:212

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

Received: 26 November 2012

Accepted: 13 April 2013

Published: 26 April 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 x x ( x , t ) + a ( x , t ) u ( x , t ) with Dirichlet boundary conditions u ( 0 , t ) = ψ 0 , u ( 1 , t ) = ψ 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:
{ u t ( x , t ) = u x x ( x , t ) + a ( x , t ) u ( x , t ) , ( x , t ) Ω T , u ( x , 0 ) = g ( x ) , 0 < x < 1 , u ( 0 , t ) = ψ 0 , u ( 1 , t ) = ψ 1 , 0 < t < T ,
(1)

where Ω T = { ( x , t ) R 2 : 0 < x < 1 , 0 < t T } . The left and right boundary values ψ 0 , ψ 1 are assumed to be constants. The functions c 1 > a ( x , t ) c 0 > 0 and g ( x ) satisfy the following conditions:

(C1) a ( x , t ) H 1 , 2 ( Ω T ) ;

(C2) g ( x ) H 3 , 2 [ 0 , 1 ] , g ( 0 ) = ψ 0 , g ( 1 ) = ψ 1 .

Under these conditions, the initial boundary value problem (1) has the unique solution u ( x , t ) H 2 , 2 [ 0 , 1 ] H 1 , 2 [ 0 , 1 ] [13].

Consider the inverse problem of determining the unknown coefficient a ( x , t ) from the following observations at the boundary x = 0 :
u x ( 0 , t ) = f ( t ) , t ( 0 , T ] .
(2)

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 ( 0 ) . Moreover, it is assumed that the function g ( x ) satisfies the consistency conditions g ( 0 ) = ψ 0 , g ( 1 ) = ψ 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 [69].

Recent studies [69] 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:
u t ( x , t ) u x x ( x , t ) = a ( x , t ) u ( x , t ) , ( x , t ) Ω T .
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:
v ( x , t ) = u ( x , t ) ψ 0 ( 1 x ) ψ 1 x , x [ 0 , 1 ] ,
(3)
which satisfies the following parabolic problem:
v t ( x , t ) + A [ v ( x , t ) ] = a ( x , t ) ( v ( x , t ) + ψ 0 ( 1 x ) + ψ 1 x ) , ( x , t ) Ω T , v ( x , 0 ) = g ( x ) ψ 0 ( 1 x ) ψ 1 x , 0 < x < 1 , v ( 0 , t ) = 0 , v ( 1 , t ) = 0 , 0 < t < T .
(4)

We can represent the solution of this problem in terms of a semigroup of linear operators. Here, A [ ] : = d 2 [ ] d x 2 is a second-order differential operator and its domain is D A = { v ( x ) H 0 2 , 2 ( 0 , 1 ) H 0 3 , 2 [ 0 , 1 ] : v ( 0 ) = 0 = v ( 1 ) } , where H 0 2 , 2 ( 0 , 1 ) = C 0 2 ( 0 , 1 ) ¯ and H 0 1 , 2 [ 0 , 1 ] = C 0 1 [ 0 , 1 ] ¯ are Sobolev spaces. Obviously, by completion g ( x ) 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:
v h ( x , t ) = T ( t ) v ( x , 0 ) = T ( t ) ( g ( x ) ψ 0 ( 1 x ) ψ 1 x ) .
Furthermore, by using the variations of parameters formula, we can write the solution of the initial boundary value problem (3) as follows:
v ( x , t ) = T ( t ) v ( x , 0 ) + 0 t T ( t s ) ( a ( x , s ) ( v ( x , s ) + ψ 0 ( 1 x ) + ψ 1 x ) ) d s .
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:
A ϕ ( x ) = λ ϕ ( x ) , ϕ ( 0 ) = 0 ; ϕ ( 1 ) = 0 .
(5)
This problem is called the Sturm-Liouville problem. The eigenvalues are determined with λ n = n 2 π 2 for all n = 0 , 1 , the corresponding eigenfunctions as ϕ n ( x ) = 2 sin ( n π x ) . In this case, the semigroup T ( t ) can be represented in the following way:
T ( t ) U ( x , s ) = n = 0 ϕ n ( θ ) , U ( θ , s ) e λ n t ϕ n ( x ) ,
(6)
where ϕ n ( θ ) , U ( θ , s ) = 0 1 ϕ n ( θ ) U ( θ , s ) d θ . 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:
N ( T ) = { U ( θ , t ) : ϕ n ( θ ) , U ( θ , t ) = 0 ,  for all  n = 0 , 1 , 2 , 3 , } .
The unique solution of the initial-boundary value problem (4) in terms of the semigroup T ( t ) can be represented in the following form:
v ( x , t ) = T ( t ) v ( x , 0 ) + 0 t T ( t s ) ( a ( x , s ) ( v ( x , s ) + ψ 0 ( 1 x ) + ψ 1 x ) ) d s .
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:
u ( x , t ) = ψ 0 ( 1 x ) + ψ 1 x + T ( t ) ( g ( x ) ψ 0 ( 1 x ) ψ 1 x ) + 0 t T ( t s ) a ( x , s ) u ( x , s ) d s .
(7)
Now, differentiating both sides of identity (7) with respect to t yields
u t ( x , t ) = T ( t ) A ( u ( x , 0 ) ψ 0 ( 1 x ) ψ 1 x ) + a ( x , t ) u ( x , t ) 0 t A T ( t s ) a ( x , s ) u ( x , s ) d s .
Using the semigroup property 0 t A T ( t s ) u ( x , s ) d s = T ( 0 ) u ( x , t ) T ( t ) u ( x , 0 ) ,
u t ( x , t ) = T ( t ) g ( x ) + 2 a ( x , t ) u ( x , t ) T ( t ) a ( x , 0 ) u ( x , 0 )
is obtained. Taking t = 0 in the above identity, we get
u t ( x , 0 ) = g ( x ) + a ( x , 0 ) u ( x , 0 ) .
(8)
Taking x = 0 in the above identity, we obtain
u t ( 0 , 0 ) = g ( 0 ) + a ( 0 , 0 ) u ( 0 , 0 ) .
Since u ( 0 , t ) = ψ 0 , u t ( 0 , t ) = 0 . Taking this into account yields
0 = g ( 0 ) + a ( 0 , 0 ) g ( 0 ) .
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:
a ( 0 , 0 ) = g ( 0 ) g ( 0 ) .
(9)
Now, differentiating both sides of identity (8) with respect to x yields
u x t ( x , 0 ) = g ( x ) + a x ( x , 0 ) u ( x , 0 ) + a ( x , 0 ) u x ( x , 0 ) .
Taking x = 0 in the above identity, we obtain
u x t ( 0 , 0 ) = g ( 0 ) + a x ( 0 , 0 ) u ( 0 , 0 ) + a ( 0 , 0 ) u x ( 0 , 0 ) .
Since u x ( 0 , t ) = f ( t ) , u x t ( 0 , t ) = f ( t ) . Taking this into account yields
f ( 0 ) = g ( 0 ) + a x ( 0 , 0 ) g ( 0 ) + g ( 0 ) g ( 0 ) f ( 0 ) .
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:
a x ( 0 , 0 ) = g ( 0 ) g ( 0 ) g ( 0 ) f ( 0 ) + f ( 0 ) g ( 0 ) g 2 ( 0 ) .
(10)
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:
a ( x , 0 ) = g ( 0 ) g ( 0 ) + g ( 0 ) g ( 0 ) g ( 0 ) f ( 0 ) + f ( 0 ) g ( 0 ) g 2 ( 0 ) x .
(11)
Substituting the linear approximation (11) into equation (8) yields
u t ( x , 0 ) = g ( x ) + ( g ( 0 ) g ( 0 ) + g ( 0 ) g ( 0 ) g ( 0 ) f ( 0 ) + f ( 0 ) g ( 0 ) g 2 ( 0 ) x ) u ( x , 0 ) ,
(12)
which enables us to obtain the approximate solution of the parabolic problem (1). For this, we first need to show that
T ( s ) u t ( x , t ) = u t ( x , s + t )
by using the well-known property of the semigroup of the linear operators
T ( s ) u ( x , t ) = u ( x , s + t ) ,

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 ) = A u ( x , t ) , where A is the infinitesimal generator of T ( t ) . Then the following identity holds:
T ( s ) u t ( x , t ) = u t ( x , s + t )
(13)

for each t , s ( 0 , T ] .

Proof First of all, observe that since eigenfunctions ϕ 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:
u ( x , t ) = n = 0 ϕ n ( ) , u ( , t ) ϕ n ( x ) .
Taking derivative of both sides with respect to the variable t produces
u t ( x , t ) = n = 0 d d t ϕ n ( ) , u ( , t ) ϕ n ( x ) .
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 ) :
T ( s ) u t ( x , t ) = n = 0 d d t ϕ n ( ) , u ( , t ) e λ n s ϕ n ( x ) .
(14)
Now we know that
u ( x , s + t ) = T ( s ) u ( x , t ) = n = 0 ϕ n ( ) , u ( , t ) e λ n s ϕ n ( x ) .
Taking derivative of both sides with respect to the variable t produces
u t ( x , s + t ) = n = 0 d d t ϕ n ( ) , u ( , t ) e λ n s ϕ n ( x ) ,
which is exactly the same as (11). This is exactly what is desired. However, notice that the identity
T ( s ) u x ( x , t ) = u x ( x , s + t )

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
u t ( x , t ) = T ( t ) u t ( x , 0 ) = T ( t ) g ( x ) + ( g ( 0 ) g ( 0 ) + g ( 0 ) g ( 0 ) g ( 0 ) f ( 0 ) + f ( 0 ) g ( 0 ) g 2 ( 0 ) x ) T ( t ) g ( x ) .
Hence we can obtain the solution u ( x , t ) from the above identity by integrating with respect to t as follows:
u ( x , t ) = ( T ( t ) g ( x ) + ( g ( 0 ) g ( 0 ) + g ( 0 ) g ( 0 ) g ( 0 ) f ( 0 ) + f ( 0 ) g ( 0 ) g 2 ( 0 ) x ) T ( t ) g ( x ) ) d t + C ( x ) ,
(15)
where C ( x ) denotes the integration constant. We can determine it by using the initial condition
u ( x , 0 ) = ( ( T ( t ) g ( x ) + ( g ( 0 ) g ( 0 ) + g ( 0 ) g ( 0 ) g ( 0 ) f ( 0 ) + f ( 0 ) g ( 0 ) g 2 ( 0 ) x ) T ( t ) g ( x ) ) d t ) t = 0 + C ( x ) ,
which yields
C ( x ) = g ( x ) ( ( T ( t ) g ( x ) + ( g ( 0 ) g ( 0 ) + g ( 0 ) g ( 0 ) g ( 0 ) f ( 0 ) + f ( 0 ) g ( 0 ) g 2 ( 0 ) x ) T ( t ) g ( x ) ) d t ) t = 0 .

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

Declarations

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.

Authors’ Affiliations

(1)
Department of Mathematics, Faculty of Science and Literature, Izmir University of Economics
(2)
Department of Mathematics, Kocaeli University

References

  1. Showalter R: Monotone Operators in Banach Spaces and Nonlinear Partial Differential Equations. Am. Math. Soc., Providence; 1997.Google Scholar
  2. 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
  3. 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
  4. DuChateau P, Gottlieb J: Introduction to Inverse Problems in Partial Differential Equations for Engineers, Physicists and Mathematicians. Kluwer Academic, Amsterdam; 1996.Google Scholar
  5. Renardy M, Rogers R: An Introduction to Partial Differential Equations. Springer, New York; 2004.Google Scholar
  6. 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
  7. 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
  8. 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
  9. 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
  10. Ashyralyev, A, San, ME: An approximation of semigroup method for stochastic parabolic equations. Abstr. Appl. Anal. (in press)Google Scholar

Copyright

© Ozbilge and Demir; licensee Springer 2013

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.