1. Introduction
In several models of the dynamics of complex systems, the time evolution for observed quantities has exponential asymptotics of two possible types. In the simplest cases, these asymptotics are related with the solutions to the equations
where we will consider positive and negative
z separately. For
(the relaxation equation), the solution decays to zero. In particular models such as, e.g., Glauber stochastic dynamics in the continuum, this corresponds to an exponential convergence to an equilibrium; see [
1]. The case
may also appear in applications. We can mention the contact model in the continuum where for the mortality below a critical value, the density of the population will grow exponentially fast [
2,
3], as well as models of economic growth.
On the other hand, the observed behavior of specific physical and biological systems show an emergence of other time asymptotics that may be far from exponential decay or growth. An attempt to obtain other relaxation characteristics is related with a use of generalized time derivatives in dynamical equations (see [
4,
5]). In this way, we may produce a wide spectrum of possible asymptotics to reflect a demand coming from applications [
6].
The general fractional calculus introduced in [
7] is based on a version of the fractional derivative, the differential-convolution operator
where
k is a non-negative locally integrable function satisfying additional assumptions, under which
(A) the Cauchy problem
where
, has a unique solution that is completely monotone;
(B) the Cauchy problem
is solvable (under appropriate conditions for
) and possesses a fundamental solution, a kernel with the property of a probability density.
A class of functions
k, for which (A) and (B) hold, was found in [
7] and is described below. The simplest example is
where
, and for this case,
is the Caputo–Djrbashian fractional derivative
. Another subclass is the one of distributed order derivatives; see [
8] for the details.
Note that for the case where
k has the form (
2), the solution of (
1) is
, where
is the Mittag–Leffler function; see [
9], Lemma 2.23 (page 98). This solution has a slow decay at infinity due to the asymptotic property of the Mittag–Leffler function; see [
10]. Note that using particular classes of fractional derivatives, we observe several specific asymptotics for the solution of Equation (
1) with
. Some results in this direction were already obtained in [
8,
11,
12]. A more detailed analysis of this problem will be performed in a forthcoming paper.
In this paper, we consider the Cauchy problem with the opposite sign in the right-hand side, that is
as before,
. In the case of (
2), we have
(see [
9], Lemma 2.23 (page 98)), and due to the well-known asymptotics of
[
10], this is a function of exponential growth. The existence and uniqueness of an absolutely continuous solution of (
3) follows from the results of [
13] dealing with more general nonlinear equations. Here, we study the asymptotic behavior of the solution of (
3). Functions of this kind can be useful for fractional macroeconomic models with long dynamic memory; see [
14] and references therein. Let us explain this in a little greater detail.
In modern macroeconomics, the most important are so-called growth models, which in the mathematical sense are reduced (for linear models) to the equation
with
. In economics, an important role is played by processes with a distributed lag, starting with Phillips’ works [
15] (see also [
16]), and long memory, starting with Granger’s work [
17] (see also [
18]).
If we assume the presence of effects of distributed lag (time delay) or fading memory in economic processes, then the fractional generalization of the linear classical growth models can be described by the fractional differential equation with . The fractional generalizations of well-known economics models were first proposed for the Caputo–Djrbashian fractional derivative . Solving the problem in a more general case will allow us to describe accurately the conditions on the operator kernels (the memory functions), under which equations for models of economic growth with memory have solutions.
In general fractional calculus, which was proposed in [
7] (see also [
4]), the case
is not considered. The growth equation was considered in [
8] for the special case of a distributed order derivative, where it was proved that a smooth solution exists and is monotone increasing.
In this article, we propose correct mathematical statements for growth models with memory in more general cases, for the general fractional derivative with respect to the time variable. Their application can be useful for mathematical economics for the description of processes with long memory and distributed lag.
Note that the technique used below was developed initially in [
12] for use in the study of intermittency in fractional models of statistical mechanics.
2. Preliminaries
Our conditions regarding the function
k will be formulated in terms of its Laplace transform
Denote .
We make the following assumptions leading to (A) and (B) (see [
7]).
(*) The Laplace transform (
4) exists for all positive numbers
p. The function
belongs to the Stieltjes class
, and
Recall that the Stieltjes class consists of the functions
admitting the integral representation
where
,
is a Borel measure on
, such that
For a detailed exposition of the theory of Stieltjes functions including properties of the measure
, see [
19], and especially Chapters 2 and 6.
In particular, for the Stieltjes function
, the limit conditions (
5) and (
6) imply the representation
We can also write [
7] that
The function
belongs to the class
of complete Bernstein functions, a subclass of the class
of Bernstein functions. Recall that a function
is called a Bernstein function if
,
for all
, and
so that the derivative of
f is completely monotone. A function
f belongs to
if it has an analytic continuation to the cut complex plane
such that
and there exists the real limit
Both the classes
and
admit equivalent descriptions in terms of integral representations; see [
19].
Below, we will need the following inequality for complete Bernstein functions (Proposition 2.4 in [
20]), valid, in particular, for the function
. For any
p outside the negative real semi-axis, we have
Solutions of the Cauchy problem (
3) and a similar problem with the classical first order derivative are connected by the subordination identity (see [
7]; for the case of the Caputo–Djrbashian derivative, see [
21]), an integral transformation with the kernel
constructed as follows.
It is proved [
7] that
g is a Laplace transform in the variable
t of the required kernel
, that is,
3. Cauchy Problem for the Growth Equation
Let us consider the Cauchy problem (
3). If
is its solution, whose Laplace transform
exists for some
p, then it follows from properties of the Laplace transform [
22] that
Hence,
On the other hand, consider the function
The existence of the integral in (
12) for almost all
is, by the Fubini–Tonelli theorem, a consequence of the absolute convergence of the repeated integral
where
is such that
.
The above calculation shows that
, the solution of (
3), and the identity (
12) provides an integral representation of this solution.
A more detailed analysis of its properties is based on the analytic properties of the Stieltjes function
, or equivalently, of the complete Bernstein function
; in particular, we use the representation
which follows from (
7). The measure
satisfies (
8).
Since
is a Bernstein function, its derivative
is completely monotone. By our assumptions,
is not a constant function, so that
is not the identical zero. It follows from Bernstein’s description of completely monotone functions that
for any
(see Remark 1.5 in [
19]). Therefore,
is strictly monotone, and for each
, there exists a unique
such that
. The inequality
is equivalent to the inequality
. Since
, as a complete Bernstein function, preserves the open upper and lower half-planes (in fact, this follows from (
13)), we have
for any nonreal
p.
It is proved in [
12] that the function
,
is strictly superadditive, that is
Proposition 1. The solution of the Cauchy problem (3) admits a holomorphic continuation in the variable t to a sector , , and Proof. It follows from (
11) and (
13) that the Laplace transform
is holomorphic in
p on any sector
,
. In addition,
Now the assertion is implied by (
15) and the duality theorem for holomorphic continuations of a function and its Laplace transform; see Theorem 2.6.1 in [
23]. □
Now we are ready to formulate and prove our main result.
Theorem 1. Let the assumptions hold, and in addition, Proof. The representation (
11) can be written as
This implies the representation of
as
, where
has the Laplace transform
for such
p that
.
Using the inequality (9), we find that
on any vertical line
where
. By our assumption (16),
is absolutely integrable on such a line. In addition, it follows from (
6) that
, as
in the half-plane
. These properties make it possible (see Theorem 28.2 in [
22]) to write the inversion formula
Denote
where
. Then
by virtue of (
9), (
16), and the Riemann–Lebesgue theorem.
On the other hand, we may write
where the contour
consists of the vertical rays
,
, and the horizontal segment
(
),
is a mirror reflection of
with respect to the real axis,
is the finite rectangle consisting of the vertical segments
,
, and the horizontal segments
.
We have
due to the Cauchy theorem, absolute integrability of the integrand on the vertical rays (see (
16)) and the estimate
where
,
. In a similar way, we prove that
Due to the inequality
, there exists a complex neighborhood
W of the point
, in which
has a single-valued holomorphic inverse function
, so that
and
. In the above arguments, the numbers
were arbitrary. Now we choose
R and
so small that that the curvilinear rectangle
lies inside
W. Making the change of variables
and using the Cauchy formula, we find that
Together with (
18), this implies the required asymptotic relation (
17). □
Example 1. (1) In the case (2) of the Caputo–Djrbashian fractional derivative of order , we have , , and the condition (16) is satisfied. Here the asymptotics (17) coincide with the one given by the principal term of the asymptotic expansion of the Mittag–Leffler function. The above proof is different from the classical proof of the latter (see [10]). (2) Let us consider the case of a distributed order derivative with a weight function μ, that is,Suppose that , . In this case [8],and under the above assumptions, Condition (16) is satisfied, and our asymptotic result (17) is applicable in this case.