[論文レビュー] Mixing and Un-mixing by Incompressible Flows

Yao Yao, Andrej Zlatoš|arXiv (Cornell University)|Jul 15, 2014

Nonlinear Partial Differential Equations参考文献 10被引用数 11

ひとこと要約

この論文は、2次元正方形上での非圧縮性流れにおける勾配ノルム制約下で、最適な混合およびアンミキシングレートを確立する。任意の平均ゼロの $ L^{\infty} $ 関数は、$ \kappa $-混合を $ \varepsilon $ スケールまで $ O(|\log \varepsilon|^{1+\nu_p}) $ の時間で達成でき、$ p < \frac{3+\sqrt{5}}{2} $ の場合 $ \nu_p = 0 $ であり、$ p \geq \frac{3+\sqrt{5}}{2} $ の場合 $ \nu_p \leq \frac{1}{3} $ である。また、このような混合状態は、$ O(|\log \varepsilon|^{2-1/p}) $ の時間で元の面積の長方形に戻すことができる。結果は鋭く、分数階ソボレフノルム $ s < 1 $ に対しても拡張可能である。

ABSTRACT

We consider the questions of efficient mixing and un-mixing by incompressible flows which satisfy periodic, no-flow, or no-slip boundary conditions on a square. Under the uniform-in-time constraint $\| abla u(\cdot,t)\|_p\leq 1$ we show that any function can be mixed to scale $ε$ in time $O(|\logε|^{1+ν_p})$, with $ν_p=0$ for $p

研究の動機と目的

• 時間に依存しない勾配制約下での非圧縮性流れによる混合・アンミキシングの効率を扱う。
• 一般の平均ゼロの $ L^\infty $ 関数が $ \kappa $-混合を $ \varepsilon $ スケールまで達成するまでの混合時間に対する鋭い上界を確立する。
• スケール $ \varepsilon $ に混合された任意の集合が、同じ面積の長方形に戻せるかどうかを効率的に示す。
• 混合およびアンミキシング時間の $ L^p $-ノルム（$ p \in (1, \infty) $）における速度勾配の依存性を分析する。
• 分数階ソボレフノルム $ \|u\|_{\dot{W}^{s,p}} \leq 1 $（$ s < 1 $）への拡張を行い、スケールに依存しない有限の時間となることを示す。
• すべての境界における定数が初期関数や集合に依存しないことを示し、普遍性を保証する。

提案手法

• 混合を、半径 $ \varepsilon $ の球上での点ごとの平均が $ \kappa \|f\|_{\infty} $ 以下であるという $ \kappa $-混合スケール $ \varepsilon $ 条件によって定義する。
• 正方形のディレイティック分割上での区分定数速度場を用いて、明示的な非圧縮性流れを構築し、時間に一様に $ \|\nabla u(\cdot,t)\|_p \leq 1 $ を満たすようにする。
• 補間および分数階ソボレフ埋め込みを用いて、$ H^{-s} $-ノルムと $ \kappa $-混合の関係を確立し、双対テストを用いた混合流れの構築を可能にする。
• 各スケールでストレッチとフォールディングにより混合度を向上させる、再帰的な流れ構成をディレイティックスケールに適用する。
• 小さな立方体上での差分商のスケーリングおよび減衰推定を用いて、得られた流れの $ W^{s,p} $-ノルムを評価する。
• $ \kappa $-混合と $ H^{-1} $-ノルムの減衰の等価性を用い、既存の混合効率に関する文献と接続する。

実験結果

リサーチクエスチョン

• RQ1 時間に依存しない勾配制約 $ \|\nabla u(\cdot,t)\|_p \leq 1 $ の下で、任意の平均ゼロの $ L^\infty $ 関数が $ \kappa $-混合を $ \varepsilon $ スケールまで達成する最適な混合時間は何か？
• RQ2 スケール $ \varepsilon $ に混合された任意の集合は、同じ面積の長方形に戻せるか？ そのアンミキシングの時間計算量は何か？
• RQ3 混合レートは $ L^p $-勾配制約の $ p $ の選択にどのように依存するか？ 特に $ p < \frac{3+\sqrt{5}}{2} $ および $ p \geq \frac{3+\sqrt{5}}{2} $ の場合に注目する。
• RQ4 分数階ソボレフノルム制約 $ \|u(\cdot,t)\|_{\dot{W}^{s,p}} \leq 1 $（$ s < 1 $）に強化することで、混合およびアンミキシング時間は $ \varepsilon $ に依存しなくなるか？
• RQ5 既知の下界が文献に存在する場合、導出された混合およびアンミキシングレートは最適であるか？

主な発見

• 平均ゼロの $ L^\infty $ 関数は、制約 $ \|\nabla u(\cdot,t)\|_p \leq 1 $ の下で、$ O(|\log \varepsilon|^{1+\nu_p}) $ の時間で $ \kappa $-混合を $ \varepsilon $ スケールまで達成可能であり、$ p < \frac{3+\sqrt{5}}{2} $ の場合 $ \nu_p = 0 $、$ p \geq \frac{3+\sqrt{5}}{2} $ の場合 $ \nu_p \leq \frac{1}{3} $ である。
• 混合レートは $ p \in \left(1, \frac{3+\sqrt{5}}{2}\right) $ に対して最適であり、文献に既知の下界と一致する。
• スケール $ \varepsilon $ に混合された任意の集合は、同じ面積の長方形（小さな誤差を許容）に、制約下で $ O(|\log \varepsilon|^{2-1/p}) $ の時間で効率的にアンミキシング可能である。
• より強い制約 $ \|u(\cdot,t)\|_{\dot{W}^{s,p}} \leq 1 $（$ s < 1 $）の下では、混合およびアンミキシング時間はスケールに依存せず、$ \varepsilon $ に依存しない有限の時間で達成可能である。
• すべての境界における定数は初期関数や集合に依存せず、すべての $ L^\infty $ 関数および可測集合に普遍的に適用可能であることを示している。
• 結果は高次元へ拡張可能であり、正方形領域における周期的境界条件、不透過境界条件、またはスリップ境界条件に対してもロバストである。