# On Solutions of a Nonlinear Erdélyi-Kober Integral Equation

Authors: Nurgali K. Ashirbayev; Józef Banaś; Raina Bekmoldayeva
Journal: Abstract and Applied Analysis
 (2014)

---

## Abstract

We conduct some investigations concerning the solvability of a nonlinear integral equation of Erdélyi-Kober type. To facilitate our study we will first consider a nonlinear integral equation of Volterra-Stieltjes type. Since the mentioned Erdélyi-Kober integral equation turns out to be a special case of that of Volterra-Stieltjes type, we can apply the obtained results to the Erdélyi-Kober integral equation. Examples illustrating the obtained results will be also included.


---

## Body

## 1. Introduction

Differential and integral operators of noninteger order play an important role in several branches of applied mathematics, engineering, physics, mathematical physics, and so forth. Differential and integral equations involving operators of the mentioned type are called equations of fractional order (see [1–4], e.g.). Such equations are used to describe nonlinear oscillations of earthquakes, the fluid dynamic traffic model, and the media with fractional mass dimension and they are used in the theory of viscoelasticity as well as in electrochemistry, for instance [1–8]. It is also worthwhile mentioning that differential and integral equations are also applied in biology and economics [2, 4, 7].Our aim in this paper is to study the solvability of the so-called nonlinear integral equations of Erdélyi-Kober type. Let us mention that integral equations of that type can be utilized in describing the generalized grey Brownian motion as a diffusion process. Other examples of integral equations of Erdélyi-Kober type are indicated in [9], for example (cf. also [10–12]).The approach which will be used in this paper to study nonlinear integral equations of Erdélyi-Kober integral equations depends on considering some class of Volterra-Stieltjes integral equations of such a type that the mentioned Erdélyi-Kober integral equations turn out to be special cases of those integral equations of Volterra-Stieltjes type. Such an approach allows us not only to conduct our investigations in a more convenient way but also to obtain more general results.


## 2. Notation, Definitions, and Auxiliary Facts

In this section we collect notation, definitions, and auxiliary facts which will be utilized in our further considerations. Throughout the paper we will denote byR the set of real numbers and by R
+ the interval [
0
,
∞
). If E is a Banach space with the norm ∥
·
∥ and the zero element θ, then B
(
x
,
r
) will denote closed ball centered at x and with radius r. We write B
r to denote the ball B
(
θ
,
r
).The investigations of this paper will be conducted in the classical Banach function spaceC
(
I
), where I
=
[
0,1
] is the unit interval. Obviously, the interval [
0,1
] can be replaced by any interval [
a
,
b
]. We will assume that the space C
(
I
) is endowed with the standard maximum norm ∥
·
∥; that is, ∥
x
∥
=
max
⁡
{
|
x
(
t
)
|
:
t
∈
I
}.Ifx is an arbitrary function from the space (
I
), then the symbol ω
(
x
,
ɛ
) will denote the modulus of continuity of the function x defined in the standard way:
(1)
ω
(
x
,
ɛ
)
=
sup
⁡
{
|
x
(
t
)
-
x
(
s
)
|
:
t
,
s
∈
I
,
|
t
-
s
|
≤
ɛ
}
,
for any ɛ
≥
0.Further, we recall some facts concerning functions of bounded variation [13].At the beginning let us assume thatx is a real function defined on a given interval [
a
,
b
]. Then, by the symbol ⋁
a
b
x we will denote the variation of the function x on the interval [
a
,
b
]. If the variation ⋁
a
b
x is finite, we say that x is of bounded variation on the interval [
a
,
b
]. In the case when u
(
t
,
s
)
=
u
:
[
a
,
b
]
×
[
c
,
d
]
→
R and [
p
,
q
] is an arbitrary subinterval of the interval [
a
,
b
], we denote by ⋁
t
=
p
q
u
(
t
,
s
) the variation of the function t
→
u
(
t
,
s
) on the interval [
p
,
q
], where s is a fixed number in the interval [
c
,
d
]. Similarly we define the quantity ⋁
s
=
p
q
u
(
t
,
s
).Other facts concerning functions of bounded variation may be found in [13].Ifx and φ are two real functions defined on the interval [
a
,
b
], then under some additional conditions [13, 14] we can define the Stieltjes integral (in the Riemann-Stieltjes sense)
(2)
∫
a
b
x
(
t
)
d
φ
(
t
)
of the function x with respect to the function φ. In such a situation we will say that x is Stieltjes integrable on the interval [
a
,
b
] with respect to the function φ.Let us notice that several conditions are known which guarantee the Stieltjes integrability [13–15]. One of the most frequently used requires that x be continuous and φ be of bounded variation on [
a
,
b
].Further on, we will apply a few properties of the Stieltjes integral contained in formulated lemmas below [13].Lemma 1.
Ifx is Stieltjes integrable on the interval [
a
,
b
] with respect to a function φ of bounded variation, then
(3)
|
∫
a
b
x
(
t
)
d
φ
(
t
)
|
≤
∫
a
b
|
x
(
t
)
|
d
(
⋁
a
t
φ
)
.Lemma 2.
Letx
1
,
x
2 be Stieltjes integrable functions on the interval [
a
,
b
] with respect to a nondecreasing function φ, such that x
1
(
t
)
≤
x
1
(
t
) for t
∈
[
a
,
b
]. Then,(4)
∫
a
b
x
1
(
t
)
d
φ
(
t
)
≤
∫
a
b
x
2
(
t
)
d
φ
(
t
)
.In the sequel we will also consider the Stieltjes integrals having the form(5)
∫
a
b
x
(
s
)
d
s
g
(
t
,
s
)
,
where g
:
[
a
,
b
]
×
[
a
,
b
]
→
R and the symbol d
s indicates the integration with respect to s. The details concerning the integral of such a kind will be given later. Let us only mention that integral (5) allows us to represent the Erdélyi-Kober integral equation in the more convenient form as a particular case of the Volterra-Stieltjes integral equation (cf. the next section).


## 3. Introductory Facts concerning Erdélyi-Kober Integral Equations

In this section we provide a few preliminary facts concerning the integral equations of Erdélyi-Kober type. The theory of those equations was initiated by the papers of Erdélyi and Kober [16–18].Integral equations of Erdélyi-Kober type can be presented in the form of singular nonlinear integral equations having the form:(6)
x
(
t
)
=
a
(
t
)
+
1
Γ
(
α
)
∫
0
t
s
γ
m
f
(
t
,
s
,
x
(
s
)
)
(
t
m
-
s
m
)
1
-
α
d
s
,
where m, γ, α are positive constants, α
∈
(
0,1
), and t
∈
I
=
[
0,1
]. Moreover, Γ
(
α
) is the gamma function.This equation can be written in a more general form:(7)
x
(
t
)
=
a
(
t
)
+
t
-
m
(
γ
+
α
)
Γ
(
α
)
∫
0
t
s
γ
m
f
(
t
,
s
,
x
(
s
)
)
(
t
m
-
s
m
)
1
-
α
d
s
(cf. [12]), but the function t
-
m
(
γ
+
α
) can be linked with the function f
(
t
,
s
,
x
(
s
)
) and such an approach allows us to convert (7) to the form (6).Notice that takingγ
=
1
-
1
/
m (for m
≥
1), we transform (6) to the form(8)
x
(
t
)
=
a
(
t
)
+
1
Γ
(
α
)
∫
0
t
s
m
-
1
f
(
t
,
s
,
x
(
s
)
)
(
t
m
-
s
m
)
1
-
α
d
s
,
so we obtain (with the accuracy to the constant m) the Erdélyi-Kober integral equation of the form
(9)
x
(
t
)
=
a
(
t
)
+
1
Γ
(
α
)
∫
0
t
m
s
m
-
1
f
(
t
,
s
,
x
(
s
)
)
(
t
m
-
s
m
)
α
-
1
d
s
.In what follows we will consider (6) which will be written in the form
(10)
x
(
t
)
=
a
(
t
)
+
1
Γ
(
α
)
∫
0
t
m
s
m
-
1
s
γ
m
-
m
+
1
f
(
t
,
s
,
x
(
s
)
)
(
t
m
-
s
m
)
1
-
α
d
s
.
In order to simplify the investigations we will assume that γ
>
1
-
1
/
m since in such a case we have that γ
m
-
m
+
1
>
0.Particularly, this condition is satisfied form
∈
(
0,1
]. Under such an assumption the above equation can be considered in a more handy form as follows:
(11)
x
(
t
)
=
a
(
t
)
+
1
Γ
(
α
)
∫
0
t
m
s
m
-
1
s
p
f
(
t
,
s
,
x
(
s
)
)
(
t
m
-
s
m
)
1
-
α
d
s
,
where p
=
const, p
>
0, and t
∈
I.It is a key point in our considerations to observe that the fractional order integral equation of Erdélyi-Kober type (11) can be written as the integral equation of Volterra-Stieltjes type having the form
(12)
x
(
t
)
=
a
(
t
)
+
α
Γ
(
α
)
∫
0
t
s
p
f
(
t
,
s
,
x
(
s
)
)
d
s
g
(
t
,
s
)
,
where the function g
=
g
(
t
,
s
) appearing in our equation has the form
(13)
g
(
t
,
s
)
=
t
α
m
-
(
t
m
-
s
m
)
α
,
for (
t
,
s
)
∈
Δ
=
{
(
t
,
s
)
:
0
≤
s
≤
t
≤
1
}.Indeed, we have(14)
d
s
g
(
t
,
s
)
=
∂
∂
s
g
(
t
,
s
)
d
s
=
(
-
α
)
(
t
m
-
s
m
)
α
-
1
(
-
m
)
s
m
-
1
d
s
=
α
(
t
m
-
s
m
)
α
-
1
m
s
m
-
1
d
s
=
α
m
s
m
-
1
(
t
m
-
s
m
)
1
-
α
d
s
.
Hence we see that nonlinear Erdélyi-Kober integral equation (11) is a particular case of nonlinear Volterra-Stieltjes integral equation (12).This observation will be very essential in our further investigations which will be conducted in next sections.


## 4. Main Result

This section is devoted to the study of the nonlinear Volterra-Stieltjes integral equation (12). In our investigations we will impose the below formulated hypotheses (cf. [19]).(i)
a
∈
C
(
I
).
(ii)
The functiong
(
t
,
s
)
=
g
:
Δ
→
R is continuous on the triangle Δ
=
{
(
t
,
s
)
:
0
≤
s
≤
t
≤
1
}.
(iii)
The functions
→
g
(
t
,
s
) is of bounded variation on the interval [
0
,
t
], for each fixed t
∈
I.
(iv)
For anyɛ
>
0, there exists δ
>
0 such that, for all t
1, t
2
∈
I with t
1
<
t
2 and t
2
-
t
1
≤
δ, the following inequality holds:
(15)
⋁
s
=
0
t
1
[
g
(
t
2
,
s
)
-
g
(
t
1
,
s
)
]
≤
ɛ
.
(v)
g
(
t
,
0
)
=
0 for any t
∈
I.
(vi)
f
:
Δ
×
R
→
R is continuous and such that |
f
(
t
,
s
,
x
)
|
≤
ϕ
(
|
x
|
), for all (
t
,
s
)
∈
Δ and for each x
∈
R, where ϕ
:
R
+
→
R
+ is a nondecreasing function.In order to formulate our last assumption we will need to recall a few auxiliary facts coming from [19] and concerning the function g
=
g
(
t
,
s
) (cf. also [20]).We will assume thatg satisfies assumptions (ii)–(v) formulated above.We start with the following lemma.Lemma 3.
The function(16)
q
⟶
⋁
s
=
0
q
g
(
t
,
s
)
is continuous on the interval [
0
,
t
] for any fixed t
∈
I.Lemma 4.
Let assumptions (ii)–(iv) be satisfied. Then, for an arbitrarily fixed numbert
2
∈
I
(
t
2
>
0
) and for any ɛ
>
0, there exists δ
>
0 such that if t
1
∈
I, t
1
<
t
2 and t
2
-
t
1
≤
δ, then
(17)
⋁
s
=
t
1
t
2
g
(
t
2
,
s
)
≤
ɛ
.Lemma 5.
Under assumptions (ii)–(iv), the function(18)
t
⟶
⋁
s
=
0
t
g
(
t
,
s
)
is continuous on the interval I.Further, let us observe that based on Lemma5 we infer that there exists a positive constant K such that
(19)
K
=
sup
⁡
{
⋁
s
=
0
t
g
(
t
,
s
)
:
t
∈
I
}
.Now, we are prepared to formulate our last assumption.(vii) There exists a positive solutionr
0 of the inequality
(20)
∥
a
∥
+
α
Γ
(
α
)
K
ϕ
(
r
)
≤
r
.The main result of the paper is contained in the formulated theorem below.Theorem 6.
Under assumptions (i)–(vii) there exists at least one solution of (12) belonging to the ball B
r
0 of the space C
(
I
).Proof.
Let us consider the operatorF defined on the space C
(
I
) in the following way:
(21)
(
F
x
)
(
t
)
=
a
(
t
)
+
α
Γ
(
α
)
∫
0
t
s
p
f
(
t
,
s
,
x
(
s
)
)
d
s
g
(
t
,
s
)
.
for x
∈
C
(
I
) and for arbitrarily fixed t
∈
I.
Then, taking into account the imposed assumptions we infer that the functionF
x is well defined.
For further purposes, to make our proof more transparent, we introduce two functionsM
=
M
(
ɛ
) and N
=
N
(
ɛ
) defined in the following way:
(22)
M
(
ɛ
)
=
sup
⁡
{
⋁
s
=
0
t
1
[
g
(
t
2
,
s
)
-
g
(
t
1
,
s
)
]
:
t
1
,
t
2
∈
I
,
hhhhhhh
t
1
<
t
2
,
t
2
-
t
1
≤
ɛ
⋁
s
=
0
t
1
[
g
(
t
2
,
s
)
-
g
(
t
1
,
s
)
]
:
t
1
,
t
2
∈
I
,
∨
s
=
0
t
1
[
g
(
t
2
,
s
)
-
g
(
t
1
,
s
)
]
:
t
1
,
t
2
∈
I
,
}
,
N
(
ɛ
)
=
sup
⁡
{
⋁
s
=
t
1
t
2
g
(
t
2
,
s
)
:
t
1
,
t
2
∈
I
,
t
1
<
t
2
,
t
2
-
t
1
≤
ɛ
}
.
Observe that in virtue of assumption (iv) and Lemma 4 we conclude easily that M
(
ɛ
)
→
0 and N
(
ɛ
)
→
0 as ɛ
→
0.
Now, choose arbitrarily a functionx
∈
C
(
I
) and a number ɛ
>
0. Next, fix t
1
,
t
2
∈
I such that |
t
2
-
t
1
|
≤
ε. Without loss of generality we can assume that t
1
<
t
2. Then, keeping in mind our assumptions and Lemmas 1 and 2, we have
(23)
|
(
F
x
)
(
t
2
)
-
(
F
x
)
(
t
1
)
|
≤
|
a
(
t
2
)
-
a
(
t
1
)
|
+
α
Γ
(
α
)
|
∫
0
t
2
s
p
f
(
t
2
,
s
,
x
(
s
)
)
d
s
g
(
t
2
,
s
)
hhhhhhhhhh
-
∫
0
t
1
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
g
(
t
1
,
s
)
|
≤
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
|
∫
0
t
2
s
p
f
(
t
2
,
s
,
x
(
s
)
)
d
s
g
(
t
2
,
s
)
hhhhhhhhhhhhhhhh
-
∫
0
t
2
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
g
(
t
2
,
s
)
|
+
α
Γ
(
α
)
|
∫
0
t
2
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
g
(
t
2
,
s
)
hhhhhhhhhh
-
∫
0
t
1
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
g
(
t
2
,
s
)
|
+
α
Γ
(
α
)
|
∫
0
t
1
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
g
(
t
2
,
s
)
hhhhhhhhhh
-
∫
0
t
1
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
g
(
t
1
,
s
)
|
≤
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
|
∫
0
t
2
s
p
[
f
(
t
2
,
s
,
x
(
s
)
)
-
f
(
t
1
,
s
,
x
(
s
)
)
]
d
s
hhhhhhhhhh
×
g
(
t
2
,
s
)
∫
0
t
2
s
p
[
f
(
t
2
,
s
,
x
(
s
)
)
-
f
(
t
1
,
s
,
x
(
s
)
)
]
d
s
|
+
α
Γ
(
α
)
|
∫
t
1
t
2
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
g
(
t
s
,
s
)
|
+
α
Γ
(
α
)
|
∫
0
t
1
s
p
f
(
t
1
,
s
,
x
(
s
)
)
d
s
[
g
(
t
2
,
s
)
-
g
(
t
1
,
s
)
]
|
≤
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
∫
0
t
2
s
p
|
f
(
t
2
,
s
,
x
(
s
)
)
-
f
(
t
1
,
s
,
x
(
s
)
)
|
d
s
hhhhhhhhhh
×
(
⋁
q
=
0
s
g
(
t
2
,
q
)
)
+
α
Γ
(
α
)
∫
t
1
t
2
s
p
|
f
(
t
1
,
s
,
x
(
s
)
)
|
d
s
(
⋁
q
=
0
s
g
(
t
2
,
q
)
)
+
α
Γ
(
α
)
∫
0
t
1
s
p
|
f
(
t
1
,
s
,
x
(
s
)
)
|
d
s
hhhhhhhhhh
×
(
⋁
q
=
0
s
[
g
(
t
2
,
q
)
-
g
(
t
1
,
q
)
]
)
≤
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
∫
0
t
2
s
p
ω
∥
x
∥
1
(
f
,
ɛ
)
d
s
(
⋁
q
=
0
s
g
(
t
2
,
q
)
)
+
α
Γ
(
α
)
∫
t
1
t
2
s
p
ϕ
(
|
x
(
s
)
|
)
d
s
(
⋁
q
=
0
s
g
(
t
2
,
q
)
)
+
α
Γ
(
α
)
∫
0
t
1
s
p
ϕ
(
|
x
(
s
)
|
)
d
s
(
⋁
q
=
0
s
[
g
(
t
2
,
q
)
-
g
(
t
1
,
q
)
]
)
≤
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
ω
∥
x
∥
1
(
f
,
ɛ
)
∫
0
t
2
d
s
(
⋁
q
=
0
s
g
(
t
2
,
q
)
)
+
α
Γ
(
α
)
ϕ
(
∥
x
∥
)
∫
t
1
t
2
d
s
(
⋁
q
=
0
s
g
(
t
2
,
q
)
)
+
α
Γ
(
α
)
ϕ
(
∥
x
∥
)
∫
0
t
1
d
s
(
⋁
q
=
0
s
[
g
(
t
2
,
q
)
-
g
(
t
1
,
q
)
]
)
=
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
ω
∥
x
∥
1
(
f
,
ɛ
)
⋁
s
=
0
t
2
g
(
t
2
,
s
)
+
α
Γ
(
α
)
ϕ
(
∥
x
∥
)
⋁
s
=
t
1
t
2
g
(
t
2
,
s
)
+
α
Γ
(
α
)
ϕ
(
∥
x
∥
)
⋁
s
=
0
t
1
[
g
(
t
2
,
s
)
-
g
(
t
1
,
s
)
]
≤
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
[
K
ω
∥
x
∥
1
(
f
,
ɛ
)
+
ϕ
(
∥
x
∥
)
N
(
ɛ
)
hhhhhhhhhhhhhhhh
+
ϕ
(
∥
x
∥
)
M
(
ɛ
)
K
ω
∥
x
∥
1
(
f
,
ɛ
)
]
,
where we denoted
(24)
w
r
1
(
f
,
ε
)
=
sup
⁡
{
|
f
(
t
2
,
s
,
x
)
-
f
(
t
1
,
s
,
x
)
|
:
t
1
,
t
2
∈
I
,
h
h
h
h
h
h
|
t
2
-
t
1
|
≤
ε
,
x
∈
[
-
r
,
r
]
}
.
Further, let us observe that in view of the uniform continuity of the function f on the set Δ
×
[
-
∥
x
∥
,
∥
x
∥
] we infer that ω
∥
x
∥
1
(
f
,
ɛ
)
→
0 as ɛ
→
0. Moreover, invoking assumption (i) and the properties of the functions M
(
ɛ
) and N
(
ɛ
) defined by (22), we conclude that the function F
x is continuous on the interval I. This means that the operator F transforms C
(
I
) into itself.
In what follows we show that the operatorF is continuous on the space C
(
I
). To this end fix arbitrarily a number ɛ
>
0 and take x
,
y
∈
C
(
I
) such that ∥
x
-
y
∥
≤
ɛ. Then, in view of Lemmas 1 and 2, for an arbitrarily fixed t
∈
I we obtain
(25)
|
(
F
x
)
(
t
)
-
(
F
y
)
(
t
)
|
≤
α
Γ
(
α
)
|
∫
0
t
s
p
f
(
t
,
s
,
x
(
s
)
)
d
s
g
(
t
,
s
)
h
h
h
h
h
h
h
h
-
∫
0
t
s
p
f
(
t
,
s
,
y
(
s
)
)
d
s
g
(
t
,
s
)
|
≤
α
Γ
(
α
)
∫
0
t
s
p
|
f
(
t
,
s
,
x
(
s
)
)
-
f
(
t
,
s
,
y
(
s
)
)
|
d
s
h
h
h
h
h
h
h
h
h
×
(
⋁
q
=
0
s
g
(
t
,
q
)
)
.
Hence, denoting by P the number
(26)
P
=
∥
x
∥
+
ɛ
and introducing the notation
(27)
ω
P
(
f
,
ɛ
)
=
sup
⁡
{
|
f
(
t
,
s
,
x
)
-
f
(
t
,
s
,
y
)
|
:
(
t
,
s
)
∈
Δ
,
hhhhhi
x
,
y
∈
[
-
P
,
P
]
,
|
x
-
y
|
≤
ɛ
}
,
we obtain the following estimate:
(28)
|
(
F
x
)
(
t
)
-
(
F
x
)
(
t
)
|
≤
α
Γ
(
α
)
ω
P
(
f
,
ɛ
)
∫
0
t
s
p
d
s
(
⋁
q
=
0
s
g
(
t
,
q
)
)
≤
α
Γ
(
α
)
ω
P
(
f
,
ɛ
)
∫
0
t
d
s
(
⋁
q
=
0
s
g
(
t
,
q
)
)
≤
α
Γ
(
α
)
ω
P
(
f
,
ɛ
)
⋁
s
=
0
t
g
(
t
,
s
)
≤
α
Γ
(
α
)
K
ω
P
(
f
,
ɛ
)
.
Now, applying the fact that the function f is uniformly continuous on the set Δ
×
[
-
P
,
P
], we conclude that ω
P
(
t
,
ɛ
)
→
0 as ɛ
→
0. Combining this fact with estimate (27) we deduce that the operator F is continuous on the space C
(
I
).
Further on, let us fix arbitrarilyx
∈
C
(
I
). Then, applying Lemmas 1 and 2 and arguing as above, for t
∈
I, we obtain
(29)
|
(
F
x
)
(
t
)
|
≤
|
a
(
t
)
|
+
α
Γ
(
α
)
|
∫
0
t
s
p
f
(
t
,
s
,
x
(
s
)
)
d
s
g
(
t
,
s
)
|
≤
∥
a
∥
+
α
Γ
(
α
)
∫
0
t
s
p
|
f
(
t
,
s
,
x
(
s
)
)
|
d
s
(
⋁
q
=
0
s
g
(
t
,
q
)
)
<
∥
a
∥
+
α
Γ
(
α
)
ϕ
(
∥
x
∥
)
∫
0
t
d
s
(
⋁
q
=
0
s
g
(
t
,
q
)
)
≤
∥
a
∥
+
α
Γ
(
α
)
ϕ
(
∥
x
∥
)
⋁
s
=
0
t
g
(
t
,
s
)
≤
∥
a
∥
+
α
Γ
(
α
)
K
ϕ
(
∥
x
∥
)
.
Now, invoking assumption (vii) we deduce that there exists a number r
0
>
0 such that the operator F transforms the ball B
r
0 into itself.
In what follows let us choose a numberɛ
>
0. Next, take arbitrary numbers t
1
,
t
2
∈
I such that t
1
<
t
2 and t
2
-
t
1
≤
ɛ. Then, for arbitrarily fixed element x
∈
B
r
0, in view of estimate (23), we obtain
(30)
|
(
F
x
)
(
t
2
)
-
(
F
x
)
(
t
1
)
|
≤
ω
(
a
,
ɛ
)
+
α
Γ
(
α
)
[
K
ω
r
0
1
+
ϕ
(
r
0
)
N
(
ɛ
)
+
ϕ
(
r
0
)
M
(
ɛ
)
]
.
Then, based on the properties of the functions ɛ
→
ω
(
a
,
ɛ
), ɛ
→
ω
r
0
1
(
f
,
ɛ
), ɛ
→
M
(
ɛ
), and ɛ
→
N
(
ɛ
), from (29) and the Arzéla-Ascoli criterion for relative compactness in the space C
(
I
), we conclude that the subset F
(
B
r
0
) of the ball B
r
0 is relatively compact in the space C
(
I
). Thus, applying the Schauder fixed point principle, we conclude that the operator F has at least one fixed point x belonging to the ball B
r
0. Obviously, the function x
=
x
(
t
) is a solution of (12) and the proof is complete.


## 5. Further Discussions and an Example

In this section we discuss, first of all, the applicability of assumption (iv). Observe that assumption (iv) seems to be not convenient to be used in a concrete situation. Indeed, we show that the mentioned assumption can be replaced by an assumption which is more convenient and is suitable for the use if we consider the Erdélyi-Kober integral equation (11).Namely, we will utilize the following assumption.(iv
′) For arbitrary t
1
,
t
2
∈
I such that t
1
<
t
2 the function s
→
g
(
t
2
,
s
)
-
g
(
t
1
,
s
) is nonincreasing on the interval [
0
,
t
1
].It can be shown [19] the following assertion.Theorem 7.
Letg
(
t
,
s
)
=
g
:
Δ
→
R. If the function g satisfies assumptions (ii), (i
v
′), and (v), then g satisfies assumption (iv).Now, we focus on the study of the solvability of the Erdélyi-Kober integral equation (11). As we pointed out in Section 3, (11) is a special case of (12) if we assume that the function g
=
g
(
t
,
s
) has the form (13).In what follows we show that the functiong
(
t
,
s
) defined by (13) satisfies assumptions (ii)–(v) formulated before Theorem 6.In order to prove this assertion, observe that it is rather obvious that the functiong defined by (13) satisfies assumptions (ii) and (v). To prove that g satisfies (iii), let us notice that
(31)
∂
g
∂
s
=
α
m
s
m
-
1
(
t
m
-
s
m
)
α
-
1
=
α
m
s
m
-
1
(
t
m
-
s
m
)
1
-
α
>
0
,
for all s
∈
[
0
,
t
). This means that the function s
→
g
(
t
,
s
) is nondecreasing on the interval [
0
,
t
] and allows us to deduce that the function g defined by (13) satisfies assumption (iii).To prove that there is satisfied assumption (iv), fix arbitraryt
1
,
t
2
∈
I such that t
1
<
t
2. Consider the function G
=
G
(
s
) defined by the formula
(32)
G
(
s
)
=
g
(
t
2
,
s
)
-
g
(
t
1
,
s
)
=
t
2
α
m
-
(
t
2
m
-
s
m
)
α
-
t
1
α
m
+
(
t
1
m
-
s
m
)
α
,
for s
∈
[
0
,
t
1
]. Then we get
(33)
G
′
(
s
)
=
α
m
s
m
-
1
[
(
t
2
m
-
s
m
)
α
-
1
-
(
t
1
m
-
s
m
)
α
-
1
]
=
α
n
s
m
-
1
[
1
(
t
2
m
-
s
m
)
1
-
α
-
1
(
t
1
m
-
s
m
)
1
-
α
]
.
It is easily seen that G
′
(
s
)
<
0 for s
∈
[
0
,
t
1
) which permits us to infer that the function g
=
g
(
t
,
s
) defined by (13) satisfies assumption (iv
′).Summing up, we conclude that the functiong defined in (13) satisfies assumptions (ii)–(v).On the basis of the above established facts we can formulate the following existence result concerning integral equation (11).Theorem 8.
Assume that there are satisfied assumptions (i) and (vi), and the following one.
(vii
′) There exists a positive solution r
0 of the inequality
(34)
∥
a
∥
+
α
Γ
(
α
)
ϕ
(
r
)
≤
r
.
Then (11) has at least one solution in the space C
(
I
) belonging to the ball B
r
0.Indeed, the above theorem is an easy consequence of the above established facts concerning the functiong
(
t
,
s
) defined by (13) and Theorem 6 as well as the equality K
=
1, where K is the constant defined by (19).Now, we illustrate our result contained in Theorem8 by an example.Example 9.
Let us consider the following nonlinear integral equation of Erdélyi-Kober type:(35)
x
(
t
)
=
t
exp
⁡
t
+
1
Γ
(
1
/
2
)
∫
0
t
(
4
/
3
)
s
7
/
3
(
t
+
sin
s
2
+
x
2
(
s
)
3
)
(
t
4
/
3
-
s
4
/
3
)
1
/
2
d
s
,
for t
∈
I
=
[
0,1
]. Observe that this equation can be rewritten in the form of (11); that is,
(36)
x
(
t
)
=
t
exp
⁡
t
+
1
Γ
(
1
/
2
)
∫
0
t
(
4
/
3
)
s
1
/
3
s
2
(
t
+
sin
s
2
+
x
2
(
s
)
3
)
(
t
4
/
3
-
s
4
/
3
)
1
/
2
d
s
.
Notice that (35) is a particular case of (11) if we put a
(
t
)
=
t
exp
⁡
t, α
=
1
/
2, m
=
4
/
3, p
=
2, and
(37)
f
(
t
,
s
,
x
)
=
t
+
sin
s
2
+
x
2
/
3
.
Now we verify that the above indicated components of (35) satisfy the assumptions of Theorem 8. Indeed, the function a
=
a
(
t
) is a member of the space C
(
I
) and ∥
a
∥
=
e. Further, we have that f is continuous on the set Δ
×
R and the following estimate holds for arbitrary t
,
s
∈
R
+ and x
∈
R:
(38)
|
f
(
t
,
s
,
x
)
|
≤
t
+
|
sin
s
2
|
+
x
2
/
3
≤
2
+
x
2
/
3
.
This implies that the function f satisfies assumption (vi) with the function ϕ
(
r
)
=
2
+
r
2
/
3 being nondecreasing on R
+. Further, let us take into account inequality (33) which in our case has the form
(39)
e
+
1
2
Γ
(
1
/
2
)
(
2
+
r
2
/
3
)
≤
r
or equivalently
(40)
e
+
1
2
π
(
2
+
r
2
/
3
)
≤
r
.
Let us write the above inequality in a more transparent form:
(41)
e
+
1
π
+
1
2
π
e
2
/
3
≤
r
.
Then, it is easily seen that the number r
0
=
4 seems to be a “sufficiently” optimal solution of inequality (40).On the basis of Theorem8 we conclude that (35) has at least one solution in the space C
(
I
) belonging to the ball B
4.Remark 10.
It is worthwhile mentioning that the terms
p appearing both in (11) and in (12) has no significance in our considerations and can be included in the function f
=
f
(
t
,
s
,
x
). Nevertheless, we have separated that term since it will play certain role in our further study of nonlinear Erdélyi-Kober integral equations considered in spaces of functions defined on the half-axis R
+.Details will appear elsewhere.



---

*Source: 184626-2014-06-01.xml*