# Convex Solutions of a Nonlinear Integral Equation of Urysohn Type

- Tiberiu Trif
^{1}Email author

**2009**:917614

**DOI: **10.1155/2009/917614

© Tiberiu Trif. 2009

**Received: **4 August 2009

**Accepted: **25 September 2009

**Published: **5 November 2009

## Abstract

We study the solvability of a nonlinear integral equation of Urysohn type. Using the technique of measures of noncompactness we prove that under certain assumptions this equation possesses solutions that are convex of order for each , with being a given integer. A concrete application of the results obtained is presented.

## 1. Introduction

where is a positive constant. In the special case when (or even ), the authors proved in [5] that if is positive and nondecreasing, is positive and nondecreasing in the first variable (when the other two variables are kept fixed), and they satisfy some additional assumptions, then there exists at least one positive nondecreasing solution to (1.1). A similar existence result, but involving a Volterra type integral equation, has been obtained by Banaś and Martinon [6].

It should be noted that both existence results were proved with the help of a measure of noncompactness related to monotonicity introduced by Banaś and Olszowy [7]. The reader is referred also to the paper by Banaś et al. [8], in which another measure of noncompactness is used to prove the solvability of an integral equation of Urysohn type on an unbounded interval.

The main purpose of the present paper is twofold. First, we generalize the result from the paper [5] to the framework of higher-order convexity. Namely, we show that given an integer , if and are convex of order for each , then (1.1) possesses at least one solution which is also convex of order for each . Second, we simplify the proof given in [5] by showing that it is not necessary to make use of the measure of noncompactness related to monotonicity introduced by Banaś and Olszowy [7].

## 2. Measures of Noncompactness

Measures of noncompactness are frequently used in nonlinear analysis, in branches such as the theory of differential and integral equations, the operator theory, or the approximation theory. There are several axiomatic approaches to the concept of a measure of noncompactness (see, e.g., [9–11] or [12]). In the present paper the definition of a measure of noncompactness given in the book by Banaś and Goebel [12] is adopted.

Let be a real Banach space, let be the family consisting of all nonempty bounded subsets of , and let be the subfamily of consisting of all relatively compact sets. Given any subset of , we denote by and the closure and the convex hull of , respectively.

Definition 2.1 (see [12]).

A function
is said to be a *measure of noncompactness* in
if it satisfies the following conditions.

(1)The family ker
(called the *kernel* of
) is nonempty and it satisfies
.

(2) whenever satisfy .

(3) for all .

(4) for all and all .

(5)If is a sequence of closed sets from such that for each positive integer and if , then the set is nonempty.

*Hausdorff measure of noncompactness*, defined by

For further facts concerning measures of noncompactness and their properties the reader is referred to the monographs [9, 11] or [12]. We merely recall here the following fixed point theorem.

Theorem 2.2 (see [12, Theorem 5.1]).

Let be a real Banach space, let be a measure of noncompactness in , and let be a nonempty bounded closed convex subset of . Further, let be a continuous operator such that for each subset of , where is a constant. Then has at least one fixed point in .

## 3. Convex Functions of Higher Orders

*convex of order*or -

*convex*if

*divided difference*of at the points . With the help of the polynomial function defined by

Note that a convex function of order is a nonnegative function, a convex function of order is a nondecreasing function, while a convex function of order is an ordinary convex function.

*difference operator*with the span is defined by

holds for every nonnegative integer and every for which .

*Jensen convex of order*or

*Jensen*-

*convex*if

for all and all such that . Due to (3.11), it is clear that every convex function of order is also Jensen convex of order . In general, the converse does not hold. However, under the additional assumption that is continuous, the two notions turn out to be equivalent.

Theorem 3.1 (see [13, page 387, Theorem 1]).

Let be a nondegenerate interval, let be an integer, and let be a continuous function. Then is convex of order if and only if it is Jensen convex of order .

Finally, we mention the following result concerning the difference of order of a product of two functions:

Lemma 3.2.

holds for every such that .

## 4. Main Results

Our first main result concerns the integral equation of Urysohn type (1.1) in which , , and are given functions, while is the unknown function. We assume that the functions , , and satisfy the following conditions:

is a given integer number;

is a continuous function which is convex of order for each ;

is convex of order for each whenever is convex of order for each ;

for all and all ;

is a continuous function such that the function is convex of order for each whenever and ;

Theorem 4.1.

If the conditions ( )–( ) are satisfied, then (1.1) possesses at least one solution which is convex of order for each .

Proof.

Then whenever (see [5, the proof of Theorem 3.2]).

Therefore, the inequality holds for every in satisfying . This proves the continuity of at .

This inequality together with (4.16), ( ), and ( ) ensures that the function is Jensen convex of order for each . Since is continuous on , by Theorem 3.1 it follows that is convex of order for each . Taking into account (4.13), we conclude that maps into itself, as claimed.

by virtue of (2.5).

By ( ) and Theorem 2.2 we conclude the existence of at least one fixed point of in . This fixed point is obviously a solution of (1.1) which (in view of the definition of ) is convex of order for each .

Theorem 4.1 can be further generalized as follows. Given an integer number and a sequence , we denote by the set consisting of all functions with the property that for each the function is convex of order . For instance, if and , then consists of all functions in that are nonnegative, nonincreasing, and convex on .

*absolutely monotonic*(resp.,

*completely monotonic*) if it possesses derivatives of all orders on and

for each and each integer . By [13, Theorem 6, page 392] it follows that if is an absolutely monotonic (resp., a completely monotonic) function, then belongs to every set with and (resp., ) for each .

Instead of the conditions ( ), ( ), ( ), and ( ) we consider the following conditions.

belongs to .

belongs to whenever

is a continuous function such that the function belongs to whenever and .

Theorem 4.2.

If the conditions ( )–( ), ( ), ( ), and ( )-( ) are satisfied, then (1.1) possesses at least one solution .

Proof.

Consider the operator , defined on , as in the proof of Theorem 4.1. As we have already seen in the proof of Theorem 4.1 we have whenever and is continuous on .

Therefore .

The rest of the proof is similar to the corresponding part in the proof of Theorem 4.1 and we omit it.

## 5. An Application

in which is a given positive integer and is a positive real parameter. Note that (5.1) is similar to the Chandrasekhar equation, arising in the theory of radiative transfer (see, e.g., Chandrasekhar [15] or Banaś et al. [16], and the references therein).

If , then for all . If and , then , while if and , then . Note that .

Assume now that . Then we can select an sufficiently close to such that . Obviously, satisfies (5.3).

## Authors’ Affiliations

## References

- Corduneanu C:
*Integral Equations and Applications*. Cambridge University Press, Cambridge, UK; 1991:x+366.View ArticleMATHGoogle Scholar - Guo D, Lakshmikantham V, Liu X:
*Nonlinear Integral Equations in Abstract Spaces, Mathematics and Its Applications*.*Volume 373*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1996:viii+341.View ArticleMATHGoogle Scholar - O'Regan D, Meehan M:
*Existence Theory for Nonlinear Integral and Integrodifferential Equations, Mathematics and Its Applications*.*Volume 445*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 1998:viii+218.View ArticleMATHGoogle Scholar - Precup R:
*Methods in Nonlinear Integral Equations*. Kluwer Academic Publishers, Dordrecht, The Netherlands; 2002:xiv+218.View ArticleMATHGoogle Scholar - Caballero J, O'Regan D, Sadarangani K:
**On nondecreasing solutions of cubic integral equations of Urysohn type.***Commentationes Mathematicae. Prace Matematyczne*2004,**44**(1):39–53.MathSciNetMATHGoogle Scholar - Banaś J, Martinon A:
**Monotonic solutions of a quadratic integral equation of Volterra type.***Computers & Mathematics with Applications*2004,**47**(2–3):271–279. 10.1016/S0898-1221(04)90024-7MathSciNetView ArticleMATHGoogle Scholar - Banaś J, Olszowy L:
**Measures of noncompactness related to monotonicity.***Commentationes Mathematicae. Prace Matematyczne*2001,**41:**13–23.MathSciNetMATHGoogle Scholar - Banaś J, Rocha Martin J, Sadarangani K:
**On solutions of a quadratic integral equation of Hammerstein type.***Mathematical and Computer Modelling*2006,**43**(1–2):97–104. 10.1016/j.mcm.2005.04.017MathSciNetView ArticleMATHGoogle Scholar - Akhmerov RR, Kamenskiĭ MI, Potapov AS, Rodkina AE, Sadovskiĭ BN:
*Measures of Noncompactness and Condensing Operators, Operator Theory: Advances and Applications*.*Volume 55*. Birkhäuser, Basel, Switzerland; 1992:viii+249.View ArticleGoogle Scholar - Appell J, Erzakova NA, Falcon Santana S, Väth M:
**On some Banach space constants arising in nonlinear fixed point and eigenvalue theory.***Fixed Point Theory and Applications*2004,**2004**(4):317–336. 10.1155/S1687182004406068View ArticleMathSciNetMATHGoogle Scholar - Ayerbe Toledano JM, Dominguez Benavides I, Lopez Acedo G:
*Noncompactness in Metric Fixed Point Theory*. Birkhäuser, Basel, Switzerland; 1997.View ArticleMATHGoogle Scholar - Banaś J, Goebel K:
*Measures of Noncompactness in Banach Spaces, Lecture Notes in Pure and Applied Mathematics*.*Volume 60*. Marcel Dekker, New York, NY, USA; 1980:vi+97.Google Scholar - Kuczma M:
*An Introduction to the Theory of Functional Equations and Inequalities: Cauchy's Equation and Jensen's Inequality, Prace Naukowe Uniwersytetu Ślaskiego w Katowicach*.*Volume 489*. Uniwersytet Ślaski, Katowice, Poland; 1985:523.Google Scholar - Roberts AW, Varberg DE:
*Convex Functions, Pure and Applied Mathematics, vol. 5*. Academic Press, New York, NY, USA; 1973:xx+300.Google Scholar - Chandrasekhar S:
*Radiative Transfer*. Oxford University Press, London, UK; 1950:xiv+393.MATHGoogle Scholar - Banaś J, Lecko M, El-Sayed WG:
**Existence theorems for some quadratic integral equations.***Journal of Mathematical Analysis and Applications*1998,**222**(1):276–285. 10.1006/jmaa.1998.5941MathSciNetView ArticleMATHGoogle Scholar

## Copyright

This article is published under license to BioMed Central Ltd. 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.