**1. Introduction**

We consider the fractional in time and space shallow-water system

$$\begin{cases} \begin{array}{llll} \partial\_{0|\mathbf{r}}^{\mathfrak{a},\mathfrak{p}}\eta + \partial\_{0|\mathbf{x}}^{\mathfrak{f},\mathfrak{p}}(\eta\mu) &=& 0, & t>0, 0<\mathbf{x}0, 0<\mathbf{x}$$

with

$$(u(0, \cdot), \eta(0, \cdot)) = (u\_0, \eta\_0) \tag{2}$$

and

$$
\eta(\cdot,0) = \eta(\cdot,L) \equiv 0;\tag{3}
$$

here *<sup>η</sup>* <sup>=</sup> *<sup>η</sup>*(*t*, *<sup>x</sup>*), *<sup>u</sup>* <sup>=</sup> *<sup>u</sup>*(*t*, *<sup>x</sup>*), *<sup>L</sup>* <sup>&</sup>gt; 0, 0 <sup>&</sup>lt; *<sup>α</sup>*, *<sup>β</sup>* <sup>&</sup>lt; 1, *<sup>ψ</sup>* <sup>∈</sup> *<sup>C</sup>*1([0, <sup>∞</sup>)), lim*x*→<sup>∞</sup> *<sup>ψ</sup>*(*x*)=+∞, *<sup>ψ</sup>* (*x*) > 0, *x* ≥ 0, *∂ α*,*ψ* <sup>0</sup>|*<sup>t</sup>* is the *<sup>ψ</sup>*-Caputo derivative in time of fractional order *<sup>α</sup>* and *<sup>∂</sup> β*,*ψ* <sup>0</sup>|*<sup>x</sup>* is the *<sup>ψ</sup>*-Caputo derivative in space of fractional order *β*. Using the test function method [1], we get sufficient criteria for which problem (1)–(2)–(3) has no global solutions in time.

The considered problem is a fractional version of the shallow-water system

$$\begin{cases} \partial\_t \eta + \partial\_x (\eta \mu) &= 0, \quad t > 0, \, 0 < \mathbf{x} < L, \\\ \partial\_t (\eta \mu) + \partial\_x (\eta \mu^2) + \partial\_x (\eta^2) &= 0, \quad t > 0, \, 0 < \mathbf{x} < L, \end{cases} \tag{4}$$

which models the motion of an incompressible fluid in a gravitational field when the fluid height above the channel bottom is small with respect to the characteristic flow length. Here *u* is the velocity of the fluid particle and *η* is the height of the fluid above the horizontal flat bottom [2–4].

In [2], Korpusov and Yushkov derived sufficient criteria for the non-existence of global in time solutions of problem (4) under different types of boundary conditions. In particular, under the boundary conditions (3), they proved that if for some 0 < *T*<sup>0</sup> < ∞, the problem admits a solution (*u*, *<sup>η</sup>*) <sup>∈</sup> *<sup>C</sup>*1([0, *<sup>T</sup>*0] <sup>×</sup> [0, *<sup>L</sup>*]) <sup>×</sup> *<sup>C</sup>*1([0, *<sup>T</sup>*0] <sup>×</sup> [0, *<sup>L</sup>*]), and

$$\int\_{0}^{L} \mathbf{x} \eta\_{0}(\mathbf{x}) \mu\_{0}(\mathbf{x}) \, d\mathbf{x} > 0,$$

then there exist no solutions on intervals larger than [0, *T*∞], where

$$T\_{\infty} = \frac{L^2 \int\_0^L \eta\_0(\mathbf{x}) \, d\mathbf{x}}{\int\_0^L \mathbf{x} \eta\_0(\mathbf{x}) u\_0(\mathbf{x}) \, d\mathbf{x}}.$$

It was shown in many published works that the theory of fractional calculus provides useful tools for modeling various phenomena from physics (see e.g., [5–8]). Specifically, it was found that fractional order models of many real-world phenomena are more adequate than the classical integer order models. This fact motivated researchers to take an interest in the study of fractional in time and/or space evolution equations. In particular, the study of analytic and numerical solutions of fractional shallow-water equations was investigated by many authors (see e.g., [5,9–12]). For the study of existence and non-existence of global solutions for fractional in time and/or space evolution equations, we refer to [13–15] and references therein.

Motivated by the above contributions, the study of the absence of global in time solutions for problem (1)–(2)–(3) is investigated in this work. In the considered problem, we use *ψ*-Caputo fractional derivative (in time and space) [16], which depends of a function *<sup>ψ</sup>* <sup>∈</sup> *<sup>C</sup>*1([0, <sup>∞</sup>)). In the special case *ψ*(*t*) = *t*, the considered fractional operator reduces to Caputo fractional derivative. Let us mention that in this paper we are concerned essentially with the mathematical study of problem (1)–(2)–(3). For the physical interpretation of this model, we are not able to check if it is more adequate than the standard model (4)–(2)–(3). For a such study, some physical experiments and numerical simulations are needed; this is not the goal of this paper. Nevertheless, let us notice that Tao in [17] proposed a possible scenario for obtaining blowing-up solutions of the Navier–Stokes system; he showed that it is possible for a body of fluid to form a sort of computer, which can build a self—replicating fluid robot that keeps transferring its energy to smaller and smaller copies of itself until the fluid "blows up." He tried to devise a system that would incorporate a *delay* at each step—a sort of timer that would push the energy cleanly from one size scale to the next at just the right moment (according to Erica Klarreich, A Fluid New Path in Grand Math Challenge, Quantamagazine, 24 February 2014). From here, one can speculate any form of delay in time or space for fluid dynamical systems.

In Section 2, we provide some preliminary results that will be needed afterwards. A key lemma is established in Section 3. In the next section, we present and establish our principal results. Specifically, we first establish a mass conservation law for problem (1)–(2)–(3). Next, we obtain sufficient criteria for which the considered problem has no global in time solutions.

#### **2. Preliminaries**

Let *<sup>c</sup>*1, *<sup>c</sup>*<sup>2</sup> <sup>∈</sup> <sup>R</sup>, *<sup>c</sup>*<sup>1</sup> <sup>&</sup>lt; *<sup>c</sup>*2, R ∈ *<sup>L</sup>*1(*c*1, *<sup>c</sup>*2) and *<sup>μ</sup>* <sup>&</sup>gt; 0. The Riemann-Liouville fractional integrals of order *μ* of R are given by (see e.g., [18])

$$I\_{\mathfrak{c}\_1}^{\mu} \mathcal{R}(\mathfrak{x}) = [\Gamma(\mu)]^{-1} \int\_{\mathfrak{c}\_1}^{\mathfrak{x}} (\mathfrak{x} - \sigma)^{\mu - 1} \mathcal{R}(\sigma) \, d\sigma$$

and

$$I\_{c\_2}^{\mu} \mathcal{R}(\mathbf{x}) = [\Gamma(\mu)]^{-1} \int\_{\mathfrak{x}}^{c\_2} (\sigma - \mathfrak{x})^{\mu - 1} \mathcal{R}(\sigma) \, d\sigma\_{\mu}$$

for a.e. *x* ∈ [*c*1, *c*2], where Γ denotes the gamma function.

Let *ψ* be a *C*<sup>1</sup> function in [0, ∞) satisfying

$$\lim\_{x \to \infty} \psi(x) = +\infty \quad \text{and} \quad \psi'(x) > 0, \quad x \ge 0.$$

Please note that under the above conditions, the function *ψ* : [0, ∞) → [*ψ*(0), ∞) is bijective. Let *<sup>τ</sup>* <sup>&</sup>gt; 0 and R ∈ *<sup>L</sup>*1((0, *<sup>τ</sup>*), *<sup>ψ</sup>* (*σ*) *dσ*), i.e.,

$$\int\_0^\tau |\mathcal{R}(\sigma)| \psi'(\sigma) \, d\sigma < \infty.$$

The *ψ*-fractional integrals of order *μ* of R are given by (see [16])

$$I\_0^{\mu,\psi} \mathcal{R}(\mathbf{x}) = [\Gamma(\mu)]^{-1} \int\_0^\chi (\psi(\mathbf{x}) - \psi(\sigma))^{\mu - 1} \psi'(\sigma) \mathcal{R}(\sigma) \, d\sigma$$

and

$$M\_{\pi}^{\mu,\Upph} \mathcal{R}(\mathbf{x}) = [\Gamma(\mu)]^{-1} \int\_{\mathfrak{x}}^{\mathfrak{x}} (\psi(\sigma) - \psi(\mathbf{x}))^{\mu - 1} \psi'(\sigma) \mathcal{R}(\sigma) \, d\sigma,\tag{5}$$

for a.e. *x* ∈ [0, *τ*].

If R ∈ *C*([0, *τ*]), then *I μ*,*ψ* <sup>0</sup> R, *I μ*,*ψ <sup>τ</sup>* R ∈ *C*([0, *τ*]) and *I μ*,*ψ* <sup>0</sup> R(0) = *I μ*,*ψ <sup>τ</sup>* R(*τ*) = 0.

**Lemma 1.** *For* R ∈ *<sup>L</sup>*1((0, *<sup>τ</sup>*), *<sup>ψ</sup>* (*σ*) *dσ*)*, it holds*

$$\left(I\_0^{\mu,\#} \mathcal{R}\right)(\mathbf{x}) = \left(I\_{\psi(0)}^{\mu} \mathcal{R} \circ \psi^{-1}\right)(\psi(\mathbf{x})), \quad a.e. \ x \in [0, \pi] \tag{6}$$

*and*

$$\left(I\_{\tau}^{\mu,\psi}\mathcal{R}\right)(\mathbf{x}) = \left(I\_{\psi(\tau)}^{\mu}\mathcal{R}\circ\psi^{-1}\right)(\psi(\mathbf{x})), \quad a.e.\,\mathbf{x}\in[0,\tau],\tag{7}$$

*where* ◦ *stands for the composition of mappings.*

**Proof.** For a.e. *x* ∈ [0, *τ*], one has

$$\begin{aligned} \left(I\_0^{\mu,\psi} \mathcal{R}\right)(\mathbf{x}) &= \quad [\Gamma(\mu)]^{-1} \int\_0^\mathbf{x} (\psi(\mathbf{x}) - \psi(\sigma))^{\mu-1} \psi'(\sigma) \mathcal{R}(\sigma) \, d\sigma \\ &= \quad [\Gamma(\mu)]^{-1} \int\_{\psi(0)}^{\psi(\mathbf{x})} (\psi(\mathbf{x}) - t)^{\mu-1} \mathcal{R}\left(\psi^{-1}(t)\right) \, dt \\ &= \quad \left(I\_{\psi(0)}^\mu \mathcal{R} \circ \psi^{-1}\right)(\psi(\mathbf{x})) ,\end{aligned}$$

which proves (6). Proceeding as above, one obtains (7).

**Lemma 2** (see e.g., [18])**.** *Let* (R, <sup>S</sup>) <sup>∈</sup> *<sup>L</sup>*1(*a*, *<sup>b</sup>*) <sup>×</sup> *<sup>C</sup>*([*a*, *<sup>b</sup>*])*. Then*

$$\int\_{a}^{b} \mathcal{R}(t) \left( I\_{a}^{\mu} \mathcal{S} \right)(t) \, dt = \int\_{a}^{b} \mathcal{S}(t) \left( I\_{b}^{\mu} \mathcal{R} \right)(t) \, dt.$$

**Lemma 3.** *Let* (R, <sup>S</sup>) <sup>∈</sup> *<sup>L</sup>*1((0, *<sup>τ</sup>*), *<sup>ψ</sup>* (*σ*) *dσ*) × *C*([0, *τ*])*. Then*

$$\int\_0^\tau \mathcal{R}(\sigma) \left( I\_0^{\mu,\psi} \mathcal{S} \right)(\sigma) \psi'(\sigma) \, d\sigma = \int\_0^\tau \mathcal{S}(\sigma) \left( I\_\tau^{\mu,\psi} \mathcal{R} \right)(\sigma) \psi'(\sigma) \, d\sigma.$$

**Proof.** Using (6), one obtains

$$\begin{aligned} \int\_0^\tau \mathcal{R}(\sigma) \left( l\_0^{\mu,\phi} \mathcal{S} \right)(\sigma) \psi'(\sigma) \, d\sigma &= \int\_0^\tau \mathcal{R}(\sigma) \left( l\_{\psi(0)}^\mu \mathcal{S} \circ \psi^{-1} \right)(\psi(\sigma)) \psi'(\sigma) \, d\sigma \\ &= \int\_{\psi(0)}^{\psi(\tau)} \mathcal{R}(\psi^{-1}(t)) \left( l\_{\psi(0)}^\mu \mathcal{S} \circ \psi^{-1} \right)(t) \, dt. \end{aligned}$$

Next, using Lemma 2, one deduces that

$$\int\_0^\tau \mathcal{R}(\sigma) \left( I\_0^{\mu, \psi} \mathcal{S} \right)(\sigma) \psi'(\sigma) \, d\sigma = \int\_{\psi(0)}^{\psi(\tau)} \mathcal{S} \circ \psi^{-1}(t) \left( I\_{\psi(\tau)}^{\mu} \mathcal{R} \circ \psi^{-1} \right)(t) \, dt.$$

Hence, by (7), the desired result follows.

Let R ∈ *<sup>C</sup>*1([0, *<sup>τ</sup>*]) and 0 <sup>&</sup>lt; *<sup>θ</sup>* <sup>&</sup>lt; 1. The *<sup>ψ</sup>*-Caputo fractional derivative of order *<sup>θ</sup>* of <sup>R</sup> is given by (see [16])

$$\left(\partial\_{0|\mathbf{x}}^{\theta,\psi}\mathcal{R}\right)(\mathbf{x}) = \left(I\_0^{1-\theta,\psi}\frac{\mathcal{R}'}{\psi'}\right)(\mathbf{x}), \quad 0 \le \mathbf{x} \le \mathbf{r},\tag{8}$$

i.e.,

$$\left(\partial\_{0|\mathbf{x}}^{\theta,\psi}\mathcal{R}\right)(\mathbf{x}) = \left[\Gamma(1-\theta)\right]^{-1} \int\_0^{\chi} \left(\psi(\mathbf{x}) - \psi(\sigma)\right)^{-\theta} \mathcal{R}'(\sigma) \,d\sigma.$$

**Lemma 4** (see [16])**.** *Let* R ∈ *<sup>C</sup>*1([0, *<sup>τ</sup>*]) *and* <sup>0</sup> <sup>&</sup>lt; *<sup>θ</sup>* <sup>&</sup>lt; <sup>1</sup>*. One has*

$$d\_0^{\theta, \psi} \left( \partial\_{0|x}^{\theta, \psi} \mathcal{R} \right)(x) = \mathcal{R}(x) - \mathcal{R}(0), \quad 0 \le x \le \tau.$$

## **3. A Key Lemma**

The following lemma will be useful for proving our principal result.

**Lemma 5.** *Let* <sup>0</sup> <sup>&</sup>lt; *<sup>θ</sup>* <sup>&</sup>lt; <sup>1</sup> *and <sup>a</sup>* <sup>&</sup>gt; <sup>0</sup>*. Suppose that for some* <sup>0</sup> <sup>&</sup>lt; *<sup>T</sup>*<sup>0</sup> <sup>&</sup>lt; <sup>∞</sup>*, <sup>J</sup>* <sup>∈</sup> *<sup>C</sup>*1([0, *<sup>T</sup>*0]) *is a function satisfying J*(0) > 0 *and*

$$a\frac{1}{\Psi'(t)}f'(t) + \left(\partial\_{0|t}^{\theta,\psi}f\right)(t) \ge a f^2(t), \quad 0 < t < T\_0. \tag{9}$$

*Let*

$$T\_{\infty} := \sup \left\{ \tau > 0 \, : \, f \in \mathbb{C}^1([0, \tau)) \text{ satisfies (9) for all } 0 < t < \tau \right\}.$$

*Then*

$$T\_0 \le T\_\infty \le \psi^{-1}\left(\psi(0) + M(a, \theta)\right) < \infty,\tag{10}$$

*where*

$$M(a, \theta) = \sup\{X > 0 : f(X) \le 0\} < \infty, \quad f(X) = BX^{2-\theta} + \mathcal{C}X - \mathcal{D}X^{2-2\theta} - 1 \tag{11}$$

*and*

$$\mathcal{B} = \frac{a}{\Gamma(4-\theta)} I(0), \; \mathcal{C} = \frac{a}{2} I(0), \; \mathcal{D} = \frac{1}{(3-2\theta)\Gamma(3-\theta)^2}.$$

**Proof.** First, since *f*(0) = −1 < 0 and *f* is continuous, {*X* > 0 : *f*(*X*) ≤ 0} = ∅. Furthermore, since *<sup>B</sup>* <sup>&</sup>gt; 0 (because *<sup>J</sup>*(0) <sup>&</sup>gt; 0), on has lim *<sup>X</sup>*→+<sup>∞</sup> *<sup>f</sup>*(*X*)=+∞. Hence, one deduces that 0 <sup>&</sup>lt; *<sup>M</sup>*(*a*, *<sup>θ</sup>*) <sup>&</sup>lt; <sup>∞</sup>.

Next, let *<sup>τ</sup>* <sup>&</sup>gt; 0 be such that *<sup>J</sup>* <sup>∈</sup> *<sup>C</sup>*1([0, *<sup>τ</sup>*)) satisfies (9) for all 0 <sup>&</sup>lt; *<sup>t</sup>* <sup>&</sup>lt; *<sup>τ</sup>*. Then, for all 0 <sup>&</sup>lt; *<sup>T</sup>* <sup>&</sup>lt; *<sup>τ</sup>*, *<sup>J</sup>* <sup>∈</sup> *<sup>C</sup>*1([0, *<sup>T</sup>*]) satisfies (9) for all 0 <sup>&</sup>lt; *<sup>t</sup>* <sup>&</sup>lt; *<sup>T</sup>*. Fix 0 <sup>&</sup>lt; *<sup>T</sup>* <sup>&</sup>lt; *<sup>τ</sup>* and introduce the function

$$
\varphi(t) = \kappa(0)^{-2}\kappa(t)^2\psi'(t) := \mathcal{Z}(t)\psi'(t), \tag{12}
$$

for all 0 ≤ *t* ≤ *T*, where

$$\kappa(t) = \psi(T) - \psi(t).$$

Using (9), one obtains

$$a\int\_{0}^{T} \boldsymbol{J}^{2}(t)\boldsymbol{q}(t)\,dt \le \int\_{0}^{T} \left(\hat{\boldsymbol{o}}\_{0|t}^{\theta,\varphi}\boldsymbol{l}\right)(t)\boldsymbol{q}(t)\,dt + \int\_{0}^{T} \boldsymbol{J}^{\prime}(t)\,\mathcal{Z}(t)\,dt.\tag{13}$$

On the other hand, using (8) and Lemma 3, one has

$$\begin{aligned} \int\_0^T \left( \partial\_{0|t}^{\theta,\varphi} f \right)(t) \varphi(t) \, dt &= \int\_0^T \left( I\_0^{1-\theta,\varphi} \frac{I'}{\Psi'} \right)(t) \varphi(t) \, dt \\ &= \int\_0^T l'(t) \left( I\_T^{1-\theta,\varphi} \mathcal{Z} \right)(t) \, dt. \end{aligned}$$

Integrating by parts, it holds

$$\int\_{0}^{T} \left( \hat{\partial}\_{0|t}^{\theta,\varphi} I \right)(t) \varphi(t) \, dt = f(T) \left( I\_{T}^{1-\theta,\theta} \mathcal{Z} \right)(T) - f(0) \left( I\_{T}^{1-\theta,\theta} \mathcal{Z} \right)(0) - \int\_{0}^{T} f(t) \left( I\_{T}^{1-\theta,\theta} \mathcal{Z} \right)'(t) \, dt. \tag{14}$$

Using (5), an elementary calculation gives us that

$$\left(I\_T^{1-\theta,\psi} \mathcal{Z}\right)(t) = \frac{2}{\Gamma(4-\theta)} \kappa(0)^{-2} \kappa(t)^{3-\theta} \tag{15}$$

and

$$\left(I\_T^{1-\theta,\psi}Z\right)'(t) = -\frac{2}{\Gamma(3-\theta)}\kappa(0)^{-2}\kappa(t)^{2-\theta}\psi'(t),\tag{16}$$

for all 0 ≤ *t* ≤ *T*. Using (14) and (15), one deduces that

$$\int\_{0}^{T} \left( \partial\_{0|t}^{\theta,\#} f \right)(t) \varphi(t) \, dt = -\frac{2}{\Gamma(4-\theta)} \text{x}(0)^{1-\theta} f(0) - \int\_{0}^{T} f(t) \left( I\_{T}^{1-\theta,\#} \mathcal{Z} \right)'(t) \, dt. \tag{17}$$

Again, integrating by parts, it holds

$$\int\_{0}^{T} J'(t) \mathcal{Z}(t) \, dt = -J(0) - \int\_{0}^{T} J(t) \mathcal{Z}'(t) \, dt. \tag{18}$$

Hence, it follows from (13), (17) and (18) that

$$\mathcal{A}f(0) + a \int\_0^T f^2(t) \varphi(t) \, dt \le \int\_0^T |f(t)| \left| \left( l\_T^{1-\theta, \emptyset} \mathcal{Z} \right)'(t) \right| \, dt + \int\_0^T |f(t)| |\mathcal{Z}'(t)| \, dt,\tag{19}$$

where

$$\mathcal{A} = \frac{2}{\Gamma(4-\theta)} \kappa (0)^{1-\theta} + 1.$$

On the other hand, by Young's inequality with parameter *<sup>a</sup>* <sup>2</sup> > 0, one has

$$\begin{split} \left| \int\_{0}^{T} |f(t)| \left| \left( l\_{T}^{1-\theta,\varphi} \mathcal{Z} \right)'(t) \right| dt \right| &\quad = \int\_{0}^{T} \sqrt{a\varphi(t)} |f(t)| \frac{\left| \left( l\_{T}^{1-\theta,\varphi} \mathcal{Z} \right)'(t) \right|}{\sqrt{a\varphi(t)}} dt \\ &\leq \left| \, \, \_{2}^{0} \int\_{0}^{T} l^{2}(t) \varphi(t) \, dt + \frac{1}{2a} \int\_{0}^{T} \left| \frac{\left( l\_{T}^{1-\theta,\varphi} \mathcal{Z} \right)'(t)}{\varphi(t)} \right|^{2} dt \right| . \end{split} \tag{20}$$

Similarly, one gets

$$\int\_{0}^{T} |f(t)| \, |\mathcal{Z}'(t)| \, dt \le \frac{a}{2} \int\_{0}^{T} l^2(t) q(t) \, dt + \frac{1}{2a} \int\_{0}^{T} \frac{|\mathcal{Z}'(t)|^2}{q(t)} \, dt. \tag{21}$$

Combining (19)–(21), it comes that

$$2a\mathcal{A}f(0) \le \int\_0^T \frac{\left| \left( I\_T^{1-\theta,\psi} \mathcal{Z} \right)'(t) \right|^2}{\varphi(t)} dt + \int\_0^T \frac{|\mathcal{Z}'(t)|^2}{\varphi(t)} dt.\tag{22}$$

Furthermore, using (12) and (16), one obtains

$$\frac{\left|\left(I\_T^{1-\theta,\psi}\mathcal{Z}\right)'(t)\right|^2}{\varphi(t)} = \left[\frac{2}{\Gamma(3-\theta)}\right]^2 \kappa(0)^{-2} \kappa(t)^{2-2\theta} \psi'(t).$$

for all 0 < *t* < *T*, which yields

$$\int\_0^T \left| \frac{\left(I\_T^{1-\theta,\mathfrak{g}} Z\right)'(t)}{\varphi(t)} \right|^2 dt = \frac{1}{(3-2\theta)} \left[\frac{2}{\Gamma(3-\theta)}\right]^2 \kappa(0)^{1-2\theta}.\tag{23}$$

Similar calculations yield

$$\int\_0^T \frac{|\mathcal{Z}'(t)|^2}{\varphi(t)} dt = 4\kappa(0)^{-1}. \tag{24}$$

It follows from (22)–(24) that

$$2a\mathcal{A}f(0) \le \frac{1}{(3-2\theta)} \left[\frac{2}{\Gamma(3-\theta)}\right]^2 \kappa(0)^{1-2\theta} + 4\kappa(0)^{-1}\kappa$$

which yields

$$f(\mathfrak{x}(0)) \le 0.$$

Therefore, one deduces that

$$\varkappa(0) \le M(a, \theta).$$

Hence, it holds

$$T \le \psi^{-1} \left( \psi(0) + M(a, \theta) \right), \quad \text{for all } 0 < T < \tau\_{\prime}$$

which implies that

$$
\tau \le \psi^{-1} \left( \psi(0) + M(a, \theta) \right),
$$

and (10) follows.

**Remark 1.** *Taking ψ*(*t*) = *t and the limit as θ* → 1−*,* (9) *reduces to*

$$J'(t) \ge \frac{a}{2} J^2(t), \quad 0 < t < T\_0.$$

*Hence, under the assumptions of Lemma 5, passing to the limit as θ* → 1<sup>−</sup> *in* (10)*, it holds*

$$T\_0 \le T\_{\infty} \le \frac{2}{a f(0)'} $$

*which is the same estimate as in ([19], Corollary 1).*
