Abstract
Analogs of the Tricomi and the Gellerstedt problems with integral gluing conditions for mixed parabolic-hyperbolic equation with parameter have been considered. The considered mixed-type equation consists of fractional diffusion and telegraph equation. The Tricomi problem is equivalently reduced to the second-kind Volterra integral equation, which is uniquely solvable. The uniqueness of the Gellerstedt problem is proven by energy integrals' method and the existence by reducing it to the ordinary differential equations. The method of Green functions and properties of integral-differential operators have been used.
1. Introduction
Mathematical model of the movement of gas in a channel surrounded by a porous environment was described by parabolic-hyperbolic equation. This was done in the fundamental work of Gelβfand [1]. Modeling of heat transfer processes in composite environment with finite and infinite velocities leads to boundary value problems (BVPs) for parabolic-hyperbolic equations [2]. Omitting the huge amount of works devoted to studying these kinds of equations, we refer the readers to [3, 4].
We would like to note works [5β10], devoted to the studying of BVPs for parabolic-hyperbolic equations, involving fractional derivatives. In turn, applications of Fractional-order differential equations can be found in the monographs [11β15]. We also note some recent papers [16β18], related to the fractional diffusion and diffusion-wave equations.
BVP for parabolic-hyperbolic equations with integral gluing condition for the first time was investigated by Kapustin and Moiseev [19] and was generalized for this kind of equation, but with parameters, in the work [20]. Another motivation of the usage of integral gluing conditions comes from the appearance of them in heat exchange processes [21].
The consideration of equations with parameters was interesting because of the possibility of studying some multidimensional analogues of the main BVP via reducing them by Fourier transformation to the BVP for equations with parameters. On the other hand, consideration of equations with parameters will give possibility to study some spectral properties of BVPs for this kind of equations such as the existence of nontrivial solutions for corresponding homogeneous problem at some values of parameters [22].
2. Analog of the Tricomi Problem
Consider an equation in the domain . Here , is characteristic triangle with endpoints , , , is Heaviside function, is the th Riemann-Liouville fractional-order derivative of a function given on interval , where and is the integer part of , and is the Euler gamma function defined by For and given, we formulate the following problem called the analog of the Tricomi problem.
Problem AT
To find a solution of (2.1), which belongs to the class of functions
satisfying the initial condition
together with the boundary conditions
and the gluing conditions
Here , () are given functions such as .
Solution of the Cauchy problem for (2.1) in defined as
where is the first-kind Bessel function of the order , , .
We calculate in order to use condition (2.5):
Considering the condition (2.5) and the following integral operator [23]
equality (2.9) can be written as follows
Now we use an integral operator
which is mutually inverse with the operator (2.10). Applying the operator (2.12) to both sides of (2.11), we obtain
Considering the following properties of operators (2.10) and (2.12)
we derive
Taking gluing conditions (2.7) into account, we have
Applying operator to both sides of (2.16) and considering the following composition rule [11]:
we get
where .
Let us consider the following auxiliary problem:
Solution of this problem can be defined as [24]
where
is the Green function of the problem (2.19),
is the function of Wright [25], .
Considering (2.20) as an integral equation regarding the function , we write solution via resolvent of the kernel :
where
is a resolvent of the kernel .
From (2.23), tending to , we obtain
Considering functional relation (2.18), from (2.25) we get
Equality (2.26) is the second-kind Volterra-type integral equation regarding the function . Since kernel has weak singularity and functions on the right-hand side are continuous, we can conclude that (2.26) is uniquely solvable [26], and solution can be represented as
where , is the resolvent of the kernel .
Once we have obtained , considering (2.18) or (2.25) we find function . Then using gluing conditions (2.7) we find functions , . Finally, we can define solution of the considered problem by the formula (2.23) in the domain , by formula (2.8) in the domain .
Hence, we prove the following theorem.
Theorem 2.1. If then there exists unique solution of the Problem AT and is defined by formulas (2.23) and (2.8) in the domains , , respectively.
3. Analog of the Gellerstedt Problem
We would like to note some related works. Regarding the consideration of Gellerstedt problem for parabolic-hyperbolic equations with constant coefficients we refer the readers to [3] and for loaded parabolic-hyperbolic equations work by Khubiev [27], and also for Lavrentβev-Bitsadze equation [28].
Consider an equation in the domain , where is a domain, bounded by segments , , of straight lines , , , respectively; is a domain, bounded by the segment of the axe and by characteristics of (3.1) , ; is a domain, bounded by the segment of the axe and by characteristics of (3.1) , ; is an interval , is an interval , and is an interval .
Problem AG
To find a solution of (3.1) from the class of functions
satisfying boundary conditions
together with gluing conditions
Here are given functions such as , .
Theorem 3.1. If the following conditions are fulfilled, then the Problem AG has a unique solution.
Proof. Introduce the following designations:
Solution of the Cauchy problem for (3.1) in the domain () in case, when has a form
Using boundary conditions (3.4), (3.5), and gluing conditions (3.6), (3.7), from (3.10) we obtain
where
According to [10], tending to , from (3.1) we get
In order to prove the uniqueness of the solution for the Problem AG, we need estimate the following integral:
Considering homogeneous case of the condition (3.3) and taking designation (3.9) into account, after some evaluations we derive
If , then . On the other hand, if we consider homogeneous cases of (3.11) and (3.12), one can easily be sure that . Hence, we get that . Based on (3.16) we can conclude that for all . Due to the solution of the first boundary problem [24] we can conclude that in . Further, according to the gluing conditions and the solution of Cauchy problem, we have in .
Considering functional relations (3.11)β(3.14) and conditions (3.3)β(3.5), we get the following problems:
The problems (3.17) and (3.18) are model problems and can be solved directly. After the finding function for all , functions and , can be defined by formulas (3.14) and (3.6), (3.7), respectively. Finally, solution of the Problem AG can be recovered by formulas (3.10) and (2.23) in the domains () and , respectively, but only with some changes in (2.23), precisely, Green function should be replaced by
which is the Green function of the first boundary problem for the (3.1) in [24].
Theorem 3.1 is proved.
Acknowledgment
This paper is partially supported by the foundation ERASMUSMUNDUS (Project number 155778-EM-1-2009-1-BEERASMUNMUNDUS-ECW-LO9).