[論文レビュー] A regularizing property of the $2D$-eikonal equation

Camillo De Lellis, Radu Ignat|Zurich Open Repository and Archive (University of Zurich)|Sep 7, 2014

Navier-Stokes equation solutions参考文献 14被引用数 4

ひとこと要約

本稿では、2次元アイゾナール方程式および関連するバーガース方程式に対して、$ W^{1/p,p}_{\text{div}} $-正則性を持つベクトル場が、$ p \in [1,3] $ の範囲で、1次元の孤立渦点を除き局所的にリプシッツ連続な勾配を持つことを証明することにより、解に対する正則化効果を確立する。この結果は、運動論的定式化と交換子推定を用いて、このような解が隠れたバランス法則を満たすことを示すものであり、線状特異性や振動的挙動を排除する。

ABSTRACT

We prove that any $2$-dimensional solution $ψ\in W_{loc}^{1+\frac 1 3, 3}$ of the eikonal equation has locally Lipschitz gradient $ abla ψ$ except at a locally finite number of vortices.

研究の動機と目的

• 2次元アイゾナール方程式 $ |\nabla\psi| = 1 $ が $ \Omega \subset \mathbb{R}^2 $ で almost everywhere 成り立つ解 $ \psi $ に対して、$ \nabla\psi $ が孤立渦点を除き局所的にリプシッツ連続であることを示す正則性特性を確立すること。
• $ p \in [1,3] $ に対して、発散なしの $ \mathbb{S}^1 $-値ベクトル場 $ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ の特異性構造を同定し、それが1次元の度数1の渦点しか持てないことを証明すること。
• バーガース方程式 $ v_t + (v^2/2)_s = 0 $ のエンタルピー解に対して、$ L^3(I, W^{1/3,3}(J)) $ の積分可能性のもとで正則性結果を拡張し、このような解が局所的にリプシッツ連続であることを示すこと。
• Onsagerの予想に関連する臨界的正則性閾値 $ 1/3 $-ホルダー連続性が、このような系における運動エネルギー保存および隠れたバランス法則を保証することを示すこと。

提案手法

• 特性関数 $ \chi(x,\xi) = \mathbf{1}_{\{u(x)\cdot\xi > 0\}} $ を用いたアイゾナール方程式の運動論的定式化を用い、これは分布の意味で $ \xi \cdot \nabla_x \chi(x,\xi) = 0 $ を満たす。
• コントラダスティン、エ、ティティの交換子推定を適用し、$ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ に対して隠れたバランス法則を導出するが、これは $ p \in [1,3] $ の範囲でのみ有効である。
• 発散なしの条件と弱い特徴線を用いて、$ u $ の横断的線分上における $ L^\infty $-トレースを確立し、特異性のトレースに基づく解析を可能にする。
• トレースに基づく議論を実施し、$ u $ がLebesgue点で線分に直交しているならば、その線分上でほとんど everywhere に直交していることを示し、特性構造を保存する。
• 特徴線における順序関係を用いる：$ u(x) \cdot (y - x) > 0 $ ならば、$ u(y) \cdot (y - x) > 0 $ である。これにより、物理的に不適切な交差を排除し、正則性を強制する。
• オレニクの推定とショックなしの解析を用い、$ L^3(I, W^{1/3,3}(J)) $ の範囲でバーガース方程式のエンタルピー解 $ v $ が連続的であり、したがって局所的にリプシッツ連続であることを示す。

実験結果

リサーチクエスチョン

• RQ1 2次元アイゾナール方程式 $ |\nabla\psi| = 1 $ を almost everywhere で満たす $ \psi \in W^{1+1/3,3}_{\text{loc}}(\Omega) $ の解に対して、どのような正則性特性が現れるか？
• RQ2 $ p \in [1,3] $ に対して $ W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ 解は、線状特異性や振動的挙動を示す可能性があるか？もし示さないならば、その理由は何か？
• RQ3 発散なしの条件と $ W^{1/p,p} $ 正則性が、拡張された特異性ではなく点状の渦にどのように作用するか？
• RQ4 $ 1/3 $-ホルダー閾値が、非圧縮性エーラー方程式およびバーガース方程式の解においてエネルギー保存と隠れたバランス法則を保証する役割は何か？
• RQ5 運動論的定式化とトレース理論を用いて、滑らかでない場合、特に臨界的 $ p=3 $ の場合に弱解の正則性を証明できるか？

主な発見

• 任意の $ p \in [1,3] $ に対して、$ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ は、局所的に有限個の孤立渦点を除き、局所的にリプシッツ連続な勾配を持つ。
• 各渦点 $ P \in \Omega $ は、度数1の特異性に対応し、$ x \neq P $ の近傍で $ u(x) = \alpha \frac{(x-P)^\perp}{|x-P|} $ を満たす。ここで $ \alpha = \pm 1 $ である。
• $ p \leq 3 $ の $ W^{1/p,p} $ 正則性は、ジャンプ不連続性や、$ \varphi(x_1) = \log|\log|x_1|| $ によって生じるような振動的線状特異性を両方排除する。これは発散なし制約のおかげである。
• バーガース方程式のエンタルピー解 $ v \in L^4(\Omega) \cap L^3(I, W^{1/3,3}(J)) $ に対して、オレニクの推定とショックなしの条件から、$ v $ は連続的であり、したがって局所的にリプシッツ連続であることが導かれる。
• 交換子推定を用いて導出された隠れたバランス法則は、$ u \in W^{1/p,p}_{\text{div}}(\Omega, \mathbb{S}^1) $ で $ p \in [1,3] $ の範囲でのみ成り立つが、それより低い正則性では成立しない。これは閾値の鋭さを示している。
• 本結果は、$ 1/3 $-ホルダー連続性が、運動エネルギー保存において臨界的であることを確認しており、これは、そうでなければ分布的解で破綻するバランス法則の有効性を保証する。