<p>We prove that a proper weak solution <InlineEquation ID="IEq1"><EquationSource Format="TEX">\(\{ \Omega _{t} \}_{0 \le t &lt; \infty }\)</EquationSource><EquationSource Format="MATHML"><math><msub><mrow><mo stretchy="false">{</mo><msub><mi mathvariant="normal">Ω</mi><mi>t</mi></msub><mo stretchy="false">}</mo></mrow><mrow><mn>0</mn><mo>≤</mo><mi>t</mi><mo>&lt;</mo><mi>∞</mi></mrow></msub></math></EquationSource></InlineEquation> to inverse mean curvature flow in hyperbolic space <InlineEquation ID="IEq2"><EquationSource Format="TEX">\(\mathbb {H}^{n}\)</EquationSource><EquationSource Format="MATHML"><math><msup><mrow><mi mathvariant="double-struck">H</mi></mrow><mi>n</mi></msup></math></EquationSource></InlineEquation>, <InlineEquation ID="IEq3"><EquationSource Format="TEX">\(3 \le n \le 7\)</EquationSource><EquationSource Format="MATHML"><math><mrow><mn>3</mn><mo>≤</mo><mi>n</mi><mo>≤</mo><mn>7</mn></mrow></math></EquationSource></InlineEquation>, is eventually smooth and star-shaped for an arbitrary initial domain <InlineEquation ID="IEq4"><EquationSource Format="TEX">\(\Omega _{0}\)</EquationSource><EquationSource Format="MATHML"><math><msub><mi mathvariant="normal">Ω</mi><mn>0</mn></msub></math></EquationSource></InlineEquation>. In fact, this happens by the time <Equation ID="Equ63"><EquationSource Format="TEX">\(\begin{aligned} T= (n-1) \log \left( \frac{\text {sinh} \left( r_{+} \right) }{ \text {sinh} \left( r_{-} \right) } \right) , \end{aligned}\)</EquationSource><EquationSource Format="MATHML"><math display="block"><mrow><mtable><mtr><mtd columnalign="right"><mrow><mi>T</mi><mo>=</mo><mrow><mo stretchy="false">(</mo><mi>n</mi><mo>-</mo><mn>1</mn><mo stretchy="false">)</mo></mrow><mo>log</mo><mfenced close=")" open="("><mfrac><mrow><mtext>sinh</mtext><mfenced close=")" open="("><msub><mi>r</mi><mo>+</mo></msub></mfenced></mrow><mrow><mtext>sinh</mtext><mfenced close=")" open="("><msub><mi>r</mi><mo>-</mo></msub></mfenced></mrow></mfrac></mfenced><mo>,</mo></mrow></mtd></mtr></mtable></mrow></math></EquationSource></Equation>where <InlineEquation ID="IEq5"><EquationSource Format="TEX">\(r_{+}\)</EquationSource><EquationSource Format="MATHML"><math><msub><mi>r</mi><mo>+</mo></msub></math></EquationSource></InlineEquation> and <InlineEquation ID="IEq6"><EquationSource Format="TEX">\(r_{-}\)</EquationSource><EquationSource Format="MATHML"><math><msub><mi>r</mi><mo>-</mo></msub></math></EquationSource></InlineEquation> are the geodesic out-radius and in-radius of <InlineEquation ID="IEq7"><EquationSource Format="TEX">\(\Omega _{0}\)</EquationSource><EquationSource Format="MATHML"><math><msub><mi mathvariant="normal">Ω</mi><mn>0</mn></msub></math></EquationSource></InlineEquation>. The approach is based on an Alexandrov reflection method for extrinsic curvature flows originally introduced by Chow-Gulliver [<CitationRef CitationID="CR9">9</CitationRef>]. In addition, our methods characterize expanding spheres as proper weak IMCF on <InlineEquation ID="IEq8"><EquationSource Format="TEX">\(\mathbb {H}^{n} \setminus \{ 0 \}\)</EquationSource><EquationSource Format="MATHML"><math><mrow><msup><mrow><mi mathvariant="double-struck">H</mi></mrow><mi>n</mi></msup><mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo><mrow><mo stretchy="false">{</mo><mn>0</mn><mo stretchy="false">}</mo></mrow></mrow></math></EquationSource></InlineEquation> for arbitrary <i>n</i>, thereby implying a result for ancient smooth solutions. As applications of the regularity theorem, we derive optimal Minkowski inequalities for arbitrary smooth domains of <InlineEquation ID="IEq9"><EquationSource Format="TEX">\(\mathbb {H}^{n}\)</EquationSource><EquationSource Format="MATHML"><math><msup><mrow><mi mathvariant="double-struck">H</mi></mrow><mi>n</mi></msup></math></EquationSource></InlineEquation>, <InlineEquation ID="IEq10"><EquationSource Format="TEX">\(3 \le n \le 7\)</EquationSource><EquationSource Format="MATHML"><math><mrow><mn>3</mn><mo>≤</mo><mi>n</mi><mo>≤</mo><mn>7</mn></mrow></math></EquationSource></InlineEquation>, extending those of Brendle-Hung-Wang [<CitationRef CitationID="CR5">5</CitationRef>] and De Lima-Girao [<CitationRef CitationID="CR11">11</CitationRef>]. From this, we also extend the Riemannian Penrose inequality from [<CitationRef CitationID="CR11">11</CitationRef>] to balanced asymptotically graphs over the exteriors of outer-minimizing domains in <InlineEquation ID="IEq11"><EquationSource Format="TEX">\(\mathbb {H}^{n}\)</EquationSource><EquationSource Format="MATHML"><math><msup><mrow><mi mathvariant="double-struck">H</mi></mrow><mi>n</mi></msup></math></EquationSource></InlineEquation>.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On Weak Inverse Mean Curvature Flow and Minkowski-type Inequalities in Hyperbolic Space

  • Brian Harvie

摘要

We prove that a proper weak solution \(\{ \Omega _{t} \}_{0 \le t < \infty }\){Ωt}0t< to inverse mean curvature flow in hyperbolic space \(\mathbb {H}^{n}\)Hn, \(3 \le n \le 7\)3n7, is eventually smooth and star-shaped for an arbitrary initial domain \(\Omega _{0}\)Ω0. In fact, this happens by the time \(\begin{aligned} T= (n-1) \log \left( \frac{\text {sinh} \left( r_{+} \right) }{ \text {sinh} \left( r_{-} \right) } \right) , \end{aligned}\)T=(n-1)logsinhr+sinhr-,where \(r_{+}\)r+ and \(r_{-}\)r- are the geodesic out-radius and in-radius of \(\Omega _{0}\)Ω0. The approach is based on an Alexandrov reflection method for extrinsic curvature flows originally introduced by Chow-Gulliver [9]. In addition, our methods characterize expanding spheres as proper weak IMCF on \(\mathbb {H}^{n} \setminus \{ 0 \}\)Hn\{0} for arbitrary n, thereby implying a result for ancient smooth solutions. As applications of the regularity theorem, we derive optimal Minkowski inequalities for arbitrary smooth domains of \(\mathbb {H}^{n}\)Hn, \(3 \le n \le 7\)3n7, extending those of Brendle-Hung-Wang [5] and De Lima-Girao [11]. From this, we also extend the Riemannian Penrose inequality from [11] to balanced asymptotically graphs over the exteriors of outer-minimizing domains in \(\mathbb {H}^{n}\)Hn.