[论文解读] On the Dirichlet Problem for Backward Parabolic Stochastic Partial Differential Equations in General Smooth Domains

Kai Du, Shanjian Tang|ArXiv.org|Oct 13, 2009

Stochastic processes and financial applications参考文献 20被引用 6

一句话总结

本文在一般光滑区域中，通过允许导数在边界处爆破的加权索伯列夫空间，建立了带狄利克雷边界条件的后向抛物型随机偏微分方程（BSPDE）解的存在性与唯一性。该方法通过延拓与差分商技术扩展了克里洛夫的方法，在弱系数条件下证明了内部正则性，并在加权范数下获得了 $L^2$-型估计。

ABSTRACT

Backward stochastic partial differential equations of parabolic type with variable coefficients are considered in smooth domains. Existence and uniqueness results are given in weighted Sobolev spaces allowing the derivatives of the solutions to blow up near the boundary.

研究动机与目标

• 解决在非凸或非柱形光滑区域中后向抛物型SPDE狄利克雷问题缺乏一般存在性与唯一性结果的问题。
• 在空间导数可能在边界附近爆破的加权索伯列夫空间中，建立解的正则性。
• 将BSPDE的 $L^2$ 理论从柯西问题设置扩展至狄利克雷问题，克服以往依赖无穷远处衰减的局限性。
• 在系数仅具有霍尔德连续性与有界性等弱假设下，提供先验估计与正则性结果。

提出的方法

• 采用加权索伯列夫空间以容纳导数在区域边界附近的可能爆破。
• 使用截断函数与坐标展平技术的局部化方法，将问题简化为半空间情形。
• 应用延拓法与差分商技术，推导高阶导数的先验估计。
• 通过变量变换与单位分解的局部化方法，处理一般光滑区域。
• 通过涉及距离函数的变换，将局部坐标系中的解与半空间中的解进行比较，建立加权范数下的估计。
• 利用格朗沃尔不等式与数学归纳法，实现从低阶到高阶索伯列夫范数的正则性传递。

实验结果

研究问题

• RQ1 能否在一般光滑区域中，为带狄利克雷边界条件的后向抛物型BSPDE建立适应解的存在性与唯一性？
• RQ2 当导数在边界附近可能爆破时，如何量化解的正则性？
• RQ3 系数 $a, \nabla \rho, \nu, \text{ 和 } \theta$ 需满足何种条件，才能保证解在加权索伯列夫空间中的范数有限？
• RQ4 BSPDE的 $L^2$ 理论能否在不依赖无穷远处衰减的条件下，从柯西问题推广至狄利克雷问题？

主要发现

• 在系数与数据满足弱条件时，解 $(p, q)$ 在加权索伯列夫空间 $\mathbb{H}^{n+1}(\mathcal{D})$ 中存在且唯一。
• 解满足先验估计 $\|p_x\|_{n+1,Q}^2 + \mathbb{E} \sup_{t \leq T} \|p(t,\cdot)\|_{n+1,\mathcal{D}}^2 + \|q\|_{n+1,Q}^2 \leq C(\|\psi F\|_{n,Q}^2 + \|\phi\|_{n+1,\mathcal{D}}^2 + \|q\|_{Q}^2)$，其中常数 $C$ 依赖于 $n, K, \rho_0, \kappa$ 以及 $a$ 与 $\sigma$ 的连续模。
• 建立了内部正则性：$p \in \mathbb{H}^{n+1}(\mathcal{D})$ 且 $q \in \mathbb{H}^{n}(\mathcal{D})$，其 $n$ 阶导数属于 $L^2$-型范数。
• 该方法通过差分商与延拓技术克服了缺乏显式解公式的限制，即使 $p$ 与 $q$ 无法通过条件期望表示，亦可适用。
• 在弱假设下结果成立：系数有界、可测，且在空间上具有连续模，$a$ 一致椭圆。