On the Volterra property of a boundary problem with integral gluing condition for a mixed parabolic-hyperbolic equation
- 1.4k Downloads
In the present work, we consider a boundary value problem with gluing conditions of an integral form for the parabolic-hyperbolic type equation. We prove that the considered problem has the Volterra property. The main tools used in the work are related to the method of the integral equations and functional analysis.
KeywordsStrong Solution Unique Solvability Mixed Type Equation Tricomi Problem Hyperbolic Part
The theory of mixed type equations is one of the principal parts of the general theory of partial differential equations. The interest for these kinds of equations arises intensively because of both theoretical and practical uses of their applications. Many mathematical models of applied problems require investigations of this type of equations.
The actuality of the consideration of mixed type equations has been mentioned, for the first time, by S. A. Chaplygin in 1902 in his famous work ‘On gas streams’ . The first fundamental results in this direction was obtained in 1920-1930 by Tricomi  and Gellerstedt . The works of Lavrent’ev , Bitsadze [5, 6], Frankl , Protter [8, 9] and Morawetz , have had a great impact in this theory, where outstanding theoretical results were obtained and pointed out important practical values of them. Bibliography of the main fundamental results on this direction can be found, among others, in the monographs of Bitsadze , Berezansky , Bers , Salakhitdinov and Urinov  and Nakhushev .
In most of the works devoted to the study of mixed type equations, the object of study was mixed elliptic-hyperbolic type equations. Comparatively, few results have been obtained on the study of mixed parabolic-hyperbolic type equations. However, this last type of equations have also numerous applications in the real life processes (see  for an interesting example in mechanics). The reader can find a nice example given, for the first time, by Gelfand in , and connect with the movement of the gas in a channel surrounded by a porous environment. Inside the channel, the movement of gas was described by the wave equation and outside by the diffusion one. Mathematic models of this kind of problems arise in the study of electromagnetic fields, in a heterogeneous environment, consisting of dielectric and conductive environment for modeling the movement of a little compressible fluid in a channel surrounded by a porous medium . Here, the wave equation describes the hydrodynamic pressure of the fluid in the channel, and the equation of filtration-pressure fluid in a porous medium. Similar problems arise in the study of the magnetic intensity of the electromagnetic field .
In the last few years, the investigations on local boundary value problems, for mixed equations in domains with non-characteristic boundary data, were intensively increased. We point out that the studies made on boundary value problems for equations of mixed type, in domains with deviation from the characteristics (with a non-characteristic boundary), have originated with the fundamental works of Bitsadze , where the generalized Tricomi problem (Problem M) for an equation of mixed type is discussed.
In the works  and , the analog to the Tricomi problem for a modeled parabolic-hyperbolic equation, was investigated in a domain with a non-characteristic boundary in a hyperbolic part. Moreover, the uniqueness of solution and the Volterra property of the formulated problem was proved. We also refer to the recent works devoted to the study of parabolic-hyperbolic equations [20, 21, 22, 23].
In the present work, we study the analog to the generalized Tricomi problem with an integral gluing condition on the line of type changing. We prove that the formulated problem has the Volterra property. The obtained result generalizes some previous ones from Sadybekov and Tajzhanova given in .
Formulation of the problem
Now we state the problem that we will consider along the paper:
where Q is a given function such that , and satisfy .
When the curve AC coincides with the characteristic one , and , the Problem B is just the Tricomi problem for parabolic-hyperbolic equation with a non-characteristic line of type changing, which has been studied in .
We denote the parabolic part of the mixed domain Ω as and the hyperbolic part by .
that satisfies Eq. (1) in the domains and , the boundary conditions (3)-(4), and the gluing condition (5).
Regarding the curve AC, we assume that is monotonically increasing. Then, rewriting it by using the characteristic variables and , we have that the equation of the curve AC can be expressed as , .
Theorem 1 Let and . Then for any function , there exists a unique regular solution of the Problem B.
Hence, the Problem B is equivalent, in the sense of unique solvability, to the second kind Volterra integral equation (14).
The restrictions imposed on the functions γ, Q, and the right-hand side of Eq. (1) guarantees that, by virtue of (11) and (15), the kernel is a kernel with weak singularity. So, we have that Eq. (14) has a unique solution and . Since , we deduce the uniqueness of the function τ. Equation (8) gives us the uniqueness of function and, as consequence, we deduce, from Eq. (6), the uniqueness of solution of Problem B when .
Consider now the other case, i.e. and .
where is the resolvent kernel of (18).
As a consequence, arguing as in the case , we deduce, from Eq. (6), the uniqueness of solution of Problem B for and , and the result is proved. □
In the sequel, we will deduce the exact expression of the integral kernel related to the unique solution of Problem B.
Thus, we have partially proved the following lemma.
Proof Expression (25) has been proved before. Let us see that .
As a consequence, and Lemma 1 is completely proved. □
We have the following regularity result for this function.
Lemma 2 If , and , then and .
Proof Using the explicit form of the Green’s function given in (10), it is not complicated to prove that function , defined by formulas (16) and (19), belongs to the class of functions and .
Lemma 2 is proved. □
Obviously, we have that .
Now, by virtue of the conditions of Lemma 3 and the representations (16) and (19), from expression (30) and the Cauchy-Bunjakovskii inequalities, we get the estimate (26) and conclude the proof. □
Denote now as the norm of the Sobolev space with .
Here, c is a positive constant that does not depend on u.
The result follows from expression (22). □
Definition 1 We define the set W as the set of all the regular solutions of Problem B.
A function is said to be a strong solution of Problem B, if there exists a functional sequence , such that and converge in to u and f, respectively.
Define as the closure of the differential operator , given by expression (2).
Note that, according to the definition of the strong solution, the function u will be a strong solution of Problem B if and only if .
Now we are in a position to prove the following uniqueness result for strong solutions.
Theorem 2 For any function and , there exists a unique strong solution u of Problem B. Moreover, , satisfies inequality (31) and it is given by the expression (25).
Proof Let be the set of the functions that vanish in a neighborhood of ∂ Ω (∂ Ω is a boundary of the domain Ω). Since is dense in , we have that for any function , there exist a functional sequence , such that , as .
It is not difficult to verify that if then (with obvious notation). Therefore, Eqs. (14) and (18) can be considered as a second kind Volterra integral equation in the space . Consequently, we have that . Due to the properties of the solutions of the boundary value problem for the heat equation in and the Darboux problem, by using the representations (6) and (9), we conclude that for all .
Consequently, is a sequence of strong solutions, hence, Problem B is strongly solvable for all right hand , and the strong solution belongs to the space . Thus, Theorem 2 is proved. □
and K defined in Lemma 1.
where Open image in new window and Γ is the Gamma-function of Euler.
Proof The proof will be done by induction in n.
is automatically deduced.
which proves Lemma 5. □
Now we are in a position to prove the final result of this paper, which gives us the Volterra property for the inverse of operator .
has the Volterra property (it is almost continuous and quasi-nilpotent) in .
From the last equality, one can state the validity of the equality (34) and Theorem 3 is proved. □
Consequence 1 Problem B has the Volterra property.
is uniquely solvable for all .
which is a second kind of Volterra equation. This proves Consequence 2 of Theorem 3.
This research was partially supported by Ministerio de Ciencia e Innovación-SPAIN, and FEDER, project MTM2010-15314 and KazNPU Rector’s grant for 2013.
- 1.Chaplygin, SA: On gas streams. Dissertation, Moscow (1902) (in Russian)Google Scholar
- 2.Tricomi F: Sulle equazioni lineari alle derivate parzialli di secondo ordine, di tipo misto. Rendicotti, Atti dell’ Accademia Nazionale del Lincel, Series 5 1923, 14: 134-247.Google Scholar
- 3.Gellerstedt S:Quellques problems mixtes pour l’equation . Ark. Mat. Astron. Fys. 1938, 26A(3):1-32.Google Scholar
- 4.Lavrent’ev MA, Bitsadze AV: To the problem of mixed type equations. Dokl. An SSSR 1950, 70(3):485-488.Google Scholar
- 5.Bitsadze AV: To the problem of mixed type equations. Trudy MI AN SSSR 1953, 41: 59.Google Scholar
- 6.Bitsadze AV: Some Classes of Partial Differential Equations. Nauka, Moscow; 1981. (in Russian)Google Scholar
- 7.Frankle FI: On Chaplygin’s problem for mixed sub and super sonic sound currents. Izvest. AN SSSR, math. Ser. 1945, 9: 121-143.Google Scholar
- 11.Berezanskii YM: Decompositions on Eigenfunctions of Self-Adjoint Operators. Naukova Dumka, Kiev; 1965.Google Scholar
- 12.Bers L: Mathematical Aspects of Subsonic and Transonic Gas Dynamics. Wiley, London; 1958.Google Scholar
- 13.Salakhitdinov MS, Urinov AK: Boundary Value Problems for Equations of Mixed Type with a Spectral Parameter. Fan, Tashkent; 1997. (in Russian)Google Scholar
- 14.Nakhushev AM: Equations of Mathematical Biology. Visshaya Shkola, Moscow; 1995. (in Russian)Google Scholar
- 15.Ostertagova E, Ostertag O, Bocko J: Problems of mechanics described by parabolic and hyperbolic differential equations (of second order). Proceedings of the 4th International Conference ‘Modelling of Mechanical and Mechatronic Systems 2011’ 2011, 385-391.Google Scholar
- 16.Gel’fand IM: Some questions of analysis and differential equations. Usp. Mat. Nauk 1959, 14(3):3-19.Google Scholar
- 17.Leibenzon LS: Movement of Natural Liquids and Gases in Porous Medium. Gostexizdat, Moscow; 1947. (in Russian)Google Scholar
- 18.Salakhitdinov MS, Berdyshev AS: On Volterra property of the boundary problem with deviation from the characteristics for parabolic-hyperbolic equation. Uzb. Math. J. 1993, 3: 6-13.Google Scholar
- 19.Salakhitdinov MS: Equation of Mixed-Composite Type. Fan, Tashkent; 1979. (in Russian)Google Scholar
- 22.Nakhusheva VA: First boundary problem for mixed type equation in characteristic polygon. Dokl. AMAN 2012, 14(1):58-65.Google Scholar
- 23.Khubiev KU: Gellerstedt problem for characteristic loaded parabolic-hyperbolic type equation. Dokl. AMAN 2011, 13(1):117-123.Google Scholar
- 28.Sadybekov MA, Tojzhanova GD: Spectral properties of a class of parabolic-hyperbolic equations. Differ. Uravn. (Minsk) 1992, 28(1):176-179.Google Scholar
- 30.Berdyshev AS, Rakhmatullaeva NA: Nonlocal problems with special gluing for a parabolic-hyperbolic equation. Proceedings of the 6th International ISAAC Congress ‘Further Progress in Analysis’, Ankara, Turkey, 13-18 August 2007 2007, 727-734.Google Scholar
- 32.Berdyshev AS, Karimov ET, Akhtaeva NS: Boundary value problems with integral gluing conditions for fractional-order mixed-type equation. Int. J. Differ. Equ. 2011., 2011: Article ID 268465. doi:10.1155/2011/268465Google Scholar
- 34.Tikhonov AN, Samarskii AA: Equations of Mathematical Physics. Nauka, Moscow; 1977.Google Scholar
- 35.Mikhailov VP: Partial Differential Equations. Nauka, Moscow; 1983.Google Scholar
This article is published under license to BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.