1. Introduction
Equations with distributed order derivatives appear in various applied problems concerning certain physical or technical processes—for example, when processes are described by equations with fractional derivatives, the order of which depends on the process parameters: in the theory of viscoelasticity [
1], in kinetic theory [
2], for modelling diffusion with a logarithmic growth of the mean square displacement (ultraslow diffusion) [
3] and so on (e.g., [
4,
5,
6,
7]). In the last several decades, numerical solutions searching for such equations were performed in [
8,
9] and many other papers. At the same time, in many scientific works equations with distributed fractional derivatives began to be investigated from the mathematical point of view: unique solvability, a qualitative behaviour of solutions. In this sense, I note the works of Nakhushev [
4,
10] on properties of distributed order differential operators; of Pskhu [
11,
12] on the solvability and qualitative properties of both ordinary differential equations of distributed order, and the diffusion equation of a distributed order in time; of Umarov and Gorenflo [
13] on the unique solvability of multipoint problems, including the Cauchy problem, to the equation with a distributed Caputo derivative in time and with pseudodifferential operators with respect to the space variables; of Atanacković, Oparnica and Pilipović (see [
14] and others) on the existence and the uniqueness of mild and classical solutions for a class of nonlinear distributed order equations, which arise in distributed derivatives models of viscoelasticity and system identification theory; and of Kochubei [
3] on the properties of the ultraslow diffusion equation and initial boundary value problems for it.
Consider the distributed order equation
with the Gerasimov–Caputo derivative
and with a linear operator
A in a Banach space
,
,
,
,
. In [
15,
16], this equation was studied in the case of a bounded operator
A. Initial value problems for Equation (
1) and for an analogous equation with a linear degenerate operator at the distributed order derivative are researched in [
17,
18] in the cases of sectorial operators and of the Gerasimov-Caputo or the Riemann-Liouville fractional derivatives under the integral in the left-hand side of the equation.
In the case of
necessary and sufficient conditions on, generally speaking, an unbounded operator
A for the existence of an analytic resolving family of operators for the homogeneous equation
were obtained in [
19]. Under these conditions, a unique solvability theorem for the inhomogeneous Equation (
1) were proved, and the obtained results were applied to the study of initial boundary value problems for a class of partial differential equations of distributed order with respect to time. In the present paper we generalised the results of [
19] on generators of analytic resolving families of operators and the unique solvability of inhomogeneous Equation (
1) for the case of arbitrary
. Moreover, a theorem on perturbations of generators for distributed order Equation (
2) is proved. The obtained results are an extension of the analytic semigroup of operators theory to the case of distributed order equations.
In the second section, the generation theorem for analytic resolving families of operators for the distributed order Equation (
2) is proved. It is applied to the study of the inhomogeneous Equation (
1) in the third section. In the fourth section the perturbation theorem for generators of the resolving families of operators for Equation (
2) is obtained. The abstract results are illustrated by an example of an initial boundary value problem for the ultraslow diffusion equation with the lower-order terms with respect to the spatial variable.
2. Generators of Resolving Families of Operators
Denote for
,
,
,
,
Let
,
be the usual derivative of the
m-th order,
be the Gerasimov–Caputo derivative [
20,
21,
22]:
Let
be a Banach space. The Laplace transform of a function
will be denoted by
. By
denote the set of functions
, such that the Laplace transform
is defined. The Laplace transform of the Gerasimov–Caputo derivative of the order
satisfies the equality (see [
23])
We introduce also the notations at , , at .
Theorem 1. ([24], Theorem 0.1, p. 5), ([25], Theorem 2.6.1, p. 84). Let , , be a Banach space, a map be set. The next assertions are equivalent. - (i)
There exists an analytic function , for every there exists such , that for all the inequality is satisfied; at .
- (ii)
The map H is analytically continued on , for every there exists such , such that for all
Denote by
the Banach space of all linear continuous operators from
to
denote by
the set of all linear closed operators, densely defined in
, acting in the space
. We supply the domain
of an operator
by the norm of its graph and, thus, we get the Banach space. Consider the Cauchy problem
for a distributed order equation
where
,
. By solution of problem Equations (
4) and (
5) we call such function
, that there exists
and equalities (
4) and (
5) are fulfilled.
If in the original problem the integral is taken from some
until
b, then the corresponding equation can also be written as (
5), putting
for
.
Lemma 1. [19]. Let , . Then, W is analytic on the set . Lemma 2. Let , ω be a piecewise continuous function on , which be continuous from the left at the point b, . Then there exist , , such that Proof. At
, which is close enough to
b, we have for some
and for all sufficiently large
for some
and every
. Thus, at
for some
and sufficiently large
□
A family of operators
is called
resolving for Equation (
5), if the next conditions are satisfied:
- (i)
is strongly continuous at , ;
- (ii)
, for all , ;
- (iii)
is a solution of Cauchy problem Equations (
4) and (
5) for all
.
A resolving family of operators is called analytic if it has the analytic continuation to a sector at some . An analytic resolving family of operators has a type at some , , if for all , there exists such , that for all the inequality is satisfied.
Remark 1. Similar concepts of the resolving family of operators, the analytic resolving family of operators, are used in the study of integral evolution equations [24] and fractional differential equations [23]. If we consider the first order derivative instead of the distributed order derivative, then it will be an analytic semigroup of operators for the equation [26,27,28]. Denote by the resolvent set of an operator A. Let an operator satisfy the following conditions:
- (1)
There exist such , , that for we have ;
- (2)
For every
,
there exists such
, that for all
Then, we can say that the operator A belongs to the class .
If
, the operators
are defined at
. Here
,
,
for some
,
,
.
Theorem 2. Let , , , , W satisfy condition (6). Then, there exists an analytic resolving family of operators of the type for Equation (5), if and only if . In this case, the resolving family of operators is unique, it has the form (7) and at the function is a unique solution of problem (4), (5) in the space . Proof. Let
,
,
is the positively oriented closed loop. Let us also consider the contours
then
.
At
,
we have
For
,
Hence, the integral
converges uniformly on
and by the continuity
since by Cauchy Theorem
at the same time for
,
Similarly, at
,
,
at
,
therefore,
Consequently,
, the function
satisfies Cauchy conditions Equation (
4). Since the operator
A is closed and commutes with the operators
on
, at
the inclusion
is fulfilled also, i.e.,
.
Since
, then at
therefore,
and by the Cauchy integral formula
Take in Theorem 1
then it follows that the mapping
is analytic and for every
,
there exists such
that for all
. Thus,
.
Next for
at
Consequently, , , and have analytic extensions on , since .
Using Formula (
3) of the Laplace transform, we obtain
We apply the inverse Laplace transform to both sides of the obtained equality and get equality (
5) at all points of the function
continuity, i.e., for all
. Hence,
z is a solution of problem Equations (
4) and (
5) and
is an analytic resolving family of operators of the type
for Equation (
5).
Let there exist an analytic resolving family of operators
of the type
for Equation (
5), denote
,
. From Equation (
5) due to paragraph (ii) of the resolving family definition we obtain at
equalities
hence, due to the closedness of the operator
A at
,
Therefore, the operator
is bijective and
By Theorem 1, it follows that , by virtue of the uniqueness of the inverse Laplace transform.
If there exist two solutions
,
of problem (
4) and (
5) from the class
, then their difference
is a solution of Equation (
5) and satisfies the initial conditions
,
. Acting by the Laplace transform on both parts of Equation (
5) and due to the initial conditions, we get the equality
Since
, at
we get the identity
. This means that
. Therefore,
is a unique solution of problem (
4) and (
5) at
in the space
. □
Remark 2. If we consider problem Equations (4) and (5) on the segment , then we will continue the function y on by a continuous bounded way and, reasoning in the same way, we get the uniqueness of the solution on the segment. Remark 3. It is easy to show that under the conditions of Theorem 2 at the inclusion is fulfilled, i.e., is continuous in the norm of at zero and satisfies Equation (5) at . Theorem 3. Let , , , , W satisfy condition (6), , . Then there exists a unique in the space solution of the problemfor Equation (5). In this case, the solution is analytic in the sector and has the form , where Proof. Reasoning as in the proof of the previous theorem, it is not difficult to show that by virtue of the conditions of the theorem , therefore, maps are analytic, moreover, , , , . □
3. Inhomogeneous Equation
A solution of Cauchy problem (
8) for the inhomogeneous equation
where
,
,
,
, is a such function
that there exists
and equalities (
8) and (
9) are fulfilled.
First, we will consider the case of the increased smoothness of the function g in spatial variables: .
Lemma 3. Let , , W satisfy condition (6), , , , . Then, the functionis a unique solution of problem (4) and (9) with . Proof. It is easy to show that
has the analytic extension on
. We investigate the behavior of this function and its derivatives in the right vicinity of zero. Due to condition (
6) and since
, we have
At
we have
at
. Therefore,
for
,
as
. Consequently,
as
,
. Therefore, conditions (
4) with
are fulfilled.
Define
at
, then
,
Reasoning as in the proof of Theorem 2, we get the equality
, since due to conditions (
6) and
at
Acting by the inverse Laplace transform on both sides of the obtained equality, we get
since
and due to the closedness of the operator
A the value
is finite.
The proof of the uniqueness of the problem solution is reduced in the standard way to the proof of the uniqueness for the homogeneous problem. By virtue of Remark 2, we get the required statement. □
Now let us consider the case of the increased smoothness of the function g with respect to the time variable.
By at we denote the class of Hölderian functions, i.e., functions , such that there exists , for all the inequality is satisfied.
Lemma 4. Let , , W satisfy condition (6), , , , , . Then, the function (10) is a unique solution of problem (4), (9) with . Proof. We have at
, as in the proof of the previous lemma,
,
. Moreover,
at
, since due to the analyticity of
Note that
hence,
as
,
Consequently, the integral
converges, therefore,
,
.
The rest of the proof is the same as for Lemma 3. □
From Theorem 2, Lemmas 3 and 4, we get the following result.
Theorem 4. Let , , W satisfy condition (6), , , , , , , . Then the functionis a unique solution of problem (8), (9). Remark 4. Indeed, Formula (3) and the values of the derivatives of Z in zero implies that Due to the uniqueness of the inverse Laplace transform, we get the required assertion.
5. Application to an Initial-Boundary Value Problem
Consider the initial-boundary value problem
for the equation of the ultraslow diffusion [
3]
where
,
,
,
. Set
,
,
,
Then
.
Let
,
at
,
,
at
,
Lemma 1 implies that
is analytic on the set
, by Lemma 2 condition (
6) is satisfied. By the mean value theorem
, where
. Therefore,
.
It is important for us to avoid the equalities
,
, at
from the selected sector
, i.e., the equalities
Obviously, there exists a sector of the form
at some
,
, only if
for some
. We can take any
and
may be taken as arbitrary from
, if
,
is arbitrary from
, if
Take
,
according to the choice described above. We have at
,
,
,
Note that at , where by the construction of .
Thus, the following result is obtained.
Lemma 5. Let , , at , , at , and condition (15) be satisfied. Then the operator , acting in the space , belongs to the class at some and every . Remark 6. From the above arguments, it can be seen that for all , Remark 7. It is clear that condition (15) is not constructive.However, if outside the interval of form (15) at some the function ω is equal to zero (e.g., outside the interval ), then condition (15) is obviously satisfied. Conversely, if the function ω is equal to zero outside of an interval at some , then for every , . Lemma 6. Let , , at , , at , and condition (15) be fulfilled. The operators , , , act in the space . Then, for all Therefore, ifthen the operator belongs to the class at sufficiently large . Proof. For
,
due to the Hölder inequality
hence,
By integrating both parts of this inequality twice, with respect to
and
, we get
Therefore, inequality (
16) holds. It remains to refer to Theorem 5 and Remark 5. □
Theorem 6. Let , at , , at , and condition (15) hold, , . Then there exists a unique solution of problem (12)–(14). Proof. Problem (
12)–(
14) has the form of Cauchy problem (
8) to the equation
with operators
A and
B, which are defined in this section. By Lemma 6
, therefore, by Theorem 4, we get the required statement, noting that in this case
. □