1 Introduction and main results
In the present paper, we consider the following Schrödinger equation:
$$\begin{aligned}& \biggl[a+b \biggl( \int_{\mathbb{R}^{3}}\vert \nabla u\vert ^{2}-\mu \frac{u^{2}}{\vert x\vert ^{2}}\,dx \biggr)^{\frac{2-\alpha }{2}} \biggr]\biggl(-\Delta u- \mu \frac{u}{\vert x\vert ^{2}}\biggr) \\& \quad = \frac{\vert u\vert ^{2^{*}(\alpha )-2}u }{\vert x\vert ^{\alpha }}+\lambda \frac{f(x)\vert u\vert ^{q-2}u }{\vert x\vert ^{\beta }}, \end{aligned}$$
(1.1)
where
\(a,b>0\),
\(\mu \in [0,1/4)\),
\(\alpha ,\beta \in [0,2)\), and
\(q\in (1,2)\) are constants and
\(2^{*}(\alpha )=6-2\alpha \) is the critical Hardy–Sobolev exponent.
We call (
1.1) a Schrödinger equation of Kirchhoff type because of the appearance of the term
\(b(\int_{\mathbb{R}^{3}}|\nabla u|^{2}-\mu u^{2}|x|^{-2}\,dx)^{{{(2-\alpha )}/{2}}}\) which makes the study of (
1.1) interesting. Indeed, if we choose
\(\mu = \alpha =0\) and let
\(|u|^{4}u+f(x)|u|^{q-2}u|x|^{-\beta }=k(x,u)-V(x)u\), then (
1.1) transforms to the following classical Kirchhoff type equation:
$$ - \biggl(a+ b \int_{\mathbb{R}^{3}}\vert \nabla u\vert ^{2}\,dx \biggr) \Delta u+V(x)u=k(x,u) $$
(1.2)
which is degenerate if
\(b=0\) and non-degenerate otherwise. Equation (
1.2) arises in a meaningful physical context. In fact, if we set
\(V(x)=0\) and replace
\(\mathbb{R}^{3}\) by a bounded domain
\(\Omega \subset \mathbb{R}^{3}\), then we get the following Dirichlet problem:
$$ - \biggl(a+ b \int_{\Omega }\vert \nabla u\vert ^{2}\,dx \biggr) \Delta u=k(x,u) $$
which is related to the stationary analogue of the equation
$$ \rho \frac{\partial^{2}u}{\partial t^{2}}- \biggl(\frac{P_{0}}{h}- \frac{E}{2L} \int_{0}^{L} \biggl\vert \frac{\partial u}{\partial x} \biggr\vert ^{2}\,dx \biggr)\frac{\partial^{2}u}{\partial x^{2}}=0 $$
proposed by Kirchhoff in [
16] as an extension of the classical D’Alembert’s wave equation for free vibrations of elastic strings. This model takes the changes in length of the string produced by transverse vibrations into account. After J. L. Lions in his pioneer work [
21] presented an abstract functional analysis framework to (
1.2), this problem has been widely studied in extensive literature such as [
8,
11,
12,
19,
20,
24,
25].
In their celebrated paper, Ambrosetti et al. [
2] studied the following semilinear elliptic equation with concave-convex nonlinearities:
$$ \textstyle\begin{cases} - \Delta u = \vert u\vert ^{p-2}u+\xi \vert u\vert ^{q-2}u, &\text{in } \Omega , \\ u=0, & \text{on } \partial \Omega , \end{cases} $$
where Ω is a bounded domain in
\(\mathbb{R}^{N}\),
\(\xi >0\) and
\(1< q<2<p\leq 2^{*}={2N}/{(N-2)}\) with
\(N\geq 3\). By the variational method, they obtained the existence and multiplicity of positive solutions to the above problem. Subsequently, an increasing number of researchers have paid attention to semilinear elliptic equations with critical exponent and concave-convex nonlinearities; for example, see [
1,
5,
13,
14,
27,
29] and the references therein.
Using the Nehari manifold and fibering maps, Chen et al. [
6] extended the above analysis to the subcritical semilinear elliptic problem of Kirchhoff type:
$$ \textstyle\begin{cases} - M (\int_{\Omega }\vert \nabla u\vert ^{2}\,dx )\Delta u =g(x)\vert u\vert ^{p-2}u+ \lambda h(x)\vert u\vert ^{q-2}u\quad {\text{in }}{\Omega }, \\ u = 0\quad {\text{on }}\partial \Omega , \end{cases} $$
where
M is the so-called Kirchhoff function depending on
\(1< q<2<p<2^{*}\), Ω is a bounded domain with a smooth boundary in
\(\mathbb{R}^{N}\) and the weight functions
\(h,g\in C(\overline{ \Omega })\) satisfy some specified conditions
$$ f^{\pm }=\max \{\pm f,0\}\neq 0\quad \text{and}\quad g^{\pm }= \max \{ \pm g,0\}\neq 0, $$
they proved the existence of multiple solutions of it. In the critical case, Lei et al. [
19] considered the following Kirchhoff problem in three dimensions:
$$ \textstyle\begin{cases} - (a+\epsilon \int_{\Omega }\vert \nabla u\vert ^{2}\,dx )\Delta u = u ^{5}+\lambda u^{q-1}\quad {\text{in }}{\Omega }, \\ u = 0\quad {\text{on }}\partial \Omega , \end{cases} $$
where
\(\epsilon >0\) is a sufficiently small constant, and they employed the mountain pass theorem to show that the problem admits at least two different positive solutions. Some other related and important results can be found in [
18,
23] and the references therein.
Before stating our main results, we introduce some function spaces. Throughout the paper,
\(L^{p}(\mathbb{R}^{3})\) (
\(1\leq p\leq +\infty \)) is the usual Lebesgue space with the standard norm
\(|u|_{p}\), and we consider the Hilbert space
\(D^{1,2}(\mathbb{R}^{3})\) equipped with its usual inner product and norm
$$ (u,v)_{D^{1,2}(\mathbb{R}^{3})}= \int_{\mathbb{R}^{3}}\nabla u\nabla v\,dx \quad \text{and}\quad \Vert u \Vert _{D^{1,2}(\mathbb{R}^{3})}= \biggl( \int_{\mathbb{R}^{3}}\vert \nabla u\vert ^{2}\,dx \biggr)^{\frac{1}{2}}. $$
By the well-known Hardy inequality [
17]
$$ \int_{\mathbb{R}^{3}}\frac{u^{2}}{\vert x\vert ^{2}}\,dx\leq 4 \int_{\mathbb{R} ^{3}}\vert \nabla u\vert ^{2}\,dx, $$
we derive that the induced inner product and norm
$$ (u,v)= \int_{\mathbb{R}^{3}}\nabla u\nabla v-\mu \frac{uv}{\vert x\vert ^{2}}\,dx \quad \text{and}\quad \Vert u\Vert = \biggl( \int_{\mathbb{R}^{3}}\vert \nabla u\vert ^{2}- \mu \frac{u^{2}}{\vert x\vert ^{2}}\,dx \biggr)^{\frac{1}{2}} $$
are equivalent to the usual inner product and norm on
\(D^{1,2}( \mathbb{R}^{3})\) for any
\(\mu \in [0,1/4)\). As a special case of [
15, Lemma 2.3], for any
\(\mu \in [0,1/4)\) and
\(s\in [0,2)\), we can define
$$ S_{\mu ,s}= \biggl\{ \int_{\mathbb{R}^{3}}\vert \nabla u\vert ^{2}-\mu \frac{u ^{2}}{\vert x\vert ^{2}}\,dx:u\in D^{1,2}\bigl(\mathbb{R}^{3}\bigr) \text{ and } \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}(s)}}{\vert x\vert ^{s}}\,dx=1 \biggr\} . $$
(1.3)
We also know that
\(S_{\mu ,s}\) can be attained by a positive function
\(U\in D^{1,2}(\mathbb{R}^{3})\) satisfying
$$ \int_{\mathbb{R}^{3}}\vert \nabla U\vert ^{2}-\mu \frac{U^{2}}{\vert x\vert ^{2}}\,dx= \int_{\mathbb{R}^{3}}\frac{\vert U\vert ^{2^{*}(s)}}{\vert x\vert ^{s}}\,dx=S_{\mu ,s}^{ \frac{3-s}{2-s}}. $$
(1.4)
Motivated by all the works mentioned above, we are interested in the multiplicity and asymptotic behavior of solutions of (
1.1) whose natural variational functional is
$$ J(u)=\frac{a}{2}\Vert u\Vert ^{2}+\frac{b}{4-\alpha }\Vert u\Vert ^{4-\alpha } -\frac{1}{2^{*}( \alpha )} \int_{\mathbb{R}^{3}}\vert u\vert ^{2^{*}(\alpha )}\vert x\vert ^{-\alpha }\,dx-\frac{ \lambda }{q} \int_{\mathbb{R}^{3}}f(x)\vert u\vert ^{q}\vert x\vert ^{-\beta }\,dx. $$
Note that we can adopt the idea used in [
28] to prove that
\(J(u)\) is well-defined on
\(D^{1,2}(\mathbb{R}^{3})\) and of class
\(C^{1}\). Furthermore, any solution of (
1.1) is a critical point of
\(J(u)\). Hence we obtain the solutions of it by finding the critical points of the functional
\(J(u)\). To this aim, we assume the following condition:
(F)
\(0\lvertneqq f(x)\in L^{\infty }(\mathbb{R}^{3})\) and there exists \(R_{0}>0\) such that \(\operatorname{supp}f\in B_{R_{0}}(0)\).
Since
\(\operatorname{supp}f\subset B_{R_{0}}(0)\), using Hölder’s inequality and (
1.3), we have
$$\begin{aligned} \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{\beta }}\,dx \leq& \vert f\vert _{ \infty } \biggl( \int_{B_{R_{0}}(0)}\frac{1}{\vert x\vert ^{\beta }}\,dx \biggr)^{\frac{2^{*}( \beta )-q}{2^{*}(\beta )}} \biggl( \int_{B_{R_{0}}(0)}\frac{\vert u\vert ^{2^{*}( \beta )}}{\vert x\vert ^{\beta }}\,dx \biggr)^{\frac{q}{2^{*}(\beta )}} \\ \triangleq& \vert f\vert _{\infty }C_{R_{0},\beta ,q} \biggl( \int_{B_{R_{0}}(0)}\frac{\vert u\vert ^{2^{*}( \beta )}}{\vert x\vert ^{\beta }}\,dx \biggr)^{\frac{q}{2^{*}(\beta )}} \\ \leq& \vert f\vert _{ \infty }C_{R_{0},\beta ,q} S_{\mu ,\beta }^{-\frac{q}{2}} \Vert u\Vert ^{q}. \end{aligned}$$
(1.5)
For the convenience of narration, we set
$$\begin{aligned}& \lambda_{1}\triangleq \frac{2(2-\alpha )\sqrt{2ab} S_{\mu ,\beta } ^{\frac{q}{2}}}{ (2^{*}(\alpha )-q )\vert f^{+}\vert _{\infty }C_{R_{0}, \beta ,q}} \biggl[\frac{2\sqrt{ab(2-q)(4-\alpha -q)}S_{\mu ,\alpha } ^{\frac{2^{*}(\alpha )}{2}}}{2^{*}(\alpha )-q} \biggr]^{\frac{6-\alpha -2q}{6-3\alpha }}>0, \\& \lambda_{2}\triangleq \frac{a(4-2\alpha )S_{\mu ,\beta }^{\frac{q}{2}}}{ (2^{*}(\alpha )-q )\vert f^{+}\vert _{\infty }C_{R_{0},\beta ,q}} \biggl[\frac{a(2-q)S _{\mu ,\alpha }^{\frac{2^{*}(\alpha )}{2}}}{2^{*}(\alpha )-q} \biggr]^{\frac{2-q}{4-2 \alpha }}>0, \\& \lambda_{3}\triangleq \frac{1}{2}(aS_{\mu ,\alpha })^{\frac{(3-\alpha )(2-q)}{2(2-\alpha )}} \biggl[\frac{2-\alpha }{2C_{0}(3-\alpha )} \biggr]^{\frac{2-q}{2}}>0, \\& \lambda_{4}\triangleq \biggl(\frac{t_{1}^{q}\int_{\mathbb{R}^{3}}f(x)\vert U\vert ^{q}\vert x\vert ^{- \beta }\,dx}{C_{0}q} \biggr)^{\frac{2-q}{q}}>0, \\& \lambda_{5}=\frac{aqS_{\mu ,\beta }^{\frac{q}{2}}(2^{*}(\alpha )-2)}{2\vert f\vert _{ \infty }C_{R_{0},\beta ,q}(2^{*}(\alpha )-q)} \biggl[\frac{a2^{*}( \alpha )S_{\mu ,\alpha }^{\frac{2^{*}(\alpha )}{2}}(2-q)}{2(2^{*}( \alpha )-q)} \biggr]^{\frac{2-q}{2^{*}(\alpha )-2}}>0, \\& \Lambda_{1}\triangleq \max \{\lambda_{1}. \lambda_{2}\}, \\& \Lambda _{2}\triangleq \max \bigl\{ {q \lambda_{1}}/{\sqrt{2(4-\alpha )}},{q\lambda _{2}}/{2}\bigr\} , \end{aligned}$$
and
$$ \Lambda_{*}\triangleq \min \{\Lambda_{1}, \lambda_{3},\lambda_{4}\},\qquad \Lambda_{**} \triangleq \min \{\Lambda_{2},\lambda_{3}, \lambda_{4}\},\qquad \Lambda_{M}\triangleq \min \{ \lambda_{3},\lambda_{4},\lambda_{5} \}, $$
where
\(C_{0}>0\) is given by Lemma
3.3 and
\(t_{1}\in (0,1)\) only depends on
\(\lambda_{3}\).
We are ready to state our first result.
Inspired by the works in [
8,
24,
25], we prefer to study the asymptotic behavior of multiple solutions to (
1.1) because the solutions depend on the parameter
b. By analyzing the convergence property, we establish the following result in this paper.
The outline of this paper is as follows. In Sect.
2, we present some preliminary results. In Sect.
3, we obtain the existence of two local minimax solutions of (
1.1). In Sect.
4, we prove the convergence property on the parameter
\(b>0\).
2 Nehari manifold and fibering map
In this section, we study the so-called Nehari manifold because the variational functional
\(J(u)\) is not bounded from below on
\(D^{1,2}( \mathbb{R}^{3})\). Let us define
$$ \mathcal{N}= \bigl\{ u\in D^{1,2}\bigl(\mathbb{R}^{3}\bigr) \backslash \{0\}: \bigl\langle J^{\prime }(u),u\bigr\rangle =0 \bigr\} , $$
and then any nontrivial solution of (
1.1) belongs to
\(\mathcal{N}\). Obviously,
\(u\in \mathcal{N}\) if and only if
$$ a\Vert u\Vert ^{2}+b\Vert u\Vert ^{4-\alpha }- \int_{\mathbb{R}^{3}}\vert u\vert ^{2^{*}(\alpha )}\vert x\vert ^{-\alpha }\,dx- \lambda \int_{\mathbb{R}^{3}}f(x)\vert u\vert ^{q}\vert x\vert ^{- \beta }\,dx=0 \quad \text{and}\quad u\neq 0. $$
The following lemma tells us the behavior of \(J(u)\) on \(\mathcal{N}\).
The Nehari manifold
\(\mathcal{N}\) is closely linked to the functions
\(\varphi_{u}(t)=J(tu)\) for any
\(t>0\). As we all know, the above maps were introduced by Drábek and Pohozaev [
9] and discussed in Brown and Zhang [
4] (or Chen et al. [
6]). For any
\(u\in D^{1,2}(\mathbb{R}^{3})\), we have
$$\begin{aligned}& \varphi_{u}(t)=\frac{a}{2}t^{2}\Vert u\Vert ^{2}+\frac{b}{4-\alpha }t^{4- \alpha }\Vert u\Vert ^{4-\alpha } -\frac{t^{2^{*}(\alpha )}}{2^{*}(\alpha )} \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}(\alpha )}}{\vert x\vert ^{\alpha }}\,dx -\frac{t ^{q}}{q}\lambda \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{\beta }}\,dx, \\& \varphi_{u}^{\prime }(t)=at\Vert u\Vert ^{2}+bt^{3-\alpha }\Vert u\Vert ^{4-\alpha } - t^{2^{*}(\alpha )-1} \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}(\alpha )}}{\vert x\vert ^{ \alpha }}\,dx - t^{q-1}\lambda \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{ \beta }}\,dx, \\& \varphi_{u}^{\prime \prime }(t)=a\Vert u \Vert ^{2}+b(3-\alpha )t^{2-\alpha } \Vert u\Vert ^{4-\alpha } - \bigl(2^{*}(\alpha )-1 \bigr)t^{2^{*}(\alpha )-2} \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}(\alpha )}}{\vert x\vert ^{\alpha }}\,dx \\& \hphantom{\varphi_{u}^{\prime \prime }(t)=}{}- (q-1)t^{q-2}\lambda \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{ \beta }} \,dx. \end{aligned}$$
It is easy to see that for any
\(u\in D^{1,2}(\mathbb{R}^{3})\backslash \{0\}\) and
\(t>0\) we obtain
$$ t\varphi_{u}^{\prime }(t)=at^{2}\Vert u\Vert ^{2}+bt^{4-\alpha }\Vert u\Vert ^{4- \alpha } - t^{2^{*}(\alpha )} \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}( \alpha )}}{\vert x\vert ^{\alpha }}\,dx - t^{q}\lambda \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{ \beta }}\,dx, $$
which gives that
\(\varphi_{u}^{\prime }(t)=0\) if and only if
\(tu\in \mathcal{N}\). In particular,
\(\varphi_{u}^{\prime }(1)=0\) if and only if
\(u\in \mathcal{N}\). Arguing as Brown and Zhang [
4], we split
\(\mathcal{N}\) into three parts:
$$\begin{aligned}& \mathcal{N}^{+}=\bigl\{ u\in \mathcal{N}: \varphi_{u}^{\prime \prime }(1)>0 \bigr\} , \\& \mathcal{N}^{0}=\bigl\{ u\in \mathcal{N}:\varphi_{u}^{\prime \prime }(1)=0 \bigr\} , \\& \mathcal{N}^{-}=\bigl\{ u\in \mathcal{N}:\varphi_{u}^{\prime \prime }(1)< 0 \bigr\} . \end{aligned}$$
Therefore, for any
\(u\in \mathcal{N}\), we have
$$\begin{aligned} \varphi_{u}^{\prime \prime }(1) &=a\Vert u\Vert ^{2}+b(3-\alpha )\Vert u\Vert ^{4- \alpha }-(5-2\alpha ) \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}(\alpha )}}{\vert x\vert ^{ \alpha }}\,dx-(q-1)\lambda \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{ \beta }}\,dx \\ &=a(2-q)\Vert u\Vert ^{2}+b(4-\alpha -q)\Vert u \Vert ^{4-\alpha }- \bigl(2^{*}(\alpha )-q \bigr) \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}(\alpha )}}{\vert x\vert ^{\alpha }}\,dx \end{aligned}$$
(2.1)
$$\begin{aligned} &=a(2\alpha -4)\Vert u\Vert ^{2}+b(\alpha -2) \Vert u\Vert ^{4-\alpha }+ \bigl(2^{*}( \alpha )-q \bigr)\lambda \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{ \beta }}\,dx. \end{aligned}$$
(2.2)
It is similar to the argument in Brown and Zhang [
4, Theorem 2.3] that we can derive the following result.
Inspired by the above lemma, we will study when \(\mathcal{N}^{0}= \emptyset \) is established.
To find solutions of (
1.1), it is necessary to consider whether
\(\mathcal{N}^{\pm }\) are nonempty.
From Lemma
2.3, we know that
\(\mathcal{N}=\mathcal{N}^{+} \cup \mathcal{N}^{-}\) for any
\(0<\lambda <\Lambda_{1}\triangleq \max \{\lambda_{1},\lambda_{2}\}\). Moreover, by Lemma
2.4 we have
\(\mathcal{N}^{\pm }\neq \emptyset \) and by Lemma
2.1 we may define
$$ m=\inf_{u\in \mathcal{N}}J(u),\qquad m^{+}=\inf _{u\in \mathcal{N}^{+}}J(u),\qquad m^{-}=\inf_{u\in \mathcal{N}^{-}}J(u). $$
Then we have the following result.
3 Proof of Theorem 1.2
In this section, we prove Theorem
1.2. Using Ekeland’s variational principle [
10] and the argument in [
6, Lemma 5.2], we have the following result.
The following lemma provides the interval where the \((PS)\) condition holds for \(J(u)\).
To apply in Lemma
3.2, we have the following result.
Now, we establish the existence of a local minimum for \(J(u)\) on \(\mathcal{N}\).
Next, we establish the existence of a local minimum for \(J(u)\) on \(\mathcal{N}^{-}\).
We are now in a position to complete the proof of Theorem
1.2.
4 Asymptotic behavior as \(b\searrow 0^{+}\)
In this section, we regard
\(b\in (0,1]\) as a parameter in problem (
1.1) and analyze the convergence property. To do it, we have to prove that problem (
1.1) admits at least two nontrivial solutions again. We introduce the following variational functional:
$$ J_{b}(u)=\frac{a}{2}\Vert u\Vert ^{2}+ \frac{b}{4-\alpha }\Vert u\Vert ^{4-\alpha } -\frac{1}{2^{*}( \alpha )} \int_{\mathbb{R}^{3}}\vert u\vert ^{2^{*}(\alpha )}\vert x\vert ^{-\alpha }\,dx-\frac{ \lambda }{q} \int_{\mathbb{R}^{3}}f(x)\vert u\vert ^{q}\vert x\vert ^{-\beta }\,dx $$
to emphasize the independence of
\(b\in (0,1]\).
Now we will verify that the functional \(J_{b}(u)\) exhibits the mountain pass geometry.
By Lemma
4.1 and the mountain pass theorem in [
28], a
\((PS)\) sequence of the functional
\(J(u)\) at the level
$$ c_{b}:=\inf_{\gamma \in \Gamma }\max _{t\in [0,1]}J_{b}\bigl(\gamma (t)\bigr) \geq \delta >0 $$
(4.1)
can be constructed, where the set of paths is defined as
$$ \Gamma_{b}:= \bigl\{ \gamma \in C\bigl([0,1],D^{1,2}\bigl( \mathbb{R}^{3}\bigr)\bigr):\gamma (0)=0, J_{b}\bigl(\gamma (1)\bigr)< 0 \bigr\} . $$
In other words, there exists a sequence
\(\{u_{n}\}\subset D^{1,2}( \mathbb{R}^{3})\) such that
$$ J_{b}(u_{n})\to c_{b},\qquad J_{b}^{\prime }(u_{n})\to 0\quad \text{as } n\to \infty . $$
(4.2)
To obtain a solution with negative energy, we introduce the following lemma.
Now, we establish the existence of multiple solutions of (
1.1).
For
\(b\in (0,1]\), we can obtain two sequences
\(\{u_{b}^{1}\}\) and
\(\{u_{b}^{2}\}\) of solutions of (
1.1) by Proposition
4.4, that is,
$$ J^{\prime }_{b}\bigl(u_{b}^{1} \bigr)=0,\qquad J_{b}\bigl(u_{b}^{1} \bigr)=c_{b}, $$
(4.4)
and
$$ J^{\prime }_{b}\bigl(u_{b}^{2} \bigr)=0,\qquad J_{b}\bigl(u_{b}^{2}\bigr)= \widetilde{c_{b}}, $$
(4.5)
The variational functional corresponding to (
1.6) is given by
$$ J_{0}(u)=\frac{a}{2}\Vert u\Vert ^{2}- \frac{1}{2^{*}(\alpha )} \int_{\mathbb{R}^{3}}\frac{\vert u\vert ^{2^{*}(\alpha )}}{\vert x\vert ^{\alpha }}\,dx -\frac{ \lambda }{q} \int_{\mathbb{R}^{3}}\frac{f(x)\vert u\vert ^{q}}{\vert x\vert ^{\beta }}\,dx $$
which is of class of
\(C^{1}\) due to [
28]. For any
\(b\in (0,1]\), we have
$$\begin{aligned} c^{*}_{\mu ,\alpha } \leq& \frac{a(2-\alpha )}{2(3-\alpha )}S_{\mu , \alpha } \biggl(\frac{S_{\mu ,\alpha }^{\frac{4-\alpha }{2}}+\sqrt{S _{\mu ,\alpha }^{4-\alpha }+4aS_{\mu ,\alpha }}}{2} \biggr)^{\frac{2}{2- \alpha }} \\ &{}+\frac{(2-\alpha )}{2(3-\alpha )(4-\alpha )}S_{\mu ,\alpha }^{\frac{4- \alpha }{2}} \biggl( \frac{S_{\mu ,\alpha }^{\frac{4-\alpha }{2}}+\sqrt{S _{\mu ,\alpha }^{4-\alpha }+4aS_{\mu ,\alpha }}}{2} \biggr) ^{\frac{4- \alpha }{2-\alpha }}\triangleq M_{0}< +\infty , \end{aligned}$$
where
\(M_{0}\) is independent of
b.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.