All MicroEvals
LGZhss's Benchmark
Create MicroEval
Header image for LGZhss's Benchmark

LGZhss's Benchmark

Prompt

设 $\kappa:\mathbb{R}\to\mathbb{R}$ 为连续对称函数($\kappa(x)=\kappa(-x)$)。定义一维波动方程的随机扰动问题如下: \[ \frac{\partial^2 u}{\partial t^2}(t,x)=\frac{\partial^2 u}{\partial x^2}(t,x)+u(t,x)\,\dot{W}_\kappa(t,x),\qquad t>0,\ x\in\mathbb{R}, \] 初始条件 $u(0,x)=1$,$\partial_t u(0,x)=0$。 此处 $\dot{W}_\kappa$ 是时空高斯噪声,其协方差结构由 $\kappa$ 决定:对任意光滑紧支撑试验函数 $\varphi,\psi$, \[ \mathbf{E}\!\left[\int \varphi(t,x)\dot{W}_\kappa\,dt\,dx \cdot \int \psi(s,y)\dot{W}_\kappa\,ds\,dy\right] = \int\!\!\int \delta(t-s)\,\kappa(x-y)\,\varphi(t,x)\psi(s,y)\,dx\,dy\,dt\,ds. \] 解取 mild 形式:$u(t,x)=1+\int_0^t\!\int_{\mathbb{R}} \tfrac{1}{2}\mathbf{1}_{|x-y|<t-r}\,u(r,y)\,W_\kappa(dr,dy)$。 设核函数 $\kappa$ 满足以下条件之一: (i) $\kappa\in L^1(\mathbb{R})$,即 $\int_{\mathbb{R}}|\kappa(x)|\,dx<\infty$; (ii) $\kappa(x)=c_\alpha |x|^{\alpha-1}$(一维 Riesz 核),其中 $\alpha\in(0,1)$,$c_\alpha$ 为归一化常数。 已知以下两个事实: (F1)(Malliavin 导数界)存在常数 $C_{t,p}>0$ 使得对任意 $0<r<t$,$x,y\in\mathbb{R}$,解的 Malliavin 导数 $D_{r,y}u(t,x)$ 满足 \[ \mathbf{E}\bigl[|D_{r,y}u(t,x)|^p\bigr]^{1/p}\le C_{t,p}\int_{\mathbb{R}} \tfrac{1}{2}\mathbf{1}_{|x-y'|<t-r}\,\kappa(y-y')\,dy'. \] (F2)(遍历性判据)若 $Z(t,x)$ 是适应随机场,使得对每个 $t\ge 0$,$\{Z(t,x)\}_{x\in\mathbb{R}}$ 在空间平移下严格平稳,且其 Malliavin 导数满足与 (F1) 相同形式的界(右端仅依赖 $\kappa$ 和波动核 $G$),则 $\{Z(t,x)\}_{x\in\mathbb{R}}$ 是遍历的。 在上述设定下,对于每个 $t>0$,关于场 $\{u(t,x)\}_{x\in\mathbb{R}}$ 所能证明的最强结论是什么? A. 对于每个固定的 $t>0$,空间过程 $\{u(t,x)\}_{x\in\mathbb{R}}$ 是遍历的。 B. 对于每个固定的 $t>0$,空间过程 $\{u(t,x)\}_{x\in\mathbb{R}}$ 关于空间平移是平稳的,但不一定遍历。 C. 对于每个固定的 $t>0$,空间过程 $\{u(t,x)\}_{x\in\mathbb{R}}$ 在空间平移下是强混合的,因为一维波动核 $\frac{1}{2}\mathbf{1}_{|x|<t}$ 具有有限传播速度。 D. 仅当 $t$ 充分大时,空间过程 $\{u(t,x)\}_{x\in\mathbb{R}}$ 才变为遍历的,因为波动核需要在大空间区域上对噪声进行平均。 E. 对于每个固定的 $t>0$,空间过程 $\{u(t,x)\}_{x\in\mathbb{R}}$ 是遍历的,并且此外当 $R\to\infty$ 时,$R^{-1}\int_{-R}^{R}u(t,x)\,dx\to 1$ 几乎必然且在 $L^2(\Omega)$ 中成立,并对 $t$ 在 $(0,\infty)$ 的每个紧区间上一致成立。

Drag to resize
Drag to resize
Drag to resize