On the Unique Solvability of Incomplete Cauchy Type Problems for a Class of Multi-Term Equations with the Riemann–Liouville Derivatives

Abstract

Incomplete Cauchy-type problems are considered for linear multi-term equations solved with respect to the highest derivative in Banach spaces with fractional Riemann–Liouville derivatives and with linear closed operators at them. Some new existence and uniqueness theorems for solutions are presented explicitly and the analyticity of the solutions of the homogeneous equations are also shown. The asymmetry of the Cauchy-type problem under study is expressed in the presence of a so-called defect, which shows the number of lower-order initial conditions that should not be set when setting the problem. As applications, our abstract results are used in the study of a class of initial-boundary value problems for multi-term equations with Riemann–Liouville derivatives in time and with polynomials of a self-adjoint elliptic differential operator with respect to spatial variables.

1. Introduction

A linear multi-term fractional equation

$$D_t^{\alpha }z\left(t\right)=\sum _{j=1}^{m-1}{A}_j{D}_t^{\alpha -m+j}z\left(t\right)+\sum _{l=1}^n{B}_l{D}_t^{{\alpha }_l}z\left(t\right)+\sum _{s=1}^r{C}_s{J}_t^{{\beta }_s}z\left(t\right)+f\left(t\right)$$

(1)

is investigated in this work, where $D_t^{\gamma }$ is the Riemann–Liouville derivative with $\gamma >0$, $J_t^{\gamma }$ is the Riemann–Liouville integral, $m-1<\alpha \le m\in \mathbb{N}$, $0<{\alpha }_1<{\alpha }_2<\cdots <{\alpha }_n<\alpha$, $m_l-1<{\alpha }_l\le m_l\in \mathbb{N}$, ${\alpha }_l-m_l\ne \alpha -m$, $l=1,2,\cdots ,n$, ${\beta }_1>{\beta }_2>\cdots >{\beta }_r\ge 0$, $f\in C((0,T);D)\cap L_1(0,T;D)$, operators $A_j$, $j=1,2,\cdots ,m-1$, $B_l$, $l=1,2,\cdots ,n$, $C_s$, $s=1,2,\cdots ,r$, are linear and closed with dense domains in the Banach space $\mathcal{Z}$, and the intersection D of which are also dense in the space $\mathcal{Z}$ and equipped with the sum of the norms of the graphs of these operators.

In the case $\mathcal{Z}=\mathbb{R}$ issues of the unique solvability of the Cauchy-type problem

$$D_t^{\alpha -m+k}z\left(0\right)=z_k,k=0,1,\cdots ,m-1,$$

(2)

for Equation (1) were investigated in [1,2,3,4,5,6,7] under various constraints on ${\alpha }_n$. It is shown in [6] that this problem is uniquely solvable if and only if ${\alpha }_n<\alpha -m+1$. In [8], it is shown that for Equation (1), generally speaking, only the incomplete Cauchy-type problem

$$D_t^{\alpha -m+k}z\left(0\right)=z_k,k=m^{\ast },m^{\ast }+1,\cdots ,m-1,$$

(3)

can be solved. Here $m^{\ast }$ is a number defined by a set of orders of derivatives $\alpha$, ${\alpha }_1$, ${\alpha }_2$, …, ${\alpha }_n$, it is called the defect of the Cauchy type problem. If a solution of (1) and (2) exists, then $D_t^{\alpha -m+k}z\left(0\right)=0$ for $k=0,1,\cdots ,m^{\ast }-1$. This is the asymmetry of the studied Cauchy-type problem. In [8], the unique solvability of the incomplete Cauchy-type problem (1) and (3) is proved in the case of bounded operators $A_j$, $j=1,2,\cdots ,m-1$, $B_l$, $l=1,2,\cdots ,n$, $C_s$, $s=1,2,\cdots ,r$, at $f\in C((0,T);\mathcal{Z})\cap L_1(0,T;\mathcal{Z})$.

In this paper, a class ${\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ of tuples of linear closed, densely-defined operators is introduced into consideration, ${\theta }_0\in (\pi /2,\pi )$, $a_0\ge 0$. It is shown that belonging of operators to this class implies the existence of a unique classical solution of the problem (1) and (3), which at $f\equiv 0$ can be analytically continued into the sector $\{t\in \mathbb{C}:|argt|<{\theta }_0-\pi /2,t\ne 0\}$. Proposed class ${\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ generalizes the class of operators ${\mathcal{A}}_{\alpha }({\theta }_0,a_0)$ (see [9,10]), into which it passes if $A_j=B_l=C_s=0$, $j=1,2,\cdots ,m-1$, $l=1,2,\cdots ,n$, $s=1,2,\cdots ,r-1$, ${\beta }_r=0$, and $C_r$ is a linear closed operator with a dense domain in $\mathcal{Z}$. The unique solvability of the Cauchy-type problem for linear and nonlinear equations with the Riemann–Liouville derivative and with an operator from ${\mathcal{A}}_{\alpha }({\theta }_0,a_0)$ in the right-hand side was studied in [11,12,13,14,15]. We also note the works [16,17], in which the initial problems for multi-term equations of form (1) with the Gerasimov–Caputo derivative were investigated.

This paper is organized as follows. In Section 2, the definitions for the fractional Riemann–Liouville derivative and integral, for the classical solution of the considered incomplete Cauchy-type problem and for the defect $m^{\ast }$ of the Cauchy-type problem are given. In Section 3, the class ${\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ of tuples of operators is defined and the existence and uniqueness of a classical solution for problem (1) and (3) is proved in the case of

$$(A_1,A_2,\cdots ,A_{m-1},B_1,B_2,\cdots ,B_n,C_1,C_2,\cdots ,C_r)\in {\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$$

and $f\equiv 0$. The solution is presented explicitly using the Laplace transform technique. In Section 4, this result is extended to the case of inhomogeneous Equation (1) with $f\in C((0,T);D)\cap L_1(0,T;D)$. Finally, in Section 5, the obtained results are used for the statement and the investigation of the unique solvability of a class of initial-boundary value problems for equations with several Riemann–Liouville derivatives in time and with polynomials of a self-adjoint elliptic differential operator with respect to spatial variables. A nontrivial example illustrating our results is also given. In contrast to the results of work [8] on the problem (1) and (3) with bounded operators, in this case the equations are considered, in which the degrees of polynomials at lower fractional derivatives in time can exceed the degree of the polynomial at the highest time-derivative.

2. Incomplete Cauchy Type Problem and Its Defect

Let $\mathcal{Z}$ be a Banach space, $\mathcal{L}\left(\mathcal{Z}\right)$ denote the Banach space of linear bounded operators in $\mathcal{Z}$, and by $\mathcal{C}l\left(\mathcal{Z}\right)$ the set of linear closed operators with dense domains in $\mathcal{Z}$ be denoted, ${\mathbb{R}}_{+}:=\{a\in \mathbb{R}:a>0\}$, ${\overline{\mathbb{R}}}_{+}:={\mathbb{R}}_{+}\cup \left\{0\right\}$, $h:{\mathbb{R}}_{+}\to \mathcal{Z}$. For $\beta >0$ let $g_{\beta }\left(t\right):=t^{\beta -1}/\mathsf{\Gamma }\left(\beta \right)$ at $t>0$,

$$J_t^{\beta }h\left(t\right):=(g_{\beta }\ast h)\left(t\right):=\underset{0}{\overset{t}{\int }}{g}_{\beta }(t-s)h\left(s\right)ds=\frac{1}{\mathsf{\Gamma }\left(\beta \right)}\underset{0}{\overset{t}{\int }}{(t-s)}^{\beta -1}h\left(s\right)ds.$$

By $J_t^0$, we denote the identity operator. Let $\alpha >0$, m be the smallest integer, which is greater or equal $\alpha$, $D_t^m$ be the usual derivative of the order $m\in \mathbb{N}$, and $D_t^{\alpha }$ be the fractional Riemann–Liouville derivative, i.e., $D_t^{\alpha }h\left(t\right)=D_t^m{J}_t^{m-\alpha }h\left(t\right)$. At $\beta <0$, we will use the notation $D_t^{\beta }h\left(t\right):=J_t^{-\beta }h\left(t\right)$.

By $\mathfrak{L}\left[h\right]$, we denote the Laplace transform of a function $h:{\mathbb{R}}_{+}\to \mathcal{Z}$, and by ${\mathfrak{L}}^{-1}\left[H\right]$ the inverse Laplace transform of a function $H:\mathsf{\Omega }\to \mathcal{Z}$, $\mathsf{\Omega }\supset \{\mu \in \mathbb{C}:\mathrm{Re}\mu >\omega \}$ at some $\omega \in \mathbb{R}$, is denoted. The Laplace transforms of the fractional Riemann–Liouville integral and the fractional Riemann–Liouville derivative, respectively satisfy the following equalities

$$\mathfrak{L}\left[J_t^{\alpha }h\right]\left(\lambda \right)={\lambda }^{-\alpha }\mathfrak{L}\left[h\right]\left(\lambda \right)$$

and

$$\mathfrak{L}\left[D_t^{\alpha }h\right]\left(\lambda \right)={\lambda }^{\alpha }\mathfrak{L}\left[h\right]\left(\lambda \right)-\sum _{k=0}^{m-1}{\lambda }^{m-1-k}{D}_t^{\alpha -m+k}h\left(0\right),$$

where $D_t^{\alpha -m+k}h\left(0\right):=\underset{t\to 0+}{lim}{D}_t^{\alpha -m+k}h\left(t\right)$. For further details, see [18] and references therein.

Let $m-1<\alpha \le m\in \mathbb{N}$, $0<{\alpha }_1<{\alpha }_2<\cdots <{\alpha }_n<\alpha$, $m_l-1<{\alpha }_l\le m_l\in \mathbb{N}$, ${\alpha }_l-m_l\ne \alpha -m$, $l=1,2,\cdots ,n$, ${\beta }_1>{\beta }_2>\cdots >{\beta }_r\ge 0$. Denote

$$\underline{\alpha }:=max\{{\alpha }_l:l\in \{1,2,\cdots ,n\},{\alpha }_l-m_l<\alpha ,m\},$$

and

$$\overline{\alpha }:=max\{{\alpha }_l:l\in \{1,2,\cdots ,n\},{\alpha }_l-m_l>\alpha -m\}.$$

We define

$$\underline{m}=\lceil \underline{\alpha }\rceil \mathrm{and}\overline{m}=\lceil \overline{\alpha }\rceil ,$$

where $\lceil ·\rceil$ indicates the ceiling function.

Remark 1.

Note that for integers ${\alpha }_l$ we have ${\alpha }_l=m_l$, so they always fall into the second group, provided that α is not an integer, otherwise the second group is empty; in the first group there are fractional numbers only. Therefore, by construction it is always $\underline{\alpha }<\underline{m}$, $\overline{m}<m$ (otherwise there will be ${\alpha }_l$, greater than α). If any of the sets, which determine the numbers $\overline{\alpha }$, $\underline{\alpha }$, is empty, we put by definition the corresponding value $\underline{m}$ or $\overline{m}$ equal to zero.

In this paper, we consider a linear multi-term fractional differential equation

$$D_t^{\alpha }z\left(t\right)=\sum _{j=1}^{m-1}{A}_j{D}_t^{\alpha -m+j}z\left(t\right)+\sum _{l=1}^n{B}_l{D}_t^{{\alpha }_l}z\left(t\right)+\sum _{s=1}^r{C}_s{J}_t^{{\beta }_s}z\left(t\right),t\in {\mathbb{R}}_{+},$$

(4)

where $A_j\in \mathcal{C}l\left(\mathcal{Z}\right)$, $j=1,2,\cdots ,m-1$, $B_l\in \mathcal{C}l\left(\mathcal{Z}\right)$, $l=1,2,\cdots ,n$, $C_s\in \mathcal{C}l\left(\mathcal{Z}\right)$, $s=1,2,\cdots ,r$, i.e., closed linear operators with domains $D_{A_1},D_{A_2},\cdots ,D_{A_{m-1}}$, $D_{B_1}$, $D_{B_2}$, …, $D_{B_n}$, $D_{C_1},D_{C_2},\cdots ,D_{C_r}$, respectively. A function $z:{\mathbb{R}}_{+}\to \mathcal{Z}$ is called a solution of Equation (4), if $J_t^{m-\alpha }z\in C^m({\mathbb{R}}_{+};\mathcal{Z})$, $J_t^{m-\alpha }z\in C^j({\mathbb{R}}_{+};D_{A_j})$, $j=1,2,\cdots ,m-1$, $J_t^{m_l-{\alpha }_l}z\in C^{m_l}({\mathbb{R}}_{+};D_{B_l})$, $l=1,2,\cdots ,n$, $J_t^{{\beta }_s}z\in C({\mathbb{R}}_{+};D_{C_s})$, $s=1,2,\cdots ,r$, and equality (4) holds for $t\in {\mathbb{R}}_{+}$.

For the equation, consider the Cauchy-type problem:

$$D_t^{\alpha -m+k}z\left(0\right)=z_k,k=0,1,\cdots ,m-1.$$

(5)

The following statements were proved in [8].

Corollary 1.

If $\alpha >{\alpha }_l$, ${\alpha }_l-m_l>\alpha -m$ for some $l\in \{1,2,\cdots ,n\}$ and for some $k\in \{0,1,\cdots ,m_l-1\}$$\underset{t\to 0+}{lim}{D}_t^{{\alpha }_l-m_l+k}z\left(t\right)\ne 0$, then there is no solution to problem (4) and (5).

Corollary 2.

If $\alpha >{\alpha }_l$, ${\alpha }_l-m_l<\alpha -m$ for some $l\in \{1,2,\cdots ,n\}$ and for some $k\in \{0,1,\cdots ,m_l-1\}$$\underset{t\to 0+}{lim}{D}_t^{{\alpha }_l-m_l+k}z\left(t\right)\ne 0$, then there is no solution to problem (4) and (5).

Corollary 3.

If $\underline{\alpha }>1$ and $z_k\ne 0$ for any $k\in \{0,1,\cdots ,\underline{m}-2\}$, then there is no solution to problem (4) and (5).

Corollary 4.

If $\overline{\alpha }>0$ and $z_k\ne 0$ for any $k\in \{0,1,\cdots ,\overline{m}-1\}$, then there is no solution of problem (4) and (5).

By applying results presented above, one can easily see that there exists a solution of problem (4) and (5), only if

$$D_t^{\alpha -m+k}z\left(0\right)=0\mathrm{for}k=0,1,\cdots ,m^{\ast }-1$$

and

$$D_t^{\gamma }z\left(0\right)=0\mathrm{for}\gamma \in \mathsf{\Lambda },$$

where $\mathsf{\Lambda }:=\{{\alpha }_1-1,{\alpha }_1-2,\cdots ,{\alpha }_1-m_1,{\alpha }_2-1,{\alpha }_2-2,\cdots ,{\alpha }_n-m_n\}$. Therefore, for Equation (4) it makes sense to consider only, generally speaking, the incomplete Cauchy-type problem

$$D_t^{\alpha -m+k}z\left(0\right)=z_k\mathrm{for}k=m^{\ast },m^{\ast }+1,\cdots ,m-1,$$

(6)

where $m^{\ast }:=max\{\underline{m}-1,\overline{m}\}$ is the so-called defect of the Cauchy-type problem [8], which is determined by the set of numbers $\alpha ,{\alpha }_1,{\alpha }_2,\cdots ,{\alpha }_n$ and characterizes the number of the lower initial conditions omitted in the incomplete problem. It is not difficult to make sure that $0\le m^{\ast }\le m-1$ (see [8]).

3. Analytic in a Sector Solutions of a Homogeneous Equation

Let $A_1,A_2,\cdots ,A_{m-1},B_1,B_2,\cdots ,B_n,C_1,C_2,\cdots ,C_r$ be closed linear operators with domains $D_{A_1},D_{A_2},\cdots ,D_{A_1}$, $D_{B_1},D_{B_2},\cdots ,D_{B_n}$, $D_{C_1},D_{C_2},\cdots ,D_{C_r}$ respectively. Denote:

$$D:=\bigcap _{j=1}^{m-1}{D}_{A_j}\cap \bigcap _{l=1}^n{D}_{B_l}\cap \bigcap _{s=1}^r{D}_{C_s},$$

and

$$R_{\lambda }:={\left({\lambda }^{\alpha }I-\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j-\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l-\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)}^{-1}:\mathcal{Z}\to D.$$

We supply the set D with the norm

$${\parallel ·\parallel }_D={\parallel ·\parallel }_{\mathcal{Z}}+\sum _{j=1}^{m-1}\parallel A_j{·\parallel }_{\mathcal{Z}}+\sum _{l=1}^n\parallel B_l{·\parallel }_{\mathcal{Z}}+\sum _{s=1}^r{\parallel C_s·\parallel }_{\mathcal{Z}},$$

with respect to which D is a Banach space, since it is the intersection of the Banach spaces $D_{A_1},D_{A_2},\cdots ,D_{A_{m-1}}$, $D_{B_1}$, $D_{B_2}$, …, $D_{B_n}$, $D_{C_1},D_{C_2},\cdots ,D_{C_r}$ with the corresponding graph norms.

Definition 1.

A tuple of operators $(A_1,A_2,\cdots ,A_{m-1},B_1,B_2,\cdots ,B_n,C_1,C_2,\cdots ,C_r)$ belongs to the class ${\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ for some ${\theta }_0\in (\pi /2,\pi )$, $a_0\ge 0$, if

(i)

D is dense in $\mathcal{Z}$;

(ii)

For all $\lambda \in S_{{\theta }_0,a_0}:=\{\mu \in \mathbb{C}:|arg(\mu -a_0)|<{\theta }_0\}$, $p=0,1,\cdots ,m-1$, operators:

$$R_{\lambda }·\left(I-\sum _{j=p+1}^{m-1}{\lambda }^{j-m}{A}_j\right)\in \mathcal{L}\left(\mathcal{Z}\right)$$

exist;

(iii)

For any $\theta \in (\pi /2,{\theta }_0)$, $a>a_0$, there exists such a $K(\theta ,a)$ that for all $\lambda \in S_{\theta ,a}$, $p=0,1,\cdots ,m-1$, we have

$${∥R_{\lambda }·\left(I-\sum _{j=p+1}^{m-1}{\lambda }^{j-m}{A}_j\right)∥}_{\mathcal{L}\left(\mathcal{Z}\right)}\le \frac{K(\theta ,a)}{{|\lambda -a|\left|\lambda \right|}^{\alpha -1}}.$$

Remark 2.

It immediately follows from condition (ii) that $R_{\lambda }\in \mathcal{L}\left(\mathcal{Z}\right)$ (take $p=m-1$) and $R_{\lambda }{A}_p\in \mathcal{L}\left(\mathcal{Z}\right)$ for all $p=0,1,\cdots ,m-1$, since

$$R_{\lambda }·\left(I-\sum _{j=p+1}^{m-1}{\lambda }^{j-m}{A}_j\right)-R_{\lambda }·\left(I-\sum _{j=p}^{m-1}{\lambda }^{j-m}{A}_j\right)={\lambda }^{p-m}{R}_{\lambda }{A}_p.$$

Note also that the inequality in (iii) at $p=m-1$ has the form

$${∥R_{\lambda }∥}_{\mathcal{L}\left(\mathcal{Z}\right)}\le \frac{K(\theta ,a)}{{|\lambda -a|\left|\lambda \right|}^{\alpha -1}}.$$

Remark 3.

When ${\beta }_r=0$, the condition $(0,\cdots ,0,C_r,0,\cdots ,0)\in {\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ is satisfied, if and only if $C_r\in {\mathcal{A}}_{\alpha }({\theta }_0,a_0)$ (see works [9,10,11,12,13,14,15]), at $\alpha =1$ such an operator is called sectorial [19,20].

Theorem 1.

Let $m-1<\alpha \le m\in \mathbb{N}$, $0<{\alpha }_1<{\alpha }_2<\cdots <{\alpha }_n<\alpha$, $m_l-1<{\alpha }_l\le m_l\in \mathbb{N}$, ${\alpha }_l-m_l\ne \alpha -m$, $l=1,2,\cdots ,n$, ${\beta }_1>{\beta }_2>\cdots >{\beta }_r\ge 0$, $A_j\in \mathcal{C}l\left(\mathcal{Z}\right)$, $j=1,2,\cdots ,m-1$, $B_l\in \mathcal{C}l\left(\mathcal{Z}\right)$, $l=1,2,\cdots ,n$, $C_s\in \mathcal{C}l\left(\mathcal{Z}\right)$, $s=1,2,\cdots ,r$, $(A_1,A_2,\cdots ,A_{m-1},B_1,B_2,\cdots ,B_n,C_1,C_2,\cdots ,C_r)\in {\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$, $z_k\in D$, $k=m^{\ast },m^{\ast }+1,\cdots ,$ $m-1$. Then there exists a unique solution to problem (4) and (6), and it has the form

$$z\left(t\right)=\sum _{p=m^{\ast }}^{m-1}{Z}_p\left(t\right)z_p,$$

where:

$$Z_p\left(t\right)=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{\lambda }^{m-\alpha }{R}_{\lambda }\left({\lambda }^{\alpha -1-p}I-\sum _{j=p+1}^{m-1}{\lambda }^{\alpha -m-1+j-p}{A}_j\right)e^{\lambda t}d\lambda ,$$

${\mathsf{\Gamma }}_{\epsilon ,r_0}:={\mathsf{\Gamma }}_{\epsilon ,r_0}^{+}\cup {\mathsf{\Gamma }}_{\epsilon ,r_0}^{-}\cup {\mathsf{\Gamma }}_{\epsilon ,r_0}^0$, ${\mathsf{\Gamma }}_{\epsilon ,r_0}^0:=\{\lambda \in \mathbb{C}:|\lambda -a_0-\epsilon |=r_0>0,arg\lambda \in (-{\theta }_0+\epsilon ,{\theta }_0-\epsilon )\}$, ${\mathsf{\Gamma }}_{\epsilon ,r_0}^{\pm }:=\{\lambda \in \mathbb{C}:arg(\lambda -a_0-\epsilon )=\pm ({\theta }_0-\epsilon ),|\lambda -a_0-\epsilon |\in [r_0,\infty )\}$, $\epsilon \in (0,{\theta }_0-\pi /2)$, $r_0>0$. Moreover, the solution can be analytically continued in the sector $\{t\in \mathbb{C}:|argt|<{\theta }_0-\pi /2,t\ne 0\}$.

Proof. 

Note that by virtue of Definition 1 for $\lambda \in {\mathsf{\Gamma }}_{\epsilon ,r_0}$,

$${∥{\lambda }^{m-\alpha }{R}_{\lambda }\left({\lambda }^{\alpha -1-p}I-\sum _{j=p+1}^{m-1}{\lambda }^{\alpha -m-1+j-p}{A}_j\right)∥}_{\mathcal{L}\left(\mathcal{Z}\right)}\le \frac{K({\theta }_0-\epsilon ,a_0+\epsilon ){\left|\lambda \right|}^{m-\alpha -p}}{|\lambda -a_0-\epsilon |}.$$

Consider the integral defining $Z_p\left(t\right)$ for $t>0$, on the part ${\mathsf{\Gamma }}_{\epsilon ,r_0}^{+}$ of the contour ${\mathsf{\Gamma }}_{\epsilon ,r_0}$, take $\lambda =a_0+\epsilon +r{e}^{i({\theta }_0-\epsilon )}$ and get an upper bound for the norm of this integral at $p=0$, we then obtain

$$\begin{array}{cc}\hfill c_1{e}^{(a_0+\epsilon )t}\underset{r_0}{\overset{+\infty }{\int }}{r}^{m-\alpha -1}{e}^{rcos({\theta }_0-\epsilon )t}dr& \le c_1{e}^{(a_0+\epsilon )t}\underset{t{r}_0{c}_2}{\overset{+\infty }{\int }}\frac{{\tau }^{m-\alpha -1}{e}^{-\tau }}{t^{m-\alpha }{c}_2^{m-\alpha }}d\tau \hfill \\ \hfill & \le \frac{c_1{c}_2^{\alpha -m}\mathsf{\Gamma }(m-\alpha )e^{(a_0+\epsilon )t}}{t^{m-\alpha }},\hfill \end{array}$$

where $c_2=|cos({\theta }_0-\epsilon )|$. For $p=1,2,\cdots ,m-1$, we get

$$c_1{e}^{(a_0+\epsilon )t}\underset{r_0}{\overset{+\infty }{\int }}{r}^{m-\alpha -1-p}{e}^{-c_{2}rt}dr\le \frac{c_1{r}_0^{m-\alpha -p}{e}^{[(a_0+\epsilon )-c_2{r}_0]t}}{\alpha -m+p}.$$

On ${\mathsf{\Gamma }}_{\epsilon ,r_0}^{-}$, we have similar inequalities. Such an estimate for the norm of the integral on the part ${\mathsf{\Gamma }}_{\epsilon ,r_0}^0$ of the contour is obtained after substituting $\lambda =a_0+\epsilon +r_0{e}^{i\phi }$ and have the form at $p=0,1,\cdots ,m-1$,

$$c_1{r}_0^{m-\alpha -1-p}{e}^{(a_0+\epsilon )t}\underset{-{\theta }_0+\epsilon }{\overset{{\theta }_0-\epsilon }{\int }}{e}^{t{r}_{0}cos\phi }d\phi \le 2\pi c_1{r}_0^{m-\alpha -1-p}{e}^{(a_0+\epsilon +r_0)t}.$$

As a result,

$$\parallel Z_0{\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}\le \frac{C{e}^{(a_0+\epsilon )t}}{t^{m-\alpha }},{\parallel Z_p\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}\le C{e}^{(a_0+\epsilon +r_0)t}$$

(7)

for $p=1,2,\cdots ,m-1$, and to the functions $Z_p$, $p=0,1,\cdots ,m-1$, the Laplace transform can be applied, since $m-\alpha <1$. In addition, it follows from estimates (7) that the families of operators $\{Z_p\left(t\right):t>0\}$, $p=0,1,\cdots ,m-1$, can be analytically continued into the sector $\{t\in \mathbb{C}:|argt|<{\theta }_0-\pi /2,t\ne 0\}$, since $\epsilon \in (0,{\theta }_0-\pi /2)$ is arbitrary.

Take $\mu \in \mathbb{C}$ from the right side of the contour ${\mathsf{\Gamma }}_{\epsilon ,r_0}$, we have

$${∥\frac{{\lambda }^{m-\alpha }{R}_{\lambda }}{\mu -\lambda }·\left({\lambda }^{\alpha -1-p}I-\sum _{j=p+1}^{m-1}{\lambda }^{\alpha -m-1+j-p}{A}_j\right)∥}_{\mathcal{L}\left(\mathcal{Z}\right)}\le \frac{K({\theta }_0-\epsilon ,a_0+\epsilon ){\left|\lambda \right|}^{m-\alpha -p}}{|\lambda -a_0-\epsilon \left|\right|\mu -\lambda |}.$$

Since $2+p+\alpha -m>1$, the function

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathfrak{L}\left[Z_p\right]\left(\mu \right)& =\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }\frac{{\lambda }^{m-\alpha }{R}_{\lambda }}{\mu -\lambda }·\left({\lambda }^{\alpha -1-p}I-\sum _{j=p+1}^{m-1}{\lambda }^{\alpha -m-1+j-p}{A}_j\right)d\lambda \hfill \\ \hfill & ={\mu }^{m-1-p}{R}_{\mu }\left(I-\sum _{j=p+1}^{m-1}{\mu }^{j-m}{A}_j\right)\hfill \end{array}\end{array}$$

(8)

is analytic in the part of the plane $\mathbb{C}$-bounded from the left by the contour ${\mathsf{\Gamma }}_{\epsilon ,r_0}$. Since $\epsilon$ and $r_0$ can be taken arbitrarily small, then $\mathfrak{L}\left[Z_p\right]\left(\mu \right)$ are analytic in $S_{{\theta }_0,a_0}$ at $p=0,1,\cdots ,m-1$. Using this fact, it is not difficult to show that the value of $Z_p\left(t\right)$ does not depend on the choice of parameters $\epsilon \in (0,{\theta }_0-\pi /2)$, $r_0>0$.

For $p=0,1,\cdots ,m-1$, $p\ge m^{\ast }$, $z_p\in D$, we have

$$\mathfrak{L}\left[J_t^{m-\alpha }{Z}_p\right]\left(\mu \right)={\mu }^{\alpha -1-p}{R}_{\mu }\left(I-\sum _{j=p+1}^{m-1}{\mu }^{j-m}{A}_j\right),$$

$$J_t^{m-\alpha }{Z}_p\left(t\right)z_p=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{R}_{\lambda }\left({\lambda }^{\alpha }I-\sum _{j=p+1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j\right)\frac{e^{\lambda t}d\lambda }{{\lambda }^{p+1}}{z}_p$$

$$=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }\frac{e^{\lambda t}d\lambda }{{\lambda }^{p+1}}{z}_p+\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,R}}{\int }{R}_{\lambda }\left(\sum _{j=1}^p{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)\frac{e^{\lambda t}d\lambda }{{\lambda }^{p+1}}{z}_p$$

and

$$\begin{array}{cc}\hfill & {∥\underset{{\mathsf{\Gamma }}_{\epsilon ,R}}{\int }{R}_{\lambda }\left(\sum _{j=1}^p{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)\frac{d\lambda }{{\lambda }^{p+1}}{z}_p∥}_{\mathcal{Z}}\hfill \\ \hfill & \le c_1\underset{{\mathsf{\Gamma }}_{\epsilon ,R}}{\int }\left(\sum _{j=1}^p{\left|\lambda \right|}^{-m+j}\parallel A_j{z}_p{\parallel }_{\mathcal{Z}}+\sum _{l=1}^n{\left|\lambda \right|}^{{\alpha }_l-\alpha }\parallel B_l{z}_p{\parallel }_{\mathcal{Z}}+\sum _{s=1}^r{\left|\lambda \right|}^{-{\beta }_s-\alpha }{\parallel C_s{z}_p\parallel }_{\mathcal{Z}}\right)\frac{\left|d\lambda \right|}{{\left|\lambda \right|}^{p+1}}\to 0,\hfill \end{array}$$

when $R\to \infty$, since $p+1+m-p=m+1>1$, $p+1+\alpha -{\alpha }_l\ge 1+\alpha -{\alpha }_l>1$, $p+1+\alpha +{\beta }_s>1$. Therefore, $J_t^{m-\alpha }{Z}_0\left(0\right)z_0=z_0$ for $z_0\in D$ and $J_t^{m-\alpha }{Z}_p\left(0\right)z_p=0$ for $z_p\in D$, $p=1,2,\cdots ,m-1$.

Next, let $m^{\ast }=0$, i.e., $\underline{m}\le 1$ and $\overline{m}=0$. This means that ${\alpha }_l-m_l<\alpha -m$ and ${\alpha }_l<1$ for all $l=1,2,\cdots ,n$. Then for $\alpha >1$ we have $\alpha -{\alpha }_l>1$ and for $z_0\in D$,

$$\begin{array}{cc}\hfill \mathfrak{L}\left[D_t^{\alpha -m+1}{Z}_0\left(t\right)z_0\right]\left(\mu \right)& ={\mu }^{\alpha }{R}_{\mu }\left(z_0-\sum _{j=1}^{m-1}{\mu }^{j-m}{A}_j{z}_0\right)-z_0\hfill \\ \hfill & =R_{\mu }\left(\sum _{l=1}^n{\mu }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\mu }^{-{\beta }_s}{C}_s\right)z_0\hfill \end{array}$$

and

$$D_t^{\alpha -m+1}{Z}_0\left(t\right)z_0=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{R}_{\lambda }\left(\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)e^{\lambda t}{z}_{0}d\lambda ,$$

therefore, $D_t^{\alpha -m+1}{Z}_0\left(0\right)z_0=0$. Continuing this process, at the mth step we get

$$D_t^{\alpha -1}{Z}_0\left(t\right)z_0=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{R}_{\lambda }\left(\sum _{l=1}^n{\lambda }^{{\alpha }_l+m-2}{B}_l+\sum _{s=1}^r{\lambda }^{-{\beta }_s+m-2}{C}_s\right)e^{\lambda t}{z}_{0}d\lambda$$

and

$$D_t^{\alpha -1}{Z}_0\left(0\right)z_0=0,$$

since $m_l\le 1$, ${\alpha }_l+m-2-\alpha <m_l-2\le -1$.

Let $m^{\ast }\le p$, i.e., $\underline{m}\le p+1$, $\overline{m}\le p$. Then ${\alpha }_l<p+1$ for ${\alpha }_l-m_l<\alpha -m$, and also ${\alpha }_l\le p$ for ${\alpha }_l-m_l>\alpha -m$. We get at $p=1,2,\cdots ,m-1$, $q=1,2,\cdots ,p$, $z_p\in D$ such that

$$D_t^{\alpha -m+q}{Z}_p\left(t\right)z_p=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }\frac{e^{\lambda t}d\mu }{{\lambda }^{p-q+1}}{z}_p$$

$$+\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{R}_{\lambda }\left(\sum _{j=1}^p{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)\frac{e^{\lambda t}{z}_{p}d\lambda }{{\lambda }^{p-q+1}}.$$

Therefore, at $q<p$, since $p-q+1\ge 2$, we obtain $D_t^{\alpha -m+q}{Z}_p\left(0\right)z_p=0$. From here it can be seen that $D_t^{\alpha -m+p}{Z}_p\left(0\right)z_p=z_p$ due to the inequalities $m-p+1>1$, $\alpha -{\alpha }_l+1>1$, $\alpha +{\beta }_s+1>1$.

For $p\le m-2$ and $z_p\in D$, we have

$$\begin{array}{cc}\hfill \mathfrak{L}\left[D_t^{\alpha -m+p+1}{Z}_p\left(t\right)z_p\right]\left(\mu \right)& ={\mu }^{\alpha }{R}_{\mu }\left(z_p-\sum _{j=p+1}^{m-1}{\mu }^{j-m}{A}_j{z}_p\right)-z_p\hfill \\ \hfill & =R_{\mu }\left(\sum _{j=1}^p{\mu }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\mu }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\mu }^{-{\beta }_s}{C}_s\right)z_p\hfill \end{array}$$

and

$$D_t^{\alpha -m+p+1}{Z}_p\left(t\right)z_p=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{R}_{\lambda }\left(\sum _{j=1}^p{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)e^{\lambda t}{z}_{p}d\lambda .$$

In this case, $j-m\le p-m\le -2$, for ${\alpha }_l-m_l<\alpha -m$,

$$\alpha -{\alpha }_l>m-m_l\ge m-\underline{m}\ge m-(p+1)\ge m-(m-2)-1=1,$$

is executed and for ${\alpha }_l-m_l>\alpha -m$, the inequalities are valid $\alpha -{\alpha }_l\ge \alpha -p\ge \alpha -m+2>1.$ Hence, $\alpha >1$, $D_t^{\alpha -m+p+1}{Z}_p\left(0\right)z_p=0$. Continuing the process, we get at $p\le m-3$, $q=p+2,p+3,\cdots ,m-1$,

$$D_t^{\alpha -m+q}{Z}_p\left(t\right)z_p=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{\lambda }^{q-p-1}{R}_{\lambda }\left(\sum _{j=1}^p{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)e^{\lambda t}{z}_{p}d\lambda ,$$

since $j-m+q-p-1\le q-m-1\le 2$, for ${\alpha }_l-m_l<\alpha -m$, we have

$$p+1-q+\alpha -{\alpha }_l>p+2-m+m-m_l=p+2-m_l\ge 1,$$

and for ${\alpha }_l-m_l>\alpha -m$, the inequalities

$$p+1-q+\alpha -{\alpha }_l\ge p+2-m+\alpha -p=2-m+\alpha >1$$

hold. Since $p+1-q<0$, it follows that $\alpha >1$, $D_t^{\alpha -m+q}{Z}_p\left(0\right)z_p=0$.

Further, by virtue of Corollaries 1 and 2, we obtain

$$\underset{t\to 0+}{lim}{D}_t^{{\alpha }_l-m_l+k}{Z}_p\left(t\right)z_p=0\mathrm{for}{z}_p\in D\mathrm{and}l=1,2,\cdots ,n,$$

which implies

$$\begin{array}{cc}\hfill & \mathfrak{L}\left[D_t^{\alpha }{Z}_p\left(t\right)z_p\right]\left(\mu \right)={\mu }^{\alpha }\mathfrak{L}\left[Z_p\left(t\right)z_p\right]\left(\mu \right)-{\mu }^{m-1-p}{z}_p\hfill \\ \hfill & ={\mu }^{\alpha }{R}_{\mu }\left({\mu }^{m-1-p}{z}_p-\sum _{j=p+1}^{m-1}{\mu }^{j-1-p}{A}_j{z}_p\right)-{\mu }^{m-1-p}{z}_p\hfill \\ \hfill & =\left(\sum _{j=1}^{m-1}{\mu }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\mu }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\mu }^{-{\beta }_s}{C}_s\right){\mu }^{m-1-p}{R}_{\mu }\left(z_p-\sum _{j=p+1}^{m-1}{\mu }^{j-m}{A}_j{z}_p\right)\hfill \\ & -\sum _{j=p+1}^{m-1}{\mu }^{j-1-p}{A}_j{z}_p\hfill \\ \hfill & =\mathfrak{L}\left[\sum _{j=1}^{m-1}{A}_j{D}_t^{\alpha -m+j}{Z}_p\left(t\right)z_p+\sum _{l=1}^n{B}_l{D}_l^{{\alpha }_l}{Z}_p\left(t\right)z_p+\sum _{s=1}^r{C}_s{J}_t^{{\beta }_s}{Z}_p\left(t\right)z_p\right]\left(\mu \right).\hfill \end{array}$$

By acting of the inverse Laplace transform, we get that $Z_p\left(t\right)z_p$ at $z_p\in D$ is a solution of Equation (4) for $t>0$ and $p=m^{\ast },m^{\ast }+1,\cdots ,m-1$.

Let $z_1\left(t\right)$ and $z_2\left(t\right)$ be two solutions of problem (4) and (6) on ${\mathbb{R}}_{+}$. Fix $T>0$, then $y\left(t\right)=z_1\left(t\right)-z_2\left(t\right)$ is a solution of problem (4) and (6) with $z_p=0$, $p=m^{\ast },m^{\ast }+1,\cdots ,m-1$, on the interval $(0,T)$. Let us define the function y as zero for $t\in [T,+\infty )$. Such a function is bounded and is also a solution to this problem for all $t>0$, except maybe $t=T$. Note that by virtue of Corollaries 1 and 2, $\underset{t\to 0+}{lim}{D}_t^{{\alpha }_l-m_l+k}y\left(t\right)=0$ for $l=1,2,\cdots ,n$. Let us act by the Laplace transform on both parts of the equality

$$D_t^{\alpha }y\left(t\right)=\sum _{j=1}^{m-1}{A}_j{D}_t^{\alpha -m+j}y\left(t\right)+\sum _{l=1}^n{B}_l{D}_t^{{\alpha }_l}y\left(t\right)+\sum _{s=1}^r{C}_s{J}_t^{{\beta }_l}y\left(t\right)$$

and hence we get

$$\begin{array}{cc}\hfill \mathfrak{L}\left[D_t^{\alpha }y\right]\left(\mu \right)& ={\mu }^{\alpha }\mathfrak{L}\left[y\right]\left(\mu \right)\hfill \\ \hfill & =\mathfrak{L}\left[\sum _{j=1}^{m-1}{A}_j{D}_t^{\alpha -m+j}y+\sum _{l=1}^n{B}_l{D}_t^{{\alpha }_l}y+\sum _{s=1}^r{C}_s{J}_t^{{\beta }_s}y\right]\left(\mu \right)\hfill \\ \hfill & =\left(\sum _{j=1}^{m-1}{\mu }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\mu }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\mu }^{-{\beta }_s}{C}_s\right)\mathfrak{L}\left[y\right]\left(\mu \right),\hfill \end{array}$$

which deduces

$$\left({\mu }^{\alpha }I-\sum _{j=1}^{m-1}{\mu }^{\alpha -m+j}{A}_j-\sum _{l=1}^n{\mu }^{{\alpha }_l}{B}_l-\sum _{s=1}^r{\mu }^{-{\beta }_s}{C}_s\right)\mathfrak{L}\left[y\right]\left(\mu \right)\equiv 0$$

and $\mathfrak{L}\left[y\right]\left(\mu \right)\equiv 0$ at $\mu \in S_{{\theta }_0,a_0}$. Therefore, we obtain $z_1\left(t\right)-z_2\left(t\right)=y\left(t\right)\equiv 0$ for $t\in (0,T)$. Since $T>0$ can be chosen arbitrarily large, $z_1\left(t\right)=z_2\left(t\right)$ for all $t>0$. □

Remark 4.

From equality (8), it can be seen that for $z_p\in D$,

$$Z_p\left(t\right)z_p=J_t^p{Z}_0\left(t\right)z_p+\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{R}_{\mu }\sum _{j=1}^p{\mu }^{j-p-1}{A}_j{z}_p{e}^{\mu t}d\mu .$$

4. Inhomogeneous Equation

Consider the linear inhomogeneous multi-term fractional equation:

$$D_t^{\alpha }z\left(t\right)=\sum _{j=1}^{m-1}{A}_j{D}_t^{\alpha -m+j}z\left(t\right)+\sum _{l=1}^n{B}_l{D}_t^{{\alpha }_l}z\left(t\right)+\sum _{s=1}^r{C}_s{J}_t^{{\beta }_s}z\left(t\right)+f\left(t\right)$$

(9)

with initial conditions

$$\begin{array}{c}{D}_t^{\alpha -m+k}z\left(0\right)=0,k=m^{\ast },m^{\ast }+1,\cdots ,m-1.\end{array}$$

(10)

A function $z:(0,T)\to \mathcal{Z}$ is called a solution of (9) and (10), if $J_t^{m-\alpha }z\in C^m((0,T);\mathcal{Z})\cap C^{m-1}([0,T);\mathcal{Z})$, $J_t^{m-\alpha }z\in C^j((0,T);D_{A_j})$, $j=1,2,\cdots ,m-1$, $J_t^{m_l-{\alpha }_l}z\in C^{m_l}((0,T);D_{B_l})$, $l=1,2,\cdots ,n$, $J_t^{{\beta }_s}z\in C((0,T);D_{C_s})$, $s=1,2,\cdots ,r$, and equalities (9) for $t\in (0,T)$ and (10) are satisfied. Recall that

$$Z_{m-1}\left(t\right):=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{\left({\lambda }^{\alpha }I-\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j-\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l-\sum _{s=1}^r{\lambda }^{{\beta }_s}{C}_s\right)}^{-1}{e}^{\lambda t}d\lambda ,t>0,$$

and introduce the operators

$$V_{\kappa }\left(t\right):=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{\lambda }^{\kappa }{R}_{\lambda }{e}^{\lambda t}d\lambda ,t>0,\kappa \in \mathbb{R}.$$

Theorem 2.

Let $m-1<\alpha \le m\in \mathbb{N}$, $0<{\alpha }_1<{\alpha }_2<\cdots <{\alpha }_n<\alpha$, $m_l-1<{\alpha }_l\le m_l\in \mathbb{N}$, ${\alpha }_l-m_l\ne \alpha -m$, $l=1,2,\cdots ,n$, ${\beta }_1>{\beta }_2>\cdots >{\beta }_r\ge 0$, $A_j\in \mathcal{C}l\left(\mathcal{Z}\right)$, $j=1,2,\cdots ,m-1$, $B_l\in \mathcal{C}l\left(\mathcal{Z}\right)$, $l=1,2,\cdots ,n$, $C_s\in \mathcal{C}l\left(\mathcal{Z}\right)$, $s=1,2,\cdots ,r$, $(A_1,A_2,\cdots ,A_{m-1},B_1,B_2,\cdots ,B_n,C_1,C_2,\cdots ,C_r)\in {\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ and $f\in C\left(\right(0,T);D)\cap$ $L_1(0,T;D)$. Then the function

$$z_f\left(t\right):=\underset{0}{\overset{t}{\int }}{Z}_{m-1}(t-s)f\left(s\right)ds$$

is a unique solution to problem (9) and (10).

Proof. 

Arguing as in the proof of the inequality (8), we obtain at $\kappa <\alpha -1$ and $t\in [0,T]$,

$$\begin{array}{cc}\hfill \parallel V_{\kappa }{\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}& \le 2c_1{e}^{(a_0+\epsilon )t}\underset{r_0}{\overset{+\infty }{\int }}{r}^{\kappa -\alpha }{e}^{-r{c}_{2}t}dr+c_1{r}_0^{\kappa -\alpha }{e}^{(a_0+\epsilon )t}\underset{-{\theta }_0+\epsilon }{\overset{{\theta }_0+\epsilon }{\int }}{e}^{t{r}_{0}cos\phi }d\phi \hfill \\ \hfill & \le \frac{2c_1{e}^{(a_0+\epsilon -r_0{c}_2)t}{r}_0^{\kappa -\alpha +1}}{\alpha -\kappa -1}+2\pi c_1{e}^{(a_0+\epsilon +r_0)t}{r}_0^{\kappa -\alpha }\le C{e}^{(a_0+\epsilon +r_0)t}\hfill \end{array}$$

for some $C>0$. Hence,

$${∥\underset{0}{\overset{t}{\int }}{V}_{\kappa }(t-s)f\left(s\right)ds∥}_{\mathcal{Z}}\le C{e}^{(a_0+\epsilon +r_0)t}\underset{0}{\overset{t}{\int }}{\parallel f\left(s\right)\parallel }_{\mathcal{Z}}ds\mathrm{for}\kappa <\alpha -1.$$

(11)

Also, for $\alpha \in (0,1]$ and $z_0\in D$, we have

$$\begin{array}{c}{V}_{\alpha -1}\left(t\right)z_0=\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{\lambda }^{\alpha -1}{R}_{\lambda }{e}^{\lambda t}{z}_{0}d\lambda \\ =\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }\frac{e^{\lambda t}d\lambda }{\lambda }{z}_0+\frac{1}{2\pi i}\underset{{\mathsf{\Gamma }}_{\epsilon ,r_0}}{\int }{\lambda }^{-1}{R}_{\lambda }\left(\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{{\beta }_s}{C}_s\right)z_0{e}^{\lambda t}d\lambda \\ =z_0+\frac{1}{2\pi i}\underset{\mathsf{\Gamma }}{\int }{\lambda }^{-1}{R}_{\lambda }\left(\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{{\beta }_s}{C}_s\right)z_0{e}^{\lambda t}d\lambda ,\end{array}$$

while for $\lambda \in {\mathsf{\Gamma }}_{\epsilon ,r_0}$,

$${∥{\lambda }^{-1}{R}_{\lambda }\left(\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\lambda }^{{\beta }_s}{C}_s\right)z_0∥}_{\mathcal{Z}}\le \frac{c_1{\parallel z_0\parallel }_D}{{\left|\lambda \right|}^{1+\delta }},$$

where $\delta =min\{1,\alpha -{\alpha }_l:l=1,2,\cdots ,n\}$. Therefore, for $t\in [0,T]$, we get

$$\parallel V_{\alpha -1}\left(t\right)z_0{\parallel }_{\mathcal{Z}}\le C{e}^{(a_0+\epsilon +r_0)t}{\parallel z_0\parallel }_D\mathrm{for}\alpha \le 1,$$

and

$${∥\underset{0}{\overset{t}{\int }}{V}_{\alpha -1}(t-s)f\left(s\right)ds∥}_{\mathcal{Z}}\le C{e}^{(a_0+\epsilon +r_0)t}\underset{0}{\overset{t}{\int }}{\parallel f\left(s\right)\parallel }_{D}ds\mathrm{for}\alpha \le 1.$$

(12)

Next, we define f as zero for $t\in [T,\infty )$ and get the equalities

$$\mathfrak{L}\left[z_f\right]\left(\mu \right)=\mathfrak{L}\left[Z_{m-1}\right]\left(\mu \right)\mathfrak{L}\left[f\right]\left(\mu \right)=R_{\mu }\mathfrak{L}\left[f\right]\left(\mu \right),$$

$$\mathfrak{L}\left[J_t^{m-\alpha }{z}_f\right]\left(\mu \right)={\mu }^{\alpha -m}{R}_{\mu }\mathfrak{L}\left[f\right]\left(\mu \right)$$

and

$$J_t^{m-\alpha }{z}_f\left(t\right)=\underset{0}{\overset{t}{\int }}{V}_{\alpha -m}(t-s)f\left(s\right)ds,$$

therefore, $J_t^{m-\alpha }{z}_f\left(0\right)=0$, due to (12), if $\alpha \le 1$, or (11) in other cases. By taking into account inequality (11) when $k=1,2,\cdots ,m-2$, and inequality (12) at $k=m-1$, we obtain

$$\mathfrak{L}\left[D_t^{\alpha -m+k}{z}_f\right]\left(\lambda \right)={\mu }^{\alpha -m+k}{R}_{\mu }\mathfrak{L}\left[f\right]\left(\mu \right),$$

$$D_t^{\alpha -m+k}{z}_f\left(t\right)=\underset{0}{\overset{t}{\int }}{V}_{\alpha -m+k}(t-s)f\left(s\right)ds$$

and

$$D_t^{\alpha -m+k}{z}_f\left(0\right)=0.$$

Note that according to corollaries 1 and 2, we have

$$D_t^{\gamma }{z}_f\left(0\right)=0$$

for $\gamma ={\alpha }_l-m_l+k$, $k\in \{0,1,\cdots ,m_l-1\}$ and $l=1,2,\cdots ,n$. Therefore,

$$\begin{array}{cc}\hfill \mathfrak{L}\left[D_t^{\alpha }{z}_f\right]\left(\mu \right)& ={\mu }^{\alpha }{R}_{\mu }\mathfrak{L}\left[f\right]\left(\mu \right)\hfill \\ \hfill & =\mathfrak{L}\left[f\right]\left(\mu \right)+\left(\sum _{j=1}^{m-1}{\mu }^{\alpha -m+j}{A}_j+\sum _{l=1}^n{\mu }^{{\alpha }_l}{B}_l+\sum _{s=1}^r{\mu }^{-{\beta }_s}{C}_s\right)R_{\mu }\mathfrak{L}\left[f\right]\left(\mu \right)\hfill \\ \hfill & =\mathfrak{L}\left[f\right]\left(\mu \right)+\mathfrak{L}\left[\sum _{j=1}^{m-1}{A}_j{D}_t^{\alpha -m+j}{z}_f\left(t\right)+\sum _{l=1}^n{B}_l{D}_t^{{\alpha }_l}{z}_f\left(t\right)+\sum _{s=1}^r{C}_s{J}_t^{{\beta }_s}{z}_f\left(t\right)\right].\hfill \end{array}$$

Acting by the inverse Laplace transform on both parts of this equality, we obtain equality (9) at $t\in (0,T)$, since $f\in C\left(\right(0,T);D)$.

The proof of the uniqueness of a solution is the same as for the homogeneous equation. □

Due to the linearity of the Equation (9) under study, we immediately get the following result.

Theorem 3.

Let $m-1<\alpha \le m\in \mathbb{N}$, ${\alpha }_1<{\alpha }_2<\cdots <{\alpha }_n<\alpha$, $m_l-1<{\alpha }_l\le m_l\in \mathbb{N}$, ${\alpha }_l-m_l\ne \alpha -m$, $l=1,2,\cdots ,n$, ${\beta }_1>{\beta }_2>\cdots >{\beta }_r\ge 0$, $A_j\in \mathcal{C}l\left(\mathcal{Z}\right)$, $j=1,2,\cdots ,m-1$, $B_l\in \mathcal{C}l\left(\mathcal{Z}\right)$, $l=1,2,\cdots ,n$, $C_s\in \mathcal{C}l\left(\mathcal{Z}\right)$, $s=1,2,\cdots ,r$,

$$(A_1,A_2,\cdots ,A_{m-1},B_1,B_2,\cdots ,B_n,C_1,C_2,\cdots ,C_r)\in {\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0),$$

$z_k\in \mathcal{Z}$, $k=m^{\ast },m^{\ast }+1,\cdots ,m-1$, $f\in C((0,T);D)\cap L_1(0,T;D)$. Then there exists a unique solution to problem (6) and (9), and it has the form

$$z\left(t\right)=\sum _{p=m^{\ast }}^{m-1}{Z}_p\left(t\right)z_p+\underset{0}{\overset{t}{\int }}{Z}_{m-1}(t-s)f\left(s\right)ds.$$

5. Initial-Boundary Value Problems

Let $J\subset \{1,2,\cdots ,m-1\}$. Define polynomials $P_1,P_2^j,P_3^l,P_4^s$ by

$$P_1\left(\lambda \right)=\sum _{p=0}^{{\nu }_1}{a}_p{\lambda }^p,P_2^j\left(\lambda \right)=\sum _{p=0}^{{\nu }_2^j}{b}_p^j{\lambda }^p,P_3^l\left(\lambda \right)=\sum _{p=0}^{{\nu }_3^l}{c}_p^l{\lambda }^p\mathrm{and}{P}_4^s\left(\lambda \right)=\sum _{p=0}^{{\nu }_4^s}{d}_p^s{\lambda }^p,$$

where $a_p,b_p^j,c_p^l,d_p^s\in \mathbb{R}$, $a_{{\nu }_1}{b}_{{\nu }_2^j}^j{c}_{{\nu }_3^l}^l{d}_{{\nu }_4^s}^s\ne 0$, $j\in J$, $l=1,2,\cdots ,n$, $s=1,2,\cdots ,r$ and the degree of at least one of the polynomials $P_2^j$, $P_3^l$, $P_4^s$ be greater than the degree of $P_1$. Put $P_2^j\equiv 0$ at $j\in \{1,2,\cdots ,m-1\}\backslash J$.

Let $\mathsf{\Omega }\subset {\mathbb{R}}^d$ be a boundary region with a smooth boundary $\partial \mathsf{\Omega }$,

$$\left(\mathfrak{A}u\right)\left(\xi \right)=\sum _{\left|q\right|\le 2\rho }{a}_q\left(\xi \right)\frac{{\partial }^{\left|q\right|}u\left(\xi \right)}{\partial {\xi }_1^{q_1}\partial {\xi }_2^{q_2}\cdots \partial {\xi }_d^{q_d}},a_q\in C^{\infty }\left(\overline{\mathsf{\Omega }}\right),$$

and

$$\left({\mathfrak{B}}_{\gamma }u\right)\left(\xi \right)=\sum _{\left|q\right|\le {\rho }_{\gamma }}{b}_{\gamma q}\left(\xi \right)\frac{{\partial }^{\left|q\right|}u\left(\xi \right)}{\partial {\xi }_1^{q_1}\partial {\xi }_2^{q_2}\cdots \partial {\xi }_d^{q_d}},b_{\gamma q}\in C^{\infty }(\partial \mathsf{\Omega }),\gamma =1,2,\dots ,\rho ,$$

where $q=(q_1,q_2,\dots ,q_d)\in {\mathbb{N}}_0^d$, $\left|q\right|=q_1+\cdots +q_d$ and the operator pencil $\mathfrak{A},{\mathfrak{B}}_1,{\mathfrak{B}}_2,\dots$, ${\mathfrak{B}}_{\rho }$ are regularly elliptic (see [21]). Assume that the operator ${\mathfrak{A}}_1\in \mathcal{C}l\left(L_2\left(\mathsf{\Omega }\right)\right)$ has the domain

$$D_{{\mathfrak{A}}_1}=H_{\left\{{\mathfrak{B}}_{\gamma }\right\}}^{2\rho }\left(\mathsf{\Omega }\right):=\{v\in H^{2\rho }\left(\mathsf{\Omega }\right):{\mathfrak{B}}_{\gamma }v\left(\xi \right)=0,\gamma =1,2,\dots ,\rho ,\xi \in \partial \mathsf{\Omega }\}$$

and ${\mathfrak{A}}_{1}v:=\mathfrak{A}v$. Suppose that ${\mathfrak{A}}_1$ is self-adjoint, then the spectrum $\sigma \left({\mathfrak{A}}_1\right)$ of ${\mathfrak{A}}_1$ is real and discrete (see [21]). Moreover, let the spectrum $\sigma \left({\mathfrak{A}}_1\right)$ be bounded from the right and does not contain zero point, $\{{\phi }_k:k\in \mathbb{N}\}$ is an orthonormal in the $L_2\left(\mathsf{\Omega }\right)$ system of eigenfunctions of the operator ${\mathfrak{A}}_1$, numbered with respect to non-increasing of the corresponding eigenvalues $\{{\lambda }_k:k\in \mathbb{N}\}$, taking into account their multiplicity.

Take $h:\mathsf{\Omega }\times (0,T)\to \mathbb{R}$, $1<\alpha <2$, $0<{\alpha }_1<{\alpha }_2<\cdots <{\alpha }_n<\alpha$, $m_l-1<{\alpha }_l\le m_l\in \mathbb{N}$, ${\alpha }_l-m_l\ne \alpha -m$, $l=1,2,\cdots ,n$, ${\beta }_1>{\beta }_2>\cdots >{\beta }_r\ge 0$. Determine by the set of these numbers the defect $m^{\ast }\in \{0,1\}$, choose the maximal degree ${\nu }_0$ of polynomials $P_2^j$, $P_3^l$, $P_4^s$, $j\in J$, $l=1,2,\cdots ,n$, $s=1,2,\cdots ,r$, (then ${\nu }_0>{\nu }_1$) and consider the initial-boundary value problem

$$D_t^{\alpha -m+k}u(\xi ,0)=u_k\left(\xi \right),k=0,1\mathrm{or}k=1,\xi \in \mathsf{\Omega },$$

(13)

$${\mathfrak{B}}_{\gamma }{\mathfrak{A}}^{k}u(\xi ,t)=0,k=0,1,\dots ,{\nu }_0-1,\gamma =1,2,\dots ,\rho ,(\xi ,t)\in \partial \mathsf{\Omega }\times (0,T),$$

(14)

$$\begin{array}{c}{D}_t^{\alpha }{P}_1\left(\mathfrak{A}\right)u(\xi ,t)={\displaystyle \sum _{j\in J}}{P}_2^j\left(\mathfrak{A}\right)D_t^{\alpha -m+j}u(\xi ,t)+{\displaystyle \sum _{l=1}^n}{P}_3^l\left(\mathfrak{A}\right)D_t^{{\alpha }_l}u(\xi ,t)+\\ +{\displaystyle \sum _{s=1}^r}{P}_4^s\left(\mathfrak{A}\right)J_t^{{\beta }_s}u(\xi ,t)+h(\xi ,t),(\xi ,t)\in \mathsf{\Omega }\times (0,T).\end{array}$$

(15)

Set

$$\mathcal{X}=\{v\in H^{2\rho {\nu }_1}\left(\mathsf{\Omega }\right):{\mathfrak{B}}_{\gamma }{\mathfrak{A}}^{k}v\left(\xi \right)=0,k=0,1,\dots ,{\nu }_1-1,\gamma =1,2,\dots ,\rho ,\xi \in \partial \mathsf{\Omega }\},$$

$\mathcal{Y}=L_2\left(\mathsf{\Omega }\right),$$L=P_1\left(\mathfrak{A}\right)\in \mathcal{L}(\mathcal{X};\mathcal{Y})$, $M_j=P_2^j\left(\mathfrak{A}\right)\in \mathcal{C}l(\mathcal{X};\mathcal{Y})$ for $j=1,2,\cdots ,m-1$, $N_l=P_3^l\left(\mathfrak{A}\right)\in \mathcal{C}l(\mathcal{X};\mathcal{Y})$ for $l=1,2,\cdots ,n$, $S_s=P_4^s\left(\mathfrak{A}\right)\in \mathcal{C}l(\mathcal{X};\mathcal{Y})$ for $s=1,2,\cdots ,r$. The domains of these closed operators are defined by polynomials, for example,

$$D_{B_l}=\{v\in H^{2\rho {\nu }_3^l}\left(\mathsf{\Omega }\right):{\mathfrak{B}}_{\gamma }{\mathfrak{A}}^{k}v\left(\xi \right)=0,k=0,1,\dots ,{\nu }_3^l-1,\gamma =1,2,\dots ,\rho ,\xi \in \partial \mathsf{\Omega }\}.$$

Therefore,

$$D=\{v\in H^{2\rho {\nu }_0}\left(\mathsf{\Omega }\right):{\mathfrak{B}}_{\gamma }{\mathfrak{A}}^{k}v\left(\xi \right)=0,k=0,1,\dots ,{\nu }_0-1,\gamma =1,2,\dots ,\rho ,\xi \in \partial \mathsf{\Omega }\}$$

is dense set in $\mathcal{X}$.

Theorem 4.

Let in the conditions of this section be ${\nu }_0>{\nu }_1$, $P_1\left({\lambda }_k\right)\ne 0$ for all $k\in \mathbb{N}$, and the following conditions hold:

(i)

In case of odd ${\nu }_0-{\nu }_1,$ the inequalities $b_{{\nu }_2^j}^j/a_{{\nu }_1}>0$ at ${\nu }_2^j={\nu }_0$, $c_{{\nu }_3^l}^l/a_{{\nu }_1}>0$ at ${\nu }_3^l={\nu }_0$ and $c_{{\nu }_4^s}^s/a_{{\nu }_1}>0$ at ${\nu }_4^s={\nu }_0$ hold;

(ii)

In case of even ${\nu }_0-{\nu }_1,$ the inequalities $b_{{\nu }_2^j}^j/a_{{\nu }_1}<0$ at ${\nu }_2^j={\nu }_0$, $c_{{\nu }_3^l}^l/a_{{\nu }_1}<0$ at ${\nu }_3^l={\nu }_0$ and $c_{{\nu }_4^s}^s/a_{{\nu }_1}<0$ at ${\nu }_4^s={\nu }_0$ hold;

(iii)

${\beta }_s\le \alpha$ at ${\nu }_4^s={\nu }_0$.

Then $(A_1,A_2,\cdots ,A_{m-1},B_1,B_2,\cdots ,B_n,C_1,C_2,\cdots ,C_r)\in {\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0).$

Proof. 

For $v\in D$,

$$\left({\lambda }^{\alpha }I-\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j-\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l-\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)v=\sum _{k=1}^{\infty }{\lambda }^{\alpha }{Q}_k(\lambda ,{\lambda }_k)⟨v,{\phi }_k⟩{\phi }_k,$$

where,

$$Q_k(\lambda ,{\lambda }_k):=1-\sum _{j\in J}{\lambda }^{j-m}\frac{P_2^j\left({\lambda }_k\right)}{P_1\left({\lambda }_k\right)}-\sum _{l=1}^n{\lambda }^{{\alpha }_l-\alpha }\frac{P_3^l\left({\lambda }_k\right)}{P_1\left({\lambda }_k\right)}-\sum _{s=1}^r{\lambda }^{-{\beta }_s-\alpha }\frac{P_4^s\left({\lambda }_k\right)}{P_1\left({\lambda }_k\right)}.$$

It is evident, that for a fixed $k\in \mathbb{N}$, $\underset{\left|\lambda \right|\to \infty }{lim}{Q}_k(\lambda ,{\lambda }_k)=1$. Choose a sufficiently large $N\in \mathbb{N}$ so large $R>0$, that $Q_k(\lambda ,{\lambda }_k)\ge 1/2$ for $k=1,2,\cdots ,N$ and $\left|\lambda \right|>R$. Since $\underset{k\to \infty }{lim}{\lambda }_k=-\infty$, letting $k\to \infty$, we have

$$\frac{P_2^j\left({\lambda }_k\right)}{P_1\left({\lambda }_k\right)}\sim a_{{\nu }_1}^{-1}{b}_{{\nu }_2^j}^j{\lambda }_k^{{\nu }_2^j-{\nu }_1}\mathrm{for}j\in J,$$

$$\frac{P_3^l\left({\lambda }_k\right)}{P_1\left({\lambda }_k\right)}\sim a_{{\nu }_1}^{-1}{c}_{{\nu }_3^l}^l{\lambda }_k^{{\nu }_3^l-{\nu }_1}\mathrm{for}l=1,2,\cdots ,n,$$

and

$$\frac{P_4^s\left({\lambda }_k\right)}{P_1\left({\lambda }_k\right)}\sim a_{{\nu }_1}^{-1}{d}_{{\nu }_4^s}^s{\lambda }_k^{{\nu }_4^s-{\nu }_1}\mathrm{for}s=1,2,\cdots ,r.$$

Hence for a fixed $\lambda$ as $k\to \infty$, we get

$$\begin{array}{c}{Q}_k(\lambda ,{\lambda }_k)\sim 1-\sum _{{\nu }_2^j={\nu }_0}{\lambda }^{j-m}{a}_{{\nu }_1}^{-1}{b}_{{\nu }_2^j}^j{\lambda }_k^{{\nu }_0-{\nu }_1}\\ -\sum _{{\nu }_3^l={\nu }_0}{\lambda }^{{\alpha }_l-\alpha }{a}_{{\nu }_1}^{-1}{c}_{{\nu }_3^l}^l{\lambda }_k^{{\nu }_0-{\nu }_1}-\sum _{{\nu }_4^s={\nu }_0}{\lambda }^{-{\beta }_s-\alpha }{a}_{{\nu }_1}^{-1}{d}_{{\nu }_4^s}^s{\lambda }_k^{{\nu }_0-{\nu }_1}\\ =|{\lambda }_k{|}^{{\nu }_0-{\nu }_1}\left[|{\lambda }_k{|}^{{\nu }_1-{\nu }_0}-\mathrm{sign}{\lambda }_k^{{\nu }_0-{\nu }_1}\left(\sum _{{\nu }_2^j={\nu }_0}{\lambda }^{j-m}{a}_{{\nu }_1}^{-1}{b}_{{\nu }_2^j}^j\right.\right.\\ \left.\left.+\sum _{{\nu }_3^l={\nu }_0}{\lambda }^{{\alpha }_l-\alpha }{a}_{{\nu }_1}^{-1}{c}_{{\nu }_3^l}^l+\sum _{{\nu }_4^s={\nu }_0}{\lambda }^{-{\beta }_s-\alpha }{a}_{{\nu }_1}^{-1}{d}_{{\nu }_4^s}^s\right)\right].\end{array}$$

For sufficiently large k, ${\lambda }_k<0$ due to properties of the spectrum of ${\mathfrak{A}}_1$, therefore, due to conditions (i) and (ii) of this theorem all coefficients at the degrees of $\lambda$ in the last expression are negative. Hence at $\lambda >0$ and for sufficiently large k $Q(\lambda ,{\lambda }_k)>0$. Take a sufficiently large $a_0>R$ and $\theta \in (\pi /2,\pi /\alpha )$, so that the ball $B_R:=\{\lambda \in \mathbb{C}:|\lambda |\le R\}$ lies outside the sector $S_{{\theta }_0,a_0}$. Then for $\lambda \in S_{{\theta }_0,a_0}\backslash \mathbb{R}$ subject to condition (iii) of this theorem,

$$\left|arg\left[\mathrm{sign}{\lambda }_k^{{\nu }_0-{\nu }_1}\left(\sum _{{\nu }_2^j={\nu }_0}{\lambda }^{j-m}{a}_{{\nu }_1}^{-1}{b}_{{\nu }_2^j}^j+\sum _{{\nu }_3^l={\nu }_0}{\lambda }^{{\alpha }_l-\alpha }{a}_{{\nu }_1}^{-1}{c}_{{\nu }_3^l}^l+\sum _{{\nu }_4^s={\nu }_0}{\lambda }^{-{\beta }_s-\alpha }{a}_{{\nu }_1}^{-1}{d}_{{\nu }_4^s}^s\right)\right]\right|\in (0,\pi ),$$

therefore, $Q_k(\lambda ,{\lambda }_k)\ne 0$. If $\partial S_{{\theta }_0,a_0}$ contains zeros (with respect to $\lambda$) of functions $Q_k(\lambda ,{\lambda }_k)$ at some $k\in \mathbb{N}$, beginning with $N+1$, make the shift of $a_0$ on 1 to the right and go back to the previous designation $a_0$. Now due to the continuity of the functions $Q_k(\lambda ,{\lambda }_k)$ with respect to $\lambda$ we can state that for $\lambda \in S_{a_0,{\theta }_0}$, we have $|Q_k(\lambda ,{\lambda }_k)|\ge c>0$.

Thus, for every $\lambda \in S_{{\theta }_0,a_0}$, we obtain

$${∥\left({\lambda }^{\alpha }I-\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j-\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l-\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)v∥}_{\mathcal{X}}\ge {c\left|\lambda \right|}^{\alpha }{\parallel v\parallel }_{\mathcal{X}},$$

consequently, there exists the inverse operator

$$R_{\lambda }:={\left({\lambda }^{\alpha }I-\sum _{j=1}^{m-1}{\lambda }^{\alpha -m+j}{A}_j-\sum _{l=1}^n{\lambda }^{{\alpha }_l}{B}_l-\sum _{s=1}^r{\lambda }^{-{\beta }_s}{C}_s\right)}^{-1}\in \mathcal{L}\left(\mathcal{X}\right),$$

and for all $\lambda \in S_{{\theta }_0,a_0}$,

$$\parallel R_{\lambda }\parallel \le \frac{C}{{\left|\lambda \right|}^{\alpha -1}|\lambda -a|}.$$

For $v\in D$ and $\lambda \in S_{{\theta }_0,a_0}$, we have

$$\begin{array}{cc}\hfill & {∥R_{\lambda }·\left(I-{\displaystyle \sum _{j=p+1}^{m-1}}{\lambda }^{j-m}{A}_j\right)v∥}_{\mathcal{X}}^2\hfill \\ \hfill & \le \sum _{k=1}^{\infty }\frac{2\left(1+{\displaystyle \sum _{j=p+1}^{m-1}}{\left|\lambda \right|}^{2(j-m)}\frac{|P_2^j\left({\lambda }_k\right){|}^2}{|P_1\left({\lambda }_k\right){|}^2}\right){\left|⟨v,{\phi }_k⟩\right|}^2}{{\left|\lambda \right|}^{2\alpha }{\left|Q(\lambda ,{\lambda }_k)\right|}^2}\hfill \\ \hfill & \le \sum _{k=1}^{\infty }\frac{C_1|{\lambda }_k{|}^{2({\nu }_0-{\nu }_1)}\left(|{\lambda }_k{|}^{-2({\nu }_0-{\nu }_1)}+{\displaystyle \sum _{{\nu }_2^j={\nu }_0}}|a_{{\nu }_1}{|}^{-2}|b_{{\nu }_2^j}^j{|}^2{|\lambda |}^{2(j-m)}\right){\left|⟨v,{\phi }_k⟩\right|}^2}{{\left|\lambda \right|}^{2\alpha }{\left|{\lambda }_k\right|}^{2({\nu }_0-{\nu }_1)}{\left|Q_1(\lambda ,{\lambda }_k)\right|}^2}\hfill \\ \hfill & \le \sum _{k=1}^{\infty }\frac{C_2{\left|⟨v,{\phi }_k⟩\right|}^2}{{\left|\lambda \right|}^{2(\alpha -1)}{|\lambda -a|}^2}\le \frac{C_2{\parallel v\parallel }_{\mathcal{X}}^2}{{\left|\lambda \right|}^{2(\alpha -1)}{|\lambda -a|}^2},\hfill \end{array}$$

and

$$Q_1(\lambda ,{\lambda }_k)={\lambda }_k^{-({\nu }_0-{\nu }_1)}-\sum _{{\nu }_2^j={\nu }_0}{\lambda }^{-m+j}{a}_{{\nu }_1}^{-1}{b}_{{\nu }_2^j}^j-\sum _{{\nu }_3^l={\nu }_0}{\lambda }^{{\alpha }_l-\alpha }{a}_{{\nu }_1}^{-1}{c}_{{\nu }_3^l}^l-\sum _{{\nu }_4^s={\nu }_0}{\lambda }^{-{\beta }_s-\alpha }{a}_{{\nu }_1}^{-1}{d}_{{\nu }_4^s}^s.$$

We take into account, that ${\lambda }_k\ne 0$ for all $k\in \mathbb{N}$, therefore, due to the pointiness of the spectrum $\left\{{\lambda }_k\right\}$ there exists $\underset{k\in \mathbb{N}}{min}\left|{\lambda }_k\right|>0$. □

Remark 5.

For the case of ${\nu }_0\le {\nu }_1$, a similar result in the absence of constraints (i)–(iii) from Theorem 4 is obtained in [8].

Due to Theorem 3 for arbitrary $u_0,u_1\in \mathcal{X}$, or only $u_1\in \mathcal{X}$, depending on the defect value, under the condition $L^{-1}h\in C((0,T);D)\cap L_1(0,T;D)$ there exists a unique solution to problem (13)–(15).

Finally, a nontrivial example illustrating Theorem 4 is given.

Example 1.

Take $\alpha =7/4$, $m=2$, $n=1$, $r=1$, ${\alpha }_1=4/5$, ${\beta }_1=5$, $P_1\left(\lambda \right)=\lambda$, ${\nu }_1=1$, $P_2^1\left(\lambda \right)\equiv 0$, $J=\varnothing$, $P_3^1\left(\lambda \right)=c_0+c_1\lambda +c_2{\lambda }^2$, ${\nu }_3=2$, $P_4^1\left(\lambda \right)=d_0+d_1\lambda$, ${\nu }_4=1$, ${\nu }_0:=max\{{\nu }_3,{\nu }_4\}=2$, $d=1$, $\mathsf{\Omega }=(0,\pi )$, $\rho =1$, $\mathfrak{A}u=\frac{{\partial }^{2}u}{\partial {\xi }^2}$ and ${\mathfrak{B}}_1=I$. Then $\underline{m}=0$, $\overline{m}=1$, $m^{\ast }=1$, and problem (13)–(15) has the form

$$D_t^{7/4}\frac{{\partial }^{2}u}{\partial {\xi }^2}(\xi ,t)=\left(c_0+c_1\frac{{\partial }^2}{\partial {\xi }^2}+c_2\frac{{\partial }^4}{\partial {\xi }^4}\right)D_t^{4/5}u(s,t)+\left(d_0+d_1\frac{{\partial }^2}{\partial {\xi }^2}\right)J_t^{5}u(\xi ,t)$$

for $(\xi ,t)\in (0,\pi )\times {\mathbb{R}}_{+}$,

$$u(0,t)=u(\pi ,t)=\frac{{\partial }^{2}u}{\partial s^2}(0,t)=\frac{{\partial }^{2}u}{\partial s^2}(\pi ,t)=0\mathrm{for}t\in {\mathbb{R}}_{+},$$

and

$$D^{3/4}u(\xi ,0)=u_1\left(\xi \right)\mathrm{for}\xi \in (0,\pi ).$$

It is solvable at $c_2>0$ by Theorem 4 (i), since ${\nu }_0-{\nu }_1=1$ is odd, ${\nu }_3={\nu }_0$, ${\nu }_4<{\nu }_0$. Here the problem does not contain the initial condition for $J^{1/4}u(\xi ,0)$, since $m^{\ast }=1$ and the equality $J^{1/4}u(\xi ,0)\equiv 0$ is necessarily fulfilled.

6. Conclusions

For a linear equation with several Riemann–Liouville derivatives and with constant coefficients, the authors of this work showed that the set of orders of derivatives from the equation determines the defect of the Cauchy-type problem, which determines the number of lower-order initial conditions that must be excluded from the statement of the problem for its solvability. In this paper, the incomplete Cauchy problem is considered for linear multi-term equations solved with respect to the highest derivative in Banach spaces with fractional Riemann–Liouville derivatives and with linear closed operators at them. A class of tuples of operators ${\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ is introduced, generalizing to the case of several operators a class of generators of analytic in a sector resolving families of operators, called sectorial operators. Using the Laplace transform technique, it is proved that the incomplete Cauchy-type problem for the multi-term equation with a tuple of operators from ${\mathcal{A}}_{\alpha }^{n,r}({\theta }_0,a_0)$ has a unique classical solution. Some new existence and uniqueness theorems for solutions are presented explicitly and the analyticity of the solutions of the homogeneous equations are also shown. Our abstract results are used in the study of a class of initial boundary value problems for multi-term equations with Riemann–Liouville derivatives in time and with polynomials of a self-adjoint elliptic differential operator with respect to spatial variables. In contrast to our earlier result, the consideration of the equation with unbounded operators allowed us to investigate the case when the highest of the degrees of the polynomials at lower time-fractional derivatives is greater than the degree of the polynomial at the highest derivative.