- Research
- Open Access
- Published:

# Boundary value problems for singular second order equations

*Fixed Point Theory and Applications***volume 2018**, Article number: 20 (2018)

## Abstract

We investigate strongly nonlinear differential equations of the type

where Φ is a strictly increasing homeomorphism and the nonnegative function *k* may vanish on a set of measure zero. By using the upper and lower solutions method, we prove existence results for the Dirichlet problem associated with the above equation, as well as for different boundary conditions involving the function *k*. Our existence results require a weak form of a Wintner–Nagumo growth condition.

## Introduction

The study of differential equations governed by nonlinear differential operators is now a well-investigated subject. Recently many authors have studied boundary value problems for equations of the type

where *f* is a Carathédory function and Φ is the classical *r*-Laplacian operator \(\Phi(y):=y \vert y \vert ^{r-2}\) with \(r>1\) or, more generally, \(\Phi: \mathbb{R}\to\mathbb{R}\) is an increasing homeomorphism such that \(\Phi(0)=0\), the so-called Φ*-Laplacian operator* (see, e.g., [2–4, 7, 13, 15]). Other papers have been devoted to the case of singular or non-surjective operators (see [1, 8, 9]). 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. Other types of models, e.g., reaction-diffusion equations with non-constant diffusivity and porous media equations, include mixed differential operators, that is, equations of the type

where *a* is a continuous positive function (see, e.g., [5, 6]).

In this framework, the existence results are usually obtained by means of a fixed point technique combined with the upper and lower solutions method. Another important tool to get a priori bounds for the derivatives of the solutions is a Nagumo-type growth condition on the function *f*. Let us observe that, when the nonlinear term *a* is present in the differential operator, some assumptions are required to the differential operator Φ, which in general is assumed to be homogeneous, or having at most linear growth at infinity.

In the recent paper [14], the authors considered a more general equation, that is,

where *a* is continuous and positive. They assumed a weak form of Wintner–Nagumo growth condition, namely

with \(\nu\in L^{s}(I)\), \(s>1\), \(\ell\in L^{1}(I)\), *ψ* measurable and such that

This assumption is weaker than other Nagumo-type conditions previously considered, and allows us to consider a very general operator Φ, which in [14] is only required to be a strictly increasing homeomorphism, not necessarily homogeneous, nor having polynomial growth.

We devote this paper to a different generalization of equation (1), considering non-autonomous differential operators having an explicit dependence on *t* inside the operator Φ, namely

Moreover, we also allow the function *k* to vanish in a set having null measure, so that the differential equation under consideration can become *singular*. In this context, we search for solutions no more belonging to \(C^{1}(I)\), but to the space \(W^{1,p}(I)\), where *p* is the exponent of the space \(L^{p}(I)\) to which we assume that \(1/k\) belongs.

According to our knowledge, very few papers have been devoted to this type of equations, just for a restricted class of nonlinearities *f* (see [11, 12]).

Our goal is to obtain existence results for the Dirichlet problem associated with (4), as well as for other boundary value problems with different boundary conditions, including, as particular cases, the classical periodic, Neumann, and Sturm–Liouville problems, but involving the (possibly vanishing) function *k*.

In more detail, we consider the following Dirichlet problem:

where \(a, b \in\mathbb{R}\), \(\Phi:\mathbb{R}\to\mathbb{R}\) is a strictly increasing homeomorphism, \(k:I\to\mathbb{R}\) is a continuous nonnegative function satisfying

and *f* is a Carathéodory function. We prove an existence result under rather weak assumptions (see Theorem 3.1 in Sect. 3), which can be applied to very general contexts. For instance, we can treat equations of the type

where no relation is required between the general operator Φ, the function \(k(t)\), and the terms appearing on the right-hand side (see Example 3.4). We also can treat equation of the type

where Φ is the classical *r*-Laplacian, showing the existence of a solution under a simple relation among the exponents *r*, *p*, and *α* (see Remark 3.6).

In order to obtain the existence result, we adopt a suitable combination of fixed point techniques applied to an auxiliary functional Dirichlet problem, and the method of lower and upper solutions (see Sect. 2). Our main growth assumption on the right-hand side *f* is a weak form of the Wintner–Nagumo condition similar to the one in (3).

The last part of the paper (see Sect. 4) is devoted to various types of boundary value problems, including the periodic problem, Neumann problem, and Sturm–Liouville problem, for which we derive the existence of a solution by applying the existence result for some auxiliary Dirichlet problems.

## Auxiliary results

In this section we consider the following functional Dirichlet problem:

where \(a,b \in\mathbb{R}\) are given constants, \(k:I\to\mathbb{R}\) is a continuous function verifying (5) for some \(p> 1\), \(\Phi:\mathbb{R}\to\mathbb{R}\) is a strictly increasing homeomorphism, and \(F:W^{1,p}(I) \to L^{1}(I)\), \(x\mapsto F_{x}\), is a continuous operator. Throughout the section we assume that there exists a function \(\eta\in L^{1}(I)\) such that

For brevity we denote

By a *solution* of problem (6) we mean a function \(u \in W^{1,p}(I)\), with \(u(0)=a\), \(u(T)=b\), such that \(\Phi\circ(k \cdot u')\in W^{1,1}(I)\) and \((\Phi(k(t)u'(t)))'=F_{u}(t)\) a.e. on *I*.

Let \(\mathcal {F}:W^{1,p}(I) \to C(I)\) be the integral operator defined by

Observe that the operator \(\mathcal {F}\) is continuous in \(W^{1,p}(I)\) and, by assumption (7), we have

The following lemma will be used in the next existence result.

### Lemma 2.1

*Assume conditions* (5) *and* (7). *Then*, *for every*
\(x \in W^{1,p}(I)\), *there is a unique constant*
\(I_{x} \in\mathbb{R}\)
*such that*

*Moreover*,

### Proof

Let \(x \in W^{1,p}(I)\) be fixed and consider the function \(\varphi_{x}: \mathbb{R}\to\mathbb{R}\) defined by

Observe that \(\varphi_{x}\) is well-defined and continuous by Lebesgue’s dominated convergence theorem. Moreover, since \(\Phi^{-1}\) is strictly increasing, also \(\varphi_{x}\) is strictly increasing.

By (9), for every \(\xi\in\mathbb{R}\), \(x \in W^{1,p}(I)\), and \(t \in I\), we have

So, since \(\Phi^{-1}\) is strictly increasing and *k* is positive, we get

Hence, we have \(\lim_{\xi\to-\infty} \varphi_{x}(\xi) = -\infty\), \(\lim_{\xi\to+\infty} \varphi_{x}(\xi) = +\infty\), implying that \(\varphi_{x}\) is a homeomorphism. Therefore, for every \(x \in W^{1,p}(I)\), there exists a unique \(I_{x} \in\mathbb{R}\) such that

By the mean value theorem, for every \(x \in W^{1,p}(I)\), there exists a value \(\bar{\mathcal{U}}_{x} \in I\) such that

Hence, we have \(\Phi^{-1} ( I_{x} + \mathcal {F}_{x}(\bar{\mathcal{U}}_{x}) ) = (b-a)/k_{1} \) (see (8)) implying that

and estimate (11) follows from (9). □

The following existence result holds.

### Theorem 2.2

*Assume conditions* (5) *and* (7). *Then problem* (6) *admits a solution*.

### Proof

Consider the operator \(G : W^{1,p}(I) \to W^{1,p}(I)\), \(x\mapsto G_{x}\), defined by

Observe that *G* is well defined. Indeed given \(x \in W^{1,p}(I)\), since

we deduce that \((G_{x})'\in L^{p}(I)\), and so \(G_{x}\in W^{1,p}(I)\).

*Claim 1:*
*G*
*is continuous.* Given \(x_{1},x_{2} \in W^{1,p}(I)\), observe that by (10) we get

So, by the mean value theorem, there exists \(\hat{t} \in I\) such that

and since \(\Phi^{-1}\) is strictly increasing,

that is, \(I_{x_{1}} - I_{x_{2}} = \mathcal {F}_{x_{1}}(\hat{t}) - \mathcal {F}_{x_{2}}(\hat{t}) \), which implies

Moreover, since for any \(t \in I\) we have

we conclude that

Observe that by (9) and (11) we get

By the uniform continuity of \(\Phi^{-1}\) on any compact interval of \(\mathbb{R}\), we get that for every \(\varepsilon>0\) there exists \(\delta=\delta(\varepsilon)>0\) such that

for every \(r_{1},r_{2}\) with \(|r_{1} - r_{2} | < \delta\) provided that \(|r_{1}|,|r_{2}|\le \vert \Phi ( \frac{b-a}{k_{1}} ) \vert + 2 \Vert \eta \Vert _{L^{1}}\).

Let now \((x_{n})_{n}\) be a sequence in \(W^{1,p}(I)\) converging to \(x \in W^{1,p}(I)\). By the continuity of the operator *F*, we get that \((F_{x_{n}})_{n}\) converges to \(F_{x}\) in \(L^{1}(I)\) and, by (13), \((I_{x_{n}})_{n}\) converges to \(I_{x}\).

Let \(\varepsilon>0\) be fixed and \(\delta=\delta(\varepsilon)>0\) as before. There exists \(\bar{n}=\bar{n} (\varepsilon, \eta)\) such that, for \(n \geq\bar{n}\), \(\Vert F_{x_{n}} - F_{x} \Vert _{L^{1}} < \delta/2\). Consequently, for \(n \geq\bar{n}\) and \(t\in I\), by (13) we get

So, for \(n \geq\bar{n}\) and a.e. \(t\in I\), by (15) and (14) we get

Thus,

implying that \(\Vert (G_{x_{n}})' - (G_{x})' \Vert _{L^{p}} < \frac{\varepsilon}{2}\). Moreover, for \(n \geq\bar{n}\) and \(t\in I\), again by (15) we have

implying that \(\Vert G_{x_{n}} - G_{x} \Vert _{L^{p}} < \frac{\varepsilon}{2}\).

Summarizing, we have proved that, for any \(\varepsilon>0\), there exists \(\bar{n}=\bar{n}(\varepsilon, \eta)\) such that, for \(n \geq\bar{n}\),

that is, the operator *G* is continuous.

*Claim 2:*
*G*
*is bounded*. By (14) and the continuity of \(\Phi^{-1}\), there exists a constant \(H=H(k, \eta)\) such that

Thus, for every \(x \in W^{1,p}(I)\) and a.e. \(t\in I\), we get

implying (see (8))

Moreover, for every \(x \in W^{1,p}(I)\) and \(t\in I\), we have

Consequently, \(\Vert G_{x} \Vert _{L^{p}} < (| a | + H k_{1}) T^{1/p}\). Finally,

*Claim 3:*
*G*
*is a compact operator*. Let us fix a bounded set \(D\subset W^{1,p}(I)\). We have to show that \(G(D)\) is relatively compact, that is, for any sequence \((x_{n})_{n}\subset D\), the sequence \((G_{x_{n}})_{n}\) admits a subsequence converging in \(W^{1,p}(I)\).

Let us first show that the sequence \(((G_{x_{n}})')_{n}\) admits a subsequence converging in \(L^{p}(I)\). To this aim notice that by (19), for all \(s,t\in I\) and \(n\in\mathbb{N}\), we have

Moreover, by (17), for every \(n\in N\) and a.e. \(t\in I\), we have

and since \(\frac{1}{k}\in L^{p}\), we get that the sequence \(((G_{x_{n}})')_{n}\) is uniformly integrable.

Hence, if we prove that

we can apply the characterization of relatively compact sets in \(L^{p}\) given by [10, Theorem 2.3.6] and derive the relative compactness of the sequence \(((G_{x_{n}})')_{n}\).

So, in order to prove (21), let us fix \(\varepsilon>0\). First observe that, since \(\frac{1}{k} \in L^{p}(I)\), there is \(\rho _{1}=\rho_{1}(\varepsilon)>0\) such that, for \(0< h<\rho_{1}\),

Moreover, as in Claim 1, the uniform continuity of \(\Phi^{-1}\) on any compact interval of \(\mathbb{R}\) implies (see (8)) the existence of \(\delta_{1}=\delta_{1}(\varepsilon)>0\) such that

for every \(r_{1},r_{2}\) with \(|r_{1} - r_{2} | < \delta_{1}\) provided that \(|r_{1}|,|r_{2}|\le \vert \Phi ( \frac{b-a}{k_{1}} ) \vert + 2 \Vert \eta \Vert _{L^{1}}\). Further, since \(\eta\in L^{1}(I)\), there is \(\rho_{2}=\rho _{2}(\varepsilon)>0\) such that

Thus,

Consequently, from (11) and (23) we obtain

for every \(\theta_{1},\theta_{2} \in I\) with \(|\theta_{1} - \theta_{2} | < \rho_{2}\).

Now, let \(t\in I\) and \(h>0\) be fixed such that \(t+h\in I\). By (16) we have

Therefore, by the convexity of the function \(\varphi(\tau)=|\tau |^{p}\), we get

Let now \(0< h<\rho\) with \(\rho=\min\{\rho_{1},\rho_{2}\}\). From estimates (22) and (24) with \(\theta _{1}:=t+h\), \(\theta_{2}:=t\), it follows that

and this implies that condition (21) holds. Hence, the sequence \(((G_{x_{n}})')_{n}\) verifies the assumptions of [10, Theorem 2.3.6]. So, we have that there exists a subsequence, denoted again by \(((G_{x_{n}})'(t))_{n}\), converging in \(L^{p}\) to a certain \(y\in L^{p}(I)\).

To conclude the proof of Claim 3, put

By Hölder’s inequality we have

where \(p'\) is the exponent conjugate to *p*. Therefore, \(G_{x_{n}}(t) \to z(t)\) uniformly in *I*, implying that \(G_{x_{n}} \to z\) in \(L^{p}(I)\) and, taking into account that \(z'(t)=y(t)\) a.e., we conclude that \((G_{x_{n}})_{n}\) converges to *z* in \(W^{1,p}(I)\).

This shows that \(G(D)\) is relatively compact in \(W^{1,p}(I)\).

By virtue of what we proved in Claims 1–3, we can apply the Schauder fixed point theorem to achieve the existence of a fixed point for the operator *G*, and this concludes the proof. □

## Dirichlet problem

In this section we consider problem (P), where \(\Phi :\mathbb{R}\to\mathbb{R}\) is a generic strictly increasing homeomorphism, \(k:I\to\mathbb{R}\) is a continuous nonnegative function satisfying (5). Finally, \(f:I\times\mathbb{R}^{2}\to \mathbb{R}\) is a Carathéodory function, that is, the map \(t\mapsto f(t,x,y)\) is measurable on *I* for every \((x,y)\in\mathbb{R}^{2}\), and the map \((x,y)\mapsto f(t,x,y)\) is continuous on \(\mathbb{R}^{2}\) for a.e. \(t\in I\).

Let us define

By a *solution* of problem (P) we mean a function \(u \in\mathcal {W}_{p}\), satisfying \(u(0)=a\), \(u(T)=b\) and such that \((\Phi(k(t)u'(t)))'=f(t,u(t),u'(t))\) a.e. on *I*.

Similarly, a function \(\sigma\in\mathcal {W}_{p}\) is called a *lower* [resp. *upper*] solution of the equation in (P) if

The main result of the paper is the following existence theorem.

### Theorem 3.1

*Assume the existence of a pair of lower and upper solutions*
\(\sigma, \tau\in\mathcal {W}_{p}\)
*of the equation in* (P), *satisfying*
\(\sigma(t) \le\tau(t)\)
*for every*
\(t \in\mathbb{R}\).

*Moreover*, *assume that for any*
\(R>0\)
*and any*
\(\gamma\in L_{+}^{p}(I)\), *there exists*
\(h_{R,\gamma}\in L^{1}_{+}(I)\)
*such that*

*for a*.*a*. \(t\in I\), *all*
\(x\in\mathbb{R}\)
*such that*
\(|x| \le R\), *and all*
\(y \in L^{p}(I)\)
*such that*
\(|y(t)|\le\gamma(t)\)
*for a*.*a*. \(t\in I\).

*Finally*, *suppose that there exist a constant*
\(H>0\), *a function*
\(\nu\in L^{q}_{+}(I)\)
*for some*
\(1< q \le\infty\), *a nonnegative function*
\(\ell\in L^{1}(I)\), *and a function*
\(\psi:(0,\infty)\to(0,\infty)\), *with*
\(1/\psi\in L^{1}_{\mathrm{loc}}(0,\infty)\)
*and*
\(\int^{+\infty} \frac {1}{\psi(s)} \,\mathrm{d}s = +\infty\), *such that*

*for a*.*e*. \(t\in I\), *all*
\(x\in[\sigma(t),\tau(t)]\)
*and all*
*y*
*with*
\(|y|>H\), *where*
\(\frac{q-1}{q}=1\)
*if*
\(q= \infty\).

*Then*, *for every*
\(a,b\)
*such that*
\(\sigma(0)\le a\le\tau(0)\), \(\sigma (T)\le b\le\tau(T)\), *problem* (P) *has a solution*
\(u_{a,b} \in\mathcal {W}_{p}\)
*such that*
\(\sigma(t)\le u_{a,b}(t)\le\tau(t)\)
*for every*
\(t \in I\).

*Moreover*, *for every*
\(M>0\), *there exists a constant*
\(L=L(M,H,\nu,\ell ,\psi)\)
*such that if*
\(\Vert \sigma \Vert _{C(I)} \le M\), \(\Vert \tau \Vert _{C(I)} \le M\), \(\Vert k\cdot\sigma' \Vert _{C(I)}\le L\), *and*
\(\Vert k\cdot\tau' \Vert _{C(I)} \le L\), *then also*

### Proof

Let \(M>0\) be such that \(\Vert \sigma \Vert _{C(I)} \le M\) and \(\Vert \tau \Vert _{C(I)} \le M\). Let us fix \(N \in\mathbb{R}\) such that

Moreover, since \(\sigma,\tau\in{\mathcal {W}_{p}}\) (see (25)), we can choose a value \(L > N\) such that

Let us now define a truncated function \(f^{*}:I\times\mathbb{R}^{2} \to \mathbb{R}\) by

and the following truncating operators: \(\mathcal{U}:W^{1,p}(I) \to W^{1,p}(I)\), \(x\mapsto\mathcal{U}_{x}\), defined by

and \(\mathcal{V}:L^{p}(I)\to L^{p}(I)\), \(z\mapsto\mathcal{V}_{z}\), defined by

where \(\gamma_{0}(t):= \frac{L}{k(t)}\), for a.e. \(t\in I\).

Finally, consider the auxiliary problem

*Claim 1: Problem* (
*32*
) *has a solution*
\(u \in \mathcal {W}_{p}\). Let \(F:W^{1,p}(I) \to L^{1}(I)\), \(x\mapsto F_{x}\) be defined by

Notice that whenever \(\sigma(t) \le x(t) \le\tau(t)\), then \(|x(t)|\le M\) and \(\mathcal{U}'_{x}(t) = x' (t)\) for a.a. *t*. Therefore, by (26) we get

Instead, whenever \(x(t)>\sigma(t)\) or \(x(t) < \tau(t)\), then

So, for all \(x\in W^{1,p}(I)\) and a.e. \(t\in I\), we have

where the right-hand side is a summable function. Hence, the operator *F* satisfies assumption (7).

Let us now prove the continuity of the operator *F*. Let \((x_{n})_{n}\) be a sequence in \(W^{1,p}(I)\) converging to \(x \in W^{1,p}(I)\). Then there exist a subsequence of \((x_{n}')_{n}\), labeled again \((x_{n}')_{n}\), and a \(L^{p}\)-function *g* such that for a.e. \(t\in I\) we have

Let us first show that \(\mathcal{U}'_{x_{n}} \to\mathcal{U}'_{x}\) in \(L^{p}(I)\). By definition

and

Put

Since, in particular, \(I^{+}\), \(I^{-}\) are open sets, their boundaries \(\partial(I^{+})\) and \(\partial(I^{-})\) have null measure.

Let us now fix a point \(t \notin\partial(I^{+}) \cup\partial(I^{-})\) such that the derivatives \(\sigma'(t)\), \(\tau'(t)\), \(x'(t)\), and \(x_{n}'(t)\), for all \(n\in\mathbb{N}\), exist. If \(t\in I^{+}\), then for *n* sufficiently large \(x_{n}(t)>\tau(t)\) too. Hence, in this case \(\mathcal{U}_{x_{n}}'(t)=\mathcal{U}_{x}'(t)\). Similarly, if \(t \in I^{-}\) again, \(\mathcal{U}_{x_{n}}'(t)=\mathcal {U}_{x}'(t)\) for *n* sufficiently large. Moreover, if \(t\in I^{\circ}\), then for large *n* we have also \(\sigma(t)< x_{n}(t)<\tau(t)\), and so \(\mathcal{U}_{x_{n}}'(t)=x_{n}'(t)\) and \(\mathcal{U}_{x}'(t)=x'(t)\). Therefore, \(\mathcal{U}_{x_{n}}'(t)\to\mathcal{U}_{x}'(t)\) for a.e. \(t\in I^{+}\cup I^{-}\cup I^{\circ}\).

Finally, if \(t\notin I^{+}\cup I^{-}\cup I^{\circ}\cup\partial(I^{+})\cup \partial(I^{-})\), then \(x(\theta)=\sigma(\theta)\) (or \(x(\theta)=\tau(\theta)\)) for *θ* in a neighborhood *J* of *t*. If \(x(\theta)=\sigma(\theta )\) in *J*, then \(x'(\theta)=\sigma'(\theta)\) in *J* and since \(\mathcal{U}_{x_{n}}'(t)\in\{ x_{n}'(t), \sigma'(t)\}\), we have \(\mathcal{U}_{x_{n}}'(t)\to x'(t)=\mathcal{U}_{x}'(t)\). One can reason similarly when \(x(\theta)=\tau(\theta)\) in *J*.

Summarizing, we have proved that

Moreover, since \(\mathcal{U}_{x_{n}}'(t)\in\{x_{n}'(t),\sigma'(t),\tau '(t) \}\), by (35) we get

and by Lebesgue’s dominated convergence theorem we deduce that \(\mathcal{U}_{x_{n}}\to\mathcal{U}_{x}\) in \(L^{p}(I)\).

Furthermore, by (37) we also have \(\mathcal{V}_{\mathcal{U}'_{x_{n}}}(t) \to\mathcal{V}_{\mathcal {U}'_{x}}(t)\) a.e. on *I*. In fact, by definition we have

and

Similarly to what we have done above, it is possible to show that for a.e. *t* such that \(\mathcal{U}_{x}'(t)\ne\pm\gamma_{0}(t)\) then \(\mathcal{V}_{\mathcal {U}_{x_{n}}'}(t)\to\mathcal{V}_{\mathcal{U}_{x}'}(t)\). Whereas, for a.e. *t* such that \(\mathcal{U}_{x}'(t)= \pm\gamma_{0}(t)\), we have \(\mathcal{U}_{x}'(\theta)= \pm\gamma_{0}(\theta)\) in a neighborhood of *t*, hence by (37) we again have \(\mathcal{V}_{\mathcal {U}_{x_{n}}'}(t)\to\mathcal{V}_{\mathcal{U}_{x}'}(t)\) since \(\mathcal {V}_{\mathcal{U}_{x_{n}}'}(t)\in\{ \mathcal{U}_{x_{n}}'(t), \pm\gamma _{0}(t)\}\). So,

Finally, let us prove that if \(x_{n} \to x\) in \(W^{1,p}(I)\), then we have

Indeed, with the notation as in (36), for a.e. \(t\in I^{+}\), we have that \(x'(t)=\tau'(t)=\mathcal{U}_{x}'(t)=\mathcal{V}_{\mathcal {U}_{x}'(t)}\); moreover, we also have \(x_{n}(t)>\tau(t)\) for large *n*, hence \(x_{n}'(t)=\tau'(t)\), \(\mathcal {U}_{x_{n}}'(t)=\tau'(t)\); and consequently, \(\mathcal{V}_{\mathcal {U}_{x_{n}}'}(t) =\mathcal{U}_{x_{n}}'(t)=\tau'(t)\). Therefore,

Similarly we can prove the validity of (39) for a.e. \(t\in I^{-}\).

Instead, for a.e. \(t\in I^{\circ}\), we have \(\mathcal{U}_{x}'(t)=x'(t)\) and \(\sigma(t)< x_{n}(t)<\tau(t)\) for large *n* implying that \(\mathcal {U}_{x_{n}}'(t)=x_{n}'(t)\). Thus, by (38) and the continuity of the function \(f(t,\cdot,\cdot)\), we get

Finally, for a.e. \(t\notin I^{+}\cup I^{+}\cup I^{\circ}\), we have that \(x(\theta)=\sigma(\theta)\) (or \(x(\theta)=\tau(\theta)\)) in a neighborhood of *t*. Hence, in the case \(x(\theta)=\sigma(\theta)\) we have \(f^{*}(t,x(t), \mathcal{V}_{\mathcal{U}_{x}'}(t))=f(t,\sigma (t),\sigma'(t))\), and since

we conclude that

and (39) is proved.

Put \(R_{0}:=\max_{t\in I} (|\sigma(t)|+|\tau(t)| )\), by assumption (26) we deduce that

and by Lebesgue’s dominated convergence theorem we obtain that \(F_{x_{n}}(t)\to F_{x}(t)\) in \(L^{1}\) (see (33)).

Consequently, Theorem 2.2 applies yielding a solution \(u \in \mathcal {W}_{p}\) of problem (32).

*Claim 2: The solution*
*u*
*of problem* (
*32*
) *verifies*
\(\sigma(t) \le u(t) \le\tau(t)\)
*for all*
\(t \in I\). Let us show that \(\sigma(t) \le u(t)\) for all \(t \in I\), the other inequality being analogous.

Assume by contradiction that there exists \(\bar{t} \in I\) such that \(\sigma(\bar{t}) > u(\bar{t})\). Since \(u(0) - \sigma(0) = a - \sigma(0) \ge0\), there is \(\theta\in(0,T)\) such that \(u(\theta) - \sigma(\theta) = \min\{ u(t) - \sigma(t) : t \in I \} <0\). Moreover, since \(u(T) - \sigma(T) = b - \sigma(T) \ge0\), there are \(t_{1},t_{2} \in I\) with \(t_{1}<\theta<t_{2}\) such that \(u(t_{1}) - \sigma(t_{1}) = u(t_{2}) - \sigma(t_{2})=0\) and \(u(t) - \sigma(t)<0\) for all \(t \in(t_{1},t_{2})\). Therefore, for a.a. \(t \in[t_{1},t_{2}]\), we have

that is,

Notice now that the sets

both have positive measure. So, there exist \(t^{*}_{1}\in A_{1}\) and \(t^{*}_{2} \in A_{2}\) such that \(k(t^{*}_{1}) \neq0\), \(k(t^{*}_{2}) \neq0\).

Now, integrating in \([t^{*}_{1}, \theta]\), by (40), we obtain

Hence, recalling the choice of \(t_{1}^{*}\),

Similarly, integrating in \([\theta,t^{*}_{2}]\), by (40), we obtain

Hence, recalling the choice of \(t_{2}^{*}\),

in contradiction with (41). Therefore, we achieve that \(\sigma(t) \le u(t)\) for all \(t \in I\). In an analogous way one can prove that \(u(t) \ge\tau(t)\) for all \(t \in I\), and the claim follows.

As a consequence of Claim 2, by definition of \(f^{*}\) and of the truncation operator \(\mathcal{U}\), any solution *u* of problem (32) verifies the equation

Hence, to conclude the proof, we have to show that \(| u'(t)| \le\frac{L}{k(t)}\) for a.a. \(t \in I\), so that \(\mathcal{V}_{u'}(t) \equiv u'(t)\) a.e. on *I*.

*Claim 3:*
\(\min_{t\in I} |k(t) u'(t)| \le N\). We proceed by contradiction assuming that \(k(t) u'(t) >N\) for all \(t \in I\), or \(k(t) u'(t) <- N\) for all \(t \in I\). Suppose that the first alternative holds. Then, integrating we get

Thus, recalling the choice of *N* (see (29)), we achieve

a contradiction. In an analogous way one can prove that the second alternative does not hold, and the claim follows.

*Claim 4: The solution*
*u*
*of problem* (
*32*
) *verifies*
\(|k(t) u'(t)| \le L\)
*for all*
\(t \in I\). Assume by contradiction that this does not hold; then one of the following is true: either \(\max\{k(t) u'(t): t\in I\} >L\) or \(\min\{k(t) u'(t): t\in I\} <-L\).

Assume that the first alternative holds. Since \(N < L\), the assertion of Claim 3 implies that there exist \(t_{0},t_{1} \in I\) with (without loss of generality) \(t_{0}< t_{1}\) such that

and

Therefore, \(0 < u'(t) < \frac{L}{k(t)}\) for a.e. \(t\in(t_{0},t_{1})\), implying that \(\mathcal{V}_{u'}(t)=u'(t)\) for a.e. \(t\in(t_{0},t_{1})\).

Moreover, since by (29) we have \(u'(t) > \frac{N}{k(t)}> H\), by assumption (27) and taking into account Claim 2, for a.e. \(t\in[t_{0},t_{1}]\), we have

Observe now that by (42) and (43) and Hölder’s inequality, we have

in contradiction with (31).

Similarly, one can prove that the case \(\min\{k(t) u'(t): t\in I\} <-L\) leads to a contradiction, and Claim 4 follows.

As already pointed out, Claim 4 implies that the solution *u* of problem (32) obtained as in Claim 1 actually satisfies

that is, *u* is a solution of problem (P).

Finally, by what we have proved in Claims 2 and 4, we deduce (28). □

### Remark 3.2

Let us observe that, if \(k(t) >0\) for all \(t \in I\), then the solution *u* of problem (P) is actually a \(C^{1}\) function. This follows from the fact that, if \(k(t) >0\), all the fixed points of the operator *G* defined in (12) are of class \(C^{1}(I)\).

### Remark 3.3

Notice that in the Wintner–Nagumo condition (27) the function *ψ* could be chosen as a constant. When this is possible (that is, when the growth of the right-hand side *f* with respect the variable *y* is, at most, linear), then condition (27) does not require any relation among the differential operator Φ, the function \(k(t)\) appearing inside Φ, and the function *f*. Instead, when *f* has a superlinear growth in the variable *y*, then condition (27) implies a link between the rates of growth of Φ, *f* (with respect to *y*), and the exponent *p*. This is illustrated in the following examples.

### Example 3.4

Let us consider the following Dirichlet problem:

where \(\Phi:\mathbb{R}\to\mathbb{R}\) is a generic strictly increasing homeomorphism, *k* is an almost everywhere positive function with \(\frac{1}{k}\in L^{p}(I)\) for some \(p> 1\), and finally \(\mu\in L^{1}(I)\), \(\rho\in C(I)\), and \(g\in C(\mathbb{R})\) are given functions, with \(\mu(t)\ge0\) for a.a. \(t\in I\). Let us set

Of course, *f* is a Carathéodory function; moreover, *f* satisfies assumption (26). Indeed, for every \(R>0\) and \(\gamma\in L^{p}_{+}(I)\), put \(M_{R}:=\max_{x\in[-R,R]}|g(x)|\), we have

whenever \(|x|\le R\) and \(|y(t)|\le\gamma(t)\) for a.e. \(t\in I\), with \(h_{R,\gamma}\in L_{+}^{1}(I)\).

Observe now that put \(N:=\max_{t\in I} |\rho(t)|\), the constant functions \(\sigma(t):=-N\) and \(\tau(t):=N\) are a pair of well-ordered lower and upper solutions. Moreover, for every \(x\in[-N,N]\), we have

where \(M_{N}:=\max_{x\in[-N,N]}|g(x)|\). So, the Nagumo–Wintner condition (27) holds, taking \(H:=1\), \(\psi(s):=1\), \(\ell (t):=2N\mu(t)\), \(\nu(t):=M_{N}\), \(q=\infty\).

Therefore, for every \(a,b\in[-N,N]\), there exists a solution of problem (44).

We provide now an application of Theorem 3.1 for a rather general right-hand side, with possible superlinear growth with respect to \(u'\).

### Corollary 3.5

*Let us consider the following Dirichlet problem*:

*where*
\(\Phi_{r}:\mathbb{R}\to\mathbb{R}\)
*is the classical*
*r*-*Laplacian*, *that is*, \(\Phi_{r}(\xi):=\xi|\xi|^{r-2}\), *with*
\(r>1\), *k*
*is a generic almost everywhere positive function with*
\(\frac {1}{k}\in L^{p}(I)\)
*for some*
\(p> 1\), \(\mu\in L^{\beta}(I)\)
*for some*
*β*
*with*
\(1 <\beta\le\infty\), *α*
*is a positive real constant*, *and finally*
\(g\in C(\mathbb{R})\)
*is a given function*.

*Assume that*

*Then problem* (45) *admits solutions for every*
\(a,b\in \mathbb{R}\).

### Proof

Notice that the inequalities in (46), (47) imply

Let \(f(t,x,y):= \mu(t)g(x)|y|^{\alpha}\), then *f* is a Carathéodory function such that, for every \(R>0\) and \(\gamma\in L^{p}(I)\), we have

and, by (48), Hölder’s inequality implies that the function \(h_{R,\gamma}\) is in \(L^{1}\). So, condition (26) is satisfied.

Now, for a fixed \(N>0\), taking \(M_{N}:=\max_{x\in[-N,N]}|g(x)|\), \(\psi (s):=s\), \(\ell(t):=0\), and finally \(\nu(t):= \frac{M_{N}|\mu (t)|}{(k(t))^{r-1}}\), again by Hölder’s inequality and assumption (47), we get \(\nu\in L^{q}\) with \(q:=\frac{\beta p}{p+\beta(r-1)}>1\). In turn, condition (46) yields

and then

whenever \(|x|\le N\) and \(|y|>1\). So, also condition (27) is satisfied. Therefore, since any constant function is both an upper solution and a lower solution for problem (45), we conclude that there exists a solution for any \(a,b\in\mathbb{R}\). □

### Remark 3.6

Observe that when

both the inequalities (46) and (47) are satisfied. Therefore, conditions (46) and (47) allow to cover problems with right-hand sides having superlinear growth when \(|y|\to+\infty\). Indeed, when \(r>2\), it suffices to consider rates of growth with \(\alpha\le r-1<(1-\frac{1}{\beta})p\); otherwise, when \(r=2\), then conditions (46) and (47) become \(\alpha\le2-\frac{1}{p}\).

## General nonlinear boundary conditions

The result established for Dirichlet problems can be applied to obtain existence results also for more general boundary conditions, as already showed in [3] and then in [14, Sect. 4].

The key ingredient is a compactness-type result for the solutions of Dirichlet problems (see [14, Lemma 1]) that in the present more general framework of weak solutions, belonging to \(W^{1,p}\), has to be reformulated as follows.

### Lemma 4.1

*Let*
\(\sigma, \tau\in\mathcal {W}_{p}\)
*be a pair of lower and upper solutions of equation*

*satisfying*
\(\sigma(t) \le\tau(t)\)
*for every*
\(t \in\mathbb{R}\).

*Then*, *for every pair of sequences*
\((a_{n})_{n}\)
*and*
\((b_{n})_{n}\)
*of real numbers satisfying*
\(a_{n}\in[\sigma(0), \tau(0)]\)
*and*
\(b_{n}\in[\sigma (T), \tau(T)]\), *for every*
\(n\in\mathbb{N}\), *and for every sequence*
\((u_{n})_{n}\)
*of solutions of problem*

*such that*
\(\sigma(t)\le u_{n}(t)\le\tau(t)\)
*for every*
\(n\in\mathbb {N}\)
*and*
\(t \in I\), *and satisfying* (28) *of Theorem*
3.1
*for some*
\(M>0\), *there exists a subsequence*
\((u_{n_{k}})_{k}\)
*such that*

*for some solution*
\(u_{0}\)
*of equation* (49).

### Proof

Let \((a_{n})_{n}\), \((b_{n})_{n}\) be a pair of sequences such that \(\sigma(0)\le a_{n}\le\tau(0)\) and \(\sigma(T)\le b_{n}\le\tau(T)\) for every \(n\in\mathbb{N}\), and let \((u_{n})_{n}\) be a sequence of solutions of problem (50) such that for all \(n\in\mathbb{N}\) the following conditions hold: \(u_{n} \in\mathcal {W}_{p}\), \(\sigma(t)\le u_{n}(t)\le\tau(t)\) for every \(t \in I\). Moreover,

where, given \(M\ge\max\{ \Vert \sigma \Vert _{C(I)}, \Vert \tau \Vert _{C(I)}\}\), the constant *L* is as in Theorem 3.1. In particular, this implies that \(|u'_{n}(t)|\le\gamma_{0}(t)\) for a.e. \(t \in I\), where \(\gamma_{0} \in L^{p}(I)\), as in the proof of Theorem 3.1, is given by \(\gamma_{0}(t):= \frac{L}{k(t)}\) for a.e. \(t\in I\).

We can assume without loss of generality, by passing to subsequences, that \(a_{n}\to a_{0}\), \(b_{n}\to b_{0}\). Set now \(z_{n}(t):= (\Phi(k(t)u_{n}'(t)))' \); from (26), we have \(|z_{n}(t)|\le h_{M,\gamma_{0}}(t)\) a.e. \(t \in I\). Hence, the two sequences \((u'_{n})_{n}\) and \((z_{n})_{n}\) are both uniformly integrable. Thus, by applying the Dunford–Pettis theorem, we deduce the existence of two subsequences \((u'_{n_{k}})_{k}\) and \((z_{n_{k}})_{k}\) such that \(u'_{n_{k}}\rightharpoonup g\) and \(z_{n_{k}}\rightharpoonup h\) weakly in \(L^{1}(I)\) for some \(g,h\in L^{1}\). Moreover, since \(|k(0) \cdot u_{n}'(0)|< L\) for every \(n\in\mathbb{N}\), we can also assume that \(k(0) \cdot u_{n}'(0)\to y_{0}\) for some \(y_{0}\in \mathbb{R}\).

Set \(u_{0}(t):=a_{0}+\int_{0}^{t} g(s) \,\mathrm{d}s\), \(t\in[0,T]\). We have \(u_{n_{k}}(t) \to u_{0}(t)\) as \(k \to\infty\) for all \(t\in I\). Moreover, since

by the continuity of Φ, \(\Phi^{-1}\) and the weak convergence of \((z_{n_{k}})_{k}\), we get

Hence

consequently, \(u_{0}' \in L^{p}(I)\), implying that \(u_{0}\in W^{1,p}(I) \). In addition, \(k \cdot u_{0}' \in C(I)\), \((k \cdot u'_{n_{k}})_{k}\) converges pointwise to \(k \cdot u_{0}'\) in *I* and

So the map \(\Phi\circ(k \cdot u_{0}')\) is absolutely continuous in *I* with \((\Phi(k(t) \cdot u_{0}'(t)))'=h(t)\) for almost every \(t \in I\). Therefore, \(u_{0}\in\mathcal {W}_{p}\) (see (25)) and \((u_{n_{k}}')_{k}\) converges almost everywhere to \(u_{0}'\) since \(k(t)\ne0\) for a.e. \(t\in I\).

Finally, since \(z_{n_{k}} \rightharpoonup h(t)\) in \(L^{1}(I)\) and

by the continuity of \(f(t,\cdot,\cdot)\) it follows

and this concludes the proof. □

### Remark 4.2

As we showed in the proof of Lemma 4.1, we also have that

In order to handle various types of boundary conditions, let us consider the following general problem:

where \(g:\mathbb{R}^{4}\to\mathbb{R}\) and \(h:\mathbb{R}\to\mathbb {R}\) are continuous functions.

Let us observe that we consider “weighted” boundary conditions involving \(k(0)u'(0)\), \(k(T)u'(T)\) since we look for solutions in the set \(\mathcal {W}_{p}\), that is, functions \(u \in W^{1,p}(I)\) with \(k \cdot u' \in C(I)\).

As in [14, Theorem 3] one can prove an existence result for the general problem (51).

### Theorem 4.3

*Suppose there exists a well*-*ordered pair*
*σ*, *τ*
*of lower and upper solutions for equation* (49) *such that*

*Let assumptions* (26), (27) *be satisfied*. *Moreover*, *suppose that*
*h*
*is increasing and*

*Then problem* (51) *admits a solution*
\(u \in\mathcal {W}_{p}\)
*such that*
\(\sigma(t)\le u(t)\le\tau(t)\)
*for every*
\(t \in I\)
*and*

*where*
\(M, L \)
*are as in the statement of Theorem*
3.1.

The general boundary conditions considered in problem (51) include, as a particular case, “weighted” periodic boundary conditions, that is, the problem

As an immediate consequence of Theorem 4.3, the following existence result follows.

### Theorem 4.4

*Let*
*σ*
*and*
*τ*
*be a well*-*ordered pair of lower and upper solutions for equation* (49) *such that*

*Assume that hypotheses* (26), (27) *are satisfied*. *Then problem* (54) *has a solution*
\(u \in\mathcal {W}_{p}\)
*such that*
\(\sigma(t)\le u(t)\le\tau(t)\)
*for every*
\(t \in I\).

Let us consider now the following boundary value problem:

where \(p,q:\mathbb{R}^{2}\to\mathbb{R}\) are continuous functions. Problem (55) includes, in particular, both “weighted” Sturm–Liouville and “weighted” Neumann boundary conditions. The following existence result can be proved in a quite similar way to [14, Theorem 5].

### Theorem 4.5

*Let*
*σ*
*and*
*τ*
*be a well*-*ordered pair of lower and upper solutions for equation* (49) *such that*

*Assume that hypotheses* (26), (27) *are satisfied*. *Moreover*, *assume that for every*
\(s\in\mathbb{R}\)
*we have*

*Then problem* (55) *has a solution*
\(u \in\mathcal {W}_{p}\)
*such that*
\(\sigma(t)\le u(t)\le\tau(t)\)
*for every*
\(t \in I\).

## Results and discussion

We have proved existence results for the equation

both for the Dirichlet problem (Theorem 3.1) and for more general boundary conditions (Theorem 4.3), including Sturm–Liouville-type and Neumann-type problems.

The main novelty consists in the introduction of the function \(k(t)\) inside the operator Φ, which can vanish in such a way that the equation becomes singular. To handle this kind of problem, we widen the space of solutions, choosing the more appropriate class of Sobolev functions. The proof of our results is based on the Schauder fixed point theorem.

## Conclusions

In this paper we prove existence results for different boundary problems associated with the strongly nonlinear, possibly singular, differential equation

The approach is based on the fixed point technique combined with the upper and lower solutions method.

## Methods

Not applicable.

## References

- 1.
Bereanu, C., Mawhin, J.: Periodic solutions of nonlinear perturbations of Φ-Laplacians with possibly bounded Φ. Nonlinear Anal., Theory Methods Appl.

**68**, 1668–1681 (2008) - 2.
Cabada, A., O’Regan, D., Pouso, R.L.: Second order problems with functional conditions including Sturm–Liouville and multipoint conditions. Math. Nachr.

**281**, 1254–1263 (2008) - 3.
Cabada, A., Pouso, R.L.: Existence results for the problem \((\phi(u^{\prime})) ^{\prime}=f(t,u,u^{\prime})\) with periodic and Neumann boundary conditions. Nonlinear Anal., Theory Methods Appl.

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

**35**, 221–231 (1999) - 5.
Calamai, A.: Heteroclinic solutions of boundary value problems on the real line involving singular Φ-Laplacian operators. J. Math. Anal. Appl.

**378**(2), 667–679 (2011) - 6.
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) - 7.
El Khattabi, N., Frigon, M., Ayyadi, N.: Multiple solutions of boundary value problems with

*ϕ*-Laplacian operators and under a Wintner–Nagumo growth condition. Bound. Value Probl.**2013**, 236 (2013) - 8.
Ferracuti, L., Marcelli, C., Papalini, F.: Boundary value problems for highly nonlinear inclusions governed by non-surjective Φ-Laplacians. Set-Valued Var. Anal.

**19**(1), 1–21 (2011) - 9.
Ferracuti, L., Papalini, F.: Boundary value problems for strongly nonlinear multivalued equations involving different Φ-Laplacians. Adv. Differ. Equ.

**14**, 541–566 (2009) - 10.
Gasinski, L., Papageorgiou, N.S.: Nonlinear Analysis. Series in Mathematical Analysis and Applications, vol. 9. Chapman & Hall/CRC, Boca Raton (2006)

- 11.
Liu, Y.: Multiple positive solutions to mixed boundary value problems for singular ordinary differential equations on the whole line. Nonlinear Anal., Model. Control

**17**, 460–480 (2012) - 12.
Liu, Y., Yang, P.: Existence and non-existence of positive solutions of BVPs for singular ODEs on whole lines. Kyungpook Math. J.

**55**, 997–1030 (2015) - 13.
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) - 14.
Marcelli, C., Papalini, F.: Boundary value problems for strongly nonlinear equations under a Wintner–Nagumo growth condition. Bound. Value Probl.

**2017**, 183 (2017) - 15.
Minhós, F.: Sufficient conditions for the existence of heteroclinic solutions for

*ϕ*-Laplacian differential equations. Complex Var. Elliptic Equ.**62**, 123–134 (2017)

### Acknowledgements

Not applicable.

### Availability of data and materials

Not applicable.

### Authors’ information

The authors are members of the Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA) of the Istituto Nazionale di Alta Matematica (INdAM).

### Funding

Not applicable.

## Author information

### Affiliations

### Contributions

All authors read and approved the final manuscript. The contribution of the authors is equal.

### Corresponding author

Correspondence to Alessandro Calamai.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

## Additional information

### Abbreviations

Not applicable.

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

#### Received

#### Accepted

#### Published

#### DOI

### MSC

- 34B15
- 34B24
- 34C25
- 34L30

### Keywords

- Boundary value problems
- Nonlinear differential operators
- Φ-Laplacian operator
- Singular equation
- Nagumo condition