\documentclass[reqno]{amsart}
\usepackage{hyperref}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2008(2008), No. 47, pp. 1--15.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu
\newline ftp ejde.math.txstate.edu  (login: ftp)}
\thanks{\copyright 2008 Texas State University - San Marcos.}
\vspace{8mm}}


\begin{document}
\title[\hfilneg EJDE-2008/47\hfil Another understanding]
{Another understanding of fourth-order four-point boundary-value problems}

\author[ P. S. Kelevedjiev, P. K. Palamides, N. I. Popivanov\hfil EJDE-2008/47\hfilneg]
{Petio S. Kelevedjiev, Panos K. Palamides, Nedyu I. Popivanov}

\address{Petio S. Kelevedjiev \newline
Department of Mathematics,
Technical University of Sliven, Sliven, Bulgaria}
\email{keleved@malcity.com}

\address{Panos K. Palamides \newline
Naval Academy of Greece, Piraeus, 451 10, Greece}
\email{ppalam@otenet.gr, ppalam@snd.edu.gr}
\urladdr{http://ux.snd.edu.gr/$\sim$maths-ii/pagepala.htm}

\address{Nedyu I. Popivanov \newline
Faculty of Mathematics and Informatics, 
``St. Kl. Ohridski'' University of Sofia 5, 
J. Bourchier Blvd P.O. Box 48, BG-1164 Sofia, Bulgaria}
\email{nedyu@fmi.uni-sofia.bg}

\thanks{Submitted February 5, 2008. Published March 30, 2008.}
\subjclass[2000]{34B15, 34B25}
\keywords{Multipoint boundary value problem; positive solution; 
vector field; \hfill\break\indent third order differential equation; Green
function; Krasnoselskii's fixed point theorem}

\begin{abstract}
 In this article we investigate the existence of positive and/or negative
 solutions of a classes of four-point boundary-value problems for
 fourth-order ordinary differential equations. The assumptions in this
 article are more relaxed than the known assumptions. Our technique relies on
 the continuum property (connectedness and compactness) of the solutions
 funnel (Knesser's Theorem), combined with the corresponding vector field's
 ones. This approach permits the extension of results (getting positive
 solutions) to nonlinear boundary conditions, whenever the corresponding
 Green's kernel is not of definite sign or there does not exist (see the last
 Corollary).
\end{abstract}

\maketitle
\numberwithin{equation}{section} 
\newtheorem{theorem}{Theorem}[section] 
\newtheorem{remark}[theorem]{Remark} 
\newtheorem{corollary}[theorem]{Corollary} 
\newtheorem{example}[theorem]{Example}

\section{Introduction}

In recent years, boundary-value problems for second and higher order
differential equations have been extensively studied. Due to their important
role in both theory and applications, BVPs have generated a great deal of
interest over the years. They are often used to model various phenomena in
physics, biology, chemistry and engineering (see \cite{GQY} and the
references there in).

Erbe and Wang \cite{EW}, by using a Green's function and the Krasnoselskii's
fixed point theorem in a cones proved the existence of a positive solution
of the boundary value problem 
\begin{gather*}
x''(t)=f(t,x(t)),\quad 0\leq t\leq 1, \\
ax(0)-bx^{\prime }(0)=0,\quad cx(1)+dx^{\prime }(1)=0,
\end{gather*}
under the following assumptions:

\begin{itemize}
\item[(A1)] $f$ is continuous and positive; i.e. $f\in C([0,1]\times [
0,\infty ),[0,\infty ))$, $\delta =ad+bc+ac>0$;

\item[(A2)] 
\begin{equation*}
\lim_{x\to 0+}\frac{\max_{0\leq t\leq 1}f(t,x)}{x}=0 \quad \text{and}\quad
\lim_{x\to +\infty }\frac{\min_{0\leq t\leq 1}f(t,x)}{x}=+\infty
\end{equation*}
or 
\begin{equation*}
\lim_{x\to 0+}\frac{\min_{0\leq t\leq 1}f(t,x)}{x}=+\infty \quad \text{and}\quad
\lim_{x\to +\infty }\frac{\max_{0\leq t\leq 1}f(t,x)}{x}=0.
\end{equation*}
\end{itemize}

The literature for last BVP is voluminous. Suggestively we refer to 
\cite{AO,ES,JP,Or,Pa} and the references therein. The monographs of Agarwal 
\cite{AG} and Agarwal, O'Regan and Wong \cite{AOW} contain excellent surveys of
known results.

Recently an increasing interest in studying the existence of solutions and
positive solutions to boundary-value problems for higher order differential
equations is observed; see for example \cite{AD, BW, GY, GY1, GHY}.
Especially, Graef and Yang \cite{GY} and Hao et all \cite{HD} proved
existence results on nonlinear boundary-value problem for fourth order
equations.

Recently, Ge and Bai \cite{GB} investigated the fourth-order nonlinear
boundary-value problem 
\begin{equation}
\begin{gathered} u^{(4)}(t)=-f(t,u(t),u''(t)),\quad 0\leq t\leq 1, \\
u(0)=u(1)=0 \\ au''(\xi _{1})-bu'''(\xi _{1})=0,\quad cu''(\xi
_{2})+du'''(\xi _{2})=0\,, \end{gathered}  \label{1.1}
\end{equation}
where $0\leq \xi _{1}<\xi _{1}\leq 0.\ $Precisely, by using a fixed point
theorem due to Krasnoselskii and Zabreiko in \cite{KZ}, they proved the
following result.

\begin{theorem}\label{Th0}
Assume that
\begin{itemize}
\item[(H1)] $a,b,c,d$ are nonnegative constants such that
$\rho =ad+bc+ac(\xi _{2}-\xi _{1})\neq 0$,
$b-a\xi _{1}\geq 0$ and $0\leq \xi _{1}<\xi _{2}\leq 1$;

\item[(H2)] The nonlinearity can separated as
$f(t,u,v)=p(t)g(u)+q(t)h(v)$, where $g,h:\mathbb{R}\to \mathbb{R}$
are continuous,
\begin{equation}
\lim_{u\to \infty }\frac{g(u)}{u}=\lambda ,\quad
\lim_{v\to \infty }\frac{h(v)}{v}=\mu ,  \label{*}
\end{equation}
and $p,q\in C[0,1]$. Moreover, there exists  $t_{0}\in [ 0,1]$
such that $p(t_{0})g(0)+q(t_{0})h(0)\not=0$, and there exists a continuous
nonnegative function $w:[0,1]\to \mathbb{R}^{+}$ such that
$|p(s)|+|q(s)|\leq w(s)$ for each $s\in [ 0,1]$.

\item[(H3)] $\max \{|\lambda |,|\mu |\}<\min \big\{\frac{1}{
L_{1}},\frac{1}{L_{2}}\big\}$, where
\begin{align*}
L_{1}& =\frac{1}{12}\Big[\int_{0}^{\xi _{1}}\tau ^{3}(2-\tau )w(\tau )d\tau
+\int_{\xi _{1}}^{1}(1-\tau )^{3}(1+\tau )w(\tau )d\tau \\
& \quad +\frac{2(b-a\xi _{1})+a}{d}\int_{\xi _{1}}^{\xi _{2}}(c(\xi
_{2}-\tau )+d)w(\tau )d\tau \Big],
\end{align*}
and
\[
L_{2}=\int_{\xi _{1}}^{1}(1-\tau )w(\tau )d\tau +\frac{1}{d}\int_{\xi
_{1}}^{\xi _{2}}(b+a(1-\xi _{1}))(c(\xi _{2}-\tau )+d)w(\tau )d\tau .
\]
\end{itemize}
Then the BVP \eqref{1.1} admits at least one nontrivial solution $u\in
C^{2}[0,1]$.
\end{theorem}

Graef et al. \cite{GQY} obtained existence and multiplicity results for the
BVP 
\begin{gather*}
u^{(4)}(t)=g(t)f(u(t)), \\
u(0)=u(1)=u''(1)=u''(0)-u^{\prime \prime
}(p)=0,\ \ p\in \left( 0,1\right) .
\end{gather*}
Cui and Zou \cite{CZ}, proved existence results for the same differential
equation with the boundary conditions 
\begin{equation*}
u(0)=u(1)=u^{\prime }(0)=u^{\prime }(1)=0,
\end{equation*}
under sub or super-linearity conditions on the nonlinearity.

\begin{remark} \label{Re1}\rm
We note that in Theorem \ref{Th0}, it is not assumed any
positivity of the nonlinearity and this fact does not guarantee positivity
of the obtained solution. Furthermore, whenever the nonlinearity is
nonnegative, the assumption $p(t_{0})g(0)+q(t_{0})h(0)\not=0$ in
(H2) yields
\[
\lim_{|u|+|v|\to 0}\frac{\sup_{0\leq t\leq 1}\ f(t,u,v)}{|u|+|v|}
=+\infty
\]
that is, the nonlinearity has an asymptotic behavior of sublinearity type,
at least at the origin. Indeed, if \ $p(t_{0})g(0)+q(t_{0})h(0)\not=0$ and
$t_{0}\in [ \xi _{1},\xi _{2}]$, then the above condition can be
written as
\[
\lim_{|u|+|v|\to 0}\frac{\sup_{\xi _{1}\leq t\leq \xi _{2}}\ f(t,u,v)
}{|u|+|v|}=\infty .
\]
The case $f(t,u,v)\equiv 0$, $\xi _{1}\leq t\leq \xi _{2}$ is impossible,
since then the BVP \eqref{1.1} accepts only the trivial solution,
contrary to
the assumption $p(t_{0})g(0)+q(t_{0})h(0)\not=0$.
\end{remark}

Restricting our consideration on the linear case, notice as far as the
author is aware, that only the conditions in \eqref{1.1} have been studied,
where the constants $a,b,c,d\geq 0$. If $f(t,0,0)=0$, then the boundary
value problem \eqref{1.1} always has the trivial solution, but here we are
only interested in a positive (negative) solution; i.e., whenever $u(t)>0$
on $(0,1)$.

The aim of this work is to prove the existence of a positive and/or a
negative solution for the boundary value problem \eqref{1.1}, where still $
a,b,c,d\geq 0$, but without the assumptions $\rho =ad+bc+ac(\xi _{2}-\xi
_{1})\neq 0$ and/or $b-a\xi _{1}\geq 0$. Moreover the nonlinearity is not
necessarily separated and the obtained solutions are of definite sign.

Furthermore we study BVPs of the form 
\begin{gather*}
u^{(4)}(t)=\pm f(t,u(t),u''(t)),\quad 0\leq t\leq 1, \\
u(0)=u(1)=0 \\
au''(\xi _{1})\pm bu^{\prime \prime \prime }(\xi
_{1})=0,\quad cu''(\xi _{2})\mp du''(\xi
_{2})=0,
\end{gather*}
where the constants $a,b,c,d\geq 0$ are chosen positive and suitable.

In some of these cases, seems that the Green's functions does not exists or
fails to be nonnegative. This makes Erbe and Wang's method not applicable in
those cases.

\begin{remark} \label{Re3} \rm
Assume the nonlinearity is negative. The differential equation
\eqref{12} defines a vector field, the properties of which will be crucial
for our study. More specifically, let us look at the $(v,v')$ face
semi-plane $(v>0)$. By the sign condition on $f$, we obtain that $v''<0$.
Thus any trajectory $(v(t),v'(t))$, $t\geq 0$,
emanating from the semi-line
\[
E_{0}:=\{(v,v'):av-bv'=0,\; v>0\}
\]
``evolutes'' naturally, initially (when
$v'(t)>0$) toward the positive $v$-semi-axis and then (when
$v'(t)<0$) turns toward the semi-line
\[
E_{1}:=\{(v,v'):cv+dv'=0,\;v>0\}.
\]
Setting a certain growth rate on $f$ (say superlinearity), we can control
the vector field, so that some trajectory reaches on $E_{1}$ at the time
$t=1 $. These properties will be referred as \emph{the nature of the vector
field} throughout the rest of paper.
\end{remark}

The technique presented here is different from those in the above mentioned
papers. Actually, we rely on the above ``nature of the vector field'' and
the Knesser's property (continuum) of the cross-sections of the solutions
funnel. For completeness we restate the well-known Knesser's theorem.

\begin{theorem}[\cite{Co}] \label{Th1}
Consider a system
\begin{equation} \label{ast}
x'=f(t,x),\quad (t,x)\in \Omega :=[a,b]\times \mathbb{R}^{n},
\end{equation}
 with $f$ continuous. Let $\hat{E}_{0}$ be a continuum
(compact and connected) in $\Omega_{0}:=\{(t,x)\in \Omega :t=a\}$
and let $\mathcal{X}(\hat{E}_{0})$ be the
family of  solutions of
\eqref{ast} emanating from $\hat{E}_{0}$. If any
solution $x\in \mathcal{X}(\hat{E}_{0})$ is defined on the interval
$[a,\tau ]$, then the set (\emph{cross-section)}
\[
\mathcal{X}(\tau ;\hat{E}_{0}):=\{ x(\tau ):x\in \mathcal{X}(\hat{E}
_{0})\}
\]
is a continuum in $\mathbb{R}^{n}$.
\end{theorem}

\section{Main Results}

Consider the differential equation 
\begin{equation}
u^{(4)}(t)=-f(t,u(t),u''(t)),\quad 0\leq t\leq 1,  \label{E}
\end{equation}
with boundary conditions 
\begin{equation}
\begin{gathered} u(0)=u(1)=0 \\ 
au''(\xi _{1})-bu'''(\xi _{1})=0,\quad
cu''(\xi _{2})+du'''(\xi _{2})=0. \end{gathered}  \label{C}
\end{equation}

\begin{remark} \label{Re2} \rm
The change of variable $v(t)=u''(t)$
reduces the above boundary value problem to
\begin{equation}
\begin{gathered}
v''(t)=-f(t,u(t),v(t)),\quad t\in [ 0,1], \\
au''(\xi _{1})-bu'''(\xi _{1})=0,\quad cu''(\xi _{2})+du'''(\xi _{2})=0,
\end{gathered}  \label{12}
\end{equation}
where
\[
u(t)=\int_{0}^{t}s(t-1)v(s)
ds+\int_{t}^{1}t(s-1)v(s)ds,\quad 0\leq t\leq 1.
\]
We note that
\begin{equation}
\begin{gathered}
0\leq v(t)\leq M,\; t\in [ 0,1]\;  \Rightarrow \;
 -\frac{M}{8}\leq u(t)\leq 0,\; t\in [ 0,1]; \\
v(t)\geq M,\; t\in [ 0,1]\; \Rightarrow \;
u(t)\leq -\frac{M}{8},\; t\in [ 0,1]
\end{gathered}  \label{120}
\end{equation}
Moreover, whenever we are interesting in negative and convex solutions,
without loss of generality, we may extend the nonlinearity as
\[
f(t,u,v)=f(t,0,0),\quad  u\geq 0\text{  and  }v\leq 0
\]
and if we are asking for positive and concave solutions, we may set
\[
f(t,u,v)=f(t,0,0),\quad  u\leq 0\text{  and  }v\geq 0.
\]
\end{remark}

We will use the following assumptions: The nonlinearity $f$ is a continuous
and nonnegative function; that is, 
\begin{equation}
f(t,u,v)\in C([0,1]\times (-\infty ,0]\times [ 0,+\infty ),[0,+\infty )).
\label{B1}
\end{equation}
It is asymptotically linear at infinity; that is, 
\begin{equation}
f_{\infty }=\lim_{u\to -\infty ,v\to +\infty }\frac{ \min_{\xi _{1}\leq
t\leq \xi _{2}}\ f(t,u,v)}{v}=\mu \leq +\infty .  \label{B2}
\end{equation}
It is superlinear at the origin; that is, 
\begin{equation}
f_{0}=\lim_{u\to 0-,v\to 0+}\frac{\max_{\xi _{1}\leq t\leq \xi _{2}}
f(t,u,v)}{v}=0.  \label{B3}
\end{equation}
Similarly, we assume that: 
\begin{gather}
f(t,u,v)\in C([0,1]\times [ 0,+\infty )\times (-\infty ,0],[0,+\infty ));
\label{B0} \\
f_{\infty }=\lim_{u\to +\infty ,v\to -\infty }\frac{ \min_{\xi _{1}\leq
t\leq \xi _{2}}f(t,u,v)}{-v}=\mu ;  \label{B10} \\
f_{0}=\lim_{u\to 0+,v\to 0-}\frac{\min_{\xi _{1}\leq t\leq \xi _{2}}
f(t,u,v)}{v}=0.  \label{B30}
\end{gather}

For technical reasons and since readers are more familiar with the boundary
conditions at \eqref{12}, we prefer to establish first an existence result
for the boundary value problem \eqref{E}--\eqref{C} and then (see Theorems 
\ref{Th30}, \ref{Th20} and \ref{Th21}) we exhibit results for other BVPs.

\begin{theorem}\label{Th2}
Assume \eqref{B1}--\eqref{B3} hold. Then the boundary value
problem \eqref{E}--\eqref{C} admits a negative and convex solution
$u(t)$, $0\leq t\leq 1$, provided that
\[
\mu >\frac{48}{(\xi _{2}-\xi _{1})^{2}}.
\]
\end{theorem}

\begin{proof}
Consider the BVP \eqref{12}. From assumptions (\ref{B2}) and (\ref{120}), it
follows that for every $K\in \big(\frac{48}{(\xi _{2}-\xi _{1})^{2}},\mu 
\big)$, there is an $H>0$, such that 
\begin{equation*}
f(t,u,v)\geq Kv,\quad 0\leq t\leq 1,\quad u\leq -\frac{H}{8},\quad v\geq H.
\end{equation*}
We assert that there is $v_{1}$ sufficiently large and a solution $v\in 
\mathcal{X}(P_{1})$, $P_{1}=(v_{1},\frac{a}{b}v_{1}) \in E_{0}$ such that 
\begin{equation}
v(\xi _{2})\leq 0.  \label{110}
\end{equation}
Considering then the function 
\begin{equation*}
G(P_{1}):=cv(\xi _{2})+dv^{\prime }(\xi _{2}).
\end{equation*}
We note that 
\begin{equation}
G(P_{1})<0  \label{25}
\end{equation}
since, in view of Remark \ref{Re3}, $v^{\prime }(\xi _{2})<0$.

We assume on the contrary, that for every $P_{1}=(v_{1},\frac{a}{b}
v_{1})\in E_{0}$, where $v_{1}\geq H$ and any solution $v\in \mathcal{X}
(P_{1})$, 
\begin{equation*}
v(t)>0,\quad \xi _{1}\leq t\leq \xi _{2}.
\end{equation*}
Note first that for $v_{1}=H$, the sign property of $f$ yields 
\begin{equation}
v(t)=v_{1}+(t-\xi _{1})\frac{a}{b}v_{1}-\frac{ (t-\xi _{1})^{2}}{2!}f(\bar{t}
,u(\bar{t}) ,v(\bar{t}))\leq H\big(1+\frac{a}{b}(\xi _{2}-\xi _{1})\big),
\label{112}
\end{equation}
for $\xi _{1}\leq t\leq \xi _{2}$. We assert that there exists $v_{1}\geq
H,\ $for which 
\begin{equation}
\begin{gathered} v(t)<2H(1+\frac{a}{b}(\xi _{2}-\xi _{1})),\quad
v'(t)>0,\quad \xi _{1}\leq t\leq \xi _{1}+(\xi _{2}-\xi _{1})/4, \\ v(\xi
_{1}+(\xi _{2}-\xi _{1})/4\ )=2H(1+ \frac{a}{b}(\xi _{2}-\xi _{1})).
\end{gathered}  \label{113}
\end{equation}
Let us assume that is not true. By the Knesser's property, the set 
\begin{equation*}
C=\{ (t,v(t)):\xi _{1}\leq t\leq \xi _{1}+(\xi _{2}-\xi _{1})/4,\ v\in 
\mathcal{X}(\Omega)\},
\end{equation*}
where $\Omega =([H,+\infty )\times [ \frac{a}{b}H,+\infty))\cap E_{0}$ is
connected. Hence by (\ref{112}) we obtain that 
\begin{equation*}
v(t)<2H\big(1+\frac{a}{b}(\xi _{2}-\xi _{1})\big),\quad \xi _{1}\leq t\leq
\xi _{1}+(\xi _{2}-\xi _{1}) /4,\; v\in \mathcal{X}(\Omega ).
\end{equation*}
This conclusion is impossible. Indeed, for that (fixed) $H$, we chose 
\begin{align*}
M=\max \Big\{ & f(t,u,v):\xi _{1}\leq t\leq \xi _{1}+(\xi _{2}-\xi_{1})/4,\;
0\leq v\leq 2H(1+\frac{a}{b}(\xi _{2}-\xi _{1})), \\
&-\frac{2H}{8}(1+\frac{a}{b}(\xi _{2}-\xi_{1}))\leq u\leq 0 \Big\}
\end{align*}
Then by the Taylor formula, we get for some $\bar{t}\in [ \xi
_{1},\xi_{1}+(\xi _{2}-\xi _{1})/4] $, 
\begin{align*}
v(\xi _{1}+(\xi _{2}-\xi _{1})/4\ ) &= v_{1}+\frac{a}{b}v_{1}\frac{(\xi
_{2}-\xi _{1})}{4}\ -\frac{(\xi _{2}-\xi _{1})^{2}}{4^{2}2!}f(\bar{t},u(\bar{
t}),v(\bar{t} )) \\
&\geq v_{1}\big(1+\frac{a}{b}\frac{(\xi _{2}-\xi _{1})}{4} \big)-M\frac{(\xi
_{2}-\xi _{1})^{2}}{32}.
\end{align*}
Hence 
\begin{equation*}
\lim_{v_{1}\to +\infty }v(\xi _{1}+(\xi _{2}-\xi_{1})/4\ ) =\lim_{v_{1}\to
+\infty }v_{1} \big(1+\frac{a}{b}\frac{(\xi _{2}-\xi _{1})}{4}\big) -M\frac{
(\xi_{2}-\xi _{1})^{2}}{32}=+\infty ,
\end{equation*}
a contradiction. This and the positivity of the nonlinearity prove the
assertion (\ref{113}). Since 
\begin{equation*}
v(\xi _{1}+(\xi _{2}-\xi _{1})/4\ ) =v(\xi _{1}\ )+\int_{\xi _{1}}^{\xi
_{1}+(\xi _{2}-\xi _{1})/4}v^{\prime }(t)dt \geq \frac{(\xi _{2}-\xi _{1})}{4
}v^{\prime }(\xi _{1}+(\xi _{2}-\xi _{1})/4\ ),
\end{equation*}
we get 
\begin{equation}
v^{\prime }(\xi _{1}+(\xi _{2}-\xi _{1})/4\ ) \leq 8H\frac{1+\frac{a}{b}(\xi
_{2}-\xi _{1})}{(\xi _{2}-\xi_{1})}.  \label{203}
\end{equation}
If 
\begin{equation*}
v(t)\geq 2H\big(1+\frac{a}{b}(\xi _{2}-\xi _{1}) \big),\quad \xi _{1}+(\xi
_{2}-\xi _{1})/4\leq t\leq \xi _{2},
\end{equation*}
we obtain the contradiction 
\begin{align*}
v(\xi _{2})&= v(\xi _{1}+(\xi _{2}-\xi _{1}) /4)+\frac{3(\xi _{2}-\xi _{1})}{
4}v^{\prime }(\xi _{1}+(\xi _{2}-\xi _{1})/4) \\
&\quad -\frac{1}{2!}\frac{9(\xi _{2}-\xi _{1})^{2}}{16}f( t,u(t),v(t)) \\
&\leq 2H(1+\frac{a}{b}(\xi _{2}-\xi _{1}))+\frac{ 3(\xi _{2}-\xi _{1})}{4}8H
\frac{1+\frac{a}{b}(\xi _{2}-\xi _{1})}{(\xi _{2}-\xi _{1})} \\
&\quad -\frac{9}{2!}\frac{(\xi _{2}-\xi _{1})^{2}}{16}K2H(1+ \frac{a}{b}(\xi
_{2}-\xi _{1}))<0,
\end{align*}
due to the choice of $K>48/(\xi _{2}-\xi _{1})^{2}>128/9( \xi _{2}-\xi
_{1})^{2}$. Thus we may consider $t_{0}=(\xi _{1},\xi _{1}+(\xi _{2}-\xi
_{1})/4)$ and $t_{1}\in (\xi _{1}+(\xi _{2}-\xi _{1})/4,\xi _{2})$ such that 
\begin{equation}
\begin{gathered} v(t_{0})=H(1+\frac{a}{b}(\xi _{2}-\xi _{1}))=v(t_{1})\\
v'(t_{0}) >0,\quad v'(t_{1})<0, \\ v(t)\geq H(1+\frac{a}{b}(\xi _{2}-\xi
_{1})),\quad t_{0}\leq t\leq t_{1}. \end{gathered}  \label{204}
\end{equation}
Suppose that $t_{1}\geq \xi _{1}+(3/4)(\xi _{2}-\xi_{1})$. Then from (\ref
{203}) and the choice of $K\geq 48/(\xi_{2}-\xi _{1})^{2}\geq 16/(\xi
_{2}-\xi _{1})$, we get the contradiction 
\begin{align*}
v(t_{1})&=v(\xi _{1}+(\xi _{2}-\xi _{1})/4) +[ t_{1}-(\xi _{1}+(\xi _{2}-\xi
_{1})/4)] v^{\prime }(\xi _{1}+(\xi _{2}-\xi _{1}) /4) \\
&\quad -\frac{(t_{1}-(\xi _{1}+(\xi_{2}-\xi _{1})/4))^{2}}{2!}f(t,u(t), v(t))
\\
&\leq H(1+\frac{a}{b}(\xi _{2}-\xi _{1}))+[ t_{1}-(\xi _{1}+(\xi _{2}-\xi
_{1})/4)] 8H\frac{1+\frac{a}{b} (\xi _{2}-\xi _{1})}{(\xi _{2}-\xi _{1})} \\
&\quad -\frac{(t_{1}-(\xi _{1}+(\xi _{2}-\xi _{1})/4) )^{2}}{2!}KH(1+\frac{a
}{b}(\xi _{2}-\xi _{1})) \\
&<H(1+\frac{a}{b}(\xi _{2}-\xi _{1}))
\end{align*}
Hence 
\begin{equation}
t_{1}\in (\xi _{1}+(\xi _{2}-\xi _{1})/4,\ \xi _{1}+( 3/4)(\xi _{2}-\xi
_{1}))  \label{2040}
\end{equation}
Assume that 
\begin{equation}
v^{\prime }(t_{1})>-4H\frac{1+\frac{a}{b}(\xi _{2}-\xi _{1})}{(\xi _{2}-\xi
_{1})}.  \label{205}
\end{equation}
Then 
\begin{align*}
v(t_{1})&= v(\xi _{1}+(\xi _{2}-\xi _{1}) /4)+\int_{\xi _{1}+(\xi _{2}-\xi
_{1}) /4}^{t_{1}}v^{\prime }(t)dt \\
&\geq 2H(1+\frac{a}{b}(\xi _{2}-\xi _{1}))-4H \frac{1+\frac{a}{b}(\xi
_{2}-\xi _{1})}{(\xi _{2}-\xi _{1})}(t_{1}-(\xi _{1}+(\xi _{2}-\xi _{1})/4)).
\end{align*}
Consequently, in view of (\ref{204})-(\ref{205}), we obtain 
\begin{equation*}
(2H-H)\big(1+\frac{a}{b}(\xi _{2}-\xi _{1}) \big)\leq 4H\frac{1+\frac{a}{b}
(\xi _{2}-\xi _{1})}{( \xi _{2}-\xi _{1})}(t_{1}-(\xi _{1}+(\xi
_{2}-\xi_{1})/4))
\end{equation*}
and then 
\begin{equation}
t_{1}\geq \xi _{1}+\frac{\xi _{2}-\xi _{1}}{2} =\frac{\xi _{2}+\xi _{1}}{2}.
\label{206}
\end{equation}
Thus, noting (\ref{204}) and the choice $K>48/(\xi _{2}-\xi_{1})^{2}$, we
get the contradiction 
\begin{align*}
v^{\prime }(t_{1})&=v^{\prime }\big(\xi _{1}+\frac{\xi _{2}-\xi _{1}}{4}\big)
-[ t_{1}-(\xi _{1}+\frac{\xi _{2}-\xi _{1}}{4})] f(t,u(t),v(t)) \\
&\leq 8H\frac{1+\frac{a}{b}(\xi _{2}-\xi _{1})}{(\xi _{2}-\xi _{1})}
-(t_{1}-\xi _{1}-\frac{\xi _{2}-\xi _{1}}{4} )Kv(t) \\
&\leq 8H\frac{1+\frac{a}{b}(\xi _{2}-\xi _{1})}{(\xi _{2}-\xi _{1})}
-(t_{1}-\xi _{1}-\frac{\xi _{2}-\xi _{1}}{4} )KH(1+\frac{a}{b}(\xi _{2}-\xi
_{1})) \\
&\leq -4H\frac{1+\frac{a}{b}(\xi _{2}-\xi _{1})}{(\xi _{2}-\xi _{1})}.
\end{align*}
Hence 
\begin{equation*}
v^{\prime }(t_{1})<-4H\frac{1+\frac{a}{b}(\xi _{2}-\xi _{1})}{(\xi _{2}-\xi
_{1})}.
\end{equation*}
Recalling (\ref{2040}), we obtain the final contradiction 
\begin{align*}
v(\xi _{2})&= v(t_{1})+\int_{t_{1}}^{\xi _{2}}v^{\prime }(t)dt\leq H(1+\frac{
a}{b}(\xi _{2}-\xi _{1}))+(\xi _{2}-t_{1})v^{\prime }( t_{1}) \\
&\leq H(1+\frac{a}{b}(\xi _{2}-\xi _{1}))-( \xi _{2}-t_{1})4H\frac{1+\frac{a
}{b}(\xi _{2}-\xi _{1})}{ (\xi _{2}-\xi _{1})}\leq 0.
\end{align*}
Consequently, the assertion (\ref{110}) and then (\ref{25}) are proved.

On the other hand, by the superlinearity of $f(t,u,v)$ at $v=0$ (see the
assumption \eqref{B3}, for any $\lambda >0$ there is an $\eta >0 $ such that 
\begin{equation}
0<v\leq \eta ,\ \ -\frac{\eta }{8}\leq u<0\quad \text{implies}\quad
\max_{\xi_{1}\leq t\leq \xi _{2}}f(t,u,v)<\lambda v.  \label{26}
\end{equation}
Consider any positive number $\varepsilon <b/[ b+a(\xi _{2}-\xi_{1})] <1$
and choose 
\begin{equation}
\lambda <\min \big\{ \frac{\varepsilon a}{b(\xi _{2}-\xi _{1})} ,\frac{2}{
b(\xi _{2}-\xi _{1})^{2}}[b-\varepsilon ( b+a(\xi _{2}-\xi _{1}))]\big\} .
\label{27}
\end{equation}
We assert that for$\;P_{0}=(v_{0},\frac{a}{b}v_{0})\in E_{0}$, where $
v_{0}=\varepsilon \eta $, and any solution $v\in \mathcal{X}(P_{0})$, it
follows that 
\begin{equation}
\varepsilon \eta \leq v(t)\leq \eta ,\quad t\in [ \xi _{1},\xi _{2}].
\label{28}
\end{equation}
Indeed in view of Remark \ref{Re3}, let's assume that there exists $
t^{\ast}\in (\xi _{1},\xi _{2}]$ such that 
\begin{equation*}
\varepsilon \eta \leq v(t)\leq \eta ,\quad v^{\prime }(t)>0,\quad \xi
_{1}\leq t<t^{\ast },\quad v(t^{\ast })=\eta .
\end{equation*}
Then by the Taylor's formula and (\ref{26}), we get $\bar{t}\in (0,t^{\ast})$
, such that 
\begin{align*}
\eta & =v(t^{\ast }) =v_{0}[ 1+\frac{a}{b}(t^{\ast }-\xi_{1})] -\frac{
(t^{\ast }-\xi _{1})^{2}}{2}f(\bar{t},u(\bar{t}),v(\bar{t})). \\
& \leq \varepsilon \eta [ 1+\frac{a(t^{\ast }-\xi _{1})}{b}] +\frac{(t^{\ast
}-\xi _{1})^{2}}{2}\lambda v(\bar{t}) \\
&\leq \varepsilon \eta [ 1+\frac{a}{b}(\xi _{2}-\xi _{1})] +\frac{(\xi
_{2}-\xi _{1})^{2}}{2}\lambda \eta .
\end{align*}
Consequently, 
\begin{equation*}
\lambda \geq \frac{2}{b(\xi _{2}-\xi _{1})^{2}}[ b-\varepsilon (b+a(\xi
_{2}-\xi _{1}))] ,
\end{equation*}
contrary to the choice of $\lambda $ in (\ref{27}). Hence, the assertion $
v(t)\leq \eta$, $t\in [ \xi _{1},\xi _{2}]$ in (\ref{28}) is proved.
Moreover, if there is $t^{\ast }\in (\xi _{1},\xi _{2})$ such that 
\begin{equation*}
0\leq v^{\prime }(t)\leq \frac{a\varepsilon \eta }{b},\;\xi _{1}\leq
t<t^{\ast },\quad v^{\prime \ast })=0,
\end{equation*}
then by (\ref{26}) and (\ref{28}), 
\begin{align*}
0& =v^{\prime \ast })=v_{0}\frac{a}{b}-(t^{\ast }-\xi _{1}) f(\bar{t},u(\bar{
t}),v(\bar{t})). \\
& \geq \varepsilon \eta \frac{a}{b}-(t^{\ast }-\xi _{1})\lambda v(\bar{t}) \\
&\geq \varepsilon \eta \frac{a}{b}-(\xi _{2}-\xi _{1}) \lambda v(\bar{t}
)\geq \varepsilon \eta \frac{a}{b}-(\xi _{2}-\xi _{1})\lambda \eta ,
\end{align*}
a contradiction to (\ref{27}). Thus $v^{\prime }(t)\geq 0$, $\xi _{1}\leq
t<\xi _{2}$ and (\ref{28}) is proved. Consequently 
\begin{equation}
G(P_{0})=cv(\xi _{2})+dv^{\prime }(\xi _{2})>0.  \label{230}
\end{equation}
Finally consider the segment 
\begin{equation*}
[ P_{0},P_{1}]:=\left\{ (v,v^{\prime })\in E_{0}:v_{0}\leq v\leq
v_{1}\right\}
\end{equation*}
and furthermore the cross-section 
\begin{equation*}
\mathcal{X}(1;[P_{0},P_{1}]):=\{ (v(1),v^{\prime }(1)):v\in \mathcal{X} (P)\;
\text{and }P\in [ P_{0},P_{1}]\}
\end{equation*}
of the solutions funnel emanating from the segment $[P_{0},P_{1}]$. By the
definition of the function $G(P_{1}):=cv(\xi _{2})+dv^{\prime }(\xi _{2})$, (
\ref{25}) and (\ref{230}), it is clear (recall that $E_{1}:=\{(v,v^{\prime
}):cv-dv^{\prime }=0,\;v>0\}$) that 
\begin{equation*}
E_{1}\cap \mathcal{X}(1;[P_{0},P_{1}])\neq \emptyset .
\end{equation*}
This means that there is a point $P\in [ P_{0},P_{1}]$ \ such that $G(P)=0$
and thus a solution $v_{0}(t)\in \mathcal{X}(P)$ satisfying the boundary
value problem \eqref{12}.

Furthermore, by the above analysis, the obtained solution $v_{0}(t)$, $\xi
_{1}\leq t\leq \xi _{2}$, is positive. We extend $v_{0}(t)$ on the entire
interval, as follows: 
\begin{equation*}
v(t)=
\begin{cases}
v_{0}(\xi _{1}), & 0\leq t\leq \xi _{1} \\ 
v_{0}(t), & \xi _{1}\leq t\leq \xi _{2} \\ 
v_{0}(\xi _{2}), & \xi _{2}\leq t\leq 1.
\end{cases}
\end{equation*}
Then, the function $v(t)$, $0\leq t\leq 1$, is positive and continuous. In
view of the transformation $v_{0}(t)=u''(t)$, we consider the
boundary-value problem 
\begin{equation}
\begin{gathered} u''=v_{0}(t) \\ u(0)=0=u(1). \end{gathered}  \label{20300}
\end{equation}
It is well known that its Green function is 
\begin{equation*}
G(t,s)=
\begin{cases}
s(1-t), & 0\leq s\leq t\leq 1 \\ 
t(1-s), & 0\leq t\leq s\leq 1.
\end{cases}
\end{equation*}
Consequently (see (\ref{120})) the desired negative and convex solution of
the boundary value problem \eqref{E}-\eqref{C} is given by the formula 
\begin{equation*}
u(t)=-\int_{0}^{1}G(t,s)v(s) ds=\int_{0}^{t}s(t-1)v(s)ds+\int_{t}^{1}t(
s-1)v(s)ds,
\end{equation*}
for $0\leq t\leq 1$.
\end{proof}

\begin{example} \label{exa1} \rm
Consider the fourth-order four-point boundary-value problem
\begin{gather*}
u^{(4)}(t)=-\frac{t}{t^{2}+1}u^{2}(
t)-e^{t}(u''(t))^{3} \\
u(0)=u(1)=0=u''(1/3)
-(1/4)u'''(1/3)=u''(2/3)+u'''(2/3)=0.
\end{gather*}
Since the nonlinearity is continuous, positive and superlinear, the
conditions \eqref{B1}-\eqref{B3} are obviously satisfied, where
$\mu =+\infty $. To show that BVP has at least one nontrivial
solution we apply
Theorem \ref{Th2} with $\xi _{1}=1/3$, $\xi _{2}=2/3$,
$a=b=c=d=1$. On the
other hand, the conditions (H1) and (H3)
of Theorem \ref{Th0} clearly do not hold. Hence the result in \cite{GB},
does not guarantee existence of a solution to the above BVP.
\end{example}

\begin{remark}\label{Re4} \rm
The condition \eqref{B3} can be replaced by the  more
general condition
\begin{align*}
f_{0}&=\lim_{u\to 0+,v\to 0-}\frac{\min_{\xi _{1}\leq t\leq
\xi _{2}}\ f(t,u,v)}{-v}\\
&=\mu ^{\ast }<\min \big\{ \frac{a}{(\xi
_{2}-\xi _{1})[ b+a(\xi _{2}-\xi _{1})] },
\frac{2}{(\xi _{2}-\xi _{1})^{2}}\big\} .
\end{align*}
Indeed, at (\ref{27}) we may choose
\[
\frac{\mu ^{\ast }b(\xi _{2}-\xi _{1})}{a}\leq \varepsilon \leq
\frac{b(2-\mu ^{\ast }(\xi _{2}-\xi _{1}))}{
b+a(\xi _{2}-\xi _{1})}
\]
and then
\[
\mu ^{\ast }<\lambda <\min \big\{ \frac{\varepsilon a}{b(\xi _{2}-\xi
_{1})},\frac{2}{b(\xi _{2}-\xi _{1})^{2}}[
b-\varepsilon (b+a(\xi _{2}-\xi _{1}))]
\big\} .
\]
\end{remark}

Consider the boundary-value problem 
\begin{equation}
u^{(4)}(t)=f(t,u(t),u''(t)),\quad 0\leq t\leq 1,  \label{E0}
\end{equation}
with 
\begin{equation}
\begin{gathered} u(0)=u(1)=0 \\ au''(\xi _{1})-bu'''(\xi _{1})=0,\quad
cu''(\xi _{2})+du'''(\xi _{2})=0. \end{gathered}  \label{C0}
\end{equation}

\begin{theorem} \label{Th30}
Under assumptions \eqref{B0}--\eqref{B30}, the boundary value
problem \eqref{E0} - \eqref{C0} has a positive and concave solution
$u(t)$, $0\leq t\leq 1$, provided that
\[
\mu >\frac{48}{(\xi _{2}-\xi _{1})^{2}}.
\]
\end{theorem}

\begin{proof}
We set 
\begin{equation*}
F(t,u,v)=f(t,-u,-v),\quad t\in [ 0,1] ,\; u\leq 0,\; v\geq 0.
\end{equation*}
Since $f$ satisfies conditions \eqref{B0}-\eqref{B30}, we easily check that $
F$ suits the conditions \eqref{B1}-\eqref{B3}. In view of Theorem \ref{Th2},
considering a solution $u(t)$, $0\leq t\leq 1$, of the BVP \eqref{E}--
\eqref{C} (where $f$ is replaced by $F$), we set 
\begin{equation*}
y(t)\equiv -u(t),\quad 0\leq t\leq 1.
\end{equation*}
Then we obtain 
\begin{gather*}
(-y(t))^{(4)}=(u(t))^{(4)}=-F(t,u(t), \\
u''(t))=-f(t,-u(t),\quad -u^{\prime \prime
}(t))=-f(t,y(t),y''(t)).
\end{gather*}
Hence, the function $y(t)$, $0\leq t\leq 1$, is a solution of the
differential equation \eqref{E0}. Moreover, the boundary conditions 
\eqref{C0} are satisfied by the function $y(t)$, since the solution $u(t)$
fulfils the boundary conditions \eqref{C}. Consequently, $y(t)$ is the
required solution of \eqref{E0}-\eqref{C0}.
\end{proof}

Consider \eqref{E} with the boundary condition 
\begin{equation}
\begin{gathered} u(0)=u(1)=0 \\ au''(\xi _{1})+bu'''(\xi _{1})=0,\quad
cu''(\xi _{2})-du'''(\xi _{2})=0. \end{gathered}  \label{C+-}
\end{equation}

\begin{theorem}\label{Th20}
Assume \eqref{B0}--\eqref{B30} hold. Then the boundary value
problem \eqref{E}--\eqref{C+-}  has a negative and convex solution
$v(t)$, $0\leq t\leq 1$, provided that
\[
\mu >\frac{48}{(\xi _{2}-\xi _{1})^{2}}.
\]
\end{theorem}

\begin{proof}
Consider any function $u(t)$, $0\leq t\leq 1$. We define a map $F$ by the
formula 
\begin{equation*}
F(\xi _{1}+\xi _{2}-t,u(t),v(t))=f(t,-u( t),-v(t)),\quad t\in [ 0,1] ,\;
u\geq 0,\; v\leq 0.
\end{equation*}
Since $f$ satisfies the conditions \eqref{B0}--\eqref{B30}, we easily check
that $F$ suits the conditions \eqref{B1}--\eqref{B3} on the interval $[\xi
_{1}+\xi _{2}-1,\xi _{1}+\xi _{2}]$. In view of Theorem \ref{Th2} , consider
a solution $u^{\ast }(t)$, $[\xi _{1}+\xi_{2}-1\leq t\leq \xi _{1}+\xi _{2}]$
, of the BVP: 
\begin{equation*}
u^{(4)}(t)=-F(t,u(t),v(t))
\end{equation*}
with boundary conditions \eqref{C}. and set 
\begin{equation*}
u(t)\equiv -u^{\ast }(\xi _{1}+\xi _{2}-t),\quad 0\leq t\leq 1.
\end{equation*}
Then we obtain 
\begin{align*}
(-u(t))^{(4)} &=(u^{\ast }(\xi _{1}+\xi _{2}-t))^{(4)} \\
&=-F(\xi _{1}+\xi _{2}-t,u^{\ast }(\xi _{1}+\xi _{2}-t),v^{\ast }( \xi
_{1}+\xi _{2}-t)) \\
&= -F(\xi _{1}+\xi _{2}-t,-u(t),-v(t)) \\
&=-f(t,u(t),v(t));
\end{align*}
that is, the function $u(t)$, $0\leq t\leq 1$ is a solution of the
differential equation \eqref{E}. Moreover, since the solution $u^{\ast}(t)$
fulfils the boundary conditions \eqref{C}, we get via the above
transformation 
\begin{gather*}
cu^{\ast}{}''(\xi _{1})-du^{\ast}{}^{\prime \prime \prime
}(\xi _{1}) =0\Rightarrow -cu''(\xi _{2})+du^{\prime \prime
\prime }(\xi _{2}) =0\Rightarrow cu''(\xi _{2})-du^{\prime
\prime \prime }(\xi _{2}), \\
au^{\ast}{}''(\xi _{2})+bu^{\ast}{}^{\prime \prime \prime
}(\xi _{2})= 0\Rightarrow -au''( \xi _{1})-bu^{\prime \prime
\prime }(\xi _{1}) =0\Rightarrow au''(\xi _{1})+bu^{\prime
\prime \prime }(\xi _{1})=0
\end{gather*}
that is, the boundary conditions \eqref{C+-} are satisfied by the function $
u(t)$. Consequently, $u(t)$ is the requited solution of \eqref{E}--
\eqref{C+-}.
\end{proof}

Consider now the equation 
\begin{equation*}
u^{(4)}(t)=f(t,u(t),u''(t)),\quad 0\leq t\leq 1,
\end{equation*}
with boundary condition \eqref{C+-}.

\begin{theorem}\label{Th21}
Assume \eqref{B1}-\eqref{B3} hold. Then the boundary
value problem \eqref{E0}-\eqref{C+-} has a negative and convex solution
$u(t)$, $0\leq t\leq 1$, provided that
\[
\mu >\frac{48}{(\xi _{2}-\xi _{1})^{2}}.
\]
\end{theorem}

\begin{proof}
We set 
\begin{equation*}
F(t,u,v)=f(t,-u,-v),\quad t\in [0,1],\quad u\geq 0,\quad v\leq 0.
\end{equation*}
Since $f$ satisfies the conditions \eqref{B1}-\eqref{B3}, we easily check
that $F$ fulfills the conditions \eqref{B0}-\eqref{B30}. Thus, in view of
Theorem \ref{Th20}, the BVP 
\begin{equation*}
u^{(4)}(t)=-F(t,u(t),u''(t)),\quad 0\leq t\leq 1,
\end{equation*}
with boundary condition \eqref{C+-} admits a positive and concave solution $
u(t)$, $0\leq t\leq 1$. We set 
\begin{equation*}
u^{\ast }(t)\equiv -u(t),\quad 0\leq t\leq 1.
\end{equation*}
Then we obtain 
\begin{gather*}
u^{\ast (4)}(t)=-u^{(4)}(t)=F(t,u(t), \\
u''(t))=f(t,-u(t),\quad -u^{\prime \prime \ast
}(t),u^{\ast}{}''(t)).
\end{gather*}
Consequently, the function $u^{\ast }(t)$, $0\leq t\leq 1$ is a solution of
the differential equation \eqref{E0}. Moreover, the boundary conditions 
\eqref{C+-} are satisfied by the function $u(t)$, since the solution $
u^{\ast }(t)$ fulfils the same conditions. Consequently, $u(t)$ is the
requited solution.
\end{proof}

\begin{figure}[ht]
\begin{center}
\setlength{\unitlength}{1mm} 
\begin{picture}(110,70)(-5,-5)
\put(5,30){\line(1,0){90}}
\put(50,-5){\line(0,1){70}}

\put(-5,-5){$cv-dv'=0$}
\put(15,-5){\line(1,1){70}}

\put(86,-5){$av-bv'=0$}
\put(85,-5){\line(-1,1){70}}

\put(-3,12){\scriptsize Theorem \ref{Th30}}
\qbezier(20,0)(0,30)(20,60)
\qbezier(9,16)(10,18)(11,20)
\qbezier(11,20)(13,19)(15,18)

\put(23,35){\scriptsize Theorem \ref{Th20}}
\qbezier(30,10)(50,30)(30,50)
\qbezier(43,34.6)(41.5,33.3)(40,32)
\qbezier(40,32)(38.5,33)(37,34)

\put(88,47){\scriptsize Theorem \ref{Th2}}
\qbezier(80,0)(100,30)(80,60)
\qbezier(91,44)(90,42)(89,40)
\qbezier(89,40)(87,41)(85,42)

\put(62,23){\scriptsize Theorem \ref{Th21}}
\qbezier(70,10)(50,30)(70,50)
\qbezier(57,25.4)(58.5,26.7)(60,28)
\qbezier(60,28)(61.5,27)(63,26)

\end{picture} 
\end{center}
\caption{Summary of results}
\end{figure}

\section{Additional Results}

\label{PAL}

In this section, we consider the equation 
\begin{equation*}
u^{(4)}(t)=-f(t,u(t),u''(t)),\quad 0\leq t\leq 1,
\end{equation*}
with boundary condition \eqref{C}, under the following assumptions: The
nonlinearity $f$ is a continuous and positive function; that is, 
\begin{equation}
f(t,u,v)\in C([0,1]\times (-\infty ,0]\times [ 0,+\infty ),[0,+\infty ));
\label{C1}
\end{equation}
It is asymptotically linear at infinity; that is, 
\begin{equation}
f_{\infty }=\lim_{u\to -\infty ,v\to +\infty }\frac{ \max_{\xi _{1}\leq
t\leq \xi _{2}}\ f(t,u,v)}{v}=\mu  \label{C2}
\end{equation}
It is sublinear at the origin; that is, 
\begin{equation}
f_{0}=\lim_{u\to 0-,v\to 0+}\frac{\min_{\xi _{1}\leq t\leq \xi _{2}}\
f(t,u,v)}{v}=+\infty.  \label{C3}
\end{equation}
Similarly, assume that 
\begin{gather}
f(t,u,v)\in C([0,1]\times [ 0,+\infty )\times (-\infty ,0],[0,+\infty ));
\label{C10} \\
f_{\infty }=\lim_{u\to +\infty ,v\to -\infty }\frac{ \min_{\xi _{1}\leq
t\leq \xi _{2}}f(t,u,v)}{-v}=\mu ;  \label{C20} \\
f_{0}=\lim_{u\to 0+,v\to 0-}\frac{\max_{\xi _{1}\leq t\leq \xi _{2}}\
f(t,u,v)}{-v}=+\infty .  \label{C30}
\end{gather}

\begin{theorem}\label{Th40}
Assume that  conditions \eqref{C1}--\eqref{C3} hold. Then the
boundary-value problem \eqref{E}--\eqref{C} admits a negative and convex
solution $u(t)$, $0\leq t\leq 1$, provided that
\[
\mu <\frac{a}{b+a(\xi _{2}-\xi _{1})}
\]
\end{theorem}

\begin{proof}
Consider the BVP \eqref{12}. By the assumption (\ref{C3}) and (\ref{120}),
it follows that for every $K\geq 32[1+\frac{a}{b}(\xi _{2}-\xi_{1})]/(\xi
_{2}-\xi _{1})^{2}$ there is an $\eta>0$, such that 
\begin{gather*}
f(t,u,v)\geq Kv,\quad 0\leq t\leq 1, \\
-\frac{\eta [1+\frac{a}{b}(\xi _{2}-\xi _{1})]}{8}\leq u\leq -\eta ,\quad
0<v\leq \eta [1+\frac{a}{b}(\xi _{2}-\xi _{1})].
\end{gather*}
For $P=(\eta ,\frac{a}{b}\eta )\in E_{0}$ and any solution $v\in \mathcal{X}
(P)$ and $t\in [\xi _{1},\xi _{2}]$, we get 
\begin{equation*}
v(t)=[1+(t-\xi _{1})\frac{a}{b}]\eta - \frac{(t-\xi _{1})^{2}}{2!}f(\bar{t}
,u(\bar{t} ),v(\bar{t}))\leq \eta (1+\frac{a}{b}( \xi _{2}-\xi _{1})).
\end{equation*}
Moreover, by the Knesser's property and the connectedness of the set 
\begin{equation*}
\{ P_{1}=(v_{1},\frac{a}{v}v_{1})\in E_{0}:\eta \leq v_{1}\leq \eta (1+\frac{
a}{b}(\xi _{2}-\xi _{1}))\}
\end{equation*}
(see also the proof of (\ref{113})), it follows that 
\begin{equation}
\begin{gathered} v_{1}\leq v(t)<\eta (1+\frac{a}{b}(\xi _{2}-\xi_{1})),\quad
v'(t)>0,\quad \xi_{1}\leq t\leq \xi _{1}+(\xi _{2}-\xi _{1})/4, \\ v(\xi
_{1}+(\xi _{2}-\xi _{1})/4\ ) =\eta (1+\frac{a}{b}(\xi _{2}-\xi _{1})),
\end{gathered}  \label{41}
\end{equation}
for some $v_{1}\in [\eta ,\eta (1+\frac{a}{b}(\xi _{2}-\xi_{1}))]$ and $v\in 
\mathcal{X}(P_{1})$. If $u(\xi _{2})\leq 0$ and since then $u^{\prime
}(\xi_{2})\leq 0$, we immediately obtain 
\begin{equation}
G(P):=cv(\xi _{2})+dv^{\prime }(\xi _{2})<0.  \label{42}
\end{equation}
Assume that $u(t)>0$, $\xi _{1}\leq t\leq \xi _{2}$. By (\ref{41}) and the
choice of $K$, we obtain 
\begin{align*}
v(\xi _{1}+(\xi _{2}-\xi _{1})/4\ ) &=[1+\frac{(\xi _{2}-\xi _{1})}{4}\frac{a
}{b}]v_{1}-\frac{ (\xi _{2}-\xi _{1})^{2}}{4^{2}2!}f(\bar{t},u(\bar{t} ),v(
\bar{t})) \\
&\leq [1+\frac{(\xi _{2}-\xi _{1})}{4}\frac{a}{b}] v_{1}-\frac{(\xi _{2}-\xi
_{1})^{2}}{32}Kv(\bar{t}) \\
&\leq [1+(\xi _{2}-\xi _{1})\frac{a}{b}]v_{1}- \frac{(\xi _{2}-\xi _{1})^{2}
}{32}Kv_{1}<0.
\end{align*}
Moreover, by Remark \ref{Re3} (the nature of the vector field), we know that 
$v^{\prime }(\xi _{2})\leq 0$ and hence (\ref{42}) holds.

On the other hand, by assumption (\ref{C2}), for every $\lambda \in (\mu ,
\frac{a}{b+a(\xi _{2}-\xi _{1})})$, there is $H>0$, such that 
\begin{equation}
f(t,u,v)\leq \lambda v,\quad 0\leq t\leq 1,\ u\leq -\frac{H}{8},\ \ v\geq H.
\label{43}
\end{equation}
Hence, setting $P=(H,\frac{a}{b}H)$ and $v\in \mathcal{X}(P)$, (\ref{112})
still holds; i.e., 
\begin{equation}
v(t)\leq H(1+\frac{a}{b}(\xi _{2}-\xi _{1})),\quad \xi _{1}\leq t\leq \xi
_{2}.  \label{44}
\end{equation}
We assert that 
\begin{equation}
v^{\prime }(t)\geq 0,\ \xi _{1}\leq t\leq \xi _{2}.  \label{45}
\end{equation}
Assume on the contrary, that there exists a $t^{\ast }\in (\xi_{1},\xi _{2})$
such that 
\begin{equation*}
0<v^{\prime }(t)\leq \frac{a}{b}H,\quad \xi _{1}\leq t\leq t^{\ast }, \quad
v^{\prime \ast })=0.
\end{equation*}
Then, by (\ref{44}), 
\begin{equation*}
H\leq v(t)\leq H(1+\frac{a}{b}(\xi _{2}-\xi_{1})),\quad \xi _{1}\leq t\leq
t^{\ast }.
\end{equation*}
Hence in view of the choice of $\lambda $ and (\ref{43}), we obtain the
contradiction 
\begin{align*}
v^{\prime \ast })&=\frac{a}{b}H-f(\bar{t},u(\bar{t}),v(\bar{t})) \\
&\geq \frac{a}{b}H-\lambda u(\bar{t}) \\
&\geq H[\frac{a}{b}-\lambda (1+\frac{a}{b}(\xi _{2}-\xi_{1}))]>0.
\end{align*}
Consequently (\ref{45}) yields $G(\xi _{2};P)=cv(\xi _{2})+dv^{\prime
}(\xi_{2})>0$.
\end{proof}

\begin{theorem}\label{Th41}
Assume (\ref{C10})--(\ref{C30}) hold. Then the boundary value
problem \eqref{E0}--\eqref{C0} admits a positive and concave solution
$u(t)$, $0\leq t\leq 1$, provided that
\[
\mu <\frac{a}{b+a(\xi _{2}-\xi _{1})}.
\]
\end{theorem}

The proof of the above theorem is similar to that of Theorem \ref{Th30}, and
thus omitted.

\begin{remark} \label{rmk5} \rm
We may easily obtain more results similar to the above given,
in Theorems \ref{Th20}-\ref{Th21}.
\end{remark}

The final Corollary-example illustrates the power of our approach. Indeed,
it is unknown, at least to the authors of this paper, if we are able to
construct a Green's function for \eqref{E} with the the boundary conditions 
\begin{equation}
\begin{gathered} u(0)=u(1)=0\\ a[u''(\xi _{1})]^{1/2}-bu'''(\xi
_{1})=0,\quad c[u''(\xi _{2})]^{5/3}+du'''(\xi _{2})=0. \end{gathered}
\label{C*}
\end{equation}

\begin{corollary} \label{coro1}
Under the assumptions of Theorem \ref{Th20}, the BVP
 \eqref{E} and \eqref{C*} admits a negative and convex solution.
\end{corollary}

\begin{proof}
We must only replace the semi-lines $E_{0}$ and $E_{1}$, by the relating
semi-parabolas defined by the boundary conditions \eqref{C*}, instead of
those in \eqref{C}. The rest of the proof follows readily by that of Theorem 
\ref{Th20}.
\end{proof}

\begin{remark} \rm
More general, we could replace the semi-lines $E_{0}$ and $E_{1}$, by
suitable continua.
\end{remark}

The essential part of the present work was prepared while P. Palamides was
visiting the University of Sofia during 2007. The research of P. Kelevedjiev
was partially supported by the Bulgarian NSF under Grant VU-MI-102/2005 and
the research of N. Popivanov - by Sofia University Grant N100/2007.

\begin{thebibliography}{99}
\bibitem{AG} R. P. Agarwal, \emph{Focal Boundary Value Problems for
Differential and Difference Equations}, Kluwer Academic, Dordrecht, 1998.

\bibitem{AOW} R. P. Agarwal, D. O'Regan, P. J.Y . Wong; \emph{Positive
Solutions of Differential, Difference, and Integral Equations}, Kluwer
Academic, Dordrecht, 1998.

\bibitem{AO} R. Agarwal and D. O'Regan,\emph{Nonlinear superlinear singular
and nonsingular second order boundary value problems}, J. Differential
Equations, \textbf{143} (1998), 60-95.

\bibitem{AD} D. R. Anderson, J. M. Davis; \emph{Multiple solutions and
eigenvalues for third-order right focal boundary-value problem}, J. Math.
Anal. Appl. \textbf{267} (2002), 135-157.

\bibitem{BW} Z. Bai, H. Wang; \emph{On positive solutions of some nonlinear
fourth-ordr beam equations}, J. Math. Anal. Appl. 270 (2002) 357-368.

\bibitem{Co} W. A. Copel, \emph{Stability and asymptotic behavior of
differential equations}, Heath \& Co. Boston (1965),

\bibitem{CZ} Y. Cui and Y. Zou, \emph{Positive solutions of singular
fourth-order boundary value problems, }Electron. J. Differential Equations
Vol. 2006(2006), No. \textbf{39}, pp. 1--10.

\bibitem{EW} L. H. Erbe and H. Wang, \emph{On existence of positive
solutions of ordinary differential equations,} Proc. Amer. Math. Soc. 
\textbf{120 }(1994), 743-748.

\bibitem{ES} L. H. Erbe and K. Schmitt, \emph{Boundary value problems for
second order differential equations,} Lectures Notes in Pure and Appl. Math. 
\emph{\ }\textbf{109} (1987), 179-184.

\bibitem{GB} J. Ge and C. Bai,\ \emph{Solvability of a four-point
boundary-value problem for fourth-order ordinary, }Electr. J. Differential
Equations, Vol. 2007(2007), No. 123, 1-9.

\bibitem{GY} J. R. Graef, B. Yang; \emph{On a nonlinear boundary-value
problem for fourth order equations}, Appl. Anal. \textbf{72} (1999) 439-448.

\bibitem{GY1} J. R. Graef, B. Yang; \emph{Positive solutions to a
multi-point higher order boundary-value problem}, J. Math. Anal. Appl. 
\textbf{316} (2006), 409-421.

\bibitem{GHY} J. R. Graef, J. Henderson, B. Yang; \emph{Positive solutions
of a nonlinear higher order boundary-value problem}, Electron. J.
Differential Equations, Vol. 2007(2007), No. 45, 1-10.

\bibitem{GQY} J. R. Graef, C. Qianz, Bo Yang; \emph{Multiple Positive
Solutions of a Boundary Value Problem for Ordinary Differential Equations, }
Electr. J. Qualitative Theory of Differential Equations, Proc. 7th Coll.
QTDE, \textbf{11} (2004), 1-13.

\bibitem{HD} Z. Hao, L. Liu, L. Debnath; \emph{A necessary and sufficiently
condition for the existence of positive solution of fourth-order singular
boundary-value problems}, Appl. Math. Lett. \textbf{16} (2003) 279-285.

\bibitem{KZ} M. A. Krasnoselskii, P. P. Zabreiko; \emph{Geometrical Methods
of Nonlinear Analysis}, Springer-Verlag, New York, 1984.

\bibitem{JP} L. Jackson and P.K.Palamides, \emph{An existence theorem for a
nonlinear two-point boundary value problem}, J. Differential Equations 
\textbf{53} (1984), 48-66.

\bibitem{Or} D. O'Regan, \emph{Theory of singular boundary value problems,}
World Scientific, Singapore, 1994.

\bibitem{Pa} P. K. Palamides, \emph{Boundary and periodic value problems for
differential systems, via Sperner's lemma,} \emph{\ }Math. Japonica, No. 
\emph{\ }\textbf{1}, (1989), 89-110.
\end{thebibliography}

\end{document}
