Skip to main content
QUICK REVIEW

[論文レビュー] On general skew Brownian motions

Liping Li|arXiv (Cornell University)|Dec 20, 2018
Advanced Mathematical Modeling in Engineering参考文献 16被引用数 3
ひとこと要約

本稿は、局所時刻によって駆動されるストキャスティック・ディファレンシャル方程式の弱解としての一般化されたスケュー・ブラウン運動を、ディリクレ形式と福島の分解を用いて考察する。このような解の存在のための必要十分条件を、符号付き測度 $\mu$ に対して確立し、パスワイズ一意性を特徴づけ、再帰性および分布的同値性の基準を特定する。これにより、古典的なスケュー・ブラウン運動が局所時刻の駆動を持つ一般測度へと拡張される。

ABSTRACT

The aim of this paper is two-fold. On one hand, we will study the distorted Brownian motion on $\mathbb{R}$, i.e. the diffusion process $X$ associated with a regular and strongly local Dirichlet form obtained by the closure of $\mathscr{E}(f,g)=\frac{1}{2}\int_\mathbb{R} f'(x)g'(x)ρ(x)dx$ for $f,g\in C_c^\infty(\mathbb{R})$ on $L^2(\mathbb{R}, \mathfrak{m})$, where $\mathfrak{m}(dx)=ρ(x)dx$ and $ρ$ is a certain positive function. After figuring out the irreducible decomposition of $X$, we will present a characterization of that $X$ becomes a semi-martingale by virtue of so-called Fukushima's decomposition. Meanwhile, it is also called a general skew Brownian motion, which turns out to be a weak solution to the stochastic differential equation with certain $μ$: \[ dY_t=dW_t+\int_\mathbb{R}μ(dz) dL^z_t(Y),\quad (*) \] where $(W_t)_{t\geq 0}$ is a standard Brownian motion and $(L^z_t(Y))_{t\geq 0}$ is the symmetric semi-martingale local time of the unknown semi-martingale $Y$ at $z$. On the other hand, the stochastic differential equation (*) will be considered further. The main purpose is to find the conditions on $μ$ equivalent to that there exist general skew Brownian motions being weak solution to (*). Moreover, the irreducibility and the equivalence in distribution of expected general skew Brownian motions will be characterized. Finally, several special cases will be paid particular attention to and we will prove or disprove the pathwise uniqueness for (*).

研究の動機と目的

  • 対称半マルティングルの局所時刻によって駆動されるストキャスティック・ディファレンシャル方程式の弱解の存在に関する符号付き測度 $\mu$ の条件を特徴づけること。
  • 関連するディリクレ形式の福島の分解を用いて、そのような解が半マルティングルである条件を特定すること。
  • 得られる拡散過程のパスワイズ一意性、再帰性、および分布的同値性の基準を確立すること。
  • 任意の符号付き測度 $\mu$(可算または非可算集合に台を持つ)に対して、古典的な $\alpha$-スケュー・ブラウン運動を一般化すること。
  • 非可算区間上での再帰的分解および滑らかな測度論を用いて、歪められたブラウン運動の構造を分析すること。

提案手法

  • 空間 $L^2(\mathbb{R}, \mathfrak{m})$ 上のディリクレ形式 $\mathscr{E}(f,g) = \frac{1}{2}\int_\mathbb{R} f'(x)g'(x)\rho(x)\,dx$ を用い、$\mathfrak{m}(dx) = \rho(x)dx$ と定義し、歪められたブラウン運動を対応する拡散過程として定義する。
  • 福島の分解を適用して、過程が半マルティングルである条件を特徴づけ、ドリフト項を $\mu$ に関する局所時刻積分と関連付ける。
  • 一般化されたスケュー・ブラウン運動を、SDE $dY_t = dW_t + \int_\mathbb{R} \mu(dz) dL^z_t(Y)$ の弱解として表現する。ここで $L^z_t(Y)$ は対称半マルティングルの局所時刻を表す。
  • 滑らかな測度および $\mathscr{E}$-ネストの理論を用いて、過程の台および極小集合を分析し、特に区間 $\mathtt{I}_k$ の和集合の補集合に注目する。
  • 測度 $\mu$ がディリクレ形式に関して滑らかである条件を、コンパクト集合による近似および全 variation 測度の $\sigma$-有限性を用いて導出する。
  • ポテンシャル理論の結果(例:[5, (3.5.13)]) を適用して、無限端点付近での速度測度の可積分性条件を用いて、非保存性を特徴づける。

実験結果

リサーチクエスチョン

  • RQ1符号付き測度 $\mu$ がどのような条件下で、SDE $dY_t = dW_t + \int_\mathbb{R} \mu(dz) dL^z_t(Y)$ が弱解をもつのか。
  • RQ2解過程 $Y$ が半マルティングルであるのはいつか? これは福島の分解によってどのように特徴づけられるか。
  • RQ3SDE に対してパスワイズ一意性が保証される $\mu$ の条件は何か。
  • RQ4過程が再帰的であるのはいつか? また、2つのこのような過程が分布的に同値であるのはいつか。
  • RQ5測度 $\mu$ の台の構造(例:離散的、可算的、または集積点をもつ非可算的)は、解の性質にどのように影響するか。

主な発見

  • SDE に弱解が存在するのは、$\mu$ がディリクレ形式に関して滑らかな測度であるときであり、これは $\mu(\left(\cup_{k\geq 1} \mathtt{I}_k\right)^c) = 0$ かつ各区間 $\mathtt{I}_k$ 上での制限 $\mu|_{\mathtt{I}_k}$ が $\mathtt{I}_k$ 上でレドン測度であるときに限り成立する。
  • パスワイズ一意性が成立するのは、可算に歪められた場合に $\sum_{k=1}^\infty |2\alpha_k^- - 1| + \sum_{k=-\infty}^1 |2\alpha_k^+ - 1| < \infty$ が成り立つときであり、これはレ・ギャルの条件を一般化する。
  • 過程が保存的であるのは、任意の $k$ に対して $\mathfrak{a}_k = -\infty$ でなく $\mathfrak{b}_k = \infty$ でないときであり、かつ非有界区間では $\int_{-\infty}^{\mathfrak{e}_k} \mathfrak{m}((x, \mathfrak{e}_k)) \lambda_{{\mathfrak{s}}_k}(dx) < \infty$ が成立しないときである。
  • 歪められたブラウン運動の再帰的分解は区間 $\mathtt{I}_k$ に対応し、$\mathbb{R}$ 上で再帰的であるのは、$\cup_{k\geq 1} \mathtt{I}_k = \mathbb{R}$ が $\mathfrak{m}$-零集合を除いて成り立つときである。
  • 2つの一般化されたスケュー・ブラウン運動が分布的に同値であるのは、それぞれの測度 $\mu$ が同一の滑らかさおよび台の条件を満たし、かつ局所時刻のドリフトが $\mathfrak{m}$-ほとんど everywhere で等しいときである。
  • 解が半マルティングルであるのは、ドリフト項 $\int_\mathbb{R} \mu(dz) dL^z_t(Y)$ が有界変動をもつときであり、これは $\mu$ が滑らかな測度でありかつ過程が保存的であるとき保証される。

より良い研究を、今すぐ始めましょう

論文の読解から最終レビューまで、研究時間を劇的に削減しましょう。

クレジットカード登録不要

このレビューはAIが作成し、人間の編集者が確認しました。