Skip to main content

Theory and Modern Applications

Nonexistence of global solutions of fractional diffusion equation with time-space nonlocal source

Abstract

We prove the nonexistence of solutions of the fractional diffusion equation with time-space nonlocal source

$$\begin{aligned} u_{t} + (-\Delta )^{\frac{\beta }{2}} u =\bigl(1+ \vert x \vert \bigr)^{ \gamma } \int _{0}^{t} (t-s)^{\alpha -1} \vert u \vert ^{p} \bigl\Vert \nu ^{ \frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \,ds \end{aligned}$$

for \((x,t) \in \mathbb{R}^{N}\times (0,\infty )\) with initial data \(u(x,0)=u_{0}(x) \in L^{1}_{\mathrm{loc}}(\mathbb{R}^{N})\), where \(p,q,r>1\), \(q(p+r)>q+r\), \(0<\gamma \leq 2 \), \(0<\alpha <1\), \(0<\beta \leq 2\), \((-\Delta )^{\frac{\beta }{2}}\) stands for the fractional Laplacian operator of order β, the weight function \(\nu (x)\) is positive and singular at the origin, and \(\Vert \cdot \Vert _{q}\) is the norm of \(L^{q}\) space.

1 Introduction

In this paper, we consider the fractional diffusion problem with time-space nonlocal source term of the form

$$\begin{aligned} &u_{t} + (-\Delta )^{\frac{\beta }{2}} u =\bigl(1+ \vert x \vert \bigr)^{ \gamma } \int _{0}^{t} (t-s)^{\alpha -1} \vert u \vert ^{p} \bigl\Vert \nu ^{ \frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \,ds,\quad (x,t) \in \mathbb{R}^{N} \times (0, \infty ), \end{aligned}$$
(1)

subject to the initial data

$$ u(x,0) = u_{0}(x),\quad x\in \mathbb{R}^{N}, $$
(2)

where \(u=u(x,t)\) is a real-valued unknown function of \((x,t)\), \(p,q,r>1\), \(q(p+r)>q+r\), \(0<\gamma \leq 2\), \(0<\alpha <1\), \(0<\beta \leq 2\), the weight function \(\nu (x)\) is positive and singular at the origin, that is, there exist \(c>0\) and \(s \geq 0\) such that \(\nu (x) \geq c \vert x \vert ^{-s}\), \(x\in \mathbb{R}^{N}\setminus \{0\}\), and \(\Vert \cdot \Vert _{q}\) is the norm of the space \(L^{q}( \mathbb{R}^{N} )\).

Here we emphasize that equation (1) is a possible model of invasion of a population, and the fractional Laplacian represents the dispersion of the individuals, where \(u(x,t)\) represents the density of the species at position x and time t. A nonlocal term is a way to express that the evolution of the species at a point of space depends not only on nearby density but also on the mean value of the total amount of species (see [1]). Equation (1) also suggests the possibility of an interesting physical model in which a superdiffusive medium is coupled to a classically diffusive medium. The right-hand side of (1) can be interpreted as the effect of a classical diffusive medium that is nonlinearly linked to a superdiffusive medium. Such a link may come in the form of a porous material with reactive properties that is partially insulated by contact with a classical diffusive material.

Many researchers have shown a keen interest in the study of differential equations with fractional diffusion in the last few decades. In fact, it has developed into a hot topic of research nowadays. We can find its applications in probability theory, potential theory, fluid dynamics, conformal geometry, mathematical finance, and so on. In addition, fractional diffusion is also important in physics and biology (see [2]).

Let us now recall some known results on fractional diffusion equations. Since the literature on these equations is extensive, we only mention the papers related to our work. Fujita [6] studied the following Cauchy problem involving the semilinear heat equation with a local source term:

$$ u_{t} -\Delta u = \vert u \vert ^{p-1}u, \quad x \in \mathbb{R}^{N}, t>0, $$
(3)

supplemented with initial data (2). He has shown that every solution of the problem blows up in a finite time if \(u\geq 0\), \(u_{0}(x)\not \equiv 0\), and \(p<1+2/N\). On the other hand, for \(p > 1 + 2/N\) and the initial data bounded by sufficiently small Gaussian, the solution of problem (3)–(2) exists globally. The critical case \(p = 1+2/N \) was proved later in the blowup range (see [8, 11]). In [15], it is proved that the solution of (3)–(2) exists globally if the initial value \(u_{0}\) is small enough in \(L^{q_{c}}(\mathbb{R}^{N})\), \(q_{c}=N(p-1)/2>1\).

Kirane, Laskri, and Tatar [9] discussed the evolution equation

$$ {}_{0}^{C}\mathbb{D}_{t}^{\alpha }u_{t} +(-\Delta )^{\frac{\beta }{2}} u = h(x,t) \vert u \vert ^{p+1},\quad x\in \mathbb{R}^{N}, t>0, $$
(4)

where \(u_{0}(x)\in C_{0}(\mathbb{R}^{N})\), \(0<\alpha <1\), \(0<\beta \leq 2\), \(p>0\), \(h(x,t)\geq C \vert x \vert ^{\sigma } t^{\rho }\) for \(x\in \mathbb{R}^{N}\), \(t>0\), \(C>0\), and σ, ρ satisfy appropriate conditions. For \(0< p\leq (\alpha (\sigma +\beta )+\beta \rho /(\alpha N +\beta (1- \alpha ))\), they showed that problem (4)–(2) has no global weak nonnegative solution.

Cazenave, Dickstein, and Weissler [3] have proved that all nontrivial nonnegative solutions of the equation

$$ u_{t} -\Delta u = \int _{0}^{t}(t-s)^{-\gamma } \bigl\vert u(s) \bigr\vert ^{p-1}u(s)\, {d}s, \quad x\in \mathbb{R}^{N}, t>0, $$
(5)

with (2), \(u_{0} \in C_{0}(\mathbb{R}^{N})\), and \(0<\gamma <1\), blow up in a finite time when \(u_{0} \geq 0\), \(u_{0} \not \equiv 0 \), and \(p\leq \max \{ 1+2(2-\gamma )/(N-2+2\gamma )_{+}, 1/\gamma \} \), and the solution exists globally if \(u_{0}\in L^{q_{sc}}(\mathbb{R}^{N})\), \(q_{sc}=N(p-1)/(4-2\gamma )\) with sufficiently small \(\Vert u_{0}\Vert \), and \(p> \max \{ 1+2(2-\gamma )/(N-2+2\gamma )_{+},1/\gamma \} \). In case of \(\gamma =0\), all nontrivial solutions blow up as established by Souplet [14].

Fino and Kirane [5] considered the equation

$$ u_{t} +(-\Delta )^{\beta /2} u = \frac{1}{\Gamma (1-\gamma )} \int _{0}^{t}(t-s)^{- \gamma } \bigl\vert u(s) \bigr\vert ^{p-1}u(s) \,{d}s,\quad x\in \mathbb{R}^{N}, t>0, $$
(6)

with (2), where \(u_{0}(x)\in C_{0}(\mathbb{R}^{N})\), \(0<\beta \leq 2\), \(0<\gamma <1\), \(p>1\). They obtained the blowup and global existence results by using the test function method. In precise terms, if \(u_{0}\geq 0\), \(u_{0} \not \equiv 0\), and \(p\leq \max \{ 1+\beta (2-\gamma )/(N-\beta +\beta \gamma )_{+}, 1/ \gamma \} \), then any solution blows up in finite time. On the other hand, if \(u_{0}\in L^{q_{sc}}(\mathbb{R}^{N})\), where \(q_{sc}=N(p-1)/\beta (2-\gamma )\) with sufficiently small \(\Vert u_{0}\Vert \), and \(p>\max \{ 1+\beta (2-\gamma )/(N-\beta +\beta \gamma )_{+}, 1/ \gamma \} \), then the solution u exists globally.

For the studies on a nonlocal problem, we refer the reader to the paper by Chen et al. [4], who studied some degenerated parabolic inequalities with local and nonlocal nonlinear terms

$$\begin{aligned} &\frac{\partial u^{m}}{\partial t} \geq \Delta u + \Vert u \Vert _{p}^{p}+b(x,t) u^{q}(x,t), \quad(x,t) \in \mathbb{R}^{N}\times (0,\infty ), \end{aligned}$$
(7)
$$\begin{aligned} & \frac{\partial u^{m}}{\partial t} \geq \Delta u +u^{q}(x,t) \biggl( \int _{\mathbb{R}^{N}} \beta (y) u^{p}(y,t) \,dy \biggr)^{ \frac{n}{p}},\quad (x,t) \in \mathbb{R}^{N}\times (0,\infty ), \end{aligned}$$
(8)

and proved the global nonexistence of nontrivial solutions by the test function method.

Furthermore, in [16] the authors considered the homogeneous and inhomogeneous inequalities with singular potential and weighted nonlocal source term

$$\begin{aligned} &u_{t} \geq \Delta u^{m} -V(x) + \vert x \vert ^{\alpha } u^{p} \bigl\Vert \beta ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r}, \quad (x,t) \in \mathbb{R}^{N}\times (0,\infty ), \end{aligned}$$
(9)
$$\begin{aligned} & u_{t} \geq \Delta u^{m} -V(x) + \vert x \vert ^{\alpha } u^{p} \bigl\Vert \beta ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} +\omega (x),\quad (x,t) \in \mathbb{R}^{N} \times (0,\infty ), \end{aligned}$$
(10)

and showed the nonexistence of nontrivial global weak solutions for problems (9)–(2) and (10)–(2).

The purpose of this paper is establishing the nonexistence of solutions of problem (1)–(2) by the test function method (see [7, 12]). This paper is organized as follows. In Sect. 2, we introduce some preliminaries including some definitions and formulation of the main results. The proofs of the main results are presented in Sect. 3.

2 Preliminaries and main results

In this section, we present some preliminaries and announce the main results. Let us first recall some definitions and properties concerning fractional integrals and derivatives.

Let \(AC([0,T])\) be the space of all absolutely continuous functions on \([0,T]\) with T finite. We denote by \(\mathbb{D}_{0\vert t}^{\alpha }f(t)\) and \(\mathbb{D}_{t\vert T}^{\alpha }f(t)\) the left-and right-sided Riemann–Liouville fractional derivatives of order \((0<\alpha <1)\) for a function \(f(t) \in AC([0,T]), t>0\) defined by

$$\begin{aligned} & \bigl(\mathbb{D}_{0\vert t}^{\alpha }f \bigr) (t)=\frac{d}{dt} \mathbb{I}_{0\vert t}^{1-\alpha } f(t), \\ & \bigl(\mathbb{D}_{t\vert T}^{\alpha }f \bigr) (t)=- \frac{1}{\Gamma (1-\alpha )} \frac{d}{dt} \int _{t}^{T}(s-t)^{-\alpha }f(s) \,ds, \end{aligned}$$

where

$$ \bigl(\mathbb{I}_{0\vert t}^{\alpha } f \bigr) (t)= \frac{1}{\Gamma (\alpha )} \int _{0}^{T} (t-s)^{\alpha -1} f(s) \,ds $$
(11)

is the Riemann–Liouville fractional integral of order \(0<\alpha <1\) for all \(f \in L^{q}(0,T)\), \(1\leq q\leq \infty \).

Lemma 2.1

(Formula of integration by parts)

Let \(f, g, \mathbb{D}_{0\vert t}^{\alpha }f, \mathbb{D}_{t\vert T}^{ \alpha }g\in C([0,T])\). Then the formula of integration by parts (see (2.64) p. 46 in [13]) is

$$ \int _{0}^{T} \bigl(\mathbb{D}_{0\vert t}^{\alpha }f \bigr) (t)g(t) \,dt = \int _{0}^{T}f(t) \bigl(\mathbb{D}_{t\vert T}^{\alpha }g \bigr) (t) \,dt. $$
(12)

Lemma 2.2

Let \(f \in AC^{2}([0,T]):= \{ f: [0,T]\longrightarrow \mathbb{R}\ \textit{be such that}\ f'\in AC([0,T]) \} \). Then

$$ -\frac{d}{dt}\mathbb{D}_{t\vert T}^{\alpha }f(t)= \mathbb{D}_{t\vert T}^{ \alpha +1}f(t). $$
(13)

Moreover, for all \(1\leq q\leq \infty \), we have the following equality almost everywhere on \([0,T]\):

$$ \mathbb{D}_{0\vert t}^{\alpha }\mathbb{I}_{0\vert t}^{\alpha }= \mathrm{Id}_{L^{q}}(0,T). $$
(14)

Lemma 2.3

(See [5])

Let

$$ f(t)= \biggl(1-\frac{t}{T} \biggr)_{+}^{\sigma } $$

with \(t\geq 0\), \(T>0\), and \(\sigma \gg 1\). Then for all \(\alpha \in (0,1)\), we have

$$\begin{aligned} & \mathbb{D}_{t\vert T}^{\alpha }f(t)=C_{1}T^{-\alpha } \biggl(1- \frac{t}{T} \biggr)_{+}^{\sigma -\alpha }, \end{aligned}$$
(15)
$$\begin{aligned} & \mathbb{D}_{t\vert T}^{\alpha +1}f(t)=C_{2}T^{-\alpha -1} \biggl(1- \frac{t}{T} \biggr)_{+}^{\sigma -\alpha -1}, \end{aligned}$$
(16)

and

$$ \bigl(\mathbb{D}_{t\vert T}^{\alpha }f \bigr) (T)=0,\qquad \bigl( \mathbb{D}_{t\vert T}^{\alpha }f \bigr) (0)=C_{1}T^{-\alpha }, $$
(17)

where \(C_{1}=\frac{(1-\alpha +\sigma )\Gamma (\sigma +1)}{\Gamma (2-\alpha +\sigma )}\) and \(C_{2}=\frac{(1-\alpha +\sigma )(\sigma -\alpha )\Gamma (\sigma +1)}{\Gamma (2-\alpha +\sigma )}\).

Definition 2.4

(See [10])

Let \(\mathcal{S}\) be the Schwartz space of rapidly decaying \(C^{\infty }\) functions in \(\mathbb{R}^{N}\). Then the fractional Laplacian \((-\Delta )^{\frac{\beta }{2}} \) in \(\mathbb{R}^{N}\), \(0<\beta \leq 2\) is the nonlocal operator given by

$$ (-\Delta )^{\frac{\beta }{2}}: v\in \mathcal{S} \longrightarrow (-\Delta )^{\frac{\beta }{2}} v(x) = C_{N, \nu } p.v \int _{\mathbb{R}^{N}} \frac{v(x) - v(y)}{ \vert x-y \vert ^{N+\beta }}\,dy, $$
(18)

as long as the right-hand side exists, where \(p.v\). stands for Cauchy’s principal value, \(C_{N, \beta }= \frac{ {4}^{\frac{\beta }{2}} \Gamma (\frac{N}{2}+ \frac{\beta }{2})}{\pi ^{\frac{N}{2}} \Gamma (-\frac{\beta }{2})}\) is a normalization constant, and Γ denotes the gamma function.

Lemma 2.5

(See [10])

Let \(0<\beta \leq 2\), \(\theta _{1},\theta '_{1}, \theta _{2}>1\), \(\frac{1}{\theta _{1}}+\frac{1}{\theta '_{1}}=1\). Consider the function \(\chi:\mathbb{R}^{N}\rightarrow \mathbb{R}\) defined by

$$ \chi (x) = \textstyle\begin{cases} 1 & ( \vert x \vert \leq 1), \\ (2- \vert x \vert )^{\mu } &( 1< \vert x \vert < 2), \\ 0 & ( \vert x \vert \geq 2), \end{cases} $$
(19)

with \(\mu > 2 \theta '_{1}\). Then

$$ 0< \int _{\mathbb{R}^{N}} \nu ^{-\frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{-\frac{\gamma \theta _{2}}{\theta _{1}}} \bigl\vert (- \Delta )^{\frac{\beta }{2}} \chi \bigr\vert ^{\theta _{2}} \chi ^{- \frac{\theta _{2}}{\theta _{1}}} \,dx< \infty. $$
(20)

Lemma 2.6

Let \(0< \beta \leq 2\) and \(T>0\), and let φ be defined by

$$ \varphi (x) =\chi \biggl(\frac{x}{T^{\frac{1}{\beta }}} \biggr) \quad\textit{for all } x\in \mathbb{R}^{N}, $$

where χ is given in (19). Then \((-\Delta )^{\frac{\beta }{2}}\varphi \) satisfies

$$ (-\Delta )^{\frac{\beta }{2}}\varphi (x) = T^{-1}(-\Delta )^{ \frac{\beta }{2}} \chi \biggl(\frac{x}{T^{\frac{1}{\beta }}} \biggr). $$
(21)

Next, we give some definitions.

Definition 2.7

Let \(\Omega =\mathbb{R}^{N}\times (0,T)\) and \(u_{0}(x)\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{N})\). The function \(u(x,t)\) is called a weak solution of problem (1)–(2) if \(u \in C([0,T]; H^{\beta }(\mathbb{R}^{N}))\), \((1+\vert x \vert )^{\gamma }\vert u\vert ^{p} \Vert \nu ^{\frac{1}{q}}(x) u \Vert ^{r}_{q}\in C([0,T]; L^{1}_{\mathrm{loc}}(\mathbb{R}^{N}))\) and satisfies

$$\begin{aligned} & \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\gamma } \int _{0}^{t} (t-s)^{ \alpha -1} \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \,ds \zeta (x,t) \,dx\,dt + \int _{\mathbb{R}^{N}} u(x,0) \zeta (x,0) \,dx \\ &\quad= \int _{\Omega } u (-\Delta )^{\frac{\beta }{2}}\zeta (x,t) \,dx\,dt - \int _{\Omega } u \zeta _{t}(x,t) \,dx\,dt \end{aligned}$$
(22)

for any nonnegative function \(\zeta \in C([0,T]; H^{\beta }(\mathbb{R}^{N})) \cap C^{1} ([0,T]; L^{2}( \mathbb{R}^{N}))\) such that \(\zeta (\cdot,T)=0\). If \(T=\infty \), then we say that u is a global weak solution of problem (1)–(2).

Definition 2.8

Suppose that a function \(u(x,t)\) is a weak solution of problem (1)–(2) in \(\mathcal{S}=\mathbb{R}^{N}\times (0,\infty )\). We say that \(u(x,t)\) is a solution with positive lower bound in \(\mathcal{S}\) if there exists a positive constant \(c>0\) such that \(u(x,t) \geq c\) in \(\mathcal{S}\).

Finally, we formulate our main results as follows.

Theorem 2.9

Let \(u_{0} \geq 0, u_{0} \not \equiv 0\). Problem (1)(2) has no nontrivial global solutions for \(\gamma > \frac{rs}{q}\) and

$$ N \leq \frac{(1 + \alpha (p + r) ) \beta q +\gamma q -sr}{(p+r-1)q-r}. $$
(23)

Theorem 2.10

Let \(u_{0} \geq 0, u_{0} \not \equiv 0\). Problem (1)(2) has no solution with positive lower bound in \(\mathcal{S}\) for

$$ s < N + \frac{q}{r}(\alpha \beta + \beta + \gamma ). $$
(24)

3 Proof of main results

Proof of Theorem 2.9

We assume that u exists globally. In the definition of a weak solution of problem (1)–(2), we take \(\zeta (x,t) =\mathbb{D}_{t\vert T}^{\alpha } \phi (x,t) = \varphi (x) \mathbb{D}_{t\vert T}^{\alpha } \lambda (t), 0<\alpha <1\), where

$$ \varphi (x) = \chi \biggl(\frac{ x}{T^{\frac{1}{\beta }}} \biggr) , \qquad\lambda (t)= \biggl(1- \frac{t}{T} \biggr)^{\sigma }_{+} $$

with \(\sigma >(1+\alpha )\theta '_{1}\), \(\theta '_{1}>1\), \(\alpha \theta '_{1}>1\), \(T>0\).

Then from (11), using the integration-by-parts formula and the fact that \(\mathbb{D}_{0\vert t}^{\alpha } (\mathbb{I}_{0\vert t}^{\alpha } \phi )(x,t)=\phi (x,t)\) in the first term on the left-hand side of (22), we obtain

$$\begin{aligned} & \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\gamma } \int _{0}^{t} (t-s)^{ \alpha -1} \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \,ds \mathbb{D}_{t\vert T}^{\alpha }\phi \, dx\,dt \\ &\quad = \Gamma (\alpha ) \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\gamma } \mathbb{I}_{0\vert t}^{\alpha } \bigl( \vert u \vert ^{p} \bigl\Vert \nu (x)^{\frac{1}{q}} u \bigr\Vert _{q}^{r} \bigr) \mathbb{D}_{t \vert T}^{\alpha } \phi \,dx\,dt \\ &\quad = \Gamma (\alpha ) \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\sigma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \phi \, dx\,dt. \end{aligned}$$

Therefore expression (22) can be written as

$$\begin{aligned} &\Gamma (\alpha ) \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \phi \, dx\,dt + \int _{\Omega } u_{0}(x) \mathbb{D}_{t\vert T}^{\alpha } \phi (x,0) \,dx\,dt \\ &\quad = \int _{\Omega } u \mathbb{D}_{t\vert T}^{\alpha +1}\phi \, dx \,dt+ \int _{\Omega } u (-\Delta )^{\frac{\beta }{2}}\mathbb{D}_{t\vert T}^{ \alpha } \phi \, dx\,dt. \end{aligned}$$

Thus

$$\begin{aligned} &\Gamma (\alpha ) \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\sigma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \phi \, dx\,dt + \int _{\Omega } u_{0}(x) \varphi \mathbb{D}_{t\vert T}^{ \alpha } \lambda (0) \,dx\,dt \\ &\quad \leq \int _{\Omega } \vert u \vert \bigl\vert \mathbb{D}_{t\vert T}^{ \alpha +1} \lambda (t) \bigr\vert \varphi \,dx\,dt+ \int _{\Omega } \vert u \vert \bigl\vert (-\Delta )^{\frac{\beta }{2}}\varphi \bigr\vert \bigl\vert \mathbb{D}_{t\vert T}^{\alpha } \lambda (t) \bigr\vert \,dx\,dt. \end{aligned}$$
(25)

Now we estimate the right-hand side of inequality (25). First, applying the Hölder inequality to the first term in the right-hand side of (25), we have

$$\begin{aligned} & \int _{\Omega } \vert u \vert \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert \varphi \, dx\,dt \\ &\quad \leq \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \bigl(1+ \vert x \vert \bigr)^{ \gamma } \vert u \vert ^{p} \phi \, dx \biggr)^{\frac{1}{\theta _{1}}} \biggl( \int _{\mathbb{R}^{N}}\nu (x) \vert u \vert ^{q} \,dx \biggr)^{ \frac{r}{q \theta _{1}}} \\ &\qquad{} \times \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}}\varphi ^{\theta _{2}} \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{-\frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{1}{\theta _{2}}}\,dt \\ &\quad \leq \biggl( \int _{\Omega }\bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \phi \, dx\,dt \biggr)^{ \frac{1}{\theta _{1}}} \\ &\qquad{} \times \biggl( \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \varphi ^{\theta _{2}} \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{-\frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}\,dt \biggr)^{\frac{1}{\theta '_{1}}}. \end{aligned}$$

Applying ε-Young’s inequality, we obtain

$$\begin{aligned} & \int _{\Omega } \vert u \vert \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert \varphi \,dx\,dt \\ &\quad \leq \varepsilon \int _{\Omega }\bigl(1+ \vert x \vert \bigr)^{\gamma } u^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \phi \,dx\,dt \\ &\qquad{} + C \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \varphi ^{\theta _{2}} \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{-\frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}\,dt, \end{aligned}$$

where

$$\begin{aligned} &\theta _{1} = p+r,\qquad \theta '_{1} = \frac{p+r}{p+r-1},\qquad \theta _{2} = \frac{q(p+r)}{q(p+r) -(q+r)},\\ & \frac{1}{\theta _{1}}+ \frac{r}{q\theta _{1}}+\frac{1}{\theta _{2}}=1,\qquad \frac{1}{\theta _{1}}+ \frac{1}{\theta '_{1}}=1. \end{aligned}$$

Similarly, we get the following estimate to the second term:

$$\begin{aligned} & \int _{\Omega } \vert u \vert \bigl\vert (-\Delta )^{\frac{\beta }{2}} \varphi \bigr\vert \bigl\vert \mathbb{D}_{t\vert T}^{\alpha } \lambda (t) \bigr\vert \,dx\, dt \\ &\quad \leq \varepsilon \int _{\Omega }\bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \phi \, dx\,dt \\ &\qquad{} + C \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \bigl\vert (-\Delta )^{ \frac{\beta }{2}} \varphi \bigr\vert ^{\theta _{2}} \bigl\vert \mathbb{D}_{t \vert T}^{\alpha } \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{- \frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}} \,dt. \end{aligned}$$

Therefore inequality (25) takes the form

$$\begin{aligned} & \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \phi \,dx\,dt + C T^{1-\alpha } \int _{\Omega } u_{0}(x) \varphi \, dx\,dt \\ &\quad\leq C \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \varphi ^{\theta _{2}} \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{-\frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}\,dt \\ &\qquad{} + C \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \bigl\vert (-\Delta )^{ \frac{\beta }{2}}\varphi \bigr\vert ^{\theta _{2}} \bigl\vert \mathbb{D}_{t \vert T}^{\alpha } \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{- \frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}} \,dt. \end{aligned}$$
(26)

Now, to estimate the right-hand side of (26), we consider the change of variables \(\tau =t/T\) and \(\xi =x/T^{\frac{1}{\beta }}\). Then we get

$$\begin{aligned} & \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \varphi ^{\theta _{2}} \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{-\frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}\,dt \\ &\quad \leq C T^{\ell } \biggl( \int _{0}^{1} (1- \tau )^{\sigma -\theta '_{1}(1+ \alpha )} \,d\tau \biggr) \biggl( \int _{ \vert \xi \vert < 2} \vert \xi \vert ^{\frac{sr\theta _{2}}{q\theta _{1}}}\bigl(1+ \vert \xi \vert \bigr) ^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \chi ^{ \frac{\theta _{2}}{\theta '_{1}}} \,d\xi \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}. \end{aligned}$$
(27)

Using the fact that \((-\Delta )^{\frac{\beta }{2}}\varphi (x)=T^{-1}(-\Delta )^{ \frac{\beta }{2}}\chi (\xi )\), we obtain

$$\begin{aligned} & \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \bigl\vert (-\Delta )^{ \frac{\beta }{2}} \varphi \bigr\vert ^{\theta _{2}} \bigl\vert \mathbb{D}_{t \vert T}^{\alpha } \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{- \frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}\,dt \\ &\quad \leq C T^{\ell } \biggl( \int _{0}^{1} (1- \tau )^{\sigma - \theta '_{1} \alpha } \,d\tau \biggr) \\ &\qquad{}\times \biggl( \int _{ \vert \xi \vert < 2} \vert \xi \vert ^{\frac{sr\theta _{2}}{q\theta _{1}}}\bigl(1+ \vert \xi \vert \bigr) ^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \bigl\vert (-\Delta )^{ \frac{\beta }{2}}\chi \bigr\vert ^{\theta _{2}} \chi ^{- \frac{\theta _{2}}{\theta _{1}}} \,d\xi \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}. \end{aligned}$$
(28)

Combining (27) and (28) together with \(u_{0}(x)\geq 0\), we arrive at

$$ \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\sigma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \phi \,dx\,dt \leq C T^{\ell }, $$
(29)

where \(\ell = {\theta '_{1} (\frac{ N}{\beta \theta _{2} }+ \frac{ s r}{ q \beta \theta _{1}} - \frac{\gamma }{\beta \theta _{1}} -\alpha -1 ) +1 }\). Note that inequality (23) is equivalent to \(\ell \leq 0\). Thus we consider two cases, \(\ell <0\) and \(\ell =0\).

Case \(\ell <0\). Taking \(T\rightarrow \infty \) in (29), we get a contradiction

$$ \int _{0}^{\infty } \int _{\mathbb{R}^{N}} \bigl(1+ \vert x \vert \bigr)^{\sigma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \,dx\,dt = 0 \quad\Rightarrow\quad u =0, $$

which implies that u cannot exist.

Case \(\ell = 0\). Passing to the limit as \(T\rightarrow \infty \) in (29), we obtain

$$ \int _{0}^{\infty } \int _{\mathbb{R}^{N}} \bigl(1+ \vert x \vert \bigr)^{\sigma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \,dx\,dt < \infty. $$

On the other hand, repeating the same calculation as before by letting

$$ \varphi (x) = \chi \biggl( \frac{ \vert x \vert }{R^{-1} T^{\frac{1}{\beta }}} \biggr), $$

where \(1 \leq R < T\) is large enough, we do not have \(R\rightarrow \infty \) as \(T \rightarrow \infty \). Now we estimate the right-hand side of inequality (25) using again the Hölder and ε-Young inequalities as follows:

$$\begin{aligned} &\Gamma (\alpha ) \int _{\Omega }\bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \phi \, dx,\,dt \\ &\quad \leq \varepsilon \int _{\Omega }\bigl(1+ \vert x \vert \bigr)^{\gamma } u^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \phi \, dx\,dt \\ &\qquad{} + C \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \varphi ^{\theta _{2} } \bigl\vert \mathbb{D}_{t\vert T}^{\alpha +1} \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{-\frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}}\,dt. \\ &\quad \leq \varepsilon \int _{\Omega }\bigl(1+ \vert x \vert \bigr)^{\gamma } u^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \phi \,dx\,dt \\ &\qquad{} + C \int _{0}^{T} \biggl( \int _{\mathbb{R}^{N}} \nu ^{- \frac{r \theta _{2}}{q \theta _{1}}}(x) \bigl(1+ \vert x \vert \bigr)^{- \frac{\gamma \theta _{2}}{\theta _{1}}} \bigl\vert (-\Delta )^{ \frac{\beta }{2}} \varphi \bigr\vert ^{\theta _{2}} \bigl\vert \mathbb{D}_{t \vert T}^{\alpha } \lambda (t) \bigr\vert ^{\theta _{2}} \phi ^{- \frac{\theta _{2}}{\theta _{1}}} \,dx \biggr)^{ \frac{\theta '_{1}}{\theta _{2}}} \,dt, \end{aligned}$$

which, on introducing the change of variables \(\tau =t/T\) and \(\xi = x/R^{-1}T^{\frac{1}{\beta }}\), takes the form

$$\begin{aligned} & \int _{\Omega }\bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \phi \, dx\,dt \\ &\quad \leq C T^{\ell } R^{\theta '_{1} (-\frac{rs}{q \theta _{1}}+ \frac{\gamma }{\theta _{1}} -\frac{N}{\theta _{2}} ) }+ C T^{ \ell } R^{\theta '_{1} ( -\frac{rs}{q\theta _{1}} + \frac{\gamma }{\theta _{1}}-\frac{N}{\theta _{2}}+\beta )} . \end{aligned}$$
(30)

Taking the limit in (30) as \(T \rightarrow \infty \), we get

$$ \int _{0}^{\infty } \int _{\mathbb{R}^{N}} \bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \,dx\,dt \leq C R^{\ell '}+C R^{\ell ''}, $$
(31)

where \(\ell '=\beta (1-\theta '_{1}(\alpha +1))-\beta \ell \) and \(\ell '' =\beta (1-\theta '_{1} \alpha ) -\beta \ell \). Finally, we obtain

$$ \int _{0}^{\infty } \int _{\mathbb{R}^{N}} \bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert ^{r}_{q} \,dx\,dt \leq 0 $$

by taking the limit as \(R\rightarrow \infty \), which leads to \(u\equiv 0\), and hence u cannot exist. The proof of Theorem 2.9 is completed. □

Proof of Theorem 2.10

Assume that \(u(x,t)\geq c>0\) is a solution of problem (1)–(2). Then from (29) we have

$$ \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\gamma } \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \phi \, dx\,dt \leq C T^{\ell }, $$
(32)

where \(\ell = {\theta '_{1} (\frac{ N}{\beta \theta _{2} }+ \frac{ s r}{ q \beta \theta _{1}} - \frac{\gamma }{\beta \theta _{1}} -\alpha -1 ) +1 }\).

Now, introducing the change of variables \(\tau =t/T\) and \(\xi = x/T^{\frac{1}{\beta }}\) in the right-hand side of (32) and using the fact that \(u(x,t) \geq c >0\), we get

$$\begin{aligned} & \int _{\Omega } \bigl(1+ \vert x \vert \bigr)^{\gamma } \phi \vert u \vert ^{p} \bigl\Vert \nu ^{\frac{1}{q}}(x) u \bigr\Vert _{q}^{r} \,dx\,dt \\ & \quad\geq C R^{ \frac{\gamma }{\beta } +1+\frac{N}{\beta }+ \frac{r}{\beta q} (N-s)} \int _{\Sigma } \bigl(1+ \vert \xi \vert \bigr)^{\gamma } \phi d\xi \biggl( \int _{\mathbb{R}^{N}} \vert \xi \vert ^{-s} \,d\xi \biggr)^{\frac{r}{ q}}\,d\tau \\ & \quad\geq C R^{ \frac{\gamma }{\beta }+1+\frac{N}{\beta }+ \frac{r}{\beta q} (N-s)}. \end{aligned}$$
(33)

Next, combining (32) and (33), we have

$$ \ell \geq \frac{1}{\beta q} \bigl((\gamma +\beta +N)q+r (N-s) \bigr). $$

Hence

$$ -(\alpha +1)\beta q \geq \gamma q +r(N-s), $$

which implies that

$$ s < N + \frac{q}{r}(\alpha \beta + \beta + \gamma ). $$

This completes the proof. □

Availability of data and materials

Not applicable.

References

  1. Allegretto, W., Nistri, P.: Existence and optimal control for periodic parabolic equations with nonlocal term. IMA J. Math. Control Inf. 16, 43–58 (1999)

    Article  MathSciNet  Google Scholar 

  2. Caffarelli, L.A., Vasseur, A.: Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation. Ann. Math. 171, 1903–1930 (2010)

    Article  MathSciNet  Google Scholar 

  3. Cazenave, T., Dickstein, F., Weissler, F.B.: An equation whose Fujita critical exponent is not given by scaling. Nonlinear Anal. 68, 862–874 (2008)

    Article  MathSciNet  Google Scholar 

  4. Chen, C.S., Huang, J.C.: Some nonexistence results for degenerate parabolic inequalities with local and nonlocal nonlinear terms. J. Nanjing Univ. Math. Biq. 21, 12–20 (2004)

    MathSciNet  MATH  Google Scholar 

  5. Fino, A.Z., Kirane, M.: Qualitative properties of solutions to a time-space fractional evolution equation. Q. Appl. Math. 70, 133–157 (2012)

    Article  MathSciNet  Google Scholar 

  6. Fujita, H.: On the blowing up of solutions of the Cauchy problem for \(u_{t}=\Delta u +u^{\alpha +1}\). J. Fac. Sci., Univ. Tokyo, Sect. I 13, 109–124 (1966)

    MathSciNet  Google Scholar 

  7. Galakhov, E., Salieva, O.: Uniqueness of the trivial solution of some inequalities with fractional Laplacian. Electron. J. Qual. Theory Differ. Equ. 2019, 1 (2019)

    Article  MathSciNet  Google Scholar 

  8. Hayakawa, K.: On nonexistence of global solutions of some semilinear parabolic equations. Proc. Jpn. Acad. 49, 503–505 (1973)

    Article  MathSciNet  Google Scholar 

  9. Kirane, M., Laskri, Y., Tatar, N.E.: Critical exponents of Fujita type for certain evo- lution equations and systems with spatio-temporal fractional derivatives. J. Math. Anal. Appl. 312, 488–501 (2005)

    Article  MathSciNet  Google Scholar 

  10. Kirane, M., Qafsaoui, M.: Global nonexistence for the Cauchy problem of some nonlinear reaction–diffusion systems. J. Math. Anal. Appl. 268, 217–243 (2002)

    Article  MathSciNet  Google Scholar 

  11. Kobayashi, K., Sirao, T., Tanaka, H.: On the growing up problem for semilinear heat equations. J. Math. Soc. Jpn. 29, 407–424 (1977)

    Article  MathSciNet  Google Scholar 

  12. Mitidieri, E., Pohozaev, S.I.: Nonexistence of positive solutions for quasilinear elliptic problems on \(\mathbb{R}^{N}\). Proc. Steklov Inst. Math. 227, 1–32 (1999)

    Google Scholar 

  13. Samko, S.G., Kilbas, A.A., Marichev, O.I.: Fractional Integrals and Derivatives, Theory and Applications. Gordon & Breach, Yverdon (1993)

    MATH  Google Scholar 

  14. Souplet, P.: Blow-up in nonlocal reaction–diffusion equations. SIAM J. Math. Anal. 29, 1301–1334 (1998)

    Article  MathSciNet  Google Scholar 

  15. Weissler, F.B.: Existence and nonexistence of global solutions for a semilinear heat equation. Isr. J. Math. 38, 29–40 (1981)

    Article  MathSciNet  Google Scholar 

  16. Xiao, S., Fang, Z.B.: Nonexistence of solutions for the quasilinear parabolic differential inequalities with singular potential term and nonlocal source. J. Inequal. Appl. 2020, 64 (2020)

    Article  MathSciNet  Google Scholar 

Download references

Acknowledgements

The Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, Saudi Arabia, funded this project under grant no. (FP-16-42). Therefore the authors acknowledge with thanks DSR for technical and financial support. We also thank the reviewers for their constructive remarks on our work.

Funding

The Deanship of Scientific Research (DSR) at King Abdulaziz University, Jeddah, Saudi Arabia funded this project, under grant no. FP-16-42.

Author information

Authors and Affiliations

Authors

Contributions

All authors contributed equally to each part of this work. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Bashir Ahmad.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Abbreviations

Not applicable.

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/.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Nabti, A., Alsaedi, A., Kirane, M. et al. Nonexistence of global solutions of fractional diffusion equation with time-space nonlocal source. Adv Differ Equ 2020, 625 (2020). https://doi.org/10.1186/s13662-020-03083-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-020-03083-0

MSC

Keywords