 Research
 Open Access
 Published:
Radial signchanging solutions to biharmonic nonlinear Schrödinger equations
Boundary Value Problems volume 2015, Article number: 21 (2015)
Abstract
In this work we obtain three radial solutions of a biharmonic stationary Schrödinger equation, one being positive, one negative, and one sign changing. The dual decomposition method is used to split the natural secondorder Sobolev space considered in order to apply the appropriate variational approach.
Introduction
In the last two decades, the stationary nonlinear Schrödinger equation, given by
has been widely studied by several authors in works dealing with the existence, the multiplicity, and the concentration of solutions when the parameter \(\epsilon\to0\). In order to highlight some of the most influential works about this subject, we could quote the pioneering work of Floer and Weinstein [1], in which they used the LyapunovSchmidt reduction to obtain positive solutions exhibiting the concentration behavior for the unidimensional case. In [2], Rabinowitz used a variational approach to obtain positive solutions of (1.1) under global hypotheses on the potential V. Later, Wang in [3] proved that the solutions obtained by Rabinowitz concentrate around the global infimum of the potential. In the celebrated paper [4], del Pino and Felmer used the so called penalization technique to prove the same kind of concentration behavior of solutions of (1.1), considering the potential V under a local version of the Rabinowitz condition.
In all of the above mentioned works, the authors worked with potentials V bounded away from zero. Stationary NLS problems with vanishing potentials were treated for instance by Bonheure et al. in [5, 6], where the authors obtained concentration of positive solutions around global minimum points of an auxiliary function and even around some lower dimensional spheres in \(\mathbb{R}^{N}\).
In spite of this amount of results treating the secondorder case, just few works can be found dealing with similar questions involving the fourthorder equation
In [7, 8], the author and Soares proved the existence of a concentrating sequence of solutions of the singular perturbed version of (1.2), considering, respectively, a global and a local condition on the potential V, and a subcritical powertype nonlinearity f. The main arguments of these works were strongly inspired by Rabinowitz [2], Wang [3] and del Pino and Felmer [4], in which other arguments to overcome the lack of a maximum principle of the biharmonic operator were required. In [9] the author and Figueiredo, using LjusternikSchnirelmann theory, deal with the same problem as in [8], obtaining multiple solutions exhibiting the concentration phenomenon.
Another relevant question about both problems (1.1) and (1.2) is the existence of signchanging solutions, sometimes called nodal solutions. For the secondorder problem there are several papers dealing with this subject. In a pioneering work [10], Castro et al. have obtained three solutions, including a nodal one, for a secondorder problem in a bounded domain and with Dirichlet boundary conditions. In [11, 12], Alves and Soares use the penalization technique to get nodal solutions concentrating around extremal points of the potential V. In this approach, they use arguments based on the minimization of the energy functional in some Nehari sets, considering \(u^{+} = \max\{u,0\}\) and \(u^{}=\min\{u,0\}\), respectively, the positive and negative parts of a function \(u \in H^{1}(\mathbb{R}^{N})\). At first sight, one could think that these arguments are trivially adaptable to the fourthorder case, however, as long as in \(H^{1}(\mathbb{R}^{N})\) the decomposition \(u = u^{+} + u^{}\) is trivially allowed; in \(H^{2}(\mathbb{R}^{N})\) this factorization is no longer to be available.
In this work, we consider the problem (1.2) where \(N \geq5\), and f and V satisfy the following assumption set:
 (V_{1}):

\(0 < V_{0}:=\inf_{\mathbb{R}^{N}}V\) and \(V(x) = V(x)\), for all \(x \in\mathbb{R}^{N}\);
 (V_{2}):

there exist \(\Omega\subset\mathbb{R}^{N}\), \(0 < V_{0}:=\inf_{\mathbb{R}^{N}}V\), and \(V(x) = V(x)\), for all \(x \in \mathbb{R}^{N}\);
 (f_{1}):

\(f:\mathbb{R}^{N}\times\mathbb{R} \to\mathbb{R}\) is a Carathéodory function;
 (f_{2}):

\(f(x,s) = o(s)\) as \(s\to0\) a.e. in \(\mathbb{R}^{N}\);
 (f_{3}):

there are constants \(c_{1},c_{2} > 0\), and \(0 < p < 2_{*}2\), where \(2_{*} = 2N/(N4)\), such that
$$\bigl\vert f(x,s)  f(x,t)\bigr\vert \leq\bigl(c_{1} + c_{2}\bigl(s^{p} + t^{p}\bigr)\bigr)st, \quad \mbox{for a.e. }x\in\mathbb{R}^{N}\mbox{ and }s,t \in\mathbb{R}; $$  (f_{4}):

\(\lim_{s\rightarrow\infty}\frac {F(x,s)}{s^{2}} = +\infty\) a.e. in \(\mathbb{R}^{N}\), where \(F(x,s) = \int_{0}^{s} f(x,t)\, dt\);
 (f_{5}):

\(\frac{f(x,s)}{s}\) is nondecreasing for \(s > 0\) and nonincreasing for \(s<0\), for a.e. \(x\in\mathbb{R}^{N}\).
Remark 1.1
Note that (f_{5}) implies that \(f(x,s)\) is nondecreasing in ℝ and that \((x,s)\mapsto f(x,s)s  2F(x,s)\) is also nondecreasing for \(s > 0\) and nonincreasing for \(s<0\), for a.e. \(x\in\mathbb{R}^{N}\).
Remark 1.2
An example of nonlinearity satisfying (f_{1})(f_{5}) is \(f(x,s) = \sum_{i=1}^{k} a_{i}(x)s^{p_{i}}s\), where \(a_{i} \in L^{\infty}(\mathbb{R}^{N})\), \(a_{i} \geq0\) in a positive measure set of \(\mathbb{R}^{N}\), and \(0 < p_{i} < 2_{*}2\), for all \(i \in\{1,\ldots,k\}\).
In order to overcome the lack of the decomposition of \(H^{2}(\mathbb {R}^{N})\) in terms of positive and negative parts of their functions, we use an alternative method developed by Moreau in [13] called the dual cones decomposition method, which consists in splitting a function u in a Hilbert space H as \(u = u_{1} + u_{2}\), in such a way that \(u \in\mathcal{K}\) and \(u_{2} \in\mathcal{K}^{*}\), where \(\mathcal {K}\) is a cone in H and \(\mathcal{K}^{*}\) is called its dual cone. Considering \(H = H^{2}(\mathbb{R}^{N})\) and \(\mathcal{K} = \{u \in H^{2}(\mathbb{R}^{N}); u \geq0\}\), if it is possible to prove that \(\mathcal{K}^{*} \subset\mathcal{K}\), then we have a decomposition of a function \(u \in H^{2}(\mathbb{R}^{N})\) in terms of a nonnegative and a nonpositive function such that many times we can substitute the trivial decomposition not available in our case. Our approach follows closely the work of Weth [14], in which the author takes advantage of the Moreau method to obtain signed and signchanging solutions of the problem
under Dirichlet or Navier boundary conditions in a bounded domain Ω. It is worth pointing out that to prove that \(\mathcal{K}^{*} \subset\mathcal{K}\), it is necessary that we have some kind of a maximum principle to \(\Delta^{2}\). In fact, this is the main reason why this method becomes so restrictive when dealing with fourthorder problems. In [14], Weth uses the fact that under Navier boundary conditions, one can use twice the strong maximum principle to −Δ in Ω, in order to obtain a version of this result to \(\Delta^{2}\). Considering Dirichlet boundary conditions, the same is true at least to some domains like balls and limaçons. In this sense, our first contribution is overcoming the lack of a maximum principle of \(\Delta^{2}\) in \(\mathbb{R}^{N}\) by using some arguments of Chabrowski and Yang in [15] to prove that there exist positive solutions of a linear version of (1.2), which in particular implies that \(\mathcal{K}^{*} \subset\mathcal{K}\) (see Lemma 2.10).
Another difficulty that deserves to be highlighted is the lack of compactness, since the problem is in \(\mathbb{R}^{N}\). In order to overcome this difficulty, we consider the problem restricted to \(H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\) consisting in the radial functions belonging to \(H^{2}(\mathbb{R}^{N})\). This is interesting because of a version of the Strauss lemma as regards higherorder Sobolev spaces proved by Ebihara and Schonbek in [16]. At the end, once critical points of the restricted energy functional are at hand we obtain critical points of the functional using the principle of symmetric criticality of Palais.
Huang and Liu, in very recent papers [17, 18], have applied similar arguments to prove the existence of signchanging solutions to, respectively, a biharmonic and a pbiharmonic problem. In the first one the authors have studied a biharmonic problem with an asymptotic linear nonlinearity and in the second, a pbiharmonic problem with a Hardy type potential.
Our main result is the following.
Theorem 1.3
Assume that conditions (V_{1}) and (f_{1})(f_{5}) hold. Then there exist at least one positive, one negative and one nodal classical radial solution of (1.2).
The proof involves variational arguments consisting in searching for critical points of the energy functional, looking for stationary points of a Cauchy problem in Banach spaces. In this sense, some results of Liu and Sun [19] about the invariance of some sets will be necessary.
Finally, we note that the nonlinearity f does not satisfy the wellknown AmbrosettiRabinowitz superlinearity condition, given by

(AR)
there exists \(\mu> 2\) such that \(0 < \mu F(x,s) \leq f(x,s)s\), for all \(s \neq0\) and a.e. in \(\mathbb{R}^{N}\).
Instead of this condition, in order to increase the range of admissible nonlinearities, we consider the weaker assumption (f_{4}). This requires some arguments of Miyagaki and Souto in [20] to prove the boundedness of a certain sequence.
When proving Theorem 1.3 our main contribution is in providing a result on the existence of nodal solutions to the BNLS equation, which seems to be difficult to obtain by other methods like Nehari analysis. In fact the real difficulty here is in overcoming the lack of the strong maximum principle in applying a method which works very well in those situations where this principle is available.
In the first section we describe the variational framework. In the second one we introduce the Cauchy problem and prove the invariance of some sets. The last section is left for the proof of the main result.
To save notation in all of this paper we denote \(\int_{\mathbb{R}^{N}} g\, dx\) just by ∫g. The norm \(\\cdot\_{L^{p}(\mathbb{R}^{N})}\) will be simple denoted by \(\\cdot\_{p}\).
The variational framework
As mentioned in the introduction, in order to overcome the lack of compactness, let us consider \(H = H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\) which is a Hilbert space when endowed with the following inner product:
which gives rise to the following norm:
By (V_{1}), it follows easily that \(\\cdot\\) is equivalent to the usual norm in \(H^{2}(\mathbb{R}^{N})\).
Before introducing the energy functional associated to (1.2), let us remember some results proved by Ebihara and Schonbek in [16] that will be used along this text.
Lemma 2.1
(Corollary 2 in [16])
The following embeddings are compact:
Lemma 2.2
(Theorem 2.1 in [16])
\(H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\) is not compactly embedded into \(L^{2}(\mathbb{R}^{N})\).
Let us consider the restriction to H of the energy functional whose EulerLagrange equation is (1.2), \(I:H \to\mathbb{R}\), given by
Note that by (f_{3}) and Sobolev embeddings, I is well defined.
Since for each \(u \in H\), \(v \mapsto\int f(x,u)v\) is a continuous linear functional in H, it is well defined \(A(u) \in H\) such that
The following result states some interesting properties of the operator \(A: H \to H\) defined above.
Lemma 2.3
A is a compact, locally Lipschitz operator, such that \(A(u) = \nabla \Psi\) where \(\Psi:H \to\mathbb{R}\) is given by \(\Psi(u) = \int F(x,u)\). Moreover, for each \(\epsilon> 0\), there exists \(A(\epsilon) > 0\) such that
where p is given in (f_{3}).
Proof
Let us prove the estimate. Note that from (f_{2}) and (f_{3}) it follows that for each \(\epsilon< 0\), there exists \(A(\epsilon) > 0\) such that
Using Hölder with the conjugated exponents \(\frac{2_{*}}{p+1}\) and \(\frac{2_{*}}{2_{*} (p+1)}\), we have
Just by definition and Lebesgue dominated convergence theorem, it follows that \(A = \nabla\Psi\), where \(\Psi(u) = \int F(u)\). On the other hand, (f_{2}) implies that A is a locally Lipschitz operator.
What is left to show is that A is a compact operator. Although this follows by straightforward calculations, we describe all the details, since this was the reason why we had to consider the space \(H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\) rather than \(H^{2}(\mathbb{R}^{N})\).
Let \((u_{n}) \subset H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\) be a bounded sequence. Along a subsequence, we have
For each \(v \in C^{\infty}_{0}(\mathbb{R}^{N})\), it follows by (f_{3}) and the Hölder inequality with \(2+\epsilon\) and \((2+\epsilon)'\), for small enough \(\epsilon> 0\), that
By taking \(2 < r < \min\{2,2_{*}/p\}\), using the Hölder inequality with r and \(r'\) and by (2.1), we obtain
Therefore, for all \(v \in C^{\infty}_{0}(\mathbb{R}^{N})\) it follows that
Since \(C^{\infty}_{0}(\mathbb{R}^{N})\) is dense in \(H^{2}_{\mathrm{rad}}(\mathbb {R}^{N})\), it follows that (2.2) holds for all \(v \in H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\), and this implies that
□
It is straightforward to prove that critical points of I correspond to fixed points of A.
Let us consider the following Cauchy problem in the Hilbert space H:
where \(\varphi:\mathcal{G} \to H\) and \(\mathcal{G} = \{(t,u) \in \mathbb{R} \times H; u \in H\mbox{ and }t\in[0,T(u))\}\) and \([0,T(u))\) is the maximal interval of the existence of the trajectory \(t \mapsto\varphi(t,u)\). Note that since A is a Lipschitz continuous operator, the flow φ is well defined.
The following is a key point in our approach.
Proposition 2.4
If for some \(u\in H\), \(\{I(\varphi(t,u)); 0 \leq t < T(u)\}\) is bounded from below, then:

(i)
\(T(u)=\infty\),

(ii)
there exists \(t_{n}\rightarrow\infty\) such that \(\{\varphi(t_{n},u), n\in\mathbb{N} \}\) is bounded in H and the ωlimit set of u,
$$\omega(u) = \bigcap_{0\leq t<\infty} \overline{\bigcup _{t \leq s<\infty}\varphi(s,u)} $$is a nonempty set formed by critical points of I.
Proof
(i) Note that
where we have used Hölder and (2.3). Suppose the assertion of the item is false. Then by the last estimate, the trajectory \(\{\varphi (t,u); t \in[0,T(u))\}\) would be bounded, which implies that \(T(u)=\infty\), which gives rise to a contradiction.
(ii) First of all, let us note that there exists a sequence \(t_{n} \rightarrow\infty\) such that \(\\nabla I(\varphi (t_{n},u))\ \rightarrow0\), as \(n\rightarrow\infty\). This follows just by noting that
We claim that \(\{\varphi(t_{n},u)\}_{n\in\mathbb{N}}\) is uniformly bounded in H with respect to \(n\in\mathbb{N}\).
Suppose, contrary to our claim, that \(\\varphi(t_{n},u)\ \rightarrow \infty\) as \(n \rightarrow\infty\). Let us define
Since \((w_{n})\) is a bounded sequence in H, it follows that there exists \(w\in H\) such that \(w_{n} \rightharpoonup w\) in H, up to a subsequence. Then Lemma 2.1 implies that \(w_{n}\rightarrow w\) in \(L^{q}(\mathbb{R}^{N})\), \(2 < q < 2_{*}\), and also \(w_{n} \to w\) a.e. in \(\mathbb{R}^{N}\).
In order to prove that \(w = 0\), let us consider \(\Gamma= \{x\in \mathbb{R}^{N} ; w(x)\neq0\}\), and prove that Γ has zero Lebesgue measure. For all \(x \in\Gamma\), we have \(\lim_{n\to\infty } \varphi(t_{n},u)(x) = \infty\). By (f_{4}), for each \(M>0\), there exists \(r > 0\) such that
Since \(\{I(\varphi(t_{n},u))\}_{n\to\infty}\) is bounded from below,
Observing that \(\varphi(t_{n},u)(x) \to+\infty\) as \(n \to\infty\) for all \(x \in\Gamma\) and by Fatou’s lemma, it follows that
which is a contradiction since \(\int_{\Gamma}w^{2} > 0\) and M is arbitrary. Hence, \(\Gamma = 0\).
Note that the function \(t\mapsto I(t\varphi(t_{n},u))\) is smooth in \((0,1)\). Let \(s_{n}\in[0,1]\) such that
For each \(R > 0\), and for all n large enough,
Hence \(\lim_{n\to\infty}I(s_{n} \varphi(t_{n},u)) = +\infty\), which implies that \(s_{n} \in(0,1)\). Then, for n large enough \(I'(s_{n}\varphi (t_{n},u))s_{n}\varphi(t_{n},u) = 0\). By (f_{4}), for all \(t\in[0,1]\) we have
For a given \(R_{0} > 0\), for n large enough, it follows that \(\frac {R_{0}}{\\varphi(t_{n},u)\} < 1\). Then
On the other hand, for all \(R_{0}>0\),
Since (2.4) contradicts (2.5), we find that \(\{\varphi (t_{n},u)\}_{n\in\mathbb{N}}\) is uniformly bounded in H with respect to \(n\in\mathbb{N}\) and the claim is proved.
In order to show that \(\omega(u) \neq\emptyset\), let us consider the bounded sequence \(\{\varphi(t_{n},u)\}\). Since A is compact, there exists \(u_{0} \in H\) such that \(A(\varphi(t_{n},u)) \rightarrow u_{0}\) along a subsequence. Hence
Then \(\lim_{n\to\infty}\varphi(t_{n},u) = u_{0}\) and \(u_{0} \in\omega(u)\).
Concerning the proof that every point in \(\omega(u)\) is a critical point of I, note that \(I(\varphi(t,u))\rightarrow d\) as \(t\rightarrow+\infty\). Then, if \(v\in\omega(u)\), there exists \(t_{n}\rightarrow\infty\) such that \(\varphi(t_{n},u) \rightarrow v\) in H as \(n\rightarrow\infty\). Hence
for all \(t \geq0\). Then, for all \(t \geq0\),
which implies that \(\nabla I(v) = 0\) and v is a critical point of I. □
Definition 2.5
We call \(D \subset H\) a positive invariant set if \(\varphi(t,u) \in D\) for all \(t \in[0,T(u))\) and \(u \in D\). If D is a positive invariant set we define its absorption domain by
Let us define the following set:
Lemma 2.6
\(\mathcal{A}_{0}\) is an open subset of H and there exists \(r > 0\) such that \(B_{r}(0) \subset\mathcal{A}_{0}\).
Proof
Let \(0 < \epsilon< 1\) and \(A(\epsilon)\) given in Lemma 2.3. Let us consider \(\alpha_{0} = (\frac{1 \epsilon }{2A(\epsilon)} )^{\frac{1}{p}}\). For each \(u\in\overline {B_{\alpha_{0}}(0)}\), by Lemma 2.3 we have
Then
since \(\epsilon\in(0,1)\).
Moreover, for all \(u \in\partial B_{\alpha_{0}}(0)\),
By continuity, there exists \(r\in(0,\alpha_{0})\) such that
Since the energy does not grow along any trajectory, if \(u\in B_{r}(0)\), then \(I(\varphi(t,u)) < \beta_{0}\), for all \(t\in[0,T(u))\). Then, by (2.6), \(\varphi(t,u) \in B_{\alpha_{0}}(0)\) for all \(t\in [0,T(u))\). Hence \(I(\varphi(t,u)) \geq0\) for all \(t\in[0,T(u))\), which implies that \(T(u) = \infty\). Moreover, \(\omega(u) \subset B_{\alpha_{0}}(0)\) is a compact nonempty set formed of critical points of I. On the other hand, if \(v\in B_{\alpha_{0}}(0)\) is a critical point of I, then
which only is possible in the case where \(v=0\). Therefore, \(\omega(u) = \{0\}\) for all \(u\in B_{r}(0)\) and then \(B_{r}(0) \subset\mathcal {A}_{0}\), which implies that \(\mathcal{A}_{0} = \mathcal{A}(B_{r}(0))\). Since \(B_{r}(0)\) is an open set, then so is \(\mathcal{A}(B_{r}(0))\). □
The following is a key result in our argument and in particular implies that \(\partial\mathcal{A}_{0}\) is a great place to look for nontrivial critical points of I.
Proposition 2.7
\(\partial\mathcal{A}_{0}\) is a closed positively invariant set of H and \(\inf_{u \in\partial\mathcal{A}_{0}}I(u) \geq0\). In particular, for all \(u \in\partial\mathcal{A}_{0}\), \(\omega(u)\) is a nonempty set consisting in nontrivial critical points of I.
The proof of the positively invariance can be found in [19] while the other results are straightforward to see.
Although \(\partial\mathcal{A}_{0}\) is a great set to look for nontrivial critical points of I, once found, nothing can be said about its signal. Let us introduce the concept of dual cone and state the dual cone decomposition theorem, which is given by Moreau in [13].
Definition 2.8
Given a cone \(\mathcal{K}\) in a Hilbert space H, its dual cone is defined by
Theorem 2.9
Let \(\mathcal{K} \subset H\) a closed convex cone. Then for all \(x\in H\), there exist \(y\in\mathcal{K}\) and \(z\in\mathcal{K}^{*}\) such that
Let us define the following cones and afterwards prove some invariance properties of them.
Let
which are closed convex cones.
Let us denote by P and Q the orthogonal projections of H in \(\mathcal{K}\) and \(\mathcal{K}\), respectively. Denoting by \(P^{*}= \mathrm{Id}  P\) and \(Q^{*} = \mathrm{Id}  Q\), note that
and
where \(K^{*}\) is the dual cone associated to \(\mathcal{K}\). We have analogous results involving Q, \(\mathcal{K}\), and \((\mathcal{K})^{*}\).
In order to prove the invariance of \(\mathcal{K}\) and \(\mathcal{K}\), as we will see, it will be necessary to prove that \(\mathcal{K}^{*} \subset\mathcal{K}\) and \((\mathcal{K})^{*} \subset\mathcal{K}\). In the classical argument developed by Weth in [14], the maximum principle to the operator \(\Delta^{2}\) under certain boundary conditions and in certain domains is absolutely useful. Since this is not an option for us, let us prove some result that in some sense will substitute the lack of this result.
Lemma 2.10
For each radially symmetric \(h \in C^{\infty}_{0}(\mathbb{R}^{N})\), \(h \geq 0\), and \(h \not\equiv0\), there exists a positive continuous radial solution \(v \in H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\) of the linear problem
Proof
The existence of a solution \(v \in H^{2}_{\mathrm{rad}}(\mathbb{R}^{N})\) follows straightforwardly just by applying the Riesz theorem. Regularity is a simple matter just by calling Proposition 2.5 in [21].
To the positiveness we apply some arguments of Chabrowski and Yang in [15] which we describe below.
Since v is smooth, \(\Omega= \{x \in\mathbb{R}^{N}; v(x) < 0\}\) is an open subset of \(\mathbb{R}^{N}\). Supposing by contradiction that there exists \(x_{0} \in\Omega\), let \(R > 0\) such that
Assuming for simplicity that \(R = 1\), let us denote
and \(\rho\in C^{\infty}_{0}(\mathbb{R}^{N})\) with \(\operatorname{supp} (\rho) \subset B_{1}(0)\) and \(\int\rho= 1\). Let us define
where \(0 < r \leq1\).
Note that \(\operatorname{supp}(\tilde{v}) \subset B_{r+1}(x_{0})\). Then, for \(x \in B_{r+1}(x_{0})\), \(\tilde{v}\) satisfies
where \(\bar{h} \geq0\) as for each \(y\in B_{r+1}(0)\), \(h(y)  V(y)v(y) \geq0\). Then \(\tilde{v}\) satisfies the following problem:
Let us recall that from standard minimization arguments and elliptic regularity theory, as proved in [15][Lemma 3], for all bounded smooth domain \(\Omega\subset\mathbb{R}^{N}\) and for all \(g \in L^{2N/(N4)}(\Omega) \cap C^{0,\alpha}(\Omega)\), \(0 < \alpha< 1\), there exists a classical solution \(w > 0\) of
For any \(L^{2N/(N4)}(B_{r+1}(x_{0})) \cap C^{0,\alpha}(B_{r+1}(x_{0}))\) positive function g, let w be the positive smooth solution of (2.10) with \(\Omega= B_{r+1}(x_{0})\). Using w as a test function in (2.9) we obtain
However, while the last integral is negative, the first one is positive, which gives us a contradiction. □
Using the last lemma it is possible to prove the following claim.
Claim
\(\mathcal{K}^{*} \subset\mathcal{K}\).
Proof
Let \(u \in\mathcal{K}^{*}\). For each \(h \in L^{2}(\mathbb{R}^{N})\), \(h \geq0\) a.e. in \(\mathbb{R}^{N}\) let \((h_{n})\) in \(C^{\infty}_{0}(\mathbb {R}^{N})\), \(h_{n} \geq0\), such that \(h_{n} \to h\) in \(L^{2}(\mathbb{R}^{N})\). For each \(n \in\mathbb{N}\), let \(v_{n}\) be the positive solution of the linear problem (2.8) with \(h = h_{n}\), given by Lemma 2.10. Then \(v_{n} \in\mathcal{K}\) and
Hence, by (2.11) and Fatou’s lemma,
Then it follows that \(u \leq0\) a.e. in \(\mathbb{R}^{N}\) and therefore \(u \in\mathcal{K}\). □
Remark 2.11
It is worth pointing out that if \(u \in H\), then \(u = Pu + P^{*}u\) where \(Pu \geq0\) and \(P^{*}u \leq0\) a.e. in \(\mathbb{R}^{N}\). Then \(u \leq Pu\), and consequently, \(u^{+} \leq Pu\) a.e. in \(\mathbb{R}^{N}\). In the same way one can prove that \(P^{*} u \leq u^{}\), \(Qu \leq u^{}\), and \(u^{+} \leq Q^{*} u\) a.e. in \(\mathbb{R}^{N}\).
The following is a very important result to prove the invariance of \(\mathcal{K}\) and \(\mathcal{K}\) under the flow φ.
Lemma 2.12
The operator A satisfies the following conditions:

(i)
\(\langle A(u),v \rangle\leq\langle A(P^{*}u),v \rangle \), for all \(u \in H\) and \(v\in\mathcal{K}^{*}\);

(ii)
\(\langle A(u),v \rangle\leq\langle A(Q^{*}u),v \rangle\), for all \(u \in H\) and \(v\in(\mathcal{K})^{*}\).
Proof
Since (ii) can be proved in the same way, we just prove (i). Let \(u \in H\) and \(v \in\mathcal{K}^{*}\). By Remark 2.11, \(P^{*}u \leq u^{}\), and by (f_{5})
Since \(v \leq0\), once more by (f_{5}) it follows that
□
Lemma 2.13

(i)
\(A(\mathcal{K}) \subset\mathcal{K}\) and \(A(\mathcal{K}) \subset\mathcal{K}\).

(ii)
For sufficiently small \(\alpha> 0\), the αneighborhood of \(\mathcal{K}\), \(B_{\alpha}(\mathcal{K})\) is positively invariant under φ. Moreover, all critical points of I in \(\overline{B_{\alpha}(\mathcal{K})}\) belong to \(\mathcal{K}\). The same holds for the cone \(\mathcal{K}\).

(iii)
\(\mathcal{K}\) and \(\mathcal{K}\) are positively invariant under φ.
Proof
Let us prove the results just for \(\mathcal{K}\), since for \(\mathcal {K}\) the arguments are the same.
(i) By Lemma 2.12(i), for \(u\in\mathcal{K}\),
which implies that \(A(u) \in\mathcal{K}\).
(ii) Let \(u\in H\), by Lemma 2.3 and Lemma 2.12(i), for \(0 < \epsilon< 1\), we have
which implies that
since \(\P^{*}(A(u))\\neq0\). Then, if \(0 < \P^{*}u\ < (\frac{1\epsilon}{2A(\epsilon )} )^{\frac{1}{p}} =: \alpha_{0}\),
Hence, for all \(\alpha< \alpha_{0}\), every fixed point of A in \(\overline{B_{\alpha}(\mathcal{K})}\) belongs to \(\mathcal{K}\). In fact, if \(u\in\overline{B_{\alpha}(\mathcal{K})}\backslash\mathcal {K}\) and \(A(u) = u\) then \(0 < \P^{*}u\ \leq\alpha< \alpha_{0}\), which implies by (2.13) that
which is a contradiction.
Now let us prove that \(B_{\alpha}(\mathcal{K})\) is positively invariant.
Note that by (2.13)
Suppose, contrary to our claim, that there exists \(u_{0}\in B_{\alpha}(\mathcal{K})\) such that \(\varphi(t_{0},u_{0}) \in\partial B_{\alpha}(\mathcal{K})\) where \(t_{0}\in[0,T(u_{0}))\) is the least positive real with this property. As \(B_{\alpha}(\mathcal{K})\) is a convex open set and \(\{\varphi(t_{0},u_{0})\}\) is compact, by Mazur’s separation theorem, there exist a linear functional \(\rho\in H^{*}\) and a real number β such that \(\rho(\varphi(t_{0},u_{0})) = \beta\) and \(\rho(u) > \beta\) for all \(u \in B_{\alpha}(\mathcal{K})\).
By (2.14) it follows that
Therefore, there exists \(\eta> 0\) such that \(\rho(\varphi(t,u_{0})) < \beta\) as long as \(t\in(t_{0}\eta,t_{0})\). Then \(\varphi(t,u_{0}) \notin B_{\alpha}(\mathcal{K})\) for all \(t \in(t_{0}  \eta, t_{0})\), which contradicts the minimality of \(t_{0}\).
(iii) This item follows straightforwardly observing that \(\mathcal{K} = \bigcap_{\alpha>0} B_{\alpha}(\mathcal{K})\). □
From now on let us consider \(\alpha> 0\) such that the statement of Lemma 2.13 holds for \(\mathcal{K}\) and \(\mathcal{K}\).
To obtain the signed solutions we will use the following result.
Proposition 2.14
Assume that there exists \(u_{0}\in\mathcal{K}\) such that \(I(u_{0}) < 0\), then there exists a nontrivial critical point of I in \(\mathcal{K}\). The same holds for \(\mathcal{K}\).
Proof
First note that by definition of \(\mathcal{A}_{0}\), \(I(u) \geq0\) for all \(u\in\mathcal{A}_{0}\). Then by continuity, \(I(u) \geq0\) for all \(u\in\overline{\mathcal{A}}_{0}\).
Since \(I(u_{0}) < 0\) then \(u_{0} \notin\overline{\mathcal{A}}_{0}\). As \(\mathcal{A}_{0}\) is an open neighborhood of the origin, there exists \(s\in(0,1)\) such that \(su_{0} \in\partial\mathcal{A}_{0}\cap\mathcal {K}\). Since \(\partial\mathcal{A}_{0}\cap\mathcal{K}\) is a closed positively invariant set, by Proposition 2.4, \(\omega(su_{0}) \subset\partial\mathcal{A}_{0}\cap\mathcal{K}\) is nonempty and any of its points are critical points of I. □
Let us denote by
Lemma 2.15
\(\mathcal{A}_{+}\) and \(\mathcal{A}_{}\) are disjoint relatively open sets of \(\partial\mathcal{A}_{0}\).
Proof
Since \(B_{\alpha}(\mathcal{K})\) and \(B_{\alpha}(\mathcal{K})\) are open sets, then so are \(\mathcal{A}(B_{\alpha}(\mathcal{K}))\) and \(\mathcal {A}(B_{\alpha}(\mathcal{K}))\).
Suppose, contrary to our claim, that there exists \(u\in\mathcal {A}_{+}\cap\mathcal{A}_{}\). Since \(u\in\partial\mathcal{A}_{0}\), then \(T(u)=\infty\) and \(\omega(u)\neq\emptyset\). Further, since \(u\in \mathcal{A}(B_{\alpha}(\mathcal{K})) \cap\mathcal{A}(B_{\alpha}(\mathcal{K}))\), then \(\omega(u)\subset\overline{B_{\alpha}(\mathcal{K})} \cap\overline{B_{\alpha}(\mathcal{K})}\). But since \(\omega(u)\) consists of critical points of I, by Lemma 2.13, \(\omega(u) \in\mathcal{K} \cap\mathcal{K} = \{0\}\), which contradicts the fact that \(u\in\partial\mathcal{A}_{0}\). □
Proposition 2.16
Suppose that there exists a continuous path \(h:[0,1] \rightarrow H\), such that \(h(0)\in\mathcal{K}\), \(h(1)\in \mathcal{K}\), and \(I(h(t)) < 0\) for all \(t\in[0,1]\). Then I has at least three nontrivial critical points, these being \(u_{1}\in\mathcal{K}\), \(u_{2}\in  \mathcal{K}\), and \(u_{3}\in H\backslash(\mathcal{K}\cup\mathcal{K})\).
Proof
Proposition 2.14 gives the existence of the signed critical points \(u_{1} \in\mathcal{K}\) and \(u_{2} \in\mathcal{K}\).
To get the nodal one, let us first highlight that \(h([0,1]) \cap \overline{\mathcal{A}}_{0} = \emptyset\).
Let \(Q = [0,1]^{2}\) and \(\mathcal{B}\subset Q\) be defined by
Note that B is relatively open in Q and the following hold:

\(\{0\} \times[0,1] \subset\mathcal{B}\), since \(0h(s) = 0\in \mathcal{A}_{0}\), \(\forall s\in[0,1]\);

\(\{1\} \times[0,1] \cap\overline{\mathcal{B}} = \emptyset\), since \(I(h(s))<0\), \(\forall s\in[0,1]\).
By recalling the LeraySchauder continuation principle, it follows that there exists a connected component Γ of \(\partial\mathcal {B}\), such that
Now, let us consider Σ the closure of the connected component of \(\Gamma\backslash\partial Q\) that intersects \([0,1]\times\{0\}\) and \([0,1]\times\{1\}\).
Denoting by \(\Gamma_{0} = \{s_{1}h(s_{2}); (s_{1},s_{2})\in\Sigma\}\), we find that \(\Gamma_{0}\) is a connected subset of \(\partial\mathcal {A}_{0}\) such that \(\Gamma_{0} \cap\pm\mathcal{K} \neq\emptyset\). Since by Lemma 2.15, \(\mathcal{A}_{\pm}\) are disjoint open subsets of \(\partial\mathcal{A}_{0}\), \(\Gamma_{0} \cap\mathcal{A}_{\pm}\) are open disjoints subsets of \(\Gamma_{0}\). By connectedness of \(\Gamma_{0}\), there exists \(u\in\Gamma_{0}\backslash(\mathcal{A}_{+} \cup\mathcal{A}_{})\) and once \(\partial\mathcal{A}_{0} \backslash (\mathcal{A}_{+} \cup\mathcal{A}_{})\) is positively invariant, then \(\{ \varphi(t,u); t \geq0\} \subset\partial\mathcal{A}_{0} \backslash (\mathcal{A}_{+} \cup\mathcal{A}_{})\). Using the fact that this is a closed subset in \(\partial\mathcal{A}_{0}\), it follows that \(\omega (u)\subset\partial\mathcal{A}_{0} \backslash(\mathcal{A}_{+} \cup \mathcal{A}_{})\). In particular, \(\omega(u) \cap(\mathcal{K} \cup \mathcal{K}) \neq\emptyset\) and any of his points are nodal critical points of I. □
The next result will be useful to put the energy functional I in the context of the last proposition.
Lemma 2.17
If \(S\subset H\backslash\{0\}\) is a compact subset and \(\tilde{S} = \{ tu; u\in S \textit{ and } t\geq0\}\), then
Proof
Let \((u_{n})\subset\tilde{S}\) be a sequence such that \(\u_{n}\ \rightarrow\infty\). Then there exists a sequence in \(\mathbb{R}_{+}\) \((t_{n})\) such that \(u_{n} = t_{n} v_{n}\) and \((v_{n})\subset S\). Since S is compact, we can suppose that along a subsequence \(v_{n} \rightarrow v\), as \(n\rightarrow\infty\), for some \(v\in S\). As \(\u_{n}\\rightarrow \infty\), then one trivially sees that \(t_{n}\rightarrow\infty\).
Now let us prove that
In fact, let \(\Gamma= \{x\in\mathbb{R}^{N}; v(x) \neq0\}\), then by Fatou’s lemma and (f_{4}), it follows that
Let \(M > 0\) be such that \(\v_{n}\ \leq M\), for all \(n \in\mathbb{N}\). Then we have
as \(n \to\infty\). □
Now, let us prove the main result of this work
Proof of Theorem 1.3
Let \(u\in\mathcal{K}\) and \(v\in\mathcal{K}^{*}\), such that \(u,v\neq 0\) and u and v are linearly independent in H. For each \(s>0\), let us define \(h_{s}:[0,1] \rightarrow H\) as \(h_{s}(t) = s(tu + (1t)v)\).
For each \(s>0\),

\(h_{s}(1) = su \in\mathcal{K}\backslash\{0\}\),

\(h_{s}(0) = sv \in\mathcal{K}^{*}\backslash\{0\}\).
By Lemma 2.17 applied to the compact set \(S = \{tu+(1t)v; t\in[0,1]\}\), we see that if s is large enough, then \(I(h_{s}(t)) < 0\), \(\forall t\in[0,1]\). Hence, Proposition 2.16 gives us the existence of \(u_{1}\), \(u_{2}\), and \(u_{3}\), respectively, a positive, a negative, and a nodal critical point of I restricted to H. The existence of the critical points of I in all space \(H^{2}(\mathbb {R}^{N})\) follows just by applying the principle of symmetric criticality of Palais to the functional I, once we have observed that I is invariant by the action of the group \(O(N)\), and
Hence the theorem follows. □
References
 1.
Floer, A, Weinstein, A: Nonspreading wave packets for the cubic Schrödinger equations with a bounded potential. J. Funct. Anal. 69, 397408 (1986)
 2.
Rabinowitz, PH: On a class of nonlinear Schrödinger equations. Z. Angew. Math. Phys. 43, 270291 (1992)
 3.
Wang, X: On concentration of positive bound states of nonlinear Schrödinger equations. Commun. Math. Phys. 153, 229244 (1993)
 4.
del Pino, M, Felmer, P: Local mountain pass for semilinear elliptic problems in unbounded domains. Calc. Var. Partial Differ. Equ. 4, 121137 (1996)
 5.
Bonheure, D, Schaftingen, JV: Bound state solutions for a class of nonlinear Schrödinger equations. Rev. Mat. Iberoam. 24, 297351 (2008)
 6.
Bonheure, D, Di Cosmo, J, Schaftingen, JV: Nonlinear Schrödinger equation with unbounded or vanishing potentials: solutions concentrating on lower dimensional spheres. J. Differ. Equ. 252, 941968 (2012)
 7.
Pimenta, MTO, Soares, SHM: Existence and concentration of solutions for a class of biharmonic equations. J. Math. Anal. Appl. 390, 274289 (2012)
 8.
Pimenta, MTO, Soares, SHM: Singularly perturbed biharmonic problems with superlinear nonlinearities. Adv. Differ. Equ. 19, 3150 (2014)
 9.
Figueiredo, GJM, Pimenta, MTO: Multiplicity of solutions for a biharmonic equation with subcritical or critical growth. Bull. Belg. Math. Soc. Simon Stevin 20(3), 519534 (2013)
 10.
Castro, A, Cossio, J, Neuberger, J: A signchanging solution for a superlinear Dirichlet problem. Rocky Mt. J. Math. 27(4), 10411053 (1997)
 11.
Alves, CO, Soares, SHM: On the location and profile of spykelayer nodal solutions to nonlinear Schrödinger equations. J. Math. Anal. Appl. 296, 563577 (2004)
 12.
Alves, CO, Soares, SHM: Nodal solutions for singularly perturbed equations with critical exponential growth. J. Differ. Equ. 234, 464484 (2007)
 13.
Moreau, JJ: Décomposition orthogonale d’un espace hilbertien selon deux cônes mutuellement polaires. C. R. Math. Acad. Sci. Paris 255, 238240 (1962)
 14.
Weth, T: Nodal solutions to superlinear biharmonic equations via decomposition in dual cones. Topol. Methods Nonlinear Anal. 28, 3352 (2006)
 15.
Chabrowski, J, Yang, J: Nonnegative solutions for semilinear biharmonic equations in \(\mathbb{R}^{N}\). Analysis 27, 3559 (1997)
 16.
Ebihara, Y, Schonbek, T: On the (non)compactness of the radial Sobolev spaces. Hiroshima Math. J. 16, 665669 (1986)
 17.
Huang, Y, Liu, X: On singchanging solution for a fourthorder asymptotically linear elliptic problem. Nonlinear Anal. 72, 22712276 (2010)
 18.
Huang, Y, Liu, X: Signchanging solutions for pbiharmonic equations with Hardy potential. J. Math. Anal. Appl. 412, 142154 (2014)
 19.
Liu, Z, Sun, J: Invariant sets of descending flow in critical point theory with applications to nonlinear differential equations. J. Differ. Equ. 172, 257299 (2001)
 20.
Miyagaki, O, Souto, M: Superlinear problems without Ambrosetti and Rabinowitz growth condition. J. Differ. Equ. 245, 36283638 (2008)
 21.
Ramos, M: Uniform estimates for the biharmonic operator in \(\mathbb{R}^{N}\) and applications. Commun. Appl. Anal. 8, 435457 (2009)
Acknowledgements
The author would like to thank PropeUnesp and Fundunesp for the support and Prof. Sérgio Monari Soares and Antonio Suárez for useful suggestions concerning the paper. This work was supported by FAPESP  2012/201600  2014/161361 and CNPq 442520/20140
Author information
Affiliations
Corresponding author
Additional information
Competing interests
The author declares that he has no competing interests.
Author’s contributions
The author wrote and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Pimenta, M.T. Radial signchanging solutions to biharmonic nonlinear Schrödinger equations. Bound Value Probl 2015, 21 (2015). https://doi.org/10.1186/s136610150282z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s136610150282z
MSC
 35J60
 35J35
Keywords
 variational methods
 biharmonic equations
 nodal solutions