Table of Contents Author Guidelines Submit a Manuscript
Volume 2017 (2017), Article ID 7676814, 9 pages
Research Article

Application of Topological Degree Method for Solutions of Coupled Systems of Multipoints Boundary Value Problems of Fractional Order Hybrid Differential Equations

1Department of Mathematics, University of Malakand, Dir (L), Khyber Pakhtunkhwa, Pakistan
2Department of Mathematics, Sun Yat-Sen University, Guangzhou, China

Correspondence should be addressed to Yongjin Li; nc.ude.usys.liam@jylsts

Received 15 March 2017; Revised 26 April 2017; Accepted 11 May 2017; Published 20 July 2017

Academic Editor: Sundarapandian Vaidyanathan

Copyright © 2017 Muhammad Iqbal 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.


We established the theory to coupled systems of multipoints boundary value problems of fractional order hybrid differential equations with nonlinear perturbations of second type involving Caputo fractional derivative. The proposed problem is as follows: , , , , , , , , , where , is linear, is Caputo fractional derivative of order , with , , and is fractional integral of order . The nonlinear functions , are continuous. For obtaining sufficient conditions on existence and uniqueness of positive solutions to the above system, we used the technique of topological degree theory. Finally, we illustrated the main results by a concrete example.

1. Introduction

Due to a wide range of applications of fractional calculus in various scientific disciplines such as optimization theory, electric networks, signal processing, nonlinear control theory, nonlinear biological systems, controlled thermonuclear fusion, viscoelasticity, chemistry, turbulence, mechanics, oscillation, diffusion, fluid dynamics, stochastic dynamical system, polymer physics, plasma physics, astrophysics, chemical physics, and economics [14], the subject area has received much attention among the scientific community. Recently, the theory on existence and uniqueness of solutions to boundary value problems (BVPs) of fractional differential equations (DEs) are well studied and many results are available in literature (see, e.g., [510] and the references herein). The perturbed DEs are categorized into various types. Dhage [11] classified different types of perturbations for nonlinear integral and DEs. An important class of DEs which captured great attention in last few decades is the quadratic perturbations of nonlinear differential equations known as hybrid differential equations (HDEs). This class is well studied for BVPs with ordinary DEs. However, existence theory for BVPs with fractional hybrid differential equations (FHDEs) are not well explored and few results are available in the literature (see [12, 13]). This class of DEs includes perturbations of dynamical systems in different ways and hence includes several dynamical systems as special cases. Modern control-command systems often include controllers that perform nonlinear computations to control a physical system, which can typically be described by hybrid automaton containing high dimensional systems of nonlinear DEs. The hybrid systems are dynamical systems that involve the interaction of continuous (real valued) states and discrete (finite valued) states.

Recently, existence of solutions to some classes of HDEs is studied with the use of hybrid fixed point theory (see [1418]). Dhage and Jadhav [17] developed sufficient conditions for existence of maximal and minimal solutions to the following first-order HDEs: where for some , with and . The results of [17] were generalized by Lu et al. [18] to the case of fractional order and developed conditions for existence and uniqueness to the following FHDEs: Bashiri et al. in [13] used coupled fixed point theorem, a Krasnoselskii type generalization of fixed point theorem of Burton [19] in Banach spaces, to the case of coupled systems and developed sufficient conditions for existence of solutions to the following coupled systems of two-point BVPs for FHDEs:

Leray Schauder theory is powerful tool in solving operator equations of the form , where is compact. But in many situations, is not compact. Therefore, it is natural to ask whether the solutions of the above operator equation are possible if is not compact. Schauder constructed an example and showed that it is impossible. But later on Browder, Sadovski and Vath, and so on proved that it is possible to define a complete analogue of the Leray Schauder theory for condensing type mapping with compactness. They called this method the “topological degree method”; see for detail [20]. In 1970, Mawhin introduced the mentioned degree theory for nonlinear Volterra integral equations and differential equations with boundary conditions. On the other hand, using the classical fixed point theory such as “Schauder fixed point theorem” and “Banach contraction principle” required stronger conditions on the nonlinear functions and thus restrict the applicability of these results to limited classes of applied problems and to some specialized systems of BVPs. Finding the fixed points of the respective operator equations corresponding to fractional integral equations needs strong conditions for the compactness of the operator. To relax the criteria and establish weaker conditions in order to extend tools to more classes of BVPs, researchers need to look for some other refined tools of functional analysis. One of such tools is “topological degree theory.” The topological degree method is a powerful tool for existence of solutions to BVPs of many mathematical models that arise in applied nonlinear analysis. The concerned method is also called the “prior estimate method.” By coincidence degree theory approach, Mawhin [21] studied existence of solutions to the following BVPs:under appropriate assumptions. Dinca et al. [22] used this method together with Leray Schauder degree to prove the existence of solutions of the Dirichlet problems with -Laplacian:Isaia [23] used this method along with “the degree for condensing maps” and proved the existence of solutions for the following integral equation by using appropriate assumption on the functions and , where and are continuous functions, , Wang et al. [24] used “topological degree method” to a class of “nonlocal Cauchy problems” of the following form to study the existence and uniqueness of solutions:where is the Caputo fractional derivative of order , , and is continuous. For more study of fractional DEs via topological degree method, we refer to [6, 2426]. Recently, Shah et al. [27] applied the “topological degree method” and established sufficient conditions for the existence of at least one solution to the following coupled system of nonlinear ordinary fractional equations with four-point boundary conditions:where and are continuous, also The above system (9) contains two nonlinear functions, namely, , . While the proposed coupled system contains four nonlinearities as follows:which made the considered problem more general and complicated. Furthermore, in the proposed coupled system (10) of FHDEs, the order of fractional differential operator lies in . Moreover, the boundary conditions of the proposed problem involve Caputo fractional order derivative as well as ordinary derivative of higher order. Moreover, to the best of our knowledge, the topological degree method has not been applied properly for the systems of nonlinear hybrid fractional differential equations.

Motivated by this consideration, our main focus in the present article is to use topological degree approach for condensing mapping to investigate existence of solutions of coupled system (10). We would like to solve the dynamics of the system to determine how the state will evolve in the future, that is, to find a function called trajectory or solution of the system.

2. Preliminaries

In the following, we provide some basic definitions and results of fractional calculus and topological degree theory. For detailed study, we refer to [14, 10, 2830].

Definition 1 (see [1]). The fractional integral operator of order of a function is defined as provided that integral on the right is pointwise defined on .

Definition 2 (see [1]). The Caputo fractional order derivative of order of a continuous function is defined as where , provided that integral on the right is pointwise defined on .

Lemma 3 (see [1, 28]). The following results hold for fractional integral and Caputo derivative., , ., , where is a constant., , for .

Let ; the spaces of all continuous functions and are Banach spaces under the usual norms and , respectively. Moreover, the product space is a Banach space under the norm and norm . In the following, is a Banach space and is the family of all its bounded sets.

We recall the following notions, which can be found in [29].

Definition 4. “The function defined as , where is called the (Kuratowski-) measure of noncompactness.”

Some of the properties of this measure are listed below (without proof).

Proposition 5. The following assertions hold for Kuratowski measure : iff is relatively compact. is a seminorm; that is, and , where , and . implies and ...

Definition 6. Let and be a continuous bounded mapping. Then is -Lipschitz if Furthermore, if , then is a strict -contraction.

Definition 7. The function is -condensing ifIf , then .

It may be noted that the class of strict -contractions contains the class of -condensing maps. Also every member of -condensing map is -Lipschitz with constant .

Definition 8. is called Lipschitz if If , then is a strict contraction.

Proposition 9 (see [23]). If is compact, then is -Lipschitz with zero constant.

Proposition 10 (see [23]). If is Lipschitz with constant , then is -Lipschitz with the same constant .

Proposition 11 (see [23]). If are -Lipschitz with constants and , respectively, then is -Lipschitz with constant .

The following theorem from [23] plays a vital role for our main result.

Theorem 12. Let be -condensing andIf is a bounded set in , so there exist   ; then the degreeConsequently, has at least one fixed point and the set of fixed points of lies in .

Definition 13 (see [31]). An element is called “a coupled fixed point of a mapping” if and .

3. Main Result

Assume that and are continuous functions. Consider the following hypotheses:.There exist   ,There exist ,   ,There exist ,   ,There exist a continuous function   , for and .

The following lemma is useful in the existence results.

Lemma 14. If is -time integrable and assuming that the hypothesis holds, then the solutions of the multipoints BVPs:are the following integral equation:

Proof. Applying on and using Lemma 3, we obtainNow by conditions and hypothesis , (23) implies . Hence,Applying on (24) and using Lemma 3By conditions and and linearity of ,Subtracting (26) from (27) and rearranging, we getUsing (28) in (26), we getFrom (24), (28), and (29), it follows that where , , , , and

In view of Lemma 14, system (10) is equivalent to the following coupled systems of integral equations:Define operators byBy virtue of these operators, system (31) can be written asand solutions of system (10) are fixed points of .

Lemma 15. Assume that hypotheses and hold, then the operator is -Lipschitz with constant .

Proof. For , , using (), it follows thatThus, is Lipschitz with constant . Hence, by Proposition 10, is -Lipschitz with constant . Moreover, by using , we get the following condition for :

Lemma 16. Assume that the hypotheses and hold; then the operator is -Lipschitz with zero constant.

Proof. To show that is compact it is enough to show that is uniformly bounded and equicontinuous. Let as in . We have to show that . which by Lebesgue dominated convergence theorem givesThus, the image of a convergent sequence is convergent, so is a continuous on . Moreover, in view of , satisfies the following condition:Now, using , we obtainUpon using , (39) implies thatHence, is uniformly bounded. Now, for , and any , considerSince is uniformly continuous on for , so for      if , then . Thus, (41) becomesThus, if ; thus, is equicontinuous. Hence, by Arzela-Ascoli Theorem is compact and by virtue of Proposition 9, is -Lipschitz with zero constant.

Theorem 17. If and satisfying conditions , then the integral equationhas at least one solution and the set of solutions of system (10) is bounded in .

Proof. Let be the operators defined in (32). These are continuous and bounded. By Lemma 15, it follows that is -Lipschitz with constant . Also by Lemma 16, is -Lipschitz with zero constant. Thus, by using Proposition 11, is -Lipschitz with constant . SetWe will prove that is bounded in . For this let ; then , where . Now by (35) and (38), If , then , a contradiction. Thus, is bounded in . Consequently, we deduced by Theorem 12 that has at least one fixed point which is bounded in .

Remark 18. Here we remark that the conditions (, hold for . Therefore, in view of this remark, Theorem 17 is also valid for .

4. Illustrative Example

Example 1. Consider the coupled system of FHDEs given byFrom system (46) we see that , , , , , . Upon computation, we have , , , , , , , , and . In view of Theorem 17, is the solution set; then From which, we have