 Research
 Open access
 Published:
Boundary value problems for nonlinear fractional integrodifferential equations: theoretical and numerical results
Advances in Difference Equations volume 2012, Article number: 18 (2012)
Abstract
This article is devoted to both the theoretical and numerical study of boundaryvalue problems for nonlinear fractional integrodifferential equations. Positivity and uniqueness results for the problem are provided and proved. Two monotone sequences of upper and lower solutions which converge uniformly to the unique solution of the problem are constructed using the method of lower and upper solutions. Sufficient numerical examples are discussed to corroborate the theory presented herein.
1 Introduction
In the past few years, there has been a growing interest in the theory and applications of fractional integrodifferential equations (FIDEs) due to their importance in many scientific areas such as: viscoelasticity and damping, diffusion and wave propagation, heat conduction in materials, biology, signal processing, telecommunications, physics, and finance (for more details see [1, 2], and the references therein).
It is wellknown that it is extremely difficult to find exact solutions of FIDEs. Therefore, several numerical methods have been proposed to approximate exact solutions for such problems. Examples of such methods are the Adomian decomposition method [3, 4], collocation spline method [5], Variational iteration method and homotopy perturbation method [6], fractional differential transform method [7, 8], CAS wavelets [2] and Taylor expansion method [9]. However, for recent work on existence and uniqueness of solutions of different classes of FIDEs, we may refer to [10–13], and the references therein.
In this article we consider a class of boundary value problems for nonlinear FIDEs of the form
subject to
where f ∈ C[I × ℝ, ℝ] is a decreasing function, K ∈ C[I × I, ℝ^{+}] is a positive kernel, h(x) ∈ C[I, ℝ] and y_{0}, y_{1} ∈ •. Here, D^{α}denotes the fractional differential operator of order α in Caputo's sense and is given by
where k ∈ • and satisfies the relation k  1 < α < k.
The purposes of this article are: (i) to prove the positivity and uniqueness results for the problem, and (ii) to employ the lower and upper solutions method (see [14]) to construct two monotone sequences which converge uniformly to the exact solution of the problem. It is worth mentioning that the present work is partially an extension to the works of [15, 16].
The rest of the article is organized as follows: some definitions and preliminary results are presented in Section 2. In Section 3, some relevant theoretical results are presented. In Section 3, we describe the algorithm used to construct two uniformly convergent sequences. In Section 4, numerical examples are discussed to prove the efficiency and the rapid convergence of the present algorithm.
2 Definitions and preliminary results
This section presents some definitions and preliminary results that will be extensively used in this study. We first introduce the RiemannLiouville definition of fractional derivative operator {J}_{a}^{\alpha}.
Definition 2.1. The RiemannLiouville fractional integral operator of order α is defined by
where y ∈ L_{1}[a, b], and α ∈ •^{+}.
The following lemma is important in our discussion.
Lemma 2.1. For k ∈ •, α ∈ •^{+}, if k  1 < α < k, and y ∈ L_{1}[a, b] then
and
where b > a ≥ 0 and x > 0.
The definitions of lower and upper solutions for problem (1.1)(1.2) are given by:
Definition 2.2. A function w ∈ C^{2}[I, •] is called a lower solution of(1.1)(1.2) on I if
with
and an upper solution, if the reversed inequalities hold.
Definition 2.3. If w, v ∈ C^{2}[I, •] are, respectively, lower and upper solutions of (1.1)(1.2) on I with w(x) ≤ v(x) for all x ∈ I, then we say that w and v are ordered lower and upper solutions.
3 Analytical results
In this section we present some analytical results which end with the proof of uniqueness of the solution to (1.1)(1.2). In the following lemma we introduce a positivity result which is the most important to establish our main results.
Lemma 3.1. (Positivity result) Let Z(x) ∈ C^{2}[I, ℝ] and R(x) < 0 ∀x ∈ I. If Z satisfies the inequality
with
then Z(x) ≥ 0, for all x ∈ I.
Proof. We use the method of proof by contradiction. Assume that Z has negative values at some points in the interval (0, 1). Since Z is a continuous function on I, then Z must attain its local and absolute minimum at some points x_{0} ∈ (0, 1); i.e., Z(x) ≥ Z(x_{0}) ∀x ∈ I with Z(x_{0}) < 0. From the result of Theorem 2.2 in [17], we have D^{α}Z(x_{0}) ≥ 0. Since R(x) < 0 ∀x ∈ I, we may apply the weighted mean value theorem for integrals as follows
which is a contradiction. Hence, Z(x) ≥ 0 ∀x ∈ I.
Lemma 3.2. Consider the nonlinear FIDE (1.1)(1.2) with f(x, y) be strictly decreasing with respect to y and K > 0 in D. Let w and v be, respectively, any lower and upper solutions to (1.1)(1.2), then w and v are ordered.
Proof. We shall prove that w(x) ≤ v(x) for all x ∈ I. Since w and v are, respectively, lower and upper solutions to (1.1)(1.2), we have
where 1 < α < 2. Subtracting Equation (3.3) from Equation (3.5) and then applying the mean value theorem on f, we obtain
where ξ = βv + (1  β)w, for β ∈ [0, 1]. Setting Z = v  w we obtain
with Z(0), Z(1) ≥ 0. Since f is strictly decreasing with respect to y, \frac{\partial f}{\partial y}\left(\xi \right) should be negative and, therefore, K\left(x,t\right)\frac{\partial f}{\partial y}\left(\xi \right)<0. Hence, Lemma (3.1) implies that Z(x) ≥ 0 for all x ∈ I as desired.
Lemma 3.3. (Uniqueness result) Let f(x, y) be strictly decreasing with respect to y and K > 0 in D. If Y_{1}and Y_{2}are solutions of the problem (1.1)(1.2) then Y_{1} = Y_{2}.
Proof. Since Y_{1} and Y_{2} are solutions of (1.1)(1.2), we have
Subtracting Equation (3.8) from Equation (3.10) and then applying the mean value theorem on f, we obtain
X
where ξ = βY_{2} + (1  β)Y_{1}, 0 ≤ β ≤ 1. Let Z = Y_{2}  Y_{1}, then Equation (3.12) is written as
with Z(0) = Z(1) = 0. By applying Lemma (3.1) we conclude that Z ≥ 0 and Z ≥ 0 which means Y_{1} = Y_{2} in I. Thus, the proof is complete.
4 A monotone iterative method
In the results below, we employ the concept of upper and lower solutions to construct two monotone sequences that converge uniformly to the exact solution of problem (1.1)(1.2).
Theorem 4.1. Consider that the nonlinear FIDE (1.1)(1.2) with f(x, y) is strictly decreasing and K > 0 in D. Let s_{0} = w and S_{0} = v be an initial ordered lower and upper solutions of (1.1)(1.2) on I. Let s_{ k }and S_{ k }fork ≥ 1 be, respectively, the solutions of
where\sigma \le \frac{\partial f}{\partial y}\le 0on [s_{0}, S_{0}]. Then we have
(i) {s_{ k }} is an increasing sequence of lower solutions to (1.1)(1.2) on I.
(ii) {S_{ k }} is a decreasing sequence of upper solutions to (1.1)(1.2) on I.
(iii) s_{ k }≤ S_{ k }, for k ≥ 1.
Proof.

(i)
Since the proof of (ii) is similar to that of (i) we prove only part (i). To show that {s _{ k }} is an increasing sequence, it suffices to prove
{s}_{k}{s}_{k1}\ge 0,\phantom{\rule{1em}{0ex}}\forall k\ge 1.(4.5)
To this end, we use the method of mathematical induction. For k = 1, Equation (4.1) gives
with
On the other hand, since s_{0} = w represents a lower solution of (1.1)(1.2), it must satisfies
with
Adding (4.6) to (4.8), we obtain
If we set Z = s_{1}  s_{0} then Equation (4.9) can be written as
with Z(0), Z(1) ≥ 0. According to Lemma (3.1) we conclude that Z ≥ 0 in I which implies that s_{1} ≥ s_{0}. If we assume that the statement (4.5) holds for k = n then we must prove that (4.5) is true for k = n + 1. From Equation (4.1), we have
Applying the mean value theorem on f and then rearranging the terms we obtain
where Z = s_{n+1} s_{ n }and ξ = βs_{ n }+ (1  β)s_{n1}, 0 ≤ β ≤ 1. Since Z(0), Z(1) ≥ 0, Lemma 3.1 implies that Z(x) ≥ 0 in I. Hence s_{n+1}≥ s_{ n }in I as desired.
To prove that s_{ k }is a lower solution to (1.1)(1.2) on I, it suffices to prove that \mathcal{L}{s}_{k}\ge 0 with s_{ k }(0) ≤ y_{0},s_{ k }(1) ≤ y_{1}. Subtracting {\int}_{0}^{x}K\left(x,t\right)f\left(t,{s}_{k}\right)\phantom{\rule{2.77695pt}{0ex}}dt from both sides of (4.1) and rearranging the terms, we obtain
where \mathcal{L}{s}_{k} is given by
Applying the mean value theorem on f and rearranging the terms, we obtain
where ξ = βs_{1} + (1  β)s_{0}, 0 ≤ β ≤ 1. Notice that, we used the result (4.5). Now, since \mathcal{L}{s}_{k}\ge 0 with s_{ k }(0) ≤ y_{0}, s_{ k }(1) ≤ y_{1}, then s_{ k }is a lower solution of (1.1)(1.2) on I.

(iii)
Finally, the proof of (iii) follows directly from Lemma 3.2 since s _{ k }and S _{ k }are, respectively, lower and upper solutions of (1.1)(1.2) on I.
The following theorem proves the uniform convergence of the sequences {s_{ k }} and {S_{ k }} that already constructed in the Theorem 4.1.
Theorem 4.2. Consider that the nonlinear FIDE (1.1)(1.2) with f(x, y) is strictly decreasing and K > 0 in D. Let {s_{ k }} and {S_{ k }} be, respectively, the sequences of lower and upper solutions as constructed in Theorem 4.1. If y is the exact solution of (1.1)(1.2) then we have
(i) {s_{ k }} and {S_{ k }} converge uniformly to s* and S*, respectively, with s* ≤ y ≤ S*.
(ii) if the conditions (4.2) and (4.4) are strictly equal, i.e., s_{ k }(0) = S_{ k }(0) = y_{0}and s_{ k }(1) = S_{ k }(1) = y_{1} ∀k ≥ 1 then s* = S* = y.
Proof.

(i)
The sequence {S _{ k }} is monotonically decreasing and bounded below by s _{0} = w, therefore it is convergent to a continuous function S*. Also, since the sequence {s _{ k }} is monotonically increasing and bounded above by S _{0} = v, it is convergent to a continuous function s*. On the other hand, since {s _{ k }} and {S _{ k }} are sequences of continuous realvalued functions on the compact set I := [0, 1], then Dini's theorem [18] proves that these sequences should converge uniformly to s* and S*, respectively. To show that s* ≤ S*, recall part (iii) of Theorem 4.1 then take the limit of both sides as k → ∞; we arrive at
{s}^{*}=\underset{k\to \infty}{\text{lim}}{s}_{k}\le y\le \underset{k\to \infty}{\text{lim}}{S}_{k}={S}^{*},
as desired.

(ii)
To prove part (ii), it is enough to show that s* and S* are solutions to (1.1)(1.2) since Lemma 2.3 ensures the uniqueness of the solution. Applying the fractional derivative operator J ^{α}on Equation (4.1), and imposing the conditions (1.2) we obtain
\begin{array}{l}{s}_{k}(x)+y(0)+{y}^{\prime}(0)x+\frac{1}{\Gamma (\alpha )}{\displaystyle \underset{0}{\overset{x}{\int}}{(xs)}^{\alpha 1}[\sigma (T{s}_{k})(s)}\\ \sigma (T{s}_{k1})(s)(T{f}_{k1})(s)h(s)]ds=0\end{array}(4.15)
where
Taking the limit of both sides of (4.15) as k → ∞ and using the fact that {s_{ k }} converges uniformly to s* we obtain
where
Applying the fractional derivative D^{α}on Equation (4.16) we obtain
as desired. Following similar steps to the above, one can verify that S* is also a solution to (1.1)(1.2). Now, applying Lemma 2.3 implies that s* = S* = y. Thus, the proof is complete.
5 Numerical results
In this section we consider two examples to demonstrate the performance and efficiency of the present technique. Notice that, for a given s_{0} and S_{0} (initial ordered lower and upper solutions of (1.1)(1.2) on I) we have to solve (4.1)(4.4) iteratively to obtain the solutions. However, the typical equation for s_{ k }or S_{ k }is a linear FIDE of the form
with
where F(x) is known function. Finding exact solutions for (5.1)(5.2) is, usually, a difficult task. Therefore, we solve them numerically using the collocation spline method, for the details about this algorithm we can refer to [5]. For comparison purposes, Example 5.1 is constructed in such a way that the exact solution is known.
Example 5.1. Consider the nonlinear FIDE
subject to the boundary conditions
where h(x) is given by
Note that the exact solution for this problem is y(x) = 4  3x.
Obviously, K = x(x  t)^{2} is a positive on I × I and the functions w(x) = 0 and v(x) = 4 form, respectively, initial ordered lower and upper solutions of (5.3)(5.4) on I.
Further, f(y) = 1/(1 + y)^{2} is a strictly decreasing function with
Hence, we choose σ = 1. The graphs of s_{ k }and S_{ k }for k = 0,1, 2, 3 together with the exact solution y are plotted in Figure 1. Notice that the sequences {s_{ k }} and {S_{ k }} converge to the exact solution, y(x). To measure the bound of the error (or the approximation error) at each iteration k, we use the L_{2}norm defined as
and
Table 1 shows that just after three iterations the errors {E}_{U}^{\left(k\right)} and {E}_{L}^{\left(k\right)} are of the order 10^{11}.
It should be noted that in the subsequent examples, the exact solutions are unknown.
Hence, we measure the bound of the error at each iteration k using the L_{2}norm defined as
This makes sense because, in view of Theorem 4.2, the exact solution is expected to be between the upper and lower solutions.
Example 5.2. Consider the nonlinear FIDE
subject to the boundary conditions
where K(x, t) = (3  x  t)^{2}and h(x) =  sin x.
It can be easily verified that the functions w(x) = 0 and v(x) = 3 form, respectively, initial ordered lower and upper solutions of (5.6)(5.7) on I. Obviously, K > 0 in I × I and f(y) = e^{y}is a strictly decreasing function with
Therefore, by choosing σ = 1, Theorem 4.1 applies. Figure 2 clearly shows the convergence of the sequences s_{ k }and S_{ k }. Table 2 displays approximate error bounds for E_{ k }as defined by (5.5).
Example 5.3. Consider the nonlinear FIDE
subject to the boundary conditions
where K(x, t) = e^{xt}andh\left(x\right)=\frac{1}{4}\left(1+{e}^{x}\right)\left(4+\text{sin}\left(\frac{1}{2}\right)\right).
The functions w(x) = 0.5 and v(x) = 2 are, respectively, initial ordered lower and upper solutions of (5.8)(5.9) on I. Note that K is positive in I × I and f = 1  y^{2} sin(y) is a strictly decreasing function with σ = 3.2. The graphs of s_{ k }and S_{ k }for k = 0, 1, 2, 3 are plotted in Figure 3.
The computed error bounds using (5.5) are also presented in Table 3. It is shown that the lower and upper approximations converge with an error, approximately, of order 10^{9} just after three iterations.
6 Conclusion
In this article, the boundary value problems for nonlinear FIDEs are discussed theoretically and numerically. Theoretically, we proved the positivity and uniqueness results for the problem. On the other hand, we utilized the monotone iterative method to construct two monotone sequences of upper and lower solutions which converge uniformly to the exact solution of the problem. Numerical examples have demonstrated the efficiency of the proposed algorithm.
References
Mainardi F: Fractional calculus: Some basic problems in continuum and statistical mechanics. In Fractals and Fractional Calculus in Continuum Mechanics. Edited by: Carpinteri, A, Mainardi, F. Springer Verlag, Wien; 1997:223–276.
Saeedi H, Moghadam MM: Numerical solution of nonlinear Volterra integrodifferential equations of arbitrary order by CAS wavelets. Commun Nonlinear Sci Numer Simulat 2011, 16: 1216–1226. 10.1016/j.cnsns.2010.07.017
Mittal RC, Nigam R: Solution of fractional integrodifferential equations by Adomian decomposition method. Int J Appl Math Mech 2008, 4(2):87–94.
Momani S, Aslam Noor M: Numerical methods for fourth order fractional integrodifferential equations. Appl Math Comput 2006, 182: 754–760. 10.1016/j.amc.2006.04.041
Rawashdeh EA: Numerical solution of fractional integrodifferential equations by collocation method. Appl Math Comput 2005, 176(1):1–6. 10.1016/j.cam.2004.07.002
Nawaz Y: Variational iteration method and homotopy perturbation method for fourthorder fractional integrodifferential equations. Comput Math Appl 2011, 61: 2330–2341. 10.1016/j.camwa.2010.10.004
Arikoglu A, Ozkol I: Solution of fractional integrodifferential equations by using fractional differential transform method. Chaos Solitons Fractals 2009, 40: 521–529. 10.1016/j.chaos.2007.08.001
Nazari D, Shahmorad S: Application of the fractional differential transform method to fractionalorder integrodifferential equations with nonlocal boundary conditions. J Comput Appl Math 2010, 234: 883–891. 10.1016/j.cam.2010.01.053
Huanga L, Li XF, Zhaoa Y, Duana XY: Approximate solution of fractional integrodifferential equations by Taylor expansion method. Comput Math Appl 2011, 62(3):1127–1134. 10.1016/j.camwa.2011.03.037
Agarwal RP, de Andrade B, Siracusa G: On fractional integrodifferential equations with statedependent delay. Comput Math Appl 2011, 62(3):1143–1149. 10.1016/j.camwa.2011.02.033
Ahmad B, Sivasundaram S: On fourpoint nonlocal boundary value problems of nonlinear integrodifferential equations of fractional order. Appl Math Comput 2010, 217: 480–487. 10.1016/j.amc.2010.05.080
Cao J, Yang Q, Huang Z: Optimal mild solutions and weighted pseudoalmost periodic classical solutions of fractional integrodifferential equations. Nonlinear Anal Theory Methods Appl 2011, 74: 224–234. 10.1016/j.na.2010.08.036
Rashid M, ElQaderi Y: Semilinear fractional integrodifferential equations with compact semigroup. Nonlinear Anal TMA 2009, 71: 6276–6282. 10.1016/j.na.2009.06.035
Pao CV: Nonlinear Parabolic and Elliptic Equations. Plenum Press, New York; 1992.
AlMdallal QM: Monotone iterative sequences for nonlinear integrodifferential equations of second order. Nonlinear Anal Real World Appl 2011, 12(6):3665–3673. 10.1016/j.nonrwa.2011.06.023
AlRefai M, Hajji MA: Monotone iterative sequences for nonlinear boundary value problems of fractional order. Nonlinear Anal Theory Methods Appl 2011, 74(11):3531–3539. 10.1016/j.na.2011.03.006
Shi A, Zhang S: Upper and lower solutions method and a fractional differential equation boundary value problem. Electron J Qual Theory Diff Equ 2009, 30: 1–13.
Bartle RG, Sherbert DR: Introduction to Real Analysis. 3rd edition. Wiley, New York; 2000.
Acknowledgements
The author would like to express his appreciation for the valuable comments of the reviewers which improved the exposition of the article. In addition, the author would like to extend his thanks to Dr. Mohamed Hajji and Professor Raghib Abu Saris of the United Arab Emirates University for their valuable discussion.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ original submitted files for images
Below are the links to the authors’ original submitted files for images.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
AlMdallal, Q.M. Boundary value problems for nonlinear fractional integrodifferential equations: theoretical and numerical results. Adv Differ Equ 2012, 18 (2012). https://doi.org/10.1186/16871847201218
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/16871847201218