Well-posedness for strongly damped abstract Cauchy problems of fractional order

Let X be a complex Banach space and B be a closed linear operator with domain $\mathcal{D}(B) \subset X,\,\, a,b,c,d\in\mathbb{R},$ and $0 \lt \beta \lt \alpha.$ We prove that the problem \begin{equation*} u(t) -(aB+bI)(g_{\alpha-\beta}\ast u)(t) -(cB+dI)(g_{\alpha}\ast u)(t) = h(t), \quad t\geq 0, \end{equation*}where $g_{\alpha}(t)=t<^>{\alpha-1}/\Gamma(\alpha)$ and $h:\mathbb{R}_+\to X$ is given, has a unique solution for any initial condition on $\mathcal{D}(B)\times X$ as long as the operator B generates an ad-hoc Laplace transformable and strongly continuous solution family $\{R_{\alpha,\beta}(t)\}_{t\geq 0} \subset \mathcal{L}(X).$ It is shown that such a solution family exists whenever the pair $(\alpha,\beta)$ belongs to a subset of the set $(1,2]\times(0,1]$ and B is the generator of a cosine family or a C0-semigroup in $X.$ In any case, it also depends on certain compatibility conditions on the real parameters $a,b,c,d$ that must be satisfied.