[论文解读] Existence and Upper Semicontinuity of Attractors for Stochastic Equations with Deterministic Non-autonomous Terms

Bixiang Wang|arXiv (Cornell University)|May 21, 2012

Stability and Controllability of Differential Equations参考文献 25被引用 7

一句话总结

本文在无界域上建立了带乘法噪声和时变确定性强迫的随机反应-扩散方程的温和随机吸引子的存在性及其上半连续性。通过使用统一的尾部估计和双参数随机动力系统框架，证明了当强迫项为周期性时，吸引子也是周期性的，并且在噪声强度趋于零时，吸引子上半连续收敛至确定性吸引子。

ABSTRACT

We prove the existence and uniqueness of tempered random attractors for stochastic Reaction-Diffusion equations on unbounded domains with multiplicative noise and deterministic non-autonomous forcing. We establish the periodicity of the tempered attractors when the stochastic equations are forced by periodic functions. We further prove the upper semicontinuity of these attractors when the intensity of stochastic perturbations approaches zero.

研究动机与目标

• 在无界域上，为带乘法噪声和时变确定性强迫的随机反应-扩散方程建立温和随机吸引子的存在性与唯一性。
• 证明当确定性强迫函数为时变周期时，吸引子亦为时间周期。
• 研究当噪声强度趋于零时，这些吸引子的上半连续性，特别是在紧嵌入不成立的无界域背景下。
• 通过在不同噪声强度下对解的统一尾部估计，克服 $ L^2(ℝ^n) $ 中缺乏紧致性的困难。
• 将随机吸引子理论扩展至同时受随机噪声与确定性非自治强迫驱动的系统，这一设置此前在文献中尚未被处理。

提出的方法

• 在 $ \mathbb{R}^n $ 上以伊tō积分形式形式化随机方程 (1.1)，包含乘法噪声和时变确定性强迫 $ g(t,x) $。
• 通过为随机噪声和确定性强迫分别使用独立的概率空间，构建双参数随机动力系统，以实现对非自治动力学的分析。
• 利用能量方法和Gronwall型不等式，推导出解的 $ H^1 $-范数和 $ L^2 $-范数的统一先验估计，且与噪声强度 $ \alpha \in [0,1] $ 无关。
• 在大空间球外建立解的 $ L^2 $-范数的统一尾部估计，证明在所有 $ \alpha \in [0,1] $ 下，吸引子中解的质量在紧集外均匀小。
• 利用从统一尾部控制和有界域中紧嵌入导出的吸引子并集在 $ L^2(\mathbb{R}^n) $ 中的预紧性，证明上半连续性。
• 应用参数变化下拉吸引子上半连续性的抽象框架，通过验证协边函数收敛性和一致有界性，确认收敛条件。

实验结果

研究问题

• RQ1 在无界域上，带乘法噪声和时变确定性强迫的随机反应-扩散方程是否存在温和随机吸引子？
• RQ2 当确定性强迫为周期性时，随机吸引子在什么条件下为时间周期？
• RQ3 尽管在无界域上Sobolev紧嵌入不成立，当噪声强度 $ \alpha \to 0 $ 时，随机吸引子是否仍上半连续收敛至确定性吸引子？
• RQ4 能否在 $ \alpha \in [0,1] $ 上统一建立解的尾部估计，以克服 $ L^2(\mathbb{R}^n) $ 的非紧致性？
• RQ5 是否可能将随机吸引子理论扩展至同时受随机噪声与确定性非自治项驱动的系统？

主要发现

• 对于时变确定性强迫 $ g \in L^2_{\text{loc}}(\mathbb{R}; L^2(\mathbb{R}^n)) $，随机方程 (1.1) 在 $ L^2(\mathbb{R}^n) $ 中存在唯一的温和随机吸引子。
• 当强迫 $ g $ 为时变周期时，对应的温和随机吸引子在时间上亦为周期。
• 建立了对解尾部的统一估计：对任意 $ \eta > 0 $，存在 $ K = K(\tau, \omega, \eta) $ 和 $ T = T(\tau, \omega, D, \eta) $，使得对所有 $ t \geq T $ 和 $ \alpha \in [0,1] $，有 $ \int_{|x| \geq K} |u_\alpha|^2 \, dx \leq \eta $。
• 并集 $ \bigcup_{0 < \alpha \leq 1} \mathcal{A}_\alpha(\tau, \omega) $ 在 $ L^2(\mathbb{R}^n) $ 中为预紧，这是证明上半连续性的关键。
• 吸引子的上半连续性成立：$ \lim_{\alpha \to 0} \text{dist}_{L^2(\mathbb{R}^n)}(\mathcal{A}_\alpha(\tau, \omega), \mathcal{A}_0(\tau)) = 0 $，即使在无界域上亦成立。
• 该收敛性通过吸引子的一致有界性和协边函数的收敛性得以建立，依赖于拉吸引子在参数变化下连续性的抽象结果。