Abstract
We consider a nonlinear elliptic equation driven by a nonhomogeneous differential operator plus an indefinite potential. On the reaction term we impose conditions only near zero. Using variational methods, together with truncation and perturbation techniques and critical groups, we produce three nontrivial solutions with sign information. In the semilinear case we improve this result by obtaining a second nodal solution for a total of four nontrivial solutions. Finally, under a symmetry condition on the reaction term, we generate a whole sequence of distinct nodal solutions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \subseteq \mathbb {R}^N\) be a bounded domain with a \(C^2\)-boundary \(\partial \Omega \). In this paper we study the following nonlinear nonhomogeneous Robin problem
In this problem, the map \(a:\mathbb {R}^{\mathbb {N}}\rightarrow \mathbb {R}^{\mathbb {N}}\) involved in the differential operator is a continuous, strictly monotone (thus maximal monotone operator, too) map which satisfies certain other regularity and growth conditions listed in hypotheses H(a) below. These conditions are general enough to generate a broad framework that incorporates many differential operators of interest, such as the p-Laplacian and the (p, q)-Laplacian (that is, the sum of a p-Laplacian and a q-Laplacian, with \(1<q<p<\infty \)). Note that in general, the differential operator \(u\mapsto \mathrm{div}\, a(Du)\) is not homogeneous. The potential function \(\xi (\cdot )\in L^{\infty }(\Omega )\) and in general, \(\xi (\cdot )\) is nodal (that is, sign changing). So, the left-hand side of problem (1) needs not be coercive. The reaction term f(z, x) is a Carathéodory function (that is, for all \(x\in \mathbb {R}\), the mapping \( z\mapsto f(z,x)\) is measurable, while for almost all \(z\in \Omega \), the mapping \( x\mapsto f(z,x)\) is continuous). The special feature of our paper is that no global growth condition is imposed on \(f(z,\cdot )\). The only conditions imposed on \(f(z,\cdot )\) concern its behavior near zero and that \(f(z,\cdot )\) must be locally \(L^{\infty }\)-bounded. In the boundary condition, \(\frac{\partial u}{\partial n_{a}}\) denotes the generalized normal derivative corresponding to the map \(a(\cdot )\). It is defined by extension of the map
with \(n(\cdot )\) being the outward unit normal on \(\partial \Omega \). This kind of conormal derivative is dictated by the nonlinear Green identity (see Gasinski and Papageorgiou [9, p. 210]) and was also used by Lieberman [15] in his nonlinear regularity theory. The boundary coefficient is \(\beta \in C^{0,\alpha }(\partial \Omega )\), with \(0<\alpha <1\) and \(\beta (z)\geqslant 0\) for all \(z\in \partial \Omega \).
The aim of the present paper is to prove a multiplicity theorem for such equations, providing sign information for all solutions produced. Wang [32] was the first to study elliptic problems with a general reaction term of arbitrary growth. The equation studied by Wang [32] was a nonlinear problem driven by Dirichlet p-Laplacian with zero potential. Using cut-off techniques and imposing a symmetry condition on \(f(z,\cdot )\) (that is, assuming that \(f(z,\cdot )\) is odd), Wang [32] produced an infinity of nontrivial solutions. More recently, Li and Wang [14], using similar tools, improved this result by producing an infinity of nodal solutions for semilinear Schrödinger equations. Their result was extended by Papageorgiou and Rădulescu [21] who considered nonlinear, nonhomogeneous Robin problems with zero potential (that is, \(\xi \equiv 0\)). Assuming that the reaction term \(f(z,\cdot )\) has zeros of constant sign and that it is odd, they produced an infinity of smooth nodal solutions. We also mention the recent work of Papageorgiou and Winkert [23], who considered a reaction term of general growth and with zeros. Under stronger conditions on the map \(a(\cdot )\) and with zero potential, they produced constant sign and nodal solutions. We refer to Pucci et al. [2, 4] for eigenvalue problems associated to p-Laplacian type operators. Related results in the framework of problems with unbalanced growth are due to Fiscella and Pucci [8], and Papageorgiou et al. [26]. Finally, we also point out the papers of He et al. [11] on nonlinear, nonhomogeneous Neumann problems with nonnegative potential (that is, \(\xi \geqslant 0\), \(\xi \not \equiv 0\)), Iturriaga et al. [12] on parametric equations driven by Dirichlet p-Laplacian with zero potential and a reaction with zeros, and Tan and Fang [30] on nonlinear, nonhomogeneous Dirichlet problems using the formalism of Orlicz spaces.
2 Mathematical Background
Let X be a Banach space and \(X^{*}\) its topological dual. By \(\left\langle \cdot ,\cdot \right\rangle \) we denote the duality brackets for the pair \((X^{*},X)\). Given \(\varphi \in C^{1}(X,\mathbb {R})\), we say that \(\varphi \) satisfies the “Cerami condition” (the C-condition for short), if the following property holds:
“Every sequence \(\{u_n\}_{n\geqslant 1}\subseteq X\) such that \(\{\varphi (u_n)\}_{n\geqslant 1}\subseteq \mathbb {R}\) is bounded and
admits a strongly convergent subsequence”.
This compactness-type condition on the functional \(\varphi \), leads to a deformation theorem from which one can derive the minimax theory for the critical values of \(\varphi \). A fundamental result in this theory is the so-called “mountain pass theorem”.
Theorem 1
Let X be a Banach space and assume that \(\varphi \in C^{1}(X,\mathbb {R})\) satisfies the C-condition, \(u_0, u_1\in X\), \(||u_1-u_0||>\rho >0\),
and
Then \(c\geqslant m_\rho \) and c is a critical value of \(\varphi \).
Let \(k\in C^{1}(0,\infty )\) with \(k(t)>0\) for all \(t>0\). We assume that
for \(1\leqslant s<p\)
We introduce the following conditions on the map \(\alpha (\cdot )\) (see also Papageorgiou and Rădulescu [20, 22]):
H(a) : \(a(y)=a_0(|y|)y\) for all \(y\in \mathbb {R}\) with \(a_0(t)>0\) for all \(t>0\) and
- (i)
\(a_0\in C^1(0,\infty ), t\mapsto a_0(t)t\) is strictly increasing on \((0, \infty ), a_0(t)t\rightarrow 0^+\) as \(t\rightarrow 0^+\) and
$$\begin{aligned} \lim _{t\rightarrow 0^+}\frac{a'_0(t)t}{a_0(t)}>-1; \end{aligned}$$ - (ii)
\(|\nabla a(y)|\leqslant c_3\frac{k(|y|)}{|y|}\) for all \(y\in \mathbb {R}^\mathbb {N}\backslash \{0\}\), and for some \(c_3>0\);
- (iii)
\((\nabla a(y)\xi ,\xi )_{\mathbb {R}^\mathbb {N}}\geqslant \frac{k(|y|)}{|y|}|\xi |^2\) for all \(y\in \mathbb {R}^\mathbb {N}\backslash \{0\}\), \(\xi \in \mathbb {R}^\mathbb {N}\);
- (iv)
for \(G_0(t)=\int ^t_0 a_0(s)s\ ds\) for all \(t>0\), we can find \(\tau \in (1,p]\) such that
$$\begin{aligned}&\limsup _{t\rightarrow 0^+}\frac{\tau G_0(t)}{t^\tau }\leqslant c^*,\\&t\mapsto G_0(t^{\frac{1}{\tau }})\ \text{ is } \text{ convex. } \end{aligned}$$
Remark 1
Hypotheses H(a)(i), (ii), (iii) were dictated by the nonlinear regularity theory of Lieberman [15] and the nonlinear maximum principle of Pucci and Serrin [27, pp. 111, 120]. Hypothesis H(a)(iv) serves the needs of our problem. It is a mild condition and it is satisfied in all cases of interest (see the examples below). Evidently, \(G_0(\cdot )\) is strictly convex and strictly increasing. We set \(G(y)=G_0(|y|)\) for all \(y\in \mathbb {R}^N\). Then \(G\in C^1(\mathbb {R}^N,\mathbb {R}),\ G(\cdot )\) is convex, \(G(0)=0\), and we have
Hence \(G(\cdot )\) is the primitive of \(a(\cdot )\) and so by a well-known property of convex functions, we have
The following lemma is an easy consequence of hypotheses H(a) and summarizes the main properties of \(a(\cdot )\) (see Papageorgiou and Rădulescu [20]).
Lemma 2
If hypotheses H(a)(i), (ii), (iii) hold, then
- (a)
\(y\mapsto a(y)\) is continuous and strictly monotone (thus maximal monotone operator, too);
- (b)
\(|a(y)|\leqslant c_4(|y|^{s-1}+|y|^{p-1})\) for all \(y\in \mathbb {R}^\mathbb {N}\), with \(c_4>0\);
- (c)
\((a(y),y)_{\mathbb {R}^\mathbb {N}}\geqslant \frac{c_1}{p-1}|y|^p\) for all \(y\in \mathbb {R}^\mathbb {N}\) (see (2)).
Then this lemma and (3) lead to the following growth restrictions for the primitive \(G(\cdot )\).
Corollary 3
If hypotheses H(a)(i), (ii), (iii) hold, then \(\frac{c_1}{p(p-1)}|y|^p\leqslant G(y)\leqslant c_5(1+|y|^p)\) for all \(y\in \mathbb {R}^\mathbb {N}\) and for some \(c_5>0\).
Next, we present some characteristic examples of differential operators which fit in the framework provided by hypotheses H(a) (see Papageorgiou and Rădulescu [20]).
Example 1
- (a)
\(a(y)=|y|^{p-2}y\) with \(1<p<\infty \).
The corresponding differential operator is the p-Laplacian defined by
$$\begin{aligned} \Delta _p u = \mathrm{div}\,(|Du|^{p-2}Du)\quad \text{ for } \text{ all }\, u\in W^{1,p}(\Omega ). \end{aligned}$$ - (b)
\(a(y)=|y|^{p-2}y+|y|^{q-2}y\) with \(1<q<p<\infty \).
The corresponding differential operator is the (p, q)-Laplacian defined by
$$\begin{aligned} \Delta _p u+\Delta _q u\quad \text{ for } \text{ all }\, u\in W^{1,p}(\Omega ). \end{aligned}$$
Such operators arise in problems of mathematical physics and recently there have been some existence and multiplicity results for equations driven by such operators, see Cingolani and Degiovanni [3], Mugnai and Papageorgiou [17], Papageorgiou and Rădulescu [18], Papageorgiou et al. [24], Sun [28], and Sun et al. [29].
- (c)
\(a(y)=(1+|y|^2)^{\frac{p-2}{p}}y\) with \(1<p<\infty \).
The corresponding differential operator is the generalized p-mean curvature differential operator defined by
$$\begin{aligned} \mathrm{div}\,([1+|Du|^2]^{\frac{p-2}{p}}Du)\quad \text{ for } \text{ all }\, u\in W^{1,p}(\Omega ). \end{aligned}$$ - (d)
\(a(y)=|y|^{p-2}y\left[ 1+\frac{1}{1+|y|^p}\right] \) with \(1<p<\infty \).
The corresponding differential operator is defined by
$$\begin{aligned} \Delta _p u + \mathrm{div}\,\left( \frac{|Du|^{p-2}Du}{1+|Du|^2}\right) \quad \text{ for } \text{ all }\, u\in W^{1,p}(\Omega ). \end{aligned}$$Such operators arise in problems of plasticity.
Now let \(A:W^{1,p}(\Omega )\rightarrow W^{1,p}(\Omega )^*\) be the nonlinear map defined by
Proposition 4
If hypotheses H(a)(i), (ii), (iii) hold, then A is continuous, monotone (hence maximal monotone, too) and of type \((S)_+\), that is, if \(u_n\xrightarrow {w}u\) in \(W^{1,p}(\Omega )\) and
then \(u_n\rightarrow u\) in \(W^{1,p}(\Omega )\).
The following spaces will be used in the analysis of problem (1):
We denote by \(||\cdot ||\) the norm of \(W^{1,p}(\Omega )\) given by
The Banach space \(C^1(\overline{\Omega })\) is an ordered Banach space with positive (order) cone given by
This cone has a nonempty interior containing the set
On \(\partial \Omega \) we consider the \((N-1)\)-dimensional Hausdorff (surface) measure \(\sigma (\cdot )\). Using this measure, we can define in the usual way the “boundary” Lebesgue spaces \(L^q(\partial \Omega )\) (for \(1\leqslant q\leqslant \infty \)). From the theory of Sobolev spaces we know that there exists a unique continuous linear map \(\gamma _0:W^{1,p}(\Omega )\rightarrow L^p(\partial \Omega )\) known as the “trace map”, such that
Hence the trace map assigns boundary values to any Sobolev function. The trace map is compact into \(L^q(\partial \Omega )\) for all \(q\in \left[ 1, \frac{p(N-1)}{N-p}\right) \) if \(p<N\) and for all \(q\in [1,+\infty )\) if \(p\geqslant N\). Also, we have
In what follows, for the sake of notational simplicity, we drop the use of the map \(\gamma _0\). All restrictions of Sobolev functions on \(\partial \Omega \) are understood in the sense of traces.
For \(x\in \mathbb {R}\), let \(x^{\pm }=\max \{\pm x,0\}\). Then for any function \(u(\cdot )\) we define
If \(u\in W^{1,p}(\Omega )\), then \(u^\pm \in W^{1,p}(\Omega ),\ u = u^+-u^-\) and \(|u|=u^++u^-\).
Our hypotheses on the potential function \(\xi (\cdot )\) and the boundary coefficient \(\beta (\cdot )\) are the following:
\(H(\xi )\): \(\xi \in L^\infty (\Omega )\);
\(H(\beta )\): \(\beta \in C^{0,\alpha }(\partial \Omega )\) with \(\alpha \in (0,1)\) and \(\beta (z)\geqslant 0\) for all \(x\in \partial \Omega \).
Remark 2
If \(\beta \equiv 0\), then we recover the Neumann problem.
Let \(\gamma :W^{1,p}(\Omega )\rightarrow \mathbb {R}\) be the \(C^1\)-functional defined by
Also, let \(f_0:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) be a Carathéodory function such that
with \(a_0\in L^\infty (\Omega )_+, 1<r\leqslant p^*\) where \(p^*=\left\{ \begin{array}{ll} \frac{Np}{N-p} &{}\quad \text{ if }\, p<N \\ +\infty &{}\quad \text{ if }\, p\geqslant N \end{array}\right. \) (the critical Sobolev exponent). Let \(F_0(z,x)=\int ^x_0f_0(z,s)ds\) and consider the \(C^1\)-functional \(\psi _0:W^{1,p}(\Omega )\rightarrow \mathbb {R}\) defined by
The following result is due to Papageorgiou and Rădulescu [22] and is an outgrowth of the nonlinear regularity theory of Lieberman [15].
Proposition 5
Assume that hypotheses \(H(a)(i), (ii), (iii), H(\xi ), H(\beta )\) hold and \(u_0\in W^{1,p}(\Omega )\) is a local \(C^1(\overline{\Omega })\)-minimizer of \(\psi _0\), that is, there exists \(\rho _0>0\) such that
Then \(u_0\in C^{1,\eta }(\overline{\Omega })\) for some \(\eta \in (0,1)\) and \(u_0\) is also a local \(W^{1,p}(\Omega )\)-minimizer of \(\psi _0\), that is, there exists \(\rho _1>0\) such that
In the special case of semilinear equations (that is, when \(a(y)=y\) for all \(y\in \mathbb {R}^\mathbb {N}\)), we will be able to improve the multiplicity theorem and produce additional nodal solutions. In this case we can also relax the requirements on the potential function \(\xi (z)\) and make use of the spectrum of \(u\mapsto -\Delta u+\xi (z)u\) with Robin boundary condition.
So, we consider the following linear eigenvalue problem
Now we assume that
We consider the \(C^1\)-functional \(\hat{\gamma }:H^1(\Omega )\rightarrow \mathbb {R}\) defined by
From D’Agui et al. [5], we know that there exists \(\mu >0\) such that
Using (5) and the spectral theorem for compact self-adjoint operators on a Hilbert space, we show that the spectrum \(\hat{\sigma }(2)\) of (4) consists of a sequence \(\{\hat{\lambda }_k\}_{k\geqslant 1}\) of distinct eigenvalues which satisfy \(\hat{\lambda }_k\rightarrow +\infty \) as \(k\rightarrow +\infty \). By \(E(\hat{\lambda }_k)\) we denote the corresponding eigenspace. We can say the following about these items:
- (i)
\(\hat{\lambda }_1\) is simple (that is, \(\dim E(\hat{\lambda }_1)=1\)) and
$$\begin{aligned} \hat{\lambda }_1 = \inf \left\{ \frac{\hat{\gamma }(u)}{||u||^2_2}:u\in H^1(\Omega ),\ u\ne 0\right\} . \end{aligned}$$(6) - (ii)
For every \(m\geqslant 2\) we have
$$\begin{aligned} \begin{array}{ll} \hat{\lambda }_m &{} = \inf \left\{ \frac{\hat{\gamma }(u)}{||u||^2_2}:u\in \overline{\underset{k\geqslant m}{\oplus }E(\hat{\lambda }_k)}, u\ne 0\right\} \\ &{} = \sup \left\{ \frac{\hat{\gamma }(u)}{||u||^2_2}:u\in \overset{m}{\underset{k=1}{\oplus }}E(\hat{\lambda }_k), u\ne 0\right\} \end{array} \end{aligned}$$(7) - (iii)
For every \(k\in \mathbb {N},\ E(\hat{\lambda }_k)\) is finite dimensional, \(E(\hat{\lambda }_k)\subseteq C^1(\overline{\Omega })\), and it has the “Unique Continuation Property” (“UCP” for short), that is, if \(u\in E(\hat{\lambda }_k)\) vanishes on a set of positive measure, then \(u\equiv 0\) (see de Figueiredo and Gossez [6]).
In relation (6), the infimum is realized on \(E(\hat{\lambda }_1)\), while in (7), both the infimum and the supremum are realized on \(E(\hat{\lambda }_m)\). Moreover, from the above properties we see that the elements of \(E(\hat{\lambda }_1)\) have constant sign, while the elements of \(E(\hat{\lambda }_m)\) (for \( m\geqslant 2\)) are all nodal (that is, sign changing). By \(\hat{u}_1\) we denote the \(L^2\)-normalized (that is, \(||\hat{u}_1||_2=1\)) positive eigenfunction corresponding to \(\hat{\lambda }_1\). From the regularity theory of Wang [31], we have that \(\hat{u}_1\in C_+\) and using the Harnack inequality (see, for example, Motreanu et al. [16, p. 211]), we have that \(\hat{u}_1(z)>0\) for all \(z\in \Omega \). Furthermore, if we assume that \(\xi ^+\in L^\infty (\Omega )\), then \(\hat{u}_1\in D_+\) (by the strong maximum principle).
Finally, let us recall some basic definitions and facts from Morse theory (critical groups), which we will need in the sequel.
With X being a Banach space, let \((Y_1, Y_2)\) be a topological pair such that \(Y_2\subseteq Y_1\subseteq X\). For every \(k\in \mathbb {N}_0\), let \(H_k(Y_1, Y_2)\) denote the kth relative singular homology group with integer coefficients for the pair \((Y_1, Y_2)\). For \(k<0\), we have \(H_k(Y_1, Y_2)=0\).
For \(\varphi \in C^1(X,\mathbb {R})\) and \(c\in \mathbb {R}\) we introduce the following sets:
Suppose that \(u\in K^c_\varphi \) is isolated. Then the critical groups of \(\varphi \) at u are defined by
Here, U is a neighborhood of u such that \(K_\varphi \cap \varphi ^c\cap U=\{u\}\). The excision property of singular homology theory implies that the above definition of critical groups is independent of the choice of the isolating neighborhood U.
Suppose that \(\varphi \in C^1(X,\mathbb {R})\) satisfies the C-condition and that \(\inf \varphi (K_\varphi )>-\infty \). Then the critical groups of \(\varphi \) at infinity are defined by
This definition is independent of the choice of \(c<\inf \varphi (K_\varphi )\). To see this, let \(c'<\inf \varphi (K_\varphi )\) and without any loss of generality assume that \(c'<c\). Then from Motreanu et al. [16, Theorem 5.34, p. 110], we have that
Assume that \(K_\varphi \) is finite. We introduce the following quantities
The Morse relation says that
where \(Q(t)=\underset{k\in \mathbb {N}_0}{\sum }\beta _kt^k\) is a formal series in \(t\in \mathbb {R}\) with nonnegative integer coefficients.
Let H be a Hilbert space, \(u\in H\), and U a neighborhood of u. Suppose that \(\varphi \in C^2(U)\). If \(u\in K_\varphi \), then the “Morse index” m of u is defined to be the supremum of the dimensions of the vector subspaces of H on which \(\varphi ''(u)\) is negative definite. The “nullity” \(\nu \) of u is the dimension of \(\ker \varphi ''(u)\). We say that \(u\in K_\varphi \) is “nondegenerate” if \(\varphi ''(u)\) is invertible (that is, \(\nu =0\)). Suppose that \(\varphi \in C^2(U)\) and \(u\in K_\varphi \) is isolated and nondegenerate with Morse index m. Then
Here \(\delta _{k,m}\) denotes the Kronecker symbol, that is,
3 Solutions of Constant Sign
In this section, we produce solutions of constant sign for problem (1). We assume the following conditions on the reaction term f(z, x).
\(H(f)_1\): \(f:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) is a Carathéodory function such that \(f(z,0)=0\) for almost all \(z\in \Omega \) and
- (i)
there exist \(\eta >0\) and \(a_\eta \in L^\infty (\Omega )_+\) such that
$$\begin{aligned} |f(z,x)|\leqslant a_\eta (z)\ \text{ for } \text{ almost } \text{ all }\ z\in \Omega ,\ \text{ and } \text{ all }\ x\in [-\eta , \eta ]; \end{aligned}$$ - (ii)
if \(F(z,x)=\int ^x_0f(z,s)ds\), then there exist \(\eta _0>0, q\in (1,\tau )\) (\(\tau >1\) as in hypothesis H(a)(iv)) and \(\delta _0>0\) such that
$$\begin{aligned} \eta _0|x|^q\leqslant f(z,x)x\leqslant qF(z,x)\ \text{ for } \text{ almost } \text{ all }\ z\in \Omega ,\ \text{ and } \text{ all }\ |x|\leqslant \delta _0; \end{aligned}$$ - (iii)
with \(\eta >0\) as in (i) we have
$$\begin{aligned} f(z,\eta ) - \xi (z)\eta ^{p-1} \leqslant 0 \leqslant f(z, -\eta ) + \xi (z)\eta ^{p-1}\ \text{ for } \text{ almost } \text{ all }\ z\in \Omega . \end{aligned}$$
Remark 3
We see that no global growth condition is imposed on \(f(z,\cdot )\). All our hypotheses on \(f(z,\cdot )\) concern its behaviour near zero. Note that \(H(f)_1,\, (ii),\, (iii)\) imply a kind of oscillatory behaviour near zero for \(x\mapsto f(z,x)-\xi (z)|x|^{p-2}x\).
Evidently, we can find \(\vartheta _0>0\) such that
Then we define
Note that \(\mu (z,x)\) is a Carathéodory function and for all \(z\in \Omega ,\ \mu (z,\cdot )\) is odd. We consider the following auxiliary Robin problem
In what follows, given \(h_1, h_2\in W^{1,p}(\Omega )\), we set
Proposition 6
If hypotheses \(H(a), H(\xi ), H(\beta )\) hold, then problem (10) admits a unique positive solution
and since (10) is odd, then \(\tilde{v} = -\tilde{u}\in [-\eta ,0]\cap D_+\) is the unique negative solution of (10).
Proof
We first show the existence of a positive solution. So, let \(\vartheta >0\) be such that
We introduce the following Carathéodory function
We set \(\hat{M}_+(z,x) = \int ^x_0\hat{\mu }_+(z,s)ds\) and consider the \(C^{1}\)-functional \(\psi _+:W^{1,p}(\Omega )\rightarrow \mathbb {R}\) defined by
Corollary 3, hypothesis \(H(\beta )\) and (12) imply that
Also, using the Sobolev embedding theorem and the compactness of the trace map, we see that \(\psi _+\) is sequentially weakly lower semicontinuous. Invoking the Weierstrass-Tonelli theorem, we can find \(\tilde{u}\in W^{1,p}(\Omega )\) such that
Hypothesis H(a)(iv) implies that we can find \(c_7>0\) and \(\delta \in (0,\delta _0]\) such that
Let \(u\in D_+\) and choose small \(t\in (0,1)\) such that \(tu\leqslant \delta _0\). Then we have
Recall that \(1<q<\tau \leqslant p\). So, by choosing \(t\in (0,1)\) even smaller if necessary, we have
From (13) we have
In (15) we choose \(h=-\tilde{u}^{-}\in W^{1,p}(\Omega )\). Using Lemma 2, we have
Also in (15) we choose \(h=(\tilde{u}-\eta )^+\in W^{1,p}(\Omega )\). Then
So, we have proved that
Using (10), (12) and (16) in (15), we obtain
From (17) and Papageorgiou and Rădulescu [22], we have
Then from the regularity theory of Lieberman [15] we have
From (17) we have
Hence by the nonlinear strong maximum principle of Pucci and Serrin [27, pp. 111, 120], we have
Next, we show that this positive solution is unique. To this end, we introduce the integral functional \(j:L^1(\Omega )\rightarrow \overline{\mathbb {R}}=\mathbb {R}\cup \{+\infty \}\) defined by
Suppose that \(u_1,u_2\in \mathrm{dom}\, j=\{u\in L^1(\Omega ):j(u)<\infty \}\) (the effective domain of \(j(\cdot )\)).
Let \(y_1=u_1^{\frac{1}{\tau }}, y_2=u_2^{\frac{1}{\tau }}\). Then \(y_1, y_2\in W^{1,p}(\Omega )\). We set
We have \(y\in W^{1,p}(\Omega )\). Using Lemma 1 of Diaz and Saa [7], we have
Also since \(\tau \leqslant p\) and \(\beta \geqslant 0\) (see hypothesis \(H(\beta )\)), it follows that
It follows that the integral functional \(j(\cdot )\) is convex and, by Fatou’s lemma, it is lower semicontinuous.
Suppose that \(\tilde{u}, \hat{u}\in W^{1,p}(\Omega )\) are two positive solutions of the auxiliary problem (11). From the first part of the proof we have
Therefore for every \(h\in C_1(\overline{\Omega })\) and for |t| small, we have
Because of the convexity of \(j(\cdot )\), we see that \(j(\cdot )\) is Gâteaux differentiable at \(\tilde{u}^\tau \) and at \(\hat{u}^\tau \) in the direction h. Using the chain rule and the nonlinear Green’s identity (see Gasinski and Papageorgiou [9, p. 210]), we get
Recall that \(j(\cdot )\) is convex, hence \(j'(\cdot )\) is monotone. Hence we have
By hypothesis \(q<\tau \leqslant p\). So, from (19) we infer that
This proves the uniqueness of the positive solution
Equation (11) is odd. So, it follows that
is the unique negative solution of (11). \(\square \)
Next, we produce constant sign solutions for (1). For this purpose we introduce the sets
Proposition 7
If hypotheses \(H(a), H(\xi ), H(\beta ), H(f)_1\) hold, then \(\emptyset \ne S_+\subseteq D_+\) and \(\emptyset \ne S_-\subseteq -D_+\).
Proof
Let \(\eta >0\) be as in hypothesis \(H(f)_1(iii)\) and fix \(\vartheta >||\xi ||_{\infty }\) (see hypothesis \(H(\xi )\)). We introduce the following Carathéodory function
We set \(\hat{F}_+(z,x)=\int ^x_0\hat{f}_+(z,s)ds\) and consider the \(C^1\)-functional \(\hat{\varphi }_+:W^{1,p}(\Omega )\rightarrow \mathbb {R}\) defined by
Using Lemma 2, the fact that \(\vartheta >||\xi ||_\infty \), hypothesis \(H(\beta )\) and (20), we see that
Also, \(\hat{\varphi }_+\) is sequentially weak lower semicontinuous. So, by the Weierstrass-Tonelli theorem, we can find \(u_0\in W^{1,p}(\Omega )\) such that
Hypothesis \(H(f)_1(ii)\) implies that
From (21) we have
In (22) we choose \(h=-u^-_0\in W^{1,p}(\Omega )\). Then
Next, in (22) we choose \(h=(u_0-\eta )^+\in W^{1,p}(\Omega )\). Then
So, we have proved that
On account of (20) and (23), Eq. (22) becomes
From (23), (24), hypothesis \(H(f)_1(i)\) and Papageorgiou and Rădulescu [22], we have
Next, applying the nonlinear regularity theory of Lieberman [15], we have
Hypotheses \(H(f)_1(i), (ii)\) imply that we can find \(c_{11}>0\) such that
Therefore we have proved that \(\emptyset \ne S_+\subseteq D_+\).
For negative solutions we consider the Carathéodory function
(recall that \(\vartheta >||\xi ||_\infty \)). Let \(\hat{F}_-(z,x)=\int ^x_0\hat{f}_-(z,s)ds\) and consider the \(C^1\)-functional \(\hat{\varphi }_-:W^{1,p}(\Omega )\rightarrow \mathbb {R}\) defined by
Reasoning as above, using this time \(\hat{\varphi }_-\) and (25), we produce a negative solution
Therefore \(\emptyset \ne S_-\subseteq -D_+\). \(\square \)
The next result provides a lower bound for the elements of \(S_+\) and an upper bound for the elements of \(S_-\). These bounds will lead to the existence of extremal constant sign solutions.
Proposition 8
If hypotheses \(H(a),H(\xi ),H(\beta ),H(f)_1\) hold, then \(\tilde{u}\leqslant u\) for all \(u\in S_+\) and \(v\leqslant \tilde{v}\) for all \(v\in S_-.\)
Proof
Let \(u\in S_+\) and consider the following Carathéodory function
We set \(\Gamma _+(z,x)=\int ^x_0\gamma _+(z,s)ds\) and consider the \(C^1\)-functional \(\hat{k}_+:W^{1,p}(\Omega )\rightarrow \mathbb {R}\) defined by
Evidently, \(\hat{k}_+\) is coercive (see Lemma 2, (26) and recall that \(\hat{\vartheta }>0\)). Also, it is sequentially weakly lower semicontinuous. So, we can find \(\hat{u}\in W^{1,p}(\Omega )\) such that
By (26) and since \(q<\tau \leqslant p\), we have
From (27) we have
In (28) we choose \(h=-\hat{u}^-\in W^{1,p}(\Omega )\). We obtain
Also, in (28) we choose \(h=(\hat{u}-u)^+\in W^{1,p}(\Omega )\). Then
From (26) we see that \(\hat{u}\) is a positive solution of (11) and so
Similarly we show that
The proof is now complete. \(\square \)
We are now ready to produce extremal constant sign solutions for problem (1), that is, a smallest positive solution \(\bar{u}_+\) and a biggest negative solution \(\bar{v}_-\). In the next section, using \(\bar{u}_+\) and \(\bar{v}_-\) we will produce a nodal (sign-changing) solution.
Proposition 9
If hypotheses \(H(a),H(\xi ),H(\beta ),H(f)_1\) hold, then problem (1) admits a smallest positive solution \(\bar{u}_+\in D_+\) and a biggest negative solution \(\bar{v}_-\in -D_+\).
Proof
From Papageorgiou et al. [25] we know that
\(S_+\) is downward directed (that is, if \(u_1,u_2\in S_+\), then we can find \(u\in S_+\) such that \(u\leqslant u_1\), \(u\leqslant u_2\)).
\(S_-\) is upward directed (that is, if \(v_1,v_2\in S_-\), then we can find \(v\in S_-\) such that \(v_1\leqslant v\), \(v_2\leqslant v\)).
Then as in the proof of Proposition 6 of Papageorgiou and Rădulescu [22], we can find \(\{u_n\}_{n\geqslant 1}\subseteq S_+\) such that
Evidently, \(\{u_n\}_{n\geqslant 1}\subseteq W^{1,p}(\Omega )\) is bounded. So, we may assume that
We have
In (31) we choose \(h=u_n-\bar{u}_+\in W^{1,p}(\Omega )\), pass to the limit as \(n\rightarrow \infty \) and use (30). Then we have
So, if in (31) we pass to the limit as \(n\rightarrow \infty \) and use (32), then
As before, via the nonlinear maximum principle, we have
Similarly we produce
The proof is now complete. \(\square \)
4 Nodal Solutions
In this section, using the extremal constant sign solutions \(\bar{v}_-\in -D_+\) and \(\bar{u}_+\in D_+\), we produce a nodal (sign changing) solution. The idea is to use truncation techniques to focus on the order interval \([\bar{v}_-,\bar{u}_+]\). Using variational tools we obtain a solution \(y_0\) in this order interval, which is distinct from \(0,\bar{v}_-,\bar{u}_+\). The extremality of \(\bar{v}_-\) and \(\bar{u}_+\) means that this solution \(y_0\) is necessarily nodal.
Proposition 10
If hypotheses \(H(a),H(\xi ),H(\beta ),H(f)_1\) hold, then problem (1) admits a nodal solutions \(y_0\in [\bar{v}_-,\bar{u}_+]\cap C^1(\overline{\Omega })\).
Proof
Let \(\bar{v}_-\in -D_+\) and \(\bar{u}_+\in D_+\) be the two extremal constant sign solutions produced in Proposition 9 and let \(\vartheta >||\xi ||_{\infty }\). We introduce the following Carathéodory function
We also consider the positive and negative truncations of \(\ell (z,\cdot )\), that is, the Carathéodory functions
We set
Consider the \(C^1\)-functionals \(\tilde{\varphi },\tilde{\varphi }_{\pm }:W^{1,p}(\Omega )\rightarrow \mathbb {R}\) defined by
Claim 1
\(K_{\tilde{\varphi }}\subseteq [\bar{v}_-,\tilde{u}_+]\cap C^1(\overline{\Omega }),\ K_{\tilde{\varphi }_{+}}=\{0,\bar{u}_+\},\ K_{\tilde{\varphi }_-}=\{0,\bar{v}_-\}\).
Let \(u\in K_{\tilde{\varphi }}\). We have
In (34) let \(h=(u-\bar{u}_+)^+\in \ W^{1,p}(\Omega )\). Then
Similarly, if in (34) we choose \(h=(\bar{v}_--u)^+\in W^{1,p}(\Omega )\), then we obtain that
In a similar fashion we show that
The extremality of solutions \(\bar{u}_+\in D_+\) and \(\bar{v}_-\in -D_+\) implies that
This proves Claim 1.
Claim 2
\(\bar{u}_+\in D_+\) and \(\bar{v}_-\in -D_+\) are local minimizers of \(\tilde{\varphi }\).
From (33) and since \(\vartheta >||\xi ||_{\infty }\) it is clear that \(\tilde{\varphi }_+\) is coercive and sequentially weakly lower semicontinuous. So, we can find \(\tilde{u}_+\in W^{1,p}(\Omega )\) such that
As before, hypothesis \(H(f)_1(ii)\) implies that
Clearly, \(\tilde{\varphi }|_{C_+}=\tilde{\varphi }_+|_{C_+}\) (see (33)). Since \(\bar{u}_+\in D_+\), it follows that
Similarly for \(\bar{v}_-\in D_+\), using this time the functional \(\tilde{\varphi }_-\). This proves Claim 2.
We may assume that \(K_{\tilde{\varphi }}\) is finite. Otherwise, on account of Claim 1 and due to the extremality of \(\bar{u}_+\) and \(\bar{v}_-\), we already have an infinity of nodal solutions. In addition, without any loss of generality, we may assume that \(\tilde{\varphi }(\bar{v}_-)\leqslant \tilde{\varphi }(\bar{u}_+)\) (the reasoning is similar if the opposite inequality holds). Claim 2 implies that we can find \(\rho \in (0,1)\) small such that
(see Aizicovici et al. [1], proof of Proposition 29).
Evidently, \(\tilde{\varphi }\) is coercive (see (33)). Therefore
Then (36) and (37) permit the use of the mountain pass theorem (see Theorem 1). So, we can find
From (38), (36) and Claim 1 we have that
Since \(y_0\in C^1(\overline{\Omega })\) is a critical point of mountain pass type for \(\tilde{\varphi }\), we have
(see Motreanu et al. [16, Corollary 6.81, p.168]).
On the other hand, hypothesis \(H(f)_1(ii)\) implies that
(see Papageorgiou and Rădulescu [20, Proposition 6]). Comparing (39) and (40) we infer that \(y_0\ne 0\). Therefore we conclude that \(y_0\in [\bar{v}_-,\bar{u}_+]\cap C^1(\overline{\Omega })\) is a local solution for problem (1). \(\square \)
So, we can formulate the following multiplicity theorem for problem (1).
Theorem 11
If hypotheses \(H(a),H(\xi ),H(\beta ),H(f)_1\) hold, then problem (1) has at least three nontrivial smooth solutions
5 Semilinear Equations
In this section, we introduce a special case of problem (1) in which \(a(y)=y\) for all \(y\in \mathbb {R}^N\) (that is, the differential operator is the Laplacian, which corresponds to a semilinear equation). So, the problem under consideration is the following
In this case we can also relax the conditions on the potential function \(\xi (\cdot )\) and allow it to be unbounded. For problem (41) we were able to improve Theorem 11 and produce a second nodal solution for a local of four nontrivial smooth solutions.
Now the hypotheses on the data of (41) are the following:
\(H(\xi )':\)\(\xi \in L^s(\Omega )\) with \(s>N,\ \xi ^+\in L^{\infty }(\Omega )\);
\(H(\beta )':\)\(\beta \in W^{1,\infty }(\Omega ),\ \beta (z)\geqslant 0\) for all \(z\in \partial \Omega \).
Remark 4
Again we can have \(\beta \equiv 0\), which corresponds to the Neumann problem.
\(H(f)_2:\) the function \(f:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) is measurable and for almost all \(z\in \Omega \), \(f(z,0)=0,\ f(z,\cdot )\in C^1(\mathbb {R})\) and
- (i)
there exist \(\eta >0\) and \(a_{\eta }\in L^{\infty }(\Omega )_+\) such that
$$\begin{aligned} |f(z,x)|\leqslant a_{\eta }(z)\ \text{ for } \text{ almost } \text{ all }\ z\in \Omega ,\ \text{ and } \text{ all }\ x\in [-\eta ,\eta ]; \end{aligned}$$ - (ii)
there exist \(m\in \mathbb {N},\ m\geqslant 2\) and \(\delta _0>0\) such
$$\begin{aligned} \hat{\lambda }_mx^2\leqslant f(z,x)x\leqslant \hat{\lambda }_{m+1}x^2\ \text{ for } \text{ almost } \text{ all }\ z\in \Omega ,\ \text{ and } \text{ all }\ |x|\leqslant \delta _0; \end{aligned}$$ - (iii)
with \(\eta >0\) as in (i) we have
$$\begin{aligned} f(z,\eta )-\xi (z)\eta \leqslant 0\leqslant f(z,-\eta )+\xi (z)\eta \ \text{ for } \text{ almost } \text{ all }\ z\in \Omega \end{aligned}$$and there exists \(\hat{\xi }_{\eta }>0\) such that for almost all \(z\in \Omega \)
$$\begin{aligned} x\mapsto f(z,x)+\hat{\xi }_{\eta }x \end{aligned}$$is nondecreasing on the interval \([-\eta ,\eta ]\).
We have the following multiplicity theorem for problem (41).
Theorem 12
If hypotheses \(H(\xi )',H(\beta )',H(f)_2\) hold, then problem (41) has at least four nontrivial smooth solutions
Proof
Since we have relaxed the conditions on the potential function \(\xi (\cdot )\) and on the boundary coefficient \(\beta (\cdot )\), we need to show how the solutions of problem (1) exhibit the global (that is, up to the boundary) regularity properties claimed by the theorem.
So, let \(u\in [-\eta ,\eta ]\) be a nontrivial solution of (41). Then
Let
Note that hypotheses \(H(f)_2(i),(ii)\) imply that
Then it follows that \(g_1,g_2\in L^{\infty }(\Omega )\). We rewrite (42) as follows:
Note that \(g_1-\xi \in L^s(\Omega )\ s>N\) (see hypothesis \(H(\xi )'\)). Invoking Lemma 5.1 of Wang [31], we have \(u\in L^{\infty }(\Omega )\). Then the Calderon–Zygmund estimates (see Wang [31, Lemma 5.2]), imply that
Now the condition near zero (hypothesis \(H(f)_2(ii)\)) is different. Here, \(f(z,\cdot )\) is linear near zero, while hypothesis \(H(f)_1(ii)\) implies the presence of a concave nonlinearity near zero. So, we need to verify that Theorem 11 remains valid also in the present setting. Note that now, given \(r>2\), we can find \(\vartheta _0=\vartheta _0(r)>0\) such that
We introduce the following Carathéodory function
and then consider the following auxiliary Robin problem
(see (10) and (11) for the corresponding items in the previous setting). Reasoning as in the proof of Proposition 6, we obtain a unique positive solution
for problem (44). Then \(\tilde{v}=-\tilde{u}\in [-\eta ,0]\cap (-D_+)\) is the unique negative solution of (44).
In fact in this case, due to the semilinearity of the problem, we can have an alternative more direct proof of the uniqueness of the positive solution of problem (44). So, suppose that \(\tilde{u},\hat{u}\) are two positive solutions of (44). We have
Let \(t^*>0\) be the biggest real number such that
Assume that \(0<t^*<1\). Evidently, we can find \(\tilde{\xi }_{\eta }>0\) such that the function
is nondecreasing on \([-\eta ,\eta ]\). We have
This contradicts the maximality of \(t^*\). Hence \(t^*\geqslant 1\) and so
Interchanging the roles of \(\tilde{u}\) and \(\hat{u}\) in the above argument, we also have
This is an alternative, more direct proof of the uniqueness of positive and negative solutions of problem (44).
As in the proof of Proposition 7, we introduce the Carathéodory function
with \(\mu _0>||\xi ^+||_{\infty }\) (see hypothesis \(H(\xi )'\)).
We set \(\hat{F}_+(z,x)=\int ^x_0\hat{f}_+(z,s)ds\) and consider the \(C^1\)-functional \(\tilde{\varphi }_+:H^1(\Omega )\rightarrow \mathbb {R}\) defined by
with \(\tau _0(u)=||Du||^2_2+\int _{\Omega }\xi (z)u^2dz+\int _{\partial \Omega }\beta (z)u^2d\sigma \) for all \(u\in H^1(\Omega )\). Using the direct method of the calculus of variations, we obtain \(u_0\in H^1(\Omega )\) such that
Since \(m\geqslant 2\) (see hypothesis \(H(f)_2(ii)\)), we have
As in the proof of Proposition 7, we show that
Similarly, using the Carathéodory function
we produce a negative solution
Therefore we have
In addition, as in the proof of Proposition 8, we show that
Moreover, reasoning as in the proof of Proposition 9, we produce extremal constant sign solution for problem (41)
As in the proof of Proposition 10, using these two extremal constant sign solutions, we introduce the functional \(\tilde{\varphi }\) and using it we produce a nodal solution. Note that in (33) we replace \(\vartheta >0\) by \(\mu _0>0\) and we set \(p=2\). Claims 1 and 2 in the proof of Proposition 10 remain valid (as before, since \(m\geqslant 2\), we have \(\tilde{\varphi }_+(\tilde{u}_+)<0=\tilde{\varphi }_+(0)\) and so \(\tilde{u}_+\ne 0\)). Finally, we apply the mountain pass theorem (see Theorem 1) and obtain
Therefore we have
(see Motreanu et al. [16, Corollary 6.81, p.168]). In this case, since the condition near zero is different (see \(H(f)_1(ii)\) and compare it with \(H(f)_1(ii)\)), relation (40) is no longer true. We need to compute the critical groups of \(\tilde{\varphi }\) at \(u=0\).
Claim 3
We have \(C_k(\tilde{\varphi },0)=\delta _{k,d_m}\mathbb {Z}\) for all \(k\in \mathbb {N}_0\), with \(d_m=dim\overset{m}{\underset{\mathrm {k=1}}{\oplus }}E(\hat{\lambda }_k)\geqslant 2\).
Let \(\lambda \in (\hat{\lambda }_m,\hat{\lambda }_{m+1})\) and consider the \(C^2\)-functional \(\psi :H^1(\Omega )\rightarrow \mathbb {R}\) defined by
We consider the homotopy
Suppose that we can find \(\{t_n\}_{n\geqslant 1}\subseteq [0,1]\) and \(\{u_n\}_{n\geqslant 1}\subseteq H^1(\Omega )\) such that
From the equation in (49), we have
From (50) and the regularity theory of Wang [31], we know that we can find \(\alpha \in (0,1)\) and \(c_{13}>0\) such that
Exploiting the compact embedding of \(C^{1,\alpha }(\overline{\Omega })\) into \(C^1(\overline{\Omega })\), we infer from (51) and (49) that
But we have assumed that \(K_{\tilde{\varphi }}\) is finite (otherwise, on account of the definition of \(\tilde{\varphi }\) and (33) with \(\mu _0>0\) replacing \(\vartheta >0\) and \(p=2\) and using Claim 1 in the proof of Proposition 10, we see that we have an infinity of nodal solutions of (41) and so we are done). Therefore we have a contradiction and this means that (49) cannot happen. Then using the homotopy invariance property of critical groups (see Gasinski and Papageorgiou [10, Theorem 5.125, p. 836]), we have
Note that \(\psi \in C^2(H^1(\Omega ))\). Since \(\lambda \in (\hat{\lambda }_m,\hat{\lambda }_{m+1}),u=0\) is a nondegenerate critical point of \(\psi \). So, from Gasinski and Papageorgiou [10, Theorem 5.106, p. 832], we have
This proves Claim 3.
From (48), (47) and Claim 3, we infer that
Let \(\hat{\xi }_{\eta }>0\) be as postulated by hypothesis \(H(f)_2(iii)\). Then
Similarly we show that
Therefore we conclude that
From (48), (53) and Proposition 5.124 of Gasinski and Papageorgiou [10, p. 836], we have
Recall that \(\bar{u}_+\in D_+\) and \(\bar{v}_-\in -D_+\) are local minimizers of \(\tilde{\varphi }\) (see Claim 2) in the proof of Proposition 10. Therefore we have
From the proof of Claim 3, we have
Finally, since \(\tilde{\varphi }\) is coercive, we have
Suppose that \(K_{\tilde{\varphi }}=\{0,\bar{u}_+,\bar{v}_-,y_0\}\). Then from (54), (55), (56), (57), and the Morse relation with \(t=-1\) (see (8)), we have
So, there exists \(\hat{y}\in H^1(\Omega )\) such that
Moreover, as we did for \(y_0\), using hypothesis \(H(f)_2(iii)\), we show that
The proof is now complete. \(\square \)
6 Infinitely Many Nodal Solutions
In this section we return to problem (1) and by introducing a symmetry condition on \(f(z,\cdot )\), we produce a whole sequence of distinct nodal solutions for problem (1).
The hypotheses on the reaction term are the following:
\(H(f)_3:\)\(f:\Omega \times \mathbb {R}\rightarrow \mathbb {R}\) is a Carathéodory function such that for almost all \(z\in \Omega \), \(f(z,0)=0\) and
- (i)
there exist \(\eta >0\) and \(a_{\eta }\in L^{\infty }(\Omega )_+\) such that for almost all \(z\in \Omega \), \(f(z,\cdot )|_{[-\eta ,\eta ]}\) is odd and
$$\begin{aligned} |f(z,x)|\leqslant a_{\eta }(z)\ \text{ for } \text{ almost } \text{ all }\ z\in \Omega ,\ \text{ and } \text{ all }\ |x|\leqslant \eta ; \end{aligned}$$ - (ii)
with \(\tau \in (1,p)\) as in hypothesis H(a)(iv) we have
$$\begin{aligned}\lim \limits _{x\rightarrow 0}\frac{f(z,x)}{|x|^{\tau -2}x}=+\infty \ \text{ uniformly } \text{ for } \text{ almost } \text{ all }\ z\in \Omega .\end{aligned}$$
Remark 5
The symmetric condition on \(f(z,\cdot )\), permits the relaxation of the condition near zero (compare \(H(f)_3(ii)\) with \(H(f)_1(ii)\)). We have also dropped hypothesis \(H(f)_3(iii)\).
Fix \(\lambda (\cdot )\) an even continuous function such that
\(\lambda |_{[-c,c]}\equiv 1\) for some \(c\in (0,\eta )\);
\(\mathrm{supp}\,\lambda \subseteq (-\eta ,\eta )\);
\(0\leqslant \lambda \leqslant 1\).
Let \(\hat{f}(z,x)=\lambda (x)f(z,x)+(1-\lambda (x))\xi (z)|x|^{p-2}x\). Evidently, \(\hat{f}(z,x)\) is a Carathéodory function with the following properties:
for all \(z\in \Omega ,\ \hat{f}(z,\cdot )\) is odd;
\(\hat{f}(z,x)=f(z,x)\) for all \(z\in \Omega \), \(|x|\leqslant c\);
\(\hat{f}(z,x)=\xi (z)|x|^{p-2}x\) for all \(z\in \Omega \), \(|x|\geqslant \eta \).
It follows that \(\hat{f}(z,\eta )-\xi (z)\eta ^{p-1}=0=\hat{f}(z,-\eta )+\xi (z)\eta ^{p-1}\) (that is, \(\hat{f}(z,x)\) satisfies hypothesis \(H(f)_1(iii)\)).
We consider problem (1) with f replaced by \(\hat{f}\).
Note that given any \(\hat{\eta }>0\) and \(r>p\), we can find \(c_{14}=c_{14}(\hat{\eta },r)>0\) such that
Then we introduce the following Carathéodory function
Using this \(\mu (\cdot ,\cdot )\), we consider the auxiliary Robin problem (11). As in Proposition 6 we show that the auxiliary problem has a unique positive solution \(\tilde{u}\in [0,\eta ]\cap D_+\) and due to the oddness of the equation, \(\tilde{v}=-\tilde{u}\in [-\eta ,0]\cap (-D_+)\) is the unique negative solution of the auxiliary problem.
Recalling that we consider problem (1) with f(z, x) replaced by \(\hat{f}(z,x)\), as before we introduce the following sets:
If \(S_+\ne \emptyset \) and \(S_-\ne \emptyset \), then we have
This leads to the existence of extremal constant sign solutions
Using these extremal constant sign solutions, we consider the Carathéodory function \(\ell (z,x)\) as in (33) with f(z, x) replaced by \(\hat{f}(z,x)\) (see the proof of Proposition 10) and then introduce the \(C^1\)-functional \(\tilde{\varphi }:W^{1,p}(\Omega )\rightarrow \mathbb {R}\) defined by
Here, as before, \(\vartheta >||\xi ||_{\infty }\) and \(L(z,x)=\int ^x_0\ell (z,s)ds\).
We know that
(see Claim 1 in the proof of Proposition 10).
Proposition 13
If hypotheses \(H(a),H(\xi ),H(\beta ),H(f)_3\) hold, \(n\in \mathbb {N}\) and \(Y_n\subseteq W^{1,p}(\Omega )\) is an n-dimensional subspace, then we can find \(\rho _n>0\) such that
Proof
Hypothesis H(a)(iv) implies that we can find \(\rho _1>0\) and \(c_{13}>0\) such that
Also, hypothesis \(H(f)_3(ii)\) implies that given \(\hat{\eta }>0\) we can find \(0<\rho _2\leqslant \rho _1\) such that
Let \(\rho _3=\min \{\min _{\overline{\Omega }}\bar{u}_+,\min \limits _{\overline{\Omega }}(-\bar{v}_-)\}>0\) (recall that \(\bar{u}_+\in D_+,\bar{v}_-\in -D_+\)). We can always assume that \(0<\rho _2\leqslant \rho _3\). Since \(Y_n\) is finite dimensional, all norms are equivalent and so we can find \(\rho _n>0\) such that
Then from (59), (60), (61) we have
Since \(\hat{\eta }>0\) is arbitrary, we choose \(\hat{\eta }>\frac{c_{16}}{c_{17}}\) and have that
This completes the proof. \(\square \)
Now we are ready for the multiplicity result producing a whole sequence of distinct nodal solutions.
Theorem 14
If hypotheses \(H(a),H(\xi ),H(\beta ),H(f)_3\) hold, then problem (1) admits a sequence \(\{u_n\}_{n\geqslant 1}\subseteq C^1(\overline{\Omega })\) of distinct nodal solutions such that \(u_n\rightarrow 0\) in \(C^1(\overline{\Omega })\) as \(n\rightarrow \infty \).
Proof
We know that \(\tilde{\varphi }\) is coercive (see (33)). So, \(\tilde{\varphi }\) is bounded below and satisfies the C-condition. Also, \(\tilde{\varphi }\) is even. These facts, together with Proposition 13, permit the use of Theorem 1 of Kajikiya [13]. Hence we can find a sequence \(\{u_n\}_{n\geqslant 1}\subseteq W^{1,p}(\Omega )\) such that
From (62) and (33) we see that \(\{u_n\}_{n\geqslant 1}\) are nodal solutions of (1). Moreover, the nonlinear regularity theory (see Lieberman [15]) and the compact embedding of \(C^{1,\alpha }(\overline{\Omega })\)\((0<\alpha <1)\) into \(C^1(\overline{\Omega })\) imply that \(u_n\rightarrow 0\) in \(C^1(\overline{\Omega })\) as \(n\rightarrow \infty \). Since \(\hat{f}(z,\cdot )\) and \(f(z,\cdot )\) coincide near zero, we have thus produced a sequence of distinct nodal solutions for problem (1). \(\square \)
Remark 6
Recently, Papageorgiou and Rădulescu [21] have proved an analogous result for problems with no potential term (that is, \(\xi \equiv 0\)) and with a reaction term with zeros. Theorem 14 generalizes the result of Papageorgiou and Rădulescu [21]. It also extends Theorem 2.10 of Wang [32] where the equation is driven by the p-Laplacian with no potential term (that is, \(\xi \equiv 0\)). Wang produced a sequence of nontrivial solutions \(\{u_n\}_{n\geqslant 1}\), not necessarily nodal, such that \(||u_n||_{\infty }\rightarrow 0\).
References
Aizicovici, S., Papageorgiou, N.S., Staicu, V.: Degree theory of operators of monotone type and nonlinear elliptic equations with inequality constraints. Mem. Am. Math. Soc. 196(915), 70 (2008)
Autuori, G., Pucci, P., Varga, C.: Existence theorems for quasilinear elliptic eigenvalue problems in unbounded domains. Adv. Differ. Equ. 18(1–2), 1–48 (2013)
Cingolani, S., Degiovanni, M.: Nontrivial solutions for \(p\)-Laplace equations with right-hand side having \(p\)-linear growth. Commun. Partial Differ. Equ. 30, 1191–1203 (2005)
Colasuonno, F., Pucci, P., Varga, C.: Multiple solutions for an eigenvalue problem involving \(p\)-Laplacian type operators. Nonlinear Anal. 75(12), 4496–4512 (2012)
D’Agui, G., Marano, S., Papageorgiou, N.S.: Multiple solutions to a Robin problem with indefinite weight and asymmetric reaction. J. Math. Anal. Appl. 433, 1821–1845 (2016)
de Figueiredo, D., Gossez, J.P.: Strict monotonicity of eigenvalues and unique continuation. Commun. Partial Differ. Equ. 17, 339–346 (1992)
Diaz, J.I., Saa, J.E.: Existence et unicité de solutions positives pour certaines équations elliptiques quasilinéaires, C.R. Acad. Sci. Paris, Sér. I 305, 521–524 (1987)
Fiscella, A., Pucci, P.: \((p,q)\)-systems with critical terms in \({\mathbb{R}}^N\). Nonlinear Anal. (2018). https://doi.org/10.1016/j.na.2018.03.01
Gasinski, L., Papageorgiou, N.S.: Nonlinear Analysis. Chapman & Hall/CRC, Boca Raton, Fl (2006)
Gasinski, L., Papageorgiou, N.S.: Exercises in Analysis. Part 2: Nonlinear Analysis. Springer, Heidelberg (2016)
He, T., Yao, Z., Sun, Z.: Multiple and nodal solutions for parametric Neumann problems with nonhomogeneous differential operator and critical growth. J. Math. Anal. Appl. 449, 1133–1151 (2017)
Iturriaga, L., Massa, E., Snachez, J., Ubilla, P.: Positive solutions of the \(p\)-Laplacian involving a superlinear nonlinearity with zeros. J. Differ. Equ. 248, 309–327 (2010)
Kajikiya, R.: A critical point theorem related to the symmetric mountain pass lemma and its applications to elliptic equations. J. Funct. Anal. 225, 352–370 (2005)
Li, Z., Wang, Z.Q.: Schrödinger equations with concave and convex nonlinearities. Z. Angew. Math. Phys. 56, 609–629 (2005)
Lieberman, G.: The natural generalization of the natural conditions of Ladyzhenskaya and Uraltseva for elliptic equations. Commun. Partial Differ. Equ. 16, 311–361 (1991)
Motreanu, D., Motreanu, V., Papageorgiou, N.S.: Topological and Variational Methods with Applications to Nonlinear Boundary Value Problems. Springer, New York (2014)
Mugnai, D., Papageorgiou, N.S.: Wang’s multiplicity result for superlinear \((p, q)\)-equations without the Ambrosetti-Rabinowitz condition. Trans. Am. Math. Soc. 366, 4919–4937 (2014)
Papageorgiou, N.S., Rădulescu, V.D.: Qualitative phenomena for some classes of quasilinear elliptic equations with multiple resonance. Appl. Math. Optim. 69, 393–430 (2014)
Papageorgiou, N.S., Rădulescu, V.D.: Multiple solutions with precise sign for parametric Robin problems. J. Differ. Equ. 256, 2449–2479 (2014)
Papageorgiou, N.S., Rădulescu, V.D.: Coercive and noncoercive nonlinear Neumann problems with indefinite potential. Forum Math. 28, 545–571 (2016)
Papageorgiou, N.S., Rădulescu, V.D.: Infinitely many nodal solutions fo nonlinear nonhomogeneous Robin problems. Adv. Nonlinear Stud. 16, 287–300 (2016)
Papageorgiou, N.S., Rădulescu, V.D.: Nonlinear nonhomogeneous Robin problems with superlinear reaction term. Adv. Nonlinear Stud. 16, 737–764 (2016)
Papageorgiou, N.S., Winkert, P.: Nonlinear Robin problems with a reaction of arbitrary growth. Ann. Mat. Pura Appl. 195, 1207–1235 (2016)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: On a class of parametric \((p,2)\)-equations. Appl. Math. Optim. 75, 193–228 (2017)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: Positive solutions for perturbations of the Robin eigenvalue problems plus an indefinite potential. Discret. Contin. Dyn. Syst. A 37, 2589–2618 (2017)
Papageorgiou, N.S., Rădulescu, V.D., Repovš, D.D.: \((p,2)\)-equations asymmetric at both zero and infinity. Adv. Nonlinear Anal. 7(3), 327–351 (2018)
Pucci, P., Serrin, J.: The Maximum Principle. Birkhäuser, Basel (2007)
Sun, M.: Multiplicity of solutions for a class of quasilinear elliptic equations at resonance. J. Math. Anal. Appl. 386, 661–668 (2012)
Sun, M., Zhang, M., Su, J.: Critical groups at zero and multiple solutions for a quasilinear elliptic equation. J. Math. Anal. Appl. 428, 696–721 (2015)
Tan, Z., Fang, F.: Orlicz-Sobolev versus Hölder local minimizer and multiplicity results for quasilinear elliptic equations. J. Math. Anal. Appl. 402, 348–370 (2013)
Wang, X.: Neumann problems of semilinear elliptic equations involving critical Sobolev exponents. J. Differ. Equ. 93, 283–310 (1991)
Wang, Z.Q.: Nonlinear boundary value problems with concave nonlinearities near the origin. Nonlinear Differ. Equ. Appl. (NoDEA) 8, 15–33 (2001)
Acknowledgements
This research was supported by the Slovenian Research Agency grants P1-0292, J1-8131, J1-7025, N1-0064, and N1-0083. V.D. Rădulescu acknowledges the support through the Project MTM2017-85449-P of the DGISPI (Spain). We thank the referee for useful comments and suggestions.
Author information
Authors and Affiliations
Corresponding author
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
Papageorgiou, N.S., Rădulescu, V.D. & Repovš, D.D. Nonlinear, Nonhomogeneous Robin Problems with Indefinite Potential and General Reaction. Appl Math Optim 81, 823–857 (2020). https://doi.org/10.1007/s00245-018-9521-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00245-018-9521-x
Keywords
- Nonhomogeneous differential operator
- Nonlinear regularity theory
- Constant sign and nodal solutions
- Infinitely many nodal solutions
- Critical groups