[論文レビュー] Non-univalent solutions of the Polubarinova-Galin equation

Björn Gustafsson, Yu-Lin Lin|arXiv (Cornell University)|Nov 7, 2014

Nonlinear Waves and Solitons参考文献 27被引用数 3

ひとこと要約

本稿では、正則写像が局所的に単一値でない場合のPolubarinova-Galin方程式に対して、コンformal写像を分岐リーマン面へと持ち上げることで弱解の枠組みを構築し、微分の零点が単位円板を通過しても解の全球的存在を可能にする。主な貢献は、有理型解に対して安定な数値積分恒等式の定式化であり、解の位相的変化にもかかわらず、微分の構造が時間とともに有理型のままであることを示している。

ABSTRACT

We study non-univalent solutions of the Polubarinova-Galin equation, describing the time evolution of the conformal map from the unit disk onto a Hele-Shaw blob of fluid subject to injection at one point. In particular, we tackle the difficulties arising when the map is not even locally univalent, in which case one has to pass to weak solutions developing on a branched covering surface of the complex plane. One major concern is the construction of this Riemann surface, which is not given in advance but has to be constantly up-dated along with the solution. Once the Riemann surface is constructed the weak solution is automatically global in time, but we have had to leave open the question whether the weak solution can be kept simply connected all the time (as is necessary to connect to the Polubarinova-Galin equation). A certain crucial statement, a kind of stability statement for free boundaries, has therefore been left as a conjecture only. Another major part of the paper concerns the structure of rational solutions (as for the derivative of the mapping function). Here we have fairly complete results on the dynamics. Several examples are given.

研究の動機と目的

• コンフォーマル写像が局所的に単一値でない場合のPolubarinova-Galin方程式の拡張。
• 微分の零点が単位円板に入ることを解消するため、分岐リーマン面上での弱解の構築。
• 単一値性の喪失にもかかわらず、時間的に全球的な弱解が存在するための条件の確立。
• 特に、微分の零点および極構造の進化を特徴づける有理型解のダイナミクスの特定。
• 有理型解において、$L^2$-ノルムの積分恒等式が時間発展においても安定であることを証明。

提案手法

• 複素平面の分岐被覆であるリーマン面$\mathcal{M}$にコンフォーマル写像を持ち上げることで単一値性を回復。
• 源項をリーマン面上にバレイジェ（balayage）することにより弱解を定義し、時間的に全球的な存在を保証。
• Löwner-Kufarev方程式の枠組みを用い、リーマン面上での劣分数列としての時間発展をモデル化。
• 微分の臨界点が単位円周を通過するたびに、リーマン面を動的に更新する。
• 微分$g = f'$の有理型解を特徴づけるために、線積分および留数を含む積分恒等式を構築。
• 収縮的ゼロ除算子およびアーベル領域の理論を用いて、有理型解の構造を分析。

実験結果

リサーチクエスチョン

• RQ1 リーマン面上での弱定式化により、Polubarinova-Galin方程式を非単一値解に拡張可能か？
• RQ2 微分の零点が単位円周を通過する場合の解の挙動は何か？ そして、時間的に全球的にモデル化可能か？
• RQ3 微分$ f' $が有理型である場合、特に新しい零点および極が出現する際の、その構造の進化はいかなるものか？
• RQ4 有理型$g$に対して、$\int_{\mathbb{D}} h|g|^2 dm$の積分恒等式が時間発展においても保持されるか？
• RQ5 単連結な弱解を時間的に維持可能か？ あるいは、分岐プロセスによって単連結性が破壊されるか？

主な発見

• 解の進化に伴いリーマン面$\mathcal{M}$を動的に構築することで、すべての$t \geq 0$に対して時間的に全球的な弱解が存在する。
• 臨界点が$\partial\mathbb{D}$を通過するたびにリーマン面を適切に更新すれば、弱解は自動的に時間的に全球的となる。
• 有理型$f'$に対しては、解は有理型の形を維持し、零点と極は予測可能な法則に従って進化する：単位円周を通過する零点は、2つの新しい零点と1つの二重極を追加する。
• 初期に満たされていた積分恒等式(9.20) $\int_{\mathbb{D}} h|g|^2 dm$ は、時間発展に対しても安定に保たれ、係数は$t$に依存するが恒等式の構造は維持される。
• 積分恒等式における係数$a_{01}(t)$は、$a_{01}(t) = a_{01}(0) + 2Q(t)$として進化し、孤立した時刻ではゼロになる可能性がある。
• 完全なHele-Shaw発展において、すべての$t > 0$で恒等式$\frac{1}{\pi}\int_{\mathbb{D}} h|g|^2 dm = 2Q(t)h(0)$が成り立つ。これは解の位相的変化に対しても成立する。