Conditions for the Absence of Blowing Up Solutions to Fractional Differential Equations

TL;DR

This paper investigates conditions under which solutions to fractional differential equations in Banach spaces do not blow up in finite time, showing that certain properties of the nonlinearity prevent finite-time blow-up.

Contribution

It provides new conditions related to the properties of the nonlinear term that guarantee the absence of finite-time blow-up solutions in fractional differential equations.

Findings

Constructed maximal local solutions that do not blow up in finite time.

Identified that non-boundedness of the nonlinear term on bounded sets prevents blow-up.

Extended understanding of solution behavior for fractional differential equations.

Abstract

When addressing ordinary differential equations in infinite dimensional Banach spaces, an interesting question that arises concerns the existence (or non existence) of blowing up solutions in finite time. In this manuscript we discuss this question for the fractional differential equation $cD_t^\alpha u = f(t,u)$ proving that when $f$ is locally Lipschitz, however does not maps bounded sets into bounded sets, we can construct a maximal local solution that not "blows up" in finite time.

Equations

$$\left\{\begin{array}[]{ll}u^{\prime}(t)=f(t,u(t)),&t>t_{0},\vspace*{0.2cm}\\ u(t_{0})=u_{0}\in X,\end{array}\right.$$

$$\underset{t\to {\omega }^{-}}{\mathrm{limsup}}\Vert u(t){\Vert }_X=\infty .$$

$$X:=\big{\{}\{x_{n}\}_{n=1}^{\infty}:x_{n}\in\mathbb{\mathbb{R}}\textrm{ and }\lim_{n\rightarrow\infty}{x_{n}}=0\big{\}},$$

$$\Vert x(t){\Vert }_{L^1(S,X)}:={\int }_S\Vert x(t){\Vert }_{X}dt,$$

$$\|x(t)\|_{W^{1,1}(S,X)}:=\Bigl{(}\|x(t)\|^{2}_{L^{1}(S,X)}+\|x^{\prime}(t)\|^{2}_{L^{1}(S,X)}\Bigr{)}^{1/2},$$

$$\Vert x(t){\Vert }_{C(S,X)}:=\underset{t\in S}{\sup }\Vert x(t){\Vert }_X,$$

$$J_t^{\alpha }h(t):=(h\ast g_{\alpha })(t)={\int }_0^t{g}_{\alpha }(t-r)h(r)dr,\text{ a.e. in }[0,\tau ],$$

$$g_{\alpha}(t)=\left\{\begin{array}[]{ll}t^{\alpha-1}/\Gamma(\alpha),&t>0,\\ 0,&t\leq 0.\end{array}\right.$$

$$D_t^{\alpha }h(t):=D_t^1{J}_t^{1-\alpha }h(t)=D_t^1(h\ast g_{1-\alpha })(t),\text{ a.e. in }[0,\tau ],$$

$$cD_{t}^{\alpha}h(t):=D_{t}^{\alpha}\big{(}h(t)-h(0)\big{)},\qquad\textrm{ a.e. in }[0,\tau].$$

$$J_{t}^{\alpha}D_{t}^{\alpha}h(t)=h(t)-\dfrac{1}{\Gamma(\alpha)}t^{\alpha-1}\left\{J_{s}^{1-\alpha}h(s)\right\}\big{|}_{s=0},\qquad\textrm{ a.e. in }[0,\tau].$$

$$c{D}_t^{\alpha }{J}_t^{\alpha }h(t)=h(t).$$

$$J_{t}^{\alpha}cD_{t}^{\alpha}h(t)=h(t)-h(0)-\dfrac{1}{\Gamma(\alpha)}t^{\alpha-1}\left\{J_{s}^{1-\alpha}[h(s)-h(0)]\right\}\big{|}_{s=0},$$

$$J_t^{\alpha }c{D}_t^{\alpha }h(t)=h(t)-h(0).$$

$$\left\{\begin{array}[]{ll}cD_{t}^{\alpha}u(t)=f(t,u(t)),&t>0,\\ u(0)=u_{0}\in X,\end{array}\right.$$

$$u\in C^{\alpha }([0,\tau ],X):=\{u\in C([0,\tau ],X):c{D}_t^{\alpha }u\in C([0,\tau ],X)\}$$

$$\Vert f(t,x)-f(t,y){\Vert }_X\le L\Vert x-y{\Vert }_X,$$

$$\underset{t\to {\omega }^{-}}{\mathrm{limsup}}\Vert u(t){\Vert }_X=\infty .$$

$$H:=\big{\{}\tau\in(0,\infty):\textrm{ there exists }u_{\tau}:[0,\tau]\rightarrow X\,\\ \text{unique local solution to \eqref{ode2} in }[0,\tau]\big{\}}.$$

$$\underset{t\to {\omega }^{-}}{\mathrm{limsup}}\Vert u(t){\Vert }_X=\infty .$$

$$M:=\underset{s\in [0,\omega )}{\sup }\Vert f(s,u(s)){\Vert }_X<\infty$$

$$\|u(t_{n})-u(t_{m})\|_{X}\leq\dfrac{M^{*}}{\Gamma(\alpha+1)}\Big{[}|{t_{n}}^{\alpha}+|t_{m}-t_{n}|^{\alpha}-t_{m}^{\alpha}|+|t_{m}-t_{n}|^{\alpha}\Big{]},$$

$$u(t)=u_0+{\int }_0^t(t-s{)}^{\alpha -1}f(s,u(s))ds,$$

$$\underset{k\to \infty }{\lim }\Vert x-\sum _{n=1}^k{x}_n{v}_n{\Vert }_X=0.$$

$$x=\sum _{n=1}^{\infty }{v_n}^{\ast }(x)v_n.$$

$$\left\{\begin{array}[]{ll}cD_{t}^{\alpha}u(t)=f(t,u(t)),&t>0\\ u(0)=u_{0}\in X.\end{array}\right.$$

$$\theta(t):=\left\{\begin{array}[]{cl}e^{-1/t},&\textrm{if }t>0,\vspace*{0.2cm}\\ 0,&\textrm{if }t\leq 0.\end{array}\right.$$

$$\eta (t):=\left({\int }_{-\infty }^t\mu (s)ds\right)\left({\int }_t^{\infty }\nu (s)ds\right),\text{ for }t\in \mathbb{R}.$$

$$\eta :=\left({\int }_{s_1}^{s_2}\mu (s)ds\right)\left({\int }_{s_3}^{s_4}\nu (s)ds\right),$$

$$t_n-t_{n-1}>t_{n+1}-t_n,$$

Full text

1. Introduction

To introduce the main aspects of this discussion, consider the following differential equation

[TABLE]

where $X$ denotes a Banach space and $t_{0}\in\mathbb{R}$.

Conditions for the existence of solutions to problem (1) were firstly obtained by Peano in [17]. Following his work, several mathematicians proposed improvements to this result. Nonetheless, to our objectives in this manuscript it worths to present the following version (see [4, 10] for details of the proof).

Theorem 1**.**

Let $X$ be a Banach space, $t_{0}\in\mathbb{R}$ and $f:[t_{0},\infty)\times X\rightarrow X$ a continuous function which is locally Lipschitz and bounded. Then problem (1) has a global solution in the interval $[t_{0},\infty)$ or there exists a value $\omega\in(t_{0},\infty)$ such that $u:[t_{0},\omega)\rightarrow X$ is a maximal local solution that satisfies

[TABLE]

Clearly the above result establishes conditions such that the solutions of (1) have a dichotomy property concerning its “longtime behavior”. Since the need of the Lipschitz condition is classical, it is natural that questions regarding the necessity of the boundedness property of $f$ were raised.

If we focus on finite dimensional spaces, it seems obviously that this hypothesis is dispensable, however in infinite dimensional spaces it plays a fundamental role. Dieudonné in [7] was most likely the first mathematician to address this question. He considered the Banach space

[TABLE]

with norm $\|\{x_{n}\}_{n=1}^{\infty}\|_{X}:=\sup_{n\in\mathbb{N}}|x_{n}|$ and construct a non-bounded and Lipschitz function $f:[0,1]\times X\rightarrow X$ such that $(1)$ posses a local solution that does not admit a continuation and is also bounded.

Following Dieudonné’s inspiration, many mathematicians discussed this kind of problem, which in certain sense, is related with the failure of Peano’s existence theorem in infinite dimensions. For instance, Deimling improved Dieudonné construction considering more general Banach spaces, as can be seen in [4, 5]; Komornik et al. in [12] addressed the autonomous version of (1), proving that for any infinite dimensional Banach space $X$ and bounded interval $(s,t)\subset\mathbb{R}$, there exists a locally Lipschitz function $f:X\rightarrow X$ and $u_{0}\in X$ such that the maximal solution of (1) is exactly defined on $(s,t)$ although it remains bounded on $(s,t)$.

On the other hand, it is worth recalling that fractional differential equations are gaining considerable emphasis in the mathematical society and the equivalent question in this context, besides being a very interesting problem, was still unanswered.

Even if this question seems to have an adaptable proof from the standard case of ordinary differential equations, it does not happen. The non-local characteristic carried by the fractional differential operator is very hard to be manipulated and new arguments are necessary to obtain such result.

In order to fill this gap, we initially recall some results of the fractional differential equations theory and then we exhibit an example of a locally Lipschitz function $f$ that does not map bounded sets onto bounded sets and induces (FCP), Fractional Cauchy Problem in Section 2, to possess a maximal local solution that is also bounded.

Finally we present the structure of this paper. In Section 2 we discuss several important tools concerning the fractional calculus and the respective fractional Cauchy problem, proving the result concerning “blowing up” solutions. In Section 3 we construct the aforementioned counter example, discussing also every functional analysis tools used in the process. We left Section 4 to address a new perspective to prove Theorem 18. More specifically, we introduce arguments that allow us to exhibit a constructive proof to Theorem 18, which, however, have some restrictions.

2. A Study of Differential Equations with Fractional

Caputo Derivative

At first let us recall the study of the locally Bochner integrable functions for the Dunford-Schwartz integral with respect to a Banach space (see details in [8]). Hereafter assume that $S\subset\mathbb{R}$ and $X$ is a Banach space.

• i)

Denote by $L^{1}(S,X)$ the set of all measurable functions $x:S\rightarrow X$ such that $\|x(t)\|_{X}$ is integrable. Furthermore, this set equipped with norm

[TABLE]

is a Banach space.

• ii)

Represent by $W^{1,1}(S,X)$ the set of all elements of $L^{1}(S,X)$ which have weak derivative of order one being in $L^{1}(S,X)$. This set equipped with norm

[TABLE]

is also a Banach space.

• iii)

Finally, $C(S,X)$ denotes the space of the continuous functions $x:S\rightarrow X$. When $S$ is a compact set we define the norm

[TABLE]

which makes $C(S,X)$ a Banach space.

Definition 2**.**

Let $\alpha\in(0,1)$, $\tau\in(0,\infty)$ and $h\in L^{1}(0,\tau;X)$.

• i)

The Riemann-Liouville fractional integral of order $\alpha$, is denoted by $J_{t}^{\alpha}h(t)$, and is given by

[TABLE]

where function $g_{\alpha}:\mathbb{R}\rightarrow\mathbb{R}$ is given by

[TABLE]

• ii)

If $h*g_{1-\alpha}\in W^{1,1}(0,\tau;X)$, the Riemann-Liouville fractional derivative of order $\alpha$ is given by

[TABLE]

where $D_{t}^{1}=\left(d/dt\right)$.

The above definitions were extensively used in the study of fractional calculus (see for instance [13, 14, 16, 20]) however in this manuscript we discuss only Caputo fractional derivative, which is defined bellow (see for instance [2, 3, 19] for more details).

Definition 3**.**

Consider real numbers $\alpha\in(0,1)$, $\tau\in(0,\infty)$ and function $h\in C([0,\tau],X)$ satisfying $h*g_{1-\alpha}\in W^{1,1}(0,\tau;X)$. We define the Caputo fractional derivative of order $\alpha$, which is denoted by $cD_{t}^{\alpha}h(t)$, by

[TABLE]

Remark 4**.**

It is important to emphasize some facts at this moment.

• i)

In **[1]** the author reproduces the classical proof that ensures, for an integrable function $h\in L^{1}(0,\tau;X)$, that $D_{t}^{\alpha}J_{t}^{\alpha}h(t)=h(t)$. Moreover, if it holds that $h*g_{1-\alpha}$ also belongs to $W^{1,1}(0,\tau;X)$, then

[TABLE]

It is important to notice that \left\{J_{s}^{1-\alpha}h(s)\right\}\big{|}_{s=0} can not even be computable; choose for instance $h(t)=t^{-1/2}$.

• ii)

For $h\in C([0,\tau],X)$, it holds that

[TABLE]

Furthermore, if $h*g_{1-\alpha}\in W^{1,1}(0,\tau;X)$ we conclude

[TABLE]

a.e. in $[0,\tau]$. Since \left\{J_{s}^{1-\alpha}[h(s)-h(0)]\right\}\big{|}_{s=0}=0, we achieve the equality

[TABLE]

• iii)

Finally, if $u\in C([0,\tau],X)$ is a function that satisfies $u^{\prime}\in C([0,\tau],X)$ we obtain $cD_{t}^{\alpha}u(t)=J_{t}^{1-\alpha}u^{\prime}(t)$ for any $t\in(0,\tau]$. This was the first formal definition of the Caputo fractional derivative.

Once the main tools concerning fractional calculus are introduced, we now formalize the fractional differential equation that we study in this manuscript. The fractional Cauchy problem (FCP) is given by

[TABLE]

where $\alpha$ is a real number in $(0,1)$, $cD_{t}^{\alpha}$ is the Caputo fractional derivative of order $\alpha$ and $f:[0,\infty)\times X\rightarrow X$ is a continuous function.

Now it is necessary to define the notion of solution to problem (FCP), which indeed is given by an adaptation of the classical ideas that are applied to ordinary differential equations.

Definition 5**.**

Assume that $\alpha\in(0,1)$.

• $i)$

We say that a function $u:[0,\infty)\rightarrow X$ is a global solution of (FCP) if

[TABLE]

for every $\tau>0$ and satisfies the equations of (FCP).

• $ii)$

If there exists $0<\tau<\infty$ such that a continuous function $u:[0,\tau]\rightarrow X$ belongs to $C^{\alpha}([0,\tau],X)$ and satisfies (FCP) for $t\in[0,\tau]$, we say that $u$ is a local solution to problem (FCP) on the interval $[0,\tau]$.

Remark 6**.**

Observe that, viewed as a subspace of $C([0,\tau],X)$, the space $C^{\alpha}([0,\tau],X)$ is a Banach space.

Bearing these definitions in mind, we present the classical result that discuss the local existence and uniqueness of a solution to the fractional differential equation (a proof of this theorem can be found in [1, 11]).

Theorem 7**.**

Assume that $\alpha\in(0,1)$, $f:[0,\infty)\times X\rightarrow X$ is a continuous function and $u_{0}\in X$. If $f$ is also a locally Lipschitz function, i.e., given $(t_{0},x_{0})\in[0,\infty)\times X$ there exist $L,r>0$ (depending on $f$, $t_{0}$ and $x_{0}$) such that for any $(t,x),(t,y)\in B_{r}(t_{0},x_{0})$ it holds that

[TABLE]

then there exists $\tau>0$ such that problem (FCP) posses a unique local solution $u$ in $[0,\tau]$.

The remainder of this section will be devoted to discuss the continuation of local solutions and global solutions of (FCP). First, it is necessary to introduce some concepts.

Definition 8**.**

Let $u:[0,{\tau}]\rightarrow X$ be a local solution to (FCP).

• i)

If ${\tau^{*}}>{\tau}$ and $u^{*}:[0,{\tau^{*}}]\rightarrow X$ is a local solution to (FCP) in $[0,{\tau^{*}}]$ such that $u(t)=u^{*}(t)$ in $[0,\tau]$, then we call $u^{*}$ a continuation of $u$ over $[0,{\tau^{*}}]$.

• ii)

Furthermore, if $u:[0,{{\tau^{*}}})\rightarrow X$ is the unique local solution to (FCP) in $[0,{\tau}]$ for every $\tau\in(0,\tau^{*})$ and does not have a continuation, then we call it maximal local solution of (FCP) in $[0,\tau^{*})$ (see **[18]** for more details on maximal solutions).

Now we are able to establish the existence of continuation to a given solution of (FCP).

Theorem 9**.**

Let $\alpha\in(0,1)$, $\tau\in(0,\infty)$ and $f:[0,\infty)\times X\rightarrow X$ be as in Theorem 7. If $u:[0,\tau]\rightarrow X$ is the unique local solution to (FCP) in $[0,\tau]$, then there exists a unique continuation $u^{*}$ of $u$ in $[0,\tau^{*}]$ for some value $\tau^{*}>\tau.$

Finally, inspired by De Andrade et al. in [3] and based on the results discussed above, for the sake of completeness we state and prove the main theorem of this section.

Theorem 10**.**

Let $\alpha\in(0,1)$, $X$ be a Banach space and $f:[0,\infty)\times X\rightarrow X$ a continuous function which is locally Lipschitz and maps bounded sets onto bounded sets. Then problem (FCP) has a global solution in the interval $[0,\infty)$ or there exists a value $\omega\in(0,\infty)$ such that the local solution $u:[0,\omega)\rightarrow X$ does not admit a continuation and yet satisfies

[TABLE]

**Proof .  **Consider $H\subset\mathbb{R}$, which is given by

[TABLE]

Define $w=\sup{H}$ and consider function $u:[0,\omega)\rightarrow X$ which is given by $u(t)=u_{\tau}(t)$, if $t\in[0,\tau]$. It is not difficult to verify that this function is well defined and is the maximal local solution of (FCP) in $[0,\omega)$.

If $\omega=\infty$, $u$ is a global solution of (FCP). Otherwise, if $\omega<\infty$ we need to prove that

[TABLE]

The proof is by contradiction. Suppose that there exists $d<\infty$ such that $\|u(t)\|_{X}\leq d$ for all $t\in[0,\omega)$. Then, since $f$ maps bounded sets onto bounded sets, define

[TABLE]

and consider $\{t_{n}\}_{n}\subset[0,\omega)$ a sequence that converges to $\omega$. Thus, making some computations, we obtain the estimate

[TABLE]

for some positive value $M^{*}$. This ensures that $\{u(t_{n})\}_{n=0}^{\infty}$ is a Cauchy sequence and therefore it has a limit, let us say, $u_{\omega}\in X$. By extending $u$ over $[0,\omega]$, we conclude that the equality

[TABLE]

should hold for all $t\in[0,\omega]$. With this, by Theorem 9, we can extend the solution to some bigger interval, which is a contradiction by the definition of $\omega$. Therefore, if $\omega<\infty$ it holds that $\limsup_{t\rightarrow\omega^{-}}{\|u(t)\|_{X}}=\infty.$ This concludes the proof.

∎

3. Fundamental Structures and the Bounded Maximal Solution

The aim of this section is to recall some fundamental concepts of functional analysis and discuss the existence of a maximal local solution to problem $\eqref{ode2}$ which does not “blows up” in finite time, under suitable hypotheses.

For the discussion suggested above to be successfully addressed, we first recall some concepts and notations related to infinite dimensional Banach spaces.

Definition 11**.**

Let $X$ be a Banach space. A sequence $\{v_{n}\}_{n=1}^{\infty}\subset X$ is called a Schauder basis of $X$, if for every $x\in X$, there exists a unique sequence $\{x_{n}\}_{n=1}^{\infty}\subset\mathbb{R}$ such that

[TABLE]

We write $x=\displaystyle\sum_{n=1}^{\infty}x_{n}v_{n}$ to denote the above limit.

It worths to emphasize that existence of Schauder basis to general Banach spaces is not a trivial matter. Indeed, as can be found in the literature, it is not true that every Banach space has a Schauder basis (see [9] for details).

Therefore, it is essential to introduce the following result to better adjust our forward computations.

Theorem 12**.**

For any infinite dimensional Banach space $X$, there exists an infinite dimensional closed subspace $X_{0}$ of $X$ with a Schauder Basis $\{v_{n}\}_{n=0}^{\infty}$. Moreover, we can suppose that $\{v_{n}\}_{n=1}^{\infty}$ is such that $\|v_{n}\|_{X}=1$, for all $n\in\mathbb{N}$, and that there exists a sequence of linear functionals $\{{v_{n}}^{*}\}_{n=1}^{\infty}\subset{X_{0}}^{*}$ which satisfies $\|v_{n}\|_{X_{0}^{*}}=1$ and also, for any $x\in X_{0}$,

[TABLE]

**Proof .  **It is a classical result. For more details see [15, Theorem I.1.2]. ∎

At this point we are already prepared to discuss the main ideas proposed by this manuscript. Thus, the remainder of this section is dedicated to prove the following:

Statement: There exists an element $u_{0}\in X$ and also a continuous and locally Lipschitz function $f:\mathbb{R}^{+}\times X\rightarrow X$, which does not maps bounded sets into bounded sets, such that

[TABLE]

has a maximal bounded local solution in $[0,1)$.

A positive answer to the problem above closes any question concerning the adopted hypotheses in Theorem 10. It is worth to stress that the ideas which inspired the proof of this question were given by Dieudonné in [7], Deimling in [4, 5] and Komornik in [12].

Proposition 13**.**

Given real numbers $s_{1}<s_{2}<s_{3}<s_{4}$, there exists a continuously differentiable function $z:\mathbb{R}\rightarrow\mathbb{R}$ satisfying $\mathop{\rm supp}(z)\subset(s_{1},s_{4})$, $z(t)\equiv 1$ for $t\in[s_{2},s_{3}]$, $z^{\prime}(t)\geq 0$ for $t\in[s_{1},s_{2}]$ and $z^{\prime}(t)\leq 0$ for $t\in[s_{3},s_{4}]$.

**Proof .  **Initially consider any real numbers $s_{1}<s_{2}<s_{3}<s_{4}$ and the continuously differentiable function $\theta:\mathbb{R}\rightarrow\mathbb{R}$ given by

[TABLE]

Then define functions $\mu(t):=\theta(s_{2}-t)\theta(t-s_{1})$ and $\nu(t):=\theta(s_{4}-t)\theta(t-s_{3})$ to finally obtain

[TABLE]

It is not difficult to conclude that $z(t):=\eta(t)/\eta$, where

[TABLE]

is such that $z\in C^{1}(\mathbb{R};\mathbb{R})$, $\mathop{\rm supp}(z)\subset(s_{1},s_{4})$ and $z(t)\equiv 1$, for $t\in[s_{2},s_{3}]$. The conclusions concerning the sign of the derivative are trivial.

∎

Last proposition allow us to construct a suitable sequence of functions, which develops a fundamental role forward in the manuscript.

Corollary 14**.**

There exist an increasing sequence of positive real numbers $\{t_{n}\}_{n=1}^{\infty}$ that converges to $1$ and a sequence of continuously differentiable functions $\{z_{n}(t)\}_{n=1}^{\infty}$, which satisfies the following properties:

• i)

The length of the intervals $[t_{n},t_{n+1}]$ decreases when $n$ increases. More specifically,

[TABLE]

for $n\geq 2$;

• ii)

$z_{1}\equiv 1$* in $\mathbb{R}$ and to $n\geq 2$*

[TABLE]

**Proof .  **It is not difficult to notice that this is a consequence of Proposition 13. ∎

Now let us start by considering $X$ an infinite dimensional Banach space. As stated in Theorem 12, we assume that $X_{0}$ denotes an infinite dimensional closed subspace of $X$ (with the topology induced by the topology of $X$) with a Schauder Basis $\{v_{n}\}_{n=1}^{\infty}$, which satisfies

[TABLE]

We also recall that there exists a sequence of linear functionals $\{{v_{n}}^{*}\}_{n=1}^{\infty}\subset{X_{0}}^{*}$ which satisfies

[TABLE]

and allow us to write every $x\in X_{0}$ as the sum

[TABLE]

The characteristic function $\chi_{I}:\mathbb{R}\rightarrow\mathbb{R}$ is the function given by

[TABLE]

Based on this last considerations, we prove the following result.

Lemma 15**.**

The function $u:[0,1)\rightarrow X_{0}\,(\subset X)$ given by

[TABLE]

is continuous and bounded. Moreover, it cannot be extended to $[0,1]$ and if $\alpha\in(0,1)$, it satisfies

[TABLE]

with $cD_{t}^{\alpha}u(t)$ a continuous function.

**Proof .  **The continuity and the boundedness of $u(t)$ follows since $\|z_{n}(t)v_{n}\|_{X}\leq 1$ for every $n\in\mathbb{N}$ and

[TABLE]

To verify that $u$ cannot be extended in $[0,1]$ continuously, observe that for $n\geq 2$

[TABLE]

Thus, define $\sigma_{n}=(t_{n}+t_{n+1})/2$ and observe that

[TABLE]

Since $\{v_{n}\}_{n=1}^{\infty}$ cannot be convergent, the sequence $u\left(\dfrac{t_{n}+t_{n+1}}{2}\right)$ cannot be a Cauchy sequence, and therefore does not converges. In other words, there is no way to define a value at $t=1$ such that function $u$ becomes continuous in $[0,1]$.

By recalling the already mentioned non-local property of the fractional derivative and applying $cD_{t}^{\alpha}$ in (5) we obtain

[TABLE]

The continuity of $cD_{t}^{\alpha}u(t)$ follows from the fact that $z_{k}(t)$ has its first derivative continuous and therefore Remark 4 allows us to conclude that $cD_{t}^{\alpha}z_{k}(t)=J_{t}^{1-\alpha}z_{k}^{\prime}(t)$. ∎

At this point, it remains for us to address the construction of the function $f_{\alpha}:\mathbb{R}^{+}\times X\rightarrow X$. Thus, consider the following preliminary result.

Lemma 16**.**

Let function $H:[0,\infty)\times X\rightarrow\mathbb{R}$ be given by

[TABLE]

where $V_{i}^{*}:X\rightarrow\mathbb{R}$ is an extension of $v_{i}^{*}:X_{0}\rightarrow\mathbb{R}$ over $X$ and satisfies $\|V_{i}^{*}\|_{X^{*}}\leq 1$. Then $H$ is a continuous and locally Lipschitz function.

**Proof .  **Recall that Hahn-Banach theorem allows us to extend our functionals $v_{i}^{*}$ to $V_{i}^{*}$ defined over $X$ such that $\|V_{i}^{*}\|_{X^{*}}\leq\|v_{i}^{*}\|_{X_{0}^{*}}=1$. Then, it is interesting to notice that

[TABLE]

Observe that for $(t,x)\in[0,\infty)\times X$, with $t\neq 1$, the continuity of $H$ follows directly from the above characterization. We verify the continuity of $H$ at $(1,x)$ by definition. Thus, given $\epsilon>0$, choose $k_{0}\in\mathbb{N}$ such that

[TABLE]

for any $k\geq k_{0}$, and let $\delta_{0}\in(0,1)$ be such that $1-\delta_{0}>t_{k_{0}}$. Then, define

[TABLE]

If $\|(s,y)-(1,x)\|_{[0,\infty)\times X}<\delta$, we conclude that $s>1-\delta_{0}>t_{k_{0}}$ and therefore that $s$ lies in an interval of the form $[t_{k-1},t_{k})$, for some $k\geq k_{0}$ or $s\geq 1$. In the first situation, we compute

[TABLE]

since $\|y\|_{X}\leq\|y-x\|_{X}+\|x\|_{X}\leq 1+\|x\|_{X}$ and

[TABLE]

while in the second situation we compute

[TABLE]

proving the continuity.

To conclude that $H$ is locally Lipschitz, choose any point $(\widetilde{t},\widetilde{x})$ belonging to $[0,\infty)\times X$.

1st Case: If $\widetilde{t}\in(0,t_{1})$, then consider $2\widetilde{r}:=\min{\{\widetilde{t},t_{1}-\widetilde{t}\}}$ and observe that given pairs $(t,x),(t,y)\in B_{\widetilde{r}}(\widetilde{t},\widetilde{x})$ we obtain that $t\in(0,t_{1})$ and therefore

[TABLE]

When $\widetilde{t}=0$, the same inequality holds for any $(t,x),(t,y)\in B_{t_{1}}(\widetilde{t},\widetilde{x})$ with $t\geq 0$.

2nd Case: If $\widetilde{t}\in(t_{k},t_{k+1})$ for some $k\geq 1$, define $2\widetilde{r}:=\min{\{\widetilde{t}-t_{k},t_{k+1}-\widetilde{t}\}}$ and notice that for $(t,x),(t,y)\in B_{\widetilde{r}}(\widetilde{t},\widetilde{x})$ we obtain that $t\in(t_{k},t_{k+1})$ what ensures

[TABLE]

therefore,

[TABLE]

3rd Case: If $\widetilde{t}=t_{k}$ for $k\geq 1$, by setting $2\widetilde{r}:=\min{\{\widetilde{t}-t_{k-1},t_{k+1}-\widetilde{t}\}}$ and following the above computations, we achieve the same conclusion.

4th Case: If $\widetilde{t}\in(1,\infty)$ choose $2\widetilde{r}\in(0,\widetilde{t}-1)$ and observe that for any $(t,x),(t,y)\in B_{\widetilde{r}}(\widetilde{t},\widetilde{x})$ it holds

[TABLE]

5th Case: If $\widetilde{t}=1$, choose $2\widetilde{r}\in(0,1)$, and the result follows from the above computations, since the image of points $(t,x)$ and $(t,y)$ would be given by an infinite series or a truncated series. This completes the proof. ∎

Lemma 17**.**

Consider $\alpha\in(0,1)$ and the function $f_{\alpha}:\mathbb{R}^{+}\times X\rightarrow X$ given by

[TABLE]

where $H(t,x)$ is described in Lemma 16 and $\phi(t):\mathbb{R}\rightarrow\mathbb{R}$ is given by

[TABLE]

Then $f_{\alpha}$ is a continuous and locally Lipschitz function.

**Proof .  **The function $f_{\alpha}$ is continuous since $\phi(t)$, $cD_{t}^{\alpha}u(t)$ and $H(t,x)$ are continuous. As $\phi(t)$ is Lipschitz and $H(t,x)$ is locally Lipschitz by Lemma 16, it follows from description (limited number of members in the sum) of $cD_{t}^{\alpha}u(t)$ in Lemma 15 that $f_{\alpha}$ is locally Lipschitz. ∎

Next theorem is the main result of this section, which completely answer the Affirmation.

Theorem 18** (Sharpness of “Blow Up” Conditions).**

Consider $\alpha\in(0,1)$. Then there exists $f_{\alpha}:\mathbb{R}^{+}\times X\rightarrow X$ continuous and locally Lipschitz which does not map every bounded set into bounded set, such that problem

[TABLE]

where $cD_{t}^{\alpha}$ is the Caputo’s fractional derivative and $v_{1}$ is the first element of the Schauder basis defined before in this section, posses a bounded maximal solution $u:[0,1)\rightarrow X$.

**Proof .  **If we define $f_{\alpha}$ as in Lemma 17, then it is continuous and locally Lipschitz. Now, it is not difficult to notice that if $u:[0,1)\rightarrow X$ is given as in Lemma 15, we deduce

[TABLE]

and since $z_{k}(t)\geq 0$, we achieve that $f_{\alpha}(t,u(t))=cD_{t}^{\alpha}u(t)$, which means that $u$ is a solution to problem (FCP). Finally $f_{\alpha}$ does not map bounded sets into bounds sets, since it would contradict Theorem 10 once $u$ is a bounded maximal solution of (FCP).∎

4. Final Remarks on Theorem 18

This final section is dedicated to introduce a constructive proof to Theorem 18. More specifically, we want to exhibit the bounded set which is mapped by $f_{\alpha}$ into an unbounded set.

To begin this approach, consider $\{\tau_{n}\}_{n=1}^{\infty}$, with $\tau_{n}\in[(t_{n-1}+t_{n})/2,t_{n})$, the maximum value of $z^{\prime}_{n}(t)$ (which is strictly positive as described by Corollary 14), for each $n\geq 2$.

Fix $\alpha\in(0,1)$ and now consider the following hypothesis:

[TABLE]

Observe that hypothesis (P) is not completely artificial as it seems. Recall initially that Proposition 13 and Corollary 14 allow us to verify that the family of functions

[TABLE]

should posses an increasing property concerning its maximum in the interval $[(t_{n-1}+t_{n})/2,t_{n})$, once for each higher value of $n$ the length of the interval $[t_{n-1},t_{n})$ should be smaller what implies that the growth of function $z_{n}^{\prime}(t)$ should be each time bigger. However proving this assertion to general Banach spaces is a hard task.

To prove the following result, we also need to suppose that $t_{1}+t_{2}>1$.

Proposition 19**.**

If $X$ is a Hilbert space, then property $(P)$ holds.

**Proof .  **Let $X$ be a Hilbert space. By definition of $cD_{t}^{\alpha}u(t)$ we observe

[TABLE]

for each $n\geq 2$.

Now by assuming that property $(P)$ does not hold, there should exists $M>0$ such that

[TABLE]

Thus, for $n>2$ and by Remark 4, it holds that

[TABLE]

for each $k\in[2,n-1]$. Now by recalling that $z^{\prime}_{k}(t)\geq 0$ in $[(t_{k-1}+t_{k})/2,t_{k}]$ and $z^{\prime}_{k}(t)\leq 0$ in $[t_{k+1},(t_{k+1}+t_{k+2})/2]$, we deduce

[TABLE]

and

[TABLE]

Therefore, by (6), (7), (8) and (9), we achieve the inequality

[TABLE]

since $t_{k-1}+t_{k}\geq t_{1}+t_{2}>1$.

Finally by taking the limit when $n\rightarrow\infty$ in both sides of the above inequality we obtain

[TABLE]

for any $k\geq 2$. However, since $(t_{k-1}+t_{k})/2\rightarrow 1$ when $k\rightarrow\infty$, the value on the left side of the above inequality would be greater than $M$ for $k$ sufficiently large, which is a contradiction. This completes the proof of the proposition. ∎

Last result allow us to establish the following theorem.

Theorem 20** (Sharpness of “Blow Up” Conditions Revisited).**

Let $\alpha\in(0,1)$ and assume that $(P)$ holds in $X$. Then there exists $f_{\alpha}:\mathbb{R}^{+}\times X\rightarrow X$ continuous and locally Lipschitz which does not map every bounded set into bounded set, such that

[TABLE]

where $cD_{t}^{\alpha}$ is the Caputo’s fractional derivative of order $\alpha$ and $v_{1}$ is the first element of the Schauder basis defined in section $3$, posses a bounded maximal solution $u:[0,1)\rightarrow X$.

**Proof .  **Here we discuss just the bounded set that is mapped by $f_{\alpha}$ into an unbounded set. Consider the sequence $\{(s_{l},y_{l})\}_{l=1}^{\infty}\subset[0,\infty)\times X$ such that

[TABLE]

where $\tau_{n_{l}}$ is given in hypothesis (P).

It is not difficult to notice that $\{(s_{l},y_{l})\}_{l=1}^{\infty}$ is bounded, however

[TABLE]

and since

[TABLE]

the sequence $\{f_{\alpha}(s_{l},y_{l})\}_{l=1}^{\infty}$ is unbounded.∎

acknowledgements

Both authors would like to thank Universidade Federal do Espírito Santo and Universidade Federal de Santa Catarina for the hospitality and support during respective short term visits.