- Research
- Open access
- Published:
A variational approach of Sturm-Liouville problems with the nonlinearity depending on the derivative
Boundary Value Problems volume 2015, Article number: 81 (2015)
Abstract
In this paper, we are concerned with the existence of positive classical solutions for a class of second-order differential equations with the nonlinearity dependent on the derivative. We also provide a range of the parameter in order to obtain the existence of multiple solutions. The approach is based on variational methods. An example illustrates the abstract results of this paper.
1 Introduction
In 1836 to 1837, the French mathematicians Jacques Charles François Sturm (1803-1855) and Joseph Liouville (1809-1882) published several papers that initiated a new subtopic of mathematical analysis: the Sturm-Liouville theory. Sturm and Liouville were concerned with the general linear homogeneous second-order differential equation of the form
where the potentials are given functions. Under various boundary conditions, Sturm and Liouville established that solutions of problem (1.1) can exist only for particular values of the real parameter λ, which is called an eigenvalue. Relevant examples of linear Sturm-Liouville problems are the Bessel equation and the Legendre equation.
The classical Sturm-Liouville theory does not depend upon the calculus of variations but stems from the theory of ordinary linear or nonlinear differential equations. Linear Sturm-Liouville equations can be also studied in the context of functional analysis by means of self-adjoint operators or integral operators with a continuous symmetric kernel (the Green’s function of the problem). Certain applications involving linear partial differential equations can be treated with the help of the Sturm-Liouville theory, for instance the normal modes of vibration of a thin membrane. We also refer to [1], where a perturbed nonlinear Sturm-Liouville problem with superlinear convex nonlinearity is studied. In the recent paper [2], the authors study a class of discrete anisotropic Sturm-Liouville problems. We also refer to [3–5] for related properties of solutions of Sturm-Liouville problems.
In the present paper, we are concerned with a class of nonlinear Sturm-Liouville problems and we establish some qualitative properties of the eigenvalues by using variational principles. A feature of our work is the presence of the derivative in the nonlinear term, which creates further technical constraints.
Our main purpose in this paper is to establish a range of eigenvalues in a suitable interval in order to create at least one eigenfunction. As a consequence, we establish sufficient conditions for the existence of two or three solutions.
Consider the following quasilinear Sturm-Liouville problem with Dirichlet boundary condition on a bounded interval \([a,b]\) in \(\mathbb{R}\):
We assume that \(p>1\), λ is a positive parameter, \(h:[a,b]\times\mathbb{R}\rightarrow[0,+\infty)\) is a bounded and continuous function with \(m:=\inf_{(x,t)\in[a,b]\times\mathbb{R}}h(x,t)>0\) and \(f:[a,b]\times\mathbb{R}\to\mathbb{R}\) is an \(L^{1}\)-Carathéodory function.
Dirichlet boundary value problems have been widely studied because of their applications to various fields of applied sciences such as mechanical engineering, control systems, computer science, economics, artificial or biological neural networks and many others.
In this connection, several existence and multiplicity results for solutions to second-order ordinary differential nonlinear equations, with the nonlinearity dependent on the derivative and Dirichlet conditions at the ends, have been investigated making use of variational methods.
For instance, Graef et al. in [6], by using a three critical point theorem of Ricceri [7], proved the existence of at least three classical solutions for the Dirichlet quasilinear elliptic system
where \(p_{i}>1\) for \(1\leq i\leq n\), \(\lambda>0\) and \(\mu\geq0\) are parameters, \(a, b\in\mathbb{R}\) with \(a< b\), \(h_{i}:[a,b]\times\mathbb{R}\rightarrow[0,+\infty)\) is a bounded and continuous function with \(m_{i}:=\inf_{(x,t)\in[a,b]\times\mathbb{R}}h_{i}(x,t) > 0\) for \(1\leq i\leq n\), \(F:[a,b]\times\mathbb{R}^{n}\to\mathbb{R}\) is a function such that the mapping \((t_{1},t_{2},\ldots,t_{n})\rightarrow F(x,t_{1},t_{2},\ldots,t_{n})\) is in \(C^{1}\) in \(\mathbb{R}^{n}\) for all \(x\in[a,b]\), \(F_{t_{i}}\) is continuous in \([a,b]\times\mathbb{R}^{n}\) for \(1\leq i\leq n\), and \(F(x,0,\ldots,0)=0\) for all \(x\in[a,b]\). Here, \(F_{t_{i}}\) denotes the partial derivative of F with respect to \(t_{i}\). Similarly, \(G:[a,b]\times\mathbb{R}^{n}\to\mathbb{R}\) is a function such that \((t_{1},t_{2},\ldots,t_{n})\rightarrow G(x,t_{1},t_{2},\ldots,t_{n})\) is in \(C^{1}\) in \(\mathbb{R}^{n}\) for all \(x\in[a,b]\), and \(G_{t_{i}}\) is continuous in \([a,b]\times\mathbb{R}^{n}\) for \(1\leq i\leq n\).
Successively, in [8], the authors considered the system (1.3) in the case \(\mu=0\), finding the existence of infinitely many classical solutions for certain values of the parameter λ by using variational methods.
Further, the authors in [9], applying a recent critical point theorem of Ricceri [7], established the existence of at least one nontrivial solution for the problem
where λ is a positive parameter, \(f:[0,1]\times\mathbb{R}\rightarrow\mathbb{R}\) is an \(L^{1}\)-Carathéodory function, \(g:\mathbb{R}\rightarrow\mathbb{R}\) is a Lipschitz continuous function with \(g(0)=0\), and \(h:[0,1]\times\mathbb{R}\rightarrow[0,+\infty)\) is a bounded and continuous function with \(m:=\inf_{(x,t)\in[0,1]\times\mathbb{R}}h(x,t)>0\).
In the present paper, first we obtain the existence of at least one solution for problem (1.2). It is worth noticing that, usually, to obtain the existence of one solution, asymptotic conditions both at zero and at infinity on the nonlinear term are requested, while here it is assumed only a unique algebraic condition (see (A4) in Theorem 3.3). As a consequence, by combining with the classical Ambrosetti-Rabinowitz condition (see [10]), the existence of two solutions is obtained (see Theorem 4.1). Subsequently, an existence result of three nonnegative solutions is obtained combining two algebraic conditions which guarantee the existence of two local minima for the Euler-Lagrange functional and applying the mountain pass theorem as given by Pucci and Serrin (see [11]) to ensure the existence of the third critical point (see Theorem 4.5).
As an example, we state here the following special case of Theorem 4.5.
Theorem 1.1
Let \(h:\mathbb{R}\rightarrow[0,+\infty)\) be a bounded and continuous function with \(\overline{m}:=\inf_{t\in\mathbb{R}}h(t)>0\) and \(\overline{M}:=\sup_{t\in\mathbb{R}}h(t)\), and \(g:\mathbb{R}\rightarrow\mathbb{R}\) be a nonnegative continuous function with \(g(0)\neq0\) such that
and
Then, for each
the problem
admits at least three positive classical solutions in \(W_{0}^{1,2}([0,1])\).
Finally, we point out that Theorem 1.1 ensures a precise conclusion in the sense that a location of the parameter λ in order to obtain at least three distinct solutions is also provided.
2 Preliminaries
For a given nonempty set X and two functionals \(\Phi,\Psi:X\to\mathbb{R}\), we define the following functions:
for all \(r_{1},r_{2}\in\mathbb{R}\), with \(r_{1}< r_{2}\), and
for all \(r\in\mathbb{R}\).
Theorem 2.1
([7])
Let X be a real Banach space; \(\Phi:X\to\mathbb{R}\) be a sequentially weakly lower semicontinuous, coercive and continuously Gâteaux differentiable function whose Gâteaux derivative admits a continuous inverse on \(X^{\ast}\); \(\Psi:X\to\mathbb{R}\) be a continuously Gâteaux differentiable function whose Gâteaux derivative is compact. Put \(I_{\lambda}:=\Phi-\lambda\Psi\) and assume that there are \(r_{1},r_{2}\in\mathbb{R}\), with \(r_{1}< r_{2}\), such that
Then, for each \(\lambda\in ]\frac{1}{\rho_{2}(r_{1},r_{2})},\frac{1}{\beta(r_{1},r_{2})} [\), there is \(u_{0,\lambda}\in\Phi^{-1}(]r_{1},r_{2}[)\) such that \(I_{\lambda}(u_{0,\lambda})\leq I_{\lambda}(u)\) for all \(u\in \Phi^{-1}(]r_{1},r_{2}[)\) and \(I'_{\lambda}(u_{0,\lambda})=0\).
Theorem 2.2
([7])
Let X be a real Banach space; \(\Phi:X\to\mathbb{R}\) be a continuously Gâteaux differentiable function whose Gâteaux derivative admits a continuous inverse on \(X^{*}\); \(\Psi:X\to\mathbb{R}\) be a continuously Gâteaux differentiable function whose Gâteaux derivative is compact. Fix \(\inf_{X}\Phi< r<\sup_{X}\Phi\) and assume that
and for each \(\lambda>\frac{1}{\rho(r)}\) the function \(I_{\lambda}=\Phi-\lambda\Psi\) is coercive.
Then, for each \(\lambda>\frac{1}{\rho(r)}\), there is \(u_{0,\lambda}\in\Phi^{-1}(]r,+\infty[)\) such that \(I_{\lambda}(u_{0,\lambda})\leq I_{\lambda}(u)\) for all \(u\in \Phi^{-1}(]r,+\infty[)\) and \(I'_{\lambda}(u_{0,\lambda})=0\).
Let \(h:[a,b]\times\mathbb{R}\rightarrow[0,+\infty)\) be a bounded and continuous function with
and \(f:[a,b]\times\mathbb{R}\to\mathbb{R}\) be an \(L^{1}\)-Carathéodory function.
We recall that \(f:[a,b]\times\mathbb{R}\rightarrow\mathbb{R}\) is an \(L^{1}\)-Carathéodory function if
-
(a)
\(x\mapsto f(x,\xi)\) is measurable for every \(\xi\in \mathbb{R}\);
-
(b)
\(\xi\mapsto f(x,\xi)\) is continuous for almost every \(x\in[a,b]\);
-
(c)
for every \(\rho>0\), there is a function \(l_{\rho}\in L^{1}([a,b])\) such that
$$\sup_{|\xi|\leq\rho}\bigl|f(x,\xi)\bigr|\leq l_{\rho}(x), $$for almost every \(x\in[a,b]\).
Corresponding to f and h, we introduce the functions \(F:[a,b]\times\mathbb{R}\rightarrow\mathbb{R}\) and \(H:[a,b]\times\mathbb{R}\rightarrow[0,+\infty)\), respectively, as follows:
and
for all \(x\in[a,b]\) and \(t\in\mathbb{R}\). Also, we use the following notation:
Here and in the following, let \(X:=W_{0}^{1,p}([a,b])\) equipped with the norm
Then, X is a reflexive real Banach space. Since \(p>1\), X is compactly embedded in \(C^{0}([a,b])\) and
for all \(u\in X\) (see, e.g., [12]).
By a classical solution of problem (1.2), we mean a function u such that \(u\in C^{1}([a,b])\), \(u'\in AC([a,b])\), and \(u(x)\) satisfies (1.2) a.e. on \([a,b]\). We say that a function \(u\in X\) is a weak solution of problem (1.2) if
for all \(v\in X\).
The following lemma is taken from [6], Lemma 2.2.
Lemma 2.3
A weak solution to (1.2) in X coincides with a classical solution to (1.2).
We cite recent monographs [13–15] as general references for the basic notions used in the paper.
3 Main results
In this section we present our main results. To be precise, we establish an existence result of at least one solution, Theorem 3.1, which is based on Theorem 2.1, and we point out some consequences, Theorems 3.2, 3.3 and 3.4. Finally, we present another existence result of at least one solution, Theorem 3.7, which is based in turn on Theorem 2.2.
Throughout the sequel, α, β are two positive constants such that \(\alpha+\beta< b-a\). Now, put
Given two nonnegative constants c, d, with
put
Theorem 3.1
Assume that there exist a nonnegative constant \(c_{1}\) and two positive constants \(c_{2}\), d, with
such that
- (A1):
-
\(F(x,t) \geq0\) for all \((x,t)\in([a,a+\alpha]\cup [b-\beta,b])\times[0,d]\);
- (A2):
-
\(a_{d}(c_{2})< a_{d}(c_{1})\).
Then, for each
problem (1.2) admits at least one nontrivial classical solution \(\bar{u}\in X\) such that
Proof
Our aim is to apply Theorem 2.1 to our problem. To this end, for each \(u\in X\), let the functionals \(\Phi,\Psi:X\rightarrow\mathbb{R}\) be defined by
and
and put
Note that the weak solutions of (1.2) are exactly the critical points of \(I_{\lambda}\). The functionals Φ and Ψ satisfy the regularity assumptions of Theorem 2.1. Indeed, by standard arguments, we have that Φ is continuously Gâteaux differentiable and its Gâteaux derivative is the functional \(\Phi'(u)\in X^{\ast}\) given by
for every \(v\in X\). Since \(\Phi'\) is monotone (see the proof of [6], Lemma 2.1), by applying [16], Proposition 25.20, Φ is sequentially weakly lower semicontinuous. Again by [6], Lemma 2.1, \(\Phi':X\rightarrow X^{\ast}\) admits a continuous inverse. On the other hand, the fact that X is compactly embedded into \(C^{0}([a,b])\) implies that the functional Ψ is well defined, continuously Gâteaux differentiable and with compact derivative, whose Gâteaux derivative is given by
for every \(v\in X\).
Also, since \(m\leq h(x,t)\leq M\) for all \((x,t)\in[a,b]\times\mathbb{R}\), we see that
Now, put
and
It is easy to verify that \(w\in X\) and, in particular, one has
So, from (3.2), we have
From condition (3.1), we obtain \(r_{1}<\Phi(w)<r_{2}\). For all \(u\in X\) such that \(\Phi(u)< r_{2}\), taking (2.3) into account, one has \(|u(x)|< c_{2}\) for all \(x\in[a,b]\), from which it follows
Arguing as before, we obtain
Since \(0\leq w(x)\leq d\) for each \(x\in[a,b]\), assumption (A1) ensures that
Then we get
and thus \(a_{d}(c_{2})\geq0\). At this point, one has
Since \(a_{d}(c_{2})\geq0\), hypothesis (A2) implies that
So, one has
Hence, from assumption (A2), one has \(\beta(r_{1},r_{2})<\rho_{2}(r_{1},r_{2})\). Therefore, from Theorem 2.1, for each \(\lambda\in\frac{1}{(b-a)^{p-1}pmM} ]\frac{1}{a_{d}(c_{1})},\frac {1}{a_{d}(c_{2})} [\), the functional \(I_{\lambda}\) admits at least one critical point \(\bar{u}\) such that
that is,
So, applying Lemma 2.3, the conclusion is achieved. □
Now, we point out an immediate consequence of Theorem 3.1.
Theorem 3.2
Assume that there exist two positive constants c, d, with
such that assumption (A1) in Theorem 3.1 holds. Furthermore, suppose that
- (A3):
-
$$\frac{ \int_{a}^{b}\max_{|t|\leq c}F(x,t)\,dx}{ m(2c)^{p}}< \frac{ \int_{a+\alpha}^{b-\beta }F(x,d)\,dx}{ Dd^{p}(b-a)^{p-1}pM}. $$
Then, for each
problem (1.2) admits at least one nontrivial classical solution \(\bar{u}\in X\) such that \(|\bar{u}(x)|< c\) for all \(x\in[a,b]\).
Proof
The conclusion follows from Theorem 3.1, by taking \(c_{1}=0\) and \(c_{2}=c\). Indeed, owing to assumption (A3), one has
On the other hand, one has
Hence, taking assumption (A3) and (2.3) into account, Theorem 3.1 ensures the conclusion. □
Now, we point out a special situation of our main result when the nonlinear term has separable variables. To be precise, let \(\gamma\in L^{1}([a,b])\) such that \(\gamma(x)\geq0\) a.e. \(x\in [a,b]\), \(\gamma\not\equiv0\), and let \(g:\mathbb{R}\rightarrow\mathbb{R}\) be a nonnegative continuous function. Consider the following Dirichlet boundary value problem:
Put \(G(t):=\int_{0}^{t} g(\xi)\,d\xi\) for all \(t\in\mathbb{R}\), and set \(\|\gamma\|_{1}:=\int_{a}^{b}\gamma(x)\,dx\).
Theorem 3.3
Assume that there exist two positive constants c, d, with
such that
- (A4):
-
$$\frac{G(c)}{c^{p}} < \biggl(\frac{ 2^{p}m\int_{a+\alpha}^{b-\beta}\gamma(x)\,dx}{ D(b-a)^{p-1}pM\|\gamma\|_{1}} \biggr)\frac{G(d)}{d^{p}}. $$
Then, for each
problem (3.3) admits at least one positive classical solution \(\bar{u}\in X\) such that \(\bar{u}(x)< c\) for all \(x\in[a,b]\).
Proof
Put \(f(x,\xi):=\gamma(x)g(\xi)\) for all \((x,\xi)\in [a,b]\times\mathbb{R}\). Clearly, one has \(F(x,t)=\gamma(x)G(t)\) for all \((x,t)\in[a,b]\times\mathbb{R}\). Therefore, taking into account that G is a nondecreasing function, Theorem 3.2 ensures the existence of a non-zero classical solution \(\bar{u}\). We claim that it is nonnegative. In fact, arguing by contradiction and setting \(A:=\{x\in[a,b] : \bar{u}(x)<0\}\), one has \(A\neq\varnothing\). Put \(\bar{v}:=\min\{\bar{u},0\}\), one has \(\bar{v}\in X\). So, taking into account that \(\bar{u}\) is a weak solution and by choosing \(v=\bar{v}\), from our sign assumptions on the data, one has
On the other hand,
So, \(\|\bar{u}\|_{W_{0}^{1,p}(A)}=0\), which is absurd. Hence, our claim is proved. Now, owing to the strong maximum principle (see, e.g., [17], Theorem 11.1) the classical solution \(\bar{u}\), being non-zero, is positive and the conclusion is achieved. □
We now give a special case of our main result as follows.
Theorem 3.4
Assume that
- (A5):
-
\(\lim_{t\to0^{+}}\frac {g(t)}{t^{p-1}}=+\infty\).
Furthermore, for each \(c>0\), set
Then, for every \(\lambda\in\,]0,\lambda_{c}^{\star}[\), problem (3.3) admits at least one positive classical solution.
Proof
Fix \(c>0\) and \(\lambda\in\,]0,\lambda_{c}^{\star}[\). From (A5) we get \(\lim_{t\to0^{+}}\frac{t^{p}}{G(t)}=0\). Thus, there exists a positive constant d satisfying
such that
Hence, owing to Theorem 3.3, for every \(\lambda\in\,]0,\lambda_{c}^{\star}[\), problem (3.3) admits at least one positive classical solution \(\bar{u}\in X\). The proof is complete. □
Remark 3.5
We claim that under the above assumptions, the mapping \(\lambda\mapsto I_{\lambda}(\bar{u})\) is negative and strictly decreasing in \(]0,\lambda_{c}^{\star}[\). Indeed, the restriction of the functional \(I_{\lambda}\) to \(\Phi^{-1}(]0,r_{2}[)\), where \(r_{2}:=\frac{(2c_{2})^{p}}{(b-a)^{p-1}pM}\), admits a global minimum, which is a critical point (local minimum) of \(I_{\lambda}\) in X. Moreover, since \(w\in\Phi^{-1}(]0,r_{2}[)\) and
we have
Next, we observe that
for every \(u\in X\) and fix \(0<\lambda_{1}<\lambda_{2}<\lambda_{c}^{\star}\). Set
and
Clearly, as claimed before, \(m_{\lambda_{i}}<0\) (for \(i=1,2\)), and \(m_{\lambda_{2}}\leq m_{\lambda_{1}}\) thanks to \(\lambda_{1}<\lambda_{2}\). Then the mapping \(\lambda\mapsto I_{\lambda}(\bar{u})\) is strictly decreasing in \(]0,\lambda_{c}^{\star}[\) owing to
This concludes the proof of our claim.
Remark 3.6
In other words, Theorem 3.4 ensures that if the asymptotic condition at zero (A5) is verified, then, for every parameter λ belonging to the real interval \(]0,\lambda^{\star}[\), where
problem (3.3) admits at least one positive classical solution \(\bar{u}\in X\).
Finally, we present an application of Theorem 2.2 which we will use in the next section to obtain multiple solutions.
Theorem 3.7
Assume that there exist two constants \(\bar{c},\bar{d}\), with
such that
- (A6):
-
\(\int_{a}^{b}\max_{|t|\leq\bar {c}}F(x,t)\,dx<\int_{a+\alpha}^{b-\beta}F(x,\bar{d})\,dx\);
- (A7):
-
\(\limsup_{|t|\rightarrow+\infty}\frac {F(x,t)}{|t|^{p}}\leq 0\) uniformly in x.
Then, for each \(\lambda>\tilde{\lambda}\), where
problem (1.2) admits at least one nontrivial classical solution \(\tilde{u}\in X\) such that
Proof
The functionals Φ and Ψ defined in the proof of Theorem 3.1 satisfy all regularity assumptions requested in Theorem 2.2. Moreover, by standard computations, assumption (A7) implies that \(I_{\lambda}\), \(\lambda>0\), is coercive. So, our aim is to verify condition (2.2) of Theorem 2.2. To this end, put
and
Arguing as in the proof of Theorem 3.1, we obtain that
So, from our assumption it follows that \(\rho(r)>0\).
Hence, from Theorem 2.2 for each \(\lambda>\tilde{\lambda}\), the functional \(I_{\lambda}\) admits at least one local minimum \(\tilde{u}\) such that
and the conclusion is achieved. □
4 Multiplicity results
The main aim of this section is to present multiplicity results. First, as a consequence of Theorem 3.1, taking into account the classical theorem of Ambrosetti and Rabinowitz, we have the following multiplicity result.
Theorem 4.1
Let the assumptions of Theorem 3.1 be satisfied, and \(f(\cdot,0)\neq0\) in \((a,b)\). Moreover, let
- (A8):
-
there exist positive constants ν and R such that \(\nu m>pM\), and for all \(|t|\geq R\) and \(x\in[a,b]\), one has
$$ 0< \nu F(x,t)\leq t\cdot f(x,t). $$
Then, for each
problem (1.2) admits at least two nontrivial classical solutions \(\bar{u}_{1}\), \(\bar{u}_{2}\) such that
Proof
Fix λ as in the conclusion. So, Theorem 3.1 ensures that problem (1.2) admits at least one nontrivial classical solution \(\bar{u}_{1}\) satisfying condition (4.1) which is a local minimum of the functional \(I_{\lambda}\).
Now, we prove the existence of the second solution distinct from the first one. To this end, we must show that the functional \(I_{\lambda}\) satisfies the hypotheses of the mountain pass theorem.
Clearly, the functional \(I_{\lambda}\) is of class \(C^{1}\) and \(I_{\lambda}(0)=0\).
We can assume that \(\bar{u}_{1}\) is a strict local minimum for \(I_{\lambda}\) in X. Therefore, there is \(\rho>0\) such that \(\inf_{\|u-\bar{u}_{1}\|=\rho}I_{\lambda}(u)>I_{\lambda}(\bar{u}_{1})\), so condition [18], \((I_{1})\), Theorem 2.2, is verified.
From (A8), by standard computations, there is a positive constant C such that
for all \(x\in[a,b]\) and \(|t|>R\). In fact, setting \(a(x):=\min_{|\xi|=R}F(x,\xi)\) and
by (A8), for every \(x\in[a,b]\) and \(|t|>R\), one has
Therefore,
Then
Taking into account (4.3), we obtain
where \(C>0\) is a constant. Thus, (4.2) is proved. Now, choosing any \(u\in X\setminus\{0\}\), one has
as \(t\rightarrow+\infty\) (since \(\nu>p\)). So, the functional \(I_{\lambda}\) is unbounded from below and condition [18], \((I_{2})\), Theorem 2.2, is verified. Therefore, \(I_{\lambda}\) satisfies the geometry of mountain pass.
Now, to verify the Palais-Smale condition, it is sufficient to prove that any sequence of Palais-Smale is bounded. To this end, taking into account (A8) one has
If \(\{u_{n}\}\) is not bounded, from (4.4) we have a contradiction. Thus, \(I_{\lambda}\) satisfies the Palais-Smale condition.
Hence, the classical theorem of Ambrosetti and Rabinowitz ensures a critical point \(\bar{u}_{2}\) of \(I_{\lambda}\) such that \(I_{\lambda}(\bar{u}_{2})>I_{\lambda}(\bar{u}_{1})\). So, \(\bar{u}_{1}\) and \(\bar{u}_{2}\) are two distinct classical solutions of (1.2) and the proof is complete. □
Corollary 4.2
Assume that there exist two positive constants c, d, with
such that (A4) holds. Assume also that
- (A9):
-
there exist positive constants ν and R such that \(\nu m>pM\), and for all \(|t|\geq R\), one has
$$0< \nu G(t)\leq t\cdot g(t). $$
Then, for each
problem (3.3) admits at least two nonnegative classical solutions \(\bar{u}_{1}\), \(\bar{u}_{2}\) such that \(\bar{u}_{1}(x)< c\) for all \(x\in[a,b]\).
Corollary 4.3
Assume that (A5) and (A9) are satisfied. Then, for each \(\lambda\in]0,\lambda^{\star}[\), problem (3.3) admits at least two nonnegative classical solutions.
Next, as a consequence of Theorems 3.7 and 3.2, the following theorem of the existence of three classical solutions is obtained, and its consequence for the nonlinearity with separable variables is presented.
Theorem 4.4
Assume that (A7) holds. Moreover, assume that there exist four positive constants c, d, \(\bar{c}\), \(\bar{d}\), with
such that (A3), (A6) and
- (A10):
-
$$\frac{ \int_{a}^{b}\max_{|t|\leq c} F(x,t)\,dx}{ (2c)^{p}} < \frac{ m (\int_{a+\alpha}^{b-\beta} F(x,\bar{d})\,dx-\int_{a}^{b}\max_{|t|\leq\bar{c}}F(x,t)\,dx )}{ D\bar{d}^{p}(b-a)^{p-1}pM-m(2\bar{c})^{p}} $$
are satisfied. Then, for each
problem (1.2) admits at least three classical solutions.
Proof
First, we observe that \(\Lambda\neq\varnothing\) owing to (A10). Next, fix \(\lambda\in\Lambda\). Theorem 3.2 ensures a nontrivial classical solution \(\bar{u}\) such that
which is a local minimum for the associated functional \(I_{\lambda}\), as well as Theorem 3.7 guarantees a nontrivial classical solution \(\tilde{u}\) such that
which is a local minimum for \(I_{\lambda}\). Hence, the mountain pass theorem as given by Pucci and Serrin (see [11]) ensures the conclusion. □
Theorem 4.5
Assume that
- (A11):
-
\(\limsup_{t\rightarrow0^{+}}\frac{G(t)}{t^{p}}=+\infty\);
- (A12):
-
\(\limsup_{t\rightarrow+\infty}\frac{G(t)}{t^{p}}=0\).
Further, assume that there exist two positive constants \(\bar{c}\), \(\bar{d}\), with
such that
- (A13):
-
$$\frac{G(\bar{c})}{\bar{c}^{p}} < \biggl(\frac{ 2^{p}m\int_{a+\alpha}^{b-\beta}\gamma(x)\,dx}{ D(b-a)^{p-1}pM\|\gamma\|_{1}} \biggr) \frac{G(\bar{d})}{\bar{d}^{p}}. $$
Then, for each
problem (3.3) admits at least three nonnegative classical solutions.
Proof
Clearly, (A12) implies (A7). Moreover, by choosing d small enough and \(c=\bar{c}\), simple computations show that (A11) implies (A3). Finally, from (A13) we get (A6) and, arguing as in the proof of Theorem 3.2, also (A10). Hence, Theorem 4.4 ensures the conclusion. □
Remark 4.6
If \(g(0)\neq0\), Corollaries 4.2 and 4.3 ensure two positive classical solutions while Theorem 4.5 ensures three positive classical solutions (see the proof of Theorem 3.3).
Finally, we present the following example to illustrate our results.
Example 4.7
Consider the following Dirichlet problem:
where
Then \(h:\mathbb{R}\rightarrow[0,+\infty)\) is a bounded and continuous function with
Let \(g(t):=\frac{1}{6}+|t|^{2}t\) for all \(t\in\mathbb{R}\). Obviously, \(g(0)\neq0\). Since
condition (A5) holds true. Choose \(\nu=3\) and \(R=2\), we have \(\nu m>pM\), and
for all \(|t|\geq2\). Moreover, one has
Then, owing to Corollary 4.3 and Remark 4.6, for each \(\lambda\in \,]0,\frac{96}{19(e-1)} [\), problem (4.5) admits at least two positive classical solutions.
References
Rădulescu, V: Finitely many solutions for a class of boundary value problems with superlinear convex nonlinearity. Arch. Math. (Basel) 84, 538-550 (2005)
Molica Bisci, G, Repovš, D: On sequences of solutions for discrete anisotropic equations. Expo. Math. 32, 284-295 (2014)
Agarwal, RP, Hong, H-L, Yeh, C-C: The existence of positive solutions for the Sturm-Liouville boundary value problems. Comput. Math. Appl. 35, 89-96 (1998)
Agarwal, RP, Bohner, M, Wong, PJ: Sturm-Liouville eigenvalue problems on time scales. Appl. Math. Comput. 99, 153-166 (1999)
Agarwal, RP, O’Regan, D: An Introduction to Ordinary Differential Equations. Springer, New York (2008)
Graef, JR, Heidarkhani, S, Kong, L: A critical points approach for the existence of multiple solutions of a Dirichlet quasilinear system. J. Math. Anal. Appl. 388, 1268-1278 (2012)
Ricceri, B: A three critical points theorem revisited. Nonlinear Anal. 70, 3084-3089 (2009)
Afrouzi, GA, Hadjian, A: Infinitely many solutions for a class of Dirichlet quasilinear elliptic systems. J. Math. Anal. Appl. 393, 265-272 (2012)
Afrouzi, GA, Hadjian, A, Heidarkhani, S: Non-trivial solutions for a two-point boundary value problem. Ann. Pol. Math. 108, 75-84 (2013)
Ambrosetti, A, Rabinowitz, PH: Dual variational methods in critical point theory and applications. J. Funct. Anal. 14, 349-381 (1973)
Pucci, P, Serrin, J: A mountain pass theorem. J. Differ. Equ. 60, 142-149 (1985)
Talenti, G: Some inequalities of Sobolev type on two-dimensional spheres. In: Walter, W (ed.) General Inequalities, vol. 5. Internat. Ser. Numer. Math., vol. 80, pp. 401-408. Birkhäuser, Basel (1987)
Ciarlet, PG: Linear and Nonlinear Functional Analysis with Applications. SIAM, Philadelphia (2013)
Ghergu, M, Rădulescu, V: Singular Elliptic Problems: Bifurcation and Asymptotic Analysis. Oxford Lecture Ser. Math. Appl., vol. 37. Oxford University Press, New York (2008)
Kristály, A, Rădulescu, V, Varga, C: Variational Principles in Mathematical Physics, Geometry, and Economics: Qualitative Analysis of Nonlinear Equations and Unilateral Problems. Encyclopedia Math. Appl., vol. 136. Cambridge University Press, Cambridge (2010)
Zeidler, E: Nonlinear Functional Analysis and Its Applications, vols. II/B and III. Springer, Berlin (1985)
Pucci, P, Serrin, J: The strong maximum principle revisited. J. Differ. Equ. 196, 1-66 (2004); Erratum, ibid. 207, 226-227 (2004)
Rabinowitz, PH: Minimax Methods in Critical Point Theory with Applications to Differential Equations. CBMS Reg. Conf. Ser. Math., vol. 65. Am. Math. Soc., Providence (1986)
Acknowledgements
V Rădulescu acknowledges the support through Grant CNCS-PCE-47/2011.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.
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
Afrouzi, G.A., Hadjian, A. & Rădulescu, V.D. A variational approach of Sturm-Liouville problems with the nonlinearity depending on the derivative. Bound Value Probl 2015, 81 (2015). https://doi.org/10.1186/s13661-015-0342-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-015-0342-4