- Research
- Open access
- Published:
Solvability of the analogs of the problem Tricomi for the mixed type loaded equations with parabolic-hyperbolic operators
Boundary Value Problems volume 2014, Article number: 211 (2014)
Abstract
In this paper the unique solvability of the analog of the Tricomi problem for the third order loaded differential and integro-differential equations with parabolic-hyperbolic operators is proved. The existence of a solution is proved by the reduction to the integral equations with a shift of the second kind. We obtain necessary and sufficient conditions for the existence of a unique solution.
1 Introduction
The first fundamental research on the theory of mixed type equations are the works of F Tricomi, S Gellerstedt, which were published in the 1920s. Due to the research of FI Frankl, IN Vekua, MA Lavrent‘ev, and AN Bitsadze, P Germain, R Bader, M Protter, K Morawets, MS Salakhidinov, TD Djuraev, AM Nakhushev, and many other authors, this theory became one of the main directions of the modern theory of partial differential equations.
The necessity of the consideration of the parabolic-hyperbolic type equation was specified in 1956 by Gel‘fand [1]. He gave an example connected to the movement of the gas in a channel surrounded by a porous environment. Inside the channel the movement of the gas was described by the equation; outside by the diffusion equation.
Recently, loaded equations have been of great interest owing to intensive studying the problems of optimal control of the agro-economical system, of long-term forecasting, and regulating the subsoil waters layer and soil moisture. First, the most general definition of the loaded equation was given by Nakhushev in 1978 [2]. He also gave notions and a detailed classification for different loaded differential, loaded integral, loaded functional equations and considered their numerical applications.
The following equation arises in problems of some mathematical models in problems of particle transfer in the plane-parallel geometry:
where is the density grain in the point at time flying with speed c under an angle θ, , to the straight line . Moreover, the functions , , and are given.
Also the loaded equation will be the stationary unispeed equation of transport (see [3]),
in the phase domain . Here is an unknown function, which defines the density of particles flying into the direction of y, , from the point . The function is positive and bounded, which characterizes the absorption of the medium; λ is the spectral parameter; and are given functions.
Basic questions of the theory of boundary value problems for partial equations are the same for the boundary value problems for the loaded equations. However, the existence of the loaded operator does not always make it possible to apply directly the known theory of boundary value problems.
What puts the considered problems in a class by itself is that the equation of the third order with the most generalized parabolic-hyperbolic and loaded operator is studied. An investigation is in order of the existence and uniqueness of the solution of the stayed boundary value problems for the loaded third order equations mixed type. One investigates the proof of the existence and uniqueness of the solution of the boundary value problem for the loaded differential and integro-differential equations of the mixed type for the analog problems of Tricomi.
2 Preliminaries
In this section we give some formulas which will be used in what follows. We note that the regular solutions of some hyperbolic equations are directly connected with Riemann-Hadamard functions. Therefore, the basic properties such as the decomposition formulas, formulas of the analytical continuation, the formula of the differentiation for the Riemann-Hadamard function are necessary for studying of the regular solutions [4].
The following function is called the Riemann-Hadamard function [5]:
where is the Bessel function [6].
The Riemann-Hadamard function has the following properties [5]:
-
1.
as function is a solution equation to the conjugate equation and as a function is a solution’s characteristic equation ;
-
2.
-
(a)
for ;
-
(a)
-
(b)
for ;
-
(c)
at and ;
-
3.
, ;
-
4.
at , where and denote the Riemann-Hadamard functions for and .
3 Formulating the problem and main functional relations
Consider the equation
in the domain Ω.
Ω is a simple connected domain located in the plane of independent variables x and y, bounded by with segments , , (, , , ) and by with characteristics , of (1).
We use the following:
In (1) , () are given real parameters.
We investigate the following problem.
Problem T0
Find a function satisfying the conditions:
-
(1)
;
-
(2)
satisfies equation (1) in and ;
-
(3)
satisfies the boundary conditions:
(2)
where n is the interior normal, , , , , and are given real-valued functions, such that .
Let , , , .
Equation (1) can be written as [7]
here , are arbitrary continuous functions.
We use the following:
It is known that every regular solution of (5) in , with the first boundary condition (3) and (7) is represented as [5]
where is the Riemann-Hadamard function [5], is the Bessel function [6].
Using the second condition of (3), considering property 2, 3 of we get
Differentiating (9) with respect to x and replace variables with y (), bearing in mind , we find the function :
Substituting (8) into (6) we have
Substituting into (11) the expression of by (10) and after some transformation we find the main functional relation between the function and on AB in the domain :
here
Passing to the limit in (4) at considering , (6), (7) we have [7]
where is an unknown constant, which will be found later on.
4 Main results
Theorem 1
If
then there exists a unique solution to the problem T0.
Proof
From (14) and (12), bearing in mind ,
using integration by parts, after some transformations we have
here
Equation (18) is the Volterra type integral equation of the second kind with shift [8], is defined by (13).
Setting
equation (18) can be written as [9]
From the representations of the functions and , using some properties of the Bessel function [6] based on the general theory of integral equation [7], one can easily ensure that (24) has a unique solution, which is represented as
where is the resolvent kernel of .
Substituting (23) into (25), after some transformations we obtain a Volterra type integral equation of the second kind with shift,
Taking into consideration (25), (28), (29) enclose
Using the method of successive approximations in (26), we examine the following sequence:
For proving the existence of the solution (26) it is enough to prove the uniform convergence which is equivalent to convergence as regards the following series [10]:
Regarding , , estimate
Consequently it is a sequential estimation of the series of (30) for each value with absolute and uniform convergence and the function is a solution of (26) in .
For proving the unique solution equation (26) in class it is enough to prove that the corresponding homogeneous equation has only a trivial solution in this class.
Let us consider the corresponding homogeneous equation,
and denote . Consider , and we get the following inequality:
Reducing the foregoing estimate for it follows that .
Thus the proof of (26) exists as a unique solution which is equivalent with problem T0.
Taking account of (27), (28), (29) we get the solution equation (26) as
where
is the resolvent kernel of . Here, by virtue of (15), (16), with regard to (29) we enclose the function in the class .
After finding according to the condition , we can find the value of .
Using relation (11), (14) and taking into account (31) we uniquely define the functions and .
After the determination of and the solution of problem T0 in the domain would be reconstructed (reconstruction) just as the solution of the Cauchy [4] problem or Darboux in (8) for (5).
It is obvious that the problem for (1) in is an undetermined real function which is equivalent to the following problem for (4) with the boundary conditions (2) and .
Introduce the new unknown function ,
Therefore, the boundary value problem in is reduced to the following boundary value problem, which is called problem in :
here , is defined by (31).
The proof of the unique solvability of problem can be found in [7]. Hence, problem T0 has also unique solvability. Theorem 1 is proved. □
Remark
Analogously we can prove unique solvability for problem T0 where , and , .
5 Problem T1 for integro-differential equation
Let Ω be a simple connected domain located in the plane of independent variables x and y, bounded by with segments , , (, , , ) and by with the characteristics
of the equation
here , are given real parameters, () are integro-differential operators [2], [11].
We use the following:
Problem T1
Find a function satisfying the conditions:
-
(1)
;
-
(2)
is continuous up to ;
-
(3)
the sewing condition
(33)
-
(4)
the boundary conditions
(34)
where n is the interior normal, , , , , and are given real-valued functions, moreover, .
Theorem 2
If, , , , , , and
then there exists a unique solution to problem T1.
Proof of Theorem 2
Equation (32) can be written as [12]
here , are arbitrary continuous functions.
We use the following:
It is well known that every regular solution of (40) in , with the first boundary condition (35) and (42) is represented as in [4].
The solution of (40) in domain , with first boundary conditions (35) and (42) exists (condition (36) guarantees the existence of the Riemann-Hadamard functions for the equation), a unique solution, representable in the form of
where is a Riemann-Hadamard function [4], is a Bessel function [6], and for the index we have the implied summation from 1 to n.
Satisfying (43), the second boundary condition of (35), and taking account of
and property 2, 3, and 4 the Riemann-Hadamard functions, after some transformation we find :
By virtue of (41) from (43) we have
Here is determined by (45).
Passing to the limit in (39), , taking account of (2), (41), and (42), we obtain a second functional relation between the function and , transferred from the to AB:
where is an unknown constant to be defined.
Except the function in (46) and (47), in view of the sewing condition, we obtain an integral equation with a shift [8] with respect to :
here
here , , , depend on the given function, for the index implied summation from 1 to n. is an unknown constant to be defined.
Thus, the solution of (48), taking account of (38), (36), (49), and (50), has the form
where is the resolvent of the kernel ().
Hence, by virtue of the condition , are determined uniquely, since, using relations (47), (44), (45), and (51), are determined uniquely.
After finding and , the solution of problem T1 defined in by a formula due to Cauchy [4] or Darboux (see (43)). For the construction of the solution BVP A in we pass to the auxiliary problem [13] for (39) and similarly to [13] we prove the uniqueness of the solution.
Problem T1 is uniquely solvable. Theorem 2 is proved. Analogously, one can prove the uniqueness of the solution problem T1 in the case where , . □
Author’s contributions
The author read and approved the final manuscript.
References
Gel‘fand IM: Some questions of analysis and differential equations. Usp. Mat. Nauk 1959, 14(3(87)):3-19.
Nakhushev, AM: The Equations of Mathematical Biology. Vishaya Shkola, Moscow 301 p. (1995)
Nakhushev AM: Loaded equations and their applications. Differ. Equ. 1983, 19(1):86-94.
Tikhonov AN, Samarskij AA: Equations of Mathematical Physics. Nauka, Moscow; 1977.
Sabytov KB: Construction in an explicit form of solutions of the Darboux problems for the telegraph equation and their application in generalizing integral equations. Differ. Equ. 1990, 25(6):1023-1032.
Bateman G, Erdelji A: Higher Transcendent Functions. Nauka, Moscow; 1966.
Djuraev TD: Boundary Value Problems for the Problems for the Mixed Type Equations. Fan, Tashkent; 1971.
Salakhitdinov MS: Equations of Mixed-Composite Types. Fan, Tashkent; 1974.
Baltaeva UI, Islomov BI: Boundary value problems for the loaded equations of the hyperbolic and mixed types. Ufim. Mat. Zh. 2011, 3(3):15-25.
Krasnov ML: Integral Equations. Introduction to the Theory. Nauka, Moscow; 1975.
Baltaeva UI, Islomov BI: Boundary value problems for the classical and mixed integro-differential equations with Riemann-Liouville operators. Int. J. Partial Differ. Equ. 2013., 2013:
Dzhurayev TD, Sopuev A, Mamayhonov M: Boundary Value Problems for the Problems for the Parabolic-Hyperbolic Type Equations. Fan, Tashkent; 1986.
Eshmatov BE, Karimov ET: Boundary value problems with continuous and gluing conditions for parabolic-hyperbolic type equations. Cent. Eur. J. Math. 2007, 5(4):741-750. 10.2478/s11533-007-0029-x
Acknowledgements
The author is grateful to Professor B Islamov for drawing attention to these problems; she would also like to thank the anonymous reviewers for their valuable suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, adaptation, distribution, and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Baltaeva, U. Solvability of the analogs of the problem Tricomi for the mixed type loaded equations with parabolic-hyperbolic operators. Bound Value Probl 2014, 211 (2014). https://doi.org/10.1186/s13661-014-0211-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-014-0211-6