[論文レビュー] The Cauchy problem for fully nonlinear parabolic systems on manifolds

Hong Huang|arXiv (Cornell University)|Jun 16, 2015

Nonlinear Partial Differential Equations参考文献 15被引用数 4

ひとこと要約

本稿では、閉リーマン多様体上の完全非線形偶数階放物型系の初期値問題に対して、初期データにおいて強い放物型性を満たす場合の短時間における解の存在および一意性を確立する。証明は、系の線形化と不動点議論に依拠しており、コアとなる解析的道具として線形強い放物型系に対するシューディンガー推移を用いる。

ABSTRACT

We show the short time existence and uniqueness of solutions to the Cauchy problem for fully nonlinear systems of arbitrary even order on closed manifolds which are strongly parabolic at the initial values. The proof uses a linearization procedure and a fixed-point argument, and the key ingredient is the well known Schauder estimates for linear, strongly parabolic systems.

研究の動機と目的

• 閉リーマン多様体上での完全非線形偶数階放物型系の初期値問題に対して、短時間における解の存在および一意性を確立すること。
• ユークリッド領域における標準的な存在理論を、境界のないコンact多様体へと拡張すること。
• 放物的ではあるが、必ずしも準線形でない幾何的発展方程式に対して、厳密な解析的枠組みを提供すること。
• 従来の完全非線形放物型系に関する研究で見られる制限的な対称性仮定を排除すること。
• 任意の偶数階系に対して、高階の幾何的フローを含む、既存の結果を多様体上へ一般化すること。

提案手法

• 初期データにおける完全非線形放物型系の線形化により、線形で強い放物型系を導出すること。
• 線形で強い放物型系に対するシューディンガー推移を用いて、線形化された作用素の解のホルダーノルムを制御すること。
• ホルダー空間 $ C^{r+eta, 1+rac{eta}{r}} $ における不動点議論を用いて、非線形問題の解を構成すること。
• 局所座標と分割の単位を用いて、局所的な推移を多様体全体へのグローバルな設定へ拡張すること。
• 初期時刻における強い放物型性の仮定により、ド・トゥルクのテクニックを暗黙的に用いて可解性を保証すること。
• 初期の $ C^{r+eta, 1+rac{eta}{r}} $ の正則性を活用し、ブートストラップ議論により正則性をホルダーから滑らかにまで向上させること。

実験結果

リサーチクエスチョン

• RQ1 閉多様体上での完全非線形偶数階放物型系に対して、短時間における解の存在および一意性を確立できるか？
• RQ2 ユークリッド空間上での放物型系に対する標準的理論は、コンパクトなリーマン多様体へと拡張可能か？
• RQ3 初期時刻における強い放物型性の条件は、線形化作用素に対称性がなくても、局所的可解性を保証できるか？
• RQ4 シューディンガー推移は、多様体上での非線形系の存在証明においてどのような役割を果たすか？
• RQ5 非線形発展の下で、解の正則性は初期データからどのように伝播するか？

主な発見

• 時間 $ \tau > 0 $ が存在し、閉多様体上での完全非線形偶数階強い放物型系の初期値問題は、$ C^{r+\beta, 1+\frac{\beta}{r}}(M \times [0,\tau]) $ 内に一意な解をもつ。
• 解は時間区間 $ [0,\tau] $ に存在し、その長さは初期データと強い放物型定数にのみ依存する。
• 証明は、文献における以前の結果とは異なり、線形化作用素に対称性仮定を必要としない。
• この手法は、自明なバンドルや特別な幾何的構造に依存せず、閉多様体上の一般のベクトルバンドルへも適用可能である。
• 解は初期データおよび係数のホルダー正則性を引き継ぎ、時間微分および空間微分はシューディンガー推移により制御される。
• 結果は小さな摂動に対して安定であり、任意の $ \nu $ に対して正則性を $ C^\nu $ へ上昇させるブートストラップ議論が可能であり、$ t > 0 $ に対して解が滑らかであることを示唆する。