- About this Journal ·
- Abstracting and Indexing ·
- Advance Access ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Reviewers Acknowledgment ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
International Journal of Analysis
Volume 2013 (2013), Article ID 957163, 8 pages
Mixed Problem with an Integral Two-Space-Variables Condition for a Class of Hyperbolic Equations
Department of Mathematics and Informatics, The Larbi Ben M'hidi University, Oum El Bouaghi 04000, Algeria
Received 21 August 2012; Revised 25 November 2012; Accepted 27 November 2012
Academic Editor: Baruch Cahlon
Copyright © 2013 Taki-Eddine Oussaeif and Abdelfatah Bouziani. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
This paper is devoted to the proof of the existence and uniqueness of the classical solution of mixed problems which combine Neumann condition and integral two-space-variables condition for a class of hyperbolic equations. The proof is based on a priori estimate “energy inequality” and the density of the range of the operator generated by the problem considered.
The integral boundary conditions for evolution problems have various applications in chemical engineering, thermoelasticity, underground water flow, and population dynamics.
Cannon was the first who drew attention to these problems with an integral one-space-variable condition , and their importance has been pointed out by Samarskii . The existence and uniqueness of the classical solution of mixed problem combining a Dirichlet and integral condition for the equation of heat demonstrated by cannon  using the potential method.
Always using the potential method, Kamynin established in  the existence and uniqueness of the classical solution of a similar problem with a more general representation.
Subsequently, more works related to these problems with an integral one-space-variable have been published, among them, we cite the work of Benouar and Yurchuk , Cannon and Van Der Hoek [5, 6], Cannon-Esteva-Van Der Hoek , Ionkin , Jumarhon and McKee , Kartynnik , Lin , Shi  and Yurchuk . In these works, mixed problems related to one-dimensional parabolic equations of second order combining a local condition and an integral condition was discussed. Also, by referring to the articles of Bouziani [14–16] and Bouziani and Benouar [17–19], the authors have studied mixed problems with integral conditions for some partial differential equations, specially hyperbolic equation with integral condition which has been investigated in Bouziani .
The present paper is devoted to the study of problems with a boundary integral two-space-variables condition for second-order hyperbolic equation.
2. Setting of the Problem
In the rectangle , with , we consider the hyperbolic equation: where the coefficient is a real-valued function belonging to such that in the rest of the paper, , , , denote strictly positive constants.
we adjoin to (1) the initial conditions the Neumann condition and the integral condition where and are known functions.
We will assume that the function and satisfy a compatibility conditions with (5), that is,
The presence of integral terms in boundary conditions can, in general, greatly complicate the application of standard functional or numerical techniques specially the integral two-space-variables condition. In order to avoid this difficulty, we introduce a technique to transfer this problem to another classically less complicated one which does not contain integral conditions. For that, we establish the following lemma.
Proof. Let be a solution of (1)–(5), we prove that
So, by integrating (1) with respect to over and and taking into account (6) and (7), we obtain and we get The integral condition (5) has nothing to do with the coefficient . Then, (11) imposes
Let now be a solution of , then we are bound to prove that
So, by integrating (1) with respect to over and taking into account that we obtain and by integrating (1) with respect to over and taking in consideration we obtain By combining the two preceding (15) and (17) and taking into account (7), we get
3. A Priori Estimate and Its Consequences
In this paper, we prove the existence and the uniqueness of the solution of the problem (1)–(5) and of the operator equation where with domain of difinition consisting of functions such that , , , and satisfies conditions (3) and (4); the operator is considered from to , where is the Banach space consisting of all functions having a finite norm and is the Hilbert space consisting of all elements for which the norm is finite.
Theorem 2. For any function , we have the inequality where is a positive constant independent of .
Proof. Multiplying the (1) by the following :
and integrating over , where ,(1) by integrating over . Consequently,
Employing integration by parts in (24), and taking into account the boundary conditions in , we obtain
Using the Cauchy’s inequality, we get
Substituting (25) and (26) into (24), we obtain
Then, using the Cauchy’s inequality and according to conditions (2), we get so, we obtain where
By virtue of Lemma 7.1 in  and by using it twice, we find where (2) by integrating over . Consequently,
Employing integration by parts in (33) and taking into account the boundary conditions in , we obtain
By virtue of the Cauchy’s inequality, we obtain
Substituting (34) and (35) into (33) and according to conditions (2), we get where
By virtue of Lemma 7.1 in  and by using it twice, we find where (3) by integrating over . Consequently,
Employing integration by parts in (40) and taking into account the boundary conditions in , we obtain
Using the Cauchy’s inequality, we get
Substituting (41) and (42) into (40), we obtain
Then, using the Cauchy’s -inequality and according to conditions (2), we get so, we obtain where
By virtue of Lemma 7.1 in  and by using it twice, we find where
Combining inequalities (31), (38), and (47), we obtain where
The right-hand side of (49) is independent of ; hence replacing the left-hand side by its upper bound with respect to from to , we obtain the desired inequality, where .
4. Solvability of the Problem
To show the existence of solutions, we prove that is dense in for all and for arbitrary .
Proof. First, we prove that is dense in for the special case where is reduced to , where .
Proposition 5. Let the conditions of Theorem 4 be satisfied. If for and for all , we have then, vanishes almost everywhere in .
Proof. The scalar product of is defined by
the equality (51) can be written as follows:
If we put where is a constant such that and , then, satisfies the boundary conditions in . As a result of (53), we obtain the equality
The left-hand side of (55) shows that the mapping is a continuous linear functional of . From the right-hand side of (55), It is true if the function has the following properties:
In terms of the given function and from the equality (55), we give the function in terms of as follows: and satisfies the same conditions of the function .
Replacing in (55) by its representation (58), we obtain
Integrating by parts the right-hand side of (59) with respect to and and by taking the conditions of the function yields
According to condition (2), we obtain
Integrating by parts the left-hand side of (61) with respect to , and by taking the conditions of the function , we obtain
Then, by (61) and (62) we obtain And thus in , hence in . This proves Proposition 5.
We return to the proof of Theorem 4. We have already noted that it is sufficient to prove that the set dense in .
Suppose that for some and for all it holds
Then, we must prove that . Putting in (64), we have
Since the ranges of the trace operators and are independents and the ranges of values and are everywhere dense in the Hilbert space with the norm then the equality (66) implies that , (we recall satisfies a compatibility conditions). Hence implies . Therefore, the proof of Theorem 4 is complete.
- J. R. Cannon, “The solution of the heat equation subject to the specification of energy,” Quarterly of Applied Mathematics, vol. 21, pp. 155–160, 1963.
- A. A. Samarskii, “Some problems of the theory of differential equations,” Differential'nye Uravneniya, vol. 16, no. 11, pp. 1925–1935, 1980.
- N. I. Kamynin, “A boundary value problem in the theory of the heat conduction with non-classical boundary condition,” Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, vol. 4, no. 6, pp. 1006–1024, 1964.
- N. E. Benouar and N. I. Yurchuk, “Mixed problem with an integral condition for parabolic equations with a bessel operator,” Differential'nye Uravneniya, vol. 27, no. 12, pp. 2094–2098, 1991.
- J. R. Cannon and J. van der Hoek, “The existence of and a continuous dependence result for the solution of the heat equation subject to the specification of energy,” Bollettino dell'Unione Matematica Italiana, no. 1, pp. 253–282, 1981.
- J. R. Cannon and J. van der Hoek, “An implicit finite difference scheme for the diffusion equation subject to the specification of mass in a portion of the domain,” in Numerical Solutions of Partial Differential Equations, J. Noye, Ed., pp. 527–539, North-Holland, Amsterdam, The Netherlands, 1982.
- J. R. Cannon, S. Pérez Esteva, and J. van der Hoek, “A Galerkin procedure for the diffusion equation subject to the specification of mass,” SIAM Journal on Numerical Analysis, vol. 24, no. 3, pp. 499–515, 1987.
- N. I. Ionkin, “The solution of a certain boundary value problem of the theory of heat conduction with a nonclassical boundary condition,” Differential'nye Uravneniya, vol. 13, no. 2, pp. 294–304, 1977.
- B. Jumarhon and S. McKee, “On the heat equation with nonlinear and nonlocal boundary conditions,” Journal of Mathematical Analysis and Applications, vol. 190, no. 3, pp. 806–820, 1995.
- A. V. Kartynnik, “Three points boundary value problern with an integral space variables conditions for second order parabolic equations,” Differential'nye Uravneniya, vol. 26, no. 9, pp. 1568–1575, 1990.
- Y. Lin, Parabolic partial differential equation subject to nonlocal boundary conditions [Ph.D. thesis], Washington State University, Pullman, Wash, USA, 1988.
- P. Shi, “Weak solution to an evolution problem with a nonlocal constraint,” SIAM Journal on Mathematical Analysis, vol. 24, no. 1, pp. 46–58, 1993.
- N. I. Yurchuk, “A mixed problem with an integral condition for some parabolic equations,” Differential'nye Uravneniya, vol. 22, no. 12, pp. 2117–2126, 1986.
- A. Bouziani, “Mixed problem for certain nonclassical equations with a small parameter,” Académie Royale de Belgique, vol. 5, no. 7–12, pp. 389–400, 1994.
- A. Bouziani, “Mixed problem with boundary integral conditions for a certain parabolic equation,” Journal of Applied Mathematics and Stochastic Analysis, vol. 9, no. 3, pp. 323–330, 1996.
- A. Bouziani, “Strong solution for a mixed problem with nonlocal condition for certain pluriparabolic equations,” Hiroshima Mathematical Journal, vol. 27, no. 3, pp. 373–390, 1997.
- 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 Série 1, vol. 321, no. 9, pp. 1177–1182, 1995.
- A. Bouziani and N.-E. Benouar, “Mixed problem with integral conditions for a third order parabolic equation,” Kobe Journal of Mathematics, vol. 15, no. 1, pp. 47–58, 1998.
- A. Bouziani and N.-E. Benouar, “Problème aux limites pour une classe d'équations de type non classique pour une structure pluri-dimensionnelle,” Polish Academy of Sciences, vol. 43, no. 4, pp. 317–328, 1995.
- A. Bouziani, “Solution forte d'un problème mixte avec une condition non locale pour une classe d'équations hyperboliques,” Académie Royale de Belgique, vol. 8, no. 1–6, pp. 53–70, 1997.
- L. Gårding, Cauchy's Problem for Hyperbolic Equations, University of Chicago Lecture Notes, 1957.