- Research
- Open access
- Published:
Identification of the unknown boundary condition in a linear parabolic equation
Journal of Inequalities and Applications volume 2013, Article number: 96 (2013)
Abstract
In this article, a semigroup approach is presented for the mathematical analysis of the inverse problems of identifying the unknown boundary condition in a linear parabolic equation with Dirichlet boundary conditions , by making use of the over measured data and separately.
1 Introduction
Consider the following initial boundary value problem for the linear diffusion equation:
where . The left boundary value is assumed to be constant. The functions and satisfy the following conditions:
(C1) ;
(C2) , , .
The initial boundary value problem (1) has the unique solution satisfying [1–4] under these conditions.
In physics, many applications of this problem can be found. The simple model of flame propagation and the spread of a biological populations, where , denote the temperature and density respectively, are given by the equation in problem (1). Especially represents the density-dependent coefficient in the problems of the spread of biological populations [5–9].
Let us consider the inverse problems [10] of determining boundary at in problem (1) from Dirichlet type of measured output data at the boundaries :
and from Neumann type of measured output data at the boundaries :
Here the solution of the parabolic problem (1) is denoted by . In this context, the parabolic problem (1) will be referred to as a direct (forward) problem with the inputs , and . Notice that and . Therefore it is assumed that the functions and respectively satisfy the consistency conditions and .
The purpose of this paper is to determine the boundary function at via the semigroup approach which is studied by [11–15].
The paper is organized as follows. In Section 2, an analysis of the semigroup approach is given for the inverse problem with the single measured output data given at . A similar analysis is applied to the inverse problem with the single measured output data given at the point in Section 3. Some concluding remarks are given in Section 4.
2 Analysis of the inverse problem of the boundary condition by Dirichlet type of over measured data
Consider now the inverse problem with one measured output data at . In order to formulate the solution of the parabolic problem (1) in terms of semigroup, let us first arrange the parabolic equation as follows:
Then the initial boundary value problem (1) can be rewritten in the following form:
In order to determine the unknown boundary condition , we need to determine the solution of the following parabolic problem:
To formulate the solution of the above problem in terms of semigroup, we need to define a new function
which satisfies the following parabolic problem:
Here, is a second-order differential operator and its domain is , where and are Sobolev spaces. Obviously, by completion since the initial value function belongs to . Hence is dense in , 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.
Let us denote a semigroup of linear operators by generated by the operator −A [9, 10]. We can easily find the eigenvalues and eigenfunctions of the differential operator A. Moreover, the semigroup can be easily constructed by using the eigenvalues and eigenfunctions of the infinitesimal generator A. Hence we first consider the following eigenvalue problem:
It can easily be determined that the eigenvalues are for all and hence the corresponding eigenfunctions are . This allows us to represent the semigroup in the following way:
where . Under this representation, the null space of the semigroup of the linear operators can be defined as follows:
From the construction of the semigroup , it can be concluded that the null space of it consists of only zero function, i.e., . This result implies the uniqueness of the unknown boundary condition .
The unique solution of the initial-boundary value problem (7) in terms of semigroup can be represented in the following form:
Now, by using the identity (6) and taking the initial value into account, the integral equation for the solution of the parabolic problem (5) in terms of semigroup can be written in the following form:
In order to arrange the above integral equation, let us define the following:
Then we can rewrite the integral equation in terms of and in the following form:
This is the integral representation of a solution of the initial-boundary value problem (5) on . It is obvious from the eigenfunctions , the domain of eigenfunctions can be extended to a closed interval . Moreover, they are continuous on . Under this extension, the uniqueness of the initial-boundary value problems (4) and (5) imply that the integral representation (11) becomes the integral representation of a solution of the initial-boundary value problem (4) on .
At this stage, it is obvious that the solution of the inverse problem can easily be obtained by substituting into the integral representation (11) of the solution :
which implies that can be determined analytically. The right-hand side of identity (12) defines the semigroup representation of the unknown boundary condition at .
Substituting into equation (12) yields
which is the condition we have for the initial-boundary value problems (1). Similarly, plugging into equation (11) produces the following:
which is the initial condition we have.
3 Analysis of the inverse problem of the boundary condition by Neumann type of over measured data
Consider now the inverse problem with one measured output data at . In order to formulate the solution of the parabolic problem (1) in terms of semigroup, as before, we arrange the parabolic equation as follows:
Then the initial boundary value problem (1) can be rewritten in the following form:
In order to determine the unknown boundary condition , we need to determine the solution of the following parabolic problem:
To formulate the solution of the above problem in terms of semigroup, we need to define a new function
which satisfies the following parabolic problem:
Here is a second-order differential operator, its domain is . It is clear from the definition of that .
Let us denote the semigroup of linear operators by generated by the operator −B [9, 10]. We can easily find the eigenvalues and eigenfunctions of the differential operator B. Moreover, the semigroup can be easily constructed by using the eigenvalues and eigenfunctions of the infinitesimal generator B. Hence we first consider the following eigenvalue problem:
The eigenvalues are determined as for all  . Therefore the corresponding eigenfunctions are . Under these eigenfunctions and eigenvalues, the semigroup can be represented in the following way:
where . Under this representation, the null space of the semigroup of the linear operators can be defined as follows:
As in the previous section, the construction of the semigroup implies that the null space of it consists of only zero function, i.e., . The uniqueness of the unknown boundary condition follows from this result.
The unique solution of the initial-boundary value problem (16) in terms of semigroup can be represented in the following form:
Now, by using the identity (17) and taking the initial value into account, the integral equation for the solution of the parabolic problem (14) in terms of semigroup can be written in the following form:
In order to arrange the above integral equation, let us define the following:
Then we can rewrite the integral equation in terms of and in the following form:
This is the integral representation of a solution of the initial-boundary value problem (15) on . It is obvious from the eigenfunctions , the domain of eigenfunctions can be extended to a closed interval . Moreover, they are continuous on . Under this extension, the uniqueness of the initial-boundary value problems (15) and (16) imply that integral representation (22) becomes the integral representation of a solution of the initial-boundary value problem (16) on .
Substituting into the integral representation (22) of the solution yields
which implies that can be determined analytically.
The right-hand side of identity (23) defines the semigroup representation of the unknown boundary condition at .
4 Conclusion
The purpose of this study is to identify the unknown boundary condition at via the semigroup approach by using the over measured data and . The crucial point here is the unique extensions of the solutions on to which are implied by the uniqueness of the solutions. This key leads to the integral representation of the unknown boundary condition at obtained analytically.
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/S0036141093259257
Isakov V: On uniqueness in inverse problems for quasilinear parabolic equations. Arch. Ration. Mech. Anal. 1993, 124: 1–13. 10.1007/BF00392201
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
Renardy M, Rogers R: An Introduction to Partial Differential Equations. Springer, New York; 2004.
Cannon JR: The One-Dimensional Heat Equation. Addison-Wesley, Reading; 1984.
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
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.097
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
DuChateau P, Gottlieb J: Introduction to Inverse Problems in Partial Differential Equations for Engineers, Physicists and Mathematicians. Kluwer Academic, Dordrecht; 1996.
Ashyralyev, A, San, ME: An approximation of semigroup method for stochastic parabolic equations. Abstr. Appl. Anal. (in press)
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
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
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
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
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
Demir, A., Ozbilge, E. Identification of the unknown boundary condition in a linear parabolic equation. J Inequal Appl 2013, 96 (2013). https://doi.org/10.1186/1029-242X-2013-96
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2013-96