Abstract
A nonlinear system with different fractional derivative terms is considered. The existence of positive blowing-up solutions is proved.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We are concerned with blowing-up solutions of the nonlinear fractional system:
for \( u>0, v>0\), where \(D^{\sigma }_t\) for \(0<\sigma <1\) (\(\sigma =\alpha ,\beta \)) stands for the Riemann-Liouville fractional derivative defined for an integrable function f by \((D^{\sigma }_tf)(t)=\frac{1}{\Gamma (\sigma -1)}\frac{d}{dt}\int _{0}^{t}\frac{f(\tau )}{(t-\tau )^{\sigma }}\, d\sigma \), p, q, r, s are positive real numbers to be fixed later. There are a couple of physical motivations for considering the system (1.1). Firstly, the type of nonlinearities in the system (1.1) appears in the systems describing processes of heat diffusion and combustion in two component continua with nonlinear heat conduction and volumetric release (\(u_t - a \Delta u = u^p v^q, \; v_t -b \Delta u = u^r v^s,\) the subscript t stands for the time derivative, while \( \Delta \) stands for the Laplacian operator) [6]. Secondly, as suggested recently [2] one may take \(\Delta D^{\alpha }_{t} (u - u(0))\) and \(\Delta D^{\beta }_{t} (v - v(0))\) instead of \(\Delta u \) and \( \Delta v \) if the process takes place in a porous medium. To simplify the analysis one may start by replacing \(\Delta (u - u(0))\) and \(\Delta (v - v(0))\) by \((u - u(0))\) and \((v - v(0))\), respectively.
Before, we state our results, let us dwell a while on the existing literature. In [3], Furati and Kirane considered blowing-up solutions to the system
for \(u>0, v>0\) and \(0<\alpha ,\beta <1.\) Then Kirane and Malik in [4] studied the profile of the blowing-up solutions of system (1.2). The study of the reduced system:
for \( u>0, \, v>0 \) is well documented in the book [6]; in fact, it admits the first integral
where \(a_1=r+1-p, \, a_2= q+1-s\). it can then be decoupled in
From here, the occurrence of finite time blow-up in each component can be derived.
If, for example, \( a_1>0, a_2>0\), then u blows-up whenever \(p+ a_1q/a_2 >1\); this inequality is equivalent to the condition \(-rq +(p-1)(s-1)>0\), which is satisfied in this case (since \(p<1+r, \, s< 1+q\)). Similarly, it can be checked that if \(a_1>0, \, a_2>0\), the second component v also blows-up in finite time. From the identity (1.4) it follows that the blow-up times of u(t) and v(t) are the same.
A different situation arises when \(a_1a_2 < 0\), for example, if \(a_1>0, \, a_2<0\). In this case \(C_0 >0\), and since \(s>1+q>1\), v blows-up in finite time: \(v(t) \, \rightarrow \, +\infty \) as \(t \, \rightarrow \, T_0^- < +\infty \). The component u(t) in this case remains bounded: \(u(t) \, \rightarrow \, (a_1C_0)^{1/a_1}, \, t \, \rightarrow \, T_0^-\). In the case \(a_1<0\), \(a_2<0\), the constant \(C_0\) can be either sign. For \(C_0=0\), both components of the solutions of equations (1.5) and (1.6) lead to finite time blow-up. If \(C_0<0\), then u(t) blows-up, while v(t) remains bounded; if \(C_0>0\) it is the other way around.
However, such a decoupling and analysis is not directly possible for system (1.1).
2 Results
As argued in [5], (1.1) admits a local solution \((u, v) \in C^1(0,T_{max}) \times C^1(0,T_{max}).\) So,
where \(^{c}D^{\alpha }_{t}\) is the so-called Caputo fractional derivative defined, for a differentiable function f, by \((^{c}D^{\alpha }_{t} f)(t)=\frac{1}{\Gamma (\sigma -1)}\displaystyle \int _{0}^{t}\frac{f'(\tau )}{(t-\tau )^{\sigma }}\, d\sigma \).
For the sequel, we need the following lemma.
Lemma 2.1
If \(\varphi \in C^1(\mathbb {R})\) is increasing and \(u'\ge 0,\) then, \(^cD^{\alpha }_t\varphi (u)\le \varphi '(u)^{c}D^{\alpha }_{t}u.\)
Proof
We write
Let us recall the Mittag–Leffler function
The solutions of (1.1) satisfies the system of integral equations
It is clear then that \(u(t)\ge u_0\), \(v(t)\ge v_0\).
Now, we prove the positivity of \(u' \) and \(v' \). \(\square \)
Lemma 2.2
We have \(u'>0\) and \(v'>0\).
Proof
Let \(\displaystyle J^{\alpha }f(t)=\frac{1}{\Gamma (\alpha )}\int _{0}^{t} (t-\tau )^{\alpha -1} f(\tau )d\tau , t>0, \alpha \in \mathbb {R}^{+}.\)
As \(^cD^{\alpha }f(t)= J^{1-\alpha }f'(t),\) we write the first equation of system (1.1) as:
or
where I is the identity operator; so, formally,
where \(*\) denotes convolution. We clearly have \(u'>0.\) Similarly, \(v'>0\) can be proved.
As a first consequence, the solution (u, v) of system (1.1) satisfies the system of inequalities
so it is an upper solution of the system
Our first result is the following blow-up result concerning solutions to system (1.1). \(\square \)
Theorem 2.3
We have the two results:
-
If \(a_1=r+1-p>0, \, a_2=q+1-s>0\) and \(p + (r+1-p)q/(q+1-s)>1\), then the solution \((u, \, v)\) of system (1.1) blows-up in finite time.
-
If \(C_0=0\), then the solution \((u, \, v)\) of system (1.1) blows-up in finite time.
Proof
The proof is based on the results above concerning system (1.3).
Before we state our next result, let us set \(\rho =r/(1-p), \; \gamma =q/(1-s), \, \rho '= r/(r-1+p) \, \) (so \(\; \rho +\rho '=\rho \rho '\)), \(\gamma '=s/(s-1+q)\,\) (so \(\gamma + \gamma '=\gamma \gamma '\)). Our second result is the following theorem. \(\square \)
Theorem 2.4
Let (u, v) be the solution of (1.1) associated to the initial condition \((u_0, v_0)\). If \(0<p<1, \, 0<s<1, \, r>1-p, \, q>1-s\), and if the condition
is satisfied, then (u, v) blows-up in a finite time.
Proof
Multiplying the first equation of (1.1) by \(\theta u^{\theta -1}\), we obtain
Using Lemma 2.2 with \(\varphi (u)=u^{\theta }\), we have
so,
Whereupon,
In a similar manner, multiplying the second equation of (1.1) by \(\lambda v^{\lambda -1}\) and using Lemma 2.1, we obtain
Now, setting \(\displaystyle u^{\theta }=:U, v^{\lambda }=:V\), the inequalities (2.7) and (2.8) take the form
Let us choose
Consequently, the system of Eqs. (2.9) and (2.10) can be written
where \(q/ \lambda =\gamma , r/\theta =\rho .\)
Now we multiply (2.11) by
and integrate over (0, T); we obtain
First, we compute:
Writing
and then using Holder’s inequality, we obtain the estimate
where \(\rho '+\rho =\rho \rho '.\)
Alike, we obtain the estimate
Setting
and
in (2.14) and (2.15) and inserting the resulting expressions in (2.13), we get
Similarly, we obtain
Setting \(I=\displaystyle \int _0^T U^{\rho }\varphi \, d\tau \) and \(J=\displaystyle \int _0^T V^{\gamma }\varphi \, d\tau ,\) we have
Using \(I\le C J^{\frac{1}{\gamma }}\Big (A(\varphi ,\gamma )+B_{\beta }(\varphi ,\gamma )\Big )\) in (2.16), we obtain
which implies
Similarly, we have \( J \le C I^{\frac{1}{\rho }}\Big (A(\varphi ,\rho )+B_{\alpha }(\varphi ,\rho )\Big )\), and
Thus
As \(\int _0^T \varphi ^{\vartheta } |^cD^{\alpha }_{t|T}\varphi |^{\widetilde{\rho }}dt=C_{\widetilde{\rho },\alpha }T^{1-\alpha \widetilde{\rho }},\) where \(\vartheta \) is any exponent, we have:
Inserting (2.20) into (2.19), we obtain the estimate
Assume by contradiction that the solution is global and bounded. Then, by letting \(T\rightarrow +\infty \) in (2.21), we obtain a contradiction if
Alike, similar estimates along J leads to a contradiction if
The case for \(1- \frac{1}{\rho \gamma } = \beta + \frac{\alpha }{\gamma }\) or \(1- \frac{1}{\rho \gamma } =\alpha + \frac{\beta }{\rho } \) can be treated as in [4]. \(\square \)
3 Estimate of the blow-up time and profile of the solution
We consider only solutions under conditions of Theorem 2.4.
Without loss of generality, we assume that \(\theta>\lambda \Leftrightarrow s>p.\) Then we have:
so \( U\ge \overset{\sim }{U}\) and \(V\ge \overset{\sim }{V}\) where
Solutions of (3.1) and (3.2) are explicitly given by
and
where
and
Whereupon,
where
and
References
Gorenflo, R., Mainardi, F.: Fractional Calculus: Integral and Differential Equations of Fractional Order, Fractals and Fractional Calculus in Continuum Mechanics, pp. 223–276. Springer, Vienna (1997)
Langlands, T.A.M., Henry, B.I., Wearne, S.L.: Fractional cable equation for anomalous electrodiffusion in nerve cells: inffnite domain solutions. J. Math. Biol. 59, 761–808 (2009)
Furati, K.M., Kirane, M.: Necessary conditions for the existence of global solutions to systems of fractional differential equations. Fract. Calc. Appl. Anal. 11(3), 280–298 (2008)
Kirane, M., Malik, S.: Profile of blowing-up solutions to a nonlinear system of fractional differential equations. Nonlinear Anal. Theory Methods Appl. 73(12), 3723–3736 (2010)
Michalski, M.W.: Derivatives of Noninteger Order and their Applications. Dissertationes Mathematicae, CCCXXVIII, Inst. Math. Polish Acad. Sci., Warsaw (1993)
Samarskii, A.A., Galaktionov, V., Kurdyumov, S.P., Mikhailov, A.P.: Blow-up in Quasilinear Parabolic Equations. De Gruyter, Berlin, New York (1993)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Neil Trudinger.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Alsaedi, A., Ahmad, B., Kirane, M.B.M. et al. Blowing-up solutions for a nonlinear time-fractional system. Bull. Math. Sci. 7, 201–210 (2017). https://doi.org/10.1007/s13373-016-0087-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-016-0087-0