Existence results for first derivative dependent ϕ-Laplacian boundary value problems

Abstract

Our main concern in this article is to investigate the existence of solution for the boundary-value problem

$$\begin{aligned}& (\phi \bigl(x'(t)\bigr)'=g_{1} \bigl(t,x(t),x'(t)\bigr),\quad \forall t\in [0,1], \\& \Upsilon _{1}\bigl(x(0),x(1),x'(0)\bigr)=0, \\& \Upsilon _{2}\bigl(x(0),x(1),x'(1)\bigr)=0, \end{aligned}$$

where $g_{1}:[0,1]\times \mathbb{R}^{2}\rightarrow \mathbb{R}$ is an $L^{1}$-Carathéodory function, $\Upsilon _{i}:\mathbb{R}^{3}\rightarrow \mathbb{R}$ are continuous functions, $i=1,2$, and $\phi :(-a,a)\rightarrow \mathbb{R}$ is an increasing homeomorphism such that $\phi (0)=0$, for $0< a< \infty$. We obtain the solvability results by imposing some new conditions on the boundary functions. The new conditions allow us to ensure the existence of at least one solution in the sector defined by well ordered functions. These ordered functions do not require one to check the definitions of lower and upper solutions. Moreover, the monotonicity assumptions on the arguments of boundary functions are not required in our case. An application is considered to ensure the applicability of our results.

1 Introduction

The aim of this article is to study the existence of solution for the following nonlinear boundary value problems (BVPs) with ϕ-Laplacian operator:

$$ (\phi \bigl(x'(t)\bigr)'=g_{1} \bigl(t,x(t),x'(t)\bigr),\quad \forall t\in [0,1], $$

(1)

subject to the the following generalized nonlinear boundary conditions (BCs):

$$ \textstyle\begin{cases} \Upsilon _{1}(x(0),x(1),x'(0))=0, \\ \Upsilon _{2}(x(0),x(1),x'(1))=0, \end{cases} $$

(2)

where $g_{1}:[0,1]\times \mathbb{R}^{2}\rightarrow \mathbb{R}$ is $L^{1}$-Carathéodory function, $\Upsilon _{i}:\mathbb{R}^{3}\rightarrow \mathbb{R}$ ($i=1,2$) are continuous functions, and ϕ satisfies the hypothesis:

$(H_{1})$$\phi :(-a,a)\rightarrow \mathbb{R}$ is an increasing homeomorphism such that $\phi (0)=0$, for $0< a< \infty$.

The solution of (1)–(2) is a continuously differentiable function, $x\in C^{1}[0,1]$ with $\|x'\|_{\infty }< a$, and $(\phi \circ x')\in \operatorname{AC}[0,1]$, which satisfies (1) and (2).

The BVPs (1) with $x''$ instead of $(\phi (x'(t))'$ has been studied extensively in the literature employing a lower and upper solutions approach, a topological approach, degree and fixed point index theory, and fixed point and continuation theorems; see for example [1–11], and the references therein. These approaches usually make use of an appropriate Green function, which, for the linear operator $x\mapsto x''_{1}$, can be found and successfully handled. In recent times, the researchers put their efforts to developing the existence and localization results for the BVPs with a ϕ-Laplacian operator, $x\mapsto (\phi (x'(t))'$. Such types of BVPs are solved with classical BCs, like periodic, anti-periodic, Dirichlet, Neumann, and mixed cases; see for example [12–27], and the references therein.

The study of ϕ-Laplacian equations is a classical topic having applications in glaciology, population biology, nonlinear flow laws, non-Newtonian mechanics, and combustion theory; see for example [28–31], and the references therein. Moreover, the ϕ-Laplacian operators are involved in some models, e.g., in non-Newtonian fluid theory, diffusion of flows in porous media, nonlinear elasticity, and theory of capillary surfaces [32].

A lower and upper solutions (LUSs) approach is widely investigated to develop the existence and solvability results for classical and fractional order differential equations with ϕ-Laplacian operator; see for example [33–37] and the references therein.

Motivated by the above-mentioned work on ϕ-Laplacian differential equations, we develop an existence criterion for the boundary value problem (BVP), (1)–(2). To the best of our knowledge, (1) is still an untreated problem with BCs (2). The approach we use in our study is simpler than the approaches used in [1, 3, 33, 34]. We prove the existence of solutions of (1)–(2) by using new conditions given on the BCs (2). These conditions allow us to obtain a solution in the sector defined by well-ordered functions. These ordered functions do not require one to check the definitions of LUSs. Moreover, the requirement to impose the monotonicity assumptions on the arguments of the BCs is not necessary in our case. The arguments we use in our study are the Arzelà–Ascoli and Schauder’s fixed point theorems.

The rest of the article is organized as follows: in Sect. 2, we present preliminary definitions and auxiliary results, in Sect. 3, we prove the existence of solutions of the problem (1)–(2), in Sect. 4, we consider an example to verify the results of Sect. 3, and in Sect. 5, the conclusion is given.

2 Preliminaries

The following definitions are helpful in understanding the main result.

Definition 1

Let $x \in C^{1}([0,1])$ be a solution of (1)–(2), if $\|x'\|_{\infty }< a$, $(\phi \circ x')\in \operatorname{AC}[0,1]$, and satisfy (1)–(2).

Definition 2

The function $g_{1}:[0,1]\times \mathbb{R}^{2}\rightarrow \mathbb{R}$ is $L^{1}$-Carathéodory if:

1. $g_{1}(\cdot,x,y ):[0,1]\rightarrow \mathbb{R}$ is measurable for all $(x,y )\in \mathbb{R} ^{2}$,

2. $g_{1}(t,.,.,):\mathbb{R}^{2}\rightarrow \mathbb{R}$ is continuous for a.e. $t\in [0,1]$,

3. for each compact set $A\subset \mathbb{R}^{2}$, there is a function $\mu _{A}\in L^{1}$, such that

$$ \bigl\vert g_{1}(t,x,y) \bigr\vert \leq \mu _{A}(t) $$

for a.e. $t\in [0,1]$ and all $(x,y)\in A$.

The following lemmas are very useful for obtaining our main results.

Lemma 2.1

For each $(k,g)\in C([0,1])\times (-a,a)$, we have a unique $d:=\mathbf{D}_{\phi }(k,g)$, such that

$$\begin{aligned} \int _{0}^{1}\phi ^{-1} \bigl(k(t)-d \bigr)\,dt=g. \end{aligned}$$

(3)

Also, $\mathbf{D}_{\phi }:C([0,1])\times (-a,a)\longrightarrow \mathbb{R}$is a continuous function.

Proof

First, the uniqueness and existence is shown, then continuity. Let, for $(k,g)\in C([0,1])\times (-a,a)$, there exist $d_{1}$, $d_{2}$ such that

$$\begin{aligned} \int _{0}^{1}\phi ^{-1} \bigl(k(t)-d_{1} \bigr)\,dt=g= \int _{0}^{1} \phi ^{-1} \bigl(k(t)-d_{2} \bigr)\,dt. \end{aligned}$$

(4)

For some $s\in [0,1]$, we have

$$\begin{aligned} \int _{0}^{1}\phi ^{-1} \bigl(k(s)-d_{1} \bigr)\,dt=g= \int _{0}^{1} \phi ^{-1} \bigl(k(s)-d_{2} \bigr)\,dt. \end{aligned}$$

(5)

Since $\phi ^{-1}$ is injective function, (5) implies that

$$\begin{aligned} \phi ^{-1} \bigl(k(s)-d_{1} \bigr)=\phi ^{-1} \bigl(k(s)-d_{2} \bigr). \end{aligned}$$

(6)

Equation (6) further implies

$$\begin{aligned} k(s)-d_{1}=k(s)-d_{2}, \end{aligned}$$

(7)

hence, $d_{1}=d_{2}$. Now define a function, $\delta :\mathbb{R}\longrightarrow \mathbb{R}$, such that

$$\begin{aligned} \delta (s)= \int _{0}^{1}\phi ^{-1} \bigl(k(t)-s \bigr)\,dt \end{aligned}$$

(8)

is well defined, decreasing, and continuous. Also

$$\begin{aligned} \lim_{s\to \infty } \delta (s)=a, \qquad \lim _{s\to -\infty }\delta (s)=-a. \end{aligned}$$

(9)

Equation (9) implies the existence of a unique $d=\mathbf{D}_{\phi }(k,g)$. Now, it remains to show that $\mathbf{D}_{\phi }:C([0,1])\times (-a,a)\longrightarrow \mathbb{R}$ is a continuous function.

Let $(k_{n},g_{n})\subset C([0,1])\times (-a,a)$ and $(k_{n},g_{n})\longrightarrow (k_{0},g_{0})$ in $C([0,1])\times (-a,a)$. Now let $\mathbf{D}_{\phi }(k_{n},g_{n})$ be a subsequence converges to $d_{0}$, then by the application of the dominated convergence theorem, we deduce that $\int _{0}^{1}\phi ^{-1} (k_{0}(t)-d_{0} )\,dt=g_{0}$, which implies $\mathbf{D}_{\phi }(k_{0},g_{0})=d_{0}$. Hence, $\mathbf{D}_{\phi }:C([0,1])\times (-a,a)\longrightarrow \mathbb{R}$ is a continuous function. □

3 Main results

Theorem 1

Suppose we have the existence of ordered functions $\eta _{1},\eta _{2}\in C[0,1]$, such that, $\eta _{1}(0)<\eta _{2}(0)$and $\eta _{1}(1)<\eta _{2}(1)$,

$$\begin{aligned}& \max \bigl\{ \bigl\vert \eta _{2}(1)-\eta _{1}(0) \bigr\vert ; \bigl\vert \eta _{1}(1)-\eta _{2}(0) \bigr\vert \bigr\} < a, \\& \Upsilon _{1}\bigl(\eta _{1}(0),t,w\bigr)\geq 0, \quad \forall (t,w)\in \bigl[\eta _{1}(0), \eta _{2}(0)\bigr] \times [-a,a], \\& \Upsilon _{1}\bigl(\eta _{2}(0),t,w\bigr)\leq 0, \quad \forall (t,w)\in \bigl[\eta _{1}(0), \eta _{2}(0)\bigr] \times [-a,a], \\& \eta _{1}(1)-\Upsilon _{2}\bigl(x,\eta _{1}(1),z\bigr)\leq 0,\quad \forall x,z\in \bigl[ \eta _{1}(0),\eta _{2}(0)\bigr], \\& \eta _{2}(1)-\Upsilon _{2}\bigl(x,\eta _{2}(1),z\bigr)\geq 0,\quad \forall x,z\in \bigl[ \eta _{1}(0),\eta _{2}(0)\bigr]. \end{aligned}$$

(10)

Then the problem (1)–(2) has at least one solution, such that $\eta _{1}(0)-at\leq x(t)\leq \eta _{2}(0)+at$, for all $t \in [0,1]$.

Proof

Suppose we have the following modified BVP:

$$\begin{aligned} (\phi \bigl(x'(t)\bigr)'=G(x) (t), \quad \mbox{a.e. }t\in [0,1], \end{aligned}$$

(11)

with modified BCs

$$\begin{aligned}& x(0)=\mathbf{A}(x), \\& x(1)=\mathbf{B}(x), \end{aligned}$$

(12)

 □

where

$$\begin{aligned} G(x) (t)=g_{1} \bigl(t,\rho \bigl(t,x(t) \bigr),\varrho \bigl(x'(t)\bigr) \bigr), \end{aligned}$$

with

$$\begin{aligned}& \rho \bigl(t,x(t)\bigr) = \max \bigl\{ \eta _{1}(0)-at,\min \bigl\{ x,\eta _{2}(0)+at\bigr\} \bigr\} , \\& \varrho \bigl(x'(t)\bigr) = \max \bigl\{ -a,\min \{x,a\}\bigr\} , \end{aligned}$$

and

$$\begin{aligned}& \mathbf{A}(x) = \sigma \bigl(x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr) \bigr), \\& \mathbf{B}(x) = \chi \biggl(\frac{1}{2}x(1)+\frac{1}{2}\Upsilon _{2} \bigl(x(0),x(1),x'(1) \bigr) \biggr), \end{aligned}$$

with

$$\begin{aligned}& \sigma (x) = \max \bigl\{ \eta _{1}(0),\min \bigl\{ x,\eta _{2}(0)\bigr\} \bigr\} , \\& \chi (x) = \max \bigl\{ \eta _{1}(1),\min \bigl\{ x,\eta _{2}(1)\bigr\} \bigr\} . \end{aligned}$$

For simplicity, we divide the proof in three steps.

Step 1: The solution of the problem (11)–(12) is equivalent to find a fixed points of the operator, $\Omega :C^{1}[0,1]\longrightarrow C^{1}[0,1]$ defined as

$$\begin{aligned} \Omega (x) (t)=\mathbf{A}(x)+ \int _{0}^{t}\phi ^{-1} \biggl[\lambda _{x}+ \int _{0}^{s}G(x) (x)\,dx \biggr]\,ds,\quad \forall t\in [0,1]. \end{aligned}$$

(13)

Firstly, we ensure the existence of $\lambda _{x}\in \mathbb{R}$. For this, we claim that for each $x\in C^{1}[0,1]$, there exists a unique $\lambda _{x}\in \mathbb{R}$, such that

$$\begin{aligned} \int _{0}^{1} \biggl(\phi ^{-1} \biggl[ \lambda _{x}+ \int _{0}^{t}G(x) (s)\,ds \biggr] \biggr)\,dt= \mathbf{B}(x)-\mathbf{A}(x). \end{aligned}$$

(14)

Let

$$\begin{aligned} k(t)= \int _{0}^{t}G(x) (s)\,ds\in C[0,1] \end{aligned}$$

(15)

and

$$\begin{aligned} g=\mathbf{B}(x)-\mathbf{A}(x). \end{aligned}$$

(16)

Obviously,

$$\begin{aligned} \vert g \vert \leq \bigl\vert \mathbf{B}(u)-\mathbf{A}(u) \bigr\vert \leq \max \bigl\vert \beta (1)-\alpha (0); \alpha (1)-\beta (0) \bigr\vert < a. \end{aligned}$$

(17)

Consequently, $\lambda _{x}\in \mathbb{R}$ exists by Lemma 2.1.

Since $G(x)$ is bounded and continuous on $[0,1]$, and the integral is a continuous function on $[0,s]$. Furthermore, $\lambda _{x}$ exists, ϕ is a homomorphism and its inverse exists. Also, $\phi ^{-1} [\lambda _{x}+\int _{0}^{s}G(x)(x)\,dx ]$ is continuous, and its integral exists. Therefore $\Omega (x)$ is continuous on $[0,1]$. Further, the class $\{\Omega (x):x\in C^{1}[0,1]\}$ is uniformly bounded and equicontinuous. Therefore in view of the Arzelà–Ascoli theorem $\{\Omega (x):x\in C^{1}[0,1]\}$ is relatively compact. Consequently Ω is a compact map. Now the Schauder fixed point theorem guarantees the existence of at least a fixed point since Ω is continuous and compact.

Step 2: If $x(t)$, $t\in [0,1]$ be a solution of the problem (11)–(12), then it must satisfy

$$\begin{aligned} \eta _{1}(0)-at< x(t)< \eta _{2}(0)+at,\quad \forall t\in [0,1]. \end{aligned}$$

(18)

Since $x(0)=\mathbf{A}(x)$,

$$\begin{aligned} x(0) =&\sigma \bigl(x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr) \bigr) \\ =&\max \bigl\{ \eta _{1}(0),\min \bigl\{ x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr),\eta _{2}(0)\bigr\} \bigr\} \\ =&\eta _{2}(0). \end{aligned}$$

(19)

Now, we show that

$$\begin{aligned} \eta _{1}(0)\leq x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr) \leq \eta _{2}(0). \end{aligned}$$

(20)

Suppose on the contrary that

$$\begin{aligned}& \eta _{2}(0)< x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr), \\& \text{then} \\& \eta _{2}(0)-x(0)< \Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr), \\& 0< \Upsilon _{1} \bigl(\eta _{2}(0),x(1),x'(0) \bigr), \end{aligned}$$

which implies a contradiction, because $\Upsilon _{1} (\eta _{2}(0),x(1),x'(0) )\ngtr 0$. Hence

$$\begin{aligned} x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr)\leq \eta _{2}(0). \end{aligned}$$

(21)

Along the same lines, we can show that

$$\begin{aligned} \eta _{1}(0)\leq x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr). \end{aligned}$$

(22)

Using (21) and (22), we have

$$\begin{aligned} \eta _{1}(0)\leq x(0)\leq \eta _{2}(0). \end{aligned}$$

(23)

Now using the second boundary condition, $x(1)=\mathbf{B}$, we may show that

$$\begin{aligned} \eta _{1}(1)\leq x(1)\leq \eta _{2}(1). \end{aligned}$$

(24)

Since $\| x' \| _{\infty }< a$,

$$\begin{aligned} x(0)-at< x(t)< x(0)+at,\quad \forall t\in [0,1]. \end{aligned}$$

(25)

Using Eqs. (23)–(25), we have

$$\begin{aligned} \eta _{1}(0)-at< x(t)< \eta _{2}(0)+at,\quad \forall t\in [0,1]. \end{aligned}$$

(26)

Step3: If $x(t)$ is a solution of the problem (11)–(12), then it must satisfy the BCs

$$\begin{aligned} \textstyle\begin{cases} \Upsilon _{1}(x(0),x(1),x'(0))=0, \\ \Upsilon _{2}(x(0),x(1),x'(1))=0. \end{cases}\displaystyle \end{aligned}$$

(27)

To satisfy the BCs (27), it is sufficient to show that

$$\begin{aligned} \textstyle\begin{cases} \eta _{1}(0)\leq x(0)+\Upsilon _{1}(x(0),x(1),x'(0))\leq \eta _{2}(0), \\ \eta _{1}(1)\leq \frac{1}{2}x(1)+\frac{1}{2}\Upsilon _{2}(x(0),x(1),x'(1)) \leq \eta _{2}(1). \end{cases}\displaystyle \end{aligned}$$

(28)

Suppose on the contrary that

$$\begin{aligned} \eta _{1}(0)\geq x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0)\bigr). \end{aligned}$$

(29)

Then

$$\begin{aligned} x(0) =&\sigma \bigl(x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr) \bigr) \\ =&\max \bigl\{ \eta _{1}(0),\min \bigl\{ x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0) \bigr),\eta _{2}(0)\bigr\} \bigr\} \\ =&\alpha (0). \end{aligned}$$

(30)

Using (29) and (30), we have

$$\begin{aligned} \Upsilon _{1} \bigl(\eta _{1}(0),x(1),x'(0) \bigr)< 0. \end{aligned}$$

(31)

This is a contradiction, because $\Upsilon _{1} (\eta _{1}(0),x(1),x'(0) )\nless 0$. Hence

$$\begin{aligned} \eta _{1}(0)\leq x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0)\bigr). \end{aligned}$$

(32)

Similarly, we can show that

$$\begin{aligned} \eta _{2}(0)\geq x(0)+\Upsilon _{1} \bigl(x(0),x(1),x'(0)\bigr). \end{aligned}$$

(33)

Now, assume on contrary that

$$\begin{aligned} \eta _{2}(1)< \frac{1}{2}x(1)+\frac{1}{2} \Upsilon _{2}\bigl(x(0),x(1),x'(1)\bigr). \end{aligned}$$

(34)

Then

$$\begin{aligned} x(1) =&\mathbf{B}(x) \\ =&\chi \biggl(\frac{1}{2}x(1)+\frac{1}{2}\Upsilon _{2}\bigl(x(0),x(1),x'(1)\bigr) \biggr) \\ =&\max \biggl\{ x(1),\min \biggl\{ \frac{1}{2}x(1)+ \frac{1}{2}\Upsilon _{2}\bigl(x(0),x(1),x'(1)\bigr), \eta _{2}(1)\biggr\} \biggr\} \\ =&\eta _{2}(1). \end{aligned}$$

(35)

Using Eqs. (34) and (35), we have

$$\begin{aligned} \eta _{2}(1)-\Upsilon _{2}\bigl(x(0),\eta _{2}(1),x'(1)\bigr)< 0, \end{aligned}$$

(36)

which implies a contradiction, because $\eta _{2}(1)-\Upsilon _{2}(x(0),\eta _{2}(1),x'(1))\nless 0$. Hence

$$\begin{aligned} \eta _{2}(1)\geq \frac{1}{2}x(1)+ \frac{1}{2}\Upsilon _{2}\bigl(x(0),x(1),x'(1)\bigr). \end{aligned}$$

(37)

Along the same line, we can show that

$$\begin{aligned} \eta _{1}(1)\leq \frac{1}{2}x(1)+ \frac{1}{2}\Upsilon _{2}\bigl(x(0),x(1),x'(1)\bigr). \end{aligned}$$

(38)

Using Eqs. (32), (33), (37), and (38), the BCs (27) are satisfied.

Hence, $x(t)$, $t\in [0,1]$ is a solution of the modified BVP (11)–(12) which leads to the solution of the BVP (1)–(2).

4 Example

Consider the following nonlinear BVP:

$$\begin{aligned} \biggl(\frac{x'(t)}{1- \vert x'(t) \vert } \biggr)'=x^{3}(t)+ \frac{x(t)}{\sqrt{t}}+\sin \bigl(x'(t)\bigr), \quad \text{for a.e. }t\in [0,1], \end{aligned}$$

(39)

subject to following nonlinear BCs:

$$\begin{aligned}& \Upsilon _{1}\bigl(x(0),x(1),x'(0) \bigr)=x(0)x(1) \bigl(x'(0)-3\bigr)=0, \\& \Upsilon _{2}\bigl(x(0),x(1),x'(1) \bigr)=x(0)x(1) \bigl(x'(1)-5\bigr)=0. \end{aligned}$$

(40)

This problem is a particular case of the problem (1)–(2) with

$$\begin{aligned}& g_{1}(t,x,y)=x^{3}(t)+\frac{x(t)}{\sqrt{t}}+\sin \bigl(y'(t)\bigr),\quad t\in [0,1], \\& \phi (x)=\frac{x}{\sqrt{1- \vert x \vert }}, \\& \text{and} \\& a=1. \end{aligned}$$

Choose

$$\begin{aligned} \eta _{1}(t)=0, \eta _{2}(t)=\frac{1}{2},\quad \forall t\in [0,1], \end{aligned}$$

with

$$\begin{aligned} \eta _{1}(0)< \eta _{2}(0), \qquad \eta _{1}(1)< \eta _{2}(1). \end{aligned}$$

Now

$$\begin{aligned}& \max \bigl\{ \bigl\vert \eta _{2}(1)-\eta _{1}(0) \bigr\vert , \bigl\vert \eta _{1}(1)-\eta _{2}(0) \bigr\vert \bigr\} = \frac{1}{2}< 1=a, \\& \Upsilon _{1}\bigl(\eta _{1}(0),t,w\bigr)=\eta _{1}(0)t(w-3)=0,\quad \forall (t,w) \in \biggl[0,\frac{1}{2} \biggr]\times [-1,1], \\& \Upsilon _{1}\bigl(\eta _{2}(0),t,w\bigr)=\eta _{2}(0)t(w-3)\leq 0,\quad \forall (t,w) \in \biggl[0,\frac{1}{2} \biggr]\times [-1,1], \\& \eta _{1}(1)-\Upsilon _{2}\bigl(x,\eta _{1}(1),z \bigr)=\eta _{1}(1)-x\eta _{1}(1) (z-5 )=0,\quad \forall (x,z) \in \biggl[0,\frac{1}{2} \biggr], \\& \eta _{2}(1)-\Upsilon _{2}\bigl(x,\eta _{2}(1),z \bigr)=\eta _{2}(1)-x\eta _{2}(1) (z-5 )\geq 0,\quad \forall (x,z)\in \biggl[0,\frac{1}{2} \biggr]. \end{aligned}$$

Hence by Theorem 1, the BVP (39)–(40) has at least one solution, satisfying

$$\begin{aligned} \eta _{1}(0)-at\leq x(t)\leq \eta _{2}(0)+at ,\quad \forall t \in [0,1]. \end{aligned}$$

5 Conclusion

We studied the existence of solutions of ϕ-Laplacian boundary value problems by employing the topological approach and the new conditions on the boundary functions. The conditions on the boundary functions allowed us to obtain a solution in the sector defined by two well-ordered functions which did not require satisfying the differential inequalities to ensure the existence of lower and upper solutions. This way to deal with the ϕ-Laplacian boundary value problems made our approach simpler than the lower and upper solutions approach. Moreover, in our approach the monotonicity assumptions on the arguments of the boundary functions are not required. We considered an example to check the applicability of the developed theoretical results.