A non-compactness result on the fractional Yamabe problem in large dimensions (Q2410355)

The purpose of the article is to construct a metric on \(X^{n+1}=\mathbb R_+^{n+1}\) conformally equivalent to the unit ball such that the set of solutions for the fractional Yamabe equation is a non-compact set. Precisely, the authors consider \((X^{n+1},g^+)\) an \((n+1)\)-dimensional asymptotically hyperbolic manifold with conformal infinity \((\partial X^{n+1}=M^n,[\hat{h}])\), i.e., \(g^+\) is conformally compact, that is, the metric \(\overline{g}=\rho^2g^+\) extends smoothly to the closure of \(X^{n+1}\) and the sectional curvature approaches to \(-1\) at the conformal infinity, and \(\overline{g}\) induces a conformal class of metrics \([\hat{h}]\) on \(M^n\) for \(\hat{h}=\overline{g}_{\restriction_{TM^n}}\) when the defining function \(\rho\) varies. We recall that \(\rho_{\restriction_{X^{n+1}}}>0\), \(\rho_{\restriction_{M^n}}=0\), and \(d\rho_{\restriction_{M^n}}\neq 0\). Therefore, after defining the fractional Yamabe equation \((*):\;P^\gamma_{\hat{h}}(u)=cu^{\frac{n+2\gamma}{n-2\gamma}}\) for \(u\in H^\gamma(M^n)\), the fractional Sobolev space on \(M^n\) where \(c\) is a real constant, \(\gamma\in(0,1)\), and \(P_{\hat{h}}^\gamma\) is the fractional conformal Laplacian operator, i.e., a pseudo-differential operator with the same principal symbol as that of \((-\Delta_{\hat{h}})^\gamma\). Then, they state their main theorem (Theorem 1.1) which contains three results. The first one states the existence of a smooth Riemannian metric \(g^+\) and a boundary defining function \(\rho\) on \(\mathbb R^{n+1}_+\) such that \((\mathbb R_+^{n+1},g^+)\) is an asymptotically hyperbolic manifold with the conformal infinity \((\mathbb R^n,[\hat{h}])\). Concerning the second result, according the values of \(\gamma\) and \(n\), the authors state that there is a sequence of positive solutions for \((*)\), such that its limit goes to infinity. The third result states that the metric \(\overline{g}\) is not conformal to the flat metric and \((\mathbb R^n,\hat{h})\) is totally geodesic, i.e., each geodesic on \(\mathbb R^n\) is also a geodesic on \(\mathbb R^{n+1}\).