[论文解读] Monotonicity and non-monotonicity of domains of stochastic integral operators

Ken‐iti Sato|ArXiv.org|Jul 12, 2006

Stochastic processes and financial applications参考文献 9被引用 16

一句话总结

本文研究了与 Lévy 过程的非定常随机积分相关的定义域的单调性性质。研究结果表明，本质定义域 $Φ_{φ}$ 关于被积函数 $f$ 是单调的，而标准定义域与补偿定义域则不是，提供了明确的反例，并刻画了单调性失效或成立的条件。

ABSTRACT

A Lévy process on $R^d$ with distribution $μ$ at time 1 is denoted by $X^{(μ)}=\{X_t^{(μ)}\}$. If the improper stochastic integral $\int_0^{\infty-} f(s)dX_s^{(μ)}$ of $f$ with respect to $X^{(μ)}$ is definable, its distribution is denoted by $Φ_f(μ)$. The class of all infinitely divisible distributions $μ$ on $R^d$ such that $Φ_f(μ)$ is definable is denoted by $D(Φ_f)$. The class $D(Φ_f)$, its two extensions $D_c(Φ_f)$ and $D_e(Φ_f)$ (compensated and essential), and its restriction $D^0(Φ_f)$ (absolutely definable) are studied. It is shown that $D_e(Φ_f)$ is monotonic with respect to $f$, which means that $|f_2|\leq |f_1|$ implies $D_e(Φ_{f_1})\subset D_e(Φ_{f_2})$. Further, $D^0(Φ_f)$ is monotonic with respect to $f$ but neither $D(Φ_f)$ nor $D_c(Φ_f)$ is monotonic with respect to $f$. Furthermore, there exist $μ$, $f_1$, and $f_2$ such that $0\leq f_2\leq f_1$, $μ\in D(Φ_{f_1})$, and $μ ot\in D(Φ_{f_2})$. An explicit example for this is related to some properties of a class of martingale Lévy processes.

研究动机与目标

• 分析与 Lévy 过程的非定常随机积分相关的定义域 $Φ_{φ}$ 关于被积函数 $f$ 的单调性行为。
• 澄清标准定义域 $Φ_{φ}$、其补偿形式 ($Φ_{φ,c}$) 和本质形式 ($Φ_{φ,e}$) 之间的区别，以及绝对可定义定义域 $Φ_{φ}^0$。
• 识别 $Φ_{φ}$ 关于 $f$ 单调的条件，并构造单调性不成立的反例。
• 针对特定类型的被积函数（如指数衰减函数）提供 $Φ_{φ}^0$、$Φ_{φ,e}$ 和 $Φ_{φ}$ 的显式刻画。

提出的方法

• 引入并比较四种定义域：$Φ_{φ}^0$（绝对可定义）、$Φ_{φ}$（可定义）、$Φ_{φ,c}$（补偿）、$Φ_{φ,e}$（本质），基于非定常随机积分的收敛性与可积性条件。
• 利用 Lévy–Khintchine 表示式与矩生成函数 $C_{\mu}(z)$，通过积分 $\int_0^\infty |C_{\mu}(f(s)z)|ds < \infty$ 推导绝对可定义性的必要与充分条件。
• 应用关于 Orlicz 型空间与局部可积性的已知结果，刻画局部 $X^{(\mu)}$-可积函数的类 $\mathbf{L}(X^{(\mu)})$。
• 利用包含关系 $\mathfrak{D}^0(\Phi_f) \subset \mathfrak{D}(\Phi_f) \subset \mathfrak{D}_c(\Phi_f) \subset \mathfrak{D}_e(\Phi_f)$ 分析单调性行为。
• 应用文献 [10] 中的定理 5.15 到指数型函数 $f(s) = e^{-c s^\alpha}$，推导出涉及 $\log^+|x|$ 的 $1/\alpha$ 次幂可积性的精确定义域刻画。
• 通过使用局部鞅 Lévy 过程构造显式反例，证明在 $|f_2| \leq |f_1|$ 条件下，$\mathfrak{D}(\Phi_f)$ 与 $\mathfrak{D}_c(\Phi_f)$ 的非单调性。

实验结果

研究问题

• RQ1 非定常随机积分的定义域 $\mathfrak{D}(\Phi_f)$ 是否关于被积函数 $f$ 单调？
• RQ2 在何种条件下，本质定义域 $\mathfrak{D}_e(\Phi_f)$ 关于 $f$ 单调？
• RQ3 能否通过显式反例证明 $\mathfrak{D}(\Phi_f)$ 与 $\mathfrak{D}_c(\Phi_f)$ 的非单调性？
• RQ4 对于满足 $f(s) \asymp e^{-c s^\alpha}$ 的被积函数，$\mathfrak{D}^0(\Phi_f)$、$\mathfrak{D}_e(\Phi_f)$ 与 $\mathfrak{D}(\Phi_f)$ 的精确刻画是什么？
• RQ5 定义域 $\mathfrak{D}^0(\Phi_f)$、$\mathfrak{D}_e(\Phi_f)$ 与 $\mathfrak{D}(\Phi_f)$ 如何与 $\mu$ 的 Lévy 测度 $\nu$ 相关联？

主要发现

• 本质定义域 $\mathfrak{D}_e(\Phi_f)$ 关于 $f$ 是单调的：若 $|f_2| \leq |f_1|$，则 $\mathfrak{D}_e(\Phi_{f_1}) \subset \mathfrak{D}_e(\Phi_{f_2})$。
• 绝对可定义定义域 $\mathfrak{D}^0(\Phi_f)$ 也关于 $f$ 单调，但 $\mathfrak{D}(\Phi_f)$ 与 $\mathfrak{D}_c(\Phi_f)$ 均不单调。
• 存在 $\mu$、$f_1$ 与 $f_2$，使得 $0 \leq f_2 \leq f_1$ 且 $\mu \in \mathfrak{D}(\Phi_{f_1})$ 但 $\mu \notin \mathfrak{D}(\Phi_{f_2})$，从而证明了非单调性。
• 对于满足 $f(s) \asymp e^{-c s^\alpha}$ 且 $\alpha \in (0,1) \cup (1,2)$ 的情形，定义域 $\mathfrak{D}^0(\Phi_f)$、$\mathfrak{D}(\Phi_f)$、$\mathfrak{D}_c(\Phi_f)$ 与 $\mathfrak{D}_e(\Phi_f)$ 全部重合，且等于满足 $\int_{\mathbb{R}^d} (\log^+|x|)^{1/\alpha} \mu(dx) < \infty$ 的所有 $\mu \in ID(\mathbb{R}^d)$ 的集合。
• 当 $\alpha \in (1,2)$ 时，$\mathfrak{D}_e(\Phi_f)$ 严格大于 $\mathfrak{D}^0(\Phi_f)$，表明绝对可定义性与本质可定义性之间存在差距。
• 结果可推广至自相似与高阶域 $L_m(\mathbb{R}^d)$ 的随机积分表示，其中 $f(s) = e^{-c s^{1/(m+1)}}$ 可导出显式的定义域刻画。