An Inverse Coefficient Problem for a Parabolic Equation under Nonlocal Boundary and Integral Overdet...

Oussaeif Taki-Eddine, Bouziani Abdelfatah

  Open Access OPEN ACCESS  Peer Reviewed PEER-REVIEWED

An Inverse Coefficient Problem for a Parabolic Equation under Nonlocal Boundary and Integral Overdetermination Conditions

Oussaeif Taki-Eddine1,, Bouziani Abdelfatah1

1Department of Mathematics and Informatics, the Larbi Ben M.hidi University, Oum El Bouaghi

Abstract

This paper investigates the inverse problem of simultaneously determining the time-dependent thermal diffusivity and the temperature distribution in a parabolic equation in the case of nonlocal boundary conditions containing a real parameter and integral overdetermination conditions. Under some consistency conditions on the input data the existence, uniqueness and continuously dependence upon the data of the classical solution are shown by using the generalized Fourier method.

Cite this article:

  • Taki-Eddine, Oussaeif, and Bouziani Abdelfatah. "An Inverse Coefficient Problem for a Parabolic Equation under Nonlocal Boundary and Integral Overdetermination Conditions." International Journal of Partial Differential Equations and Applications 2.3 (2014): 38-43.
  • Taki-Eddine, O. , & Abdelfatah, B. (2014). An Inverse Coefficient Problem for a Parabolic Equation under Nonlocal Boundary and Integral Overdetermination Conditions. International Journal of Partial Differential Equations and Applications, 2(3), 38-43.
  • Taki-Eddine, Oussaeif, and Bouziani Abdelfatah. "An Inverse Coefficient Problem for a Parabolic Equation under Nonlocal Boundary and Integral Overdetermination Conditions." International Journal of Partial Differential Equations and Applications 2, no. 3 (2014): 38-43.

Import into BibTeX Import into EndNote Import into RefMan Import into RefWorks

1. Introduction

Suppose that one needs to determine simultaneously the temperature distributionu as well as thermal diffusivity coefficient satisfying the heat equation

(1.1)

with initial conditon

(1.2)

the boundary conditions

(1.3)

and the energy condition

(1.4)

Where the parameter in an arbitrary real number and , , are given functions. The nonlocal second boundary condition in (1.3) is the main specific feature of this problem; for it acquires the form

(1.5)

and was comprehensively studied in [1], are well-known as the Samarskii-Ionkin conditions, whilst (1.4) speci.es an integral additional specification of the energy. The problem of finding a pair will be called an inverse problem.

Denote the domain by

Definition 1. The pair from the class for which conditions (1.1)-(1.4) are satisfied and on the interval is called the classical solution of the inverse problem (1.1)-(1.4):

Nonlocal boundary conditions like (1:4) arise from many important applications in heat transfer, thermoelasticity, contro theory, life sciences and plays an important role in engineering and physics [8-17][8]. For example, for heat propagation in a thin rod in which the law of variation E(t) of the total quantit of heat in the rod is given in [1]. Various statements of inverse problems on determination of thermal coefficient in onedimensional heat equation were studied in [15, 16, 17]. It is important to note that in the papers [15, 16] the time-dependent thermal coefficient is determined from nonlocal overdetermination condition data. Besides, in [12, 15] the coefficients of the heat equations are determined in the case of nonlocal boundary conditions.

In this paper the source control parameter a(t) needs to be determined by thermal energy E(t), and the existence and uniqueness of the classical solution of the problem (1.1) - (1.4) is reduced to fixed point principles by applying the Fourier method. The boundary conditions (1.3) admit the expansions by the system of eigenfunctions and associated functions corresponding to the spectral problem.

The paper is organized as follows. In Section 2, the eigenvalues and eigenfunctions of the auxiliary spectral problem and some of their properties are introduced by applying the Fourier method to the problem (1.1) - (1.4). In Section 3, the existence and uniqueness of the solution of the inverse problem (1.1) - (1.4) is proved. Finally, the continuous dependence upon the data of the solution of the inverse problem is shown in Section 4.

2. The Auxiliary Spectral Problem

The use of the Fourier method for solving problem (1.1)-(1.3) leads to the spectral problem for the operatorlgiven by the differential expression and boundary conditions

(2.1)

The boundary conditions in (2.1) are regular, but not strongly regular ([2]; pp: 66-67). The system of root functions of the operatorl is complete, but it does not form even a regular basis in [3]. However, as it was shown in [4], on the base of these eigenfunctions one can construct a basis allowing one to use the method of separation of variables for solving the initial-boundary value problem subject to the boundary condition (1.3).

In recent times a special attention has been paid to the study of direct and inverse problems for various classes of partial differential equations in particular cases of boundary conditions which are not strongly regular. Let us cite only those of them that are most close to the subject under consideration [5, 6, 7].

In this paper we propose to use the results described in [4] for solving the inverse problem (1.1)-(1.4). So, for construction of the basis of eigenfunctions of problem (2.1), we cite the necessary results from [4].

Consider the case in which We seek eigenvalues in the set of real numbers. Note that is not an eigenvalue, since problem (2.1) for this value of has only the trivial solution. Suppose that Then the eigenfunction should have the form By taking into account the nonlocal boundary condition, we obtain two equations

Solutions of the first equation form a series of eigenvalues and eigenfunctions of the operator (1.4) of the form

(2.2)

The second equation can be represented as

with this equation has countably many solutions satisfying the inequalities for positive :

for sufficiently large So, that there exists a second series of eigenvalues and eigenfunctions of the form

(2.3)
(2.4)

Form a Riesz basis in and to find the biorthogonal system of consider the adjoint differential operator of in the sense of the inner product of the space

So, for two arbitrary twice continuously differentiable function and on such that we have

this implies

(2.5)

we obtain by using we have since is arbitrary, we get Now by using (2.5) and we obtain

(2.6)

It is easy to verify that the eigenvalues of this problem are same as for the problem (2.1). The system of eigenfunctions and associated functions of the problem (2.5) is denoted by

where

For the function system (2.4), there exists a biorthogonal normalized system, given by

(2.7)

It is shown in [4] that the systems (2.4) and (2.7) form biorthogonal systems on the interval , i.e.

3. Existence and Uniqueness of the Solution of the Inverse Problem

We have the following assumptions on the data of the problem (1.1) - (1.4):

where

The main result is presented as follows.

Theorem 1. Let the assumptions (A1)-(A3) be satisfied. Then the inverse problem (1)- (4) has a unique classical solution

Proof. By applying the standard procedure of the Fourier method, Any solution of equation (1.1) can represented as:

(3.1)

So, by replacing in equation (1.1) by the representation (3.1), we get

(3.2)

multiplying the equation (3:2) by and integrating over we get the following system of equations:

Substituting the solution of this system of equations and initial condition (1.2) in (3.1), we obtain the solution of the problem (1.1) - (1.3) in the following form:

(3.3)

Under the conditions and the series (3.3) and its x-partial derivative are uniformly convergent in since their majorizing sums are absolutely convergent. Therefore, their sums and are continuous in In addition, the t-partial derivative and the xx-second-order partial derivative series are uniformly convergent in Thus, we have In addition, is continuous in Differentiating (1.4) under the assumption we obtain

(3.4)

using (3.3) and (3.4), yield

(3.5)

where

(3.6)

Let us denote

It is easy to verify that under conditions and

Let us show that is a contraction mapping in Then, we have for

(3.7)

where

Since the estimates

are true by using the mean value theorem, where From the last inequalities, we obtain

(3.8)

and

(3.9)

Substituting (3.8), (3.9) and the above estimates in (3.7), we get

(3.10)

where

In the case Equation (3.10) has a unique solution by the Banach fixed point theorem.

Now, let us show that the solution obtained for (1)-(4), is unique. Suppose that is also a solution pair of (1:1)-(1:4). Then from the representation (3.3) of the solution, we have:

(3.11)

From the equation (3.5), and (3.10), we obtain

since implies that By substituting into (3.11), we get

Theorem 1 has been proved.

4. Continuous Dependence of (a,u) upon the Data

Theorem 2. Under assumption (A1) - (A3); the solution depends continuously upon the data.

Proof. Let and be two sets of the data, which satisfy the assumptions (A1) - (A3): Then there exist positive constants such that

(4.1)
(4.2)

Let and be solutions of the inverse problem (1.1)-(1.4) corresponding to the data and respectively. According to (3.5), we have

First, let us estimate the difference It is easy to see that by using (4.1) and (4.2), then

by using the previous inequality, we obtain

this implies

where

From (3.3), a similar estimate is also obtained for the difference as

5. Conclusion

The inverse problem regarding the simultaneously identification of the timedependent thermal diffusivity and the temperature distribution in one-dimensional heat equation with nonlocal boundary condition and integral overdetermination conditions has been considered. Where the nonlocal boundary conditions containing a real parameter. For the zero value of the parameter, this conditions is well known as the Samarskii-Ionkin conditions and has been comprehensively studiedand. This inverse problem has been investigated from both theoretical. In this study the conditions for the existence, uniqueness and continuous dependence upon the data of the problem have been established.

References

[1]  N.I. Ionkin, Solution of a boundary-value problem in heat conduction with a non-classical boundary condition, Differential Equations 13 (1977) 204-211.
In article      
 
[2]  M. A. Naimark, Linear Differential Operators (Nauka, Moscow, 1989) [in Russian].
In article      
 
[3]  P. Lang and J. Locker, .Spectral Theory of Two-Point Differential Operators Determined by-D2. II. Analysis of Cases, .J. Math. Anal. Appl. 146(1), 148-191 (1990).
In article      CrossRef
 
[4]  A. Yu. Mokin, .On a Family of Initial-Boundary-Value Problems for the Heat Equation, Differents. Uravneniya 45(1), 123-137 (2009).
In article      
 
[5]  O. G. Sidorenko,.An Essentially Nonlocal Problem for a Mixed-Type Equations in a Semiband,.Izv. Vyssh. Uchebn. Zaved. Mat., No. 3, 60.64 (2007) [Russian Mathematics (Iz. VUZ) 51(3), 55-59 (2007)].
In article      
 
[6]  Yu.K.Sabitova,.Nonlocal Initial-Boundary-Value Problems for a Degenerate Hyperbolic Equation,. Izv. Vyssh. Uchebn. Zaved. Mat., No. 12, 49.58 (2009) [Russian Mathematics (Iz. VUZ) 53(12), 41-49 (2009)].
In article      
 
[7]  K. B. Sabitov and E. M. Sa.n,. The Inverse Problem for a Mixed-Type Parabolic-Hyperbolic Equation in a RectangularDomain,. Izv. Vyssh. Uchebn. Zaved. Mat., No. 4, 55-62 (2010) [Russian Mathematics (Iz. VUZ) 54(4), 48-54 (2010)].
In article      
 
[8]  A. Bouziani, On the weak solution of a three-point boundary value problem for a class of parabolic equations with energy specification, Abdelfatah Bouziani Abstract and Applied Analysis Volume 2003 (2003), Issue 10, Pages 573-589.
In article      
 
[9]  A. Bouziani, Mixed problem with integral conditions for a certain parabolic equation, J. of Appl. Math. and Stoch. Anal. 9 (1996), 323-330.
In article      CrossRef
 
[10]  A. Bouziani, On the solvability of a class of singular parabolic equations with nonlocal boundary conditions in nonclassical function spaces, Abdelfatah Bouziani International Journal of Mathematics and Mathematical Sciences Volume 30 (2002), Issue 7, Pages 435-447.
In article      
 
[11]  A. Bouziani and N.E. Benouar, Problème mixte avec conditions intÈgrales pour une classe díÈquations paraboliques, Comptes Rendus de líAcadÈmie des Sciences, Paris t.321, SÈrie I, (1995), 1177-1182
In article      
 
[12]  J.R. Cannon, Y. Lin, and S. Wang, Determination of a control parameter in a parabolic partial differential equation, J. Austral. Math. Soc. Ser. B. 33 (1991), pp. 149-163.
In article      CrossRef
 
[13]  J.R. Cannon, Y. Lin, and S. Wang, Determination of source parameter in a parabolic equations, Meccanica 27(2) (1992), pp. 85-94.
In article      CrossRef
 
[14]  A.G. Fatullayev, N. Gasilov, and I. Yusubov, Simultaneous determination of unknown coef.cients in a parabolic equation, Appl. Anal. 87(10-11) (2008), pp. 1167-1177.
In article      CrossRef
 
[15]  M.I. Ivanchov, Inverse problems for the heat-conduction equation with nonlocal boundary condition, Ukrain. Math. J. 45(8) (1993), pp. 1186-1192.
In article      CrossRef
 
[16]  M.I. Ivanchov and N.V. Pabyrivska, Simultaneous determination of two coefficients of a parabolic equation in the case of nonlocal and integral conditions, Ukrain. Math. J. 53(5) (2001), pp. 674-684.
In article      CrossRef
 
[17]  W. Liao, M. Dehghan, and A. Mohebbi, Direct numerical method for an inverse problem of a parabolic partial differential equation, J. Comput. Appl. Math. 232 (2009), pp. 351-360.
In article      CrossRef
 
  • CiteULikeCiteULike
  • MendeleyMendeley
  • StumbleUponStumbleUpon
  • Add to DeliciousDelicious
  • FacebookFacebook
  • TwitterTwitter
  • LinkedInLinkedIn