- Research
- Open Access
- Published:

# Solvability of some boundary value problems involving p-Laplacian and non-autonomous differential operators

*Boundary Value Problems*
**volume 2019**, Article number: 179 (2019)

## Abstract

The paper deals with the existence and non-existence of solutions of the following nonlinear non-autonomous boundary value problem governed by the p-Laplacian operator:

with \(a< b\), where *a* is a positive, continuous function and *g* is a Caratheódory nonlinear function.

We prove an existence result, underlying the relationship between the behavior of \(g(t,x,\cdot )\) as \(y\to 0\) related to that of \(g(\cdot ,x,y)\) and \(h(\cdot ,x) \) as \(|t|\to +\infty \).

## Introduction

Differential equations involving the *p*-Laplacian operator and its generalization, the so-called *Φ*-Laplacian, have been widely studied due to several applications in various sciences. Indeed, many models in non-Newtonian fluid theory, diffusion of flows in porous media, nonlinear elasticity, and theory of capillary surfaces can be expressed in terms of such differential operators.

The simplest form of a differential equation involving the *Φ*-Laplacian operator is

and it has been studied in many papers [1, 2, 7, 8, 12, 14,15,16, 23]. We also quote [19] for systems of differential equations, [13] for differential inclusions, [17, 18, 24] for systems of differential inclusions.

More recently, other types of differential operators, governed by an increasing function *Φ*, possibly singular and not necessarily surjective, have been considered. The theory on this subject can be found in [2] for operators having a bounded domain and in [1] for non-surjective operators.

A different type of generalization consists in dealing with mixed-type operators, that is, equations of type

(see, e.g., [3,4,5,6, 9,10,11, 22]).

In recent papers (see [20, 21]), some existence and non-existence results were proved for the boundary value problem

where *Φ* is a general increasing homeomorphism in \(\mathbb{R}\). The generality of the differential operator *Φ* required a rather strong growth assumption on the right-hand side \(g(t,x,x')\) with respect to \(x'\) (see conditions 3.3 and 3.4 in [20, Theorem 3.1]). For instance, when \(g(t,x,y)=a(t)b(x)c(y)\) and *Φ* has a superlinear growth at infinity, then the condition \(c(x')/|\varPhi (x')|\to 0\) as \(|x'|\to \infty \) is needed (among others) in order to obtain the existence of solutions (see [20, Corollary 4.13]). So, in the special case of the *p*-Laplacian operator, the function \(g(t,x,x')\) has to grow less than \(p-1\) as \(|x'|\to +\infty \).

The aim of the present paper is to show that when dealing with the *p*-Laplacian operator, that is, when one has the following equation:

the growth assumption on the right-hand side *g* considered in [20] can be improved and the class of solvable problems can be widened. More in detail, when \(g(t,x,y)=a(t)b(x)c(y)\), the assumption \(c(x')/|\varPhi (x')|\to 0\) as \(|x'|\to \infty \) can be replaced by \(c(y)=O(|y|^{p})\) (see condition (3.26)). To our knowledge, the existence result here presented is new also for the classical case \(p=2\). For instance, as an application of our results, we have that the differential equation

where \(\beta (x)\), \(g(x)\) are generic positive continuous functions, admits solutions satisfying \(x(-\infty )=a\), \(x(+\infty )=b\) for every *a*, *b* with \(a< b\), provided that *m* is odd and \(m>2n+1\) (see Example 3.7). We underline that the previous equation can not be treated by means of the results in [20], since in this case \(p=2\) and the growth of *f* with respect to \(x'\) is greater than \(p-1\).

## Existence and non-existence theorem

In the whole paper we will consider a positive continuous function \(h:\mathbb{R}\times [a,b]\to \mathbb{R}\) and a Carathéodory function \(g:\mathbb{R}^{3}\to \mathbb{R}\).

We deal with the following nonlinear differential equation:

and we use the following notations:

Of course, \(M^{*}(t)\ge M(t)\ge m(t)\ge m^{*}(t) >0\) for every \(t\in \mathbb{R}\), with \({\inf_{t\in \mathbb{R}} m(t)}\) possibly zero.

Our main results are the following general existence and non-existence theorems.

### Theorem 2.1

*Suppose that*

*and that there exist constants*\(C_{1},C_{2}>0\), *a continuous function*\(\mu :\mathbb{R}^{+}\to \mathbb{R}^{+}\), *and a function*\(\lambda \in L^{q}([-C_{1},C_{1}])\)*with*\(1\le q \le \infty \)*such that*

(*with*\(\frac{q-1}{q(p-1)}= \frac{1}{p-1}\)*if*\(q=+\infty \)).

*At last*, *suppose that there exists a constant*\(\gamma > 1\)*such that*, *for every*\(C>0\), *there exists a function*\(\varLambda _{C} \in L^{1}_{ \mathrm{loc}}([0, +\infty ))\), *null in*\([0,C_{1}]\)*and positive in*\((C_{1},+\infty )\), *such that*:

*and there exists a function*\(\eta _{C}\in L^{1}(\mathbb{R})\)*such that putting*

*for every*\(x \in [a, b]\)*and every*\(|y|\le N_{C}(t)\), *we have*

*Then there exists a function*
\(x \in C^{1}(\mathbb{R})\)
*such that*
\(t\mapsto h(t,x(t))|x'(t)|^{p-1}x'(t))\)
*belongs to*
\(W^{1,1}( \mathbb{R})\)
*and*

### Proof

With no restriction we may assume \(C_{2}>\frac{1}{2C_{1}}(b-a)\). By (2.5) there exists a constant *C* such that

and

Fix \(n \in \mathbb{N}\), \(n>C_{1}\), and put \(I_{n}:=[-n,n]\). Consider the truncation operator \(U:W^{1,1}(I_{n})\to W^{1,1}(I_{n})\) defined by

and for every \(x\in W^{1,1}_{\mathrm{loc}}(\mathbb{R})\), put

Moreover, for every \(x\in \mathbb{R}\), put \(w(x):=\max \{x-b, 0\} + \min \{ x-a,0\}\).

Let us consider the following auxiliary boundary value problem on the compact interval \(I_{n}\):

By the same argument developed in the proof of [20, Theorem 3.1], it is possible to prove that problem (2.13) admits a solution \(u_{n}\) for every \(n >C_{1}\) such that \(a\le u_{n}(t) \le b\) for all \(t \in I_{n}\), so that \(U_{u_{n}}(t)=u_{n}(t)\) for every \(t\in I_{n}\). Moreover, \(u_{n}\) is increasing in \([-n,-C_{1}]\) and in \([C_{1},n]\) and if \(u_{n}'(t_{0})=0\) for some \(C_{1}<|t_{0}|<n\), then \(u_{n}'(t)=0\) whenever \(|t|>|t_{0}|\) (see Steps 1–2 in the proof of [20, Theorem 3.1]).

Now our goal is to prove that \(|u_{n}'(t)|\le N_{C}(t)\) for every \(t\in I_{n}\), so that also \(V_{u_{n}}(t)= u_{n}'(t)\) in \(I_{n}\) and consequently \(u_{n}\) is a solution of equation (2.1) too.

To this aim, put

we claim that

implying that \(|u_{n}'(t)|\le C\) for every \(t\in [-C_{1},C_{1}]\).

Indeed, notice that by the Lagrange theorem there exists a point \(\tau _{0}\in I_{n}\) such that

so, by (2.11), we have

Assume, by contradiction, the existence of an interval \((\tau _{1},\tau _{2})\subset (-C_{1},C_{1})\) such that \(| f(t) | < m^{*}(C_{1})C^{p-1}\) in \((\tau _{1},\tau _{2})\) and \(|f(\tau _{1})|= M^{*}(C_{1})C_{2}^{p-1} \), \(|f(\tau _{2})|= m^{*}(C_{1})C^{p-1}\) or vice versa.

Then we have \(C_{2}\le u_{n}'(t)\le C\) in \((\tau _{1},\tau _{2})\) and since \(N_{C}(t)= C(\frac{M^{*}(C_{1})}{m(t)})^{\frac{1}{p-1}} \ge C\) for every \(t\in (-C_{1},C_{1})\), we have \(|u_{n}'(t)|< N_{C}(t)\) for every \(t\in (\tau _{1},\tau _{2})\). Then, by Step 1, the definition of \((P_{n}^{*})\), and assumption (2.4), for a.e. \(t\in (\tau _{1},\tau _{2})\), we have

Therefore, by the Hölder inequality we get

in contradiction with (2.12). Thus, claim (2.14) is proved, and consequently we have \(|u_{n}'(t)|< C \le N_{C}(t)\) for every \(t \in [-C_{1},C_{1}]\).

We now prove that \(u_{n}'(t)\le N_{C}(t)\) for every \(t\in I_{n}\setminus [-C_{1},C_{1}]\).

To this aim, let \(\hat{t}:=\sup \{t>C_{1}: u_{n}'(\tau ) < N_{C}( \tau ) \text{ in } [C_{1},t]\}\). Assume, by contradiction, \(\hat{t}< n\). By the definition of \(V_{u_{n}}\), we have

Recalling that \(u_{n}'(t)\ge 0\) in \([C_{1},n)\), by (2.8) we have

for a.e. \(t\in [C_{1}, \hat{t}]\). Then

for every \(t\in [C_{1}, \bar{t}]\). Therefore,

implying that

for every \(t \in [C_{1}, \hat{t}]\), a contradiction when \(\hat{t}< n\). So, \(\hat{t} =n\) and the claim is proved. The same argument works in the interval \([-n,-C_{1}]\) too.

Therefore, we have \(|u_{n}'(t)|\le N_{C}(t)\) for every \(t\in [-n,n]\) implying that

Now, following the same argument as in [20, Theorem 3.1], one can show that the sequence \((\tilde{u}_{n})_{n}\) of the functions \(u_{n}\) continued in a constant way in the whole \(\mathbb{R}\) converges to a solution *x* of problem (2.10), satisfying all the properties stated in the assertion. □

The main tool in the previous existence theorem is the summability of function \(N_{C}(t)\) (condition (2.6)) combined with assumption (2.8). Such conditions are not improvable in the sense that if (2.8) is satisfied with the reversed inequality and \(N_{C}\) is not summable, then problem \((P)\) does not admit solutions, as stated in the following result.

### Theorem 2.2

*Suppose that there exist three constants*\(C_{1}\ge 0\), \(\rho >0\), \(\gamma >1\)*and a positive function*\(\varLambda \in L^{1}_{\mathrm{loc}}([C _{1},+\infty ))\)*such that one of the following pairs of conditions holds*:

*or*

*and for every constant**C*, *the function*

*does not belong to*\(L^{1}([1,+\infty ))\).

*Moreover*, *assume that*

*and there exist two constants*\(k, C_{2}>0\)*such that*

*Then each possible solution**x**of problem*\((P)\)*is constant in*\([C_{1},+\infty )\) (*when* (2.15) *holds*) *or constant in*\((-\infty , -C_{1}]\) (*when* (2.16) *holds*).

*Therefore*, *if both* (2.15) *and* (2.16) *hold and*\(C_{1}=0\), *then problem*\((P)\)*does not admit solutions*, *that is*, *there exists no function*\(x\in C^{1}(\mathbb{R})\)*such that*\(t\mapsto h(t,x(t))|x'(t)|^{p-2}x'(t)\)*is almost everywhere differentiable*, *satisfying the conditions of problem*\((P)\).

### Remark 2.1

Of course, (2.19), (2.20) are satisfied (for \(C_{1}=0\)) when \(h(t,x)=h_{1}(t) h_{2}(x)\), provided that \(h_{1}(t)\) is decreasing in \((-\infty ,0)\) and increasing in \((0,+\infty )\), or \(h_{1}\) is uniformly continuous in \(\mathbb{R}\) and \({\inf_{t\in \mathbb{R}}} \,h_{1}(t)>0 \), or \(h_{1}(t)\sim |t|^{-k}\) as \(|t|\to + \infty \) for some \(k>0\), since \(h_{2}(x)>0\) on \([a,b]\).

## Asymptotic criteria

We now provide some applications for operators and right-hand side having the product structure

We emphasize the link between the local behavior of \(g_{2}(x,\cdot )\) at \(y=0\) and of \(g_{1}(\cdot , x)\), \(h_{1}(\cdot )\) at infinity, which is crucial for the existence or non-existence of solutions.

In what follows we assume that \(h_{1}\), \(h_{2}\) are continuous positive functions, \(g_{1}\) is a Carathéodory function, and \(g_{2}\) is a continuous function satisfying

Put \({\tilde{m}:=\min_{x\in [a,b]} h_{2}(x)}\) and \({\tilde{M}:= \max_{x\in [a,b]} h_{2}(x)}\), we have

where recall that \({m(t):=\min_{x\in [a,b]} h(t,x)}\) and \({M(t):=\max_{x\in [a,b]} h(t,x)}\).

Moreover, from now on we put

The following existence theorems are application of Theorem 2.1.

### Proposition 3.1

*Suppose that*, *for some*\(C_{1}>0\), *we have*

*and there exists a function*\(\lambda \in L^{q}_{\mathrm{loc}}( \mathbb{R})\), \(1\le q \le + \infty \), *such that*

*Moreover*, *assume that there exist real constants**σ*, *δ*, *and*\(\gamma >1\)*satisfying one of the following pairs of conditions*:

*such that*, *for every*\(x\in [a, b]\), *we have*

*for certain positive constants*\(h_{1}\), \(h_{2}\), \(k_{1}\), \(k_{2}\), *ρ*, \(C_{2}\).

*Then problem*\((P)\)*admits solutions*.

### Proof

It is not restrictive to assume \(C_{2}>\max \{C_{1},\frac{b - a}{2C _{1}}\}\). Put \(\mu (r):=k_{2} (\frac{r}{m^{*}(C_{1})} ) ^{\frac{qp-1}{q(p-1)}}\) for \(r>0\) (see (2.2)), from (3.3) and (3.9) the validity of conditions (2.4) and (2.5) follows.

Put \(\varLambda (t):= 0\) for \(0\le t\le C_{1}\), and

By condition (3.3) we have \(\varLambda \in L_{\text{loc}} ^{1}([0, +\infty ))\), and by (3.2) we have that *Λ* is positive. Observe that by (3.10) it follows that

and

for a.e. \(t \ge C_{1}\), every \(x \in [a, b]\), and every \(y\in \mathbb{R}\). Then condition (2.8) of Theorem 2.1 holds, with \(\varLambda _{C}(\cdot ):=\varLambda (\cdot )\) for every \(C>0\).

Now, from (3.7) it follows that \(h_{1} k_{1} t^{\delta } \le \varLambda (t)\) for a.e. \(t \ge C_{1}\) and by (3.6) we deduce that, for some positive constant \(c_{1}\), we have

Hence, by condition (3.6) we obtain

for some positive constant \(c_{2}\), implying by the second inequality in (3.4) the validity of assumption (2.6). Moreover, the function \(N_{C}(t)\) defined in (2.7) satisfies

for some constant \(c_{3}\). So, by the first inequality in (3.4) we have \(\lim_{|t|\to +\infty } N_{C}(t)=0\), and then a constant \(L_{C}^{*} > C _{1}\) exists such that \(N_{C}(t)\le \rho \) for every \(|t| \ge L_{C} ^{*}\). Let us define \(\hat{C}:= {\max_{|t|\le L_{C}^{*}}} N_{C}(t)\) and

By (3.7) and (3.8), for a.e. \(t\in \mathbb{R}\), for every \(x \in [a, b]\) and every \(y \in \mathbb{R}\) such that \(|y|\le N_{C}(t) \), we have

so it remains to prove that \(\eta _{C}\in L^{1}(\mathbb{R})\).

By (3.3) and the continuity of the function \(g_{2}(\cdot ,\cdot )\), we have \(\eta _{C}\in L^{1}([-L_{C}^{*},L_{C}^{*}])\). Moreover, when \(|t|>L_{C}^{*}\), by (3.12) we have

implying that \(\eta _{C}(t)\in L^{1}(\mathbb{R}\setminus [-L_{C}^{*},L _{C}^{*}])\) by the first condition in (3.4).

Therefore, we can apply Theorem 2.1 and obtain the assertion of the present result.

The case of (3.5) is similar.

If *Λ* is the function defined above, by the first inequality in (3.5) we get that the integral function \(t\mapsto \int _{0}^{t} \frac{\varLambda (|s|)}{M(s)^{\gamma }}\, \mathrm{d} s \) is bounded. So, the second condition in (3.5) implies the validity of assumption (2.6). Moreover, if \(\eta _{C}\) is defined as above, then

so \(\eta _{C}\) is summable by condition (3.5) and the proof proceeds as in the first part. □

### Remark 3.1

We underline that conditions (3.9) and (3.10) are compatible with each other for large \(|y|\) only if \(q>1\) and \(\gamma \le \frac{p-\frac{1}{q}}{p-1}\). However, if \(m_{\infty }>0\) (see (3.1)), condition (3.10) can be improved requiring that it holds only for \(|y|\) small enough, as the following result states.

### Proposition 3.2

*Let all the assumption of Proposition*3.1*be satisfied*, *with the exception of* (3.10), *replaced by*

*Moreover*, *assume that*\(m_{\infty }>0\). *Then problem*\((P)\)*admits solutions*.

### Proof

For every fixed \(C>0\), let

and finally

Let us define the function \(\varLambda (t)\) as in the proof of Proposition (3.1), with \(k_{1}\) replaced by \(h_{C}\).

Notice that \(N_{C}(t)\le \varGamma _{C}\) for every \(t\ge C_{1}\); moreover \(g_{2}(x,y)\ge h_{C} |y|^{\gamma (p-1)}\) whenever \(|y|\le \varGamma _{C}\). So, condition (2.8) holds whenever \(|y|<\varGamma _{C}\) and the proof proceeds as that of Proposition 3.1, replacing everywhere \(k_{1}\) with \(h_{C}\). □

We state now two non-existence results, obtained applying Theorem 2.2.

### Proposition 3.3

*Suppose that*

*and let there exist real constants**δ*, \(\gamma >1\), \(\varLambda > 0\)*and a positive function*\(\ell (t)\in L^{1}([0,\varLambda ])\)*such that*

*for some positive constants*\(\lambda _{1}\), \(\lambda _{2}\), *ρ*. *Moreover*, *assume that* (3.6) *holds for some constants*\(h_{1}\), \(h_{2}\), *σ**such that one of the following pairs of conditions is satisfied*:

*At last*, *suppose that there exist two constants*\(\epsilon , C_{2}>0\)*such that*

*Then problem*\((P)\)*does not admit solutions*.

### Proof

Put

we have that *Λ* is a positive function belonging to \(L^{1}_{\text{loc}}([0,+\infty ))\) and one can easily verify that conditions (3.15), (3.16), and (3.17) ensure the validity of (2.15) and (2.16) with \(C_{1}=0\). Moreover, by (3.6) and the very definition of *Λ*, one has

As a consequence, for every constant *C*, we have

provided \(t\in (0,+\infty )\) is sufficiently large. At last, the second assumption in (3.18) implies that \(N_{C}(t)\) is not summable in \([1,+\infty )\) and the assertion follows as an application of Theorem 2.2 in the case \(C_{1}=0\).

The case of (3.19) is similar.

By using the same notations, notice that under the first condition in (3.19) the integral function \(\rho (t) = \int _{0}^{t} \frac{\varLambda (\tau )}{m(\tau )^{\gamma }} \, \mathrm{d} \tau \) is bounded, hence \(N_{C}(t)^{p-1} \ge \text{ Const. } t^{- \sigma } \), implying that \(N_{C}(t) \ge \text{ Const. } t^{-\sigma /(p-1)}\). Therefore \(N_{C}\) is not summable at infinity owing to the second condition in assumption (3.19), and the assertion follows from Theorem 2.2, applied for \(C_{1}=0\). □

As an immediate application of the previous theorems, the following criteria hold.

### Corollary 3.4

*Let*\(g(t,x,y)=g_{1}(t)g_{2}(x) g_{3}(y)\), *where*\(g_{1}\in L^{q}_{ \mathrm{loc}}(\mathbb{R})\)*for some*\(1\le q\le +\infty \), \(g_{3}\)*is continuous in*\(\mathbb{R}\), *and*\(g_{2}\)*is continuous and positive in*\([a,b]\).

*Assume that*\(g_{3}(y)>0\)*for*\(y\ne 0\); \(t\cdot g_{1}(t)\le 0\)*for every**t**and suppose that there exist constants*\(c_{1},\dots ,c_{3}>0\)*such that*

*with*

*Then*, *if conditions* (3.20), (3.21) *hold and*\(p \le \beta + \sigma -\delta \), \((P)\)*has no solution*.

*Vice versa*, *if*\(p >\beta + \sigma -\delta \)*and*

*then*\((P)\)*admits solutions*.

### Proof

The assertion is an immediate consequence of Propositions 3.1 and 3.3 taking \(\gamma =\beta /(p-1)\). □

Taking into account what we have observed in Remark 3.1, the following result holds in the particular case \(m_{\infty }>0\).

### Corollary 3.5

*Let all the assumption of Corollary*3.4*hold*, *with the exception of* (3.27). *Then*, *if*\(m_{\infty }>0\), *problem*\((P)\)*admits solutions*.

When assumption (3.25) is not satisfied, we can use the following result, the consequence of Propositions 3.1 and 3.3.

### Corollary 3.6

*Let all the assumptions of Corollary*3.4*be satisfied*, *with the exception of* (3.25), *that is*, *assume that*

*Then*, *if conditions* (3.20), (3.21) *hold and*\(\sigma +1 \le p < \beta +1 \), \((P)\)*has no solution*.

*Vice versa*, *if*\(p < \sigma +1 \), \(p<\beta +1\), *and we further assume* (3.26) *and* (3.27), *then*\((P)\)*admits solutions*.

At last, a result analogous to Corollary 3.6 holds when condition (3.27) is removed, provided that \(m_{\infty }>0\), as in Corollary 3.5.

### Example 3.7

Let us consider the following differential equation:

where *β*, *g* are generic positive continuous functions. By virtue of Corollary 3.4 taking \(q=\infty \), \(\sigma =n\), \(\delta =m\), \(s=2\), with \(m>2n-1\), we deduce that the differential equations admit solutions satisfying \(x(-\infty )=a\), \(x(+\infty )=b\), for any pair of ordered data *a*, *b*.

## References

- 1.
Bereanu, C., Mawhin, J.: Boundary-value problems with non-surjective

*Φ*-Laplacian and one-side bounded nonlinearity. Adv. Differ. Equ.**11**, 35–60 (2006) - 2.
Bereanu, C., Mawhin, J.: Existence and multiplicity results for some nonlinear problems with singular

*Φ*-Laplacian. J. Differ. Equ.**243**, 536–557 (2007) - 3.
Biagi, S.: On the existence of weak solutions for singular strongly nonlinear boundary value problems on the half-line. Ann. Mat. Pura Appl. (2019). https://doi.org/10.1007/s10231-019-00893-2

- 4.
Biagi, S., Calamai, A., Papalini, F.: Existence results for boundary value problems associated with singular strongly nonlinear equations. Submitted

- 5.
Biagi, S., Calamai, A., Papalini, F.: Heteroclinic solutions for a class of boundary value problems associated with singular equations. Nonlinear Anal. To appear

- 6.
Biagi, S., Isernia, T.: On the solvability of singular boundary value problems on the real line in the critical growth case. Discrete Contin. Dyn. Syst. To appear

- 7.
Cabada, A., Pouso, R.L.: Existence results for the problem \((\phi (u^{\prime })) ^{\prime }=g(t,u,u^{\prime })\) with periodic and Neumann boundary conditions. Nonlinear Anal.

**30**, 1733–1742 (1997) - 8.
Cabada, A., Pouso, R.L.: Existence results for the problem \((\phi (u^{\prime }))^{\prime }=g(t,u,u^{\prime })\) with nonlinear boundary conditions. Nonlinear Anal.

**35**, 221–231 (1999) - 9.
Calamai, A., Marcelli, C., Papalini, F.: Boundary value problems for singular second order equations. Fixed Point Theory Appl.

**2018**, 20 (2018) - 10.
Cupini, G., Marcelli, C., Papalini, F.: Heteroclinic solutions of boundary value problems on the real line involving general nonlinear differential operators. Differ. Integral Equ.

**24**(7–8), 619–644 (2011) - 11.
Cupini, G., Marcelli, C., Papalini, F.: On the solvability of a boundary value problem on the real line. Bound. Value Probl.

**2011**, 26 (2011) - 12.
Dang, H., Oppenheimer, S.F.: Existence and uniqueness results for some nonlinear boundary value problems. J. Math. Anal. Appl.

**198**, 35–48 (1996) - 13.
Ferracuti, L., Marcelli, C., Papalini, F.: Boundary value problems for highly nonlinear inclusions governed by non-surjective phi-Laplacians. Set-Valued Var. Anal.

**19**(1), 1–21 (2011) - 14.
Franco, D., O’Regan, D.: A new upper and lower solutions approach for second order problems with nonlinear boundary conditions. Arch. Inequal. Appl.

**1**, 413–419 (2003) - 15.
Garcia-Huidobro, M., Manásevich, R., Zanolin, F.: A Fredholm-like result for strongly nonlinear second order ODS’s. J. Differ. Equ.

**114**, 132–167 (1994) - 16.
Garcia-Huidobro, M., Manásevich, R., Zanolin, F.: Strongly nonlinear second-order ODE’s with rapidly growing terms. J. Math. Anal. Appl.

**202**, 1–26 (1996) - 17.
Krytsi, S.T., Matzakos, N., Papageorgiou, N.S.: Nonlinear boundary value problems for second order differential equations. Czechoslov. Math. J.

**55**, 545–579 (2005) - 18.
Kyritsi, S., Matzakos, N., Papageorgiou, N.S.: Periodic problems for strongly nonlinear second-order differential inclusions. J. Differ. Equ.

**183**, 279–302 (2002) - 19.
Manásevich, R., Mawhin, J.: Periodic solutions for nonlinear systems with p-Laplacian-like operators. J. Differ. Equ.

**145**, 367–393 (1998) - 20.
Marcelli, C.: Existence of solutions to boundary-value problems governed by general non-autonomous nonlinear differential operators. Electron. J. Differ. Equ.

**2012**, 171 (2012) - 21.
Marcelli, C.: The role of boundary data on the solvability of some equations involving non-autonomous nonlinear differential operators. Bound. Value Probl.

**2013**, 252 (2013) - 22.
Marcelli, C., Papalini, F.: Boundary value problems for strongly nonlinear equations under a Wintner–Nagumo growth condition. Bound. Value Probl.

**2017**, 183 (2017) - 23.
O’Regan, D.: Existence theory for \((\phi (y^{\prime }))^{\prime }= qf(t,y,y^{\prime })\), \(0< t<1\). Commun. Appl. Anal.

**1**, 33–52 (1997) - 24.
Papageorgiou, N.S., Papalini, F.: Pairs of positive solutions for the periodic scalar p-Laplacian. J. Fixed Point Theory

**5**, 157–184 (2009)

### Acknowledgements

Not applicable.

### Availability of data and materials

Not applicable.

## Funding

Not applicable.

## Author information

### Affiliations

### Contributions

All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Milena Petrini.

## Ethics declarations

### Competing interests

The author declares that they have no competing interests.

## Additional information

### Publisher’s Note

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

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## About this article

### Cite this article

Petrini, M. Solvability of some boundary value problems involving p-Laplacian and non-autonomous differential operators.
*Bound Value Probl* **2019, **179 (2019). https://doi.org/10.1186/s13661-019-1291-0

Received:

Accepted:

Published:

### MSC

- 34B40
- 34C37
- 34B15
- 34L30

### Keywords

- Boundary value problems
- Unbounded domains
- Heteroclinic solutions
- Nonlinear differential operators
*p*-Laplacian operator*Φ*-Laplacian operator