Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-04T18:31:21.539Z Has data issue: false hasContentIssue false

Multiplicity of positive solutions for a class of nonhomogeneous elliptic equations in the hyperbolic space

Published online by Cambridge University Press:  27 February 2024

Debdip Ganguly
Affiliation:
Department of Mathematics, Indian Institute of Technology Delhi, Hauz Khas New Delhi 110016, India ([email protected], [email protected], [email protected])
Diksha Gupta
Affiliation:
Department of Mathematics, Indian Institute of Technology Delhi, Hauz Khas New Delhi 110016, India ([email protected], [email protected], [email protected])
K. Sreenadh
Affiliation:
Department of Mathematics, Indian Institute of Technology Delhi, Hauz Khas New Delhi 110016, India ([email protected], [email protected], [email protected])
Rights & Permissions [Opens in a new window]

Abstract

The paper is concerned with positive solutions to problems of the type

\[ -\Delta_{\mathbb{B}^{N}} u - \lambda u = a(x) |u|^{p-1}\;u + f \text{ in }\mathbb{B}^{N}, \quad u \in H^{1}{(\mathbb{B}^{N})}, \]
where $\mathbb {B}^N$ denotes the hyperbolic space, $1< p<2^*-1:=\frac {N+2}{N-2}$, $\;\lambda < \frac {(N-1)^2}{4}$, and $f \in H^{-1}(\mathbb {B}^{N})$ ($f \not \equiv 0$) is a non-negative functional. The potential $a\in L^\infty (\mathbb {B}^N)$ is assumed to be strictly positive, such that $\lim _{d(x, 0) \rightarrow \infty } a(x) \rightarrow 1,$ where $d(x,\, 0)$ denotes the geodesic distance. First, the existence of three positive solutions is proved under the assumption that $a(x) \leq 1$. Then the case $a(x) \geq 1$ is considered, and the existence of two positive solutions is proved. In both cases, it is assumed that $\mu ( \{ x : a(x) \neq 1\}) > 0.$ Subsequently, we establish the existence of two positive solutions for $a(x) \equiv 1$ and prove asymptotic estimates for positive solutions using barrier-type arguments. The proofs for existence combine variational arguments, key energy estimates involving hyperbolic bubbles.

Type
Research Article
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
Copyright © The Author(s), 2024. Published by Cambridge University Press on behalf of The Royal Society of Edinburgh

1. Introduction

In this paper, we aim to study the existence, multiplicity, and asymptotic estimates of solutions to the following elliptic problem on the hyperbolic space $\mathbb {B}^{N}$

(𝒫)\begin{equation}\left.\begin{aligned} -\Delta_{\mathbb{B}^{N}} u- \lambda u & =a(x)|u|^{p-1} u+f(x) \text{ in } \mathbb{B}^{N},\\ u & >0 \;\text{ in } \mathbb{B}^{N}, \\ u & \in H^{1}\left(\mathbb{B}^{N} \right), \end{aligned}\right\} \end{equation}

where $1< p<2^*-1:=\frac {N+2}{N-2}$, if $N \geqslant 3; 1< p<+\infty$, if $N = 2,\,\;\lambda < \frac {(N-1)^2}{4},$ $H^{1}(\mathbb {B}^{N})$ denotes the Sobolev space on the disc model of the hyperbolic space $\mathbb {B}^{N},$ $\Delta _{\mathbb {B}^{N}}$ denotes the Laplace–Beltrami operator on $\mathbb {B}^{N},$ $\frac {(N-1)^2}{4}$ being the bottom of the $L^2-$ spectrum of $-\Delta _{\mathbb {B}^{N}},$ and $a(x) \in L^{\infty }(\mathbb {B}^{N}).$ Further, $0< a \in L^{\infty }(\mathbb {B}^{N}),$ and $0 \not \equiv f \in H^{-1}(\mathbb {B}^{N})$ is a non-negative functional i.e., $f(u) \geq 0$ whenever $u \geq 0$. Let us postpone the discussion on the technical assumptions of function $a(x)$ for a while.

If the hyperbolic space $\mathbb {B}^{N}$ is replaced with the Euclidean space $\mathbb {R}^N,$ i.e., when the equation ($\mathcal {P}$) is posed on $\mathbb {R}^N$ with $f \equiv 0,$ has been investigated widely in the last few decades, and several seminal results have been obtained, we name a few, e.g., [Reference Bahri and Li4, Reference Bahri. A and Lions5, Reference Berestycki and Lions7, Reference Berestycki and Lions8, Reference Ding and Ni18, Reference Lions24, Reference Lions25], and this list is far from being complete. The difficulty in treating this problem arises because the domain $\mathbb {R}^N$ is unbounded, and standard variational methods would fail due to the lack of compactness of Sobolev embedding even in the subcritical regime. So to tackle such issues, several authors have introduced new tools, particularly the papers mentioned above. Firstly, the existence of Ground state is established by using delicate energy estimates and carefully analysing the breaking levels of Palais-Smale sequences (see [Reference Bahri and Li4]); we also refer to [Reference Cerami13] for a comprehensive treatment of the problem in the last thirty years. Then onwards, the question of the multiplicity of solutions came into prominence for slightly modified problems in the Euclidean space $\mathbb {R}^N,$

(𝓔𝒫)\begin{equation} \left.\begin{aligned} -\Delta u + a(x) u & = |u|^{p-1} u \text{ in } \mathbb{R}^{N},\\ u & \in H^{1}\left(\mathbb{R}^{N} \right), \end{aligned}\right\} \end{equation}

where the potential $a(x) \rightarrow a_{\infty } > 0$ as $|x| \rightarrow \infty.$ Under the radially symmetric assumption on $a(x),$ existence of infinitely many solutions was obtained by Berestycki–Lions in [Reference Berestycki and Lions8]. Moreover, the question is even more interesting when the symmetric assumption on the potential $a(x)$ is dropped. However, considerable progress has also been made in the case in which $a(x)$ is not radially symmetric. The existence of infinitely many positive solutions is obtained in [Reference Cerami, Passaseo and Solimini14]. Also, see [Reference Cerami15Reference Clapp and Weth17, Reference Malchiodi28, Reference Molle, Musso and Passaseo31].

Adachi–Tanaka [Reference Adachi and Tanaka2] considered Eq. ($\mathcal {P}$) in the whole Euclidean space, with $\lambda = -1$, and studied the multiplicity results. In fact, the problem ($\mathcal {P}$) is considered as a perturbation of the classical scalar field equation. From the mathematical point of view, it is natural to ask whether the problem ($\mathcal {P}$) admits a positive solution and if yes, then its multiplicity/uniqueness, i.e., whether the positive solutions are stable after the perturbation of type ($\mathcal {P}$) is studied. These questions were quite comprehensively studied by Adachi–Tanaka [Reference Adachi and Tanaka2]. Also, refer to [Reference Adachi1, Reference Adachi and Tanaka3]. In [Reference Adachi and Tanaka2], the existence of four solutions has been obtained under the hypothesis $({\mathbf {A}_1})$ below. Moreover, in [Reference Cao and Zhou12, Reference Jeanjean22], the existence of two positive solutions is established when the potential $a$ satisfies $({\mathbf {A}_2})$, and $f \not \equiv 0$ (but small). Although, the cases $({\mathbf {A}_1})$ and $({\mathbf {A}_2})$ do not cover the case $a(x) \equiv 1,$ Zhu treated this case in [Reference Zhu34], where he proved existence of two positive solutions. The papers mentioned above employ topological arguments, like the Lusternik–Schnirelmn (L-S) category and the min–max arguments, to obtain their multiplicity results. But for such arguments to work, precise energy estimates of solutions to the ‘limiting problem’ are required so that we are away from the critical level (breaking level) of the Palais–Smale sequences. By the ‘limiting problem,’ we mean the following problem

(1.1)\begin{equation} -\Delta_{\mathbb{R}^N}u + \, u = \, u^p \quad \mbox{in} \ \mathbb{R}^N, \quad u \in H^{1}(\mathbb{R}^N), \quad u > 0 \quad \mbox{in} \ \mathbb{R}^N. \end{equation}

It is well-known that the above problem admits unique radially symmetric solutions $W \in C^{\infty }(\mathbb {R}^N)$ up to translations. Furthermore, it satisfies

\[ W(x) \sim |x|^{\frac{-(N-1)}{2}} \, e^{-|x|} \quad \mbox{as} \ |x| \rightarrow \infty. \]

In particular, $W \in L^{p}(\mathbb {R}^N)$ for all $p \geq 1.$ As described, the energy estimates in the papers mentioned earlier were involved with integrals of $W$, and this decay estimate plays a pivotal role in it.

Now coming back to our problem ($\mathcal {P}$) in the hyperbolic space setting, even if it seems that the equation is a generalization of problems in the Euclidean space, it has many fascinating phenomena. Let us start with the seminal result of Sandeep–Mancini [Reference Mancini and Sandeep29], where the author showed the existence/uniqueness of positive solutions to the problem

(1.2)\begin{equation} -\Delta_{\mathbb{B}^{N}} u - \, \lambda u = \, |u|^{p-1}u, \quad u \in H^{1}\left(\mathbb{B}^{N}\right), \end{equation}

where $\lambda \leq \frac {(N-1)^2}{4},$ $1 < p \leq \frac {N+2}{N-2}$ if $N \geq 3;$ $1 < p < \infty$ if $N=2.$ They established in the subcritical case, i.e., $p > 1$ if $N =2$ and $1 < p < 2^{\star } -1$ if $N \geq 3,$ the problem (1.2) has a positive solution if and only if $\lambda < \frac {(N-1)^2}{4}.$ These positive solutions are also shown to be radially symmetric with respect to some point and unique up to hyperbolic isometries, except possibly for $N =2$ and $\lambda > \frac {2(p+1)}{(p+3)^2}.$ Furthermore, the radially symmetric solution $\mathcal {V}$ satisfies the following asymptotic estimates

\[ \lim_{r \rightarrow \infty} \dfrac{\log \mathcal{V}^2}{r} ={-}{(N-1) + \sqrt{(N-1)^2 - 4 \lambda}}, \]

where $r:= d(x,\, 0)$ denotes the geodesic distance (we refer § 2 for more details).

It is worth mentioning that when $p = 2^*-1$, and $a(x) \equiv 1,$ (1.2) is a natural generalization of the widely recognized Brezis-Nirenberg problem [Reference Brezis and Nirenberg11] in the hyperbolic space. In turn, it is possible to regard the problem ($\mathcal {P}$) addressed in this article as an extension of a generalized version of the Brezis-Nirenberg problem. Moreover, the authors in [Reference Mancini and Sandeep29] discovered that (1.2) naturally arises when studying the Euler-Lagrange equations that correspond to the Hardy–Sobolev-Maz'ya (HSM) inequalities. They derived a sharp Poincaré–Sobolev inequality in the hyperbolic space (2.3) via the HSM inequality [Reference Maz'ja30] involving first-order derivatives. In the recent past, this equivalence has sparked the curiosity of mathematicians to explore analogous HSM inequalities for higher-order derivatives (see [Reference Lu and Yang26, Reference Lu and Yang27]). The authors in [Reference Li, Lu and Yan23] have thereafter studied the existence, nonexistence, and symmetry of solutions to the higher-order Brezis–Nirenberg problem in the hyperbolic space. The work of the authors highlighted above relies on highly involved estimations of Green's functions for the kernels of powers of fractional Laplacian and the Helgason–Fourier analysis, as well as the Hardy–Littlewood–Sobolev inequality on the hyperbolic space. Concerning the multiplicity of (1.2), the existence of infinitely many radial sign-changing solutions, compactness, and non-degeneracy was studied in ([Reference Bhakta and Sandeep9, Reference Ganguly and Sandeep19, Reference Ganguly and Sandeep20]). We also refer [Reference Berchio, Ferrero and Grillo6, Reference Bonforte, Gazzola, Grillo and Vazquez10] for existence, asymptotics of non-finite energy solutions. In this article, we are interested in whether the positive solutions still exist under the perturbation of type ($\mathcal {P}$). If it exists, then study its asymptotic estimates and multiplicity. In our previous article [Reference Ganguly, Gupta and Sreenadh21], we showed the existence of a positive solution with high energy when $f \equiv 0.$ Here we considered a multiplicity of solutions along the lines of previous authors. As one anticipates, we follow the topological /variational arguments to obtain multiple solutions. Still, the major hurdle lies in the energy estimates involving solutions to (1.2) since one could see easily that $\mathcal {V} \notin L^{p}(\mathbb {B}^{N})$ for $p \in [1,\,2) .$ This step is quite delicately handled in § 6. Moreover, we also studied asymptotic estimates of solutions to ($\mathcal{P}$) for $a(x) \equiv 1$ and $f$ satisfies some decay estimates. Indeed the ode approach won't work in this case, as apriori $f$ is not given to be a radial function, and hence we tackle this problem using the barrier argument (See § 5).

Now let us describe all the necessary assumptions before stating our main theorems. We investigate the solutions of ($\mathcal {P}$) under the following cases separately:

\begin{align*} \left(\mathbf{A}_{1}\right):& \;\; a(x) \in(0,1]\;\; \forall x \in \mathbb{B}^{N}, \;\; \mu( \{ x : a(x) \neq 1\}) > 0, \;\; \inf_{x \in \mathbb{B}^{N}} a(x) > 0,\text{ and } \\ & a(x) \rightarrow 1 \text{ as } d(x,0) \rightarrow \infty,\ \mbox{where} \ \mu \text{ denotes the hyperbolic measure}.\\ \left(\mathbf{A}_{2}\right):& \;\;a(x) \geq 1\;\;\forall x \in \mathbb{B}^{N},\;\;\mu( \{ x : a(x) \neq 1\}) > 0, \;\; a \in L^{\infty}(\mathbb{B}^{N}) \text{ and } a(x) \rightarrow 1 \\ & \text{ as }d(x,0) \rightarrow \infty.\\ \left(\mathbf{A}_{3}\right): & \;\; a(x) \equiv 1 \;\; \forall x \in \mathbb{B}^{N}. \end{align*}

Further, let us prescribe an assumption on the parameter $\lambda :$

(1.3)\begin{equation} \lambda \in \begin{cases} \left( -\infty, \frac{2(p+1)}{(p+3)^2}\right], & N=2, \\ \left(-\infty, \frac{(N-1)^2}{4} \right), & N\ge 3.\end{cases} \end{equation}

We are now in a position to state this article's main theorems. Let us begin with the Adachi–Tanaka [Reference Adachi and Tanaka2] type result in the hyperbolic space setting :

Theorem 1.1 Let $a \in C(\mathbb {B}^{N})$ satisfies $(\mathbf {A}_{1}).$ In addition, assume that $a$ also satisfies

(1.4)\begin{equation} a(x) \geqslant 1 -\operatorname{C \, \exp}(-\delta \, d(x,0)) \quad \forall x \in \mathbb{B}^{N}, \end{equation}

for some positive constants $C$ and $\delta.$ Then there exists $\delta _{0}>0$ such that the equation ($\mathcal {P}$) has at least three positive solutions for any non-negative $f \in H^{-1}(\mathbb {B}^{N})$ with $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq \delta _{0}$ and for $\lambda$ satisfying (1.3).

Remark 1.2 In contrast with Adachi–Tanaka [Reference Adachi and Tanaka2], here we obtain the existence of at least three solutions instead of four. This is purely a technical reason for not getting the fourth solution, which can be attributed to the new energy estimates phenomenon in the hyperbolic space.

Next, we assume $a(x) \geq 1,$ and we prove the following result :

Theorem 1.3 Let $a$ satisfies $(\mathbf {A}_{2}),\, 0 \not \equiv f \in H^{-1}(\mathbb {B}^{N})$ is a non-negative functional and $S_{1,\lambda }$ be defined as in (3.10). Furthermore, if

\[ \|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}< C_{p} S_{1,\lambda}^{\frac{p+1}{2(p-1)}} \text{ where } C_{p}:=\left(p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\right)^{-\frac{1}{p-1}}\left(\frac{p-1}{p}\right). \]

Then ($\mathcal {P}$) admits at least two positive solutions for $\lambda$ satisfying (1.3).

Further, if $a$ satisfies $(\mathbf {A}_{3})$, i.e., ($\mathcal {P}$) becomes the following

(𝒫)\begin{equation} \left.\begin{aligned} -\Delta_{\mathbb{B}^{N}} u- \lambda u & =|u|^{p-1} u+f(x) \text{ in } \mathbb{B}^{N},\\ u & >0 \text{ in } \mathbb{B}^{N}, \\ u & \in H^{1}\left(\mathbb{B}^{N} \right), \end{aligned}\right\} \end{equation}

where all the notations are the same as for the problem ($\mathcal {P}$) then we have the following theorem.

Theorem 1.4 Assume that $a$ satisfies $(\mathbf {A}_{3})$. Then there exists $\delta _{0}^{'}>0$ such that the problem (𝒫) has at least two positive solutions any non-negative $f \in H^{-1}(\mathbb {B}^{N})$ with $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq \delta _{0}^{'}$ and for $\lambda$ satisfying (1.3).

The paper is organized as follows: In § 2, we introduce some of the notations, geometric definitions, and preliminaries concerning the hyperbolic space. Section 3 describes the energy functional, setting up the problem, and associated auxiliary lemmas involving functionals. In § 4, we state and prove the Palais-Smale decomposition theorem as Proposition 4.1 and 4.2. Whereas in § 5, we obtain asymptotic estimates for the solution of (𝒫) S 6 is devoted to the key energy estimates involving the solutions of (1.2). The proof of Theorem 1.1 and Theorem 1.3 are given in § 7. Finally, § 8 is devoted to the proof of Theorem 1.4.

2. Preliminaries

In this section, we will introduce some of the notations and definitions used in this paper and also recall some of the embeddings related to the Sobolev space on the hyperbolic space. We will denote by $\mathbb {B}^{N}$ the disc model of the hyperbolic space, i.e., the unit disc equipped with the Riemannian metric $g_{\mathbb {B}^{N}} := \sum _{i=1}^N (\frac {2}{1-|x|^2})^2 \, \textrm {d}x_i^2$. To simplify our notations, we will denote $g_{\mathbb {B}^{N}}$ by $g$. The corresponding volume element is given by $\mathrm {~d} V_{\mathbb {B}^{N}} = (\frac {2}{1-|x|^2})^N \textrm {d}x,\,$ where $\textrm {d}x$ denotes the Lebesgue measure on $\mathbb {R}^{N}$. Hyperbolic distance on $\mathbb {B}^{N}$. The hyperbolic distance between two points $x$ and $y$ in $\mathbb {B}^{N}$ will be denoted by $d(x,\, y).$ For the hyperbolic distance between $x$ and the origin we write

\[ \rho := \, d(x, 0) = \int_{0}^{r} \frac{2}{1 - s^2} \, {\rm d}s = \, \log \frac{1 + r}{1 - r}, \]

where $r = |x|$, which in turn implies that $r = \tanh \frac {\rho }{2}.$ Moreover, the hyperbolic distance between $x,\, y \in \mathbb {B}^{N}$ is given by

\[ d(x, y) = \cosh^{{-}1} \left( 1 + \dfrac{2|x - y|^2}{(1 - |x|^2)(1 - |y|^2)} \right). \]

It easily follows that a subset $S$ of $\mathbb {B}^{N}$ is a hyperbolic sphere in $\mathbb {B}^{N}$ if and only if $S$ is a Euclidean sphere in $\mathbb {R}^N$ and contained in $\mathbb {B}^{N}$, probably with a different centre and different radius, which can be computed. Geodesic balls in $\mathbb {B}^{N}$ of radius $a$ centred at the origin will be denoted by

\[ B(0, a) : = \{ x \in \mathbb{B}^{N} : d(x, 0) < a \}. \]

We also need some information on the isometries of $\mathbb {B}^{N}$. Below we recall the definition of a particular type of isometry, namely the hyperbolic translation. For more details on the isometry group of $\mathbb {B}^{N}$, we refer to [Reference Ratcliffe32].

Hyperbolic translation. For $b \in \mathbb {B}^{N},$ define

(2.1)\begin{equation} \tau_b(x) = \dfrac{(1 - |b|^2)x + (|x|^2 + 2x.b + 1)b}{|b|^2 |x|^2 + 2x.b + 1}, \end{equation}

then $\tau _b$ is an isometry of $\mathbb {B}^{N}$ with $\tau _b(0) = b.$ The map $\tau _b$ is called the hyperbolic translation of $\mathbb {B}^{N}$ by $b.$ It can also be seen that $\tau _{-b} = \tau _b^{-1}.$

The hyperbolic gradient $\nabla _{\mathbb {B}^{N}}$ and the hyperbolic Laplacian $\Delta _{\mathbb {B}^{N}}$ are given by

\[ \nabla_{\mathbb{B}^{N}}=\left(\frac{1-|x|^2}{2}\right)^2\nabla,\quad \Delta_{\mathbb{B}^{N}}=\left(\frac{1-|x|^2}{2}\right)^2\Delta + (N-2)\frac{1 - |x|^2}{2} \, \langle x, \nabla \,\rangle. \]

Laplace–Beltrami operator on $\mathbb {B}^{N}$. It is well known that the $N$-dimensional hyperbolic space $\mathbb {B}^{N}$ admits a polar coordinate decomposition structure. Namely, for $x\in \mathbb {B}^{N}$ we can write $x=(r,\, \Theta )=(r,\, \theta _{1},\,\ldots,\, \theta _{N-1})\in (0,\,\infty )\times \mathbb {S}^{N-1}$, where $r$ denotes the geodesic distance between the point $x$ and a fixed pole $0$ in $\mathbb {B}^{N}$ and $\mathbb {S}^{N-1}$ is the unit sphere in the $N$-dimensional euclidean space $\mathbb {R}^N$. Recall that the Riemannian Laplacian of a scalar function $u$ on $\mathbb {B}^{N}$ is given by

(2.2)\begin{equation} \Delta_{\mathbb{B}^{N}} u (r, \Theta) = \frac{1}{(\sinh r)^{N-1}} \frac{\partial}{\partial r} \left[ (\sinh r)^{N-1} \frac{\partial u}{\partial r}(r, \Theta) \right] \ + \frac{1}{\sinh^2 r} \Delta_{\mathbb{S}^{N-1}} u(r, \Theta), \end{equation}

where $\Delta _{\mathbb {S}^{N-1}}$ is the Riemannian Laplacian on the unit sphere $\mathbb {S}^{N-1}$.

A sharp Poincaré-Sobolev inequality. (see [Reference Mancini and Sandeep29])

We will denote by ${H^{1}}(\mathbb {B}^{N})$ the Sobolev space on the disc model of the hyperbolic space $\mathbb {B}^{N}$, equipped with norm $\|u\|=(\int _{\mathbb {B}^N} |\nabla _{\mathbb {B}^{N}} u|^{2})^{\frac {1}{2}},$ where $|\nabla _{\mathbb {B}^{N}} u|$ is given by $|\nabla _{\mathbb {B}^{N}} u| := \langle \nabla _{\mathbb {B}^{N}} u,\, \nabla _{\mathbb {B}^{N}} u \rangle ^{\frac {1}{2}}_{\mathbb {B}^{N}} .$

For $N \geq 3$ and every $p \in (1,\, \frac {N+2}{N-2} ]$ there exists an optimal constant $S_{N,p} > 0$ such that

(2.3)\begin{equation} S_{N,p} \left( \int_{\mathbb{B}^{N}} |u|^{p + 1} \mathrm{~d} V_{\mathbb{B}^{N}} \right)^{\frac{2}{p + 1}} \leq \int_{\mathbb{B}^N} \left[|\nabla_{\mathbb{B}^{N}} u|^{2} - \frac{(N-1)^2}{4} u^{2}\right] \, \mathrm{~d} V_{\mathbb{B}^{N}}, \end{equation}

for every $u \in C^{\infty }_{0}(\mathbb {B}^{N}).$ If $N = 2$, then any $p > 1$ is allowed.

A basic information is that the bottom of the spectrum of $- \Delta _{\mathbb {B}^{N}}$ on $\mathbb {B}^{N}$ is

(2.4)\begin{equation} \frac{(N-1)^2}{4} = \inf_{u \in H^{1}(\mathbb{B}^{N})\setminus \{ 0 \}} \dfrac{\int_{\mathbb{B}^{N}}|\nabla_{\mathbb{B}^{N}} u|^2 \, \mathrm{~d} V_{\mathbb{B}^{N}} }{\int_{\mathbb{B}^{N}} |u|^2 \, \mathrm{~d} V_{\mathbb{B}^{N}}}. \end{equation}

Remark 2.1 A consequence of (2.4) is that if $\lambda < \frac {(N-1)^2}{4},$ then

\[ ||u||_{H_{\lambda}} := ||u||_{\lambda} := \left[ \int_{\mathbb{B}^{N}} \left( |\nabla_{\mathbb{B}^{N}} u|^2 - \lambda \, u^2 \right) \, \mathrm{~d} V_{\mathbb{B}^{N}} \right]^{\frac{1}{2}}, \quad u \in C_c^{\infty}(\mathbb{B}^{N}) \]

is a norm, equivalent to the $H^1(\mathbb {B}^{N})$ norm and the corresponding inner product is given by $\langle u,\, v\rangle _{H_{\lambda }}.$

3. Energy functional and preliminary lemmas

3.1. Unperturbed equation

First, let us recall the asymptotic estimates of positive solutions to the following homogeneous problem

(3.1)\begin{equation} -\Delta_{\mathbb{B}^{N}} w-\lambda w=|w|^{p-1} w, \; w>0\; \text{ in } \mathbb{B}^{N}, w \in H^{1}\left(\mathbb{B}^{N}\right). \end{equation}

Then by elliptic regularity, any solution, $w\in H^1(\mathbb {B}^{N}),$ is also in $C^\infty$ and satisfies the decay property (See [Reference Mancini and Sandeep29, Lemma 3.4]): for every $\varepsilon > 0,$ there exist positive constants $C_1^{\varepsilon }$ and $C_2^{\varepsilon }$ such that there holds

(3.2)\begin{equation} C_1^{\varepsilon} {\text{e}}^{-(c(N,\lambda) + \varepsilon) \, d(x,0)} \leq w(x) \leq C_2^{\varepsilon} {\text{e}}^{-(c(N,\lambda) - \varepsilon) \, d(x,0)}, \quad \hbox{for all} \ x \in \mathbb{B}^{N}, \end{equation}

where $c(N,\, \lambda ) = \frac {1}{2} (N-1+\sqrt {(N-1)^{2}-4 \lambda }).$

3.2. Energy functional

For given $a(x)$ and $f(x)$, we define $I_{\lambda,a, f}(u): H^{1}(\mathbb {B}^{N}) \rightarrow \mathbb {R}$ by

(3.3)\begin{equation} I_{\lambda,a, f}(u)=\frac{1}{2}\|u\|_{H_{\lambda}}^{2}-\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x) u_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) -\int_{\mathbb{B}^{N}} f(x) u(x) \mathrm{~d} V_{\mathbb{B}^{N}}(x)\end{equation}

It is obvious that if $u$ is a critical point of $I_{\lambda, a, f}$, then $u$ is the solution to the following problem

(3.4)\begin{equation} \begin{aligned} -\Delta_{\mathbb{B}^{N}} u- \lambda u & =a(x)u_+^{p}+f(x) \text{ in } \mathbb{B}^{N}, \\ u & \in H^{1}\left(\mathbb{B}^{N}\right). \end{aligned} \end{equation}

Remark 3.1 If we take $v=u_{-}$ as a test function in (3.4) where $u$ is a weak solution of (3.4) and $f$ is a non-negative functional, we obtain $u_{-}=0$, i.e., $u \geq 0$. Thus $u>0$ follows from the maximum principle, and hence $u$ is a solution to ($\mathcal {P}$).

Define

(3.5)\begin{equation} J_{\lambda, a, f}(v)=\max _{t>0} I_{\lambda,a, f}(t v): \tilde\Sigma_+ \rightarrow \mathbb{R},\end{equation}

where

\begin{align*} & \Sigma :=\left\{v \in H^{1}\left(\mathbb{B}^{N}\right) ;\;\|v\|_{H_{\lambda}}=1\right\}, \\ & \tilde{\Sigma}_+:=\left\{v \in \Sigma:\; v_+ \not \equiv 0\right\}. \end{align*}

In the subsequent sections, we will establish that the positive solutions of ($\mathcal {P}$) correspond to the critical points of $I_{\lambda, a, f}(u): H^{1}(\mathbb {B}^{N}) \rightarrow \mathbb {R}$ or $J_{\lambda, a, f}(v)$ : $\tilde \Sigma _+ \rightarrow \mathbb {R}$. To this end we set

\begin{align*} & \underline{\mathrm{a}} :=\inf _{x \in \mathbb{B}^{N}} a(x)>0, \\ & \bar{a} :=\sup _{x \in \mathbb{B}^{N}} a(x) =1 . \end{align*}

Using the definition of $J_{\lambda,a, f},$ and carrying out some easy calculations we obtain

(3.6)\begin{align} J_{\lambda,a, 0}(v)& =I_{\lambda,a, 0}\left(\left(\int_{\mathbb{B}^{N}} a(x) v_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\right)^{-\frac{1}{p-1}} v\right) \nonumber\\ & =\left(\frac{1}{2}-\frac{1}{p+1}\right)\left(\int_{\mathbb{B}^{N}} a(x) v_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\right)^{-\frac{2}{p-1}}. \end{align}

Therefore

\[ \bar{a}^{-\frac{2}{p-1}} J_{\lambda, 1,0}(v) = J_{\lambda,\bar{a}, 0}(v) \leq J_{\lambda,a, 0}(v) \leq J_{\lambda,\underline{\mathrm{a}}, 0}(v)=\underline{\mathrm{a}}^{-\frac{2}{p-1}} J_{\lambda,1,0}(v). \]

Further, since $w$ is the unique radial solution of (3.1), we have

(3.7)\begin{equation} \max _{t\in [0,1]} I_{\lambda,1,0}(t w)=I_{\lambda,1,0}(w).\end{equation}

Moreover,

(3.8)\begin{equation} \bar{a}^{-\frac{2}{p-1}} I_{\lambda,1,0}(w) \leq \inf _{v \in \tilde{\Sigma}_+} J_{\lambda,a, 0}(v) \leq \underline{\mathrm{a}}^{-\frac{2}{p-1}} I_{\lambda,1,0}(w) . \quad \end{equation}

We define the functionals $J,\, J_\infty : H^1(\mathbb {B}^{N})\rightarrow \mathbb {R}$ as

(3.9)\begin{equation} J(u):=\frac{\|u\|_{\lambda}^{2}}{\left(\int_{\mathbb{B}^{N}} a(x)|u(x)|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\right)^{\frac{2}{p+1}}}, \quad J_{\infty}(u):=\frac{\|u\|_{\lambda}^{2}}{\left(\int_{\mathbb{B}^{N}}|u(x)|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\right)^{\frac{2}{p+1}}} \\ \end{equation}

and the energy levels

(3.10)\begin{equation} S_{1, \lambda}:=\inf _{u \in H^{1}\left(\mathbb{B}^{N}\right) \backslash\{0\}} J_{\infty}(u), \quad S_{m, \lambda}:=m^{\frac{p-1}{p+1}} S_{1, \lambda}, \quad m=2,3,4, \cdots \end{equation}

3.3. Auxliary Lemmas

We require the following auxiliary lemmas to prove Theorem 1.1.

The subsequent lemmas give us the inequalities involving $I_{\lambda,a, f}\;(J_{\lambda,a, f})$ and $I_{\lambda,a(\varepsilon ),0}\;(J_{\lambda,a(\varepsilon ),0})$ for $\varepsilon \in (0,\,1).$

Lemma 3.2

  1. (i) The following inequality holds for $u \in H^{1}(\mathbb {B}^{N})$ and $\varepsilon \in (0,\,1)$

    (3.11)\begin{align} & (1-\varepsilon) I_{\lambda,\frac{a}{1-\varepsilon}, 0}(u)-\frac{1}{2 \varepsilon}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2} \leq I_{\lambda,a, f}(u)\nonumber\\ & \quad \leq(1+\varepsilon) I_{\lambda,\frac{a}{1+\varepsilon}, 0}(u)+\frac{1}{2 \varepsilon}\left\|f\right\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2} .\end{align}
  2. (ii) Suppose $v \in \tilde {\Sigma }_+$and $\varepsilon \in (0,\,1)$. Then there holds

    (3.12)\begin{align} & (1-\varepsilon)^{\frac{p+1}{p-1}} J_{\lambda,a, 0}(v)-\frac{1}{2 \varepsilon}\|f\|_{ H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2} \leq J_{\lambda,a, f}(v)\nonumber\\ & \quad \leq(1+\varepsilon)^{\frac{p+1}{p-1}} J_{\lambda,a, 0}(v)+\frac{1}{2 \varepsilon}\left\|f\right\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2}. \end{align}
  3. (iii) In particular, there exists $d_{0}>0$ such that if $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{0}$, then,

    \[ \inf _{v \in \tilde{\Sigma}_+} J_{\lambda,a, f}(v)>0 . \]

In the next lemma, for $v \in \tilde {\Sigma }_+$, we analyse the function $\tilde {g}(t):[0,\, \infty ) \rightarrow \mathbb {R}$ defined by

\[ \tilde{g}(t) := I_{\lambda,a, f}(t v). \]

Lemma 3.3

  1. (i) The function $\tilde {g}$ has at most two critical points in $[0,\, \infty )$ for every $v \in \tilde {\Sigma }_+$.

  2. (ii) If $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{0}(d_{0}$ as chosen in Lemma 3.2), then for any $v \in \tilde {\Sigma }_+$, there exists a unique $t_{a, f}(v)>0$ such that $I_{\lambda,a, f}(t_{a, f}(v) v)=J_{\lambda,a, f}(v)$, where $J_{\lambda,a, f}$ is defined as in (3.6). Moreover, $t_{a, f}(v)>0$ satisfies

    (3.13)\begin{equation} t_{a, f}(v)>\left(p \int_{\mathbb{B}^{N}} a(x) v_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\right)^{-\frac{1}{p-1}} \geq\left(p S_{1,\lambda}^{-\frac{(p+1)}{2}}\right)^{-\frac{1}{p-1}}. \end{equation}
    Additionally, we also have
    (3.14)\begin{equation} I_{\lambda,a, f}^{\prime \prime}\left(t_{a, f}(v) v\right)(v, v)<0. \end{equation}
  3. (iii) Any critical point of $\tilde {g}$ distinct from $t_{a, f}(v)$ lies in $[0,\,(1-\frac {1}{p})^{-1}\|f\|_{H^{-1}(\mathbb {B}^{N})}]$.

We omit the details of the proof of the above two lemmas. They can be proved exactly in the spirit of [Reference Adachi and Tanaka2]. The following proposition characterises all the critical points of the functional $I_{\lambda, a, f}$ in terms of the functional $J_{\lambda, a, f}$.

Proposition 3.4 Assume $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{2}$ where $d_{2}=\min \left \{d_{1},\,(1-\frac {1}{p}) r_{1}\right \}>0$ and $d_{1},\, r_{1}$ as chosen in Proposition 7.1. Then the following holds

  1. (i) $J_{\lambda,a, f} \in C^{1}(\tilde {\Sigma }_+,\, \mathbb {R})$ and

    (3.15)\begin{equation} J_{\lambda,a, f}^{\prime}(v) h=t_{a, f}(v) I_{\lambda,a, f}^{\prime}\left(t_{a, f}(v) v\right) h, \end{equation}
    for all $h \in T_{v} \tilde {\Sigma }_+=\left \{h \in H^{1}(\mathbb {B}^{N}) \mid \langle h,\, v\rangle _{H_{\lambda }}=0\right \}$.
  2. (ii) $v \in \tilde {\Sigma }_+$is a critical point of $J_{\lambda,a, f}(v)$ iff $t_{a, f}(v) v \in H^{1}(\mathbb {B}^{N})$ is a critical point of $I_{\lambda,a, f}(u)$.

  3. (iii) In addition, the set containing all the critical points of $I_{\lambda,a, f}(u)$ can be written as

    (3.16)\begin{equation} \left\{t_{a, f}(v) v \mid v \in \tilde{\Sigma}_+, J_{\lambda,a, f}^{\prime}(v)=0\right\} \cup\left\{\mathcal{U}_{a, f} (x)\right\}, \end{equation}
    where $\mathcal {U}_{a, f}$ is a critical point of $I_{\lambda, a, f}$ obtained in Proposition 7.1.

Proof. We skip the proof for brevity. The proof can be concluded with the necessary modifications for the hyperbolic space. For details, we refer [Reference Adachi and Tanaka2].

4. Palais–Smale Characterization

In this section, we study the Palais–Smale sequences (PS sequences) corresponding to the problem ($\mathcal {P}$). We say a sequence $u_{n} \in H^{1}(\mathbb {B}^{N})$ is a Palais-Smale sequence for $I_{\lambda,a,f}$ at a level $d$ if $I_{\lambda,a,f}(u_{n}) \rightarrow d$ and $I_{\lambda,a,f}^{\prime }(u_{n}) \rightarrow 0$ in $H^{-1}(\mathbb {B}^{N}) .$ One can easily see that PS sequences are bounded. Throughout this section, we assume $a(x) \rightarrow 1$ as $d(x,\,0) \rightarrow \infty.$

In the subsequent propositions, we examine the Palais-Smale condition for $I_{\lambda,a, f}(u)$ and $J_{\lambda,a, f}(v)$. In particular, we prove the following proposition :

Proposition 4.1 Assume $0< a \in L^{\infty }(\mathbb {B}^{N}),\, a(x) \rightarrow 1$ as $d(x,\,0) \rightarrow \infty$ and $0 \not \equiv f \in H^{-1}(\mathbb {B}^{N})$ is a non-negative functional and suppose that a sequence $\left \{u_{j}\right \}_{j=1}^{\infty } \subset H^{1}(\mathbb {B}^{N})$ satisfies

\begin{align*} & I_{\lambda,a, f}^{\prime}\left(u_{j}\right) \rightarrow 0 \quad \text{ in } H^{{-}1}\left(\mathbb{B}^{N}\right), \\ & I_{\lambda,a, f}\left(u_{j}\right) \rightarrow c \in \mathbb{R} \end{align*}

as $j \rightarrow \infty$. Then there exists a subsequence—still denoted by $\left \{u_{j}\right \}_{j=1}^{\infty }$, a critical point $u_{0}(x)$ of $I_{\lambda,a, f}(u)$, an integer $\ell \in \mathbb {N} \cup \{0\}$, and $\ell$ sequences of points $\left \{y_{j}^{1}\right \}_{j=1}^{\infty },\, \ldots,\,\left \{y_{j}^{\ell }\right \}_{j=1}^{\infty } \subset \mathbb {B}^{N}$ such that

  1. (1) $d(y_{j}^{k},\,0) \rightarrow \infty \textrm { as } j \rightarrow \infty \;\;\forall k=1,\,2,\, \ldots,\, \ell,$

  2. (2) $d(y_{j}^{k},\,y_{j}^{k^{\prime }}) \rightarrow \infty \textrm { as } j \rightarrow \infty \textrm { for } k \neq k^{\prime },$

  3. (3) $\left \|u_{j}(x)-(u_{0}(x)+\sum _{k=1}^{\ell } w(\tau _{-y_{j}^{k}}(x)))\right \|_{{H_{\lambda }}} \rightarrow 0$ as $j \rightarrow \infty$,

  4. (4) $I_{\lambda,a, f}(u_{j}) \rightarrow I_{\lambda,a, f}(u_{0})+\ell I_{\lambda,1,0}(w)$ as $j \rightarrow \infty,$

where $\tau _a,$ $a \in \mathbb {B}^{N}$ denotes the hyperbolic translation, and $w$ is the unique positive radial solution to the unperturbed equation.

Proof. The proof is a straightforward adaption of [Reference Ganguly, Gupta and Sreenadh21, Proposition 3.1] in the case $f \not \equiv 0.$ We also refer ([Reference Lions24], [Reference Lions25] and [Reference Struwe33]) for the Euclidean case.

Next, we study the Palais–Smale condition for $J_{\lambda,a,f}.$

Proposition 4.2 Suppose $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{2}$ for $d_{2}>0$ as given in Proposition 3.4. Then,

  1. (a) As the $\operatorname {dist}$ $_{H_{\lambda }(\mathbb {B}^{N})}(v_j,\, \partial \tilde {\Sigma }_+)=\inf \left \{\left \|v_{j}-u\right \|_{H_{\lambda }}: u \in \Sigma,\, u_+ \equiv 0\right \} {\xrightarrow {j}}0$ implies $J_{\lambda,a, f}(v_{j}) \rightarrow \infty$.

  2. (b) Suppose that $\left \{v_{j}\right \}_{j=1}^{\infty } \subset \tilde {\Sigma }_+$ satisfies as $j \rightarrow \infty$

(4.1)\begin{equation} \begin{aligned} & J_{\lambda,a, f}\left(v_{j}\right) \rightarrow c \text{ for some } c>0, \\ & \left\|J_{\lambda,a, f}^{\prime}\left(v_{j}\right)\right\|_{T_{v_{j}}^{*} \tilde{\Sigma}_+} \equiv \sup \left\{J_{\lambda,a, f}^{\prime}\left(v_{j}\right) h;\; h \in T_{v_{j}} \tilde{\Sigma}_+,\;\|h\|_{H_{\lambda}}=1\right\} \rightarrow 0. \end{aligned} \end{equation}

Then there exists a subsequence—still denoted by $\left \{v_{j}\right \}_{j=1}^{\infty }$, a critical point $u_{0}(x) \in H^{1}(\mathbb {B}^{N})$ of $I_{\lambda,a, f}(u)$, an integer $\ell \in \mathbb {N} \cup \{0\}$ and $\ell$ sequences of points $\left \{y_{j}^{1}\right \}_{j=1}^{\infty },\, \ldots,\,\left \{y_{j}^{\ell }\right \}_{j=1}^{\infty } \subset \mathbb {B}^{N}$ such that

  1. (1) $d(y_{j}^{k},\,0) \rightarrow \infty \textrm { as } j \rightarrow \infty \;\;\forall k=1,\,2,\, \ldots,\, \ell,$

  2. (2) $d(y_{j}^{k},\,y_{j}^{k^{\prime }}) \rightarrow \infty \textrm { as } j \rightarrow \infty \textrm { for } k \neq k^{\prime },$

  3. (3) $\left \| v_{j}(x)-\frac {u_{0}(x)+\sum _{k=1}^{\ell } w(\tau _{-y_{j}^{k}}(x))}{\left \|u_{0}(x)+\sum _{k=1}^{\ell } w(\tau _{-y_{j}^{k}}(x))\right \|_{{H_{\lambda }}}}\right \|_{{H_{\lambda }}} \rightarrow 0 \textrm { as } j \rightarrow \infty,\,\\ \textrm { where } \tau _a,\, a \in \mathbb {B}^{N} \textrm { denotes the hyperbolic translation,\,}$

  4. (4) $J_{\lambda,a, f}(v_{j}) \rightarrow I_{\lambda,a, f}(u_{0})+\ell I_{\lambda,1,0}(w) \textrm { as } j \rightarrow \infty.$

Proof. For any $\varepsilon \in (0,\,1)$ and using (3.12) and (3.6), we obtain,

\begin{align*} J_{\lambda,a, f}\left(v_{j}\right) & \geq(1-\varepsilon)^{\frac{p+1}{p-1}} J_{\lambda,a, 0}\left(v\right)-\frac{1}{2 \varepsilon}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2} \\ & \geq(1-\varepsilon)^{\frac{p+1}{p-1}}\left(\frac{1}{2}-\frac{1}{p+1}\right)\left(\int_{\mathbb{B}^{N}} a(x) v_{j +}^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}\right)^{-\frac{2}{p-1}}-\frac{1}{2 \varepsilon}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2}. \end{align*}

As $\operatorname {dist}(v_{j},\, \partial \tilde {\Sigma }_+) \rightarrow 0$ gives

\begin{align*} & \left(v_{j}\right)_+ \rightarrow 0 \text{ in } H^{1}\left(\mathbb{B}^{N}\right), \\ & \left(v_{j}\right)_+ \rightarrow 0 \text{ in } L^{p+1}\left(\mathbb{B}^{N}\right). \end{align*}

Therefore,

\[ \left|\int_{\mathbb{B}^{N}} a(x) v_{j}^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}\right| \leq\left.\|a\|\right._{L^{\infty}\left(\mathbb{B}^{N}\right)} \int_{\mathbb{B}^{N}}\left|v_{j +}\right|^{p+1}\mathrm{~d} V_{\mathbb{B}^{N}} \xrightarrow{j} 0. \]

Hence $J_{\lambda,a, f}(v_{j}) \rightarrow \infty$ as dist $_{H^{1}(\mathbb {B}^{N})}(v_{j},\, \partial \tilde {\Sigma }_+) \rightarrow 0.$ This proves part $(a).$

For part $(b),$ using (3.13) and (3.15), we get

\begin{align*} \left\|I_{\lambda,a, f}^{\prime}\left(t_{a, f}\left(v_{j}\right) v_{j}\right)\right\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)} & =\frac{1}{t_{a, f}\left(v_{j}\right)}\left\|J_{\lambda,a, f}^{\prime}\left(v_{j}\right)\right\|_{T_{v_{j}}^{*} \tilde{\Sigma}_+} \\ & \leq\left(p S_{1,\lambda}^{-\frac{p+1}{2}}\right)^{\frac{1}{p-1}}\left\|J_{\lambda,a, f}^{\prime}\left(v_{j}\right)\right\|_{T_{v_{j}} \tilde{\Sigma}_+} \stackrel{j}{\rightarrow} 0.\\ \end{align*}

Further, we also have $I_{\lambda,a, f}(t_{a,f}(v_{j})v_{j})=J_{\lambda,a, f}(v_{j}) \rightarrow c$ as $j \rightarrow \infty$. Applying Palais–Smale lemma for $I_{\lambda,a, f}(u)$ (Proposition 4.1), the rest follows.

The subsequent corollary is an outcome of the above Proposition 4.2. Before moving to the corollary, note that we say $J_{\lambda,a, f}(v)$ satisfies $(\mathrm {PS})_{c}$ if and only if any sequence $(v_{j})_{j=1}^{\infty } \subseteq$ $\tilde {\Sigma }_+$satisfying (4.1) has a strongly convergent subsequence in $H^{1}(\mathbb {B}^{N})$.

Corollary 4.3 Suppose that $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{2}$ for $d_{2}$ as in Proposition 3.4. Then $J_{\lambda, a, f}(v)$ satisfies the condition $(\mathrm {PS})_{c}$ for $c< I_{\lambda, a, f}(\mathcal {U}_{a, f} (x))+I_{\lambda,1,0}(w)$ where $w$ is the unique radial solution of (3.1) and $\mathcal {U}_{a, f}$ is the critical point of $I_{\lambda, a, f}$ obtained in Proposition 7.1.

Proof. Proposition 4.2 suggests that the condition (PS)$_{c}$ breaks down only at levels

\[ c=I_{\lambda,a, f}\left(u_{0}\right)+\ell I_{\lambda,1,0}(w), \]

where $\ell \in \mathbb {N}$ and $u_{0} \in H^{1}(\mathbb {B}^{N})$ is a critical point of $I_{\lambda,a, f}(u)$ .

From Proposition 7.1, we have

(4.2)\begin{equation} I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)=\inf _{u \in B\left(r_{1}\right)} I_{\lambda,a, f}(u) \leq I_{\lambda,a, f}(0)=0,\end{equation}

Furthermore, all the critical points of $I_{\lambda,a, f}(u)$ except $\mathcal {U}_{a, f} (x)$ corresponds to a critical point $J_{\lambda,a, f}(v)$, which follows from (8.3). Thus there exists $v_{1} \in \tilde {\Sigma }_+$ for a critical point $u_{1}$ of $I_{\lambda,a,f}(u)$ such that $I_{\lambda,a, f}(u_{1})=J_{\lambda,a, f}(v_{1})>0$ by using $(iii)$ of Lemma 3.2. Consequently,

\[ I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)=\inf \left\{I_{\lambda,a, f}\left(u_{0}\right) \mid u_{0} \in H^{1}\left(\mathbb{B}^{N}\right) \text{ is a critical point of } I_{\lambda,a, f}(u)\right\}. \]

Hence $I_{\lambda,a, f}(\mathcal {U}_{a, f} (x))+I_{\lambda,1,0}(w)$ is the lowest level where $(P S)_{c}$ breaks.

5. Asymptotic estimates for solutions of (𝒫)

This section is devoted to deriving asymptotic estimates for positive solutions to (𝒫) for $\lambda \leq 0$. It is worth noting that when $f \equiv 0,$ the precise estimates were obtained by Sandeep–Mancini in their seminal paper (See [Reference Mancini and Sandeep29, Lemma 3.4]) and has been slightly improved in [Reference Bonforte, Gazzola, Grillo and Vazquez10] for $\lambda =0.$ Indeed they showed using the moving plane method that all positive solutions to the homogeneous equation are radial with respect to a point. Further, asymptotic was obtained by analysing the corresponding ode. On the other hand, when dealing with $f\not \equiv 0$ and non-radial, the solution $u$ need not be radial; hence, this approach does not help us obtain asymptotic estimates for solutions of (𝒫) Thus we follow the approach of constructing suitable barriers as sub and super-solutions to obtain the desired asymptotic estimates. When $f \equiv 0,$ we recover the optimal estimates obtained by Sandeep-Mancini [Reference Mancini and Sandeep29] and and also ([Reference Bonforte, Gazzola, Grillo and Vazquez10], $\lambda =0$) for radial solutions. In particular, we prove the following theorem:

Theorem 5.1 Let $u$ be a positive solution of (𝒫) and $f \in L^2(\mathbb {B}^{N}),$ non-negative and assume

\[ f(x) \leq \,C\;\exp{-(k + \varepsilon)p\,d(x, 0)}, \]

for all $x \in \mathbb {B}^{N}$ and for some positive constants $k,\,C,$ and $\varepsilon.$

Then, for any $\delta >0$, there exist positive constants $C_{1},\, C_{2}$ such that

\[ C_{1} \exp (-((N-1)+\delta)d(x,0)) \leqslant u(x) \leqslant C_{2} \exp (-((N-1)-\delta)d(x,0)) \]

for all $x \in \mathbb {B}^{N},$ and $\lambda = 0.$ Furthermore, for $\lambda < 0$, there exist positive constants $C^{'}_{1},\, C^{'}_{2}$ such that

\[ C^{'}_{1} \exp (-(c^{'}(n, \lambda) +\delta)|\lambda|d(x,0)) \leqslant u(x) \leqslant C^{'}_{2} \exp (-(c^{'}(n, \lambda) -\delta)|\lambda|d(x,0)) \]

for all $x \in \mathbb {B}^{N}$ and $c^{'}(n,\,\lambda )=\frac {(N-1)+\sqrt {(N-1)^{2}-4\lambda }}{2|\lambda |}$.

Proof. The solution $u \in H^1(\mathbb {B}^{N}),$ this immediately implies $\lim _{d(x,0) \rightarrow \infty } u(x)=0 \textrm {a.e.}$ Furthermore, using the Calderon–Zygmund estimate and elliptic regularity, we have $u \in C^{2}(\mathbb {B}^{N})$; thus, $\lim _{d(x,0) \rightarrow \infty } u(x)=0$ for all $x \in \mathbb {B}^{N}.$ The proof is divided into two cases: $\lambda < 0$ and $\lambda =0.$

Case 1: $\lambda < 0$

Choose $\alpha >0$ such that $\frac {\alpha ^{2}|\lambda |-1}{\alpha (N-1)}\geq 1$. To be precise, $\alpha \in [c^{'}(N,\,\lambda ),\, \infty )$ where

\[ c^{'}(N,\lambda)= \frac{(N-1)+\sqrt{(N-1)^{2}-4\lambda}}{2|\lambda|}. \]

Thus we can choose $R_{1}>0$ large enough such that

(5.1)\begin{equation} \alpha^{2}|\lambda|-\alpha(N-1)\coth{d(x,0)}\geq 1, \;\;\;\; \forall d(x,0) \geq R_{1}. \end{equation}

For $m=\min \left \{\frac {1}{|\lambda |}u(x)\mid d(x,\,0) =R_{1}\right \}>0$, set $v_{1}(x) := v_1(r) = m e^{-\alpha |\lambda | (d(x,0)-R_{1})},$ where $r := d(x,\, 0).$ Now for any $L>R_{1}$, denote

\[ \Omega(L)=\left\{x \in \mathbb{B}^{N} \mid R_{1}< d(x,0) < L \quad \text{ and } \quad |\lambda|v_{1}(x)>u(x)\right\} . \]

Then $\Omega (L)$ is open. Moreover, for $x \in \Omega (L)$ and using (5.1)  we have

\begin{align*} \Delta_{\mathbb{B}^{N}}\left(u-|\lambda|v_{1}\right)(x) & = \Delta_{\mathbb{B}^{N}} u(x) \, - |\lambda| \, \Delta_{\mathbb{B}^{N}}(v_1(x)) \\ & ={-} \lambda u - \, u^p - \, f(x) - |\lambda| \, \left( \frac{\partial^2}{\partial r^2} v_1(r) + (N-1) \coth r \frac{\partial}{\partial r} v_1(r) \right) \\ & ={-} \lambda u -\, u^p - \, f(x)-|\lambda|\left[\alpha^{2}|\lambda|^{2}-\alpha|\lambda|(N-1)\coth{r}\right] v_{1}(x) \\ & \leqslant |\lambda| u(x)-|\lambda|^{2}\left[\alpha^{2}|\lambda|-\alpha (N-1)\coth{r}\right] v_{1}(x) \\ & \leqslant |\lambda|\left(u-|\lambda|v_{1}\right)(x) \\ & <0 \end{align*}

Applying the maximum principle, for $x \in \Omega (L)$ will result in

\begin{align*} u(x)-|\lambda|v_{1}(x) & \geqslant \min \left\{\left(u-|\lambda|v_{1}\right)(x) \mid x \in \partial \Omega(L)\right\} \\ & =\min \left\{0, \min_{d(x,0)=L}\left(u-|\lambda|v_{1}\right)(x)\right\} . \end{align*}

Since $\displaystyle \lim _{d(x,0) \rightarrow +\infty } u(x)=\lim _{d(x,0) \rightarrow +\infty } v_{2}(x)=0$, by letting $L \rightarrow \infty$, we see that $\Omega (L)$ is empty and hence

(5.2)\begin{equation} u(x) \geqslant |\lambda| v_{1}(x) \text{ for all }d(x,0) \geqslant R_{1},\end{equation}

By the supposition on $f(x)$ there exists some $\varepsilon,\, \textrm { and } C>0$ such that

(5.3)\begin{equation} f(x) \leqslant C e^{-(c^{'}(N,\lambda)+\varepsilon)|\lambda|p\, d(x, 0)} \text{ for all } x \in \mathbb{B}^{N} \text{. } \end{equation}

(5.2) will imply the existence of a $C_{1}>0$

(5.4)\begin{equation} u(x) \geqslant C_{1} e^{(c^{'}(N, \lambda)+\delta)|\lambda|d(x,0)} \quad \text{ for all } x \in \mathbb{B}^{N}, \quad \mbox{and for any } \ \delta > 0. \end{equation}

Choosing $\varepsilon$ appropriately, and using (5.3), (5.4) together will provide $R_{2}>0$ such that

\[ (u(x))^p \geqslant f(x) \quad \text{ for } \quad d(x,0) \geqslant R_{2} . \]

Moreover, since $p >1,$ there holds

\[ u^{p} = \, \circ(u) \text{ for } d(x,0)\rightarrow \infty. \]

Let $\beta >0$ be such that $\beta ^{2}|\lambda |- (N-1)\beta \leq 1$, i.e., $\beta \leq c(n,\, \lambda )^{'}.$

Define $v_{2}(x)=M e^{-\beta |\lambda |(d(x,0)-R_{4})}$, where

\[ M=\max \left\{u(x) \mid d(x,0) =R_{2}\right\}>0. \]

Further, for any $L>R_{4}$, denote

\[ \tilde{\Omega}(L)=\left\{x \in \mathbb{B}^{N} \mid R_{4}< d(x,0) < L \quad \text{ and } \quad u(x)>v_{2}(x)\right\} . \]

Then $\tilde {\Omega }(L)$ is open and, for $x \in \tilde {\Omega }(L)$,

\begin{align*} \Delta_{\mathbb{B}^{N}}\left(v_{2}-u\right)(x) & =\left[\beta^{2}|\lambda|^{2}-\beta|\lambda|(N-1)\coth r\right] v_{2}(x) +\lambda u + \,u^p+f(x) \\ & \leqslant -\lambda v_{2}+ \lambda u + \, 2u^{p}\\ & \leqslant -\lambda v_{2}+ \lambda u + \, \circ(u)\\ & ={-}\lambda (v_{2}-u)(x)+{\circ}(u)\\ & <0. \end{align*}

By the maximum principle, for $x \in \widetilde {\Omega }(L)$,

\begin{align*} v_{2}(x)-u(x) & \geqslant \min \left\{\left(v_{2}-u\right)(x) \mid x \in \partial \tilde{\Omega}(L)\right\} \\ & =\min \left\{0, \min _{d(x,0)=L}\left(v_{2}-u\right)(x)\right\} . \end{align*}

Since $\displaystyle \lim _{d(x,0) \rightarrow +\infty } u(x)=\lim _{d(x,0) \rightarrow +\infty } v_{2}(x)=0$, by letting $L \rightarrow \infty$, we see again that $\tilde {\Omega }(L)$ is empty and hence

\[ v_{2}(x) \geqslant u(x) \text{ for all }d(x,0) \geqslant R_{4}. \]

Now by choosing $\alpha = \beta = c^{'}(N,\,\lambda ),$ the proof is complete.

Case 2: $\lambda =0$

This case can also be tackled similarly by appropriately choosing the functions $v_{1}$ and $v_{2}$.

To be precise, let

\[ v_{1} = m e^{-\gamma \left(d(x,0)-R_{1}^{'}\right)} \text{ and } v_{2} = M e^{-\eta \left(d(x,0)-R_{2}^{'}\right)} \text{ for some } \gamma,R_{1}^{'},\eta,R_{2}^{'}>0 \]

where $m=\min \left \{u(x)\mid d(x,\,0) =R_{1}^{'}\right \}>0$ and $M=\max \left \{u(x)\mid d(x,\,0) =R_{2}^{'}\right \} >0.$

Indeed $\gamma >0$ satisfies $\gamma > N-1$, and thus $R_{1}^{'}$ is chosen such that $\gamma - (N-1) \coth {r} > 0$ for all $r > R_{1}^{'}.$ Also, $R_{2}^{'}$ is chosen similarly as $R_{3}$ mentioned above. Further, we can conclude the lemma by applying the maximum principle in the hyperbolic balls of radius $R_{1}^{'}$ and $R_{2}^{'}$ and proceeding as in the previous case.

6. Key Energy Estimates

This section is devoted to deriving key energy estimates for the functional $I_{\lambda, a, f}$ with $a(x) \leq 1$. The subsequent energy estimates will play a pivotal role in the existence of solutions. In fact with the help of the proposition 6.1, we shall show that the energy of the functional is below the critical level given in the Palais–Smale decomposition.

Proposition 6.1 Let $a$ satisfies $0< a \in L^{\infty }(\mathbb {B}^{N}),\, a(x) \rightarrow 1$ as $d(x,\,0) \rightarrow \infty$ and (1.4). Further, assume that $\|f\|_{H^{-1}(\mathbb {B}^{N})}{\leq }\; d_{2},\,\; f \geq 0,\,\; f \not \equiv 0$ and $\tilde {\mathcal {U}}_{a, f}$ is any critical point of $I_{\lambda,a,f}$. Then there exists $R > 0$ such that

(6.1)\begin{equation} I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f} (x)+t w(\tau_{{-}y}(x))\right)< I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)\right)+I_{\lambda,1,0}(w),\;\;\; \end{equation}

for all $d(y,\,0) \geq R$ and $t>0$.

Moreover, if $a$ satisfies $(\mathbf {A}_{3}),$ i.e., $a \equiv 1$, we have

(6.2)\begin{equation} \sup _{t \geqslant 0} I_{\lambda,1,f}\left(\tilde{\mathcal{U}}_{1, f}+t w\left(\tau_{y}(x)\right)\right)< I_{\lambda,1,f}\left(\tilde{\mathcal{U}}_{1, f}\right)+I_{\lambda,1,0}(w), \end{equation}

for all $d(y,\,0) \geq R.$

Proof. Performing straightforward calculations implies

(6.3)\begin{equation} \begin{aligned} I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right) & =\frac{1}{2}\left\|\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right\|_{H_{\lambda}}^{2} -\frac{1}{p+1}\\ & \quad \int_{\mathbb{B}^{N}} a(x)\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right)^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \quad-\int_{\mathbb{B}^{N}} f(x)\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right) \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & =\frac{1}{2}\left\|\tilde{\mathcal{U}}_{a, f}(x)\right\|_{H_{\lambda}}^{2}+\frac{t^{2}}{2}\|w\|_{H^{1}\left(\mathbb{B}^{N}\right)}^{2}\\ & \quad+t\left\langle \tilde{\mathcal{U}}_{a, f}(x), w(\tau_{{-}y}(x))\right\rangle_{H_{\lambda}} \\ & \quad-\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\\ & \quad-\frac{t^{p+1}}{p+1} \int_{\mathbb{B}^{N}}\; a(x)\; (w(\tau_{{-}y}(x))^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \quad-\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left\{\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right)^{p+1}\right.\\ & \quad-\left. \left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p+1}- t^{p+1} w(\tau_{{-}y}(x))^{p+1}\right\} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \quad-\int_{\mathbb{B}^{N}} f(x)\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right) \mathrm{~d} V_{\mathbb{B}^{N}}(x). \end{aligned} \end{equation}

Now for all $h \in H^{1}(\mathbb {B}^{N})$, we have

\begin{align*} 0& =I_{\lambda,a, f}^{\prime}\left(\tilde{\mathcal{U}}_{a, f}(x)\right)(h) \\ & =\left\langle \tilde{\mathcal{U}}_{a, f}(x), h\right\rangle_{H_{\lambda}}-\int_{\mathbb{B}^{N}} a(x)\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p} h \mathrm{~d} V_{\mathbb{B}^{N}}(x)-\int_{\mathbb{B}^{N}} f h \mathrm{~d} V_{\mathbb{B}^{N}}(x), \end{align*}

i.e.,

\[ \left\langle \tilde{\mathcal{U}}_{a, f}(x), h\right\rangle_{H_{\lambda}}=\int_{\mathbb{B}^{N}} a(x)\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p} h \mathrm{~d} V_{\mathbb{B}^{N}}(x)+\int_{\mathbb{B}^{N}} f h \mathrm{~d} V_{\mathbb{B}^{N}}(x). \]

In particular, for $h=t w(\tau _{-y}(x))$ in the above yields

\begin{align*} & t\left\langle \tilde{\mathcal{U}}_{a, f}(x), w(\tau_{{-}y}(x))\right\rangle_{H_{\lambda}} \\ & \quad=t \int_{\mathbb{B}^{N}} a(x)\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p} w(\tau_{{-}y}(x)) \mathrm{~d} V_{\mathbb{B}^{N}}(x)+t \int_{\mathbb{B}^{N}} f w(\tau_{{-}y}(x)) \mathrm{~d} V_{\mathbb{B}^{N}}(x) . \end{align*}

Hence utilizing the above equation and appropriately rearranging the terms in (6.3) will result in

\begin{align*} & I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right)=I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)\right)+I_{\lambda,1,0}(t w)\\ & \quad+\frac{t^{p+1}}{p+1} \int_{\mathbb{B}^{N}}(1-a(x)) w(\tau_{{-}y}(x))^{p+1}\mathrm{~d} V_{\mathbb{B}^{N}}(x)\\ & \quad-\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left\{\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right)^{p+1}-\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p+1}\right. \\ & \quad\left.-t(p+1)\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p} w(\tau_{{-}y}(x))-t^{p+1} w(\tau_{{-}y}(x))^{p+1}\right\} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\\ & =I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)\right)+I_{\lambda,1,0}(t w)\;+\; \underbrace{(I)-(II)}. \end{align*}

where

(6.4)\begin{equation} I:=\frac{t^{p+1}}{p+1} \int_{\mathbb{B}^{N}}(1-a(x)) w(\tau_{{-}y}(x))^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x),\end{equation}

and

(6.5)\begin{equation} \begin{aligned} II & :=\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left\{\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right)^{p+1}-\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p+1}\right.\\ & \left.-t(p+1)\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p} w(\tau_{{-}y}(x))-t^{p+1} w(\tau_{{-}y}(x))^{p+1}\right\}\mathrm{~d} V_{\mathbb{B}^{N}}(x). \end{aligned} \end{equation}

To complete the proof of the proposition, we need to show that $(I) \; -\;(II) < 0,$ for suitably chosen $R >0.$

Using the continuity, we easily get

\[ I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right) \rightarrow I_{\lambda,a, f}(\tilde{\mathcal{U}}_{a, f}(x)) \]

as $t \rightarrow 0$. In addition, we also have

\[ I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right) \rightarrow-\infty \text{ as } t \rightarrow \infty. \]

Thus using the above two facts, we can find $m,\, M$ with $0< m< M$ such that

\begin{align*} & I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x)\right)< I_{\lambda,a, f}\left(\tilde{\mathcal{U}}_{a, f}(x)\right)\\ & \quad +I_{\lambda,1,0}(w)\;\text{ for all } t \in(0, m) \cup(M, \infty). \end{align*}

As a result, to prove the proposition at hand, it suffices to show (6.1) for $t \in [m,\, M]$. Hence to finish the proof, we need to show $I< II$. To this end, let us recall the following standard $p$th inequalities from calculus.

  1. (1) $(s+t)^{p+1}-s^{p+1}-t^{p+1}-(p+1) s^{p} t \geq 0$ for all $(s,\, t) \in [0,\, \infty ) \times [0,\, \infty )$.

  2. (2) For any $r > 0$ we can find a constant $A(r) > 0$ such that

    \[ (s+t)^{p+1}-s^{p+1}-t^{p+1}-(p+1) s^{p} t \geq A(r) t^{2}, \]
    for all $(s,\, t) \in [r,\, \infty ) \times [0,\, \infty )$.

We can estimate $II$ with the help of the above inequality as follows:

Set $A:=A(r):=A(\min _{d(x,0) \leq 1} \tilde {\mathcal {U}}_{a, f}(x))>$ 0, then

\begin{align*} II & :=\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left\{\left(\tilde{\mathcal{U}}_{a, f}(x)+t w(\tau_{{-}y}(x))\right)^{p+1}-\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p+1}\right.\\ & \left.-t(p+1)\left(\tilde{\mathcal{U}}_{a, f}(x)\right)^{p} w(\tau_{{-}y}(x))-t^{p+1} w(\tau_{{-}y}(x))^{p+1}\right\}\mathrm{~d} V_{\mathbb{B}^{N}}(x)\\ & \geq \frac{1}{p+1} \int_{d(x,0) \leq 1} a(x) A(r) t^{2} w^2(\tau_{{-}y}(x)) \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \geq \frac{m^{2} \underline{\mathrm{a}} A(r)}{p+1} \underbrace{\int_{d(x,0) \leq 1} w^{2}(\tau_{{-}y}(x)) \mathrm{~d} V_{\mathbb{B}^{N}}(x)}_{E_1} \\ \end{align*}

Estimate of $E_1:$ We shall estimate $E_1$ in the domain $d(x,\, 0) \leq 1.$ Using traingle inequality we have

\[ 1 - \frac{d(x, 0)}{d(y, 0)} \leq \frac{d(x, y)}{d(y, 0)} \leq 1 + \frac{d(x, 0)}{d(y, 0)}. \]

Since, $d(x,\, 0) \leq 1,$ there exist $R > 0$ and $\varepsilon _{R} > 0$ such that whenver $d(y,\, 0) > R,$ there holds

\[ 1 - \varepsilon_{R} \leq \frac{d(x, y)}{d(y, 0)} \leq 1 + \varepsilon_{R}, \]

where $\varepsilon _R \rightarrow 0$ as $R \rightarrow \infty.$ Thus using above and (3.2) we conclude for any $\varepsilon > 0,$

\begin{align*} E_1 & := \int_{d(x, 0) \leq 1} w^{2}(\tau_{{-}y}(x)) \mathrm{~d} V_{\mathbb{B}^{N}}(x) \geq C_{\varepsilon} \int_{d(x, 0) \leq 1} e^{{-}2(c(N, \lambda) + \varepsilon) d(x, y)} \; \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \geq C_{\varepsilon} \; e^{{-}2(c(N, \lambda) + \varepsilon)(1 + \varepsilon_{R}) d(y, 0)} \underbrace{\int_{d(x, 0) \leq 1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)}_{:=C} \\ & = \tilde{C_{\varepsilon}} \; e^{{-}2(c(N, \lambda) + \varepsilon)(1 + \varepsilon_{R}) d(y, 0)}. \end{align*}

Therefore we have

(6.6)\begin{equation} I I \geq \frac{\tilde{C_{\varepsilon}} m^{2} \underline{\mathrm{a}} A(r)}{p+1} \; e^{{-}2(c(N, \lambda) + \varepsilon)(1 + \varepsilon_{R}) d(y, 0)}. \end{equation}

Estimate of I : Let us now compute an estimate on $I$ for $\delta > c(n,\, \lambda )(p+1)+(N-1)$, then for every $\varepsilon ^{\prime } >0,\,\\ \delta >(c(n,\, \lambda )- \varepsilon ^{\prime })(p+1)+(N-1).$ We shall estimate $I$ as follows:

(6.7)\begin{equation} \begin{aligned} I & =\frac{t^{p+1}}{p+1} \int_{\mathbb{B}^{N}}(1-a(x)) w(\tau_{{-}y}(x))^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \leq C_{\varepsilon^{\prime}}\frac{t^{p+1}}{p+1} \int_{\mathbb{B}^{N}} \; (1 - a(x)) e^{-(c(n, \lambda)-\varepsilon^{\prime})(p+1)d(x,y)} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \leq C_{\varepsilon^{\prime}}\frac{t^{p+1}}{p+1} \int_{\mathbb{B}^{N}}e^{-\delta d(x,0)} e^{(c(n, \lambda)-\varepsilon^{\prime})(p+1)(d(x,0)- d(y,0))} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \leq C_{\varepsilon^{\prime}}\frac{t^{p+1}}{p+1} e^{-(c(n, \lambda)-\varepsilon^{\prime})(p+1)d(y,0)} \int_{\mathbb{B}^{N}}e^{-\delta d(x,0)+(c(n, \lambda)-\varepsilon^{\prime})(p+1)d(x,0)} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \leq C_{\varepsilon^{\prime}}\frac{t^{p+1}}{p+1} e^{-(c(n, \lambda)-\varepsilon^{\prime})(p+1)d(y,0)} \int_{0}^{\infty}e^{-\delta r+(c(n, \lambda)-\varepsilon^{\prime})(p+1)r + (N-1)r} \mathrm{~d}r \\ & \leq C_{\varepsilon^{\prime}}\frac{M^{p+1}}{p+1} e^{-(c(n, \lambda)-\varepsilon^{\prime})(p+1)d(y,0)}.\\ \end{aligned} \end{equation}

Thus we have deduced

(6.8)\begin{equation} I \leq C_{\varepsilon^{\prime}}\frac{M^{p+1}}{p+1} e^{-(c(n, \lambda)-\varepsilon^{\prime})(p+1)d(y,0)}. \end{equation}

Now applying(6.6) and (6.8), we can choose $R_{0}>R>0$ large enough and also choose ${\varepsilon }$ and $\varepsilon ^{\prime }$ appropriately such that

\[ (I)<(I I) \text{ for }d(y,0) \geq R_{0}. \]

As a result, (6.1) is proved. This completes the proof (6.1). Now the proof of (6.2) can be concluded in a similar line by noting that $(I)$ is zero and $\underline {a} =1.$

7. Proof of Theorem 1.1 and Theorem 1.4

7.1. Existence of the first solution of ($\mathcal {P}$) for $a(x)$ satisfying $(\mathbf {A}_{1})$ or $(\mathbf {A}_{3})$

The below-mentioned proposition helps us establish the existence of the first positive solution in the neighbourhood of 0.

Proposition 7.1 For $d_{0}$ as chosen in Lemma 3.2 and $a(x)$ satisfying $(\mathbf {A}_{1})$ or $(\mathbf {A}_{3})$, there exists $r_{1}>0$ and $d_{1}\in (0,\, d_0]$ such that

  1. (i) $I_{\lambda,a, f}(u)$ is strictly convex in $B(r_{1})=\left \{u \in H^{1}(\mathbb {B}^{N})\right.$ : $\left.\|u\|_{H_{\lambda }}< r_{1}\right \}$.

  2. (ii) If $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{1}$, then

    \[ \inf _{\|u\|_{H_{\lambda}}=r_{1}} I_{\lambda,a, f}(u)>0 . \]

Moreover, there exists a unique critical point $\mathcal {U}_{a, f}(x)$ of $I_{\lambda,a, f}(u)$ in $B(r_{1})$. Furthermore, $\mathcal {U}_{a, f}(x)$ satisfies

\[ \mathcal{U}_{a, f}(x) \in B\left(r_{1}\right) \text{ and } I_{\lambda,a, f}\left(\mathcal{U}_{a, f}(x)\right)=\inf _{u \in B\left(r_{1}\right)} I_{\lambda,a, f}(u). \]

Proof. We proceed to prove part $(i)$ as follows:

(7.1)\begin{equation} I_{\lambda, a, f}^{\prime \prime}(u)(h, h)=\|h\|_{H_{\lambda}}^{2}-p \int_{\mathbb{B}^{N}} a(x) u_+^{p-1} h^{2} \mathrm{~d} V_{\mathbb{B}^{N}}(x).\end{equation}

Applying Hölder inequality, Sobolev inequality and the fact that $a \leq 1$ or $a \equiv 1$, we get an estimate on the second term of RHS of (7.1) as follows

\begin{align*} \int_{\mathbb{B}^{N}} a(x) u_+^{p-1} h^{2} \mathrm{~d} V_{\mathbb{B}^{N}}(x) & \leq\left(\int_{\mathbb{B}^{N}}|u|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}\right)^{\frac{p-1}{p+1}}\left(\int_{\mathbb{B}^{N}}|h|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}\right)^{\frac{2}{p+1}} \\ & \leq S_{1,\lambda}^{-\frac{p-1}{2}} S_{1,\lambda}^{{-}1}\|u\|_{H_{\lambda}}^{p-1}\|h\|_{H_{\lambda}}^{2} \\ & =S_{1,\lambda}^{-\frac{p+1}{2}}\|u\|_{H_{\lambda}}^{p-1}\|h\|_{H_{\lambda}}^{2}. \end{align*}

Thus using this above estimate in (7.1) yields

\[ I_{\lambda,a, f}^{\prime \prime}(u)(h, h) \geq\left(1-p S_{1,\lambda}^{-\frac{p+1}{2}}\|u\|_{H_{\lambda}}^{p-1}\right)\|h\|_{H_{\lambda}}^{2} . \]

Defining $r_{1}=p^{-\frac {1}{p-1}} S_{1,\lambda }^{\frac {p+1}{2(p-1)}}$ results in $I_{\lambda,a, f}^{\prime \prime }(u)$ being positive definite for $u \in B(r_{1})$. Therefore, $I_{\lambda,a, f}(u)$ is strictly convex in $B(r_{1})$. We are done with the proof of part $(i)$.

$(ii)$ Assuming $\|u\|_{H_{\lambda }}=r_{1}$ gives

\begin{align*} I_{\lambda,a, f}(u)& =\frac{1}{2}\|u\|_{H_{\lambda}}^{2}-\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x) u_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)-\langle f, u\rangle\\ & \quad \geq \frac{1}{2} r_{1}^{2}-\frac{1}{p+1} S_{1,\lambda}^{-\frac{p+1}{2}} r_{1}^{p+1} \\ & \quad-r_{1}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)} \\ & =\left(\frac{1}{2}-\frac{1}{p+1} S_{1,\lambda}^{-\frac{p+1}{2}} r_{1}^{p-1}\right) r_{1}^{2}-r_{1}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}. \end{align*}

Further,

\[ I_{\lambda, a, f}(u) \geq\left(\frac{1}{2}-\frac{1}{p(p+1)}\right) r_{1}^{2}-r_{1}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}, \]

where we have used $r_{1}^{p-1}=\frac {1}{p} S_{1,\lambda }^{\frac {p+1}{2}}$.

Thus there exists $d_{1} \in (0,\, d_{0}]$ such that

\[ \inf _{\|u\|_{H_{\lambda}}=r_{1}} I_{\lambda, a, f}(u)>0 \quad \text{ for }\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)} \leq d_{1}. \]

Moreover, there exists a unique critical point $\mathcal {U}_{a, f}(x)$ of $I_{\lambda,a, f}(u)$ in $B(r_{1})$ because $I_{\lambda,a, f}(u)$ is strictly convex in $B(r_{1})$ and $\inf _{\|u\|_{H_{\lambda }}=\, r_{1}} I_{\lambda,a, f}(u)>0=I_{\lambda,a, f}(0)$. Furthermore, this critical point satisfies

\[ I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)=\inf _{\|u\|_{H_{\lambda}}< r_{1}} I_{\lambda,a, f}(u). \]

This completes the proof of the proposition.

7.2. The case $a(x) \leq 1,$ $\mu \{ x : a(x) \neq 1 \} >0:$ Existence of second and third solutions.

We now aim to prove the existence of the second and third positive solutions. To fulfil this aim, we will utilize the Lusternik–Schnirelman category theory, a careful investigation of Palais–Smale characterization, and energy estimates involving hyperbolic bubbles to prove the multiplicity result. The following notation will be used to define level sets in the subsequent sections.

\[ \left[J_{\lambda,a, f} \leq c\right]=\left\{v \in \tilde{\Sigma}_+{\mid} J_{\lambda,a, f}(v) \leq c\right\} \]

for $c \in \mathbb {R}$. To compute the critical points of $J_{\lambda,a, f}(v)$, we will show for a sufficiently small $\varepsilon >0$,

\[ \operatorname{cat}\left(\left[J_{\lambda,a, f} \leq I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)-\varepsilon\right]\right) \geq 2 \]

where cat denotes Lusternik–Schnirelman Category.

We now study the properties of the functional $J_{\lambda,a, 0}$ under the condition $\mathbf {A}_{1}$.

Lemma 7.2 Assume $a$ satisfies $0< a \in L^{\infty }(\mathbb {B}^{N}),\, a(x) \rightarrow 1$ as $d(x,\,0) \rightarrow \infty$, (1.4) and $\mathbf {A}_{1}$. Then there holds

  1. (i) $\inf _{v \in \tilde {\Sigma }_+} J_{\lambda,a, 0}(v)=I_{\lambda,1,0}(w)$.

  2. (ii) $\inf _{v \in \tilde {\Sigma }_+} J_{\lambda,a, 0}(v)$ is not attained.

  3. (iii) $J_{\lambda,a, 0}(v)$ satisfies $(P S)_{c}$ for $c \in (-\infty,\, I_{\lambda,1,0}(w)) \cup (I_{\lambda,1,0}(w),\, 2 I_{\lambda,1,0}(w))$.

Proof. Using (3.8) and $\mathbf {A}_{\mathbf {1}}$, we immediately get

\[ \inf _{v \in \tilde{\Sigma}_+} J_{\lambda,a, 0}(v) \geq I_{\lambda,1,0}(w) . \]

Now define $w_{l}(x)=w(\tau _{le}(x))$ for a unit vector $e$ in $\mathbb {R}^{N}$ and $0< l<1$ so that $le \in \mathbb {B}^{N}$. Moreover, $l \rightarrow \infty$ in the disc model of the hyperbolic space means $l \rightarrow 1$. Applying Lemma 3.3, corresponding to $\bar {w}_{l}=\frac {w_{l}}{\left \|w_{l}\right \|} \in \tilde {\Sigma }_+$ implies the existence of a unique $t_{a, 0}(\bar {w}_{l})$ such that

\[ J_{\lambda,a, 0}\left(\frac{w_{l}}{\left\|w_{l}\right\|}\right)=I_{\lambda,a, 0}\left(t_{a, 0}\left(\bar{w}_{l}\right) \frac{w_{l}}{\left\|w_{l}\right\|}\right) . \]

Let us now determine the RHS of the above equation

\[ I_{\lambda,a, 0}\left(t_{a, 0}\left(\bar{w}_{l}\right) \frac{w_{l}}{\left\|w_{l}\right\|}\right)=\frac{t_{a, 0}^{2}\left(\bar{w}_{l}\right)}{2}\left\|\bar{w}_{l}\right\|_{H_{\lambda}}^{2}-\frac{t_{a, 0}^{p+1}\left(\bar{w}_{l}\right)}{p+1} \int_{\mathbb{B}^{N}} a(x)\left(\bar{w}_{l}\right)^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x). \]

Also, $t_{a, 0}(\bar {w}_{l})$ can be expressed in an explicit form that occurs in the proof of Lemma 3.3 which is given by

\[ t_{a, 0}\left(\bar{w}_{l}\right)=\left(\int_{\mathbb{B}^{N}} a(x) \bar{w}_{l}^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\right)^{-\frac{1}{p-1}} \stackrel{l \rightarrow \infty}{\longrightarrow}\left(\frac{\|w\|_{H_{\lambda}}}{\|w\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}}\right)^{\frac{p+1}{p-1}}. \]

Since $w$ is the unique radial solution of (3.1), we further get

\begin{align*} & J_{\lambda,a, 0}\left(\bar{w}_{l}\right) \stackrel{l \rightarrow \infty}{\longrightarrow} \frac{1}{2}\left\{\frac{\|w\|_{H_{\lambda}}}{\|w\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}}\right\}^{\frac{2(p+1)}{(p-1)}}\nonumber\\ & \quad -\frac{1}{p+1}\left(\left\{\frac{\|w\|_{H_{\lambda}}}{\|w\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}}\right\}^{\frac{(p+1)^{2}}{(p-1)}} \times \frac{\|w\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}}{\|w\|_{H_{\lambda}}^{p+1}}\right) \\ & \quad=\left(\frac{1}{2}-\frac{1}{p+1}\right)\|w\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}=I_{\lambda,1,0}(w). \end{align*}

Hence $(i)$ follows.

We will now show $(ii)$ by contradiction, i.e., let us assume that there exists $v_{0} \in \tilde {\Sigma }_+$ such that $J_{\lambda,a, 0}(v_{0})=\inf _{v \in \tilde {\Sigma }_+} J_{\lambda,a, 0}(v)=I_{\lambda,1,0}(w)$. Define, the Nehari manifold $\mathcal {N}$ as

\[ \mathcal{N}:=\left\{u \in H^{1}\left(\mathbb{B}^{N}\right):\left(I_{\lambda, 1,0}\right)^{\prime}(u)(u)=0\right\} . \]

It is not difficult to find a $t_{v_{0}}>0$ such that $t_{v_{0}} v_{0} \in \mathcal {N}$. Further, note that that for any $v \in \mathcal {N}$, we have $\|v\|_{H_{\lambda }}^{2}=\int _{\mathbb {B}^{N}}(v)_+^{p+1} \mathrm {~d} V_{\mathbb {B}^{N}}$, and consequently,

\[ I_{\lambda,1,0}(v)=\frac{p-1}{2(p+1)}\|v\|_{H_{\lambda}}^{2}=\frac{p-1}{2(p+1)} \int_{\mathbb{B}^{N}}(v)_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}\geq \frac{p-1}{2(p+1)} S_{1,\lambda}^{\frac{p+1}{p-1}}, \]

where $S_{1,\lambda }$ is as defined in (3.10). Thus $I_{\lambda,1,0}(v) \geq I_{\lambda,1,0}(w)$ for all $v \in \mathcal {N}$. Moreover, $w \in \mathcal {N}$, and hence

\[ \inf _{v \in \mathcal{N}} I_{\lambda,1,0}(v)=I_{\lambda,1,0}\left(w\right) . \]

Therefore,

(7.2)\begin{equation} \begin{aligned} I_{\lambda,1,0}\left(w\right)=J_{\lambda,a, 0}\left(v_{0}\right) & :=\max _{t>0} I_{\lambda,a, 0}\left(t v_{0}\right) \geq I_{\lambda,a, 0}\left(t_{v_{0}} v_{0}\right) \\ & =\frac{t_{v_{0}}^{2}}{2}\left\|v_{0}\right\|_{H_{\lambda}}^{2}-\frac{t_{v_{0}}^{p+1}}{p+1} \int_{\mathbb{B}^{N}} a(x)\left(v_{0}\right)_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & =\frac{t_{v_{0}}^{2}}{2}\left\|v_{0}\right\|_{H_{\lambda}}^{2}-\frac{t_{v_{0}}^{p+1}}{p+1} \int_{\mathbb{B}^{N}}\left(v_{0}\right)_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & \quad+\frac{t_{v_{0}}^{p+1}}{p+1} \int_{\mathbb{B}^{N}}(1-a(x))\left(v_{0}\right)_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \\ & =I_{\lambda,1,0}\left(t_{v_{0}} v_{0}\right) +\frac{t_{v_{0}}^{p+1}}{p+1} \int_{\mathbb{B}^{N}}(1-a(x))\left(v_{0}\right)_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\\ & \geq I_{\lambda,1,0}\left(w\right)+\frac{t_{v_{0}}^{p+1}}{p+1} \int_{\mathbb{B}^{N}}(1-a(x))\left(v_{0}\right)_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) . \end{aligned} \end{equation}

Thus the above inequality and $\mathbf {A}_{\mathbf {1}}$ result in

(7.3)\begin{equation} \frac{t_{v_{0}}^{p+1}}{p+1} \int_{\mathbb{B}^{N}}(1-a(x))\left(v_{0}\right)_+^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)=0.\end{equation}

Thus

(7.4)\begin{equation} \left(v_{0}\right)_+{\equiv}\, 0 \; \text{ in }\left\{x \in \mathbb{B}^{N}: a(x) \neq 1\right\}. \end{equation}

Moreover, the inequality in (7.2) becomes an equality by substituting (7.3) into (7.2). Therefore,

\[ \inf _{\mathcal{N}} I_{\lambda,1,0}(v)=I_{\lambda,1,0}\left(w\right)=I_{\lambda,1,0}\left(t_{v_{0}} v_{0}\right) . \]

Thus $t_{v_{0}} v_{0}$ is a constraint critical point of $I_{\lambda,1,0}$. Therefore $t_{v_{0}} v_{0}>0$ follows from the Lagrange multiplier and maximum principle, which further implies $v_{0}>0$ in $\mathbb {B}^{N}$. This contradicts (7.4). Hence $(2)$ holds.

The proof of part $(3)$ follows from the Palais–Smale decomposition.

Lemma 7.3 Let $a$ as in Theorem 1.1. Then there exists a constant $\delta _{0}>0$ such that if $J_{\lambda,a, 0}(v) \leq I_{\lambda,1,0}(w)+\delta _{0}$, then

(7.5)\begin{equation} \int_{\mathbb{B}^{N}} \frac{x}{m(x)}|v(x)|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \neq 0,\end{equation}

where $m(x) >0$ is defined such that $d(\frac {x}{m},\,0)= \frac {1}{2}$, i.e., $m(x)= \frac {|x|}{\tanh (\frac {1}{4})}.$

Proof. Suppose on the contrary that there exists a sequence $\left \{v_{n}\right \} \subset \tilde {\Sigma }_+$ such that

\[ J_{\lambda,a, 0}(v_{n}) \leq I_{\lambda,1,0}(w)+\frac{1}{n}\text{ and }\int_{\mathbb{B}^{N}} \frac{x}{m}|v_{n}(x)|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x) \stackrel{n \rightarrow \infty}{\longrightarrow} 0 \text{ hold}. \]

Then there exists $\tilde {v}_{n} \subset \tilde {\Sigma }_+$ by Ekeland's variational principle such that

\begin{align*} & \left\|v_{n}-\tilde{v}_{n}\right\|_{H_{\lambda}} \stackrel{n \rightarrow \infty}{\longrightarrow} 0, \\ J_{\lambda,a, 0}\left(\tilde{v}_{n}\right) & \leq J_{\lambda,a, 0}\left(v_{n}\right)\leq I_{\lambda,1,0}(w)+\frac{1}{n}, \\ J_{\lambda,a, 0}^{\prime}\left(\tilde{v}_{n}\right) & \stackrel{n \rightarrow \infty}{\longrightarrow} 0 \text{ in } H^{{-}1}\left(\mathbb{B}^{N}\right). \end{align*}

The above implies $\left \{\tilde {v}_{n}\right \}$ is a Palais Smale sequence for $J_{\lambda,a, 0}$ at the level $I_{\lambda,1,0}(w)$.

Further, by Proposition 4.2, we have $\left \{y_{n}\right \} \subset \mathbb {B}^{N}$ such that $d(y_{n},\,0) \stackrel {n}{\rightarrow } \infty$ and

\[ \left\|\tilde{v}_{n}-\frac{w\left(\tau_{{-}y_{n}}(x)\right)}{\left\|w\left(\tau_{{-}y_{n}}(x)\right)\right\|_{H^{1}\left(\mathbb{B}^{N}\right)}}\right\|_{H^{1}\left(\mathbb{B}^{N}\right)}{\stackrel{n \rightarrow \infty}{\longrightarrow} 0} \]

Therefore,

\begin{align*} \left\|v_{n}-\frac{w\left(\tau_{{-}y_{n}}(x)\right)}{\left\|w\left(\tau_{{-}y_{n}}(x)\right)\right\|_{H_{\lambda}}}\right\|_{H_{\lambda}} & \leq\left\|v_{n}-\tilde{v}_{n}\right\|_{H_{\lambda}}\\ & \quad+\left\|\tilde{v}_{n}-\frac{w\left(\tau_{{-}y_{n}}(x)\right)}{\left\|w\left(\tau_{{-}y_{n}}(x)\right)\right\|_{H_{\lambda}}}\right\|_{H_{\lambda}} \stackrel{n \rightarrow \infty}{\longrightarrow} 0. \end{align*}

Thus we can deduce

\begin{align*} \circ(1) & =\int_{\mathbb{B}^{N}} \frac{x}{m}|v_{n}(x)|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\\ & =\int_{\mathbb{B}^{N}} \tanh(\frac{1}{4})\frac{x}{|x|}\left(\frac{w\left(\tau_{{-}y_{n}}(x)\right)}{\left\|w\left(\tau_{{-}y_{n}}(x)\right)\right\|_{H_{\lambda}}}\right)^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}+{\circ}(1) \\ & =\frac{\tanh(\frac{1}{4})}{\|w\|_{H_{\lambda}}^{p+1}} \int_{\mathbb{B}^{N}} \frac{\tau_{y_{n}}(y)}{|\tau_{y_{n}}(y)|}|w(y)|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(y) \stackrel{n \rightarrow \infty}{\not\longrightarrow} \, 0, \text{ upto a subsequence}. \end{align*}

Hence we have come to a contradiction.

Finally, in this section, we state some refinement of Corollary 4.3.

Proposition 7.4 Assume $a$ as in Lemma 1.1. Then for any $\varepsilon >0$, there exists $d(\varepsilon ) \in (0,\, d_{2}]$ such that for $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d(\varepsilon )$, the following holds

  1. (i) $\inf _{v \in \tilde {\Sigma }_+} J_{\lambda,a, f}(v) \in [I_{\lambda,1,0}(\omega )-\varepsilon,\, I_{\lambda,1,0}(\omega )+\varepsilon ]$.

  2. (ii) $J_{\lambda,a, f}(v)$ satisfies $(\mathrm {PS})_{c}$ for

    \begin{align*} c \in & \left(-\infty, I_{\lambda,a, f}\left(u_{l o c \min }(a, f ; x)\right)+I_{\lambda,1,0}(\omega)\right) \\ & \cup\left(I_{\lambda,a, f}\left(u_{\text{loc } \min }(a, f ; x)\right)+I_{\lambda,1,0}(\omega), 2 I_{\lambda,1,0}(\omega)-\varepsilon\right) . \end{align*}

Now Lusternik–Schnirelmn (L–S) category theory will help us find the second and third positive solutions to ($\mathcal {P}$). Note that the $(L-S)$ category of $A$ with respect to $M$ is denoted by cat $(A,\, M)$. Particularly, cat $(M)$ denotes cat $(M,\, M)$.

The following proposition is vital to obtain the second and third solutions to ($\mathcal {P}$).

Proposition 7.5 Suppose $M$ is a Hilbert manifold and $\Psi \in C^{1}(M,\, \mathbb {R})$. Assume that for $c_{0} \in \mathbb {R}$ and $k \in \mathbb {N}$

  1. (i) $\Psi (x)$ satisfies $(P S)_{c}$ for $c \leq c_{0}.$

  2. (ii) $\operatorname {cat}(\left \{x \in M: \Psi (x) \leq c_{0}\right \}) \geq k.$

Then $\Psi (x)$ has at least $k$ critical points in $\left \{x \in M: \Psi (x) \leq c_{0}\right \}$.

Lemma 7.6 [Reference Adachi and Tanaka2], lemma 2.5

Let $N \geq 1$ and $M$ be a topological space. Assume that there exist two continuous mappings

\[ F: S^{N-1}_{\mathbb{B}^{N}}\left(:=\left\{x \in \mathbb{B}^{N}:d(x,0)=1\right\}\right) \rightarrow M, \quad G: M \rightarrow S^{N-1}_{\mathbb{B}^{N}} \]

such that $G \circ F$ is homotopic to the identity map Id: $S^{N-1}_{\mathbb {B}^{N}} \rightarrow S^{N-1}_{\mathbb {B}^{N}}$, i.e, there is a continuous $\operatorname {map} \eta :[0,\,1] \times S^{N-1}_{\mathbb {B}^{N}} \rightarrow S^{N-1}_{\mathbb {B}^{N}}$ such that

\begin{align*} & \eta(0, x)=(G \circ F)(x) \text{ for all } x \in S^{N-1}_{\mathbb{B}^{N}} \\ & \eta(1, x)=x \text{ for all } x \in S^{N-1}_{\mathbb{B}^{N}} \end{align*}

Then cat $(M) \geq 2$.

Taking into account the above lemma, our next goal will be to construct two mappings:

\begin{align*} & F: S^{N-1}_{\mathbb{B}^{N}} \rightarrow\left[J_{\lambda,a, f} \leq I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)-\varepsilon\right], \\ & G:\left[J_{\lambda,a, f} \leq I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)-\varepsilon\right] \rightarrow S^{N-1}_{\mathbb{B}^{N}} \end{align*}

such that $G \circ F$ is homotopic to the identity map.

Let us define $F_{R}: S^{N-1}_{\mathbb {B}^{N}} \rightarrow \tilde {\Sigma }_+$ as follows:

For $d(y,\,0) \geq R_{0}$, where $R_{0}$ is as found in Proposition 6.1, (6.1) holds for all $t > 0$. For $d(y,\,0) \geq R_{0}$, we will find $s=s(f,\, y)$ such that

\begin{align*} \mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))& =t_{a, f}\left(\frac{\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))}{\left\|\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))\right\|_{H_{\lambda}}}\right)\\ & \quad\times \frac{\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))}{\left\|\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))\right\|_{H_{\lambda}}}. \end{align*}

This implies

(7.6)\begin{equation} \left\|\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))\right\|_{H_{\lambda}}=t_{a, f}\left(\frac{\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))}{\left\|\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))\right\|_{H_{\lambda}}}\right). \end{equation}

Therefore,

\begin{align*} J_{\lambda,a, f}\left(\frac{\mathcal{U}_{a, f} (x)+sw(\tau_{{-}y}(x))}{\left\|\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))\right\|_{H_{\lambda}}}\right)& =I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)+s w(\tau_{{-}y}(x))\right)\\ & < I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w). \end{align*}

Proposition 7.7 [Reference Adachi and Tanaka2], proposition 2.6

Assume $a$ as in Theorem 1.1. Then there exists $d_{3} \in (0,\, d_{2}]$ and $R_{1}>R_{0}$ such that for any $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{3}$ and any $d(y,\,0) \geq R_{1}$, there exists a unique $s=s(f,\, y)>0$ in a neighbourhood of 1, satisfying (7.6). In addition,

\[ \left\{y \in \mathbb{B}^{N}:d(y,0)>R_{1}\right\} \rightarrow(0, \infty) ; \quad y \mapsto s(f, y) \]

is continuous.

Now we define a function $F_{R}: S^{N-1}_{\mathbb {B}^{N}} \rightarrow \tilde {\Sigma }_+$by

\[ F_{R}(y)=\frac{\mathcal{U}_{a, f} (x)+s(f, \frac{\tanh (\frac{R}{2})}{\tanh\frac{1}{2}} y) w(\tau_{-\frac{\tanh (\frac{R}{2})}{\tanh\frac{1}{2}} y}(x))}{\left\|{\mathcal{U}_{a, f} (x)+s(f, \frac{\tanh (\frac{R}{2})}{\tanh\frac{1}{2}} y) w(\tau_{-\frac{\tanh (\frac{R}{2})}{\tanh\frac{1}{2}} y}(x))}\right\|_{H_{\lambda}}} \]

for $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{3}$ and $R \geq R_{1}$.

Then we have,

Proposition 7.8 For $0<\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{3}$ and $R \geq R_{1}$, there exists $\varepsilon _{0} = \varepsilon _{0}(R)>0$ such that

\[ F_{R}\left(S^{N-1}_{\mathbb{B}^{N}}\right) \subseteq\left[J_{\lambda,a, f} \leq I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)-\varepsilon_{0}\right]. \]

Proof. The following expression follows from the construction of $F_{R}$

\[ F_{R}\left(S^{N-1}_{\mathbb{B}^{N}}\right) \subseteq\left[J_{\lambda,a, f}< I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)\right] \]

Hence the proposition follows as $F(S^{N-1}_{\mathbb {B}^{N}})$ is compact.

Thus we construct a mapping

\[ F_{R}: S^{N-1}_{\mathbb{B}^{N}} \rightarrow\left[J_{\lambda,a, f} \leq I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)-\varepsilon_{0}(R)\right] \]

Now the following lemma is crucial for constructing the mapping $G$.

Lemma 7.9 There exists $d_{4} \in (0,\, d_{3}]$ such that if $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{4}$, then

(7.7)\begin{equation} \left[J_{\lambda,a, f}< I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)\right] \subseteq\left[J_{\lambda,a, 0}< I_{\lambda,1,0}(w)+\delta_{0}\right] \end{equation}

where $\delta _{0}>0$ is as found in lemma 7.3.

Proof. for any $\varepsilon \in (0,\,1)$, the following holds using (3.12)

(7.8)\begin{equation} J_{\lambda,a, 0}(v) \leq(1-\varepsilon)^{-\frac{p+1}{p-1}}\left(J_{\lambda,a, f}(v)+\frac{1}{2 \varepsilon}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2}\right) \text{ for all } v \in \tilde{\Sigma}_+.\end{equation}

Now, if

\[ v \in\left[J_{\lambda,a, f}< I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)\right], \]

then

\[ J_{\lambda,a, f}(v)< I_{\lambda,1,0}(w) \]

because $I_{\lambda,a, f}(\mathcal {U}_{a, f} (x)) \leq 0$.

Therefore, (7.8) implies

\[ J_{\lambda,a, 0}(v) \leq(1-\varepsilon)^{-\frac{p+1}{p-1}}\left(I_{\lambda,1,0}(w)+\frac{1}{2 \varepsilon}\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}^{2}\right), \]

for all $v \in [J_{\lambda,a, f} \leq I_{\lambda,a, f}(\mathcal {U}_{a, f} (x))+I_{\lambda,1,0}(w)].$

Thus $v \in [J_{\lambda,a, 0} \leq (1-\varepsilon )^{-\frac {p+1}{p-1}}(I_{\lambda,1,0}(w)+\frac {1}{2 \varepsilon }\|f\|_{H^{-1}(\mathbb {B}^{N})}^{2})]$.

Since $\varepsilon \in (0,\,1)$ is arbitrary, we get

\[ v \in\left[J_{\lambda,a, 0}< I_{\lambda,1,0}(w)+\delta_{0}\right] \text{ for sufficiently small }\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}. \]

Hence (7.7) follows.

We are now in a position to define the function $G$ as follows:

\begin{align*} & G:\left[J_{\lambda,a, f}< I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)\right] \rightarrow S^{N-1}_{\mathbb{B}^{N}}\\ & G(v):= \tanh(\frac{1}{2})\frac{\int_{\mathbb{B}^{N}} \frac{x}{m}|v|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)}{\left|\int_{\mathbb{B}^{N}} \frac{x}{m} |v|^{p+1} \mathrm{~d} V_{\mathbb{B}^{N}}(x)\right|} \end{align*}

where $m$ as defined in Lemma 7.3, and the above function is well defined again by Lemma 7.3 and by Lemma 7.9. Besides, we will show that these developments, i.e., $F$ and $G$ will serve our purpose.

Proposition 7.10 For a sufficiently large $R \geq R_{1}$ and for sufficiently small $\|f\|_{H^{-1}(\mathbb {B}^{N})}>0$, we have,

\[ G \circ F_{R}: S^{N-1}_{\mathbb{B}^{N}} \rightarrow S^{N-1}_{\mathbb{B}^{N}} \]

is homotopic to identity.

Proof. The proof follows as in [Reference Adachi and Tanaka2].

We are now in a situation to establish our main results:

Proposition 7.11 For sufficiently large $R \geq R_{1}$,

\[ \text{ cat }\left(\left[J_{\lambda,a, f}< I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)\right)+I_{\lambda,1,0}(w)-\varepsilon_{0}(R)\right]\right) \geq 2 \]

Proof. The proof of the proposition follows by combining Lemma 7.6 and Proposition 7.10.

The above proposition led us to the following multiplicity results.

Theorem 7.12 Let $a$ satisfy the assumptions as in Theorem 1.1. Then there exists $d_{5}>0$ such that if $\|f\|_{H^{-1}(\mathbb {B}^{N})} \leq d_{5},\,\; f \geq 0,\,\; f \not \equiv 0$, then $J_{\lambda,a, f}(v)$ has at least two critical points in

\[ \left[J_{\lambda,a, f}< I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)(a, f ; x)\right)+I_{\lambda,1,0}(w)\right] \]

Proof. Combining Corollary 4.3, Proposition 7.11, and Proposition 7.5, the theorem follows.

We can now finish the proof of Theorem 1.1 as follows:

Firstly, set $u^{(1)}(x)=\mathcal {U}_{a, f} (x)$ as found in Proposition 7.1. Also, using (4.2) $u^{(1)}(x)$ satisfies

\[ I_{\lambda, a, f}\left(u^{(1)}(x)\right)\leq 0 . \]

By Theorem 7.12, $J_{\lambda,a, f}(v)$ has at least two critical points $v^{(2)}(x),\, v^{(3)}(x)$ in

\[ \left[J_{\lambda,a, f}< I_{\lambda,a, f}\left(\mathcal{U}_{a, f} (x)(a, f ; x)\right)+I_{\lambda,1,0}(\omega)\right] . \]

Then $u^{(2)}(x)=t_{a, f}(v^{(2)}) v^{(2)}(x),\, u^{(3)}(x)=t_{a, f}(v^{(3)}) v^{(3)}(x)$ will be the corresponding solutions to ($\mathcal {P}$) using Proposition 3.4. Moreover, by Lemma 3.2, we get

\begin{align*} 0 & < I_{\lambda,a, f}\left(u^{(k)}(x)\right)=J_{\lambda,a, f}\left(v^{(k)}(x)\right) \\ & < I_{\lambda,a, f}\left(u^{(1)}(x)\right)+I_{\lambda,1,0}(\omega) \quad \text{ for } k=2,3. \end{align*}

Hence $u^{(1)}(x),\, u^{(2)}(x),\, u^{(3)}(x)$ are distinct, and $\mathcal {P}$ possesses at least three positive solutions.

7.3. The case $a(x) \equiv 1 :$ Existence of the second solution

The Remark 3.1 suggests that we need to find the critical points of the energy functional $I_{\lambda,1,f}$ to guarantee the existence of solutions to (𝒫).

Proof. There exists $r_{1}>0$ such that

(7.9)\begin{equation} I_{\lambda,1,f}(u) > 0 \quad \text{ for } u \in S_{r_{1}}= \left\{u \in H^1\left(\mathbb{B}^{N}\right) \mid\|u\|=r_{1}\right\}, \end{equation}

where $r_{1}$ is as found in Proposition 7.1. Also, using Proposition 7.1 and (4.2), we found a positive solution $\mathcal {U}_{1, f} (x)$ of (𝒫) in $B(r_{1})$ with $I_{\lambda,1,f}(\mathcal {U}_{1, f} (x))\leqslant 0$.

Now fix $y$ such that (6.2) holds. Further, it is not difficult to find $t_{0}>0$ such that $I_{\lambda,1,f}(\mathcal {U}_{1, f} (x)+t w(\tau _{y}(x)))<0$ and $\|\mathcal {U}_{1, f} (x)+t w(\tau _{y}(x))\|_{H_{\lambda }} > r_{1}$ for $t \geqslant t_{0}$.

Set

\begin{align*} & \Gamma=\left\{\gamma \in C\left([0,1], H^{1}\left(\mathbb{B}^{N}\right)\right) \mid \gamma(0)=\mathcal{U}_{1, f},\;\gamma(1)=\mathcal{U}_{1, f}+t_{0} w\left(\tau_{y}\right)\right\}, \\ & c=\inf _{\gamma \in \Gamma} \max _{s \in[0,1]} I(\gamma(s)) . \end{align*}

Moreover, we have

(7.10)\begin{equation} 0 < c=\inf _{\gamma \in \Gamma} \max _{s\in[0,1]} I(\gamma(s))< I_{\lambda,1,f}\left(\mathcal{U}_{1, f} (x)\right)+I_{\lambda,1,0}(w), \end{equation}

which follows from (7.9) and 6.2.

Thus applying the mountain-pass theorem of Ambrosetti and Rabinowitz and then using PS characterisation (4), we get a solution of (𝒫), say $\mathcal {V}_{1, f}$, such that

(7.11)\begin{equation} c=I_{\lambda,1,f}\left(\mathcal{V}_{1, f} (x)\right)+m I_{\lambda,1,0}(w), \end{equation}

for some non-negative integer $m$. Furthermore, 7.11 and 7.10 imply $\mathcal {U}_{1, f} \neq \mathcal {V}_{1, f}$.

We have finished the proof of Theorem 1.4.

8. Proof of Theorem 1.3

In this section, we prove Theorem 1.3 by finding two positive critical points of the functional $I_{\lambda,a, f}$ (as defined in (3.3)). We essentially follow the approach in the spirit of Jeanjean [Reference Jeanjean22]. Towards that, we partition $H^{1}(\mathbb {B}^{N})$ into the following three disjoint sets:

\begin{align*} U_{1}& :=\left\{u \in H^{1}\left(\mathbb{B}^{N}\right): u=0 \text{ or } g(u)>0\right\}, \quad U_{2}:=\left\{u \in H^{1}\left(\mathbb{B}^{N}\right): g(u)<0\right\}, \\ U& :=\left\{u \in H^{1}\left(\mathbb{B}^{N}\right) \backslash\{0\}: g(u)=0\right\} \end{align*}

where $g: H^{1}(\mathbb {B}^{N}) \rightarrow \mathbb {R}$ is defined as

\[ g(u):=\|u\|_{H_{\lambda}}^{2}-p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1} . \]

Remark 8.1 Observe that $\|u\|_{H_{\lambda }}$ and $\|u\|_{L^{p+1}(\mathbb {B}^{N})}$ are bounded away from 0 for all $u \in U$. It follows from the fact that $p>1$ and Poincaré-Sobolev inequality on the hyperbolic space.

Further, define

(8.1)\begin{equation} c_{0}:=\inf _{U_{1}} I_{\lambda, a, f}(u) \quad \text{ and } \quad c_{1}:=\inf _{U} I_{\lambda, a, f}(u).\end{equation}

Remark 8.2 Clearly, $g(t u)=t^{2}\|u\|_{H_{\lambda }(\mathbb {B}^{N})}^{2}-t^{p+1} p\|a\|_{L^{\infty }(\mathbb {B}^{N})}\|u\|_{L^{p+1}(\mathbb {B}^{N})}^{p+1}$ for any $t>0$. Moreover, for $u \in H^{1}(\mathbb {B}^{N})$ with $\|u\|_{H_{\lambda }}=1$, there exists unique $t=t(u)$ such that $t u \in U$. On the other hand, $g(t u)=(t^{2}-t^{p+1})\|u\|_{H_{\lambda }}^{2}$ for any $u \in U$. Thus

\[ t u \in U_{1} \text{ for all } t \in(0,1) \quad \text{ and } \quad t u \in U_{2} \text{ for all } t>1 \text{. } \]

Lemma 8.3 The following inequality holds $\forall u \in U$,

\[ \frac{p-1}{p}\|u\|_{H_{\lambda}} \geq C_{p} S_{1,\lambda}^{\frac{p+1}{2(p-1)}}, \]

where $S_{1,\lambda }$ as defined in (3.10) and $C_{p}$ as defined in Theorem 1.3.

Proof. As $u \in U$, we get $\|u\|_{L^{p+1}}=\frac {\|u\|_{H_{\lambda }(\mathbb {B}^{N})}^{\frac {2}{p+1}}}{(p\|a\|_{L^{\infty }(\mathbb {B}^{N})})^{\frac {1}{p+1}}}.$ This, together with the definition of $S_{1,\lambda }$, gives

\[ \|u\|_{H_{\lambda}} \geq S_{1,\lambda}^{\frac{1}{2}}\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}=S_{1,\lambda}^{\frac{1}{2}} \frac{\|u\|_{H_{\lambda}}^{\frac{2}{p+1}}}{\left(p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\right)^{\frac{1}{p+1}}} \quad \forall u \in U . \]

Therefore, for all $u \in U$, we have

\[ \|u\|_{H_{\lambda}} \geq \frac{S_{1,\lambda}^{\frac{p+1}{2(p-1)}}}{\left(p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\right)^{\frac{1}{p-1}}}=\frac{p}{p-1} C_{p} S_{1,\lambda}^{\frac{p+1}{2(p-1)}}. \]

Thus the lemma follows.

Lemma 8.4 Suppose

(8.2)\begin{equation} \inf _{u \in H^{1}\left(\mathbb{B}^{N}\right),\;\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)=1}}\left\{C_{p}\|u\|_{H_{\lambda}}^{\frac{2 p}{p-1}}-\langle f, u\rangle\right\}>0,\end{equation}

where $C_{p}$ is defined in Theorem 1.3. Then $c_{0}< c_{1}$, where $c_{0}$ and $c_{1}$ are as defined in (8.1).

Proof. Define,

(8.3)\begin{equation} \tilde{J}(u):=\frac{1}{2}\|u\|_{H_{\lambda}}^{2}-\frac{\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}}{p+1}\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}-\langle f, u\rangle, \quad u \in H^{1}\left(\mathbb{B}^{N}\right).\end{equation}
  1. step 1: This step aims to show the existence of a constant $\alpha >0$ such that

    \[ \left.\frac{d}{d t} \tilde{J}(t u)\right|_{t=1} \geq \alpha \quad \forall u \in U . \]
    It directly follows from the definition of $\tilde {J}$ that

    \[ \left.\frac{d}{d t} \tilde{J}(t u)\right|_{t=1}=\|u\|_{H_{\lambda}}^{2}-\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}-{\langle f, u\rangle}. \]
    Therefore, from the definition of $U$ and substituting the value of $C_{p}$, we have for $u \in U$
    (8.4)\begin{equation} \begin{aligned} \left.\frac{d}{d t} \tilde{J}(t u)\right|_{t=1}=\frac{p-1}{p}\|u\|_{H_{\lambda}}^{2}-{\langle f, u\rangle} & =\left(p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\right)^{\frac{1}{p-1}} C_{p}\|u\|_{H_{\lambda}}^{2}-\langle f, u\rangle \\ & =\left(\frac{\|u\|_{H_{\lambda}}^{2}}{\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}}\right)^{\frac{1}{p-1}} C_{p}\|u\|_{H_{\lambda}\left(\mathbb{B}^{N}\right)}^{2}\\ & \quad -\langle f, u\rangle =C_{p} \frac{\|u\|_{H_{\lambda}}^{\frac{2p}{p-1}}}{\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{\frac{p+1}{p-1}}}-\langle f, u\rangle. \end{aligned} \end{equation}
    Furthermore, the given hypothesis, i.e., (8.2) implies there exists $d>0$ such that
    (8.5)\begin{equation} \inf _{u \in H^{1}\left(\mathbb{B}^{N}\right),\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)=1}}\left\{C_{p}\|u\|_{H_{\lambda}}^{\frac{2 p}{p-1}}-\langle f, u\rangle\right\} \geq d . \end{equation}
    Now,
    \begin{align*} (8.5) & \Longleftrightarrow C_{p} \frac{\|u\|_{H_{\lambda}\left(\mathbb{B}^{N}\right)}^{\frac{2 p}{p-1}}}{\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{\frac{p+1}{p-1}}}-\langle f, u\rangle \geq d, \quad\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}=1\\ & \Longleftrightarrow C_{p} \frac{\|u\|_{H_{\lambda}\left(\mathbb{B}^{N}\right)}^{\frac{2 p}{p-1}}}{\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{\frac{p+1}{p-1}}}-\langle f, u\rangle \geq d\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}, \quad u \in H^{1}\left(\mathbb{B}^{N}\right) \backslash\{0\} . \end{align*}

    Hence, step 1 follows by using the above estimate in (8.4) and by Remark (8.1).

  2. Step 2 Let $u_{n}$ be a minimizing sequence for $I_{\lambda,a, f}$ on $U$, i.e.,

    $I_{\lambda,a, f}(u_{n}) \rightarrow c_{1}$ and $\left \|u_{n}\right \|_{H_{\lambda }}^{2}=p\|a\|_{L^{\infty }(\mathbb {B}^{N})}\left \|u_{n}\right \|_{L^{p+1}(\mathbb {B}^{N})}^{p+1}$. Thus for $n$ large, we get

    \begin{align*} & c_{1}+o(1) \geq I_{\lambda,a, f}\left(u_{n}\right) \geq \tilde{J}\left(u_{n}\right) \geq\left(\frac{1}{2}-\frac{1}{p(p+1)}\right)\left\|u_{n}\right\|_{H_{\lambda}}^{2}\\ & \quad -\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}\left\|u_{n}\right\|_{H_{\lambda}} . \end{align*}
    As a result, $\left \{\tilde {J}(u_{n})\right \}$ is a bounded sequence. Also, $\left \|u_{n}\right \|_{H_{\lambda }}$ and $\left \|u_{n}\right \|_{L^{p+1}(\mathbb {B}^{N})}$ are bounded.

    Claim: $c_{0}<0$.

    To prove the above claim, it suffices to show that there exists $v \in U_{1}$ such that $I_{\lambda,a, f}(v)<0$. Remark (8.2) implies we can choose $u \in U$ such that $\langle f,\, u\rangle >0$. Therefore,

    \[ I_{\lambda,a, f}(t u) \leq t^{2}\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\left[\frac{p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}}{2}-\frac{t^{p-1}}{p+1}\right]-t\langle f, u\rangle<0 . \]
    for $t<<1$. Moreover, by Remark (8.2), $t u \in U_{1}$. This proves the claim.

    Now $I_{\lambda, a, f}(u_{n})<0$ for large $n$ by using the above claim. Consequently,

    \[ 0>I_{\lambda,a, f}\left(u_{n}\right) \geq\left(\frac{1}{2}-\frac{1}{p(p+1)}\right)\left\|u_{n}\right\|_{H_{\lambda}}^{2}-\left\langle f, u_{n}\right\rangle. \]
    Therefore, $p>1$ implies $\left \langle f,\, u_{n}\right \rangle >0$ for all large $n$ . As a a result, $\frac {d}{d t} \tilde {J}(t u_{n})<0$ for $t>0$ small enough. Thus, by Step 1, there exists $t_{n} \in (0,\,1)$ such that $\frac {d}{d t} \tilde {J}(t_{n} u_{n})=0$. In addition, $t_{n}$ is unique because
    \begin{align*} \frac{d^{2}}{d t^{2}} \tilde{J}(t u)& =\|u\|_{H_{\lambda}}^{2}-p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)} t^{p-1}\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\\ & =\left(1-t^{p-1}\right)\|u\|_{H_{\lambda}}^{2}>0, \;\forall u \in U,\; \forall t \in[0,1) . \end{align*}
  3. Step 3 The goal of this step is to prove the following

    (8.6)\begin{equation} \liminf _{n \rightarrow \infty}\left\{\tilde{J}\left(u_{n}\right)-\tilde{J}\left(t_{n} u_{n}\right)\right\}>0. \end{equation}
    We can notice that $\tilde {J}(u_{n})-\tilde {J}(t_{n} u_{n})=\int _{t_{n}}^{1} \frac {d}{d t}\left \{\tilde {J}(t u_{n})\right \} \mathrm {d} t$ and that for all $n \in \mathbb {N}$, there is $\xi _{n}>0$ such that $t_{n} \in (0,\,1-2 \xi _{n})$ and $\frac {d}{d t} \tilde {J}(t u_{n}) \geq \alpha$ for $t \in [1-\xi _{n},\, 1]$.

    To prove (8.6), it is enough to show that $\xi _{n}>0$ can be chosen independently of $n \in \mathbb {N}$. But this is true because, by step 1, we have $\left.\frac {d}{d t} \tilde {J}(t u_{n})\right |_{t=1} \geq \alpha$. Moreover, the boundedness of $\left \{u_{n}\right \}$ gives

    \begin{align*} \left|{\frac{d^{2}}{d t^{2}} \tilde{J}\left(t u_{n}\right)}\right|& =\left|\left\|u_{n}\right\|_{H_{\lambda}\left(\mathbb{B}^{N}\right)}^{2}-p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)} t^{p-1}\left\|u_{n}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\right|\\ & \quad =\left|\left(1-t^{p-1}\right)\left\|u_{n}\right\|_{H_{\lambda}}^{2}\right|\leq C, \end{align*}
    for all $n \geq 1$ and $t \in [0,\,1]$.
  4. Step 4 It straight away follows from the definition of $I_{\lambda,a, f}$ and $\tilde {J}$ that $\frac {d}{d t} I_{\lambda,a, f}(t u) \geq \frac {d}{d t} \tilde {J}(t u)$ for all $u \in H^{1}(\mathbb {B}^{N})$ and for all $t>0$. Therefore,

    \begin{align*} I_{\lambda,a, f}\left(u_{n}\right)-I_{\lambda,a, f}\left(t_{n} u_{n}\right)& =\int_{t_{n}}^{1} \frac{d}{d t}\left(I_{\lambda,a, f}\left(t u_{n}\right)\right) \mathrm{d} t \geq \int_{t_{n}}^{1} \frac{d}{d t} \tilde{J}\left(t u_{n}\right) \mathrm{d} t\\ & =\tilde{J}\left(u_{n}\right)-\tilde{J}\left(t_{n} u_{n}\right). \end{align*}
    Since $\left \{u_{n}\right \} \in U$ is a minimizing sequence for $I_{\lambda, a, f}$, and $t_{n} u_{n} \in U_{1}$, we deduce using (8.6) that
    \[ c_{0}=\inf _{u \in U_{1}} I_{\lambda,a, f}(u)<\inf _{u \in U} I_{\lambda,a, f}(u) = c_{1} \]

This completes the proof of the lemma.

It is worth mentioning explicitly the problem at infinity corresponding to (3.4) :

(8.7)\begin{equation} -\Delta_{\mathbb{B}^{N}} w-\lambda w=w_+^{p}, \; \text{ in } \mathbb{B}^{N}, \; w \in H^{1}\left(\mathbb{B}^{N}\right). \end{equation}

and the associated functional $I_{\lambda,1,0}: H^{1}(\mathbb {B}^{N}) \rightarrow \mathbb {R}$ defined by

\[ I_{\lambda,1,0}(u)=\frac{1}{2}\|u\|_{H_{\lambda}\left(\mathbb{B}^{N}\right)}^{2}-\frac{1}{p+1} \int_{\mathbb{B}^{N}} u_+^{p+1} \mathrm{~d}V_{\mathbb{B}^{N}} . \]

Define,

(8.8)\begin{equation} X_{1}:=\left\{u \in H^{1}\left(\mathbb{B}^{N}\right) \backslash\{0\}:\left(I_{\lambda,1,0}\right)^{\prime}(u)=0\right\}, \quad S^{\infty}:=\inf _{X_{1}} I_{\lambda,1,0}. \end{equation}

Remark 8.5 We can easily see $I_{\lambda,1,0}(u)=\frac {p-1}{2(p+1)}\|u\|_{H_{\lambda }}^{2}$ on $X_{1}$. Further,(3.10) also gives $\|u\|_{H_{\lambda }}^{2} \geq S_{1,\lambda }^{\frac {p+1}{p-1}}$ on $X_{1}$. Consequently, $S^{\infty } \geq$ $\frac {p-1}{2(p+1)} S_{1,\lambda }^{\frac {p+1}{p-1}}>0$. Moreover, it is known from [Reference Mancini and Sandeep29] that $S_{1,\lambda }$ is achieved by unique positive radial solution $w$ of (3.1). Therefore,

\[ I_{\lambda,1,0}\left(w\right)=\frac{p-1}{2(p+1)} S_{1,\lambda}^{\frac{p+1}{p-1}} . \]

Thus $S^{\infty }$ is achieved by $w$.

Proposition 8.6 Suppose (8.2) and all the assumptions in the Theorem 1.3 hold. Then there exists a critical point $u_{0} \in U_{1}$ of $I_{\lambda,a, f}$ such that $I_{\lambda,a, f}(u_{0})=c_{0}$. In particular, $u_{0}$ is a weak positive solution to ($\mathcal {P}$).

Proof. We divide the proof into the following few steps.

  1. Step 1 $c_{0}>-\infty.$

    As $I_{\lambda,a, f}(u) \geq \tilde {J}(u)$ so, to prove Step 1, it is enough to show that $\tilde {J}$ is bounded from below. The definition of $U_{1}$ implies

    (8.9)\begin{equation} \tilde{J}(u) \geq\left[\frac{1}{2}-\frac{1}{p(p+1)}\right]\|u\|_{H_{\lambda}}^{2}-\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}\|u\|_{H_{\lambda}} \text{ for all } u \in U_{1} . \end{equation}
    Since the RHS of the above inequality is a quadratic function in $\|u\|_{H_{\lambda }}$ implies $\tilde {J}$ is bounded from below. Hence Step 1 follows.
  2. Step 2 We aim to find a bounded PS sequence $\left \{u_{n}\right \} \subset U_{1}$ for $I_{\lambda,a,f}$ at the level $c_{0}$.

    Let $\left \{u_{n}\right \} \subset \bar {U}_{1}$ such that $I_{\lambda, a, f}(u_{n}) \rightarrow c_{0}$. As $I_{\lambda,a, f}(u) \geq \tilde {J}(u)$ so, from (8.9), we get $\left \{u_{n}\right \}$ is a bounded sequence. Since by Lemma 8.4, $c_{0}< c_{1}$, without restriction we can assume $u_{n} \in U_{1}$. Therefore, by Ekeland's variational principle, we can extract a PS sequence from $\left \{u_{n}\right \}$ in $U_{1}$ for $I_{\lambda,a, f}$ at the level $c_{0}$. We still denote this PS sequence by $\left \{u_{n}\right \}$. Thus step 2 follows.

  3. Step 3 In this step, we show that there exists $u_{0} \in U_{1}$ such that $u_{n} \rightarrow u_{0}$ in $H^{1}(\mathbb {B}^{N})$.

    Applying PS decomposition (4) gives

    (8.10)\begin{equation} u_{n}-u_{0}-\sum_{i=1}^{m} w^{i}\left(\tau_{n}^{i}(x)\right) \rightarrow 0 \text{ in } H^{1}\left(\mathbb{B}^{N}\right) \end{equation}
    for some $u_{0}$ such that $(I_{\lambda,a, f})^{\prime }(u_{0})=0$ and some appropriate $w^{i}$ and $\left \{\tau _{n}^{i}\right \}$. We will proceed by the method of contradiction to show that $m=0$, which in turn will imply step 3. Assume that there is $w^{i} \neq 0$ for $i \in \{1,\,2,\, \cdots,\, m\}$ such that $(I_{\lambda,1,0})^{\prime }(w^{i})=0$, i.e, $\left \|w^{i}\right \|_{H_{\lambda }}^{2}=\int _{\mathbb {B}^{N}}(w^{i})_+^{p+1} \mathrm {~d}V_{\mathbb {B}^{N}}$. Therefore,
    \begin{align*} g\left(w^{i}\right)& =\left\|w^{i}\right\|_{H_{\lambda}}^{2}-p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\left\|w^{i}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\\ & =\int_{\mathbb{B}^{N}}\left(w^{i}\right)_+^{p+1} \mathrm{~d}V_{\mathbb{B}^{N}}-p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)} \int_{\mathbb{B}^{N}}\left|w^{i}\right|^{p+1} \mathrm{~d}V_{\mathbb{B}^{N}} \\ & \leq\left\|w^{i}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\left(1-p\|a\|_{L^{\infty}\left(\mathbb{B}^{N}\right)}\right)<0, \end{align*}
    where for the last inequality, we have used that $p>1$ and $\|a\|_{L^{\infty }(\mathbb {B}^{N})} \geq 1$. Further, using the Remark 8.5, we get $I_{\lambda,1,0}(w^{i}) \geq S^{\infty }>0$ for all $1 \leq i \leq m$. Therefore, $I_{\lambda,a, f}(u_{n}) \rightarrow I_{\lambda,a, f}(u_{0})+\sum _{i=1}^{m} I_{\lambda,1,0}(w_{i})$ implies $I_{\lambda,a, f}(u_{0})< c_{0}$. Thus $u_{0} \notin U_{1}$, i.e., $g(u_{0}) \leq 0 .$

    We have $g(u_{n}) \geq 0$ because $u_{n} \in U_{1}$. We now compute $g(u_{0}+\sum _{i=1}^{m} w^{i}(\tau _{n}^{i}(x)))$. Thus (8.10) and uniform continuity of $g$ implies

    (8.11)\begin{equation} 0 \leq \liminf _{n \rightarrow \infty} g\left(u_{n}\right)=\liminf _{n \rightarrow \infty} g\left(u_{0}+\sum_{i=1}^{m} w^{i}\left(\tau_{n}^{i}(x)\right)\right).\end{equation}
    On the other hand, as $\tau _{n}^{i}(0) \rightarrow \infty,\,\; d(\tau _{n}^{i}(0),\,\tau _{n}^{j}(0))\rightarrow \infty$ for $1 \leq i \neq j \leq m$ the supports of $u_{0}(\bullet )$ and $w^{i}(\tau _{n}^{i}(\bullet ))$ are going increasingly far away as $n \rightarrow \infty$. Therefore,
    \begin{align*} & \lim _{n \rightarrow \infty} g\left(u_{0}+\sum_{i=1}^{m} w^{i}\left(\tau_{n}^{i}(x)\right)\right)=g\left(u_{0}\right)\\ & \quad +\lim _{n \rightarrow \infty} \sum_{i=1}^{m} g\left(w^{i}\left(\tau_{n}^{i}(x)\right)\right)=g\left(u_{0}\right)+\sum_{i=1}^{m} g\left(w^{i}\right), \end{align*}
    where the last equality follows from the translation invariance of $g$. Now because $g(u_{0}) \leq 0$ and $g(w^{i})<0$ for $1\leq i \leq m$, we get a contradiction to (8.11). This proves step 3.
  4. Step 4 Using the previous steps, we can conclude that $I_{\lambda,a, f}(u_{0})=c_{0}$ and $(I_{\lambda,a, f})^{\prime }(u_{0})=0$. Thus, $u_{0}$ is a weak solution to (3.4); combining this with Remark 3.1, we complete the proof of the proposition.

Proposition 8.7 Assume (8.2) holds. Then $I_{\lambda,a, f}$ has a second critical point $v_{0} \neq u_{0}$. In particular, $v_{0}$ is a positive solution to ($\mathcal {P}$).

Proof. For $u_{0}$ to be the critical point found in Proposition 8.6 and $w$ to be as in Remark 8.5, set $w_{t}(x):=t w(x).$

Claim 1: $u_{0}+w_{t} \in U_{2}$ for $t>0$ large enough.

As $p>1$ and $\|a\|_{L^{\infty }(\mathbb {B}^{N})} \geq 1$, we have

\begin{align*} g\left(u_{0}+w_{t}\right) & \leq\left\|u_{0}\right\|_{H_{\lambda}}^{2}+\left\|w_{t}\right\|_{H_{\lambda}}^{2}+2\left\langle u_{0}, w_{t}\right\rangle_{H_{\lambda}}\\ & \quad -p\left(\left\|u_{0}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}+\left\|w_{t}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\right) \\ & \leq(1+\varepsilon)\left\|w_{t}\right\|_{H_{\lambda}}^{2}+(1+C(\varepsilon))\left\|u_{0}\right\|_{H_{\lambda}}^{2}\\ & \quad -p\left(\left\|u_{0}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}+\left\|w_{t}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\right)\\ & = t^2(1+\varepsilon)\left\|w\right\|_{H_{\lambda}}^{2}+(1+C(\varepsilon))\left\|u_{0}\right\|_{H_{\lambda}}^{2}\\ & \quad -p\left(\left\|u_{0}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}+t^{p+1}\left\|w\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}\right), \end{align*}

where the second last step follows from Young's inequality with $\varepsilon >0$. Moreover, as $w$ is the solution to (3.1) implies

\[ \left\|w\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}=\left\|w\right\|_{H_{\lambda}}^{2}. \]

Finally,

\[ g\left(u_{0}+w_{t}\right) \leq(1+C(\varepsilon))\left\|u_{0}\right\|_{H_{\lambda}}^{2}-p\left\|u_{0}\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1}+\left\|w\right\|_{H_{\lambda}}^{2}\left[(1+\varepsilon) t^{2}-p t^{p+1}\right] \]

Thus choosing $\varepsilon >0$ such that $1+\varepsilon < p$ gives $g(u_{0}+w_{t})<0$ for $t>0$ large enough. Hence the claim follows.

Claim 2: $I_{\lambda,a, f}(u_{0}+w_{t})< I_{\lambda,a, f}(u_{0})+I_{\lambda,1,0}(w_{t}) \forall t>0$.

As $u_{0},\, w_{t}>0$, using $w_{t}$ as the test function for (3.4) yields

\[ \left\langle u_{0}, w_{t}\right\rangle_{H_{\lambda}}=\int_{\mathbb{B}^{N}} a(x) u_{0}^{p} w_{t}\mathrm{~d}V_{\mathbb{B}^{N}}+\left\langle f, w_{t}\right\rangle . \]

Therefore, utilizing the above expression and assumption $a \geq 1$, we compute the following

\begin{align*} I_{\lambda,a, f}\left(u_{0}+w_{t}\right) & = \frac{1}{2}\left\|u_{0}\right\|_{H_{\lambda}}^{2}+\frac{1}{2}\left\|w_{t}\right\|_{H_{\lambda}}^{2}+\left\langle u_{0}, w_{t}\right\rangle_{H_{\lambda}} \\ & -\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left(u_{0}+w_{t}\right)^{p+1} \mathrm{~d}V_{\mathbb{B}^{N}}(x)-\left\langle f, u_{0}\right\rangle-\left\langle f, w_{t}\right\rangle \\ & \quad= I_{\lambda,a, f}\left(u_{0}\right)+I_{\lambda,1,0}\left(w_{t}\right)+\left\langle u_{0}, w_{t}\right\rangle_{H_{\lambda}}\\ & \quad +\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x) u_{0}^{p+1} \mathrm{~d}V_{\mathbb{B}^{N}}(x)\\ & \quad+\frac{1}{p+1} \int_{\mathbb{B}^{N}} w_{t}^{p+1} \mathrm{~d}V_{\mathbb{B}^{N}}\\ & \quad -\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left(u_{0}+w_{t}\right)^{p+1} \mathrm{~d}V_{\mathbb{B}^{N}}-\left\langle f, w_{t}\right\rangle \\ & \leq I_{\lambda,a, f}\left(u_{0}\right)+I_{\lambda,1,0}\left(w_{t}\right)\\ & \quad+\frac{1}{p+1} \int_{\mathbb{B}^{N}} a(x)\left[(p+1) u_{0}^{p} w_{t}+u_{0}^{p+1}+w_{t}^{p+1}\right.\\ & \quad\left. -\,\left(u_{0}+w_{t}\right)^{p+1}\right] \mathrm{~d}V_{\mathbb{B}^{N}}(x) \\ < & I_{\lambda,a, f}\left(u_{0}\right)+I_{\lambda,1,0}\left(w_{t}\right) \end{align*}

This proves the claim. Further, the straightforward calculation gives

(8.12)\begin{equation} I_{\lambda,1,0}\left(w_{t}\right)=\frac{t^{2}}{2}\left\|w\right\|_{H_{\lambda}}^{2}-\frac{t^{p+1}}{p+1}\left\|w\right\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{p+1} \rightarrow-\infty \quad \text{ as } \quad t \rightarrow \infty. \end{equation}

From (8.12) and Remark 8.5, we have

\[ \sup _{t>0} I_{\lambda,1,0}\left(w_{t}\right)=I_{\lambda,1,0}\left(w_{1}\right)=I_{\lambda,1,0}\left(w\right)=S^{\infty}. \]

Combing this with Claim 2 yields

(8.13)\begin{equation} I_{\lambda,a, f}\left(u_{0}+w_{t}\right)< I_{\lambda,a, f}\left(u_{0}\right)+S^{\infty} \quad \forall t>0 . \end{equation}

Claim 2, together with (8.12), results in

(8.14)\begin{equation} I_{\lambda,a, f}\left(u_{0}+w_{t}\right)< I_{\lambda,a, f}\left(u_{0}\right) \quad \text{ for } \quad t \text{ large enough. }\end{equation}

We now fix $t_{0}>0$ large enough such that (8.14) and Claim 1 are satisfied. Then set

\[ \gamma:=\inf _{i \in \Gamma} \max _{t \in[0,1]} I_{\lambda,a, f}(i(t)), \]

where

\[ \Gamma:=\left\{i \in C\left([0,1], H^{1}\left(\mathbb{B}^{N}\right)\right): i(0)=u_{0}, \; i(1)=u_{0}+w_{t_{0}}\right\} \]

As $u_{0} \in U_{1}$ and $u_{0}+w_{t_{0}} \in U_{2}$, for every $i \in \Gamma$, there exists $t_{i} \in (0,\,1)$ such that $i(t_{i}) \in U$. Therefore,

\[ \max _{t \in[0,1]} I_{\lambda,a, f}(i(t)) \geq I_{\lambda,a, f}\left(i\left(t_{i}\right)\right) \geq \inf _{U} I_{\lambda,a, f}(u)=c_{1} . \]

Thus, using Lemma 8.4, we have $\gamma \geq c_{1}>c_{0}=I_{\lambda,a, f}(u_{0})$.

Claim 3: For $S^{\infty }$, as defined in (8.8), $\gamma < I_{\lambda,a, f}(u_{0})+S^{\infty }$.

Observe that $\lim _{t \rightarrow 0}\left \|w_{t}\right \|_{H_{\lambda }}=0$. Thus, if we define $\tilde {i}(t)=u_{0}+w_{tt_{0}}$,

then $\lim _{t \rightarrow 0}\left \|\tilde {i}(t)-u_{0}\right \|_{H_{\lambda }}=0$. As a result, $\tilde {i} \in \Gamma$. Therefore, using (8.13) will give us

\[ \gamma \leq \max _{t \in[0,1]} I_{\lambda,a, f}(\tilde{i}(t))=\max _{t \in[0,1]} I_{\lambda,a, f}\left(u_{0}+w_{t t_{0}}\right)< I_{\lambda,a, f}\left(u_{0}\right)+S^{\infty} \]

Hence the claim follows. Thus

\[ I_{\lambda,a, f}\left(u_{0}\right)<\gamma< I_{\lambda,a, f}\left(u_{0}\right)+S^{\infty} . \]

Applying Ekeland's variational principle, there exists a PS sequence $\left \{u_{n}\right \}$ for $I_{\lambda,a, f}$ at the level $\gamma$. Also, note that $\left \{u_{n}\right \}$ is a bounded sequence. Further, from PS decomposition and Remark (8.5), we have $S^{\infty }=I_{\lambda,1,0}(w)$ and $u_{n} \rightarrow v_{0}$ for some $v_{0} \in H^{1}(\mathbb {B}^{N})$ such that $(I_{\lambda,a, f})^{\prime }(v_{0})=0$ and $I_{\lambda,a, f}(v_{0})=\gamma$. Further, as $I_{\lambda,a, f}(u_{0})<\gamma$, we conclude $v_{0} \neq u_{0}$. Finally, $(I_{\lambda,a, f})^{\prime }(v_{0})=0$, along with the Remark 3.1, completes the proof of the proposition.

Lemma 8.8 If $\|f\|_{H^{-1}(\mathbb {B}^{N})}< C_{p} S_{1,\lambda }^{\frac {p+1}{2(p-1)}}$, then (8.2) holds.

Proof. We can find an $\varepsilon >0$ such that $\|f\|_{H^{-1}(\mathbb {B}^{N})}< C_{p} S_{1,\lambda }^{\frac {p+1}{2(p-1)}}-\varepsilon$ using the given assumption. Therefore, using Lemma 8.3. we have

\begin{align*} & \langle f, u\rangle \leq\|f\|_{H^{{-}1}\left(\mathbb{B}^{N}\right)}\|u\|_{H_{\lambda}}<\left[C_{p} S_{1,\lambda}^{\frac{p+1}{2(p-1)}}-\varepsilon\right]\|u\|_{H_{\lambda}\left(\mathbb{B}^{N}\right)} \\ & \quad \leq \frac{p-1}{p}\|u\|_{H_{\lambda}}^{2}-\varepsilon\|u\|_{H_{\lambda}\left(\mathbb{B}^{N}\right)},\; \forall u \in U. \end{align*}

Thus

\[ \inf _{U}\left[\frac{p-1}{p}\|u\|_{H_{\lambda}}^{2}-\langle f, u\rangle\right] \geq \varepsilon \inf _{U}\|u\|_{H_{\lambda}}. \]

Moreover, Remark 8.1 gives us that $\|u\|_{H_{\lambda }}$ is bounded away from 0 on $U$, so the above expression yields

\[ \inf _{U}\left[\frac{p-1}{p}\|u\|_{H_{\lambda}}^{2}-\langle f, u\rangle\right]>0 . \]

On the other hand,

\begin{align*} (8.2) & \Leftrightarrow C_{p} \frac{\|u\|_{H_{\lambda}}^{\frac{2 p}{p-1}}}{\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{\frac{p+1}{p-1}}}-\langle f, u\rangle>0 \quad \text{ for } \quad\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}=1 \\ & \Leftrightarrow \frac{\|u\|_{H_{\lambda}}^{\frac{2 p}{p-1}}}{\|u\|_{L^{p+1}\left(\mathbb{B}^{N}\right)}^{\frac{p+1}{p-1}}}-\langle f, u\rangle>0 \quad \text{ for } \quad u \in U\\ & \Leftrightarrow \frac{p-1}{p}\|u\|_{H_{\lambda}}^{2}-\langle f, u\rangle >0 \quad \text{ for } \quad u \in U. \end{align*}

Hence the lemma follows.

Combining Proposition 8.6 and Proposition 8.7 with Lemma 8.8, we conclude the proof of Theorem 1.3.

Acknowledgements

D. Ganguly is partially supported by the INSPIRE faculty fellowship (IFA17-MA98). D. Gupta is supported by the PMRF fellowship.

Conflict of interest

The authors declare that they have no conflict of interest.

References

Adachi, S.. A positive solution of a nonhomogeneous elliptic equation in $\mathbb {R}^N$ with G-invariant nonlinearity. Comm. Partial Differ. Equ. 27 (2002), 122.CrossRefGoogle Scholar
Adachi, S. and Tanaka, K.. Four positive solutions for the semilinear elliptic equation: $-\Delta u+u=a(x)u^p+f(x)$ in $\mathbb {R}^N$. Calc. Var. Partial Differ. Equ. 11 (2000), 6395.CrossRefGoogle Scholar
Adachi, S. and Tanaka, K.. Existence of positive solutions for a class of nonhomogeneous elliptic equations in $\mathbb {R}^N$. Nonlinear Anal. 48 (2002), 685705.Ser. A: Theory Methods.CrossRefGoogle Scholar
Bahri, A. and Li, Y. Y.. On a min–max procedure for the existence of a positive solution for certain scalar field equations in $\mathbb {R}^N$. Rev. Mat. Iberoamericana 6 (1990), 115.CrossRefGoogle Scholar
Bahri. A, A. and Lions, P. L.. On the existence of a positive solution of semilinear elliptic equations in unbounded domains. Ann. Inst. H. Poincaré Anal. Non Linéaire 14 (1997), 365413.CrossRefGoogle Scholar
Berchio, E., Ferrero, A. and Grillo, G.. Stability and qualitative properties of radial solutions of the Lane-Emden-Fowler equation on Riemannian models. J. Math. Pures Appl. 102 (2014), 135.CrossRefGoogle Scholar
Berestycki, H. and Lions, P. L.. Nonlinear scalar field equations, I. Existence of a ground state. Arch. Rational Mech. Anal. 82 (1983), 313345.CrossRefGoogle Scholar
Berestycki, H. and Lions, P. L.. Nonlinear scalar field equations, II. Existence of infinitely many solutions. Arch. Rational Mech. Anal. 82 (1983), 347375.CrossRefGoogle Scholar
Bhakta, M. and Sandeep, K.. Poincaré-Sobolev equations in the hyperbolic space. Calc. Var. Partial Differ. Equ. 44 (2012), 247269.CrossRefGoogle Scholar
Bonforte, M., Gazzola, F., Grillo, G. and Vazquez, J. L.. Classification of radial solutions to the Emden-Fowler equation on the hyperbolic space. Calc. Var. Partial Differ. Equ. 46 (2013), 375401.CrossRefGoogle Scholar
Brezis, H. and Nirenberg, L.. Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents. Comm. Pure Appl. Math. 36 (1983), 437477.CrossRefGoogle Scholar
Cao, D. M. and Zhou, H. S.. Multiple positive solutions of nonhomogeneous semilinear elliptic equations in $\mathbb {R}^N$. Proc. Roy. Soc. Edinburgh 126A (1996), 443463.Google Scholar
Cerami, G.. Some nonlinear elliptic problems in unbounded domains. Milan J. Math. 74 (2006), 4777.CrossRefGoogle Scholar
Cerami, G., Passaseo, D. and Solimini, S.. Infinitely many positive solutions to some scalar field equations with nonsymmetric coefficients. Commun. Pure Appl. Math. 66 (2013), 372413.CrossRefGoogle Scholar
Cerami, G.. Existence and multiplicity results for some scalar fields equations. Anal. Top. Nonlinear Differ. Equ., Progress Nonlin. Differ. Equ. Their Appl. 85 (2014), 207230.Google Scholar
Cerami, G., Passaseo, D. and SoliminiL, S.. Nonlinear scalar field equations: the existence of a positive solution with infinitely many bumps. Ann. Inst. H. Poincaré C Anal. Non Linéaire 32 (2015), 2340.CrossRefGoogle Scholar
Clapp, M. and Weth, T.. Multiple solutions of nonlinear scalar field equations. Comm. Partial Differ. Equ. 29 (2004), 15331554.CrossRefGoogle Scholar
Ding, W. Y. and Ni, W. M.. On the existence of positive entire solutions of a semilinear elliptic equation. Arch. Rational Mech. Anal. 91 (1986), 283308.CrossRefGoogle Scholar
Ganguly, D. and Sandeep, K.. Sign changing solutions of the Brezis–Nirenberg problem in the hyperbolic space. Calc. Var. Partial Differ. Equ. 50 (2014), 6991.CrossRefGoogle Scholar
Ganguly, D. and Sandeep, K.. Nondegeneracy of positive solutions of semilinear elliptic problems in the hyperbolic space. Commun. Contemp. Math 17 (2015), 1450019.CrossRefGoogle Scholar
Ganguly, D., Gupta, D. and Sreenadh, K.. Existence of high energy positive solutions for a class of elliptic equations in the hyperbolic space. J. Geom. Anal. 33 (2023), 79.CrossRefGoogle Scholar
Jeanjean, L.. Two positive solutions for a class of nonhomogeneous elliptic equations. Differ. Integral Equ. 10 (1997), 609624.Google Scholar
Li, J., Lu, G. and Yan, Q.. Higher order Brezis–Nirenberg problem on hyperbolic spaces: existence, nonexistence and symmetry of solutions. Adv. Math. 399 (2022), 108259.CrossRefGoogle Scholar
Lions, P. L.. The concentration-compactness principle in the calculus of variations. The locally compact case. I. Ann. Inst. H. Poincaré Anal. Linéaire 1. 1 (1984), 109145.CrossRefGoogle Scholar
Lions, P. L.. The concentration-compactness principle in the calculus of variations. The locally compact case. II. Ann. Inst. H. Poincaré Anal. Non Linéaire 1. 4 (1984), 223283.CrossRefGoogle Scholar
Lu, G. and Yang, Q.. Paneitz operators on hyperbolic spaces and high order Hardy–Sobolev-Maz'ya inequalities on half spaces. Am. J. Math. 141 (2019), 17771816.CrossRefGoogle Scholar
Lu, G. and Yang, Q.. Green's functions of Paneitz and GJMS operators on hyperbolic spaces and sharp Hardy–Sobolev-Maz'ya inequalities on half spaces. Adv. Math. 42 (2022), 108156.CrossRefGoogle Scholar
Malchiodi, A.. Multiple positive solutions of some elliptic equations in $\mathbb {R}^N$. Nonlinear Anal.: Theory Method Appl. 43 (2001), 159172. .CrossRefGoogle Scholar
Mancini, G. and Sandeep, K.. On a semilinear elliptic equation in $\mathbb {B}^N$. Ann. Sc. Norm. Super. Pisa Cl. Sci. 7 (2008), 635671.Google Scholar
Maz'ja, V. G., Sobolev Spaces (1985), Springer Series in Soviet Mathematics, Springer-Verlag, Berlin, Translated from the Russian by T.O. Shaposhnikova.Google Scholar
Molle, R., Musso, M. and Passaseo, D.. Positive solutions for a class of nonlinear elliptic problems in $\mathbb {R}^N$. Proc. Roy. Soc. Edinburgh Sect. A 130 (2000), 141166.CrossRefGoogle Scholar
Ratcliffe, J .G., Foundations of Hyperbolic Manifolds, Graduate Texts in Mathematics, Vol. 149 (Springer, New York, 1994).CrossRefGoogle Scholar
Struwe, M.. Variational methods. Applications to nonlinear partial differential equations and Hamiltonian systems (Berlin: Springer-Verlag, 1990).Google Scholar
Zhu, Xi-P.. A perturbation Result on Positive Entire Solutions of Semilinear Elliptic Equation. J. Differ. Equ. 92 (1991), 163178.CrossRefGoogle Scholar