Abstract
This paper focuses on the blow-up solutions of the space-time fractional equations with Riemann–Liouville type nonlinearity in arbitrary-dimensional space. Using the Banach mapping principle and the test function method, we establish the local well-posedness and overcome the difficulties caused by the fractional operators to obtain the blow-up results. Furthermore, we get the precise lifespan of blow-up solutions under special initial conditions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this paper, we consider the following problem for the space-time fractional evolution equation:
where \(\alpha \in (0,1)\), \(\beta \in (0,2]\), \(p>1\), \(\psi _0(x)\in C_0\left( \mathbb {R}^N\right) \). The nonlocal fractional Laplacian operator \((-\Delta )^{\beta /2}\) is realized as a Fourier multiplier with symbol \(|\xi |^\beta \): \((-\Delta )^{\beta /2}=\mathfrak {F}^{-1}|\xi |^\beta \mathfrak {F}\) under Fourier transform, \(\textbf{D}_{0 \mid t}^\alpha \) is the Caputo fractional derivative operator, and \(I_{0 \mid t}^{1-\alpha }\) denotes the Riemann–Liouville (R–L) fractional integral operator; they are defined respectively as
where \(\Gamma \) is the Euler gamma function. \(C_0\left( \mathbb {R}^N\right) \) is the normal space in which all continuous functions decay to zero as they approach infinity.
In the past decades, this kind of system has attracted a lot of attentions [1, 2], which is widely used in the fields such as fluid mechanics [3], control theory [4], engineering applications [5], and life sciences [6]. The most recent application encompasses biomedical therapy [7, 8], anomalous diffusion [9], and signal processing [10].
For this, Nagasawa [11], Kobayashi [12], Guedda and Kirane [13] considered the evolution equation involving fractional diffusion
Additionally, Cazenave, Dickstein and Weissler [14] proved the sharp blow-up, global existence results for the heat equation with nonlinear memory,
Fino and Kirane [15] generalized and solved the associated problems of the following equations based on article [14]:
Using an existence-uniqueness test, they confirmed the validity of the equation and proved the existence of a blow-up solution. When
the solution to problem (4) is blow-up in finite time. In addition, the conditions for local or global solutions have also been established.
Different from previous work, in this paper, we focus on the evolution equations with two fractional forms of the Caputo time and the fractional diffusion. Our interest in this problem is motivated by the studies above to develop a general blow-up theory for (1)with R–L type nonlinear term. For this, we perform a fixed point argument to establish the local well-posedness. Our proof relies on the properties of the space-time fractional operators derived from Mittag–Leffler functions [19]. In addition, by contradiction argument, we obtain sufficient conditions for blow-up. Usually we need to define the mild solution as follows:
Definition 1.1
Let \(\psi _0\in C_0(\mathbb {R}^N)\), \(\alpha \in (0,1)\), \(\beta \in (0,2]\), \(p>1\), \(T>0\). Assume that \(\psi (x,t)\in C([0,T];C_0(\mathbb {R}^N))\) satisfies the integral equation given below,
then \(\psi \) is a mild solution to the problem (1). For the specific definition of \(\mathcal {V}_{\alpha ,\beta }, \mathcal {K}_{\alpha ,\beta }\), see the preliminaries.
However, due to the lack of space-time estimates for \(\mathcal {V}_{\alpha ,\beta }, \mathcal {K}_{\alpha ,\beta }\), we cannot directly derive the blow-up of the solutions. In order to overcome the technical difficulty, we introduce an integral test function which allows us to deal with the nonlinearity properly, and then use the relation of the R–L type operators and the Mittag–Leffler operators to show the equivalence between mild solutions and weak solutions. It turns out that weak solutions work well for achieving our goal and obtaining the threshold of p. It is worth noticing that this threshold will tend to the one obtained in [15] as \(\alpha \rightarrow 1\). Moreover, we shall present the upper bound of the lifespan of solutions for some special initial data, the proof of this point is standard.
For simplicity, we use \(f\lesssim g\) to denote \(f\le Cg\), where C may have different values in different lines. Our main results are summarized below.
Theorem 1.2
Let \(\psi _0\in C_0(\mathbb {R}^N)\), \(p>1\). Then there exists a positive maximal time \(T_{max}\) such that problem (1) has a unique mild solution \(\psi \in C([0,T_{max});C_0(\mathbb {R}^N))\). Furthermore, either \(T_{max}=+\infty \) or \(T_{max}<+\infty \) and \(\Vert \psi \Vert _{L^{\infty }((0,t)\times \mathbb {R}^N)}\rightarrow \infty \) as \(t\rightarrow T_{max}\). In particular, if \(\psi _0\ge 0\), \(\psi _0\not \equiv 0\), \(0<t<T_{max}\), then \(\psi (t)\) is positive.
Definition 1.3
Let \(\psi _0 \in L_{loc}^{\infty }(\mathbb {R}^N)\), \(p>1\), and \(T>0\). If \(\psi \in L^p((0,T);L_{loc}^{\infty }(\mathbb {R}^N))\) and for any function \(H (x,t)\in C^1([0,T];\mathcal {H}^{\bar{\beta }}(\mathbb {R}^N))\), \(\psi \) satisfies the following equation
then \(\psi \) is a weak solution to the problem (1), where \(\mathcal {H}^\beta \left( \mathbb {R}^N\right) =\left\{ f\in \mathcal {S}^{\prime };(-\Delta )^{\beta /2}f\in L^2\left( \mathbb {R}^N\right) \right\} \), \(\mathcal {S}^{\prime }\) is Schwartz space, \(H(x,T)=0\) for all \(x\in \mathbb {R}^N\), \(\bar{\beta }>max\{\beta ,s\}\), \(s= N(\frac{1}{2}-\frac{1}{q}+\beta )\), q is the conjugate of p.
Theorem 1.4
Let \(\psi _0 \in C_0(\mathbb {R}^N)\). Suppose \(\psi \in C([0,T];C_0(\mathbb {R}^N))\) is a mild solution of the problem (1), then \(\psi \) is also a weak solution.
Theorem 1.5
Let \(\psi _0\in C_0(\mathbb {R}^N)\), \(\psi _0\ge 0\), and \(\psi _0\not \equiv 0\). If \(1<p<1+\frac{\beta }{\alpha N}\), or \(p<\frac{1}{\alpha }\), then the solution of (1) blows up at a finite time.
Theorem 1.6
Let \(0<\alpha <1\), \(0<\beta \le 2\), \(1<p<1+\frac{\beta }{\alpha N}\) or \(p<\frac{1}{\alpha }\). Given \(\psi _0=\epsilon f(x)\) with \(\epsilon >0\), when
holds, the lifespan \(T_\epsilon \) of the solution \(\psi (x,t)\) of the problem (1) has the following upper bound:
Corollary 1.7
Let \(0<\alpha <1\), \(0<\beta \le 2\), \(1<p<1+\frac{\beta }{\alpha N}\) or \(p<\frac{1}{\alpha }\). Suppose \(\psi _0=\chi f(x)\) where \(\chi >0\), if
is holding for some positive constant \(\chi _0\). Then, for any \(\chi \in [\chi _0,+\infty )\), the lifespan \(T_{\chi }\) of the solution \(\psi (x,t)\) to the problem (1) satisfies the following bound:
The remainder of this paper is divided into two parts. In part 2, we collect the necessary definitions and Lemmas. The part 3 is devoted to the proof of our main conclusions.
2 Preliminaries
In this section, we outline and review the relevant properties about the evolution operators, which are essential to prove our main conclusions.
Given \(Z(t):=e^{-t(-\Delta )^{\beta / 2}}\), where \((-\Delta )^{\beta / 2}\) is a self-adjoint operator on \(L^2(\mathbb {R}^N)\), it follows that Z(t) is a strongly continuous semigroup on \(L^2(\mathbb {R}^N)\) generated by \((-(-\Delta )^{\beta / 2})\) (see [16]). \(Z(t)\mu =J_\beta (t)*\mu \), where \(*\) stands for convolution, and
Using the self-similar form of \(J_\beta (x,t)\) and convolution by Young’s inequality, we can conclude
for all \(\mu \in L^s(\mathbb {R}^N)\), \(1 \le s \le q \le \infty \). Besides, since \((-\Delta )^{\beta / 2}\) is a self-adjoint operator,
holds for all \(\psi , \varphi \in \mathcal {H}^\beta (\mathbb {R}^N)\).
Regarding the representation (5) of the mild solution, it contains the relevant content of the Mainardi’s and Mittag–Leffler functions. In the following, we will present their definitions.
A function of the Mittag–Leffler form with two parameters is defined as
The semigroup Z(t) whose Mittag–Leffer operators forms are defined as follows:
and
where \( \mathcal {M}(\theta ;\,\alpha )\) is a Mainardi’s function defined by
\(\mathcal {M}(\theta ;\alpha )\ge 0\) for all \(\theta \ge 0\) and satisfies the following properties:
From this we can derive the following results.
Lemma 2.1
Proof
Using (7), (9), and (10), which yields
and
\(\square \)
In addition, we review the previous conclusions concerning time fractional operators.
Lemma 2.2
([17]) Assuming \(\psi \in L^p((0, T), C_0(\mathbb {R}^N))\), \(p>1\). Let
then
Lemma 2.3
([17]) For \(\psi _0 \in C_0(\mathbb {R}^N)\), \(t>0\), then we have \(\mathcal {V}_{\alpha , \beta }(t) \psi _0 \in D(A)\),
where \(D(A)=\left\{ \psi \in C_0\left( \mathbb {R}^N\right) \mid -(-\triangle )^{\frac{\beta }{2}} \psi \in C_0\left( \mathbb {R}^N\right) \right\} \).
Next, let us define R–L fractional derivatives and recall several results that will be used in proving the equivalence of the mild solution and the weak one.
Definition 2.4
Let \(T>0\), \(\psi \in AC[0,T]\), AC stands for the space of absolutely continuous functions. Fractional derivatives of order \(\alpha \in (0,1)\) on the left- and right-sides of the R–L are defined as follows:
and
Based on this definition, it is not difficult to derive the following relation between Caputo and R–L derivatives
Proposition 2.5
([18]) Let \(0<\alpha <1 \), \(T>0\). Fractional integral formula by parts
is valid for every \(\psi \in I_{t \mid T}^{\alpha }(L^p(0,T))\) and \(\varphi \in I_{0 \mid t}^{\alpha }(L^q(0,T))\) such that \(\frac{1}{p}+\frac{1}{q}\le 1+\alpha \) with \(p,q>1\), where
Proposition 2.6
([19]) Let \(0<\alpha <1 \), \(T>0\). Then we arrive at the following identities:
\(\psi \in L^r(0,T)\), \(1\leqslant r \leqslant \infty \).
Finally, to prove the blow-up, we need the following lemma.
Lemma 2.7
Let \(\omega _1(m)=(1-m/M)^{\gamma }\), \(0\le m \le M, \gamma \gg 1\), we have
Proof
Note that
we have
As a result,
Similarly, we can complete the proof of another equation. \(\square \)
3 Proof of Main Results
Proof of Theorem 1.2
We prove this conclusion based on the contraction mapping principle. A Banach space \(\Pi _T\) is constructed for every \(T>0\),
where \(\Vert \psi \Vert _1:=\Vert \psi \Vert _{L^{\infty }((0,T),L^{\infty }(\mathbb {R}^N))} \). For any given \(\psi \in \Pi _T\), we define
\(\mathbf {Step ~~1}: \) Let \(\psi \in \Pi _T\), we claim \(\Vert \cdot \Vert _{\infty }=\Vert \cdot \Vert _{L^{\infty (\mathbb {R}^N)}}\) by using (11) and (12), then
By choosing T small enough, we have
this implies that \(\Vert G(\psi )\Vert _1\le 2 \Vert \psi _0\Vert _{\infty }\). Consequently, we get \(G(\psi )\in \Pi _T\).
\(\mathbf {Step ~2}: \) For \(\psi , \varphi \in \Pi _T\), by using (12), we have the following estimate,
due to the inequality
a choice of small T such that
implies that \(G(\psi )\) is a contraction mapping on \(\Pi _T\). To sum up, we conclude from Banach’s fixed point theorem that there is a mild solution \(\psi \) to the problem (1).
\(\mathbf {Step ~~3}: \) Concerning the uniqueness issue, we use Gronwall’s inequality to deal with it.
Let \(\psi _1, \psi _2\) be two mild solutions in \(\Pi _T\). Using (12) and (16), we obtain
From Gronwall’s inequality, we infer that \(\psi _1=\psi _2\). In addition, due to the uniqueness, there must be a solution in the maximal interval \([0,T_{max})\) (see also Fino, Kirane [15]).
If \(\psi _0\ge 0\) and \(\psi _0\not \equiv 0\), by (9), (10), we can get directly from (5) that \(\psi \ge \mathcal {V}_{\alpha ,\beta }(t)\psi _0>0\). This closes the proof. \(\square \)
Proof of Theorem 1.4
Equation (5) implies that
By Lemma 2.2, we get
Integrating the above equation with respect to the variable x yields
Now, using Lemma 2.3, one has
Next, we construct the time derivative of \(M_2\), let \(h>0, t+h \le T \), and obtain
By dominated convergence theorem, we deduce that when h tends to zero, \(J_1\) and \(J_3\) respectively converge to
Afterwards, we consider the estimation of \(J_2\), which can be rewritten as follows:
By dominated convergence theorem, we deduce that when h tends to zero, \(J_2\) converge to
Then, we get
Using the integration by parts formula, we derive
It follows
The proof is completed. \(\square \)
Proof of Theorem 1.5
Here, we use the contradiction analysis based on the test functions to verify our conclusion. In what follows, we prove this conclusion in two different cases associated with \(p>1\).
\(\mathbf {Case 1:}\) Assume \(\psi \) is a weak solution to the Eq. (1), then the Eq. (6) holds, \(\psi \in C([0,T]; C_0(\mathbb {R}^N))\), \(T\gg 1\), and \(\psi (t)>0\).
Let \(H(x,t):=D_{t \mid T}^{1-\alpha }\omega (x,t)\) with \(\omega \in C^1([0,T];H^{\bar{\beta }}(\mathbb {R}^N))\), \(\omega =\omega _1(t)\varphi ^{l}(x)\), \(\omega _1(t)=(1-\frac{t}{T})^{\gamma }\), and \(\varphi (x)=\Psi (\frac{\vert x \vert }{T^{\alpha /\beta }})\), where \(l\gg 1,\gamma \gg 1\). The function \(\Psi \) is smooth, non-increasing, and satisfying
After that, we take \(Q_T=[0,T]\times Q\), \(Q=\{x\in \mathbb {R}^N; \vert x\vert \le 2T^{1/\beta }\}\) and substitute the test function into (6),
which implies
It has
where we used the estimate \(\ell f^{\ell -1}(-\Delta )^{\beta /2}f \ge (-\Delta )^{\beta /2}f^{\ell }\) for any bounded and continuous function \(f\ge 0\) and all \(\ell \ge 1\) [20]. Applying Young’s inequality with \(\frac{1}{p}+\frac{1}{q}=1, p, q>1\), and taking the weight coefficient \(\varepsilon =\frac{1}{4p}\), we consequently get that
Similarly, taking \(Q_2=[0,1]\times \{y\in \mathbb {R}^N; \vert y \vert \le 2 \}\), and substituting \(\tau =\frac{t}{T}\), \(y=\frac{x}{T^{\alpha /\beta }}\), \((-\Delta _x)^{\frac{\beta }{2}}\varphi =T^{-\alpha }(-\Delta _y)^{\frac{\beta }{2}}\varphi \), we have
If \({\frac{\alpha N}{\beta }+1-q}<0\), that is \(1<p<1+\frac{\beta }{\alpha N}\). When \(2\le p<1+\frac{\beta }{\alpha N}\), \(\{\bigr \vert (-\Delta _y)^{\frac{\beta }{2}}\varphi \bigr \vert \}^{q} \) is bounded in \(Q_2\), the remaining two terms of the integral are still bounded in \(Q_2\). Letting \(T\rightarrow \infty \) we can obtain that the right terminal term of (20) is zero, while the left terminal term is positive. Therefore, we obtain a contradiction when \(T\rightarrow \infty \). While \(1<p\le 2\), \( \varphi _2 \in H^s \), let \(s\ge N(\frac{1}{2}-\frac{1}{q}+\beta )\), we can get that \(\{\bigr \vert (-\Delta _y)^{\frac{\beta }{2}}\varphi \bigr \vert \}^{q} \) is bounded in \(Q_2\). Taking T sufficiently large, we obtain a similar result.
\(\mathbf {Case~~2:}\) The proof for the case \(p<1/\alpha \) is similar to the case \(1< p<1+\frac{\beta }{\alpha N}\), we redefine the test function H. Let \(H(x,t):=D_{t \mid T}^{1-\alpha }B(x,t)\), where \(B=\omega _1(t)B_{1}^{l}(x)\) with \(B_{1}(x)=\Psi (\frac{\vert x \vert }{R})\), \(R\in (0,T)\), T and R cannot be infinite at the same time. The definition of \(\Psi \) is the same as in Case 1.
We set \(\bar{Q}_T=[0,T]\times \bar{Q}\), \(\bar{Q}=\{x\in \mathbb {R}^N; \vert x\vert \le 2R\}\), \(\bar{Q}_2=[0,1]\times \{y\in \mathbb {R}^N; \vert y \vert \le 2 \}\). Repeating our steps in Case 1, \(\tau =t/T\), \(y=x/R\), \((-\Delta _x)^{{\beta }/{2}}B_1=R^{-\beta }(-\Delta _y)^{{\beta }/{2}}B_1\), with some details omitted, we also have
Since \(1+(\alpha -1)q <0\), namely, \(p<\frac{1}{\alpha }\), let \(T \rightarrow \infty \), we conclude that
Moreover, let \(R\rightarrow \infty \), then \(B_{1}^{l}(x) \rightarrow 1\), we get a contradiction. \(\square \)
Proof of Theorem 1.6
Let \(\eta =\epsilon \int _{\mathbb {R}^N} f(x)\varphi ^{l}(x)dx\), \(y=\frac{x}{T^{\alpha /\beta }}\), we have
where \((\frac{\alpha (N-\delta )}{\beta })_{+} = max\{\frac{\alpha (N-\delta )}{\beta }),0\} \). At the same time, we can deduce from (20) that the corresponding inequality holds,
Consequently, from (22) and (23) we have access to
where \(\kappa =\frac{\alpha N}{\beta }+1-q-max\{\frac{\alpha (N-\delta )}{\beta },0\}=\frac{min\{\alpha N,\alpha \delta \}}{\beta }-\frac{1}{p-1}<0\). Thus, it follows
which closes the proof. \(\square \)
Proof of Corollary 1.7
Let \(\eta =\chi \int _{\mathbb {R}^N} f(x)\varphi ^{l}(x)dx\), and \(y=\frac{x}{T^{\alpha /\beta }}\), our estimate is as follows:
As in Theorem 1.6, we can get the conclusion that completes the proof. \(\square \)
Data Availability
No data were used for this work.
References
Straka, P., Fedotov, S.: Transport equations for subdiffusion with nonlinear particle interaction. J. Theor. Biol. 366, 71–83 (2015)
Viales, A.D., Wang, K.G., Desposito, M.A.: Anomalous diffusive behavior of a harmonic oscillator driven by a Mittag-Leffler noise. Phys. Rev. E 80(1), 011101 (2009)
Fetecau, V.: Flow of a generalized Oldroyd-B fluid due to a constantly accelerating plate. Appl. Math. Comput. 201(1–2), 834–842 (2008)
Lanusse, P., Benlaoukli, H., Nelson-Gruel, D., et al.: Fractional-order control and interval analysis of SISO systems with time-delayed state. IET Control Theory Appl. 2(1), 16–23 (2008)
Hristov, J.: Linear viscoelastic responses and constitutive equations in terms of fractional operators with non-singular kernels. Eur. Phys. J. Plus 134(6), 1–31 (2019)
Diethelm, K.: A fractional calculus based model for the simulation of an outbreak of dengue fever. Nonlinear Dyn. 71(4), 613–619 (2013)
Atanacković, T., Konjik, S., Oparnica, L., et al.: The Cattaneo type space-time fractional heat conduction equation. Continuum Mech. Thermodyn. 24(4–6), 293–311 (2012)
Wang, X., Qi, H., Yang, X., et al.: Analysis of the time-space fractional bioheat transfer equation for biological tissues during laser irradiation. Int. J. Heat Mass Transf. 177, 121555 (2021)
Yu, Y., Deng, W., Wu, Y.: Positivity and boundedness preserving schemes for space-time fractional predator-prey reaction-diffusion model. Comput. Math. Appl. 69(8), 743–759 (2015)
West, B.J.: Colloquium: Fractional calculus view of complexity: A tutorial. Rev. Mod. Phys. 86(4), 1169 (2014)
Nagasawa, M., Sirao, T.: Probabilistic treatment of the blowing up of solutions for a nonlinear integral equation. Trans. Am. Math. Soc. 139, 301–310 (1969)
Kobayashi, K.: On some semilinear evolution equations with time-lag. Hiroshima Math. J. 10(1), 189–227 (1980)
Guedda, M., Kirane, M.: Criticality for some evolution equations. Diff. Equ. 37(4), 540–550 (2001)
Cazenave, T., Dickstein, F., Weissler, F.B.: An equation whose Fujita critical exponent is not given by scaling. Nonlinear Anal. Theory Methods Appl. 68(4), 862–874 (2008)
Fino, A., Kirane, M.: Qualitative properties of solutions to a time-space fractional evolution equation. Q. Appl. Math. 70(1), 133–157 (2012)
Yosida, K.: Functional analysis. Springer Science and Business Media (2012)
Zhang, Q.G., Sun, H.R.: The blow-up and global existence of solutions of Cauchy problems for a time fractional diffusion equation. Topol. Methods Nonlinear Anal. 46(1), 69–92 (2015)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional integrals and derivatives. Gordon and Breach Science Publishers, Theory and Applications (1987)
Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory And Applications of Fractional Differential Equations. Elsevier Science Limited (2006)
Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional integrals and derivatives. Gordon and breach science publishers, Yverdon, Yverdon-les-Bains, Switzerland (1993)
Acknowledgements
The authors wish to acknowledge the referees for their valuable suggestions.
Funding
This work was partially supported by National Natural Science Foundation of China (No. 12061040, No. 11701244) and Graduate Quality Course Program of Lanzhou University of Technology.
Author information
Authors and Affiliations
Contributions
All authors contribute equally.
Corresponding author
Ethics declarations
Conflict of Interest
The authors declare that they have no conflict interest.
Ethical Approval and Consent to Participate
All authors approve and consent to participate. The authors agree to publication.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hu, Z., Shi, Q. Blow-Up Solutions for the Space-Time Fractional Evolution Equation. J Nonlinear Math Phys 30, 917–931 (2023). https://doi.org/10.1007/s44198-023-00109-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44198-023-00109-5