International Journal of Partial Differential Equations
Volume 2013, Issue 1 157947
Research Article
Open Access

Boundary Value Problems for the Classical and Mixed Integrodifferential Equations with Riemann-Liouville Operators

B. Islomov, 

B. Islomov

National University of Uzbekistan, Tashkent, Uzbekistan nuu.uz

Urgench State University, Urgench, Uzbekistan urdu.uz

Search for more papers by this author
U. I. Baltaeva, 

Corresponding Author

U. I. Baltaeva

National University of Uzbekistan, Tashkent, Uzbekistan nuu.uz

Urgench State University, Urgench, Uzbekistan urdu.uz

Search for more papers by this author
First published: 08 September 2013
https://doi.org/10.1155/2013/157947
Academic Editor: Michael Grinfeld

Abstract

By method of integral equations, unique solvability is proved for the solution of boundary value problems of loaded third-order integrodifferential equations with Riemann-Liouville operators.

1. Introduction

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 first fundamental results in this direction were obtained in 1920–1930 by Tricomi [1] and Gellerstedt [2]. The works of M. A. Lavrent’ev, A. V. Bitsadze, F. I. Frankl, M. Protter, and C. Morawetz have had a great impact on this theory, where outstanding theoretical results were obtained and pointed out important practical values. Bibliography of the main fundamental results on this direction can be found, among others, in the monographs of Bitsadze [3], Bers [4], Salakhitdinov and Urinov [5], and Nakhushev [6].

In the recent years, in connection with intensive research on problems of optimal control of the agroeconomical system, long-term forecasting, and regulating the level of ground waters and soil moisture, it has become necessary to investigate a new class of equations called “loaded equations.” Such equations were investigated for the first time in works of N. N. Nazarov and N. Kochin. However, they did not use the term “loaded equation.” For the first time, the term has been used in works of Nakhushev [7], where the most general definition of a loaded equation is given and various loaded equations are classified in detail, for example, loaded differential, integral, integrodifferential, functional equations and so forth, and numerous applications are described [6, 8].

Basic questions of the theory of boundary value problems for partial differential equations are the same for the boundary value problems for the loaded differential equations. However, existence of the loaded operator does not always make it possible to apply directly the known theory of boundary value problems.

Works of Nakhushev, M. Kh. Shkhankov, A. B. Borodin, V. M. Kaziev, A. Kh. Attaev, C. C. Pomraning, E. W. Larsen, V. A. Eleev, M. T. Dzhenaliev, J. Wiener, B. Islomov and D. M. Kuriazov, K. U. Khubiev, and M. I. Ramazanov et al. are devoted to loaded second-order partial differential equations.

It should be noted that boundary value problems for loaded equations of a hyperbolic, parabolic-hyperbolic, and elliptic-hyperbolic types of the third order are not well understood. We indicate only the works of V. A. Eleev, Islomov, D. M. Kur’yazov, and A. V. Dzarakhokhov.

The present paper is devoted to formulation and investigation of the analogue of the Cauchy-Goursat problem for the loaded equation of a hyperbolic type
()
and a boundary value problem for a loaded equation of a mixed parabolic hyperbolic type
()
where
()
. Assume that αn < αn−1 < ⋯<α1 = α < 1 and coefficients ai = ai(x) ∈ C1[0,1]∩C3(0,1),   λ, μ are given real parameters, and λ > 0.

2. Analogue of the Cauchy-Goursat Problem for a Loaded Equation of the Hyperbolic Type

Let D ⊂ R2 be a domain bounded at y < 0 by the characteristics
()
of (1) and the segment AB of the axis y = 0.

Let us consider the following analogue of the Cauchy-Goursat problem for the loaded equation (1) in the domain D.

Problem A. Find a solution u(x, y) to (1), which is regular in the domain D continuous in , has continuous derivatives ux, uy, up to AB ∪ AC, and satisfies the boundary value conditions
()
where n is an inner normal and ν(x), ψ1(x), ψ2(x) are real-valued functions.

Theorem 1. If and

()
then there exists a unique solution to the problem A in the domain D.

Proof of Theorem 1. An important role in proving Theorem 1 is played by the following.

Lemma  2.  Any regular solution to (1) is represented in the form

()
where z(x, y) is the solution of the equation
()
and w(x)—is the solution of the following ordinary differential equation:
()

Proof of Lemma  2. Let u(x, y), represented by Formula (7), be the solution of (1). Then, substituting

()
satisfies (1).

Then, vice versa, let u(x, y) be a regular solution to (1) and let w(x) be a certain solution equation

()

Let us prove the validity of relation (7). Manifestly, the function

()
is a solution to (1), where z(x, y) is a solution to (8) and the function
()
is a partial solution to (1). Hence, (1) entails the validity of representation (7); that is, u(x, y) = z(x, y) + w(x).

It follows from the latter representation that u(x, 0) = z(x, 0) + w(x). Then, (11) provides

()
and the function z(x, y) = u(x, y) − w(x) satisfies (8).

Lemma 2 is proved.

Invoking that the function satisfies (8), we can assume without loss of generality that

()
when studying problem A.

Let us solve the Cauchy problem for (9) with conditions (15) with respect to w(x).

The solution to the Cauchy problem for (9) with conditions (15) has the form

()
where
()

The last equality with respect to designation and after some transformation becomes

()
where
()

And with recurring index i = 1,2, …, n implied summation. Solving the next equation with respect to [7] and Dirichlet’s formula we have

()
where
()

By virtue of representation (7), problem A is reduced to problem A* of finding a solution z(x, y) of (8), which is regular in the domain conditions

()
where ω(x) is defined by (20).

Similarly to [9, 10], we can write out the solution to (8) with conditions (22) by means of the general representation in view of (6) and [11]:

()
where
()
B(t, z; x + y, x − y) is the Riemann-Hadamard function [12] and, I0[z] is the modified Bessel function [13].

Assuming that y = 0 in (23) and invoking (20), we obtain the following functional correlation, transferred from the domain D onto AB:

()
where
()
()
, I0(x), are I1(x) are the modified Bessel functions [13].

We can assume without loss of generality that αi > 0 when i = 1,2, …, m and αi < 0 when i = m + 1, …, n.

  • (1)

    Let i ≥ m + 1, and then for any function τ(x) ∈ C[0,1] applying the Dirichlet permutation integration formula from (25) we have

    ()

  • (2)

    Let i = 1,2, …, m, and then taking account of conversion [3] into (25) we get

    ()

Hence, we conclude that the integral equations (28), (29) with respect to (6), [7] always have a solution, which is unique [14].

Thus, it is proved that problem A is uniquely solvable. Theorem 1 is proved.

3. Investigation of Problem C for (2)

Formulation of Problem C for (2). Let Ω1 ⊂ R2 be a domain bounded by the segments AB, BB0, AA0, and A0B0 of the straight lines y = 0, x = 1, x = 0, and y = h, respectively, when y > 0. Ω2 is a characteristic triangle bounded by the segment AB of the axis OX and two characteristics
()
of (2) for y < 0.
Let us introduce the following notation:
()

Let us term the function satisfying (2) in Ω1 and Ω2 as a regular solution of (2).

Problem C. Find the function u(x, y), possessing the following properties:
  • (1)

    ;

  • (2)

    ux(uy) is continuous up to  AA0 ∪ AC  (AB ∪ AC);

  • (3)

    u(x, y) is a regular solution of (2) in the domains Ω1 and Ω2;

  • (4)

    the sewing conditions

    ()
    are satisfied on AB;

  • (5)

    u(x, y) satisfies the boundary value conditions

    ()

where n is the inner normal and φ1(y), φ2(y), φ3(y), ψ1(x), and ψ2(x) are given functions.

We note the unique solvability of problem C and Gellerstedt problems for a loaded differential equation (2) when αi ≡ 0 was proven by Islomov and Baltaeva [11].

Theorem 3. If λ > 0 and

()
()
then there exists a unique solution to the problem C in the domain Ω.

Proof of Theorem 3. The following theorem holds.

Lemma  4.  Any regular solution of (2) (when y ≠ 0) is represented in the form

()
where z(x, y) is a solution to the equation
()
w(x) is a solution of the following ordinary differential equation:
()

The lemma is proved similarly to Lemma  2.

Invoking that the function satisfies (37), we can subordinate the function w(x) to the conditions

()

Solution of the Cauchy problem for (38) with the conditions (39) can be represented in the form (20).

By virtue of representation (36), (2) and the boundary value conditions (33), in view of (39), are reduced to the form (37):

()
()
()

Derivation of Basic Functional Relations. As it is known from problem A, the solution to (37) with the boundary value conditions (41), (42), and

()
is given by the formula (23).

Assuming that y = 0 in (23), in view of (39), and

()
we obtain the functional relation, transferred from the domain Ω2 onto AB:
()
where
()
where K(x, t) can be represented in the form (26).

Denoting

()
from (44) and using the inversion formula for such equations [10]
()
in view of (35) and (45), we obtain ν(x) with respect to τ(x) in the form
()

Due to the property of Problem C and in view of (43), (44), we obtain [9]

()
from (37) in Ω1, tending y → −0. Here k is an unknown constant to be defined.

The equality (50) is a second functional relation between τ(x) and ν(x), transferred from the domain Ω1 to AB.

Existence of Solution to Problem C. Solving (50) with respect to τ(x) with the conditions

()
we have
()

Omitting the function ν(x), in (49) and (52), in view of the sewing condition, we obtain an integral equation with a shift with respect to τ(x):

()
where
()

Assuming that

()
we write (53) in the form
()

Hence, (56) is an integral Volterra equation of the second kind, which is unconditionally and uniquely solvable in class C  (0 ≤ x ≤ 1). Thus, the solution of (56) has the from

()
where R1(x, t) is the resolvent of the kernel K1(x, t).

In view of (55) and the Dirichlet formula, (57) has

()
where
()

Hence, we conclude that (58) always has a solution that is unique and can be represented in the form [14]

()
where R2(x, t) is the resolvent of the kernel .

Hence, by virtue of the condition τ(1) = φ2(0) − w(1), k are determined uniquely. Upon determining τ(x), we find the functions ν(x) and w(x) from (49) and (20).

Thus, the solution of problem C in the domain Ω2 in view of (20) and (23) is determined uniquely according to the formula (36), and in the domain Ω1 we arrive to the problem for an nonloaded equation of the third order [9]. Thus, the solution of problem B in the domains Ω1 and Ω2 can be constructed from (36) in view of (20), (23), and Problem Γ11 [9].

Thus, problem C is uniquely solvable. Theorem 3 is proved.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.