Abstract

We are going to discuss some important classes of nonlinear integral equations such as integral equations of Volterra-Chandrasekhar type, quadratic integral equations of fractional orders, nonlinear integral equations of Volterra-Wiener-Hopf type, and nonlinear integral equations of Erdélyi-Kober type. Those integral equations play very significant role in applications to the description of numerous real world events. Our aim is to show that the mentioned integral equations can be treated from the view point of nonlinear Volterra-Stieltjes integral equations. The Riemann-Stieltjes integral appearing in those integral equations is generated by a function of two variables. The choice of a suitable generating function enables us to obtain various kinds of integral equations. Some results concerning nonlinear Volterra-Stieltjes integral equations in several variables will be also discussed.

1. Introduction

In the theory of integral equations and their numerous applications, one can encounter some classes of integral equations having an important significance. This fact is mainly connected with applications of the mentioned classes of integral equations to the description of several real world events which appear in engineering, mechanics, physics, mathematical physics, electrochemistry, bioengineering, porous media, viscoelasticity, control theory, transport theory, kinetic theory of gases, radiative transfer, and other important branches of exact science and applied mathematics (cf. [112]).

Let us distinguish and describe some important classes of nonlinear integral equations mentioned tacitly above.

The first class we are going to present is the class of the so-called quadratic integral equations of Volterra-Chandrasekhar type (see [1, 7, 13, 14], e.g.). The interest in the study of those integral equations was initiated around 1950 by the famous astrophysicist Chandrasekhar [1], who investigated the following integral equation: being the so-called quadratic (nonlinear) integral equation and called the Chandrasekhar integral equation.

Nowadays, integral equation (1) has been generalized in a few directions but in general two principal types of generalizations of (1) are investigated, namely, the quadratic integral equation of Fredholm-Chandrasekhar type and the quadratic integral equation of Volterra-Chandrasekhar type We will focus on integral equations having form (3), that is, on nonlinear integral equations of Volterra-Chandrasekhar type.

The second class of nonlinear integral equations which will be discussed is the class of the so-called nonlinear integral equations of fractional order. Such equations have the form where is a fixed number and denotes the gamma function.

Observe that (4) is the so-called singular integral equation (of Abel type). These equations were very intensively studied during the last three decades and found a vast number of applications. Mathematicians working in the theory of integral equations of fractional orders wrote several papers and monographs devoted to those equations [4, 5, 811, 1520].

The next, third class of nonlinear integral equations which we would like to present, is associated with the so-called nonlinear integral equations of Volterra-Wiener-Hopf type. Such equations are a special case of integral equations with kernels depending on the difference of arguments and they also play very important role in applications (cf. [3, 12, 2123]).

The Volterra-Wiener-Hopf integral equation has the form where or with .

Now, let us describe the fourth class of nonlinear integral equations being the object of our study as well as being recently very intensively investigated with regard to its numerous applications [2430]. That class comprises integral equations called the nonlinear Erdélyi-Kober integral equations and having the form where , , and are positive constant and . Moreover, (or ).

Obviously, the integral equation of Erdélyi-Kober type creates the generalization of the integral equation of fractional order (4). Indeed, putting in (6) and including the factor into the function , we obtain (4) with .

Our aim in this paper is to show that all four classes of nonlinear integral equations (3)–(6) can be treated from one point of view. More precisely, we show that with help of nonlinear Volterra-Stieltjes integral equations we are able to unify all those classes in such a way that they are particular cases of the mentioned Volterra-Stieltjes integral equations.

The paper has a review character and is based on the results from [14, 21, 25, 31].

2. Notation, Definitions, and Auxiliary Results

In this section, we provide notation, definitions, and auxiliary results which will be needed in our further considerations. Firstly, we recall a few facts concerning functions of bounded variation [32]. Thus, assume that is a real function defined on the fixed interval . Then, the symbol denotes the variation of the function on the interval . If , we say that is of bounded variation on . Similarly, if we have a function , then we denote by the variation of the function on the interval , where is a fixed number in . In a similar way, we define the quantity .

Now, assume that and are two real functions defined on the interval . Then, we can define the Stieltjes integral (in the Riemann-Stieltjes sense) under appropriate assumptions on the functions and (cf. [32]). For example, if we require that is continuous and is of bounded variation on , then the Stieltjes integral (7) does exist [32].

Let us mention that in our considerations we will often use the following two important lemmas [32].

Lemma 1. If is Stieltjes integrable on the interval with respect to a function of bounded variation, then

Lemma 2. Let be Stieltjes integrable functions on the interval with respect to a nondecreasing function , such that for . Then,

Obviously, in a similar way we can also consider Stieltjes integrals of the form where and the symbol indicates the integration with respect to . The details concerning the integral of this type will be given later.

Now, assume that is a real function defined on the interval . Denote by the modulus of continuity of the function defined by the formula Similarly, if , then we can define the modulus of continuity of the function with respect to each variable separately. For example, where is a fixed number in the interval .

In what follows, we recall some facts concerning measures of noncompactness which will be used later on [33].

To this end, assume that is an infinite dimensional Banach space with the norm and zero element . Denote by the closed ball centered at and of radius . The symbol will denote the ball .

For a given nonempty bounded subset of , we denote by the so-called Hausdorff measure of noncompactness of the set [33]. This quantity is defined by the formula Let us mention that the function has several useful properties and is often applied in nonlinear analysis [33]. Obviously, the concept of a measure of noncompactness may be defined in a more general way [33, 34], but for our purposes the Hausdorff measure of noncompactness defined by (13) will be completely sufficient.

Indeed, in our further considerations, we will work in the Banach space consisting of real functions defined and continuous on the interval , with the standard maximum norm. If is a nonempty and bounded subset of , then the Hausdorff measure of noncompactness of can be expressed by the formula [33] where and the symbol stands for the modulus of continuity of the set defined in the following way:

In our further considerations, we will utilize the fixed point theorem of Darbo type [33], which is formulated below.

Theorem 3. Let be a nonempty, bounded, closed, and convex subset of the space and let be a continuous mapping such that there exists a constant for which for an arbitrary nonempty subset of . Then, has at least one fixed point in the set .

Further on, we recall some facts concerning the so-called superposition operator [35]. To this end, assume that and is a given function. Then, to every function , we may assign the function defined by the formula for . The operator defined in such a way is called the superposition operator generated by the function . For our further purposes, we will need the following result concerning the behaviour of the superposition operator in the space [35].

Lemma 4. The superposition operator defined by (17) transforms the space into itself and is continuous if and only if the function generating the operator is continuous on the set .

3. A Nonlinear Volterra-Stieltjes Integral Equation and Its Special Cases

The considerations of this section are focused on the following nonlinear Volterra-Stieltjes integral equation: where and (similarly as earlier) denotes the gamma function. Moreover, is a fixed number in the interval . Let us notice that the interval can be replaced by any interval .

The details concerning assumptions imposed on the components of (18) will be given later. Now, we show that integral equation (18) unifies all previously considered integral equations (3)–(6).

At the beginning, denote by the triangle and consider the function defined in the following way: It is easy to see that the above function is continuous on the triangle . On the other hand, we get Hence, we see that the integral equation of Volterra-Chandrasekhar type (3) (or (1), in the simplest case) can be treated as a special case of (18).

Further, consider the function defined by the formula where . Obviously, we have which shows that the integral equation of fractional order (4) is also a particular case of (18).

To show that the Volterra-Wiener-Hopf integral equation (5) is a special case of (18), let us consider the function given by the formula under appropriate assumptions imposed on the function (cf. [21]). Obviously, we have and we see that (5) is in fact a special case of (18).

Finally, let us take into account the nonlinear Erdélyi-Kober integral equation (6). Then, putting for , we have that Thus, we see that the integral equation (6) is also a special case of (18).

Now, we formulate theorem on the existence of solutions of Volterra-Stieltjes integral equation (18) imposing assumptions of such a type that the obtained theorem will ensure also the existence of solutions of all particular cases of (18) mentioned above.

We will consider the existence of solutions of (18) under the following hypotheses.(i) The function is continuous on the interval .(ii) The function is continuous and satisfies the Lipschitz condition with respect to the second variable; that is, there exists a constant such that for all and .(iii) The function is continuous.(iv) The function is of bounded variation on the interval for each fixed .(v) For any , there exists such that, for all , , and , the following inequality holds: (vi) for any .(vii) is continuous such that for all and for each , where is a nondecreasing function.

Now, we provide a few properties of the function which will be needed in our further considerations. Obviously, we will assume that satisfies assumptions (iii)–(vi).

Let us notice that these properties were proved in [14].

Lemma 5. Let assumptions (iii)–(v) be satisfied. Then, for an arbitrarily fixed number and for any , there exists such that if , , and then

Lemma 6. Under assumptions (iii)–(v), the function is continuous on the interval .

Corollary 7. There exists a finite positive constant such that

In fact, the above statement is an immediate consequence of the continuity of the function

Further, let us denote by the finite constant (cf. assumption (iii)) defined by the formula

Now, we are prepared to formulate the last assumption utilized in our considerations.(viii) There exists a positive solution of the inequality such that .

Our main result is formulated in the form of the following theorem.

Theorem 8. Under assumptions (i)–(viii), there exists at least one solution of (18) belonging to the space .

Proof. At the beginning, let us introduce two functions , defined in the following way: Notice that in view of assumption (v) we have that as . Similarly, as which is an easy consequence of Lemma 5.
Next, for a fixed and , let us denote Further, fix arbitrarily and take such that and . Then, in view of our assumptions and Lemmas 1 and 2, for a fixed , we obtain where we denoted Moreover, the functions , are defined by (36) and the constant is defined by (32).
Observe that in view of the uniform continuity of the function on the set we infer that as . Linking this fact with Lemma 5 and the properties of the functions and indicated previously, we deduce from (38) that the function is continuous on the interval .
On the other hand, the function is continuous on which is an easy consequence of assumption (ii) and Lemma 4. Thus, keeping in mind the above established facts, assumption (i), and (37), we conclude that the function is continuous on the interval . This means that the operator transforms the space into itself.
In what follows, we show that the operator is continuous on the space . To this end, let us first observe that in view of the properties of the superposition operator (cf. Lemma 4) it is sufficient to show that the operator defined by (37) is continuous on .
To do this, fix and . Next, take an arbitrary function with . Then, in view of Lemma 1, for an arbitrary fixed , we obtain Now, let us denote Then, from (40), we derive the following inequalities: Hence, in virtue of the uniform continuity of the function on the set , we deduce that is continuous on the space .
In what follows, let us fix arbitrarily . Then, taking into account the imposed assumptions and applying Lemmas 1 and 2, for a fixed , we get Hence, in view of Corollary 7, we derive the following estimate: Then, keeping in mind assumption (viii), we deduce that there exists a number such that transforms the ball into itself and .
In what follows, let us take a nonempty subset of the ball and . Next, fix and choose such that and . Then, applying (38), we obtain where we denoted Further, from (45), we get Hence, we have Consequently, we derive the following inequality: Now, taking into account the fact that , , and as and keeping in mind that the function is uniformly continuous on the set , we derive from (49) the following estimate: From the above estimate, assumption (viii), and Theorem 3, we infer that there exists at least one fixed point of the operator in the ball . Obviously, the function is a solution of (18). This completes the proof.

In order to illustrate the result contained in Theorem 8, we provide an example.

Example 9. Let us consider the following nonlinear integral equation of Erdélyi-Kober type: for . At first, let us observe that this equation can be written in the form (6). Indeed, we have Thus, (52) is a particular case of (6) if we put , , , , and Further, let us notice that (52) can be treated as a particular case of Volterra-Stieltjes integral equation (18) if we take into account the fact that the function appearing in (18) has the form (26); that is, It is easily seen that such a function satisfies assumptions (iii)–(vi) of Theorem 8. Moreover, we see that and .
Thus, applying Theorem 8, we can accept that . We omit further, technical details (cf. [25]) but the final conclusion asserts that (52) has a solution in the space belonging to the ball .

4. Further Results and Remarks

The result contained in Theorem 8 does not cover some cases being important with regard to applications. Obviously, we can also formulate a more general theorem than that presented above and concerning the existence of solutions of (18) which are defined, continuous, and bounded on and are satisfying some other conditions (e.g., having a limit at infinity).

On the other hand, we can always adapt a suitable version of Theorem 8 in combination with the considered particular class of integral equations discussed above.

For example, if we consider the Volterra-Wiener-Hopf integral equation (5), then its generalized Volterra-Stieltjes counterpart has the form with the function of the form (24). Then, we can formulate the following existence result concerning (55) [21] (cf. also [36]).

Theorem 10. Assume that the following hypotheses are satisfied.(i) The function is continuous and bounded on . Moreover, there exists the limit   (of course, this limit is finite).(ii) is continuous and there exists a function being nondecreasing on , , and such that for all and .(iii) The function is bounded on .(iv) is uniformly continuous on the triangle .(v) The function is of bounded variation on the interval for each fixed .(vi) For any , there is such that, for all , , and , the inequality holds.(vii) for all .(viii) The function is bounded on .(ix) There exists a positive solution of the inequality where , , and .Then, (55) has at least one solution which is defined, continuous, and bounded on and has a finite limit at infinity.

Further, let us mention that the crucial role in Theorem 8 is played by assumption (v) (the same assumption appears as assumption (vi) in Theorem 10). That assumption seems to be rather difficult to be verified in practice. But it turns out that, in considerations which cover all our particular classes of the above indicated integral equations, we can replace the mentioned assumption by less restrictive ones which are very convenient in verification.

For example, we formulate below the assumption of such a type which is connected with Theorem 10 (see [21]).(x) For arbitrary such that , the function is nonincreasing on the interval .Then, we have the following lemma [21].

Lemma 11. Let assumptions (iv) and (vii) of Theorem 10 be satisfied. Moreover, we assume that the function satisfies condition (). Then, satisfies assumption (vi) of Theorem 10.

It can be shown that Lemma 11 enables us to formulate convenient requirements concerning, for example, the function appearing in (6), which guarantee that the Volterra-Wiener-Hopf counterpart of (55) satisfies assumptions imposed in Theorem 10. We omit details which can be found in [21].

5. Remarks concerning Nonlinear Volterra-Stieltjes Integral Equations in Two Variables

In this final section, we indicate the possibility of investigations concerning the nonlinear Volterra-Stieltjes integral equations with an unknown function of two or more variables (cf. [31]). For example, the Volterra-Stieltjes integral equation in two variables has the form for , where . Obviously, the interval can be replaced by any closed and bounded interval .

We will not formulate in detail assumptions concerning the functions involved in (59). Those assumptions are combinations and a refinement of assumptions imposed in Theorem 8 (cf. [31]).

It is worthwhile mentioning that the Volterra-Stieltjes integral equation in two variables (59) covers a lot of particular cases being a combination of nonlinear integral equations of the type (3)–(6). For example, we can consider the functional integral equation with functions involved depending on two variables which has the form for and for being fixed numbers in the interval . Obviously, (60) is a particular case of (59) if we put for and , where and .

On the other hand, we can also consider the functional integral equation with functions depending on two variables, which has other mixed forms composed of functions appearing in previously investigated integral equations (3)–(6).

Thus, we can consider the nonlinear Volterra-Stieltjes integral equation with an unknown function depending on two variables and having the form for and for being a fixed number in the interval .

Observe that (62) is a particular case of (59) if we put for .

Hence, we see that (62) represents the mixed type of Chandrasekhar and fractional order integral equations.

Obviously, it is not difficult to construct other mixed types of nonlinear integral equations with unknown functions in two variables which are particular cases of (59). For example, we can construct nonlinear integral equation in two variables of mixed type of Erdélyi-Kober and fractional order, of Erdélyi-Kober and Wiener-Hopf type, and so on.

The details are rather involved and we will not present details (cf. [31]).

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.