[論文レビュー] Counterexamples to quasiconcavity for the heat equation

Albert Chau, Ben Weinkove|arXiv (Cornell University)|Feb 13, 2018

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

ひとこと要約

本稿は、凸なアニュラス領域における熱方程式の下で擬凹性が保存されない明示的反例を構築する。これは、滑らかで、下調和的かつ擬凹性を有する初期データですら、時間の経過とともに空間的上位集合の凸性を失う可能性があることを示している。著者らは、非球面的レベル集合を有する回転対称でない熱流の摂動を用いて擬凹性を破り、さらに2点関数の議論により、回転対称性のもとでも空間時間的擬凹性が成立しないことを示している。

ABSTRACT

We construct solutions to the heat equation on convex rings showing that quasiconcavity may not be preserved along the flow, even for smooth and subharmonic initial data.

研究の動機と目的

• 初期データの擬凹性が、熱方程式の下で空間的または空間時間的擬凹性を保存するのに十分かどうかを調査すること。
• 初期データの下調和性が、放物型流れにおける擬凹性保存を保証すると仮定するのを挑戦すること。
• 次元 $ n \geq 2 $ において、解の上位集合が正の時間に非凸化する明示的反例を構築すること。
• 初期データが回転対称的でかつ擬凹的であっても、解の空間時間的擬凹性が保証されないことを示すこと。
• 空間時間的擬凹性の破綻を示すために、2点関数 $ \mathcal{H} $ が非正のまま保たれないことの分析。

提案手法

• 初期関数 $ V $ を、1から0へ急速に減衰する回転対称関数とし、熱方程式の下でレベル集合が球面となるように保証する。
• 初期関数 $ W $ を、$ \Omega_1 $ の近傍で楕円体のレベル集合を有する非回転対称関数とし、外側へ向かって球面的形状に漸近するように設計する。
• 十分に小さい $ \varepsilon > 0 $ に対して、凸結合 $ u_0 = (1-\varepsilon)V + \varepsilon W $ を構成し、初期データの適切性および擬凹性を保つ。
• 熱方程式を用いて $ u_0 $ を時間発展させ、球面的および楕円体的レベル集合の干渉が、正の時間における非凸な上位集合を生じることを示す。
• 空間時間的擬凹性の破綻を検出するために、2点関数 $ \mathcal{H}((x,s),(y,t)) = (Du(y,t)-Du(x,s))\cdot(y-x) + (u_t(y,t)-u_t(x,s))(t-s) $ を適用する。
• 時間 $ s=0 $ における $ \mathcal{H} $ の分析により、十分に大きな $ t $ で正の値をとることを示し、空間時間的擬凹性の必要条件に反することを示す。

実験結果

リサーチクエスチョン

• RQ1 初期データの擬凹性が、すべての $ t > 0 $ に対して $ x \mapsto u(x,t) $ が擬凹性を保つことを示唆するか？
• RQ2 コンパクトな台を持つ下調和的初期データが、熱方程式の下でも擬凹性を保つことができるか？
• RQ3 初期データが回転対称的かつ擬凹的である場合、空間時間的擬凹性は保たれるか？
• RQ4 凸環状領域における熱方程式の解に対して、2点関数 $ \mathcal{H} $ は非正のままであるか？
• RQ5 熱方程式の下で擬凹性保存を保証するための初期データの最小限の正則性および幾何的条件は何か？

主な発見

• 次元 $ n \geq 2 $ において、アニュラス領域 $ 1 < r < 2 $ 上で滑らかで、擬凹的かつ下調和的である初期関数 $ u_0 $ が存在し、ある $ t_0 > 0 $ に対して $ u(x,t_0) $ が擬凹的でなくなる。
• このような $ u_0 $ から出発する熱方程式の解 $ u(x,t) $ は、正の時間に非凸な空間的上位集合を発生させ、空間的擬凹性を破る。
• 初期データ $ u_0 $ が回転対称的かつ擬凹的であっても、解 $ u(x,t) $ は空間時間的擬凹性を失う。これは、十分に大きな $ t $ における正の2点関数 $ \mathcal{H} $ によって示された。
• 反例は、球面と非球面的楕円体の和集合の非凸性に依拠し、回転対称的熱流の摂動によって利用されている。
• 2点関数 $ \mathcal{H} $ が特定の点 $ ((x,0),(y,t)) $ で厳密に正であることが示され、空間時間的擬凹性の必要条件に反する。
• 本構成は [15, Theorem 3] の主張を無効にし、放物型擬凹性に関する結果により強い仮定が必要であることを強調している。