On an inverse problem for an abstract differential equation of fractional order (Q368205)

The author studies the problem of the existence of a function \(u(t)\in C^1((0,1],E)\) belonging to \(D(A)\) for \(t\in (0,1]\) and an element \(p \in E\) which satisfies the following equations \[ D^\alpha u(t)=Au(t)+t^{k-1}p,\tag{1} \] \[ \lim_{t\rightarrow0}I^{1-\alpha}u(t)=u_0,\tag{2} \] \[ \lim_{t\rightarrow1}I^\beta u(t)=u_1,\tag{3} \] where \(k>0,\)\ \[ I^\beta u(t)=\frac{1}{\Gamma(\beta)}\int_0^t(t-s)^{\beta-1}u(s)ds \] is the left-sided fractional Riemann-Liouville integral of order \(\beta \geq 0\) (\(I^\beta\) is the unit operator for \(\beta=0\)), \(\Gamma(\cdot)\) is the gamma function, and \[ D^\alpha u(t)=\frac{d}{dt}I^{1-\alpha}u(t) \] is the left-sided fractional Riemann-Liouville derivative of order \(\alpha \in (0,1)\). Here, \(E\) is a Banach space and \(A\) is a closed linear densely defined operator in \(E\) with domain \(D(A)\) and a nonempty resolvent set. The problem ({1})--({3}) is an inverse problem in contrast to a direct problem of Cauchy type (1), (2) with a known element \(p \in E\). The problem can be regarded as the recovery of the nonstationary term \(t^{k-1}p\) in (1) by means of the additional boundary condition ({3}). It is established that the solvability of the problem depends on the distribution of zeros of the Mittag-Leffler function.