[论文解读] Existence and Uniqueness of $L^2$-Solutions at Zero-Diffusivity in the Kraichnan Model of a Passive Scalar

Gregory L. Eyink, Jack Xin|ArXiv.org|May 15, 1996

Fluid Dynamics and Turbulent Flows参考文献 15被引用 6

一句话总结

该论文在维度 $ d \geq 2 $ 下，于分子扩散系数为零（$\kappa = 0$）时，建立了克雷奇南被动标量模型中 $L^2$-解的唯一存在性。通过在 $N$-体涡旋扩散率矩阵上使用谱估计，证明了最小特征值的标度为 $L^{-\gamma}$，其中 $\gamma = 2 - \zeta$，并展示了在超扩散率趋于零时解的收敛性，从而确认了零扩散率极限的鲁棒性。

ABSTRACT

We study Kraichnan's model of a turbulent scalar, passively advected by a Gaussian random velocity field delta-correlated in time, for every space dimension $d\geq 2$ and eddy-diffusivity (Richardson) exponent $00$, $p\geq 1$, exist when $κ_p ightarrow 0$ and coincide with the unique zero-diffusivity solutions. These results follow from a lower estimate on the minimum eigenvalue of the $N$-particle eddy-diffusivity matrix, which is conjectured for general $N$ and proved in detail for $N=2,3,4$. Some additional issues are discussed: (1) Hölder regularity of the solutions; (2) the reconstruction of an invariant probability measure on scalar fields from the set of $N$-point correlation functions, and (3) time-dependent weak solutions to the PDE's for $N$-point correlation functions with $L^2$ initial data.

研究动机与目标

• 在维度 $ d \geq 2 $ 下，于分子扩散系数为零（$\kappa = 0$）时，建立克雷奇南模型中平稳 $N$-点关联函数的 $L^2$-解的存在性与唯一性。
• 分析模型中出现的 $N$-体椭圆算子的谱性质，特别是最小特征值的下界。
• 证明在正 $p$ 阶超扩散率（$\kappa_p > 0$）下，弱 $L^2$-极限的解在 $\kappa_p \to 0$ 时收敛于唯一的零扩散率解。
• 研究解的正则性、从关联函数重构不变测度的方法，以及具有 $L^2$ 初始数据的时变弱解。

提出的方法

• 推导了 $N$-粒子涡旋扩散率矩阵最小特征值的下界，该猜想适用于一般 $N$，并针对 $N = 2, 3, 4$ 严格证明。
• 分析在有界区域 $\Omega$ 上的 Dirichlet 边界条件下，控制平稳 $N$-点关联函数的奇异椭圆线性 PDE。
• 在 $L^2(\Omega^{\otimes N})$ 中应用泛函分析技术，证明 $N$-体算子具有纯离散且正定的谱。
• 通过 $L^2$ 中的弱收敛性论证，表明 $\kappa_p > 0$ 时的解在 $\kappa_p \to 0$ 时收敛于零扩散率解。
• 利用谱理论及涡旋扩散率矩阵逆的估计，控制零扩散率下关联函数的行为。
• 通过将框架扩展至 $L^2$ 初始数据，分析关联函数的演化方程，研究时变解。

实验结果

研究问题

• RQ1 在维度 $ d \geq 2 $ 下，克雷奇南模型中分子扩散系数为零（$\kappa = 0$）时，平稳 $N$-点关联函数是否存在唯一的 $L^2$-解？
• RQ2 在域直径 $L$ 下，$N$-体涡旋扩散率矩阵的最小特征值如何标度，其与 Richardson 指数 $\zeta$ 的关系如何？
• RQ3 在正 $p$ 阶超扩散率（$\kappa_p > 0$）下，平稳解的弱 $L^2$-极限是否在 $\kappa_p \to 0$ 时收敛于唯一的零扩散率解？
• RQ4 在零扩散率极限下，能否从 $N$-点关联函数集合重构标量场上的不变概率测度？
• RQ5 $L^2$-解的关联函数 PDE 具备何种 Hölder 正则性？具有 $L^2$ 初始数据的时变弱解行为如何？

主要发现

• 在 Dirichlet 边界条件下，克雷奇南模型中的 $N$-体椭圆算子在 $L^2(\Omega^{\otimes N})$ 中具有纯离散且正定的谱。
• 在有界区域 $\Omega$ 的直径为 $L$ 时，$N$-粒子涡旋扩散率矩阵的最小特征值标度为 $L^{-\gamma}$，其中 $\gamma = 2 - \zeta$。
• 对于 $N = 2, 3, 4$，最小特征值的下界已严格证明，支持了对一般 $N$ 的猜想。
• 在正 $p$ 阶超扩散率（$\kappa_p > 0$）下，平稳解的弱 $L^2$-极限存在，且在 $\kappa_p \to 0$ 时与唯一的零扩散率解一致。
• 关联函数 PDE 的解表现出 Hölder 正则性，表明尽管方程具有奇异椭圆性质，解仍具有光滑性。
• 在给定的谱条件与收敛性条件下，可在零扩散率极限下从 $N$-点关联函数集合重构标量场上的不变概率测度。