- Research
- Open Access
- Published:
Impulsive boundary value problem for a fractional differential equation
Boundary Value Problems volume 2016, Article number: 203 (2016)
Abstract
In this paper, we discuss a boundary value problem for an impulsive fractional differential equation. By transforming the boundary value problem into an equivalent integral equation, and employing the Banach fixed point theorem and the Schauder fixed point theorem, existence results for the solutions are obtained. For application, we provide some examples to illustrate our main results.
1 Introduction
Fractional differential equations have attracted great attention from many researchers because fractional derivatives provide an excellent tool for the description of memory and hereditary properties of various processes in science and engineering, such as physics, control theory, electrochemistry, biology, viscoelasticity, signal processing, nuclear dynamics, etc. For details, see [1–4] and the references therein. Another important class of differential equations is known as impulsive differential equations. The interest in the study of them is that the impulsive differential system can model the processes which are subject to abrupt changes in their states, refer to [5–9]. Recently, boundary value problems for impulsive fractional differential equations have been attractive to many researchers; see [10–12].
Tian et al. [10] developed a sufficient condition for the existence of solutions to the impulsive boundary value problem involving the Caputo fractional derivative as follows:
where \({}^{c}D_{0^{+}}^{\alpha}\) is the Caputo fractional derivative, \(\alpha\in\mathbb{R}\), \(1<\alpha\leq2\), \(f:[0,1]\times\mathbb {R}\rightarrow\mathbb{R}\) is a continuous function, \(I_{k},\overline {I}_{k}\) are continuous functions, \(g,h\) are fixed continuous functionals. \(\Delta x|_{t=t_{k}}=x(t_{k}^{+})-x(t_{k}^{-}),\Delta x'|_{t=t_{k}}=x'(t_{k}^{+})-x'(t_{k}^{-}), x(t_{k}^{+}),x(t_{k}^{-})\) are the right limit and the left limit of the function \(x(t)\) at \(t=t_{k}\), respectively. By applying the Banach fixed point theorem and Kransnoselskii fixed point theorem, the existence results for the solution are obtained.
Shah et al. [11] studied the coupled system of fractional impulsive boundary problems
where \(1<\alpha,\beta\leq2\), \(\Phi,\Psi,I_{i},\overline {I}_{i},J_{j},\overline{J}_{j}\) are continuous functions, \(g,h,\kappa,f \) are fixed continuous functionals, and \(\Delta x|_{t=t_{i}}=x(t_{i}^{+})-x(t_{i}^{-}),\Delta x'|_{t=t_{i}}=x'(t_{i}^{+})-x'(t_{i}^{-})\), \(\Delta y|_{t=t_{j}}=y(t_{j}^{+})-y(t_{j}^{-}),\Delta y'|_{t=t_{j}}=y'(t_{j}^{+})-y'(t_{j}^{-})\). By using the same methods as Tian et al. [10], the existence results for the solution are obtained.
Motivated by the above papers, in this paper, we shall transform the impulsive boundary value problem (1) into an equivalent integral equation which is different from the integral equation [10] and [11] have obtained, and we apply the Schauder and Banach fixed point theorems to prove the existence and uniqueness of solutions to the boundary value problem with some growth conditions and Lipschitz conditions. Furthermore, the coupled system like (2) can be investigated in the same way. We note that here \(g,h\in PC(J,\mathbb{R})\) are any fixed functionals defined on the Banach space \(PC(J,\mathbb{R})\), which will be defined in Section 2. Furthermore, \(g,h\) may be given by
where \(0<\xi_{j},\zeta_{j}<1\), \(\xi_{j},\zeta_{j}\neq t_{i}\), \(j=1,2,\ldots,n, i=1,2,\ldots,m\), and \(\lambda, \kappa\) are given positive constants.
The rest of the paper is organized as follows. In Section 2, we will give some notations, recall some definitions, and introduce some lemmas which are essential to prove our main results. In Section 3, the main results are given, and some examples are presented to demonstrate our main results.
2 Preliminaries
In this section, we introduce notations, definitions, lemmas, and preliminary facts that will be used in the rest of this paper.
Definition 1
[1]
The Riemann-Liouville fractional integral of order \(\alpha>0\) of a function \(f:(0,\infty)\rightarrow\mathbb{R}\) is given by
provided that the integral exists.
Definition 2
[1]
The Caputo fractional derivative of order \(\alpha>0\) of the function \(f:(0,\infty)\rightarrow\mathbb{R}\) is given by
where \(n=[\alpha]+1\), and the notation \([\alpha]\) stands for the largest integer not greater than α, provided that the right side is pointwise defined on \((0,\infty)\).
Lemma 1
[2]
For \(\alpha>0,f(t)\in C[0,T]\cap L_{1}[0,T]\), the homogeneous fractional differential equation
has a solution
where \(c_{i}\in\mathbb{R},i=0,1,\ldots,n-1\), and \(n=[\alpha]+1\).
Lemma 2
[2]
Assume that \(f(t)\in C[0,T]\cap L_{1}[0,T]\), with derivative of order n that belongs to \(C[0,T]\cap L_{1}[0,T]\), then
where \(c_{i}\in\mathbb{R},i=0,1,\ldots,n-1\), and \(n=[\alpha]+1\).
We denote \(t_{0}=0,t_{m+1}=1,J_{0}=[0,t_{1}], J_{1}=(t_{1},t_{2}],\ldots ,J_{m}=(t_{m},1]\), and the Banach space
with the norm \(\|x\|_{PC}:=\sup \{|x(t)|:t\in J \}\).
We have the following auxiliary lemmas which are useful in the following.
Lemma 3
Let \(1<\alpha\leq2\). Assume that \(f\in C[J,\mathbb{R}]\). Then the problem
is equivalent to the following integral equation:
where
In other words, every solution of (3) is a solution of (4) and vice versa.
Proof
Assume that \(x(t)\) is a solution of the impulsive boundary value problem (3), using Lemma 2 we have
for some constants \(c_{0},c_{1}\in\mathbb{R}\). Then we find that
The boundary condition \(x(0)=-h(x)\) implies that \(c_{0}=h(x)\) and thus
with the constant \(c=-c_{1}\).
If \(t\in J_{1}\), then also by Lemma 2, we have
and
Then by the conditions \(\Delta x|_{t=t_{1}}=I_{1}(x(t_{1}))\) and \(\Delta x'|_{t=t_{1}}=\overline{I}_{1}(x(t_{1}))\), we can obtain
Thus, for \(t\in J_{1}\) we have
Repeating in the same fashion, we obtain the expression for the solution \(x(t)\) for \(t\in J_{k}\) as follows:
By the application of the boundary condition \(x(1)=g(x)\), we can obtain equation (5).
Conversely, we assume that \(x(t)\) is a solution of (4). If \(t\in J_{0}\), then, using the fact that \({}^{c}D_{0^{+}}^{\alpha}\) is the left inverse of \(I_{0+}^{\alpha}\), we get \({}^{c}D_{0^{+}}^{\alpha}x(t)=f(t)\). If \(t\in J_{k},k=0,1,\ldots,m\), due to the fact that the Caputo fractional derivative of a constant is equal to zero, we can verify easily that \(x(t)\) satisfies (3), therefore, \(x(t)\) is a solution of (3). The lemma is proved. □
3 Main results
According to Lemma 3, we know that the solution of impulsive boundary value problem coincides with the fixed point of the operator \(T:PC(J,\mathbb{R})\rightarrow PC(J,\mathbb{R})\) defined as follows:
where
Our first result is based on the Banach fixed point theorem. Before stating and proving the main result, we introduce the following hypotheses.
(H1) \(f:J\times\mathbb{R}\rightarrow\mathbb{R}\) is a continuous function and satisfies the Lipschitz condition
with a constant \(L_{1}>0\) for any \(x,y\in\mathbb{R}\), and \(t\in J\).
(H2) \(I_{k},\overline{I}_{k},g\), and h are continuous functions and satisfy the Lipschitz conditions with Lipschitz constants \(L_{2},L_{3},L_{4},L_{5}>0\).
Theorem 1
Assume that (H1) and (H2) hold. If
then the impulsive boundary value problem (1) has a unique solution.
Proof
The proof is based on the Banach fixed point theorem. Let us denote
Consider
where
Our first goal in this context is to show that T maps \(U_{0}\) into \(U_{0}\). It is clear that T is well defined on \(PC(J,\mathbb{R})\). Moreover, for any \(x(t)\in U_{0}\) and \(t\in J_{k},k=0,1,\ldots,m\), we have
and then
Consequently T maps \(U_{0}\) into itself.
Now, it remains to show that T is a contraction. Let \(x,y\in PC(J,\mathbb{R})\), then, for any \(t\in J_{k},k=0,1,\ldots,m\), we can easily to see from (7) and (8) that
Hence, T is a contraction and the Banach fixed point theorem implies that T has a unique fixed point on \(PC(J,\mathbb{R})\) which is a unique solution to (1). □
The second result is based on the Schauder fixed point theorem. We introduce the following assumptions.
(H3) There exists a nonnegative function \(a(t)\in L^{1}(J,\mathbb{R})\) such that \(|f(x,t)|\leq a(t)+l_{1}|x|^{\rho}\), and \(|I_{k}(x)|\leq l_{2}|x|^{\mu}\), \(|\overline{I}_{k}(x)|\leq l_{3}|x|^{\nu}\), \(|h(x)|\leq l_{4}|x|^{\theta}\), \(|g(x)|\leq l_{5}|x|^{\gamma}\), for any \(x\in \mathbb{R},k=1,2,\ldots,m\), where \(l_{1}\geq0,l_{i}>0,i=2,\ldots,5\), and \(0<\rho,\mu,\nu,\theta,\gamma\leq1\). Furthermore
(H4) \(|f(x,t)|\leq l_{1}|x|^{\rho}\), and \(|I_{k}(x)|\leq l_{2}|x|^{\mu }\), \(|\overline{I}_{k}(x)|\leq l_{3}|x|^{\nu}\), \(|h(x)|\leq l_{4}|x|^{\theta}\), \(|g(x)|\leq l_{5}|x|^{\gamma}\), for any \(x\in \mathbb{R},k=1,2,\ldots,m\), where \(l_{i}>0,i=1,2,\ldots,5\), and \(\rho ,\mu,\nu,\theta,\gamma>1\).
Theorem 2
Assume that (H3) or (H4) is satisfied, then the impulsive boundary value problem (1) has at least one solution.
Proof
We will use the Schauder fixed point theorem to prove this result. The proof will be given in several steps.
Step 1. T is a continuous operator.
It is very easy to find that T is continuous since \(f,g,h,I_{k},\overline{I}_{k},k=0,1,\ldots,m\), are continuous functions. We omit the details.
Step 2. T maps bounded sets into uniformly bounded sets in \(PC(J,\mathbb{R})\).
At first, we let the condition (H3) be valid. We denote
where
Now, we will illustrate that T maps U into itself in the following part. Indeed, for any \(x\in U\), we have
and then
Second, we are in the position to let (H4) be satisfied. Choose
Repeating arguments similar to that above we can arrive at
and
Consequently we have shown that T maps U into itself, it means that T maps bounded sets into uniformly bounded sets.
Step 3. T maps bounded sets into equicontinuous sets of \(PC(J,\mathbb{R})\).
U be a bounded set of \(PC(J,\mathbb{R})\) as in Step 2. For any \(x\in U\), take \(N_{f}=\max_{t\in J}|f(x,t)|+1\), let \(t,\tau\in J_{k}\) with \(t<\tau\), we have
and then
As \(\tau\rightarrow t\), the right-hand side of the above inequality tends to zero, hence we conclude that T maps bounded sets into equicontinuous sets of \(PC(J,\mathbb{R})\).
As a consequence of Step 1 to 3 together with the Ascoli-Arzela theorem we assert that T is a completely continuous operator. From the Schauder fixed point theorem one deduces that T has at least one fixed point which is a solution of the impulsive boundary value problem (1) and the theorem is proved. □
Remark 1
The condition
in the assumption (H3) can be removed, in the proof of this situation, we choose the bounded set \(U:=\{x(t)\in PC(J,\mathbb{R}) :\|x\| _{PC}\leq R\}\) with
where \(K=\frac{4}{\Gamma(\alpha)}\sum_{k=1}^{m+1}\int _{t_{k-1}}^{t_{k}}(t_{k}-s)^{\alpha-2}a(s)\,\mathrm{d}s\).
Remark 2
We state that the coupled system likes (2) can be investigated in the same way as the whole arguments we made above. We omit the details.
In the end of this section, we will give some examples to illustrate our results.
Example 1
Consider the following problem:
where \(\xi_{j},\zeta_{j}\neq\frac{1}{3}, j=1,2,\ldots,10\).
A simple computation shows that \(L_{1}=L_{4}+L_{5}=\frac {1}{15},L_{2}=L_{3}=\frac{1}{10}\), then
Hence, by Theorem 1, this impulsive boundary value problem has a unique solution.
Example 2
Consider the problem
where \(\xi_{j},\zeta_{j}\neq\frac{1}{2}, j=1,2,\ldots,10\).
Since we can get \(l_{1}=\frac{1}{16},l_{2}=l_{5}=\frac {1}{12},l_{3}=l_{4}=\frac{1}{15}\), we have
Therefore, by Theorem 2, we know that the above problem has at least one solution.
Example 3
We can pay attention to the following class of problems:
where \(\xi_{j},\zeta_{j}\neq\frac{1}{2}, j=1,2,\ldots,10\), \(1<\alpha\leq2\), \(0<\rho,\mu,\nu,\theta,\gamma\leq1\), or \(\rho,\mu,\nu ,\theta,\gamma>1\). By invoking Theorem 2 and Remark 1, we can imply that the above problem has at least one solution.
References
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006)
Diethelm, K: The Analysis of Fractional Differential Equations. Springer, Berlin (2010)
Zhou, Y: Basic Theory of Fractional Differential Equations. World Scientific, London (2014)
Ray, SS: Fractional Calculus with Applications for Nuclear Reactor Dynamics. CRC Press, Boca Raton (2015)
Bainov, DD, Simeonov, PS: System with Impulsive Effect. Ellis Horwood, Chichester (1989)
Lakshmikantham, V, Bainov, DD, Simeonov, PS: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Samoilenko, AM, Perestyuk, NA: Impulsive Differential Equations. World Scientific, Singapore (1995)
Heidarkhani, S, Salari, A: Nontrivial solutions for impulsive fractional differential systems through variational methods. Comput. Math. Appl. (2016, in press)
Heidarkhani, S, Salari, A, Caristi, G: Infinitely many solutions for impulsive nonlinear fractional boundary value problems. Adv. Differ. Equ. 2016, 196 (2016)
Tian, Y, Bai, Z: Impulsive boundary value problem for differential equations with fractional order. Differ. Equ. Dyn. Syst. 21(3), 253-260 (2013)
Shah, K, Khalil, H, Khan, RA: Investigation of positive solution to a coupled system of impulsive boundary value problems for nonlinear fractional order differential equations. Chaos Solitons Fractals 77, 240-246 (2015)
Guo, TL, Jiang, W: Impulsive problems for fractional differential equations with boundary value conditions. Comput. Math. Appl. 64, 3281-3291 (2012)
Acknowledgements
This work is supported by the National Natural Science Foundation of China (11371364). The author is very grateful to the anonymous referee for his or her valuable suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to this work. All authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Yang, S., Zhang, S. Impulsive boundary value problem for a fractional differential equation. Bound Value Probl 2016, 203 (2016). https://doi.org/10.1186/s13661-016-0711-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0711-7
MSC
- 26A33
- 34A08
- 34A37
- 34G20
- 34K10
Keywords
- boundary value problem
- impulsive
- fractional derivative
- fixed point theorem