Richardson dispersion and anomalous dissipation for the random velocity model with controlled sweeping

技術要約：制御されたスウィーピング（Sweeping）を伴うランダム速度モデルにおけるリチャードソン分散と異常散逸

問題の定義
本論文は、乱流の数学的理論における2つの根本的な問題、すなわち、リチャードソンの分散則の厳密な導出と、パッシブスカラーにおける異常散逸の証明に取り組んでいる。リチャードソンが1926年に予測した分散則は、慣性領域内において、一対の粒子の平均二乗分離が $t^3$ のオーダーで成長する（$E R_t^2 \sim t^3$）というものである。このスケーリングは、コルモゴロフの $1/3$-正則性仮説に基づき物理的に強く動機付けられているが、有限の相関時間を持つランダム速度場に対しては、歴史的に厳密な数学的証明が困難であった。同様に、異常散逸（拡散係数がゼロに近づくにつれて、分子拡散率に依存せずエネルギーが散逸する現象）も、粒子軌道の「自発的確率性」（ノイズ・リミットにおける非一意性）に関連付けられてきた。しかし、これまでの厳密な構成は、非物理的なホワイト・イン・タイム（時間に関する白色雑音）の速度場（クライツナン・モデル）や、時間均質性や現実的なスケール階層を欠いた、設計された決定論的な流れに依存していた。

物理的なモデルにおいてしばしば欠落している重要なメカニ具合は、「制御されたスウィーピング（Controlled Sweeping）」、すなわち、大きなスケールの渦による小さな渦の物質輸送である。標準的なキネマティック・シミュレーションは、これを捉えることに失敗することが多く、その結果、デコリレーション（相関消失）の時間や分散指数が不正確になる。本論文は、制御されたスウィーピングを組み込んだ、ランダムで時間均質かつ幾何学的に高密度な速度場を構築し、リチャードソン分散と異常散逸の両方を厳密に証明することを目的としている。

手法およびモデルの構成
著者らは、トーラス $\mathbb{T}^d$ ($d \ge 2$) 上の、所定の空間ホルデル連続性 $C^\alpha$ ($0 < \alpha < 1$) を持つランダム速度場 $u$ を構築する。この構成は、長さスケール $\ell_j = 2^{-j}$ と振幅 $A_j = \ell_j^\alpha$ を持つスケール階層 $j \ge j_0$ に整理された、ウェーブレットに基づくシア流（shear flows）のマルチスケール重ね合わせである。

モデルの主な特徴は以下の通りである：

1. 制御されたスウィーピング（Controlled Sweeping）: スケール $j$ におけるウェーブレットの中心は固定されておらず、より粗いスケール（$< j$）のフローによって輸送される。これにより、小さな渦が大きな渦によって物質的に移送されることが保証され、これは正しい乱流統計のために不可欠であると推測されている特徴である。
2. スケール依存の更新（Scale-Dependent Renewal）: 速度場は、ランダムな時刻 $\tau_j \approx \kappa \ell_j^{1-\alpha}$ （ここで $\kappa$ はクボ数）でリセットされる。これらの更新時間は入れ子構造になっており、粗いスケールの更新は、すべてのより細かいスケールの更新を引き起こす。
3. ランダム性: 場は、各スケールとウィンドウに対する独立なランダムなシフトと係数（平均ゼロかつ対称分布）によって生成される。ランダム性は速度アンサンブルに限定されており、粒子の軌道は、固定された実現（realization）に対して決定論的な常微分方程式に従う。
4. 構造関数: モデルは、構造的仮説（ND）を満たす特定のウェーブレット・ファミリー（例：$\psi(x) = (1-|x|^2)_+^5$）を利用している。この仮説は、縦方向の構造関数の非減少性を保証するものであり、分散の利得の符号にとって極めて重要である。

主要な貢献と結果

• リチャードソン分散則
  本論文は、初期距離 $r_0$ から始まる一対の粒子の平均二乗分離に対して、定量的下限および上限を確立している。十分小さなクボ数 $\kappa$ に対して、また許容される時間範囲内において、著者らは以下を証明している：
  $$c(r_0^{1-\alpha} + \kappa t)^{2/(1-\alpha)} \le E R_t^2 \le C(r_0^{1-\alpha} + t)^{2/(1-\alpha)}$$
  具体的には、$\alpha = 1/3$（コルモゴロフ・スケーリング）の場合、これは $c \kappa^3 t^3 \le E R_t^2 \le C t^3$ という立方則を与える。これらの定数は小スケール・カットオフに依存せず、解像度が増加してもリチャードソン則が一様に成立することを示している。

• 異常散逸
  著者らは、パッシブスカラー方程式 $\partial_t \theta + u \cdot \nabla \theta = \mu \Delta \theta$ について、平均散逸が $\mu \to 0$ のときも厳密に正であり続けることを証明している。具体的には、任意の平均ゼロの初期データ $\theta_0 \in L^2$ に対して、期待散逸 $E D_\mu(\theta_0)$ は（十分小さな $\mu$ に対して）$\|\theta_0\|^2$ に比例する下限を $\mu$ に関して一様に満たす。さらに、速度場の単一の実現において、散逸が正の確率で異常であることを示している。

• 決定論的な対応物
  散逸イベントが発生する確率空間から特定の実現を選択することで、著者らは、特定の初期データ（例：$\cos(2\pi x_1)$）に対して異常散逸を示す、決定論的な、発散のないベクトル場 $u \in L^\infty_t C^\alpha_x$ の存在を導き出す。これは、スカラー方程式における粘性ゼロ極限での非一意性の決定論的な例を提供している。

技術的アプローチ
証明は「補正された観測量（corrected observable）」の手法に基づいている。生の分離 $R_t^\beta$ を直接解析する代わりに、現在の更新ウィンドウ内の残り時間やスケール演算子を含む補正項を含む、修正された観測量 $Q$ を構築する。

1. 更新間の進化: 更新時刻の間、 $Q$ の進化は決定論的な生成子によって支配される。著者らは、交換子評価を用いることで、「制御されたスウィーピング」（粗いスケールが細かいスケールを輸送すること）が単位時間あたり $\kappa$ 次のオーダーの利得をもたらす一方で、高次の誤差項が制御されることを示す。
2. ジャンプ恒等式: 更新時刻において、観測量はジャンプする。新鮮なランダムデータ（シフトと係数）による平均化を行うことで、対称性により一次の項は消滅し、構造関数に比例する正の二次項が残る。
3. 利得の蓄積: これらの利得を、時間とスケールにわたって合計する。主要な補題は、任意の時刻において、現在の分離と同程度のスケールが存在し、それが $\kappa$ 次のオーダーの利得をもたらすことを示しており、これが観測量の期待値における線形成長を導く。
4. 双対性による散逸: 異常散逸を証明するために、著者らは、時間を逆方向に遡る拡散粒子の一対の分離と、スカラー散逸を関連付ける双対性の議論を用いる。彼らは、拡散する粒子に対して同様のリチャードソン型の成長を確立し、指数モーメント境界を利用して、分離スケール間の質量の移動を制御する。

意義と主張
本論文は、以下の特性を持つランダム速度場に対して、リチャードソンの $t^3$ 分散則の最初の厳密な証明を提供したと主張している：

• 時間均質であること: 複雑性が $t=0$ 付近に集中していた従来の決定論的構成とは異なる。
• 幾何学的に高密度であること: スケールが（指数的に分離された）欠落的なものではなく、高密度な階層を形成している。
• 物理的に一貫していること: 小さな渦が大きな渦によって輸送される「制御されたスウィーピング」のメカニズムを組み込んでおり、これは正しい乱流統計のために必要であると論じられている。

さらに、本研究は、ランダムな設定におけるリチャードソン分散則と異常散逸の間の直接的なつながりを確立し、粒子分離を駆動するメカニズム（自発的確率性）が、分子拡散が存在しない状況でもスカラー散逸を駆動するのに十分であることを示している。これらの結果は、有限でスケール依存の相関時間を持つ速度場に対して成立しており、理想化されたホワイト・イン・タイムのクライツナン・モデルと物理的な乱流との間のギャップを埋めるものである。著者らは、小さなクボ数 $\kappa$ の要求は、物理的な必然性ではなく証明手法の副産物である可能性があることを明記している（彼らのコンパニオン・フィジックス・ペーパーの数値結果は、この法則がより広く成立することを示唆している）。