1 Erratum to: Calc. Var. (2015) 54:585–597 DOI 10.1007/s00526-014-0796-8
In our paper [3], there are some technical errors which do not affect the validity of the results but require modification of the arguments. We are grateful to Kazunaga Tanaka, Chengxiang Zhang, and Qingye Zhang for kindly pointing out these errors.
We shall use the same notation as in [3]. Lemma 2.4 is not correct as stated and requires some changes. For \(u\in D(J)\) and \(z \in C_0^\infty (\mathbb {R}^N)\), let
\(J^{\prime }(u)\) is a densely defined linear operator, and we may define
If \(\Vert J^{\prime }(u)\Vert \) is finite, then \(J^{\prime }(u)\) may be extended to a bounded operator in E and is thus an element of \(E^{\prime }\).
Lemma 2.4
Let \(u\in D(J)\) and \(J^{\prime }(u)\in E^{\prime }\). Then \(w\in \partial J(u)\), i.e.
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00526-017-1127-7/MediaObjects/526_2017_1127_Figa_HTML.gif)
if and only if \(w=J^{\prime }(u)\). If \((u_n)\) is a Palais–Smale sequence, then \(J^{\prime }(u_n)\in E^{\prime }\) and \(J^{\prime }(u_n)\rightarrow 0\).
Proof
Insert \(v=u+tz\), where \(t>0\) and \(z\in C_0^\infty (\mathbb {R}^N)\), into (*). This gives
Since the integrand is 0 for \(x\not \in \text {supp }z\), we can pass to the limit as \(t\rightarrow 0\), and we obtain
[recall that by Lemma 2.2, \(\Psi \in C^1(H^1(\Omega ), \mathbb {R})\) if \(\Omega \) is bounded]. Since this also holds for \(-z\),
By density of \(C_0^\infty (\mathbb {R}^N)\) in E, w is unique and \(J'(u)=w\).
If \((u_n)\) is a Palais–Smale sequence, then by definition
where \(\varepsilon _n\rightarrow 0^+\). Letting \(v=u_n+tz\), where \(t>0\) and \(z\in C_0^\infty (\mathbb {R}^N)\), we have
so passing to the limit as \(t\rightarrow 0\), we obtain
Hence \(J^{\prime }(u_n)\in E^{\prime }\) and \(\Vert J^{\prime }(u_n)\Vert \le \varepsilon _n\rightarrow 0\). \(\square \)
The proof of Lemma 2.7 in [3] contains a gap which may not be easy to remove. Instead we prove a different (and in fact simpler!) version of this lemma. We employ an idea from [1]. For \(d>0\) and \(u\in J^d\), let
It is easy to see that \(\mu _d(u)<\infty \). Since \(\mu _d(u)\le \Vert J^{\prime }(u)\Vert \), it is clear that \(\mu _d(u_n)\rightarrow 0\) if \(J^{\prime }(u_n)\rightarrow 0\). On the other hand, if \(\mu _d(u_n)\rightarrow 0\), then \(J^{\prime }(a_n)\rightarrow 0\) for some \((a_n)\) such that \(u_n-a_n\rightarrow 0\). The mapping \(\mu _d\) is Lipschitz continuous. Indeed, for \(u,v,a\in J^d\),
so taking the infimum over a on the right-hand side we obtain \(\mu _d(u) \le \mu _d(v)+\Vert u-v\Vert \), and similarly, \(\mu _d(v) \le \mu _d(u)+\Vert u-v\Vert \). Hence \(|\mu _d(u) - \mu _d(v)| \le \Vert u-v\Vert \).
Lemma 2.7
For each \(d>0\) there exists a locally Lipschitz continuous vector field \(H: J^d{\setminus } K\rightarrow E\) with the following properties:
-
(i)
\(\Vert H(u)\Vert \le 1\).
-
(ii)
\(\langle J^{\prime }(u), H(u)\rangle > \frac{1}{2} \mu _d(u)\).
-
(iii)
H has locally compact support, i.e., for each \(u_0\in J^d{\setminus }K\), there exists a neighbourhood \(U_0\) of \(u_0\) in \(J^d{\setminus }K\) and \(R>0\) such that \(u(x)=0\) for all \(|x|\ge R\) and \(u\in U_0\).
-
(iv)
H is odd in u.
Proof
Let \(\widetilde{u}\in J^d{\setminus }K\). As \(\Vert J^{\prime }(\widetilde{u})\Vert \ge \mu _d(\widetilde{u})\), there exists \(\widetilde{v}\in C_0^\infty (\mathbb {R}^N)\), \(\Vert \widetilde{v}\Vert =1\) such that \(\langle J^{\prime }(\widetilde{u}),\widetilde{v}\rangle > \frac{1}{2}\mu _d(\widetilde{u})\) (this also holds if \(\Vert J^{\prime }(\widetilde{u})\Vert =\infty \)). Since \(\widetilde{v}\) has compact support, \(u\mapsto \langle J^{\prime }(u), \widetilde{v}\rangle \) is continuous according to Lemma 2.2, and since also \(\mu _d\) is continuous, \(\langle J^{\prime }(u),\widetilde{v}\rangle > \frac{1}{2} \mu _d(u)\) for all u in a neighbourhood \(W(\widetilde{u})\) of \(\widetilde{u}\). Clearly, \((W(\widetilde{u}))\) is a covering of \(J^d{\setminus }K\). Since E is metric and hence paracompact, we can find a locally finite refinement \((W_j)\) and points \(v_j\in C_0^\infty (\mathbb {R}^N)\) such that \(\langle J^{\prime }(u),v_j\rangle > \frac{1}{2}\mu _d(u)\) for \(u\in W_j\). Let now
where \((\rho _j)\) is a Lipschitz continuous partition of unity subordinate to the cover \((W_j)\) of \(J^d{\setminus }K\). It is easy to see that (i)–(iv) hold. \(\square \)
The change in Lemma 2.7 prompts some (slight) changes in the proofs of Lemmas 2.13 and 2.14. First of all, the flow \(\eta \) in (2.4) should be considered for \(u\in J^d{\setminus }K\) instead of \(u\in D(J){\setminus }K\). Likewise, the flow \(\widetilde{\eta }\) on p. 595 should be considered for \(u\in J^{d+2\varepsilon _0}\). On p. 592, line 17, \(-z(\eta (t,u))\) should be replaced by \(-\frac{1}{2}\mu _d(\eta (t,u))\) and similarly, at the end of p. 592 in the definition of \(\kappa _n\), \(z(\eta (s,u))\) should read \(\frac{1}{2}\mu _d(\eta (s,u))\). Then \(\kappa _n\rightarrow 0\) as before and by (ii) of Lemma 2.7 and the properties of \(\mu _d\), there exist \(s_n^1\in [t_n,t_n^1]\) and \(u_n^1\) such that \(u_n^1-\eta (s_n^1,u)\rightarrow 0\), \(J^{\prime }(u_n^1)\rightarrow 0\) and \(J(u_n^1)\le d\). Similarly we get \(s_n^2\in [t_n^1,t_{n+1}]\) and \(u_n^2\) such that \(u_n^2-\eta (s_n^2,u) \rightarrow 0\), \(J^{\prime }(u_n^2)\rightarrow 0\) and \(J(u_n^2)\le d\). Now the proof continues as in [3].
A similar change must be made in the proof of Lemma 2.14. In the definition of \(\tau \), z(u) should be replaced by \(\frac{1}{2}\mu _{d+2\varepsilon _0}(u)\). If \(\tau =0\), we find a sequence \(w_n^1\in J^{d+2\varepsilon _0}_{d-2\varepsilon _0}\cap U_\delta (K_d){\setminus }U_{\delta /2}(K_d)\) with \(\mu _{d+2\varepsilon _0}(w_n^1) \rightarrow 0\) and then \(u_n^1\) such that \(u_n^1-w_n^1 \rightarrow 0\), \(J^{\prime }(u_n^1)\rightarrow 0\) and \(J(u_n^1) \le d+2\varepsilon _0\). The rest of the proof is the same as in [3].
At the end of the proof of Theorem 1.1 it is not clear that T exists as claimed (the reason being the lack of continuity of J). On the other hand, J is continuous on sets having compact support, see Lemma 2.2. In order to take advantage of this fact we need to slightly redefine the family \(\mathcal {H}\) on p. 594. Let
Since for each \(k\ge 1\) there exists a k-dimensional subspace \(E_k\subset C_0^\infty (\mathbb {R}^N)\), according to Lemma 2.16 there are sets \(A\in \Sigma \) having compact support and pseudoindex \(i^*(A)\ge k\). Therefore, the numbers
are well defined for all \(k\ge 1\). Moreover, \(d_k\ge b\) by Lemma 2.15.
Let \(\widetilde{\eta }\) (with \(u\in J^{d+2\varepsilon _0}\)) be as in the proof of Theorem 1.1. We must show that there exists \(T>0\) such that \(J(\widetilde{\eta }(T,u)) < d-\varepsilon \) for all \(u\in B := A{\setminus }U\). It is clear by construction of the vector field H that \(\widetilde{\eta }([0,t]\times B)\) has compact support for any \(t>0\). Given \(u_0\in B\), we have \(J(\widetilde{\eta }(T_0,u_0)) < d-\varepsilon \) for some \(T_0>0\). Since the restriction of J to \(\widetilde{\eta }([0,T_0]\times B)\) is continuous according to Lemma 2.2, we can find a neighbourhood \(V_0\) of \(u_0\) in B such that \(J(\widetilde{\eta }(T_0,u)) < d-\varepsilon \) for all \(u\in V_0\). Now we use compactness in order to find a finite covering \(V_i\) of B and take \(T := \max _i T_i\), where \(T_i\) is such that \(J(\widetilde{\eta }(T_i,u)) < d-\varepsilon \) for all \(u\in V_i\). In order to get \(\tilde{\eta }(T, \cdot ) \in \mathcal {H}\), we need \(\tilde{\eta }\) to be defined for all \(u \in D(J)\) (and not only for \(u \in J^{d+2\varepsilon _{0}}\)). To achieve this, it suffices to put \(H(u)=0\) if \(u \not \in \hbox {supp}\,\rho _{j}\) for any j.
A similar change needs to be made in the proof of Theorem 1.2: \(\Gamma \) should consist of paths \(\alpha \) which have compact support. See also Remark 3.8 in [2].
References
de Paiva, F.O., Kryszewski, W., Szulkin, A.: Generalized Nehari manifold and semilinear Schrödinger, Proc. AMS (to appear). arXiv:1609.04611
Ji, C., Szulkin, A.: A logarithmic Schrödinger equation with asymptotic conditions on the potential. J. Math. Anal. Appl. 437, 241–254 (2016)
Squassina, M., Szulkin, A.: Multiple solutions to logarithmic Schrödinger equations with periodic potential. Calc. Var. Partial Differ. Equ. 54, 585–597 (2015)
Author information
Authors and Affiliations
Corresponding author
Additional information
The online version of the original article can be found under doi:10.1007/s00526-014-0796-8.
Rights and permissions
About this article
Cite this article
Squassina, M., Szulkin, A. Erratum to: Multiple solutions to logarithmic Schrödinger equations with periodic potential. Calc. Var. 56, 56 (2017). https://doi.org/10.1007/s00526-017-1127-7
Published:
DOI: https://doi.org/10.1007/s00526-017-1127-7