Journal of Applied Mathematics and Stochastic Analysis, 15:2 (2002), 125-140. ON A CLASS OF NONCLASSICAL HYPERBOLIC EQUATIONS WITH NONLOCAL CONDITIONS ABDELFATAH BOUZIANI Centre Universitaire d'Oum El Baouagui ´ ´ Departement de Mathematiques ´ B.P. 565, Oum El Baouagui 04000, Algerie (Received January, 1998; Revised September, 2000) This paper proves the existence, uniqueness and continuous dependence of a solution of a class of nonclassical hyperbolic equations with nonlocal boundary and initial conditions. Results are obtained by using a functional analysis method based on an a priori estimate and on the density of the range of the linear operator corresponding to the abstract formulation of the considered problem. Key words: Nonclassical Hyperbolic Equations, Nonlocal Boundary Conditions, A Priori Estimate, Strong Solutions. AMS subject classifications: 35L15, 35L20, 35L99, 35B45, 35D05. 1. Introduction In this article, we prove the existence, uniqueness and continuous dependence on a solution of a class of nonclassical hyperbolic partial differential equations with nonlocal boundary and initial conditions. Results are obtained by using a functional analysis method based on an a priori estimate and on the density of the range of the operator corresponding to the abstract formulation of the considered problem. The precise statement of the problem is of the form: Let , !, X: ! Ð: œ "ß #Ñ and UÀ œ ÖÐBß >" ß ># Ñ − ‘$ À ! B , , ! >" X" , ! ># X# ×. Find a function ÐBß >" ß ># Ñ Ä @ÐBß >" ß ># Ñ, where ÐBß >" ß ># Ñ − U , satisfying the equation _@À œ `#@ `>" `># ` ˆ `@ ‰ `B +ÐBß >" ß ># Ñ `B œ fÐBß >" ß ># Ñß Ð"Þ"Ñ the initial conditions j" @À œ @ÐBß !ß ># Ñ œ FÐBß ># Ñß ÐBß ># Ñ − Ð!ß ,Ñ ‚ Ð!ß X# Ñß j# @À œ @ÐBß >" ß !Ñ œ GÐBß >" Ñ, ÐBß >" Ñ − Ð!ß ,Ñ ‚ Ð!ß X" Ñ, Ð"Þ#Ñ the integral condition ' @ÐBß >" ß ># Ñ.B œ IÐ>" ß ># Ñ , Ð>" ß ># Ñ − Ð!ß X" Ñ ‚ Ð!ß X#Ñß Ð"Þ$Ñ ! and one of the following boundary conditions: `@Ð!ß>" ß># Ñ `B œ .Ð>" ß ># Ñ, Ð># ß ># Ñ − Ð!ß X" Ñ ‚ Ð!ß X# Ñß Printed in the U.S.A. ©2002 by North Atlantic Science Publishing Company Ð"Þ%+Ñ 125 126 ABDELFATAH BOUZIANI ' B@ÐBß >" ß ># Ñ.B œ ;Ð>" ß ># Ñ, , Ð>" ß ># Ñ − Ð!ß X" Ñ ‚ Ð!ß X# Ñß Ð"Þ%,Ñ ! where +ß 0 ß Fß Gß Iß . and ; are given functions. Mixed problems with integral conditions for parabolic equations are studied by different method in Batten [1], Cannon [14], Kamynin [22], Ionkin [19], Cannon and van der Hoek [17, 18], Yurchuk [25], Benouar and Yurchuk [2], Cahlon, Kulkarni, and Shi [15], Cannon, Esteva, and van der Hoek [16], Byszewski [11], Lin [23], Shi [24], Bouziani [3-5], BouzianiBenouar [7], Jones, Jumarhon, McKee, and Scott [19], and Jumarhon and McKee [20]. A mixed problem with integral condition for a second order pluriparabolic equation has been investigated by Bouziani [6]. Nonlocal nonlinear hyperbolic problems were studied by Byszewski [9-11], by Byszewski and Lakshmikantham [12], and by Byszewski and Papageorgiou [13]. A mixed problem with integral conditions for a second order classical hyperbolic equation has been treated under growth conditions in Bouziani and Benouar [8]. The results of the paper are generalizations of those given in [8-12]. These findings are also continuations of those obtained by the author in [8]. The paper is organized as follows. In Section 2, we state three assumptions on the functions involved in problem (1.1)-(1.4) and we reduce the posed problem to one with homogeneous boundary conditions. In addition, we present an abstract formulation of the considered problem and we define the strong solution of the problem. In Section 3, the uniqueness and continuous dependence of the solution are established. Finally, in Section 4 we prove the existence of the strong solution and offer remarks on its generalizations. 2. Preliminaries First, we begin with the following assumptions on function +: Assumption A1: -! Ÿ + Ÿ -" ; `+ `B `+ Ÿ -# à `> Ÿ -$ Ð: œ "ß #Ñ in U Þ : Assumption A2: -% Ÿ `+ `>: ß -& Ÿ `#+ `>#: Ÿ -' , `#+ `>: `B Ÿ -( Ð: œ "ß #Ñ; $ `$+ , `+ `>" `>## `># `>#" `#+ `#+ `># `>" ß `>" `># Ÿ -) ; Ÿ -* in U Þ In Assumptions A1-A2, we assume that -3 Ð3 œ !ß á ß *Ñ are positive constants. We also, assume that the functions F and G satisfy the following: Assumption A3: Functions F and G satisfy the compatibility conditions: ' FÐBß ># Ñ.B œ IÐ!ß ># Ñß , ! ` FÐ!ß># Ñ `B œ .Ð!ß ># Ñß ' GÐBß >" Ñ.B œ IÐ>" ß !Ñß , ! ` GÐ!ß>" Ñ `B œ .Ð>" ß !Ñ – ' BFÐBß ># Ñ.B œ ;Ð!ß ># Ñß ' BGÐBß >" Ñ.B œ ;Ð>" ß !Ñ, respectively—ß , ! , ! Class of Nonclassical Hyperbolic Equations 127 and FÐBß !Ñ œ GÐBß !Ñ where B − Ð!ß ,Ñß >: − Ò!ß X: ÓÐ: œ "ß #Ñ. Let us reduce problem (1.1)-(1.3) and (1.4+Ñ [respectively (1.4,Ñ] with nonhomogeneous boundary conditions (1.3), (1.4+Ñ [respectively (1.4,Ñ] to an equivalent problem with homogeneous conditions by assuming that we are able to find a function ? œ ?ÐBß >" ß ># Ñ defined as follows: ?ÐBß >" ß ># Ñ œ @ÐBß >" ß ># Ñ Y ÐBß >" ß ># Ñß where Y ÐBß >" ß ># ÑÀ œ B #, Ð#, $BÑ.Ð>" ß ># Ñ Y ÐBß >" ß ># ÑÀ œ ", Ð "),B# "#, # B "ÑIÐ>" ß ># Ñ $B# ,$ IÐ>" ß ># Ñ "# # , Ð$B #,BÑ;Ð>"ß >#Ñß respectively‘Þ Consequently, we have to find a function ÐBß >" ß ># Ñ Ä ?ÐBß >" ß ># Ñ, which is a solution of the problem _? œ fÐBß >" ß ># Ñ _Y œ 0 ß Ð#Þ"Ñ j" ? œ ?ÐBß !ß ># Ñ œ FÐBß ># Ñ j" Y œ :ÐBß ># Ñß Ð#Þ#Ñ j# ? œ ?ÐBß >" ß !Ñ œ GÐBß >" Ñ j# Y œ <ÐBß >" Ñß ' ?ÐBß >" ß ># Ñ.B œ !ß , Ð#Þ$Ñ ! `?Ð!ß>" ß># Ñ `B œ! – ' B?ÐBß >" ß ># Ñ.B œ !, respectively—Þ Ð#Þ%+Ñ , Ð#Þ%,Ñ ! We assume that the functions : and < satisfy conditions of the form (2.3), (2.4+) [respectively (2.4,Ñ], i.e.: Assumption A3w À ' :ÐBß !Ñ.B œ !, ` :Ð!ß># Ñ `B œ ! – ' B:ÐBß !Ñ.B œ !, respectively—ß ' <ÐBß !Ñ.B œ !, ` <Ð!ß>" Ñ `B œ ! – ' B<ÐBß !Ñ.B œ !, respectively— , ! , ! , ! , ! and :ÐBß !Ñ œ <ÐBß !ÑÞ In order to write down an abstract formulation of the problem we will need suitable function spaces. Let F#" Ð!ß ,Ñ be a Hilbert space defined by the author in general form in [3]. 128 ABDELFATAH BOUZIANI Here, we reformulate the author's definition. For this purpose, let G! Ð!ß ,Ñ be the vector space of continuous functions with compact support in Ð!ß ,Ñ. Since such functions are Lebesgue integrable with respect to .B, we can define on G! Ð!ß ,Ñ the bilinear form ÐÐ † ß † ÑÑ given by ÐÐ?ß =ÑÑÀ œ ' gB ? † gB =.Bß , Ð#Þ&Ñ ! where gB ?À œ ' ?Ð0 ß >Ñ. 0 Þ B ! We recall that ÐÐ † ß † ÑÑ is a scalar product on G! Ð!ß ,Ñ for which G! Ð!ß ,Ñ is not complete. We denote by F#" Ð!ß ,Ñ a completion of G! Ð!ß ,Ñ for a scalar product defined by (2.5). The norm of function ? in F#" Ð!ß ,Ñ is defined by ² ? ² F#" Ð!ß,Ñ œ ÐÐ?ß ?ÑÑ"Î# œ ² gB ? ² P# Ð!ß,Ñ Þ Lemma 1: For B − Ð!ß ,Ñ, we have ² ? ² #F " Ð!ß,Ñ Ÿ # ,# # ² ? ² #P# Ð!ß,Ñ Þ Proof: See Corollary 1 for 7 œ " in Bouziani [3]. The spaces P# ÐÐ!ß X: Ñß P# Ð!ß ,ÑÑß P# ÐÐ!ß X: Ñß F#" Ð!ß ,ÑÑ, L " ÐÐ!ß X: Ñß P#Ð!ß ,ÑÑ, " L ÐÐ!ß X: Ñ, F#" Ð!ß ,ÑÑ Ð: œ "ß #Ñ, P# ÐÐ!ß X" Ñ ‚ Ð!ß X# Ñß F#" Ð!ß ,ÑÑ are defined as usual. To problems (2.1)-(2.3), (2.4+Ñ [Ð#Þ%,Ñ, respectively] we assign the operator P œ Ð_ß j" ß j# Ñ with the domain HÐPÑ consisting of functions ? belonging to P# ÐÐ!ß X" Ñ ‚ # `? `? ` # ? Ð!ß X# Ñß F#" Ð!ß ,ÑÑ satisfying the condition `> ß , ß `? ß ` ?# − P# ÐÐ!ß X" Ñ ‚ " `># `>" `># `B `B Ð!ß X# Ñß F#" Ð!ß ,ÑÑ and conditions (2.3), (2.4+Ñ ÒÐ#Þ%,Ñ, respectively]. The operator P is considered from F to J , where F is the Banach space consisting of functions ? − P# ÐÐ!ß X" Ñ ‚ Ð!ß X# Ñß F#" Ð!ß ,ÑÑ having finite norms ² ? ² FÀ œ ² ?Ð † ß † ß 7# Ñ ² #L " ÐÐ!ßX" ÑßF " Ð!ß,ÑÑ sup # ! Ÿ 7# Ÿ X# " # sup ² ?Ð † ß 7" ß † Ñ ² #L " ÐÐ!ßX# ÑßF " Ð!ß,ÑÑ # ! Ÿ 7" Ÿ X" and satisfying conditions (2.3), (2.4+Ñ [(2.4,), respectively], and J is a Hilbert space of vector-valued functions Ð0 ß :ß <Ñ with the finite norms ² Ð0 ß :ß <Ñ ² J À œ Š ² 0 ² #P# ÐÐ!ßX" Ñ‚Ð!ßX# ÑßF " Ð!ß,ÑÑ ² : ² #L " ÐÐ!ßX# ÑßP# Ð!ß,ÑÑ # ² G ² #L " ÐÐ!ßX" ÑßP# Ð!ß,ÑÑ ‹ Þ " # Class of Nonclassical Hyperbolic Equations 129 Finally, we give a definition of a strong solution. Let P be the closure of the operator P with the domain HÐP Ñ. Definition: A solution of the operator equation P ? œ Ð0 ß :ß <Ñ is called a strong solution of problem (2.1)-(2.3), (2.4+Ñ [(2.4,), respectively]. 3. Uniqueness and Continuous Dependence of the Solution In this section we will prove an a priori estimate. The uniqueness and continuous dependence of the solution upon the data presented here are direct consequences of the a priori estimate. Theorem 1: Under Assumption A", the solution of problem Ð#Þ"Ñ-Ð#Þ$Ñ, Ð#Þ%+Ñ Òrespectively, Ð#Þ%,ÑÓ satisfies the following a priori estimate: ² ? ² F Ÿ - ² P? ² J ß Ð$Þ"Ñ where - ! is a constant independent of ?. Proof: Taking the scalar product, in F#" Ð!ß ,Ñ, of equation (2.1) and Q ?À œ `? #Š `> " `? `># ‹, we obtain `? ½ `> ½ " ` `># # F#" Ð!ß,Ñ ` `>" `? ½ `> ½ # F#" Ð!ß,Ñ ' +ÐBß >" ß ># Ñ `>`# ?# .B #' , ! ' +ÐBß >" ß ># Ñ `>`" ?# .B , # , ! ! `+ÐBß>" ß># Ñ ? gB `B `? œ # Š_?ß `> " Š `>`" `? `># ‹.B Ð$Þ#Ñ `? `># ‹F " Ð!ß,Ñ Þ # Integrating (3.2) over Ð!ß 7" Ñ ‚ Ð!ß 7# Ñ, where ! 7" Ÿ X" and ! 7# Ÿ X# , we have ' ½ `?ÐBß>" ß7# Ñ ½ `>" 7" ! F#" Ð!ß,Ñ 7" ß># Ñ ' ½ `?ÐBß ½ `># 7# ! .>" ' ' +ÐBß >" ß 7# ÑÐ?ÐBß >" ß 7# ÑÑ# .B.>" ! ! ! .># ' ' +ÐBß 7" ß ># ÑÐ?ÐBß 7" ß ># ÑÑ# .B.># , # F#" Ð!ß,Ñ `? œ #' ' Š0 ß `> " 7" 7" , # 7# ! 7# ! ! `? `># ‹F " Ð!ß,Ñ .>" ># # ÐBß>" Ñ ' ½ ` <`> ½ " 7" ! ÐBß># Ñ ' ' +ÐBß >" ß !ÑÐ<ÐBß >" ÑÑ# .B.>" ' ½ ` :`> ½ # , 7" 7# ! ! ! ' ' +ÐBß !ß ># ÑÐ:ÐBß ># ÑÑ# .B.># , ! ! 7# # F#" Ð!ß,Ñ # F#" Ð!ß,Ñ .>" .># Ð$Þ$Ñ 130 ABDELFATAH BOUZIANI " ß># Ñ ' ' ' ’ `+ÐBß> `>" , 7" ! ! 7# ! #' ' ' , 7" 7# ! ! ! `+ÐBß>" ß># Ñ “?# .B.>" .># `># `+ÐBß>" ß># Ñ `? ?gB Š `> `B " `? `># ‹.B.>" .># Þ Observe that `? #' ' Š0 ß `> " 7" ! 7# ! ' ' 7" 7# ! ! `? `># ‹F " Ð!ß,Ñ .>" .># # # `? .>" .># ½ `> ½ " F " Ð!ß,Ñ # Ÿ #' ' 7" 7 # ! ! ' ' 7" 7 # ! ! ² 0 ² #F " Ð!ß,Ñ .>" .># # # `? .># .># Þ ½ `> ½ # F " Ð!ß,Ñ Ð$Þ%Ñ # It is easy to see that #' ' ' , 7" ! ! 7# ! `+ÐBß>" ß># Ñ `? ?gB Š `> `B " `? `># ‹.B.>" .># Ð$Þ&Ñ " ß># Ñ Ÿ #' ' ' Š `+ÐBß> ‹ ?# .B.>" .># `B , 7" 7# ! ! ' ' 7" 7# ! ! # ! `? ”½ `>" ½ # F#" Ð!ß,Ñ `? ½ `> ½ # # F#" Ð!ß,Ñ •.>" .># Þ From (3.3)-(3.5) and from Assumption A1, we get ' 7" ! ' ” ² ?ÐBß >" ß 7# Ñ ² P# Ð!ß,Ñ ½ # 7# ! ' ' 7" 7# Ÿ -"! ! ! # `?ÐBß>" ß7# Ñ ½ " •.>" `>" F Ð!ß,Ñ ” ² ?ÐBß 7" ß ># Ñ ² P# Ð!ß,Ñ ½ # # # `?ÐBß7" ß># Ñ ½ " •.># `># F Ð!ß,Ñ `< ² 0 ² #F " Ð!ß,Ñ .>" .># ' ” ² < ² #P# Ð!ß,Ñ ½ `> ½ " # 7" ! `: ' ” ² : ² #P# Ð!ß,Ñ ½ `> ½ # 7# ! ' ' 7" 7# -"" # ! ! ” ² ? ² P# Ð!ß,Ñ ½ `>" ½ `? # F#" Ð!ß,Ñ # F#" Ð!ß,Ñ where -"! œ # maxÐ%ß-" Ñ minÐ-! ß"Ñ # F#" Ð!ß,Ñ •.>" Ð$Þ'Ñ •.># `? ½ `> ½ # # F#" Ð!ß,Ñ •.>" .># ß Class of Nonclassical Hyperbolic Equations 131 and -"" œ maxÐ#-# ß"Ñ minÐ-! ß"Ñ Þ To finish the proof of Theorem 1, we will need the following result: Lemma 2: If 0" and 0# are nonnegative functions on the rectangle Ð!ß X" Ñ ‚ Ð!ß X# Ñ, 0" is integrable on Ð!ß X" Ñ ‚ Ð!ß X# Ñ, and 0# is nondecreasing in Ð!ß X" Ñ ‚ Ð!ß X# Ñ with respect to each of its variables separately, then 0" Ð7" ß 7# Ñ Ÿ expÐ#-Ð7" 7# ÑÑ0# Ð7" ß 7# Ñ is a consequence of the inequality ' 0" Ð>" ß 7# Ñ.>" ' 0" Ð7" ß ># Ñ.># 7" 0 " Ð 7" ß 7# Ñ Ÿ - 7# ! 0# Ð7" ß 7# ÑÞ ! The proof of the above lemma is analogous to the proof of Lemma 1 in Bouziani [6]. Continuing the proof of Theorem 1, we apply Lemma 2 to (3.6). For this purpose, we denote the left-hand side of (3.6) by 0" Ð7" ß 7# Ñ, and the sum of three first integrals on the right-hand side of (3.6) by 0# Ð7" ß 7# Ñ. This procedure eliminates the last integral of the righthand side of (3.6) and yields: ' 7" ! ” ² ?ÐBß >" ß 7# Ñ ² P# Ð!ß,Ñ ½ # # `?ÐBß>" ß7# Ñ ½ " •.>" `>" F Ð!ß,Ñ # 7" ß># Ñ ' ” ² ?ÐBß 7" ß ># Ñ ² #P# Ð!ß,Ñ ½ `?ÐBß ½ `># 7# ! ' ' 7" 7# Ÿ -"" expÐ#-"! Ð7" 7# ÑÑ ! ' 7" ! ' 7# ! ! `< ” ² : ² P# Ð!ß,Ñ ½ `># ½ # `: F#" Ð!ß,Ñ •.># Ð$Þ(Ñ ² 0 ² #F " Ð!ß,Ñ .>" .># # ” ² < ² P# Ð!ß,Ñ ½ `>" ½ # # # F#" Ð!ß,Ñ # F#" Ð!ß,Ñ •.>" •.># Þ According to Lemma 1, we bound below the first and the third terms on the left-hand side of (3.7) and we bound above the third and the fifth terms on the right-hand side of (3.7). Consequently, we obtain # ² ?ÐBß >" ß 7# Ñ ² #L " ÐÐ!ßX" ÑßF " Ð!ß,ÑÑ ² ?ÐBß 7" ß ># Ñ ² L " ÐÐ!ßX ÑßF " Ð!ß,ÑÑ # # Ÿ -"# Š ² 0 ² # Ð$Þ)Ñ # P# ÐÐ!ßX" Ñ‚Ð!ßX# ÑßF#" Ð!ß,ÑÑ ²<² ² : ² #L " ÐÐ!ßX# ÑßP# Ð!ß,ÑÑ ‹, # L " ÐÐ!ßX" ÑßP# Ð!ß,ÑÑ 132 ABDELFATAH BOUZIANI where -"" expÐ#-"! ÐX" X# ÑÑmaxŠ"ß ,# ‹ # -"# œ minŠ"ß ,## ‹ Þ Since the right-hand side of inequality (3.8) does not depend on 7" and 7# , then, in the lefthand side of (3.8) we can take the supremum with respect to 7: from ! to X: Ð: œ "ß #Ñ. "Î# Therefore, we obtain (3.1) with - œ -"# . The proof of Theorem 1 is complete. Proposition 1: The operator P from F to J has a closure. The proof of the above proposition is similar to the proof of Proposition 1 in Bouziani [4]. Theorem 1 can be extended to cover strong solutions by passing to the limit. Corollary 1: Under the assumptions of Theorem ", there exists a positive constant - such that ² ? ² F Ÿ - ² P ? ² Jß where - does not depend on ?. Corollary 1 implies the following: Corollary 2: A strong solution of Ð#Þ"Ñ-Ð#Þ$Ñ, Ð#Þ%+Ñ Òrespectively, Ð#Þ%,ÑÓ is unique, if it exists, and it depends continuously on Ð0 ß :ß <Ñ. Corollary 3: The range VÐP Ñ of solutions for the closure P of P is closed in J , " VÐP Ñ œ VÐPÑ and P œ P" , where P" is the unique extension of P" Ðby continuity from VÐPÑ to VÐPÑÑ. 4. Existence of the Solution In this section we concentrate on the existence of the strong solution of problem (2.1)-(2.3), Ð#Þ%+Ñ [respectively, Ð#Þ%,ÑÓ. The main idea is to demonstrate that the range VÐPÑ is dense in J. Theorem 2: Suppose that Assumptions A" and A# are satisfied. Then, for arbitrary 0 − P# ÐÐ!ß X" Ñ ‚ Ð!ß X# Ñß F#" Ð!ß ,ÑÑß : − L " ÐÐ!ß X# Ñß P# Ð!ß ,ÑÑ and < − L "ÐÐ!ß X"Ñ, P# Ð!ß ,ÑÑ, problem Ð#Þ"Ñ-Ð#Þ$Ñ, Ð#Þ%+Ñ Òrespectively, Ð#Þ%,ÑÓ admits a strong solution " ? œ P Ð0 ß :ß <Ñ œ P" Ð0 ß :ß <Ñ. Proof: To prove the existence of a strong solution of problem (2.1)-(2.3), (2.4+Ñ [respectively Ð#Þ%,Ñ] for all Ð0 ß :ß <Ñ − J , it remains to prove that VÐPÑ œ J . To this end, we establish the density in the special case, where ? belongs to H! ÐPÑ, which is equal to the set of all ? − HÐPÑ vanishing in a neighborhood of >" œ ! and ># œ !. Then we proceed to the general case. Proposition 2: Let the assumptions of Theorem # be satisfied. If for 1 − P# ÐÐ!ß X" Ñ ‚ Ð!ß X# Ñà F#" Ð!ß ,ÑÑ and for all ? − H! ÐPÑ, we have ' ' ÐÐ_?ß 1ÑÑ.>" .># œ ! a? − H! ÐPÑÞ X" ! X# Ð%Þ"Ñ ! Then 1 vanishes almost everywhere in U. Proof of Proposition 2: By the fact that relation (4.1) holds for any function ? − H! ÐPÑ, we express it in a special form. Let Class of Nonclassical Hyperbolic Equations Ú !ß Ý >" ># ? œ Û ' ' `#? Ý ` 7" ` 7# . 7" . 7# ß Ü =" =# `#? `>" `># for : œ "ß # and let 133 ! Ÿ > : Ÿ =: ß Ð%Þ#Ñ =: Ÿ >: Ÿ X: be a solution of ? +Ð5ß >" ß ># Ñ `>`" `> œ g>:‡ 1: œ ' 1: . 7: ß # X: # Ð%Þ$Ñ >: where 5 is a fixed number belonging to Ò!ß X Ó. Formulas (4.2) and (4.3) imply that ? belongs to H=" ß=# ÐPÑ, which denotes the set of all ? − HÐPÑ vanishing in the neighborhood of >: œ =: and >: =: Ð: œ "ß #Ñ. Putting =: œ ! Ð: œ "ß #Ñ, we have that ? − H! ÐPÑ. It follows from (4.2) and (4.3) that # 1œ :œ" 1: œ Š `>`" ` `># ‹ ? Š+Ð5ß >" ß ># Ñ `>`" `> ‹Þ # # Ð%Þ%Ñ To prove that the function 1, defined by (4.4), belongs to P# ÐÐ=" ß X" Ñ ‚ Ð=# ß X# Ñß F#" Ð!ß ,ÑÑ, we apply the following result: Lemma 3: If the assumptions of Proposition # are satisfied, then the function ?, $ $ ? ? defined by Ð%Þ#Ñ, has derivatives of the form `>`" `> and `>`# `> belonging to # # P# ÐÐ=" ß X" Ñ ‚ Ð=# ß X# Ñß F#" Ð!ß ,ÑÑ. Proof: See Lemma 2 in Bouziani [3]. Relation (4.4) implies that (4.1) can be written in the form # " # # ? ? ' ' ŠŠ `>`" `> ß ` Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># # `>" # X" ! X# ! # # ? ? ' ' ŠŠ `>`" `> ß ` Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># # `># # X" ! X# Ð%Þ&Ñ ! # ` ˆ `? ‰ ` ? ' ' ŠŠ `B +ÐBß >" ß ># Ñ `B ß `>" Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># # X" ! X# ! # ` ˆ `? ‰ ` ? ' ' ŠŠ `B +ÐBß >" ß ># Ñ `B ß `># Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># œ !Þ # X" X# ! ! Integrating by parts, each term of (4.5), we obtain ' ' +Ð5ß =" ß ># Ñ ŠgB ` X# , ! =# œ' ' ' , ! =" X" =# X# # # ?ÐBß=" ß># Ñ `>" `># ‹ .B.># # # `+Ð5ß>" ß># Ñ ? ŠgB `>`" `> ‹ .B.>" .># `>" # # # ? ? #' ' ŠŠ `>`" `> ß ` Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># ß # `>" # X" X# ! ! Ð%Þ'Ñ 134 ABDELFATAH BOUZIANI ' ' +Ð5ß >" ß =# ÑŠgB ` X" , ! =" œ' ' ' , X" ! =" X# =# `+Ð5ß>" ß># Ñ `># # # ?ÐBß>" ß=# Ñ `>" `># ‹ .B.>" ? ŠgB `>`" `> ‹ .B.>" .># # # # Ð%Þ(Ñ # # ? ? #' ' ŠŠ `>`" `> ß ` Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># ß # `># # X" X# ! ' ' ’` , X" # ! =" ! +ÐBß>" ßX# Ñ +Ð5ß >" ß X# Ñ `>#" `+ÐBß>" ßX# Ñ `+Ð5ß>" ßX# Ñ “Ð?ÐBß >" ß X# ÑÑ# .B.>" `>" `>" " ßX# Ñ ' ' +ÐBß >" ß X# Ñ+Ð5ß >" ß X# ÑŠ `?ÐBß> ‹ .B.>" `>" X" , # Ð%Þ)Ñ ! =" œ ' ' ' ’` , X" ! =" X# $ =# +ÐBß>" ß># Ñ +Ð5ß >" ß ># Ñ `># `>#" `+ÐBß>" ß># Ñ `+Ð5ß>" ß># Ñ `># `>" `>" #' ' , X# ` # +ÐBß>" ß># Ñ `+Ð5ß>" ß># Ñ `># `>#" `+ÐBß>" ß># Ñ ` # +Ð5ß>" ß># Ñ # `>" `># `>" “? .B.>" .># `+ÐBß>" ß># Ñ " ß># Ñ +Ð5ß X" ß ># Ñ?ÐBß X" ß ># Ñ `?ÐBßX .B.># `>" `># ! =# `? " ß># Ñ ' ' ' ’ `+ÐBß> +Ð5ß >" ß ># Ñ +ÐBß >" ß ># Ñ `+Ð5`>ß>#" ß># Ñ “Š `> ‹ .B.>" .># `># " , X" X# ! =" # =# #' ' ' , X" ! =" #' ' ' ’ ` , X" X# ! =" =# # X# =# `+ÐBßX" ß># Ñ `? `? +Ð5ß >" ß ># Ñ `> .B.>" .># `>" " `># +ÐBß>" ß># Ñ `>" `B ? `+ÐBß>" ß># Ñ `? `#? `B `>" “+Ð5 ß >" ß ># ÑgB `>" `># .B.>" .># # ` ˆ `? ‰ ` ? #' ' ŠŠ `B +ÐBß >" ß ># Ñ `B ß `>" Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># ß # X" X# ! ! ' ' ’ `+ÐBßX#" ß># Ñ +Ð5ß X" ß ># Ñ `> , X# # ! =# `+ÐBßX" ß># Ñ `+Ð5ßX" ß># “Ð?ÐBß X" ß ># ÑÑ# .B.># `># `># " ß># Ñ ' ' +ÐBß X" ß ># Ñ+Ð5ß X" ß ># ÑŠ `?ÐBßX ‹ .B.># `># , X# # ! =# œ ' ' ' ’` , ! =" X" X# =# $ +ÐBß>" ß># Ñ +Ð5ß >" ß ># Ñ `>" `>## ` # +ÐBß>" ß># Ñ `+Ð5ß>" ß># Ñ `>" `># `># ` # +ÐBß>" ß># Ñ `+Ð5ß>" ß># Ñ `>" `>## `+ÐBß>" ß># Ñ ` # +Ð5ß>" ß># Ñ # `># `>" `># “? .B.>" .># Ð%Þ*Ñ Class of Nonclassical Hyperbolic Equations 135 `? " ß># Ñ ' ' ' ’ `+ÐBß> +Ð5ß >" ß ># Ñ +ÐBß >" ß ># Ñ `+Ð5`>ß>"" ß># Ñ “Š `> ‹ .B.>" .># `>" # , X" X# ! =" # =# #' ' , X" `+ÐBß>" ßX# Ñ " ßX# Ñ +Ð5ß >" ß X# Ñ?ÐBß >" ß X# Ñ `?ÐBß> .B.>" `># `>" ! =" #' ' ' , X" X# ! =" =# #' ' ' ’ ` , X" ! =" X# =# # `+ÐBß>" ß># Ñ `? `? +Ð5ß >" ß ># Ñ `> .B.>" .># `># " `># +ÐBß>" ß># Ñ `># `B ? `+ÐBß>" ß># Ñ `? `#? `B `># “+Ð5 ß >" ß ># ÑgB `>" `># .B.>" .># # ` ˆ `? ‰ ` ? #' ' ŠŠ `B +ÐBß >" ß ># Ñ `B ß `># Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># Þ # X" X# ! ! According to Assumptions A1 and A2, we get -! ' X# =# ½ # ` # ?ÐBß=" ß># Ñ `>" `># ½F " Ð!ß,Ñ .># # # ? Ÿ -$ ' ' ½ `>`" `> ½ # X" =" X# =# # F#" Ð!ß,Ñ .>" .># Ð%Þ"!Ñ # # ? ? #' ' ŠŠ `>`" `> ß ` Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># ß # `>" # X" X# ! -! ' ½ ` X" =" ! # # ?ÐBß>" ß=# Ñ `>" `># ½F " Ð!ß,Ñ .>" # # ? Ÿ -$ ' ' ½ `>`" `> ½ # X" X# =" =# # F#" Ð!ß,Ñ .>" .># Ð%Þ""Ñ ? ? #' ' ŠŠ `>`" `> ß ` Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># ß # `># # X" X# ! Ð-& -! -%# Ñ' # ! X" =" # " ßX# Ñ ² ?ÐBß >" ß X# Ñ ² P# # Ð!ß,Ñ .>" -!# ' ½ `?ÐBß> ½ `>" X" =" Ÿ Ð-* -" -' -$ #-) -$ #-(# Ñ' ' X" X# =" =# =" #-$# -"# ' -!# =# X# =# ² ?ÐBß X" ß ># Ñ ² #P# Ð!ß,Ñ .># -!# ' # =# P# Ð!ß,Ñ .>" Ð%Þ"#Ñ ² ? ² #P# Ð!ß,Ñ .>" .># `? Ð#-" -$ -$# #-## Ñ' ' ½ `> ½ " X" X# # # P# Ð!ß,Ñ X# ½ .>" .># # `?ÐBßX" ß># Ñ ½ # .># `># P Ð!ß,Ñ 136 ABDELFATAH BOUZIANI # ? -"# ' ' ½ `>`" `> ½ # X" X# =" =# `? .>" .># -"# ' ' ½ `> ½ # X" X# # F#" Ð!ß,Ñ =" =# # P# Ð!ß,Ñ .>" .># # ` ˆ `? ‰ ` ? #' ' ŠŠ `B +ÐBß @ß >" ß ># Ñ `B ß `>" Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># ß # X" X# ! ! Ð-& -! -%# Ñ' X# =# Ÿ -#-# # "- # $ ' ! =" X" " ß># Ñ ² ?ÐBß X" ß ># Ñ ² #P# Ð!ß,Ñ .># -!# ' ½ `?ÐBßX ½ `># X" =# ² ?ÐBß >" ß X# Ñ ² #P# Ð!ß,Ñ .>" Ð-* -" -' -$ #-) -$ #-(# Ñ' ' -!# ' # =" X" X# =" =# X" X# `? -"# ' ' ½ `> ½ " X" X# =" =# `?ÐBß> ßX Ñ ½ `>"" # ½ =# # P# Ð!ß,Ñ P# Ð!ß,Ñ # ? .>" .># -"# ' ' ½ `>`" `> ½ # =" .># Ð%Þ"$Ñ # .B.>" .>" .># X" X# # P# Ð!ß,Ñ ² ? ² #P# Ð!ß,Ñ .>" .># `? Ð#-" -$ -$# #-## Ñ' ' ½ `> ½ # =" X" # =# # F#" Ð!ß,Ñ .>" .># # ` ˆ `? ‰ ` ? #' ' ŠŠ `B +ÐBß >" ß ># Ñ `B ß `># Š+Ð5ß >" ß ># Ñ `>`" `> ‹‹‹.>" .># Þ # X! X" ! ! Observe that #-"# -$# ' -!# =" Ÿ ² ?ÐBß >" ß X# Ñ ² #P# Ð!ß,Ñ .>" ' ' Œ ² ? ² #P# Ð!ß,Ñ ½ `? ½ `># X" #-"# -$# -!# =" X# =# #-"# -$# ' -!# =# Ÿ X" #-"# -$# -!# X# Ð%Þ"%Ñ # P# Ð!ß,Ñ ² ?ÐBß X" ß ># Ñ ² #P# Ð!ß,Ñ .># ' ' Œ ² ? ² #P# Ð!ß,Ñ ½ `? ½ `>" =" X" =# X# .>" .># ß Ð%Þ"&Ñ # P# Ð!ß,Ñ Adding inequalities (4.10)-(4.15) and applying (4.5), we get .>" .># Þ Class of Nonclassical Hyperbolic Equations ' X# =# ”½ # ` # ?ÐBß=" ß># Ñ `>" `># ½F " Ð!ß,Ñ " ß># Ñ ² ?ÐBß X" ß ># Ñ ² #P# Ð!ß,Ñ ½ `?ÐBßX ½ `># # ' ”½ ` X" # =" # ?ÐBß>" ß=# Ñ `>" `># ½F " Ð!ß,Ñ # # P# Ð!ß,Ñ " ßX# Ñ ² ?ÐBß >" ß X# Ñ ² #P# Ð!ß,Ñ ½ `?ÐBß> ½ `>" ? Ÿ -"$ ' ' ”½ `>`" `> ½ # X" =" 137 X# # =# `? ½ `> ½ " # P# Ð!ß,Ñ •.># # P# Ð!ß,Ñ •.>" Ð%Þ"'Ñ # F#" Ð!ß,Ñ `? ½ `> ½ # ² ? ² #P# Ð!ß,Ñ # P# Ð!ß,Ñ •.>" .># ß where -"$ À œ maxŒ-$ ß-" -* -$ -' -# -) #-(# #-"# -$# #-# -# ß#-" -$ -$# #-## -"# "# $ -!# -! . minŒ-! , #! ß #" Ð-! -& -%# Ñ -# Inequality (4.16) is basic in the proof of Proposition 2. In order to apply inequality (4.16), we introduce a new function ) by the formula )ÐBß >" ß ># ÑÀ œ ' ?7" . 7" ' ?7# . 7# Þ X" >" X# ># Consequently, ?ÐBß X" ß ># Ñ œ )ÐBß =" ß ># Ñß ?ÐBß >" ß X# Ñ œ )ÐBß >" ß =# Ñ, `?ÐBßX" ß># Ñ `># `?ÐBß>" ßX# Ñ `>" œ ` )ÐBß=" ß># Ñ ß `># œ ` )ÐBß>" ß=# Ñ Þ `>" Therefore (4.16) yields ' =# X# ”½ # ` # ?ÐBß=" ß># Ñ `>" `># ½F " Ð!ß,Ñ # Ð%Þ"(Ñ " ß># Ñ ˆ" $% -"$ ÐX# =# щŒ ² )ÐBß =" ß ># Ñ ² #P# Ð!ß,Ñ ½ ` )ÐBß= ½ `># ' ”½ ` X" =" # # ?ÐBß>" ß=# Ñ `>" `># ½F " Ð!ß,Ñ # X" X# # $-"$ ' ' `#? ”½ `>" `># ½ " % F# Ð!ß,Ñ =" =# P# Ð!ß,Ñ •.># ˆ" %$ -"$ ÐX" =" щ " ß=# Ñ ‚ Œ ² )ÐBß >" ß =# Ñ ² #P# Ð!ß,Ñ ½ ` )ÐBß> ½ `>" Ÿ # `) ² ) ² #P# Ð!ß,Ñ ½ `> ½ # # P# Ð!ß,Ñ # P# Ð!ß,Ñ •.>" `) ½ `> ½ " # P# Ð!ß,Ñ •.>" .># Þ 138 ABDELFATAH BOUZIANI Hence, if =:! ! satisfies " $% -"$ ÐX: =:! Ñ œ "Î# Ð: œ "ß #Ñ, then (4.17) becomes ' ”½ ` X# =# # # ?ÐBß=" ß># Ñ `>" `># ½F " Ð!ß,Ñ ' ”½ ` X" =" # # " ß># Ñ ² )ÐBß =" ß ># Ñ ² #P# Ð!ß,Ñ ½ ` )ÐBß= ½ `># # ?ÐBß>" ß=# Ñ `>" `># ½F " Ð!ß,Ñ # Ÿ P# Ð!ß,Ñ " ß=# Ñ ² )ÐBß >" ß =# Ñ ² #P# Ð!ß,Ñ ½ ` )ÐBß> ½ `>" $-"$ ' ' # =" =# X" # X# ` ? ”½ `>" `># ½ `) ½ `> ½ # # # P# Ð!ß,Ñ •.># # P# Ð!ß,Ñ •.>" Ð%Þ")Ñ # F#" Ð!ß,Ñ ² ) ² #P# Ð!ß,Ñ `) ½ `> ½ " # P# Ð!ß,Ñ •.>" .># Þ Applying a variant of Lemma 2 for the case of the reversed intervals to (4.18), to eliminate the double integrals on the right-hand side in (4.18), we conclude that 1 œ ! almost everywhere in Ð!ß ,Ñ ‚ Ð=" ß X" Ñ ‚ Ð=# ß X# Ñ. Proceeding in this way, step by step, we prove that 1 œ ! almost everywhere in U. The proof of Proposition 2 is complete. To finish the proof of Theorem 2, consider the general case. Let the element [ œ Ð0 ß :ß <Ñ − J be orthogonal to VÐPÑ, so that Ð_?ß 0 ÑP# ÐÐ!ßX" Ñ‚Ð!ßX# ÑßF#" Ð!ß,ÑÑ Ðj" ?ß :ÑL " ÐÐ!ßX# ÑßP# Ð!ß,ÑÑ Ð%Þ"*Ñ Ðj# ?ß <ÑL " ÐÐ!ßX" ÑßP# Ð!ß,ÑÑ œ !, a? − HÐPÑÞ Putting ? in (4.19) equal to any element of H! ÐPÑ, we get Ð_?ß 0 ÑP# ÐÐ!ßX" Ñ‚Ð!ßX# ÑßF#" Ð!ß,ÑÑ œ !, a? − H! ÐPÑÞ Proposition 2 implies that 0 ´ !. Hence, (4.19) implies that Ðj" ?ß :ÑL " ÐÐ!ßX# ÑßP# Ð!ß,ÑÑ Ðj# ?ß <ÑL " ÐÐ!ßX" ÑßP#Ð!ß,ÑÑ œ !, a? − HÐPÑÞ Since j" ? and j# ? are independent and the ranges of values j" and j# are everywhere dense in L " ÐÐ!ß X# Ñß P# Ð!ß ,ÑÑ, L " ÐÐ!ß X" Ñß P# Ð!ß ,ÑÑ, the above equality implies that : ´ !, and < ´ ! (recall that : and < satisfy Assumption A3w Ñ. Hence VÐPÑ œ J . Therefore, the proof of Theorem 2 is complete. Remark 1: If equation (1.1) is replaced by _@À œ `#@ `>" `># ` ˆ `@ ‰ `B +ÐBß >" ß ># Ñ `B œ 0 ÐBß >" ß ># ß @Ñ then the existence, uniqueness and continuous dependence upon the data of a solution can be proved by the same method, provided that 0 satisfies a growth condition of the form µ ± 0 ÐBß >" ß ># ß @Ñ ± Ÿ 0 ÐBß >" ß ># Ñ G ± @ ± Þ Class of Nonclassical Hyperbolic Equations Ú Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Û Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ý Ü 139 Remark 2: Our results can be extended to the following nonlocal hyperbolic problem: `#@ `>" `># _@À œ signÒÐ" ± -" ± # ÑÐ" ± -# ± # ÑÓ ` `@ `B Ð+ÐBß >" ß ># Ñ `B Ñ j" @À œ @ ± >" œ! -" @ ± >" œX" œ FÐBß ># Ñß j# @À œ @ ± ># œ! -# @ ± ># œX# œ GÐBß >" Ñß `@Ð!ß>" ß># Ñ œ ." Ð>" ß ># Ñß `B ' @ÐBß >" ß ># Ñ.B œ IÐ>" ß ># Ñß œ 0 , ÐBß >" ß ># Ñ − Uß -" ß -# − Gß ÐBß ># Ñ − Ð!ß ,Ñ ‚ Ð!ß X# Ñß ÐBß >" Ñ − Ð!ß ,Ñ ‚ Ð!ß X"Ñß Ð>" ß ># Ñ − Ð!ß X" Ñ ‚ Ð!ß X# Ñß , Ð>" ß ># Ñ − Ð!ß X" Ñ ‚ Ð!ß X#Ñ ! Ò' B@ÐBß >" ß ># Ñ.B œ ;Ð>" ß ># Ñß , Ð>" ß ># Ñ − Ð!ß X" Ñ − Ð!ß X#Ñ, respectivelyÓÞ ! Remark 3: Our results can also be extended to the following problem: # Ú ` #7 _@À œ `>`" `>@ # `B Ý #7 Ð+ÐBß >" ß ># Ñ@Ñ œ 0 ß Ý Ý Ý Ý j @À œ @ÐBß !ß ># Ñ œ FÐBß ># Ñß " Ý Ý j# @À œ @ÐBß >" ß !Ñ œ GÐBß >" Ñß Û ` : @Ð!ß>" ß># Ñ œ !ß ! : Ÿ 7ß Ý `B: Ý Ý Ý , Ý Ý Ý ' B; @ÐBß >Ñ.B œ !ß : Ÿ ; Ÿ #7 "ß Ü! ÐBß >" ß ># Ñ − Uß ÐBß ># Ñ − Ð!ß ,Ñ ‚ Ð!ß X# Ñß ÐBß >" Ñ − Ð!ß ,Ñ ‚ Ð!ß X" Ñß Ð>" ß ># Ñ − Ð!ß X" Ñ ‚ Ð!ß X# Ñß Ð>" ß ># Ñ − Ð!ß X" Ñ ‚ Ð!ß X# Ñ, where 7ß :ß ; are integers. References [1] [2] [3] [4] [5] [6] [7] [8] [9] Batten, Jr., G.W., Second order correct boundary condition for the numerical solution of the mixed boundary problem for parabolic equations, Math. Comput. 17 (1963), 405413. Benouar, N.E. and Yurchuk, N.I., Mixed problem with an integral condition for parabolic equations with the Bessel operator, Differ. Urav. 27:12 (1991), 2094-2098. Bouziani, A., Mixed problem with integral conditions for a certain parabolic equation, J. of Appl. Math. and Stoch. Anal. 9:3 (1996), 323-330. Bouziani, A., On a third order parabolic equation with a nonlocal boundary condition, J. of Appl. Math. and Stoch. Anal., (in press). Bouziani, A., Solution forte d'un probléme mixte avec condition non locale pour une ´ classe d'equations paraboliques, Maghreb Math. Rev. 6:1 (1997), 1-17. Bouziani, A., Mixed problem with nonlocal condition for certain pluriparabolic equations, Hiroshima Math. J. 27:3 (1997), 373-390. ´ Bouziani, A. and Benouar, N.E., Probléme mixte avec conditions integrales pour une ´ ´ classe d'equations paraboliques, Comptes Rendus de l'Academie des Sciences Paris 321 (1995), 1177-1182. Bouziani, A. and Benouar, N.E., Probléme mixte avec conditions intégrales pour une ´ classe d'equations hyperboliques, Bull. Belgian Math. Soc. Simon Stevan 31 (1996), 125-133. Byszewski, L., Existence and uniqueness of solutions of nonlocal problems for hyperbolic equation ?B> œ J ÐBß >ß ?ß ?B Ñ, J. of Appl. Math. and Stoch. Anal. 3:3 (1990), 163-168. 140 ABDELFATAH BOUZIANI [10] Byszewski, L., Theorem about existence and uniqueness of continuous solutions of nonlocal problem for nonlinear hyperbolic equation, Appl. Anal. 40 (1991), 173-180. [11] Byszewski, L., Differential and Functional-Differential Problems with Nonlocal Conditions, Cracow Univ. of Tech. Monograph 184, Cracow 1995. [12] Byszewski, L. and Lakshmikantham, V., Monotone iterative technique for nonlocal hyperbolic differential problem, J. of Math. and Phys. Sci. 26:4 (1992), 345-359. [13] Byszewski, L. and Papageorgiou, N.S., An application of noncompactness technique to an investigation of the existence of solutions to a nonlocal multivalued Darboux problem, J. of Appl. Math. and Stoch. Anal. (1998), (in press). [14] Cannon, J.R., The solution of the heat equation subject to the specification of energy, Quart. Appl. Math. 21:2 (1963), 155-160. [15] Cannon, J.R., The one-dimensional heat equation, In: Encyclopedia of Mathematics and its Applications 23, Addison-Wesley, Reading, MA, Menlo Park, CA (1984). [16] Cannon, J.R., Esteva, S.P. and Van der Hoek, J., A Galerkin procedure for the diffusion equation subject to the specification of mass, SIAM J. Numer. Anal. 24 (1987), 499515. [17] Cannon, J.R. and Van der Hoek, J., The existence and the continuous dependence for the solution of the heat equation subject to the specification of energy, Boll. Uni. Math. Ital. Suppl. 1 (1981), 253-282. [18] Cannon, J.R. and Van der Hoek, J., An implicit finite difference scheme for the diffusion of mass in a portion of the domain, In: Numerical Solutions of Partial Differential Equations (ed. by J. Noye), North-Holland, Amsterdam (1982), 527-539. [19] Ionkin, N.I., Solution of boundary value problem in heat conduction theorem with nonlocal boundary conditions, Diff. Urav. 13:2 (1977), 294-304. [20] Jones, S., Jumarhorn, B., McKee, S. and Scott, J.A., A mathematical model of biosensor, J. Eng. Math. 30 (1996), 312-337. [21] Jumarhorn, B. and McKee, S., On the heat equation with nonlinear and nonlocal boundary conditions, J. Math. Anal. Appl. 190 (1995), 806-820. [22] Kamynin, N.I., A boundary value problem in the theory of the heat conduction with nonclassical boundary condition, Th. Vychisl. Mat. Mat. Fiz. 43:6 (1964), 1006-1024. [23] Lin, Y., Parabolic Partial Differential Equations Subject to Nonlocal Boundary Conditions, Ph.D. Thesis, Washington State University, Pullman, WA 1988. [24] Shi, P., Weak solution to an evolution problem with a nonlocal constraint, SIAM J. Math. Anal. 24:1 (1993), 46-58. [25] Yurchuk, N.I., Mixed problem with an integral condition for certain parabolic equations, Diff. Urav. 22:19 (1986), 2117-2126.