[论文解读] Nernst-Planck-Navier-Stokes systems near equilibrium

Peter Constantin, Mihaela Ignatova+1 more|arXiv (Cornell University)|Aug 24, 2020

Navier-Stokes equation solutions参考文献 13被引用 5

一句话总结

本文在有界区域中，针对平衡态的小初始扰动，在阻塞或均匀选择性边界条件下，建立了三维Nernst-Planck-Navier-Stokes系统的强解的全局存在性与一致有界性。证明依赖于两个关键步骤：相对熵（Kullback-Leibler散度）的指数衰减，以及通过这些熵控制浓度偏差的$L^2$范数，从而确保解在所有时间都保持接近平衡态。

ABSTRACT

The Nernst-Planck-Navier-Stokes system models electrodiffusion of ions in a fluid. We prove global existence of solutions in bounded domains in three dimensions with either blocking (no-flux) or uniform selective (special Dirichlet) boundary conditions for ion concentrations. The global existence of strong solutions is established for initial conditions that are sufficiently small perturbations of steady state solutions. The solutions remain close to equilibrium in strong norms. The main two steps of the proof are (1) the decay of the sum of relative entropies (Kullback-Leibler divergences) and (2) the control of $L^2$ norms of deviations by the sum of relative entropies.

研究动机与目标

• 在有界区域中，建立三维Nernst-Planck-Navier-Stokes系统强解的全局存在性与正则性。
• 分析在平衡态附近小扰动下，离子浓度与流体速度的长期行为。
• 将先前在二维情形下的结果推广至三维，适用于离子浓度的阻塞与均匀选择性边界条件。
• 通过相对熵与$L^2$估计，严格控制近平衡态下电扩散与流体动力学之间的耦合。

提出的方法

• 证明离子浓度相对于平衡态的相对熵之和（Kullback-Leibler散度）衰减，从而推动系统趋向稳态。
• 利用相对熵之和控制浓度偏差的$L^2$范数，实现强范数下的一致有界性。
• 通过Sobolev嵌入与插值不等式，从$L^6$估计推导出$c_i$在所有$p < \infty$下的统一$L^p$有界性。
• 应用椭圆正则性与插值，将电场力项$\mathbb{P}(\rho\nabla\Phi)$在$L^2$中的范数控制在$\|\rho - \rho^*\|_2$之内，从而与熵衰减建立联系。
• 通过在$\nabla c_i^{p/2}$上施加能量估计的迭代自举法，将$L^p$有界性推广至所有$p < \infty$。
• 采用时间平均能量法并结合区间链技术，推导出$\|c_i\|_p$与$\|\nabla c_i^{p/2}\|_2$在时间上的一致有界性。

实验结果

研究问题

• RQ1 能否在小初始数据靠近平衡态的条件下，为三维Nernst-Planck-Navier-Stokes系统建立全局强解？
• RQ2 阻塞与均匀选择性边界条件如何影响离子浓度与流体速度的长期行为？
• RQ3 在流体-离子耦合存在的情况下，相对熵衰减能否用于控制浓度偏差的$L^2$范数？
• RQ4 电场力项$\mathbb{P}(\rho\nabla\Phi)$的$L^2$范数在解的稳定性中起何种作用？

主要发现

• 对于有界三维区域中初始数据为足够小的稳态解扰动的情况，强解的全局存在性得以建立。
• 解在所有时间都保持在强范数（如所有$p < \infty$的$L^p$范数）下与平衡态一致接近。
• 相对熵之和呈指数衰减，推动系统趋向平衡态，并实现对浓度偏差的控制。
• 通过迭代$L^p$估计与Sobolev嵌入，获得所有$p < \infty$下$c_i$的统一$L^p$有界性，且常数与时间无关。
• $\mathbb{P}(\rho\nabla\Phi)$的$L^2$范数由$\|\rho - \rho^*\|_2$控制，而后者通过熵衰减得到有界性。
• 由于在小初始扰动下，力项始终在时间上一致有界，纳维-斯托克斯子系统保持正则性。