Abstract
Let \(g=(g_{ij})\) be a complete Riemmanian metric on \({\mathbb {R}}^2\) with finite total area and let \(I_g\) be the infimum of the quotient of the length of any closed simple curve \(\gamma \) in \({\mathbb {R}}^2\) and the sum of the reciprocal of the areas of the regions inside and outside \(\gamma \) respectively with respect to the metric g. Under some mild growth conditions on g we prove the existence of a minimizer for \(I_g\). As a corollary we obtain a proof for the existence of a minimizer for \(I_{g(t)}\) for any \(0<t<T\) when the metric \(g(t)=g_{ij}(\cdot ,t)=u\delta _{ij}\) is the maximal solution of the Ricci flow equation \(\partial g_{ij}/\partial t=-2R_{ij}\) on \({\mathbb {R}}^2\times (0,T)\) (Daskalopoulos and Hamilton in Commun Anal Geom 12(1):143–164, 2004) where \(T>0\) is the extinction time of the solution. This existence of minimizer result is assumed and used without proof by Daskalopoulos and Hamilton (2004).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Isoperimetric inequalities arises in many problems in analysis and geometry such as the study of partial differential equations and Sobolev inequality [1, 17]. In [8, 11], Gage and Hamilton studied isoperimetric inequalities arising from the curve shortening flow. In [2] Daskalopoulos and Hamilton assumed the existence of a minimizer for an isoperimetric inequality corresponding to the maximal solution of the finite mass 2-dimensional Ricci flow on \({\mathbb {R}}^2\) and studied various properties of this isoperimetric inequality. However there is no proof of the existence of this minimizer in [2] and there is also no proof of this important existence result in other papers. In [3, 4, 6], Daskalopoulos, Hamilton, Del Pino and Sesum used these properties to study the behaviour of ancient solution of Ricci flow and the extinction behavior of finite mass maximal solution of Ricci flow, which is an important tool in the classification of manifolds [14,15,16, 18].
Since the existence of such minimizer is crucial to the proof of various theorems in [2, 3, 5, 6], in this paper I will give a rigorous proof of this important existence result. In fact my existence result holds for any metrics that satisfies some structural conditions which include the maximal finite mass solution of the 2-dimensional Ricci flow as a special case.
Let \(g=(g_{ij})\) be a complete Riemannian metric on \({\mathbb {R}}^2\) with finite total area \(A=\int _{{\mathbb {R}}^2}\,dV_g\) satisfying
for some constant \(r_0>1\) and positive monotone decreasing functions \(\lambda _1(r)\), \(\lambda _2(r)\), on \([r_0,\infty )\) that satisfy
and
for some constants \(c_0>1\), \(b_1>0\), \(b_2>0\), \(\delta >0\), where |x| is the distance of x from the origin with respect to the Euclidean metric. For any closed simple curve \(\gamma \) in \({\mathbb {R}}^2\), let (cf. [2])
where \(L(\gamma )\) is the length of the curve \(\gamma \), \(A_{in}(\gamma )\) and \(A_{out}(\gamma )\) are the areas of the regions inside and outside \(\gamma \) respectively, with respect to the metric g. Let
where the infimum is over all closed simple curves \(\gamma \) in \({\mathbb {R}}^2\). In this paper we will prove that there exists a constant \(b_0>0\) such that if \(I_g<b_0\), then there exists a closed simple curve \(\gamma \) satisfying \(I_g=I(\gamma )\). As a corollary we obtain a proof for the existence of a minimizer for the isoperimetric ratio \(I_{g(t)}\) for any \(0<t<T\) when the metric \(g(t)=g_{ij}(\cdot ,t)=u\delta _{ij}\) is the maximal solution of the Ricci flow [2]
where \(T>0\) is the extinction time of the solution and u is a solution of
We will adapt and modify the techniques in [11, 12] to prove the result. Since the domain under consideration in [11, 12], is either the sphere \(S^2\) ([12]) or a bounded domain, the minimizing sequences for the infimum of the isoperimetric ratios considered in those cases stay in a compact set. On the other hand since the isoperimetric ratio (1.6) is for any curve \(\gamma \) in \({\mathbb {R}}^2\), the minimizing sequence of curves for the infimum of the isoperimetric ratio (1.7) may not stay in a compact subset of \({\mathbb {R}}^2\) and may not have a limit at all. The technique for compact manifold [12] is not sufficient to prove this result. New technique and ideas are used in this paper to prove the result. We will show that there exists a constant such that this is impossible when \(I_g\) is less than this constant. After this we will use the curve shortening flow technique of [12] to modify the minimizing sequence of curves and show that they will converge to a minimizer of (1.7).
For any \(x_0\in {\mathbb {R}}^2\) and \(r>0\) let \(B_r(x_0)=\{x\in {\mathbb {R}}^2:|x-x_0|<r\}\) and \(B_r=B_r(0)\). The main results of the paper are as follows.
Theorem 1.1
Suppose g satisfies (1.1) for some constant \(r_0>1\) where \(\lambda _1(r)\), \(\lambda _2(r)\), are positive monotone decreasing functions on \([r_0,\infty )\) that satisfy (1.2), (1.3), (1.4) and (1.5) for some constants \(c_0>1\), \(b_1>0\), \(b_2>0\) and \(\delta >0\). Then there exists a constant \(b_0>0\) depending on \(b_1\), \(b_2\) and A such that the following holds:
If
then there exists a closed simple curve \(\gamma \) in \({\mathbb {R}}^2\) such that \(I_g=I(\gamma )\). Hence \(I_g>0\).
Proposition 1.2
Suppose \(g=(g_{ij})\) satisfies
for some constants \(C_2\ge C_1>0\), \(r_1>1\). Then there exist constants \(c_0>1\), \(\delta >0\), \(b_1>0\), \(b_2>0\), and \(r_0\ge r_1\) such that (1.2), (1.3), (1.4) and (1.5) hold.
Corollary 1.3
Let \(g_{ij}(x,t)=u(x,t)\delta _{ij}\) where u is the maximal solution of (1.8) with initial value \(0\le u_0\in L^p({\mathbb {R}}^2)\cap L^1({\mathbb {R}}^2)\), \(u_0\not \equiv 0\), for some \(p>1\) satisfying
given by [4, 13] where \(T=(1/4\pi )\int _{{\mathbb {R}}^2}u_0\,dx\). Then for any \(0<t_1<T\) there exists a constant \(b_0>0\) such that the following holds:
For any \(t_1\le t<T\), if \(I_{g(t)}<b_0\), then there exists a closed simple curve \(\gamma \) that satisfies \(I_{g(t)}=I(\gamma )\).
By an argument similar to the proof of Proposition 1.2 we also have the following result.
Remark 1.4
Suppose \(g=(g_{ij})\) satisfies
for some constants \(C_2\ge C_1>0\), \(r_1>1\). Then there exist constants \(c_0>1\), \(\delta >0\), \(b_1>0\), \(b_2>0\), and \(r_0\ge r_1\) such that (1.2), (1.3), (1.4) and (1.5) hold. The growth condition for g here is different from that of Proposition 1.2. Hence Theorem 1.1 is more general than the minimizer result used by Daskalopoulos and Hamilton [2].
2 The proof of the main results
Proof of Proposition 1.2
Let \(\lambda _i(r)=C_i(r\log r)^{-2}\), \(i=1,2\),
and \(\delta =C_1/(2c_0^2C_2)\). We choose \(r_2\ge r_1\) such that
We next note that
By (2.1) and (2.4) there exists \(r_0\ge r_2\) such that
By (2.3) and (2.5), we get (1.2) and (1.5). By (2.2) and a direct computation (1.3) and (1.4) holds with \(b_1=\sqrt{C_1}/(\sqrt{2}c_0C_2)\), \(b_2=\sqrt{C_1}\log 2\), and the proposition follows. \(\square \)
Proof of Corollary 1.3
By (1.10) and the results of [7] there exists a constant \(C_2>0\) such that
and for any \(t_0\in (0,T)\) there exists a constant \(r_1>1\) such that
By (2.6), (2.7), Theorem 1.1 and Proposition 1.2, the corollary follows. \(\square \)
Henceforth we will assume that g is a metric on \({\mathbb {R}}^2\) with finite total area that satisfies (1.1), (1.2), (1.3), (1.4) and (1.5) for some constants \(r_0>1\), \(c_0>1\), \(b_1>0\), \(b_2>0\), \(\delta >0\) where \(\lambda _1(r)\), \(\lambda _2(r)\), are positive monotone decreasing functions on \([r_0,\infty )\). Let \(b_0=\min (b_1,4b_2/A)\). Suppose (1.9) holds. Let \(\{\gamma _k\}_{k=1}^{\infty }\) be a sequence of closed simple curves on \({\mathbb {R}}^2\) such that
We will show that the sequence \(\{\gamma _k\}_{k=1}^{\infty }\) is contained in some compact set of \({\mathbb {R}}^2\). Let \(\Omega _k\) be the region inside \(\gamma _k\) and \(r_k=\min _{x\in \gamma _k} |x|\). Let \(L_e(\gamma _k)\) be the length of \(\gamma _k\) and \(|\Omega _k|\) be the area of \(\Omega _k\) with respect to the Euclidean metric. We choose \(r_0'>r_0\) such that
Lemma 2.1
The sequence \(r_k\) is uniformly bounded.
Proof
Suppose the lemma is not true. Then there exists a subsequence of \(r_k\) which we may assume without loss of generality to be the sequence itself such that
and \(r_k\rightarrow \infty \) as \(k\rightarrow \infty \). Let \(\widetilde{\gamma }_k=\partial B_{r_k}\). We choose a point \(x_k\in \gamma _k\cap \partial B_{r_k}\) and let \(\gamma _k:[0,2\pi ]\rightarrow {\mathbb {R}}^2\) be a parametrization of the curve \(\gamma _k\) such that \(x_k=\gamma _k(0)=\gamma _k(2\pi )\). Since for any \(k\in {\mathbb {Z}}^+\) either \(0\in \Omega _k\) or \(0\in {\mathbb {R}}^2{\setminus } \Omega _k\) holds, thus either
or
holds. We need the following result for the proof of the lemma.
Claim 1
There exists only finitely many k such that \(\gamma _k\cap ({\mathbb {R}}^2{\setminus }\overline{B}_{c_0r_k})\ne \emptyset \).
Proof of Claim 1
Suppose claim 1 is false. Then there exists infinitely many k such that \(\gamma _k\cap ({\mathbb {R}}^2{\setminus }\overline{B}_{c_0r_k})\ne \emptyset \). Without loss of generality we may assume that
By (2.13) there exists \(\phi _0\in (0,2\pi )\) such that
Hence there exists \(0<\phi _1<\phi _0<\phi _2<2\pi \) such that
and
Then by (1.1),
and
Suppose (2.11) holds. Without loss of generality we may assume that \(0\in \Omega _k\) for all \(k\in {\mathbb {Z}}^+\). Then \(B_{r_k}\subset \Omega _k\) for all \(k\in {\mathbb {Z}}^+\). Hence by (2.9), (2.10),
and
We will now show that the circle \(\widetilde{\gamma }_k=\partial B_{r_k}\) satisfies
Let \(\varepsilon =A_{out}(\widetilde{\gamma }_k)-A_{out}(\gamma _k)\). Then \(\varepsilon =A_{in}(\gamma _k)-A_{in}(\widetilde{\gamma }_k)\). Since \(\widetilde{\gamma }_k\subset \overline{\Omega }_k\) and the region between \(\gamma _k\) and \(\widetilde{\gamma }_k\) is contained in \({\mathbb {R}}^2{\setminus } B_{r_k}\), by (2.17),
By (2.16) and (2.21) we get (2.19). Now by (1.1),
By (1.3), (2.15), (2.19) and (2.22),
Letting \(k\rightarrow \infty \) in (2.23),
This contradicts (1.9) and the definition of \(b_0\). Hence (2.11) does not hold.
Suppose (2.12) holds. Without loss of generality we may assume that \(0\in {\mathbb {R}}^2{\setminus }\Omega _k\) for all \(k\in {\mathbb {Z}}^+\). Then by (2.10) \(0\in {\mathbb {R}}^2{\setminus } \overline{\Omega }_k\) and \(B_{r_k}\subset {\mathbb {R}}^2{\setminus }\overline{\Omega }_k\) for any \(k\in {\mathbb {Z}}^+\). By an argument similar to the proof of (2.17) and (2.18) but with the role of \(A_{in}(\gamma _k)\) and \(A_{out}(\gamma _k)\) being interchanged in the proof we get
Similarly by interchanging the role of \(A_{in}(\gamma _k)\) and \(A_{out}(\gamma _k)\) and replacing \(\varepsilon \) by \(\varepsilon ' =A_{out}(\widetilde{\gamma }_k)-A_{in}(\gamma _k)=A_{out}(\gamma _k) -A_{in}(\widetilde{\gamma }_k)\) in the proof of (2.19)–(2.23) above, we get that \(0\le \varepsilon '\le A/4\) and (2.19), (2.23), still holds. Letting \(k\rightarrow \infty \) in (2.23), we get (2.24). This again contradicts (1.9) and the definition of \(b_0\). Thus (2.12) does not hold and Claim 1 follows. \(\square \)
We will now continue with the proof of the lemma. By Claim 1 there exists \(k_0\in {\mathbb {Z}}^+\) such that
Note that either (2.11) or (2.12) holds. Suppose (2.11) holds. Without loss of generality we may assume that \(0\in \Omega _k\) for all \(k\ge k_0\). Then \(B_{r_k}\subset \Omega _k\) for all \(k\ge k_0\). Hence by (1.1) and (2.26),
and
Letting \(k\rightarrow \infty \) in (2.29), we get (2.24). Since (2.24) contradicts (1.9) and the definition of \(b_0\), (2.11) does not hold. Hence (2.12) holds. By (2.10) and (2.12) we may assume without loss of generality that \(0\in {\mathbb {R}}^2{\setminus }\overline{\Omega }_k\) for all \(k\ge k_0\). Then \(B_{r_k}\subset {\mathbb {R}}^2{\setminus }\overline{\Omega }_k\) for all \(k\ge k_0\). Hence \(\Omega _k\) is contractible to a point in \(\overline{B}_{c_0r_k}{\setminus } B_{r_k}\) for all \(k\ge k_0\). By (1.1),
By the isoperimetric inequality,
Now
Since \(\Omega _k\subset {\mathbb {R}}^2{\setminus } B_{r_k}\),
Letting \(k\rightarrow \infty \) in (2.34) by (2.35) we get \(I=\infty \). This contradicts (1.9). Hence (2.12) does not hold and the lemma follows. \(\square \)
By Lemma 2.1 there exists a constant \(a_1>r_0\) such that
Lemma 2.2
\(\gamma _k\in \overline{B}_{a_1^2}\quad \forall k\in {\mathbb {Z}}^+\).
Proof
Let \(\rho _k=\max _{\gamma _k}|x|\). Suppose the lemma does not hold. Then there exists a subsequence of \(\rho _k\) which we may assume without loss of generality to be the sequence itself such that
By (1.1), (1.4), (2.36), (2.37) and an argument similar to the proof of (2.14),
Hence by (2.38),
This contradicts (1.9) and the definition of \(b_0\). Hence the lemma follows. \(\square \)
Let \(L_k=L(\gamma _k)\). Since \(\overline{B}_{a_1^2}\) is compact, there exists constants \(c_2>c_1>0\) such that
Lemma 2.3
There exists a constant \(\delta _1>0\) such that \(L_k\ge \delta _1\quad \forall k\in {\mathbb {Z}}^+\).
Proof
By (2.39),
and the lemma follows. \(\square \)
By the proof of Lemma 2.3 we have the following corollary.
Corollary 2.4
For any constant \(C_1>0\) there exists a constant \(\delta _1>0\) such that
for any simple closed curve \(\gamma \subset \overline{B}_{a_1^2}\) satisfying
By (1.6) and Corollary 2.4 we have the following corollary.
Corollary 2.5
For any constant \(C_1>0\) there exists a constant \(\delta _2>0\) such that
for any simple closed curve \(\gamma \subset \overline{B}_{a_1^2}\) satisfying (2.41).
Lemma 2.6
There exists a constant \(C_2>0\) such that the following holds. Suppose \(\beta \subset \overline{B}_{a_1^2}\) is a closed simple curve. Then under the curve shrinking flow
with \(\beta (s,0)=\beta (s)\) where for each \(\tau \ge 0\), \(k(\cdot ,\tau )\) is the curvature, \(\vec {N}\) is the unit inner normal, and s is the arc length of the curve \(\beta (\cdot ,\tau )\) with respect to the metric g, there exists \(\tau _0\ge 0\) such that the curve \(\beta ^{\tau _0} =\beta (\cdot ,\tau _0)\subset \overline{B}_{a_1^2}\) satisfies \(I(\beta ^{\tau _0}) \le I(\beta )\) and
Proof
Since the proof is similar to the proof of [2] and the Lemma on P.197 of [12], we will only sketch the proof here. Let \(\beta ^{\tau } =\beta (\cdot ,\tau )\) and write
and the areas
with respect to the metric g. Let \(T_1>0\) be the maximal existence time of the solution of (2.42). Then
Similar to the result on P.196 of [12] we have
and
by the Gauss-Bonnet theorem where K is the Gauss curvature with respect to g and \(\Omega (\tau )\subset \overline{B}_{a_1^2}\) is the region enclosed by the curve \(\beta (s,\tau )\). Let \(C_1=2I(\beta )\). By continuity there exists a constant \(0<\delta _0<T_1\) such that
By (2.46), Corollary 2.4, and Corollary 2.5 there exist constants \(\delta _1>0\), \(\delta _2>0\), such that
Now
By (2.43) and (2.45) \(\int k\,ds\) is uniformly bounded for all \(0\le \tau <T_1\). Then by (2.44), (2.45), (2.47), and (2.48), there exists a constant \(C_2>0\) independent of \(\delta _0\) such that
for any \(\tau \in (0,\delta _0]\) satisfying
If
we set \(\tau _0=0\) and we are done. If
then either there exists \(\tau _0\in (0,\delta _0]\) such that
or
If (2.49) holds, since \(I(\tau _0)\le I(0)\) we are done. If (2.50) holds, since \(I(\delta _0)\le I(0)\) we can repeat the above the argument a finite number of times. Then either
(a) there exists \(\tau _0\in (0,T_1)\) such that (2.49) holds
or
(b)
holds.
If (b) holds, then similar to the proof of the Lemma on P.197 of [12] by (2.47) we get a contradiction to the Grayson theorem ([9, 10, 12]) for curve shortening flow. Hence (a) holds. Since \(I(\tau _0)\le I(0)\), the lemma follows. \(\square \)
To complete the proof of Theorem 1.1 we also need the following technical lemma (see [12]).
Lemma 2.7
For any positive numbers \(\alpha _1,\alpha _2,A_1,A_2,A_3\) we have
Proof
Suppose (2.52) does not hold. Then
and
Contradiction arises. Hence (2.52) holds and the lemma follows. \(\square \)
We are now ready for the proof of Theorem 1.1.
Proof of Theorem 1.1
Since the proof is similar to the proof of [11, 12] we will only sketch the argument here. Let \(C_2>0\) be given by Lemma 2.6 and \(\delta _1>0\) be given by Corollary 2.4 with \(C_1=b_0\). By Lemma 2.2, Lemma 2.3, Corollary 2.4, Lemma 2.6 and an argument similar to the proof of [12] for each \(j\in {\mathbb {Z}}^+\) there exists a closed simple curve \(\overline{\gamma }_j\subset \overline{B}_{a_1^2}\) satisfying
and
where k is the curvature of \(\overline{\gamma }_j\). By (2.55) and the same argument as that on P. 197-199 of [12] \(\overline{\gamma }_j\) are locally uniformly bounded in \(L_2^1\) and \(C^{1+\frac{1}{2}}\). Hence \(\overline{\gamma }_j\) has a sequence which we may assume without loss of generality to be the sequence itself that converges uniformly in \(L_p^1\) for any \(1<p<2\) and in \(C^{1+\alpha }\) for any \(0<\alpha <1/2\) as \(j\rightarrow \infty \) to some closed immersed curve \(\gamma \subset \overline{B}_{a_1^2}\). Moreover \(\gamma \) satisfies
Since \(\gamma \) is the limit of embedded curves, \(\gamma \) cannot cross itself and at worst it will be self tangent. Suppose \(\gamma \) is self tangent. Without loss of generality we may assume that \(\gamma \) is only self tangent at one point. Then \(\gamma =\beta _1\cup \beta _2\) with \(\beta _1\cap \beta _2\) being a single point where \(\beta _1\), \(\beta _2\), are simple closed curves. Then \(A_{in}(\gamma )=A_{in}(\beta _1)+A_{in}(\beta _2)\), \(A_{out}(\beta _1)= A_{out}(\gamma )+A_{in}(\beta _2)\), \(A_{out}(\beta _2)= A_{out}(\gamma )+A_{in}(\beta _1)\), and \(L(\gamma )=L(\beta _1)+L(\beta _2)\). Let \(L_1=L(\beta _1)\) and \(L_2=L(\beta _2)\). By Lemma 2.7,
Hence
Without loss of generality we may assume that \(I(\gamma )=I(\beta _1)\). Then by Corollary 2.4 \(\beta _1\) is a simple closed curve which attains the minimum. Similar to the proof of [12], by a variation argument \(\beta _1\) has constant curvature
Hence \(\beta _1\) is smooth and the theorem follows. \(\square \)
References
Bandle, C.: Isoperimetric Inequalities and Applications, Monographs and Studies in Mathematics, vol. 7. Pitman, Boston (1980)
Daskalopoulos, P., Hamilton, R.S.: Geometric estimates for the logarithmic fast diffusion equation. Commun. Anal. Geom. 12(1), 143–164 (2004)
Daskalopoulos, P., Hamilton, R.S., Sesum, N.: Classification of compact ancient solutions to the Ricci flow on surfaces. J. Differ. Geom. 91(2), 171–214 (2012)
Daskalopoulos, P., del Pino, M.A.: On a singular diffusion equation. Commun. Anal. Geom. 3(3–4), 523–542 (1995)
Daskalopoulos, P., del Pino, M.A.: Type II collapsing of maximal solutions to the Ricci flow in \({{\mathbb{R}}}^2\). Ann. I. H. Poincaré 24, 851–874 (2007)
Daskalopoulos, P., Sesum, N.: Type II extinction profile of maximal solutions to the Ricci flow in \({{\mathbb{R}}}^2\). J. Geom. Anal. 20, 565–591 (2010)
Esteban, J.R., Rodriguez, A., Vazquez, J.L.: The maximal solution of the logarithmic fast diffusion equation in two space dimensions. Adv Differ Equ 2(2), 867–894 (1997)
Gage, M.: An isoperimetric inequality with applications to curve shortening. Duke Math. J. 50, 1225–1229 (1983)
Grayson, M.: The heat equation shrinks embedded plane curves to points. J. Differ. Geom. 26, 285–314 (1987)
Grayson, M.: Shortening embedded curves. Ann. Math. 129, 71–111 (1989)
Hamilton, R.S.: Isoperimetric estimates for the curve shrinking flow in the plane. In: Modern Methods in Complex Analysis. Princeton, pp. 201–222 (1992); Annals of Mathematics Studies, vol. 137. Princeton University Press, Princeton (1995)
Hamilton, R.S.: An isoperimetric estimate for the Ricci flow on the two-sphere. In: Modern Methods in Complex Analysis. Princeton, pp. 191–200 (1992); Annals of Mathematics Studies, vol. 137. Princeton University Press, Princeton (1995)
Hui, K.M.: Existence of solutions of the equation \(u_t=\Delta \log u\). Nonlinear Anal. TMA 37(7), 875–914 (1999)
Morgan, J., Tang, G.: Ricci Flow and the Poincaré Conjecture, Clay Mathematics Monographs, vol. 3. American Mathematical Society, Providence (2007)
Perelman, G.: The entropy formula for the Ricci flow and its geometric applications. arXiv:math/0211159
Perelman, G.: Ricci flow with surgery on three-manifolds. arXiv:math/0303109
Schoen, R., Yau, S.T: Lectures on differential geometry. In: Conference Proceedings and Lecture Notes in Geometry and Topology, vol. 1. International Press, Boston, Cambridge (1994)
Zhang, Q.S.: Some gradient estimates for the heat equation on domains and for an equation by Perelman. Int. Math. Res. Not. Art. ID 92314, p. 39 (2006)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Neil Trudinger.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Hsu, SY. Minimizer of an isoperimetric ratio on a metric on \({\mathbb {R}}^2\) with finite total area. Bull. Math. Sci. 8, 603–617 (2018). https://doi.org/10.1007/s13373-018-0131-3
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-018-0131-3
Keywords
- Existence of minimizer
- Isoperimetric ratio
- Complete Riemannian metric on \({\mathbb {R}}^2\)
- Finite total area