Abstract
This article studies the existence and uniqueness of solutions for impulsive semilinear evolution equations of fractional order α ∈ (1, 2] with mixed boundary conditions. Some standard fixed point theorems are applied to prove the main results. An illustrative example is also presented.
Mathematics Subject Classification: 26A33; 34K30; 34K45.
Keywords:
evolution equations of fractional order; impulse; mixed boundary conditions; fixed point theorem.1 Introduction and preliminaries
Fractional differential equations arise in many engineering and scientific disciplines as the mathematical modeling of systems and processes in the fields of physics, chemistry, aerodynamics, control theory, signal, and image processing, biophysics, electrodynamics of complex medium, polymer rheology, fitting of experimental data, etc. [16]. For example, one could mention the problem of anomalous diffusion [79], the nonlinear oscillation of earthquake can be modeled with fractional derivative [10], and fluiddynamic traffic model with fractional derivatives [11] can eliminate the deficiency arising from the assumption to continuum traffic flow and many other [12,13] recent developments in the description of anomalous transport by fractional dynamics. For some recent development on nonlinear fractional differential equations, see [1424] and the references therein.
Impulsive differential equations, which provide a natural description of observed evolution processes, are regarded as important mathematical tools for the better understanding of several real world problems in applied sciences. The theory of impulsive differential equations of integer order has found its extensive applications in realistic mathematical modelling of a wide variety of practical situations and has emerged as an important area of investigation. The impulsive differential equations of fractional order have also attracted a considerable attention and a variety of results can be found in the articles [2536].
Motivated by Agarwal and Ahmad's work [33], in this article, we study a mixed boundary value problem for impulsive evolution equations of fractional order given by
where ^{C}D^{α }is the Caputo fractional derivative, A(t) is a bounded linear operator on J (the function t → A(t) is continuous in the uniform operator topology), and denote the right and the left limits of u(t) at t = t_{k}(k = 1, 2, ..., p), respectively and Δu'(t_{k}) have a similar meaning for u'(t).
It is worthwhile pointing out that the boundary conditions in (1.1) interpolate between Neumann (a = b = c = d = 0) and Dirichlet (a, d → ∞ with finite values of b and c) boundary conditions. Note that Zaremba boundary conditions (u(0) = 0, u'(T) = 0) can be considered as mixed boundary conditions with a → ∞, c = d = 0. For more details on Zaremba boundary conditions, see ( [3739]).
Let J_{0 }= [0, t_{1}], J_{1 }= (t_{1}, t_{2}], ..., J_{p1 }= (t_{p1}, t_{p}], J_{p }= (t_{p}, T], and we introduce the spaces: PC(J, ℝ) = {u : J → ℝu ∈ C(J_{k}), k = 0, 1, ..., p, and exist,k = 1, 2, ..., p,} with the norm , and PC^{1}(J, ℝ) = {u : J → ℝu ∈ C^{1}(J_{k}), k = 0, 1, ..., p, and exist,k = 1, 2, ..., p,} with the norm . Obviously, PC(J, ℝ) and PC^{1}(J, ℝ) are Banach spaces.
Definition 1.1 A function u ∈ PC^{1}(J, ℝ) with its Caputo derivative of order α existing on J is a solution of (1.1) if it satisfies (1.1).
For convenience, we give some notations:
where Λ = (b + 1)(c + d)  (a + b)(d  1) ≠ 0.
Lemma 1.1 [26]For a given y ∈ C[0, T], a function u is a solution of the impulsive mixed boundary value problem
if and only if u is a solution of the impulsive fractional integral equation
where
2 Uniqueness and existence results
Define an operator T : PC(J, ℝ) → PC(J, ℝ) as
Lemma 2.1 The operator T : PC(J, ℝ) → PC(J, ℝ) is completely continuous.
Proof. Observe that T is continuous in view of the continuity of f, I_{k }and . Let Ω ⊂ PC(J, ℝ) be bounded, where Ω = {u ∈ PC(J, ℝ): ∥u∥ ≤ r}. Then, there exist positive constants L_{i }> 0(i = 1, 2, 3) such that f(t, u(t)) ≤ L_{1}, I_{k}(u) ≤ L_{2 }and ∀u ∈ Ω. Thus, ∀u ∈ Ω, we have
Since t ∈ [0, T], therefore there exists a positive constant L, such that ∥Tu∥ ≤ L, which implies that the operator T is uniformly bounded.
On the other hand, for any t ∈ J_{k}, 0 ≤ k ≤ p, we have
Hence, for t_{1}, t_{2 }∈ J_{k}, t_{1 }< t_{2}, 0 ≤ k ≤ p, we have
which implies that T is equicontinuous on all J_{k}, k = 0, 1, 2, ..., p. Thus, by the ArzelaAscoli Theorem, the operator T : PC(J, ℝ) → PC(J, ℝ) is completely continuous.
We need the following known results to prove the existence of solutions for (1.1).
Theorem 2.1 [40]Let E be a Banach space. Assume that Ω is an open bounded subset of E with θ ∈ Ω and let be a completely continuous operator such that
Theorem 2.2 Let and , then the problem (1.1) has at least one solution.
Proof. In view of and , then there exists a constant r > 0 such that f(t, u) ≤ δ_{1}u, I_{k}(u) ≤ δ_{2}u and for 0 < u < r,
where δ_{i }> 0(i = 1, 2, 3) satisfy the inequality
Let us set Ω = {u ∈ PC(J, ℝ)  ∥u∥ < r} and take u ∈ PC(J, ℝ) such that ∥u∥ = r, that is, u ∈ ∂Ω. Then, by the process used to obtain (2.2), we have
Thus, it follows that ∥Tu∥ ≤ ∥u∥, u ∈ ∂Ω. Therefore, by Theorem 2.1, the operator T has at least one fixed point, which in turn implies that the problem (1.1) has at least one solution .
Theorem 2.3 Assume that there exist positive constants K_{i}(i = 1, 2, 3) such that
for t ∈ J, u, v ∈ ℝ and k = 1, 2, ..., p.
Then the problem (1.1) has a unique solution if , where
Proof. Denote F(s) = f(s, u(s))  f(s,v(s)) + A(s)u(s)  A(s)v(s).
For u, v ∈ PC(J, ℝ), we have
Thus, we obtain , where is given by (2.5). As , therefore, T is a contraction. Thus, the conclusion of the theorem follows by the contraction mapping principle. This completes the proof.
3 Examples
Competing interests
The authors declare that they have no competing interests.
Authors' contributions
GW and LZ completed the main part of this paper, GS corrected the main theorems and gave an example. All authors read and approved the final manuscript.
References

Sabatier, J, Agrawal, OP, Machado, JAT (eds.): Advances in Fractional Calculus: Theoretical Developments and Applications in Physics and Engineering. Springer, Dordrecht (2007)

Podlubny, I: Fractional Differential Equations, Mathematics in Science and Engineering. Academic Press, New York (1999)

Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. NorthHolland Mathematics Studies, Elsevier, Amsterdam (2006)

Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives. Theory and Applications, Gordon and Breach, Yverdon (1993)

Lakshmikantham, V, Leela, S, Vasundhara Devi, J: Theory of Fractional Dynamic Systems. Cambridge Academic Publishers, Cambridge (2009)

He, J: Approximate analytical solution for seepage flow with fractional derivatives in porous media. Comput Methods Appl Mech Eng. 167, 57–68 (1998). Publisher Full Text

ElSayed, AMA: Fractional order diffusion wave equation. Int J Theor Phys. 35, 311–322 (1996). Publisher Full Text

Gafiychuk, V, Datsun, B, Meleshko, V: Mathematical modeling of time fractional reactiondiffusion systems. J Comput Appl Math. 220, 215–225 (2008). Publisher Full Text

Metzler, R, Klafter, J: The restaurant at the end of the random walk: recent developments in the description of anomalous transport by fractional dynamics. J Phys Math Gen. 37, R161–208 (2004). Publisher Full Text

Delbosco, D, Rodino, L: Existence and uniqueness for a nonlinear fractional differential equation. J Math Anal Appl. 204, 609–625 (1996). Publisher Full Text

He, J: Some applications of nonlinear fractional differential equations and their approximations. Bull Sci Technol. 15, 86–90 (1999)

Metzler, R, Schick, W, Kilian, HG, Nonnenmacher, TF: Relaxation in filled polymers: a fractional calculus approach. J Chem Phys. 103, 7180–7186 (1995). Publisher Full Text

Ryabov, YaE, Puzenko, A: Damped oscillations in view of the fractional oscillator equation. Phys Rev B. 66, 184201 (2002)

Agarwal, RP, Zhou, Y, He, Y: Existence of fractional neutral functional differential equations. Comput Math Appl. 59, 1095–1100 (2010). Publisher Full Text

Zhou, Y, Jiao, F: Nonlocal Cauchy problem for fractional evolution equations. Nonlinear Anal RWA. 11, 4465–4475 (2010). Publisher Full Text

Wang, J, Zhou, Y: A class of fractional evolution equations and optimal controls. Nonlinear Anal RWA. 12, 262–272 (2011). Publisher Full Text

Ahmad, B, Nieto, JJ: Existence results for a coupled system of nonlinear fractional differential equations with threepoint boundary conditions. Comput Math Appl. 58, 1838–1843 (2009). Publisher Full Text

Ahmad, B, Sivasundaram, S: On fourpoint nonlocal boundary value problems of nonlinear integrodifferential equations of fractional order. Appl Math Comput. 217, 480–487 (2010). Publisher Full Text

Ahmad, B, Alsaedi, A: Existence and uniqueness of solutions for coupled systems of higher order nonlinear fractional differential equations. Fixed Point Theory Appl. 17 2010 (Article ID 364560) (2010)

Nieto, JJ: Maximum principles for fractional differential equations derived from MittagLeffler functions. Appl Math Lett. 23, 1248–1251 (2010). Publisher Full Text

Zhang, SQ: Positive solutions to singular boundary value problem for nonlinear fractional differential equation. Comput Math Appl. 59, 1300–1309 (2010). Publisher Full Text

Ntouyas, SK, Wang, G, Zhang, L: Positive solutions of arbitrary order nonlinear fractional differential equations with advanced arguments. Opuscula Mathematica. 31, 433–442 (2011)

Wang, G, Ntouyas, SK, Zhang, L: Positive solutions of the threepoint boundary value problem for fractionalorder differential equations with an advanced argument. Adv Diff Equ. 2 2011 (2011)

Wang, G, Zhang, L, Ntouyas, SK: Multiplicity of positive solutions for fractionalorder threepoint boundary value problems. In: Commun Appl Nonlinear Anal to appear

Wang, G, Ahmad, B, Zhang, L: New existence results for nonlinear impulsive integrodifferential equations of fractional order with nonlocal boundary conditions. In: Nonlinear Studies, to appear

Wang, G, Ahmad, B, Zhang, L: Some existence results for impulsive nonlinear fractional differential equations with mixed boundary conditions. Comput Math Appl. 62, 1389–1397 (2011). Publisher Full Text

Wang, G, Ahmad, B, Zhang, L: Impulsive antiperiodic boundary value problem for nonlinear differential equations of fractional order. Nonlinear Anal. 74, 792–804 (2011). Publisher Full Text

Zhang, L, Wang, G: Existence of solutions for nonlinear fractional differential equations with impulses and antiperiodic boundary conditions. Electron J Qual Theory Diff Equ. 7, 1–11 (2011)

Ahmad, B, Wang, G: A study of an impulsive fourpoint nonlocal boundary value problem of nonlinear fractional differential equations. Comput Math Appl. 62, 1341–1349 (2011). Publisher Full Text

Ahmad, B, Nieto, JJ: Existence of solutions for impulsive antiperiodic boundary value problems of fractional order. Taiwanese J Math. 15, 981–993 (2011)

Ahmad, B, Sivasundaram, S: Existence results for nonlinear impulsive hybrid boundary value problems involving fractional differential equations. Nonlinear Anal Hybrid Syst. 3, 251–258 (2009). Publisher Full Text

Ahmad, B, Sivasundaram, S: Existence of solutions for impulsive integral boundary value problems of fractional order. Nonlinear Anal Hybrid Syst. 4, 134–141 (2010). Publisher Full Text

Agarwal, RP, Ahmad, B: Existence of solutions for impulsive antiperiodic boundary value problems of fractional semilinear evolution equations. Dyn Contin Discret Impulse Syst Ser A Math Anal. 18, 535–544 (2011)

Mophou, GM: Existence and uniqueness of mild solutions to impulsive fractional differential equations. Nonlinear Anal. 72, 1604–1615 (2010). Publisher Full Text

Tian, Y, Bai, Z: Existence results for the threepoint impulsive boundary value problem involving fractional differential equations. Comput Math Appl. 59, 2601–2609 (2010). Publisher Full Text

Zhang, X, Huang, X, Liu, Z: The existence and uniqueness of mild solutions for impulsive fractional equations with nonlocal conditions and infinite delay. Nonlinear Anal Hybrid Syst. 4, 775–781 (2010). Publisher Full Text

Jahanshahi, M: Reduction of the Neumann, Poincare and RobinZaremba boundary value problems for Laplace equation to the Dirichlet boundary value problem. Appl Comput Math. 6, 51–57 (2007)

Van den Berg, M, Gilkey, P, Kirsten, K, Kozlov, VA: Heat content asymptotics for Riemannian manifolds with Zaremba boundary conditions. Potential Anal. 26, 225–254 (2007). Publisher Full Text

Avramidi, IG: Heat kernel asymptotics of Zaremba boundary value problem. Math Phys Anal Geom. 7, 9–46 (2004)

Sun, JX: Nonlinear Functional Analysis and its Application. Science Press, Beijing (2008)