[論文レビュー] Effective fronts of polytope shapes

Wenjia Jing, Hung V. Tran+1 more|arXiv (Cornell University)|Sep 24, 2019

Advanced Mathematical Modeling in Engineering参考文献 10被引用数 4

ひとこと要約

本稿では、次元 $ n \geq 3 $ に対して、有理数座標と空でない内部をもつ中心対称多面体が、一階ハミルトニアン・ジャコビ方程式の周期的均質化における有効な前進として許容可能であることを確立する。偏微分方程式に基づく手法を用いて、この逆形状定理の簡単な証明が与えられ、有効ハミルトニアンがこのような多面体形状の極限から生じる場合の均質化過程における最適収束速度が導出される。

ABSTRACT

We study the periodic homogenization of first order front propagations. Based on PDE methods, we provide a simple proof that for $n \geq 3$, the class of centrally symmetric polytopes with rational coordinates and nonempty interior is admissible as effective fronts, which was also established in [1,10] in the form of stable norms as an extension of Hedlund's classical result [7]. Besides, we obtain the optimal convergence rate of the homogenization problem for this class.

研究の動機と目的

• 周期的均質化における一階フロント伝播方程式の有効フロントとして生じうる凸集合は何かを特定すること。
• 振動する媒体における到達集合の極限形状として許容可能な形状を特定する逆形状定理を確立すること。
• 次元 $ n \geq 3 $ において、中心対称で有理数頂点と空でない内部をもつ多面体が、有効フロントとして許容可能であることを偏微分方程式に基づいて証明すること。
• 有効ハミルトニアンがこのような多面体形状の極限から生じる場合の均質化過程における最適収束速度を導出すること。

提案手法

• 著者らは、形態 $ u_t + a(x/\varepsilon)|Du| = 0 $ の周期的ハミルトニアンをもつハミルトニアン・ジャコビ方程式の周期的均質化を分析する。ここで $ a $ は $ \mathbb{Z}^n $-周期的かつ正である。
• 有効ハミルトニアン $ \overline{H} $ は細胞問題 $ a(y)|p + Dv_p(y)| = \overline{H}(p) $ を用いて定義され、これが到達集合の極限形状のサポート関数として示される。
• 到達集合 $ \mathcal{R}_t(x)/t $ は $ t \to \infty $ の極限において、ハウスドルフ距離を用いてコンact凸集合 $ D $ に収束することが確立される。
• 周期性と有理方向に沿った経路の連結を活用して、中心対称な有理数多面体の内部の任意の点が、スケーリングされた到達集合によって近似可能であることを示す構成的経路近似法が用いられる。
• 最適収束速度の証明は、幾何的制御と有限個の方向における被覆議論を用いて、スケーリングされた到達集合と極限形状との距離を推定することに依拠する。
• 収束は空間的・時間的に局所的に一様に成立し、収束速度は多面体の有理数構造と係数 $ a $ の振幅の上限に依存して定量的に評価される。

実験結果

リサーチクエスチョン

• RQ1 周期的フロント伝播モデルにおいて、大時間における到達集合の極限として生じうるコンパクトな凸集合は何か？
• RQ2 中心対称で有理数頂点と空でない内部をもつ多面体は、任意に $ \mathbb{Z}^n $-周期的速度関数 $ a $ に対して有効フロントとして実現可能か？
• RQ3 有効ハミルトニアンがこのような多面体形状の極限から生じる場合、ハミルトニアン・ジャコビ方程式の均質化における最適収束速度は何か？
• RQ4 有効フロントの構造（例えば、有理数多面体）は、均質化過程の収束速度にどのように影響するか？

主な発見

• $ n \geq 3 $ に対して、有理数座標と空でない内部をもつ中心対称多面体は、すべて一階フロント伝播方程式の均質化における有効フロントとして許容可能である。
• 著者らは、従来の安定ノルムや力学系を用いた手法とは異なる、偏微分方程式に基づく新しい許容性証明を提供する。
• 有効ハミルトニアンが中心対称な有理数多面体に対応する場合の均質化過程における最適収束速度が導出され、それが実際に鋭い収束速度であることが示される。
• 収束速度は多面体の有理数構造と係数 $ a $ の振幅の上限に依存し、$ \varepsilon $ に明示的な依存関係をもって定量的に評価される。
• 証明は、周期性を用いて有理方向に沿った軌道を連結させることで、目的の多面体の頂点を近似する経路を構成することに依拠する。
• この結果により、有効ハミルトニアンが極限到達集合のサポート関数であることが確認され、$ \overline{H}(p) = \sup_{q \in D} p \cdot q $ を用いて $ D $ の形状が特徴づけられる。