Abstract
We prove new existence results for a nonlinear Helmholtz equation with sign-changing nonlinearity of the form
with \(k>0,\) \(N \ge 3\), \(p \in \left[ \left. \frac{2(N+1)}{N-1},\frac{2N}{N-2}\right) \right. \) and \(Q \in L^{\infty }({\mathbb {R}}^{N})\). Due to the sign-changes of Q, our solutions have infinite Morse-Index in the corresponding dual variational formulation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Real-valued solutions of nonlinear Helmholtz equations of the form
arise in the study of high-frequency time-harmonic solutions of the Klein-Gordon equation
which is an important model in the mathematical description of nonlinear wave propagation. Indeed, plugging in the time-harmonic ansatz \(U(t,x) = e^{\text {i}\omega t}u(x)\) for \(\omega ^2>m\) we find that the real-valued profile function \(u:{\mathbb {R}}^{N}\rightarrow {\mathbb {R}}\) satisfies (1.1) with \(k^2 = \omega ^2-m>0\). In other words, nonlinear Helmholtz equations can be seen as the high-frequency counterparts of the well-studied class of stationary nonlinear Schrödinger equations where \(\omega ^2<m\) is assumed. In the present article, we consider nonlinear Helmholtz equations of the form
for \(p \in \left[ \left. \frac{2(N+1)}{N-1},\frac{2N}{N-2}\right) \right. \) and \(k >0 \) with a weight function \(Q \in L^{\infty }({\mathbb {R}}^{N})\) that may change sign. One of the main tools for proving the existence of solutions is the dual variational method that, in its classical form, relies on the nonnegativity of the potential Q. In the context of Nonlinear Helmholtz equations this method was first implemented in a paper by Evéquoz and Weth [4]. To highlight the role of the nonnegativity of Q we briefly recapitulate the approach.
Instead of (1.2) one considers a reformulation as the integral equation
where \(\mathbf{R }\) is the real part of a resolvent type operator \({{\mathcal {R}}}\), i.e., a right inverse of the Helmholtz operator \(-\Delta -k^2\) on \({\mathbb {R}}^N\). For \(f \in {\mathcal {S}}({\mathbb {R}}^{N})\) the operator \({{\mathcal {R}}}\) is given by \({{\mathcal {R}}}(f) = \Phi *f\) where
is the fundamental solution of the Helmholtz equation associated with Sommerfeld’s outgoing radiation condition
Here, \(H^{(1)}_{\frac{N-2}{2}}\) denotes the Hankel function of the first kind and order \(\frac{N-2}{2}\). So the operator \(\mathbf{R }\) from (1.3) is given by \(R(f) = \Psi *f\) where \(\Psi := Re(\Phi )\) satisfies
The symbol \(Y_{\frac{N-2}{2}}=\text {Im}(H^{(1)}_{\frac{N-2}{2}})\) stands for the Bessel function of the second kind of order \(\frac{N-2}{2}\). It is known [7, Theorem 2.3] that \({\mathcal {R}}\) extends as a continuous linear map from \(L^{p'}({\mathbb {R}}^{N}) \rightarrow L^{p}({\mathbb {R}}^{N})\) precisely for \(p \in \big [ \frac{2(N+1)}{N-1},\frac{2N}{N-2} \big ]\). To explain this briefly notice that the Fourier symbol of \({\mathcal {R}}\) is the tempered distribution \((|\xi |^2-k^2-i0)^{-1}\). Its behaviour at infinity \(\sim |\xi |^{-2}\) is responsible for the upper bound \(\frac{2N}{N-2}\) whereas frequencies \(|\xi |\approx k\) give rise to the lower bounds given by the Stein–Tomas exponent \(p_{ST}:=\frac{2(N+1)}{N-1}\). Recall that the Stein–Tomas inequality reads
Here, \(S^{N-1}\) denotes the unit sphere in \({\mathbb {R}}^N\) and \(\frac{2(N+1)}{N+3}=p_{ST}'\) is the dual Stein–Tomas exponent.
Being given these mapping properties of \({\mathcal {R}}\) and hence of \(\mathbf{R }=\text {Re}({\mathcal {R}})\) we introduce the dual variable \({\tilde{u}}:= Q^{1/p'}|u|^{p-2}u\) and observe that solutions of (1.3) are precisely the critical points of the (dual) energy functional \(I: L^{p'}({\mathbb {R}}^{N}) \rightarrow L^{p}({\mathbb {R}}^{N})\) given by
Here, \({{\mathcal {K}}}: L^{p'}({\mathbb {R}}^{N}) \rightarrow L^{p}({\mathbb {R}}^{N}), {\tilde{u}} \mapsto Q^{\frac{1}{p}}\mathbf{R }(Q^{\frac{1}{p}}{\tilde{u}})\) is a symmetric operator in the sense of
see [4, Lemma 4.1]. We point out that the proof of this fact uses that Q is nonnegative. Under the additional assumption that Q vanishes at infinity, one obtains that I is an odd functional of class \({{\mathcal {C}}}^1\) that has the Mountain Pass Geometry and satisfies the Palais-Smale Condition. So the existence of an unbounded sequence of solutions to (1.3) follows from the Symmetric Mountain Pass Theorem. Inverting the transformation \(u\mapsto {\tilde{u}}\) one thus obtains an unbounded sequence of solutions to the nonlinear Helmholtz equation (1.2). This is the strategy proposed by Evéquoz and Weth [4] for the focusing nonlinear Helmholtz equation where \(Q\ge 0\). We refer to [9] for analogous results in the defocusing case \(Q \le 0\), where the dual variational approach was implemented for the dual variable \({\tilde{u}}:= |Q|^{1/p'}|u|^{p-2}u\). In view of these two results it is natural to ask for a dual variational approach work in the intermediate case of sign-changing Q. In this paper, we provide a solution for this problem.
To treat sign-changing coefficients \(Q \in L^{\infty }({\mathbb {R}}^{N})\) we have to come up with a new idea to make the dual variational approach work. We write \(Q = Q_{+} - Q_{-}\) where \(Q_{\pm }:= |Q| \mathbb {1}_{A_{\pm }}\) and
In fact we will consider \(Q_{\lambda }:= \lambda Q_{+} -Q_{-}\) for \(\lambda > 0\) in the following. Our main idea is to introduce the dual variables \((\phi ,\psi )\in L^{p'}(A_+)\times L^{p'}(A_-)\) associated with \((u|_{A_+},u|_{A_-})\) and to derive a coupled system of nonlinear integral equations the solutions of which are precisely the critical points of an associated strongly indefinite dual energy functional. We will see that the indefiniteness comes from the presence of \(Q_-\) and thus vanishes in the case of a nonnegative function \(Q\ge 0\). In particular, the critical points of this dual energy functional will have infinite Morse index, which clearly distinguishes these solutions from the dual bound and ground states obtained in [4] in the case \(Q\ge 0\). We will explain the dual variational framework in detail in Sect. 2. Our conditions for the existence of critical points involve the linear operator \({{\mathcal {K}}}:L^{p'}({\mathbb {R}}^{N})\rightarrow L^{p}({\mathbb {R}}^{N}), f \mapsto |Q|^{\frac{1}{p}}\mathbf{R }(|Q|^{\frac{1}{p}}f)\) as well as the numbers
Since we will assume \({{\mathcal {K}}}\) to be compact, both values are indeed attained. Moreover we have \(\beta \ge 0\) and [4, Lemma 4.2(ii)] gives \(\alpha >0\) once we assume that \(A^+\) has positive measure, i.e., \(Q^+\not \equiv 0\). Our main result reads as follows.
Theorem 1.1
Let \(p \in [\frac{2(N+1)}{N-1}, \frac{2N}{N-2})\) and \( Q\in L^\infty ({\mathbb {R}}^{N})\), \(Q^+\not \equiv 0\). Moreover assume that
Then for almost all \(\lambda >\lambda _{0}:=(2\beta \alpha ^{-1})^{p}\) there is a nontrivial strong solution \(u \in W^{2,q}({\mathbb {R}}^{N})\cap {{\mathcal {C}}}^{1,\gamma }({\mathbb {R}}^{N})\) for all \(q\in \left( \frac{2N}{N-1},\infty \right) ,\gamma \in (0,1)\) of
The proof relies on a combination of a saddle-point reduction and the abstract monotonicity trick by Jeanjean–Toland [6], which provides bounded Palais-Smale sequences (only) for almost all \(\lambda >\lambda _0\). It would clearly be desirable to extend our result to all \(\lambda >\lambda _0\), but related a priori bounds seem to be out of reach. Notice also that [9, Theorem 1.4] suggests the existence of nontrivial solutions also for small \(\lambda >0\), possibly assuming the set \(\{Q>0\}\) to be small enough and following a different variational approach. Let us point out that \(\lambda _0\) is small provided that the number \(\beta \), which is the same as the operator norm \(\Vert \mathbb {1}_{A_{+}}{{\mathcal {K}}}(\mathbb {1}_{A_{-}})\Vert _{p'\rightarrow p}\), is small compared to \(\alpha >0\). In the case \(p>\frac{2(N+1)}{N-1}\) this can be achieved by considering coefficient functions Q such that \({{\,\mathrm{dist}\,}}(A_-,A_+)\) is large enough, see [5, Lemma 2.6].
In the following Corollary, we show that the abstract conditions (1.9) hold for a reasonable class of sign-changing functions \(Q\in L^\infty ({\mathbb {R}}^{N})\). If for instance Q vanishes at infinity, then [4, Lemma 4.1(ii)] applied to |Q| implies that \({{\mathcal {K}}}: L^{p'}({\mathbb {R}}^{N}) \rightarrow L^{p}({\mathbb {R}}^{N})\) is compact. It is less immediate to verify the non-negativity assumption on the bilinear form (1.9). From [2, Corollary 5.4] we infer that this condition holds for measurable sets \(A_-\) with small enough diameter. To be more precise, if \(y_{\frac{N-2}{2}}\) denotes the first (positive) zero of the Bessel function \(Y_{\frac{N-2}{2}}\), then the condition \({{\,\mathrm{diam}\,}}(A_{-}) \le k^{-1}y_{\frac{N-2}{2}}\) is sufficient. To put this condition into perspective, note that for \(N=3\) we have \(Y_{\frac{1}{2}}(t) = -\sqrt{\frac{2}{\pi t}}\cos {t}\), thus \(y_{1/2} = \pi /2\) and \(y_{\frac{N-2}{2}} > y_{1/2}\) for \(N >3\) (see [1], [Section 9.5]). We thus conclude as follows.
Corollary 1.2
Assume \(p \in [\frac{2(N+1)}{N-1}, \frac{2N}{N-2})\) and \(Q\in L^\infty ({\mathbb {R}}^{N}),Q^+\not \equiv 0\). Moreover assume
Then for almost all \(\lambda >\lambda _0:=(2\beta \alpha ^{-1})^{p}\) there is a nontrivial strong solution \(u \in W^{2,q}({\mathbb {R}}^{N})\cap {{\mathcal {C}}}^{1,\gamma }({\mathbb {R}}^{N})\) for all \(q\in \left( \frac{2N}{N-1},\infty \right) \) and \(\gamma \in (0,1)\) of (1.10).
The regularity results in Theorem 1.1 and Corollary 1.2 are direct consequences of [4, Lemma 4.3] and of the iteration procedure from Step 3 in the proof of [8, Theorem 1]. Notice that [8, Theorem 1] provides solutions to far more general Nonlinear Helmholtz equations than (1.2) regardless of whether sign-changes occur or not, but the constructed solutions are small. This result relies on a fixed point approach. Let us also mention [3] where nontrivial solutions of Nonlinear Helmholtz equations are constructed for rather general and possibly sign-changing nonlinearities vanishing identically outside some compact subset of \({\mathbb {R}}^{N}\). Our method is entirely different from any of these approaches.
This paper is organzied as follows: In Sect. 2 we introduce our basic tools and develop the dual variational framework by reformulating the indefinite Nonlinear Helmholtz equation as a coupled system of integral equations. Then we prove that nontrivial critical points of the associated energy functional \(J_{\lambda }\) are indeed nontrivial solutions \(u \in L^{p}({\mathbb {R}}^{N})\) of the integral equation \(u = \mathbf{R }(Q_{\lambda }|u|^{p-2}u)\). This motivates the search for critical points of \(J_\lambda \). In Sect. 3 we perform the saddle-point reduction of \((\phi ,\psi )\mapsto J_\lambda (\phi ,\psi )\) leading to a reduced function \({\tilde{J}}_\lambda \) that depends on \(\phi \) only. In Sect. 4 we establish the existence of bounded Palais-Smale sequences for these reduced functionals for almost all \(\lambda > \lambda _{0}\). As mentioned above, this step entirely relies on the monotonicity trick by Jeanjean and Toland [6]. Finally, we combine all the auxiliary results to prove Theorem 1.1 and Corollary 1.2 in Sect. 5.
Let us close this introduction by fixing some notation: Throughout the paper we denote by \(B_{r}(x)\) the open ball in \({\mathbb {R}}^{N}\) with radius \(r>0\) and center at \(x \in {\mathbb {R}}^{N}\). Moreover, we set \(B_{r} = B_{r}(0)\) for any \(r>0\). For \(1\le s\le \infty \), we abbreviate the standard norm on \(L^{s}({\mathbb {R}}^{N})\) by \(\left\| \cdot \right\| _{s}\). The Schwartz-class of rapidly decreasing functions on \({\mathbb {R}}^{N}\) is denoted by \({\mathcal {S}}({\mathbb {R}}^{N})\). For any \(p \in (1,\infty )\) we always denote by \(p':=\frac{p}{p-1}\) the Hölder conjugate of p. The indicator function of a measurable set \(B\subset {\mathbb {R}}^{N}\) is \(\mathbb {1}_B\). By \({{\,\mathrm{diam}\,}}{(B)}\) we always denote the diameter of a set. We will always use the symbols \(\phi ,\psi \) to denote \(L^{p'}(A_{+})-\) and \(L^{p'}(A_{-})\)-functions that are continued trivially to the whole of \({\mathbb {R}}^{N}\).
2 Dual variational formulation
In this section we will formulate a variational framework to the Eq. (1.10). We recall from the introduction that solutions of our problem are obtained as solutions of the integral equation
where \(\mathbf{R }(f) = \Psi *f\) for the function \(\Psi \) introduced in (1.5) and
for all \(p \in \left[ \frac{2(N+1)}{N-1},\frac{2N}{N-2} \right] \) and some constant \(C>0\).
To obtain the dual variational formulation of (2.1) we introduce \(v:= \mathbb {1}_{A_{+}}u\) and \(w:= \mathbb {1}_{A_{-}}u\). Then (2.1) is equivalent to the system
Setting
we deduce
Similarly
In terms of the Birman-Schwinger operator \({{\mathcal {K}}}: f\mapsto |Q|^{\frac{1}{p}} \mathbf{R }\big (|Q|^{\frac{1}{p}}f\big )\) introduced above this can be reformulated as
and therefore carries a variational structure through the (dual) energy functional \(J_\lambda \) on \(L^{p'}(A_{+})\times L^{p'}(A_{-})\) given by
This functional is of class \({{\mathcal {C}}}^{1}\) with
Here \(\partial _1,\partial _2\) stand for partial derivatives with respect to \(\phi \) and \(\psi \). For this reason we will look for critical points of \(J_\lambda \). These solve the integral equation (2.1). Thus by the regularity results [4, Lemma 4.3] and [8, p.13] these are indeed strong solutions to our original problem (1.10).
Proposition 2.1
Let \((\phi ,\psi ) \in L^{p'}(A_{+})\times L^{p'}(A_{-})\setminus \{(0,0)\}\) be a critical point of \(J_{\lambda }\) where \(\lambda >0\). Then
is a nontrivial solution of (2.1).
Proof
Let \((\phi ,\psi ) \in L^{p'}(A_{+})\times L^{p'}(A_{-})\setminus \{(0,0)\}\) be a critical point of \(J_{\lambda }\). Thus we have
as well as
Applying \(\mathbf{R }\) then gives \( \mathbf{R }\left( Q_{\lambda }|u|^{p-2}u\right) = \mathbf{R }\left( |Q|^{\frac{1}{p}}(\phi -\psi )\right) = u. \) Hence u solves (2.1). \(\square \)
So we conclude that it remains to find nontrivial critical points of the functionals \(J_\lambda \) for as many \(\lambda >0\) as possible. This will be achieved with the Mountain Pass Theorem for families of \({{\mathcal {C}}}^1\)-functionals by Jeanjean and Toland [6].
3 Saddle-point reduction
In this section we perform the saddle-point reduction of \(J_{\lambda }\) with respect to the \(\psi \)-variable. To this end, we prove that for any fixed \(\phi \in L^{p'}(A_{+})\) the functional \(\psi \mapsto J_{\lambda }(\phi ,\psi )\) attains its maximum at some uniquely defined function in \(L^{p'}(A_-)\) that we will call \(Z(\phi )\) in the following. We shall see that the positivity assumption \(\int \limits _{{\mathbb {R}}^{N}} \psi {{\mathcal {K}}}\psi ~dx \ge 0\) for all \(\psi \in L^{p'}(A_{-})\) ensures that the functional \(\psi \mapsto J_{\lambda }(\phi ,\psi )\) is strictly concave so that the global maximization with respect to \(\psi \) is the only reasonable approach to perform a saddle point reduction. We introduce the reduced functional \(\tilde{J}_{\lambda }:L^{p'}(A_{+}) \rightarrow {\mathbb {R}}\) via
Proposition 3.1
Assume that \({{\mathcal {K}}}: L^{p'}({\mathbb {R}}^{N}) \rightarrow L^{p}({\mathbb {R}}^{N})\) is compact and that \( \int \limits _{A_-} \psi {{\mathcal {K}}}\psi ~dx \ge 0 \) for all \(\psi \in L^{p'}(A_{-})\). Then for every \(\phi \in L^{p'}(A_{+})\) there exists a unique \(Z(\phi ) \in L^{p'}(A_{-})\) such that for all \(\lambda > 0\) we have
Moreover:
-
(i)
For any \(\phi \in L^{p'}(A_{+})\) the corresponding maximizer \(Z(\phi )\) satisfies
$$\begin{aligned} \left\| Z(\phi )\right\| _{p'} \le \left( p'\beta \left\| \phi \right\| _{p'}\right) ^{\frac{1}{p'-1}} \end{aligned}$$(3.2)where \(\beta \) is defined in (1.8).
-
(ii)
The map \(Z : L^{p'}(A_{+}) \rightarrow L^{p'}(A_{-})\) is continuous.
-
(iii)
The reduced functional \(\tilde{J}_{\lambda } : L^{p'}(A_{+}) \rightarrow {\mathbb {R}}\) is of class \({{\mathcal {C}}}^{1}\) with derivative
$$\begin{aligned} \tilde{J}_{\lambda }'[h] = \partial _{1}J_{\lambda }(\phi ,Z(\phi ))[h]. \end{aligned}$$
Proof
We first establish the existence of a maximizer. So fix \(\phi \in L^{p'}(A_{+})\) and consider a maximizing sequence \((\psi _{n})_{n} \subset L^{p'}(A_{-})\). Using \(J_{\lambda }(\phi ,0) \le \sup \limits _{\psi \in L^{p'}(A_{-})}J_{\lambda }(\phi ,\psi ) = J_{\lambda }(\phi ,\psi _{n})+ o(1)\) as \(n \rightarrow \infty \) we obtain
Here we used the nonnegativity assumption on \({{\mathcal {K}}}\) as well as (1.8). Hence,
so \((\psi _{n})_{n}\) is bounded. Passing to a subsequence we find \(\psi ^{*} \in L^{p'}(A_{-})\) such that \(\psi _{n} \rightharpoonup \psi ^{*}\) in \(L^{p'}(A_{-})\) as \(n \rightarrow \infty .\) Using the compactness of \({{\mathcal {K}}}\) and the weak lower semicontinuity of the norm we find
Hence the supremum is attained at \(\psi ^{*}\). Since equality must hold in the above estimate we conclude \(\left\| \psi _{n}\right\| _{p'} \rightarrow \left\| \psi ^{*}\right\| _{p'}\), whence \(\psi _{n} \rightarrow \psi ^{*}\) in \(L^{p'}(A_{-})\) as \(n \rightarrow \infty \). This shows the existence of a maximizer satisfying the estimate stated in (i). So (i) is proved once we have established the uniqueness of the maximizer.
To this end assume that \(\psi ^*, \psi ^\dagger \in L^{p'}(A_-)\) are maximizers. Then we have
where we have used the nonnegativity condition in the second last step and the convexity of \(z\mapsto |z|^{p'}\) in the last step. So we have equality in each estimate and conclude \(\psi ^*= \psi ^\dagger \). Note that the maximizer does not depend on \(\lambda \) since the only \(\lambda \)-dependent term in \(J_\lambda (\phi ,\psi )\) is \(\frac{\lambda ^{1-p'}}{p'}\Vert \phi \Vert _{p'}^{p'}\), which is independent of \(\psi \).
We now prove (ii), i.e., the continuity of the map Z: Assume \(\phi _{n} \rightarrow \phi \) in \(L^{p'}(A_{+})\) and let \((\psi _{n})_{n} := (Z(\phi _n))_n \subset L^{p'}(A_{-})\) be the associated maximizers. By (3.3), the sequence \((\psi _{n})_{n}\) is bounded and after passing to a subsequence we may assume \(\psi _{n} \rightharpoonup \psi _{0}\) in \(L^{p'}(A_{-})\) as \(n \rightarrow \infty \). Arguing as above we deduce
using weak lower semicontinuity and \(\liminf \limits _{n \rightarrow \infty } \left\| \psi _{n}\right\| _{p'} \ge \left\| \psi _{0}\right\| _{p'}\). On the other hand, with the special choice \(\psi = Z(\phi )\) we obtain
Combining both estimates gives \(\left\| \psi _{n}\right\| _{p'} \rightarrow \left\| \psi _{0}\right\| _{p'}\) as well as \(\tilde{J}_{\lambda }(\phi _{n}) \rightarrow \tilde{J}_{\lambda }(\phi )\) as \(n \rightarrow \infty \). Thus we have equality in (3.4), (3.5). Since maximizers are unique, we obtain \(\psi _{0} = Z(\phi )\) and in particular \(Z(\phi _n)=\psi _{n} \rightarrow \psi _{0}=Z(\phi _0)\) in \(L^{p'}(A_{-})\) as \(n \rightarrow \infty \).
We are left to prove (iii). Let \(h \in L^{p'}(A_{+})\) be arbitrary. We can estimate the difference quotients as follows:
Here we used that Z is continuous and that \(\partial _1 J_\lambda \) is continuous, see [10, Proposition 9] for a similar computation. We conclude that \({\tilde{J}}_\lambda \) is Gâteaux-differentiable with continuous derivative \(\phi \mapsto \partial _1 J_\lambda (\phi ,Z(\phi ))[\cdot ]\), see Proposition 3.1 (iii). Hence, the reduced functional \({\tilde{J}}_\lambda \) is continuously (Fréchet-)differentiable with
as claimed. \(\square \)
Notice that the condition \(\int _{{\mathbb {R}}^N} \psi {\mathcal {K}}\psi \,\mathrm {d}x\ge 0\) is also necessary for the existence of a global maximizer of \(\psi \mapsto J_\lambda (\phi ,\psi )\) because otherwise this functional is unbounded from above.
4 Palais–Smale sequences for the reduced functional
In view of the results of the previous sections, we obtain a solution to our problem by proving the existence of a nontrivial critical point of the reduced functional \(\tilde{J}_{\lambda } : L^{p'}(A_{+}) \rightarrow {\mathbb {R}}\) introduced in (3.1). This will be done via Mountain-pass techniques for monotone families of functionals originating from the work of Jeanjean and Toland [6].
Definition 4.1
Let X be a Banach space, \(M\subset {\mathbb {R}}\) a compact interval. Then the family \((I_\nu )_{\nu \in M}\) of \({{\mathcal {C}}}^1\)-functionals on X is said to have the Mountain Pass Geometry if there exist \(v_1,v_2\in X\) such that for all \(\nu \in M\) it holds
where \(\Gamma :=\{\gamma \in C([0,1],X): \gamma (0)=v_1,\gamma (1)=v_2\}\).
Theorem 4.2
(Jeanjean, Toland) [6, Theorem 2.1] Assume that X is a Banach space, \(M\subset {\mathbb {R}}\) a compact interval and \((I_\nu )_{\nu \in M}\) a family of \({{\mathcal {C}}}^1\)-functionals on X having the Mountain Pass Geometry. Assume further that \((I_\nu )_{\nu \in M}\) has the following property:
Then for almost all \(\nu \in M\) there is a bounded Palais–Smale sequence (BPS) for \(I_\nu \) at the level \(c_{\nu }\).
We shall apply this result to \(X = L^{p'}(A_{+})\) and the family of \({{\mathcal {C}}}^{1}\)-functionals \(I_\lambda := \tilde{J}_\lambda :X\rightarrow {\mathbb {R}}\). We first verify the Mountain Pass Geometry for parameters \(\lambda \in (\lambda _0,\infty )\) where \(\lambda _0= (2\beta \alpha ^{-1})^p\). Let us recall that \(\alpha ,\beta \) were defined as
Proposition 4.3
Let \({{\mathcal {K}}}: L^{p'}({\mathbb {R}}^{N}) \rightarrow L^{p}({\mathbb {R}}^{N})\) be compact and assume \(\int \limits _{{\mathbb {R}}^{N}}\psi {{\mathcal {K}}}\psi ~dx \ge 0\) for all \(\psi \in L^{p'}(A_{-})\). Then, for any given compact subinterval \(M\subset (\lambda _0,\infty )\), the family of functionals \((\tilde{J}_{\lambda })_{\lambda \in M}\) has the Mountain Pass Geometry according to Definition 4.1.
Proof
For \(\lambda \in M\) we define \(r_\lambda := (\lambda ^{p'-1}\alpha )^{1/(p'-2)}\). Then we have
On the other hand, we have
According to Definition 4.1 it therefore remains to find some \(\phi ^* \in L^{p'}(A_+)\) with \(\Vert \phi ^*\Vert _{p'}\ge r_{\lambda _0}\) such that \({\tilde{J}}_{\lambda _0}(\phi ^*)\le 0\) holds. Notice that in this case we actually have \(\tilde{J}_{\lambda }(\phi ^*)<{\tilde{J}}_{\lambda _0}(\phi ^*)\le 0\) for all \(\lambda \in M\subset (\lambda _{0},\infty )\). To achieve this we estimate \({\tilde{J}}_{\lambda _0}\) from above as follows
where we have used that \( \max \limits _{c\ge 0}\left( -\frac{c^{p'}}{p'} + \beta {\left\| \phi \right\| _{p'}}c\right) = \frac{\beta ^p}{p}\Vert \phi \Vert _{p'}^{p} .\) We choose \(\phi ^*= {R \phi _0}\) where the function \(\phi _0 \in L^{p'}(A_+), \Vert \phi _0\Vert _{p'} = 1\) attains the maximum \(\alpha = \int _{{\mathbb {R}}^{N}} \phi _0 {\mathcal {K}} \phi _0 \,\mathrm {d}x> 0\). Then the choice \(R:= (\frac{1}{2}\alpha \beta ^{-p})^{1/(p-2)}\) yields after some computations (recall \(\lambda _0= (2\beta \alpha ^{-1})^p\))
Using again the explicit formulas for \(R,\lambda _0\) we find
and thus the claim holds with \(v_{1} = 0\) and \(v_{2} = \phi ^*=R\phi _0\). \(\square \)
Having established the Mountain Pass Geometry of our functionals we now verify the condition (H) in order to use Theorem 4.2
Proposition 4.4
For any compact subinterval \(M\subset (\lambda _0,\infty )\) the family of \({{\mathcal {C}}}^{1}\)-functionals \((\tilde{J}_{\lambda })_{\lambda \in M}\) satisfies the condition (H).
Proof
Consider a sequence \((\phi _n, \lambda _n) \in L^{p'}(A_+) \times M\) with \(\lambda _n \nearrow \lambda _*\) and
for all \(n \in {\mathbb {N}}\). Then we have
So we conclude that \((\phi _n)\) is bounded. Furthermore, \(\lambda _n\rightarrow \lambda ^*>0\) gives
which is all we had to show. \(\square \)
We thus conclude that Theorem 4.2 applies in our context and yields BPS sequences for \({\tilde{J}}_\lambda \) at the corresponding Mountain pass levels \(c_\lambda \) for almost all \(\lambda \in (\lambda _0,\infty )\). From the existence of BPS sequences we deduce rather easily the existence of critical points at the corresponding Mountain Pass level.
Proposition 4.5
Let \({{\mathcal {K}}}: L^{p'}({\mathbb {R}}^{N}) \rightarrow L^{p}({\mathbb {R}}^{N})\) be compact and assume \(\int \limits _{{\mathbb {R}}^{N}}\psi {{\mathcal {K}}}\psi ~dx \ge 0\) for all \(\psi \in L^{p'}(A_{-})\). Then for all \(\lambda \in (\lambda _0,\infty )\) every BPS sequence of \({\tilde{J}}_\lambda \) at its Mountain Pass level \(c_\lambda \) converges to a critical point of \({\tilde{J}}_\lambda \) at the level \(c_\lambda \).
Proof
Let \((\phi _j)_j\) in \(L^{p'}(A_+)\) be a BPS sequence for \({\tilde{J}}_\lambda \), i.e., \(\tilde{J}_\lambda (\phi _j) \rightarrow c > 0\) and \(\tilde{J}_\lambda '(\phi _j) \rightarrow 0\). We may thus assume w.l.o.g. \(\phi _j \rightharpoonup \phi ^*\). Moreover, Proposition 3.1 (i) implies the boundedness of \((\psi _j)_j := (Z(\phi _j))_j\) and hence w.l.o.g. also weak convergence. For all \(h \in L^{p'}(A_+)\) we then have, in view of the formula for \({\tilde{J}}_\lambda '\) from Proposition 3.1 (iii),
We infer that \((|\phi _j|^{p'-2}\phi _j)_j\) converges strongly in \(L^p(A_+)\). By uniqueness of weak limits, we infer \(|\phi _j|^{p'-2}\phi _j \rightarrow |\phi ^*|^{p'-2}\phi ^*\) strongly in \(L^p(A_+)\) and hence in particular \(\Vert \phi _j\Vert _{p'} \rightarrow \Vert \phi ^*\Vert _{p'}\). This finally implies \(\phi _j \rightarrow \phi ^*\) strongly in \(L^{p'}(A_+)\). A standard computation finally shows \(\tilde{J}_\lambda (\phi ^*)=c_\lambda \) as well as \({\tilde{J}}_\lambda '(\phi ^*)=0\). \(\square \)
5 Proof of Theorem 1.1 and Corollary 1.2
We finally combine all auxiliary results to prove Theorem 1.1.
Proof of Theorem 1.1
From Proposition 2.1 and Proposition 3.1 we infer that for almost all \(\lambda \in (\lambda _0,\infty )\) a nontrivial solution \(u\in L^p({\mathbb {R}}^{N})\) of the nonlinear Helmholtz equation (1.10) is found once we have proved the existence of nontrivial critical points of the reduced functional \({\tilde{J}}_\lambda \) for almost all \(\lambda \in M\) where M is an arbitrary compact subinterval of \((\lambda _0,\infty )\). From Proposition 4.3 we infer that the family \(({\tilde{J}}_\lambda )_{\lambda \in M}\) has the Mountain Pass Geometry. Moreover, by Proposition 4.4, condition (H) holds. So Theorem 4.2 yields for almost all \(\lambda \in M\) a BPS sequence for \({\tilde{J}}_\lambda \) at the corresponding Mountain Pass level. By Proposition 4.5 each of these BPS sequences converges to a critical point \(\phi _\lambda \) of \({\tilde{J}}_\lambda \) at the Mountain Pass level. Since this critical point is necessarily nontrivial, we have thus obtained the desired claim for \(L^p({\mathbb {R}}^{N})\)-solutions of (1.10). From [4, Lemma 4.3] we infer that each of these solutions belongs to \(W^{2,q}({\mathbb {R}}^{N})\cap {{\mathcal {C}}}^{1,\alpha }({\mathbb {R}}^{N})\) for all \(p \le q < \infty \) and \(\alpha \in (0,1)\). Arguing as in Step 3 and Step 4 [8, p.13] one even obtains that these solutions belong to \(W^{2,q}({\mathbb {R}}^{N})\) for all \(q\in (\frac{2N}{N-1},p)\). In particular, these solutions are strong solutions of (1.10), which finishes the proof. \(\square \)
Proof of Collorary 1.2
In order to apply Theorem 1.1 we show that (1.11) implies (1.9). In the special case \(k=1\) the compactness of \({{\mathcal {K}}}\) was shown in Lemma 4.2 in [4]. So the general case follows by rescaling. It therefore remains to show that \(\delta :={{\,\mathrm{diam}\,}}{(A_{-})} \le k^{-1}y_{\frac{N-2}{2}}\) implies \(\int \limits _{{\mathbb {R}}^{N}}\psi {{\mathcal {K}}}\psi ~dx \ge 0\) for all \(\psi \in L^{p'}(A_{-})\). Due to (2.2), \({\mathcal {K}}=|Q|^{1/p} \mathbf{R }(|Q|^{1/p}\cdot )\) and \(Q \in L^{\infty }({\mathbb {R}}^{N})\) it suffices to prove
Using that \(x,y\in A_-\) implies \(x-y\in B_\delta \) we infer from Corollary 5.4 in [2]
which proves (5.1) and hence the Corollary. \(\square \)
References
Abramowitz, M., Stegun, I. A.: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, p. 1046. National Bureau of Standards Applied Mathematics Series 55, Washington, D.C., (1964)
Chen, H., Evéquoz, G., Weth, T.: Complex solutions and stationary scattering for the nonlinear Helmholtz equation. arXiv:1911.09557 (2019)
Evéquoz, G., Weth, T.: Real solutions to the nonlinear Helmholtz equation with local nonlinearity. Arch. Ration. Mech. Anal. 211(2), 359–388 (2014)
Evéquoz, G., Weth, T.: Dual variational methods and nonvanishing for the nonlinear Helmholtz equation. Adv. Math. 280, 690–728 (2015)
Evéquoz, G., Yeşil, T.: Dual ground state solutions for the critical nonlinear Helmholtz equation. Proc. R. Soc. Edinb. Sect. A: Math. 150(3), 1155–1186 (2020)
Jeanjean, L., Toland, J.F.: Bounded Palais–Smale mountain-pass sequences. C. R. Acad. Sci. Paris Sér. I Math. 327(1), 23–28 (1998)
Kenig, C.E., Ruiz, A., Sogge, C.D., et al.: Uniform Sobolev inequalities and unique continuation for second order constant coefficient differential operators. Duke Math. J. 55(2), 329–347 (1987)
Mandel, R.: Uncountably many solutions for nonlinear Helmholtz and curl–curl equations. Adv. Nonlinear Stud. 19(3), 569–593 (2019)
Mandel, R., Montefusco, E., Pellacci, B.: Oscillating solutions for nonlinear Helmholtz equations. Z. Angew. Math. Phys. 68(6), 19 (2017)
Szulkin, A., Weth, T.: The method of Nehari manifold. In: Handbook of Nonconvex Analysis and Applications, pp. 597–632. Int. Press, Somerville (2010)
Acknowledgements
The authors thank Tobias Weth for helpful suggestions and stimulating discussions. The first two authors are funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation)—Project-ID 258734477—SFB 1173.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by E. Lenzmann.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Mandel, R., Scheider, D. & Yeşil, T. Dual variational methods for a nonlinear Helmholtz equation with sign-changing nonlinearity. Calc. Var. 60, 133 (2021). https://doi.org/10.1007/s00526-021-02006-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-021-02006-5