[论文解读] 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 $ 时，所有具有有理坐标且内部非空的中心对称多面体均可作为一阶Hamilton-Jacobi方程周期均轮化中有效前导面的可接受形状。作者基于PDE方法，为这一反向形状定理提供了简洁证明，并推导出当有效Hamiltonian由此类多面体形状的极限产生时，均轮化过程的最优收敛速率。

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 $ 时具有有理顶点和非空内部的中心对称多面体提供基于PDE的可接受性证明。
• 推导当有效Hamiltonian对应于此类多面体形状极限时，均轮化过程的最优收敛速率。

提出的方法

• 作者分析了形如 $ u_t + a(x/\varepsilon)|Du| = 0 $ 的Hamilton-Jacobi方程的周期均轮化，其中 $ a $ 是 $ \mathbb{Z}^n $-周期且正定的。
• 通过单元问题 $ a(y)|p + Dv_p(y)| = \overline{H}(p) $ 定义有效Hamiltonian $ \overline{H} $，并证明其为极限可达集的支撑函数。
• 研究在 $ t \to \infty $ 时的可达集 $ \mathcal{R}_t(x)/t $，并利用Hausdorff度量证明其收敛于紧致凸集 $ D $。
• 采用构造性路径逼近方法，证明任意中心对称有理多面体内部的点均可通过缩放后的可达集逼近，利用周期性及在有理方向上的路径拼接实现。
• 最优收敛速率的证明依赖于通过有限个方向上的几何控制与覆盖论证，估计缩放后可达集与极限形状之间的距离。
• 证明显示收敛在空间和时间上局部一致成立，且收敛速率以多面体的有理结构和系数 $ a $ 的振荡界为参数进行量化。

实验结果

研究问题

• RQ1 在周期性前向传播模型中，哪些紧致凸集可作为可达集在长时间极限下的形状？
• RQ2 是否每个具有有理顶点和非空内部的中心对称多面体均可作为某个 $ \mathbb{Z}^n $-周期速度函数 $ a $ 的有效前导面？
• RQ3 当有效Hamiltonian由此类多面体形状极限生成时，Hamilton-Jacobi方程均轮化的最优收敛速率是什么？
• RQ4 有效前导面的结构（如：有理多面体）如何影响均轮化过程的收敛速率？

主要发现

• 当 $ n \geq 3 $ 时，所有具有有理坐标且内部非空的中心对称多面体均可作为一阶前向传播方程均轮化中有效前导面的可接受形状。
• 作者提供了该可接受性结果的新颖PDE证明，其与以往基于稳定范数或动力系统的方法不同。
• 推导出均轮化过程的最优收敛速率，并证明当有效Hamiltonian对应于中心对称有理多面体时，该速率是紧致的。
• 收敛速率以多面体的有理结构和系数 $ a $ 的振荡界为参数进行量化，明确依赖于 $ \varepsilon $。
• 证明依赖于构造路径，通过在有理方向上拼接轨迹，近似目标多面体的顶点，利用周期性确保可接受性。
• 结果确认有效Hamiltonian即为极限可达集的支撑函数，且该联系被用于通过 $ \overline{H}(p) = \sup_{q \in D} p \cdot q $ 表征 $ D $ 的形状。