Boundary value problems for strongly nonlinear equations under a Wintner-Nagumo growth condition

Abstract

We study the following strongly nonlinear differential equation:

$$\bigl(a \bigl(t,x(t) \bigr)\Phi\bigl(x'(t) \bigr) \bigr)'= f \bigl(t,x(t),x'(t) \bigr), \quad\text{a.e. in } [0,T] $$

subjected to various boundary conditions including, as particular cases, the classical Dirichlet, periodic, Neumann and Sturm-Liouville problems. We adopt the method of lower and upper solutions requiring a weak form of a Wintner-Nagumo growth condition.

1 Introduction

Boundary value problems involving ϕ-Laplacian-type operators have been intensively investigated (see, e.g., [1–4]), even for singular or non-surjective operators (see [5–8]). More recently, a certain interest has been devoted to differential operators involving also a nonlinear function of the state variable as in the following equation:

$$ \bigl(a \bigl(x(t) \bigr)\Phi\bigl(x'(t) \bigr) \bigr)'= f \bigl(t,x(t),x'(t) \bigr), \quad\text{a.e. in } I=[0,T], $$

(1)

where a is a continuous positive function, ϕ is a strictly increasing homeomorphism and f is a Carathéodory function. In this framework, results on the solvability of boundary value problems, both in compact intervals and on the whole real line, were established (see [9, 10]). Finally, for results concerning differential inclusions or non-autonomous differential operators, see [11, 12] and [13].

The usual technique in this context is generally based on the method of lower and upper solutions, combined with some Nagumo-type growth condition, which is needed to ensure an a priori bound for the derivatives of the solutions in order to apply a suitable fixed point result. In the above quoted papers, the presence of the nonlinear term a inside the differential operator influences the requirements about the differential operator Φ, which was assumed to be homogeneous, or having at most linear growth at infinity.

In the recent paper [4], the authors obtain existence and multiplicity results for Dirichlet, periodic and Neumann problems for the equation

$$\Phi\bigl(x'(t) \bigr)'= f \bigl(t,x(t),x'(t) \bigr),\quad\text{a.e. in } [0,T] $$

under the following Wintner-Nagumo condition:

$$ \bigl\vert f(t,x,y) \bigr\vert \le\psi\bigl( \vert y \vert\bigr) \bigl(\ell(t)+c(t) \vert y \vert^{(p-1)/p} \bigr), $$

(2)

where $\ell\in L^{1}(I)$, $c\in L^{p}(I)$, ψ satisfying ${\int^{\infty}\frac{1}{\psi( \vert \phi^{-1}(s) \vert )}\,\mathrm { d}s} =+\infty$, which is weaker than other Nagumo-type conditions previously considered in other papers such as [8, 10, 12].

Motivated by this, in the present paper we investigate the following general equation:

$$ \bigl(a \bigl(t,x(t) \bigr)\Phi\bigl(x'(t) \bigr) \bigr)'= f \bigl(t,x(t),x'(t) \bigr), \quad\text{a.e. in } [0,T] $$

(3)

involving a positive continuous function a, under growth condition (2). We show that this condition suffices to obtain existence results also for the general equation (3) and, mainly, it allows us to widen the class of operators Φ. Indeed, we are now able to treat very general differential operators, not necessarily homogeneous, nor having polynomial growth, which are only required to be strictly increasing homeomorphisms.

In this context, by using a different approach with respect to [4], we are able to prove existence results for solutions of (1) subjected to very general boundary value conditions including, as particular cases, Dirichlet, periodic, Sturm-Liouville and Neumann problems. Our results extend those in [4] both for the presence of the function a inside the differential operators and for the great generality of the structure on the boundary conditions. Finally, we also provide some examples of application of our results, in which the operator Φ is not homogeneous and grows exponentially at infinity.

2 Preliminaries and auxiliary results

Let us consider the differential equation

$$ \bigl(a \bigl(t,x(t) \bigr)\Phi\bigl(x'(t) \bigr) \bigr)' = f \bigl(t,x(t),x'(t) \bigr)\quad\mbox{a.e. } t\in I=[0,T], $$

(4)

where $a:I\times \mathbb {R}\to \mathbb {R}$ is a positive continuous function, $\Phi: \mathbb {R}\to \mathbb {R}$ is an increasing homeomorphism and $f:I\times J\times \mathbb {R}\to \mathbb {R}$, with $J\subset \mathbb {R}$ an interval, is a Carathéodory function, that is, $f(\cdot,x,y)$ is measurable for every $x,y\in J\times \mathbb {R}$ and $f(t,\cdot, \cdot)$ is continuous for a.e. $t\in I$.

In this context, a solution for equation (4) is a function $x \in C^{1}(I)$ with $x(t)\in J$ for every $t\in I$ such that the map $t\mapsto a(t,x(t)) \Phi(x'(t))$ is absolutely continuous in I and $(a(t,x(t))\Phi(x'(t)))' = f(t,x(t),x'(t))$ for a.e. $t\in I$.

In what follows, we investigate the existence of solutions for equation (4) satisfying different boundary conditions. Our approach is based on fixed point techniques suitably combined to the method of upper and lower solutions, according to the following definition.

A lower solution [upper solution] for equation (4) is a function $\alpha\in C^{1}(I)$ such that $\alpha(t)\in J$, the map $t\mapsto a(t,\alpha(t)) \Phi(x'(t))$ is absolutely continuous in I and

$$\bigl(a \bigl(t,\alpha(t) \bigr)\Phi\bigl(\alpha'(t) \bigr) \bigr)' \ge[\le] f \bigl(t,\alpha(t),\alpha'(t) \bigr) \quad\mbox{a.e. } t\in I. $$

A well-ordered pair of upper and lower solutions in I for equation (4) is a pair $\alpha,\beta\in C^{1}(I)$ where α is a lower solution, β is an upper solution and $\alpha(t)\le\beta(t)$ for every $t\in I$. For every pair of well-ordered lower and upper solutions, the functional interval $[\alpha,\beta]$ is defined as follows:

$$[\alpha,\beta]= \bigl\{ x\in C^{1}(I) : \alpha(t)\le x(t)\le\beta(t), \forall t \in I \bigr\} . $$

Finally, we will adopt the following notations relatively to real numbers $x,y$:

$$x\wedge y:=\min\{x,y\}, \qquad x\vee y:=\max\{x,y\},\qquad x^{+}:=x\vee0 ,\qquad x^{-}:=(-x)^{+}. $$

The fixed point technique which will be used is based on an existence result for the following functional differential boundary value problem:

$$ \textstyle\begin{cases} (A_{u}(t)\Phi(u'(t)))'= F_{u}(t) \quad\mbox{a.e. in } I=[0,T], \\ u(0)=\nu_{1},\qquad u(T)=\nu_{2}, \end{cases} $$

(5)

where $\nu_{1}, \nu_{2} \in \mathbb {R}$ are given constants, $\Phi: \mathbb {R}\to \mathbb {R}$ is an increasing homeomorphism, and $A:C^{1}(I) \to C(I)$, $x \mapsto A_{x}$, $F:C^{1}(I) \to L^{1}(I)$, $x\mapsto F_{x}$, are continuous functionals. In [8, Theorem 1], the following existence result was proved.

Theorem 1

Assume that the functional A is uniformly continuous and maps bounded sets into uniformly continuous sets of $C(I)$, that is, for every bounded set $B\subset C^{1}(I)$ and every $\varepsilon >0$, there exists a real number $\delta=\delta_{\varepsilon , B}$ such that

$$ \bigl\vert A_{x}(t_{1}) - A_{x}(t_{2}) \bigr\vert < \varepsilon \quad\textit{for all } x\in B , t_{1},t_{2} \in I \textit{ with } \vert t_{1}-t_{2} \vert< \delta. $$

(6)

Moreover, assume that there exist $m,M>0$ such that

$$ m \le A_{x}(t) \le M \quad\textit{for every } x \in C^{1}(I), t \in I. $$

(7)

Finally, suppose that there exists $\phi\in L^{1}(I)$ such that

$$ \bigl\vert F_{x}(t) \bigr\vert \le\phi(t) \quad\textit{for every } x\in C^{1}(I), \textit{ a.e. } t\in I. $$

(8)

Then, for every $\nu_{1}, \nu_{2} \in \mathbb {R}$, there exists a function $u \in C^{1}(I)$ with $A_{u} \cdot(\Phi\circ u')\in W^{1,1}(I)$, a solution of problem (5).

Remark 1

In [8] the previous result was given in the context of research involving differential operators satisfying $\Phi (0)=0$; however, as it is easy to check, this assumption is not necessary in order to prove Theorem 1.

3 The Dirichlet problem

The study of the solvability of (4) under various boundary conditions starts with the classical Dirichlet problem, that is,

$$ \textstyle\begin{cases} (a(t,x(t))\Phi(x'(t)))' = f(t,x(t),x'(t)) \quad\mbox{a.e. } t\in I, \\ x(0)=c,\qquad x(T)=d, \end{cases} $$

(D)

where $c,d\in \mathbb {R}$ are given. The following result states the existence of a solution for problem (D) belonging to the functional interval delimited by a well-ordered pair of lower and upper solutions.

Theorem 2

Assume that, for all $r>0$, there exists $\gamma_{r} \in L^{1}(I)$ such that

$$ \bigl\vert f(t,x,y) \bigr\vert \le\gamma_{r}(t) \quad\textit{for a.e. } t \in I, \textit{ every } x,y \textit{ with } \vert x \vert, \vert y \vert \leq r. $$

(9)

Suppose that there exists a measurable function $\psi:(0,+\infty)\to (0,+\infty)$ such that

$$ \int^{+\infty} \frac{\mathrm{ d}s}{\psi(s)} = +\infty, $$

(10)

and assume that there exist positive constants $H, p \in( 1,+\infty]$ and positive functions $\nu\in L^{p}(I)$, $\ell \in L^{1}(I)$ such that

$$ \bigl\vert f(t,x,y) \bigr\vert \le\psi\bigl(a(t,x) \bigl\vert \Phi(y) \bigr\vert \bigr)\cdot\bigl( \ell(t)+\nu(t) \vert y \vert^{\frac {p-1}{p}} \bigr), $$

(11)

for a.e. $t \in I$, every $x \in J$ and $\vert y \vert > H$, with the convention ${\frac{p-1}{p}}=1$ if $p=+\infty$.

Finally, assume that there exists a well-ordered pair α and β of lower and upper solutions in I for equation (4).

Then, for every $c,d \in \mathbb {R}$ such that $\alpha(0)\le c \le\beta(0)$, $\alpha(T)\le d \le\beta(T)$, problem (D) has a solution $x_{c,d}$ belonging to the functional interval $[\alpha, \beta]$, that is,

$$\alpha(t)\le x_{c,d}(t)\le\beta(t) \quad\textit{for all } t\in I. $$

Moreover, for every $M>0$, there exists a constant $\Lambda=\Lambda (M,H, \nu, \ell,\psi)$ such that if $\Vert \alpha \Vert _{C(I)}\le M$, $\Vert \beta \Vert _{C(I)}\le M$, $\Vert \alpha' \Vert _{C(I)}\le\Lambda$ and $\Vert \beta' \Vert _{C(I)}\le\Lambda$, then for every $c\in[\alpha (0),\beta(0)], d\in[\alpha(T),\beta(T)]$, we have

$$ \Vert x_{c,d} \Vert _{C(I)}\le M\quad\textit{and}\quad\bigl\Vert x_{c,d}' \bigr\Vert _{C(I)}\le \Lambda. $$

(12)

Proof

Let $M>0$ be a constant such that $\Vert \alpha \Vert _{C(I)}\le M$, $\Vert \beta \Vert _{C(I)}\le M$ and put

$$ m_{0}:= {\min_{(t,x)\in I\times[-M,M]}a(t,x)} ,\qquad m_{1}:= { \max_{(t,x)\in I\times[-M,M]}a(t,x)}. $$

(13)

Since Φ is an increasing homeomorphism, it is possible to choose a constant $L>0$ such that

$$ L>\max\{ H, 2M/T \},\qquad\Phi(L)>0,\qquad\Phi(-L)< 0. $$

(14)

Moreover, by (10) there exists a constant $N>L$ such that

$$ \Phi(N) > {\frac{m_{1}}{m_{0}}}\Phi(L),\qquad \Phi(-N) < { \frac{m_{1}}{m_{0}}}\Phi(-L), $$

(15)

and

$$\begin{aligned} \begin{aligned} & \int_{m_{1} \Phi(L)}^{m_{0} \Phi(N)} \frac{\mathrm{ d}s}{\psi(s)} > \Vert \ell \Vert _{1}+ (2M)^{1-\frac{1}{p}} \Vert \nu \Vert _{p}, \\ & \int_{-m_{1} \Phi(-L)}^{-m_{0} \Phi(-N)} \frac{\mathrm{ d}s}{\psi(s)} > \Vert \ell \Vert _{1}+ (2M)^{1-\frac{1}{p}} \Vert \nu \Vert _{p}. \end{aligned} \end{aligned}$$

(16)

Let us now introduce the truncation operator $T:W^{1,1}(I)\to W^{1,1}(I)$ defined by

$$ T(x):= T_{x} \quad\mbox{where }T_{x}(t):= \bigl[\beta(t)\wedge x(t) \bigr]\vee\alpha(t). $$

(17)

T is well defined and $T_{x}'(t)=x'(t)$ for a.a. $t\in I$ such that $\alpha(t)< x(t)<\beta (t)$, whereas $T_{x}'(t)=\alpha'(t)$ for a.e. t such that $x(t)\le\alpha(t)$, $T_{x}'(t)=\beta'(t)$ for a.e. t such that $x(t)\ge\beta(t)$.

Let us consider the modified function $f^{*}:I\times \mathbb {R}^{2} \to \mathbb {R}$ defined by

$$ f^{*}(t,x,y)= \textstyle\begin{cases} f(t,\beta(t), \beta'(t)) +\arctan(x-\beta(t)) & \mbox{if } x>\beta(t),\\ f(t,x,y) & \mbox{if } \alpha(t)\le x \le\beta(t),\\ f(t,\alpha(t), \alpha'(t))+ \arctan(x-\alpha(t)) & \mbox{if } x< \alpha(t), \end{cases} $$

(18)

and the following auxiliary boundary value problem

$$ \textstyle\begin{cases} (a(t,T_{x}(t))\Phi(x'(t)))' = f^{*}(t,x(t),q_{N}(T_{x}'(t))) \quad\mbox{a.e. } t\in I, \\ x(0)=c,\qquad x(T)=d, \end{cases} $$

(19)

where $q_{N}(r):=(-N)\vee[r\wedge N]$ for all $r \in \mathbb {R}$.

Claim 1

There exists a solution to problem (19).

Let $A:C^{1}(I)\to C(I)$ be the functional defined as

$$x\mapsto A_{x} , \qquad A_{x}(t):= a \bigl(t, T_{x}(t) \bigr). $$

Of course, A is well defined, bounded and, from the uniform continuity of a in $I \times[-M, M]$, A is also uniformly continuous. Moreover, if B is a bounded subset of $C^{1}(I)$, i.e., there exists $k>0$ such that $\Vert x \Vert _{C^{1}(I)} \le k$ for all $x\in B$. Then, fixed $\epsilon>0$, by the uniform continuity of $a(\cdot,\cdot)$ in $I \times[-M, M]$, there exists $\delta=\delta(\epsilon)>0$ such that

$$\bigl\vert a(t_{1},\xi_{1}) - a(t_{2}, \xi_{2}) \bigr\vert < \epsilon\quad\text{whenever } \vert t_{1}-t_{2} \vert< \delta, \vert\xi_{1}- \xi_{2} \vert< \delta. $$

Put $k^{*} := \max\lbrace \Vert \alpha \Vert _{C^{1}}, \Vert \beta \Vert _{C^{1}}, k\rbrace$ and $\eta:= {\min\lbrace\frac{\delta }{k^{*}},\delta\rbrace}$, if $\vert t_{1}-t_{2} \vert <\eta$, we have

$$\bigl\vert T_{x} (t_{1}) - T_{x}(t_{2}) \bigr\vert \le\biggl\vert \int_{t_{1}}^{t_{2}} \bigl\vert T_{x}'(s) \bigr\vert \,\mathrm{ d}s \biggr\vert \le k^{*} \vert t_{1}-t_{2} \vert< \delta\quad\mbox{for every } x \in B. $$

So, we deduce that $\vert A_{x} (t_{1}) - A_{x}(t_{2}) \vert < \epsilon$ for all $x \in B$ provided that $\vert t_{1}-t_{2} \vert <\eta$. So the functional A satisfies assumption (6).

Now let $F:C^{1}(I)\to L^{1}(I)$, $x\mapsto F_{x}$, be the functional defined by

$$F_{x}=f^{*} \bigl(t,x(t),q_{N} \bigl(T_{x}'(t) \bigr) \bigr), \quad\mbox{a.e. on I}. $$

Of course, F is continuous. Moreover, put

$$\phi(t):= \gamma_{M+N}(t)+ \bigl\vert f \bigl(t,\alpha(t), \alpha'(t) \bigr) \bigr\vert + \bigl\vert f \bigl(t,\beta(t), \beta'(t) \bigr) \bigr\vert + \frac{\pi}{2}, $$

we have that $\phi\in L^{1}(I)$ by (9) and $\vert F_{x}(t) \vert \le\phi(t)$ for almost all $t\in I$ and all $x\in C^{1}(I)$ by (9) and (18). Therefore, F satisfies hypothesis (8). So, by applying Theorem 1, there exists a function $u\in C^{1}(I)$ such that, for all $t\in I$, $A_{u} \cdot(\Phi\circ u')\in W^{1,1}(I)$ and

$$\textstyle\begin{cases} (A_{u}(t)\Phi(u'(t)))'= F_{u}(t) \quad\mbox{a.e. on } I, \\ u(0)=c,\qquad u(T)=d. \end{cases} $$

Obviously, u is a solution of problem (19).

Claim 2

The solution u of problem (19) belongs to the functional interval $[\alpha,\beta]$.

We prove that $\alpha(t)\le u(t)$ for every $t \in I$. In a similar way it can be proved that $u(t) \le\beta(t)$ for all $t \in I$. Assume, by contradiction, that there exists $t_{0}\in I$ such that $u(t_{0})-\alpha(t_{0})= {\min_{t\in I} (u(t)-\alpha(t))}<0$. Then, from the boundary conditions, $t_{0} \in (0,T)$ and there exists an interval $[t_{1},t_{2}]\subset I$, containing $t_{0}$, such that $u(t_{1})-\alpha(t_{1})=u(t_{2})-\alpha(t_{2})=0$ and $u(t)-\alpha(t)<0$ for every $t \in(t_{1},t_{2})$. Hence, $u'(t_{0})-\alpha'(t_{0})=0$, $T_{u}(t)\equiv \alpha(t)$ for every $t \in(t_{1},t_{2})$. Then, from (18) and the definition of lower solution, for a.e. $t\in(t_{1},t_{2})$, we get

$$\begin{aligned} \bigl(a\bigl(t,\alpha(t)\bigr)\Phi\bigl(u'(t)\bigr) \bigr)' &= \bigl(a\bigl(t,T_{u}(t)\bigr)\Phi \bigl(u'(t)\bigr)\bigr)'= f^{*}\bigl(t,u(t),q_{N} \bigl(T_{u}'(t)\bigr)\bigr) \\ &= f\bigl(t,\alpha(t), \alpha'(t)\bigr)+ \arctan\bigl(u(t)-\alpha(t) \bigr) \\ & < f\bigl(t,\alpha(t), \alpha'(t)\bigr) \le\bigl(a\bigl(t,\alpha(t) \bigr)\Phi\bigl(\alpha'(t)\bigr)\bigr)'. \end{aligned}$$

Thus, the function $t\mapsto a(t,\alpha(t))(\Phi(u'(t))- \Phi(\alpha '(t)))$ is strictly decreasing in $[t_{1},t_{2}]$. Consequently,

$$a \bigl(t,\alpha(t) \bigr) \bigl(\Phi\bigl(u'(t) \bigr)- \Phi \bigl( \alpha'(t) \bigr) \bigr)< a \bigl(t_{0},\alpha (t_{0}) \bigr) \bigl(\Phi\bigl(u'(t_{0}) \bigr)- \Phi\bigl(\alpha'(t_{0}) \bigr) \bigr)=0 $$

for $t \in[t_{0},t_{2}]$; therefore also $\Phi(u'(t))- \Phi(\alpha '(t))<0$. Recalling that Φ is strictly monotone, we get $u'(t)<\alpha'(t)$ in $[t_{0},t_{2}]$. Hence, we get

$$u(t_{2})-\alpha(t_{2})< u(t_{0})- \alpha(t_{0})< 0, $$

which contradicts the definition of the interval $[t_{1},t_{2}]$. Then also Claim 2 is proved.

As a consequence of Claim 2, recalling the definitions of the modified function $f^{*}$ (see (18)) and of the truncation operator T (see (17)), we derive that the solution u satisfies

$$ (a \bigl(t,u(t) \bigr) \Phi\bigl(u'(t) \bigr)' = f \bigl(t,u(t), q_{N} \bigl(u'(t) \bigr) \bigr) \quad\text{a.e. } t \in I. $$

(20)

Claim 3

$\vert u'(t) \vert \le N$ for every $t\in I$.

Notice that if $H< \vert u'(t) \vert \le N$, from (11), we obtain

$$ \bigl\vert \bigl(a \bigl(t,u(t) \bigr)\Phi\bigl(u'(t) \bigr) \bigr)' \bigr\vert \le\psi\bigl(a \bigl(t,u(t) \bigr) \bigl\vert \Phi\bigl(u'(t) \bigr) \bigr\vert \bigr)\cdot\bigl( \ell(t)+ \nu(t) \bigl\vert u'(t) \bigr\vert ^{\frac{p-1}{p}} \bigr). $$

(21)

Observe now that from (14) and the mean value theorem there exists $\hat{t} \in(0,T)$ such that

$$\bigl\vert u'(\hat{t} ) \bigr\vert = \biggl\vert \frac{d-c}{T} \biggr\vert \le\frac{2M}{T}< L< N. $$

Assume, by contradiction, that $\max\lbrace u'(t): t \in I\rbrace\ge N$ (in a similar way we can argue if $\min\lbrace u'(t): t \in I\rbrace\le-N$), then there exists an interval $(\tau_{0}, \tau _{1})\subset I$ such that $L < u'(t)< N$ in $(\tau_{0}, \tau_{1})$ and $u'(\tau_{0})=L$ and $u'(\tau_{1})=N$ or vice versa. From (13), (15), (21) and using the Holder inequality, we obtain

$$\begin{aligned} \int_{m_{1} \Phi(L)}^{m_{0} \Phi(N)} \frac{\mathrm{ d}s}{\psi(s)} &\le{ \int_{a(u(\tau_{0})) \Phi (u'(\tau_{0}))}^{a(u(\tau_{1})) \Phi(u'(\tau_{1}))}\frac{\mathrm{ d}s}{\psi (s)}} = { \int_{\tau_{0}}^{\tau_{1}} \frac{(a(t,u(t)) \Phi (u'(t)))'}{\psi(a(t,u(t)) \Phi(u'(t)))}\,\mathrm{ d}t} \\ &\le{ \int_{\tau_{0}}^{\tau_{1}} \frac{ \vert (a(t,u(t)) \Phi (u'(t)))' \vert }{\psi(a(t,u(t)) \Phi(u'(t)))}\,\mathrm{ d}t} \le{ \int_{\tau_{0}}^{\tau_{1}} \bigl( \ell(t)+\nu(t) \bigl\vert u'(t) \bigr\vert ^{\frac{p-1}{p}} \bigr) \,\mathrm{ d}t} \\ &\le{ \Vert \ell \Vert _{1} + \Vert \nu \Vert _{p} \bigl\vert u(\tau_{1})- u(\tau_{0}) \bigr\vert ^{\frac{p-1}{p}} } \\ &\le{ \Vert \ell \Vert _{1}+ \Vert \nu \Vert _{p} (2M)^{1-\frac{1}{p}} } , \end{aligned}$$

in contradiction with (16), and also Claim 3 is proved.

Summarizing, taking account of (20), we conclude that $x_{c,d}:=u$ is a solution of problem (D) satisfying (12). □

As we mentioned in Introduction, the Wintner-Nagumo condition (11) is weaker than similar growth conditions assumed in many papers related to boundary value problems of similar type, also with respect to results in which the differential operator does not contain the function a. Moreover, it allows us to widen the range of the differential operators Φ we can consider that can be very general, not necessarily homogeneous, nor having polynomial growth. For instance, in the following example, we apply the existence result to an operator Φ having exponential growth.

Example 1

Let us consider the following equation:

$$\bigl(a \bigl(t,x(t) \bigr) \sinh\bigl(x'(t) \bigr) \bigr)'= \bigl(\sinh\bigl(x'(t) \bigr) +1 \bigr) \bigl[ h(t) \bigl(x(t)+b(t) \bigr)+ g \bigl(x(t) \bigr)x'(t) \bigr], $$

where $a\in C([0,T]\times \mathbb {R})$, $h\in L^{1}([0,T])$, $b\in C([0,T])$, $g\in C(\mathbb {R})$ are given generic functions, with $a(t,x)>0$ for every $(t,x)\in I\times \mathbb {R}$ and $h(t)\ge0$ for every $t\in[0,T]$.

Observe that for a fixed K such that $\vert b(t) \vert \le K$ in $[0,T]$, the constant functions $\alpha(t):=-K$ and $\beta(t):=K$ are a well-ordered pair of lower and upper solutions. Moreover, put

$$f(t,x,y):= ( \sinh y +1) \bigl[ h(t) \bigl(x+b(t) \bigr) + g(x)y \bigr] , $$

it is immediate to verify that f is a Carathéodory function such that, whenever $\vert x \vert \le r$ and $\vert y \vert \le r$, we have

$$\bigl\vert f(t,x,y) \bigr\vert \le(\sinh r +1) \Bigl[ h(t) \bigl(r+b(t) \bigr)+ r\max_{x\in [-r,r]} \bigl\vert g(x) \bigr\vert \Bigr]:= \gamma_{r}(t) $$

with $\gamma_{r}\in L^{1}([0,T])$, and assumption (9) is satisfied.

Furthermore, put $M:={\max_{x\in[-K,K]}g(x)}$ and $m:= {\min_{(t,x)\in I\times[-M,M]}a(t,x)}$, since

$$\begin{aligned} \bigl\vert f(t,x,y) \bigr\vert &\le\bigl( \vert\sinh y \vert+1 \bigr) \bigl[2K h(t) + M \vert y \vert\bigr] \\ &\le\biggl( \frac{a(t,x)}{m} \vert\sinh y \vert+1 \biggr) \bigl[ 2Kh(t) + M \vert y \vert\bigr] \end{aligned}$$

whenever $x\in[-K,K]$ and, for every $y\in \mathbb {R}$, we get that assumptions (10) and (11) are satisfied choosing ${\psi(s):=\frac{s}{m}}+1$, $\ell(t):= 2Kh(t)$, $\nu(t):=M$ and $p=+\infty$. So, for every $c,d\in [-K,K]$, problem (D) admits a solution.

The following example shows an equation governed by a differential operator of the type considered in [10] and [8], and with a right-hand side which satisfies condition (11), but not other Nagumo-type growth conditions as those assumed in the mentioned papers.

Example 2

Consider the following differential equation:

$$\bigl(a \bigl(t,x(t) \bigr) x'(t) \bigr)'= \bigl(x'(t) +1 \bigr) \bigl[ h(t) \bigl(x(t)+b(t) \bigr)+ g \bigl(x(t) \bigr)x'(t) \bigr]. $$

With the same notations as in Example 1, we get that assumptions (9), (10) and (11) are satisfied and Theorem 2 can be applied. On the contrary, in order to apply the results in [10] there should exist a function θ such that $\vert f(t,x,y) \vert = \vert y+1 \vert \cdot\vert y \vert \le\theta ( \vert y \vert )$, with ${\int^{+\infty} \frac{1}{\theta(s)}}\, \mathrm{ d} s=+\infty$, which is not possible.

4 General nonlinear boundary conditions

We consider now more general boundary conditions in order to deal with periodic, Neumann, Sturm-Liouville boundary conditions for equation (4), using the result obtained in the previous section for Dirichlet problems, following the idea developed in [1]. To this aim, in what follows we adopt the notation $(D_{c,d})$ to denote the Dirichlet problem $(D)$, when we need to emphasize the values of the boundary conditions.

The following lemma provides a compactness-type result for the solutions of equation (4) obtained by means of Theorem 2.

Lemma 1

Let assumption (9) be satisfied, and let $\alpha, \beta$ be a well-ordered pair of lower and upper solutions for equation (4). Then, for every pair of sequences $(c_{n})_{n}$ and $(d_{n})_{n}$ of real numbers satisfying $c_{n}\in[\alpha(0), \beta(0)]$ and $d_{n}\in[\alpha(T), \beta(T)]$ for every $n\in \mathbb {N}$, and for every sequence $(x_{n})_{n}$ of solutions of problem $D_{c_{n},d_{n}}$, equibounded in $C^{1}$ and belonging to the functional interval $[\alpha,\beta]$, there exists a subsequence $(x_{n_{k}})_{k}$ such that

$$x_{n_{k}}(t)\to x_{0}(t),\qquad x_{n_{k}}'(t)\to x_{0}'(t) \quad\textit{uniformly in } I $$

for some solution $x_{0}$ of equation (4).

Proof

Let $(c_{n})_{n}$, $(d_{n})_{n}$ be a pair of sequences of real numbers satisfying $\alpha(0)\le c_{n}\le\beta(0)$ and $\alpha (T)\le d_{n}\le\beta(T)$ for every $n\in \mathbb {N}$, and let $(x_{n})_{n}$ be a sequence of solutions of problem $D_{c_{n},d_{n}}$, equibounded in $C^{1}$ and belonging to the functional interval $[\alpha,\beta]$. We can assume without restriction, possibly by passing to subsequences, that $c_{n}\to c_{0}$, $d_{n}\to d_{0}$. By the equiboundedness of the sequence $(x_{n})_{n}$ we have $\vert x_{n}(t) \vert + \vert x'_{n}(t) \vert < r$ for all $t \in I$, for some $r>0$. Therefore, by assumption (9) we get

$$\bigl\vert \bigl( a \bigl(t,x_{n}(t) \bigr) \Phi \bigl(x_{n}'(t) \bigr) \bigr)' \bigr\vert = \bigl\vert f \bigl(t,x_{n}(t),x_{n}'(t) \bigr) \bigr\vert \le\gamma_{r}(t) \quad\text{for all } n, \text{ a.e. } t\in I. $$

So, the sequence of functions $( a(t,x_{n}(t)) \Phi(x_{n}'(t)) )_{n}$ is equicontinuous on I. Moreover, since the function $1/a(t,x)$ is uniformly continuous on $I\times [-r,r]$, we deduce that also the sequence $(1/a(t,x_{n}(t)))_{n}$ is equicontinuous on I. Therefore, the sequence $(\Phi (x_{n}'(t)) )_{n}$ is equicontinuous on I, as it is the product of equicontinuous functions. Finally, by the continuity of the function $\Phi^{-1}$, we deduce that the sequence $(x_{n}')_{n}$ is uniformly continuous on I. Recalling that $\vert x_{n}'(t) \vert \le r$ for every $n \in \mathbb {N}$ and a.e. $t\in I$, by the Ascoli-Arzelà theorem, we infer the existence of a subsequence $(x_{n_{k}}')_{k}$ uniformly convergent to a continuous function $y_{0}$, implying that also $(x_{n_{k}})_{k}$ uniformly converges to the function $x_{0}(t)=\int_{0}^{t} y_{0}(s) \,\mathrm{ d}s$.

Moreover, notice that, for all $t\in I$, we have

$$a \bigl(t,x_{n_{k}}(t) \bigr)\Phi\bigl(x'_{n_{k}}(t) \bigr)= a \bigl(0,x_{n_{k}}(0) \bigr)\Phi\bigl(x'_{n_{k}}(0) \bigr)+ { \int_{0}^{t} f \bigl(s, x_{n_{k}}(s), x_{n_{k}}'(s) \bigr)\,\mathrm{ d}s}. $$

Hence, by the dominated convergence theorem we obtain

$$a \bigl(t,x_{0}(t) \bigr)\Phi\bigl(x'_{0}(t) \bigr)= a \bigl(0,x_{0}(0) \bigr)\Phi\bigl(x'_{0}(0) \bigr)+ { \int_{0}^{t} f \bigl(s, x_{0}(s), x_{0}'(s) \bigr)\,\mathrm{ d}s}, $$

that is, $x_{0}$ is a solution of (4). □

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

$$ \textstyle\begin{cases} (a(t,x(t))\Phi(x'(t)))' = f(t,x(t),x'(t)) \quad\mbox{a.e. } t\in I, \\ g(x(0),x(T),x'(0),x'(T))=0, \\ x(T)=h(x(0)), \end{cases} $$

(22)

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

By applying Theorem 2 we are able to prove an existence result also for the general problem (22).

Theorem 3

Suppose that there exists a well-ordered pair α, β of lower and upper solutions for equation (4) such that

$$\textstyle\begin{cases} g(\alpha(0),\alpha(T),\alpha'(0),\alpha'(T))\ge0, \\ \alpha(T)=h(\alpha(0)); \end{cases}\displaystyle \qquad \textstyle\begin{cases} g(\beta(0),\beta(T),\beta'(0),\beta'(T))\le0, \\ \beta(T)=h(\beta(0)). \end{cases} $$

Let assumptions (9), (10), (11) be satisfied. Moreover, suppose h is increasing and

$$ g(u,v,\cdot,z)\quad\textit{is increasing; }\qquad g(u,v,w,\cdot)\quad\textit{is decreasing.} $$

(23)

Then problem (22) admits a solution x, belonging to the functional interval $[\alpha, \beta]$, such that $\Vert x \Vert _{C^{1}}\le\Lambda$, where Λ is the constant given by Theorem  2 (see (12)), with respect to $M:=\max\{{\max_{t \in I} \vert \alpha(t) \vert }, {\max_{t \in I} \vert \beta(t) \vert }\}$.

Proof

Let us fix $c \in[\alpha(0),\beta(0)]$. By the monotonicity of h, we have $\alpha(T)\le h(c)\le\beta(T)$; so, by Theorem 2, the problem $(D_{c,h(c)})$ admits a solution $x_{c}$ belonging to the functional interval $[\alpha,\beta]$. Moreover, there exists a constant Λ such that, for every $c\in[\alpha(0),\beta (0)]$, we have (see (12))

$$ \Vert x_{c} \Vert _{C(I)}\le M \quad\text{and}\quad\bigl\Vert x_{c}' \bigr\Vert _{C(I)}\le\Lambda. $$

(24)

Put

$$\begin{aligned} \Omega:= & \bigl\{ c\in\bigl[\alpha(0),\beta(0)\bigr]: \mbox{ there exists a solution } x_{c} \in[\alpha,\beta] \mbox{ of } (D_{c,h(c)}) \\ & \text{satisfying } (24) \text{ and such that } g \bigl(x_{c}(0),x_{c}(T),x_{c}'(0),x_{c}'(T) \bigr)\ge0\bigr\} . \end{aligned}$$

Notice that Ω is not empty because $\alpha(0)\in\Omega$. Indeed, if $c=\alpha(0)$, then also $x_{c}(T)=\alpha(T)$ and, since $\alpha(t)\le x_{c}(t)$, for all $t\in I$, we get $x'_{c}(0)\ge\alpha'(0)$ and $x'_{c}(T)\le\alpha'(T)$. Thus, from (23), we have

$$g \bigl(x_{c}(0),x_{c}(T),x_{c}'(0),x_{c}'(T) \bigr)\ge0. $$

Let $c^{*}:=\sup\Omega$, and let us prove that $c^{*}\in\Omega$. This is trivial if $c^{*}=\alpha(0)$, whereas, if $c^{*}>\alpha(0)$, let $(c_{n})_{n}\subset\Omega$ be a sequence converging to $c_{*}$ from below. Put $d_{n}=h(c_{n})$, by Theorem 2, for every $n\in \mathbb {N}$, there exists a solution $x_{n}$ of problem $(D_{c_{n},d_{n}})$, belonging to the functional interval $[\alpha,\beta]$, such that $x_{n}$ satisfies (24) for every $n\in \mathbb {N}$. So, we can apply Lemma 1 to infer the existence of a subsequence $(x_{n_{k}})_{k}$ of solutions with the properties

$$x_{n_{k}}(t)\to x_{*}(t),\qquad x_{n_{k}}'(t)\to x_{*}'(t) \quad\text{for every } t\in I $$

for some solution $x_{*}$ of equation (4). Of course, $c^{*}:=x_{*}(0)$ and, by the continuity of h, we get that $x_{*}$ is a solution of problem $(D_{c_{*},h(c_{*})})$. Moreover, since $c_{n_{k}}\in\Omega$, we have $g(x_{n_{k}}(0),x_{n_{k}}(T),x_{n_{k}}'(0),x_{n_{k}}'(T))\geq0$ for every $k \in\mathbb{N}$ and, by the continuity of the function g, we obtain

$$ g \bigl(x_{*}(0),x_{*}(T),x_{*}'(0),x_{*}'(T) \bigr)\ge0, $$

(25)

then $c_{*} \in\Omega$ and so $c_{*}=\max\Omega$.

If $c^{*}=\beta(0)$, then $x_{*}'(0)\le\beta'(0)$. Moreover, $x_{*}(T)=h(\beta(0))=\beta(T)$ implying $x_{*}'(T)\ge\beta'(T)$. Hence, by (23) we deduce

$$\begin{aligned} g \bigl(x_{*}(0),x_{*}(T),x_{*}'(0),x_{*}'(T) \bigr)& = g \bigl( \beta(0),\beta(T),x_{*}'(0),x_{*}'(T) \bigr) \\ &\le g\bigl(\beta(0),\beta(T),\beta'(0),\beta'(T) \bigr) \le0. \end{aligned}$$

So, taking account of (25), we get $g(x_{*}(0),x_{*}(T),x_{*}'(0),x_{*}'(T)) = 0$ and $x_{*}$ is a solution of problem (22).

Let us now treat the case $c^{*}<\beta(0)$. In order to do this, let us consider a decreasing sequence $(c_{m})_{m}$ converging to $c^{*}$. Of course, the functions $x_{*}$ and β can be considered as a well-ordered pair of lower and upper solutions for equation (4), with $\Vert x^{*} \Vert _{C(I)}\le M$ and $\Vert x^{*'} \Vert _{C(I)}\le\Lambda$. By applying again Theorem 2, we deduce that, for every $m\in \mathbb {N}$, there exists a solution $\xi_{m}$ of problem $(D_{c_{m},h(c_{m})})$ belonging to the functional interval $[x_{*},\beta]$, again with $\Vert \xi_{m} \Vert _{C(I)}\le M$ and $\Vert \xi_{m}' \Vert _{C(I)}\le\Lambda$ for every $m\in \mathbb {N}$. Hence, we can apply Lemma 1 again, obtaining the existence of a subsequence $(\xi_{m_{k}})_{k}$ of solutions such that

$$\xi_{m_{k}}(t)\to\xi_{*}(t), \qquad\xi_{m_{k}}'(t)\to \xi_{*}'(t)\quad\text{for every } t\in I $$

for some solution $\xi_{*}$ of equation (4). By the continuity of h, the function $\xi_{*}$ is a solution of problem $(D_{c_{*},h(c_{*})})$. Moreover, since $c_{m_{k}}>c_{*}=\max\Omega$, we have $c_{m}\notin\Omega$ for every $m\in \mathbb {N}$. Since $\Vert \xi_{m} \Vert _{C^{1}(I)}\le\Lambda$, necessarily we have $g(\xi_{m}(0),\xi_{m}(T),\xi_{m}'(0),\xi_{m}'(T)) <0$. Thus, by the continuity of g, we have

$$ g \bigl(\xi_{*}(0),\xi_{*}(T),\xi_{*}'(0),\xi_{*}'(T) \bigr) \le0. $$

(26)

Nevertheless, being $\xi_{*}(t)\ge x_{*}(t)$ for every $t\in I$, with $\xi_{*}(0)=x_{*}(0)$ and $\xi_{*}(t)=x_{*}(T)$, we deduce that $\xi_{*}'(0)\ge x_{*}'(0)$ and $\xi_{*}(T)\le x_{*}'(T)$. So, by (23) and (25) we infer

$$\begin{aligned} g \bigl(\xi_{*}(0),\xi_{*}(T),\xi_{*}'(0), \xi_{*}'(T) \bigr)&= g \bigl(x_{*}(0),x_{*}(T),\xi_{*}'(0), \xi_{*}'(T) \bigr) \\ &\ge g \bigl(x_{*}(0),x_{*}(T),x_{*}'(0), x_{*}'(T) \bigr) \ge0 \end{aligned}$$

that jointly with (26) implies

$$g \bigl(\xi_{*}(0),\xi_{*}(T),\xi_{*}'(0), \xi_{*}'(T) \bigr)=0 $$

and $\xi_{*}$ is a solution of problem (22). □

The general boundary conditions considered in problem (22) include, as a particular case, periodic boundary conditions, that is, the problem

$$ \textstyle\begin{cases} (a(t,x(t))\Phi(x'(t)))' = f(t,x(t),x'(t)) \quad\mbox{a.e. } t\in I, \\ x(0)=x(T),\qquad x'(0)=x'(T) . \end{cases} $$

(27)

As an immediate consequence of Theorem 3, the following existence result holds.

Theorem 4

Let α and β be a well-ordered pair of lower and upper solutions for equation (4) such that

$$\textstyle\begin{cases} \alpha(0)=\alpha(T) ,\\ \alpha'(0)\ge\alpha'(T), \end{cases}\displaystyle \quad\textit{and}\quad \textstyle\begin{cases} \beta(0)=\beta(T), \\ \beta'(0)\le\beta'(T). \end{cases} $$

Assume that hypotheses (9), (10), (11) are satisfied. Then problem (27) has a solution belonging to the functional interval $[\alpha, \beta]$.

Proof

The assertion is an immediate consequence of Theorem 3, taking $g(u,v,w,z):=w-z$ and $h(r):=r$. □

Let us consider now the following boundary value problem:

$$ \textstyle\begin{cases} (a(t,x(t))\Phi(x'(t)))' = f(t,x(t),x'(t)) \quad\mbox{a.e. } t\in I, \\ p(x(0), x'(0))=0 ,\qquad q(x(T),x'(T))=0, \end{cases} $$

(28)

where $p,q:\mathbb {R}^{2}\to \mathbb {R}$ are continuous functions. The following existence result for problem (28) holds.

Theorem 5

Let α and β be a well-ordered pair of lower and upper solutions for equation (4) such that

$$\textstyle\begin{cases} p(\alpha(0), \alpha'(0))\ge0, \\ q(\alpha(T), \alpha'(T))\ge0; \end{cases}\displaystyle \quad\textit{and}\quad \textstyle\begin{cases} p(\beta(0),\beta'(0))\le0, \\ q(\beta(T), \beta'(T))\le0. \end{cases} $$

Assume that hypotheses (9), (10), (11) are satisfied. Moreover, assume that, for every $s\in \mathbb {R}$, we have

$$ p(s,\cdot) \quad\textit{is increasing}\quad\textit{and}\quad q(s,\cdot) \quad\textit{is decreasing}. $$

(29)

Then problem (28) has a solution belonging to the functional interval $[\alpha, \beta]$.

Proof

For every $c\in[\alpha(0), \beta(0)]$ and $d\in[\alpha(T), \beta(T)]$, let $x_{c,d}$ denote a solution of problem $(D_{c,d})$ belonging to the functional interval $[\alpha,\beta]$, whose existence is ensured by Theorem 2 satisfying (12).

For every fixed $d\in[\alpha(T),\beta(T)]$, let us consider now the following auxiliary boundary value problem:

So, by virtue of Theorem 3, we have that, for every $d\in[\alpha(T),\beta(T)]$, there exists a solution $y_{d}$ of problem ($Q_{d}$), belonging to the functional interval $[\alpha,\beta]$, such that $\Vert y \Vert _{C(I)}\le M$ and $\Vert y' \Vert _{C(I)}\le\Lambda$.

Observe now that, taking account of (29), when $d=\alpha (T)$, we have $q(y(T),y'(T))\ge q(\alpha(T),\alpha'(T))\ge0$ for every solution y of problem ($Q_{d}$); whereas for $d=\beta(T)$, we have $q(y(T),y'(T))\le q(\beta(T),\beta'(T))\le0$ for every solution y of problem ($Q_{d}$). Our goal is to show that there exists a value $d^{*}\in[\alpha (T),\beta(T)]$ and a solution $y_{*}$ of problem $(Q_{d^{*}})$ such that $q(y_{d^{*}}(T),y_{d^{*}}'(T))= 0$.

To this aim, put

$$\begin{aligned} {\Upsilon}:= {}& \bigl\{ d\in\bigl[\alpha(T),\beta(T)\bigr]: \text{ there exists a solution } \xi_{d} \text{ of problem } (Q_{d}) \\ & \text{ such that } \Vert \xi_{d} \Vert _{C(I)}\le M , \bigl\Vert \xi_{d}' \bigr\Vert _{C(I)}\le \Lambda\text{ and } q\bigl(\xi_{d}(T),\xi_{d}'(T) \bigr)\ge0\bigr\} . \end{aligned}$$

We have that $\alpha(T)\in\Upsilon$, so $\Upsilon\ne\emptyset$. Let $d^{*}:=\sup\Upsilon$, and let us prove that $d^{*}=\max\Upsilon$, that is, $q(\xi_{*}(T),\xi_{*}'(T))\ge0$ for some solution $\xi_{*}$ of problem $(Q_{d^{*}})$. This is trivial if $d^{*}=\alpha(T)$, whereas if $d^{*}>\alpha(T)$, let $(d_{n})_{n}\subset\Upsilon$ be an increasing sequence converging to $d^{*}$, and let $(\xi_{d_{n}})_{n}$ be a sequence of solutions of problem $(Q_{d_{n}})$ satisfying $q( \xi_{d_{n}}(T), \xi_{d_{n}}'(T))\ge 0$. By virtue of Lemma 1 we get the existence of a subsequence $(\xi_{d_{n_{k}}})_{k}$ such that

$$\xi_{d_{n_{k}}}(t) \to\xi_{*}(t), \qquad\xi_{d_{n_{k}}}'(t)\to \xi_{*}'(t)\quad\text{for every } t\in I, $$

for some solution $\xi_{*}$ of equation (4). By the continuity of p and q, we get $\xi_{*}$ is a solution of problem $(Q_{d^{*}})$ such that $q(\xi_{*}(T), \xi_{*}'(T))\ge0$, hence $d^{*}\in\Upsilon$.

If $d_{*}=\beta(T)$, then $\xi_{*}'(T)\ge\beta'(T)$ and by (29) we get

$$q \bigl(\xi_{*}(t), \xi_{*}'(T) \bigr)= q \bigl(\beta(T), \xi_{*}'(T) \bigr)\le q \bigl(\beta(T),\beta'(T) \bigr) \le0. $$

So, $\xi_{*}$ is a solution of problem $(Q)$.

Finally, let us treat the case $d^{*}<\beta(T)$. Let $(d_{m})_{m}$ be a decreasing sequence converging to $d^{*}$. Notice that the functions $\xi_{*}$ and β are a well-ordered pair of lower and upper solutions for equation (4) satisfying the assumptions of Theorem 3 (for $h(c):=d$ and $g(u,v,w,z):=p(u,w)$). So, for every $m\in \mathbb {N}$, there exists a solution $\zeta_{m}$ of problem G such that

$$\xi_{*}(t)\le\zeta_{m}(t)\le\beta(t)\quad\text{for every } t \in I. $$

Since $d_{m}\notin\Upsilon$, we have

$$ q \bigl(\zeta_{m}(T),\zeta_{m}'(T) \bigr) < 0 \quad\text{for every } m\in \mathbb {N}. $$

(30)

We can apply again Lemma 1 to deduce the existence of a subsequence $(\zeta_{m_{k}})_{k}$ such that

$$\zeta_{m_{k}} \to\zeta_{*}(t),\qquad\zeta_{m_{k}}'(t) \to \zeta_{*}'(t) \quad\text{for every } t \in I $$

and

$$ \xi_{*}(t)\le\zeta_{*}(t)\le\beta(t) \quad\text{for every } t\in I, $$

(31)

for some $\zeta_{*}$ solution of equation (4). By the continuity of the function p, we have $p(\zeta_{*}(0),\zeta_{*}'(0))=0$, and by (30) and the continuity of q, we get

$$ q \bigl(\zeta_{*}(0),\zeta_{*}'(0) \bigr)\le0. $$

(32)

On the other hand, since $\xi_{*}(T)=d^{*}= \zeta_{*}(T)$, by (31) we get $\zeta_{*}'(T)\le\xi_{*}'(T)$. Therefore, from (29) we infer

$$q(\zeta_{*}(T), \zeta_{*}'(T)=q \bigl(\xi_{*}(T),\zeta_{*}'(T) \bigr)\ge q \bigl(\xi_{*}(T),\xi_{*}'(T) \bigr) \ge0 $$

that jointly with (32) implies $q(\zeta_{*}(0),\zeta _{*}'(0))= 0$. So, $\zeta_{*}$ is a solution of problem $(Q)$. □

Remark 2

The boundary conditions in problem (28) cover, as particular cases, both the Sturm-Liouville and the Neumann problems. In fact, for the former problem, one takes $p(s,t):=\ell _{0}s+m_{0}t-\nu_{0}$ and $q(s,t)=\ell_{1}s-m_{1}t-\nu_{1}$, with $m_{0},m_{1}\ge0$. With this choice, one gets the boundary conditions

$$\ell_{0}x(0)+m_{0}x'(0)= \nu_{0} , \qquad\ell_{1}x(T)-m_{1}x'(T)= \nu_{1}. $$

For the latter problem, one takes $p(s,t):=t-\nu_{0}$ and $q(s,t):=\nu _{1}-t$, and problem (28) becomes the Neumann problem

$$ \textstyle\begin{cases} (a(t,x(t))\Phi(x'(t)))' = f(t,x(t),x'(t)) \quad\mbox{a.e. } t\in I, \\ x'(0)=\nu_{0},\qquad x'(T)=\nu_{1}. \end{cases} $$

(P)

Thus, Theorem 5 gives a condition for the existence of solutions for both these problems.

5 Conclusions

We have proved an existence result for the following strongly nonlinear differential equation:

$$\bigl(a \bigl(t,x(t) \bigr)\Phi\bigl(x'(t) \bigr) \bigr)'= f \bigl(t,x(t),x'(t) \bigr), \quad\text{a.e. in } [0,T] $$

subjected to very general boundary conditions (see Theorems 3 and 5), covering, as particular cases, the classical Dirichlet, Neumann, periodic and Sturm-Liouville problems. Here the function $a=a(t,x)$ is generic (it is only required to be continuous and positive) and mainly the differential operator Φ is quite general, not necessarily homogeneous, nor having polynomial growth. Finally, we also present some examples of applications of these results, for which the results in the previous literature in the matter are not applicable.