Abstract
In the present paper, we consider the existence of solutions with a prescribed \(l^{2}\)-norm for the following discrete Schrödinger equations,
where \(\Delta ^{2} u_{k-1}=u_{k+1}+u_{k-1}-2u_{k}\), \(f\in C(\mathbb{R}) \), α is a fixed constant, and \(\lambda \in \mathbb{R}\) arises as a Lagrange multiplier. To get the solutions, we investigate the corresponding minimizing problem with the \(l^{2}\)-norm constraint:
An elaborative analysis on a minimizing sequence with respect to \(E_{\alpha}\) is obtained. We prove that there is a constant \(\alpha _{0}\geq 0\) such that there exists a global minimizer if \(\alpha >\alpha _{0}\), and there exists no global minimizer if \(\alpha <\alpha _{0}\). It seems that it is the first time to consider the solution with a prescribed \(l^{2}\)-norm of the discrete Schrödinger equations.
Similar content being viewed by others
1 Introduction and main results
In the present paper, we consider the following discrete Schrödinger equations
where \(f\in C(\mathbb{R}) \), \(\alpha >0\) is a given constant, and \(\lambda \in \mathbb{R}\) arises as a Lagrange multiplier. Here \(\Delta u_{k-1}=u_{k}-u_{k-1}\) and \(\Delta ^{2}=\Delta (\Delta )\) is the one dimensional discrete Laplacian operator.
Discrete Schrödinger equations play an important role in many areas, such as nonlinear optics [9], biomolecular chains [12], and Bose-Einstein condensates [16]. For more applications, we refer to [10, 11] and references therein.
Many authors concentrated on the periodic case of the equations, such as [6, 18–20, 22, 24, 28, 31–34]. As to the nonperiodic case, in Ma and Guo [17] and Zhang and Pankov [29], the authors derived a discrete version of compact embedding theorem and obtained the nontrivial solution of discrete Schrödinger equations with a coercive potential by calculus of variations. In [8], Chen et al. investigated the sign-changing ground state solutions for a class of discrete nonlinear Schrödinger equations. In Lin et al. [13], the authors obtained the existence of the homoclinic solutions when the nonlinearity is asymptotically linear at infinity. We refer the readers to [7, 21, 26, 27, 30] for related results.
The main feature of equation (\(P_{\alpha }\)) is that the desired solution have a priori prescribed \(l^{2}\)-norm. The solutions with this type are usually referred as normalized solutions. This kind of normalized solutions have been widely studied in the Schrödinger equations, the continuous case. We refer the readers to [1, 2, 4, 5, 23]. However, little results have been known concerning normalized solutions with respect to the discrete Schrödinger equations.
This kind of discrete Schrödinger equations actually has been studied in the past twenty year. Weinstein [25] considered excitation thresholds for ground state localized modes, sometimes referred to as ‘breathers’, for the wave equations of nonlinear Schrödinger type. Excitation thresholds are rigorously characterized by variational methods. The excitation threshold is related to the optimal constant in a class of discrete interpolation inequalities related to the Hamiltonian energy.
In this paper, we will investigate the solutions \((u_{\alpha}, \lambda _{\alpha})\) with a priori prescribed \(l^{2}\)-norm of equation (\(P_{\alpha }\)) by variational methods. More precisely, we consider a constrained variational problem as follows. Under a general assumption \((f_{1})\) on the nonlinearity,
- (\(f_{1}\)):
-
\(f\in C(\mathbb{R},\mathbb{R})\), and there exist \(C>0\) and \(p>2\) such that
$$ \bigl\vert f(t) \bigr\vert \leq C\bigl( \vert t \vert + \vert t \vert ^{p-1}\bigr)\quad {\text{for any }} t\in \mathbb{R}, $$
it is possible to define a \(C^{1}\) functional I: \(l^{2}\rightarrow \mathbb{R}\) by
where \(u=(u_{k})_{k\in \mathbb{Z}}\) and \(F(t)=\int _{0}^{t}f(s)\,ds\). Then the solutions of (\(P_{\alpha }\)) can be characterized as critical points of I restrained on the constraint,
If \(u_{\alpha}\) is a critical point of I on \(\mathcal{M}_{\alpha}\), then \(u_{\alpha}\) is a solution of equation (\(P_{\alpha }\)), where \(\lambda _{\alpha}\) is determined as the Lagrange multiplier. It is evident to check that I is bounded from below on \(\mathcal{M}_{\alpha}\). Thus, the existence of a minimizer of the following well-defined infimum is expected,
To get some suitable properties on \(E_{\alpha}\), we need the following assumptions on f,
- (\(f_{2}\)):
-
\(f(t)=o(t)\) as \(t\rightarrow 0\).
- (\(f_{3}\)):
-
\(2F(t)< f(t)t \) for any \(t\in \mathbb{R}\setminus \{0\}\).
Therefore, there exists a \(\alpha _{0}\geq 0\) such that (see (2.12) in the proof of Theorem 1.2),
We have an accurate description of the minimizing sequence on \(\mathcal {M}_{\alpha}\) with respect to \(E_{\alpha}\). More precisely, our main results are stated as follows.
Theorem 1.1
Assume that \((f_{1})\)-\((f_{3})\) and \(\alpha >0\). If \(\{u^{n}\}_{n\in \mathbb{N}}\subset \mathcal{M}_{\alpha}\) is a minimizing sequence with respect to \(E_{\alpha}\), then one of the following cases holds:
-
(i)
(vanishing) \(u^{n}\rightarrow 0\) in \(l^{q}\) for \(q\in (2, \infty ]\) as \(n\rightarrow \infty \).
-
(ii)
(nonvanishing) there exist \(u_{\alpha}\in \mathcal{M}_{\alpha}\) and a family \(\{k_{n}\}_{n\in \mathbb{N}}\subset \mathbb{N}\) such that
$$ k_{n}\ast u^{n}\rightarrow u_{\alpha} \quad \textit{in } l^{2} $$as \(n\rightarrow \infty \), where we denote that \(j\ast u\equiv (u_{k+j})\).
Theorem 1.2
Assume that \((f_{1})\)-\((f_{3})\) hold. There exists \(\alpha _{0}\geq 0\) satisfying (1.2) such that the following statements hold:
-
(i)
if \(0<\alpha <\alpha _{0}\), there is no minimizer with respect to \(E_{\alpha}\);
-
(ii)
if \(\alpha >\alpha _{0}\), there exists a minimizer with respect to \(E_{\alpha}\). Moreover, there exists a couple of solution \((u_{\alpha}, \lambda _{\alpha}) \in \mathcal {M}_{\alpha}\times \mathbb{R}^{-}\) satisfying the following equation:
$$ -\Delta ^{2} u_{k-1}- f(u_{k})=\lambda u_{k}, \quad k\in \mathbb{Z}. $$
Actually, we prove that there exists a constant \(\alpha _{0}\geq 0\) such that there exists a global minimizer if \(\alpha >\alpha _{0}\), and there exists no global minimizer if \(\alpha <\alpha _{0}\) in Theorem 1.2. It is natural to consider if \(\alpha _{0}=0\) or not. The following theorem shows that it heavily depends on the behavior of f near 0.
Theorem 1.3
Assume that \((f_{1})\)-\((f_{3})\) hold. Then
-
(i)
the strict subadditivity property holds, i.e., for any \(\alpha +\beta >\alpha _{0}\),
$$ E_{\alpha +\beta}< E_{\alpha}+E_{\beta}. $$ -
(ii)
if \(\lim_{t\rightarrow 0}\frac{F(t)}{t^{4}}=+\infty \), then \(\alpha _{0}=0\).
Remark 1.4
An analysis of the behavior of a minimizing sequence with respect to \(E_{\alpha}\) is obtained in Theorem 1.1. As to the continuous Schrödinger equations, it is a classical result so-called concentration-compactness principle from Lions [14, 15]. Some excitation thresholds for ground state localized results have been known in the discrete Schrödinger equations. Weinstein has considered the special class of the nonlinearities \(|u|^{p-1}u\) in his early work [25]. In our Theorem 1.2, we research the normalized solutions to the discrete Schrödinger equations with a general nonlinearity. We find that whether the minimizing sequence vanishing or not, it heavily depends on the priori prescribed \(l^{2}\)-norm.
Remark 1.5
Lastly, a so-called strict subadditivity property is obtained in Theorem 1.3(i), which is similar to the celebrated results in Lions [14, 15]. We conclude that the reason for the existence of a minimizer only for \(\alpha >\alpha _{0}\) is that the strict subadditivity holds for \(\alpha >\alpha _{0}\).
2 Proof of the main results
In the following, we denote the universal positive constants by C. As usual, the standard real sequence space \(l^{q}\), \(q\in [1,\infty ]\), endowed with the norm
where \(u=(u_{k})_{k\in \mathbb{Z}}\). The following embedding is well known,
For simplicity of writing, we define that \(\|\Delta u\|_{2}:=(\sum_{k\in \mathbb{Z}}|\Delta u_{k}|^{2})^{1/2}\).
Lemma 2.1
Let \(\{u^{n}\}_{n\in \mathbb{N}}\) be a sequence in \(l^{2}\) satisfying \(\lim_{n\rightarrow \infty}\|u^{n}\|_{2}=\alpha \). If we set that \(\widetilde{u}^{n}=\frac{\alpha}{\|u^{n}\|_{2}} u^{n}:=a_{n}u^{n}\), the following fact holds:
Proof
It is clear that \(\lim_{n\rightarrow \infty}a_{n}=1\). Moreover, by a direct computation, it follows that
Under the assumption \((f_{1})\), we have
Since (2.1), (2.2), \(\lim_{n\rightarrow \infty}a_{n}=1\) and the boundedness of \(u^{n}\) in \(l^{2}\), we achieve our conclusion. □
Lemma 2.2
Under the assumptions \((f_{1})\)-\((f_{3})\), the following statements hold:
-
(i)
\(-\infty < E_{\alpha}\leq 0\) for any \(\alpha >0\).
-
(ii)
\(E_{\alpha +\beta}\leq E_{\alpha}+E_{\beta}\) for any \(\alpha , \beta >0\).
-
(iii)
\(E_{\alpha}<0\) for sufficiently large α.
-
(iv)
\(\alpha \mapsto E_{\alpha}\) is nonincreasing and continuous.
Proof
(i) It follows from \((f_{1})\) that
For any \(u\in \mathcal{M}_{\alpha}\), one has that
where \(C_{1}=C\alpha ^{2}+C\alpha ^{p}\). Here we have used the fact that
Let \(u^{N}=(\ldots , 0, \underbrace{(\frac{\alpha}{N^{1/2}}),\ldots ,(\frac{\alpha}{N^{1/2}})}_{N},0, \ldots )\) and \(\|u^{N}\|_{2}=\alpha \). Moreover, it is easy to check that
Combining \((f_{1})\) with \((f_{2})\), for any ε, there exists \(C_{\varepsilon}>0\) such that
For any \(\delta >0\), setting that \(\varepsilon =\delta /(2\alpha ^{2})\) in (2.4) and \(N_{0}=[(2C_{\varepsilon}\alpha ^{p}\delta ^{-1})^{2/(p-2)}]+1\). Thus, for any positive integer \(N> N_{0}\), the following holds:
By the arbitrariness of \(\delta >0\), we obtain
It follows from (2.3) and (2.5) that \(\lim_{N\rightarrow \infty}I(u^{N})=0\). Here \(E_{\alpha}\leq 0\) follows directly. Then (i) holds.
(ii) Set that
Therefore, we know that \(\mathcal{C}\) is dense in \(l^{2}\). By the definition of \(E_{\alpha}\) and \(E_{\beta}\), for any \(\varepsilon >0\), there exist \(u\in \mathcal{M}_{\alpha}\cap \mathcal{C} \) and \(v\in \mathcal{M}_{\beta}\cap \mathcal{C}\) such that
respectively. Since \(u, v\in \mathcal{C}\), by translation, there exist \(n_{0}, r\in \mathbb{N}\) and \(r< n_{0}\) such that
where \(B(x,r)\) is a ball center at x with the radius r in the integer \(\mathbb{Z}\). Thus, \(u+v\in \mathcal {M}_{\alpha +\beta}\). Moreover, there is
Then \(E_{\alpha +\beta}\leq E_{\alpha}+E_{\beta}\) follows from the arbitrariness of ε.
(iii) For any \(s\in \mathbb{R}\), let \(u^{s,N}=(\ldots , 0,\underbrace{s,\ldots ,s}_{N},0, \ldots )\). Then, \(\|u^{N}\|^{2}_{2}=Ns^{2}\) and
Taking \(s_{0}\) such that \(F(s_{0})>0\) by \((f_{3})\) and \(N_{0}:=[s_{0}^{2}/F(s_{0})]+1\). Thus, for any \(N>N_{0}\), we have
Here one obtains that \(E_{\alpha}<0\) for \(\alpha >N_{0}^{1/2}s_{0}\).
(iv) It follows from (i) and (ii) that
for any \(\alpha ,\beta >0\). Thus, \(\alpha \mapsto E_{\alpha}\) is nonincreasing. Fix \(\alpha >0\), we know that \(E_{\alpha -\delta}\) and \(E_{\alpha +\delta}\) are monotonic and bounded as \(\delta \rightarrow 0^{+}\). Moreover, \(E_{\alpha -\delta}\geq E_{\alpha}\geq E_{\alpha +\delta}\) and
To prove the continuous, it remains to prove the inverse inequalities.
(a) \(\lim_{\delta \rightarrow 0^{+}}E_{\alpha -\delta}\leq E_{\alpha}\). If \(E_{\alpha}=0\), \(\lim_{\delta \rightarrow 0^{+}}E_{\alpha -\delta}\leq E_{\alpha}\) holds. We consider the case \(E_{\alpha}<0\). Let \(u\in \mathcal {M}_{\alpha}\) and \(u_{\delta}=(1-\delta /\alpha )u\) with \(\delta \in (0,\alpha )\). It is easy to check that \(\|u_{\delta}\|_{2}=\alpha -\delta \) and \(u_{\delta}\rightarrow u\) as \(\delta \rightarrow 0^{+}\) in \(l^{2}\). Therefore,
By the arbitrariness of \(u\in \mathcal {M}_{\alpha}\), \(\lim_{\delta \rightarrow 0^{+}}E_{\alpha -\delta}\leq E_{\alpha}\) holds.
(b) \(\lim_{\delta \rightarrow 0^{+}}E_{\alpha +\delta}\geq E_{\alpha}\). Since the left-hand side converges, it sufficient to consider the case \(\delta =\frac{1}{n}\) with \(n\in \mathbb{N}\). Let \(u^{n}\in \mathcal {M}_{\alpha +1/n}\) and \(I(u^{n})\leq E_{\alpha +1/n}+\frac{1}{n}\) for any \(n\in \mathbb{N}\). Thus,
Let \(v^{n}=u^{n}/(1+1/(\alpha n))\) for any \(n\in \mathbb{N}\). Moreover,
which implies \(v^{n}\in \mathcal {M}_{\alpha}\). By Lemma 2.1, we obtain
as \(n\rightarrow \infty \). Thus, \(\lim_{\delta \rightarrow 0^{+}}E_{\alpha +\delta}=\lim_{n \rightarrow \infty}I(u^{n})\geq E_{\alpha}\). The proof is completed. □
Lemma 2.3
Under the assumptions \((f_{1})\)-\((f_{3})\), the following statements hold:
-
(i)
Suppose that u is a minimizer on \(\mathcal {M}_{\alpha}\) with respect to \(E_{\alpha}\). Then \(E_{\beta}< E_{\alpha}\) for any \(\beta >\alpha \).
-
(ii)
Suppose that u and v are two minimizers on \(\mathcal {M}_{\alpha}\) and \(\mathcal {M}_{\beta}\) with respect to \(E_{\alpha}\) and \(E_{\beta}\), respectively. Then \(E_{\alpha +\beta}< E_{\alpha}+E_{\beta}\).
Proof
(i) Suppose that u is a minimizer on \(\mathcal {M}_{\alpha}\) with respect to \(E_{\alpha}\) and \(\beta >\alpha \). Consider the following function
where \(g(t)=\sum_{k\in \mathbb{Z}} (F(u_{k})-\frac{F(t u_{k})}{t^{2}} ) \) for \(t\in [1,+\infty )\). Clearly, \(g(1)=0\). By \((f_{1})\), it is not difficult to prove that \(g(t)\in C^{1}((1,+\infty ))\) and
Since \(u\in \mathcal {M}_{\alpha}\), there exists \(k_{0}\in \mathbb{Z}\) such that \(u_{k_{0}}\neq 0\). Therefore,
for any \(t>1\). Combining with the above inequality and \(g(1)=0\), we obtain that \(g(t)<0\) for any \(t>1\). Set \(\theta =\beta /\alpha \), it follows from \(\theta u\in \mathcal {M}_{\beta}\) and \(I(u)\leq 0\) that
(ii) Without loss of generality, taking \(0< \alpha \leq \beta \) in the above inequalities, we obtain
This proof is completed. □
Lemma 2.4
Assume that \(\{u^{n}\}_{n\in \mathbb{N}}\) is bounded in \(l^{2}\) and \(u^{n}\rightharpoonup u\) weakly in \(l^{2}\). Then there holds,
as \(n\rightarrow \infty \).
Proof
This proof follows from the Brezis–Lieb Lemma (see [3]), for completeness, we state it here. Let \(v^{n}=u^{n}-u\), then \(v^{n}\rightharpoonup 0\) weakly in \(l^{2}\) and \(v_{k}^{n}\rightarrow 0\) for any \(k\in \mathbb{Z}\) as \(n\rightarrow \infty \). It follows from \((f_{1})\), the mean value theorem, and the Young inequality that
where \(\tau \in [0,1]\), \(\phi (|v_{k}^{n}|)=C(|v_{k}^{n}|^{2}+|2v_{k}^{n}|^{p})\) and
It follows that \(\sum_{k\in \mathbb{Z}}\psi _{\varepsilon}(|u_{k}|)<\infty \) and \(\sum_{k\in \mathbb{Z}}\phi _{\varepsilon}(|v_{k}^{n}|)< C<\infty \) for some constant C, independent on ε and n. Set
then \(W_{k}^{n}\leq \psi _{\varepsilon}(|u_{k}|)+F(u_{k})\). By the dominated convergence theorem, we have \(\sum_{k\in \mathbb{Z}}W_{k}^{n}\rightarrow 0\) as \(n\rightarrow \infty \). Therefore,
which implies that
The result follows from the arbitrariness of \(\varepsilon >0\). This proof is completed. □
The proof Theorem 1.1
Assume that \(\{u^{n}\}_{n\in \mathbb{N}}\subset \mathcal{M}_{\alpha}\) is a minimizing sequence with respect to \(E_{\alpha}\). If \(\{u^{n}\}\) does not satisfy (i), we can assume that \(u^{n}\nrightarrow 0\) in \(l^{\infty}\). In fact, if there exists \(q_{0}\in (2, \infty )\) such that \(u^{n}\nrightarrow 0\) in \(l^{q_{0}}\), then there exists a \(\xi >0\) such that
which implies \(u^{n}\nrightarrow 0\) in \(l^{\infty}\). There exist \(\delta >0\) and a family of \(\{k_{n}\}_{n\in \mathbb{N}}\subset \mathbb{N}\) such that
Set \(k_{n}\ast u^{n}=(u^{n}_{k+k_{n}})\) for any \(n\in \mathbb{N}\). Here, \(\|k_{n}\ast u^{n}\|_{2}=\|u^{n}\|_{2}=\alpha \). We assume that \(k_{n}\ast u^{n}\rightharpoonup u_{\alpha}(\neq 0)\) in \(l^{2}\). In the rest part, we try to prove \(u_{\alpha}\in \mathcal {M}_{\alpha}\). Arguing indirectly, set
By Lemma 2.4, one has
as \(n\rightarrow \infty \). It is evident to check that
and
as \(n\rightarrow \infty \). Combining with the above three inequalities, it obtains that
We claim that
Arguing indirectly, we can assume \(v^{n}\nrightarrow 0\) in \(l^{\infty}\) similarly. By the boundedness of \(\{v^{n}\}\) in \(l^{2}\), there exist a family \(\{z_{n}\}\subset \mathbb{Z}\) and \(v\in l^{2}\) satisfying \(v\neq 0\) such that \(z_{n}\ast v^{n}\rightharpoonup v\) in \(l^{2}\). Set \(w^{n}=z_{n}\ast v^{n}-v\), then
and
as \(n\rightarrow \infty \). Let \(\|u_{\alpha}\|_{2}=c_{1}\) and \(\|v\|_{2}=c_{2}\) and \(\delta ^{2}=\alpha ^{2}-c^{2}_{1}-c^{2}_{2}\). Thus \(\lim_{n\rightarrow \infty}\|w^{n}\|_{2}=\delta \geq 0\).
If \(\delta >0\), setting \(\widetilde{w}^{n}=a_{n}w^{n}\) and \(a_{n}=\delta /\|w^{n}\|_{2}\) in Lemma 2.1, we have \(\widetilde{w}^{n}\in \mathcal {M}_{\delta}\) and \(I(\widetilde{w}^{n})=I(w^{n})+o(1)\). Thus,
as \(n\rightarrow \infty \), which implies that
Hence \(u_{\alpha}\) and v are two minimizers on \(\mathcal {M}_{c_{1}}\) and \(\mathcal {M}_{c_{1}}\) with respect to \(E_{c_{1}}\) and \(E_{c_{2}}\). By Lemma 2.2, we have
It contradicts (2.10).
If \(\delta =0\), then \(\alpha =c_{1}+c_{2}\) and \(\lim_{n\rightarrow \infty}\|w^{n}\|_{2}=0\). Similar to the proof of (2.5), we can prove that \(\lim_{n\rightarrow \infty}\sum_{k\in \mathbb{Z}}F(w_{k}^{n})=0\) and \(\liminf_{n\rightarrow \infty}I(w^{n})\geq 0\). It follows that
which implies that \(u_{\alpha}\) and v are two minimizers on \(\mathcal {M}_{c_{1}}\) and \(\mathcal {M}_{c_{1}}\) with respect to \(E_{c_{1}}\) and \(E_{c_{2}}\). By Lemma 2.3, one obtains
which is a contradiction. Thus, our claim (2.9) holds.
Lastly, we complete the proof by getting \(\lim_{n\rightarrow \infty}\|v^{n}\|_{2}=0\), that is \(\|u_{\alpha}\|_{2}=\alpha \). It is sufficient to prove that \(c_{1}=\alpha \). Otherwise, \(c_{1}<\alpha \) holds. By (2.4) and (2.9), one has \(\lim_{n\rightarrow \infty}\sum_{k\in \mathbb{Z}}F(v_{k}^{n})=0\) and
Combining with the above inequality and taking the limit in (2.8), we obtain \(E_{\alpha}\geq I(u_{\alpha})\). Then it follows from Lemma 2.2 and \(u_{\alpha}\in \mathcal {M}_{c_{1}}\) that
which implies \(E_{c_{1}}=E_{\alpha}\). Moreover, \(u_{\alpha}\) is a minimizer with respect to \(E_{c_{1}}\). By Lemma 2.3(i), we obtain \(E_{c_{1}}>E_{\alpha}\) for \(c_{1}<\alpha \). It contradicts (2.11). Then the desired result \(\|u_{\alpha}\|_{2}=\alpha \) and (ii) hold. This completes the proof. □
The proof of Theorem 1.2
Define that
By Lemma 2.2, \(\alpha _{0}\) is well defined and the following fact holds:
(i) Arguing indirectly, if \(0<\alpha <\alpha _{0}\), there exists a minimizer with respect to \(E_{\alpha}\). By the definition of \(\alpha _{0}\), we have \(E_{\alpha}=0\). It follows from Lemma 2.3(i) that
which is impossible for \(E_{\alpha _{0}}=0\).
(ii) If \(\alpha >\alpha _{0}\), \(E_{\alpha}<0\). Assume that \(\{u^{n}\}_{n\in \mathbb{N}}\subset \mathcal {M}_{\alpha}\) is a minimizing sequence with respect to \(E_{\alpha}\). It is sufficient to show that \(\{u^{n}\}\) satisfies Theorem 1.1(ii). Arguing indirectly, if Theorem 1.1(i) holds, that is \(u^{n}\rightarrow 0\) in \(l^{q}\) for any \(q\in (2,\infty ]\). Thus, we can prove that
It follows that
which is impossible for \(E_{\alpha}<0\). So \(k_{n}\ast u^{n}\rightarrow u_{\alpha}\) in \(l^{2}\) and \(u_{\alpha}\) is a minimizer on \(\mathcal {M}_{\alpha}\) with respect to \(E_{\alpha}\). Therefore, there exists \(\lambda _{\alpha}\in \mathbb{R}\) such that \(I'(u)-\lambda _{\alpha }u_{\alpha}=0\), i.e., \((u_{\alpha}, \lambda _{\alpha})\) is a couple of solution to the following equation
Moreover,
which implies \(\lambda <0\). The proof is completed. □
The proof of Theorem 1.3
(i) Without loss of generality, we assume \(0<\alpha \leq \beta \). We divide into three cases: (1) \(E_{\alpha}=E_{\beta}=0\); (2) \(E_{\alpha}=0\), \(E_{\beta}<0\); (3) \(E_{\alpha}<0\), \(E_{\beta}<0\). If Case (1), it is evident that \(E_{\alpha}+E_{\beta}=0>E_{\alpha +\beta}\) for \(\alpha +\beta >\alpha \). If Case (2), there exists a minimizer with respect to \(E_{\beta}\) by Theorem 1.2(ii). Then by Lemma 2.3(i), we obtain
Lastly, in case (3), there exist two minimizers with respect to \(E_{\alpha}\) and \(E_{\beta}\) by Theorem 1.2(ii), respectively. Our conclusion follows from Lemma 2.3(ii).
(ii) For any fixed \(\alpha >0\), take \(u^{\alpha ,N}=(\ldots , 0, \underbrace{(\frac{\alpha}{N^{1/2}}),\ldots ,(\frac{\alpha}{N^{1/2}})}_{N},0, \ldots )\), then \(u^{\alpha ,N}\in \mathcal {M}_{\alpha}\). It follows from \(\lim_{t\rightarrow 0}\frac{F(t)}{t^{4}}=+\infty \) that for \(M>\alpha ^{-2}\) there exists \(\delta >0\) such that \(|t|<\delta \),
Let N be large such that \(\frac{\alpha}{N^{1/2}}<\delta \), then
Thus, \(E_{\alpha}<0\) for any \(\alpha >0\), which implies that \(\alpha _{0}=0\). The proof is completed. □
Availability of data and materials
Data sharing is not applicable to this article as no new data were created or analyzed in this study.
References
Bartsch, T., De Valeriola, S.: Normalized solutions of nonlinear Schrödinger equations. Arch. Math. 100, 75–83 (2013)
Bartsch, T., Soave, N.: A natural constraint approach to normalized solutions on nonlinear Schrödinger equations and systems. J. Funct. Anal. 272, 4998–5037 (2017)
Brezis, H., Lieb, E.: A relation between pointwise convergence of functions and convergence of functionals. Proc. Am. Math. Soc. 88, 486–490 (1983)
Cazenave, T.: Semilinear Schrödinger Equations. Courant Lecture Notes in Mathematics, vol. 10. Am. Math. Soc., Providence (2003)
Cazenave, T., Lions, P.L.: Orbital stablity of standing waves for some nonlinear Schrödinger equations. Commun. Math. Phys. 85, 549–561 (1982)
Chen, G., Ma, S.W.: Homoclinic solutions of discrete nonlinear Schrödinger equations with asymptotically or super linear terms. Appl. Math. Comput. 232, 787–798 (2014)
Chen, G., Schechter, M.: Non-periodic discrete Schrödinger equations: ground state solutions. Z. Angew. Math. Phys. 67(3), 72 (2016)
Chen, S.T., Tang, X.H., Yu, J.: Sign-changing ground state solutions for discrete nonlinear Schrödinger equations. J. Differ. Equ. Appl. 25(2), 202–218 (2019)
Christodoulides, D.N., Lederer, F., Silberberg, Y.: Discretizing light behaviour in linear and nonlinear waveguide lattices. Nature 424, 817–823 (2003)
Kevreides, P.G., Rasmussen, K., Bishop, A.R.: The discrete nonlinear Schrödinger equation: a survey of recent results. Int. J. Mod. Phys. B 15, 2883–2900 (2001)
Kivshar, Y.S., Agrawal, G.P.: Optical Solitons: From Fibers to Photonic Crystals. Academic Press, San Diego (2003)
Kopidakis, G., Aubry, S., Tsironis, G.P.: Targented enery transfer through discrete breathers in nonlinear systems. Phys. Rev. Lett. 87, 165501 (2001)
Lin, G.H., Zhou, Z., Yu, J.: Ground state solutions of discrete asymptotically linear Schrödinger equations with bounded and non-periodic potentials. J. Dyn. Differ. Equ. 32(2), 527–555 (2020)
Lions, P.-L.: The concentration-compactness principle in the calculus of variations. The locally compact case, part 1. Ann. Inst. Henri Poincaré 1, 109–145 (1984)
Lions, P.-L.: The concentration-compactness principle in the calculus of variations. The locally compact case, part 2. Ann. Inst. Henri Poincaré 1, 223–283 (1984)
Livi, R., Franzosi, R., Oppo, G.-L.: Self-localization of Bose-Einstein condensates in optical lattices via boundary dissipation. Phys. Rev. Lett. 97, 060401 (2006)
Ma, M., Guo, Z.: Homoclinic orbits for second order self-adjoint difference equations. J. Math. Anal. Appl. 323(1), 513–521 (2006)
Ma, M., Guo, Z.: Homoclinic orbits and subharmonics for nonlinear second order difference equations. Nonlinear Anal. 67(6), 1737–1745 (2007)
Pankov, A.: Gap solitons in periodic discrete nonlinear Schrödinger equations. Nonlinearity 19, 27–40 (2006)
Pankov, A.: Gap solitons in periodic discrete nonlinear Schrödinger equations II: a generalized Nehari manifold approach. Discrete Contin. Dyn. Syst. 19, 419–430 (2007)
Pankov, A., Zhang, G.: Standing wave solutions for discrete nonlinear Schrödinger equations with unbounded potentials and saturable nonlinearity. J. Math. Sci. 177(1), 71–82 (2011)
Shi, H., Zhang, H.: Existence of gap solitons in periodic discrete nonlinear Schrödinger equations. J. Math. Anal. Appl. 361, 411–419 (2010)
Shibata, M.: Stable standing waves of nonlinear Schrödinger equations with a general nonlinear term. Manuscr. Math. 143, 221–237 (2014)
Tang, X.H.: Non-Nehari manifold method for periodic discrete superlinear Schrödinger equation. Acta Math. Sin. Engl. Ser. 32(4), 463–473 (2016)
Weintein, M.: Excitation thresholds for nonlinear localized modes on lattices. Nonlinearity 12, 673–691 (1999)
Xie, Q.L.: Multiple solutions for the nonhomogeneous discrete nonlinear Schrödinger equation. Appl. Math. Lett. 91, 144–150 (2019)
Xie, Q.L.: Solutions for discrete Schrödinger equations with a nonlocal term. Appl. Math. Lett. 114, 106930 (2021)
Yu, J., Guo, Z., Zou, X.: Periodic solutions of second order self-adjoint difference equations. J. Lond. Math. Soc. 71(1), 146–160 (2005)
Zhang, G., Pankov, A.: Standing waves of the discrete nonlinear Schrödinger equations with growing potentials. Commun. Math. Anal. 5(2), 38–49 (2008)
Zhang, G., Pankov, A.: Standing wave solutions of the discrete non-linear Schrödinger equations with unbounded potentials, II. Appl. Anal. 89(9), 1541–1557 (2010)
Zhou, Z., Yu, J.: On the existence of homoclinic solutions of a class of discrete nonlinear periodic systems. J. Differ. Equ. 249, 1199–1212 (2010)
Zhou, Z., Yu, J., Chen, Y.: On the existence of gap solitons in a periodic discrete nonlinear Schrödinger equation with saturable nonlinearity. Nonlinearity 23, 1727–1740 (2010)
Zhou, Z., Yu, J., Chen, Y.: Homoclinic solutions in periodic difference equations with saturable nonlinearity. Sci. China Math. 54, 83–93 (2011)
Zhou, Z., Yu, J., Guo, Z.: Periodic solutions of higher-dimensional discrete systems. Proc. R. Soc. Edinb., Sect. A 134(5), 1013–1022 (2004)
Funding
This research is supported by the National Natural Science Foundation of China (No. 11871171), the Natural Science Foundation of Guangdong Province (Nos. 2021A1515010383, 2022A1515010644), the Project of Science and Technology of Guangzhou (No. 202102020730).
Author information
Authors and Affiliations
Contributions
Xie wrote the main manuscript text. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The authors declare no competing interests.
Additional information
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
Xie, Q., Xiao, H. Normalized solutions for the discrete Schrödinger equations. Bound Value Probl 2023, 69 (2023). https://doi.org/10.1186/s13661-023-01754-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-023-01754-x