[论文解读] Traveling waves in a one-dimensional random medium

James Nolen, Lenya Ryzhik|ArXiv.org|Oct 9, 2007

Stochastic processes and statistical mechanics参考文献 24被引用 13

一句话总结

本文针对具有随机、平稳且遍历的点火型非线性的单变量反应-扩散方程，建立了确定性的传播速度并证明了随机行波解的存在性。通过大偏差技术与比较原理，证明了具有紧支集初值的解以几乎必然确定的前缘速度传播，并在非均质介质中构造了保持一致界面结构的广义随机行波。

ABSTRACT

We consider solutions of a scalar reaction-diffusion equation of the ignition type with a random, stationary and ergodic reaction rate. We show that solutions of the Cauchy problem spread with a deterministic rate in the long time limit. We also establish existence of generalized random traveling waves and of transition fronts in general heterogeneous media.

研究动机与目标

• 确定具有随机、平稳且遍历反应速率的反应-扩散方程解的长期传播行为。
• 建立广义随机行波解的存在性，将脉动前驱波的概念推广至随机介质。
• 证明尽管反应项具有随机性，其渐近传播速度仍为确定性。
• 分析随机介质中前缘界面的单调性与正则性。

提出的方法

• 使用大偏差技术分析具有紧支集初值的柯西问题解的渐近行为。
• 通过精心构造的次解与超解应用比较原理，控制解前缘的演化。
• 通过水平集 $ \tilde{X}(t) $ 定义随机界面，其中 $ \tilde{w}(t, \tilde{X}(t), \omega) = \theta_0 $，追踪过渡层的位置。
• 利用隐函数定理与最大值原理，证明界面 $ \tilde{X}(t) $ 几乎必然为 $ C^1 $ 且关于时间严格递增。
• 利用概率空间的平移不变结构，构造一族在移动坐标系 $ x - \tilde{X}(t) $ 下保持静止的随机行波解 $ \tilde{w}(t,x,\omega) $。
• 利用反应速率场 $ g(x,\omega) $ 的遍历性与平稳性，推导出与初值大小无关的确定性渐近速度，前提是支撑集足够大。

实验结果

研究问题

• RQ1 具有随机点火非线性的反应-扩散方程柯西问题的解在长时间极限下是否以确定性渐近速度传播？
• RQ2 在一维随机介质中，广义随机行波解能否存在，从而将脉动前驱波的概念加以推广？
• RQ3 在随机介质动力学下，解前缘的界面是否几乎必然关于时间严格递增且可微？
• RQ4 随机反应速率场与解的确定性传播速度之间存在何种关系？
• RQ5 渐近传播速度如何依赖于随机反应速率的统计特性，例如其最小值与最大值？

主要发现

• 具有紧支集初值的解以确定性渐近速度 $ c^*_{-} < 0 < c^*_{+} $ 传播，且该速度与初值大小无关，前提是支撑长度 $ L $ 足够大。
• 几乎必然成立：$ \lim_{t\to\infty} \inf_{c \in [c^*_{-}+\varepsilon, c^*_{+}-\varepsilon]} w(t,ct,\omega) = 1 $ 与 $ \lim_{t\to\infty} \sup_{c \in (-\infty, c^*_{-}-\varepsilon] \cup [c^*_{+}+\varepsilon,\infty)} w(t,ct,\omega) = 0 $。
• 定义为 $ \tilde{w}(t, \tilde{X}(t), \omega) = \theta_0 $ 的界面 $ \tilde{X}(t) $ 几乎必然关于时间可微且严格递增。
• 随机行波解 $ \tilde{w}(t,x,\omega) $ 构造为 $ \tilde{w}(t,x,\omega) = W(x - \tilde{X}(t), \pi_{\tilde{X}(t)}\omega) $，其中 $ W $ 为在移动坐标系下的平稳解。
• 渐近速度 $ c^*_{+} $ 的上界为 $ c^*_{+}(1 + K(1-h)/\varepsilon) $，通过令 $ h \to 1 $，该上界可无限逼近 $ c^*_{+} $，从而证明了上界的精确性。
• 若 $ \tilde{X}(t) $ 不严格递增，则解 $ \tilde{w}(t,x,\omega) $ 仅在时间上周期，但这与几乎必然收敛 $ \tilde{X}(t)/t \to c^*_{+} > 0 $ 矛盾，因此证明了界面的严格单调性。