[论文解读] An lp-boundedness of stochastic singular integral operators and its application to spdes

Ildoo Kim, Kyeong-Hun Kim|arXiv (Cornell University)|Aug 31, 2016

Advanced Harmonic Analysis Research参考文献 13被引用 7

一句话总结

本文为由布朗运动驱动的随机奇异积分算子建立了 $L_p$-有界性准则，引入了随机 Hörmander 条件，将 Calderón-Zygmund 理论推广至随机设定。关键结果证明：在该条件下，$p \geq 2$ 时算子具有 $L_p$-有界性，从而为具有非光滑核的广泛类随机 PDE 提供了最大正则性估计。

ABSTRACT

In this article we introduce a stochastic counterpart of the Hörmander condtion on the kernel $K(r,t,x,y)$: there exists a pseudo-metric $ρ$ on $(0,\infty) imes R^d$ and a positive constant $C_0$ such that for $X=(t,x), Y=(s,y), Z=(r,z) \in (0,\infty) imes R^d$, $$ \sup_{X,Y}\int_{0}^\infty \left[ \int_{ρ(X,Z) \geq C_0 ρ(X,Y)} | K(r,t, z,x) - K(r,s, z,y)| ~dz ight]^2 dr

研究动机与目标

• 通过提出 Hörmander 条件的随机对应形式，将经典 Calderón-Zygmund 理论推广至随机设定。
• 在 $p \geq 2$ 下建立形如 $\mathbb{T}g(t,x) = \int_0^t \int_{\mathbb{R}^d} K(t,s,x,y)g(s,y)dydW_s$ 的随机奇异积分算子的 $L_p$-有界性。
• 为具有不规则核的广泛类随机偏微分方程（SPDE）推导出最大 $L_p$-正则性估计。
• 通过引入更一般的框架，克服现有方法的局限性，如 Krylov 的可微性要求和 $H^\infty$-演算约束。

提出的方法

• 提出涉及 $(0,\infty) \times \mathbb{R}^d$ 上准度量 $\rho$ 和常数 $C_0$ 的随机 Hörmander 条件，确保核差在 dyadic 层集上的统一可积性。
• 建立抛物型 Littlewood-Paley 不等式作为关键技术工具，通过最大函数估计控制随机积分的 $L_p$-范数。
• 将抛物型 Littlewood-Paley 不等式应用于证明在随机 Hörmander 条件下，随机奇异积分算子 $\mathbb{T}$ 的 $L_p$-有界性。
• 通过 dyadic 分解和核差估计控制积分算子在时间和空间上的 $L^2$-范数，利用准度量结构。
• 将主要有界性结果应用于具体 SPDE，例如由符号为 $\phi(\Delta)^{1/2}$ 的伪微分算子驱动的方程，通过验证随机 Hörmander 条件。
• 证明核 $K(t-r,z,x) = \mathbf{1}_{\{0<r<t<T\}} \phi(\Delta)^{1/2}p(t-r,x-z)$ 满足随机 Hörmander 条件，从而为这类方程实现最大正则性。

实验结果

研究问题

• RQ1 能否提出随机 Hörmander 条件的类比形式，以确保 $p \geq 2$ 时随机奇异积分的 $L_p$-有界性？
• RQ2 所提出的随机 Hörmander 条件是否能将现有 SPDE 的 $L_p$-理论推广至非可微核或非解析半群生成元的情形？
• RQ3 在核差的最小可积性假设下，能否证明随机奇异积分算子 $\mathbb{T}g(t,x) = \int_0^t \int_{\mathbb{R}^d} K(t,s,x,y)g(s,y)dydW_s$ 在 $\mathbb{L}_p = L_p(\Omega \times (0,\infty); L_p(\mathbb{R}^d))$ 上有界？
• RQ4 随机 Hörmander 条件是否足以推导出具有非光滑或非马尔可夫核的 SPDE 的最大 $L_p$-正则性？
• RQ5 该框架是否可应用于由符号为 $\phi(\Delta)^{1/2}$ 的伪微分算子驱动的 SPDE，即使核缺乏逐点可微性？

主要发现

• 在算子于 $\mathbb{L}_2$ 上有界时，随机 Hörmander 条件可确保随机奇异积分算子 $\mathbb{T}$ 在 $\mathbb{L}_p$ 上对所有 $p \geq 2$ 具有 $L_p$-有界性。
• 抛物型 Littlewood-Paley 不等式被确立为核心技术工具，使通过最大函数估计控制随机积分的 $L_p$-范数成为可能。
• 对于核 $K(t-r,z,x) = \mathbf{1}_{\{0<r<t<T\}} \phi(\Delta)^{1/2}p(t-r,x-z)$，随机 Hörmander 条件在 $X,Y \in (0,T) \times \mathbb{R}^d$ 上一致成立，其界仅依赖于 $d$ 和假设 5.14 中的常数。
• 核差估计 $\int_0^T \left[ \int_{A(r,X,Y)} |\phi(\Delta)^{1/2}p(t-r,x-z) - \phi(\Delta)^{1/2}p(s-r,y-z)| dz \right]^2 dr \leq N$ 一致成立，其中 $A(r,X,Y)$ 由准度量 $\rho$ 定义，证实了该条件的有效性。
• 通过主定理建立了 SPDE 的最大 $L_p$-正则性结果，其推广超越了 Krylov 的可微性要求和 $H^\infty$-演算约束。
• 该框架适用于广泛类别的 SPDE，包括具有非马尔可夫性与非光滑核的方程，如涉及 $\phi(\Delta)^{1/2}$ 的情形，从而推广了 SPDE $L_p$-理论中的已知结果。