Abstract
In this paper, we consider the well-posedness and approximation for nonhomogeneous fractional differential equations in Banach spaces E. Firstly, we get the necessary and sufficient condition for the well-posedness of nonhomogeneous fractional Cauchy problems in the spaces Secondly, by using implicit difference scheme and explicit difference scheme, we deal with the full discretization of the solutions of nonhomogeneous fractional differential equations in time variables, get the stability of the schemes and the order of convergence.
Appendix
In this part, we recall the following version of Trotter-Kato’s Theorem [Citation28, Citation29] on general approximation scheme.
Theorem 4.1.
[Citation4] (Theorem ABC) Assume that and they generate C0-semigroups. The following conditions (A) and (B) are equivalent to condition
(A) Consistency. There exists such that the resolvents converge
(B) Stability. There are some constants and
which are not depending on n and such that
for
and any
(C) Convergence. For any finite one has
as
whenever
for any
Remark 4.1.
In case of approximation of analytic semigroups they have some changes in formulation of Theorem 4.1:
Stability. There exist constants
and ω independent of n such that for any
Convergence. For any finite
and some
we have
Here we denote
and
For the semidiscrete approximation of α-times resolvent family, we have the following ABC Theorems:
Theorem 4.2.
[Citation16] Suppose that and A, An generate exponentially bounded α-times resolvent families
in the Banach spaces E, En, respectively. The following conditions (A) and
are equivalent to condition
(A) Consistency. There exists such that the resolvents converge
Stability. There are some constants
and ω, which are not depending on n and such that
Convergence. For some finite
one has
as
whenever
for any
Theorem 4.3.
[Citation17] Suppose that and A, An generate exponentially bounded analytic α-times resolvent families
in the Banach spaces E, En, respectively. The following conditions (A) and
are equivalent to condition
(A) Consistency. There exists such that the resolvents converge
Stability. There are some constants
and ω which are independent of n, such that the sector
is included in
and
Convergence. For some finite
one has
whenever
for any
and for any