Abstract
In this paper, the existence and uniqueness results of the generalization nonlinear fractional integro-differential equations with nonseparated type integral boundary conditions are investigated. A natural formula of solutions is derived and some new existence and uniqueness results are obtained under some conditions for this class of problems by using standard fixed point theorems and Leray–Schauder degree theory, which extend and supplement some known results. Some examples are discussed for the illustration of the main work.
1. Introduction
Fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various materials and processes. Characteristics of the fractional derivatives make the fractional-order models more realistic and practical than the classical integral-order models. Fractional differential equations have gained considerable importance due to their application in various sciences, such as physics, polymer rheology, aerodynamics, capacitor theory, chemistry, biology, control theory, and electrodynamics of complex medium. The initial and boundary value problems for nonlinear fractional differential equations arise from the study of models of viscoelasticity, electrochemistry, porous media, and electromagnetics. In consequence, the subject of fractional differential equations is gaining much importance and attention [1–4]. The recent development in the theory and methods for fractional differential equations indicates its popularity. For more details, we refer the reader to [5–9] and the references cited therein.
Moreover, the existence and uniqueness of solutions for fractional differential equations have been mathematically studied from different methods [10–15], yielding methods for solving fractional differential equations [16–19]. As we all know, boundary value problems of fractional differential equations have been investigated for many years. Now, there are many papers dealing with the problem for different kinds of boundary conditions such as periodic or antiperiodic boundary condition [20, 21], multipoint boundary condition [22, 23], and integral boundary condition [24–28] as well as stability and convergence analysis [29–32]. Integral boundary conditions have various applications in applied fields such as blood flow problems, chemical engineering, thermoelasticity, underground water flow, and population dynamics. For a detailed description of some recent work on the integral boundary conditions, we refer the reader to some recent papers [33–35] and the references therein [36–39].
In [20], Ahmad and Nieto investigated the fractional differential equations with antiperiodic fractional boundary conditions as the following form:where and denote the Caputo fractional derivative of order α, β; is a given continuous function; and T is a fixed positive constant. The results are based on some standard fixed point principles.
Recently, in [24], the author discussed the nonlinear fractional differential equations with nonseparated type integral boundary conditionswhere denotes the Caputo fractional derivative of order α, are given continuous function, and λ1, λ2, μ1, μ2 are suitably chosen real constants with λ1 ≠ −1, λ2 ≠ −1. By applying the Leray–Schauder degree theory and some standard fixed point theorems, some new existence and uniqueness results are obtained.
Motivated by the abovementioned papers and many known results, in this paper, we concentrate on the existence and uniqueness of solutions for the nonlinear fractional integro-differential equations and inclusions of order α ∈ (1, 2], with nonseparated type integral boundary conditionswhere and denote the Caputo fractional derivative of order α, β; is a given continuous function satisfying some assumptions that will be specified later; Γ is the Euler gamma function; and μ1 ≠ −1, μ2 ≠ 0, κ, ξ: [0, T] × [0, T] ⟶ [0, ∞), φ, ψ are linear operators defined by. Here, denotes the Banach space of all continuous functions from [0, T] to endowed with a topology of uniform convergence with the norm .
To the best of our knowledge, no paper has considered the generalization of nonlinear fractional integro-differential equations with nonseparated type integral boundary conditions (3). Our purpose here is to give some existence and uniqueness results for solution to (3).
Compared with the previous research problems, (3) has more general integral boundary value conditions. This paper is organized as follows: in Section 2, we present the notations and give some preliminary results via a sequence of definitions and lemmas. In Section 3, we prove new existence and uniqueness results for problem (3). These results are based on fixed point theorems and Leray–Schauder degree theory. In Section 4, two examples are demonstrated which support the theoretical analysis.
2. Preliminaries and Lemmas
In this section, we present some basic notations, definitions, and preliminary results which will be used throughout this paper. Let us recall some definitions of fractional calculus. For more details, see [1, 2].
Definition 1. The fractional integral of order α with the lower limit zero for a function is defined asprovided the integral exists.
Definition 2. For a function with the lower limit zero, the Caputo derivative of fractional order α is defined aswhere n = [α] + 1 and [α] denote the integer part of the real number α.
Definition 3. The Riemann–Liouville fractional derivative of order α with the lower limit zero for a function f(t) is defined bywhere n = [α] + 1 and [α] denote the integer part of real number α, provided that the right side is pointwise defined on (0, ∞).
Lemma 1. For α > 0, the general solution of the fractional differential equation is given bywhere .
In view of Lemma 1, it follows thatfor some .
In the following, we derive a natural formula of solution to the integral boundary value problem for integro-differential equation (3).
Lemma 2. Assume that . A function u(t) is a solution of the boundary value problemif and only if u is a solution of the integral equation
Proof. Assume that y satisfies (10). Using Lemma 1, for some constants , we haveUsing the facts that (c is a constant), , and , we getApplying the boundary conditions for problem (3), we find thatSubstituting the value of c0 and c1 in (12), we obtain the unique solution of (10) which is given byConversely, we assume that u is a solution of the integral equation (11), and in view of the relations , for α > 0, we getMoreover, it can easily be verified that the boundary conditionsare satisfied. The proof is completed.
By Lemma 2, problem (3) is reduced to the fixed point problemwhere is given by
3. Main Results
In this section, we will show the existence and uniqueness of solutions for problem (3). Now we state some known fixed point theorems which are needed to prove the existence of solutions for equation (3).
Theorem 1. Let X be a Banach space. Assume that Φ: X ⟶ X is a completely continuous operator and the set V = {u ∈ X ∣ u = μΦu, 0 < μ < 1} is bounded. Then, Φ has a fixed point in X.
Theorem 2. Let X be a Banach space. Assume that Ω is an open bounded subset of X with 0 ∈ Ω and let be a completely continuous operator such thatThen Φ has a fixed point in .
Theorem 3. Suppose that is a jointly continuous function and maps bounded subsets of into relative compact subsets of , κ, ξ : [0, T] × [0, T] ⟶ [0, ∞) is continuous withand are continuous functions. Furthermore, there exist positive constants Ci(i = 1, …, 5) such that (H1) , ∀t ∈ [0, T], (H2) , , Then the boundary value problem (3) has a unique solution provided
Proof. Setting , , and . For a positive number r, let and , with r1 is given by (23), we will show that ΦBr ⊂ Br, where Φ is defined by (19), andFirst, ∀u(t) ∈ Br, there exists {un} ⊂ Br, and when n ⟶ ∞, un ⟶ u, it is easy to know thatThen Φ is continuous on Br.
Furthermore, for u ∈ Br, t ∈ [0, T], we haveNow, for u, and for each t ∈ [0, T], we obtainObserve that r1 depends only on the parameters involved in the problem. As r1 < 1, then Φ is a contraction map. Hence, the conclusion of the theorem follows by the contraction mapping principle, and Φ has a unique fixed point u. That is, the boundary value problem (3) has a unique solution. This completes the proof.
Our next existence results are based on Krasnoselskii’s fixed point theorem [40].
Theorem 4. Let M be a closed convex and nonempty subset of a Banach space X. Let A and B be the operators such that(i)Ax + By ∈ M, whenever x, y ∈ M(ii)A is compact and continuous(iii)B is a contraction mappingThen, there exists z ∈ M such that z = Az + Bz.
Theorem 5. Assume (H1) and (H2) hold, is a jointly continuous function. Further, we assume that (H3) (H4) .Then, problem (3) has at least one solution on [0, T].
Proof. Let , , and , we fixand considering , we define the operators Φ1 and Φ2 on asFor , we find thatThus, . It follows from the assumptions (H1) and (H2) that Φ2 is a contraction mapping ifMoreover, the continuity of f implies that the operator Φ1 is continuous. Also, Φ1 is uniformly bounded on asNow, we prove compactness of the operator Φ1. In view of (H3), we defineand consequently, we havewhich is independent of u and tends to zero as t2 − t1 ⟶ 0. So Φ1 is relatively compact on . Hence, by the Arzelá–Ascoli theorem, Φ1 is compact on . Thus, all the assumptions of Theorem 4 are satisfied. Therefore, the conclusion of Theorem 4 applies that the fractional boundary value problem (3) has at least one solution on [0, T]. This completes the proof.
As an immediate consequence of Theorem 5, we have the following.
Corollary 1. Assume that is a jointly continuous function. If there exists nonnegative functions, ai(t) ∈ L[0, T](i = 0, 1, 2, 3), bi(t), ci(t) ∈ C[0, T](i = 0, 1), 0 < ρj < 1(j = 1, 2, 3), 0 < θ1, θ2 < 1, and κ0, ξ0 are given by (21) and (22) such that (H5) (H6) For all t ∈ [0, T], , then the boundary value problem (3) has at least one solution.
Proof. Let us define a ball in the Banach space , where Λ is fixed later. SettingChoosing Λ sufficient large, then Φ : B ⟶ B. On the other hand, the continuity of f implies that the operator Φ is continuous. Also, since Φ : B ⟶ B, we have Φ(B) which is uniformly bounded on B.
Letand consequently, we obtainIt follows that Φ is equicontinuous, so Φ(B) is relatively compact on B. Hence, Φ(B) is relatively compact on B by Arzelá–Ascoli theorem. Thus, by Schauder fixed-point theorem, problem (3) has at least one solution.
Theorem 6. Assume that there exist positive constants pi, qi(i = 1, 2, 3) such that , , and for all t ∈ [0, T], u ∈ C[0, T]. Ifthen the boundary value problem (3) has at least one solution.
Proof. In view of the fixed point problem (19), we just need to prove the existence of at least one solution satisfying (19). Define a suitable ball with radius S > 0 aswhere S will be fixed later. Then, it is sufficient to show that satisfiesThen, by the Arzelá–Ascoli theorem, is completely continuous. If (40) is true, then the following Leray–Schauder degrees are well defined and by the homotopy invariance of topological degree, it follows thatwhere I denotes the unit operator. By the nonzero property of Leray–Schauder degree, we have for at least one u ∈ BS. In order to prove (40), we assume that for some λ ∈ [0, 1] and for all t ∈ [0, T] so thatwhich by taking norm and solving for , we havewhereSettingit follows that (40) holds. This completes the proof.
4. Examples
Example 1. Consider the following nonlinear fractional integro-differential equation with nonseparated type integral boundary conditions of , , and T = 1:Here, μ1 = μ2 = σ1 = σ2 = 1 andFor and t ∈ [0, 1], we haveAs and , we obtainThus, all the assumptions of Theorem 3 hold. Consequently, the conclusion of Theorem 3 implies that problem (46) has a unique solution.
Example 2. Consider the following integro-differential fractional boundary value problemHere, , , T = 1, μ1 = μ2 = σ1 = σ2 = 1, T = 1, andSinceClearly, , , , , and . Furthermore,Thus, by Theorem 5, the integro-differential boundary value problem (50) has at least one solution on [0, 1].
Data Availability
No data were used in the manuscript.
Conflicts of Interest
The authors declare that there are no conflicts of interest regarding the publication of this paper.
Acknowledgments
This work was supported by the National Natural Science Foundation of China (Nos. 11871174, 11771104, and 11871171) and Scientific and Technological Innovation Programs of Higher Education Institutions in Shanxi (No. 2019L0964). The authors, therefore, acknowledge with thanks the NNSF and STIP for the financial support.