Skip to main content

Existence of solutions to fractional boundary value problems at resonance in Hilbert spaces

Abstract

We study the existence of solutions to a nonlinear fractional differential equation in Hilbert spaces associated with three-point boundary conditions at resonance

$$x(0) = \theta,\qquad D^{\alpha -1}x(1) = AD^{\alpha -1}x(\eta) $$

by using Mawhin’s continuation theorem. We propose a new technique to improve the conditions on A which have been used previously. In addition, a necessary and sufficient condition for that the fractional differential operator is Fredholm with zero-index is established, especially for the first time when the fractional differential operator takes values in an arbitrary Hilbert space.

1 Introduction

Fractional differential equations arise in various areas of physics and applied mathematics and have recently become a powerful tool in modeling of many physical phenomena (for instance, see [17] and the references therein). In this paper, we are concerned with the existence of solutions to the following fractional three-point boundary value problem at resonance:

$$ \textstyle\begin{cases} D^{\alpha }x(t) = f ( t,x(t),D^{\alpha -1}x(t)),& \mbox{a.e. }t \in (0,1), 1< \alpha \leq 2, \\ x(0) = \theta,\qquad D^{\alpha -1}x(1) = AD^{\alpha -1}x(\eta), \end{cases} $$
(1.1)

where \(D^{\alpha }\) is the Riemann-Liouville differential operator of order α; θ is zero element in a Hilbert space \(\mathcal{H}\); \(\eta \in (0, 1)\) is a given constant; \(A\in \mathcal{L(H)}\) is a bounded linear operator on \(\mathcal{H}\) such that

(A1):

\(I-A\) is a Fredholm operator with zero-index;

and \(f: [0,1] \times \mathcal{H}\times \mathcal{H} \rightarrow \mathcal{H}\) is a function satisfying the following assumptions:

(A2):

\(f(\cdot, x,y)\) is Lebesgue measurable on \([0,1]\) for every \((x,y)\in \mathcal{H}\times \mathcal{H}\);

(A3):

\(f(t,\cdot,\cdot)\) is continuous on \(\mathcal{H}\times \mathcal{H}\) for almost every \(t \in [0, 1]\);

(A4):

for each bounded set \(\Omega \subset \mathcal{H}\times \mathcal{H}\), the function \(t\mapsto \varphi_{\Omega }(t) = \sup \{ \Vert f(t, x, y)\Vert _{\mathcal{H}} : (x, y) \in \Omega \} \) is Lebesgue integrable on \([0,1]\), and the set \(\{ f(t, x, y):(x, y)\in \Omega \} \) is relatively compact in \(\mathcal{H}\), here \(\Vert \cdot \Vert _{\mathcal{H}}\) stands for the norm induced by the scalar product \(\langle \cdot,\cdot \rangle \) in \(\mathcal{H}\).

Problem (1.1) is usually written in the following form:

$$ Lx=Nx, $$
(1.2)

where L and N are operators from a Banach space X to another Banach space Y (here L is linear). If L is invertible, or \(\ker L=\{0\}\), (1.2) is called non-resonant problem. Otherwise, if kerL is not a trivial space, then it is called resonant problem. For this problem, we focus on an important class of resonant problems when L is a Fredholm operator with zero-index, as a prerequisite for applying coincidence degree theory [8].

Different from non-resonant problems being studied for a long time, the solvability of resonant problems has been extensively studied for the last decade. The reason is that resonant problems are rather complicated due to the non-invertibility of L. Non-invertibility leads to the difficulty of constructing a suitable continuous projection on a complement of ImL. Due to the fact that constructing that projection becomes more difficult when the dimension of kerL is large, most of works are investigated mainly for \(\dim \ker L=1\). We refer the reader to [923] and to the references therein.

For the case that \(\dim \ker L\) can be arbitrary, recently in [24], we use the Mawhin continuation theorem to investigate the existence of solutions for boundary value problems (briefly, BVPs) at resonance. We consider the following three-point BVP:

$$ \textstyle\begin{cases} x''(t)=f(t,x(t), x'(t)) & \mbox{a.e. } t\in (0,1) \\ x'(0)=0, \quad x(1)=Ax(\eta), \end{cases} $$
(1.3)

where \(A:\mathbb {R}^{n} \rightarrow \mathbb {R}^{n}\) is a continuous linear operator satisfying

$$ \textstyle\begin{cases} A^{2}=A, &\mbox{or } \\ A^{2}=I& \mbox{(here $I$ stands for the identity operator)}. \end{cases} $$
(1.4)

It seems that [24] is one of premier papers on the case that \(\dim \ker L\) is arbitrary. Later, problem (1.3) in [24] was extended to fractional BVP (1.1) in [25]. Most recently, the result in [25] was generalized to an infinite-dimensional space \(l^{2}\) in [26]. We emphasize that condition (1.4) is an essential condition for the techniques in [2426], with the note that in [26] the condition is slightly different in order to adapt the boundary conditions.

In our new research [27] condition (1.4) can be omitted completely thanks to the fruitful features of a continuous linear operator on \(\mathbb {R}^{n}\) which can be regarded as matrices. The breakthrough results in [27] allow us to ask the first question: For extending problem ( 1.1 ) from a finite-dimensional space \(\mathbb {R}^{n}\) to a Hilbert space \(\mathcal{H}\) , is omitting condition ( 1.4 ) still possible or not? The answer is no, for example, let A be the difference of an identity operator and a finite-range operator, problem (1.1) is unsolvable via Mawhin’s continuation theorem.

Our next question is: What is the condition for a Hilbert space? In order to find the suitable condition for a Hilbert space, we observe that there is no change in the proofs in [2426] if we replace (1.4) by the following more generalized assumption:

$$\kappa (I-A) \quad \mbox{is idempotent for } \kappa \in \mathbb {R}\setminus \{0\}, $$

or equivalently,

$$ (I-A)^{2}=\kappa^{-1} (I-A) \quad \mbox{for } \kappa \in \mathbb {R}\setminus \{0\}. $$
(1.5)

Clearly, condition (1.4) can be derived from condition (1.5) by taking \(\kappa =1\) or \(\kappa =\frac{1}{2}\). We remark that condition (1.5) leads to some useful qualitative properties: \(\operatorname {Im}(I-A)\) is closed and \(\ker (I-A)\) is isomorphic to the complement of \(\operatorname {Im}(I-A)\). It suggests us to generalize (1.5) to the condition for a Hilbert space as follows.

$$ I-A\quad \mbox{is a Fredholm operator with zero-index on } \mathcal{H}, $$
(1.6)

which is actually assumption (A1) for operator A. We discover that in this paper condition (1.6) is the best generalization on a Hilbert space in the following senses:

  1. (1)

    Condition (1.6) is not only a sufficient condition but also a necessary condition for that \(L=D^{\alpha }\) is the Fredholm operator with zero-index.

  2. (2)

    When \(\mathcal{H}\) is finite-dimensional, (1.6) automatically holds, therefore the result in [27] is a special case of our result in this paper.

  3. (3)

    When \(\mathcal{H}\) is infinite-dimensional, it is well known that the rank-nullity theorem no longer holds for an operator \(A\in \mathcal{L(H)}\). Condition (1.6) helps us to overcome this difficulty by providing another characterization of dimension in a Hilbert space, as to be seen in (2.10).

  4. (4)

    Condition (1.6) gives a unified approach and viewpoint for solving this kind of BVPs, for \(\dim \mathcal{H}\leq \infty \) and \(L=D^{\alpha }\) with \(1<\alpha \leq 2\).

The structure of the paper is organized as follows. In Section 2, we introduce some necessary background of fractional calculus as well as coincidence degree theory. In addition, we establish some essential lemmas needed for our main result later. Section 3 is devoted to presenting the statement and the proof of the main result. Finally, we give a specific example to illustrate.

2 Preliminaries

2.1 Fractional calculus

In this subsection, we recall some definitions and results of the fractional calculus. See [2, 6, 7] for more details.

Definition 2.1

Given \(f: [0, 1] \rightarrow \mathcal{H}\) and \(\alpha >0\). Then

:

The fractional integral of order α of the function f is given by

$$I^{\alpha }f(t):= \frac{1}{\Gamma (\alpha)} \int_{0}^{t}(t-s)^{ \alpha -1}f(s)\,ds\quad \mbox{for } t>0. $$
:

The Riemann-Liouville fractional derivative of order α of f is given by

$$D^{\alpha }f(t):= \frac{d^{m}}{dt^{n}} \bigl( I^{m-\alpha }f \bigr) (t) = \frac{1}{\Gamma (m - \alpha)} \frac{d^{m}}{dt^{m}} \int_{0}^{t} (t-s)^{m - \alpha -1} f(s)\,ds\quad \mbox{for } t>0, $$

where \(m = [\alpha ] + 1\),

provided that the terms on the right-hand side of the above equalities are pointwise defined on \([0, 1]\). In the above expressions, the sign ‘∫’ denotes the Bochner integral.

For \(k \in \mathbb {N}\), we denote by \(AC^{k} ( [0,1]; \mathcal{H} ) \) the space of all functions \(f: [0, 1] \rightarrow \mathcal{H}\) which have absolutely continuous derivative up to order \(k-1\). Set

$$AC \bigl( [0,1]; \mathcal{H} \bigr):= AC^{1} \bigl( [0,1]; \mathcal{H} \bigr). $$

The following lemma concerning basic properties of fractional calculus is needed afterward. The proof can be found in [2], Lemmas 2.4, 2.5, or [7], Theorem 2.4.

Lemma 2.2

Let \(\varphi \in L^{1} ( [0, 1]; \mathcal{H} ) \) and \(\alpha >0\), \(m=[\alpha ]+1\).

  1. (i)

    The equality \(( D^{\alpha }I^{\alpha }\varphi) (t)= \varphi (t)\) holds for almost every \(t\in [0,1]\).

  2. (ii)

    If \(D^{\alpha -m}\varphi \in AC^{m} ( [0,1]; \mathcal{H} ) \), then

    $$\bigl( I^{\alpha }D^{\alpha }\varphi \bigr) (t)=\varphi (t)-\sum _{j=1} ^{m}\frac{D^{\alpha -j}\varphi (0)}{\Gamma (\alpha -j+1)}t^{\alpha -j} $$

    for almost every \(t\in [0,1]\).

2.2 Mawhin’s continuation theorem

Let X and Y be two Banach spaces.

Definition 2.3

A linear operator \(L: \operatorname {dom}(L) \subset X \rightarrow Y\) is called Fredholm operator with zero-index if ImL is closed in Y and

$$\operatorname {codim}\operatorname {Im}L=\dim \ker L< \infty. $$

It is known that when L is a Fredholm operator with zero-index, there exist a projection P on X and a projection Q on Y such that

$$\ker L=\operatorname {Im}P ,\qquad \operatorname {Im}L= \ker Q . $$

Moreover, the operator \(L_{P}\) defined as \(L_{P}:=L\vert _{\operatorname {dom}(L) \cap \ker P}\) is invertible. Let \(K_{P}:=L_{P}^{-1}\) and set

$$K_{P,Q} := K_{P}(I-Q), $$

called the generalized inverse of L. On the other hand, for isomorphism \(J: \operatorname{Im}Q\rightarrow \ker L\), the operator \(K_{P,Q}+JQ: Y \rightarrow \operatorname {dom}(L)\) is isomorphic. Moreover,

$$( K_{P,Q}+JQ ) ^{-1}x = \bigl( L+J^{-1}P \bigr) x $$

for \(x\in \operatorname {dom}(L)\).

Definition 2.4

Suppose that L is a Fredholm operator with zero-index and Ω is a bounded subset of X such that \(\operatorname {dom}(L) \cap \Omega \neq \emptyset \). An operator \(N : X \rightarrow Y\) is called L-compact on Ω̅ if the following two conditions hold:

  1. (i)

    \(QN: \overline{\Omega } \rightarrow Y\) is continuous and \(QN(\overline{\Omega })\) is bounded in Y;

  2. (ii)

    \(K_{P,Q}N : \overline{\Omega } \rightarrow X\) is completely continuous.

Let L be a Fredholm operator with zero-index and N be L-compact on Ω̅. It follows from Mawhin’s equivalent theorem [28] that the equation

$$Lx=Nx \quad \mbox{for } x \in \overline{\Omega } $$

is equivalently converted into the fixed point equation

$$x=\Phi x \quad \mbox{for } x \in \overline{\Omega }, $$

where \(\Phi =P+(JQ+K_{P,Q}N)\) is a completely continuous operator. This can be solvable thanks to the following theorem, called Mawhin’s continuation theorem.

Theorem 2.5

Assume that Ω is a bounded and open subset in X, and L is a Fredholm operator with zero-index, and N is an L-compact operator on Ω̅. Additionally, suppose that the following three assumptions hold:

  1. (i)

    \(Lx\neq \lambda Nx\) for \(x \in \partial \Omega \cap ( \operatorname {dom}(L) \backslash \ker L ) \) and for \(\lambda \in (0,1)\);

  2. (ii)

    \(QNx \neq 0\) for \(x \in \partial \Omega \cap \ker L\);

  3. (iii)

    for any isomorphism J from ImQ to kerL,

    $$\deg_{B} ( \mathrm{JQN}\vert _{\ker L},\Omega \cap \ker L, 0 ) \neq 0, $$

    where \(Q:Y\rightarrow Y\) is a projection given as above.

Then the equation \(Lx=Nx\) has a solution in \(\overline{\Omega }\cap \operatorname {dom}(L)\).

For a comprehensive treatment on the subject of the coincidence degree theory and Mawhin’s continuation theorem as well, we refer the reader to [8, 28, 29].

Finally, we restate the following compactness criterion on the space of continuous functions \(C(X,Y)\) which is regarded as a generalization of the Arzela-Ascoli theorem [30], Section 1.1.3.

Lemma 2.6

Let X be a compact topological space and Y be a metric space. A subset of \(C(X,Y)\) is relatively compact if and only if it is pointwise relatively compact and equicontinuous.

2.3 Key lemmas

Let

$$X = \bigl\{ x\in C \bigl( [0,1]; \mathcal{H} \bigr): x(t)= I^{\alpha -1} _{0^{+}}\varphi (t), \varphi \in C \bigl( [0,1]; \mathcal{H} \bigr) \bigr\} $$

be the Banach space with the norm

$$\Vert x\Vert = \max \bigl\{ \Vert x\Vert _{\infty }, \bigl\Vert D ^{\alpha -1}x\bigr\Vert _{\infty } \bigr\} , $$

where \(\Vert \cdot \Vert _{\infty }\) stands for the usual sup-norm on \(C ( [0,1]; \mathcal{H} ) \). Also, let \(Y=L^{1} ( [0, 1]; \mathcal{H} ) \) be the Banach space with the Lebesgue norm

$$\Vert y\Vert _{1}= \int_{0}^{1} \bigl\Vert y(t)\bigr\Vert _{\mathcal{H}}\,dt. $$

Next we define a linear operator \(L: X \rightarrow Y\) by

$$ Lx=D^{\alpha }x, $$
(2.1)

in which

$$x\in \operatorname {dom}(L) = \bigl\{ x = I_{0^{+}}^{\alpha -1}\varphi \in X: \varphi \in AC \bigl( [0, 1]; \mathcal{H} \bigr), x(0) = \theta, D^{\alpha -1}x(1) = AD^{\alpha -1}x(\eta) \bigr\} . $$

Moreover, we define a (nonlinear) operator \(N : X \rightarrow Y\) by

$$ Nx(t) = f \bigl( t, x(t), D^{\alpha -1}x(t) \bigr)\quad \mbox{for almost every } t \in [0, 1]. $$
(2.2)

Clearly, (1.1) is equivalent to

$$Lx = Nx, $$

in which the operators L and N are defined by (2.1) and (2.2), respectively.

2.3.1 Fredholm property of the fractional differential operator L

We first note that if \(x \in \operatorname {dom}(L)\), then \(D^{\alpha }x \in Y\) and \(I^{2-\alpha }x \in AC^{2} ( [0,1]; \mathcal{H} ) \). From Lemma 2.2 and \(x(0) = \theta \), it follows that

$$x(t) = \mathbf{c}t^{\alpha -1} + \bigl( I^{\alpha }D^{\alpha }x \bigr) (t) $$

for every \(t\in [0,1]\) and some constant element \(\mathbf{c}\in \mathcal{H}\). Moreover, in view of

$$D^{\alpha -1}x(1) = AD^{\alpha -1}x(\eta), $$

we deduce that

$$T(\mathbf{c}) = \phi \bigl( D^{\alpha }x \bigr), $$

where

  • \(T = I - A\),

  • \(\phi: Y \rightarrow H\) is the following bounded linear operator:

    $$ \phi ( y) = \frac{1}{\Gamma (\alpha)} \biggl( A \int_{0}^{ \eta }y(t)\,dt - \int_{0}^{1} y(t)\,dt \biggr) \quad \mbox{for } y \in Y. $$
    (2.3)

Thus, for convenience, a function \(x\in \operatorname {dom}(L)\) will be represented equivalently as

$$ x(t) = \mathbf{c} t^{\alpha -1} + I^{\alpha }y(t) \quad \mbox{with } T(\mathbf{c}) = \phi ( y). $$
(2.4)

Note that \(D^{\alpha }x=y\).

Remark 2.7

Note that ϕ is a surjective map. Indeed, for each \(\mathbf{c} \in \mathcal{H}\), setting

$$y(t)=\frac{\Gamma (\alpha)(\eta -2t)}{1-\eta } \mathbf{c} \quad \mbox{for } t \in [0,1], $$

we have \(\phi (y)=\mathbf{c}\), by a straightforward computation.

Due to the definition of L and (2.4), by some simple calculations, we can indicate the kernel and the image of L as follows:

$$ \ker L = \bigl\{ x \in X : x(t) = \mathbf{c} t^{\alpha -1} \mbox{ for } \mathbf{c}\in \ker T \bigr\} \cong \ker T, $$
(2.5)

and

$$ \operatorname{Im}L = \bigl\{ y \in Y : \phi (y) \in \operatorname{Im}T \bigr\} = \phi^{-1}(\operatorname {Im}T). $$
(2.6)

Now let us recall the definition of the Moore-Penrose inverse of linear operators. Suppose that T is a linear operator on a Hilbert space. Then we call some linear operator \(T^{\dagger }\) the Moore-Penrose inverse of T if

  1. (i)

    \(T^{\dagger }TT^{\dagger }= T^{\dagger }\);

  2. (ii)

    \(TT^{\dagger }T =T\);

  3. (iii)

    \(TT^{\dagger }\) and \(T^{\dagger }T\) are self-adjoint operators.

It is well known that if T is bounded and has closed range, then \(T^{\dagger }\) uniquely exists and it is continuous. Moreover, \(TT^{\dagger }\) (resp. \(T^{\dagger }T\)) is an orthogonal projection on ImT (resp. \(\operatorname {Im}T^{\dagger }\)). For more details, one can see [31].

Lemma 2.8

Assume that T is a continuous operator with closed range. Then the following two assertions are true.

  1. (i)

    There exists a continuous projection \(Q:Y\rightarrow Y\) such that

    $$\ker Q=\operatorname {Im}L \quad \textit{and}\quad Y=\operatorname {Im}L \oplus \operatorname {Im}Q. $$
  2. (ii)

    L is a Fredholm operator with zero-index if and only if so is T.

Proof

(i) Define a map \(Q : Y \rightarrow Y\) by setting, for \(y \in Y\), that

$$ Qy(t)=q \bigl( I - TT^{\dagger } \bigr) \phi (y)t^{\alpha -1}\quad \mbox{for } t \in [0, 1], $$
(2.7)

where \(q=\frac{\Gamma (\alpha +1)}{\eta^{\alpha }-1}\) is a real constant. It is clear that Q is a continuous linear operator. Moreover, Q is also a projection. Indeed, we observe that

$$\bigl( I - TT^{\dagger } \bigr) A = \bigl( I - TT^{\dagger } \bigr) $$

since

$$\bigl( I - TT^{\dagger } \bigr) (I-A) = \bigl( I - TT^{\dagger } \bigr) T = T-TT^{\dagger }T=0. $$

Then, for every \(r \in \mathbb {R}\), we have

$$\begin{aligned} \bigl( I - TT^{\dagger } \bigr) (r A-I) =& r \bigl( I - TT^{\dagger } \bigr) A - \bigl( I - TT^{\dagger } \bigr) \\ =& r \bigl( I - TT ^{\dagger } \bigr) - \bigl( I - TT^{\dagger } \bigr) \\ =& (r-1) \bigl( I - TT^{\dagger } \bigr). \end{aligned}$$
(2.8)

From (2.3) and (2.6)-(2.8), it follows that

$$\begin{aligned} Q(Qy) (t) =& q \bigl( I - TT^{\dagger } \bigr) \phi (Qy)t^{\alpha -1} \\ =&q \bigl( I - TT^{\dagger } \bigr) \biggl( q \bigl( I - TT^{\dagger } \bigr) \frac{( \eta^{\alpha }A-I)}{\alpha \Gamma (\alpha)}\phi (y) \biggr) t^{\alpha -1} \\ =& q \bigl( I - TT^{\dagger } \bigr) \phi (y) t^{\alpha -1} \\ =& Qy(t) \end{aligned}$$

for every \(t\in [0,1]\). Hence Q is a projection as asserted. On the other hand, we have

$$\begin{aligned} y \in \ker Q \quad \Leftrightarrow &\quad \phi (y)\in \ker \bigl( I - TT^{ \dagger } \bigr) \\ \quad \Leftrightarrow &\quad \phi (y)\in \operatorname {Im}\bigl( TT^{\dagger } \bigr) \\ \quad \Leftrightarrow &\quad \phi (y) \in \operatorname {Im}T \\ \quad \Leftrightarrow &\quad y \in \operatorname {Im}L, \end{aligned}$$

due to the fact that \(TT^{\dagger }\) and \(( I - TT^{\dagger } ) \) are projections and \(\operatorname {Im}( TT^{\dagger } ) =\operatorname {Im}T\). This means that

$$\ker Q = \operatorname {Im}L, $$

and consequently, \(Y=\operatorname {Im}L\oplus \operatorname {Im}Q\).

(ii) To prove this part, we start with the observation that

$$ \operatorname {Im}Q = \bigl\{ y\in Y: y(t)=\mathbf{c}t^{\alpha -1}, t\in [0,1] \mbox{ for } \mathbf{c}\in \ker T^{\dagger } \bigr\} . $$
(2.9)

Indeed, since \(TT^{\dagger }\) is a projection and

$$\ker \bigl( TT^{\dagger } \bigr) =\ker T^{\dagger }, $$

the ‘’ inclusion of (2.9) can be obtained easily. For the converse inclusion, let \(y(t)=\mathbf{c}t^{\alpha -1}\) for \(\mathbf{c} \in \ker T^{\dagger }\). Then, by the surjectivity of ϕ, there exists \(z\in Y\) such that \(q\phi (z)=\mathbf{c}\). It follows that

$$\begin{aligned} Qz(t) = q \bigl( I - TT^{\dagger } \bigr) \phi (z) t^{\alpha -1}= \bigl( I - TT^{\dagger } \bigr) \mathbf{c} t^{\alpha -1}= \mathbf{c} t^{\alpha -1} = y(t) \end{aligned}$$

for every \(t\in [0,1]\). This shows that \(y\in \operatorname {Im}Q\).

Now, by (2.9), we can deduce that ImQ, a complement of ImL in Y, is isomorphic to \(\ker T^{\dagger }\). Besides, since ImT is closed, so is \(\operatorname {Im}L=\phi^{-1}(\operatorname {Im}T)\), due to the continuity of ϕ. We are to prove the main claim of this part. Using the fact that

$$H=\operatorname {Im}\bigl( TT^{\dagger } \bigr) \oplus \ker \bigl( TT^{\dagger } \bigr) =\operatorname {Im}T \oplus \ker T^{\dagger }, $$

we can see that T is a Fredholm operator with zero-index if and only if

$$ \dim \ker T^{\dagger }= \dim \ker T < \infty. $$
(2.10)

This is clear to be a necessary and sufficient condition for which L is a Fredholm operator with zero-index. Then the proof of lemma is complete. □

Remark 2.9

If (1.5) holds, we can give another expression of Q quite simpler than (2.7). Specifically, we set

$$Qy(t)=q(I-\kappa T)\phi (y)t^{\alpha -1}. $$

This also claims that the projection Q as such is in general not unique.

Remark 2.10

Lemma 2.8 will be no longer true in the general case that \(\mathcal{H}\) is a Banach space. If \(\mathcal{H}\) is a Banach space rather than a Hilbert space, for this lemma to remain true, we need to add one more assumption to this lemma. Additional assumption is that T has the Moore-Penrose inverse \(T^{\dagger }\in \mathcal{L(H)}\).

Now, we define a linear operator \(P : X \rightarrow X\) by

$$ Px(t) = \frac{1}{\Gamma (\alpha)} \bigl( I - T^{\dagger }T \bigr) D^{ \alpha -1}x(0)t^{\alpha -1},\quad t \in [0, 1], x\in X. $$
(2.11)

Note that P is the continuous operator on X. Moreover, the following lemma provides some properties of P as well as \(K_{P}\).

Lemma 2.11

The following statements are true.

  1. (i)

    The operator P in (2.11) is projection and satisfies that

    $$\ker L=\operatorname {Im}P,\qquad X = \ker P \oplus \ker L. $$
  2. (ii)

    The map \(K_{P} : \operatorname {Im}L \rightarrow \operatorname {dom}(L) \cap \ker P\) is defined by

    $$ K_{P}y(t) = T^{\dagger } \phi (y)t^{\alpha -1} + I^{\alpha }y(t)\quad \textit{for } t \in [0, 1], $$
    (2.12)

    satisfying

    $$K_{P} = L_{P}^{-1}\quad \textit{and} \quad \Vert K_{P}y\Vert \leq C\Vert y\Vert _{1}, $$

    where \(C =\frac{1}{\Gamma (\alpha)} ( 1 + \Vert T^{\dagger }\Vert _{\mathcal{L(H)}} ( 1 + \Vert A\Vert _{\mathcal{L(H)}} )) \).

Proof

(i) We first notice that

$$\textstyle\begin{cases} D^{\alpha -1} ( t^{\alpha -1} ) (t)=\Gamma (\alpha), \\ D^{\alpha } ( t^{\alpha -1} ) (t)=0 \end{cases} $$

for every \(t\in [0,1]\). Since \(( I-T^{\dagger }T ) \) is a projection, then so is P, by a straightforward computation. Furthermore, P is onto kerL, that is, \(\operatorname {Im}P = \ker L\). Indeed, because the inclusion \(\operatorname {Im}P \subset \ker L\) can be proved simply, we need only prove the converse one: \(\ker L \subset \operatorname {Im}P\). Suppose that \(x(t)=\mathbf{c} t^{\alpha -1}\in \ker L\), where

$$\mathbf{c}\in \ker T = \operatorname {Im}\bigl( I-T^{\dagger }T \bigr), $$

or

$$\mathbf{c}= \bigl( I-T^{\dagger }T \bigr) \mathbf{c}_{1} \quad \mbox{for some } \mathbf{c}_{1}\in \mathcal{H}. $$

Then, by again using \(D^{\alpha -1} ( t^{\alpha -1} ) (t)= \Gamma (\alpha)\), we have

$$Px(t)= \bigl( I-T^{\dagger }T \bigr) \mathbf{c} t^{\alpha -1}= \bigl( I-T ^{\dagger }T \bigr) ^{2} \mathbf{c}_{1}t^{\alpha -1}= \bigl( I-T^{ \dagger }T \bigr) \mathbf{c}_{1}t^{\alpha -1}=x(t). $$

This implies \(x \in \operatorname {Im}P\). As a consequence, we obtain \(X = \ker P \oplus \ker L\).

(ii) Assume that \(y \in \operatorname {Im}L\). Then \(\phi (y) = T\mathbf{c} \) for some \(\mathbf{c} \in H\). From (2.11)-(2.12), we have

$$PK_{P}y(t) = \bigl( I-T^{\dagger }T \bigr) T^{\dagger } \phi (y)= \bigl( I-T ^{\dagger }T \bigr) T^{\dagger }T\mathbf{c} = 0\quad \mbox{for all } t \in [0, 1], $$

that means \(K_{P}y\in \ker P\). Moreover, we get \(K_{P}y\in \operatorname {dom}(L)\) due to the fact that

$$T \bigl( T^{\dagger }\phi (y) \bigr) = \bigl( TT^{\dagger } \bigr) (T \mathbf{c}) = T\mathbf{c}=\phi (y) $$

combined with (2.4). Hence \(K_{P}\) is well defined.

We next show that \(K_{P}\) is the inverse operator of \(L_{P}\). Clearly, it suffices to show that \(K_{P}\) is a left-inverse of \(L_{P}\). Let \(x \in \operatorname {dom}(L) \cap \ker P\), then

$$x(t)=\mathbf{c} t^{\alpha -1}+I^{\alpha }Lx(t), $$

where

$$T(\mathbf{c})=\phi (Lx)\quad \mbox{for } \mathbf{c} \in \ker \bigl( I-T^{\dagger }T \bigr). $$

Thus

$$\begin{aligned} K_{P}L_{P}x(t) = & T^{\dagger }\phi (Lx)t^{\alpha -1} + I^{\alpha }Lx(t) \\ = & T^{\dagger } ( T \mathbf{c} ) t^{\alpha -1} + I^{\alpha }Lx(t) \\ =& \mathbf{c} t^{\alpha -1} + I^{\alpha }Lx(t) \\ =& x(t),\quad \forall t\in [0,1]. \end{aligned}$$

The rest of the proof regarding the continuity of \(K_{P}\) is quite simple. Noting from (2.12) that

$$ \bigl( D^{\alpha -1}K_{P}y \bigr) (t) =\Gamma (\alpha)T^{\dagger } \phi (y)+ \int_{0}^{t} y(s)\,ds\quad \mbox{for all } t\in [0, 1] $$
(2.13)

and combining (2.3), (2.12)-(2.13) together, we immediately establish the following estimates:

  • \(\Vert \phi (y)\Vert _{\mathcal{H}} \leq \frac{1}{\Gamma (\alpha)} ( 1 + \Vert A\Vert _{\mathcal{L(H)}} ) \Vert y\Vert _{1}\),

  • \(\Vert K_{P}y\Vert _{\infty }\leq \frac{1}{\Gamma (\alpha)} ( 1 + \Vert T^{\dagger }\Vert _{\mathcal{L(H)}} + \Vert A\Vert _{ \mathcal{L(H)}}\Vert T^{\dagger }\Vert _{\mathcal{L(H)}} ) \Vert y\Vert _{1}\),

  • \(\Vert D^{\alpha -1}(K_{P}y)\Vert _{\infty }\leq ( 1 + \Vert T^{\dagger }\Vert _{\mathcal{L(H)}} + \Vert A\Vert _{\mathcal{L(H)}} \Vert T^{\dagger }\Vert _{\mathcal{L(H)}} ) \Vert y\Vert _{1}\).

These inequalities lead to \(\Vert K_{P}y\Vert \leq C\Vert y\Vert _{1}\), where \(C =\frac{1}{\Gamma (\alpha)} ( 1 + \Vert T^{\dagger} \Vert _{\mathcal{L(H)}} ( 1 + \Vert A\Vert _{\mathcal{L(H)}} )) \) and thus finish the proof of the lemma. □

2.3.2 L-complete continuity of the nonlinear operator N

Lemma 2.12

The operator N is (2.2) is L-compact.

Proof

Assume that \(\Omega \subset X\) is bounded. By assumption (A4) on f, there is a function \(\varphi_{\Omega } \in Y\) such that

$$ \bigl\Vert Nx(t)\bigr\Vert _{\mathcal{H}} = \bigl\Vert f\bigl(t, x(t), D^{\alpha -1}x(t)\bigr)\bigr\Vert _{\mathcal{H}} \leq \varphi_{\Omega }(t) $$
(2.14)

for almost every \(t \in [0, 1]\) and for all \(x \in \Omega \). It follows from the equality

$$QNx(t) = q \bigl( I - TT^{\dagger } \bigr) \phi (Nx) t^{\alpha -1} $$

and (2.3) and (2.14) that \(QN(\overline{\Omega })\) is bounded. In addition, the continuity of QN is deduced thanks to the Lebesgue dominated convergence theorem.

Next we prove that \(K_{P,Q}N\) is completely continuous. Again using the Lebesgue dominated convergence theorem, we can show that \(K_{P,Q}N\) is continuous. It suffices to prove that \(K_{P,Q}N\) is compact. For this purpose, we first observe that, for every \(x \in \Omega \) and for every \(0\leq t_{1}< t_{2} \leq 1\),

$$\begin{aligned}& \bigl\Vert K_{P,Q}Nx(t_{2}) - K_{P,Q}Nx(t_{1})\bigr\Vert _{\mathcal{H}} \\& \quad \leq \frac{1}{\Gamma (\alpha)} \int_{0}^{t_{1}}\bigl\vert (t_{2}-s)^{ \alpha -1}-(t_{1}-s)^{\alpha -1} \bigr\vert \bigl\Vert Nx(s)\bigr\Vert _{ \mathcal{H}}\,ds \\& \qquad {} + \frac{1}{\Gamma (\alpha)} \int_{t_{1}}^{t_{2}}(t_{2}-s)^{\alpha -1}\bigl\Vert Nx(s)\bigr\Vert _{\mathcal{H}}\,ds \\& \qquad {} + \bigl\Vert T^{\dagger }\phi (Nx)\bigr\Vert _{\mathcal{H}} \vert t_{2} - t_{1} \vert ^{\alpha -1} \\& \qquad {} +\frac{\vert q\vert \Gamma (\alpha)}{\Gamma (2\alpha)}\bigl\Vert \phi (Nx)\bigr\Vert _{ \mathcal{H}}\bigl\vert t_{2}^{2\alpha -1}-t_{1}^{2\alpha -1}\bigr\vert . \end{aligned}$$
(2.15)

Using the inequality that

$$\bigl\vert a^{p}-b^{p}\bigr\vert \leq \vert a-b \vert ^{p}\quad \mbox{for all } a,b\geq 0 \mbox{ and } 0< p\leq 1, $$

we imply from (2.15) that

$$\begin{aligned}& \bigl\Vert K_{P,Q}Nx(t_{2}) - K_{P,Q}Nx(t_{1})\bigr\Vert _{\mathcal{H}} \\& \quad \leq \frac{2}{\Gamma (\alpha)}\vert t_{2}-t_{1}\vert ^{\alpha -1} \Vert \varphi_{\Omega }\Vert _{1} + \frac{1}{\Gamma (\alpha)} \bigl( 1 + \Vert A\Vert _{ \mathcal{L(H)}} \bigr) \bigl\Vert T^{\dagger }\bigr\Vert _{\mathcal{L(H)}} \vert t_{2} - t_{1}\vert ^{\alpha -1}\Vert \varphi_{\Omega }\Vert _{1} \\& \qquad {}+ \frac{\vert q\vert }{\Gamma (2\alpha)} \bigl( 1 + \Vert A\Vert _{ \mathcal{L(H)}} \bigr) \bigl\Vert T^{\dagger }\bigr\Vert _{\mathcal{L(H)}} \bigl\vert t_{2}^{2\alpha -1}-t_{1}^{2\alpha -1}\bigr\vert \Vert \varphi_{\Omega }\Vert _{1}. \end{aligned}$$
(2.16)

In addition, due to (2.13) we have

$$ \bigl\Vert D^{\alpha -1} ( K_{P,Q}Nx) (t_{2}) - D^{\alpha -1} ( K_{P,Q}Nx) (t_{1}) \bigr\Vert _{\mathcal{H}} \leq \int_{t_{1}} ^{t_{2}}\varphi_{\Omega }(s)\,ds + C_{3}\Vert \varphi_{\Omega }\Vert _{1}\bigl\vert t_{2}^{\alpha } - t_{1}^{\alpha }\bigr\vert . $$
(2.17)

These two estimates (2.16), (2.17) show that the families \(K_{P,Q}N(\Omega)\) and \(D^{\alpha -1}K_{P,Q}N(\Omega)\) are equicontinuous in \(C([0,1]; \mathcal{H})\).

On the other hand, in view of (A4), the set \(\{ Nx(t): x\in \Omega \} \) is relatively compact in \(\mathcal{H}\) almost all \(t\in [0,1]\). Then, due to the Lebesgue dominated convergence theorem, we can prove that \(\{ K_{P,Q}Nx(t): x\in \Omega \} \) and \(\{ D^{\alpha -1}K_{P,Q}Nx(t): x\in \Omega \} \) are relatively compact in \(\mathcal{H}\) for every \(t\in [0,1]\). Therefore, Lemma 2.6 guarantees that \(K_{P,Q}N(\Omega)\) is relatively compact in X. This means that the operator \(K_{P,Q}N\) is compact. The lemma is then proved. □

3 Main result

The main result of this paper is the following theorem.

Theorem 3.1

Let (A1)-(A4) hold, and let the following assumptions (B1)-(B3) be satisfied.

  1. (B1)

    There exist positive real functions \(a, b, c \in L^{1}[0,1]\) with \(( \frac{1}{\Gamma (\alpha)} +C ) ( \Vert a\Vert _{L^{1}} + \Vert b\Vert _{L^{1}} ) < 1 \) such that

    $$ \bigl\Vert f(t, x, y)\bigr\Vert _{\mathcal{H}} \leq a(t)\Vert x\Vert _{ \mathcal{H}} + b(t)\Vert y\Vert _{\mathcal{H}} + c(t) $$
    (3.1)

    for almost every \(t\in [0,1]\), for every \((x, y) \in H\times H\), with constant C given in Lemma  2.11.

  2. (B2)

    There is a constant \(\Lambda_{1}>0\) such that if \(x \in \operatorname {dom}(L)\) and \(\min_{t \in [0, 1]}\Vert D^{\alpha -1}x(t)\Vert _{\mathcal{H}} > \Lambda_{1}\), then

    $$ \int_{\eta }^{1}f \bigl( t, x(t), D^{\alpha -1}x(t) \bigr)\,dt \notin \operatorname {Im}T. $$
    (3.2)
  3. (B3)

    There is a constant \(\Lambda_{2}>0\) together with an isomorphism \(J: \operatorname {Im}Q \rightarrow \ker L \) satisfying either

    $$ \bigl\langle \mathbf{c}, \mathrm{JQN}\bigl( \mathbf{c} t^{\alpha -1} \bigr) \bigr\rangle \geq 0, $$
    (3.3)

    or

    $$ \bigl\langle \mathbf{c}, \mathrm{JQN}\bigl( \mathbf{c} t^{\alpha -1} \bigr) \bigr\rangle \leq 0 $$
    (3.4)

    for every \(\mathbf{c} \in \ker T\) satisfying \(\Vert \mathbf{c}\Vert _{\mathcal{H}} > \Lambda_{2}\), and for some \(t\in (0,1]\).

Then problem (1.1) has at least one solution in X.

The proof of the theorem needs several auxiliary results. We present them first, in the next three lemmas.

Lemma 3.2

Let \(\Omega_{1} = \{ x \in \operatorname {dom}(L) \setminus \ker L : Lx = \lambda Nx, 0<\lambda \leq 1 \} \). Then \(\Omega_{1}\) is a bounded subset in X.

Proof

Assume \(x \in \Omega_{1}\), so \(Lx = \lambda Nx\) for some \(0< \lambda \leq 1\). We have

$$Nx= \frac{1}{\lambda }Lx \in \operatorname {Im}L, $$

then, by (2.6), we have \(\phi (Nx) \in \operatorname {Im}T\). Therefore

$$\int_{\eta }^{1}Nx(t)\,dt = -\Gamma (\alpha)\phi (Nx) -T \biggl( \int_{0} ^{\eta }Nx(t)\,dt \biggr) \in \operatorname {Im}T. $$

It follows from (B2) that \(\Vert D^{\alpha -1}x(s)\Vert _{ \mathcal{H}} \leq \Lambda_{1}\) for some \(s\in [0,1]\). We thus obtain

$$ \bigl\Vert D^{\alpha -1}x(0)\bigr\Vert _{\mathcal{H}} \leq \bigl\Vert D^{\alpha -1}x(s)\bigr\Vert _{\mathcal{H}} + \biggl\Vert \int_{0}^{s}D^{\alpha }x(t)\,dt\biggr\Vert _{\mathcal{H}} \leq \Lambda_{1} +\Vert Lx\Vert _{1} \leq \Lambda _{1} +\Vert Nx\Vert _{1}, $$
(3.5)

and hence

$$ \Vert Px\Vert \leq \frac{1}{\Gamma (\alpha)}\bigl\Vert D^{\alpha -1}x(0)\bigr\Vert _{\mathcal{H}} \leq \frac{1}{\Gamma (\alpha)} \bigl( \Lambda_{1} + \Vert Nx\Vert _{1} \bigr). $$
(3.6)

Furthermore, since P is the projection on X, \(( \mathrm{Id}_{X}-P ) x \in \operatorname {dom}(L) \cap \ker P\), we have

$$ \bigl\Vert ( \mathrm{Id}_{X} - P ) x\bigr\Vert = \bigl\Vert K_{P}L ( \mathrm{Id}_{X} - P ) x\bigr\Vert \leq \Vert K_{P}Lx\Vert \leq C\Vert Nx\Vert _{1}, $$
(3.7)

where constant C in Lemma 2.11 and \(\mathrm{Id}_{X}\) stands for the identity mapping on X. Combining (3.6)-(3.7) yields

$$\begin{aligned} \Vert x\Vert =& \bigl\Vert Px + ( \mathrm{Id}_{X} - P ) x\bigr\Vert \leq \Vert Px\Vert + \bigl\Vert ( \mathrm{Id}_{X} - P ) x\bigr\Vert \\ \leq & \frac{\Lambda_{1}}{\Gamma (\alpha)} + \biggl( \frac{1}{\Gamma (\alpha)} + C \biggr) \Vert Nx \Vert _{1}. \end{aligned}$$

Besides, (B1) gives us

$$\begin{aligned} \Vert Nx\Vert _{1} = & \int_{0}^{1}\bigl\Vert f \bigl( t, x(t), D^{ \alpha -1}x(t) \bigr) \bigr\Vert _{\mathcal{H}}\,dt \\ \leq & \Vert a\Vert _{L^{1}}\Vert x\Vert _{\infty } + \Vert b\Vert _{L^{1}}\bigl\Vert D^{\alpha -1}u\bigr\Vert _{\infty } + \Vert c\Vert _{L^{1}} \\ \leq & \bigl( \Vert a\Vert _{L^{1}} + \Vert b\Vert _{L^{1}} \bigr) \Vert x\Vert + \Vert c\Vert _{L^{1}}. \end{aligned}$$

Thus

$$\Vert x\Vert \leq \frac{\frac{\Lambda_{1}}{\Gamma (\alpha)} + ( \frac{1}{\Gamma (\alpha)} + C ) \Vert c\Vert _{L^{1}}}{1 - ( \frac{1}{\Gamma (\alpha)} + C ) ( \Vert a\Vert _{L^{1}} + \Vert b\Vert _{L^{1}} ) }, $$

that is, \(\Omega_{1}\) is bounded. The proof is complete. □

Lemma 3.3

Let \(\Omega_{2} = \{ x \in \ker L : Nx \in \operatorname {Im}L \} \). Then \(\Omega_{2}\) is a bounded subset in X.

Proof

Assume \(x \in \Omega_{2}\). Then \(Nx \in \operatorname {Im}L\) and there is some \(\mathbf{c} \in \ker T\) for which \(x(t) =\mathbf{c} t^{\alpha -1}\). Similarly, arguing as in the proof of Lemma 3.2, we also have \(\Vert D^{\alpha -1}x(t_{0})\Vert _{\mathcal{H}} \leq \Lambda_{1}\) for some \(s\in [0,1]\). This leads to \(\Vert \mathbf{c}\Vert _{\mathcal{H}} \leq \frac{\Lambda_{1}}{\Gamma (\alpha)}\), and hence

$$\Vert x\Vert = \Vert x\Vert _{\infty } = \Vert \mathbf{c}\Vert _{\mathcal{H}} \leq \frac{\Lambda_{1}}{\Gamma (\alpha)}, $$

that is, \(\Omega_{2}\) is bounded, or the proof is complete. □

Lemma 3.4

Setting

$$\Omega^{+}_{3} = \bigl\{ x \in \ker L : \lambda x + (1- \lambda)\mathrm{JQN}x = \theta, 0\leq \lambda \leq 1 \bigr\} $$

and

$$\Omega^{-}_{3} = \bigl\{ x \in \ker L : -\lambda x + (1- \lambda)\mathrm{JQN}x = \theta, 0\leq \lambda \leq 1 \bigr\} , $$

we have

  1. (i)

    The set \(\Omega^{+}\) is bounded in X if (3.3) holds.

  2. (ii)

    The set \(\Omega^{-}\) is bounded in X if (3.4) holds.

Proof

(i) Assume \(x \in \Omega_{3}^{+}\). Then \(x(t) = \mathbf{c} t^{\alpha -1}\) for some \(\mathbf{c} \in \ker T\) and

$$(1-\lambda)\mathrm{JQN}x(t) = -\lambda x(t)\quad \mbox{for every } t \in [0,1], \mbox{for some} \lambda \in [0, 1]. $$

This deduces for the case \(\lambda = 0\) that \(Nx \in \ker (JQ) = \ker Q = \operatorname{Im}L\), then \(x \in \Omega_{2}\). Due to Lemma 3.3, \(\Vert x\Vert \) is bounded.

For the case \(\lambda >0\), we argue by contradiction. Suppose that \(\Vert \mathbf{c}\Vert _{\mathcal{H}} > \Lambda_{2}\). Then, by (3.3), there exists \(t>0\) for which

$$0 \leq (1-\lambda) \bigl\langle \mathbf{c}, \mathrm{JQN}\bigl( \mathbf{c} t^{ \alpha -1} \bigr) \bigr\rangle = \bigl\langle \mathbf{c}, -\lambda \mathbf{c} t^{\alpha -1} \bigr\rangle = -\lambda t^{\alpha -1}\Vert \mathbf{c} \Vert _{\mathcal{H}}^{2}< 0, $$

this cannot happen. Hence, we have \(\Vert x\Vert =\Vert x\Vert _{\infty } = \Vert \mathbf{c} \Vert _{\mathcal{H}} \leq \Lambda _{2}\), or \(\Omega_{3}^{-}\) is bounded.

(ii) Similarly, the boundedness of \(\Omega_{3}^{+}\) is established. The lemma is proved. □

Now we focus on proving Theorem 3.1.

Proof of Theorem 3.1

Our purpose is to apply Theorem 2.5 by verifying all its conditions (i)-(iii). Firstly, we set Ω is a bounded and open subset in X for which \(\bigcup_{i=1}^{3}\overline{\Omega }_{i} \subset \Omega \), where

$$\Omega_{3}= \textstyle\begin{cases} \Omega_{3}^{+}& \mbox{if (3.3) holds,} \\ \Omega_{3}^{-}& \mbox{if (3.4) holds}. \end{cases} $$

Simply, assumption (i) and assumption (ii) in Theorem 2.5 are satisfied thanks to Lemma 3.2 and Lemma 3.3. It is sufficient to check if assumption (iii) also holds. To do this, we use the Brouwer degree property of the invariance with a continuous homotopy. Namely, consider a homotopy \({H_{\lambda }: X \rightarrow X}\) defined by

$$H_{\lambda }(x) = \pm \lambda x + (1-\lambda)\mathrm{JQN}x \quad \mbox{for } \lambda \in [0,1], $$

in which \(J : \operatorname {Im}Q \rightarrow \ker L\) is isomorphic assumed in (B3). Lemma 3.4 gives us that

$$H_{\lambda }(x) \neq 0\quad \mbox{for all } x \in \ker L \cap \partial \Omega, \mbox{for all } \lambda \in [0,1]. $$

Therefore,

$$\begin{aligned} \deg ( \mathrm{JQN}\vert _{\ker L}, \Omega \cap \ker L, 0 ) = & \deg ( H_{0}, \Omega \cap \ker L, 0 ) \\ = & \deg ( H_{1}, \Omega \cap \ker L, 0 ) \\ = & \deg ( \pm \mathrm{Id}, \Omega \cap \ker L, 0 ) \\ = & \pm 1 \neq 0. \end{aligned}$$

Hence, (iii) holds as claimed. The proof of the theorem is complete. □

Remark 3.5

If \(\mathcal{H}\) is a Banach space, assumption (B3) needs to be slightly modified. Precisely, two inequalities (3.3), (3.4) are respectively generalized as

$$\bigl\langle \tilde{\mathbf{c}}, \mathrm{JQN}\bigl( \mathbf{c} t^{\alpha -1} \bigr) \bigr\rangle \geq 0 $$

and

$$\bigl\langle \tilde{\mathbf{c}}, \mathrm{JQN}\bigl( \mathbf{c} t^{\alpha -1} \bigr) \bigr\rangle \leq 0, $$

in which \(\tilde{\mathbf{c}}\in \mathcal{H}'\) (the dual space of \(\mathcal{H}\)) with \(\langle \tilde{\mathbf{c}}, \mathbf{c} \rangle = \Vert \mathbf{c}\Vert ^{2}_{\mathcal{H}}\), and \(\langle \cdot,\cdot \rangle \) now stands for the scalar product for the duality \(\mathcal{H}'\), \(\mathcal{H}\). Then the proof of Lemma 3.4 is modified correspondingly; the result of Theorem 3.1 still holds.

4 Example and discussion

This section is to provide one illustrative example of Theorem 3.1. Before presenting the example, we should note that giving such a significant example is a challenging task in the case that \(\mathcal{H}\) is infinite dimensional. It is caused by two major reasons. The first one is that it is not trivial to give a suitable nonlinear function f in an infinite dimensional space. The second one, which is more difficult to overcome, is that so far there has been no effective method to find the Moore-Penrose inverse of a general bounded linear operator on Hilbert spaces or of a Fredholm operator with zero-index. For instance, some recent works [26, 32] for the first time give the examples in an infinite dimensional space. However, to the best of our knowledge, these examples are still controversial.

Indeed, in [26], Section 4, and also in [32], Section 4, for the case \(\mathcal{H}=l^{2}\), there is a gap in setting the expression of f. Namely, the function \(f_{1}(t, u, v)\) in [26], Section 4, is not continuous with respect to the third variable at points which \(\Vert v\Vert _{l^{2}}=\Vert (y_{i})_{i=1}^{\infty }\Vert _{l^{2}}\geq 1\) such that \(y_{1}=0\). This means that f is not a Carathéodory function, one assumption must be satisfied. Moreover, in [32], Section 4, finding the Moore-Penrose inverse of \(\mathcal{M}\) is not much helpful because the given operator \(\mathcal{M}\) does not need to be Fredholm with zero-index as a prerequisite. This is derived from another gap in [32], Lemma 2.6, that the condition on A is not sufficient to conclude that \(\operatorname {Im}Q=\ker L\).

In what follows, we give an example for the case that \(\mathcal{H}\) is finite dimensional. The example in an infinite dimensional space would be presented in our future research with more careful consideration.

Example 4.1

Consider the existence of solutions to the following fractional differential equations:

$$ D^{3/2}_{0^{+}} \left( \begin{matrix}x_{1} \\ x_{2}\end{matrix}\right) (t) = \left( \begin{matrix}{\frac{t^{5}+1}{22} ( \vert x_{1}(t)\vert +\vert x_{2}(t)\vert ) + \frac{t^{3}+1}{33} ( \vert D^{1/2}_{0^{+}}x_{1}(t)\vert + \vert D^{1/2}_{0^{+}}x_{2}(t)\vert ) +\sqrt{t+1}} \\ {\frac{t^{5}+1}{22}(x_{1}(t)+ x_{2}(t)) + \frac{t^{3}+1}{33} ( D^{1/2}_{0^{+}}x_{1}(t) + D^{1/2} _{0^{+}}x_{2}(t)) +\frac{\sqrt{t+1}}{2}}\end{matrix}\right) $$
(4.1)

subject to

$$ \left ( \begin{matrix} x_{1} \\ x_{2} \end{matrix} \right ) (0) =\left ( \begin{matrix} 0 \\ 0 \end{matrix} \right )\quad \textit{and}\quad D^{1/2}_{0^{+}} \left ( \begin{matrix} x_{1} \\ x_{2} \end{matrix} \right ) (1) = \left[ \begin{matrix}3&-9 \\ 2&-8\end{matrix}\right] D^{1/2}_{0^{+}} \left ( \begin{matrix} x_{1} \\ x_{2} \end{matrix} \right ) \biggl( \frac{1}{2} \biggr). $$
(4.2)

Set \(\alpha =\frac{3}{2}\), \(\eta =\frac{1}{2}\),

$$A = \left[ \begin{matrix} 3&-9 \\ 2&-8 \end{matrix}\right] , $$

and define \(f: [0, 1] \times \mathbb{R}^{2}\times \mathbb{R}^{2} \rightarrow \mathbb{R}^{2}\) by setting

$$ f(t, x, y) = \bigl( f_{1}(t, x, y), f_{2}(t, x, y) \bigr), $$
(4.3)

where \(f_{1}, f_{2}: [0, 1] \times \mathbb{R}^{2}\times \mathbb{R} ^{2} \rightarrow \mathbb{R}\) are functions given by

$$ f_{1}(t, x, y) = \frac{t^{5}+1}{22} \bigl( \vert x_{1}\vert +\vert x_{2}\vert \bigr) + \frac{t ^{3}+1}{33} \bigl( \vert y_{1}\vert +\vert y_{2} \vert \bigr) +\sqrt{t+1} $$
(4.4)

and

$$ f_{2}(t, x, y) = \frac{t^{5}+1}{22} ( x_{1}+x_{2} ) +\frac{t ^{3}+1}{33}(y_{1}+y_{2}) + \frac{\sqrt{t+1}}{2} $$
(4.5)

for \(t \in [0, 1]\) and \(x=(x_{1}, x_{2})\), \(y=(y_{1}, y_{2}) \in \mathbb{R}^{2}\). Then problem (4.1)-(4.2) becomes problem (1.1). Our purpose is to apply Theorem 3.1 in order to establish the existent result of (4.1)-(4.2).

It is clear that (A1)-(A4) are satisfied. We need to verify (B1)-(B3). From (4.3)-(4.5) we have

$$\bigl\Vert f(t, x, y)\bigr\Vert _{\mathbb {R}^{2}} \leq a(t)\Vert x\Vert _{\mathbb {R}^{2}} + b(t)\Vert y\Vert _{\mathbb {R}^{2}} + c(t) $$

for every \(0\leq t\leq 1\) and for every \(x, y \in \mathbb{R}^{2}\), in which

$$a(t) = \frac{\sqrt{2}(t^{5}+1)}{11},\qquad b(t) = \frac{2\sqrt{2} ( t^{3}+1) }{33},\qquad c(t)=\frac{3}{2} \sqrt{t+1}. $$

Moreover, some direct calculations give us

$$T= \left[ \begin{matrix}-2&9 \\ -2&9\end{matrix}\right] \quad \mbox{and}\quad T^{\dagger } = \left[ \begin{matrix}-\frac{1}{85} &-\frac{1}{85} \\ \frac{9}{170}&\frac{9}{170}\end{matrix}\right] . $$

It follows that

$$\biggl( \frac{1}{\Gamma (\alpha)} +C \biggr) \bigl( \Vert a\Vert _{L^{1}} + \Vert b\Vert _{L^{1}} \bigr) \approx 0.66314 < 1. $$

Hence, (B1) holds. On the other hand, observe that

$$f_{1} \bigl( t, x(t), D_{0^{+}}^{1/2}x(t) \bigr) > f_{2} \bigl( t, x(t), D _{0^{+}}^{1/2}x(t) \bigr),\quad \forall t \in [0,1], $$

for all \(x \in \operatorname {dom}(L)\). This implies that

$$\int_{\eta }^{1}f \bigl( t, x(t), D_{0^{+}}^{1/2}x(t) \bigr)\,dt \notin \operatorname {Im}T $$

due to the fact that \(\operatorname {Im}T = \langle (1,1) \rangle = \{ (c, c): c \in \mathbb{R} \} \); that is, (B2) holds. Finally, to check (B3) we see that

$$\ker L= \bigl\{ x:[0,1]\rightarrow \mathbb {R}^{2}: x(t)=c\sqrt{t}(9,2),t \in [0,1], c\in \mathbb {R}\bigr\} $$

and

$$\operatorname {Im}Q= \bigl\{ y:[0,1]\rightarrow \mathbb {R}^{2}: y(t)=c\sqrt{t}(1,-1), t \in [0,1], c\in \mathbb {R}\bigr\} , $$

and \(J:\operatorname {Im}Q\rightarrow \ker L\) isomorphism defined as

$$(Jz) (t) = \left[ \begin{matrix}10 & 1 \\ 2&0\end{matrix}\right] z(t), \quad z\in \operatorname {Im}Q. $$

Thus, we get

$$ JQ(z) (t) = \frac{3\sqrt{\pi }\sqrt{t}}{2\sqrt{2}-8} \left[ \begin{matrix} 9 & -9 \\ 2&-2 \end{matrix}\right] \phi (z) $$
(4.6)

for all \(z \in L^{1}([0, 1], \mathbb{R}^{2})\). By \(\ker T=\langle (9,2) \rangle \), suppose that \(\gamma = (9a, 2a) \in \ker T\) for some \(a\in \mathbb {R}\). Then

$$\begin{aligned} N\bigl(\gamma t^{1/2}\bigr) (t) =& \left[ \begin{matrix} f_{1}(t, \gamma t^{1/2}, \frac{\sqrt{\pi }}{2}\gamma) \\ f_{2}(t, \gamma t^{1/2}, \frac{\sqrt{\pi }}{2}\gamma) \end{matrix}\right] \\ =& \biggl( \frac{1}{2}\bigl(t^{5}+1\bigr)\sqrt{t}+ \frac{\sqrt{\pi }}{6}\bigl(t ^{3}+1\bigr) \biggr) \left[ \begin{matrix} \vert a\vert \\ a \end{matrix}\right] + \frac{\sqrt{t+1}}{2} \left[ \begin{matrix} 2 \\ 1 \end{matrix}\right] , \end{aligned}$$

and hence

$$ \textstyle\begin{cases} {\int_{0}^{1/2}N(\gamma t^{1/2})(t)\,dt} = ( \frac{419\sqrt{2}}{4992}+\frac{11\sqrt{ \pi }}{128} ) \left[ \begin{matrix} \vert a\vert \\ a \end{matrix}\right] +\frac{3\sqrt{6}-4}{12} \left[ \begin{matrix} 2 \\ 1 \end{matrix}\right] , \\ {\int_{0}^{1}N(\gamma t^{1/2})(t)\,dt}= ( \frac{16}{39}+\frac{5\sqrt{ \pi }}{24} ) \left[ \begin{matrix} \vert a\vert \\ a \end{matrix}\right] +\frac{2\sqrt{2}-1}{3} \left[ \begin{matrix} 2 \\ 1 \end{matrix}\right] . \end{cases} $$
(4.7)

It follows from (2.3) and (4.7) that

$$\begin{aligned}& \phi \bigl( N\bigl(\gamma t^{1/2}\bigr) \bigr) \\& \quad = \frac{1}{\Gamma (\alpha)} \biggl( A { \int_{0}^{1/2}N\bigl(\gamma t^{1/2}\bigr) (t)\,dt} - { \int_{0}^{1}N\bigl(\gamma t^{1/2}\bigr) (t)\,dt} \biggr) \\& \quad =\frac{2}{\sqrt{\pi }} \left[ \begin{matrix} ( \frac{419\sqrt{2}}{1664}-\frac{16}{39}+ \frac{19\sqrt{\pi }}{384} ) \vert a\vert - ( \frac{1257\sqrt{2}}{1664}+\frac{99\sqrt{ \pi }}{128} ) a - \frac{3\sqrt{6}}{4}+\frac{4\sqrt{2}+1}{3} \\ ( \frac{419\sqrt{2}}{1664}+\frac{11\sqrt{\pi }}{64} ) \vert a\vert - ( \frac{419\sqrt{2}}{624}+\frac{43\sqrt{\pi }}{48}+ \frac{16}{39} ) a + \frac{2\sqrt{2}}{3}-\sqrt{6}+1 \end{matrix}\right] . \end{aligned}$$
(4.8)

Combining (4.6) and (4.8), we obtain

$$\begin{aligned} \mathrm{JQN}\bigl( \gamma t^{1/2} \bigr) =& \frac{\sqrt{t}}{1664(\sqrt{2}-4)} \bigl( (2048-419 \sqrt{2}+611\sqrt{\pi }) \bigl(a-\vert a\vert \bigr)+3328\sqrt{2} \\ &{}+1248 \sqrt{6}-3328 \bigr) \left[ \begin{matrix} 9 \\ 2 \end{matrix}\right] . \end{aligned}$$

Therefore,

$$\begin{aligned} \bigl\langle \gamma, \mathrm{JQN}\bigl( \gamma t^{\alpha -1} \bigr) \bigr\rangle =& \theta (t) \bigl[ (2048-419\sqrt{2}+611\sqrt{\pi }) \bigl( a^{2}-\vert a\vert a \bigr) \\ &{} + ( 3328\sqrt{2}+1248\sqrt{6}-3328) a \bigr] , \end{aligned}$$

where \(\theta (t)=\frac{85\sqrt{t}}{1664(\sqrt{2}-4)}\leq 0\) for every \(0\leq t \leq 1\). This deduces that \(\langle \gamma, \mathrm{JQN}( \gamma t^{\alpha -1} ) \rangle \leq 0\) for all \(t\in [0,1]\), for \(\vert a\vert \) large enough. Hence, (B3) holds. Problem (4.1)-(4.2) thus has at least one solution.

Remark 4.2

We should comment on the computation of the Moore-Penrose inverse matrix \(T^{\dagger }\) in the above example since this step is crucial. Basically, the common method for computing the Moore-Penrose inverse of matrix is the singular value decomposition (SVD) method (see [31]). This method is accurate but time-intensive since it requires a large amount of computational resources, especially in the case of large scale matrix. Another approach for computing the Moore-Penrose inverse of matrix has been proposed recently, i.e., the method based on Tensor-product matrix (see [33]). The new method can be applied for rectangular matrix with full-rank and square matrix with rank-deficient only. However, the method works well compared to SVD method in some aspects: larger dimension matrix and less time-consuming.

5 Conclusions

In this work, we have established an existence result for the class of fractional boundary value problems with a general resonant condition in Hilbert spaces. We have provided a sufficient and necessary condition for which some Riemann-Liouville fractional differential operators associated with three-point boundary condition are Fredholm with zero-index. This means that we have handled the problem with a wide range of resonant conditions in which Mawhin’s continuation theorem can be applied. Our result is a natural generalization of some recent ones [2427].

References

  1. Guner, O, Bekir, A, Bilgil, H: A note on exp-function method combined with complex transform method applied to fractional differential equations. Adv. Nonlinear Anal. 4(3), 201-208 (2015)

    MathSciNet  MATH  Google Scholar 

  2. Kilbas, AA, Srivastava, HM, Trujillo, JJ: Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  3. Kumar, S, Kumar, D, Singh, J: Fractional modelling arising in unidirectional propagation of long waves in dispersive media. Adv. Nonlinear Anal. 5(4), 383-394 (2016)

    MathSciNet  MATH  Google Scholar 

  4. Molica Bisci, G, Radulescu, V, Servadei, R: Variational Methods for Nonlocal Fractional Problems. Encyclopedia of Mathematics and Its Applications, vol. 162. Cambridge University Press, Cambridge (2016)

    Book  MATH  Google Scholar 

  5. Molica Bisci, G, Repovs, D: Multiple solutions of p-biharmonic equations with Navier boundary conditions. Complex Var. Elliptic Equ. 59(2), 271-284 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  6. Podlubny, I: Fractional Differential Equations. Academic Press, New York (1999)

    MATH  Google Scholar 

  7. Samko, SG, Kilbas, AA, Marichev, OI: Fractional Integrals and Derivatives: Theory and Applications. Gordon & Breach, New York (1993)

    MATH  Google Scholar 

  8. Gaines, RE, Mawhin, J: Coincidence Degree and Nonlinear Differential Equations. Lecture Notes in Math., vol. 568. Springer, Berlin (1977)

    Book  MATH  Google Scholar 

  9. 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, 973-1033 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  10. Chang, SK, Pei, M: Solvability for some higher order multi-point boundary value problems at resonance. Results Math. 63(3), 763-777 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  11. Feng, W, Webb, JRL: Solvability of three-point boundary value problems at resonance. Nonlinear Anal. 30(6), 3227-3238 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  12. Gupta, CP: Existence theorems for a second order m-point boundary value problem at resonance. Int. J. Math. Math. Sci. 18(4), 705-710 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  13. Gupta, CP, Ntouyas, SK, Tsamatos, PC: Solvability of an m-point boundary value problem for second order ordinary differential equations. J. Math. Anal. Appl. 189, 575-584 (1995)

    Article  MathSciNet  MATH  Google Scholar 

  14. Jiang, W: The existence of solutions for boundary value problems of fractional differential equations at resonance. Nonlinear Anal. 74, 1987-1994 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Han, X: Positive solutions for a three-point boundary-value problem at resonance. J. Math. Anal. Appl. 336, 556-568 (2007)

    Article  MathSciNet  MATH  Google Scholar 

  16. Hoang, DH, Truong, LX: Fredholm alternative for the second order differential operator associated to a class of boundary conditions. Differ. Equ. Appl. 8(2), 259-272 (2016)

    MathSciNet  MATH  Google Scholar 

  17. Kosmatov, N: A multi-point boundary value problem with two critical conditions. Nonlinear Anal. 65, 622-633 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  18. Kosmatov, N: A boundary value problem of fractional order at resonance. Electron. J. Differ. Equ. 2010, 135 (2010)

    MathSciNet  MATH  Google Scholar 

  19. Kosmatov, N, Jiang, W: Resonant functional problems of fractional order. Chaos Solitons Fractals 91, 573-579 (2016)

    Article  MathSciNet  Google Scholar 

  20. Lu, S, Ge, W: On the existence of m-point boundary value problem at resonance for higher order differential equation. J. Math. Anal. Appl. 287, 522-539 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  21. Ma, R: Existence results of a m-point boundary value problem at resonance. J. Math. Anal. Appl. 294, 147-157 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  22. Ma, R: A survey on nonlocal boundary value problem. Appl. Math. E-Notes 7, 257-279 (2007)

    MathSciNet  MATH  Google Scholar 

  23. Webb, JRL: Remarks on nonlocal boundary value problems at resonance. Appl. Math. Comput. 216, 497-500 (2010)

    MathSciNet  MATH  Google Scholar 

  24. Phung, PD, Truong, LX: On the existence of a three point boundary value problem at resonance in \(\mathbb {R}^{n}\). J. Math. Anal. Appl. 416, 522-533 (2014)

    Article  MathSciNet  MATH  Google Scholar 

  25. Ge, FD, Zhou, HC: Existence of solutions for fractional differential equations with three-point boundary conditions at resonance in H. Electron. J. Qual. Theory Differ. Equ. 68, 1 (2014)

    Article  MathSciNet  Google Scholar 

  26. Zhou, HC, Ge, FD, Kou, CH: Existence of solutions to fractional differential equations with multi-point boundary conditions at resonance in Hilbert spaces. Electron. J. Differ. Equ. 2016, 61 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  27. Phung, PD, Truong, LX: Existence of solutions to three-point boundary-value problems at resonance. Electron. J. Differ. Equ. 2016, 115 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  28. Mawhin, J: Theorems for nonlinear operator equations and coincidence degree theory for some mappings in locally convex topological vector spaces. J. Differ. Equ. 12, 610-636 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  29. Mawhin, J: Topological Degree Methods in Nonlinear Boundary Value Problems. CBMS Series, vol. 40. Am. Math. Soc., Providence (1979)

    MATH  Google Scholar 

  30. Buhler, T, Salamon, DA: Functional Analysis. ETH, Zurich (2016)

    Google Scholar 

  31. Ben-Israel, A, Greville, TNE: Generalized Inverses: Theory and Applications. Wiley, New York (1974)

    MATH  Google Scholar 

  32. He, BB: Existence of solutions to fractional differential equations with three-point boundary conditions at resonance with general conditions. Fract. Calc. Appl. 9(1), 120-136 (2018)

    Google Scholar 

  33. Katsikis, VN, Pappas, D: Fast computing of the Moore-Penrose inverse matrix. Electron. J. Linear Algebra 17, 637-650 (2008)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

We are thankful to the editor and the anonymous reviewers for many valuable suggestions to improve this paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Phan Dinh Phung.

Additional information

Funding

This research is partially supported by Duy Tan University and Banking University of Ho Chi Minh City.

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

Both authors contributed to each part of this study equally and read and approved the final version of the manuscript.

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Phung, P.D., Minh, H.B. Existence of solutions to fractional boundary value problems at resonance in Hilbert spaces. Bound Value Probl 2017, 105 (2017). https://doi.org/10.1186/s13661-017-0836-3

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-017-0836-3

MSC

Keywords