Abstract
We study the nonexistence of (nontrivial) global solutions for a class of fractional integro-differential problems in an appropriate underlying space. Integral conditions on the kernel, and for some degrees of the involved parameters, ensuring the nonexistence of global solutions are determined. Unlike the existing results, the source term considered is, in general, a convolution and therefore nonlocal in time. The class of problems we consider includes problems with sources that are polynomials and fractional integrals of polynomials in the state as special cases. Singular kernels illustrating interesting cases in applications are provided and discussed. Our results are obtained by considering a weak formulation of the problem with an appropriate test function and several appropriate estimations.
Similar content being viewed by others
1 Introduction
We consider the initial value problem
where \(D_{0+}^{\alpha}\) and \(D_{0+}^{\beta}\) are the Riemann-Liouville fractional derivatives of orders α and β, respectively, \(0\leq\beta<\alpha\leq1\) (see (8)-(10)), and \(\sigma =0,1\).
Problem (1) includes many interesting special cases. When \(\alpha=1\), \(\sigma=0\) and \(k(t)=\delta(t)\) (the Dirac delta function), the equality in (1) reduces to the initial value for the Bernoulli differential equation
for which the solution is
This solution blows up in the finite time
if and only if the initial data \(x_{0}>1\) (see e.g. [1]).
The nonlinear Volterra integro-differential equation
can be transformed by differentiation into the second-order ordinary differential equation
When \(c=\sqrt{\frac{2}{q+1}x_{0}^{q+1}}\), \(x_{0}>0\), the solution of (4) is given by
and it blows up in the finite time
When \(\alpha=\sigma=1\), \(\beta=0\), \(x ( 0 ) =x_{0}\geq0\) and \(k(t)\) is a positive and locally integrable function with \(\lim_{t\rightarrow\infty}\int_{0}^{t}k(s)\,ds=\infty\), Ma showed in [2] that the solution of
blows up in finite time if and only if, for some \(\beta>0\),
Here \(f(t)\) is assumed to be continuous, nonnegative and nondecreasing for \(t>0\), \(f\equiv0\) for \(t\leq0\), and \(\lim_{t\rightarrow\infty}\frac{f(t)}{t}=\infty\). Clearly, if \(f(x ( s ) )=\vert x(s)\vert ^{q}\) in (5), condition (6) simply means that \(q>1\).
Recently, Kassim et al. showed in [3] that the problem
has no global solution when \(c_{0}\geq0\), \(1< q\leq\frac{\theta+1}{1- \beta}\) and \(\theta>-\beta\).
The authors in [4] proved that all nontrivial solutions \(u\in C ( [ 0,T_{\max},C_{0} ( \mathbb{R} ^{N} ) ) ) \) of the initial value problem
where \(q>1\), \(0\leq\gamma<1\) and \(u_{0}\in C_{0} ( \mathbb{R} ^{N} ) \), blow up in finite time when \(u_{0}\geq0\) and \(q\leq\max \{ \frac{1}{\gamma},1+\frac{4-2\gamma}{ ( N-2+2 \gamma ) ^{+}} \} \in( 0,\infty ] \). See Remark 10 for the main difference of this result with the present one. This will clarify our main contribution.
It is known from the definition of Riemann-Liouville fractional derivative that it uses in someway all the history of the state through a convolution with a singular kernel. Moreover, in the case of fractional integro-differential equations, the source term may involve additional singularities in the kernel. Because of all these issues, it is difficult to apply the approaches and methods for integer order existing in the literature to the non-integer case.
As is well known, studying the nonexistence of solutions for differential equations is as important as studying the existence of solutions. The sufficient conditions for the nonexistence of solutions provide necessary conditions for the existence of solutions. Investigating the nonexistence of solutions for differential equations provides very important and necessary information on limiting behaviors of many physical systems. It is also interesting to know what could happen to these solutions in cases such as blowing up in finite time or at infinity. In industry, knowing the blow-up in finite time can prevent accidents and malfunction. It helps also improve the performance of machines and extend their life-span.
There are many results in the literature on the existence of solutions for various classes of fractional differential equations and fractional integro-differential equations (see [5–14]). Agarwal et al. surveyed many of these results in [5]. They focused on initial and boundary value problems for fractional differential equations with Caputo fractional derivatives of orders between 0 and 1.
For the issue of nonexistence of local solutions and global solutions for fractional differential equations, we refer to [15–21] and the references therein. However, to the best of our knowledge, there are no investigations on the nonexistence of solutions for fractional integro-differential inequalities of type (1).
In this paper, we prove the nonexistence of (nontrivial) global solutions for the initial value problem (1) under some integral conditions on the kernel \(k(t)\). The proof is based on the test function method due to Mitidieri and Pohozaev [22] adopted here to the fractional case, see also [15, 18, 21]. For the purpose of studying the effect of considering one or two fractional derivatives, we choose σ to be either 0 or 1.
Our results could be utilized to identify the limitations of many physical systems and to analyze the behavior of solutions of some nonlinear fractional differential equations and inequalities for which the explicit solution may not be available. Also, our results will extend the abundant results on integer-order problems to the (limited results available for) fractional-order problems.
The rest of this paper is organized as follows. In the next section we briefly recall some necessary material from fractional calculus that we use in this paper. Section 3 is devoted to the statements and proofs of our results. Some applications and special cases are given in Section 4.
2 Preliminaries
In this section we introduce some notation, definitions and preliminary results from fractional calculus.
Let \([a,b]\) be a finite interval of the real line \(\mathbb{R} \). The Riemann-Liouville left-sided and right-sided fractional derivatives of order \(0\leq\alpha\leq1\) are defined by
respectively, where \(D=\frac{d}{dt}\). \(I_{a^{+}}^{\alpha}\) and \(I_{b^{-}}^{\alpha}\) are the Riemann-Liouville left-sided and right-sided fractional integrals of order \(\alpha >0\) defined by
respectively, provided the right-hand sides exist. We define \(I_{a+}^{0}x=I_{b^{-}}^{0}x=x\). The function Γ is the Euler gamma function. In particular, when \(\alpha=0\) and \(\alpha=1\), it follows from the definition that
For more details about fractional integrals and fractional derivatives, the reader is referred to the books [23–26].
We denote by \(L^{p} ( a,b ) \), \(1\leq p<\infty\), the set of Lebesgue real-valued measurable functions f on \([ a,b ] \) for which \(\Vert f\Vert _{L^{p}}<\infty\), where
We denote by \(C_{\gamma} [ a,b ] \) and \(C_{\gamma} ^{\mu} [ a,b ] \) the following two weighted spaces of continuous functions:
respectively, where \(0\leq\gamma<1\), \(\mu\geq0\) and \(C [ a,b ] \) is the space of continuous functions.
The next lemma shows that the Riemann-Liouville fractional integral and derivative of the power functions yield power functions multiplied by certain coefficients and with the order of the fractional derivative added or subtracted from the power.
Lemma 1
[23]
If \(\alpha\geq0\), \(\beta>0\), then
Now we consider a useful property of the Riemann-Liouville fractional integral \(I_{a+}^{\alpha}\) in the space \(C_{\gamma} [ a,b ] \) defined in (11).
Lemma 2
[27]
Let \(0\leq\gamma<1\) and \(\alpha>\gamma\). If \(u\in C_{\gamma} [ a,b ] \), then
A formula for the fractional integration by parts is given in the next lemma.
Lemma 3
[26]
Let \(\alpha\geq0\), \(m_{1}\geq1\), \(m _{2} \geq1\) and \(\frac{1}{m_{1}}+ \frac{1}{m_{2}}\leq1+\alpha\) (\(m_{1}\neq1\) and \(m _{2}\neq1\) in the case when \(\frac{1}{m_{1}}+\frac{1}{m _{2}}=1+\alpha\)). If \(\varphi_{1}\in L^{m_{1}} ( a,b ) \) and \(\varphi_{2}\in L^{m_{2}} ( a,b ) \), then
In this paper, we use the test function
This test function has the following property.
Lemma 4
Let φ be as in (12) and \(p>1\), then for \(\lambda>p-1\),
Proof
□
3 The nonexistence results
In this section we study the nonexistence of a global solution for the initial value problem (1). We start with the following lemma.
Lemma 5
Let \(0\leq\nu\leq1\) and \(p>1\). Let φ be as in (12) with \(\lambda>p-1\). Suppose that k is a nonnegative function which is different from zero almost everywhere and \(t^{-\nu p}k^{1-p} ( t ) \in L_{\mathrm{loc}}^{1} [ 0,+\infty ) \). Then, for any \(T>0\),
where \(\Lambda_{\nu,p}=\frac{\lambda^{p}}{ ( \lambda -p+1 ) ( \Gamma ( 1-\nu ) ) ^{p}}\).
Proof
Since
for all \(0\leq t< T\). Using Hölder’s inequality with \(\frac {1}{p}+\frac{1}{p ^{\prime}}=1\), we find
Therefore,
Let \(\tau=s-t\) in the inner integral, then we obtain the uniform bound
Now the result follows from Lemma 4. □
Definition 6
By a global nontrivial solution to problem (1), we mean a nonzero function \(x ( t ) \) defined for all \(t>0\) such that \(x\in C_{1-\alpha}^{\alpha} [ 0,T ] \) for all \(T>0\) that satisfies the inequality and initial conditions in (1).
In what follows we provide the conditions under which problem (1) cannot have global nontrivial solutions.
Theorem 7
Let \(0\leq\beta<\alpha\leq1\) and k be a nonnegative function which is different from zero almost everywhere. Assume that \(( t^{- \alpha q^{\prime}}+\sigma^{q^{\prime}}t^{-\beta q^{\prime}} ) k^{1-q^{\prime}} ( t ) \in L_{\mathrm{loc}}^{1} [ 0,\infty ) \) and
where \(q^{\prime}=\frac{q}{q-1}\). Then problem (1) does not admit any global nontrivial solution when \(c_{0}\geq0\).
Proof
Assume, on the contrary, that a solution \(x\in C_{1-\alpha}^{\alpha} [ 0,T ] \) exists for all \(T>0\). Multiplying both sides of the inequality in (1) by the test function φ defined in (12) with \(\lambda>2q ^{\prime}-1\) and integrating, we obtain
where
An integration by parts for each integral on the right-hand side of (16) gives
and
As \(\varphi ( T ) =0\), \(\varphi ( 0 ) =1\) and \(( I_{0^{+}}^{1-\alpha}x ) ( 0^{+} ) =c_{0}\), we can write (17) as
Also, since \(I_{0^{+}}^{1-\beta}x=I_{0^{+}}^{\alpha-\beta}I_{0^{+}} ^{1-\alpha}x\), \(x\in C_{1-\alpha} [ 0,T ] \) and \(\beta< \alpha\), we see from Lemma 2 that \(( I_{0^{+}}^{1- \beta}x ) ( 0^{+} ) =0\). Hence (18) reduces to
and (16) becomes
Having in mind that \(c_{0}\geq0\) and \(\varphi^{\prime}\) is negative, we entail that
Applying Lemma 3 to each integral on the right-hand side of (20), we obtain
To obtain a bound for the expression J, we rewrite J as
where
Next, we insert \(K^{\frac{1}{q}}(t)K^{-\frac{1}{q}}(t)\) inside each integral on the right-hand side of (21) and apply Hölder’s inequality
or
Using Lemma 5, we get
where \(\Lambda_{1}=2^{q^{\prime}-1}\max \{ \Lambda_{\alpha,q^{\prime}},\Lambda_{\beta,q^{\prime}} \} \). Assumption (15) leads to a contradiction since the solution is supposed to be nontrivial. □
Our Theorem 7 shows that the fractional damping is not able to remove the effect of nonlinearity. It provides sufficient conditions on the exponent q and on the family of kernels, which leads to the nonexistence of global solutions.
As a corollary of Theorem 7, we have the following result.
Corollary 8
Let \(0\leq\beta<\alpha\leq1\) and k be a nonnegative function which is different from zero almost everywhere with \(t^{-\alpha q^{\prime}}k ^{1-q^{\prime}}\), \(t^{-\beta q^{\prime}}k^{1-q^{\prime}}(t)\in L _{\mathrm{loc}}^{1} [ 0,+\infty ) \). Suppose that, for any \(T>0\), there are some positive constants \(c_{1}\), \(c_{2}\), \(\theta_{1}\), \(\theta _{2}\) with
such that
where \(q^{\prime}=\frac{q}{q-1}\). Then problem (1) does not admit any global nontrivial solution when \(c_{0}\geq0\).
Proof
To prove this corollary, it suffices to notice that conditions (25) and (26) imply that hypothesis (15) is fulfilled. Indeed, in virtue of (26), we have
We find from (25) that \(1-q^{\prime }+\theta _{1}\) and \(1-q^{\prime}+\theta_{2}\) are both negative and condition (15) follows. □
4 Applications
Our results can be applied to a variety of kernels that appear in the literature. The following corollary of Theorem 7 is concerned with the Riemann-Liouville fractional integral kernel.
Corollary 9
Let \(0\leq\beta<\alpha\leq1\) and \(q>1\). Suppose that \(k(t) \geq at^{-\gamma}\), \(t>0\), for some constant \(a>0\), where \(1-q ( 1-\alpha ) <\gamma<2+q ( \beta-1 ) \). Then problem (1) does not admit a global nontrivial solution when \(c_{0}\geq0\).
Proof
It suffices to show that the function k satisfies (15). Indeed, since \(k(t)\geq at^{-\gamma}\); \(a>0\), then \(k^{1-q^{\prime}}(t)\leq a^{1-q^{\prime}}t^{\gamma ( q^{\prime }-1 ) }\), \(q^{\prime}=\frac{q}{q-1}\) and
Hence,
It follows from \(1-q ( 1-\alpha ) <\gamma<2+q ( \beta -1 ) \) that (15) is satisfied. □
Remark 10
Notice that the kernel treated in Problem 7 fits into the special case considered in Corollary 9. Treating a more general kernel is not the main difference with the work in [4]. The problems, the results and the arguments are different. Indeed, we treated a fractional equation (or inequality) and proved a ‘nonexistence’ result, whereas in [4] they studied the heat equation (order one) and proved a ‘blow-up’ result. Even in the fractional context, introducing a fractional damping presents a challenge as it is known that damping competes with the nonlinear force. It tends to annihilate (or at least reduce) the destabilizing effect produced by the nonlinear source.
Remark 11
Corollary 9 can be considered also as a consequence of Corollary 8 with
It is clear from \(1-q ( 1-\alpha ) <\gamma<2+q ( \beta-1 ) \) that \(0<\theta_{1},\theta_{2}<\frac{1}{q-1}\).
Remark 12
Observe that the upper bound of the exponent γ is controlled by the order β of the lower derivative.
As an example of the kernels in Corollary 9, we have the following case when the right-hand side of (1) is the Riemann-Liouville fractional integral of \(\vert x(t) \vert ^{q}\).
Example 13
The problem
is a special case of problem (1) with
Therefore, as a consequence of Corollary 9, problem (27) does not admit a global nontrivial solution when \(c_{0}\geq0\).
References
Brunner, H: Collocation Methods for Volterra Integral and Related Functional Equations. Cambridge University Press, Cambridge (2004)
Ma, J: Blow-up solutions of nonlinear Volterra integro-differential equations. Math. Comput. Model. 54, 2551-2559 (2011)
Kassim, MD, Furati, K, Tatar, N-e: Non-existence for fractionally damped fractional differential problems. Acta Math. Sci. accepted (to appear)
Cazenave, T, Dickstein, F, Weissler, FB: An equation whose Fujita critical exponent is not given by scaling. Nonlinear Anal., Theory Methods Appl. 68, 862-874 (2008)
Agarwal, RP, Benchohra, M, Hamani, S: A survey on existence results for boundary value problems of nonlinear fractional differential equations and inclusions. Acta Appl. Math. 109(3), 973-1033 (2010)
Agarwal, RP, Belmekki, M, Benchohra, M: A survey on semilinear differential equations and inclusions involving Riemann-Liouville fractional derivative. Adv. Differ. Equ. 2009, Article ID 981728 (2009)
Agarwal, RP, Ntouyas, SK, Ahmad, B, Alhothuali, M: Existence of solutions for integro-differential equations of fractional order with nonlocal three-point fractional boundary conditions. Adv. Differ. Equ. 2013, Article ID 128 (2013)
Furati, KM, Tatar, N-e: An existence result for a nonlocal fractional differential problem. J. Fract. Calc. 26, 43-51 (2004)
Kirane, M, Medved, M, Tatar, N-e: Semilinear Volterra integrodifferential problems with fractional derivatives in the nonlinearities. Abstr. Appl. Anal. 2011, Article ID 510314 (2011)
Messaoudi, SA, Said-Houari, B, Tatar, N-e: Global existence and asymptotic behavior for a fractional differential equation. Appl. Math. Comput. 188, 1955-1962 (2007)
Tatar, N-e: Existence results for an evolution problem with fractional nonlocal conditions. Comput. Math. Appl. 60(11), 2971-2982 (2010)
Wang, J, Zhou, Y, Fečkan, M: Nonlinear impulsive problems for fractional differential equations and Ulam stability. Comput. Math. Appl. 64, 3389-3405 (2012)
Wang, J, Zhang, Y: On the concept and existence of solutions for fractional impulsive systems with Hadamard derivatives. Appl. Math. Lett. 39, 85-90 (2015)
Wang, J, Ibrahim, AG, Fečkan, M: Nonlocal impulsive fractional differential inclusions with fractional sectorial operators on Banach spaces. Appl. Math. Comput. 257, 103-118 (2015)
Furati, K, Kirane, M: Necessary conditions for the existence of global solutions to systems of fractional differential equations. Fract. Calc. Appl. Anal. 11, 281-298 (2008)
Furati, K, Kassim, MD, Tatar, N-e: Non-existence of global solutions for a differential equation involving Hilfer fractional derivative. Electron. J. Differ. Equ. 2013, Article ID 391062 (2013)
Kirane, M, Medved, M, Tatar, N-e: On the nonexistence of blowing-up solutions to a fractional functional differential equations. Georgian Math. J. 19, 127-144 (2012)
Kirane, M, Tatar, N-e: Nonexistence of solutions to a hyperbolic equation with a time fractional damping. Z. Anal. Anwend. 25, 131-142 (2006)
Kirane, M, Malik, SA: The profile of blowing-up solutions to a nonlinear system of fractional differential equations. Nonlinear Anal., Theory Methods Appl. 73(12), 3723-3736 (2010)
Qassim, MD, Furati, KM, Tatar, N-e: On a differential equation involving Hilfer-Hadamard fractional derivative. Abstr. Appl. Anal. 2012, Article ID 391062 (2012)
Tatar, N-e: Nonexistence results for a fractional problem arising in thermal diffusion in fractal media. Chaos Solitons Fractals 36(5), 1205-1214 (2008)
Mitidieri, E, Pohozaev, SI: A priori estimates and blow-up of solutions to nonlinear partial differential equations and inequalities. Proc. Steklov Inst. Math. 234, 1-383 (2001)
Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)
Miller, KS, Ross, B: An Introduction to the Fractional Calculus and Fractional Differential Equations. Wiley, New York (1993)
Podlubny, I, Petraŝ, I, Vinagre, BM, O’leary, P, Dorčák, L: Analogue realizations of fractional-order controllers. Fractional order calculus and its applications. Nonlinear Dyn. 29, 281-296 (2002)
Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1987)
Furati, K, Kassim, M, Tatar, N-e: Existence and uniqueness for a problem involving Hilfer fractional derivative. Comput. Math. Appl. 64(6), 1616-1626 (2012)
Acknowledgements
The authors would like to acknowledge the support provided by King Fahd University of Petroleum and Minerals (KFUPM) through project number IN151035.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All three authors have worked on all parts of the paper equally.
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
Ahmad, A.M., Furati, K.M. & Tatar, NE. On the nonexistence of global solutions for a class of fractional integro-differential problems. Adv Differ Equ 2017, 59 (2017). https://doi.org/10.1186/s13662-017-1105-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-017-1105-6