Skip to main content

Theory and Modern Applications

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

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 x x +q u x (x,t)+p(t)u(x,t), with mixed boundary conditions u x (0,t)= ψ 0 , k(1)u(1,t)= ψ 1 . The main purpose of this paper is to investigate the distinguishability of the input-output mapping Φ[⋅]:P→ 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 Φ[⋅] 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 Φ[⋅]:P→ 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:

{ u t ( x , t ) = u x x + q u x ( x , t ) + p ( t ) u ( x , t ) , ( x , t ) ∈ Ω T , u ( x , 0 ) = g ( x ) , 0 < x < 1 , u x ( 0 , t ) = ψ 0 , k ( 1 ) 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 p(t) and g(x) satisfy the following conditions:

(C1) p(t)∈ H 0 , 2 , q≥0;

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

Under these conditions, the initial-boundary value problem (1) has the unique solution u(x,t)∈ H 2 , 2 ( Ω T )∩ H 3 , 2 ( Ω ¯ 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:

u(0,t)=f(t),t∈(0,T].
(2)

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 P:={(p(t),q): c 1 >p(t)≥ c 0 >0,q≥0}, the set of admissible parameters q and p(t), introduce the input-output mapping Φ[⋅,⋅]:P→ C 1 [0,T], where

Φ[p,q]=u(x,t;p,q) | x = 0 , ( p ( t ) , q ) ∈P.
(3)

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

Φ[p,q]=f, ( p ( t ) , q ) ∈P,f∈ H 0 , 2 [0,T].
(4)

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 Φ[⋅,q]:P→ H 1 , 2 [0,T] has the distinguishability property if Φ[ p 1 ,q]≠Φ[ p 2 ,q] implies p 1 (t)≠ p 2 (t). This fact, in particular, shows the injectivity of the inverse mapping Φ − 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:

v(x,t)=u(x,t)− ψ 0 x+ ψ 0 − ψ 1 k ( 1 ) ,x∈[0,1],
(5)

which satisfies the following parabolic problem:

v t ( x , t ) + A [ v ( x , t ) ] = q ( v x ( x , t ) + ψ 0 ) + p ( t ) ( v ( x , t ) + ψ 0 x − ψ 0 + ψ 1 k ( 1 ) ) , v ( x , 0 ) = g ( x ) − ψ 0 x + ψ 0 − ψ 1 k ( 1 ) , 0 < x < 1 , v x ( 0 , t ) = 0 , k ( 1 ) v ( 1 , t ) = 0 , 0 < t < T .
(6)

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 x (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, 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:

A ϕ ( x ) = λ ϕ ( x ) , ϕ x ( 0 ) = 0 ; ϕ ( 1 ) = 0 .
(7)

This is the Sturm-Liouville problem. The eigenvalues are determined, with λ n = ( 2 n − 1 ) 2 π 2 4 for all n=0,1,… , and the corresponding eigenfunctions are ϕ n (x)= 2 cos((2n−1) π 2 x). In this case, the semigroup T(t) can be represented in the following way [24]:

T(t)U(x,s)= ∑ n = 0 ∞ 〈 ϕ n ( θ ) , U ( θ , s ) 〉 e − λ n t ϕ n (x),

where 〈 ϕ n (θ),U(θ,s)〉= ∫ 0 1 ϕ n (θ)U(θ,s)dθ. 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:

N(T)= { U ( θ , t ) : 〈 Ï• n ( θ ) , U ( θ , t ) 〉 = 0 , for all  n = 0 , 1 , 2 , 3 , … } .

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

v(x,t)=T(t)v(x,0)+ ∫ 0 t T(t−s) ( q ( v x ( x , s ) + ψ 0 ) + p ( s ) ( v ( x , s ) + ψ 0 x − ψ 0 + ψ 1 / k ( 1 ) ) ) ds.

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:

u ( x , t ) = ψ 0 x − ψ 0 + ψ 1 k ( 1 ) + T ( t ) ( g ( x ) − ψ 0 x + ψ 0 − ψ 1 k ( 1 ) ) + ∫ 0 t T ( t − s ) ( q u x ( x , s ) + p ( s ) u ( x , s ) ) d s .
(8)

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

ζ ( x ) = ( g ( x ) − ψ 0 x + ψ 0 − ψ 1 k ( 1 ) ) , ξ ( x , t ) = ( q u x ( x , s ) + p ( s ) u ( x , s ) ) .
(9)

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

u(x,t)= ψ 0 x− ψ 0 + ψ 1 k ( 1 ) +T(t)ζ(x)+ ∫ 0 t T(t−s)ξ(x,s)ds.

Substituting x=0 into this solution yields

u(0,t)=− ψ 0 + ψ 1 k ( 1 ) +T(t)ζ(0)+ ∫ 0 t T(t−s)ξ(0,s)ds.

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

f(t)=− ψ 0 + ψ 1 k ( 1 ) +T(t)ζ(0)+ ∫ 0 t T(t−s)ξ(0,s)ds
(10)

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 Φ[p] on the set of admissible source functions :

Φ[p,q](t):=− ψ 0 + ψ 1 k ( 1 ) +T(t)ζ(0)+ ∫ 0 t T(t−s)ξ(0,s)ds,∀t∈[0,T].

Now, differentiating both sides of identity (8) with respect to t and using the definitions for ζ(x) and ξ(x,t) yields

u t ( x , t ) = T ( t ) A ( g ( x ) − ψ 0 x + ψ 0 − ψ 1 k ( 1 ) ) + q u x ( x , t ) + p ( t ) u ( x , t ) + ∫ 0 t A T ( t − s ) ( q u x ( x , s ) + p ( s ) u ( x , s ) ) d s .
(11)

Using the semigroup property ∫ 0 t AT(t−s)u(x,s)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

u t (x,0)= g ″ (x)+ ( q u x ( x , 0 ) + p ( 0 ) u ( x , 0 ) ) .
(12)

Substituting x=0 into (12),

u t (0,0)= g ″ (0)+q u x (0,0)+p(0)u(0,0)

is obtained. Since u(0,t)=f(t), we have u t (0,t)= f ′ (t). Taking this into account and substituting t=0 yields

f ′ (0)= g ″ (0)+q u x (0,0)+p(0)u(0,0).

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

p(0)= f ′ ( 0 ) − g ″ ( 0 ) − g u x ( 0 , 0 ) u ( 0 , 0 ) = f ′ ( 0 ) − g ″ ( 0 ) − g ψ 0 g ( 0 ) .
(13)

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

u x t (x,0)= g ‴ (x)+ ( q u x x ( x , 0 ) + p ( 0 ) u x ( x , 0 ) ) .
(14)

Substituting x=0 into (14),

u x t (0,0)= g ‴ (0)+ ( q u x x ( 0 , 0 ) + p ( 0 ) u x ( 0 , 0 ) ) .

Since u x (0,t)= ψ 0 , u x t (0,0)=0. Solving the equation for q, the following explicit formula is obtained:

q= − g ‴ ( 0 ) − p ( 0 ) u x ( 0 , 0 ) u x x ( 0 , 0 ) .
(15)

Substituting (13) in (15), we get

q= − g ‴ ( 0 ) g ( 0 ) − ( f ′ ( 0 ) − g ″ ( 0 ) − g ψ 0 ) u x ( 0 , 0 ) g ( 0 ) u x x ( 0 , 0 ) .

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

P q : = { ( p ( t ) , q ) ∈ P : p ( 0 ) = f ′ ( 0 ) − g ″ ( 0 ) − g ψ 0 g ( 0 ) , q = − g ‴ ( 0 ) g ( 0 ) − ( f ′ ( 0 ) − g ″ ( 0 ) − g ψ 0 ) u x ( 0 , 0 ) g ( 0 ) u x x ( 0 , 0 ) } .

The following lemma implies the relation between the parameters p 1 (t), p 2 (t)∈ 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)∈ P q . If f j (t)=u(0,t; p j ), j=1,2, are the corresponding outputs, and we denote Δf(t)= f 1 (t)− f 2 (t), Δξ(x,t,s)= ξ 1 (x,t,s)− ξ 2 (x,t,s), then the outputs f j (t), j=1,2, satisfy the following integral identity:

Δf(τ)= ∫ 0 τ Δξ(0,τ−s,s)ds,
(16)

for each τ∈(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:

f 1 ( τ ) = − ψ 0 + ψ 1 k ( 1 ) + ζ 1 ( 0 , τ ) + ∫ 0 τ ξ 1 ( 0 , τ − s , s ) d s , f 2 ( τ ) = − ψ 0 + ψ 1 k ( 1 ) + ζ 1 ( 0 , τ ) + ∫ 0 τ ξ 2 ( 0 , τ − s , s ) d s ,

respectively. From identity (9) it is obvious that ξ 1 (0,τ)= ξ 2 (0,τ) for each τ∈(0,T]. Hence, the difference between these formulas implies the desired result. □

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

Corollary 1 Let the conditions of Lemma  1 hold. If, in addition,

〈 ϕ n ( x ) , ξ 1 ( x , t ) − ξ 2 ( x , t ) 〉 = 〈 ϕ n ( x ) , q ( u 1 ) x ( x , t ; p 1 ) − q ( u 2 ) x ( x , t ; p 1 ) + p 1 ( t ) u 1 ( x , t ; p 1 ) − p 2 ( t ) u 2 ( x , t ; p 2 ) 〉 = 0 , = ∀ t ∈ ( 0 , T ] , n = 0 , 1 , …

holds, then f 1 (t)= f 2 (t), ∀t∈[0,T].

Note that 〈 Ï• n (x), ξ 1 (x,t)− ξ 2 (x,t)〉=0 for all Ï• n (x) implies that ξ 1 (x,Ï„)= ξ 2 (x,Ï„). Hence, by Lemma 1, we conclude that f 1 (t)= f 2 (t), ∀t∈[0,T]. Moreover, this leads to the important conclusion that the input-output mapping Φ[p] is distinguishable [5], i.e.,

p 1 (t)≠ p 2 (t),Φ[ p 1 ]≠Φ[ p 2 ].

Theorem 1 Let conditions (C1), (C2) hold. Assume that Φ[⋅]:P→ 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 Φ[p] has the distinguishability property in the class of admissible parameters P q , i.e.,

Φ[ p 1 ]≠Φ[ p 2 ],∀ p 1 , p 2 ∈ P q , p 1 (t)≠ p 2 (t).

3 Conclusion

The aim of this study was to analyze the distinguishability properties of the input-output mapping Φ[⋅]:P→ 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

    Article  MathSciNet  Google Scholar 

  2. Isakov V: On uniqueness in inverse problems for quasilinear parabolic equations. Arch. Ration. Mech. Anal. 1993, 124: 1-13. 10.1007/BF00392201

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  4. Renardy M, Rogers R: An Introduction to Partial Differential Equations. Springer, New York; 2004.

    Google Scholar 

  5. Ashyralyev A, San ME: An approximation of semigroup method for stochastic parabolic equations. Abstr. Appl. Anal. 2012., 2012: Article ID 684248

    Google Scholar 

  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

    Google Scholar 

  7. Erdogan A, Uygun H: A note on the inverse problem for a fractional parabolic equation. Abstr. Appl. Anal. 2012., 2012: Article ID 276080

    Google Scholar 

  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.

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  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

    Google Scholar 

  19. Cannon JR: The One-Dimensional Heat Equation. Addison-Wesley, Reading; 1984.

    Book  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  21. Showalter R: Monotone Operators in Banach Spaces and Nonlinear Partial Differential Equations. Am. Math. Soc., Providence; 1997.

    Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  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

    Article  MathSciNet  Google Scholar 

  24. DuChateau P, Gottlieb J: Introduction to Inverse Problems in Partial Differential Equations for Engineers, Physicists and Mathematicians. Kluwer Academic, Dordrecht; 1996.

    Google Scholar 

Download references

Acknowledgements

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

Authors

Corresponding author

Correspondence to Ebru Ozbilge.

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.

Reprints and permissions

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

Download citation

  • Received:

  • Accepted:

  • Published:

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

Keywords