Hostname: page-component-78c5997874-lj6df Total loading time: 0 Render date: 2024-11-04T18:13:09.330Z Has data issue: false hasContentIssue false

On some nonlinear Schrödinger equations in ℝN

Published online by Cambridge University Press:  23 August 2022

Juncheng Wei
Affiliation:
Department of Mathematics, University of British Columbia, Vancouver, B.C., Canada V6T 1Z2 ([email protected])
Yuanze Wu
Affiliation:
School of Mathematics, China University of Mining and Technology, Xuzhou, 221116, P.R. China ([email protected])
Rights & Permissions [Opens in a new window]

Abstract

In this paper, we consider the following nonlinear Schrödinger equations with the critical Sobolev exponent and mixed nonlinearities:

\[\left\{\begin{aligned} & -\Delta u+\lambda u=t|u|^{q-2}u+|u|^{2^{*}-2}u\quad\text{in }\mathbb{R}^{N},\\ & u\in H^{1}(\mathbb{R}^{N}), \end{aligned}\right.\]
where $N\geq 3$, $t>0$, $\lambda >0$ and $2< q<2^{*}=\frac {2N}{N-2}$. Based on our recent study on the normalized solutions of the above equation in [J. Wei and Y. Wu, Normalized solutions for Schrodinger equations with critical Sobolev exponent and mixed nonlinearities, e-print arXiv:2102.04030[Math.AP].], we prove that

  1. (1) the above equation has two positive radial solutions for $N=3$, $2< q<4$ and $t>0$ sufficiently large, which gives a rigorous proof of the numerical conjecture in [J. Dávila, M. del Pino and I. Guerra. Non-uniqueness of positive ground states of non-linear Schrödinger equations. Proc. Lond. Math. Soc. 106 (2013), 318–344.];

  2. (2) there exists $t_q^{*}>0$ for $2< q\leq 4$ such that the above equation has ground-states for $t\geq t_q^{*}$ in the case of $2< q<4$ and for $t>t_4^{*}$ in the case of $q=4$, while the above equation has no ground-states for $0< t< t_q^{*}$ for all $2< q\leq 4$, which, together with the well-known results on ground-states of the above equation, almost completely solve the existence of ground-states, except for $N=3$, $q=4$ and $t=t_4^{*}$.

Moreover, based on the almost completed study on ground-states to the above equation, we introduce a new argument to study the normalized solutions of the above equation to prove that there exists $0<\overline {t}_{a,q}<+\infty$ for $2< q<2+\frac {4}{N}$ such that the above equation has no positive normalized solutions for $t>\overline {t}_{a,q}$ with $\int _{\mathbb {R}^{N}}|u|^{2}{\rm d}x=a^{2}$, which, together with our recent study in [J. Wei and Y. Wu, Normalized solutions for Schrodinger equations with critical Sobolev exponent and mixed nonlinearities, e-print arXiv:2102.04030[Math.AP].], gives a completed answer to the open question proposed by Soave in [N. Soave. Normalized ground states for the NLS equation with combined nonlinearities: The Sobolev critical case. J. Funct. Anal. 279 (2020) 108610.]. Finally, as applications of our new argument, we also study the following Schrödinger equation with a partial confinement:
\[\left\{ \begin{aligned} & -\Delta u+\lambda u+(x_1^{2}+x_2^{2})u=|u|^{p-2}u\quad\text{in }\mathbb{R}^{3},\\ & u\in H^{1}(\mathbb{R}^{3}),\quad \int_{\mathbb{R}^{3}}|u|^{2}{\rm d}x=r^{2}, \end{aligned}\right.\]
where $x=(x_1,x_2,x_3)\in \mathbb {R}^{3}$, $\frac {10}{3}< p<6$, $r>0$ is a constant and $(u, \lambda )$ is a pair of unknowns with $\lambda$ being a Lagrange multiplier. We prove that the above equation has a second positive solution, which is also a mountain-pass solution, for $r>0$ sufficiently small. This gives a positive answer to the open question proposed by Bellazzini et al. in [J. Bellazzini, N. Boussaid, L. Jeanjean and N. Visciglia. Existence and Stability of Standing Waves for Supercritical NLS with a Partial Confinement. Commun. Math. Phys. 353 (2017), 229–251].

Type
Research Article
Copyright
Copyright © The Author(s), 2022. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

In the celebrated paper [Reference Gidas, Ni and Nirenberg17], the well-known Gidas–Ni–Nirenberg theorem asserts that the positive solution of the following equation,

(1.1)\begin{equation} \left\{ \begin{aligned} & -\Delta u=f(u)\quad\text{in }\mathbb{R}^{N},\\ & u\to 0\quad\text{as }|x|\to+\infty, \end{aligned}\right. \end{equation}

must be radially symmetric up to translations under some suitable conditions on the nonlinearities $f(u)$, where $N\geq 1$. Since then, an interesting and important problem is the uniqueness of the positive solution to (1.1). Kwong proved such uniqueness result in [Reference Kwong22] for the power-type nonlinearities $f(u)=u^{p-1}-u$ with $2< p<2^{*}$, where $2^{*}$ is the critical Sobolev exponent given by $2^{*}=+\infty$ for $N=1,2$ and $2^{*}=2N/(N-2)$ for $N\geq 3$ (see the earlier papers [Reference Coffman12] for the cubic nonlinearity $f(u)=u^{3}-u$ and [Reference McLeod and Serrin27Reference Peletier and Serrin29] for general nonlinearities). The extension of Kwong's result can be found in [Reference McLeod26, Reference Pucci and Serrin30, Reference Serrin and Tang31] and so far, to our best knowledge, the most general extension of Kwong's result is due to Serrin and Tang in [Reference Serrin and Tang31]: The positive solution of (1.1) is unique if there exists $b>0$ such that $\frac {f(u)-u}{u-b}>0$ for $u\not =b$ and the quotient $\frac {f'(u)u-u}{f(u)-u}$ is nonincreasing of $u\in (b, +\infty )$, which is not the case of the mixed nonlinearities $f(u)=\mu u^{q-1}+\nu u^{p-1}-\lambda u$ with $2< q\not =p<2^{*}$ and $\mu,\nu,\lambda >0$. In this case, (1.1) reads as

(1.2)\begin{equation} \left\{\begin{aligned} & -\Delta u+\lambda u=\mu|u|^{q-2}u+\nu|u|^{p-2}u\quad\text{in }\mathbb{R}^{N},\\ & u\to 0\quad\text{as }|x|\to+\infty. \end{aligned}\right. \end{equation}

By rescaling, (1.2) is equivalent to

(1.3)\begin{equation} \left\{\begin{aligned} & -\Delta u+\lambda u=t |u|^{q-2}u+|u|^{p-2}u\quad\text{in }\mathbb{R}^{N},\\ & u\to 0\quad\text{as }|x|\to+\infty. \end{aligned}\right. \end{equation}

In an interesting paper [Reference Dávila, del Pino and Guerra14], Davila et al. proved that for $N=3$, $2< q<4$, $p<6$ with sufficiently close to $6$ and $t>0$ sufficiently large, (1.3) has three positive radial solutions, which yields a rather striking result that Kwong's uniqueness result is in general not true for the mixed nonlinearities. Thus, the uniqueness of the positive radial solution of (1.3) (or more general, (1.1)) remains largely open. It is worth pointing out that the mentioned papers are all devoted to the Sobolev subcritical case for $N\geq 3$, that is, $\lim _{u\to +\infty }\frac {f(u)}{u^{2^{*}}}=0$.

In the Sobolev critical case for $N\geq 3$, that is, $\lim _{u\to +\infty }\frac {f(u)}{u^{2^{*}-1}}>0$, the well-known Gidas–Ni–Nirenberg theorem still holds, that is, positive solutions must be radially symmetric up to translations. However, for $N\geq 3$, compared to the Sobolev subcritical case (cf. [Reference Berestycki and Lions8]), the existence of positive solutions of (1.1) is more complicated in the Sobolev critical case. For example, for (1.3), the special case of (1.1), the existence of positive solutions is established in [Reference Akahori, Ibrahim, Kikuchi and Nawa2, Reference Akahori, Ibrahim, Ikoma, Kikuchi and Nawa4, Reference Alves, Souto and Montenegro6, Reference Liu, Liao and Tang24, Reference Zhang and Zou35], which can be summarized as follows:

Theorem 1.1 Let $N\geq 3$ and $p=2^{*}$. Then (1.3) has a positive radial solution which is also a ground-state, provided that

  1. (a) $N\geq 4,$ $2< q<2^{*}$ and $t>0;$

  2. (b) $N=3,$ $4< q<6$ and $t>0;$

  3. (c) $N=3,$ $2< q\leq 4$ and $t>0$ sufficiently large.

Theorem 1.1 is proved by adapting the classical ideas of Brezís and Nirenberg in [Reference Brézis and Nirenberg9], that is, using the Aubin–Talanti bubbles (cf. (2.1)) as test functions to control the energy values so that the $(PS)$ sequences of the associated functional, corresponding to (1.3) with $p=2^{*}$, are compact at the ground-state level. This strategy is invalid for $N=3$, $2< q\leq 4$ and $t>0$ not sufficiently large. Thus, whether (1.3) with $p=2^{*}$ always has a positive radial solution is not clear. Note that according to the concentration-compactness principle (cf. [Reference Lions23]), the only possible way that the $(PS)$ sequences of the associated functional loss the compactness at the ground-state level is that they concentrate at single points and behaviour like a Aubin–Talanti bubble under some suitable scalings in passing to the limit. Thus, by the energy estimates in [Reference Akahori, Ibrahim, Kikuchi and Nawa2, Reference Akahori, Ibrahim, Ikoma, Kikuchi and Nawa4, Reference Alves, Souto and Montenegro6, Reference Liu, Liao and Tang24, Reference Zhang and Zou35], it is reasonable to think that (1.3) with $p=2^{*}$ has no ground-states for $N=3$, $2< q\leq 4$ and $t>0$ not sufficiently large. On the other hand, the uniqueness of positive radial solutions to (1.3) with $p=2^{*}$ seems also very complicated. If $3\leq N\leq 6$ and $(N+2)/(N-2)< q<2^{*}$ then Pucci and Serrin in [Reference Pucci and Serrin30] proved that (1.3) with $p=2^{*}$ has at most one positive radial solution. Recently, Akahori et al. in [Reference Akahori, Ibrahim and Kikuchi1, Reference Akahori, Ibrahim, Kikuchi and Nawa3, Reference Akahori, Ibrahim, Ikoma, Kikuchi and Nawa4] and Coles and Gustafson in [Reference Coles and Gustafson13] proved that the radial ground-state of (1.3) with $p=2^{*}$ is unique and nondegenerate for all small $t>0$ when $N\geq 5$ and $q\in (2, 2^{*})$ or $N=3$ and $q\in (4, 2^{*})$; and for all large $t>0$ when $N\geq 3$ and $2+4/N< q<2^{*}$. However, the uniqueness of positive radial solutions seems not true for (1.3) with $p=2^{*}$ in general, since it is suggested in [Reference Dávila, del Pino and Guerra14] by the numerical evidence that (1.3) with $p=2^{*}$ has two positive radial solutions for $N=3$, $2< q<4$ and $t>0$ sufficiently large. Moreover, Chen et al. in [Reference Chen, Dávila and Guerra10] proved the existence of arbitrary large number of bubble-tower positive solutions of (1.3) in the slightly supercritical case when $q<2^{*}< p=2^{*}+\varepsilon$ with $\varepsilon >0$ sufficiently small. We also mention the paper [Reference Ferrero and Gazzola16], in which the authors proved the existence of positive radial solutions to (1.3) for $2< q<2^{*}\leq p$ with $t>0$ sufficiently large and (1.3) has no positive solutions for $2< q<2^{*}< p$ with $t>0$ sufficiently small via ODE's methods.

Inspired by the above facts, we shall explore the existence and nonexistence of positive solutions of (1.3) with $p=2^{*}$ by studying the existence and nonexistence of ground-states of (1.3) for $N=3$ and $2< q\leq 4$. We shall also explore the uniqueness of positive solutions of (1.3) with $p=2^{*}$ by giving a rigorous proof of the numerical conjecture in [Reference Dávila, del Pino and Guerra14].

Let us first introduce some necessary notations. By classical elliptic estimates, for $N\geq 3$ and $p=2^{*}$, (1.3) is equivalent to

(1.4)\begin{equation} \left\{ \begin{aligned} & -\Delta u+\lambda u=t |u|^{q-2}u+|u|^{2^{*}-2}u\quad\text{in }\mathbb{R}^{N},\\ & u\in H^{1}(\mathbb{R}^{N}), \end{aligned}\right. \end{equation}

where $t>0$, $\lambda >0$ and $2< q<2^{*}$. Clearly, by rescaling if necessary, it is sufficiently to consider the case $\lambda =1$ for (1.4). Let

(1.5)\begin{equation} m(t)=\inf_{v\in\mathcal{N}_t}\mathcal{E}_t(v), \end{equation}

where

(1.6)\begin{equation} \mathcal{E}_t(v)=\frac{1}{2}(\|\nabla v\|_2^{2}+\|v\|_2^{2})-\frac{t}{q}\|v\|_q^{q}-\frac{1}{2^{*}}\|v\|_{2^{*}}^{2^{*}} \end{equation}

is the corresponding functional of (1.4) with $\lambda =1$ and

\[\mathcal{N}_t=\{v\in H^{1}(\mathbb{R}^{N})\backslash\{0\}\mid \mathcal{E}_t'(v)v=0\}\]

is the usual Nehari manifold. Here, $\|\cdot \|_p$ is the usual norm in the Lebesgue space $L^{p}(\mathbb {R}^{N})$.

Definition 1.1 We say that $u$ is a ground-state of (1.4) if $u$ is a nontrivial solution of (1.4) with $\mathcal {E}_t(u)=m(t)$.

Now, our main result is the following.

Theorem 1.2 Let $\lambda =1,$ $N=3$ and $2< q\leq 4$. Then there exists $t_q^{*}>0,$ which may depend on $q,$ such that

  1. (1) (1.4) has ground-states for $t\geq t_q^{*}$ and has no ground-states for $0< t< t_q^{*}$ in the case of $2< q<4$.

  2. (2) (1.4) has ground-states for $t> t_4^{*}$ and has no ground-states for $0< t< t_4^{*}$ in the case of $q=4$.

Moreover, if $2< q<4$ then there exists $t_q>0$, which may depend on $q$, such that (1.4) has two positive radial solutions $u_{t,1}$ and $u_{t,2}$ for $t>t_q$, where $u_{t,1}$ is a ground-state with $\|u_{t,1}\|_\infty \sim t^{-\frac {1}{q-2}}$ and $u_{t,2}$ is a blow-up solution with

\[\|u_{t,2}\|_{\infty}\sim \left\{ \begin{aligned} & t^{\frac{1}{4-q}},\quad 3< q<4,\\ & t\ln t,\quad q=3,\\ & t^{\frac{1}{q-2}},\quad 2< q<3, \end{aligned}\right.\]

as $t\to +\infty$.

Remark 1.1 Theorem 1.2, together with theorem 1.1, almost completely solves the existence of ground-states to (1.4), except for $N=3$, $q=4$ and $t=t_4^{*}$. Moreover, theorem 1.2 also verifies the numerical conjecture in [Reference Dávila, del Pino and Guerra14].

The proof of theorem 1.2 is based on our very recent study on the normalized solution of (1.4) with the additional condition $\|u\|_2^{2}=a^{2}$, where $a>0$. We remark that we shall call $u$ is a fixed-frequency solution of (1.4) if the frequency $\lambda$ is fixed, since for the normalized solution of (1.4), the frequency $\lambda$ is a part of unknowns, which appears as a Lagrange multiplier. Now, let us explain our ideas in proving theorem 1.2. Let $\mu >0$, $a>0$ and $(u_\mu, \lambda _\mu )$ be a normalized solution of (1.4) for $t=\mu$ with the additional condition $\|u_\mu \|_2^{2}=a^{2}$, that is, $(u_\mu, \lambda _\mu )$ is a solution of the following system:

(1.7)\begin{equation} \left\{\begin{aligned} & -\Delta u+\lambda u=\mu|u|^{q-2}u+|u|^{2^{*}-2}u\quad\text{in }\mathbb{R}^{N},\\ & u\in H^{1}(\mathbb{R}^{N}),\quad \|u\|_2^{2}=a^{2}, \end{aligned}\right. \end{equation}

then by the Pohozaev identity satisfied by $u_\mu$ (cf. [Reference Wei and Wu33, (4.7)]),

(1.8)\begin{equation} \lambda_{\mu}a^{2}=\lambda_{\mu}\|u_{\mu}\|_2^{2}=(1-\gamma_q)\mu\|u_{\mu}\|_q^{q}>0, \end{equation}

where $\gamma _q=\frac {N(q-2)}{2q}$. Let

(1.9)\begin{equation} v_\mu(x)=\lambda_\mu^{-\frac{N-2}{4}}u_\mu(\lambda_\mu^{-\frac{1}{2}}x), \end{equation}

then by direct calculations, we know that $v_\mu$ is a fixed-frequency solution of (1.4) for $\lambda =1$ and $t=\mu \lambda _\mu ^{\frac {q\gamma _q-q}{2}}$. By (1.8), we also have

\[\lambda_{\mu}=\frac{(1-\gamma_q)\mu}{a^{2}}\lambda_\mu^{\frac{q\gamma_q-q}{2}}\|v_\mu\|_q^{q}.\]

Thus, by letting

(1.10)\begin{equation} t_\mu=\mu\lambda_\mu^{\frac{q\gamma_q-q}{2}}, \end{equation}

we know that $(v_\mu,t_\mu )$ solves the following system:

(1.11)\begin{equation} \left\{ \begin{aligned} & -\Delta v+v=t |v|^{q-2}v+|v|^{2^{*}-2}v\quad\text{in }\mathbb{R}^{N},\\ & v\in H^{1}(\mathbb{R}^{N}),\quad t^{\frac{2}{q\gamma_q-q}-1}=\frac{1-\gamma_q}{a^{2}\mu^{\frac{2}{q-q\gamma_q}}}\|v\|_q^{q}. \end{aligned}\right. \end{equation}

Clearly, if $(v, t)$ is a solution of the system (1.11), then by letting

(1.12)\begin{equation} \lambda_\mu=\left(\frac{t}{\mu}\right)^{\frac{2}{q\gamma_q-q}}\quad\text{and}\quad u_\mu(x)=\lambda_\mu^{\frac{N-2}{4}}v(\lambda_\mu^{\frac{1}{2}}x), \end{equation}

$(u_\mu, \lambda _\mu )$ is also a normalized solution of (1.4) for $t=\mu$ with the additional condition $\|u_\mu \|_2^{2}=a^{2}$, that is $(u_\mu, \lambda _\mu )$ is also a normalized solution of (1.7). Thus, by our above observations, normalized solutions of (1.4) is equivalent to fixed-frequency solutions of (1.4) with another additional condition. Since we made a detail study on some special normalized solutions of (1.4) in [Reference Wei and Wu33], we could use these detailed estimates to derive theorem 1.2.

Our observations on the relations between fixed-frequency solutions and normalized solutions of (1.4) also bring in some new lights to study the normalized solutions of (1.4). Indeed, let $v_t$ be a fixed-frequency solution of (1.4), then by the above observations, finding normalized solutions of (1.4) is equivalent to finding solutions of the following equation:

(1.13)\begin{equation} t^{\frac{2}{q\gamma_q-q}-1}-\frac{1-\gamma_q}{a^{2}\mu^{\frac{2}{q-q\gamma_q}}}\|v_t\|_q^{q}=0. \end{equation}

This is a reduction, which heavily depends on the scaling technique and the Pohozaev identity, since we reduce the solvability of (1.4) in $H^{1}(\mathbb {R}^{N})$ to the solvability of (1.13) in $\mathbb {R}^{+}$. Let

\[\mathcal{A}_\mu(u)=\frac{1}{2}\|\nabla u\|_2^{2}-\frac{\mu}{q}\|u\|_q^{q}-\frac{1}{2^{*}}\|u\|_{2^{*}}^{2^{*}}.\]

Then, $\mathcal {A}_\mu |_{S_a}(u)$ is the corresponding functional of (1.7), where $S_a=\{u\in H^{1}(\mathbb {R}^{N})\mid \|u\|_2^{2}=a^{2}\}$.

Definition 1.2 We say that $u$ is a normalized ground-state of (1.7) if $u$ is a solution of (1.7) and $\mathcal {A}_\mu (u)\leq \mathcal {A}_\mu (v)$ for any other solutions of (1.7).

By (1.12), if $(u_\mu, \lambda _\mu )$ is a solution of (1.7), then,

(1.14)\begin{equation} \mathcal{A}_\mu(u_\mu)+\frac{\lambda_\mu a^{2}}{2}=\mathcal{E}_{t_\mu}(v_\mu), \end{equation}

where $(v_\mu, t_\mu )$ is a solution of (1.11). Thus, normalized ground-states of (1.7) must be generated by positive fixed-frequency ground-states of (1.4) through the equation (1.13), that is, $\mathbb {D}_{nor}\subset \mathbb {P}_{nor}$ where

\[\mathbb{D}_{nor}=\{(u_\mu, \lambda_\mu)\in H^{1}(\mathbb{R}^{d})\times\mathbb{R}\mid (u_\mu, \lambda_\mu)\text{ is a normalized ground-state of (1.7)}\}\]

and

\[\mathbb{P}_{nor}=\{(\lambda_\mu^{\frac{N-2}{4}}u(\lambda_\mu^{\frac{1}{2}}x), \lambda_\mu)\in H^{1}(\mathbb{R}^{N})\times\mathbb{R}_+{\mid} u\in \mathbb{D}_{fre}\},\]

with $\lambda _\mu =(\frac {t}{\mu })^{\frac {2}{q\gamma _q-q}}$ and

\[\mathbb{D}_{fre}=\{v_t\in H^{1}(\mathbb{R}^{d})\mid v_t \text{ is a fixed-frequency ground-state of (1.11)}\}.\]

Indeed, let $(u_{*,\mu },\lambda _{*,\mu })$ be any solution of (1.8) with $\lambda _{*,\mu }>0$. If $v_{*,\mu }$ is not a fixed-frequency ground-state of (1.4) with $t=t_{*,\mu }$ where $v_{*,\mu }$ and $t_{*,\mu }$ are given by (1.9) and (1.10), respectively, then there exists $\overline {v}\in H^{1}(\mathbb {R}^{N})$ such that $\overline {v}$ is a fixed-frequency ground-state of (1.11) and

\[\mathcal{E}_{t_{*,\mu}}(u_{*,\mu})>\mathcal{E}_{t_{*,\mu}}(\overline{u}).\]

It follows that

\[\mathcal{A}_\mu(u_{*,\mu})+\frac{\lambda_{*,\mu} a^{2}}{2}=\mathcal{E}_{t_{*,\mu}}(v_{*,\mu})>\mathcal{E}_{t_{*,\mu}}(\overline{v})=\mathcal{A}_\mu(\overline{u}_\mu)+\frac{\lambda_{*,\mu} a^{2}}{2},\]

which implies that $\mathcal {A}_\mu (v_{*,\mu })>\mathcal {A}_\mu (\overline {v}_\mu )$ where $\overline {u}_\mu$ is given by (1.12). Therefore, if (1.7) has a solution then $\mathbb {D}_{nor}\subset \mathbb {P}_{nor}$. In other words, either (1.7) has no solutions or $\mathbb {D}_{nor}\subset \mathbb {P}_{nor}$. Note that by theorems 1.1 and 1.2, $\mathbb {D}_{fre}\not =\emptyset$. Thus, $\mathbb {P}_{nor}\not =\emptyset$ which implies that $\mathbb {D}_{nor}\subset \mathbb {P}_{nor}$. It is worth pointing out that this fact has also been pointed out in [Reference Dovetta, Serra and Tilli15, Reference Jeanjean and Lu20]. With these in minds, we can obtain the following results.

Theorem 1.3 Let $N\geq 3$ and $2< q<2+\frac {4}{N}$. Then there exist $0<\widehat {t}_{q,a}\leq \overline {t}_{q,a}<+\infty$, which may depend on $q$ and $a,$ such that (1.4) has normalized ground-states with the additional condition $\|u\|_2^{2}=a^{2}$ for $0< t<\widehat {t}_{q,a}$ and (1.4) has no normalized ground-states with the additional condition $\|u\|_2^{2}=a^{2}$ for $t>\overline {t}_{q,a}$.

Remark 1.2 Theorem 1.3, together with our recent study in [Reference Wei and Wu33], gives a completed answer to the open question proposed by Soave in [Reference Soave32].

As an application of our new reduction in finding normalized solutions of (1.4), we shall also consider the following Schrödinger equation:

(1.15)\begin{equation} \left\{\begin{aligned} & -\Delta u+\lambda u+V(x)u=|u|^{p-2}u\quad\text{in }\mathbb{R}^{3},\\ & u\in H^{1}(\mathbb{R}^{3}),\quad \|u\|_2^{2}=r^{2}, \end{aligned}\right. \end{equation}

where $x=(x_1,x_2,x_3)\in \mathbb {R}^{3}$, $V(x)=x_1^{2}+x_2^{2}$, $\frac {10}{3}< p<6$ and $r>0$ is a constant. (1.15) is studied recently by Bellazzini et al. in [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7], in which the authors proved that (1.15) has a ground-state normalized solution, which is also a local minimizer of the associated functional on the $L^{2}$-sphere $\|u\|_2^{2}=r^{2}$, with a negative Lagrange multiplier $\lambda$ for $r>0$ sufficiently small. According to the geometry of the associated functional on the $L^{2}$-sphere $\|u\|_2^{2}=r^{2}$, Bellazzini et al. also conjectured in [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7] that (1.15) has a second normalized solution, which is also a mountain-pass solution, for $r>0$ sufficiently small. In this paper, we prove this conjecture by obtaining the following result.

Theorem 1.4 Let $\frac {10}{3}< p<6$. Then for $r>0$ sufficiently small, (1.15) has a second positive normalized solution $u_{r,2}$, which is also a mountain-pass solution, with a positive Lagrange multiplier

(1.16)\begin{equation} \lambda_{r,2}=(1+o_r(1))\left[\frac{(6-p)\|w_\infty\|_p^{p}}{2pr^{2}}\right]^{\frac{2(p-2)}{3p-10}}\to+\infty\quad\text{as }r\to 0, \end{equation}

where $w_\infty$ is the unique (up to translations) positive solution of the following equation:

(1.17)\begin{equation} \left\{\begin{aligned} & -\Delta w+w=|w|^{p-2}w\quad\text{in }\mathbb{R}^{3},\\ & w\in H^{1}(\mathbb{R}^{3}). \end{aligned}\right. \end{equation}

Moreover,

(1.18)\begin{equation} w_{r}(x)=\lambda_{r,2}^{-\frac{1}{p-2}}u_{r,2}(\lambda_{r,2}^{-\frac 12}x)=w_\infty+o_r(1)\quad\text{in }H^{1}(\mathbb{R}^{3})\quad\text{as }r\to 0. \end{equation}

To prove theorem 1.4, we introduce

(1.19)\begin{equation} f(r,t):=r^{2}-t^{\frac{10-3p}{2(p-2)}}\left(\frac{6-p}{2p}\|w_t\|_p^{p}-2t^{{-}2}\int_{\mathbb{R}^{3}}V(x)w_t^{2}{\rm d}x\right), \end{equation}

where $w_t$ is a positive ground-state of the following equation:

\[\left\{ \begin{aligned} & -\Delta w+w+t^{{-}2}V(x)w=|w|^{p-2}w\quad\text{in }\mathbb{R}^{3},\\ & w\in H^{1}(\mathbb{R}^{3}). \end{aligned}\right.\]

Then by applying our new reduction argument to (1.15), we reduce finding normalized solutions of (1.15) to finding solutions of the equation $f(r,t)=0$ for fixed small $r>0$. By the uniqueness and nondegeneracy of $w_\infty$, we prove that the curve $w_t$ is continuous for $t>0$ sufficiently large in a suitable space. Thus, (1.19) can be solved easily by the continuation method. We believe this method will be helpful in studying normalized solutions of other elliptic equations.

Notations. Throughout this paper, $C$ and $C'$ are indiscriminately used to denote various absolutely positive constants. $a\sim b$ means that $C'b\leq a\leq Cb$ and $a\lesssim b$ means that $a\leq Cb$.

2. Blow-up solutions for $N=3$ and $2< q<4$

It is well known that the Aubin–Talanti babbles,

(2.1)\begin{equation} U_\varepsilon(x)=[N(N-2)]^{\frac{N-2}{4}}\left(\frac{\varepsilon}{\varepsilon^{2}+|x|^{2}}\right)^{\frac{N-2}{2}}, \end{equation}

is the only solutions to the following equation:

\[\left\{\begin{aligned} & -\Delta u=u^{2^{*}-1}\quad\text{in }\mathbb{R}^{N},\\ & u(0)=\max_{x\in\mathbb{R}^{N}}u(x),\\ & u(x)>0\quad\text{in }\mathbb{R}^{N},\\ & u(x)\to 0\quad\text{as }|x|\to+\infty. \end{aligned}\right.\]

By [Reference Wei and Wu33, theorem 1.2], for $\mu >0$ sufficiently small, (1.7) has a positive radial solution $\widetilde {u}_\mu$ with the Lagrange multiplier $\widetilde {\lambda }_\mu >0$ such that $\varepsilon _{\mu }^{\frac {1}{2}}\widetilde {u}_\mu (\varepsilon _{\mu } x)\to U_{\varepsilon _0}$ strongly in $D^{1,2}(\mathbb {R}^{3})$ for some $\varepsilon _0>0$ as $\mu \to 0$ up to a subsequence, where $U_{\varepsilon _0}$ is given by (2.1) and $\varepsilon _{\mu }$ satisfies

(2.2)\begin{equation} \mu\sim\left\{ \begin{aligned} & \varepsilon_{\mu}^{\frac{q}{2}-1},\quad 3< q<6,\\ & \frac{\varepsilon_{\mu}^{\frac{1}{2}}}{\ln(\frac{1}{\varepsilon_\mu})},\quad q=3,\\ & \varepsilon_\mu^{5-\frac{3q}{2}},\quad 2< q<3. \end{aligned}\right. \end{equation}

Moreover, by [Reference Wei and Wu33, lemma 4.1], we have

(2.3)\begin{equation} 1\sim\left\{\begin{aligned} & \frac{\mu\sigma_\mu^{\frac{6-q}{2}}}{\widetilde{\lambda}_{\mu}},\quad 3< q<6,\\ & \frac{\mu \sigma_\mu^{\frac{3}{2}}}{\widetilde{\lambda}_{\mu}}\ln\left(\frac{1}{\sqrt{\widetilde{\lambda}_{\mu}}\sigma_\mu}\right),\quad q=3,\\ & \frac{\mu \sigma_\mu^{\frac{q}{2}}}{\widetilde{\lambda}_{\mu}^{\frac{5-q}{2}}},\quad 2< q<3. \end{aligned}\right. \end{equation}

On the other hand, in the proof of [Reference Wei and Wu33, proposition 4.2], we also show that

(2.4)\begin{equation} \sigma_\mu\sim\varepsilon_\mu\quad\text{as}\quad \mu\to 0. \end{equation}

Proposition 2.1 Let $\lambda =1,$ $N=3$ and $2< q<4$. Then there exists $t_q>0$, which may depend on $q,$ such that (1.4) has two positive radial solutions $u_{t,1}$ and $u_{t,2}$ for $t>t_q,$ where $u_{t,1}$ is a ground-state with $\|u_{t,1}\|_\infty \sim t^{-\frac {1}{q-2}}$ and $u_{t,2}$ is a blow-up solution with

\[\|u_{\mu,2}\|_{\infty}\sim\left\{\begin{aligned} & t^{\frac{1}{4-q}},\quad 3< q<4,\\ & t\ln t,\quad q=3,\\ & t^{\frac{1}{q-2}},\quad 2< q<3,\end{aligned}\right.\]

as $t\to +\infty$.

Proof. By (1.9) and (1.10), $(\widetilde {v}_\mu, \widetilde {t}_\mu )$ is a solution of (1.11). In particular, $\widetilde {v}_\mu$ is a solution of (1.4) for $\lambda =1$ and $t=\widetilde {t}_\mu =\mu \widetilde {\lambda }_\mu ^{\frac {q\gamma _q-q}{2}}$. By the well-known Gidas–Ni–Nirenberg theorem [Reference Gidas, Ni and Nirenberg17], $\widetilde {v}_{\mu }$ is radial and decreasing for $r=|x|$ up to translations. Thus, without loss of generality, we may assume that $\widetilde {v}_{\mu }(0)=\max _{x\in \mathbb {R}^{N}}\widetilde {v}_{\mu }$. Recall that $\varepsilon _{\mu }^{\frac {1}{2}}\widetilde {u}_\mu (\varepsilon _{\mu } x)\to U_{\varepsilon _0}$ strongly in $D^{1,2}(\mathbb {R}^{3})$ for some $\varepsilon _0>0$ as $\mu \to 0$ up to a subsequence, by the classical elliptic regularity and the Sobolev embedding theorem, $\varepsilon _{\mu }^{\frac {1}{2}}\widetilde {u}_\mu (\varepsilon _{\mu } x)\to U_{\varepsilon _0}$ strongly in $C_{loc}^{1,\alpha }(\mathbb {R}^{3})$ for some $\alpha \in (0, 1)$ as $\mu \to 0$ up to a subsequence. In particular, $\varepsilon _{\mu }^{\frac {1}{2}}\widetilde {u}_\mu (0)\to U_{\varepsilon _0}(0)$ as $\mu \to 0$ up to a subsequence. Thus, by (2.1),

(2.5)\begin{equation} \widetilde{v}_{\mu}(0)=\widetilde{\lambda}_\mu^{-\frac{1}{4}}\widetilde{u}_\mu(0)\sim\widetilde{\lambda}_\mu^{-\frac{1}{4}}\varepsilon_\mu^{-\frac{1}{2}}\quad\text{as }\mu\to 0\text{ up to a subsequence}. \end{equation}

In the following, let us estimate $\widetilde {v}_{\mu }(0)$ and $\widetilde {t}_\mu$ as $\mu \to 0$. We begin with the estimate of $\widetilde {t}_\mu$. We first consider the case $2< q<3$. In this case, by (2.2), (2.3) and (2.4), $\widetilde {\lambda }_\mu \sim \varepsilon _\mu ^{2},$ which, together with (1.10), implies

\[\widetilde{t}_\mu\sim\varepsilon_\mu^{\frac{10-3q}{2}}(\varepsilon_\mu^{2})^{\frac{q-6}{4}}=\varepsilon_\mu^{2-q}\to+\infty\quad\text{as }\mu\to 0.\]

For $q=3$, by (2.2), (2.3) and (2.4),

\[\widetilde{\lambda}_\mu\sim\varepsilon_\mu^{2}\frac{\ln(\frac{1}{\sqrt{\widetilde{\lambda}_\mu}\varepsilon_\mu})}{\ln(\frac{1}{\varepsilon_\mu})}\gtrsim\varepsilon_\mu^{2}.\]

It follows that

\[\ln\left(\frac{1}{\varepsilon_\mu}\right)\lesssim\ln\left(\frac{1}{\sqrt{\widetilde{\lambda}_\mu}\varepsilon_\mu}\right)\lesssim\ln(\frac{1}{\varepsilon_\mu}).\]

Thus, we also have $\widetilde {\lambda }_\mu \sim \varepsilon _\mu ^{2}$ for $q=3$. By (1.10) and (2.2),

\[\widetilde{t}_\mu\sim\varepsilon_\mu^{\frac{1}{2}}\frac{1}{\ln(\frac{1}{\varepsilon_\mu})}(\varepsilon_\mu^{2})^{-\frac{3}{4}}=\varepsilon_\mu^{{-}1}\frac{1}{\ln(\frac{1}{\varepsilon_\mu})}\to+\infty\quad\text{as }\mu\to 0.\]

For $3< q<4$, by (2.2), (2.3) and (2.4), $\widetilde {\lambda }_\mu \sim \varepsilon _\mu ^{2}.$ Now, by (1.10),

\[\widetilde{t}_\mu\sim\varepsilon_\mu^{\frac{q-2}{2}}(\varepsilon_\mu^{2})^{\frac{q-6}{4}}=\varepsilon_\mu^{q-4}\to+\infty\quad\text{as }\mu\to 0.\]

Thus, for all $2< q<4$, we always have

(2.6)\begin{equation} \widetilde{\lambda}_\mu\sim\varepsilon_\mu^{2}\quad\text{and}\quad\widetilde{t}_\mu\sim \left\{\begin{aligned} & \varepsilon_\mu^{q-4},\quad 3< q<4,\\ & \varepsilon_\mu^{{-}1}\frac{1}{\ln(\frac{1}{\varepsilon_\mu})},\quad q=3,\\ & \varepsilon_\mu^{2-q},\quad 2< q<3, \end{aligned}\right. \end{equation}

as $\mu \to 0$. Now, by (2.2)(2.4) and (2.5), we have

\[\widetilde{v}_{\mu}(0)\sim\left\{\begin{aligned} & \mu^{-\frac{2}{q-2}},\quad 3< q<4,\\ & \left(\frac{1}{\mu|\ln\mu|}\right)^{2},\quad q=3,\\ & \mu^{-\frac{2}{10-3q}},\quad 2< q<3. \end{aligned}\right.\]

It follows from (2.2) and (2.6) that

\[\widetilde{v}_{\mu}(0)\sim\left\{\begin{aligned} & \widetilde{t}_\mu^{\frac{1}{4-q}},\quad 3< q<4,\\ & \widetilde{t}_\mu\ln \widetilde{t}_\mu,\quad q=3,\\ & \widetilde{t}_\mu^{\frac{1}{q-2}},\quad 2< q<3.\end{aligned}\right.\]

Thus, by (2.6), $\widetilde {v}_{\mu }$ is a blow-up solution of (1.4) for $N=3$, $\lambda =1$, $2< q<4$ and $t=\widetilde {t}_\mu$. Note that by [Reference Ma and Moroz25, theorem 2.2], the ground-states of (1.4) for $\lambda =1$, say $\overline {v}_{t}$, satisfies $\|\overline {v}_{t}\|_\infty \sim t^{-\frac {1}{q-2}}$ as $t\to +\infty$. For $\mu >0$ sufficiently small, $\widetilde {v}_{\mu }$ is a second positive radial solution of (1.4) with $N=3$, $\lambda =1$, $2< q<4$ and $t>0$ sufficiently large.

Remark 2.1 Let $\widetilde {v}_\mu$ be given in the proof of proposition 2.1 and define

\[\widetilde{w}_{\mu}(x)=\widetilde{t}_\mu^{\frac{1}{q-2}}\widetilde{v}_\mu(x),\]

then $\widetilde {w}_{\mu }$ satisfies the following equation:

(2.7)\begin{equation} \left\{\begin{aligned} & -\Delta w+w=|w|^{q-2}w+\widetilde{t}_\mu^{-\frac{2^{*}-2}{q-2}}|w|^{2^{*}-2}w\quad\text{in }\mathbb{R}^{N},\\ & v\in H^{1}(\mathbb{R}^{N}), \end{aligned}\right. \end{equation}

where $t=\widetilde {t}_\mu$ is also given in the proof of proposition 2.1. By similar arguments as that used for [Reference Dávila, del Pino and Guerra14, lemma 5.3], (2.7) has a unique bounded positive radial solution for $t>0$ sufficiently large. However, by (1.10) and (2.5),

(2.8)\begin{equation} \widetilde{w}_{\mu}(0)\sim\mu^{\frac{1}{q-2}}\widetilde{\lambda}_\mu^{-\frac{1}{q-2}}\varepsilon_\mu^{-\frac{1}{2}}\quad\text{as }\mu\to 0. \end{equation}

By (2.2), (2.6) and (2.8),

\[\widetilde{w}_{\mu}(0)\sim\left\{\begin{aligned} & \varepsilon_\mu^{-\frac{2}{q-2}},\quad 2< q<3,\\ & \varepsilon_\mu^{{-}2}\frac{1}{\ln(\frac{1}{\varepsilon_\mu})},\quad q=3,\\ & \varepsilon_\mu^{-\frac{2}{q-2}},\quad 3< q<4. \end{aligned}\right.\]

Thus, $\widetilde {w}_{\mu }$ is also a blow-up solution of (2.7) as $\widetilde {t}_\mu \to +\infty$.

3. Ground-states for $N=3$ and $2< q\leq 4$

The associated fibering map of (1.6) for every $v\not =0$ in $H^{1}(\mathbb {R}^{3})$ is given by

(3.1)\begin{equation} E(s)=\frac{s^{2}}{2}(\|\nabla v\|_2^{2}+\|v\|_2^{2})-\frac{ts^{q}}{q}\|v\|_q^{q}-\frac{s^{6}}{6}\|v\|_6^{6}. \end{equation}

Since $q>2$, it is standard to show that for every $v\not =0$ in $H^{1}(\mathbb {R}^{3})$, there exists a unique $s_0>0$ such that $E(s)$ is strictly increasing for $0< s< s_0$ and strictly decreasing for $s>s_0$.

Lemma 3.1 Let $N=3,$ $\lambda =1$ and $2< q\leq 4$. Then $m(t)=\frac {1}{3}S^{\frac {3}{2}}$ for $t>0$ sufficiently small, where $m(t)$ is given by (1.5).

Proof. We argue in the contrary by supposing that there exists $t_n\to 0$ as $n\to \infty$ such that $m(t_n)<\frac {1}{3}S^{\frac {3}{2}}$. Then, it is standard to show (cf.[Reference Alves, Souto and Montenegro6]) that $m(t_n)$ is attained by a positive and radial function, which is also a solution of (1.4) with $\lambda =1$, $N=3$ and $t=t_n$. We denote this solution by $v_{t_n}$. Since $t_n\to 0$ as $n\to \infty$, it is also standard to show that

(3.2)\begin{equation} \|\nabla v_{t_n}\|_2^{2}=\|v_{t_n}\|_6^{6}+o_n(1)=S^{\frac{3}{2}}+o_n(1)\quad\text{as }n\to\infty. \end{equation}

Thus, $\{v_{t_n}\}$ is a minimizing sequence of the Sobolev inequality. By Lions’ result (cf. [Reference Willem34, theorem 1.41]), up to a subsequence, there exists $\sigma _n>0$ such that for some $\varepsilon _*>0$,

\[w_{t_n}(x)=\sigma_n^{\frac{1}{2}}v_{t_n}(\sigma_n x)\to U_{\varepsilon_*}\text{ strongly in }D^{1,2}(\mathbb{R}^{3})\text{ as }n\to\infty.\]

Clearly, by direct computations, we know that $w_{t_n}$ satisfies the following equation:

(3.3)\begin{equation} -\Delta w_{t_n}+\sigma_n^{2}w_{t_n}=t_n\sigma_n^{3-\frac{q}{2}}w_{t_n}^{q-1}+w_{t_n}^{5}\quad\text{in }\mathbb{R}^{3}. \end{equation}

Since $v_{t_n}$ is positive and radial, $w_{t_n}$ is also positive and radial. Thus, by the boundedness of $\{w_{t_n}\}$ in $D^{1,2}(\mathbb {R}^{3})$, the Sobolev embedding theorem and Strusss radial lemma (cf. [Reference Berestycki and Lions8, lemma A.2]),

\[w_{t_n}\lesssim r^{-\frac{1}{2}}\quad\text{for all }r\geq 1\text{ uniformly as }n\to\infty.\]

On the other hand, since $w_{t_n}\to U_{\varepsilon _*}$ strongly in $D^{1,2}(\mathbb {R}^{3})$ as $n\to \infty$, by applying the Moser iteration in a standard way and using the Sobolev embedding theorem, we know that $w_{t_n}\to U_{\varepsilon _*}$ strongly in $C_{loc}^{1,\alpha }(\mathbb {R}^{3})$ as $n\to \infty$ for some $\alpha \in (0, 1)$. Thus,

\[w_{t_n}\lesssim (1+r)^{-\frac{1}{2}}\quad\text{for all }r\geq 0\text{ uniformly as }n\to\infty.\]

Now, we can adapt the ODE's argument in [Reference Atkinson and Peletier5, Reference Gazzola and Serrin18, Reference Knaap and Peletier21] as that in the proof of [Reference Wei and Wu33, lemma 4.1] to obtain

(3.4)\begin{equation} w_{t_n}\lesssim\frac{1}{(1+r^{2})^{\frac 12}}\quad\text{for all }r\geq 0\text{ uniformly as }n\to\infty. \end{equation}

On the other hand, since $N=3$, it is easy to check that $r^{-1}e^{-\sigma _nr}$ is a subsolution of $-\Delta u+\sigma _n^{2}u=0$ for $r\geq 1$. Thus, by the fact that $w_{t_n}\to U_{\varepsilon _*}$ strongly in $C_{loc}^{1,\alpha }(\mathbb {R}^{3})$ as $n\to \infty$ for some $\alpha \in (0, 1)$, we can use the maximum principle in a standard way to show that

\[w_{t_n}\gtrsim r^{{-}1}e^{-\sigma_nr}\quad \text{for }r\geq 1\text{ uniformly as }n\to\infty.\]

It follows that

(3.5)\begin{equation} \|w_{t_n}\|_q^{q}\gtrsim\int_1^{\frac{1}{\sigma_n}}r^{2-q}e^{{-}q\sigma_nr}{\rm d}r\sim\left\{ \begin{aligned} & \sigma_n^{q-3},\quad 2\leq q<3,\\ & |\ln\sigma_n|,\quad q=3,\\ & 1,\quad 3< q<6. \end{aligned}\right. \end{equation}

Since $t_n\to 0$ as $n\to \infty$, by (3.4), for $r\gtrsim (\frac {1}{\sigma _n})^{\frac 12}$, (3.3) reads as

\[-\Delta w_{t_n}+\frac{1}{4}\sigma_n^{2}w_{t_n}\leq 0\quad\text{in }\mathbb{R}^{3}.\]

Thus, by (3.4), we can use the maximum principle in a standard way again to obtain

\[w_{t_n}\lesssim r^{{-}1}e^{-\frac{\sigma_n}{4}r}\quad \text{for }r\gtrsim\left(\frac{1}{\sigma_n}\right)^{\frac 12}\text{ uniformly as }n\to\infty.\]

On the other hand, since $\|w_{t_n}\|_6^{6}=\|v_{t_n}\|_6^{6}=S^{\frac {3}{2}}+o_n(1)$, by (3.8) and the Hölder inequality,

\[\sigma_n^{2}\|w_{t_n}\|_2^{2}\lesssim t_n\sigma_n^{3-\frac{q}{2}}\|w_{t_n}\|_q^{q}\lesssim t_n\sigma_n^{3-\frac{q}{2}}\|w_{t_n}\|_2^{\frac{6-q}{2}},\]

which implies

\[\sigma_n\|w_{t_n}\|_2\lesssim t_n^{\frac{2}{q-2}}.\]

Since $w_{t_n}\to U_{\varepsilon _*}$ strongly in $D^{1,2}(\mathbb {R}^{3})$ as $n\to \infty$ and $U_{\varepsilon _*}\not \in L^{2}(\mathbb {R}^{3})$, by the Fatou lemma,

\[\liminf_{n\to\infty}\|w_{t_n}\|_2={+}\infty.\]

Thus, by $t_n\to 0$ as $n\to \infty$, we have $\sigma _n\to 0$ as $n\to \infty$. It follows from (3.4) once more that

(3.6)\begin{equation} \|w_t\|_q^{q}\lesssim 1+\int_1^{\frac{1}{\sigma_n}}r^{2-q}{\rm d}r+\int_{(\frac{1}{\sigma_n})^{\frac{1}{2}}}^{+\infty}r^{2-q}e^{-\frac{q}{4}\sigma_nr}{\rm d}r\sim \left\{\begin{aligned} & \sigma_n^{q-3},\quad 2\leq q<3,\\ & |\ln\sigma_n|,\quad q=3,\\ & 1,\quad 3< q<6. \end{aligned}\right. \end{equation}

Thus, by (3.5) and (3.6), we have

(3.7)\begin{equation} \|w_{t_n}\|_q^{q}\sim\left\{\begin{aligned} & \sigma_n^{q-3},\quad 2\leq q<3,\\ & |\ln\sigma_n|,\quad q=3,\\ & 1,\quad 3< q<6. \end{aligned}\right. \end{equation}

Note that as that of (1.8), by the Pohozaev identity, we have

(3.8)\begin{equation} \sigma_n^{2}\|w_{t_n}\|_2^{2}=(1-\gamma_q)t_n\sigma_n^{3-\frac{q}{2}}\|w_{t_n}\|_q^{q}. \end{equation}

Thus, by (3.7),

\[\sigma_n\sim \left\{\begin{aligned} & t_n\sigma_n^{\frac{q}{2}},\quad 2< q<3,\\ & t_n\sigma_n^{\frac{3}{2}}|\ln\sigma_n|,\quad q=3,\\ & t_n\sigma_n^{3-\frac{q}{2}},\quad 3< q<6, \end{aligned}\right.\]

which implies

(3.9)\begin{equation} t_n\sim \left\{\begin{aligned} & \sigma_n^{\frac{2-q}{2}},\quad 2< q<3,\\ & \sigma_n^{-\frac{1}{2}}\frac{1}{|\ln\sigma_n|},\quad q=3,\\ & \sigma_n^{\frac{q-4}{2}},\quad 3< q<6. \end{aligned}\right. \end{equation}

(3.9) contradicts the facts that $t_n,\sigma _n\to 0$ as $n\to \infty$ for $2< q\leq 4$. It follows that $m(t)\geq \frac {1}{3}S^{\frac {3}{2}}$ for $t>0$ sufficiently small in the case of $2< q\leq 4$. On the other hand, since $m(t)$ is the minimum of $\mathcal {E}_t(v)$ on the Nehari manifold $\mathcal {N}_{t}$, it is standard (cf. [Reference Wei and Wu33, lemma 3.3]) to use the fibering maps (3.1) to show that $m(t)$ is nonincreasing for $t>0$. Note that it is well known that $m(0)=\frac {1}{3}S^{\frac {3}{2}}$, thus, $m(t)\leq \frac {1}{3}S^{\frac {3}{2}}$ for all $t>0$. It follows that $m(t)=\frac {1}{3}S^{\frac {3}{2}}$ for $t>0$ sufficiently small in the case of $2< q\leq 4$.

Let

(3.10)\begin{equation} t_q^{*}=\sup\left\{t>0\mid m_t=\frac{1}{3}S^{\frac{3}{2}}\right\}. \end{equation}

Then by lemma 3.1, $t_q^{*}>0$ for $2< q\leq 4$. Since it is well known (cf. [Reference Alves, Souto and Montenegro6]) that $m(t)<\frac {1}{3}S^{\frac {3}{2}}$ for $t>0$ sufficiently large in the case of $2< q\leq 4$, we have $0< t_q^{*}<+\infty$ for all $2< q\leq 4$. Since $m(t)<\frac {1}{3}S^{\frac {3}{2}}$ for $t>t_q^{*}$, it is standard (cf. [Reference Alves, Souto and Montenegro6]) to show that $m(t)$ is attained for $t>t_q^{*}$. Let $v_t$ be a ground-state of (1.4), which is radial and positive for $t>t_q^{*}$ in the case of $2< q<4$. Then, we have the following.

Proposition 3.1 Let $N=3,$ $\lambda =1$ and $2< q<4$. Then, $\|v_t\|_q^{q}\sim 1$ as $t\to t_q^{*}$.

Proof. The conclusion $\|v_t\|_q^{q}\lesssim 1$ as $t\to t_q^{*}$ is standard so we omit it. For the conclusion $\|v_t\|_q^{q}\gtrsim 1$ as $t\to t_q^{*}$, we argue in the contrary. Then there exists $t_n\to t_q^{*}$ as $n\to \infty$ such that $\|v_{t_n}\|_q^{q}\to 0$ as $n\to \infty$. Similar to that of (3.2), we also have

\[\|\nabla v_{t_n}\|_2^{2}=\|v_{t_n}\|_6^{6}+o_n(1)=S^{\frac{3}{2}}+o_n(1)\quad\text{as }n\to\infty.\]

Thus, $\{v_{t_n}\}$ is a minimizing sequence of the Sobolev inequality. By Lions’ result (cf. [Reference Willem34, theorem 1.41]), up to a subsequence, there exists $\sigma '_n>0$ such that for some $\varepsilon _*>0$,

\[w_n(x)=(\sigma'_n)^{\frac{1}{2}}v_{t_n}(\sigma'_n x)\to U_{\varepsilon_*}\text{ strongly in }D^{1,2}(\mathbb{R}^{3})\text{ as }n\to \infty.\]

Now, repeating the arguments for (3.9), we will arrive at

\[t_q^{*}\sim \left\{\begin{aligned} & (\sigma_n')^{\frac{2-q}{2}},\quad 2< q<3,\\ & (\sigma_n')^{-\frac{1}{2}}\frac{1}{|\ln\sigma'_n|},\quad q=3,\\ & (\sigma'_n)^{\frac{q-4}{2}},\quad 3< q<4. \end{aligned}\right.\]

This is impossible since $\sigma '_n\to 0$ as $n\to \infty$ by similar arguments as that used for $\sigma _n$ in the proof of lemma 3.1. Thus, we must have $\|v_t\|_q^{q}\gtrsim 1$ as $t\to t_q^{*}$.

Now, we are arriving at the following.

Proposition 3.2 Let $\lambda =1,$ $N=3$ and $2< q\leq 4$. Then

  1. (1) (1.4) has ground-states for $t\geq t_q^{*}$ and has no ground-states for $0< t< t_q^{*}$ in the case of $2< q<4$.

  2. (2) (1.4) has ground-states for $t> t_4^{*}$ and has no ground-states for $0< t< t_4^{*}$ in the case of $q=4$.

Here, $t_q^{*}$ is given by (3.10).

Proof. We first prove that there is no ground-states of (1.4) for $0< t< t_q^{*}$ in the case of $2< q\leq 4$. Suppose the contrary that (1.4) has a ground-state for some $0< t< t_q^{*}$ in the case of $2< q\leq 4$. Then $m(t)$ is attained. Now, by use the fibering maps (3.1) in a standard way (cf. [Reference Wei and Wu33, lemma 3.3]), we have $m(t')< m(t)$ for all $t'>t$. It follows that $m(t')<\frac {1}{3}S^{\frac {3}{2}}$ for all $t'>t$, which contradicts the definition of $t_q^{*}$ given by (3.10). Thus, there is no ground-states of (1.4) for $0< t< t_q^{*}$ in the case of $2< q\leq 4$. It remains to prove that (1.4) has a ground-state for $t=t_q^{*}$ in the case of $2< q<4$, which is equivalent to prove that $m(t_q^{*})$ is attained for $2< q<4$. Let $v_t$ be a ground-state of (1.4), which is radial and positive for $t>t_q^{*}$ in the case of $2< q<4$ such that $t\to t_q^{*}$. By proposition 3.1, $\|v_t\|_q^{q}\gtrsim 1$ as $t\to t_q^{*}$. Since $v_t$ is radial, it is standard to show that $v_t\to v_{t_q^{*}}\not =0$ strongly in $H^{1}(\mathbb {R}^{3})$ as $t\to t_q^{*}$ up to a subsequence. Thus, $m(t_q^{*})$ is attained by $v_{t_q^{*}}$, which is also a ground-state of (1.4) for $t=t_q^{*}$ in the case of $2< q<4$.

Remark 3.1 Upon to theorem 1.2, the existence of ground-states of (1.4) is almost completely solved, except for $N=3$, $q=4$ and $t=t_4^{*}$. In this case, we believe that there is no ground-states of (1.4). Indeed, let $\mu >0$, $a>0$ and $(u_\mu, \lambda _\mu )$ be a normalized solution of (1.7), then by (1.9) and (1.10), $\widetilde {v}_\mu$ is a solution of (1.4) with $\lambda =1$ and $t=\widetilde {t}_\mu =\mu \widetilde {\lambda }_\mu ^{\frac {q\gamma _q-q}{2}}$. By (2.2) and (2.6),

\[\widetilde{t}_\mu\sim\mu\varepsilon_\mu^{2}\sim\mu^{\frac{2(q-4)}{q-2}}\quad\text{as }\mu\to 0\text{ for }4\leq q<6.\]

Thus, $\widetilde {t}_\mu \to 0$ as $\mu \to 0$ for $4< q<6$ and $\widetilde {t}_\mu \sim 1$ as $\mu \to 0$ for $q=4$. Note that $\widetilde {v}_\mu$, generated by $\widetilde {u}_\mu$ though (1.9), is a solution of (1.4) for $t=\widetilde {t}_\mu$ and by [Reference Wei and Wu33, theorem 1.2],

\[\|\nabla \widetilde{v}_\mu\|_2^{2}=\|\nabla \widetilde{u}_\mu\|_2^{2}=S^{\frac{3}{2}}+o_\mu(1)\quad\text{as }\mu\to 0.\]

It seems that $\widetilde {v}_\mu$ will approximate the ground-state level $m(t)=\frac {1}{3}S^{\frac {3}{2}}$ for $N=3$, ${\lambda =1}$, $q=4$ and $t=t_4^{*}$ as $\mu \to 0$, which suggests that the concentration phenomenon will happen at the ground-state level $m(t)=\frac {1}{3}S^{\frac {3}{2}}$ for $N=3$, $\lambda =1$, $q=4$ and $t=t_4^{*}$.

We close this section by the proof of theorem 1.2.

Proof of theorem 1.2. It follows from propositions 2.1 and 3.2.

4. Normalized ground-states for $2< q<2+4/N$

Let

(4.1)\begin{equation} t_q^{**}=\left\{\begin{aligned} & 0,\quad N\geq 4,\\ & t_q^{*},\quad N=3,\end{aligned}\right. \end{equation}

where $t_q^{*}$ is given by (3.10). Then, by [Reference Alves, Souto and Montenegro6, theorem 1.2] and theorem 1.2, (1.4) has a ground-state $v_t$ for $t>t_q^{**}$ and $2< q<2+\frac {4}{N}$, which is positive and radial. By (1.11) and (1.12), $(u_t, \lambda _t)$ is a positive normalized solution of (1.7) if and only if

\[F(t,\mu):=t^{\frac{2}{q\gamma_q-q}-1}-\frac{1-\gamma_q}{a^{2}\mu^{\frac{2}{q-q\gamma_q}}}\|v_t\|_q^{q}=0.\]

Clearly, for every $t>t_q^{**}$, there exists a unique

(4.2)\begin{equation} \mu_t=a^{q\gamma_q-q}\bigg[(1-\gamma_q)\|v_t\|_q^{q}t^{\frac{q-q\gamma_q+2}{q-q\gamma_q}}\bigg]^{\frac{q-q\gamma_q}{2}} \end{equation}

such that $F(t,\mu _t)=0$. Let

\[\overline{\mu}_{q,a}=\sup\{\mu_t>0\mid t>t_q^{**}\}.\]

Then, (1.7) has a positive normalized solution if and only if $\mu <\overline {\mu }_{q,a}$ and $\mu =\mu _t$. Now, we are prepared for the proof of theorem 1.3.

Proof of theorem 1.3. By [Reference Wei and Wu33, theorem 1.1] and [Reference Jeanjean and Le19, theorem 1.6], (1.7) has a normalized ground-state for $\mu >0$ sufficiently small. Thus, we only need to prove (1.7) has no normalized ground-states for $\mu >0$ sufficiently large, which is equivalent to show that $\overline {\mu }_{q,a}<+\infty$. Recall that $\gamma _q=\frac {N(q-2)}{2q}$, we always have $q>q\gamma _q$. It follows from (4.2) that $\mu _t\to 0$ as $t\to t_q^{**}$ for $N\geq 4$ since $t_q^{**}=0$ for $N\geq 4$. For $N=3$, we have $t_q^{**}=t_q^{*}>0$ and $\|v_t\|_q^{q}\sim 1$ as $t\to t_q^{*}$ by proposition 3.1. Thus, $\mu _t\lesssim 1$ as $t\to t_q^{**}$ for all $N\geq 3$. Since $v_t$ is a ground-state of (1.4) with the least energy $m(t)$ on the Nehari manifold $\mathcal {N}_t$, by standard arguments (cf. [Reference Chen and Zou11, lemma 2.2]),

(4.3)\begin{equation} m(t)=\frac{1}{N}S^{\frac{N}{2}}-\int_{t_q^{**}}^{t}\frac{1}{q}\|v_\tau\|_q^{q}d\tau\quad\text{for all }t>t_q^{**} \end{equation}

and

(4.4)\begin{equation} m'(t)={-}\frac{1}{q}\|v_t\|_q^{q}\quad\text{for a.e. }t>t_q^{**}. \end{equation}

As that of (1.8), by the Pohozaev identity, we have

(4.5)\begin{equation} \|\nabla v_t\|_2^{2}=\gamma_qt\|v_t\|_q^{q}+\|v_t\|_{2^{*}}^{2^{*}}\quad\text{and}\quad \|\nabla v_t\|_2^{2}=Nm(t). \end{equation}

Thus, by (4.3) and (4.4),

\[Nm(t)+q\gamma_qm'(t)t\geq 0\quad\text{ for a.e. }t>t_q^{**},\]

which implies $m(t)t^{\frac {N}{q\gamma _q}}$ is increasing for $t>t_q^{**}$. Now, let $t_0>t_q^{**}$ with $t_0-t_q^{**}>0$ sufficiently small such that $\mu _t\lesssim 1$ for $t< t_0$, then

(4.6)\begin{equation} m(t)\gtrsim t^{-\frac{N}{q\gamma_q}}\quad\text{for }t\geq t_0. \end{equation}

On the other hand, by the definition of $t_q^{**}$ given by (4.1), [Reference Alves, Souto and Montenegro6, theorem 1.2] and theorem 1.2, $m(t)<\frac {1}{N}S^{\frac {N}{2}}$ for $t>t_q^{**}$. Thus, it is standard to apply the classical elliptic estimates to show that $\|v_t\|_\infty \lesssim 1$ for all $t\geq t_0$. By (4.4) and (4.5),

\begin{align*} Nm(t)& =\|\nabla v_t\|_2^{2}\leqslant\left(1+O\left(\frac{1}{t}\right)\right)\gamma_q\|v_t\|_q^{q}t\\ & ={-}\left(1+O\left(\frac{1}{t}\right)\right)q\gamma_qm'(t)t\quad\text{ for a.e. }t\geq t_0, \end{align*}

which implies that for every $\varepsilon >0$ there exists $t_\varepsilon >0$ such that $m(t)\lesssim t^{-\frac {N}{q\gamma _q+\varepsilon }}$ for $t\geq t_\varepsilon$. It follows from (4.5) once more that

\[\|v_t\|_q^{q}\lesssim t^{-\frac{N}{q\gamma_q+\varepsilon}-1}\quad\text{for }t\geq t_\varepsilon.\]

Thus, by (4.5) and $\|v_t\|_\infty \lesssim 1$ for all $t\geq t_0$, we have

\[Nm(t)=\|\nabla v_t\|_2^{2}\leqslant \gamma_q\|v_t\|_q^{q}t+C_0t^{-\frac{N}{q\gamma_q+\varepsilon}-1} \quad\text{ for }t\geq t_\varepsilon,\]

which implies $m(t)t^{\frac {N}{q\gamma _q}}-C_1t^{-\frac {N}{q\gamma _q+\varepsilon }}$ is decreasing for $t\geq t_\varepsilon$. Therefore, $m(t)\lesssim t^{-\frac {N}{q\gamma _q}}$ for $t>0$ sufficiently large, which, together with (4.6), implies that

\[m(t)\sim t^{-\frac{N}{q\gamma_q}}\quad\text{as }t\to+\infty.\]

It follows from (4.5) and $\|v_t\|_\infty \lesssim 1$ for all $t\geq t_0$ that

\[\|v_t\|_q^{q}\sim t^{-\frac{N}{q\gamma_q}-1}\quad\text{as }t\to+\infty.\]

Since

\[\frac{2}{q-q\gamma_q}-\frac{N}{q\gamma_q}=\frac{2N(q-2-\frac{4}{N})}{(q-2)(2N-q(N-2))}<0 \quad\text{for } 2< q<2+\frac{4}{N},\]

by (4.2), $\overline {\mu }_{q,a}<+\infty$ for $2< q<2+\frac {4}{N}$.

5. An application

In this section, we shall apply our above strategy to study the Schrödinger equation (1.15). Since there is an additional condition $\|u\|_2^{2}=r^{2}$ in (1.15), $\lambda$ in (1.15) is not fixed but appears as a Lagrange multiplier.

Let $(u_r, \lambda _r)$ be a solution of (1.15). Since $V(x)=x_1^{2}+x_2^{2}$, we have $\nabla V(x)\cdot x=2V(x)$. Thus, the Pohozaev identity of (1.15) (cf. [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7]) is given by

\[\frac{1}{6}\|\nabla u_r\|_2^{2}+\frac{\lambda_rr^{2}}{2}+\frac{5}{6}\int_{\mathbb{R}^{3}}V(x)u_r^{2}{\rm d}x=\frac{1}{p}\|u_r\|_p^{p},\]

which, combining the equation (1.15), implies that

(5.1)\begin{equation} \lambda_rr^{2}=\frac{6-p}{2p}\|u_r\|_p^{p}-2\int_{\mathbb{R}^{3}}V(x)u_r^{2}{\rm d}x. \end{equation}

We define

(5.2)\begin{equation} w_r(x)=\lambda_r^{-\frac{1}{p-2}}u_r(\lambda_r^{-\frac 12}x)\quad\text{and}\quad t_r=\lambda_r \end{equation}

Then by $V(x)=x_1^{2}+x_2^{2}$ and (5.1), $(w_r, t_r)$ is a solution of the following equation:

(5.3)\begin{equation} \left\{\begin{aligned} & -\Delta w+ w+t^{{-}2}V(x)w=|w|^{p-2}w\quad\text{in }\mathbb{R}^{3},\\ & u\in H^{1}(\mathbb{R}^{3}),\quad r^{2}=t^{\frac{10-3p}{2(p-2)}}\left(\frac{6-p}{2p}\|w\|_p^{p}-2t^{{-}2}\int_{\mathbb{R}^{3}}V(x)w^{2}{\rm d}x\right). \end{aligned}\right. \end{equation}

Clearly, if $(w_r, t_r)$ is a solution of (5.3), then, by (5.2), $(u_r, \lambda _r)$ is also a solution of (1.15).

With these basic observations in hands, to find normalized solutions of (1.15) with positive Lagrange multipliers, it is equivalent to study the existence of solutions of (5.3). For this purpose, let us first consider the following equation:

(5.4)\begin{equation} \left\{\begin{aligned} & -\Delta w+w+t^{{-}2}V(x)w=|w|^{p-2}w\quad\text{in }\mathbb{R}^{3},\\ & w\in H^{1}(\mathbb{R}^{3}). \end{aligned}\right. \end{equation}

The corresponding functional of (5.4) is given by

\[\mathcal{J}_t(w)=\frac{1}{2}\left(\|\nabla w\|_2^{2}+\|w\|_2^{2}+\int_{\mathbb{R}^{3}}t^{{-}2}V(x)w^{2}{\rm d}x\right)-\frac{1}{p}\|w\|_p^{p}.\]

By [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, lemma 2.1] and the Sobolev embedding theorem, this functional is well defined and of class $C^{2}$ in the Hilbert space

(5.5)\begin{equation} X=\left\{w\in H^{1}(\mathbb{R}^{3})\mid \int_{\mathbb{R}^{3}}V(x)w^{2}{\rm d}x<{+}\infty\right\} \end{equation}

with the norm

\[\|w\|_X=\left(\|\nabla w\|_2^{2}+\int_{\mathbb{R}^{3}}V(x)w^{2}{\rm d}x\right)^{\frac{1}{2}}.\]

We also define the usual Nehari manifold of $\mathcal {J}_t(w)$ as follows:

\[\mathcal{M}_t=\{w\in X\backslash\{0\}\mid \mathcal{J}_t'(w)w=0\}.\]

The associated fibering map for every $w\not =0$ in $X$ is given by

(5.6)\begin{equation} J(s)=\frac{s^{2}}{2}\left(\|\nabla w\|_2^{2}+\|w\|_2^{2}+\int_{\mathbb{R}^{3}}t^{{-}2}V(x)w^{2}{\rm d}x\right)-\frac{s^{p}}{p}\|w\|_p^{p}. \end{equation}

Since $p>2$, it is standard to show that for every $w\not =0$ in $X$, there exists a unique $s_0'>0$ such that $J(s)$ is strictly increasing for $0< s< s_0'$ and is strictly decreasing for $s>s_0'$. Let

\[\mathfrak{m}(t)=\inf_{v\in\mathcal{M}_t}\mathcal{J}_t(v).\]

Definition 5.1 We say that $w$ is a ground-state of (5.4) if $w$ is a nontrivial solution of (5.4) with $\mathcal {J}_t(w)=\mathfrak {m}(t)$.

We also need the following equation:

(5.7)\begin{equation} \left\{\begin{aligned} & -\Delta u+tu+V(x)u=|u|^{p-2}u\quad\text{in }\mathbb{R}^{3},\\ & u\in H^{1}(\mathbb{R}^{3}). \end{aligned}\right. \end{equation}

The corresponding functional of (5.7) is given by

\[\mathcal{I}_t(u)=\frac{1}{2}\left(\|\nabla u\|_2^{2}+t\|u\|_2^{2}+\int_{\mathbb{R}^{3}}V(x)u^{2}{\rm d}x\right)-\frac{1}{p}\|u\|_p^{p}.\]

This functional is well defined and of class $C^{2}$ in the Hilbert space $X$, which is given by (5.5). We define the usual Nehari manifold of $\mathcal {I}_t(u)$ by

\[\mathcal{P}_t=\{u\in X\backslash\{0\}\mid \mathcal{I}_t'(u)u=0\}.\]

The associated fibering map for every $u\not =0$ in $X$ is given by

(5.8)\begin{equation} I(s)=\frac{s^{2}}{2}\left(\|\nabla u\|_2^{2}+t\|u\|_2^{2}+\int_{\mathbb{R}^{3}}V(x)u^{2}{\rm d}x\right)-\frac{s^{p}}{p}\|u\|_p^{p}. \end{equation}

Since $p>2$, it is standard to show that for every $u\not =0$ in $X$, there exists a unique $s_*>0$ such that $I(s)$ is strictly increasing for $0< s< s_*$ and is strictly decreasing for $s>s_*$. Let

\[\mathbb{M}(t)=\inf_{v\in\mathcal{P}_t}\mathcal{I}_t(v).\]

Definition 5.2 We say that $u$ is a ground-state of (5.7) if $u$ is a nontrivial solution of (5.7) with $\mathcal {I}_t(u)=\mathbb {M}(t)$.

Now, we have the following result of (5.4).

Proposition 5.1 Let $\frac {10}{3}< p<6$, then (5.4) has a positive ground-state $w_t$ for all $t>0$ satisfying $\|w_t\|_2^{2}\sim t^{\frac {3p-10}{2(p-2)}}$ as $t\to 0$ and $w_t\to w_\infty$ strongly in $H^{1}(\mathbb {R}^{3})$ as $t\to +\infty,$ where $w_\infty$ is the unique (up to translations) positive solution of the following equation:

(5.9)\begin{equation} \left\{\begin{aligned} & -\Delta w+w=|w|^{p-2}w\quad\text{in }\mathbb{R}^{3},\\ & w\in H^{1}(\mathbb{R}^{3}). \end{aligned}\right. \end{equation}

Moreover, $w_t$ is unique for $t>0$ sufficiently large.

Proof. The proof is standard so we only sketch it here. We first prove the existence of ground-states of (5.4). By the discussion in [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, 4.2 Symmetry of minimizers], we know that for the energy level $\mathfrak {m}(t)$, there exists a minimizing sequence $\{w_n\}$ on the Nehari manifold $\mathcal {M}_t$ such that $w_n$ is real and positive. Moreover, $w_n$ is radial and decreasing w.r.t. $(x_1, x_2)$ for all $x_3$ and $w_n$ is even and decreasing w.r.t. $x_3$ for all $(x_1, x_2)$. Since $\frac {10}{3}< p<6$, it is standard to use the fibering maps (5.6) to show that $\mathfrak {m}(t)>0$ on $\mathcal {M}_t$. Thus, by [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, lemma 3.4], there exists $\{z_n\}\in \mathbb {R}$ such that

\[w_n(x_1,x_2,x_3-z_n)\rightharpoonup w_0\not=0\quad\text{weakly in }X\text{ as }n\to\infty.\]

Since $\frac {10}{3}< p<6$, the fibering map of every $w\not =0$ in $X$, see (5.6), has a unique maximum point $s_0'$ and it interacts the Nehari manifold $\mathcal {M}_t$ only at the unique maximum point $s_0'$. Thus, we can use standard arguments (cf. [Reference Wei and Wu33, proposition 3.1]) to show that $w_0$ is a positive ground-state of (5.4). We next prove the convergent conclusion for $t\to +\infty$. Let $w_t$ be a positive ground-state of (5.4) for $t>0$. Since $V(x)\geq 0$, $t>0$ and $w_t$ is positive, we know that $w_t$ satisfies

(5.10)\begin{equation} -\Delta w_t+w_t\leq w_t^{p-1}\quad\text{in }\mathbb{R}^{3}. \end{equation}

By using the fibering maps (5.6) in a standard way (cf. [Reference Wei and Wu33, lemma 3.2]), we know that $\mathfrak {m}(t)$ is decreasing w.r.t. $t>0$. Thus, $\{w_t\}$ is bounded in $H^{1}(\mathbb {R}^{3})$. It follows from (5.10) and the classical elliptic estimates that

(5.11)\begin{equation} w_t\lesssim (1+|x|)^{{-}1}e^{-\frac{1}{2}|x|}\quad\text{in }\mathbb{R}^{3}\text{ for }t\geq 1. \end{equation}

Thus, by $V(x)=x_1^{2}+x_2^{2}$,

\[\int_{\mathbb{R}^{3}}V(x)w_t^{2}{\rm d}x\lesssim 1\quad\text{for all }t\geq 1,\]

which implies that

(5.12)\begin{equation} t^{{-}2}\int_{\mathbb{R}^{3}}V(x)w_t^{2}{\rm d}x=o_t(1)\quad\text{as }t\to+\infty. \end{equation}

Now, using the fibering maps (5.6) in a standard way, we know that $\mathfrak {m}(t)\geq \mathfrak {m}+o_t(1)$ as $t\to +\infty$, where

\[\mathfrak{m}=\inf_{v\in\mathcal{M}}\mathcal{J}(v)\]

with

\[\mathcal{J}(w)=\frac{1}{2}(\|\nabla w\|_2^{2}+\|w\|_2^{2})-\frac{1}{p}\|w\|_p^{p}\]

and

\[\mathcal{M}=\{w\in H^{1}(\mathbb{R}^{3})\backslash\{0\}\mid \mathcal{J}'(w)w=0\}.\]

On the other hand, it is well known that (5.9) has a unique (up to translations) positive radial solution $w_\infty$, which exponentially decays to zero at infinity. Thus, using $w_\infty$ as a test function and adapting the property of the fibering maps (5.6) in a standard way, we also have $\mathfrak {m}(t)\leq \mathfrak {m}+o_t(1)$ as $t\to +\infty$. It follows that $\mathfrak {m}(t)=\mathfrak {m}+o_t(1)$ as $t\to +\infty$, which implies that $\|w_t\|_p^{p}=\|w_\infty \|_p^{p}+o_t(1)$. Now, by standard arguments and the uniqueness of $w_\infty$, we can show that $w_t\to w_\infty$ strongly in $H^{1}(\mathbb {R}^{3})$ as $t\to +\infty$. We now turn to the proof of the convergent conclusion for $t\to 0$. For every $t>0$, let $w_t$ be a positive ground-state of (5.4), then by (5.2), $u_t$ is a positive solution of (5.7). Moreover, by direct calculations,

\[\mathcal{J}_t(w_t)=t^{\frac{p-6}{2(p-2)}}\mathcal{I}_t(u_t)\quad\text{and}\quad\mathcal{J}_t'(w_t)w_t=t^{\frac{p-6}{2(p-2)}}\mathcal{I}_t'(u_t)u_t.\]

Thus, $u_t$ is a positive ground-state of (5.7) for all $t>0$. On the other hand, by [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, lemma 2.1], Hölder and Sobolev inequalities,

\[\|u\|_p^{p}\lesssim\|u\|_2^{\frac{6-p}{2}}\|\nabla u\|_2^{\frac{3p-6}{2}}\lesssim\|u\|_X^{p}\quad\text{for all }u\in X.\]

Thus, by using the fibering maps (5.8) in a standard way, we know that $\mathbb {M}(0)>0$. By similar arguments as that used above to compare the energy levels $\mathbb {M}(0)$ and $\mathbb {M}(t)$, we can obtain that $\mathbb {M}(t)=\mathbb {M}(0)+o_t(1)$ as $t\to 0$. It follows that $\{u_t\}$ is bounded in $X$ and $\|u_t\|_p^{p}\sim 1$ as $t\to 0$. By [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, lemma 2.1], $\{u_t\}$ is also bounded in $H^{1}(\mathbb {R}^{3})$ as $t\to 0$. Now, by the Lions’ lemma (cf. [Reference Lions23, lemma I.1] or [Reference Willem34, lemma 1.21]), we can conclude that $\|u_t\|_2^{2}\sim 1$ as $t\to 0$. It follows from (5.2) that $\|w_t\|_2^{2}\sim t^{\frac {3p-10}{2(p-2)}}$ as $t\to 0$. We close this proof by showing the uniqueness of $w_t$ for $t>0$ sufficiently large. Let $w_t$ and $w_t'$ be two different positive ground-states of (5.4) and we define $\phi _t=\frac {w_t-w_t'}{\|w_t-w_t'\|_{L^{\infty }}(\mathbb {R}^{3})}$. Then by the Taylor expansion,

\[-\Delta\phi_t+\phi_t+t^{{-}2}V(x)\phi_t=(p-1)(w_t+\theta(w_t-w_t')))^{p-2}\phi_t,\quad\text{in }\mathbb{R}^{3},\]

where $\theta \in (0, 1)$. Since $V(x)\geq 0$, by (5.11),

\[-\Delta(\phi_t)^{2}+\frac{3}{2}(\phi_t)^{2}\leq 0,\quad\text{in }\mathbb{R}^{3}.\]

Thus, by the maximum principle, $|\phi _t|\lesssim e^{-\frac {1}{2}|x|}$ for $|x|\geq 1$. It is standard to show that $\phi _t\to \phi$ strongly in any compact sets as $t\to +\infty$ and

\[-\Delta\phi+\phi=(p-1)w_\infty^{p-2}\phi,\quad\text{in }\mathbb{R}^{3}.\]

Note that $w_t$ and $w_t'$ are radial w.r.t. $(x_1, x_2)$ for all $x_3$ and even w.r.t. $x_3$ for all $(x_1, x_2)$. Thus, $\phi _t$ is also radial w.r.t. $(x_1, x_2)$ for all $x_3$ and even w.r.t. $x_3$ for all $(x_1, x_2)$. Now, by the well-known nondegeneracy of $w_\infty$, we have $\phi _\infty \equiv 0$. It, together with $|\phi _t|\lesssim e^{-\frac {1}{2}|x|}$ for $|x|\geq 1$, contradicts $\|\phi _t\|_{L^{\infty }(\mathbb {R}^{3})}=1$. Therefore, $w_t$ is unique for $t>0$ sufficiently large.

Let $w_t$ be a positive ground-state of (5.4) given by proposition 5.1 and we define

\[f(r,t):=r^{2}-t^{\frac{10-3p}{2(p-2)}}\left(\frac{6-p}{2p}\|w_t\|_p^{p}-2t^{{-}2}\int_{\mathbb{R}^{3}}V(x)w_t^{2}{\rm d}x\right).\]

By proposition 5.1, for every $t>0$ sufficiently large, there exists a unique

(5.13)\begin{equation} r_t=\left(t^{\frac{10-3p}{2(p-2)}}\left(\frac{6-p}{2p}\|w_t\|_p^{p}-2t^{{-}2}\int_{\mathbb{R}^{3}}V(x)w_t^{2}{\rm d}x\right)\right)^{\frac{1}{2}}>0 \end{equation}

such that $f(r_t,t)=0$. Thus, by (5.2), $(u_{r_t}, t)$ is a positive normalized solution of (1.15) with a positive Lagrange multiplier $t>0$. We are now prepared for the proof of theorem 1.4.

Proof of theorem 1.4. By the uniqueness of $w_t$ given by proposition 5.1 for $t>0$ sufficiently large, say $t>T_*$. It is standard to show that $\int _{\mathbb {R}^{3}}V(x)w_t^{2}$ is continuous for $t>T_*$. Note that by proposition 5.1,

\[\left(\frac{6-p}{2p}\|w_t\|_p^{p}-2t^{{-}2}\int_{\mathbb{R}^{3}}V(x)w_t^{2}{\rm d}x\right)=\frac{6-p}{2p}\|w_\infty\|_p^{p}+o_t(1).\]

Thus, by $\frac {10}{3}< p<6$, for every $r<(T_*^{\frac {10-3p}{2(p-2)}}(\tfrac {6-p}{2p}\|w_{T_*}\|_p^{p}-2T_*^{-2}\int _{\mathbb {R}^{3}}V(x)w_{T_*}^{2}{\rm d}x))^{\frac {1}{2}}$, $f(r,t)=0$ has a solution $t_r>T_*$. This, together with [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, theorem 2], implies that (1.15) has a second positive normalized solution $u_{r,2}$ with a positive Lagrange multiplier $\lambda _{r,2}$. The asymptotic behaviour of $u_{r,2}$ and $\lambda _{r,2}$ is obtained by (5.2) and (5.13). It remains to show that $u_{r,2}$ is a mountain-pass solution of (1.15) for $r>0$ sufficiently small. As that in [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, remark 1.10], we introduce the mountain-pass level

\[\alpha(r)=\inf_{g\in\Gamma_r}\max_{t\in[0, 1]}\mathcal{Y}(g[t]),\]

where $\mathcal {Y}(u)=\frac {1}{2}\|u\|_{X}^{2}-\frac {1}{p}\|u\|_p^{p}$ and

\[\Gamma_r=\{g[s]\in C([0, 1], \mathcal{S}_r)\mid g[0]=u_{r,1}\quad\text{and}\quad \mathcal{Y}(g[1])<\mathcal{Y}(g[0])\}\]

with $u_{r,1}$ being a local minimizer of $\mathcal {Y}(u)$ in $\mathcal {S}_r$ found in [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7] and $\mathcal {S}_r=\{u\in X\mid \|u\|_2^{2}=r^{2}\}$. Let

\[B_{\rho,X,t}=\{u\in X\mid \|u\|_{X,t}^{2}\leq \rho^{2}\},\]

where $\|u\|_{X,t}$ is a norm in $X$ given by

\[\|w\|_{X,t}=\left(\|\nabla w\|_2^{2}+\|w\|_2^{2}+t^{{-}2}\int_{\mathbb{R}^{3}}V(x)w^{2}{\rm d}x\right)^{\frac{1}{2}}.\]

Then by [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, lemma 2.1] and the Sobolev inequality, for a fixed $\rho >0$ sufficiently small, it can be proved by using $\frac {10}{3}< p<6$ in a standard way that

\[\mathfrak{m}(t)=\inf_{h\in\Theta}\max_{t\in[0, 1]}\mathcal{J}_t(h[s]),\]

where

\[\Theta=\{h[t]\in C([0, 1], X)\mid h[0]\in B_{\rho,X,t}\quad\text{and}\quad \mathcal{J}_t(h[1])<\frac{1}{4}\rho^{2}\}.\]

Now, for every $g[s]\in \Gamma _r$, we define $g^{*}[s]=\lambda _{r,2}^{-\frac {1}{p-2}}g[s](\lambda _{r,2}^{-\frac {1}{2}}x)$. Then

\[\mathcal{J}_{\lambda_{r,2}}(g^{*}[s])=\lambda_{r,2}^{\frac{p-6}{2(p-2)}}\left(\mathcal{Y}(g[s])+\frac{\lambda_{r,2}r^{2}}{2}\right).\]

By [Reference Bellazzini, Boussaid, Jeanjean and Visciglia7, theorem 1] and (1.16),

\[\|g^{*}[0]\|_{X,\lambda_{r,2}}^{2}\lesssim r^{2}\lambda_{r,2}^{\frac{p-6}{2(p-2)}}\sim\lambda_{r,2}^{{-}1}\to 0\quad\text{as }r\to 0.\]

Thus, $g^{*}[0]\in B_{\rho,X,\lambda _{r,2}}$ for $r>0$ sufficiently small and $\mathcal {J}_t(g^{*}[0])\to 0$ as $r\to 0$. By the definition of $g[t]$, we also have $\mathcal {J}_t(g^{*}[1])<\frac {1}{4}\rho ^{2}$. It follows that $g^{*}[t]\in \Theta$, which implies

\[\mathfrak{m}(\lambda_{r,2})\leq\lambda_{r,2}^{\frac{p-6}{2(p-2)}}\left(\alpha(r)+\frac{\lambda_{r,2}r^{2}}{2}\right).\]

On the other hand, the fibering map of $\mathcal {Y}(u)$ at $u_{r,2}$ is given by

\[\mathcal{T}_{u_{r,2}}(\tau)=\frac{\tau^{2}}{2}\|\nabla u_{r,2}\|_2^{2}+\frac{1}{2\tau^{2}}\int_{\mathbb{R}^{3}}V(x)u_{r,2}^{2}{\rm d}x-\frac{\tau^{p\gamma_p}}{p}\|u_{r,2}\|_p^{p}.\]

By direct calculations,

\[\mathcal{T}_{u_{r,2}}'(\tau)=\tau\|\nabla u_{r,2}\|_2^{2}-\frac{1}{\tau^{3}}\int_{\mathbb{R}^{3}}V(x)u_{r,2}^{2}{\rm d}x-\gamma_p\tau^{p\gamma_p-1}\|u_{r,2}\|_p^{p}\]

and

\[\mathcal{T}_{u_{r,2}}''(\tau)=\|\nabla u_{r,2}\|_2^{2}+\frac{3}{\tau^{4}}\int_{\mathbb{R}^{3}}V(x)u_{r,2}^{2}{\rm d}x-\gamma_p(p\gamma_p-1)\tau^{p\gamma_p-2}\|u_{r,2}\|_p^{p}.\]

Clearly, $\mathcal {T}_{u_{r,2}}'(1)=0$. Moreover, by (1.18), (5.12) and the Pohozaev identity of $w_\infty$,

\[\mathcal{T}_{u_{r,2}}''(1)=\lambda_{r,2}^{\frac{6-p}{2(p-2)}}(\gamma_p\|w_\infty\|_p^{p}(2-p\gamma_p)+o_r(1))<0\]

for $r>0$ sufficiently small. Now, let $h(\tau )=\tau ^{4}\|\nabla u_{r,2}\|_2^{2}-\gamma _p\tau ^{p\gamma _p+2}\|u_{r,2}\|_p^{p},$ then,

\[\max_{\tau\geq 0}h(\tau)=\left[\frac{4\|\nabla u_{r,2}\|_2^{2}}{\gamma_p(p\gamma_p+2)\|u_{r,2}\|_p^{p}}\right]^{\frac{4}{p\gamma_p-2}}\frac{p\gamma_p-2}{p\gamma_p+2}\|\nabla u_{r,2}\|_2^{2}>\int_{\mathbb{R}^{3}}V(x)u_{r,2}^{2}{\rm d}x.\]

It follows that there exists $\tau _r<1$ such that $\mathcal {T}_{u_{r,2}}'(\tau _r)=0$ and $\mathcal {T}_{u_{r,2}}''(\tau _r)>0$. We claim that $\tau _r\to 0$ as $r\to 0$. If not, then, there exists $r_n\to 0$ such that $\tau _{r_n}\gtrsim 1$ as $n\to \infty$. Without loss of generality, we may assume $\tau _r\gtrsim 1$ for all $r>0$ sufficiently small. By $\mathcal {T}_{u_{r,2}}'(\tau _{r})=0$, (1.18), (5.12) and the Pohozaev identity of $w_\infty$,

\begin{align*} \mathcal{T}_{u_{r,2}}''(\tau)& =\lambda_{r,2}^{\frac{6-p}{2(p-2)}}(4\|\nabla w_\infty\|_2^{2}-\gamma_p(p\gamma_p+2)\|w_\infty\|_p^{p}\tau_r^{p\gamma_p-2}+o_r(1))\\ & =\lambda_{r,2}^{\frac{6-p}{2(p-2)}}\gamma_p(4-(p\gamma_p+2)\tau_r^{p\gamma_p-2}+o_r(1))\|w_\infty\|_p^{p}, \end{align*}

which implies $\tau _r<(\tfrac {4}{p\gamma _p+2})^{\frac {1}{p\gamma _p-2}}<1$. Without loss of generality, we may assume that $\tau _r\to \tau _0$ as $r\to 0$. Then by $\mathcal {T}_{u_{r,2}}'(\tau _r)=0$, (5.12) and the fact that $w_\infty$ solves (1.17), we must have $\tau _0=0$. It is impossible. Thus, we must have $\tau _r\to 0$ as $r\to 0$. By (1.16) and (1.18),

\[\frac{1}{\tau_r^{4}\lambda_{r,2}^{2}}\left(\int_{\mathbb{R}^{3}}V(x)w_\infty^{2}{\rm d}x+o_r(1)\right)=\|\nabla w_\infty\|_2^{2}+o_r(1).\]

It follows from (1.16) and (1.18) that

\[\|(u_{r,2})_{\tau_r}\|_X^{2}=\tau_r^{2}\|\nabla u_{r,2}\|_2^{2}+\tau_r^{{-}2}\int_{\mathbb{R}^{3}}V(x)u_{r,2}^{2}{\rm d}x\sim\lambda_{r,2}^{\frac{10-3p}{2(p-2)}}\sim r^{2}\]

as $r\to 0$, where $(u_{r,2})_{\tau _r}=\tau _r^{\frac {3}{2}}u_{r,2}(\tau _r x)$. Thus, $(u_{r,2})_{\tau _r}\in B_{r\chi,X,1}$ for a fixed and large $\chi >0$. Since $B_{r\chi,X,1}$ is connected, we can find a continuous path $\Upsilon : [0, 1]$ with $\Upsilon (0)=u_{r,1}$ and $\Upsilon (1)=(u_{r,2})_{\tau _r}$. Now, we define

\[h^{**}[s]=\left\{\begin{aligned} & \Upsilon[(2s)],\quad 0\leq s\leq\frac 12,\\ & (u_{r,2})_{2(1-s)\tau_r+(2s-1)\tau_{r,*}}, \quad\frac 12\leq s\leq 1,\\ \end{aligned}\right.\]

where we choose $\tau _{r,*}>1$ such that $\mathcal {T}_{u_{r,2}}(\tau _{r,*})<\mathcal {Y}(u_{r,1})$. Note that $\mathcal {Y}(u)\lesssim r^{2}$ in $B_{r\chi,X,1}$ and $\mathcal {Y}(u_{r,2})\gtrsim 1$ by (1.16) and (1.18). Thus, for $r>0$ sufficiently small, $h^{**}[s]\in \Gamma _r$ and

\[\alpha(r)\leq\max_{0\leq s\leq 1}h^{**}[s]=\mathcal{T}_{u_{r,2}}(1)=\mathfrak{m}(\lambda_{r,2})\lambda_{r,2}^{\frac{6-p}{2(p-2)}}-\frac{\lambda_{r,2}r^{2}}{2}.\]

Therefore, $\mathfrak {m}(\lambda _{r,2})\lambda _{r,2}^{\frac {6-p}{2(p-2)}}-\frac {\lambda _{r,2}r^{2}}{2}=\alpha (r)$ and $u_{r,2}$ is a mountain-pass solution of (1.15) for $r>0$ sufficiently small.

Acknowledgments

The research of J. Wei is partially supported by NSERC of Canada and the research of Y. Wu is supported by NSFC (No. 11971339, 12171470).

References

Akahori, T., Ibrahim, S. and Kikuchi, H.. Linear instability and nondegeneracy of ground state for combined power-type nonlinear scalar field equations with the Sobolev critical exponent and large frequency parameter. Proc. Roy. Soc. Edinburgh Sect. A 150 (2020), 24172441.CrossRefGoogle Scholar
Akahori, T., Ibrahim, S., Kikuchi, H. and Nawa, H.. Existence of a ground state and blow-up problem for a nonlinear Schrödinger equation with critical growth. Differ. Integral Equ. 25 (2012), 383402.Google Scholar
Akahori, T., Ibrahim, S., Kikuchi, H. and Nawa, H.. Global dynamics above the ground state energy for the combined power type nonlinear Schrodinger equations with energy critical growth at low frequencies, e-print arXiv:1510.08034[Math.AP](to appear in Memoirs of the AMS).Google Scholar
Akahori, T., Ibrahim, S., Ikoma, N., Kikuchi, H. and Nawa, H.. Uniqueness and nondegeneracy of ground states to nonlinear scalar field equations involving the Sobolev critical exponent in their nonlinearities for high frequencies. Calc. Var. PDEs 58 (2019), 120.CrossRefGoogle Scholar
Atkinson, F. and Peletier, L.. Emden-Fowler equations involving critical exponents. Nonlinear Anal. 10 (1986), 755776.CrossRefGoogle Scholar
Alves, C. O., Souto, M. A. S. and Montenegro, M.. Existence of a ground state solution for a nonlinear scalar field equation with critical growth. Calc. Var. PDEs 43 (2012), 537554.CrossRefGoogle Scholar
Bellazzini, J., Boussaid, N., Jeanjean, L. and Visciglia, N.. Existence and stability of standing waves for supercritical NLS with a partial confinement. Commun. Math. Phys. 353 (2017), 229251.CrossRefGoogle Scholar
Berestycki, H. and Lions, P.-L.. Nonlinear scalar field equations. I: existence of a ground state. Arch. Ration. Mech. Anal. 82 (1983), 313345.CrossRefGoogle Scholar
Brézis, H. and Nirenberg, L.. Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Commun. Pure Appl. Math. 36 (1983), 437477.CrossRefGoogle Scholar
Chen, W., Dávila, J. and Guerra, I.. Bubble tower solutions for a supercritical elliptic problem in $\mathbb {R}^{N}$. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 15 (2016), 85116.Google Scholar
Chen, Z. and Zou, W.. On the Brezís-Nirenberg problem in a ball. Differ. Integral Equ. 25 (2012), 527542.Google Scholar
Coffman, C.. Uniqueness of the ground state solution for $\Delta u-u+u^{3}=0$ and a variational characterization of other solutions. Arch. Rational Mech. Anal. 46 (1972), 8195.CrossRefGoogle Scholar
Coles, M. and Gustafson, S.. Solitary waves and dynamics for subcritical perturbations of energy critical NLS. Publ. Res. Inst. Math. Sci. 56 (2020), 647699.CrossRefGoogle Scholar
Dávila, J., del Pino, M. and Guerra, I.. Non-uniqueness of positive ground states of non-linear Schrödinger equations. Proc. Lond. Math. Soc. 106 (2013), 318344.CrossRefGoogle Scholar
Dovetta, S., Serra, E. and Tilli, P.. Action versus energy ground states in nonlinear Schrödinger equations, e-print arXiv:2107.08655v1[math.AP].Google Scholar
Ferrero, A. and Gazzola, F.. On subcriticality assumptions for the existence of ground states of quasilinear elliptic equations. Adv. Differ. Equ. 8 (2003), 10811106.Google Scholar
Gidas, B., Ni, W. and Nirenberg, L.. Symmetry of positive solutions of nonlinear elliptic equations in $\mathbb {R}^{N}$, in: L. Nachbin (Ed.), Math. Anal. Appl. Part A, Advances in Math. Suppl. Studies, Vol. 7A (Academic Press, 1981), pp. 369–402.Google Scholar
Gazzola, F. and Serrin, J.. Asymptotic behavior of ground states of quasilinear elliptic problems with two vanishing parameters. Ann. Inst. H. Poincaré Anal. Non Linéaire 19 (2002), 477504.CrossRefGoogle Scholar
Jeanjean, L. and Le, T.. Multiple normalized solutions for a Sobolev critical Schrödinger equation. Math. Ann. (2021). DOI: 10.1007/s00208-021-02228-0Google Scholar
Jeanjean, L. and Lu, S.. On global minimizers for a mass constrained problem e-print arXiv:2108.04142v2[math.AP].Google Scholar
Knaap, M. and Peletier, L.. Quasilinear elliptic equations with nearly critical growth. Comm. PDEs 14 (1989), 13511383.CrossRefGoogle Scholar
Kwong, M.. Uniqueness of positive solution of $\Delta u-u+u^{p}=0$ in $\mathbf {R}^{N}$. Arch. Rational Mech. Anal. 105 (1989), 243266.CrossRefGoogle Scholar
Lions, P. L.. The concentration-compactness principle in the calculus of variations. The locally compact case, part 2. Ann. Inst. H. Poincaré Anal. Non Linéaire 1 (1984), 223283.CrossRefGoogle Scholar
Liu, J., Liao, J.-F. and Tang, C.-L.. Ground state solution for a class of Schrödinger equations involving general critical growth term. Nonlinearity 30 (2017), 899911.CrossRefGoogle Scholar
Ma, S. and Moroz, V.. Asymptotic profiles for a nonlinear Schrödinger equation with critical combined powers nonlinearty, e-print arXiv2108.01421[Math.AP].Google Scholar
McLeod, K.. Uniqueness of positive radial solutions of $\Delta u+f(u)=0$ in $\mathbb {R}^{N}$. II. Trans. Amer. Math. Soc. 339 (1993), 495505.Google Scholar
McLeod, K. and Serrin, J.. Uniqueness of positive radial solutions of $\Delta u+f(u)=0$ in $\mathbb {R}^{N}$. Arch. Ration. Mech. Anal. 99 (1987), 115145.CrossRefGoogle Scholar
Peletier, L. and Serrin, J.. Uniqueness of positive solutions of semilinear equations in $\mathbb {R}^{N}$. Arch. Ration. Mech. Anal. 81 (1983), 181197.CrossRefGoogle Scholar
Peletier, L. and Serrin, J.. Uniqueness of nonnegative solutions of semilinear equations in $\mathbb {R}^{N}$. J. Differ. Equ. 61 (1986), 380397.CrossRefGoogle Scholar
Pucci, P. and Serrin, J.. Uniqueness of ground states for quasilinear elliptic operators. Indiana Univ. Math. J. 47 (1998), 501528.Google Scholar
Serrin, J. and Tang, M.. Uniqueness of ground states for quasilinear elliptic equations. Indiana Univ. Math. J. 49 (2000), 897923.CrossRefGoogle Scholar
Soave, N.. Normalized ground states for the NLS equation with combined nonlinearities: The Sobolev critical case. J. Funct. Anal. 279 (2020), 108610.CrossRefGoogle Scholar
Wei, J. and Wu, Y.. Normalized solutions for Schrodinger equations with critical Sobolev exponent and mixed nonlinearities. J. Funct. Anal. 283 (2022), 109574.CrossRefGoogle Scholar
Willem, M.. Minimax Theorems (Boston, Birkhäuser, 1996).CrossRefGoogle Scholar
Zhang, J. and Zou, W.. A Berestycki-Lions theorem revisited. Commun. Contemp. Math. 14 (2012), 1250033.CrossRefGoogle Scholar