Abstract
Let \(\Omega \) be a domain on the unit n-sphere \( {\mathbb {S}}^n\) and \( \overset{{\,}_\circ }{g}\) the standard metric of \({\mathbb {S}}^n\), \(n\ge 3\). We show that there exists a conformal metric g with vanishing scalar curvature \(R(g)=0\) such that \((\Omega , g)\) is complete if and only if the Bessel capacity \({\mathcal {C}}_{\alpha , q}({\mathbb {S}}^n\setminus \Omega )=0\), where \(\alpha =1+\frac{2}{n}\) and \(q=\frac{n}{2}\). Our analysis utilizes some well known properties of capacity and Wolff potentials, as well as a version of the Hopf–Rinow theorem for the divergent curves.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\Omega \) be an open subset of the unit sphere \({\mathbb {S}}^n, n\ge 3\), and \( \overset{{\,}_\circ }{g}\) the standard metric of \({\mathbb {S}}^n\) induced by the embedding \({\mathbb {S}}^n\hookrightarrow {\mathbb {R}}^{n+1}\). Let \(K\subset {\mathbb {S}}^n\) be a closed subset. We want to characterize the open sets \(\Omega ={\mathbb {S}}^n{\setminus } K\) with the following property: there exists a metric g, conformal to \( \overset{{\,}_\circ }{g}\) such that \((\Omega , g)\) is complete and g has vanishing scalar curvature. This question was studied by Schoen and Yau [17, 18]. If we are given a compact Riemannian manifold (M, g) then the problem of existence of a conformal deformation of g into a metric \({\bar{g}}\) with constant scalar curvature is known as the Yamabe problem [21]. Note that for compact manifolds there no need to specify that conformal metric to be complete. However, the completeness of the conformal metric is required in the singular Yamabe problem. Yamabe’s original approach was to formulate the existence of \({\bar{g}}\) in terms of a variational problem. Later contributions of Trudinger [20], Aubin [2] and Schoen [16] helped to complete Yamabe’s original approach.
One of the first results towards solving the singular Yamabe problem says that if there exists a complete g conformal to \( \overset{{\,}_\circ }{g}\) such that the scalar curvature \(R(g)\ge 0\) then the Hausdorff dimension of \(\partial \Omega \) must be at most \(\frac{n}{2}\), [18]. To obtain existence of g, one can impose structural assumptions on \(K:={\mathbb {S}}^n\setminus \Omega \). In particular, if \(K={\mathbb {S}}^n\setminus K\) is a finite union of Lipschitz submanifolds of dimension \(k\le (n-2)/2\) then there is a g, solving the singular Yamabe problem in the case \(R(g)=0\), see [4, 10, 13]. See also [3] for the periodic setting with equator as singular set in \(n\ge 5\) sphere. Some discussion on this and related open problems is contained in [14]. For a survey of related recent results see [6, 11] and the references therein.
Given a domain \(\Omega \subset {{\mathbb {S}}}^n\). The scalar curvature of R(g) of a metric g after a conformal change \(g=u^{\frac{4}{n-2}} \overset{{\,}_\circ }{g}\) is
where \(\Delta u\) is the Laplace–Beltrami operator on the Riemannian manifold \(({\mathbb {S}}^n, \overset{{\,}_\circ }{g})\). Suppose g is scalar flat, that is, \(R(g)=0\), then from (1.1) and the observation that \(R( \overset{{\,}_\circ }{g})=n(n-1)\) we arrive at the following problem:
For the negative scalar case \(R(g)=-1\) Labutin showed that a sufficient and necessary condition for the existence of g is
for any \(x\in K\), where \({\mathcal {C}}\) is the Bessel capacity for the Sobolev space \(W^{2, \frac{n+2}{4}}({\mathbb {R}}^n)\), see [11]. His result can be seen as a way of measuring the thinness of K, which comes from the classical potential theory, namely Wiener’s test. Recall that Wiener’s theorem states that the Dirichlet problem
in a bounded domain \(D\subset \textbf{R}^n\), \(n\ge 3\), is solvable for all boundary data \(f\in C(\partial D)\) if and only if
Here the upper limit \(\delta >0\) is some fixed constant (e.g. one can take \(\delta =1\)), and \(cap_2\) is the classical (electrostatic) capacity.
For \(R(g)=0\), our goal is to find a correct quantity measuring the thinness of K, similar to (1.3), such that it gives a complete characterization of K for which the existence of a solution to (1.2) follows. It turns out that Wolff’s potential \({\mathcal {W}}^\mu _{\alpha , q}\) is the correct quantity, as the inequalities (4.6) and (4.7) suggest, in this sense with \(\alpha =1+\frac{2}{n}, q=\frac{n}{2}\), and hence the corresponding Bessel integral capacity \({\mathcal {C}}_{1+\frac{2}{n}, \frac{n}{2}}\) is not the same as the standard Sobolev capacity, defined via the \(L^q\) norm of the gradient [11] (2.9). These capacities, however, agree if \(\alpha \) is an integer, see [8] page 161. In [11] Labutin explicitly constructs a divergent curve (which are used to formulate a version of the Hopf-Rinow theorem for noncompact manifolds) to show that if \(R(g)=-1\) and K is not thin at some point then g cannot be complete. This is the most technical part of [11]. However, for \(R(g)=0\) the construction of a divergent curve simplifies if we use the Schoen-Yau estimate of the Hausdorff dimension of \(\partial \Omega \).
The aim of this work is to give a complete characterization of open set \(\Omega \) without any assumption on the structure of \(K={\mathbb {S}}^n\setminus \Omega \). In what follows \(\textrm{cap}(\cdot ): ={\mathcal {C}}_{1+\frac{2}{n}, \frac{n}{2}}(\cdot )\) stands for Bessel’s capacity (see Sect. 2 for precise definitions). Our main result is the following theorem:
Theorem 1.1
Let \(\Omega \subset {\mathbb {S}}^n, n\ge 3\), be an open set and \(K={{\mathbb {S}}}^n {\setminus } \Omega \). Then the following properties are equivalent:
-
(i)
In \(\Omega \) there exists a scalar flat complete metric conformal to \( \overset{{\,}_\circ }{g}\).
-
(ii)
\(\textrm{cap}(K)=0\).
The paper is organized as follows: Sect. 2 contains some background material: first we use the steregraphic projection to reformulate the problem on \({\mathbb {R}}^n\). Then we introduce the Wolff potentials and give a characterization of polar sets, i.e. sets of vanishing capacity, see Proposition 2.1. We close the section by stating a non-standard version of the Hopf-Rinow theorem (for noncompact manifolds) formulated in terms of divergent curves, see Theorem 2.3. This allows to link the finiteness of Wolff’s potential with the completeness of the metric.
In Sect. 3 we show that the existence of a solution to scalar flat singular Yamabe problem implies that the capacity of K is zero. A part of the argument is based on the representation of positive harmonic functions in terms of Martin kernels [1, 9]. The crucial step in the proof is the estimate (3.3). In the construction of the divergence curve we also use the Schoen-Yau estimate of the Hausdorff dimension of \(\partial \Omega \).
Finally, in Sect. 4 we prove the implication \((ii)\Rightarrow (i)\) in Theorem 1.1.
2 Background
This section contains some background results from conformal geometry and potential theory, see [8, 19].
2.1 Stereographic projection and reduction to \({\mathbb {R}}^n\)
Let (M, g) be a Riemannian manifold of dimension \(n\ge 3\). Let R(g) be the scalar curvature of the metric g and \(\Delta _g\) the Laplace–Beltrami operator. The operator
is called conformal Laplacian.
It is well known that under conformal change of metric \(\widehat{g}=\phi ^\frac{4}{n-2}g, \phi \in C^\infty (M), \phi >0\), we have
Suppose \(\widetilde{M}\) is another manifold with metric \(\widetilde{g}\), and let \(f:M\rightarrow \widetilde{M}\) be a diffeomorphism changing the metric conformally. If \(f^*\widetilde{g}=\widetilde{g}\circ f\) is the pull-back then
Consequently, from (2.2) and (2.3) it follows that
Using the stereographic projection \(\sigma :{\mathbb {S}}^n{\setminus }\{N\}\rightarrow {\mathbb {R}}^n\), where N is the north pole, we can rewrite the transformation equations on \({\mathbb {R}}^n\). Indeed, \(\sigma \) is a diffeomorphism between \(({\mathbb {S}}^n\setminus \{N\}, \overset{{\,}_\circ }{g})\) and \(({\mathbb {R}}^n, g_E)\), because
where
Since we consider the scalar flat case, i.e. \(R({\widetilde{g}})=0\), then (2.4) yields
Introduce the function
Then from (2.3) we obtain
Since \(R({ g_E})=0\) then we get
2.2 Characterization of capacity
For \(\alpha >0, 1<q\le \frac{n}{\alpha }\) we define the Bessel capacity of \(E\subset {\mathbb {R}}^n\) as follows
where \(G_\alpha \) is the Bessel kernel, best defined as the inverse Fourier transform of \((1+|\xi |^2)^{-\frac{\alpha }{2}}\), see [8]. For given Radon measure \(\mu \) the Wolff potentials are defined as follows
where \(p+q=pq\).
An important fact is that \({\mathcal {W}}^\mu _{\alpha , q}\) bounds the nonlinear potential \({\mathcal {V}}_{\alpha , q}^\mu (x):=G_\alpha *(G_\alpha *\mu )^{p-1}\) from below (see [8], page 164), i.e. there is a constant \(A>0\) such that
In what follows we take \(\alpha =1+\frac{2}{n}, q=\frac{n}{2}\) and denote the resulted capacity by \(\textrm{cap}(\cdot )={\mathcal {C}}_{1+\frac{2}{n}, \frac{n}{2}}(\cdot )\). Then for this choice of parameters the Wolff potential, which we denote by \({\mathcal {W}}^{\mu }\) for short, takes the following form
The corresponding capacity on \({\mathbb {S}}^n\) is defined accordingly. By abuse of notation, we continue to use the same notation \(\textrm{cap}(\cdot )\). The following characterization of vanishing capacity compacts is hard to find in the literature, so we give a proof for the reader’s convenience.
Proposition 2.1
Let \(K\subset {\mathbb {R}}^n\) be a compact set then \(\textrm{cap}(K)=0\) if and only if there exists a Radon measure \(\mu \), \(\Vert \mu \Vert =1\), such that \({ \mathrm supp}\mu \subset K\) and
Proof
Suppose there is a measure \(\mu \) such that \({ \mathrm supp}\mu \subset K, \Vert \mu \Vert =1\) and \({\mathcal {W}}(\mu , x)=+\infty \) for all \(x\in K\). From (2.6) it follows that \(V_{\alpha , q}^\mu (x)=\infty \) for all \(x\in K\). Note that \(f=(G_\alpha *\mu )^{p-1}\in L^q({\mathbb {R}}^n)\), see [8] page 163. By Theorem 1.4 [15] \(\textrm{cap}(E)=0\) if and only if there is a nonnegative \(f\in L^q\) such that \(G_\alpha *f=\infty \) for all \(x\in E\). Since by definition \(G_\alpha *f={\mathcal {V}}_{\alpha , q}^\mu \), and thanks to (2.6), it follows that \(\textrm{cap}(E)=0\).
Now we prove the converse statement. Suppose \(\textrm{cap}(E)=0\). By Proposition 4 [8] we have
Let \(\mu _j\) be a minimizing sequence such that \(\int {\mathcal {W}}^{\mu _j}d\mu _j\rightarrow 0\) and \(\Vert \mu _j\Vert >0\). Such sequence exists because \({\mathcal {W}}^\mu \ge 1\) on E, see (2.5). This inequality also implies that the restricted measures \(\Vert \mu _j|_E\Vert \le \int {\mathcal {W}}^{\mu _j}d\mu _j\rightarrow 0\) have vanishing mass in the limit. Introduce the unit mass measures \({\widehat{\mu }}_j=\mu _j|_{E}/\mu _j(E)\). Then from the scaling property of \(W^\mu \) we get that
Then the existence follows from a customary compactness argument for \({\widehat{\mu }}_j\) and the semicontinuity of the potential \({\mathcal {W}}^{\mu }\). \(\square \)
2.3 Divergent curves and Hopf–Rinow theorem
In order to characterize the completeness of the metric by Wolff’s potential we state a version of the Hopf-Rinow theorem formulated in terms of divergent curves.
Definition 2.2
A divergent curve in a Riemannian manifold M is a differentiable mapping \(c: [0,T)\rightarrow M\) such that for any compact set \(K\subset M\) there exists \(t_0 \in (0, T)\) with \(c(t) \not \in K\) for all \(t > t_0\).
In other words, if c is a divergent curve then it "escapes" every compact set in M. Define the length of a divergent curve by
Then we have the following version of the Hopf-Rinow theorem.
Theorem 2.3
Let M be a noncompact Riemannian manifold. Then M is complete if and only if the length of any divergent curve is unbounded.
Proof
Suppose M is complete then the classical Hopf-Rinow theorem holds. Consequently, the closed ball \(\overline{B(0, N)}\) is compact for every \(N=1, 2, \dots \). Let \(c:[0, T)\rightarrow M\) be a divergent curve, then for every N there is \(t_N\in (0, T)\) such that \(c(t_N)\not \in \overline{B(0, N})\). Therefore, from (2.8) we get that
and, hence c is a divergent curve.
Now suppose that every divergent curve has infinite length. We want to show that then this implies that M is complete. If M is not complete then there is a geodesic \(c: [0, T)\rightarrow M\) such that c cannot be extended further than T. Observe that c has constant speed since
where \(\nabla \) is the Riemannian connection on M. Therefore \(L_g(c)\le \theta T\) for some constant \(\theta \). To finish the proof it is enough to show that c is a divergent curve, hence c cannot have finite length. Thus, suppose that c is contained in some compact K. Let us take \(t_k\in (0, T)\) so that \(p_k:=c(t_k)\in K\) and \(\lim _{k\rightarrow \infty }t_k=T\). We can extract a subsequence so that \(c(t_{k_m})\rightarrow p\) for some \(p\in K\subset M\). Let W be a totally normal neighborhood of p, that is, W is a normal neighborhood of all of its points. The existence of W is well known, see [5], page 72. Consequently, if \(\epsilon >0\) is small so that \(c(T-\epsilon )\in W\), then the geodesic joining \(c(T-\epsilon )\) and p can be continued further than p, which is a contradiction. Thus c escapes any compact and hence it is a divergent curve. \(\square \)
3 Proof of \((i)\Rightarrow (ii)\): existence of u implies \(cap(K)=0\)
We can use the stereographic projection and, thanks to the conformal homothety on \({\mathbb {R}}^n\), without loss of generality assume that the north pole \(N\in \Omega \) such that \(\sigma (K)\subset B(0, 1/2)\), and there is \(u:{\mathbb {R}}^n\setminus \sigma (K)\rightarrow {\mathbb {R}}\) such that \(g=u^{\frac{4}{n-2}} \overset{{\,}_\circ }{g}\) is complete, where
Recall that for a point \(x=(x_1, \dots , x_d)\) on the unit sphere in \({\mathbb {R}}^d\) its stereographic projection is defined as \(y=\frac{(x_1, \dots , x_{d-1})}{1-x_d}\in {\mathbb {R}}^{d-1}\). We claim that there exists a Radon measure \(\mu \), with \({ \mathrm supp}\mu \subset K\), such that the following representation of u is true
where k(x, y) is the Martin kernel (see [1] Theorem 8.4.1 or Chapter 12 [9] p 251) and k is locally integrable in \({\mathbb {R}}^n\times {\mathbb {R}}^n\). Moreover, there exists a universal constant \(C_M\) such that
see [9], Chapter 12.
Suppose \(\textrm{cap}(K)>0.\) By Proposition 2.1 the Wolff potential of \(\mu \) must be finite at some point \(x_0\in K\). Without loss of generality we assume that \(x_0=0\) and \(\mu \) is a probability measure such that
We first establish a useful estimate.
Lemma 3.1
Let \(u>0\) be as above and \({ \mathrm supp}\mu \subset B(0, 1/2)\). Then there is a constant \(C>0\) such that
Proof
Denote \(D_m=B(0, \rho _{m}){\setminus } B(0, \rho _{m+1}), \rho _m=2^{-m}\). We have
Since \(u=k*\mu \) then from (3.2) we see that
Hence
As for \(I_1\) in (3.4), we have
For \(x\in D_{m}\) we have
and
Noting that
we get
Combining, we obtain the estimate
For \(n=3\) we take a sequence of smooth functions \(f_i\) weakly converging to \(\mu \) in \(\widetilde{D_m}: =B\left( 0,\rho _{m-2}\right) {\setminus } B(0, \rho _{m+2})\) (see Lemma 0.2 [12]) then applying lemma 7.12 from [7] to
with \(q=2,p=1, \delta =1-\dfrac{1}{q}=\dfrac{1}{2}\), and \(s=\delta +\dfrac{1}{6}=\frac{2}{3}\), we get
After letting \(i\rightarrow \infty \) this yields
Moreover, denoting \(m(t)=\mu (B(0, t))\) and using integration by parts together with Cauchy-Schwarz inequality we get
implying that
Hence
If \(n=4\) we have
and then from Fubini’s theorem we get, as above, the bound
The estimate for \(I_3\) follows from integration by parts.
Finally, let us consider the case \(n\ge 5\). We have
Thus
As for \(I_3\), one can easily see that
and consequently after integration by parts we get
The proof of lemma is complete. \(\square \)
Proof of (i)\(\Rightarrow \)(ii) in Theorem 1.1.
We claim that there exists a smooth curve \(c:[0,1]\rightarrow B(0, 2){\setminus } K\) such that
Observe that (3.6) is impossible if \(u^{4/(n-2)} g_E\) is complete, thanks to Theorem 2.3. Hence to finish the proof we have to establish (3.6). So it’s left to show the existence of such curve. Take \(\omega \in \partial B\) and let \(\ell (\omega )\) be the interval
where \(\pi : x\rightarrow \frac{x}{|x|}\) is the projection on \(\partial B\). Put
and observe that
We claim that \({\mathcal {H}}^{n-1}(\Xi )>0\), otherwise this means that \({\mathcal {H}}^{n-1}(\partial \Omega )>0\) But this will be in contradiction with the Schoen-Yau estimate of the Hausdorff dimension of \(\partial \Omega \) which can be at most \(\frac{n}{2}\), see [18], Theorem 2.7.
Switching to polar coordinates \((r,\omega )\), \(r>0\), \(\omega \in \partial B\), we get from (3.3) that
Consequently
By our definitions
and we conclude that (3.6) holds for the curve \(\gamma =\ell (\omega _0)\). This finishes the proof.
4 Proof of \((ii)\Rightarrow (i)\): \(\textrm{cap}(K)=0\) implies existence of metric
Proof of (ii)\(\Rightarrow \)(i) in Theorem 1.1.
In what follows we assume, without loss of generality, that the north pole \(N\in \Omega \). Since \(\sigma (K)\subset {\mathbb {R}}^n\) is the image of K under stereographic projection then it is compact such that
From Proposition 2.1 it follows that there is a probability measure \(\mu \), such that \({ \mathrm supp}\mu \subset \sigma (K)\) and
The convolution
solves
To finish the proof we have to show that
Since u is harmonic in \(\{u>0\}\), and \(u(\sigma (N))>0\) then \(\sigma ^*(u^{4/(n-2)}) g_E\) gives a metric on \({\mathbb {S}}^n\) which is smooth at N. To check (4.2), we use a version of the Hopf-Rinow theorem formulated in terms of divergent curves, see Theorem 2.3. Let us take a divergent curve c in \(\Omega \), and denote \(\widetilde{c}: [0,+\infty )\rightarrow {\mathbb {R}}^n{\setminus } \sigma (K)\) its stereographic projection. Clearly c is divergent curve in \({\mathbb {R}}^n\setminus \sigma (K)\). Since by assumption \(N\in \Omega \) then \(\widetilde{c}\) is contained in some ball in \({\mathbb {R}}^n\). Recall the arc length formula
where \(g=u^{\frac{4}{n-2}} g_E.\)
By assumption c (and hence \(\widetilde{c}\)) is a divergent curve, therefore there exists \(x_0\in K\) such that
For \(m\in {\mathbb {N}}\), we let \(\gamma _m=D_m\cap \widetilde{c}\), where
If \(m\ge m_0\), for sufficiently large \(m_0\), it follows from the smoothness of c that \(\gamma _m\) is at most a countable union of open smooth curves. Moreover, from (4.4) we see that \(\gamma _m\ne \emptyset \), and
For \(y\in B(\widetilde{x}_0, 2^{-(k+2)})\) and \(x\in D_k\) we have \(|x-y|\le \frac{1}{2^k}+\frac{1}{2^{k+2}}=\frac{5}{2^{k+2}}\). Therefore
where we set \(\rho _i=2^{-i}.\) Let \(I_k\subset (0,+\infty )\) denote the open set such that
Then we derive that
where the last line follows from (4.5). Recalling the definition of \({\mathcal {W}}^\mu \) we see that
Comparing the inequalities for \(L_g(c)\) and \({\mathcal {W}}^\mu \) and recalling (4.1)
we obtain that \({{\widetilde{c}}}\) (and hence c) has infinite length, and thus Theorem 2.3 implies that (4.2) is true. \(\square \)
References
Armitage, D.H., Gardiner, S.J.: Classical potential theory, Springer Monographs in Mathematics, Springer, London (2001)
Aubin, T.: Équations différentielles non linéaires et probl‘eme de Yamabe concernant la courbure scalaire. J. Math. Pures Appl. 55(3), 269–296 (1976)
Bettiol, R.G., Piccione, P., Santoro, B.: Bifurcation of periodic solutions to the singular Yamabe problem on spheres. J. Differ. Geom. 103(2), 191–205 (2016)
Delanoë, P.: Generalized stereographic projections with prescribed scalar curvature, Geometry and nonlinear partial differential equations (Fayetteville, AR, 1990). Contemp. Math., vol. 127, Amer. Math. Soc., Providence, RI (1992) pp. 17–25. https://doi.org/10.1090/conm/127/1155406
Do Carmo, M. P., Flaherty Francis, J.: Riemannian Geometry (Vol. 6). Birkhäuser, Boston (1992)
González, M.D.M.: Recent progress on the fractional Laplacian in conformal geometry, Recent developments in nonlocal theory, De Gruyter, Berlin (2018), pp. 236–273
Gilbarg, D., Trudinger, N.S.: Elliptic partial differential equations of second order. Classics in Mathematics, Springer, Berlin (2001)
Hedberg, L.I., Wolff, T.H.: Thin sets in nonlinear potential theory. Ann. Inst. Fourier (Grenoble) 33(4), 161–187 (1983)
Helms, L. L.: Introduction to Potential Theory, Pure and Applied Mathematics, Vol. XXII, Wiley-Interscience A Division of John Wiley & Sons, New York (1969)
Kato, S., Nayatani, S.: Complete conformal metrics with prescribed scalar curvature on subdomains of a compact manifold. Nagoya Math. J. 132, 155–173 (1993). https://doi.org/10.1017/S0027763000004694
Labutin D. A.: Thinness for scalar-negative singular yamabe metrics. preprint, arxiv:math/0506226v1 (2005)
Landkof, N. S.: Foundations of modern potential theory. Springer, New York (1972). Translated from the Russian by A. P. Doohovskoy; Die Grundlehren der mathematischenWissenschaften, Band 180. MR0350027
Ma, X., McOwen, R.C.: Complete conformal metrics with zero scalar curvature. Proc. Am. Math. Soc. 115(1), 69–77 (1992)
McOwen, R.C.: Results and open questions on the singular Yamabe problem Discrete Contin. Dynam. Systems Added Volume II, 123–132 (1998). Dyn. Syst. Differ. Equ., Vol. II (Springfield, MO, 1996)
Rešetnjak, J.G.: The concept of capacity in the theory of functions with generalized derivatives. Sibirsk. Mat. Ž. 10, 1109–1138 (1969)
Schoen, R.: Conformal deformation of a Riemannian metric to constant scalar curvature. J. Differ. Geom. 20(2), 479–495 (1984)
Schoen , R.: Recent progress in geometric partial differential equations. In: Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Berkeley, CA, 1986), Amer. Math. Soc., Providence, RI pp. 121–130 (1987)
Schoen, R., Yau, S.-T.: Conformally flat manifolds, Kleinian groups and scalar curvature. Invent. Math. 92(1), 47–71 (1988)
Schoen, R., Yau, S.-T.: Lectures on differential geometry. In: Conference Proceedings and Lecture Notes in Geometry and Topology, I, International Press, Cambridge, MA (1994)
Trudinger, N.S.: On Harnack type inequalities and their application to quasilinear elliptic equations. Commun. Pure Appl. Math. 20, 721–747 (1967)
Yamabe, H.: On a deformation of Riemannian structures on compact manifolds. Osaka Math. J. 12, 21–37 (1960)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflicts of interest
The author was partially supported by EPSRC grant EP/S03157X/1. There are no financial or non-financial interests that are directly or indirectly related to the work submitted for publication. The manuscript contains no associated data.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The author was partially supported by EPSRC grant EP/S03157X/1 Mean curvature measure of free boundary.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Karakhanyan, A.L. Singular Yamabe problem for scalar flat metrics on the sphere. manuscripta math. 174, 875–889 (2024). https://doi.org/10.1007/s00229-023-01527-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00229-023-01527-x