Global boundedness and asymptotic behavior of time-space fractional nonlocal reaction-diffusion equation
Abstract
The global boundedness and asymptotic behavior are investigate for the solution of time-space fractional non-local reaction-diffusion equation (TSFNRDE)
where . The operator is the Caputo fractional derivative, which is the fractional Laplacian operator. For appropriate assumptions on , it is proved that for homogeneous Dirichlet boundary condition, this problem admits a global bounded weak solution for , while for , global bounded weak solution exists for large values by Gagliardo-Nirenberg inequality and fractional differential inequality. With further assumptions on the initial datum, for small values, the solution is shown to converge to exponentially or locally uniformly as . Furthermore, under the condition of , it is proved that the nonlinear TSFNRDE has a unique weak solution which is global bounded in fractional Sobolev space with the nonlinear fractional diffusion terms .
keywords:
Time-space fractional reaction-diffusion equation , Global boundedness , Asymptotic Behavior , Non-local , Nonlinear1 Introduction
In this work we study the time-space fractional non-local reaction-diffusion equation
(1.1) | |||||
(1.2) |
with . According to [1], The nonlocal operator known as the Laplacian of order , is defined for any function in the Schwartz class through the Fourier transform: if then
(1.3) |
If , by [2], we can also use the representation by means of a hypersingular kernel,
(1.4) |
where and is the principal value of Cauchy. considering the Sobolev space
And denote the left Caputo fractional derivative that is usually defined by the formula
(1.5) |
in the formula 1.5, the left Caputo fractional derivative is a derivative of the order in [3]. By [4] , Here is a competition kernel with
(1.6) |
for some , and
and is represented as sexual reproduction in the population dynamics system, where is population mortality. By [5], assume is an orthonormal eigenbasis in , associated with the eigenvalues such that For all , we denote by the space defined by
then if , we define the operator by
which , with the following equivalence
Suppose be the eigenvalues and corresponding eigenvectors of the Laplacian operator in with Dirichlet boundary condition on :
Therefore, we will study the solution for equation (1.1)-(1.2) is global boundedness and asymptotic behavior under the above Dirichlet boundary condition in one dimensional space and two dimensional space.
Fractional calculus has gained considerable importance due to its application in various disciplines such as physics, mechanics, chemistry, engineering, etc[6, 7]. Therefore, fractional-order ordinary and partial differential equations have been widely studied by many authors,see [8, 9]. In the process of practical application, researchers found that the solution of fractional differential equation has a lot of properties, and when the solution of the fractional differential equation is proof and analyzed, Laplace transform [10], Fourier transform [11] and Green function method [12]. At present, the research of fractional diffusion equations has become a new field of active research. More than a dozen universities and research institutes at home and abroad have engaged in the research of time fractional, space fractional, time-space fractional diffusion equations and special functions related to it such to Wright, Mittag-Leffler function and so on.
Let us first recall some previous results on fractional diffusion equation. Since there is a large amount of papers for these equations, we mention the ones related to our results.
When and , then problem (1.1)-(1.2) reduces to the following non-local reaction-diffusion equation in [4]
it denotes by the density of individuals having phenotype at time and formulate the dynamics of the population density. However, with the further deepening of scientific research, compared with the traditional reaction-diffusion equation, the non-local reaction-diffusion equation has new mathematical characteristics and richer nonlinear dynamic properties [13]. From [14], Kolmogorov and Fish research the following reaction-diffusion equations
in order to describe the row phenomenon of foreign invasion species and animals the transmission process of excellent genes in an infinite habitat. Through the widespread research of the diffusion equations, they found that there are many important applications in many fields such as spatial ecology, evolution of species, and disease dissemination of the non-local reaction-diffusion equation [15, 16, 17].
When and , the fractional operator become the standard Laplacian , which is a time fractional non-local reaction-diffusion equation. Many researchers have studied the corresponding property for solution of reaction-diffusion model with Caputo fractional derivative. In order to study the global boundary of the solution of fractional linear reaction-diffusion equation, [18] uses the maximum regularity to verify the existence of such equations. In general space, we often use the convolutional definition of the Caputo fractional derivative. However, in [19], from the perspective of micro -division operator theory, studied the following time fractional reaction-diffusion equation in fractional Sobolev spaces
where is a differential operator of elliptic type and denotes the left Caputo fractional derivative that is usually defined by (1.5). In [3], the time fractional reaction-diffusion model with non-local boundary conditions is used to predict the invasion of tumors and its growth. In addition, the Faedo-Galerkin method has also been used to verify that the model has the only weak solution. From [20], Ahmad considers the following time fractional reaction-diffusion equation with boundary conditions
with the initial condition . the initial data is a given positive and bounded function. Moreover, [20, 21, 22] research the existence, giobal boundary and blow-up of time fractional reaction-diffusion equation with boundary conditions. The study of time fractional diffusion equations has recently attracted a lot of attention. It is worth mentioning that we often use time fractional Duhamel principle [23] and Laplace transform to obtain the solution of time fractional PDE.
When and , then problem (1.1)-(1.2) reduces to the non-local reaction-diffusion equation with fractional Laplacian operator, which is called fractional reaction-diffusion equation. Over the past few decades, due to the existence and non-existential research significance of fractional Laplacian equation, which has attracted many scholars to invest in it. For example, [24] study Liouville theorem of fractional Laplacian equation to verify existence/non-existential of the solution. In particular, scholars conducted a lot of research on fractional reaction-diffusion equation and obtained many important results. [25] establish the global existence of weak solutions of non-local energy-weighted fractional reaction–diffusion equations for any bounded smooth domain. In [26], considering the asymptoticity of the following nonlinear non-autonomous fractional reaction–diffusion equations
Among them, the initial function is a continuous function. [27] study the existence and blow-up of solution of semilinear reaction-diffusion system with the fractional Laplacian. In addition, [28] studied the blow-up and asymptoticity of solution of the following nitial value problem for the reaction–diffusion equation with the anomalous diffusion
where and . The fractional powers of the classical Laplace operator, namely are particul cases of the infinitesimal generators of Lvy stable diffusion processes and appear in anomalous diffusions in plasmas, flames propagation and chemical reactions in liquids, population dynamics, geophysical fluid dynamics [29, 30].
The tractional diffusion equation describes a cloud of spreading particles at the macroscopic level. The space-time fractional diffusion equation with and is used to model anomalous diffusion [31]. The fractional derivative in time is used to describe particle sticking and trapping phenomena and the fractional space derivative is used to model long particle jumps [31]. These two effects combined together produces a concentration profile with a sharper peak, and heavier tails [32]. In [33], basing on a new unique continuation principle for the eigenvalues problem associated with the fractional Laplace operator subject to the zero exterior boundary condition, it study the controllability of the space-time fractional diffusion equation. [34] concerned with boundary stabilization and boundary feed-back stabilization for time-space fractional diffusion equation. In these applications, it is often important to consider boundary value problems. Hence it is useful to develop solutions for space–time fractional diffusion equations on bounded domains with Dirichlet boundary conditions. This paper will consider the following Dirichlet boundary condition [35, 36].
In the classic diffusion equation, the time derivation of the Integer into a time derivation is turned into a time fractional diffusion equation, which is usually used to describe the ultra -diffusion and secondary diffusion phenomenon. However, in some practical situations, part of boundary data, or initial data, or diffusion coefficient, or source term may not be given and we want to find them by additional measurement data which will yield some fractional diffusion inverse problems. [35] anylyzed the inverse source problem for the following space-time fractional diffusion equation by setting up an operator equation
where and . For the time fractional diffusion equations cases, the uniqueness of inverse source problems have been widely studied. Basing on the eigenfunction expansion, [37] established the unique existence of the weak solution and the asymptotic behavior as the time goes to for fractional diffusion-wave equation. Li and Wei, in [38] proved the existence and uniqueness of a weak solution for the following time-space fractional diffusion equation
where and . This paper uses the method of proof Theorem 3.2 in [38] to proof global existence and uniqueness of a weak solution. In [39], Wei and Zhang solved an inverse space-dependent source problem by a modified quasi-boundary value method. Wei et al. in [40] identified a time-dependent source term in a multidimensional time-fractional diffusion equation from the boundary Cauchy data. Compared with the problem of classical inverse initial value, the recovery of the fractional inverse initial value is easier and more stable. Through the above two paragraphs, this paper will use the method of verifying the initial value of the inverse initial value under the Dirichlet boundary conditions to verify the existence and uniqueness of time and space fractional non-local reaction diffusion equations.
To the best of our knowledge, until recently there has been still very little works on deal with the existence, decay estimates and blow-up of solutions for time-space fractional diffusion equations. [41] studied the global and local existence, blow-up of solutions of the following time-space fractional diffusion problem by applying the Galerkin method
where is a bounded domain with Lipschitz boundary. [42] studys the blow-up, and global existence of solutions to the time-space fractional diffusion problem and give an upper bound estimate of the life span of blowing-up solutions. In [5], By transforming the time-space fractional diffusion equations into an operator equation it investigates the existence, the uniqueness and the instability for the problem. In addition, [40] study the existence and uniqueness of a weak solution of following time-space fractional diffusion equation with homogeneous Dirichlet boundary
where and are fractional orders of the time and space derivatives, respectively, is a fixed final time. Moreover, [43] consider the following time-space non-local fractional reaction-diffusion equation
(1.7) | ||||
And for realistic initial conditions, studying global existence, blow-up in a finite time, asymptotic behavior of bounded solutions of equation (1.7). In the process of blow-up of TSFNRDE, this paper uses the method of the proof of [blow-up, [43]]. However, in addition to the existence and blow-up of time-space fractional diffusion equation mentioned above, we also further study the global boundedness and asymptotic behavior of solution for TSFNRDE.
The outline of this paper is as follows.The global boundedness for the solution of TSFNRDE is analyzed in section 2: First, we introduce the existence and uniqueness of solutions of TSFNRDE with homogeneous Dirichlet boundary condition by Appendix A.2. Secondly, The blow-up for the solution of TSFNRDE is analyzed in Lemma 2.16: for the initial data, blow-up in a finite time satisfies bi-lateral estimate and when , then . Finally, we use the analytical formula for the solution of TSFNRDE and use the fractional Sobolev inequality, Sobolev embedding inequality conversion to the solution of equation to obtain the global boundedness of equation(1.1)-(1.2). In section 3, we introduce the asymptotic behavior of solutions of TSFNRDE in Hilbert space. In section 4, under the condition of , we first verify existence unique weak solution for problem (1.8)-(1.9). Next, we mainly use Gagliardo-Nirenberg inequality to prove that nonlinear TSFNRDE in estimates and estimates, which is global boundedness of solution in fractional Sobolev space with the nonlinear fractional diffusion terms .
Theorem 1.1.
Theorem 1.2.
2 Global boundedness of solutions for TSFNRDE
Definition 2.1.
Lemma 2.1.
[45] If , then there is . In addition, for , is a monotonically decreasing function.
Lemma 2.2.
Lemma 2.3.
Lemma 2.4.
Lemma 2.5.
Lemma 2.6.
Lemma 2.7.
Definition 2.2.
[49] Assume that is a Banach space and let . The Caputo fractional derivative operators of is defined by
(2.5) |
where is the Gamma function. The above integrals are called the left-sided and the right-sided the Caputo fractional derivatives.
Lemma 2.8.
Lemma 2.9.
Lemma 2.10.
Definition 2.3.
Remark 2.1.
Lemma 2.11.
Lemma 2.12.
[53] Let be an open subset of , assume that with and . Then there exists constant only depending on and such that for any
holds with
Definition 2.4.
Lemma 2.13.
Definition 2.5.
Lemma 2.14.
Remark 2.2.
The conclusion of the Lemma 2.14 can be concluded in reference [5]. But in [5], “For brevity, we leave the detail to the reader.”[p255,proof of Theorem 1,[5]]. We have done the above related proof (See Appendix A.2). Therefore, we will use the properties of the eigensystem for the operator and use the method as in the proof of [[37],Theorems 2.1-2.2] or [[38], Theorem 3.2] to obtain the existence and uniqueness of the solution (2.9) to the problem.
Remark 2.3.
Definition 2.6.
[56] Suppose eigenfunction associated to the first eigenvalue that satisfies the fractional eigenvalue problem
(2.10) | ||||
normamlized such that .
Lemma 2.15.
Lemma 2.16.
Assume the initial data . Then there are a maximal existence time
, such that is the unique nonnegative weak solution of (1.1)-(1.2). Furthermore, if and is the value in Definition 2.6, then the solution of problem (1.1)-(1.2) blow-up in a finite time that satisfies the bi-lateral estimate
Furthermore, if , then
Proof.
Multiplying equations (1.1) by and integrating over , we obtain
(2.13) |
By (2.10), we have
as and
let function , then satisfies
(2.14) |
Let and , then from (2.14), we get
(2.15) |
It is seen that if as , then as and vice versa. That is and will have the same blow-up time. As , then from the results in [57], the solution of inequality (2.15) blows-up in a finite time. The proof of the Lemma is complete.
Remark 2.4.
Proof of Theorem 1.1 1.
We first know that the equation (1.1)-(1.2) has the only weak solution by Lemma 2.14. Next, we will prove the global boundary of this weak solution in one dimensional and two dimensional space. For any ,multiply (1.1) by , where , and locally uniformly in as . Integrating by parts over , we obtain
by Lemma 2.5 and Lemma 2.7, then we can get
and by fractional Laplacian (1.4) and (2.3), then we can get
(2.16) |
and a symmetrical estimate of the nuclear function can be obtained (2.16) export
By definition 2.3 and Taking , we obtain
Knowing from (1.6), we have used the fact that , then , and then
Therefore
(2.17) |
Now we proceed to estimate the term .
Firstly using Gagliardo-Nirenberg inequality in Lemma 2.12, let , there exists constant , such that
(2.18) |
On the one hand, by Lemma 2.13, we can make , then obtain
(2.19) |
Here by Young’s inequality, let , , then
(2.20) |
By interpolation inequality, we obtain
(2.21) | ||||
Combing (2.18)-(2.21), we obtain
(2.22) | ||||
Next we consider the cases and respectively.
Case 1. . From (2.22), by Lemma 2.13, let , we get
(2.23) | ||||
inserting (2.23) into (2.17), we have
(2.24) | ||||
From Sobolev embedding inequality (Lemma 2.11) and proof of Theorem 1 in [58], we know there exists an embedding constant suth that
where will be determined later. Here we set ,then there is
By fractional Sobolev inequality (2.6), we can obtain
for all . Let
then, the equation (2.24) is configured above, you can get
Denote , the solution of the following fractional differential equation
for and from Lemma 2.10, let
and , we obtain
Case 2.. From (2.22), we have
(2.25) | ||||
Inserting (2.25) into (2.17), for , we obtain
Denote the solution of the following ordinary differential equation
(2.26) |
for and let , we obtain
In conclusion, for any , we have
(2.27) |
and then
(2.28) |
Now we proceed to improve the boundedness of to , which is based on the fact that for all and equation (2.9), let , then we have the solution of equation(1.1)-(1.2)
By [55] and Lemma 2.1-2.4, we can obtain
From using Lemma 2.3 and Parseval identity, we have for some function
So there is
3 Long time behavior of solutions
Now, we consider the long time behavior of the weak solution of (1.1)-(1.2). To study the long time behavior of solutions for (1.1)-(1.2), by [4], we denote
For , there are three constant solutions for : , where
(3.1) |
and satisfy .
Lemma 3.1.
Proposition 3.1.
Under the assumptions of Theorem 1.1, there is
, the function
with
is nonnegative and satisfies
(3.2) |
with
Proof.
Fix , choose , and denote
Let , then . From the definition of , it is easy to verify that
(3.3) |
and
(3.4) |
Test (1.1) by with in as . Integrating by parts over . From Definition 2.3 and Lemma 3.1, we obtain
By using Lagrange mean value theorem
From Lemma 2.7 and Equation (1.4), we get
Then
Taking , we obtain
which is
(3.5) |
By (3.1), we can get
and
(3.6) | ||||
Noticing that when , there is
From Young’s inequality and the median value theorem, we can get
(3.7) | ||||
changing the variables , then
For any , we have . Noticing and , we obtain
(3.8) | ||||
Combining (3.6)-(3.8), we obtain
(3.9) | ||||
From (3.4), noticing , we obtain
inserting (3.9) into (3.5), we obtain
(3.10) | ||||
By choosing sufficiently small such that
then
making
Lemma 3.2.
[55][59] Assume is a final time, and is a given function. Let is the solution of the following one-dimensional space-time fractional diffusion problem
(3.11) |
Then, we get the following useful formula for the weak solution of the direct problem (3.11)
(3.12) |
the series is convergent in where and are eigenvalues and eigenvectors of the classical Laplace operator . denotes the standard inner product on .
Lemma 3.3.
Definition 3.1.
Lemma 3.4.
Proof of Theorem 1.2 1.
From the proof of Theorem 1.1, for any , from (2.29) and the definition of , there exist and such that for and , then for any is sufficiently small such that
-
1.
The case: .
Noticing , we have
(3.16) | ||||
From Lemma 3.2 and Lemma 3.3, Consider the following equation
(3.17) |
then, we obtain
(3.18) |
Therefore, we have
-
1.
The case: .
Denoting , from (3.2) in Proposition 3.1, for any , we have
from which we obtain
Due to the fact that is a classical solution, we have that
which implies that for all , the following limit holds:
or equivalently
which together with the fact that the heat kernel converges to delta function as , we have that for any ,
Furthermore, with the uniform boundedness of on , following Lemma 3.4, we can obtain the global boundedness of , from which and Lemma 2.12 with , the convergence of follows from the convergences of immediately. This is, we obtain
as . Therefore, for any compact set in , by finite covering, we obtain that converges to uniformly in that compact set, which means that converges locally uniformly to in as . The proof is complete.
4 Global boundness of solutions for a nonlinear TSFNRDE
In the section, we will make and replace fractional diffusion as nonlinear fractional diffusion in (1.1)-(1.2) to get equation (1.8)-(1.9). And we make then equation (1.8)-(1.9) can write the following form
(4.1) |
Definition 4.1.
A function is a weak solution to the problem (4.1) if:
-
1.
and
-
2.
identity
holds for every ;
-
3.
almost everywhere.
Definition 4.2.
We say that a weak solution to the problem (4.1) is a strong solution if moreover
Remark 4.1.
The above two definitions are mainly combined with references [1, 62]. On the one hand, [62] gives the definition of weak existence for time-fractional nonlinear diffusion equations. On the other hand, [1] gives the definition of existence of weak solution/strong solution of fractional nonlinear diffusion equations. For specific content, you can view Appendix A.3.
Lemma 4.1.
[63] Let and positive real function that is radially symmetric and decreasing in . Assume also that and that , for some positive constant and for large enough. Then, for all we have
(4.2) |
with positive constant that depend only on and . For the reverse estimate holds from below if for all
Lemma 4.2.
(Weighted estimates). Let be two ordered solutions to Eq.(4.1), with . Let where and is as in the previous lemma with for and
Then, for all we have
(4.3) |
with that depends only on
Proof.
-
1.
A fractional differential inequality for the weighted -norm.
If is a smooth and sufficiently decaying function and Lemma 2.9, we have
Notice that in we used that the fact that is a symmetric operator, while in we have used that where as mentioned. In we have used Hölder inequality with conjugate exponents and If the last integral factor is bounded, then we get
and let , we can get fractional differential inequality on
By Young inequality 2.13, let then
So we have
and by Lemma 2.10, then we have
Now, we estimate the constant , for a convenient choice of test.
-
1.
Estimating the constant .
Choose , with as in Lemma 4.1 and , so that , then
where it is easy to check that first integral is bounded, since on , and when with we know by estimate (4.2) that
(4.4) |
therefore is finite whenever Note that all the constants depend only on
Remark 4.2.
Using the method of proof in [Theorem 2.2, [63]], and when solution corresponding to with . On the other hand, when , the estimate implies the conservation of mass by letting . By [1], the above estimates provide a lower bound for the extinction time in such a case, just by letting and in the above estimates:
Lemma 4.3.
[8] Suppose that a nonnegative function satisfies
(4.5) |
for almost all , where , and the function is nonnegative and integrable for . Then
(4.6) |
Lemma 4.4.
Assume the function is nonnegative and exists the Caputo fractional derivative for satisfying
(4.7) |
where with are positive bounded constants and . Assume also that there exists a bounded constant such that , then
(4.8) |
Proof.
Remark 4.3.
The proof of this Lemma is based on the process of Lemma 4 in [64], where the nature of is scratched and the desired result is obtained.
Lemma 4.5.
Suppose and is continuous and boundary. And let be a solution of the fractional differential inequality
(4.10) |
For almost all , then
where and are all contants.
Proof.
Remark 4.4.
Lemma 4.6.
Lemma 4.7.
Lemma 4.8.
Lemma 4.9.
(i) , and ;
(ii) and in
Then the following inequality is established
among
Lemma 4.10.
[69] Let . is the exponent from the Sobolev embedding theorem,
(4.13) |
and , then for and , it holds
(4.14) | ||||
Here are constants depending on are arbitrary positive constants and
Proof of Theorem 1.3 1.
-
1.
Existence and unique weak solution for problem (4.1).
(1) We first verify and
By [62], we denote the space by and define with the domain
We note that the operator is linear, densely defined and m-accretive, see [70]. By Proposition 31.5 in [71], the operator is a maximal monotone operator. Next, We verify By [1], If and belong to the Schwartz class, definition (1.3) of the fractional Laplacian together with Plancherel’s theorem yields
Therefore, if we multiply the equation in (4.1) by a test function and integrate by parts as usual on we obtain
(4.15) |
This identity will be the basis of our definition of a weak solution. The integrals in (1) make sense if and belong to suitable spaces. The correct space for is the fractional Sobolev space .
(2) We identity (1) hold for every
Let be a non-decreasing sequence of initial data , converging monotonically to ,i.e., such that as , where is as in Lemma 4.2 with decay at infinity Consider the unique solution of Eq.(4.1) with initial data The weighted estimates (4.2) show that the sequence is bounded in uniformly in . By the monotone convergence theorem in , we know that the solution converge monotonically as to a function . Indeed, the weighted estimates (4.2) show that when then
(4.16) |
At this point we need to show that the function constructed as above is a very weak solution to Eq.(4.1) on . By definition 4.2, we make that each is a bounded strong solutions, since the initial data , therefore for all we have
(4.17) |
Now, for any we easily have that
since is compactly supported and we already know that in On the other hand, for any we have that
since and
where we have used Hölder inequality with conjugate exponents and , and we notice that
since is compactly supported, therefore by Lemma 2.12 we know that , and quotient
is integrable when that is when In the last step we already know that when is as above,i.e. as in Lemma 4.2. Therefore we can let in (1) and obtain (1).
(3) We verify almost everywhere.
For the solution constructed above, the weighted estimates (4.2) show that when imply
which gives the continuity in Therefore, the initial trace of this solution is given by .
In summary, by definition 4.1 and Theorem 3.1 in [63], we have proved existence of solutions corresponding to initial data that can grow at infinity as for any for problem (4.1). For the uniqueness of the solution, it can be proof through Theorem 3.2 in [63]. Therefore, equation (1.8)-(1.9) existence the unique weak solution.
Next, we will use Gagliardao-Nirenberg inequality, Young inequality and interpolation inequality, and so on. On the other hand, we use and to control nonlinear item , and get (1.8)-(1.9) estimate. In the proof process of the section, and represent the constant that depends on .
-
1.
The estimates.
For any , multiply (1.8) by and integrating by parts over , by the proof of Theorem 5.2 in [66], we obtain
from Lemma 4.6 and equation (4.12), let , then we have
By Sobolev inequality (Lemma 4.7), we reach that
where . Then, we obtain
(4.18) | ||||
The following estimate . when and
(4.19) |
from Lemma 4.9, we obtain
Knowing from (4.19)
using Young’s inequality, there are
(4.20) | ||||
where is . Next estimate . We will use the interpolation inequality to get
(4.21) | ||||
in , and
Then
(4.22) | ||||
Noticing that when , it is easy to verify
using Young’s inequality, then
(4.23) | ||||
Substitute (4.20)-(4.23) into (4.18) to get
(4.24) |
Let , then , so And from Lemma 4.8 and , we obtain
Let , then . Therefore, we can get
Let . Then, when , the above-mentioned inequality can be written as
(4.25) |
By Lemma 4.5 and , fractional differential inequality (4.25) has following solution
Therefore, we have
(4.26) |
where and .
-
1.
The estimates.
On account of the above arguments, our last task is to give the uniform boundedness of solution for any . Denote , by taking in (4.18), we have
(4.27) | ||||
armed with Lemma 4.10, letting
one has that for ,
(4.28) | ||||
where
Substituting (4.28) into (4.27) and with notice that . It follows
(4.29) | ||||
Applying Lemma 4.10 with
noticing , and using Young’s inequality, we obtain
(4.30) | ||||
where
By summing up (4.29) and (4.30), with the fact that and , we have
Let , then . Therefore, we can get
Let
we have the following inequality for initial data
Let , it is easy to that . By taking in the Lemma 4.4, we obtain
(4.31) |
Since and taking the power to both sides of (4.31), then the boundedness of the solution is obtained by passing to the limit
(4.32) |
On the other hand, by (1) with , we know
where and . Therefore we finally have
Remark 4.5.
The solution for problem (1.8)-(1.9) constructed above only need to be integrable with respect to the weight , which has a tail of order less than And the method to proof main reference [63]. On the other hand, The method to prove the estimate to the estimate of the equation is also mentioned in [64]. This section mainly uses fractional differential inequalities, Gagliardao-Nirenberg inequalities and so on. Therefore, the estimate is obtained, and if is estimated on , the global boundedness of the solution for the nonlinear TSFNRDE is proved in .
5 Acknowledgements
This work is supported by the State Key Program of National Natural Science of China under Grant No.91324201. This work is also supported by the Fundamental Research Funds for the Central Universities of China under Grant 2018IB017, Equipment Pre-Research Ministry of Education Joint Fund Grant 6141A02033703 and the Natural Science Foundation of Hubei Province of China under Grant 2014CFB865.
6 Appendix A. Definitions, Related Lemma, and complements
Lemma 6.1.
Lemma 6.2.
Lemma 6.3.
Lemma 6.4.
Remark 6.1.
Proof of Lemma 2.14 1.
we will show that (2.8) certainly gives a weak solution to (1.1)-(1.2). In the following proof, we denote as a generic positive constant and make for Lemma 6.3 and Lemma 6.4. Denote
(6.1) |
then we know
(6.2) | |||
(6.3) |
The proof is divided into several steps.
(1) We first verify and . Define
Then we have . We estimate each term separely. For fixed by Lemma 2.4 and (6.2), we have
(6.4) |
and
(6.5) |
By (6.5), we know
(6.6) |
Thus define . From (6.4)-(6.5), we obtain
where . For , we have
We estimate each term separately. In fact, by Lemma 2.4, we have
since , by using the Lebesgue theorem, we have
By (6.2), we have
Similarly, by using the Lebesgue theorem and Lemma 6.4, we can prove
Therefore, . By Lemma 2.4, we know
Since and (6.6), we have
(2) We verify By (2.8), we know
where is defined in (6.1). For , by Definition 2.4, we obtain
(6.7) |
where is a constant depending on only. For the second term , by (6.3) we can deduce that
(6.8) |
By estomates (1)-(6.8), we know hence . Moreover, we can obtain the following estimate from (1)-(6.8)
where is a positive constant. Therefore,
(4) We prove the uniqueness of the weak solution to (1.1)-(1.2). Under the condition , we need to prove that systems (1.1)-(1.2) has only a trivial solution. We take the inner product of (1.1) with . Using the Green formula and and setting we obtain
Due to the existence and uniqueness of the ordinary fractional differential equation in [44], we obtain that Since is an orthonormal basis in we have in , Thus the proof is complete.
Remark 6.2.
The method of this Lemma is used by [37]. However, in reference [37], there is non-local term . In the paper, There is non-local which is different from [37]. From [5], we obtain the conclusion, but “For brevity, we leave the detail to the reader.”[p255,Theorem 1,[5]]. Therefore, We have done the above related proof.
A.3 Definition of weak and strong solution for nonlinear fractional diffusion equation
We call here the definition of weak and strong solution taken from [1]. Considering the following Cauchy problem
(6.9) |
Definition 6.1.
Note that the fractional Sobolev space is defined as the completion of with the norm
On the other hand, we recall the definition of weak solution taken from [62]. Considering the following direct problem:
(6.10) |
where the domain is assumed to be bounded simple connected with a piecewise smooth boundary and , mean
References
- [1] A. de Pablo, F. Quirós, A. Rodríguez, J. L. Vázquez, A general fractional porous medium equation, Commun. Pur. App. Math. 65 (2012) 1242–1284.
- [2] G. Acosta, J. P. Borthagaray, A fractional Laplace equation: regularity of solutions and finite element approximations, SIAM. J. Numer. Anal. 55 (2017) 472–495.
- [3] Y. Zhou, L. Shangerganesh, J. Manimaran, A. Debbouche, A class of time fractional reaction-diffusion equation with nonlocal boundary condition, Math. Method. Appl. Sci. 41 (2018) 2987–2999.
- [4] C. Cheng, L. Chen, J. Li, Global boundedness and the Allee effect in a nonlocal bistable reaction-diffusion equation in population dynamics, Nonlinear. Anal-Real. 60 (2021) 103–309.
- [5] D. T. Dang, D. N. D. Hai, Backward problem for time-space fractional diffusion equations in Hilbert scales, Comput. Math. Appl. 93 (2021) 253–264.
- [6] K. S. Miller, B. Ross, An Introduction to The Fractional Calculus and Fractional Differential Equations, Wiley, New Jersey, 1993.
- [7] C. Li, Y. Chen, J. Kurths, Fractional calculus and its applications, Philos. T. R. Soc. A. 371 (2013) 37–45.
- [8] H. Dong, D. Kim, -estimates for time fractional parabolic equations with coefficients measurable in time, Adv. Math. 345 (2019) 289–345.
- [9] T. Sandev, R. Metzler, Ž. Tomovski, Fractional diffusion equation with a generalized Riemann-Liouville time fractional derivative, J. Phys. A-Math Theor. 44 (2011) 203–255.
- [10] F. Jarad, T. Abdeljawad, Generalized fractional derivatives and Laplace transform, Discrete. Cont. Dyn-S. 13 (2020) 709.
- [11] Z. Gan, Y. He, L. Meng, Large time behavior and convergence for the Camassa–Holm equations with fractional Laplacian viscosity, Calc. Var. Partial. Dif. 57 (2018) 1–48.
- [12] F. Mainardi, Y. Luchko, G. Pagnini, The fundamental solution of the space-time fractional diffusion equation, Fract. Calc. Appl. Anal. 4 (2007) 153–192.
- [13] M. Alfaro, N. Apreutesei, F. Davidson, V. Volpert, Preface to the issue nonlocal reaction-diffusion equations, Math. Model. Natural Phenomena 10 (2015) 1–5.
- [14] M. Alfaro, J. Coville, G. Raoul, Travelling waves in a nonlocal reaction-diffusion equation as a model for a population structured by a space variable and a phenotypic trait, Commun. Part. Diff. Eq. 38 (2013) 2126–2154.
- [15] J. Li, L. Chen, C. Surulescu, Global boundedness, hair trigger effect, and pattern formation driven by the parametrization of a nonlocal Fisher-KPP problem, J. Differ. Equations. 269 (2020) 9090–9122.
- [16] J. Li, E. Latos, L. Chen, Wavefronts for a nonlinear nonlocal bistable reaction–diffusion equation in population dynamics, J. Differ. Equations. 263 (2017) 6427–6455.
- [17] W. Sheng, Z. Wang, Entire solutions of monotone bistable reaction–diffusion systems in , Calc. Var. Partial. Dif. 57 (2018) 1–36.
- [18] A. Alsaedi, M. Kirane, R. Lassoued, Global existence and asymptotic behavior for a time fractional reaction-diffusion system, Comput. Math. Appl. 73 (2017) 951–958.
- [19] R. Gorenflo, Y. Luchko, M. Yamamoto, Time-fractional diffusion equation in the fractional Sobolev spaces, Fract. Calc. Appl. Anal. 18 (2015) 799–820.
- [20] B. Ahmad, M. S. Alhothuali, H. H. Alsulami, M. Kirane, S. Timoshin, On a time fractional reaction diffusion equation, Appl. Math. Comput. 257 (2015) 199–204.
- [21] Q. Zhang, H. Sun, Y. Li, Global existence and blow-up of solutions of the Cauchy problem for a time fractional diffusion system, Comput. math. Appl. 78 (2019) 1357–1366.
- [22] R. Tapdigoglu, B. T. Torebek, Global existence and blow-up of solutions of the time-fractional space-involution reaction-diffusion equation, Turk. J. Math. 44 (2020) 960–969.
- [23] S. Umarov, On fractional Duhamel’s principle and its applications, J. Differ. Equations. 252 (2012) 5217–5234.
- [24] W. Chen, L. D ’Ambrosio, Y. Li, Some Liouville theorems for the fractional Laplacian, Nonlinear. Anal-Theor. 121 (2015) 370–381.
- [25] M. Chang, H. Wu, Existence of weak solutions for the nonlocal energy-weighted fractional reaction-diffusion equations, J. Evol. Equ. 19 (2019) 883–914.
- [26] H. Zhang, Asymptotic behavior of non-negative solutions to nonlinear fractional reaction-diffusion equations, Master’s thesis, Huazhong University of Science and Technology (2015).
- [27] T. Kakehi, Y. Oshita, Blow up and global existence of a solution to a semilinear reaction-diffusion system with the fractional Laplacian, Mathematical Journal of Okayama University 59 (2017) 175–218.
- [28] F. Ahmad, G. Karch, Decay of mass for nonlinear equation with fractional Laplacian, Monatsh. Math. 160 (2010) 375–384.
- [29] K. H. Karlsen, ulusoy Suleyman, Stability of entropy solutions for Lévy mixed hyperbolic-parabolic equations, J. Differ. Equations. 538 (2011) 966–967.
- [30] E. D. Nezza, G. Palatucci, E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces, B. Sci. Math. 136 (5) (2012) 521–573.
- [31] M. M. Meerschaert, D. A. Benson, H. P. Scheffler, B. Baeumer, Stochastic solution of space-time fractional diffusion equations, Physical. Review. E. 65 (2002) 41–103.
- [32] Z. Chen, M. M. Meerschaert, E. Nane, Space-time fractional diffusion on bounded domains, J. Math. Anal. Appl. 393 (2011) 479–488.
- [33] M. Warma, Approximate controllabilty from the exterior of space-time fractional diffusion equations with the fractional Laplacian (2018). arXiv:1802.08028.
- [34] J. Hua, C. Zhou, Boundary stabilization for time-space fractional diffusion equation, Eur. J. Control. 65 (2022) 639–643.
- [35] S. Tatar, S. Ulusoy, An inverse source problem for a one-dimensional space–time fractional diffusion equation, Appl. Anal. 67 (2015) 2233–2244.
- [36] S. Tatar, R. Tinaztepe, S. Ulusoy, Determination of an unknown source term in a space-time fractional diffusion equation, J. Fract. Calc. Appl. 6 (2015) 83–90.
- [37] K. Sakamoto, M. Yamamoto, Initial value/boundary value problems for fractional diffusion-wave equations and applications to some inverse problems, J. Math. Anal. Appl. 382 (2011) 426–447.
- [38] Y. S. Li, T. Wei, An inverse time-dependent source problem for a time–space fractional diffusion equation, Appl. Math. Comput. 336 (2018) 257–271.
- [39] T. Wei, J. Wang, A modified quasi-boundary value method for an inverse source problem of the time-fractional diffusion equation, Appl. Numer. Math. 78 (2014) 95–111.
- [40] T. Wei, X. L. Li, Y. S. Li, An inverse time-dependent source problem for a time-fractional diffusion equation, Inverse. Probl. 32 (2016) 24–30.
- [41] R. Shen, M. Xiang, V. D. Râdulescu, Time-space fractional diffusion problems: existence, decay estimates and blow-Up of solutions, Milan. J. Math. (2022) 1–27.
- [42] A. Nabti, Life span of blowing-up solutions to the Cauchy problem for a time–space fractional diffusion equation, Comput. Math. Appl. 78 (2018) 1302–1316.
- [43] A. Alsaedi, M. Kirane, B. T. Torebek, Global existence and blow-up for a space and time nonlocal reaction-diffusion equation, Quaest. Math. 44 (2020) 1–7.
- [44] A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and applications of fractional differential equations, Vol. 204, Elsevier, New York, 2006.
- [45] H. Pollard, The completely monotonic character of the Mittag-Leffler function , B. Am. Math. Soc. 54 (1948) 1115–1116.
- [46] E. G. B. jlekova, Fractional Evolution Equations in Banach Spaces, Eindhoven University of Technology Ndhoven 14 (2001) 737–745.
- [47] A. Alsaedi, B. Ahmad, M. Kirane, A survey of useful inequalities in fractional calculus, Fract. Calc. Appl. Anal. 20 (2017) 574–594.
- [48] H. Zhan, F. Gao, L. Guo, Global boundedness and Allee effect for a nonlocal time fractional reaction-diffusion equation (2021). arXiv:2112.11143.
- [49] M. Allen, L. Caffarelli, A. Vasseur, A parabolic problem with a fractional time derivative, Arch. Ration. Mech. An. 221 (2016) 603–630.
- [50] G. Autuori, P. Pucci, Elliptic problems involving the fractional Laplacian in , J. Differ. Equations. 255 (2013) 2340–2362.
- [51] V. Maz’Ya, T. Shaposhnikova, On the bourgain, brezis, and mironescu theorem concerning limiting embeddings of fractional sobolev spaces, J. Funct. Anal. 195 (2002) 230–238.
- [52] A. Wenhui, The equivalence of Gagliardo-Nirenberg-Sobolev inequality,Nash inequality and Isoperimetric inequality, Central China Normal University (2017) 39.
- [53] L. Nirenberg, An extended interpolation inequality, Ann. Scuola. Norm-Sci. 20 (1966) 733–737.
- [54] J. Cheng, Inequalities in partial differential equations and their proofs, Journal of Zaozhuang University 33 (2016) 43–46.
- [55] S. Tatar, R. Tınaztepe, S. Ulusoy, Simultaneous inversion for the exponents of the fractional time and space derivatives in the space-time fractional diffusion equation, Appl. Anal. 95 (2014) 1–23.
- [56] L. Brasco, E. Parini, Enea, The second eigenvalue of the fractional -plaplacian, Adv. Calc. Var. 9 (2019) 323–355.
- [57] H. Dorsaf, K. Ferdaous, L. Rafika, Blowing-up solutions and global solutions to a fractional differential equation, Fract. Differ. Calc. 4 (2014) 45–53.
- [58] B. Zhong, h. Xiang, Extinction behavior of solutions for the -Laplacian equations with nonlocal sources, Nonlinear. Anal-Real. 13 (2012) 1780–1789.
- [59] S. Tatar, S. Ulusoy, A uniqueness result for an inverse problem in a space-time fractional diffusion equation, Electron. J. Differ. Equ. 257 (2013) 1–9.
- [60] Q. Lü, E. Zuazua, On the lack of controllability of fractional in time ODE and PDE, Math. Control. Signals. 28 (2016) 1–21.
- [61] Y. Sugiyama, H. Kunii, Global existence and decay properties for a degenerate Keller-Segel model with a power factor in drift term, J. Differ. Equations. 227 (2006) 333–364.
- [62] S. Tatar, S. Ulusoy, An inverse problem for a nonlinear diffusion equation with time-fractional derivative, J. Inverse. Ill-pose. P. 25 (2017) 185–193.
- [63] M. Bonforte, J. L. Vázquez, Quantitative local and global a priori estimates for fractional nonlinear diffusion equations, Adv. Math. 250 (2014) 242–284.
- [64] S. Bian, J. Liu, C. Zou, Ultra-contractivity for Keller-Segel model with diffusion exponent , Kinet. Relat. Mod. 7 (2014) 9–28.
- [65] A. Alsaedi, B. Ahmad, M. Kirane, Maximum principle for certain generalized time and space fractional diffusion equations, Q. Appl. Math. 73 (2015) 163–175.
- [66] B. Abdellaoui, A. Attar, R. Bentifour, I. Peral, On fractional -laplacian parabolic problem with general data, Ann. Mat. Pur. Appl. 197 (2018) 329–356.
- [67] L. Nirenberg, On elliptic partial differential equations, Ann. Scuola. Norm-Sci. 13 (1959) 115–162.
- [68] E. Gagliardo, Proprietà di alcune classi di funzioni in più variabili, Matematika 5 (1961) 87–116.
- [69] S. Bian, L. Chen, A nonlocal reaction diffusion equation and its relation with Fujita exponent, J. Math. Anal. Appl. 444 (2016) 1479–1489.
- [70] E. Bazhlekova, Existence and uniqueness results for a fractional evolution equation in Hilbert space, Fract. Calc. Appl. Anal. 15 (2012) 232–243.
- [71] E. Zeidler, Nonlinear Functional Analysis and Its Applications: II/B: Nonlinear Monotone Operators, Springer Science & Business Media, New York, 2013.
- [72] T. Wei, Z. Q. Zhang, Robin coefficient identification for a time-fractional diffusion equation, Appl. Numer. Math. 111 (2017) 160–180.