[論文レビュー] Optimal Besov differentiability for entropy solutions of the Eikonal equation

Francesco Ghiraldin, Xavier Lamy|arXiv (Cornell University)|Feb 5, 2018

Navier-Stokes equation solutionsMathematics参考文献 44被引用数 21

ひとこと要約

本稿では、2次元におけるEikonal方程式のエントロピー解の最良Besov微分可能性を、最良Besov正則性、有限エントロピー生成、および運動論的定式化の有効性の同値性を証明することによって確立する。速度平均法とdiv-curl推定を用いて、このような解が端点Besov空間 $ B^{1/4}_{4,∞} $ に属することを示し、これは指数に関して鋭い結果である。

ABSTRACT

In this paper we study the Eikonal equation in a bounded planar domain. We prove the equivalence among optimal Besov regularity, the finiteness of every entropy production and the validity of a kinetic formulation.

研究の動機と目的

• 2次元領域におけるEikonal方程式のエントロピー解の最良分数階微分可能性を確立すること。
• 最良Besov正則性、すべてのエントロピー生成の有限性、および運動論的定式化の有効性の同値性を証明すること。
• 特異摂動を伴うAviles-Gigaエネルギーから生じる解のための鋭いBesov空間を特定することで、従来のSobolev正則性結果を改善すること。
• Besov空間 $ B^{1/4}_{4,∞} $ における $ 1/4 $-Hölder指数が解の微分可能性に関して最良であるかどうかを検討すること。

提案手法

• Eikonal方程式とスカラー保存則（特にBurgers方程式）との関係を活用し、エントロピー解理論の利点を活かす。
• 速度平均法を適用して、エントロピー生成測度の構造から分数階微分可能性の推定を得る。
• 再正規化されたフラックス $ \Sigma_{e_1,e_2}(m) $ と $ \Sigma_{\varepsilon_1,\varepsilon_2}(m) $ に対して、div-curl補題の議論を適用する。これらは局所的有限測度であることが示される。
• 鍵となる不等式 $ \det(X-Y) \gtrsim |X-Y|^4 $ を用いて、これらのフラックスの差の点での下界を確立し、それらを $ |D^h_e m| $ の増分に関連付ける。
• Hodge分解とポテンシャル論を用いて、差作用素の発散の $ W^{-1,p'} $ ノルムを推定する。
• 成長を制御するため、$ p = -\log|h| $ の対数スケーリングを適用し、$ |h|\log(1/|h|) $ のモジュラス連続性が得られる。

実験結果

リサーチクエスチョン

• RQ1 2次元におけるEikonal方程式のエントロピー解の最良Besov空間正則性は何か？
• RQ2 すべてのエントロピー生成の有限性と運動論的定式化の有効性は、解の微分可能性とどのように関係しているか？
• RQ3 既知の $ W^{1/3-}_{\rm loc} $ 正則性は、鋭いBesov空間の端点に改善可能か？
• RQ4 Besov空間 $ B^{1/4}_{4,\infty} $ の指数 $ 1/4 $ は、このような解の微分可能性に関して最良か？
• RQ5 フラックス写像 $ \Sigma $ の幾何的構造とdiv-curl補題は、正則性推定にどの程度寄与するか？

主な発見

• すべてのエントロピー $ \Phi \in ENT $ に対して有限エントロピー生成を示す、$ \Omega \subset \mathbb{R}^2 $ 内のEikonal方程式のエントロピー解は、局所的Besov空間 $ B^{1/4}_{4,\infty;\rm loc}(\Omega) $ に属する。
• 正則性結果は、指数 $ 1/4 $ を改善できないという意味で鋭いが、積分性 $ p=4 $ の最良性は未解決のままである。
• 有限エントロピー生成、運動論的定式化、最良Besov正則性の同値性は、初めて厳密に確立された。
• 増分 $ D^h_e m $ の $ L^4 $ ノルムのモジュラス連続性は $ |h|\log(1/|h|) $ で有界であり、これは $ B^{1/4}_{4,\infty} $ 正則性を示唆する。
• 本手法は、フラックス写像 $ \Sigma $ の差作用素に対するdiv-curl補題の新しい応用に依拠しており、それらの発散が測度値であることに着目している。
• JabinとPerthameの以前の $ W^{1/5-}_{\rm loc} $ および $ W^{1/3-}_{\rm loc} $ 正則性結果を上回り、鋭い端点に到達した。