Volume 2011, Issue 1 743923
Research Article
Open Access

On Existence and Uniqueness of Solutions of a Nonlinear Integral Equation

M. Eshaghi Gordji

Corresponding Author

M. Eshaghi Gordji

Center of Excellence in Nonlinear Analysis and Applications (CENAA), Semnan University, Semnan, Iran semnan.ac.ir

Search for more papers by this author
H. Baghani

H. Baghani

Center of Excellence in Nonlinear Analysis and Applications (CENAA), Semnan University, Semnan, Iran semnan.ac.ir

Search for more papers by this author
O. Baghani

O. Baghani

Department of Applied Mathematics, Faculty of Mathematical Sciences, Ferdowsi University of Mashhad, Mashhad, Iran um.ac.ir

Search for more papers by this author
First published: 23 October 2011
Citations: 14
Academic Editor: Kuppalapalle Vajravelu

Abstract

The purpose of this paper is to study the existence of fixed point for a nonlinear integral operator in the framework of Banach space X : = C([a, b], n). Later on, we give some examples of applications of this type of results.

1. Introduction

In this paper, we intend to prove the existence and uniqueness of the solutions of the following nonhomogeneous nonlinear Volterra integral equation:
()
where x, t ∈ [a, b],    < a < b < , f : [a, b] → n is a mapping, and F is a continuous function on the domain D∶ = {(x, t, u) : x ∈ [a, b], t ∈ [a, x), uX}.

The solutions of integral equations have a major role in the fields of science and engineering [1, 2]. A physical event can be modeled by the differential equation, an integral equation, an integrodifferential equation, or a system of these [3, 4]. Investigation on existence theorems for diverse nonlinear functional-integral equations has been presented in other references such as [510].

In this study, we will use an iterative method to prove that (1.1) has the mentioned cases under some appropriate conditions. Finally, we offer some examples that verify the application of this kind of nonlinear functional-integral equations.

2. Basic Concepts

In this section, we recall basic result which we will need in this paper.

Consider the nonhomogeneous nonlinear Volterra integral equation (1.1). Through this article, we consider the complete metric space (X, d), which d(f, g) = max x∈[a,b] | f(x) − g(x)|, for all f, gX and assume that φ is a bounded linear transformation on X.

Note that the linear mapping φ : XX is called bounded, if there exists M > 0 such that ∥φx∥≤Mx∥; for all xX. In this case, we define ∥φ∥ = sup {∥φx∥/∥x∥; x ≠ 0,   xX}. Thus, φ is bounded if and only if ∥φ∥<, [11].

Note 1. As φ is a bounded linear mapping on X, then φ(x) = λx, where λ does not depend on xX.

Definition 2.1. Let S denote the class of those functions α : [0, )→[0,1) satisfying the condition

()

Definition 2.2. Let 𝔅 denoted the class of those functions ϕ : [0, )→[0, ) which satisfies the following conditions:

  • (i)

    ϕ is increasing,

  • (ii)

    for each x > 0, ϕ(x) < x,

  • (iii)

    α(x) = ϕ(x)/xS,   x ≠ 0.

For example, ϕ(t) = μt, where 0 ≤ μ < 1,   ϕ(t) = t/(t + 1) and ϕ(t) = ln (1 + t) are in 𝔅.

3. Existence and Uniqueness of the Solution of Nonlinear Integral Equations

In this section, we will study the existence and uniqueness of the nonlinear functional-integral equation (1.1) on X.

Theorem 3.1. Consider the integral equation (1.1) such that

  • (i)

    φ : XX is a bounded linear transformation,

  • (ii)

    F : Dn and f : [a, b] → n are continuous,

  • (iii)

    there exists a integrable function p : [a, b]×[a, b] →    such that

    ()
    for each x, t ∈ [a, b] and u, vn.

  • (iv)

    .

Then, the integral equation (1.1) has a unique fixed point u in X.

Proof. Consider the iterative scheme

()
()

As the function ϕ is increasing then

()

so, we obtain

()

Therefore,

()
and so the sequence {d(un+1, un)} is nonincreasing and bounded below. Thus, there exists τ ≥ 0 such that lim nd(un+1, un) = τ. Since and α(τ) < 1, then there exist r ∈ [0,1) and ϵ > 0 such that α(s) < r for all s ∈ [τ, τ + ϵ]. We can take ν such that τd(un+1, un) ≤ τ + ϵ for all n with nν. On the other hand, we have
()
for all n with nν. It follows that
()
and hence, {un} is a Cauchy sequence. Since (X, d) is a complete metric space, then there exists a uX such that lim nun = u. Now, by taking the limit of both sides of (3.2), we have
()
So, there exists a solution uX such that Tu = u. It is clear that the fixed point of T is unique.

Note 2. Theorem 3.1 was proved with the condition (i), but there exist some nonlinear examples φ, such that by the analogue method mentioned in this theorem, the existence, and uniqueness can be proved for those. For example φ(x) = sin (x).

4. Applications

In this section, for efficiency of our theorem, some examples are introduced. For Examples 4.1 and 4.2, [5] is used. Maleknejad et al. presented some examples that the existence of their solutions can be established using their theorem. Generally, Examples 4.1 and 4.2 are introduced for the first time in this work. On the other hand, for Example 4.3, [12] is applied. In Chapter 6 of this reference, the existence theorems for Volterra integral equations with weakly singular kernels is discussed. Example 4.1 is extracted from this chapter.

Example 4.1. Consider the following linear Volterra integral equation:

()

We have
()
where . Now, we put p(x, t) = (tx)/μ and ϕ(t) = μt. Because , then by applying the result obtained in Theorem 3.1, we deduce that (4.1) has a unique solution in Banach space C([0,1], ).

Example 4.2. Consider the following nonlinear Volterra integral equation:

()
We write
()
Take p(x, t) = xcos (x2t)/(1 + xt) 2 and ϕ(t) = t/9. Since , then (4.3) has a unique solution in C([0,1], ).

Example 4.3 (see [12].)Consider the following singular Volterra integral equation

()
where 0 ≤ λ < 1 and 0 < α < 1/2. Then,
()
Put p(x, t) = (xt) α and ϕ(t) = λt. We have
()

It follows that if T1−α ≤ (1 − 2α) 1/2, then (4.5) has a unique solution in complete metric space C([0, T], ).

Remark 4.4. The unique solution uC([0,1], ) of the Volterra integral (4.5) is given by

()
where f(x) = u0 and
()
denotes the Mittag-Leffler function. The Mittag-Leffler function was introduced early in the 20th century by the Swedish mathematician whose name it bears. Additional properties and applications can be found, for example, in Erdélyi [13] and, especially, in the survey paper by Mainardi and Gorenflo [14].

Acknowledgments

The authors thank the referees for their appreciation, valuable comments, and suggestions.

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