On Local Unique Solvability for a Class of Nonlinear Identification Problems

Abstract

Nonlinear identification problems for evolution differential equations, solved with respect to the highest-order Dzhrbashyan–Nersesyan fractional derivative, are studied. An equation of the considered class contains a linear unbounded operator, which generates analytic resolving families for the corresponding linear homogeneous equation, and a continuous nonlinear operator, which depends on lower-order Dzhrbashyan–Nersesyan derivatives and a depending on time unknown element. The identification problem consists of the equation, Dzhrbashyan–Nersesyan initial value conditions and an abstract overdetermination condition, which is defined by a linear continuous operator. Using the contraction mappings theorem, we prove the unique local solvability of the identification problem. The cases of mild and classical solutions are studied. The obtained abstract results are applied to an investigation of a nonlinear identification problem to a linearized phase field system with time dependent unknown coefficients at Dzhrbashyan–Nersesyan time-derivatives of lower orders.

1. Introduction

Works on fractional integro-differential calculus in contemporary mathematics are very diverse. They concern both various theoretical aspects (properties of fractional integration and differentiation operators, issues of solvability of new problems to equations with various fractional derivatives and integrals, and much more [1,2,3,4,5]) and applications of fractional calculus methods in various applied problems [6,7,8,9]. To the reader’s attention, we present an article on the existence of a unique solution of a new class of coefficient inverse problems to equations containing fractional derivatives, also called forecast-control problems [10], or identification problems [11,12]. We are talking about a problem for an equation containing, in addition to an unknown solution function, also unknown functional parameters and overdetermination conditions of a corresponding nature.

Consider the equation

$${\mathcal{D}}^{{\sigma }_n}z\left(t\right)=Az\left(t\right)+B(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right),u\left(t\right)),$$

(1)

endowed by the Dzhrbashyan–Nersesyan initial conditions [1]

$${\mathcal{D}}^{{\sigma }_k}z\left(0\right)=z_k,k=0,1,\dots ,n-1,$$

(2)

and by the additional overdetermination condition

$$\mathrm{\Phi }z\left(t\right)=\mathrm{\Psi }\left(t\right),t\in [0,T].$$

(3)

Here, ${\mathcal{D}}^{{\sigma }_k}$, $k=0,1,\dots ,n\in \mathbb{N}$ are the Dzhrbashyan–Nersesyan differentiation operator, which corresponds to the set $\left\{{\alpha }_k\right\}$, $0<{\alpha }_k\le 1$, (see Formula (4) below), A is a linear closed operator with a domain $D_A$ in a Banach space $\mathcal{Z}$, $\mathcal{U}$ is another Banach space, $B:[0,T]\times {\mathcal{Z}}^n\times \mathcal{U}\to \mathcal{Z}$ is a nonlinear mapping, $\mathrm{\Phi }:\mathcal{Z}\to \mathcal{U}$ is a linear bounded operator; initial values $z_k\in D_A$, $k=0,1,\dots ,n$, and $\mathrm{\Psi }:[0,T]\to \mathcal{U}$ are known. A solution of (1)–(3) is a pair of functions $(z,u)$. The main aim of the work are theorems on the existence and the uniqueness of a mild and a classical local solution $(z,u)$.

Various linear inverse problems for differential equations containing Riemann–Liouville or Gerasimov–Caputo fractional derivatives were studied in papers [12,13,14,15,16]. Unique solvability issues for a nonlinear identification problem of form (1)–(3) with Gerasimov–Caputo derivatives and with a closed operator A, which generates an analytic resolving family of operators for a respective linear homogeneous equation, were investigated in [17].

The notion of the Dzhrbashyan–Nersesyan derivative includes Riemann–Liouville and Gerasimov–Caputo fractional derivatives as particular cases; for a study of various problems with this general fractional derivative, see [1], its English translation [18], in works [19,20,21,22,23,24]. The unique solvability conditions and a form of a solution for linear inhomogeneous problem with the Dzhrbashyan–Nersesyan derivative (1), (2) ($B\equiv f\left(t\right)$) in a Banach space were obtained in work [25] in the case of a bounded operator A, and in paper [26] for a closed operator A from the class ${\mathcal{A}}_{\left\{{\alpha }_k\right\}}$ of generators of analytic resolving families for a linear Equation (1) ($B\equiv 0$). Problem (2) for quasilinear Equation (1) with known u and with a bounded operator A was researched in [27].

The results of [25] were used for obtaining a theorem on the existence of a unique solution of nonlinear inverse problem (1)–(3) with a linear continuous operator A in [28]. In the present work, we extend these results on the case of a nonlinear identification problem with Dzhrbashyan–Nersesyan derivatives and with $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}$. It is clear that such results on Problem (1)–(3) with a closed operator A provide much greater possibilities for their application to inverse problems to partial differential equations and systems of them than results on the abstract inverse problem with a bounded operator A.

In the second section, preliminary definitions and statements are given; in particular, a theorem on the existence of a unique solution of Dzhrbashyan–Nersesyan problem (2) to linear Equation (1) ($B\equiv f\left(t\right)$) with $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}$ is presented. The first subsection of the third section contains a proof of the theorem on the existence and the uniqueness of a local mild solution of identification problem (1)–(3). In the second subsection, for the case of continuous mapping $B:[0,T]\times {\mathcal{Z}}^n\times \mathcal{U}\to D_A$, the existence of a unique local classical solution is proven. A similar result is proven under the additional conditions of Hölder continuity in t of problem data. In the fourth section, obtained general results are used for the investigation of a nonlinear identification problem to modified phase field equations with depending on t unknown coefficients at Dzhrbashyan–Nersesyan time-fractional derivatives of lower orders.

2. Preliminaries

For $h:(0,T]\to \mathcal{Z}$,where $\mathcal{Z}$ is a Banach space, and for $\beta >0$, we introduce the following notations:

$$D^{-\beta }h\left(t\right):=J^{\beta }h\left(t\right):=\underset{0}{\overset{t}{\int }}\frac{{(t-s)}^{\beta -1}}{\mathrm{\Gamma }\left(\beta \right)}h\left(s\right)ds,t\in (0,T]$$

for the Riemann–Liouville fractional integral of the order $\beta >0$, and $D^{\beta }:=D^m{J}^{m-\beta }$ for the Riemann–Liouville fractional derivative of the order $\beta \in (m-1,m]$, $m\in \mathbb{N}$. For sequence $\left\{{\alpha }_0,{\alpha }_1,\dots ,{\alpha }_n\right\}$, ${\alpha }_k\in (0,1]$, $k=0,1,\dots ,n\in \mathbb{N}$, we define the Dzhrbashyan–Nersesyan fractional derivatives ${\mathcal{D}}^{{\sigma }_k}$, $k=0,1,\dots ,n$ by equalities [1]

$${\mathcal{D}}^{{\sigma }_0}z\left(t\right):=D^{{\alpha }_0-1}z\left(t\right),{\mathcal{D}}^{{\sigma }_k}z\left(t\right):=D^{{\alpha }_k-1}{D}^{{\alpha }_{k-1}}{D}^{{\alpha }_{k-2}}\dots D^{{\alpha }_0}z\left(t\right),k=1,2,\dots ,n.$$

(4)

They are natural general constructions of fractional derivatives (see, e.g., [1,19,20]), they generalize the Riemann–Liouville fractional derivatives (${\alpha }_0\in (0,1)$, ${\alpha }_k=1$, $k=1,2,\dots ,n$) and the Gerasimov–Caputo fractional derivatives (${\alpha }_k=1$, $k=0,1,\dots ,n-1$, ${\alpha }_n\in (0,1)$). We also use notations

$${\sigma }_k:=\sum _{j=0}^k{\alpha }_j-1,k=0,1,\dots ,n.$$

For $h:{\mathbb{R}}_{+}\to \mathcal{Z}$, we denote by $\mathfrak{L}\left[h\right]$ the Laplace transform of this function. The following equalities are known [3,26]:

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

$$\mathfrak{L}\left[{\mathcal{D}}^{{\sigma }_n}h\right]\left(\lambda \right)={\lambda }^{{\sigma }_n}\mathfrak{L}\left[h\right]\left(\lambda \right)-\sum _{k=0}^{n-1}{\mathcal{D}}^{{\sigma }_k}h\left(0\right){\lambda }^{{\sigma }_n-1-{\sigma }_k}.$$

(5)

We let $\mathcal{L}\left(\mathcal{Z}\right)$ be the Banach algebra of all linear bounded operators in the Banach space $\mathcal{Z}$ and $\mathcal{C}l\left(\mathcal{Z}\right)$ be the set of all linear closed densely defined in $\mathcal{Z}$ operators. We consider the domain $D_A$ of an operator $A\in \mathcal{C}l\left(\mathcal{Z}\right)$ with the graph norm of A as a Banach space due to the closedness of A. We consider the linear inhomogeneous equation

$${\mathcal{D}}^{{\sigma }_n}z\left(t\right)=Az\left(t\right)+f\left(t\right),t\in (0,T]$$

(6)

endowed by the Dzhrbashyan–Nersesyan initial conditions [1]

$${\mathcal{D}}^{{\sigma }_k}z\left(0\right)=z_k\in D_A,k=0,1,\dots ,n-1.$$

(7)

Here, $f\in C\left(\right[0,T];\mathcal{Z})$.

A solution to Problem (6), (7) is function $z\in C((0,T];D_A)$, such that ${\mathcal{D}}^{{\sigma }_k}z\in C([0,T];\mathcal{Z})$, $k=0,1,\dots ,n-1$, ${\mathcal{D}}^{{\sigma }_n}z\in C((0,T];\mathcal{Z})$. Equalities (6) for all $t\in (0,T]$ and (7) are fulfilled.

IWe itroduce notations $\rho \left(A\right):=\{\lambda \in \mathbb{C}:{(\lambda I-A)}^{-1}\in \mathcal{L}\left(\mathcal{Z}\right)\}$, $R_{\lambda }\left(A\right):={(\lambda I-A)}^{-1}$ for $\lambda \in \mathbb{C}$.

Definition 1.

We denote by ${\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$ for some ${\theta }_0\in (\pi /2,\pi ]$, $a_0\ge 0$, ${\alpha }_k\in (0,1]$, $k=0,1,\dots ,n$, a class of operators $A\in \mathcal{C}l\left(\mathcal{Z}\right)$, such that

(i)

${\lambda }^{{\sigma }_n}\in \rho \left(A\right)$ for all $\lambda \in S_{{\theta }_0,a_0}:=\{\mu \in \mathbb{C}:|arg(\mu -a_0)|<{\theta }_0,\mu \ne a_0\};$

(ii)

for any $\theta \in (\pi /2,{\theta }_0)$, $a>a_0$, there exists such a constant $K(\theta ,a)>0$, that for all $\lambda \in S_{\theta ,a}$

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

If $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$, then we define for $t>0$ operators

$$Y_{\beta }\left(t\right)=\frac{1}{2\pi i}\underset{\mathrm{\Gamma }}{\int }{\lambda }^{\beta }{R}_{{\lambda }^{{\sigma }_n}}\left(A\right)e^{\lambda t}d\lambda ,\beta \in \mathbb{R}.$$

Here, for some $\delta >0$, $a>a_0$, $\theta \in (\pi /2,{\theta }_0)$$\mathrm{\Gamma }:={\mathrm{\Gamma }}_{+}\cup {\mathrm{\Gamma }}_{-}\cup {\mathrm{\Gamma }}_0$, ${\mathrm{\Gamma }}_{\pm }:=\{\lambda \in \mathbb{C}:\lambda =a+r{e}^{\pm i\theta },r\in (\delta ,\infty )\}$, ${\mathrm{\Gamma }}_0:=\{\lambda \in \mathbb{C}:\lambda =a+\delta e^{i\phi },\phi \in (-\theta ,\theta )\}$. For brevity, we use the notations of frequently used operators $Z_k\left(t\right):=Y_{{\sigma }_n-{\sigma }_k-1}\left(t\right)$, $k=0,1,\dots ,n-1$.

We denote also

$${\mathcal{A}}_{\left\{{\alpha }_k\right\}}=\bigcup _{\begin{array}{c}{\theta }_0\in (\pi /2,\pi ]\\ a_0\ge 0\end{array}}{\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0).$$

We let $C^{\gamma }([0,T];\mathcal{Z})$ be the set of all Hölder continuous functions from $[0,T]$ to $\mathcal{Z}$ with the power $\gamma \in (0,1]$.

Theorem 1

([26]).We let ${\alpha }_k\in (0,1]$, $k=0,1,\dots ,n$, ${\alpha }_0+{\alpha }_n>1$, ${\theta }_0\in (\pi /2,\pi ]$, $a_0\ge 0$, $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$, $z_k\in D_A$, $k=0,1,\dots ,n-1$, $f\in C([0,T];D_A)\cup C^{\gamma }([0,T];\mathcal{Z})$, $\gamma \in (0,1]$. Then, Problem (6), (7) has a unique solution. It has the form

$$z\left(t\right)=\sum _{k=0}^{n-1}{Z}_k\left(t\right)z_k+\underset{0}{\overset{t}{\int }}{Y}_0(t-s)f\left(s\right)ds.$$

Remark 1.

We note that $Z_k\left(t\right)z_k$ is a unique solution of the initial value problem ${\mathcal{D}}^{{\sigma }_k}z\left(0\right)=z_k$, ${\mathcal{D}}^{{\sigma }_l}z\left(0\right)=0$, $l\in \{0,1,\dots ,n-1\}\setminus \left\{k\right\}$ to equation ${\mathcal{D}}^{{\sigma }_n}z\left(t\right)=Az\left(t\right)$. In addition, the unique solution of Problem (6), (7) with zero initial conditions ${\mathcal{D}}^{{\sigma }_l}z\left(0\right)=0$, $l\in \{0,1,\dots ,n-1\}$, is

$$\underset{0}{\overset{t}{\int }}{Y}_0(t-s)f\left(s\right)ds.$$

Remark 2.

In the proof of Lemma 1 in [26], it was shown that for some $C>0$ and for all $t\in (0,T]$ ${\parallel Y_{\beta }\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}\le C{t}^{{\sigma }_n-1-\beta }$. Hence, for $j,k\in \{0,1,\dots ,n-1\}$, $k>j$, ${\parallel {\mathcal{D}}^{{\sigma }_j}{Z}_k\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}={\parallel Y_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j}\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}\le C{t}^{{\sigma }_k-{\sigma }_j}.$ In addition, for $j,k\in \{0,1,\dots ,n-1\}$, $k<j$, $z_k\in D_A$, in the proof of Theorem 3 in [26], the following relations were proven:

$$\mathfrak{L}\left[{\mathcal{D}}^{{\sigma }_j}{Z}_k\left(t\right)z_k\right]={\lambda }^{{\sigma }_n-{\sigma }_k-1+{\sigma }_j}{R}_{{\lambda }^{{\sigma }_n}}\left(A\right)z_k-{\lambda }^{{\sigma }_j-{\sigma }_k-1}{z}_k={\lambda }^{{\sigma }_j-{\sigma }_k-1}{R}_{{\lambda }^{{\sigma }_n}}\left(A\right)A{z}_k,$$

$${\parallel {\lambda }^{{\sigma }_j-{\sigma }_k-1}{R}_{{\lambda }^{{\sigma }_n}}\left(A\right)A{z}_k\parallel }_{\mathcal{Z}}\le \frac{K{\parallel A{z}_k\parallel }_{\mathcal{Z}}}{{\left|\lambda \right|}^{{\sigma }_n+1+{\sigma }_k-{\sigma }_j}}\le \frac{K{\parallel A{z}_k\parallel }_{\mathcal{Z}}}{{\left|\lambda \right|}^{{\alpha }_0+{\alpha }_1+\cdots +{\alpha }_{k-1}+{\alpha }_k+{\alpha }_{j+1}+{\alpha }_{j+2}+\cdots +{\alpha }_{n-1}+{\alpha }_n}},$$

consequently, ${\parallel {\mathcal{D}}_j^{\sigma }{Z}_k\left(t\right)z_k\parallel }_{\mathcal{Z}}\le C_1{t}^{{\alpha }_0+{\alpha }_1+\cdots +{\alpha }_{k-1}+{\alpha }_k+{\alpha }_{j+1}+{\alpha }_{j+2}+\cdots +{\alpha }_{n-1}+{\alpha }_n-1}\le C{t}^{{\alpha }_0+{\alpha }_n-1}$,

$${\parallel {\mathcal{D}}^{{\sigma }_k}{Z}_k\left(t\right)z_k-z_k\parallel }_{\mathcal{Z}}\le \frac{1}{2\pi }\underset{\mathrm{\Gamma }}{\int }{\parallel {\lambda }^{-1}{R}_{{\lambda }^{{\sigma }_n}}\left(A\right)A{z}_k\parallel }_{\mathcal{Z}}\left|d\lambda \right|\le C{t}^{{\alpha }_0+{\alpha }_n-1},t\in (0,T].$$

3. Local Solvability of Identification Problem

3.1. Mild Solution

We take Banach spaces $\mathcal{Z}$ and $\mathcal{U}$, an open set Z in $\mathbb{R}\times {\mathcal{Z}}^n$, a nonlinear mapping $B:Z\times \mathcal{U}\to \mathcal{Z}$, a linear operator $\mathrm{\Phi }\in \mathcal{L}(\mathcal{Z};\mathcal{U})$ and a function $\mathrm{\Psi }:[0,T]\to \mathcal{U}$. The purpose of Problem (1)–(3) is to find $z:[0,T]\to \mathcal{Z}$, $u:[0,T]\to \mathcal{U}$ from Relations (1)–(3).

We denote $\overline{y}=(y_0,y_1,\dots ,y_{n-1})$ and formulate several conditions.

$\left(\mathcal{A}\right)$ The operator $B:Z\times \mathcal{U}\to \mathcal{Z}$ can be presented as

$$B(t,\overline{y},u)=B_1(t,\overline{y})+B_2(t,\overline{y},u),(t,\overline{y},u)\in Z\times \mathcal{U}.$$

For $\overline{a}=(a_0,a_1,\dots ,a_{n-1})\in {\mathcal{Z}}^n$, $R,T>0$, we use the following notations:

$$\begin{array}{cc}\hfill S_{{\mathcal{Z}}^n}(\overline{a},R)=& \left\{\overline{y}\in {\mathcal{Z}}^n:{\parallel y_j-a_j\parallel }_{\mathcal{Z}}<R,j=0,1,\dots ,n-1\right\},\hfill \\ & S_{{\mathcal{Z}}^n}(\overline{a},R,T)=[0,T]\times S_{{\mathcal{Z}}^n}(\overline{a},R).\hfill \end{array}$$

For sufficiently smooth $\mathrm{\Psi }$, we define

$$v_0:={\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(0\right)-\overline{\mathrm{\Phi }A}{z}_0-\mathrm{\Phi }{B}_1(0,z_0,z_1,\dots ,z_{n-1}).$$

(8)

Here, the line above $\mathrm{\Phi }A$ means the closure of this operator.

We let the next conditions $\left(\mathcal{B}\right)$–$\left(\mathcal{F}\right)$ be satisfied:

$\left(\mathcal{B}\right)$ the equation $\mathrm{\Phi }{B}_2(0,y_0,y_1,\dots ,y_{n-1},u)=v_0$ with unknown u has a unique solution $u_0\in \mathcal{U}$;

$\left(\mathcal{C}\right)$ there is an operator $B_3:[0,T]\times {\mathcal{U}}^{n+1}\to \mathcal{U}$, for which

$$\mathrm{\Phi }{B}_2(t,\overline{y},u)=B_3(t,\mathrm{\Phi }{y}_0,\mathrm{\Phi }{y}_1,\dots ,\mathrm{\Phi }{y}_{n-1},u),(t,\overline{y},u)\in Z\times \mathcal{U};$$

$\left(\mathcal{D}\right)$ there is such a constant, $R>0$, that for every $t\in [0,T]$, the mapping $v=B_3(t,{\mathcal{D}}^{{\sigma }_0}\mathrm{\Psi }\left(t\right),$${\mathcal{D}}^{{\sigma }_1}\mathrm{\Psi }\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}\mathrm{\Psi }\left(t\right),u)$ with u in $S_{\mathcal{U}}(u_0,R)$ has an inverse mapping $u=F(t,v);$

$\left(\mathcal{E}\right)$ there is such a constant, $R>0$, that operator F is continuous with respect to the totality of the variables $(t,v)$ on the set $S_{\mathcal{U}}(u_0,R,T)$ and is Lipschitz continuous in v;

$\left(\mathcal{F}\right)$ there is $R>0$ such that mappings $B_1(t,\overline{y})$ and $B_2(t,\overline{y},u)$ are continuous with respect to the totality of the variables on set $S_{{\mathcal{Z}}^n\times \mathcal{U}}((z_0,z_1,\dots ,z_{n-1},u_0),R,T)$ and are Lipschitz continuous in $(\overline{y},u)$.

Using the form of a classical solution from Theorem 1, we can introduce the notion of a mild solution.

Definition 2.

Pair $(z,u)\in C\left(\right[0,T];\mathcal{Z})\times C\left(\right[0,T];\mathcal{U})$ for which ${\mathcal{D}}^{{\sigma }_j}z\in C([0,T];\mathcal{Z})$ for $j=0,1,\dots ,n-1$, the inclusion $({\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right))\in Z$ and Condition (3) are valid for all $t\in [0,T]$, and equality

$$z\left(t\right)=\sum _{k=0}^{n-1}{Z}_k\left(t\right)z_k+\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds$$

(9)

is fulfilled for all $t\in (0,T]$. It is called a mild solution of identification problem (1)–(3) on $[0,T]$.

Lemma 1.

We let ${\alpha }_k\in (0,1]$, $k=0,1,\dots ,n$, ${\alpha }_0+{\alpha }_n>1$, ${\theta }_0\in (\pi /2,\pi ]$, $a_0\ge 0$, $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$, $\mathrm{\Phi },\overline{\mathrm{\Phi }A}\in \mathcal{L}(\mathcal{Z};\mathcal{U})$, $z_k\in \mathcal{Z}$, $f_k\left(t\right):=\mathrm{\Phi }{Z}_k\left(t\right)z_k$, $k=0,1,\dots ,n-1$. Then, ${\mathcal{D}}^{{\sigma }_n}{f}_k\left(t\right)=\overline{\mathrm{\Phi }A}{Z}_k\left(t\right)z_k\in C([0,T];\mathcal{U})$, $k=0,1,\dots ,n-1$.

Proof. 

For some $\lambda \in \rho \left(A\right)$, we take $y_k=R_{\lambda }\left(A\right)z_k\in D_A$, $k=0,1,\dots ,n-1$. Then, by Remark 1, ${\mathcal{D}}^{{\sigma }_n}{Z}_k\left(t\right)y_k=A{Z}_k\left(t\right)y_k,$$f_k\left(t\right)=\mathrm{\Phi }{Z}_k\left(t\right)(\lambda I-A)y_k=\lambda \mathrm{\Phi }{Z}_k\left(t\right)y_k-\mathrm{\Phi }A{Z}_k\left(t\right)y_k,$

$$\begin{array}{c}{\mathcal{D}}^{{\sigma }_n}{f}_k\left(t\right)=\lambda \mathrm{\Phi }{\mathcal{D}}^{{\sigma }_n}{Z}_k\left(t\right)y_k-\overline{\mathrm{\Phi }A}{\mathcal{D}}^{{\sigma }_n}{Z}_k\left(t\right)y_k\\ =\lambda \overline{\mathrm{\Phi }A}{Z}_k\left(t\right)y_k-\overline{\mathrm{\Phi }A}{Z}_k\left(t\right)A{y}_k=\overline{\mathrm{\Phi }A}{Z}_k\left(t\right)z_k\in C([0,T];\mathcal{U}).\end{array}$$

□

Lemma 2.

We let ${\alpha }_k\in (0,1]$, $k=0,1,\dots ,n$, ${\alpha }_0+{\alpha }_n>1$, ${\theta }_0\in (\pi /2,\pi ]$, $a_0\ge 0$, $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$, $g\in C\left(\right[0,T];\mathcal{Z})$, $\mathrm{\Phi },\overline{\mathrm{\Phi }A}\in \mathcal{L}(\mathcal{Z};\mathcal{U})$,

$$h\left(t\right):=\mathrm{\Phi }\underset{0}{\overset{t}{\int }}{Y}_0(t-s)g\left(s\right)ds.$$

Then,

$${\mathcal{D}}^{{\sigma }_n}h\left(t\right)=\overline{\mathrm{\Phi }A}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)g\left(s\right)ds+\mathrm{\Phi }g\left(t\right)\in C([0,T];\mathcal{U}).$$

Proof. 

For $\lambda \in \rho \left(A\right)$, we put $f\left(t\right)=R_{\lambda }\left(A\right)g\left(t\right)\in D_A$, $t\in [0,T]$. Hence, $Af\left(t\right)=\lambda R_{\lambda }\left(A\right)g\left(t\right)-g\left(t\right)\in C([0,T];\mathcal{Z})$; consequently, $f\in C([0,T];D_A)$. Therefore,

$$h\left(t\right)=\mathrm{\Phi }\underset{0}{\overset{t}{\int }}{Y}_0(t-s)(\lambda I-A)f\left(s\right)ds=(\lambda \mathrm{\Phi }-\overline{\mathrm{\Phi }A})\underset{0}{\overset{t}{\int }}{Y}_0(t-s)f\left(s\right)ds,$$

and, by Remark 1, we obtain

$$\begin{gathered} {\mathcal{D}}^{{\sigma }_n}h\left(t\right)=(\lambda \mathrm{\Phi }-\overline{\mathrm{\Phi }A}){\mathcal{D}}^{{\sigma }_n}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)f\left(s\right)ds \\ =(\lambda \mathrm{\Phi }-\overline{\mathrm{\Phi }A})\left(A\underset{0}{\overset{t}{\int }}{Y}_0(t-s)f\left(s\right)ds+f\left(t\right)\right) \\ =\overline{\mathrm{\Phi }A}\left(\lambda \underset{0}{\overset{t}{\int }}{Y}_0(t-s)f\left(s\right)ds-A\underset{0}{\overset{t}{\int }}{Y}_0(t-s)f\left(s\right)ds\right)+(\lambda \mathrm{\Phi }-\overline{\mathrm{\Phi }A})f\left(t\right) \\ =\overline{\mathrm{\Phi }A}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)g\left(s\right)ds+(\lambda \mathrm{\Phi }-\mathrm{\Phi }A)f\left(t\right)=\overline{\mathrm{\Phi }A}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)g\left(s\right)ds+\mathrm{\Phi }g\left(t\right). \end{gathered}$$

Here, $\overline{\mathrm{\Phi }A}f\left(t\right)=\mathrm{\Phi }Af\left(t\right)$, since $f\left(t\right)\in D_A$. □

Theorem 2.

We let ${\alpha }_0=1$, ${\alpha }_k\in (0,1]$, $k=1,2,\dots ,n$, ${\theta }_0\in (\pi /2,\pi ]$, $a_0\ge 0$, $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$, $z_k\in D_A$, $k=0,1,\dots ,n-1$, $(0,z_0,z_1,\dots ,z_{n-1})\in Z$, $\mathrm{\Phi },\overline{\mathrm{\Phi }A}\in \mathcal{L}(\mathcal{Z};\mathcal{U})$, ${\mathcal{D}}^{{\sigma }_k}\mathrm{\Psi }\in C([0,T];\mathcal{U})$, $k=0,1,\dots ,n$, $\mathrm{\Phi }{z}_0=\mathrm{\Psi }\left(0\right),$ and we let conditions $\left(\mathcal{A}\right)$–$\left(\mathcal{F}\right)$ be fulfilled. Then, for some $T_1\in (0,T]$, inverse problem(1)–(3) has a unique mild solution $(z,u)\in C([0,T_1];\mathcal{Z})\times C([0,T_1];\mathcal{U})$ on segment $[0,T_1]$.

Proof. 

We take $z_k\in D_A$, $k=0,1,\dots ,n-1$; then, we have ${\mathcal{D}}^{{\sigma }_j}{Z}_k\left(t\right)z_k=Y_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j}\left(t\right)z_k\in C([0,T];\mathcal{L}\left(\mathcal{Z}\right))$ as it is shown in the proof of Theorem 3 [26]. Lemma 1 in [26] implies that

$${\mathcal{D}}^{{\sigma }_j}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)g\left(s\right)ds=\underset{0}{\overset{t}{\int }}{Y}_{{\sigma }_j}(t-s)g\left(s\right)ds,j=0,1,\dots ,n-1.$$

(10)

Therefore, due to Remark 2 and Equation (9), we have correlations for $j=0,1,\dots ,n-1$

$${\mathcal{D}}^{{\sigma }_j}z\left(t\right)=\sum _{k=0}^{m-1}{Y}_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j}\left(t\right)z_k+\underset{0}{\overset{t}{\int }}{Y}_{{\sigma }_j}(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds.$$

(11)

For a mild solution $(z,u)$, Equality (9) is valid; then, Condition (3) implies that

$$\sum _{k=0}^{m-1}\mathrm{\Phi }{Z}_k\left(t\right)z_k+\mathrm{\Phi }\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds=\mathrm{\Psi }\left(t\right).$$

Therefore, due to Lemmas 1 and 2, we have

$$\begin{gathered} {\mathcal{D}}^{{\sigma }_n}\sum _{k=0}^{m-1}\mathrm{\Phi }{Z}_k\left(t\right)z_k+{\mathcal{D}}^{{\sigma }_n}\mathrm{\Phi }\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds \\ =\overline{\mathrm{\Phi }A}\sum _{k=0}^{m-1}{Z}_k\left(t\right)z_k+\overline{\mathrm{\Phi }A}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds \\ +\mathrm{\Phi }B(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right),u\left(t\right))={\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right). \end{gathered}$$

Due to condition $\left(\mathcal{A}\right)$, we can write the last equality as

$$\begin{array}{c}{\displaystyle \mathrm{\Phi }{B}_2(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right),u\left(t\right))={\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right)-\overline{\mathrm{\Phi }A}\sum _{k=0}^{m-1}{Z}_k\left(t\right)z_k}\\ {\displaystyle -\overline{\mathrm{\Phi }A}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds}\\ {\displaystyle -\mathrm{\Phi }{B}_1(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right)).}\end{array}$$

(12)

Then, under assumptions $\left(\mathcal{C}\right)$, $\left(\mathcal{D}\right)$, Equation (12) implies equality

$$u\left(t\right)=F(t,v(t\left)\right),$$

(13)

where

$$\begin{array}{cc}\hfill v\left(t\right)=& {\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right)-\overline{\mathrm{\Phi }A}\sum _{k=0}^{m-1}{Z}_k\left(t\right)z_k-\mathrm{\Phi }{B}_1(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right))\hfill \\ & {\displaystyle -\overline{\mathrm{\Phi }A}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds.}\hfill \end{array}$$

(14)

Thus, we obtained a nonlinear system of equations (11) with $j=0,1,\dots ,n-1$ and Equation (13) for unknown functions $y_0:={\mathcal{D}}^{{\sigma }_0}z$, $y_1:={\mathcal{D}}^{{\sigma }_1}z$, …, $y_{n-1}:={\mathcal{D}}^{{\sigma }_{n-1}}z$, u.

We consider set

$$\begin{array}{c}{\mathfrak{M}}_T=\{(\overline{y},u)\in C([0,T];{\mathcal{Z}}^n\times \mathcal{U}):{\parallel y_j\left(t\right)-z_j\parallel }_{\mathcal{Z}}\le R,j=0,1,\dots ,n-1,\\ \parallel u\left(t\right)-u_0{\parallel }_{\mathcal{U}}\le R\}\end{array}$$

with metrics $d((\overline{x},u),(\overline{y},w))={\parallel (\overline{x},u)-(\overline{y},w)\parallel }_{C([0,T];{\mathcal{Z}}^n\times \mathcal{U})}$ and mapping $H=(H^0,H^1,\dots ,H^n)$, which is defined by equalities

$$\begin{gathered} H^j(y_0,y_1\dots ,y_{n-1},u)=\sum _{k=0}^{n-1}{Y}_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j}\left(t\right)z_k \\ +\underset{0}{\overset{t}{\int }}{Y}_{{\sigma }_j}(t-s)B(s,y_0\left(s\right),y_1\left(s\right),\dots ,y_{n-1}\left(s\right),u\left(s\right))ds,j=0,1,\dots ,n-1, \end{gathered}$$

$$\begin{gathered} H^n(y_0,y_1,\dots ,y_{n-1},u)=F\left(t,{\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right)-\overline{\mathrm{\Phi }A}\sum _{k=0}^{n-1}{Z}_k\left(t\right)z_k\right. \\ -\mathrm{\Phi }{B}_1(t,y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right)) \\ \left.-\underset{0}{\overset{t}{\int }}\overline{\mathrm{\Phi }A}{Y}_0(t-s)B(s,y_0\left(s\right),y_1\left(s\right),\dots ,y_{n-1}\left(s\right),u\left(s\right))ds\right). \end{gathered}$$

Thus, Problem (1)–(3) are represented in the form of system

$$\begin{array}{c}{y}_0\left(t\right)=H^0(y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right),u\left(t\right)),\\ y_1\left(t\right)=H^1(y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right),u\left(t\right)),\\ \dots ,\\ y_{n-1}\left(t\right)=H^{n-1}(y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right),u\left(t\right)),\\ u\left(t\right)=H^n(y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right),u\left(t\right)).\end{array}$$

(15)

We take $t=0$ in (15); then, we have $H^j(z_0,z_1,\dots ,z_{n-1},u_0)=z_j$ for $j=0,1,\dots ,n-1$,

$$H^n(z_0,z_1,\dots ,z_{n-1},u_0)=F(0,v_0)=u_0.$$

Due to the assumptions of Theorem, if $(y_0,y_1,\dots ,y_{n-1},u)\in {\mathfrak{M}}_T$, then

$$H(y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right),u\left(t\right))$$

is continuous with respect to t on $[0,T]$. Taking into account Remark 2 and assumptions $\left(\mathcal{E}\right)$, $\left(\mathcal{F}\right)$, we have, for $t\in (0,T]$,

$${\parallel H^j(y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right),u\left(t\right))-z_j\parallel }_{\mathcal{Z}}$$

$$\le \sum _{\begin{array}{c}k=0\\ k\ne j\end{array}}^{n-1}{\parallel Y_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j}\left(t\right)z_k\parallel }_{\mathcal{Z}}+{\parallel Y_{{\sigma }_n-1}\left(t\right)z_k-z_k\parallel }_{\mathcal{Z}}$$

$$+\underset{0}{\overset{t}{\int }}{\parallel Y_{{\sigma }_j}(t-s)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}{\parallel B(s,y_0\left(s\right),\dots ,y_{n-1}\left(s\right),u\left(s\right))-B(0,z_0,z_1,\dots ,z_{n-1},u_0)\parallel }_{\mathcal{Z}}ds$$

$$+\underset{0}{\overset{t}{\int }}{\parallel Y_{{\sigma }_j}(t-s)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}{\parallel B(0,z_0,z_1,\dots ,z_{n-1},u_0)\parallel }_{\mathcal{Z}}ds$$

$$\le nC{t}^{{\alpha }_0+{\alpha }_n-1}+C_1{t}^{{\sigma }_n-{\sigma }_j}\left(\sum _{k=0}^{n-1}{\parallel y_k\left(t\right)-z_k\parallel }_{\mathcal{Z}}+{\parallel u\left(t\right)-u_0\parallel }_{\mathcal{U}}\right)$$

$$+C_1{t}^{{\sigma }_n-{\sigma }_j}{\parallel B(0,z_0,z_1,\dots ,z_{n-1},u_0)\parallel }_{\mathcal{Z}}\le C_2{t}^{{\alpha }_n}(1+(n+1)R+C_3),j=0,1,\dots ,n-1,$$

$$\parallel H^n(y_0\left(t\right),y_1\left(t\right),\dots ,y_{n-1}\left(t\right),u\left(t\right))-u_0{\parallel }_{\mathcal{U}}$$

$$\le {\parallel F(t,v\left(t\right))-F(t,v_0)\parallel }_{\mathcal{U}}+{\parallel F(t,v_0)-F(0,v_0)\parallel }_{\mathcal{U}}$$

$$\le l{\parallel v\left(t\right)-v_0\parallel }_{\mathcal{U}}+{\parallel F(t,v_0)-F(0,v_0)\parallel }_{\mathcal{U}}\le {\parallel F(t,v_0)-F(0,v_0)\parallel }_{\mathcal{U}}$$

$$+l{\parallel {\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right)-{\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(0\right)\parallel }_{\mathcal{U}}+l{\parallel \overline{\mathrm{\Phi }A}\parallel }_{\mathcal{L}(\mathcal{Z};\mathcal{U})}{\parallel Z_0\left(t\right)z_0-z_0\parallel }_{\mathcal{Z}}+l{∥\overline{\mathrm{\Phi }A}\sum _{k=1}^{n-1}{Z}_k\left(t\right)z_k∥}_{\mathcal{U}}$$

$$+l{\parallel \mathrm{\Phi }{B}_1(t,y_0\left(t\right),\dots ,y_{n-1}\left(t\right))-\mathrm{\Phi }{B}_1(0,z_0,\dots ,z_{n-1})\parallel }_{\mathcal{U}}$$

$$+l\underset{0}{\overset{t}{\int }}{\parallel \overline{\mathrm{\Phi }A}{Y}_0(t-s)B(0,z_0,z_1,\dots ,z_{n-1},u_0)\parallel }_{\mathcal{U}}ds$$

$$+l\underset{0}{\overset{t}{\int }}{\parallel \overline{\mathrm{\Phi }A}{Y}_0(t-s)(B(s,y_0\left(s\right),y_1\left(s\right),\dots ,y_{n-1}\left(s\right),u\left(s\right))-B(0,z_0,z_1,\dots ,z_{n-1},u_0))\parallel }_{\mathcal{U}}ds$$

$$\le {\parallel F(t,v_0)-F(0,v_0)\parallel }_{\mathcal{U}}+l{\parallel {\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right)-{\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(0\right)\parallel }_{\mathcal{U}}$$

$$+C_4(1+t^{{\alpha }_n})\sum _{k=0}^{n-1}{\parallel y_k\left(t\right)-z_k\parallel }_{\mathcal{Z}}+C_4{t}^{{\alpha }_n}$$

$$\le {\parallel F(t,v_0)-F(0,v_0)\parallel }_{\mathcal{U}}+l{\parallel {\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right)-{\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(0\right)\parallel }_{\mathcal{U}}$$

$$+t^{{\alpha }_n}(1+t^{{\alpha }_n})n{C}_2{C}_4(1+(n+1)R+C_3)+C_4{t}^{{\alpha }_n}\le C_5{t}^{{\alpha }_n},$$

where l is a Lipschitz constant for F, and $v_0$ and $v\left(t\right)$ are defined by (8) and (14). Here and further, various constants the value of which is not important are denoted by symbols $C_1$, $C_2$, and so on. Thus, for a sufficiently small $T_1\in (0,T]$, H acts from the set ${\mathfrak{M}}_{T_1}$ into itself.

We denote for $i=1,2$, $j=0,1,\dots ,n-1$ $y_j^i\left(t\right)=H^j(y_0^i\left(t\right),y_1^i\left(t\right),\dots ,y_{n-1}^i\left(t\right),u^i\left(t\right))$, $u^i\left(t\right)=H^n(y_0^i\left(t\right),y_1^i\left(t\right),\dots ,y_{n-1}^i\left(t\right),u^i\left(t\right));$ then, for $k=0,1,\dots ,n-1$, the Lipschitz condition for B implies that

$${\parallel y_k^1\left(t\right)-y_k^2\left(t\right)\parallel }_{\mathcal{Z}}\le C_1{T}^{{\alpha }_n}\left(\sum _{j=0}^{n-1}\underset{s\in [0,T]}{sup}{\parallel y_j^1\left(s\right)-y_j^2\left(s\right)\parallel }_{\mathcal{Z}}+\underset{s\in [0,T]}{sup}{\parallel u^1\left(s\right)-u^2\left(s\right)\parallel }_{\mathcal{U}}\right),$$

$${\parallel u^1\left(t\right)-u^2\left(t\right)\parallel }_{\mathcal{U}}\le C_2\sum _{j=0}^{n-1}\underset{s\in [0,T]}{sup}{\parallel y_j^1\left(s\right)-y_j^2\left(s\right)\parallel }_{\mathcal{Z}}$$

$$+C_2{T}^{{\alpha }_n}\left(\sum _{j=0}^{n-1}\underset{s\in [0,T]}{sup}{\parallel y_j^1\left(s\right)-y_j^2\left(s\right)\parallel }_{\mathcal{Z}}+\underset{s\in [0,T]}{sup}{\parallel u^1\left(s\right)-u^2\left(s\right)\parallel }_{\mathcal{U}}\right)$$

$$\le (n{C}_1+1)C_2{T}^{{\alpha }_n}\left(\sum _{j=0}^{n-1}\underset{s\in [0,T]}{sup}{\parallel y_j^1\left(s\right)-y_j^2\left(s\right)\parallel }_{\mathcal{Z}}+\underset{s\in [0,T]}{sup}{\parallel u^1\left(s\right)-u^2\left(s\right)\parallel }_{\mathcal{U}}\right).$$

Hence, for a small enough $T_1>0$, H is a contraction operator on ${\mathfrak{M}}_{T_1}$ and has in the complete metric space ${\mathfrak{M}}_{T_1}$ a unique fixed point $(y_0^0,y_1^0,\dots ,y_{n-1}^0,u^0)$.

Since ${\alpha }_0=1$, we have

$$y_0^0\left(t\right)={\mathcal{D}}^{{\sigma }_0}{y}_0^0\left(t\right)=\sum _{k=0}^{m-1}{Z}_k\left(t\right)z_k+\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,y_0^0\left(s\right),\dots ,y_{n-1}^0\left(s\right),u^0\left(s\right))ds.$$

Hence, pair $(y_0^0\left(t\right),u^0\left(t\right))$ is a mild solution of (1)–(3).

Each of the two mild solutions $(z^0,u^0)$ and $(z^1,u^1)$ corresponds to a fixed point $(z^0,{\mathcal{D}}^{{\sigma }_1}{z}^0,\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}{z}^0,u^0)$ and $(z^1,{\mathcal{D}}^{{\sigma }_1}{z}^1,\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}{z}^1,u^1)$ of the mapping H. The uniqueness of a fixed point for H in ${\mathfrak{M}}_{T_1}$ with a small enough $T_1>0$ implies that $z^0\left(t\right)=z^1\left(t\right)$, $u^0\left(t\right)=u^1\left(t\right)$ for $t\in [0,T_1]$. □

3.2. Classical Solution

Definition 3.

A classical solution of Problem (1)–(3) on $[0,T]$ is pair $(z,u)\in C((0,T];D_A)\times C([0,T];\mathcal{U})$, for which ${\mathcal{D}}^{{\sigma }_k}z\in C([0,T];\mathcal{Z})$, $k=0,1,\dots ,n-1$, ${\mathcal{D}}^{{\sigma }_n}z\in C((0,T];\mathcal{Z})$. Inclusion $(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right))\in Z$ and Condition (3) for $t\in [0,T]$, Equality (1) for $t\in (0,T]$ and Condition (2) are fulfilled.

To obtain the unique solvability theorem in the sense of classical solution for the identification problem, we first use an additional condition $B\in C(Z;D_A)$.

Theorem 3.

We let ${\alpha }_0=1$, ${\alpha }_k\in (0,1]$, $k=1,2,\dots ,n$, ${\theta }_0\in (\pi /2,\pi ]$, $a_0\ge 0$, $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$, $z_k\in D_A$, $k=0,1,\dots ,n-1$, $(0,z_0,z_1,\dots ,z_{n-1})\in Z$, $\mathrm{\Phi },\overline{\mathrm{\Phi }A}\in \mathcal{L}(\mathcal{Z};\mathcal{U})$, ${\mathcal{D}}^{{\sigma }_k}\mathrm{\Psi }\in C([0,T];\mathcal{U})$, $k=0,1,\dots ,n-1$, $\mathrm{\Phi }{z}_0=\mathrm{\Psi }\left(0\right),$ and conditions $\left(\mathcal{A}\right)$–$\left(\mathcal{F}\right)$ be satisfied, $B\in C(Z;D_A)$. Then, Problem (1)–(3) has a unique classical solution $(z,u)$ on segment $[0,T_1]$ with some $T_1\in (0,T]$.

Proof. 

By Theorem 2, Problem (1)–(3) has a mild solution $(z\left(t\right),u^0\left(t\right))$ on a small enough segment $[0,T_1]$. Then, $f\left(t\right):=B(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right))$ is contained in class $C([0,T];D_A)$, and by Theorem 1, z is a classical solution of direct Problem (1), (2) with a given $u^0$. □

But condition $B\in C(Z;D_A)$ is not often met in applications, so we replace it with conditions for additional smoothness of B. For this aim, we replace assumptions $\left(\mathcal{E}\right)$ and $\left(\mathcal{F}\right)$ with stronger conditions:

$\left({\mathcal{E}}_1\right)$ there is such a constant, $R>0$, that F is continuous with respect to the totality of the variables $(t,v)$ on the set $S_{\mathcal{U}}(u_0,R,T)$, which is Lipschitz continuous in v and is Hölder continuous with a power of $\gamma \in (0,1]$ in t;

$\left({\mathcal{F}}_1\right)$ there exists $R>0$, such that mappings $B_1(t,\overline{y})$ and $B_2(t,\overline{y},u)$ are continuous with respect to the totality of the variables on the set $S_{{\mathcal{Z}}^n\times \mathcal{U}}((z_0,z_1,\dots ,z_{n-1},u_0),R,T)$, which is Lipschitz continuous in $(\overline{y},u)$ and is Hölder continuous with a power of $\gamma \in (0,1]$ in t.

Lemma 3.

We let $\alpha \in (0,1)$, $h,D^{\alpha }h\in C\left([0,T]\mathcal{Z}\right)$; then,

$$\exists C>0\forall s,t\in [0,T]{\parallel h\left(s\right)-h\left(t\right)\parallel }_{\mathcal{Z}}\le C\parallel D^{\alpha }{h\parallel }_{C\left(\right[0,T];\mathcal{Z})}{|s-t|}^{\alpha }.$$

Proof. 

We take $0\le s<t\le T$; hence,

$$h\left(t\right)=D^1{J}^{1}h\left(t\right)=D^1{J}^{\alpha }{J}^{1-\alpha }h\left(t\right)=J^{\alpha }{D}^1{J}^{1-\alpha }h\left(t\right)=J^{\alpha }{D}^{\alpha }h\left(t\right),$$

since $J^{1-\alpha }h\left(0\right)=0$. Then,

$$h\left(t\right)-h\left(s\right)=J^{\alpha }{D}^{\alpha }h\left(t\right)-J^{\alpha }{D}^{\alpha }h\left(s\right)$$

$$=\underset{0}{\overset{s}{\int }}\frac{{(t-\tau )}^{\alpha -1}-{(s-\tau )}^{\alpha -1}}{\mathrm{\Gamma }\left(\alpha \right)}{D}^{\alpha }h\left(\tau \right)d\tau +\underset{s}{\overset{t}{\int }}\frac{{(t-\tau )}^{\alpha -1}}{\mathrm{\Gamma }\left(\alpha \right)}{D}^{\alpha }h\left(\tau \right)d\tau ,$$

$${\parallel h\left(t\right)-h\left(s\right)\parallel }_{\mathcal{Z}}\le {\parallel D^{\alpha }h\parallel }_{C\left(\right[0,T];\mathcal{Z})}\left(\frac{{(t-s)}^{\alpha }}{\mathrm{\Gamma }(\alpha +1)}+\left|\underset{0}{\overset{s}{\int }}\underset{s}{\overset{t}{\int }}\frac{{(r-\tau )}^{\alpha -2}}{\mathrm{\Gamma }(\alpha -1)}drd\tau \right|\right)$$

$$=\frac{\parallel D^{\alpha }{h\parallel }_{C\left(\right[0,T];\mathcal{Z})}}{\mathrm{\Gamma }(\alpha +1)}\left({(t-s)}^{\alpha }+\alpha \left|\underset{s}{\overset{t}{\int }}(r^{\alpha -1}-{(r-s)}^{\alpha -1})dr\right|\right)$$

$$\le \frac{{\parallel D^{\alpha }h\parallel }_{C\left(\right[0,T];\mathcal{Z})}}{\mathrm{\Gamma }(\alpha +1)}\left({(t-s)}^{\alpha }+\alpha \underset{s}{\overset{t}{\int }}{(r-s)}^{\alpha -1}dr\right)=\frac{2\parallel D^{\alpha }{h\parallel }_{C\left(\right[0,T];\mathcal{Z})}}{\mathrm{\Gamma }(\alpha +1)}{(t-s)}^{\alpha }.$$

□

Theorem 4.

We let ${\alpha }_0=1$, ${\alpha }_k\in (0,1]$, $k=1,2,\dots ,n$, ${\theta }_0\in (\pi /2,\pi ]$, $a_0\ge 0$, $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$, $z_k\in D_A$, $k=0,1,\dots ,n-1$, $(0,z_0,z_1,\dots ,z_{n-1})\in Z$, $\mathrm{\Phi },\overline{\mathrm{\Phi }A}\in \mathcal{L}(\mathcal{Z};\mathcal{U})$, ${\mathcal{D}}^{{\sigma }_k}\mathrm{\Psi }\in C([0,T];\mathcal{U})$, $k=0,1,\dots ,n-1$, ${\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\in C^{\gamma }([0,T];\mathcal{U})$, $\gamma \in (0,1]$, $\mathrm{\Phi }{z}_0=\mathrm{\Psi }\left(0\right),$ and conditions $\left(\mathcal{A}\right)$–$\left(\mathcal{D}\right)$, $\left({\mathcal{E}}_1\right)$, $\left({\mathcal{F}}_1\right)$ be satisfied. Then, Problem (1)–(3) has a unique classical solution $(z,u)$ on segment $[0,T_1]$ with some $T_1\in (0,T]$.

Proof. 

As before, $(z\left(t\right),u^0\left(t\right))$ is a mild solution of (1)–(3) on some small enough segment $[0,T_1]$, which exists by Theorem 2. We take $\alpha \in (0,min\{{\alpha }_k:k=0,1,\dots ,n\})$, $\alpha \le \gamma$. Then, due to Remark 2, for $k,j\in \{0,1,\dots ,n-1\}$, $k>j$, we have $D^{\alpha }{D}^{{\alpha }_j}{Z}_k\left(t\right)=D^{\alpha }{Y}_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j}\left(t\right)=Y_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j+\alpha }\left(t\right)$ by Formula (5),

$${\parallel D^{\alpha }{D}^{{\alpha }_j}{Z}_k\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}={\parallel Y_{{\sigma }_n-{\sigma }_k-1+{\sigma }_j+\alpha }\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}\le C{t}^{{\sigma }_k-{\sigma }_j-\alpha },t\in [0,T],$$

${\sigma }_k-{\sigma }_j-\alpha \ge {\alpha }_k-\alpha >0$. If $k<j$, $z_k\in D_A$; then, we have, due to (5), $D^{\alpha }{D}^{{\alpha }_j}{Z}_k\left(t\right)z_k=D^{\alpha }{Y}_{{\sigma }_j-{\sigma }_k-1}\left(t\right)A{z}_k=Y_{{\sigma }_j-{\sigma }_k-1+\alpha }\left(t\right)A{z}_k$,

$${\parallel D^{\alpha }{D}^{{\alpha }_j}{Z}_k\left(t\right)z_k\parallel }_{\mathcal{Z}}={\parallel Y_{{\sigma }_j-{\sigma }_k-1+\alpha }\left(t\right)A{z}_k\parallel }_{\mathcal{Z}}\le C{t}^{{\sigma }_n-{\sigma }_j+{\sigma }_k-\alpha }{\parallel A{z}_k\parallel }_{\mathcal{Z}},$$

${\sigma }_n-{\sigma }_j+{\sigma }_k-\alpha \ge {\alpha }_n+{\alpha }_0-1-\alpha ={\alpha }_n-\alpha >0.$ In addition, for $z_k\in D_A$,

$${\parallel D^{\alpha }({\mathcal{D}}^{{\sigma }_k}{Z}_k\left(t\right)z_k-z_k)\parallel }_{\mathcal{Z}}={\parallel D^{\alpha }{Y}_{-1}\left(t\right)A{z}_k\parallel }_{\mathcal{Z}}={\parallel Y_{\alpha -1}\left(t\right)A{z}_k\parallel }_{\mathcal{Z}}\le C{t}^{{\sigma }_n-\alpha }{\parallel A{z}_k\parallel }_{\mathcal{Z}},$$

${\sigma }_n-\alpha ={\alpha }_1+{\alpha }_2+\dots {\alpha }_n-\alpha >0$. Thus, $D^{\alpha }{\mathcal{D}}^{{\sigma }_j}{Z}_k(·)z_k,D^{\alpha }({\mathcal{D}}^{{\sigma }_k}{Z}_k\left(t\right)z_k-z_k)\in C([0,T];\mathcal{Z})$ for $z_k\in D_A$, $k,j\in \{0,1,\dots ,n-1\}$, $k\ne j$; therefore, by Lemma 3, ${\mathcal{D}}^{{\sigma }_j}{Z}_k(·)z_k\in C^{\alpha }([0,T];\mathcal{Z})$.

Moreover, Equality (10) implies that

$$D^{\alpha }{D}^{{\alpha }_j}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds$$

$$=D^1\underset{0}{\overset{t}{\int }}{Y}_{{\sigma }_j-1+\alpha }(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds$$

$$=\underset{0}{\overset{t}{\int }}{Y}_{{\sigma }_j+\alpha }(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds,$$

$${∥D^{\alpha }{D}^{{\alpha }_j}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds∥}_{\mathcal{Z}}$$

$$\le \frac{C}{{\sigma }_n-{\sigma }_j-\alpha }\underset{s\in [0,t]}{max}{\parallel B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))\parallel }_{\mathcal{Z}}{t}^{{\sigma }_n-{\sigma }_j-\alpha }.$$

Here, we use inequalities ${\parallel Y_{{\sigma }_j-1+\alpha }\left(t\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}\le C{t}^{{\sigma }_n-{\sigma }_j-\alpha }$, ${\sigma }_n-{\sigma }_j-\alpha \ge {\alpha }_n-\alpha >0$. Hence,

$$D^{{\alpha }_j}\underset{0}{\overset{t}{\int }}{Y}_0(t-s)B(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(s\right))ds\in C^{\alpha }([0,T];\mathcal{Z})$$

and $D^{{\alpha }_j}z\in C^{\alpha }([0,T];\mathcal{Z})$, $j=0,1,\dots ,n-1$.

We recall that $u^0\left(t\right)=F(t,v\left(t\right))$, where

$$v\left(t\right)={\mathcal{D}}^{{\sigma }_n}\mathrm{\Psi }\left(t\right)-\overline{\mathrm{\Phi }A}\sum _{k=0}^{n-1}{Z}_k\left(t\right)z_k-\mathrm{\Phi }{B}_1(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right))$$

$$-\underset{0}{\overset{t}{\int }}\overline{\mathrm{\Phi }A}{Y}_0(t-\tau )B(\tau ,{\mathcal{D}}^{{\sigma }_0}z\left(\tau \right),{\mathcal{D}}^{{\sigma }_1}z\left(\tau \right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(\tau \right),u\left(\tau \right))d\tau .$$

Consequently, under conditions $\left({\mathcal{E}}_1\right)$, $\left({\mathcal{F}}_1\right)$,

$$u^0\left(t\right)-u^0\left(s\right)=F(t,v\left(t\right))-F(s,v\left(s\right))=F(t,v\left(t\right))-F(t,v\left(s\right))+F(t,v\left(s\right))-F(s,v\left(s\right)),$$

$${\parallel u^0\left(t\right)-u^0\left(s\right)\parallel }_{\mathcal{U}}\le C_1{\left(\right|s-t|}^{\alpha }+{\parallel v\left(t\right)-v\left(s\right)\parallel }_{\mathcal{U}})\le C_1{|s-t|}^{\alpha }$$

$$+C_2{\parallel B_1(t,{\mathcal{D}}^{{\sigma }_0}z\left(t\right),{\mathcal{D}}^{{\sigma }_1}z\left(t\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(t\right))-B_1(t,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right))\parallel }_{\mathcal{Z}}$$

$$+C_2{\parallel B_1(t,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right))-B_1(s,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right))\parallel }_{\mathcal{Z}}$$

$$\le C_3{|s-t|}^{\alpha }+C_3\sum _{k=0}^{n-1}{\parallel {\mathcal{D}}^{{\sigma }_k}z\left(s\right)-{\mathcal{D}}^{{\sigma }_k}z\left(s\right)\parallel }_{\mathcal{Z}}\le C_3{|s-t|}^{\alpha }.$$

Therefore, mapping $t\to B(t,{\mathcal{D}}^{{\sigma }_0}z\left(s\right),{\mathcal{D}}^{{\sigma }_1}z\left(s\right),\dots ,{\mathcal{D}}^{{\sigma }_{n-1}}z\left(s\right),u\left(t\right))$ satisfies the Hölder condition with power $\alpha$ due to condition $\left({\mathcal{F}}_1\right)$. Thus, by Theorem 1, z is a solution of direct problem (1), (2) with a given $u^0$; therefore, $(z,u^0)$ is a classical solution of identification problem (1)–(3). □

4. Time-Fractional Phase Field System of Equations

We let $\mathrm{\Omega }\subset {\mathbb{R}}^d$ be a bounded domain with a smooth boundary $\partial \mathrm{\Omega }$, $\delta ,\nu ,\kappa \in \mathbb{R}$, ${\alpha }_0=1$, ${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n\in (0,1)$, ${\sigma }_k={\alpha }_0+{\alpha }_1+\dots +{\alpha }_k-1$, $k=0,1,\dots ,n$; $\mathsf{\Delta }=\frac{{\partial }^2}{{\partial }^2{\xi }_1}+\dots +\frac{{\partial }^2}{{\partial }^2{\xi }_d}$ is the Laplace operator, $⟨·,·⟩$ is the inner product in space $L_2\left(\mathrm{\Omega }\right)$, ${\eta }_l\in H^2\left(\mathrm{\Omega }\right)$, $l=1,2,\dots ,2n$. We consider problem

$${\mathcal{D}}_t^{{\sigma }_k}x(\xi ,0)=x_k\left(\xi \right),{\mathcal{D}}_t^{{\sigma }_k}y(\xi ,0)=y_k\left(\xi \right),k=0,1,\dots ,n-1,\xi \in \mathrm{\Omega },$$

(16)

$$(1-\delta )x(\xi ,t)+\delta \frac{\partial x}{\partial n}(\xi ,t)=0,(1-\delta )y(\xi ,t)+\delta \frac{\partial y}{\partial n}(\xi ,t)=0,(\xi ,t)\in \partial \mathrm{\Omega }\times [0,T],$$

(17)

$$⟨x(·,t),{\eta }_l⟩={\varphi }_l\left(t\right),⟨y(·,t),{\eta }_l⟩={\psi }_l\left(t\right),l=1,2,\dots ,2n,t\in [0,T],$$

(18)

to the system of equations in $\mathrm{\Omega }\times [0,T]$,

$${\mathcal{D}}_t^{{\sigma }_n}x(\xi ,t)=\mathsf{\Delta }x(\xi ,t)-\mathsf{\Delta }y(\xi ,t)+\sum _{k=0}^{n-1}{u}_k^1\left(t\right){\mathcal{D}}_t^{{\sigma }_k}x(\xi ,t)+\sum _{k=0}^{n-1}{v}_k^1\left(t\right){\mathcal{D}}_t^{{\sigma }_k}y(\xi ,t)+f(\xi ,t),$$

(19)

$${\mathcal{D}}_t^{{\sigma }_n}y(\xi ,t)=\nu \mathsf{\Delta }y(\xi ,t)-\kappa y^3(\xi ,t)+\sum _{k=0}^{n-1}{u}_k^2\left(t\right){\mathcal{D}}_t^{{\sigma }_k}x(\xi ,t)+\sum _{k=0}^{n-1}{v}_k^2\left(t\right){\mathcal{D}}_t^{{\sigma }_k}y(\xi ,t)+g(\xi ,t)$$

(20)

with unknown functions $x,y,u_k^i,v_k^i$, $k=0,1,\dots ,n-1$, $i=1,2$. At $n=1$, ${\alpha }_1=1$, $u_k^1=v_k^1=0$, $k=0,1,\dots ,n-1$, $u_k^2=v_k^2=0$, $k=1,2,\dots ,n-1$, System (19), (20) up to linear replacement $x(\xi ,t)=\tilde{x}(\xi ,t)+\frac{l}{2}\tilde{y}(\xi ,t)$, $y(\xi ,t)=\frac{l}{2}\tilde{y}(\xi ,t)$, $l\in \mathbb{R}$, and stretching over t coincide with the linearization of phase field equations [29,30].

We put $j\in \mathbb{N}$, $j>d/2$, $\mathcal{Z}={\left(H^j\left(\mathrm{\Omega }\right)\right)}^2$,

$$A=\left(\begin{array}{cc}\mathsf{\Delta }& -\mathsf{\Delta }\\ 0& \nu \mathsf{\Delta }\end{array}\right),D_A={\left(H_{\delta }^{j+2}\left(\mathrm{\Omega }\right)\right)}^2,$$

$$H_{\delta }^{j+2}\left(\mathrm{\Omega }\right):=\left\{h\in H^{j+2}\left(\mathrm{\Omega }\right):\left(\delta \frac{\partial }{\partial n}+1-\delta \right)h\left(\xi \right)=0,\xi \in \partial \mathrm{\Omega }\right\}.$$

Therefore, $A\in \mathcal{C}l\left(\mathcal{Z}\right)$.

By $\{{\phi }_k:k\in \mathbb{N}\}$, we denote orthonormal in the sense of the inner product $⟨·,·⟩$ in $L_2\left(\mathrm{\Omega }\right)$ eigenfunctions of the Laplace operator with domain $H_{\delta }^{j+2}\left(\mathrm{\Omega }\right)$, which are numbered in the order of non-increasing eigenvalues $\{{\lambda }_k:k\in \mathbb{N}\}$ taking into account their multiplicities.

Theorem 5.

We let ${\alpha }_0,{\alpha }_1,\dots ,{\alpha }_n\in (0,1)$, ${\alpha }_0+{\alpha }_n>1$, ${\sigma }_n=1$, $\nu >0$, $\delta \in \mathbb{R}$, $j\in {\mathbb{N}}_0:=\mathbb{N}\cup \left\{0\right\}$, then $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$ for some ${\theta }_0\in (\pi /2,\pi )$, $a_0\ge 0$ in this case $\sigma \left(A\right)=\{{\lambda }_k,\nu {\lambda }_k:k\in \mathbb{N}\}.$

Proof. 

We take the basis $\{{\phi }_k:k\in \mathbb{N}\}$ in $L_2\left(\mathrm{\Omega }\right)$ and obtain for $\lambda \ne {\lambda }_k$, $\lambda \ne \nu {\lambda }_k$, $k\in \mathbb{N}$ operators

$${\lambda }^{{\sigma }_n}I-A=\left(\begin{array}{cc}\lambda I-\mathsf{\Delta }& \mathsf{\Delta }\\ 0& {\lambda }^{{\sigma }_n}I-\nu \mathsf{\Delta }\end{array}\right),$$

$${({\lambda }^{{\sigma }_n}I-A)}^{-1}=\sum _{k=1}^{\infty }\left(\begin{array}{cc}\frac{1}{\lambda -{\lambda }_k}& -\frac{{\lambda }_k}{(\lambda -{\lambda }_k)(\lambda -\nu {\lambda }_k)}\\ 0& \frac{1}{\lambda -\nu {\lambda }_k}\end{array}\right)⟨·,{\phi }_k⟩{\phi }_k.$$

We take arbitrary ${\theta }_0\in (\pi /2,\pi )$, $a_0>max\{{\lambda }_k,\nu {\lambda }_k:k\in \mathbb{N}\}$; then, for any $a\ge a_0$, $\lambda \in S_{{\theta }_0,a_0}$,

$$\left|\frac{1}{\lambda -{\lambda }_k}\right|\le \frac{-1}{|\lambda -a|sin{\theta }_0},\left|\frac{1}{\lambda -\nu {\lambda }_k}\right|\le \frac{-1}{|\lambda -a|sin{\theta }_0},$$

$$\left|\frac{{\lambda }_k}{(\lambda -{\lambda }_k)(\lambda -\nu {\lambda }_k)}\right|=\left|\frac{1}{(1-\lambda /{\lambda }_k)(\lambda -\nu {\lambda }_k)}\right|\le \frac{C_1}{|\lambda -a|{sin}^2{\theta }_0}$$

for some $C_1>0$, since for all $\lambda \in S_{{\theta }_0,a_0}$, $k\in \mathbb{N}$,

$$\left|\frac{1}{1-\lambda /{\lambda }_k}\right|\le C_1.$$

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

$${\parallel R_{{\lambda }^{{\sigma }_n}}\left(A\right)\parallel }_{\mathcal{L}\left(\mathcal{Z}\right)}^2\le \frac{C_2}{|{\lambda }^{{\sigma }_n}{-a|}^{{\alpha }_0}{\left|\lambda \right|}^{{\sigma }_n-{\alpha }_0}},$$

and $A\in {\mathcal{A}}_{\left\{{\alpha }_k\right\}}({\theta }_0,a_0)$. □

Theorem 6.

We let ${\alpha }_0=1$, ${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n\in (0,1)$, ${\sigma }_n=1$, $\nu >0$, $\delta ,\kappa \in \mathbb{R}$, $j\in \mathbb{N}$, $j>d/2$, $g,h\in C([0,T];H^j\left(\mathrm{\Omega }\right))$, $x_k,y_k\in H_{\delta }^{2+j}\left(\mathrm{\Omega }\right)$, $k=0,1,\dots ,n-1$, ${\eta }_l\in H^2\left(\mathrm{\Omega }\right)$, ${\mathcal{D}}^{{\sigma }_k}{\varphi }_l,{\mathcal{D}}^{{\sigma }_k}{\psi }_l\in C([0,T];\mathbb{R})$, $k=0,1,\dots ,n$, $⟨x_0,{\eta }_l⟩={\varphi }_l\left(0\right)$, $⟨y_0,{\eta }_l⟩={\psi }_l\left(0\right)$, $l=1,2,\dots ,2n$,

$$det\left(\begin{array}{ccccc}{\mathcal{D}}^{{\sigma }_0}{\varphi }_1\left(t\right)& {\mathcal{D}}^{{\sigma }_0}{\psi }_1\left(t\right)& \dots & {\mathcal{D}}^{{\sigma }_{n-1}}{\varphi }_1\left(t\right)& {\mathcal{D}}^{{\sigma }_{n-1}}{\psi }_1\left(t\right)\\ {\mathcal{D}}^{{\sigma }_0}{\varphi }_2\left(t\right)& {\mathcal{D}}^{{\sigma }_0}{\psi }_2\left(t\right)& \dots & {\mathcal{D}}^{{\sigma }_{n-1}}{\varphi }_2\left(t\right)& {\mathcal{D}}^{{\sigma }_{n-1}}{\psi }_2\left(t\right)\\ \dots & \dots & \dots & \dots & \dots \\ {\mathcal{D}}^{{\sigma }_0}{\varphi }_{2n}\left(t\right)& {\mathcal{D}}^{{\sigma }_0}{\psi }_{2n}\left(t\right)& \dots & {\mathcal{D}}^{{\sigma }_{n-1}}{\varphi }_{2n}\left(t\right)& {\mathcal{D}}^{{\sigma }_{n-1}}{\psi }_{2n}\left(t\right)\end{array}\right)\ne 0$$

(21)

for all $t\in [0,T]$. Then, Problem (16)–(20) has a unique mild solution.

Proof. 

We take $\mathcal{U}={\mathbb{R}}^{4n}$, $(b_k,c_k)\in \mathcal{Z}$, $k=0,1,\dots ,n-1$, $u_k^i,v_k^i\in \mathbb{R}$, $k=0,1,\dots ,n-1$, $i=1,2$,

$$B(t,b_0,c_0,\dots ,b_{n-1},c_{n-1},u_0^1,v_0^1,\dots ,u_{n-1}^1,v_{n-1}^1,u_0^2,v_0^2,\dots ,u_{n-1}^2,v_{n-1}^2)$$

$$=\left(\begin{array}{c}{\displaystyle \sum _{k=0}^{n-1}}{u}_k^1{b}_k+{\displaystyle \sum _{k=0}^{n-1}}{v}_k^1{c}_k+f(·,t)\\ {\displaystyle \sum _{k=0}^{n-1}}{u}_k^2{b}_k+{\displaystyle \sum _{k=0}^{n-1}}{v}_k^2{c}_k-\kappa c_0^3+g(·,t)\end{array}\right).$$

Hence, $B:{\mathcal{Z}}^n\times \mathcal{U}\to \mathcal{Z}$,

$$B_1(t,b_0,c_0,\dots ,b_{n-1},c_{n-1})=\left(\begin{array}{c}f(·,t)\\ -\kappa c_0^3+g(·,t)\end{array}\right).$$

We have $\mathrm{\Phi }=({\mathrm{\Phi }}_1,{\mathrm{\Phi }}_2,\dots ,{\mathrm{\Phi }}_{2n})$, where for $h=(h_1,h_2)$ ${\mathrm{\Phi }}_{l}h=(⟨h_1,{\eta }_l⟩,⟨h_2,{\eta }_l⟩)$, $l=1,2,\dots ,2n.$ Then,

$${\mathrm{\Phi }}_{l}Ah=(⟨\mathsf{\Delta }{h}_1-\mathsf{\Delta }{h}_2,{\eta }_l⟩,⟨\nu \mathsf{\Delta }{h}_2,{\eta }_l⟩)=(⟨h_1-h_2,\mathsf{\Delta }{\eta }_l⟩,⟨h_2,\nu \mathsf{\Delta }{\eta }_l⟩),l=1,2,\dots ,2n,$$

since ${\eta }_l\in H^2\left(\mathrm{\Omega }\right)$, $l=1,2,\dots ,2n$. Hence, $\overline{\mathrm{\Phi }A}\in \mathcal{L}(\mathcal{Z};\mathcal{U})$.

Condition $\left(\mathcal{B}\right)$ is satisfied due to Condition (21) at $t=0$. In Condition $\left(\mathcal{C}\right)$, we take for $u_{lk},v_{lk},u_k^i,v_k^i\in \mathbb{R}$, $k=0,1,\dots ,n-1$, $l=1,2,\dots ,2n$, $i=1,2$, $B_3:{\mathbb{R}}^{4n(n+1)}\to {\mathbb{R}}^{4n}$,

$$B_3(u_{10},v_{10},\dots ,u_{2nn-1},v_{2nn-1},u_0^1,v_0^1,\dots ,u_{n-1}^1,v_{n-1}^1,u_0^2,v_0^2,\dots ,u_{n-1}^2,v_{n-1}^2)$$

$$=\left(\begin{array}{c}{u}_{10}{u}_0^1+v_{10}{v}_0^1+\dots +u_{1n-1}{u}_{n-1}^1+v_{1n-1}{v}_{n-1}^1\\ \dots \\ u_{2n0}{u}_0^1+v_{2n0}{v}_0^1+\dots +u_{2nn-1}{u}_{n-1}^1+v_{2nn-1}{v}_{n-1}^1\\ u_{10}{u}_0^2+v_{10}{v}_0^2+\dots +u_{1n-1}{u}_{n-1}^2+v_{1n-1}{v}_{n-1}^2\\ \dots \\ u_{2n0}{u}_0^2+v_{2n0}{v}_0^2+\dots +u_{2nn-1}{u}_{n-1}^2+v_{2nn-1}{v}_{n-1}^2\end{array}\right).$$

By Inequality (21), Condition $\left(\mathcal{D}\right)$ is valid.

Due to inequality $j>d/2$, by virtue of the Sobolev embedding theorem, $\mathcal{Z}\subset {\left(C\left(\overline{\mathrm{\Omega }}\right)\right)}^2$. In such a case, a nonlinear operator $N(b_0,c_0)=(0,-\kappa c_0^3)$ acts from $\mathcal{Z}$ into $\mathcal{Z}$ and satisfies the local Lipschitz condition. Therefore, Condition $\left(\mathcal{F}\right)$ is satisfied by the construction of operators $B_1$ and $B_2=B-B_1$. In addition, $F(t,v)=G{\left(t\right)}^{-1}v$, where matrix

$$G\left(t\right)=\left(\begin{array}{ccccc}{\mathcal{D}}^{{\sigma }_0}{\varphi }_1\left(t\right)& {\mathcal{D}}^{{\sigma }_0}{\psi }_1\left(t\right)& \dots & {\mathcal{D}}^{{\sigma }_{n-1}}{\varphi }_1\left(t\right)& {\mathcal{D}}^{{\sigma }_{n-1}}{\psi }_1\left(t\right)\\ {\mathcal{D}}^{{\sigma }_0}{\varphi }_2\left(t\right)& {\mathcal{D}}^{{\sigma }_0}{\psi }_2\left(t\right)& \dots & {\mathcal{D}}^{{\sigma }_{n-1}}{\varphi }_2\left(t\right)& {\mathcal{D}}^{{\sigma }_{n-1}}{\psi }_2\left(t\right)\\ \dots & \dots & \dots & \dots & \dots \\ {\mathcal{D}}^{{\sigma }_0}{\varphi }_{2n}\left(t\right)& {\mathcal{D}}^{{\sigma }_0}{\psi }_{2n}\left(t\right)& \dots & {\mathcal{D}}^{{\sigma }_{n-1}}{\varphi }_{2n}\left(t\right)& {\mathcal{D}}^{{\sigma }_{n-1}}{\psi }_{2n}\left(t\right)\end{array}\right)\in C([0,T];{\mathbb{R}}^{2n\times 2n}),$$

hence, due to (21) $G^{-1}\in C([0,T];{\mathbb{R}}^{2n\times 2n})$, Condition $\left(\mathcal{E}\right)$ is fulfilled.

Reference to Theorems 2 and 5 completes the proof. □

By slightly increasing the smoothness of some data, we obtain a theorem on the classical solution of identification problem (16)–(20).

Theorem 7.

We let ${\alpha }_0=1$, ${\alpha }_1,{\alpha }_2,\dots ,{\alpha }_n\in (0,1)$, ${\sigma }_n=1$, $\nu >0$, $\delta ,\kappa \in \mathbb{R}$, $j\in \mathbb{N}$, $j>d/2$, $g,h\in C^{\gamma }([0,T];H^j\left(\mathrm{\Omega }\right))$, $\gamma \in (0,1]$, $x_k,y_k\in H_{\delta }^{2+j}\left(\mathrm{\Omega }\right)$, $k=0,1,\dots ,n-1$, ${\eta }_l\in H^2\left(\mathrm{\Omega }\right)$, ${\mathcal{D}}^{{\sigma }_k}{\varphi }_l,{\mathcal{D}}^{{\sigma }_k}{\psi }_l\in C([0,T];\mathbb{R})$, $k=0,1,\dots ,n-1$, ${\mathcal{D}}^{{\sigma }_n}{\varphi }_l,{\mathcal{D}}^{{\sigma }_n}{\psi }_l\in C^{\gamma }([0,T];\mathbb{R})$, $⟨x_0,{\eta }_l⟩={\varphi }_l\left(0\right)$, $⟨y_0,{\eta }_l⟩={\psi }_l\left(0\right)$, $l=1,2,\dots ,2n$, Condition (21) be fulfilled for all $t\in [0,T]$, $G^{-1}\in C^{\gamma }([0,T];{\mathbb{R}}^{2n\times 2n})$. Then, Problem (16)–(20) has a unique classical solution.

Proof. 

Under the additional condition $g,h\in C^{\gamma }([0,T];H^j\left(\mathrm{\Omega }\right)$, assumption $\left({\mathcal{E}}_1\right)$ is satisfied. Due to condition $G^{-1}\in C([0,T];{\mathbb{R}}^{2n\times 2n})$, assumption $\left({\mathcal{F}}_1\right)$ is valid. By Theorems 4 and 5, we obtain the required result.

□

5. Conclusions

The obtained abstract results of the unique solvability in the sense of mild and classical solutions for a wide new class of identification problems can find their applications in the study of coefficient inverse problems for various evolutionary equations and systems of equations with the general fractional derivative. In particular, it can be useful for parabolic equations, for equations of hydrodynamics, the theory of visoelasticity, etc. Moreover, the unique solvability theorems can be used for the correct formulation of initial boundary value problems in applied research and for the development of numerical methods for solving these problems.