 Research
 Open Access
 Published:
On a discontinuous beamtype equation with deviating argument in the curvature
Boundary Value Problems volume 2016, Article number: 180 (2016)
Abstract
We deal with a nonlinear fourthorder equation where the linear part is given by the second derivative of an invertible secondorder operator. The equation includes a deviating argument and the boundary conditions provide information as regards the behavior of the solution in an initial and a final interval. Some discontinuities are allowed in all the variables and we prove for this problem the existence of solutions lying between lower and upper solutions. With the extra assumption that the given secondorder operator is inverse positive we prove the existence of extremal solutions. An example is also included in order to show the application of our results.
Introduction
Let \(\mathscr {L}: W^{2,1} \longrightarrow \mathscr {C}\) be a linear differential operator of second order, \(L>0\), and \(r_{1},r_{2}> 0\). We are concerned with the following problem of fourth order with deviating argument:
where \(\phi_{1} \in \mathscr {C}^{2}(I_{})\), \(\phi_{2} \in \mathscr {C}^{2}(I_{+})\), and \(\tau:I \longrightarrow\tilde{I}=[r_{1},L+r_{2}]\) is a measurable deviating argument such that
We will look for solutions for problem (1.1) inside the set
(Notice that there is an abuse of notation here, in order to simplify our notation. Of course, the regularity conditions in each subinterval of Ĩ are understood to be referred to the correspondent restrictions of function u.)
Problem (1.1) has a very general form and includes as particular cases equations of fourth order of the form
with ϕ an increasing homeomorphism, which were widely studied in the literature [1–6]. Frequently, these kinds of equations appear when modeling the behavior of a beam or a suspension bridge, and then different types of boundary conditions refer to different physical meanings regarding the beam or bridge. The reader is referred to [7] for more details. As a novelty in this work, the differential equation includes a deviating argument of the form \(\mathscr {L}[u](\tau(x))\), which means that the equation involves the behavior of the solution (and, in particular, of its curvature \(u''\)) at points that can be to the right or to the left with respect to the one which is being considered. For this reason, problem (1.1) includes as boundary conditions two functions \(\phi_{1}\) and \(\phi_{2}\) which represent, respectively, the initial and the final state of the solution. From this point of view, problem (1.1) can model a beam or a bridge of length \(L+r_{1}+r_{2}\) which is totally rigid in two extremal intervals. On the other hand, discontinuities with respect to all the variables are allowed in the differential equation.
The way to study problem (1.1) is via a reduction of order, that is, we will consider an auxiliary secondorder problem and then we will go back to the fourthorder one. To do this we will need some conditions on operator \(\mathscr {L}\), as we will see in Section 3. This technique of reduction of order to look for solutions for fourthorder equations has been used for example in [2], where a functional equation for \(\mathscr {L}=\frac {d^{2}}{dx^{2}}\) with also functional boundary conditions is considered. Coupled with the reduction of order technique we will use a generalized monotone method in the presence of lower and upper solutions. This technique is very typical in the literature devoted to discontinuous differential equations and was developed in depth in [8].
This paper is organized as follows: in Section 2 we consider an auxiliary secondorder problem and so we recall some results on comparison principles and existence of solutions that were published in [9]. Then, in Section 3, we deal with the fourthorder problem (1.1): first we consider the case when the second variable is dropped, and then we deal with the whole problem. We finish our work in Section 4 with an example of application of our results.
Secondorder equations
In this section we will study a secondorder equation with deviating argument that will be useful for us when reducing the order in (1.1). So, now we deal with the following problem:
where \(\tau:I \longrightarrow\tilde{I}=[r_{1},L+r_{2}]\) is a measurable deviating argument and \(\hat{\phi}_{1},\hat{\phi}_{2}\) are continuous functions.
A problem similar to (2.1) was studied in [9], with the difference that in that paper the problem was defined in \([r_{1},L]\) instead of \([r_{1},L+r_{2}]\), so (2.1) is a little more general than that problem. For this reason, and for the sake of completeness, we reformulate now the main results in [9] in order to apply them to problem (2.1), with a little sketch of their proofs. The reader is referred to the original paper for more details.
We will look for solutions for problem (2.1) inside the set \(\hat {\mathscr {X}}=\mathscr {C}(\tilde{I}) \cap W^{2,1}(I)\).
First we include a uniqueness result for the case of Lipschitzian nonlinearities, based on the wellknown Banach contraction principle.
Lemma 2.1
Assume that the function \(f:I \times \mathbb {R}^{2} \longrightarrow \mathbb {R}\) satisfies the following conditions:

(i)
For each \(u,v \in \mathbb {R}\), the mapping \(x \in I \longmapsto f(x,u,v)\) is measurable;

(ii)
for each compact subset \(K \subset \mathbb {R}^{2}\) there exists \(\psi_{K} \in L^{1}(I,[0,+\infty))\) such that
$$\biglf(x,u,v)\bigr \le\psi_{K}(x) \quad\textit{for all }(u,v) \in K; $$ 
(iii)
there exist nonnegative functions \(M_{1},M_{2}\) such that
$$\begin{aligned} &\biglf(x,u,v)f(x,\overline{u},\overline{v})\bigr \le M_{1}(x) u\overline {u} + M_{2}(x) v\overline{v}\\ &\quad \textit{for a.a. }x \in I\textit{ and all }u,v \in \mathbb {R}. \end{aligned}$$Moreover, the functions \(M_{1},M_{2}\) satisfy one of the following:
 (C_{1}):

\(M_{1},M_{2} \in L^{\infty}(I)\) and \(\M_{1}+M_{2}\_{\infty} < \frac{1}{L^{2}}\);
 (C_{2}):

\(M_{1},M_{2} \in L^{2}(I)\) and \(\M_{1}+M_{2}\_{2} < (\frac {3}{2L^{3}} )^{1/2}\);
 (C_{3}):

\(M_{1},M_{2} \in L^{1}(I)\) and \(\M_{1}+M_{2}\_{1} < \frac{1}{2L}\).
Under these conditions, problem (2.1) has a unique solution in \(\hat{\mathscr {X}}\).
Sketch of the proof
Consider the operator \(T:\mathscr {C}(\tilde{I}) \longrightarrow \mathscr {C}(\tilde{I})\) defined for each \(\gamma\in \mathscr {C}(\tilde{I})\) by
where
Conditions (i)(iii) imply that T is a welldefined contractive mapping, and so it has a unique fixed point which corresponds with the unique solution of problem (2.1). □
The following comparison principle will be essential in order to apply the generalized monotone method to the secondorder problem (2.1).
Lemma 2.2
Let \(w \in\hat{\mathscr {X}}\) be a function and assume that there exist nonnegative functions \(M_{1},M_{2}\) satisfying the following:

(i)
\(w''(x) \le M_{1}(x)w(x)+M_{2}(x)w(\tau(x)) \) for a.a. \(x \in[0,L]\);

(ii)
\(w(0)\ge0\), \(w(L) \ge0\);

(iii)
\(0 \le w(x) \le w(0)\) for all \(x \in[r_{1},0]\) and \(0 \le w(x) \le w(L)\) for all \(x \in[L,L+r_{2}]\);

(iv)
the functions \(M_{1},M_{2}\) satisfy one of the following conditions:
 \(\hat{(\mathrm{C}_{1})}\) :

\(M_{1},M_{2} \in L^{\infty}(I)\) and \(\M_{1}+M_{2}\_{\infty} < \frac{2}{L^{2}}\);
 \(\hat{(\mathrm{C}_{2})}\) :

\(M_{1},M_{2} \in L^{2}(I)\) and \(\M_{1}+M_{2}\_{2} < \frac {\sqrt{2}}{L}\);
 \(\hat{(\mathrm{C}_{3})}\) :

\(M_{1},M_{2} \in L^{1}(I)\) and \(\M_{1}+M_{2}\_{1} < \frac {1}{L} \).
Then \(w(x) \ge0\) for all \(x \in\tilde{I}\).
Proof
It is the same proof as in [9], Lemma 3.1. □
Remark 2.3
Notice that for \(\frac{3}{4} \le L\) each condition (C_{ i }) implies \(\hat{(\mathrm{C}_{i})}\), \(i=1,2,3\), and for \(0< L \le\frac{3}{4}\) we have \((\mathrm{C}_{1}) \Rightarrow \hat{(\mathrm{C}_{1})}\), \((\mathrm{C}_{3}) \Rightarrow \hat{(\mathrm{C}_{3})}\), and \(\hat{(\mathrm{C}_{2})} \Rightarrow(\mathrm{C}_{2})\).
Now we are ready to look for solutions for problem (2.1). We begin by introducing the concept of lower and upper solutions.
Definition 2.4
We say that a function \(\xi\in\hat{\mathscr {X}}\) is a lower solution for problem (2.1) if the composition \(x \in I \longmapsto f(x,\xi(x),\xi(\tau(x)))\) is measurable and the following inequalities hold:
In an analogous way, we say that \(\eta\in\hat{\mathscr {X}}\) is an upper solution for problem (2.1) if the composition \(x\in I \longmapsto f(x,\eta(x),\eta(\tau(x)))\) is measurable and the following inequalities hold:
The main result in this section establishes the existence of extremal solutions for problem (2.1) in the presence of wellordered lower and upper solutions. We recall that two solutions \(u^{*}\), \(u_{*}\) are said to be extremal in a set Y if any solution \(u \in Y\) satisfies \(u_{*} \le u \le u^{*}\).
The proof of this result uses the generalized monotone method and, in particular, the following lemma on the existence of fixed points of nondecreasing operators.
Lemma 2.5
([8], Theorem 1.2.2)
Let Y be a subset of an ordered metric space, \([a,b]\) a nonempty interval in Y and \(T:[a,b] \longrightarrow[a,b]\) a nondecreasing operator. If \(\{Tu_{n}\} _{n \in \mathbb {N}}\) converges whenever \(\{u_{n}\}_{n\in \mathbb {N}}\) is a monotone sequence in \([a,b]\) then the operator T has the greatest, \(u^{*}\), and the least, \(u_{*}\), fixed point in \([a,b]\), which, moreover, satisfy
Theorem 2.6
Assume that there exist \(\xi,\eta\in \hat {\mathscr {X}}\) which are, respectively, a lower and an upper solution for problem (2.1), with \(\xi(x) \le\eta(x)\) for all \(x \in [r_{1},L+r_{2}]\), and put
Assume, moreover, that the following conditions hold:
 (H_{1}):

For each \(\gamma\in[\xi,\eta]\) the composition \(x \in I \longmapsto f(x,\gamma(x),\gamma(\tau(x)))\) is measurable;
 (H_{2}):

there exists \(\psi\in L^{1}(I,[0,\infty))\) such that for a.a. \(x \in I\), all \(u \in[\xi(x),\eta(x)]\) and all \(v \in[\xi (\tau (x)),\eta(\tau(x))]\) we have \(f(x,u,v) \le\psi(x)\);
 (H_{3}):

there exist nonnegative functions \(M_{1},M_{2}\) such that for a.a. \(t \in I\) we have
$$f(x,\overline{u},\overline{v})f(x,u,v) \le M_{1}(x) (\overline{u}u) + M_{2}(x) (\overline{v}v) $$whenever \(\xi(x) \le u\le\overline{u} \le\eta(x)\), \(\xi(\tau(x)) \le v \le\overline{v} \le\eta(\tau(x))\).
Moreover, if \(L \ge\frac{3}{4}\) then functions \(M_{1},M_{2}\) satisfy one of the conditions (C_{1}), (C_{2}), (C_{3}) and if \(0< L<\frac{3}{4}\) then they satisfy one of the following: (C_{1}), \(\hat{(\mathrm{C}_{2})}\), \((\mathrm{C}_{3})\).
Under these conditions, problem (2.1) has the extremal solutions in \([\xi,\eta]\).
Sketch of the proof
Consider an operator \(T:[\xi,\eta] \longrightarrow \mathscr {C}(\tilde{I})\) defined as follows: for each \(\gamma\in[\xi,\eta]\), Tγ is the unique solution of the ‘linearized’ problem:
Operator T is well defined by application of Lemma 2.1. Moreover, we can show by application of Lemma 2.2, in a similar way to [9], Theorem 3.5, that T is a nondecreasing operator which maps interval \([\xi,\eta]\) into itself and which, moreover, maps monotone sequences into convergent ones in \(\mathscr {C}(\tilde{I})\). Then Lemma 2.5 guarantees that T has the extremal fixed points in \([\xi,\eta]\), which correspond with the extremal solutions of problem (2.1) in \([\xi,\eta]\). □
Remark 2.7
Condition (H_{3}) states, roughly speaking, that the functions \(f_{1}(u)=f(x,u,v)M_{1}(x) u\) and \(f_{2}(v)=f(x,u,v)M_{2}(x) v\) must be nonincreasing. In Section 4 we will prove a lemma that can be useful in order to check this condition in practice.
Fourth order equations
Now we will use the previous results in order to deal with the original fourthorder problem. As we said in the Introduction, we begin by considering a particular case of problem (1.1) where dependence on the second variable is dropped, that is,
We define lower and upper solutions for problem (3.1).
Definition 3.1
We say that \(\alpha,\beta\) are, respectively, a lower and an upper solution for problem (3.1) if \(\mathscr {L}[\alpha], \mathscr {L}[\beta] \in\hat{\mathscr {X}}\), compositions \(x \longmapsto f(x,\mathscr {L}[\alpha](x),\mathscr {L}[\alpha](\tau(x)))\) and \(x \longmapsto f(x,\mathscr {L}[\beta](x),\mathscr {L}[\beta](\tau(x)))\) are measurable on I and the following inequalities hold:
Now we prove the existence of solutions for problem (3.1). We recall that we say that the operator \(\mathscr {L}:W^{2,1}\longrightarrow \mathscr {C}\) is invertible in a certain set \(Z\subset W^{2,1}\) if there exists \(\mathscr {L}^{1}:\mathscr {C} \longrightarrow Z\) such that \(v=\mathscr {L}^{1}[\mathscr {L}[v]]\) for all \(v \in Z\). This is equivalent to the fact that there exists an associated Green’s function in Z (see [10] for more details).
Theorem 3.2
Assume that there exist \(\alpha,\beta\) which are, respectively, a lower and an upper solution for problem (3.1) with \(\mathscr {L}[\alpha] \le \mathscr {L}[\beta]\) on Ĩ and let f satisfy conditions (H_{1}), (H_{2}), and (H_{3}) with \(\xi= \mathscr {L}[\alpha]\) and \(\eta= \mathscr {L}[\beta]\). If the operator \(\mathscr {L}\) is invertible in the set
then problem (3.1) has a nonempty set of solutions.
Proof
It is clear that \(\xi= \mathscr {L}[\alpha]\) and \(\eta= \mathscr {L}[\beta]\) are, respectively, a lower and an upper solution for problem (2.1) with \(\hat{\phi}_{1}=\mathscr {L}[\phi_{1}]\) and \(\hat {\phi}_{2}=\mathscr {L}[\phi_{2}]\). Then conditions on f guarantee by application of Theorem 2.6 that this problem has solutions in \([\xi,\eta]\) with least and greatest elements inside this set. Now, let \(v \in[\xi,\eta]\) such a solution. As operator \(\mathscr {L}\) is invertible in Z there exists the associated Green’s function, G. So, we can define a function \(u \in \mathscr {X}\) as follows:
where \(u_{0}\) is the unique solution of \(\mathscr {L}[w]=0\) coupled with the Dirichlet conditions \(w(0)=\phi_{1}(0)\) and \(w(L)=\phi_{2}(L)\).
We will show that thus defined u is a solution of problem (3.1). First, it is clear that u\in {\mathcal{C}}^{2}(\stackrel{\circ}{{I}_{}}\cup \stackrel{\circ}{{I}_{+}}) and \(\mathscr {L}[u]=v \in W^{2,1}(I)\), therefore \(u \in \mathscr {X}\). As u satisfies the boundary conditions in (3.1) by construction, we only have to check that u is a solution of the differential equation. First of all, notice that for G being the Green’s function associated to \(\mathscr {L}\) in Z, \(\mathscr {L}[u]=v\) almost everywhere in I. Now, as v is a solution of problem (2.1) we obtain for a.a. \(x \in I\)
Finally, regarding the argument with deviation, notice the following: if \(\tau(x) \in I\) then we have \(v(\tau(x))=\mathscr {L}[u](\tau(x))\), if \(\tau(x) \in I_{}\) then \(v(\tau(x))=\hat{\phi}_{1}(\tau (x))=\mathscr {L}[\phi_{1}](\tau(x))=\mathscr {L}[u](\tau(x))\) and, in an analogous way, if \(\tau(x) \in I_{+}\) then \(v(\tau(x))=\mathscr {L}[u](\tau(x))\). Therefore, we see that (3.3) actually becomes
and so u solves the differential equation in (3.1). □
Remark 3.3
Notice that equation (3.2) does not imply the existence of \(\mathscr {L}[u](0)\) nor \(\mathscr {L}[u](L)\). However, the fact of \(\mathscr {L}[u]=v\) almost everywhere, joined with condition (1.2), is enough to guarantee that (3.4) makes sense. On the other hand, we are assuming throughout this paper that \(r_{1},r_{2}>0\). We can relax this condition and require these constants to be only nonnegative. Therefore, if \(r_{1}=0\) we could actually provide some additional condition about the value of \(\mathscr {L}[u](0)\), and analogously if \(r_{2}=0\).
The following result states the existence of extremal solutions under the additional hypothesis that the operator \(\mathscr {L}\) is inverse positive, that is, \(u\ge0 \Rightarrow \mathscr {L}^{1}[u] \ge0\), in a certain set \(Z'\). This condition is equivalent to saying that \(\mathscr {L}\) satisfies the antimaximum principle in \(Z'\), that is, \(\mathscr {L}[u] \ge0 \Rightarrow u\ge0\). This provides a certain monotonicity condition that will be essential in order to apply the monotone iterative technique. To see more examples of application of this technique in the presence of inverse positive or inverse negative operators the reader is referred to [11] or [10].
Theorem 3.4
In the conditions of Theorem 3.2, assume that \(\alpha\le\beta\) on Ĩ, \(\alpha_{I_{}} \le \phi _{1}\), \(\alpha_{I_{+}} \le\phi_{2}\), \(\beta_{I_{}} \ge\phi_{1}\), and \(\beta _{I_{+}} \ge\phi_{2}\). If operator \(\mathscr {L}\) is inverse positive in the set
then problem (3.1) has the extremal solutions in \([\alpha,\beta ]=\{ \gamma\in \mathscr {C}(\tilde{I}) : \alpha(x) \le\gamma(x) \le\beta(x)\textit{ for all }x \in\tilde{I}\}\).
Proof
We will divide the proof in three steps.
Claim 1: Let \(v \in[\mathscr {L}[\alpha],\mathscr {L}[\beta]]\) be a solution of problem ( 2.1 ) and u a solution of ( 3.1 ) obtained from v by equation ( 3.2 ). Then \(\alpha\le u \le\beta\) on Ĩ. It is clear by construction of u and the conditions on \(\alpha, \beta\) that \(\alpha(x) \le u(x) \le\beta(x)\) on \(I_{} \cup I_{+}\), so we only have to prove that this inequality is true in I.
To do this, first notice that for α being a lower solution we have \(u(0)=\phi_{1}(0) \ge\alpha(0)\) and \(u(L) = \phi_{2}(L) \ge\alpha (L)\). On the other hand, by construction of u we have
As \(\mathscr {L}\) is inverse positive in \(Z'\), it satisfies the antimaximum principle in that set and then \(u \ge\alpha\) in I.
In a same way we prove that \(u \le\beta\) on Ĩ.
Claim 2: If \(u \in[\alpha,\beta]\) is a solution of problem ( 3.1 ) then there exists \(v \in[\mathscr {L}[\alpha],\mathscr {L}[\beta ]]\) , solution of ( 2.1 ), such that u is obtained from v by equation ( 3.2 ). Let \(u \in[\alpha,\beta]\) be a solution of (3.1). This implies that \(u=\phi_{1}\) in \(I_{}\), \(u=\phi_{2}\) in \(I_{+}\), and for a.a. \(x \in I\) we have
and so \(v=\mathscr {L}[u]\) is a solution of problem (2.1). Now, as \(\mathscr {L}\) is invertible, it is trivial that u can be obtained from v by (3.2).
Claim 3: If v̂ is the greatest solution in \([\mathscr {L}[\alpha],\mathscr {L}[\beta]]\) of problem ( 2.1 ) then û obtained from v̂ by equation ( 3.2 ) provides the greatest solution of problem ( 3.1 ) in \([\alpha,\beta]\) . Let \(u \in [\alpha ,\beta]\) be an arbitrary solution of problem (3.1) and \(v \in [\mathscr {L}[\alpha],\mathscr {L}[\beta]]\) provided by Claim 2. Then \(v(0)=\hat{v}(0)\), \(v(L)=\hat{v}(L)\), and \(v \le\hat{v}\) on I. As \(\mathscr {L}\) is inverse positive in Z we obtain \(u=\mathscr {L}^{1}[v] \le \mathscr {L}^{1}[\hat{v}]=\hat{u}\) on I. Taking into account that \(u(x) = \hat{u}(x)\) for all \(x \in I_{} \cup I_{+}\) we conclude that \(u \le\hat{u}\) in Ĩ and so û is the greatest solution of problem (3.1) in \([\alpha,\beta]\). In an analogous way we obtain the least solution of the problem in \([\alpha ,\beta]\). □
Now we are going to develop a monotone method in order to look for solutions to the whole problem (1.1).
Definition 3.5
We say that α is a lower solution of problem (1.1) if \(\mathscr {L}[\alpha] \in\hat{\mathscr {X}}\), the composition
is measurable, and the following inequalities hold:
In an analogous way, we say that β is an upper solution for problem (1.1) if \(\mathscr {L}[\beta] \in\hat{\mathscr {X}}\), the composition
is measurable, and the following inequalities hold:
The following is the main result in this paper.
Theorem 3.6
Let \(\alpha,\beta\) be a lower and an upper solution for problem (1.1) such that \(\alpha\le\beta\) and \(\mathscr {L}[\alpha] \le \mathscr {L}[\beta]\) on Ĩ, \(\alpha _{I_{}} \le\phi_{1}\), \(\alpha_{I_{+}} \le\phi_{2}\), \(\beta_{I_{}} \ge \phi _{1}\), and \(\beta_{I_{+}} \ge\phi_{2}\). Assume that for each
the function \(f_{\gamma}:=f(x,\gamma,u,v)\) satisfies conditions (H_{1})(H_{3}) and
 (H_{4}):

for a.a. \(x \in I\), all \(u \in[\mathscr {L}[\alpha ](x),\mathscr {L}[\beta](x)]\) and all \(v \in[\mathscr {L}[\alpha ](\tau (x)),\mathscr {L}[\beta](\tau(x))]\) function \(f(x,\cdot,u,v)\) is nonincreasing in \([\alpha,\beta]\).
If the operator \(\mathscr {L}\) is inverse positive in
then problem (1.1) has the extremal solutions in \([\alpha,\beta]\).
Proof
We consider the operator \(T:[\alpha,\beta] \longrightarrow[\alpha,\beta]\) defined as follows: for each \(\gamma \in[\alpha,\beta]\), Tγ is the greatest solution in \([\alpha ,\beta]\) of the auxiliary problem
First, notice that conditions on the lower and the upper solution, coupled with (H_{1})(H_{3}) imply by application of Theorem 3.4 that operator T is well defined in \([\alpha,\beta]\). On the other hand, if we have \(\gamma_{1}, \gamma_{2} \in[\alpha,\beta]\), \(\gamma _{1} \le\gamma_{2}\) then we obtain by virtue of (H_{4})
a.e. on I, and so \(T\gamma_{1} \in[\alpha,\beta]\) is a lower solution for problem \((P_{\gamma_{2}})\). As β is an upper solution for this problem and \(T\gamma_{2}\) is defined as the greatest solution in \([\alpha ,\beta]\) for \((P_{\gamma_{2}})\) we obtain that \(T\gamma_{1} \le T\gamma_{2}\), and so operator T is nondecreasing in \([\alpha,\beta]\).
Finally, we will show that T maps monotone sequences into convergent ones. So, let \(\{\gamma_{n}\}_{n \in \mathbb {N}}\) be a monotone sequence in \([\alpha,\beta]\). As T is nondecreasing and \(T([\alpha,\beta]) \subset[\alpha,\beta]\) then \(\{T\gamma_{n}\}_{n \in \mathbb {N}}\) is a monotone sequence which has its pointwise limit in \([\alpha,\beta]\), say Γ. We have to prove that \(T\gamma_{n} \to\Gamma\) in \(\mathscr {C}(I)\). As \(\{T\gamma_{n}\}_{n \in \mathbb {N}}\) is constant in \(I_{}\cup I_{+}\), we only need to check that the convergence is uniform in I. To see this, put \(g_{n}=\mathscr {L}[T\gamma_{n}]\) and notice that \(g_{n} \le \mathscr {L}[\beta ]\) for all \(n \in \mathbb {N}\), and so \(g_{n}\) is uniformly bounded. As the operator \(\mathscr {L}^{1}\) is compact we conclude that \(\{T\gamma_{n}\} _{n \in \mathbb {N}}\) is precompact and so it has a convergent subsequence that coincides with \(\{T\gamma_{n}\}_{n \in \mathbb {N}}\) because of monotonicity.
We conclude by application of Lemma 2.5 that T has the greatest fixed point, \(u^{*}\) in \([\alpha,\beta]\) and we claim that \(u^{*}\) is the greatest solution of our problem in \([\alpha,\beta]\). Indeed, it is obvious that \(u^{*}\) is a solution. To see that it is the greatest one, let \(u \in[\alpha,\beta]\) another solution. Then \(Tu=u\) and so characterization (2.2) implies that \(u^{*} \ge u\).
To obtain the least solution of problem (1.1) in \([\alpha,\beta]\) we must redefine operator T, considering the least solution of auxiliar problem \((P_{\gamma})\) instead of the greatest one, and reasoning like above. □
An example of application
In this section we provide an example to show how our results can be applied in practice. First we begin by introducing a lemma that will be useful for us in order to check condition (H_{3}).
Lemma 4.1
Let \(\{x_{k}\}_{k=1}^{\infty}\) a strictly increasing sequence of real numbers and assume that \(f:\mathbb {R}\longrightarrow \mathbb {R}\) is such that \(f_{(x_{k1},x_{k})} \in \mathscr {C}^{1}(x_{k1},x_{k})\) for all \(k=1,2,\ldots\) . Assume, moreover, that the following conditions hold for each \(k \in \mathbb {N}\):

(i)
$$\lim_{x \to x_{k}^{}}f(x) \ge f(x_{k}) \ge\lim _{x \to x_{k}^{+}} f(x); $$

(ii)
there exist \(M_{k}=\sup\{f'(x) : x \in (x_{k1},x_{k})\}\) and \(M=\sup\{M_{k} : k \in \mathbb {N}\}\).
Under these conditions, for all \(\tilde{M} \ge M\) the function \(g:x \in \mathbb {R}\longmapsto g(x)=f(x)  \tilde{M} x\) is nonincreasing.
Proof
Fixing \(k \in \mathbb {N}\) we see that the function g is differentiable in \((x_{k1},x_{k})\) and \(g'(x) \le M_{k}  M \le0\) for all \(x \in(x_{k1}, x_{k})\), so g is nonincreasing in that interval. On the other hand, condition (i) provides that f is nonincreasing at point \(x_{k}\), and so g. □
Now we consider the secondorder operator \(\mathscr {L}[u]=u''+Mu\), with \(M>0\) a parameter, with the following boundary value problem:
where \([\cdot]\) means the integer part, \(\Gamma(u)= ( {\int_{\pi/2}^{\pi/2} (u(x) + \pi)\,dx} )^{1}\), \(\tau (x)=4x\frac{\pi}{2}\), and the function \(f_{1}\) is defined as follows: given \(n \in \mathbb {N}\) we put
Notice that problem (4.1) falls inside our framework with the following choices:
Our main goal in this section is to show that problem (4.1) has the extremal solutions between suitable lower and upper solutions. We will do it in several steps and we begin by checking the measurability conditions.
Lemma 4.2
Given a continuous function \(\lambda: \tilde{I} \longrightarrow \mathbb {R}\) and \(\rho\in W^{2,1}(I)\) the composition
is measurable.
Proof
We have to check that the function
is measurable.
First notice that \(\lambda\circ\tau\) is measurable because it is the composition of a continuous function and a measurable one. As \(x \longmapsto [\frac{1}{ \sqrt{x}} ]\) is a monotone function it is also measurable, and so is
On the other hand, the function \(f_{1}\) is continuous almost everywhere and so the composition \(f_{1} \circ\lambda\) is measurable. Therefore (4.2) is a measurable function as a linear combination of measurable ones. □
Now we show the existence of wellordered lower and upper solutions.
Proposition 4.3
Functions \(\alpha\equiv0\) and \(\beta(x)=\cos(x)\) are, respectively, a lower and an upper solution for problem (4.1).
Proof
First it is trivially satisfied that \(\alpha\le \beta\) on Ĩ. On the other hand, as we have \(\mathscr {L}[\alpha ](x)=0\) and \(\mathscr {L}[\beta](x)=(M+1)\cos(x) \ge0\), we also obtain \(\mathscr {L}[\alpha](x) \le \mathscr {L}[\beta](x)\) for all \(x \in \tilde{I}\).
Second, as \(\mathscr {L}[\phi](x)=(M+1)\cos(x)\) for all \(x \in I_{}\cup I_{+}\), the inequalities
and
hold. As \(\beta= \phi\) in \(I_{} \cup I_{+}\), we conclude that analogous conditions regarding β hold too.
On the other hand, inside the interval I we have the following:
and
in \([0,\frac{\pi}{4}]\), and so α and β are a lower and an upper solution for problem (4.1). □
Finally, we prove that problem (4.1) has the extremal solutions between α and β.
Proposition 4.4
If \(n \le7\) then problem (4.1) has the extremal solutions between the lower solution \(\alpha\equiv0\) and the upper solution \(\beta(x)=\cos(x)\).
We will prove the statement by application of Theorem 3.6.
We have already shown in Lemma 4.2 that condition (H_{1}) is satisfied. On the other hand, for a.a. \(x \in I\), all \(\gamma\in [\alpha,\beta]\), all \(u \in[\mathscr {L}[\alpha](x),\mathscr {L}[\beta ](x)]\), and all \(v \in[\mathscr {L}[\alpha](\tau(x)),\mathscr {L}[\beta ](\tau(x))]\) we have
and so condition (H_{2}) holds with
Now we will check condition (H_{3}). To do that, first notice that by virtue of Lemma 4.1 we have
and
Then we can conclude that condition (H_{3}) is satisfied with \(M_{1} \equiv\frac{n \pi}{2\pi^{2}}= \frac{n}{2\pi}\) and \(M_{2}(x)=\frac {2}{\pi ^{2}} [\frac{1}{\sqrt{x}} ]\). Indeed, notice that
for \(n \le7\), and so inequality (C_{3}) holds.
Finally, for a.a. \(x \in[0,\pi/4]\), all \(u \in[\mathscr {L}[\alpha ](x),\mathscr {L}[\beta](x)]\), and all \(v \in[\mathscr {L}[\alpha ](\tau (x)), \mathscr {L}[\beta](\tau(x))]\) we have
where \(g(x,u,v) \ge0\) and Γ is nonincreasing in \([\alpha ,\beta ]\). Therefore, condition (H_{4}) is satisfied.
As the operator \(\mathscr {L}\) is inverse positive in the set
(see for instance [10]) we conclude by application of Theorem 3.6 that problem (4.1) has the extremal solutions inside the functional interval
References
Bougoffa, L, Rach, R, Wazwaz, AM: On solutions of boundary value problem for fourthorder beam equations. Math. Model. Anal. 21(3), 304318 (2016)
Cabada, A, Fialho, J, Minhós, F: Extremal solutions to fourth order discontinuous functional boundary value problems. Math. Nachr. 286(1718), 17441751 (2013)
Drábek, P, Holubová, G: Positive and negative solutions of onedimensional beam equation. Appl. Math. Lett. 51, 17 (2016)
Li, Y: Existence of positive solutions for the cantilever beam equations with fully nonlinear terms. Nonlinear Anal., Real World Appl. 27, 221237 (2016)
Minhós, F, Gyulov, T, Santos, AI: Lower and upper solutions for a fully nonlinear beam equation. Nonlinear Anal. 71, 281292 (2009)
Pei, M, Wang, L: New results for positive solutions of singular fourthorder fourpoint pLaplacian problem. Bound. Value Probl. 2016, 92 (2016)
Craig, RR: Mechanics of Materials, 3rd edn. Willey, New York (2011)
Heikkilä, S, Lakshmikantham, V: Monotone Iterative Techniques for Discontinuous Nonlinear Differential Equations. Dekker, New York (1994)
Figueroa, R: On the discontinuous secondorder deviated Dirichlet problem with nonmonotone conditions. Math. Nachr. 288(23), 176184 (2015)
Cabada, A: Green’s Functions in the Theory of Ordinary Differential Equations. Springer, New York (2011)
Cabada, A, Lois, S: Existence results for nonlinear problems with separated boundary conditions. Nonlinear Anal. 35, 449456 (1999)
Acknowledgements
Partially supported by Xunta de Galicia (Spain), project EM2014/032.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
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
Figueroa, R. On a discontinuous beamtype equation with deviating argument in the curvature. Bound Value Probl 2016, 180 (2016). https://doi.org/10.1186/s1366101606855
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s1366101606855
MSC
 34B99
Keywords
 fourthorder boundary value problems
 deviating arguments
 discontinuous equations
 lower and upper solutions