Abstract
In this paper, the local and global existence of mild solutions are studied for impulsive fractional semilinear stochastic differential equation with nonlocal condition in a Hilbert space. The results are obtained by employing fixed-point technique and solution operator. In many existence results for stochastic fractional differential systems, the value of \(\alpha \) is restricted to \(\frac{1}{2} < \alpha \le 1;\) the aim of this manuscript is to extend the results which are valid for all values of \(\alpha \in (0,\,1).\) An example is provided to illustrate the obtained theoretical results.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Fractional differential equations (FDEs) are viewed an excellent tool for describing real-life phenomena, which have memory and hereditary properties. The efficiency of describing the real-life phenomena by FDE is more accurate than the classical differential equations. Nowadays, it is the most attracted area of research. The existence of mild solution and other qualitative and quantitative properties of such FDE models of real-life phenomena have been studied by many researchers; as a part of it, several authors have established the existence of mild solutions for differential equations with fractional order see [3, 6, 8, 10, 15, 16, 20, 25, 31–34]. FDE are considered as an alternative model to nonlinear differential equations and can be found many applications in the areas of turbulence and fluid dynamics, stochastic dynamical systems, plasma physics and controlled thermonuclear fusion, nonlinear control theory, image processing, nonlinear biological systems, astrophysics, etc. (for more details, see [12, 19, 24]).
Stochastic differential equations play a vital role in mathematical modeling of real-life phenomena when noises are non-negligible. Besides, noise or stochastic perturbation is unavoidable and omnipresent in nature as well as in man-made systems [18]. Therefore, it is of great significance to import the stochastic effects into the investigation of fractional differential systems [2, 23].
An ordinary differential equation coupled with impulsive effects is considered as impulsive differential equations, and it was introduced by Milman and Myshkis in the year 1960. The perturbations such as earthquake, harvesting, shock, etc. can be well-approximated as instantaneous change of state or impulses, and they can be modeled by impulsive differential equations. The dynamics of process in which sudden discontinuous jumps occurs in the real-world problems can be described by the impulsive differential equations. Such processes are naturally seen in biology, physics, engineering, etc. Moreover, a simple impulsive differential equation may exhibit several new phenomena such as rhythmical beating, merging of solution, and noncontinuability of solutions; hence, it has developed tremendously for more details see [4, 5, 11, 13, 14, 17, 21, 22].
In [21], Ouahab studied the local and global existence and uniqueness results for first-order impulsive functional differential equations with multiple delay by means of the fixed-point theorems due to Schaefer and a nonlinear alternative of Leray–Schauder. The local and global existence of mild solution for a class of impulsive fractional semilinear integro-differential equations has been studied by Rashid and Al-Omari [25]. Very recently Chauhan and Dabas [5] discussed the local and global existence of mild solution for an impulsive fractional functional integro-differential equations with nonlocal condition. To the best of authors knowledge, there is no work still reported on the local and global existence of mild solution for impulsive fractional semilinear stochastic differential equation with nonlocal condition. Hence, the main objective of this manuscript is to fill this gap. Further, the existence results obtained in many works are valid only for \(\frac{1}{2} < \alpha \le 1;\) the aim of this manuscript is to provide the result, which is valid for all values of \(\alpha \in (0,\,1).\)
In this paper, we study the local and global existence of mild solution for the following impulsive fractional semilinear stochastic differential equation (1) with nonlocal condition in a Hilbert space using fixed-point technique and solution operator:
where \(^{c}D_{t}^{\alpha } x(t),\,0<\alpha <1\) is the Caputo fractional derivative, \(-A\) is sectorial operator, here \(x(\cdot )\) takes the values in a Hilbert space H with inner product \(\langle \cdot ,\,\cdot \rangle \) and norm \(\Vert \cdot \Vert .\) Let K be another separable Hilbert space with inner product \(\langle \cdot ,\,\cdot \rangle _{K}\) and norm \(\Vert \cdot \Vert _{K}.\) Suppose \(w(t)\) is K-valued Brownian motion or Wiener process with a finite trace nuclear covariance operator \(Q\ge 0.\) We employ the same notation \(\Vert \cdot \Vert \) for the norm of \(L(K,\,H),\) where \(L(K,\,H)\) denotes the space of all bounded linear operators from K into H. Let the nonlinear maps \(f:\,J\times \mathrm{PC}_{0}\rightarrow H\) and \(\sigma :\,J\times J \times \mathrm{PC}_{0}\rightarrow L(K,\,H)\) be continuous, where \(\mathrm{PC}_{0}=\mathrm{PC}([-r,\,0],\,H)\) and for any \(x\in \mathrm{PC}_{b}=\mathrm{PC}([-r,\,b],\,H),\,t\in J,\) we define the element \(x_{t}\) of \(\mathrm{PC}_{0}\) by \(x_{t}(\theta )=x(t+\theta ),\,\theta \in [-r,\,0].\) The function \(\phi _{0}\in \mathrm{PC}_{b}\) and the map h is defined from \(\mathrm{PC}_{b}\) into \(\mathrm{PC}_{b}.\)
This paper is organized as follows: In Sect. 2, we give some preliminaries, basic definitions and results, which will be used throughout this paper. In Sect. 3, the proof for the local existence of mild solution is provided . In Sect. 4, we prove the global existence of mild solution. Section 5 illustrates our theoretical results by an example.
2 Preliminaries
In this section, some basic definitions, notations, and lemmas are provided that will be used in the sequel. Let \((\varOmega ,\,\mathcal F,\,\mathbb {P})\) be a complete probability space furnished with a complete family of right continuous increasing sub-\(\sigma \)-algebras \(\{\mathcal F_{t}:\,t\in J\}\) satisfying \(\mathcal F_{t}\subset \mathcal F.\) Let \(x(t):\,\varOmega \rightarrow H\) be a continuous \(\mathcal F_{t}\)-adapted, H-valued stochastic process. Let \(\{\zeta _{n}\}^{\infty }_{n=1}\) be a complete orthonormal basis of K. Suppose that \(w(t),\,t\ge 0\), is a cylindrical K-valued Wiener process with finite trace nuclear covariance operator \(Q\ge 0,\) denote \(\mathrm{Tr}(Q)=\sum \nolimits _{n=1}^{\infty }\lambda _{n}<\infty ,\) which satisfies that \(Q\zeta _{n}=\lambda _{n}\zeta _{n}.\) Indeed \(w(t)=\sum \nolimits _{n=1}^{\infty }\sqrt{\lambda _{n}}w_{n}(t)\zeta _{n},\) where \(\{w_{n}(t)\}_{n=1}^{\infty }\) are mutually independent one-dimensional standard Wiener processes. Let \(\varphi \in L(K,\,H),\) and define
If \(\Vert \varphi \Vert _{Q}<\infty ,\) then \(\varphi \) is called Q-Hilbert–Schmidt operator. Let \(L_{Q}(K,\,H)\) denote the space of all Q-Hilbert–Schmidt operators from \(\varphi :\,K\rightarrow H.\) The completion \(L_{Q}(K,\,H)\) of \(L(K,\,H)\) with respect to the topology induced by the norm \(\Vert \cdot \Vert _{Q},\) where \(\Vert \varphi \Vert _{Q}^{2}=\langle \varphi ,\,\varphi \rangle \) is a Hilbert space with the above norm topology. For more details of this section, the reader can refer [1, 9, 18, 24].
Definition 2.1
[24] The Riemann–Liouville fractional integral of order \(\alpha >0\) for a function \(f:\,\mathbb {R}_+\rightarrow \mathbb {R}\) and \(f\in L^{1}(\mathbb {R}_{+},\,X)\) is defined as
where \(\varGamma (\cdot )\) is the Euler gamma function.
Definition 2.2
[24] The Caputo derivative of fractional order \(\alpha \) of a function \(f:\,[0,\,\infty )\rightarrow \mathbb {R}\) is defined as
for \(n-1\le \alpha <n,\,n\in N.\)
Definition 2.3
[24] The two parameter function of the Mittag–Leffler type is defined as
where C is a contour which starts and ends at \(-\infty \) and encircles the disk \(|\mu |\le \left| z\right| ^{\frac{1}{2}}\) counter clockwise.
The Laplace transform of the Mittag–Leffler function is given by
Definition 2.4
[9] A closed and linear operator A is said to be sectorial if there are constants \(\omega \in \mathbb {R},\,\theta \in [\frac{\pi }{2},\,\pi ],\,M>0\) such that the following conditions are satisfied
-
(i)
\(\rho (A)\subset \sum \nolimits _{(\theta ,\omega )}=\{\lambda \in \mathcal {C}:\,\lambda \ne \omega ,\,|\arg (\lambda -\omega )|<\theta \},\)
-
(ii)
\(\Vert R(\lambda ,\,A)\Vert \le \frac{M}{|\lambda -\omega |},\,\lambda \in \sum \nolimits _{(\theta ,\omega )}.\)
Definition 2.5
[31] Let A be a closed and linear operator with the domain \(D(A)\) defined in a Banach space X. Let \(\rho (A)\) be the resolvent set of A. We say that A is the generator of an \(\alpha \)-resolvent family if there exists \(\omega \ge 0\) and a strongly continuous function \(S_{\alpha }:\,\mathbb {R}_{+}\rightarrow \mathcal {L}(X),\) where \(\mathcal {L}(X)\) is a Banach space of all bounded linear operator from X into X and the corresponding norm is denoted by \(\Vert \cdot \Vert \) such that \(\{\lambda ^{\alpha }:\,\mathrm{Re}(\lambda )>\omega \}\subset \rho (A)\) and
where \(S_{\alpha }(t)\) is called the \(\alpha \)-resolvent family generated by A.
Definition 2.6
[7] Let A be a closed linear operator with the domain \(D(A)\) defined in a Banach space X and \(\alpha >0.\) We say that A is the generator of a solution operator if there exists \(\omega \ge 0\) and a strongly continuous function \(T_{\alpha }:\,\mathbb {R}_{+}\rightarrow \mathcal {L}(X)\) such that \(\{\lambda ^{\alpha }:\,\mathrm{Re}(\lambda )>\omega \}\subset \rho (A)\) and
where \(T_{\alpha }(t)\) is called the solution operator generated by A.
Definition 2.7
An \(\mathcal F_{t}\) adapted stochastic process \(x:\,[-r,\,b]\rightarrow H\) is called a mild solution of (1) if \(x(t)=\psi (t)\) on \([-r,\,0],\) where \(\psi \in \mathrm{PC}_{b}\) such that \(h(\psi )=\phi _{0}\) on \([-r,\,0]\) and satisfies the following conditions:
-
(i)
\(x(t)\) is \(\mathrm{PC}_{b}\) valued and the restrictions of \(x(\cdot )\) to \((t_{k},\,t_{k+1}],\,k=1,\,2,\ldots ,m\) is continuous.
-
(ii)
For each \(t\in J,\,x(t)\) satisfies the integral equation
$$\begin{aligned}&x(t)\\&\quad =\left\{ \begin{array}{ll} T_{\alpha }(t)\psi (0)+\int \nolimits _{0}^{t}S_{\alpha }(t-s)\left[ f\left( s,\,x_{s}\right) +\int \nolimits _{0}^{s}\sigma \left( s,\,\tau ,\,x_{\tau }\right) \mathrm{d}w(\tau )\right] \mathrm{d}s,\quad t\in \left[ 0,\,t_{1}\right] ,\\ T_{\alpha }(t)\psi (0)+\sum \nolimits _{i=1}^{m}T_{\alpha }\left( t-t_{i}\right) I_{i}\left( x\left( t_{i}^{-}\right) \right) ,\\ +\int \nolimits _{0}^{t}S_{\alpha }(t-s)\left[ f\left( s,\,x_{s}\right) +\int \nolimits _{0}^{s}\sigma \left( s,\,\tau ,\,x_{\tau }\right) \mathrm{d}w(\tau )\right] \mathrm{d}s,\quad t\in (t_{k},\,t_{k+1}], \quad k=1,\,2,\ldots ,m, \end{array} \right. \end{aligned}$$
where
where \(\hat{B}_{r}\) denotes the Bromwich path, \(S_{\alpha }(t)\) is called \(\alpha \)-resolvent family, and \(T_{\alpha }(t)\) is the solution operator, both are generated by A.
The following assumptions are assumed to establish the main results:
- (\(A_{1}\)):
-
The function \(f:\,J\times H\rightarrow H\) is continuous, and there exists a constant \(N_{1}\) such that \(E\Vert f(t,\,x)-f(t,\,y)\Vert ^{2}\le N_{1}E\Vert x-y\Vert ^{2}\) for all \(x,\,y\in H.\)
- (\(A_{2}\)):
-
The function \(g:\,D\times H\rightarrow L(K,\,H)\) is continuous, and there exists a constant \(N_{2}\) such that \(\int \nolimits _{0}^{t}E\Vert \sigma (t,\,s,\,x)-\sigma (t,\,s,\,y)\Vert ^{2}\mathrm{d}s\le N_{2}E\Vert x-y\Vert ^{2}\) for all \(x,\,y\in H,\) where \(D=J\times J=\{(t,\,s),\,t,\,s\in J\}.\)
- (\(A_{3}\)):
-
The nonlinear map \(h:\,\mathrm{PC}_{b}\rightarrow \mathrm{PC}_b\) is such that for any \(x_{1}\) and \(x_{2}\) in \(\mathrm{PC}_b\) with \(x_{1}=x_{2}\) on \([-r,\,0],\,h(x_{1})=h(x_{2})\) on \([-r,\,0].\)
- (\(A_{4}\)):
-
The functions \(I_{k}:\,H\rightarrow H\) are continuous, and there exists a constant \(\mu >0\) such that \(E\Vert I_k(x)-I_k(y)\Vert ^{2}\le \mu E\Vert x-y\Vert ^{2}\) for all \(x,\,y\in H,\,k=1,\,2,\ldots ,m.\)
- (\(A_{5}\)):
-
The functions \(I_{k}:\,H\rightarrow H\) are continuous, and there exists a constant \(\rho >0\) such that \(E\Vert I_{k}(x)\Vert ^{2}\le \rho E\Vert x\Vert ^{2}\) for all \(x\in H,\,k=1,\,2,\ldots ,m.\)
- \((A_{6})\) :
-
The functions \(f:\,J\times \mathrm{PC}_{0}\rightarrow H,\,\sigma :\, D\times \mathrm{PC}_{0}\rightarrow L(K,\,H)\), and \(I_{k}:\,H\rightarrow H,\,k=1,\,2, \ldots ,m\) are completely continuous.
- \((A_{7})\) :
-
The operator family \(\{T_{\alpha }(t)\}_{t\ge 0}\) and \(\{\overline{S}_{\alpha }(t)\}_{t\ge 0}\) are compact, where \(\overline{S}_{\alpha }(t)=t^{1-\alpha }S_{\alpha }(t).\) If \(A\in \mathcal {A}^{\alpha }(\theta _{0},\,\omega _{0})\) then \(\Vert T_{\alpha }(t)\Vert _{L(X)}\le M\mathrm{e}^{\omega t}\) and \(\Vert S_{\alpha }(t)\Vert _{L(X)}\le C\mathrm{e}^{\omega t}(1+t^{\alpha -1}).\) Let \(M_{T}=\sup _{0\le t\le b}\Vert T_{\alpha }(t)\Vert _{L(X)},\,M_{S}=\sup _{0\le t\le b}C\mathrm{e}^{\omega t}(1+t^{1-\alpha }),\) where \(L(X)\) is the Banach space of bounded linear operators from X into X. So we have \(\Vert T_{\alpha }(t)\Vert _{L(X)}\le M_{T}\) and \(\Vert S_{\alpha }(t)\Vert _{L(X)}\le t^{\alpha -1}M_{S}\) ( for more details see [32]).
3 Local Existence of Mild Solution
Theorem 3.1
If the conditions \((A_{1})\)–\((A_{5})\) are satisfied and there exists \(x_{0}\in \mathrm{PC}_{b}\) such that \(h(x_{0})=\phi _{0}\) on \([-r,\,0],\) then for every \(\phi _{0}\in \mathrm{PC}_{b}\) there exists a \(\tau _{0}=\tau _{0}(\phi _0),\,0<\tau _{0}<b\) such that the initial value problem (1) has a unique mild solution \(x\in \mathrm{PC}([-r,\,\tau _{0}],\,H).\)
Proof
Since we only consider the local solutions, and hence we may assume that \(b<\infty .\) Let \(t^{'}>0,\,R>0\) be such that \(B_{R}(x_{0})=\{x:\,E\Vert x-x_{0}\Vert ^{2}_{t^{'}}\le R\},\,E\Vert f(t,\,x)\Vert _{H}^{2}\le N_{1}\) and \(\int \nolimits _{0}^{t}E\Vert \sigma (t,\,s,\,x_{s})\Vert _{L(K,H)}^{2}\mathrm{d}s\le N_{2}\) for \(0\le t\le t^{'}\) and \(x\in B_{R}(x_{0}).\) Choose \(t^{''}>0\) such that \(E\Vert T_{\alpha }(t)x_{0}(0)-x_{0}(0)\Vert _{H}^{2}\le \frac{R}{15}\) for \(0\le t\le t^{''}\) and \(E\Vert x_{0}(t)-x_{0}(0)\Vert _{H}^{2}\le \frac{R}{15}\) for \(0\le t\le t^{''}\) and we choose
set \(Y=\mathrm{PC}_{\tau _{0}}=\mathrm{PC}([-r,\,\tau _{0}],\,H)\) and \(Y_{0}=\{x:\,x\in Y,\,x=x_{0} \,\mathrm{on}\,[-r,\,0] \,\mathrm{and} x(t)\in B_{R}(x_{0})\,\mathrm{for} \, 0\le t\le \tau _{0}\}.\) It is clear that \(Y_{0}\) is a bounded closed convex subset of Y.
We define a mapping \(\varPhi :\,Y_{0}\rightarrow Y\) by
For \(x\in Y_{0},\,t\in [0,\,\tau _{0}],\) we have
Thus \(\varPhi :\,Y_{0}\rightarrow Y_{0},\) if we choose \(\tau _{0}>0\) such that
Now, let \(x,\,y\in Y_{0},\) then
It follows from (2) and by Banach contraction mapping principle that there exists a unique \(x\in Y_{0}\) such that x is a mild solution of (1) on \([-r,\,\tau _{0}].\) This completes the proof. \(\square \)
Theorem 3.2
If the conditions \((A_{5})\)–\((A_{7})\) are satisfied and there exists \(x_{0}\in \mathrm{PC}_{b}\) such that \(h(x_{0})=\phi _{0}\) on \([-r,\,0],\) then for every \(\phi _{0}\in \mathrm{PC}_{b}\), there exists a \(\tau _{0}=\tau _{0}(\phi _{0}),\,0<\tau _{0}<b\) such that the initial value problem (1) has a mild solution \(x\in \mathrm{PC}([-r,\,\tau _{0}],\,H).\)
Proof
We use Schauder’s fixed-point theorem for the proof of this theorem. Let \(\varPhi :\,Y_{0}\rightarrow Y_{0}\) be defined as in Theorem 3.1.
-
Step 1: To show that, \(\varPhi \) is continuous from \(Y_{0}\) into \(Y_{0}.\) Let \(\{x^{n}\}\) be a sequence in \(Y_{0},\) such that \(x^{n}\rightarrow x\) in \(Y_{0}.\) Then \(f(t,\,x^{n}_{t})\rightarrow f(t,\,x_{t})\) and \(\sigma (t,\,s,\,x^{n}_{s})\rightarrow \sigma (t,\,s,\,x_{s})\) as \(n\rightarrow \infty ,\) because the functions f and \(\sigma \) are continuous on \(J\times \mathrm{PC}_{0}\) and \(D\times \mathrm{PC}_{0},\) respectively. Now for every \(t\in [0,\,\tau _{0}],\) we can estimate
$$\begin{aligned}&E\left\| \left( \varPhi x^{n}\right) (t)-(\varPhi x)(t)\right\| _{H}^{2}\le 3\left\{ M_{T}^{2}E\left\| I_{i}\left( x^{n}\left( t^{-}_{i}\right) \right) -I_{i}\left( x\left( t^{-}_{i}\right) \right) \right\| _{H}^{2}\right. \\&\quad \left. +M_{S}^{2}b\int \nolimits _{0}^{t}(t-s)^{2(\alpha -1)}E\left\| f\left( s,\,x^{n}_{s}\right) -f\left( s,\,x_{s}\right) \right\| _{H}^{2}\mathrm{d}s\right. \\&\quad \left. +M_{S}^{2}b\int \nolimits _{0}^{t}(t-s)^{2(\alpha -1)}\right. \\&\quad \left. \times \mathrm{Tr} (Q)\left[ \int \nolimits _{0}^{s}E\left\| \sigma \left( s,\,\tau ,\,x^{n}_{\tau }\right) -\sigma \left( s,\,\tau ,\,x_{\tau }\right) \right\| _{H}^{2}\mathrm{d}\tau \right] \mathrm{d}s\right\} , \end{aligned}$$now, we use the fact that,
$$\begin{aligned}&(t-s)^{2(\alpha -1)}E\left\| f\left( s,\,x^{n}_{s}\right) -f\left( s,\,x_{s}\right) \right\| ^{2}\nonumber \\&\quad \le 2N_{1}(t-s)^{2(\alpha -1)}\in L^{1}\left( J,\,\mathbb {R}^{+}\right) ,\\&(t-s)^{2(\alpha -1)}\int \nolimits _{0}^{s}E\left\| \sigma \left( s,\,\tau ,\,x^{n}_{\tau }\right) -\sigma \left( s,\,\tau ,\,x_{\tau }\right) \right\| ^{2}\mathrm{d}\tau \mathrm{d}s\\&\quad \le 2N_{2}(t-s)^{2(\alpha -1)}\in L^{1}\left( J,\,\mathbb {R}^{+}\right) , \end{aligned}$$and by means of Lebesgue dominated convergence theorem, we obtain
$$\begin{aligned}&\int \nolimits _{0}^{t}(t-s)^{2(\alpha -1)}E\left\| f\left( s,\,x^{n}_{s}\right) -f\left( s,\,x_{s}\right) \right\| _{H}^{2}\mathrm{d}s\rightarrow 0,\\&\int \nolimits _{0}^{t}(t-s)^{2(\alpha -1)}\int \nolimits _{0}^{s}E\left\| \sigma \left( s,\,\tau ,\,x^{n}_{\tau }\right) -\sigma \left( s,\,\tau ,\,x_{\tau }\right) \right\| _{H}^{2}\mathrm{d}\tau \mathrm{d}s\rightarrow 0. \end{aligned}$$Hence, \(\lim \nolimits _{n\rightarrow \infty }E\Vert \varPhi x^{n}-\varPhi x\Vert _{\tau _0}^{2}=0.\) Since the functions \(I_{k},\,k=1,\,2,\ldots ,m\) are continuous. This means that \(\varPhi \) is continuous.
-
Step 2: We show that \(\varPhi (Y_{0})=\{\varPhi x:\,x\in Y_{0}\}\) be an equicontinuous family of functions. For \(\tau _{0}>\tau _{2}>\tau _{1}>0,\) we have
$$\begin{aligned}&E\left\| (\varPhi x)\left( \tau _{2}\right) -(\varPhi x)\left( \tau _{1}\right) \right\| _{H}^{2}\nonumber \\&\quad \le 4\left\{ E\left\| T_{\alpha }\left( \tau _{2}\right) x_{0}(0)-T_{\alpha }\left( \tau _{1}\right) x_{0}(0)\right\| _{H}^{2}\right. \nonumber \\&\qquad \left. +E\left\| \sum \limits _{0<t_{k}<\tau _{2}}T_{\alpha }\left( \tau _{2}-t_{k}\right) I_{k}\left( x\left( t_{k}^{-}\right) \right) -\sum \limits _{0<t_{k}<\tau _{1}}T_{\alpha }\left( \tau _{1}-t_{k}\right) I_{k}\left( x\left( t_{k}^{-}\right) \right) \right\| _{H}^{2}\right. \nonumber \\&\qquad \left. +E\left\| \int \nolimits _{0}^{\tau _{2}}S_{\alpha }\left( \tau _{2}-s\right) f\left( s,\,x_{s}\right) \mathrm{d}s-\int \nolimits _{0}^{\tau _{1}}S_{\alpha }\left( \tau _{1}-s\right) f\left( s,\,x_{s}\right) \mathrm{d}s\right\| _{H}^{2}\right. \nonumber \\&\qquad \left. +E\left\| \int \nolimits _{0}^{\tau _{2}}S_{\alpha }\left( \tau _{2}-s\right) \left( \int \nolimits _{0}^{s}\sigma \left( s,\,\tau ,\,x_{\tau }\right) \mathrm{d}w(\tau )\right) \mathrm{d}s\right. \right. \nonumber \\&\quad \left. \left. -\int \nolimits _{0}^{\tau _{1}}S_{\alpha }\left( \tau _{1}-s\right) \left( \int \nolimits _{0}^{s}\sigma \left( s,\,\tau ,\,x_{\tau }\right) \mathrm{d}w(\tau )\right) \mathrm{d}s\right\| _{H}^{2}\right\} \nonumber \\&\quad \le 6\left\{ E\left\| T_{\alpha }\left( \tau _{2}\right) x_{0}(0)-T_{\alpha }\left( \tau _{1}\right) x_{0}(0)\right\| _{H}^{2}\right. \nonumber \\&\qquad \left. +\sum \limits _{i=1}^{k}E\left\| \left( T_{\alpha }\left( \tau _{2}-t_{i}\right) -T_{\alpha }\left( \tau _{1}-t_{i}\right) \right) I_{i}\left( x\left( {t_{i}^{-}}\right) \right) \right\| _{H}^{2}\right. \nonumber \\&\qquad \left. +\int \nolimits _{0}^{\tau _{1}}\left\| S_{\alpha }\left( \tau _{2}-s\right) -S_{\alpha }\left( \tau _{1}-s\right) \right\| _{L(H)}^{2}\mathrm{d}s\int \nolimits _{0}^{\tau _{1}}E\left\| f\left( s,\,x_{s}\right) \right\| ^{2}\mathrm{d}s\right. \nonumber \\&\qquad \left. +\int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}\mathrm{d}s\int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}E\left\| f\left( s,\,x_{s}\right) \right\| _{H}^{2}\mathrm{d}s\right. \nonumber \\&\qquad \left. +\int \nolimits _{0}^{\tau _1}\left\| S_{\alpha }\left( \tau _{2}-s\right) -S_{\alpha }\left( \tau _{1}-s\right) \right\| _{L(H)}^{2}\mathrm{d}s\int \nolimits _{0}^{\tau _{1}}\mathrm{Tr}(Q)\right. \nonumber \\&\left. \qquad \times \left( \int \nolimits _{0}^{s}E\left\| \sigma \left( s,\,\tau ,\,x_{\tau }\right) \right\| ^{2}_{L(K,H)}\mathrm{d}\tau \right) \mathrm{d}s\right. \nonumber \\&\left. \qquad +\int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}\mathrm{d}s \int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}\mathrm{Tr}(Q)\right. \nonumber \\&\left. \qquad \times \left( \int \nolimits _{0}^{s}E\left\| \sigma \left( s,\,\tau ,\,x_{\tau }\right) \right\| ^{2}_{L(K,H)}\mathrm{d}\tau \right) \mathrm{d}s\right\} \nonumber \\&\quad \le 6\sum \limits _{j=1}^{6}J_{j}, \end{aligned}$$(3)where
$$\begin{aligned} J_{3}&= \int \nolimits _{0}^{\tau _1}\left\| S_{\alpha }\left( \tau _{2}-s\right) -S_{\alpha }\left( \tau _{1}-s\right) \right\| _{L(H)}^{2}\mathrm{d}s\int \nolimits _{0}^{\tau _{1}}E\left\| f\left( s,\,x_{s}\right) \right\| ^{2}\mathrm{d}s,\\ J_{3}&\le \tau _{1}N_{1}\int \nolimits _{0}^{\tau _{1}}\left\| S_{\alpha }\left( \tau _{2}-s\right) -S_{\alpha }\left( \tau _{1}-s\right) \right\| _{L(H)}^{2}\mathrm{d}s, \end{aligned}$$and
$$\begin{aligned} J_{5}&= \int \nolimits _{0}^{\tau _{1}}\left\| S_{\alpha }\left( \tau _{2}-s\right) -S_{\alpha }\left( \tau _{1}-s\right) \right\| _{L(H)}^{2}\mathrm{d}s\nonumber \\&\quad \times \int \nolimits _{0}^{\tau _{1}}\mathrm{Tr}(Q)\left( \int \nolimits _{0}^{s}E\left\| \sigma \left( s,\,\tau ,\,x_{\tau }\right) \right\| ^{2}_{L(K,H)}\mathrm{d}\tau \right) \mathrm{d}s\\&\le \mathrm{Tr}(Q)\tau _{1}N_{2}\int \nolimits _{0}^{\tau _{1}}\left\| S_{\alpha }\left( \tau _{2}-s\right) -S_{\alpha }\left( \tau _{1}-s\right) \right\| _{L(H)}^{2}\mathrm{d}s. \end{aligned}$$Since \(\Vert S_{\alpha }(\tau _{2}-s)-S_{\alpha }(\tau _{1}-s)\Vert _{L(H)}^{2}\le 2M_{S}^{2}(\tau _{0}-s)^{2(\alpha -1)}\in L^{1}(J,\,\mathbb {R}^{+})\) for \(s\in [0,\,\tau _{0}]\) and \(S_{\alpha }(\tau _{2}-s)-S_{\alpha }(\tau _{1}-s)\rightarrow 0\) as \(\tau _{1}\rightarrow \tau _{2}\) because \(S_{\alpha }(\cdot )\) is strongly continuous. This implies that \(\lim \nolimits _{\tau _{1}\rightarrow \tau _{2}}J_{3}=\lim \nolimits _{\tau _{1}\rightarrow \tau _{2}}J_{5}=0.\) Also
$$\begin{aligned} J_{4}&=\int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}\mathrm{d}s\int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}E\left\| f\left( s,\,x_{s}\right) \right\| _{H}^{2}\mathrm{d}s,\\ J_{4}&\le \frac{M_{S}^{2}N_{1}\left( \tau _{2}-\tau _{1}\right) ^{2\alpha }}{\alpha ^{2}}, \end{aligned}$$and
$$\begin{aligned} J_{6}&=\int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}\mathrm{d}s \int \nolimits _{\tau _{1}}^{\tau _{2}}\left\| S_{\alpha }\left( \tau _{2}-s\right) \right\| _{L(H)}\mathrm{Tr}(Q)\\&\quad \times \left( \int \nolimits _{0}^{s}E\left\| \sigma \left( s,\,\tau ,\,x_{\tau }\right) \right\| ^{2}_{L(K,H)}\mathrm{d}\tau \right) \mathrm{d}s,\\ J_{6}&\le \frac{M_{S}^{2}N_{2}\mathrm{Tr}(Q)\left( \tau _{2}-\tau _{1}\right) ^{2\alpha }}{\alpha ^{2}}. \end{aligned}$$Hence, \(\lim \nolimits _{\tau _{1}\rightarrow \tau _{2}}J_{4}=0\) and \(\lim \nolimits _{\tau _{1}\rightarrow \tau _{2}}J_{6}=0.\) Since \(T_{\alpha }\) is strongly continuous, the continuity of \(t\mapsto \Vert T_{\alpha }(t)\Vert _{L(H)}\) allows us to conclude that the right-hand side of (3) is zero as \(\tau _{1}\rightarrow \tau _{2},\) which implies that \(\varPhi (Y_{0})\) is equicontinuous.
-
Step 3: Now, we prove \(\varPhi _{1}\) is completely continuous operator on H by adopting the method used in [32]. Decompose \(\varPhi \) by \(\varPhi =\varPhi _{1}+\varPhi _{2},\) where
$$\begin{aligned} \left( \varPhi _{1}x\right) (t)&= \left\{ \begin{array}{ll} 0;\quad t\in [-r,\,0], \\ \int \nolimits _{0}^{t}S_{\alpha }(t-s)\left[ f\left( s,\,x_{s}\right) \!+\!\int \nolimits _{0}^{s}\sigma \left( s,\,\tau ,\,x_{\tau }\right) \mathrm{d}w(\tau )\right] \mathrm{d}s;\quad t\in \left[ 0,\,\tau _{0}\right] , \end{array}\right. \\ \left( \varPhi _{2}x\right) (t)&= \left\{ \begin{array}{ll} x_{0}(t);\quad t\in [-r,\,0],\\ T_{\alpha }(t)x_{0}(0)+\sum \nolimits _{0<t_{i}<t}T_{\alpha }\left( t-t_{i}\right) I_{i}\left( x\left( t_{i}^{-}\right) \right) ;\quad t\in \left[ 0,\,\tau _{0}\right] . \end{array}\right. \end{aligned}$$From the compactness of \(\overline{S_{\alpha }(\cdot )}\) and \((A_{6})\), we can conclude that the set
$$\begin{aligned} \left\{ \overline{S_{\alpha }(t-s)}\left[ f\left( s,\,x_{s}\right) +\int \nolimits _{0}^{s}\sigma \left( s,\,\tau ,\,x_{\tau }\right) \mathrm{d}w(\tau )\right] ,\,t,\,s\in \left[ 0,\,\tau _{0}\right] ,\,x\in Y_{0}\right\} , \end{aligned}$$is relatively compact in H. Furthermore, using the mean value theorem for Bochner integral, we can conclude that \((\varPhi _1x)(t)\) belongs to the set
$$\begin{aligned} \frac{t^{\alpha +1}}{\alpha }\mathrm{conv}\overline{\left\{ \overline{S_{\alpha }(t-s)} \left[ f\left( s,\,x_{s}\right) +\int \nolimits _{0}^{s}\sigma \left( s,\,\tau ,\,x_{\tau }\right) \mathrm{d}w(\tau )\right] ,\,t,\,s\in \left[ 0,\,\tau _{0}\right] ,\,x\in Y_{0}\right\} }, \end{aligned}$$for all \(t\in [0,\,\tau _{0}],\) where \(\mathrm{conv}(\cdot )\) denotes the convex hull. Accordingly, the set \(\{\varPhi _{1}x(t):\,x\in Y_{0}\}\) is relatively compact. Now, for all \(t\in [-r,\,0],\,(\varPhi _{2}x)(t)=x_{0}(t).\) Since \(x_{0}(t)\) is a fixed function, it follows that \(\{\varPhi _{2}x(t),\,t\in [-r,\,0],\,x\in Y_{0}\}\) is a compact subset of H. But then, for \(t\in [0,\,\tau _{0}]\) and \(x\in Y_{0},\)
$$\begin{aligned} \varPhi _{2}x(t)=T_{\alpha }(t)x_{0}(0)+\sum \limits _{0<t_{i}<t}T_{\alpha }\left( t-t_{i}\right) I_{i}\left( x\left( t_{i}^{-}\right) \right) . \end{aligned}$$
Since \(T_{\alpha }(t)\) is compact for all \(t\in [0,\,\tau _{0}],\) it follows that the set \(G(t)=\{(\varPhi _{2}x)(t):\,t\in [-r,\,0],\,x\in Y_{0}\}\) is precompact in H, \(\varPhi _{2}\) is also compact. Therefore, \(\varPhi =\varPhi _{1}+\varPhi _{2}\) is compact. As well, the set \(E=\{x\in Y_{0}:\,x=\lambda \varPhi x\,\mathrm{for\,some}\,0<\lambda <1\}\) is bounded, since \(E\subset Y_{0}\) and \(Y_{0}\) is closed bounded convex set. By Schauder fixed-point theorem, we can conclude that \(\varPhi \) has a fixed point in \(Y_{0}\) and any fixed point of \(\varPhi \) is a mild solution of (1) on \([-r,\,\tau _{0}].\) \(\square \)
4 Global Existence of Mild Solution
This section consider the global existence of mild solution for the system (1).
Theorem 4.1
Assume the hypothesis of Theorem 3.2, let \(f:\,[-r,\,b)\times \mathrm{PC}_{0}\rightarrow H\) and \(\sigma :\,[-r,\,b)\times [-r,\,b)\times \mathrm{PC}_{0}\rightarrow H,\,0<b\le \infty \) are continuous and maps bounded sets in \([-r,\,b)\times \mathrm{PC}_{0}\) and \([-r,\,b)\times [-r,\,b)\times \mathrm{PC}_{0},\) respectively, into bounded sets in \(H,\) then for every \(\varPhi _{0}\in \mathrm{PC}_{b}\) the initial value problem (1) has a mild solution x on a maximal interval of existence \([-r,\,t_{\max }).\) If \(t_{\max }<\infty \) then \(\lim \, t\uparrow \,t_{\max } E\Vert x(t)\Vert _{H}=\infty .\)
Proof
By defining \(x(t+\tau _{0})=V(t),\) the initial value problem (1) can be translated into the following form:
where
and \(\widetilde{t}_{k}=t_{k}-\tau _0.\) Since the functions \(F,\,G\) are bounded functions, by Theorem 3.2, there exists a function \(V\in \mathrm{PC}([-r-\tau _{0},\,b-\tau _{0}],\,H)\) such that V is a mild solution of (4) on \([-r-\tau _{0},\,\tau _{1}]\) for some \(0<\tau _{1}<b-\tau _{0}\) and given by
\(\widetilde{h}(V(t))=\widetilde{\phi }(t), \quad t\in \left[ -r-\tau _{0},\,0\right] .\)
Then
is a mild solution of (1) on \([-r,\,\tau _{0}+\tau _{1}].\) Since \(x(t+\tau _{0})=V(t)\) thus for \(t\in [\tau _{0},\,\tau _{0}+\tau _{1}],\) we have
We can extend the solution of (1) to the maximal interval \([-r,\,t_{\max })\) by continuing in this way. Now, we can prove, if \(t_{\max }<\infty ,\) then \(E\Vert x(t)\Vert _{H}^{2}\rightarrow \infty \) as \(t\rightarrow t_{\max }\) by proving \(t\rightarrow t_{\max }\) implies \(\overline{\lim \nolimits }_{t\rightarrow t_{\max }}E\Vert x(t)\Vert _{H}^{2}=\infty .\) Indeed, if \(t\uparrow t_{\max }\) and \(\overline{\lim \nolimits }_{t\uparrow t_{\max }}E\Vert x(t)\Vert _{H}^{2}<\infty ,\) we may assume that \(\Vert T_{\alpha }(t)\Vert _{L(H)}\le M_{T}\) and \(E\Vert x(t)\Vert _{H}^{2}\le k_{1}\) for \(0\le t< t_{\max }\) where \(M_{T}\) and \(k_{1}\) are constants. Now, if \(0<R<t<t^{'}<t_{\max },\) then
Since for arbitrary \(t>R>0,\) in the uniform operator topology for \(t\ge R>0,\,T_{\alpha }(t),\,S_{\alpha }(t)\) are continuous, which implies that the right-hand side of (5) tends to zero as \(t,\,t^{'}\) tends to \(t_{\max }.\) Therefore, it proves that \(\lim \nolimits _{t\uparrow t_{\max }}x(t)=x(t_{\max })\) exists and the solution x can be extended beyond \(t_{\max }.\) Therefore, by assumption, \(t_{\max }<\infty \) implies that \(\overline{\lim \nolimits _{t\uparrow t_{\max }}}E\Vert x(t)\Vert _{H}^{2}=\infty .\) Now the proof of the theorem can be concluded by showing \(\lim \nolimits _{t\uparrow t_{\max }}E\Vert x(t)\Vert _{H}^{2}=\infty .\) If it is not true, then there is a sequence \(\tau _{n}\uparrow t_{\max }\) and a constant \(k_{1}\) such that \(E\Vert x(\tau _{n})\Vert _{H}^{2}\le k_{1}\) for all n. Let
and choose \(\rho _{1}\) such that \(\rho _{1}<\frac{1-6k_{1}}{8k_{1}m}.\)
Since \(t\rightarrow E\Vert x(t)\Vert _{H}^{2}\) is continuous and \(\overline{\lim \nolimits _{t\uparrow t_{\max }}}E\Vert x(t)\Vert _{H}^{2}=\infty ,\) we can find the sequence \(\{\lambda _{n}\}\) with the following properties: \(\lambda _{n}\rightarrow 0\) as \(n\rightarrow \infty ,\,E\Vert x(t)\Vert ^{2}_{H}\le M_{T}^{2}(k_{1}+1)\) for \(\tau _{n}\le t\le \tau _{n}+\lambda _{n}\) and \(E\Vert x(\tau _{n}+\lambda _{n})\Vert ^{2}_{H}=M_{T}^{2}(k_{1}+1).\) On the other hand, we have
which is absurd as \(\lambda _{n}\rightarrow 0.\) Therefore, we have \(\lim \nolimits _{t\rightarrow t_{\max }}E\Vert x(t)\Vert _H=\infty .\) This completes the proof. \(\square \)
5 Example
To illustrate our theoretical results, consider the following impulsive fractional semilinear stochastic differential equation with nonlocal conditions
Let \(H=L^{2}[0,\,\pi ],\,w(t)\) is standard cylindrical Wiener process defined on a stochastic basis \((\varOmega ,\,\mathcal {F},\,\{\mathcal {F}_{t}\}_{t\ge 0};\,\mathbb {P})\) and \(A:\,D(A)\subset H\rightarrow H\) be defined by \(Az=z^{''}\) with the domain \(D(A)=\{z\in H \,z,\,z^{'} \,\mathrm{are\, absolutely\,continuous}\, z^{''}\in H,\,z(0)=z(\pi )=0\}\) then
where \(z_{n}(x)=\sqrt{\frac{2}{\pi }}\sin (nx),\,n\in N\) is the orthonormal set of eigenvectors of A. It is well known that A generates an analytic semigroup \(\{T(t)\}_{t\ge 0}\) and
It follows from the above expression that \(\{T(t)\}_{t\ge 0}\) is a uniformly bounded compact semigroup, so that \(R(\lambda ^{\alpha },\,A)=(\lambda ^{\alpha }I-A)^{-1}\) is a compact operator for all \(\lambda \in \rho (A).\) In order to define the operator \(Q:\,H\rightarrow H,\) we choose a sequence \(\{\xi _{n}\},\) set \(Qz_{n}=\xi _{n} z_{n}\) and assume that
If we put \(t-s=-\theta \) in the first and second term on the RHS of (6), and take \(u(t,\,x)=u(t)x,\) we get
and
then (6) takes the following abstract form
where \(f:\,[0,\,1]\times \mathrm{PC}_{0}\rightarrow H\) and \(\sigma :\,[0,\,1]\times [0,\,1]\times \mathrm{PC}_{0}\rightarrow L_{2}(K,\,H)\) given by
\(I_{k}(u)=\sin (\frac{1}{7}\Vert u\Vert ),\,k=1,\,h(u)(\theta )=\sigma (u)\) for \(u\in \mathrm{PC}_{1},\,\theta \in [-\tau ,\,0],\,\phi (\theta )\equiv u_{0}\) for \(\theta \in [-\tau ,\,0],\) where \(\sigma :\,\mathrm{PC}_{1}\rightarrow L^{2}([0,\,\pi ])\) is such that
Then (6)–(9) can be written in the abstract form of (1). For \((t,\,\phi ),\,(s,\,\psi )\in [0,\,1]\times \mathrm{PC}_{0},\) we have
Similarly,
and
Furthermore, for a defined h, we find \(\eta (t)=\frac{u_{0}}{k^{*}}\in \mathrm{PC}_{1}\) on \([\tau ,\,0]\) with \(k^{*}=\frac{1}{\tau }\int \nolimits _{0}^{\tau }\mathrm{e}^{-2s}\mathrm{d}s\ne 0\) such that
We have \(h(\eta )=\phi .\) Thus, \((A_{1})\)–\((A_{7})\) are satisfied with \(N_{1}=\frac{2\pi (1+e)}{625}\) and \(N_{2}=\frac{2\pi \mathrm{e}^2}{16},\,\mu =\frac{1}{49},\,m=1,\,M_{T}=1,\,M_{S}=\frac{1}{\varGamma (\frac{1}{2})},\,\alpha =\frac{1}{2}.\) Further
Therefore by Theorem (3.1) the problem (6)–(9) has a unique mild solution on \([0,\,1].\)
6 Conclusion
In this manuscript, we have studied the local and global existence of mild solutions for impulsive fractional semilinear stochastic differential equations with nonlocal condition in a Hilbert space. The local and global existence of mild solutions is proved, respectively, using the Banach contraction principle and Schauder fixed-point theorem. The fixed-point technique and solution operator are employed to obtain the results, and the obtained result is valid for all \(\alpha \in (0,\,1).\) To validate the obtained theoretical results, one numerical example is analyzed. The FDE are very efficient to describe the real-life phenomena; thus, it is essential to extend the present study to establish the other qualitative and quantitative properties such as stability and controllability. In future, we can extend this work with Poisson jump and study the existence, uniqueness, and stability properties as discussed in [26, 28], and we could establish the asymptotic stability as discussed in [27, 29, 30]. The fractional Brownian motion is a generalization of the Brownian motion. Hence in our future work, we are interested to implement fractional Brownian motion to get more interesting results.
References
Araya, D., Lizama, C.: Almost automorphic mild solutions to fractional differential equations. Nonlinear Anal. 69(11), 3692–3705 (2008)
Balasubramaniam, P., Park, J.Y., Vincent Antony Kumar, A.: Existence of solutions for semilinear neutral stochastic functional differential equations with nonlocal conditions. Nonlinear Anal. 71(3–4), 1049–1058 (2009)
Balasubramaniam, P., Vembarasan, V., Senthilkumar, T.: Approximate controllability of impulsive fractional integro-differential systems with nonlocal conditions in Hilbert Space. Numer. Funct. Anal. Optim. 35(2), 177–197 (2014)
Benchohra, M., Ouahab, A.: Impulsive neutral functional differential equations with variable times. Nonlinear Anal. 55(6), 679–693 (2003)
Chauhan, A., Dabas, J.: Local and global existence of mild solution to an impulsive fractional functional integro-differential equation with nonlocal condition. Commun. Nonlinear Sci. Numer. Simul. 19(4), 821–829 (2014)
Chen, J., Tang, X.H.: Infinitely many solutions for a class of fractional boundary value problem. Bull. Malays. Math. Sci. Soc. (2) 36(4), 1083–1097 (2013)
Dabas, J., Chauhan, A., Kumar, M.: Existence of the mild solutions for impulsive fractional equations with infinite delay. Int. J. Differ. Equ. 2011, 793023 (2011)
Feckan, M., Zhou, Y., Wang, J.R.: On the concept and existence of solution for impulsive fractional differential equations. Commun. Nonlinear Sci. Numer. Simul. 17(7), 3050–3060 (2012)
Haase, M.: The functional calculus for sectorial operators. In: Operator Theory: Advances and Applications, vol. 169. Birkhauser-Verlag, Basel (2006)
Hernandez, E., O’Regan, D., Balachandran, K.: Existence results for abstract fractional differential equations with nonlocal conditions via resolvent operators. Indag. Math. 24(1), 68–82 (2013)
Hu, L., Ren, Y.: Existence results for impulsive neutral stochastic functional integro-differential equations with infinite delays. Acta Appl. Math. 111(3), 303–317 (2010)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies. Elsevier, Amsterdam (2006)
Lakshmikantham, V., Bainov, D.D., Simeonov, P.S.: Theory of Impulsive Differential Equations. World Scientific, Singapore (1989)
Lin, A., Ren, Y., Xia, N.: On neutral impulsive stochastic integro-differential equations with infinite delays via fractional operators. Math. Comput. Model. 51(5–6), 413–424 (2010)
Liu, Y.: Impulsive periodic type boundary value problems for multi-term singular fractional differential equations. Bull. Malays. Math. Sci. Soc. 37(2), 575–596 (2014)
Liu, Z., Liang, J.: Multiple solutions of nonlinear boundary value problems for fractional differential equations. Bull. Malays. Math. Sci. Soc. (2) 37(1), 239–248 (2014)
Luo, Z., Shen, J.: Global existence results for impulsive functional differential equations. J. Math. Anal. Appl. 323(1), 644–653 (2006)
Mao, X.: Stochastic Differential Equations and Applications. Horwood, Chichester (1997)
Miller, K.S., Ross, B.: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Mophou, G.M., N’Guerekata, G.M.: Existence of the mild solution for some fractional differential equations with nonlocal conditions. Semigroup Forum 79(2), 315–322 (2009)
Ouahab, A.: Local and global existence and uniqueness results for impulsive functional differential equations with multiple delay. J. Math. Anal. Appl. 323(1), 456–472 (2006)
Park, J.Y., Balachandran, K., Annapoorani, N.: Existence results for impulsive neutral functional integrodifferential equations with infinite delay. Nonlinear Anal. 71(7–8), 3152–3162 (2009)
Pedjeu, J.C., Ladde, G.S.: Stochastic fractional differential equations: modeling, method and analysis. Chaos Solitons Fractals 45(3), 279–293 (2012)
Podlubny, I.: Fractional Differential Equations. Academic Press, San Diego (1998)
Rashid, M.H.M., Al-Omari, A.: Local and global existence of mild solutions for impulsive fractional semilinear integro-differential equation. Commun. Nonlinear Sci. Numer. Simul. 16(9), 3493–3503 (2011)
Ren, Y., Sakthivel, R.: Existence, uniqueness, and stability of mild solutions for second-order neutral stochastic evolution equations with infinite delay and Poisson jumps. J. Math. Phys. 53(7), 073517 (2012)
Sakthivel, R., Luo, J.: Asymptotic stability of impulsive stochastic partial differential equations with infinite delays. J. Math. Anal. Appl. 356(1), 1–6 (2009)
Sakthivel, R., Ren, Y.: Exponential stability of second-order stochastic evolution equations with Poisson jumps. Commun. Nonlinear Sci. Numer. Simul. 17(12), 4517–4523 (2012)
Sakthivel, R., Ren, Y., Kim, H.: Asymptotic stability of second-order neutral stochastic differential equations. J. Math. Phys. 51(5), 052701 (2010)
Sakthivel, R., Revathi, P., Mahmudov, N.I.: Asymptotic stability of fractional stochastic neutral differential equations with infinite delays. Abstr. Appl. Anal. 2013, 769257 (2013)
Sakthivel, R., Revathi, P., Ren, Y.: Existence of solutions for nonlinear fractional stochastic differential equations. Nonlinear Anal. 81, 70–86 (2013)
Shu, X.B., Lai, Y., Chen, Y.: The existence of the mild solution for impulsive fractional partial differential equations. Nonlinear Anal. 74(5), 2003–2011 (2011)
Song, Y.: Existence of positive solutions for a three-point boundary value problem with fractional q-differences. Bull. Malays. Math. Sci. Soc. 37(4), 955–964 (2013)
Wang, J.R., Feckan, M., Zhou, Y.: On the new concept of solutions and existence results for impulsive fractional evolution equations. Dyn. PDE 8(4), 345–361 (2011)
Acknowledgments
The work of authors are supported by Council of Scientific and Industrial Research, Extramural Research Division, Pusa, New Delhi, India under the Grant No. 25(0217)/13/EMR-II and UMRG Grant Account No. RG099/10AFR.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Norhashidah M. Ali.
Rights and permissions
About this article
Cite this article
Balasubramaniam, P., Kumaresan, N., Ratnavelu, K. et al. Local and Global Existence of Mild Solution for Impulsive Fractional Stochastic Differential Equations. Bull. Malays. Math. Sci. Soc. 38, 867–884 (2015). https://doi.org/10.1007/s40840-014-0054-4
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-014-0054-4