Solvability of a third-order differential equation with functional boundary conditions at resonance

Abstract

By using the coincidence degree theory due to Mawhin and constructing suitable operators, we study the existence of solutions for a third-order functional boundary value problem at resonance with $\operatorname{dim } \operatorname{Ker}L=1$.

1 Introduction

A boundary value problem is said to be at resonance if the corresponding homogeneous boundary value problem has a non-trivial solution. Boundary value problems at resonance have been studied by many authors. We refer the readers to [1–9] and the references cited therein. In [10], the authors discussed the second-order differential equation

$$x''(t) = f \bigl(t,x(t),x'(t) \bigr), \quad t \in(0,1), $$

with functional boundary conditions

$$\Gamma_{1}(x) = 0,\qquad \Gamma_{2}(x) = 0, $$

where $\Gamma_{1}, \Gamma_{2}$ are linear functionals on $C^{1}[0,1]$ satisfying the general resonance condition $\Gamma_{1}(t)\Gamma_{2}(1) = \Gamma_{1}(1)\Gamma_{2}(t)$. (The authors also studied the non-resonant scenario under condition ($A_{1}$): $\Gamma_{1}(t)\Gamma_{2}(1) \neq\Gamma _{1}(1)\Gamma_{2}(t)$.) To be specific, the following resonant cases received attention:

($A_{2}$):

$\Gamma_{1}(t), \Gamma_{1}(1), \Gamma_{2}(1) = 0$, $\Gamma _{2}(t) \neq0$;

($A_{3}$):

$\Gamma_{1}(t), \Gamma_{1}(1), \Gamma_{2}(t) = 0$, $\Gamma _{2}(1) \neq0$;

($A_{4}$):

$\Gamma_{1}(1), \Gamma_{2}(t), \Gamma_{2}(1) = 0$, $\Gamma _{1}(t) \neq0$;

($A_{5}$):

$\Gamma_{1}(t), \Gamma_{2}(1), \Gamma_{2}(t) = 0$, $\Gamma _{1}(1) \neq0$;

($A_{6}$):

$\Gamma_{1}(1), \Gamma_{1}(t), \Gamma_{2}(1), \Gamma_{2}(t) = 0$.

The cases ($A_{2}$) and ($A_{4}$) result in $\operatorname{ker}L = \{c: c \in\mathbb{R}\}$, and ($A_{3}$) and ($A_{5}$) correspond to $\operatorname{ker} L = \{ct: c \in\mathbb{R}\}$. The case ($A_{6}$) describes a resonance with $\operatorname{ker}L = \{c_{1}t+c_{2}: c_{1},c_{2} \in\mathbb {R}\}$. In [6], the authors extended the results of [10] as well as [3, 9] in several respects including the study of the case $\operatorname{ker}L = \{c(at+b): c\in\mathbb{R}\}$, where $a,b \neq0$.

This paper is a study of third-order functional boundary value problems (FBVPs) at resonance. It improves and generalizes the results of [1, 7] and the results of [2] applicable to third-order problems. We consider

$$ \textstyle\begin{cases} x'''(t)=f(t,x(t),x'(t),x''(t)),\quad t\in(0,1),\\ \varphi_{1}(x)=\varphi_{2}(x)=\varphi_{3}(x)=0, \end{cases} $$

(1.1)

where $\varphi_{i}:C^{2}[0,1]\rightarrow\mathbb{R}$, $i=1,2,3$, are bounded linear functionals. To the best of our knowledge, this is the first paper devoted to a third-order FBVP at resonance. We present several generalizations to the existing results and improvements to the method based on Mawhin’s coincidence degree theory.

The framework of this paper is as follows. In Section 2, we present some notations and the fundamentals of coincidence degree theory. In Section 3, we study problem (1.1) under the conditions

$$ \varphi_{i} \bigl(t^{j} \bigr)=0,\quad i=1,2,3, j\in \{0,1,2\}, $$

(1.2)

respectively. In Section 4, we show the existence of a solution for problem (1.1) under the condition

$$ \frac{\varphi_{1}(t^{2})}{\varphi_{2}(t^{2})}=\frac{\varphi_{1}(t)}{\varphi _{2}(t)}=\frac{\varphi_{1}(1)}{\varphi_{2}(1)}. $$

(1.3)

(Here, if $\varphi_{2}(t^{j}) =0$ for some $j\in\{0,1,2\}$, then also $\varphi_{1}(t^{j}) =0$.)

2 Preliminaries

For convenience, we denote

$$\begin{aligned} &\Delta= \left \vert \begin{matrix} \varphi_{1} (t^{2} ) &\varphi_{1}(t)& \varphi_{1}(1) \\ \varphi_{2} (t^{2} ) &\varphi_{2}(t)& \varphi_{2}(1) \\ \varphi_{3} (t^{2} ) &\varphi_{3}(t)& \varphi_{3}(1) \end{matrix} \right \vert , \qquad \Delta_{1}(y)= \left \vert \begin{matrix} \varphi_{1} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds ) & \varphi_{1}(t)& \varphi_{1}(1) \\ \varphi_{2} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds )& \varphi_{2}(t)& \varphi_{2}(1) \\ \varphi_{3} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds )& \varphi_{3}(t)& \varphi_{3}(1) \end{matrix} \right \vert , \\ &\Delta_{2}(y)= \left \vert \begin{matrix} \varphi_{1} (t^{2} ) &\varphi_{1} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds )& \varphi _{1}(1) \\ \varphi_{2} (t^{2} )& \varphi_{2} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds )& \varphi _{2}(1) \\ \varphi_{3} (t^{2} ) &\varphi_{3} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds )& \varphi_{3}(1) \end{matrix} \right \vert , \\ & \Delta_{3}(y)= \left \vert \begin{matrix} \varphi_{1} (t^{2} )& \varphi_{1}(t) & \varphi_{1} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds ) \\ \varphi_{2} (t^{2} )& \varphi_{2}(t)& \varphi_{2} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds ) \\ \varphi_{3} (t^{2} )& \varphi_{3}(t)& \varphi_{3} ( \int_{0}^{t}(t-s)^{2}y(s) \,ds ) \end{matrix} \right \vert . \end{aligned}$$

From the last three determinants we can define and derive the following three relations:

$$\begin{aligned} & \Delta_{1}(Lx)= \left \vert \begin{matrix} \varphi_{1} (-x''(0)t^{2}-2x'(0)t-2x(0) ) &\varphi_{1}(t) &\varphi_{1}(1) \\ \varphi_{2} (-x''(0)t^{2}-2x'(0)t-2x(0) ) &\varphi_{2}(t) &\varphi_{2}(1) \\ \varphi_{3} (-x''(0)t^{2}-2x'(0)t-2x(0) )& \varphi_{3}(t)& \varphi_{3}(1) \end{matrix} \right \vert = -x''(0)\triangle, \end{aligned}$$

(2.1)

$$\begin{aligned} & \Delta_{2}(Lx)= \left \vert \begin{matrix} \varphi_{1} (t^{2} )& \varphi_{1} (-x''(0)t^{2}-2x'(0)t-2x(0) )& \varphi_{1}(1) \\ \varphi_{2} (t^{2} )& \varphi_{2} (-x''(0)t^{2}-2x'(0)t-2x(0) )& \varphi_{2}(1) \\ \varphi_{3} (t^{2} )& \varphi_{3} (-x''(0)t^{2}-2x'(0)t-2x(0) )& \varphi_{3}(1) \end{matrix} \right \vert = -2x'(0) \triangle, \end{aligned}$$

(2.2)

and $\Delta_{3}(Lx)= -2x(0)\triangle$. Also, $\Delta_{ij}$, $i,j=1,2,3$, $\Delta_{k}(y)_{ij}$, $i,k=1,2,3$, $j \in\{1,2,3\} \setminus\{k\}$, are the cofactors of $\varphi_{i}(t^{3-j})$ in Δ, $\Delta_{k}(y)$, $k =1,2,3$, respectively.

We introduce some notations and a theorem. For more details, see [11].

Let X and Y be real Banach spaces and $L: \operatorname{dom} L\subset X\rightarrow Y$ be a Fredholm operator of index zero, $P: X\rightarrow X$, $Q: Y\rightarrow Y$ be projectors such that

$$ \operatorname{Im} P= \operatorname{Ker}L,\qquad \operatorname{Ker} Q= \operatorname{Im} L,\qquad X= \operatorname{Ker}L \oplus\operatorname{Ker}P, \qquad Y=\operatorname{Im} L \oplus\operatorname {Im} Q. $$

(2.3)

It follows that

$$L| _{\operatorname{dom} L \cap\operatorname{Ker}P}: \operatorname{dom}L \cap\operatorname {Ker} P\rightarrow \operatorname{Im} L $$

is invertible. We denote the inverse by $K_{P}$.

If Ω is an open bounded subset of X, $\operatorname{dom} L \cap \overline{\Omega}\neq\emptyset$, the map $N:X\rightarrow Y$ is called L-compact on Ω̅ if $QN(\overline{\Omega})$ is bounded and $K_{P}(I-Q)N:\overline{\Omega}\rightarrow X$ is compact. We rely on Mawhin’s theorem for coincidences [8].

Theorem 2.1

Let $L: \operatorname{dom} L\subset X \rightarrow Y$ be a Fredholm operator of index zero and $N:X\rightarrow Y$ be L-compact on Ω̅. Assume that the following conditions are satisfied:

• (1) $Lx \neq\lambda Nx$ for every $(x,\lambda)\in[(\operatorname {dom} L\setminus\operatorname{Ker} L) \cap\partial\Omega]\times(0,1)$;

• (2) $Nx \notin\operatorname{Im} L$ for every $x\in\operatorname{Ker} L \cap\partial\Omega$;

• (3) $\operatorname{deg}(JQN| _{\operatorname{Ker} L}, \Omega\cap\operatorname {Ker} L, 0)\neq0$, where $Q: Y\rightarrow Y$ is a projection such that $\operatorname{Im} L= \operatorname{Ker} Q$, and $J: \operatorname{Im} Q \to\operatorname {Ker} L$ is an isomorphism.

Then the equation $Lx=Nx$ has at least one solution in $\operatorname{dom} L \cap\overline{\Omega}$.

We work in $X=C^{2}[0,1]$ with the norm $\Vert x \Vert = \max\{ \Vert x \Vert _{\infty }, \Vert x' \Vert _{\infty}, \Vert x'' \Vert _{\infty}\}$, where $\Vert x \Vert _{\infty}=\max_{t\in[0,1]} \vert x(t) \vert$. We define $Y=L^{1}[0,1]$ with the norm $\Vert y \Vert _{1}= {\int_{0}^{1} \vert y(t) \vert \,dt}$.

In this paper, we always suppose that the following condition holds:

$(C)$ :

There exist constants $k_{i}>0$, $i=1,2,3$, such that $\vert \varphi_{i}(x) \vert \leq k_{i} \Vert x \Vert$, $x\in X$ and the function $f(t,u,v,w)$ satisfies the Carathéodory conditions, that is, $f(\cdot,u,v,w)$ is measurable for each fixed $(u,v,w)\in \mathbb{R}^{3}$, $f(t,\cdot,\cdot,\cdot)$ is continuous for a.e. $t\in[0,1]$.

3 Solvability of (1.1) with condition (1.2)

Case I. $\varphi_{i}(1)=0$, $i=1,2,3$.

Clearly, $\Delta=0$. In this case, we assume that there exists $j\in\{ 1,2,3\}$ such that $\Delta_{j3}\neq0$. In what follows, we choose and fix such j.

Lemma 3.1

There exists a function $g_{3}\in Y$ such that $\Delta_{3}(g_{3})=1$.

Proof

Suppose the contrary. Then

$$\Delta_{3} \bigl(t^{n} \bigr)= \left \vert \begin{matrix} \varphi_{1} (t^{2} )& \varphi_{1}(t) &\varphi_{1} ( \int_{0}^{t}(t-s)^{2}s^{n} \,ds ) \\ \varphi_{2} (t^{2} )& \varphi_{2}(t)& \varphi_{2} ( \int_{0}^{t}(t-s)^{2}s^{n} \,ds ) \\ \varphi_{3} (t^{2} ) &\varphi_{3}(t)& \varphi_{3} ( \int_{0}^{t}(t-s)^{2}s^{n} \,ds ) \end{matrix} \right \vert =0,\quad n=0,1,\ldots. $$

Hence

$$\left \vert \begin{matrix} \varphi_{1} (t^{2} )& \varphi_{1}(t)& \varphi_{1} (t^{n+3} ) \\ \varphi_{2} (t^{2} ) &\varphi_{2}(t)& \varphi_{2} (t^{n+3} ) \\ \varphi_{3} (t^{2} ) &\varphi_{3}(t)& \varphi_{3} (t^{n+3} ) \end{matrix} \right \vert =0, \quad n=0,1,\ldots. $$

It follows from $\Delta_{j3}\neq0$ and $\varphi_{i}(1)=0$, $i=1,2,3$, that there exist constants a and b such that

$$\varphi_{j} \bigl(t^{i} \bigr)=a\varphi_{k} \bigl(t^{i} \bigr)+b\varphi_{l} \bigl(t^{i} \bigr)=(a \varphi_{k}+b\varphi _{l}) \bigl(t^{i} \bigr),\quad i=0,1,2,\ldots, $$

where $k,l\in\{1,2,3\}$, $k,l\neq j$, $k\neq l$. Hence $\varphi _{j}(x)=(a\varphi_{k}+b\varphi_{l})(x)$, $x\in X$. This is a contradiction because $\varphi_{1},\varphi_{2},\varphi_{3}$ are linearly independent on X. Hence, there exists a function $h\in Y$ with $\Delta_{3}(h)\neq 0$ and, as a result, $g_{3} = {\frac{1}{\Delta_{3}(h)}}h \in Y$ with $\Delta_{3}(g_{3})=1$. □

Define operators $L:\operatorname{dom} L\subset X\rightarrow Y$, $N:X\rightarrow Y$ as follows:

$$Lx(t)=x'''(t),\qquad Nx(t)=f \bigl(t,x(t),x'(t),x''(t) \bigr), $$

where $\operatorname{dom} L = \{x\in X: x''' \in Y, \varphi_{i}(x)=0, i =1,2,3\}$.

If $x\in\operatorname{dom} L$ with $Lx=0$, then $x=at^{2}+bt+c$, $a,b,c\in \mathbb{R}$ and $\varphi_{i}(x)=0$, $i=1,2,3$, that is,

$$\begin{aligned} &a\varphi_{1} \bigl(t^{2} \bigr)+b\varphi_{1}(t)=0, \\ &a\varphi_{2} \bigl(t^{2} \bigr)+b\varphi_{2}(t)=0, \\ &a\varphi_{3} \bigl(t^{2} \bigr)+b\varphi_{3}(t)=0. \end{aligned}$$

Since $\Delta_{j3}\neq0$, we have $a=b=0$. So, $x\equiv c$, that is, $\operatorname{Ker} L = \{c:c\in\mathbb{R}\}$.

Lemma 3.2

$\operatorname{Im} L = \{y\in Y:\Delta_{3}(y)=0\}$.

Proof

If $x\in\operatorname{dom}L$, $Lx=y$, then there exist constants $a,b,c$ such that the following equalities hold:

$$\begin{aligned} &x(t)=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds+at^{2}+bt+c, \\ &\varphi_{1}(x)=\frac{1}{2}\varphi_{1} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)+a \varphi_{1} \bigl(t^{2} \bigr)+b\varphi_{1}(t)=0, \\ &\varphi_{2}(x)=\frac{1}{2}\varphi_{2} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)+a \varphi_{2} \bigl(t^{2} \bigr)+b\varphi_{2}(t)=0, \\ &\varphi_{3}(x)=\frac{1}{2}\varphi_{3} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)+a \varphi_{3} \bigl(t^{2} \bigr)+b\varphi_{3}(t)=0. \end{aligned}$$

So, y satisfies $\Delta_{3}(y)=0$.

Inversely, if $y\in Y$ with $\Delta_{3}(y)=0$, we let

$$x(t)=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds - \frac{\Delta _{1}(y)_{j3}}{2\Delta_{j3}}t^{2}- \frac{\Delta_{2}(y)_{j3}}{2\Delta_{j3}}t. $$

Obviously, $x'''(t)=y(t)$. Considering $\Delta_{1}(y)_{j3}=-\Delta_{3}(y)_{j1}$, $\Delta_{2}(y)_{j3}=\Delta _{3}(y)_{j2}$, $\Delta_{j3}=\Delta_{3}(y)_{j3}$ and

$$\varphi_{j}(x)=\frac{1}{2}\varphi_{j} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)- \frac{\Delta_{1}(y)_{j3}}{2\Delta_{j3}}\varphi _{j} \bigl(t^{2} \bigr)- \frac{\Delta_{2}(y)_{j3}}{2\Delta_{j3}}\varphi_{j}(t), $$

we have

$$\begin{aligned} \varphi_{j}(x)&=\frac{1}{2\Delta_{j3}} \biggl[ \varphi_{j} \bigl(t^{2} \bigr)\Delta_{3}(y)_{j1}- \varphi_{j}(t)\Delta _{3}(y)_{j2}+ \varphi_{j} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr) \Delta_{3}(y)_{j3} \biggr] \\ &=\frac{1}{2\Delta_{j3}} \Delta_{3}(y)=0. \end{aligned}$$

Clearly, $\varphi_{i}(x)=0$, $i\neq j$, $i\in\{1,2,3\}$, which implies that $x\in\operatorname{dom} L$ and, consequently, $y\in\operatorname{Im} L$. □

Define the operators $P_{3}:X\rightarrow X$, $Q_{3}:Y\rightarrow Y$ by

$$P_{3}x = x(0),\qquad Q_{3}y=\Delta_{3}(y)g_{3}. $$

Clearly, $P_{3}$, $Q_{3}$ are projectors such that (2.3) hold.

Define the operator $K_{P_{3}}: Y\rightarrow X$ by

$$K_{P_{3}}y=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds - \frac{\Delta _{1}(y)_{j3}}{2\Delta_{j3}}t^{2}- \frac{\Delta_{2}(y)_{j3}}{2\Delta_{j3}}t. $$

Lemma 3.3

$K_{P_{3}}=(L| _{\operatorname{dom}L\cap\operatorname{Ker}P_{3}})^{-1}$.

Proof

Let $x\in\operatorname{dom}L\cap\operatorname{Ker}P_{3}$. Then $\varphi_{i}(x)=0$, $i=1,2,3$, and $x(0)=0$. So, we get

$$\begin{aligned} K_{P_{3}}Lx(t) &=\frac{1}{2} \int_{0}^{t}(t-s)^{2}Lx(s) \,ds - \frac {\Delta_{1}(Lx)_{j3}}{2\Delta_{j3}}t^{2}- \frac{\Delta_{2}(Lx)_{j3}}{2\Delta_{j3}}t \\ &= x(t)-\frac{x''(0)}{2}t^{2}-x'(0)t- \frac{\Delta _{1}(Lx)_{j3}}{2\Delta_{j3}}t^{2}- \frac{\Delta_{2}(Lx)_{j3}}{2\Delta_{j3}}t. \end{aligned}$$

It follows from (2.1), (2.2) that $\Delta _{1}(Lx)_{j3}=-x''(0)\Delta_{j3}$, $\Delta_{2}(Lx)_{j3}=-2x'(0)\Delta _{j3}$. So, $K_{P_{3}}Lx=x$.

Inversely, $y\in\operatorname{Im}L$ results in $\Delta_{3}(y)=0$. As the proof of Lemma 3.2, $\varphi_{i}(K_{P_{3}}y)=0$, $i=1,2,3$. Clearly, $(K_{P_{3}}y)'''=y$. Thus, $K_{P_{3}}y\in\operatorname{dom}L$ and $LK_{P_{3}}y=y$, $y\in\operatorname{Im}L$. □

We introduce the constants $l_{3} = k_{1} \vert \Delta_{13} \vert +k_{2} \vert \Delta _{23} \vert +k_{3} \vert \Delta_{33} \vert$ and

$$ l=\max\{k_{1}k_{2},k_{1}k_{3},k_{2}k_{3} \}. $$

(3.1)

The latter is frequently used in the remainder of the paper.

The next assumption is fulfilled in the main results by virtue of appropriate assumptions on $f(t, \cdot,\cdot,\cdot)$:

$(H_{1})$ :

For any $r>0$, there exists a function $h_{r}\in Y$ such that $\vert f(t,x(t),x'(t),x''(t)) \vert \leq h_{r}(t)$, $x\in X$, $\Vert x \Vert \leq r$.

Lemma 3.4

If $(H_{1})$ holds and $\Omega\subset X$ is bounded, then N is L-compact on Ω̅.

Proof

Take $r\in\mathbb{R}$ large enough such that $\Vert x \Vert \leq r$, $x\in\overline{\Omega}$. Then

$$\bigl\vert \Delta_{3}(Nx) \bigr\vert \leq \bigl(k_{1} \vert \Delta_{13} \vert +k_{2} \vert \Delta_{23} \vert +k_{3} \vert \Delta _{33} \vert \bigr) \biggl\Vert \int_{0}^{t}(t-s)^{2}Nx(s) \,ds \biggr\Vert \leq l_{3} \Vert h_{r} \Vert _{1}. $$

So, $\Vert Q_{3}Nx \Vert _{1}\leq l_{3} \Vert h_{r} \Vert _{1} \Vert g_{3} \Vert _{1}$, which shows that $Q_{3}N(\overline{\Omega})$ is bounded. For $y\in Y$, we have

$$\Vert K_{P_{3}}y \Vert \leq \Vert y \Vert _{1}+ \frac{2l}{ \vert \Delta_{j3} \vert }2 \Vert y \Vert _{1}+\frac {4l}{2 \vert \Delta_{j3} \vert }2 \Vert y \Vert _{1}= \biggl(1+\frac{8l}{ \vert \Delta_{j3} \vert } \biggr) \Vert y \Vert _{1}, $$

where, for convenience, we define, using (3.1), the constant

$$ A_{P_{3}} = 1+\frac{8l}{ \vert \Delta_{j3} \vert }. $$

(3.2)

Then

$$\bigl\Vert K_{P_{3}}(I-Q_{3})Nx \bigr\Vert \leq A_{P_{3}} \bigl\Vert (I-Q_{3})Nx \bigr\Vert _{1} \leq A_{P_{3}} \bigl(1+l_{3} \Vert g_{3} \Vert _{1} \bigr) \Vert h_{r} \Vert _{1}. $$

Thus, $K_{P_{3}}(I-Q_{3})N(\overline{\Omega})$ is bounded.

For $0\leq t_{1}< t_{2}\leq1$, $x\in\overline{\Omega}$, we have

$$\begin{aligned} \bigl\vert \bigl(K_{P_{3}}(I-Q_{3})Nx \bigr)''(t_{2})- \bigl(K_{P_{3}}(I-Q_{3})Nx \bigr)''(t_{1}) \bigr\vert &= \biggl\vert \int_{t_{1}}^{t_{2}}(I-Q_{3})Nx(s) \,ds \biggr\vert \\ &\leq \int_{t_{1}}^{t_{2}}h_{r}(s) \,ds+ l_{3} \Vert h_{r} \Vert _{1} \int _{t_{1}}^{t_{2}} \bigl\vert g_{3}(s) \bigr\vert \,ds, \end{aligned}$$

that is, $(K_{P_{3}}(I-Q_{3})N)''(\overline{\Omega})$ is equicontinuous on $[0,1]$ as well as $(K_{P_{3}}(I-Q_{3})N)'(\overline{\Omega})$ and $(K_{P_{3}}(I-Q_{3})N)(\overline{\Omega})$ by the mean value theorem. Therefore, by the Arzela-Ascoli theorem, $K_{P_{3}}(I-Q_{3})N(\overline {\Omega})$ is compact. □

In order to obtain the main results, we impose the following conditions:

$(H_{2})$ :

There exist nonnegative functions $a,b,c,d \in Y$ such that $\vert f(t,u,v,w) \vert \leq a(t)+b(t) \vert u \vert +c(t) \vert v \vert +d(t) \vert w \vert$, $t\in[0,1]$, $u,v,w\in\mathbb{R}$;

$(H_{3})$ :

There exists a constant $M_{03}>0$ such that $\Delta _{3}(Nx) \neq0$ if $\vert x(t) \vert >M_{03}$, $t\in[0,1]$;

$(H_{4})$ :

There exists a constant $M_{13}>0$ such that if $\vert c \vert > M_{13}$, then one of the following two inequalities holds:

$$ c\Delta_{3}(Nc)>0, $$

(3.3)

or

$$ c\Delta_{3}(Nc)< 0. $$

(3.4)

(Here $Nc = f(t,c,0,0)$, $c \in\mathbb{R}$.)

Lemma 3.5

Assume that $(H_{2})$, $(H_{3})$ hold and let

$$ A_{P_{3}} \bigl( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} \bigr)< \frac{1}{2}, $$

(3.5)

where $A_{P_{3}}$ satisfies (3.2). Then $\Omega_{13}=\{x\in \operatorname{dom}L\setminus\operatorname{Ker}L:Lx=\lambda Nx,\lambda\in(0,1)\}$ is bounded.

Proof

Since $x\in\Omega_{13}$, then $\Delta_{3}(Nx) = 0$. By $(H_{3})$, there exists $t_{0}\in[0,1]$ such that $\vert x(t_{0}) \vert \leq M_{03}$. Now,

$$\bigl\Vert (I-P_{3})x \bigr\Vert = \bigl\Vert K_{P_{3}}L(I-P_{3})x \bigr\Vert = \Vert K_{P_{3}}Lx \Vert \leq A_{P_{3}} \Vert Lx \Vert _{1} $$

and

$$\bigl\vert P_{3}x(t_{0}) \bigr\vert = \bigl\vert x(t_{0})-(I-P_{3})x(t_{0}) \bigr\vert \leq M_{03}+A_{P_{3}} \Vert Lx \Vert _{1}. $$

Thus, $\Vert P_{3}x \Vert = \vert P_{3}x(t_{0}) \vert \leq M_{03}+A_{P_{3}} \Vert Lx \Vert _{1}$. It follows from $x = P_{3}x + (I-P_{3})x$ and $(H_{2})$ that

$$\begin{aligned} \Vert x \Vert \leq M_{03} + 2A_{P_{3}} \Vert Lx \Vert _{1} & < M_{03} + 2A_{P_{3}} \Vert Nx \Vert _{1} \\ &\leq M_{03} + 2A_{P_{3}} \bigl( \Vert a \Vert _{1}+ \bigl( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} \bigr) \Vert x \Vert \bigr). \end{aligned}$$

So,

$$\Vert x \Vert \leq\frac{M_{03} + 2A_{P_{3}} \Vert a \Vert _{1}}{1-2A_{P_{3}}( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1})}. $$

Therefore, $\Omega_{13}$ is bounded by (3.5). □

Lemma 3.6

Assume that $(H_{4})$ holds. Then $\Omega_{23}=\{x\in\operatorname{Ker}L: Nx\in\operatorname{Im}L\}$ is bounded.

Proof

If $x\in\Omega_{23}$, then $x \equiv c$ and $Q_{3}(Nc)=0$, that is, $\Delta_{3}(Nc) = 0$. By $(H_{4})$, it follows that $\vert c \vert \leq M_{13}$. Thus, $\Omega_{23}$ is bounded. □

Lemma 3.7

Assume that $(H_{4})$ holds. Then

$$\Omega_{33 }= \bigl\{ x:\rho\lambda x+(1-\lambda)\Delta_{3}(Nx) = 0, x\in \operatorname{Ker}L ,\lambda\in[0,1] \bigr\} $$

is bounded, where $\rho= \{ \scriptsize{ \begin{array}{l@{\quad}l} 1, &\textit{if } (3.3) \textit{ holds},\\ -1, &\textit{if } (3.4) \textit{ holds}. \end{array}}$

Proof

Let $x\in\Omega_{33}$. Then $x\equiv c\in\mathbb {R}$ and $\rho\lambda c +(1-\lambda)\Delta_{3}(Nc) =0$. If $\lambda =0$, then $\Delta_{3}(Nc) = 0$. By $(H_{4})$, $\vert c \vert \leq M_{13}$. If $\lambda=1$, then $c=0$. If $\lambda\in(0,1)$, then $c=- {\frac {1-\lambda}{\lambda\rho}} \Delta_{3}(Nc)$. Hence, $c^{2}= - {\frac {1-\lambda}{\lambda\rho}} c \Delta_{3}(Nc)$. If $\vert c \vert >M_{13}$, by $(H_{4})$, we obtain

$$c^{2}=-\frac{1-\lambda}{\lambda\rho} c \Delta_{3}(Nc)< 0, $$

which is a contradiction. Therefore, $\vert c \vert \leq M_{13}$ and $\Omega _{33}$ is bounded. □

Theorem 3.8

Assume that $(H_{2})$-$(H_{4})$ and (3.5) hold. Then problem (1.1) has at least one solution.

Proof

Let $\Omega\supset\overline{\Omega}_{13}\cup \overline{\Omega}_{23}\cup\overline{\Omega}_{33}$ be bounded. It follows from Lemmas 3.5 and 3.6 that $Lx \neq \lambda Nx$, $x\in(\operatorname{dom}L\setminus\operatorname{Ker}L)\cap \partial\Omega$, $\lambda\in(0,1)$ and $Nx\notin\operatorname{Im}L$, $x\in\operatorname{Ker}L\cap\partial\Omega$. Let

$$H(x,\lambda)=\lambda\rho x+(1-\lambda)J_{3} Q_{3}Nx, $$

where $J_{3}: \operatorname{Im}Q_{3} \rightarrow \operatorname{Ker}L$ is an isomorphism defined by $J_{3}(c g_{3})=c$, $c\in\mathbb{R}$. By Lemma 3.7, we know $H(x,\lambda)\neq0$, $x\in\partial\Omega\cap \operatorname{Ker}L$, $\lambda\in[0,1]$. Since the degree is invariant under a homotopy,

$$\begin{aligned} \operatorname{deg}(J_{3} Q_{3}N| _{\operatorname{Ker}L},\Omega\cap \operatorname {Ker}L,0)&=\operatorname{deg} \bigl(H(\cdot,0),\Omega\cap \operatorname{Ker}L,0 \bigr) = \operatorname{deg} \bigl(H(\cdot,1),\Omega\cap \operatorname{Ker}L,0 \bigr) \\ & =\operatorname{deg}(\rho\operatorname{I},\Omega\cap\operatorname{Ker}L,0) \neq0. \end{aligned}$$

By Theorem 2.1, $Lx=Nx$ has a solution in $\operatorname{dom}L\cap \overline{\Omega}$. □

Case II. $\varphi_{i}(t)=0$, $i=1,2,3$.

In this case, assume there exists $j\in\{1,2,3\}$ such that $\Delta _{j2}\neq0$. With an adjustment of the method of Lemma 3.1, we can assert the existence of a function $g_{2}\in Y$ such that $\Delta _{2}(g_{2})=1$.

Clearly, $\Delta=0$ and $\operatorname{Ker}L=\{ct:c\in\mathbb{R}\}$. Similar to the proof of Lemma 3.2, we can show that $\operatorname {Im}L=\{y\in Y:\Delta_{2}(y)=0\}$.

Define the operators $P_{2}:X\rightarrow X$, $Q_{2}:Y\rightarrow Y$ by

$$P_{2}x=x'(0)t,\qquad Q_{2}y= \Delta_{2}(y)g_{2}. $$

Obviously, $P_{2}$ and $Q_{2}$ are continuous linear projectors satisfying (2.3).

Define the operator $K_{P_{2}}: Y\rightarrow X$ as

$$K_{P_{2}}y=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds- \frac{\Delta _{1}(y)_{j2}}{2\Delta_{j2}}t^{2}-\frac{\Delta_{3}(y)_{j2}}{2\Delta_{j2}}. $$

As above, we can obtain that $K_{P_{2}}=(L| _{\operatorname{dom}L\cap\operatorname {\operatorname{Ker}}P_{2}})^{-1}$ and $\Vert K_{P_{2}}y \Vert \leq A_{P_{2}} \Vert y \Vert _{1}$, where

$$ A_{P_{2}}= 1+\frac{8l}{ \vert \Delta_{j2} \vert }. $$

(3.6)

Suppose that the following conditions hold:

$(H_{5})$ :

There exists $M_{02}>0$ such that $\Delta_{2}(Nx)\neq 0$, if $\vert x'(t) \vert >M_{02}$, $t\in[0,1]$;

$(H_{6})$ :

There exists $M_{12}>0$ such that if $\vert c \vert >M_{12}$, then either

$$ c \Delta_{2} \bigl(N(ct) \bigr)>0, $$

(3.7)

or

$$ c\Delta_{2} \bigl(N(ct) \bigr)< 0. $$

(3.8)

Lemma 3.9

Assume that conditions $(H_{2})$, $(H_{5})$ hold and let

$$ A_{P_{2}} \bigl( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} \bigr)< \frac{1}{2}, $$

(3.9)

where $A_{P_{2}}$ satisfies (3.6). Then the set

$$\Omega_{12}= \bigl\{ x\in\operatorname{dom}L\backslash \operatorname{Ker}L:Lx=\lambda Nx,\lambda\in(0,1) \bigr\} $$

is bounded.

Proof

If $x\in\Omega_{12}$, then $\Delta_{2}(Nx)=0$. By $(H_{5})$, there exists a constant $t_{1}\in[0,1]$ such that $\vert x'(t_{1}) \vert \leq M_{02}$. Since $x(t)=P_{2}x(t)+(I-P_{2})x(t)$, $x'(t_{1})=x'(0)+((I-P_{2})x)'(t_{1})$ and

$$\bigl\Vert (I-P_{2})x \bigr\Vert = \bigl\Vert K_{P_{2}}L(I-P_{2})x \bigr\Vert = \Vert K_{P_{2}}Lx \Vert \leq A_{P_{2}} \Vert Lx \Vert _{1} < A_{P_{2}} \Vert Nx \Vert _{1}, $$

we have

$$\bigl\vert x'(0) \bigr\vert \leq M_{02}+ \bigl\Vert (I-P_{2})x \bigr\Vert \leq M_{02}+A_{P_{2}} \Vert Nx \Vert _{1}. $$

So,

$$\begin{aligned} \Vert x \Vert \leq \Vert P_{2}x \Vert + \bigl\Vert (I-P_{2})x \bigr\Vert &\leq M_{02}+2A_{P_{2}} \Vert Nx \Vert _{1} \\ &\leq M_{02}+2A_{P_{2}} \bigl( \Vert a \Vert _{1}+ \bigl( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} \bigr) \Vert x \Vert \bigr). \end{aligned}$$

Thus,

$$\Vert x \Vert \leq\frac{M_{02}+2A_{P_{2}} \Vert a \Vert _{1}}{1-2A_{P_{2}}( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1})}, $$

which proves that $\Omega_{12}$ is bounded. □

Lemma 3.10

Assume that $(H_{6})$ holds. Then the set

$$\Omega_{22} = \{x\in\operatorname{Ker}L: Nx\in\operatorname{Im}L\} $$

is bounded.

Proof

Since $x\in\Omega_{22}$, $x=ct$, $c\in\mathbb{R}$ and $\Delta_{2}(N(ct))=0$. By $(H_{6})$, we have $\vert c \vert \leq M_{12}$. So, $\Vert x \Vert = \vert c \vert \leq M_{12}$, that is, $\Omega_{22}$ is bounded. □

Lemma 3.11

Assume that $(H_{6})$ holds. Then the set

$$\Omega_{32} = \bigl\{ x\in\operatorname{Ker}L: \rho\lambda x+(1- \lambda)J_{2} Q_{2}Nx=0,\lambda\in[0,1] \bigr\} $$

is bounded, where $J_{2}: \operatorname{Im}Q_{2}\rightarrow\operatorname{Ker}L$, $J_{2}(cg_{2})(t) = ct$, $c\in\mathbb{R}$, and $\rho= \{ \scriptsize{ \begin{array}{l@{\quad}l} 1, &\textit{if } (3.7) \textit{ holds},\\ -1,& \textit{if } (3.8) \textit{ holds}. \end{array}}$

Proof

If $x\in\Omega_{32}$, then $x=ct$, $c\in\mathbb {R}$ and $\lambda\rho c+(1-\lambda)J_{2}Q_{2} (N(ct))=0$. So,

$$\lambda\rho c+(1-\lambda)\Delta_{2} \bigl(N(ct) \bigr)=0. $$

If $\lambda=0$, then $\Delta_{2}(N(ct))=0$. By $(H_{6})$, $\vert c \vert \leq M_{12}$. If $\lambda=1$, then $c=0$. If $\lambda\in(0,1)$, $c=- \frac{1-\lambda}{\lambda\rho} \Delta_{2}(N(ct))$. So,

$$c^{2}=- \frac{1-\lambda}{\lambda\rho} c \Delta_{2} \bigl(N(ct) \bigr). $$

If $\vert c \vert >M_{12}$, by $(H_{6})$, we obtain $c^{2}<0$, a contradiction. So, $\vert c \vert \leq M_{12}$, that is, $\Omega_{32}$ is bounded. □

Under assumption $(H_{1})$, N is L-compact on a bounded set Ω̅ as in the proof of Lemma 3.4.

Theorem 3.12

Assume that $(H_{2})$, $(H_{5})$, $(H_{6})$ and (3.9) hold. Then FBVP (1.1) has at least one solution.

The proof is similar to that of Theorem 3.8.

Case III. $\varphi_{i}(t^{2})=0$, $i=1,2,3$.

In this case, assume that there exists $j\in\{1,2,3\}$ such that $\Delta_{j1}\neq0$.

Similarly, there exists a function $g_{1}\in Y$ such that $\Delta_{1}(g_{1})=1$.

Obviously, $\Delta=0$ and $\operatorname{Ker}L=\{ct^{2}:c\in\mathbb{R}\}$. Similar to the proof of Lemma 3.2, we can obtain $\operatorname {Im}L=\{y\in Y:\Delta_{1}(y)=0\}$.

Define the operators $P_{1}:X\rightarrow X$, $Q_{1}:Y\rightarrow Y$ as

$$P_{1}x=\frac{1}{2}x''(0)t^{2}, \qquad Q_{1}y=\Delta_{1}(y)g_{1}. $$

Clearly, $P_{1}$ and $Q_{1}$ are continuous linear projectors. Introduce the operator $K_{P_{1}}:Y\rightarrow X$ by

$$K_{P_{1}}y=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds- \frac{\Delta _{2}(y)_{j1}}{2\Delta_{j1}}t-\frac{\Delta_{3}(y)_{j1}}{2\Delta_{j1}}. $$

As above, it is easy to show that $K_{P_{1}}=(L| _{\operatorname{dom}L\cap \operatorname{Ker}P_{1}})^{-1}$ and $\Vert K_{P_{1}}y \Vert \leq A_{P_{1}} \Vert y \Vert _{1}$, where

$$ A_{P_{1}} = 1+\frac{4l}{ \vert \Delta_{j1} \vert }. $$

(3.10)

By the same method we used in Lemma 3.4, we can show that N is L-compact on Ω̅.

To prove the main result, we need the following hypotheses:

$(H_{7})$ :

There exists $M_{01}>0$ such that $\Delta_{1}(Nx)\neq0$ if $\vert x''(t) \vert >M_{01}$, $t\in[0,1]$;

$(H_{8})$ :

There exists $M_{11}$ such that if $\vert c \vert >M_{11}$, then either $c \Delta_{1}(N(ct^{2}))>0$ or $c \Delta_{1}(N(ct^{2}))<0$.

Lemma 3.13

Assume that $(H_{2})$, $(H_{7})$ hold. In addition, assume that

$$ A_{P_{1}} \bigl( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} \bigr)< \frac{1}{2}, $$

(3.11)

where $A_{P_{1}}$ is given by (3.10). Then the set

$$\Omega_{11}= \bigl\{ x\in\operatorname{dom}L\backslash \operatorname{Ker}L:Lx=\lambda Nx,\lambda\in(0,1) \bigr\} $$

is bounded.

Proof

For $x\in\Omega_{11}$, we have $\Delta_{1}(Nx)=0$. By $(H_{7})$, there exists $t_{2}\in[0,1]$ such that $\vert x''(t_{2}) \vert \leq M_{01}$. Since $x=P_{1}x+(I-P_{1})x$, $\Vert (I-P_{1})x \Vert \leq A_{P_{1}} \Vert Lx \Vert _{1} < A_{P_{1}} \Vert Nx \Vert _{1}$,

$$\bigl\vert (P_{1}x)''(t_{2}) \bigr\vert = \bigl\vert x''(t_{2})- \bigl((I-P_{1})x \bigr)''(t_{2}) \bigr\vert \leq M_{01}+ \bigl\Vert (I-P_{1})x \bigr\Vert $$

and $(P_{1}x)''(t_{2})=x''(0)$, we get

$$\bigl\vert x''(0) \bigr\vert = \bigl\vert (P_{1}x)''(t_{2}) \bigr\vert \leq M_{01}+ \bigl\Vert (I-P_{1})x \bigr\Vert \leq M_{01}+A_{P_{1}} \Vert Lx \Vert _{1}. $$

Combining the inequalities above, we get

$$\Vert x \Vert < M_{01}+2A_{P_{1}} \bigl( \Vert a \Vert _{1}+ \bigl( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} \bigr) \Vert x \Vert \bigr). $$

Thus,

$$\Vert x \Vert \leq\frac{M_{01}+2A_{P_{1}} \Vert a \Vert _{1}}{1-2A_{P_{1}}( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1})}. $$

In view of (3.11), $\Omega_{11}$ is bounded. □

Similarly, if $(H_{7})$ and $(H_{8})$ hold, we can prove that $\Omega _{21} = \{x\in\operatorname{Ker}L: Nx\in\operatorname{Im}L\}$ and $\Omega_{31} = \{x\in\operatorname{Ker}L: \rho\lambda x+(1-\lambda)J_{1} Q_{1}Nx=0, \lambda\in[0,1]\}$, with an isomorphism $J_{1}: \operatorname{Im}Q \to \operatorname{Ker}L$, $J_{1}(cg_{1})(t) =ct^{2}$, $c\in\mathbb{R}$, are bounded.

Theorem 3.14

Assume that $(H_{2})$, $(H_{7})$, $(H_{8})$ and (3.11) hold. Then FBVP (1.1) has at least one solution.

4 Solvability of (1.1) with condition (1.3)

We define, for convenience,

$$ \frac{\varphi_{1}(t^{2})}{\varphi_{2}(t^{2})}=\frac{\varphi_{1}(t)}{\varphi _{2}(t)}=\frac{\varphi_{1}(1)}{\varphi_{2}(1)}=k,\quad \Delta_{1j}\neq 0, j\in\{1,2,3\}. $$

(4.1)

By the same method as we used in the proof of Lemma 3.1 (see also [6]), there exists $g \in Y$ such that

$$(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2} g(s) \,ds \biggr) =1. $$

It is easy to see that

$$\operatorname{Ker}L= \bigl\{ c \bigl(\Delta_{11}t^{2}- \Delta_{12}t+\Delta_{13} \bigr):c\in \mathbb{R} \bigr\} . $$

Lemma 4.1

$$ \operatorname{Im}L = \biggl\{ y\in Y:\varphi_{1} \biggl( \int _{0}^{t}(t-s)^{2}y(s) \,ds \biggr)=k \varphi_{2} \biggl( \int _{0}^{t}(t-s)^{2}y(s) \,ds \biggr) \biggr\} . $$

(4.2)

Proof

In fact, if $x\in\operatorname{dom}L$, $Lx=y$, then

$$x(t)=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds+at^{2}+bt+c $$

and $\varphi_{i}(x)=0, i=1,2,3$. So, we have

$$\begin{aligned} &\frac{1}{2}\varphi_{1} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)+a \varphi_{1} \bigl(t^{2} \bigr)+b\varphi_{1}(t)+c \varphi_{1}(1)=0, \\ &\frac{1}{2}\varphi_{2} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)+a \varphi_{2} \bigl(t^{2} \bigr)+b\varphi_{2}(t)+c \varphi_{2}(1)=0. \end{aligned}$$

In view of (4.1),

$$\varphi_{1} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)=k \varphi_{2} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr). $$

On the other hand, if $y\in Y$ satisfies the identity on the right-hand side of (4.2), we choose

$$\begin{aligned} &x(t)=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds- \frac{\Delta _{2}(y)_{11}}{2\Delta_{11}}t-\frac{\Delta_{3}(y)_{11}}{2\Delta_{11}},\quad \mbox{if } \Delta_{11} \neq0, \\ &x(t)=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s)\,ds- \frac{\Delta _{1}(y)_{12}}{2\Delta_{12}}t^{2}-\frac{\Delta_{3}(y)_{12}}{2\Delta_{12}}, \quad\mbox{if } \Delta_{11} = 0, \Delta_{12}\neq0, \\ &x(t)=\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds- \frac{\Delta _{1}(y)_{13}}{2\Delta_{13}}t^{2}-\frac{\Delta_{2}(y)_{13}}{2\Delta _{13}}t, \quad\mbox{if } \Delta_{11} = \Delta_{12} = 0, \Delta_{13}\neq0. \end{aligned}$$

Obviously, $Lx=y$. If $\Delta_{11}\neq0$, then

$$\varphi_{1}(x)=\frac{1}{2}\varphi_{1} \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)- \frac{\Delta_{2}(y)_{11}}{2\Delta_{11}}\varphi_{1}(t)-\frac {\Delta_{3}(y)_{11}}{2\Delta_{11}}\varphi_{1}(1). $$

Considering $\Delta_{11}=\Delta_{1}(y)_{11}$, $\Delta_{2}(y)_{11}=\Delta _{1}(y)_{12}$, $\Delta_{3}(y)_{11}=-\Delta_{1}(y)_{13}$ and $\Delta _{1}(y)=0$, we get

$$\begin{aligned} \varphi_{1}(x)&=\frac{1}{2\Delta_{11}} \biggl[\varphi_{1} \biggl( \int _{0}^{t}(t-s)^{2}y(s) \,ds \biggr) \Delta_{1}(y)_{11}-\varphi_{1}(t)\Delta _{1}(y)_{12}+\varphi_{1}(1)\Delta_{1}(y)_{13} \biggr] \\ &=\frac{1}{2\Delta_{11}}\Delta_{1}(y)=0. \end{aligned}$$

Similarly, $\varphi_{1}(x)= -\frac{1}{2\Delta_{12}}\Delta_{2}(y)=0$, if $\Delta_{12}\neq0$ and $\varphi_{1}(x)= \frac{1}{2\Delta_{13}}\Delta _{3}(y)=0$, if $\Delta_{13}\neq0$. It is easy to check $\varphi _{2}(x)=\varphi_{3}(x)=0$.

Thus, $x\in\operatorname{dom}L$, that is, $y\in\operatorname{Im}L$. So, (4.2) holds. □

Define operators $P:X\rightarrow X$, $Q:Y\rightarrow Y$ by

$$\begin{aligned} &Px(t)=\frac{\Delta_{11}x''(0)-\Delta_{12}x'(0)+\Delta _{13}x(0)}{2\Delta_{11}^{2}+\Delta_{12}^{2}+\Delta_{13}^{2}} \bigl(\Delta _{11}t^{2}- \Delta_{12}t+\Delta_{13} \bigr), \\ &Qy(t)=(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}y(s) \,ds \biggr)g(t), \end{aligned}$$

where g is introduced at the beginning of the section. Moreover, $J: \operatorname{Im}Q \to\operatorname{Ker}L$ is defined by

$$ J(cg) (t) = c \bigl(\Delta_{11}t^{2}- \Delta_{12}t+\Delta_{13} \bigr). $$

(4.3)

We define $K_{P}:Y\rightarrow X$ as follows:

$$\begin{aligned} &K_{P}y(t) =\frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds- \frac{\Delta _{2}(y)_{11}}{2\Delta_{11}}t-\frac{\Delta_{3}(y)_{11}}{2\Delta_{11}} \\ &\phantom{K_{P}y(t) =}{}+ \frac{\Delta_{13}\Delta_{3}(y)_{11}-\Delta_{12}\Delta _{2}(y)_{11}}{2\Delta_{11}(2\Delta_{11}^{2}+\Delta_{12}^{2}+\Delta _{13}^{2})} \bigl(\Delta_{11}t^{2}- \Delta_{12}t+\Delta_{13} \bigr), \quad\mbox{if } \Delta_{11} \neq0, \\ &K_{P}y(t) = \frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds- \frac{\Delta _{1}(y)_{12}}{2\Delta_{12}}t^{2}-\frac{\Delta_{3}(y)_{12}}{2\Delta_{12}} \\ & \phantom{K_{P}y(t) =}{}+ \frac{\Delta_{13}\Delta_{3}(y)_{12}}{2\Delta_{12}(\Delta _{12}^{2}+\Delta_{13}^{2})}(-\Delta_{12}t+ \Delta_{13}),\quad \mbox{if } \Delta_{11}=0, \Delta_{12}\neq0, \\ &K_{P}y(t) = \frac{1}{2} \int_{0}^{t}(t-s)^{2}y(s) \,ds- \frac{\Delta _{1}(y)_{13}}{2\Delta_{13}}t^{2}-\frac{\Delta_{2}(y)_{13}}{2\Delta _{13}}t,\quad \mbox{if } \Delta_{11}=\Delta_{12}=0, \Delta_{13}\neq0. \end{aligned}$$

Lemma 4.2

$K_{P}=(L| _{\operatorname{dom}L\cap\operatorname{Ker}P})^{-1}$ and

$$ \Vert K_{P}y \Vert \leq A_{P} \Vert y \Vert _{1},\qquad A_{P} =1+\frac{16l}{ \vert \Delta_{1j} \vert },\quad \Delta _{1j}\neq0, j\in\{1,2,3\}. $$

(4.4)

Proof

If $\Delta_{11}\neq0$, for $x\in\operatorname{dom}L\cap \operatorname{Ker}P$, considering $\Delta_{2}(Lx)_{11}=-x''(0)\Delta_{12}-2x'(0)\Delta_{11}$, $\Delta _{3}(Lx)_{11}=x''(0)\Delta_{13}-2x(0)\Delta_{11}$, $\Delta _{11}x''(0)-\Delta_{12}x'(0)+\Delta_{13}x(0)=0$, we have

$$\begin{aligned} K_{P}Lx(t) ={}& \frac{1}{2} \int_{0}^{t}(t-s)^{2}Lx(s) \,ds- \frac{\Delta _{2}(Lx)_{11}}{2\Delta_{11}}t-\frac{\Delta_{3}(Lx)_{11}}{2\Delta_{11}} \\ &{}+ \frac{\Delta_{13}\Delta_{3}(Lx)_{11}-\Delta_{12}\Delta _{2}(Lx)_{11}}{2\Delta_{11}(2\Delta_{11}^{2}+\Delta_{12}^{2} +\Delta_{13}^{2})} \bigl(\Delta_{11}t^{2}- \Delta_{12}t+\Delta_{13} \bigr) \\ ={}&x(t). \end{aligned}$$

Inversely, if $y\in\operatorname{Im}L$, then $\Delta_{i}(y)=0$, $i=1,2,3$. This, together with $\Delta_{2}(y)_{11}=\Delta_{1}(y)_{12}$, $\Delta _{3}(y)_{11}=-\Delta_{1}(y)_{13}$, $\Delta_{11}=\Delta_{1}(y)_{11}$, $\Delta=0$, implies that

$$\begin{aligned} \varphi_{1}(K_{P}y) ={}&\frac{1}{2} \varphi_{1} \biggl( \int _{0}^{t}(t-s)^{2}y(s) \,ds \biggr)- \frac{\Delta_{2}(y)_{11}}{2\Delta _{11}}\varphi_{1}(t)-\frac{\Delta_{3}(y)_{11}}{2\Delta_{11}}\varphi _{1}(1) \\ &{}+\frac{\Delta_{13}\Delta_{3}(y)_{11}-\Delta_{12}\Delta _{2}(y)_{11}}{2\Delta_{11}(2\Delta_{11}^{2}+\Delta_{12}^{2}+\Delta _{13}^{2})} \bigl[\Delta_{11}\varphi_{1} \bigl(t^{2} \bigr) -\Delta_{12}\varphi _{1}(t)+ \Delta_{13}\varphi_{1}(1) \bigr] \\ ={}&\frac{1}{2\Delta_{11}} \biggl[\varphi_{1} \biggl( \int _{0}^{t}(t-s)^{2}y(s) \,ds \biggr) \Delta_{1}(y)_{11}-\varphi_{1}(t)\Delta _{1}(y)_{12}+\varphi_{1}(1)\Delta_{1}(y)_{13} \biggr] \\ &{}+ \frac{\Delta_{13}\Delta_{3}(y)_{11}-\Delta_{12}\Delta _{2}(y)_{11}}{2\Delta_{11}(2\Delta_{11}^{2}+\Delta_{12}^{2}+\Delta _{13}^{2})}\Delta \\ ={}&\frac{1}{2\Delta_{11}}\Delta_{1}(y)+ \frac{\Delta_{13}\Delta_{3}(y)_{11} -\Delta_{12}\Delta_{2}(y)_{11}}{2\Delta_{11}(2\Delta_{11}^{2}+\Delta _{12}^{2}+\Delta_{13}^{2})}\Delta=0. \end{aligned}$$

Obviously, $\varphi_{2}(K_{P}y)=\varphi_{3}(K_{P}y)=0$. So, $K_{P}y\in\operatorname {dom}L$. By a simple calculation, we can obtain $K_{P}y\in\operatorname {Ker}P$ and $LK_{P}y=y$. Therefore, $K_{P}=(L| _{\operatorname{dom}L\cap\operatorname {Ker}P})^{-1}$. If $\Delta_{11}=0$, $\Delta_{12}\neq0$ or $\Delta _{11}=\Delta_{12}=0$, $\Delta_{13}\neq0$, we can similarly get the result.

If $\Delta_{11}\neq0$, then

$$\begin{aligned} \Vert K_{P}y \Vert \leq {}&\Vert y \Vert _{1}+ \frac{2l}{2 \vert \Delta_{11} \vert }\cdot2 \Vert y \Vert _{1}+\frac {2l}{2 \vert \Delta_{11} \vert }\cdot2 \Vert y \Vert _{1} \\ &{}+\frac{(2 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta_{13} \vert )( \vert \Delta _{13} \vert + \vert \Delta_{12} \vert )}{2 \vert \Delta_{11} \vert (2\Delta_{11}^{2}+\Delta _{12}^{2}+\Delta_{13}^{2})}2l\cdot2 \Vert y \Vert _{1} \\ \leq{}& \biggl(1+ \frac{16l}{ \vert \Delta_{11} \vert } \biggr) \Vert y \Vert _{1}. \end{aligned}$$

If $\Delta_{11}=0$, $\Delta_{12}\neq0$, then

$$\begin{aligned} \Vert K_{P}y \Vert &\leq \Vert y \Vert _{1}+ \frac{2\cdot2l}{2 \vert \Delta_{12} \vert }\cdot2 \Vert y \Vert _{1}+\frac{2\cdot2l}{2 \vert \Delta_{12} \vert }\cdot2 \Vert y \Vert _{1}+\frac{( \vert \Delta_{12} \vert + \vert \Delta_{13} \vert ) \vert \Delta_{13} \vert }{ \vert \Delta_{12} \vert (\Delta_{12}^{2}+\Delta _{13}^{2})}4l\cdot \Vert y \Vert _{1} \\ &\leq \biggl(1+ \frac{8l}{ \vert \Delta_{12} \vert }+ \frac{8l}{ \vert \Delta _{12} \vert } \biggr) \Vert y \Vert _{1}= \biggl(1+ \frac{16l}{ \vert \Delta_{12} \vert } \biggr) \Vert y \Vert _{1}. \end{aligned}$$

Similarly, if $\Delta_{11}=\Delta_{12}=0$, $\Delta_{13}\neq0$, then

$$\Vert K_{P}y \Vert \leq \biggl(1+ \frac{16l}{ \vert \Delta_{13} \vert } \biggr) \Vert y \Vert _{1}. $$

 □

Lemma 4.3

Assume that $(H_{1})$ holds and $\Omega\subset X$ is bounded. Then N is L-compact on Ω.

Proof

For $x\in\overline{\Omega}$, there exists a constant $r>0$ such that $\Vert x \Vert \leq r$. By $(H_{1})$, we get

$$\begin{aligned} \Vert QNx \Vert _{1}& = \biggl\vert (\varphi_{1}-k \varphi_{2}) \biggl( \int _{0}^{t}(t-s)^{2}f \bigl(s,x(s),x'(s),x''(s) \bigr) \,ds \biggr) \biggr\vert \Vert g \Vert _{1} \\ & \leq(k_{1}+kk_{2}) \biggl\Vert \int_{0}^{t}(t-s)^{2}f \bigl(s,x(s),x'(s),x''(s) \bigr) \,ds \biggr\Vert \Vert g \Vert _{1} \\ & \leq(k_{1}+kk_{2}) \Vert h_{r} \Vert _{1} \Vert g \Vert _{1}, \end{aligned}$$

that is, $QN(\overline{\Omega})$ is bounded. Hence,

$$\bigl\Vert K_{P}(I-Q)Nx \bigr\Vert \leq A_{P} \bigl( \Vert Nx \Vert _{1}+ \Vert QNx \Vert _{1} \bigr)\leq A_{P} \bigl(1+(k_{1}+kk_{2}) \Vert g \Vert _{1} \bigr) \Vert h_{r} \Vert _{1}. $$

So, $K_{P}(I-Q)N(\overline{\Omega})$ is bounded.

By the same method as used in the proof of Lemma 3.3, we can demonstrate that $K_{P}(I-Q)N(\overline{\Omega})$ is compact. Thus N is L-compact. □

When $\Delta_{11}\neq0$, we assume that the following conditions hold:

$(H_{9})$ :

There exists a constant $M_{0}>0$ such that if $\vert x''(t) \vert > M_{0}$, then

$$(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}Nx(s) \,ds \biggr) \neq0; $$

$(H_{10})$ :

There exists a constant $M_{1}>0$ such that if $\vert c \vert > M_{1}$, either

$$ c(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N \bigl(c \bigl( \Delta _{11}s^{2}-\Delta_{12}s+\Delta_{13} \bigr) \bigr) \,ds \biggr) > 0, $$

(4.5)

or

$$ c(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N \bigl(c \bigl( \Delta _{11}s^{2}-\Delta_{12}s+\Delta_{13} \bigr) \bigr) \,ds \biggr) < 0. $$

(4.6)

Lemma 4.4

Assume that $\Delta_{11}\neq0$, $(H_{2}), (H_{9})$ and

$$ \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1}< \frac{2 \vert \Delta_{11} \vert }{A_{P}(4 \vert \Delta _{11} \vert + \vert \Delta_{12} \vert + \vert \Delta_{13} \vert )} $$

(4.7)

hold. Then the set

$$\Omega_{1}= \bigl\{ x\in\operatorname{dom}L\backslash \operatorname{Ker}L, Lx= \lambda Nx,\lambda\in(0,1) \bigr\} $$

is bounded.

Proof

Since $x\in\Omega_{1}$, then $QNx=0$. By $(H_{9})$, there exists $t_{0}\in[0,1]$ such that $\vert x''(t_{0}) \vert \leq M_{0}$. Since $x= Px +(I-P)x$,

$$ \bigl\Vert (I-P)x \bigr\Vert < A_{P} \Vert Nx \Vert _{1}, $$

(4.8)

and $x''(t)=(Px)''(t)+((I-P)x)''(t)$, it follows that

$$\bigl\vert (Px)''(t_{0}) \bigr\vert = \bigl\vert x''(t_{0})- \bigl((I-P)x \bigr)''(t_{0}) \bigr\vert < M_{0}+A_{P} \Vert Nx \Vert _{1}. $$

Considering

$$(Px)''(t_{0})=\frac{\Delta_{11}x''(0)-\Delta_{12}x'(0)+\Delta _{13}x(0)}{2\Delta_{11}^{2}+\Delta_{12}^{2}+\Delta_{13}^{2}}\cdot2 \Delta_{11}, $$

we have

$$\biggl\vert \frac{\Delta_{11}x''(0)-\Delta_{12}x'(0)+\Delta _{13}x(0)}{2\Delta_{11}^{2}+\Delta_{12}^{2}+\Delta_{13}^{2}} \biggr\vert \leq\frac{1}{2\Delta_{11}} \bigl(M_{0}+A_{P} \Vert Nx \Vert _{1} \bigr). $$

This, together with (4.8) and $(H_{2})$, means

$$\begin{aligned} \Vert x \Vert \leq{}& \Vert Px \Vert + \bigl\Vert (I-P)x \bigr\Vert \\ \leq{}&\frac{M_{0}+A_{P} \Vert Nx \Vert _{1}}{2 \vert \Delta_{11} \vert } \bigl(2 \vert \Delta _{11} \vert + \vert \Delta_{12} \vert + \vert \Delta_{13} \vert \bigr)+A_{P} \Vert Nx \Vert _{1} \\ ={}& \frac{M_{0}}{2 \vert \Delta_{11} \vert } \bigl(2 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta _{13} \vert \bigr) + \biggl(\frac{2 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta _{13} \vert }{2 \vert \Delta_{11} \vert }+1 \biggr)A_{P} \Vert Nx \Vert _{1} \\ \leq{}&\frac{M_{0}}{2 \vert \Delta_{11} \vert } \bigl(2 \vert \Delta_{11} \vert + \vert \Delta _{12} \vert + \vert \Delta_{13} \vert \bigr) \\ &{}+ \biggl(\frac{(4 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta _{13} \vert )}{2 \vert \Delta_{11} \vert } \biggr)A_{P} \bigl[ \Vert a \Vert _{1}+ \bigl( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} \bigr) \Vert x \Vert \bigr]. \end{aligned}$$

So,

$$\Vert x \Vert \leq\frac{M_{0}(2 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta _{13} \vert )+A_{P} \Vert a \Vert _{1}(4 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta _{13} \vert )}{2 \vert \Delta_{11} \vert -A_{P}(4 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta _{13} \vert )( \Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1})}. $$

Therefore, $\overline{\Omega}_{1}$ is bounded due to (4.7). □

Lemma 4.5

Assume that $\Delta_{11}\neq0$ and $(H_{10})$ holds. Then the set $\Omega_{2}=\{ x\in\operatorname{Ker}L:Nx\in\operatorname{Im}L\}$ is bounded.

Proof

For $x\in\Omega_{2}$, we have $x=c(\Delta _{11}t^{2}-\Delta_{12}t+\Delta_{13})$ and $QNx=0$. By $(H_{10})$, we get that $\vert c \vert \leq M_{1}$. So, $\Omega_{2}$ is bounded. □

Let $\rho= \{ \scriptsize{ \begin{array}{l@{\quad}l} 1, &\mbox{if } (4.5) \mbox{ holds},\\ -1, &\mbox{if } (4.6) \mbox{ holds}. \end{array}}$

Lemma 4.6

Assume that $\Delta_{11}\neq0$ and $(H_{10})$ holds. The set

$$\Omega_{3}= \bigl\{ x\in\operatorname{Ker}L:\lambda\rho x+(1-\lambda )JQNx=0, \lambda\in[0,1] \bigr\} $$

is bounded, where $J: \operatorname{Im}Q \rightarrow \operatorname{Ker}L$ is defined by (4.3).

Proof

If $x\in\Omega_{3}$, then $\lambda\rho x +(1-\lambda )JQNx=0$, $x=c(\Delta_{11}t^{2}-\Delta_{12}t+\Delta_{13})$.

If $\lambda=0$, then $QNx=0$. It follows from $(H_{10})$ that $\Vert x \Vert \leq M_{1}(2 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta_{13} \vert )$. If $\lambda=1$, then $x \equiv0$. For $\lambda\in(0,1)$, we have

$$\begin{aligned} &c \bigl(\Delta_{11}t^{2}-\Delta_{12}t+ \Delta_{13} \bigr) \\ &\quad=-\frac{1-\lambda }{\lambda \rho} (\varphi_{1}-k \varphi_{2}) \biggl( \int _{0}^{t}(t-s)^{2}N \bigl(c \bigl( \Delta_{11}s^{2}-\Delta_{12}s+\Delta_{13} \bigr) \bigr) \,ds \biggr) \bigl(\Delta_{11}t^{2}- \Delta_{12}t+\Delta_{13} \bigr). \end{aligned}$$

That is,

$$c^{2}=- \frac{1-\lambda}{\lambda\rho} (\varphi_{1}-k \varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N \bigl(c \bigl( \Delta_{11}s^{2}-\Delta_{12}s+\Delta_{13} \bigr) \bigr) \,ds \biggr). $$

By $(H_{10})$, we know that $\vert c \vert \leq M_{1}$. So, $\Omega_{3}$ is bounded. □

Theorem 4.7

Assume that $\Delta_{11}\neq0$ and $(H_{2})$, $(H_{9})$, $(H_{10})$ hold and

$$\Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1}< \frac{2 \vert \Delta_{11} \vert }{A_{P}(4 \vert \Delta _{11} \vert + \vert \Delta_{12} \vert + \vert \Delta_{13} \vert )}, $$

where $A_{p}$ is given by (4.4). Then FBVP (1.1) has at least one solution.

The proof is similar to that of Theorem 3.8.

The example below illustrates Theorem 4.7.

Consider

$$x'''(t) = \frac{1}{\sqrt{t}}+ A \sin{x(t)} + A \sin{x'(t)}+ A x''(t), \quad t \in(0,1), $$

where $A =1/113{,}414$, along with the functional conditions

$$\begin{aligned} &\phi_{1}(x) = 7x(0)+4u'(0)+2x''(0)+12 \int_{0}^{1}x(s) \,ds = 0, \\ &\phi_{2}(x) = x(0)+x'(0)+x''(0)+18 \int_{0}^{1}x(s) \,ds = 0, \\ &\phi_{3}(x) = -4x(0) -2x'(0)-\frac{1}{2}x''(0)+6 \int_{0}^{1}x(s) \,ds = 0. \end{aligned}$$

In this case $\phi_{1}(t^{2}) = \phi_{2}(t^{2}) =8$, $\phi_{3}(t^{2})=1$, $\phi _{1}(t) = \phi_{2}(t) =10$, $\phi_{3}(t)=1$, and $\phi_{1}(1) = \phi_{2}(1) =19$, $\phi_{3}(1)=2$, so that $k=1$. Also, $\triangle= 0$ and $\triangle_{11}=1$, $\triangle_{12} = -3$, $\triangle_{13} = -2$, and

$$\operatorname{Ker} L = \bigl\{ c \bigl(\triangle_{11}t^{2}- \triangle _{12}t+\triangle_{13} \bigr): c \in\mathbb{R} \bigr\} = \bigl\{ c \bigl(t^{2}+3t-2 \bigr): c \in \mathbb{R} \bigr\} . $$

Subsequently,

$$\phi_{1}(x)-k\phi_{2}(x) = 6x(0)+3x'(0)+x''(0) -6 \int_{0}^{1} x(s) \,ds $$

and

$$\begin{aligned} &\phi_{1} \biggl( \int_{0}^{t}(t-s)^{2} Nx(s) \,ds \biggr)-k \phi_{2} \biggl( \int _{0}^{t}(t-s)^{2} Nx(s) \,ds \biggr) \\ &\quad= -6 \int_{0}^{1} \int_{0}^{s}(s-\tau)^{2} Nx(\tau) \,d\tau \,ds \\ &\quad = - 2 \int_{0}^{1} (1-s)^{3} f \bigl(s,x(s),x'(s),x''(s) \bigr) \,ds. \end{aligned}$$

We can easily check $(\phi_{1}-k\phi_{2})(-t^{5})=1$.

The following estimates hold for $x''(t) < -M_{0}$:

$$\begin{aligned} f \bigl(t,x(t),x'(t),x''(t) \bigr) = \frac{1}{\sqrt{t}}+ A \sin{x(t)} + A \sin {x'(t)}+ A x''(t) < \frac{1}{\sqrt{t}} + 2A - A M_{0}, \end{aligned}$$

and hence

$$\begin{aligned} &\phi_{1} \biggl( \int_{0}^{t}(t-s)^{2} Nx(s) \,ds \biggr)-k \phi_{2} \biggl( \int _{0}^{t}(t-s)^{2} Nx(s) \,ds \biggr) \\ &\quad= - 2 \int_{0}^{1} (1-s)^{3} f \bigl(s,x(s),x'(s),x''(s) \bigr) \,ds \\ &\quad> - 2 \int_{0}^{1} (1-s)^{3} \biggl( \frac{1}{\sqrt{s}} + 2A - A M_{0} \biggr) \,ds \\ &\quad = -\frac{64}{35} -A + \frac{1}{2} AM_{0} \\ &\quad >0 \end{aligned}$$

provided $M_{0} > 2 + \frac{128}{35A}$.

If $x''(t) > M_{0}$, then

$$\begin{aligned} f \bigl(t,x(t),x'(t),x''(t) \bigr) &= \frac{1}{\sqrt{t}}+ A \sin{x(t)} + A \sin {x'(t)}+ A x''(t) \\ & > \frac{1}{\sqrt{t}} - 2A + A M_{0}, \end{aligned}$$

and hence

$$\begin{aligned} &\phi_{1} \biggl( \int_{0}^{t}(t-s)^{2} Nx(s) \,ds \biggr)-k \phi_{2} \biggl( \int _{0}^{t}(t-s)^{2} Nx(s) \,ds \biggr) \\ &\quad= - 2 \int_{0}^{1} (1-s)^{3} f \bigl(s,x(s),x'(s),x''(s) \bigr) \,ds \\ &\quad< - 2 \int_{0}^{1} (1-s)^{3} \biggl( \frac{1}{\sqrt{s}} - 2A + A M_{0} \biggr) \,ds \\ &\quad = -\frac{64}{35} +A - \frac{1}{2} AM_{0} \\ &\quad < 0 \end{aligned}$$

provided $M_{0} > 2$.

Therefore, if we choose $M_{0} > 2 + \frac{64}{35A}$, then ($H_{9}$) holds.

Let now $c\in\mathbb{R}$ and $x_{c}(t)= c(t^{2}+3t-2)$. Then

$$Nx_{c}(t) =\frac{1}{\sqrt{t}}+ A\sin \bigl({x_{c}(t)} \bigr)+ A\sin \bigl({x'_{c}(t)} \bigr)+2Ac $$

and

$$(\phi_{1}-k\phi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N x_{c}(s) \,ds \biggr) = -\frac {64}{35} - 2A \int_{0}^{1}(1-s)^{3} \bigl(\sin \bigl({x_{c}(s)} \bigr)+ \sin \bigl({x'_{c}(s)} \bigr)+2c \bigr) \,ds. $$

Then, repeating the computation leading to the choice of $M_{0}$, we obtain that $\vert c \vert > M_{1} = M_{0}/2$ results in

$$\begin{aligned} &c(\phi_{1}-k\phi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N x_{c}(s) \,ds \biggr) \\ &\quad= c \biggl(-\frac{64}{35} - 2A \int_{0}^{1}(1-s)^{3} \bigl(\sin \bigl({x_{c}(s)} \bigr)+ \sin \bigl({x'_{c}(s)} \bigr)+2c \bigr) \,ds \biggr) < 0, \end{aligned}$$

that is, ($H_{10}$) holds.

Finally, note that $k_{1} = 25$, $k_{2}=21$, $k_{3} = 25/2$, so that $l= 525$. Hence $A_{P} = 1 +16l/ \vert \triangle_{11} \vert =8{,}401$. Then

$$\Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1} = 3A < 2/75{,}609 = \frac{2 \vert \Delta_{11} \vert }{A_{P}(4 \vert \Delta_{11} \vert + \vert \Delta_{12} \vert + \vert \Delta_{13} \vert )}. $$

All the conditions of Theorem 4.7 are verified.

The following corollaries are stated without proof.

Corollary 4.8

Let $\Delta_{11}=0$, $\Delta_{12}\neq0$ and assume that ($H_{2}$) and the following conditions hold:

$$\Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1}< \frac{ \vert \Delta_{12} \vert }{A_{P}(2 \vert \Delta _{12} \vert + \vert \Delta_{13} \vert )}; $$

$(H_{11})$ :

There exists a constant $M'_{0}>0$ such that if $\vert x'(t) \vert \geq M'_{0}$, then

$$(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}Nx(s) \,ds \biggr) \neq0; $$

$(H_{12})$ :

There exists a constant $M'_{1} > 0$ such that if $\vert c \vert > M'_{1}$, then either

$$c(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N \bigl(c(- \triangle _{12}s+\triangle_{13}) \bigr) \,ds \biggr) > 0, $$

or

$$c(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N \bigl(c(- \triangle _{12}s+\triangle_{13}) \bigr) \,ds \biggr) < 0. $$

Then FBVP (1.1) has at least one solution.

Corollary 4.9

Let $\Delta_{11}=\Delta_{12}=0$, $\Delta _{13}\neq0$ and assume that ($H_{2}$) and the following conditions hold:

$$\Vert b \Vert _{1}+ \Vert c \Vert _{1}+ \Vert d \Vert _{1}< \frac{2}{A_{P}}; $$

$(H_{13})$ :

There exists a constant $M''_{0}>0$ such that if $\vert x(t) \vert \geq M''_{0}$, then

$$(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}Nx(s) \,ds \biggr) \neq0; $$

$(H_{14})$ :

There exists a constant $M''_{1} > 0$ such that if $\vert c \vert > M''_{1}$, then either

$$c(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N(c \triangle _{13}) \,ds \biggr) > 0, $$

or

$$c(\varphi_{1}-k\varphi_{2}) \biggl( \int_{0}^{t}(t-s)^{2}N(c \triangle _{13}) \,ds \biggr) < 0. $$

Then FBVP (1.1) has at least one solution.

5 Conclusion

This paper is a study of third-order functional boundary value problems at resonance; it improves and generalizes some of the existent results. We present several generalizations to the existing results and improvements to the method based on Mawhin’s coincidence degree theory.