Abstract
The problem of finding a conformal metric on the unit ball \(\mathbb {B}^{n}\), \(n\geq3\), with prescribed mean curvature \(H(x)\) on \(\partial \mathbb{B}^{n}\) was widely studied under the assumption that H is flat near its critical point of order \(\beta\leq n-1\). In this paper, we consider the case of \(\beta>n-1\). We study the lack of compactness of the problem and extend some known existence results.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
1 Introduction and main results
This paper is concerned with a boundary value problem associated to the conformal deformation of metrics. Let \(\mathbb{B}^{n}\) be the unit ball of \(\mathbb{R}^{n}\), \(n\geq3\), equipped with its Euclidean metric \(g_{0}\). Its boundary \(\mathbb{S}^{n-1}\) is endowed with the standard metric, still denoted by \(g_{0}\). Given a function \(H: \mathbb {S}^{n-1}\longrightarrow\mathbb{R}\), we study the problem of finding a conformal metric \(g= u^{\frac{4}{n-2}}g_{0}\) whose scalar curvature vanishes in \(\mathbb{B}^{n}\) and the corresponding mean curvature on \(\mathbb{S}^{n-1}\) is H. More precisely, we investigate the existence of solutions of the following nonlinear PDE with the Sobolev trace critical exponent:
where ν is the outward unit normal vector on \(\mathbb{S}^{n-1}\) with respect to the metric \(g_{0}\).
Equation (1.1) has a variational structure. There is a correspondence between the solutions of (1.1) and the positive critical points of the Euler-Lagrange functional J associated to problem (1.1) defined in Section 2 of this paper. Due to the presence of the critical exponent in the second equation of (1.1), the functional J fails to satisfy the Palais-Smale condition. From the variational view point, it is the occurrence of the loss of compactness and blow-up phenomena. Such a fact follows from the noncompactness of the trace Sobolev embedding \(H^{1}(\mathbb {B}^{n})\hookrightarrow L^{\frac{2(n-1)}{n-2}}(S^{n-1})\).
Besides the obvious necessary condition that H must be positive somewhere, there is a Kazdan-Warner-type obstruction to solve the problem; see [1]. Many works where devoted to the problem trying to understand under what conditions on H equation (1.1) is solvable. See [2] and [3] for \(n=3\), [4] and [5] for \(n=4\), and [6–12] for higher-dimensional cases. For related problems, we refer to [6, 13–22].
Abdelhedi and Chtioui [23] gave an existence result to problem (1.1) in dimension \(n\geq4\) through an Euler-Hopf criterium reminiscent to the one given by Li [20] for the prescribed scalar curvature problem on \(S^{n}\), \(n\geq3\). Their main assumption is the so-called β-flatness condition. Namely, let \(H: \mathbb {S}^{n-1}\rightarrow\mathbb{R}\) be a \(C^{1}\) positive function. We say that H satisfies the β-flatness condition \((f)_{\beta}\): for each critical point y of H, there exists a real number \(\beta= \beta(y)\) such that, in some geodesic normal coordinates centered at y, we have
where \(b_{i}=b_{i}(y)\in\mathbb{R}^{*}\), \(\sum_{i=1}^{n}b_{i}\neq0\), and \(\sum_{s=0}^{[\beta]}\vert \nabla^{s}R(z)\vert \vert z\vert ^{-\beta+s}=o(1)\) as z goes to zero. Here \(\nabla^{s}\) denotes all possible derivatives of order s, and \([\beta]\) is the integer part of β.
Set
and, for any \(y\in\mathcal{K}\), denote
Then, (1.1) has a solution, provided that
where \(\mathcal{K}^{+}= \{y\in\mathcal{K}, \sum_{k=1}^{n-1} b_{k}(y)<0 \}\); see [23].
This result was extended in [24] for \(n-2\leq\beta< n-1\), in [25] for \(1<\beta\leq n-2\), and in [10] for \(1<\beta \leq n-1\) with an additional assumption that H is close to 1.
Aiming to include a larger class of functions H in the existence results for (1.1), we continue in this paper our study of problem (1.1) under \((f)_{\beta}\)-condition. We are interested here in the case of \(\beta>n-1\). We extend the computation of [23] and [10] to the order \(\beta> n-1\). As an application, we describe the lack of compactness of the problem and provide some existence results for some cases of β. More precisely, we prove the following theorems.
Theorem 1.1
Let \(H: S^{n-1}\rightarrow\mathbb{R}\), \(n\geq3\), be a \(C^{1}\)-positive function satisfying \((f)_{\beta}\)-condition. There exists a positive constant η such that if
then (1.1) has a solution. Moreover, for generic H, we have
Here \(\mathcal{N}\) denotes the number of solutions of (1.1).
Theorem 1.2
Let \(H: S^{n-1}\rightarrow\mathbb{R}\), \(n\geq3\), be a \(C^{1}\)-function satisfying \((f)_{\beta}\)-condition and close to 1. There exists a positive constant η such that if
then (1.1) has a solution. Moreover, if we assume that \(\beta> \frac{n-2}{2}\), then for generic H, we get
Our method to prove Theorems 1.1 and 1.2 is based on the techniques related to the critical points at infinity theory of Bahri [26]. In Section 2, we state some preliminaries that prepare the field to apply the approach of Bahri. In Section 3, we perform an expansion at infinity of the gradient vector field of J extending that performed in [23] and [10] to any order \(\beta>n-1\). In Section 4, we describe the concentration phenomenon of the problem and characterize the critical points at infinity associated with (1.1). Lastly, in Section 5, we provide the proofs of Theorems 1.1 and 1.2.
2 Preliminary tools
The Euler-Lagrange functional associated with (1.1) is
defined on Σ, the unit sphere of \(H^{1}(\mathbb{B}^{n})\) equipped with the norm
Problem (1.1) is equivalent to finding critical points of J subjected to the constraint \(u\in\Sigma^{+}= \{u\in\Sigma, u\geq 0\}\). The functional J does not satisfy the Palais-Smale condition on \(\Sigma^{+}\). The next proposition characterizes the sequences failing the Palais-Smale condition. By a stereographic projection through an appropriate point in \(S^{n-1}\) we can reduce the problem to \(\mathbb {R}^{n}_{+} =\{x=(x', x_{n})\in\mathbb{R}^{n}, x_{n}> 0\}\). Therefore, we will next identify the function H and its composition with the stereographic projection π, and we will also identify a point \(x \in\mathbb{B}^{n}\) by its image by π. See [4], p.1316, for the expansion of π. For \(a\in\partial\mathbb{R}^{n}_{+}\) and \(\lambda>0\), let
where \(x\in\mathbb{R}^{n}_{+}\), and \(c_{0}\) is chosen such that \(\widetilde {\delta}_{(a, \lambda)}\) satisfies
Let \({\delta}_{(a, \lambda)} \) be the pull-back of \(\widetilde {\delta}_{(a, \lambda)}\) by the stereographic projection. For \(\varepsilon>0\) and \(p \in\mathbb{N}^{*}\), let us define
where \(\varepsilon_{ij}= [ \frac{ \lambda_{i}}{ \lambda _{j}}+ \frac{ \lambda_{j}}{ \lambda _{i}}+ \lambda_{i} \lambda_{j} \vert a_{i}- a_{j}\vert ^{2} ]^{\frac{2-n}{2}}\). If w is a solution of (1.1), then we also define \(V(p, \varepsilon, w)\) as
Proposition 2.1
Let \((u_{k})\) be a sequence in \(\Sigma^{+}\) such that \(J(u_{k})\) is bounded and \(\partial J(u_{k})\) goes to zero. Then there exist an integer \(p \in\mathbb{N}^{*}\), a sequence \((\varepsilon_{k}) >0\) such that \(\varepsilon_{k}\) tends to zero, and an extracted subsequence of \((u_{k})\), again denoted \((u_{k})\), such that \(u_{k} \in V(p,\varepsilon_{k}, w)\) for all \(k\in\mathbb{N}\).
Here w is a solution of (1.1) or zero with \(V(p, \varepsilon, 0)= V(p, \varepsilon)\).
For \(u\in V(p, \varepsilon, w)\), we can find an optimal representation. Namely, we have the following:
Proposition 2.2
For any \(p \in\mathbb{N}^{*}\), there is \(\varepsilon_{p}>0\) such that if \(\varepsilon\leq\varepsilon_{p}\) and \(u\in V(p,\varepsilon,w)\), then the minimization problem
has a unique solution \((\alpha,\lambda,a,h)\), up to a permutation.
In particular, we can write u as follows:
where v belongs to \(H^{1}(\mathbb {B}^{n})\cap T_{w}(W_{s}(w))\) and satisfies \((V_{0})\), \(T_{w}(W_{u}(w))\) and \(T_{w}(W_{s}(w))\) are the tangent spaces at w of the unstable and stable manifolds of w for a decreasing pseudo-gradient of J (see [14] for the definitions), and \((V_{0})\) is the following:
where \(\delta_{i} =\delta_{(a_{i},\lambda_{i})}\), and \(\langle\cdot,\cdot\rangle\) denotes the scalar product defined on \(H^{1}(\mathbb {B}^{n}) \) by
Notice that Proposition 2.2 is also true if we take \(w=0\) and, therefore, \(h=0\) and u is in \(V(p,\varepsilon)\).
We also have the following Morse lemma, which completely gets rid of the v-contributions and shows that they can be neglected with respect to the concentration phenomenon.
Proposition 2.3
[14]
There is a \(\mathcal{C}^{1}\)-map that to each \((\alpha_{i}, a_{i}, \lambda_{i}, h)\) such that \(\sum_{i=1}^{p} \alpha_{i} \delta_{(a_{i},\lambda_{i})}+\alpha_{0}(w+h)\) belongs to \(V(p, \varepsilon, w)\) associates \(\overline{v}=\overline{v}(\alpha, a, \lambda, h)\) such that v̅ is unique and satisfies
Moreover,there exists a change of variables \(v-\overline{v}\rightarrow V\) such that
At the end of this section, we give the definition of critical point at infinity.
Definition 2.4
[26]
A critical point at infinity of Jon \(\Sigma^{+}\) is a limit of a flow line \(u(s)\) of the equation
such that \(u(s)\) remains in \(V(p,\varepsilon(s),w)\) for \(s\geq s_{0}\). Here w is either zero or a solution of (1.1), and \(\varepsilon(s)\) is a positive function tending to zero as \(s\rightarrow+\infty\). Using Proposition 2.2, we can write \(u(s)\) as
Denoting \(\widetilde{\alpha}_{i}:=\lim_{s \longrightarrow +\infty} \alpha_{i}(s)\) and \(\widetilde{y}_{i}:=\lim_{s \longrightarrow+ \infty} a_{i}(s)\), we denote by
such a critical point at infinity. If \(w\neq0\), then it is said to be of w-type.
3 Asymptotic expansions
In this section, we expand the gradient of J near infinity under the assumption that H satisfies \((f)_{\beta}\)-condition. We provide precise estimates of this expansion for any flatness order \(\beta>n-1\) and improve the previous estimates given in [23] and [10] for \(\beta\leq n-1\). These estimates will be useful to describe the lack of compactness of the problem and so to characterize the critical points at infinity of J. Next, we will write \(\delta_{i}\) instead of \(\delta_{(a_{i},\lambda_{i})}\).
Proposition 3.1
Let \(u=\sum_{j=1}^{p} \alpha_{j} \delta_{j} \in V(p, \varepsilon)\). For any i, \(1\leq i \leq p\) such that \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(\beta(y_{\ell_{i}})>n-1\), we have the following two expansions:
Moreover, if \(\lambda_{i}^{n-1} \vert a_{i}-y_{\ell_{i}}\vert ^{\beta}< \delta \), where δ is a fixed very small positive constant, then
Here \(c_{1}\) and \(c_{2}\) are two positive constants.
Proof
Let \(u=\sum_{j=1}^{p} \alpha_{j} \delta_{j} \in V(p, \varepsilon)\). Using (3.3), (3.4), and (3.5) of [10], we have
It remains to expand
since \(\int_{S^{n-1}} \delta_{i}^{\frac{n}{n-2}}\lambda_{i} \frac {\partial \delta_{i}}{\partial\lambda_{i}} =0\). Let \(\mu>0\) be such that \(B(a_{i}, \mu)\subset B(y_{\ell_{i}}, \rho)\). Then
Expanding H around \(a_{i}\), we get
We then have
Observe that, after stereographic projection,
The change of variables \(z=\lambda_{i}(x-a_{i})\) yields
Observe that
and, under \((f)_{\beta}\)-condition, for any \(j=1, 2, \ldots, n-1\),
Therefore,
Hence, claim (i) of Proposition 3.1 follows. To prove (ii), we expand the integral I as follows:
Observe that
as H is close to a constant. Moreover, by \((f)_{\beta}\)-condition we get
After the change of variables \(z= \lambda_{i}(x-a_{i})\),
Elementary computation shows that
where c is a positive constant (since \(\beta>n-1\)) independent of k, and thus
Hence,
In the case where \(\lambda_{i}^{n-1}\vert a_{i}-y_{\ell_{i}}\vert ^{\beta}<\delta\), δ very small, we have
This concludes the proof of Proposition 3.1. □
Proposition 3.2
Let \(u=\sum_{j=1}^{p} \alpha_{j} \delta_{j} \in V(p, \varepsilon)\). For any i, \(1\leq i \leq p\), such that \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(\beta(y_{\ell_{i}})>n-1\), we have the following expansion:
for any \(\gamma\in(n-1, \min\{\beta, n\})\). Here \(c_{3}\) is a positive constant, and \(a_{i_{k}}\), \(k=1, \ldots, n-1\), is the kth component of \(a_{i}\) in some geodesic coordinate system.
Proof
The proof follows from the following expansion:
After stereographic projection,
Thus,
Using now expansion (3.4) of H around \(a_{i}\), we obtain
for any \(n-1< \gamma< \min\{n, \beta\}\). Therefore,
by taking \(z= \lambda_{i}(x-a_{i})\). Observe now that
Using \((f)_{\beta}\)-condition, we have
Using (3.5) and (3.8), we obtain
Hence, Proposition 3.2 follows. □
The next propositions deal with the case of \(\beta\leq n-1\). We improve here the expansions given in [23] and [10].
Proposition 3.3
Let \(u=\sum_{j=1}^{p} \alpha_{j} \delta_{j} \in V(p, \varepsilon)\). For any i, \(1\leq i \leq p\), such that \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(\beta(y_{\ell_{i}})=n-1\), we have the following two expansions:
Moreover, if \(\lambda_{i} \vert a_{i}-y_{\ell_{i}}\vert \) is bounded, then we have
Proof
The proof follows from the previous arguments and [10]. □
Proposition 3.4
Let \(u=\sum_{j=1}^{p} \alpha_{j} \delta_{j} \in V(p, \varepsilon)\). For any i, \(1\leq i \leq p\), such that \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(\beta(y_{\ell_{i}})=n-1\), we have the following expansion:
Proof
The proof proceeds as that of Proposition 3.2. □
Proposition 3.5
Let \(u=\sum_{j=1}^{p} \alpha_{j} \delta_{j} \in V(p, \varepsilon)\). For any i, \(1\leq i \leq p\), such that \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(\beta(y_{\ell_{i}})< n-1\), we have:
Moreover, if \(\lambda_{i} \vert a_{i}-y_{\ell_{i}}\vert < \delta\), where δ is a fixed very small positive constant, then
Proof
The proof follows from the proof of Proposition 3.1 and [10]. □
Proposition 3.6
Under the assumption of Proposition 3.5, we have:
Moreover, if \(\lambda_{i} \vert a_{i}-y_{\ell_{i}}\vert \) is bounded, then we have
Proof
4 Critical points at infinity
Using the estimates of the gradient vector field \((\partial J)\) obtained in Section 3, we characterize in this section the critical points at infinity associated with problem (1.1) under \((f)_{\beta}\)-condition. First, we rule out the existence of critical points at infinity in \(V(p, \varepsilon)\), \(p\geq2\).
Theorem 4.1
Let H be a positive \(C^{1}\)-function on \(S^{n-1}\), \(n\geq3\), satisfying \((f)_{\beta}\)-condition. There exists \(\eta>0\) such that if
then the potential sets \(V(p, \varepsilon)\), \(p\geq2\), do not contain any critical points at infinity.
Proof
The proof is an immediate consequence of the following proposition. □
Proposition 4.2
Let H be a positive \(C^{1}\)-function on \(S^{n-1}\), \(n\geq3\), satisfying \((f)_{\beta}\)-condition. There exists \(\eta>0\) such that if \(n-2<\beta<(n-1)+\eta\), then there exists a pseudo-gradient \(W_{1}\) in \(V(p,\varepsilon)\), \(p\geq2\), such that, for any \(u= \sum_{i=1}^{p}\alpha_{i} \delta_{i}\in V(p, \varepsilon)\), we have:
Here c is a positive constant independent of u. Moreover, \(\vert W_{1} \vert \) is bounded, and the maximum of \(\lambda_{i}\), \(1 \leq i \leq p\), decreases along the flow-lines of \(W_{1}\).
Proof
Let \(u= \sum_{i=1}^{p}\alpha_{i} \delta_{i}\in V(p, \varepsilon)\), \(p\geq 2\). We order the \(\lambda_{i}\). Without loss of generality, we can assume that \(\lambda_{1}\leq\lambda_{2}\leq\cdots\leq\lambda_{p}\) and \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\), \(\forall i=1, \ldots, p\). For each index i, we denote by \(Z_{i}(u)\) and \(X_{i}(u)\) the vector fields
We then have the following lemmas.
Lemma 4.3
For any \(i=2, \ldots, p\),
Proof
Using the expansions of Propositions 3.1, 3.3, and 3.5, for all \(i = 2, \ldots, p\) and any \(\beta>n-2\), we have
Indeed,
Concerning \(\frac{ \log\lambda_{i}}{\lambda_{i}^{n-1}}\), which appears in the case \(\beta\geq n-1\), we have
Indeed,
Last, we discuss the term \(O (\sum_{j\geq2}\frac {\vert a_{i}-y_{\ell_{i}}\vert ^{\beta-j}}{\lambda_{i}^{j}} )\), which appears in all the cases of \(\beta>1\), in three cases.
-
If \(\beta>n-1\) and \(\lambda_{i}^{n-1}\vert a_{i}-y_{\ell_{i}}\vert ^{\beta }\geq{\delta}\), then we have
$$ O \Biggl(\sum_{j=2}^{n-2} \frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta-j}}{\lambda _{i}^{j}} \Biggr)= o \biggl(\frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta-1}}{\lambda _{i}} \biggr) \quad \mbox{as } \lambda\rightarrow+\infty. $$(4.3)Indeed,
$$\begin{aligned} \frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta-j}}{\lambda_{i}^{j}}\frac{\lambda _{i}}{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta-1}} =& \frac{1}{(\lambda_{i}\vert a_{i}-y_{\ell _{i}}\vert )^{j-1}} \\ \leq & \biggl(\frac{1}{\delta} \biggr)^{\frac{j-1}{\beta}} \frac {1}{(\lambda_{i})^{(j-1)(\beta-(n-1))}}. \end{aligned}$$ -
If \(\beta=n-1\) and \(\lambda_{i}\vert a_{i}-y_{\ell_{i}}\vert \geq\frac {1}{\delta}\), then we have
$$ O \Biggl(\sum_{j=2}^{n-2} \frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta-j}}{\lambda _{i}^{j}} \Biggr)= o \biggl(\frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta-1}}{\lambda _{i}} \biggr) \quad \mbox{ as } \delta \mbox{ is small}. $$(4.4) -
If \(\beta< n-1\) and \(\lambda_{i}\vert a_{i}-y_{\ell_{i}}\vert \geq{\delta}\), then it is easy to see that if \(\lambda_{i}\vert a_{i}-y_{\ell_{i}}\vert \geq\frac {1}{\delta}\), then we have
$$ O \Biggl(\sum_{j=2}^{[\beta]} \frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta -j}}{\lambda_{i}^{j}} \Biggr)= o \biggl(\frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta -1}}{\lambda_{i}} \biggr) \quad \mbox{as } \delta \mbox{ is small}, $$(4.5)and if \(\delta\leq\lambda_{i}\vert a_{i}-y_{\ell_{i}}\vert \leq\frac{1}{\delta }\), then we have
$$ O \Biggl(\sum_{j=2}^{[\beta]} \frac{\vert a_{i}-y_{\ell_{i}}\vert ^{\beta -j}}{\lambda_{i}^{j}} \Biggr)= O \biggl(\frac{1}{\lambda_{i}^{\beta}} \biggr)= o ( \varepsilon_{1i} )\quad \mbox{by (4.1)}. $$(4.6)
This concludes the proof of Lemma 4.3. □
Lemma 4.4
For any \(i= 1, \ldots, p\),
Proof
It follows from the expansions of Propositions 3.2, 3.4, and 3.6 and from estimates (4.1)-(4.6). □
Lemma 4.5
Let \(m>0\) be a small constant. Then
Proof
Using Lemmas 4.3 and 4.4 and (4.1), we get
taking m small enough. Moreover, for \(1\leq i< j \leq p\), we have
Therefore,
Now, using (4.1), we can replace \(-\sum_{j \neq i} \varepsilon_{ij}\) by \(-\sum_{i=2}^{p}\frac{1}{\lambda _{i}^{\beta}}\). This concludes the proof of Lemma 4.5 since
□
Now, we must add the index 1. Let ψ be the following cut-off function:
Lemma 4.6
There exists \(\eta>0\) such that, for any \(i=1, \ldots, p\) satisfying \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(n-1<\beta<n-1+\eta\), we have
Proof
If \(\lambda_{i}^{n-1}\vert a_{i}-y_{\ell_{i}}\vert ^{\beta}\leq\frac{\delta }{2}\), then in the second expansion of Proposition 3.1, we have
by taking \(0< (\beta-(n-1))< \eta\) with η small enough. Therefore, we get
Hence, Lemma 4.6 follows in this case from Lemma 4.4 and from (4.7) and (4.8).
In the case where \(\lambda_{i}^{n-1}\vert a_{i}-y_{\ell_{i}}\vert ^{\beta }\geq\frac{\delta}{2}\), using the expansion of Proposition 3.2 and (4.3), we obtain
where γ is any real in \((n-1, \min\{\beta, n\})\).
Choosing γ in \((\frac{n\beta-(n-1)}{\beta}, \min\{\beta , n\})\), we then have
Thus,
since
Hence, Lemma 4.6 follows from the first expansion of Proposition 3.1 and from (4.3), (4.7), and (4.10). □
Lemma 4.7
For any \(i=1, \ldots, p\) such that \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(1<\beta\leq n-1\), we have
Proof
We refer the reader to the proof of identity (4.3) in [10]. □
Corollary 4.8
For any \(i=1, \ldots, p\) such that \(a_{i}\in B(y_{\ell_{i}}, \rho)\), \(y_{\ell_{i}}\in\mathcal{K}\) with \(1<\beta(y_{\ell_{i}}) < n-1+\eta\), denote
Then we have:
Now, if \(\lambda_{1}<<\lambda_{2}\), then let
By Lemmas 4.5 and Corollary 4.8, for m small enough, we obtain
If \(\lambda_{1}\sim\lambda_{2}\), then let
By Lemma 4.4, Lemma 4.5, and (4.7) we get
This concludes the proof of claim (i) of Proposition 4.2. By the construction, \(W_{1}\) is bounded, and the maximum of \(\lambda _{i}(s)\), \(i=1, \ldots, p\), decreases along the flow lines of \(W_{1}\). Claim (ii) of Proposition 4.2 follows (as in the Appendix 2 of [14]) from (i) and the fact that \(\Vert \bar{v}\Vert ^{2}\) is small with respect to the absolute value of the upper bound of claim (i) (see Prop. 2.4 of [10], which is valid for any \(\beta>1\)). This completes the proof of Proposition 4.2. □
In the following, we characterize the critical point at infinity in \(V(1, \varepsilon)\).
Theorem 4.9
Let H be a positive \(C^{1}\)-function on \(S^{n-1}\), \(n\geq3\), satisfying \((f)_{\beta}\)-condition. There exists \(\eta>0\) such that if
then the only critical points at infinity of J in \(V(1, \varepsilon )\) are
The Morse index of \((y)_{\infty}\) is equal to \(i(y)_{\infty} :=(n-1)-\widetilde{i}(y)\).
Proof
Let \(u= \alpha_{1}\delta_{(a_{1}, \lambda_{1})}\in V(1, \varepsilon)\). We may assume that \(a_{1} \in B(y_{\ell_{1}}, \rho)\), \(y_{\ell_{1}}\in\mathcal {K}\), \(\rho>0\). Using the notation and the result of Corollary 4.8, we obtain
In addition, from the construction of \(Y_{1}\) we observe that the Palais-Smale condition is satisfied along each flow line of \(Y_{1}\), until the concentration point of the flow \(a_{1}(s)\) does not enter some neighborhood of y such that \(y\in\mathcal {K}^{+}\) since \(\lambda _{1}(s)\) decreases on the flow line in this set. On the other hand, if \(a_{1}(s)\) is near \(y_{\ell_{1}}, y_{\ell_{1}}\in\mathcal{K}^{+}\), then we observe that \(\lambda_{1}(s)\) increases and goes to +∞. Thus, we obtain a critical point at infinity. In this region, the functional J can be expanded after a suitable change of variables as
Thus, the index of such critical point at infinity is \(n-1-\widetilde{i}(y)\). Since J behaves in this region as \(\frac {1}{H^{\frac{n-2}{2}}}\), this finishes the proof of Theorem 4.9. □
The next proposition is extracted from [10], Lemma 4.4. As mentioned in [10], it is still correct for any \(\beta>\frac{n-2}{2}\).
Proposition 4.10
Let w be a solution of (1.1). Assume that the function H satisfies condition \((f)_{\beta}\) with \(\beta>\frac{n-2}{2}\). Then, for each \(p \in\mathbb{N}^{\star}\), there is no critical point at infinity in \(V(p, \varepsilon, w)\).
5 Proof of the existence results
5.1 Proof of Theorem 1.1
By Theorems 4.1 and 4.9 there exists positive η such that if the order of flatness \(\beta(y)\) of any critical point y of H lies in \((n-2, n-1+\eta)\), then the only critical points at infinity are \((y)_{\infty}:=\frac{1}{H(y)^{\frac{n-2}{2}}} {\delta}_{(y, \infty)}\), \(y \in\mathcal {K}^{+}\). For each \(y\in \mathcal{K}^{+}\), we denote by \(W_{u}^{\infty}(y)_{\infty}\) the unstable manifold of the critical points at infinity \((y)_{\infty}\). Recall that the index \(i(y)_{\infty}\) of \((y)_{\infty}\) is equal to the dimension of \(W_{u}^{\infty}(y)_{\infty}\). Using now the gradient flow of \((-\partial J)\) to deform \(\Sigma^{+}\), by the deformation lemma (see [28]) we get that
where ≃ denotes retracts by deformation.
It follows from this deformation retract that problem (1.1) necessarily has a solution w. Otherwise, it would follow from (5.1) that
where χ denotes the Euler-Poincaré characteristic, and such an equality contradicts the assumption of Theorem 1.2.
Now, for generic H, it follows from the Sard-Smale theorem that all the solutions of (1.1) are nondegenerate. Thus, we derive from (5.1), taking the Euler-Poincaré characteristics of both sides, that
where \(i(w)\) is the Morse index of w. It follows then
5.2 Proof of Theorem 1.2
The proof follows from the description of the critical points at infinity given in Theorem 4.9 and the proof of Theorem 1.1 of [10].
References
Kazdan, J, Warner, F: Existence and conformal deformation of metrics with prescribed Gaussian and scalar curvatures. Ann. Math. (2) 101, 317-331 (1975)
Abdelhedi, W, Chtioui, H, Ould Ahmedou, M: Conformal metrics with prescribed boundary mean curvature on balls. Ann. Glob. Anal. Geom. 36, 327-362 (2009)
Escobar, JF, Garcia, G: Conformal metric on the ball with zero scalar and prescribed mean curvature on the boundary. J. Funct. Anal. 211(1), 71-152 (2004)
Abdelhedi, W, Chtioui, H, Ould Ahmedou, M: A Morse theoretical approach for boundary mean curvature problem on \(\mathbb{B}^{4}\). J. Funct. Anal. 254, 1307-1341 (2008)
Djadli, Z, Malchiodi, A, Ould Ahmedou, M: The prescribed boundary mean curvature problems on \(B^{4}\). J. Differ. Equ. 206, 373-398 (2004)
Al-Ghamdi, MA, Chtioui, H, Sharaf, K: Topological methods for boundary mean curvature problem on \(B^{n}\). Adv. Nonlinear Stud. 14(2), 445-461 (2014)
Chang, SA, Xu, X, Yang, PC: A perturbation result for prescribing mean curvature. Math. Ann. 310(3), 473-496 (1998)
Escobar, JF: Conformal deformation of Riemannian metric to scalar flat metric with constant mean curvature on the boundary. Ann. Math. 136, 1-50 (1992)
Escobar, JF: Conformal metric with prescribed mean curvature on the boundary. Calc. Var. Partial Differ. Equ. 4, 559-592 (1996)
Sharaf, K, Alharthy, H, Altharwi, S: Conformal transformation of metrics on the n-ball. Nonlinear Anal. TMA 95, 246-262 (2014)
Xu, X, Zhang, H: Conformal metrics on the unit ball with prescribed mean curvature. Math. Ann. (2016). doi:10.1007/s00208-015-1291-z
Sharaf, K: An existence result for a nonlinear boundary value problem via topological arguments. Topol. Methods Nonlinear Anal. 48, 31-43 (2016)
Al-Ghamdi, M, Abdelhedi, W, Chtioui, H: Topological arguments for an elliptic equation involving the fractional Laplacian. Bound. Value Probl. 2014, 187 (2014)
Bahri, A: An invariant for Yamabe-type flows with applications to scalar curvature problems in high dimensions, a celebration of J. F. Nash Jr. Duke Math. J. 81, 323-466 (1996)
Ben Mahmoud, R, Chtioui, H: Existence results for the prescribed scalar curvature on \(S^{3}\). Ann. Inst. Fourier 61, 971-986 (2011)
Ben Mahmoud, R, Chtioui, H: Prescribing the scalar curvature problem on higher-dimensional manifolds. Discrete Contin. Dyn. Syst. 32(5), 1857-1879 (2012)
Chang, SA, Yang, PC: A perturbation result in prescribing scalar curvature on \(S^{n}\). Duke Math. J. 64, 27-69 (1991)
Chtioui, H, Ben Mahmoud, R, Abuzaid, DA: Conformal transformation of metrics on the n-sphere. Nonlinear Anal. TMA 82, 66-81 (2013)
Chtioui, H, Ben Souf, A, Al-Ghamdi, MA: Q-Curvature problem on \(S^{n}\) under flatness condition: the case \(\beta=n\). J. Inequal. Appl. 2015, 384 (2015)
Li, YY: Prescribing scalar curvature on \(S^{n}\) and related topics, part I. J. Differ. Equ. 120, 319-410 (1995)
Li, YY: Prescribing scalar curvature on \(S^{n}\) and related topics, part II: existence and compactness. Commun. Pure Appl. Math. 49, 541-579 (1996)
Sharaf, K: On the prescribed scalar curvature problem on \(S^{n}\): part 1, asymptotic estimates and existence results. Differ. Geom. Appl. 49, 423-446 (2016)
Abdelhedi, W, Chtioui, H: Prescribing mean curvature on \(B^{n}\). Int. J. Math. 21(9), 1157-1187 (2010)
Al-Ghamdi, MA, Chtioui, H, Sharaf, K: On a geometric equation involving the Sobolev trace critical exponent. J. Inequal. Appl. 2013, 405 (2013)
Bensouf, A: On the prescribed mean curvature problem on the standard n-dimensional ball. J. Korean Math. Soc. 53(2), 287-304 (2016)
Bahri, A: Critical Point at Infinity in Some Variational Problems. Pitman Res. Notes Math. Ser., vol. 182. Longman, Harlow (1989)
Li, YY, Zhu, M: Uniqueness theorems through the method of moving spheres. Duke Math. J. 80, 383-417 (1995)
Bahri, A, Rabinowitz, P: Periodic orbits of Hamiltonian systems of three body type. Ann. Inst. Henri Poincaré, Anal. Non Linéaire 8, 561-649 (1991)
Acknowledgements
This work was supported by the Deanship of Scientific Research (DSR), King Abdulaziz University, Jeddah, under grant No. 130-837-D1435. The author, therefore, gratefully acknowledges the DSR technical and financial support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The author declares that she has no competing interests.
An erratum to this article is available at http://dx.doi.org/10.1186/s13661-016-0737-x.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sharaf, K. On the boundary mean curvature equation on \(\mathbb{B}^{n}\) . Bound Value Probl 2016, 221 (2016). https://doi.org/10.1186/s13661-016-0727-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0727-z