- Research
- Open access
- Published:

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

*Boundary Value Problems*
**volume 2020**, Article number: 155 (2020)

## Abstract

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

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:

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

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

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*

*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

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

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

Equation (6) further implies

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

is well defined, decreasing, and continuous. Also

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)\),

*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:

with modified BCs

□

where

with

and

with

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

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

Let

and

Obviously,

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

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

Now, we show that

Suppose on the contrary that

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

Along the same lines, we can show that

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

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

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

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

Suppose on the contrary that

Then

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

Similarly, we can show that

Now, assume on contrary that

Then

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

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

Along the same line, we can show that

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:

subject to following nonlinear BCs:

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

Choose

with

Now

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

## 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.

## References

Talib, I., Asif, N.A., Tunc, C.: Coupled lower and upper solution approach for the existence of solutions of nonlinear coupled system with nonlinear coupled boundary conditions. Proyecciones

**35**, 97–115 (2016)Talib, I., Asif, N.A., Tunc, C.: Existence of solutions to second-order nonlinear coupled systems with nonlinear coupled boundary conditions. Electron. J. Differ. Equ.

**313**, 1 (2015)Asif, N.A., Talib, I., Tunc, C.: Existence of solution for first-order coupled system with nonlinear coupled boundary conditions. Bound. Value Probl.

**2015**, 134, 1–9 (2015)Bai, Z., Du, Z.: Positive solutions for some second-order four-point boundary value problems. J. Math. Anal. Appl.

**330**, 34–50 (2007)Bai, Z., Li, W., Ge, W.: Existence and multiplicity of solutions for four-point boundary value problems at resonance. Nonlinear Anal.

**60**, 1151–1162 (2005)Kwong, M.K., Wong, J.S.W.: An optimal existence theorem for positive solutions of a four-point boundary value problem. Electron. J. Differ. Equ.

**165**, 1 (2009)Schmitt, K.: On the existence of nontrivial solutions of differential equations subject to linear constraints

Webb, J.R.L.: Existence of positive solutions for a thermostat model. Nonlinear Anal., Real World Appl.

**13**, 923–938 (2012)Infante, G., Pietramala, P.: Nonzero radial solutions for a class of elliptic systems with nonlocal BCs on annular domains. Nonlinear Differ. Equ. Appl.

**22**, 979–1003 (2015)Tisdell, C.C.: Existence of solutions to second-order boundary value problems without growth restrictions. Electron. J. Qual. Theory Differ. Equ.

**92**, 1 (2016)Infante, G., Webb, J.R.L.: Loss of positivity in a nonlinear scalar heat equation. Nonlinear Differ. Equ. Appl.

**13**, 249–261 (2006)Bai, Z., Zhang, Y.: Solvability of fractional three-point boundary value problems with nonlinear growth. Appl. Math. Comput.

**218**, 1719–1725 (2011)Bereanu, C., Jebelean, P.: Radial solutions for some nonlinear problems involving mean curvature operators in Euclidean and Minkowski spaces. Proc. Am. Math. Soc.

**137**, 161–169 (2009)Bereanu, C., Jebelean, P., Mawhin, J.: Radial solutions for Neumann problems involving mean curvature operators in Euclidean and Minkowski spaces. Math. Nachr.

**283**, 379–391 (2010)Bereanu, C., Jebelean, P., Mawhin, J.: Periodic solutions of pendulum-like perturbations of singular and bounded ö-Laplacians. J. Dyn. Differ. Equ.

**22**, 463–471 (2010)Brezis, H., Mawhin, J.: Periodic solutions of the forced relativistic pendulum. Differ. Integral Equ.

**23**, 801–810 (2010)Coelho, I., Corsato, C., Obersnel, F., Omari, P.: Positive solutions of the Dirichlet problem for the one-dimensional Minkowski-curvature equation. Adv. Nonlinear Stud.

**12**, 621–638 (2012)Feng, M., Li, P., Sun, S.: Symmetric positive solutions for fourth-order n-dimensional m-Laplace system. Bound. Value Probl.

**2018**, 63 (2018)Herlea, D.R., Precup, R.: Existence, localization and multiplicity of positive solutions to

*ϕ*-Laplace equations and systems. Taiwan. J. Math.**20**, 77–89 (2016)Jebelean, P., Mahwin, J., Cerban, C.: A vector p-Laplacian type approach to multiple periodic solutions for the p-relativistic operator. Commun. Contemp. Math.

**19**, 1–16 (2017)Jebelean, P., Precup, R.: Symmetric positive solutions to a singular

*ϕ*-Laplace equation. J. Lond. Math. Soc.**99**, 495–515 (2019)Jebelean, P., Cerban, C.: Boundary value problems for discontinuous perturbations of singular

*ϕ*-Laplacian operator. J. Math. Anal. Appl.**431**, 662–681 (2015)Precup, R., Rodríguez-López, J.: Positive solutions for discontinuous problems with applications to

*ϕ*-Laplacian equations. J. Fixed Point Theory Appl.**2018**, 156, 1–17 (2018)Sheng, K., Zhang, W., Bai, Z.: Positive solutions to fractional boundary value problems with p-Laplacian on time scales. Bound. Value Probl.

**2018**, 70, 1–17 (2018)Herlea, Y.R.: Existence, localization and multiplicity of positive solutions for the Dirichlet BVP with

*ϕ*-Laplacian. Fixed Point Theory**18**, 237–246 (2017)Chinní, A., Bella, B.D., Jebelean, P., Precup, R.: A four-point boundary value problem with singular

*ϕ*-Laplacian. J. Fixed Point Theory Appl.**21**, 66 (2019)Guefaifia, R., Boulaaras, S., Kamache, F.: On the existence of three solutions of Dirichlet fractional systems involving the p-Laplacian with Lipschitz nonlinearity. Bound. Value Probl.

**2020**, 131 (2020)Agarwal, R.P., Regan, D.O., Stanek, S.: General existence principles for nonlocal boundary value problems with

*ϕ*-Laplacian and their applications. Abstr. Appl. Anal.**2006**, 30 (2006)Glowinski, R., Rappaz, J.: Approximation of a nonlinear elliptic problem arising in a non-Newtonian fluid flow model in glaciology. JMathematical Modelling and Numerical Analysis

**37**, 175–186 (2003)Chen, T., Liu, W.: An anti-periodic boundary value problem for the fractional differential equation with a

*p*-Laplacian operator. Appl. Math. Lett.**25**, 1671–1675 (2012)Diaz, J.I., Thélin, F.D.: On a nonlinear parabolic problem arising in some models related to turbulent flows. SIAM J. Math. Anal.

**25**, 1085–1111 (1994)Calamai, A., Marcelli, C., Papalini, F.: Boundary value problems for singular second order equations. Fixed Point Theory Appl.

**2018**, 20 (2018)Behi, D.A., Adje, A., Goli, K.C.: Lower and upper solutions method for nonlinear second-order differential equations involving a

*ϕ*-Laplacian operator. Afr. Diaspora J. Math.**22**, 22–41 (2019)Jiang, D.: Upper and lower solution method and a singular boundary value problem for the one-dimensional

*p*-Laplacian. J. Math. Anal. Appl.**22**, 22–41 (2019)Liu, X., Jia, M.: The method of lower and upper solutions for the general boundary value problems of fractional differential equations with

*p*-Laplacian. Adv. Differ. Equ.**2018**, 28, 1–15 (2018)Wang, J., Xiang, H.: Upper and lower solutions method for a class of singular fractional boundary value problems with p-Laplacian operator. Abstr. Appl. Anal.

**2010**, 1 (2010)Guo, Y., Ge, W.: Upper and lower solution method and a singular boundary value problem for the one-dimensional

*p*-Laplacian. J. Math. Anal. Appl.**252**, 631–648 (2000)

### Acknowledgements

The author Thabet Abdeljawad would like to thank Prince Sultan University for funding this work through research group Nonlinear Analysis Methods in Applied Mathematics (NAMAM) group number RG-DES-2017-01-17.

### Availability of data and materials

Not applicable.

## Funding

Not applicable.

## Author information

### Authors and Affiliations

### Contributions

All authors contributed equally to this article. All authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Talib, I., Abdeljawad, T. Existence results for first derivative dependent *ϕ*-Laplacian boundary value problems.
*Bound Value Probl* **2020**, 155 (2020). https://doi.org/10.1186/s13661-020-01453-x

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-020-01453-x