[論文レビュー] On maximum-principle functions for flows by powers of the Gauss curvature

Martin Franzen|arXiv (Cornell University)|Dec 18, 2013

Geometric Analysis and Curvature Flows参考文献 5被引用数 3

ひとこと要約

本稿は、指数 σ > 1 の場合、ガウス曲率のべき乗による流れに対して最大原理関数が存在しないことを証明する。対称有理関数としての主曲率の関数の時間発展方程式を詳細に分析することで、単調性に必要な条件——特に発展方程式における勾配項と定数項の非正性——が同時に満たされないことが示され、したがってこのような単調量がこれらの流れ下で存在しないことが結論づけられる。

ABSTRACT

We consider flows with normal velocities equal to powers strictly larger than one of the Gauss curvature. Under such flows closed strictly convex surfaces converge to points. In his work on the square of the norm of the second fundamental form, Schnürer proposes criteria for selecting quantities that are suitable for proving convergence to a round point. Such monotone quantities exist for many normal velocities, including the Gauss curvature, some powers larger than one of the mean curvature, and some powers larger than one of the norm of the second fundamental form. In this paper, we show that no such quantity exists for any powers larger than one of the Gauss curvature.

研究の動機と目的

• ガウス曲率のべき σ > 1 に対する流れに対して、単調量——特に最大原理関数——が存在するかを特定すること。
• 標準的な最大原理関数を用いた単調性による手法が、このような流れ下で丸い点への収束を示すために適用可能かどうかを調査すること。
• 発展方程式 dX/dt = -K^σ ν 下での主曲率の対称有理関数の発展を分析し、発展方程式における定数項と勾配項の符号に注目すること。
• σ > 1 の場合、Schnürerの基準を満たすような関数が存在しないことを確立すること。これは他の曲率流れの事例では成功しているが、K^σ 流れでは成立しない。

提案手法

• 最大原理関数 w を、w = p(λ₁,λ₂)/q(λ₁,λ₂) として定義する。ここで p と q は、特定の符号および次数条件を満たす同次多項式である。
• 流れ dX/dt = -K^σ ν 下での w の発展方程式を用い、時間微分を定数項 C_w(λ₁,λ₂) と勾配項 G_w(λ₁,λ₂)h_{ij;i}^2 に分解する。
• 最大原理を適用するため、臨界点において L(w) = d/dt w - F^{ij}w_{;ij} ≤ 0 が成り立つようにする。これは C_w と G_w の非正性を確認することに帰着される。
• 多項式の次数に応じた場合分けに基づき、ρ = λ₁/λ₂ を用いた C_w(ρ)、G₁(ρ)、G₂(ρ) の主要項の漸近展開を用いて分析する。
• 分子および分母多項式の先頭係数に基づく複数のケースを検討し、すべての項が非正であると仮定した場合の矛盾を体系的に導出する。
• g - h = (k - 1)(2σ - 1)/(σ - 1) の恒等式を用いて臨界ケースをテストし、G₂ 項が正になることを示し、必要な非正性が破られる。

実験結果

リサーチクエスチョン

• RQ1 ガウス曲率のべき σ > 1 に対する流れに対して、最大原理関数は存在するか？
• RQ2 K^σ 流れ（σ > 1）に対して、丸い点への収束を示すために、標準的な単調性手法（最大原理関数を用いるもの）を適用可能か？
• RQ3 K^σ 流れ（σ > 1）において、このような単調量が存在しない構造的障害は何か？
• RQ4 K^σ 流れ（σ > 1）において、w の発展における勾配項と定数項が同時に非正でないのはなぜか？
• RQ5 H^σ や |A|^2 などの他の流れとは異なり、K^σ 流れ（σ > 1）では、このような単調量が存在しないという本質的差異はあるか？

主な発見

• σ > 1 の場合、流れ dX/dt = -K^σ ν に対して最大原理関数は存在しない。
• すべての ρ > 0 に対して定数項 C_w と勾配項 G_w が非正であると仮定すると、多項式次数の組み合わせのすべてのケースで矛盾が生じる。
• 特に、臨界恒等式 g - h = (k - 1)(2σ - 1)/(σ - 1) を仮定すると、G₂(ρ) の先頭係数が正になることが示され、必要な非正性が破られる。
• この恒等式を緩和しても、g - h - 2(k - 1) > 0 および g - h - (k - 1) > 0 が導かれ、これにより G₁(ρ) 項が正になる。これは単調性要件に反する。
• 先頭係数の選択にかかわらず、矛盾は生じるため、K^σ 流れ（σ > 1）には本質的な構造的障害が存在する。
• この結果は、これらの流れに対して丸い点への収束を示すために、標準的な最大原理的手法（単調量を用いるもの）が利用できないことを示唆するが、収束自体は未解決の問題のまま残る。