Journal of Function Spaces

Volume 2014 (2014), Article ID 856183, 7 pages

http://dx.doi.org/10.1155/2014/856183

## Solvability of a Quadratic Integral Equation of Fredholm Type with Supremum in Hölder Spaces

^{1}Department of Mathematics, University of Las Palmas de Gran Canaria, Campus de Tafira Baja, 35017 Las Palmas de Gran Canaria, Spain^{2}Department of Mathematics, Rzeszów University of Technology, Aleja Powstańców Warszawy 12, 35-959 Rzeszów, Poland

Received 14 December 2013; Accepted 27 January 2014; Published 29 April 2014

Academic Editor: Józef Banaś

Copyright © 2014 J. Caballero Mena et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Using the classical Schauder fixed point theorem, we prove the existence of solutions of a quadratic integral equation of Fredholm type with supremum in the space of functions satisfying the Hölder condition.

#### 1. Introduction

Quadratic integral equations arise naturally in applications of real-world problems. For example, problems in the theory of radiative transfer in the theory of neutron transport and in the kinetic theory of gases lead to the quadratic equation where is a continuous function defined on the interval (see [1–4]).

Equations of this type have been studied by several authors [5–11].

The aim of this paper is to investigate the existence of solutions of the following quadratic integral equation of Fredholm type with supremum:

Differential and integral equations with supremum are adequate models of real-world problems, in which the present state depends significantly on this maximum value on a past time interval [12]. Equations of such kind have been studied in some papers appearing in the literature (see [13–20]).

Our solutions are placed in the space of functions satisfying the Hölder condition. A sufficient condition for the relative compactness in these spaces and the classical Schauder fixed point theorem are the main tools used in our study.

#### 2. Preliminaries

Our starting point in this section is to introduce the space of functions satisfying the Hölder condition and some properties in this space. These properties appear in [21].

Let be a closed interval in ; by we denote the space of the continuous functions on equipped with the norm .

For fixed , by , we will denote the space of the real functions defined on and satisfying the Hölder condition, that is, those functions for which there exists a constant such that for all .

It is easily seen that forms a linear subspace of .

In what follows, for , by , we will denote the least possible constant for which inequality (3) is satisfied. More “precisely,” we put The space with can be normed under the following norm: for .

It is proved in [21] that with is a Banach space.

Now, we recollect some results about the spaces with which appear in [21].

Lemma 1. *For with the following inequality is satisfied:
*

*Lemma 2. For , one has
Moreover, for the following inequality holds:
*

*The following sufficient condition for relative compactness in the spaces with appears in Example 6 of [21].*

*Theorem 3. Suppose that and that is a bounded subset in this means that there exists a constant such that for any and for any . Then is a relatively compact subset of .*

*Remark 4. *Suppose that and by we denote the ball centered at and radius in the space ; that is, . Then is compact in the space .

*Proof. *In fact, by Theorem 3, since is a bounded subset in , is a relatively compact subset of .

Suppose that and with . This means that for we can find such that
or, equivalently
This implies that .

Moreover, if in (10) we put , then we get
The last inequality implies that
Therefore, for any and any and taking into account (10) and (12), we have
Consequently,

Next, we will prove that .

In fact, since , we have that
and, accordingly,
Letting in the above inequality and taking into account (14), we deduce that
Hence, we get
and this means that .

This proves that is a closed subset of . Thus, is a compact subset of .

This finishes the proof.

*Next, we recall some results appearing in [18].*

*In what follows, we consider .*

*Lemma 5. Let be a continuous and nondecreasing function and . Let be the function defined by
Then .*

*Under the above assumption we have the following.*

*Lemma 6. Let be a sequence in and such that in . Then
*

*Finally, we recall Schauder’s fixed point theorem.*

*Theorem 7. Let be a nonempty, convex, and compact subset of a Banach space and let be a continuity mapping. Then has at least one fixed point in .*

*3. Main Result*

*3. Main Result*

*In this section we will investigate the solvability of the integral equation (2) in the Hölder spaces.*

*We will formulate the following assumptions:(i) ();(ii) is a continuous function such that it satisfies the Hölder condition with exponent with respect to the first variable; that is, there exists a constant such that
for any ;(iii) is a continuous and nondecreasing function;(iv)the following inequality is satisfied:
where the constant is defined by
and whose existence is guaranteed by virtue of (ii).*

*Theorem 8. Under assumptions , (2) has at least one solution belonging to the space , where is arbitrarily fixed number satisfying .*

*Proof. *Let us consider the operator defined on the space by
for .

First, we will prove that transforms the space into itself.

In fact, we take an arbitrary function and such that . Then, in view of assumptions (i) and (ii), we get
By Lemma 1, , and, since , from the last inequality it follows that
Therefore,
where we have used the fact that .

This shows that the operator transforms into itself.

On the other hand, the inequality
is satisfied by the number
which are positive by virtue of (iv), and, consequently, from (27) we infer that transforms the ball into itself, for any .

Therefore, , where .

By Theorem 3 and Remark 4, is a compact subset in the space for any .

Next, we will prove that the operator is continuous on , where in we consider the induced norm by , where .

To this end fix and . Suppose that and , where .

Then, for any with , we have
On the other hand, we have
From (30) and (31), we infer that
This shows that the operator is continuous at the point , where is arbitrary.

Finally, applying Theorem 7, we deduce that desired result.

Finally, we illustrate our results by presenting an example.*Example **9.* Let us consider the following quadratic integral equation:
where and , and are positive constants.

Notice that (33) is a particular case of (2), where and .

It is easily seen that
and, consequently, .

Moreover, using the inequality proved in [11], we have
for any . Therefore, assumption (ii) of Theorem 8 is satisfied, since for any
where .

Moreover, we have that
Since , the function is continuous and increasing on and for all . Thus, assumption (iii) of Theorem 8 is satisfied.

In our case, the constant is given by
In our case, the inequality appearing in assumption (iv) of Theorem 8 takes the form
It is easily seen that the above inequality is satisfied when, for example, and .

Therefore, using Theorem 8, we infer that (33) for and has at least one solution in the space with .

*Conflict of Interests*

*Conflict of Interests*

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

*References*

*References*

- K. M. Case and P. F. Zweifel,
*Linear Transport Theory*, Addison-Wesley, Reading, Mass, USA, 1967. View at MathSciNet - S. Chandrasekhar,
*Radiative Transfer*, Dover Publications, New York, NY, USA, 1960. View at MathSciNet - S. Hu, M. Khavanin, and W. Zhuang, “Integral equations arising in the kinetic theory of gases,”
*Applicable Analysis*, vol. 34, no. 3-4, pp. 261–266, 1989. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - C. T. Kelley, “Approximation of solutions of some quadratic integral equations in transport theory,”
*Journal of Integral Equations*, vol. 4, no. 3, pp. 221–237, 1982. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Banaś, M. Lecko, and W. G. El-Sayed, “Existence theorems for some quadratic integral equations,”
*Journal of Mathematical Analysis and Applications*, vol. 222, no. 1, pp. 276–285, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Banaś, J. Caballero, J. Rocha, and K. Sadarangani, “Monotonic solutions of a class of quadratic integral equations of Volterra type,”
*Computers & Mathematics with Applications*, vol. 49, no. 5-6, pp. 943–952, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Caballero, J. Rocha, and K. Sadarangani, “On monotonic solutions of an integral equation of Volterra type,”
*Journal of Computational and Applied Mathematics*, vol. 174, no. 1, pp. 119–133, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Darwish, “On solvability of some quadratic functional-integral equation in Banach algebra,”
*Communications in Applied Analysis*, vol. 11, no. 3-4, pp. 441–450, 2007. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Darwish and S. K. Ntouyas, “On a quadratic fractional Hammerstein-Volterra integral equation with linear modification of the argument,”
*Nonlinear Analysis. Theory, Methods & Applications*, vol. 74, no. 11, pp. 3510–3517, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Darwish, “On quadratic integral equation of fractional orders,”
*Journal of Mathematical Analysis and Applications*, vol. 311, no. 1, pp. 112–119, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal, J. Banaś, K. Banaś, and D. O'Regan, “Solvability of a quadratic Hammerstein integral equation in the class of functions having limits at infinity,”
*Journal of Integral Equations and Applications*, vol. 23, no. 2, pp. 157–181, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - D. D. Bainov and S. G. Hristova,
*Differential Equations With Maxima*, Taylor and Francis, Chapmon and Hall, 2011. - S. G. Hristova and D. D. Bainov, “Monotone-iterative techniques of V. Lakshmikantham for a boundary value problem for systems of impulsive differential equations with ‘supremum’,”
*Journal of Mathematical Analysis and Applications*, vol. 172, no. 2, pp. 339–352, 1993. View at Publisher · View at Google Scholar · View at MathSciNet - J. Henderson and S. G. Hristova, “Eventual practical stability and cone valued Lyapunov functions for differential equations with ‘Maxima’,”
*Communications in Applied Analysis*, vol. 14, no. 3-4, pp. 515–524, 2010. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - R. P. Agarwal and S. Hristova, “Strict stability in terms of two measures for impulsive differential equations with ‘supremum’,”
*Applicable Analysis*, vol. 91, no. 7, pp. 1379–1392, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. Bohner, S. G. Hristova, and K. Stefanova, “Nonlinear integral inequalities involving maxima of the unknown scalar functions,”
*Mathematical Inequalities & Applications*, vol. 15, no. 4, pp. 811–825, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - A. Golev, S. Hristova, and A. Rahnev, “An algorithm for approximate solving of differential equations with “Maxima”,”
*Computers & Mathematics with Applications*, vol. 60, no. 10, pp. 2771–2778, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - J. Caballero, B. López, and K. Sadarangani, “On monotonic solutions of an integral equation of Volterra type with supremum,”
*Journal of Mathematical Analysis and Applications*, vol. 305, no. 1, pp. 304–315, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Darwish, “On monotonic solutions of a singular quadratic integral equation with supremum,”
*Dynamic Systems and Applications*, vol. 17, no. 3-4, pp. 539–550, 2008. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet - M. A. Darwish and K. Sadarangani, “Nondecreasing solutions of a quadratic Abel equation with supremum in the kernel,”
*Applied Mathematics and Computation*, vol. 219, no. 14, pp. 7830–7836, 2013. View at Publisher · View at Google Scholar · View at MathSciNet - J. Banaś and R. Nalepa, “On the space of functions with growths tempered by a modulus of continuity and its applications,”
*Journal of Function Spaces and Applications*, vol. 2013, Article ID 820437, 13 pages, 2013. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet

*
*