首中時近代馬爾可夫過程論中一個極重要的概念是首中某集的時間。
基本介紹
- 中文名:首中值
- 所屬學科:數學
- 相關概念:首點時、 首出時等
- 所屬領域:馬爾可夫過程論
定義,首中時性質,一維情形,
定義
![](/img/5/b2f/89586c776f340f7abb1bb5d5b039.jpg)
![](/img/2/fea/e1e986296e6298d069c4cebe5783.jpg)
首中時性質
性質1
為馬爾可夫時間。
![](/img/4/029/4a0ca505fec38fb4b341c7b4b949.jpg)
性質2 零一律(zero or one law)
或1,
。
![](/img/a/70a/0cd3ffdcf7b8473cc37601b90d84.jpg)
![](/img/d/1dc/337df47b42088da6aace6514b446.jpg)
定義3 如
,稱
為A的規則點(regular point);否則稱為A的非規則點(irregular point)。
![](/img/5/93f/e177de535d6efb2483136566ba74.jpg)
![](/img/3/83a/2f832377eef134388455b07f3447.jpg)
A的規則點全體記為
,A的邊界
上的點既可是規則點,也可是非規則點,這裡
為A之閉包,Ao為A之內點全體。
![](/img/4/079/4327535e5edf60b518f53e1d4771.jpg)
![](/img/7/100/14ef70467f181ecad493130696e4.jpg)
![](/img/9/ff2/e1bb71fa537ac19e5b698547595c.jpg)
性質4
而
其中
表勒貝格(Lebesque)測度。
![](/img/6/ff5/d89a83ab22996c42d22d06bc7797.jpg)
![](/img/f/ff1/310e1b96c2a8c7eebe2584de3d91.jpg)
![](/img/e/861/3b9bff9ca6f5014923676084a516.jpg)
性質5
則
![](/img/e/11d/54c22ee9203d140a4061983a9174.jpg)
(1)固定
是 t 的連續函式;固定 t ,對 x 它是下半連續的(lower semi-continuous),即
;
![](/img/1/7f3/344c029cd7d8a095e75f15ce4e9a.jpg)
![](/img/e/778/99e837f8968ee1c06269e7008dc6.jpg)
(2)
在緊集上為一致;
![](/img/8/31f/21b4ab84be3d58396946fd9637ed.jpg)
(3)A為緊集時
是熱傳導問題
![](/img/c/56e/d9692a43bfe654ede7380eb430c9.jpg)
![](/img/8/80c/308ebb419e27da3d6492c3278147.jpg)
性質6 對
用首次通過公式,有
![](/img/9/11b/2fc6f16cb001d82a2c9b28dc9947.jpg)
(1)設
,則
![](/img/1/a26/ca1d38eb4c3ae9f2d66446b82e08.jpg)
![](/img/8/cb7/35dd3c01fbb9c57a3d4738ad6998.jpg)
(2)![](/img/0/bbc/f62b12ea5aa93c508a5a6299e54d.jpg)
![](/img/0/bbc/f62b12ea5aa93c508a5a6299e54d.jpg)
其中
為首中點,
為任一可積函式。
![](/img/c/0b4/e316978f8ec23fd9ee248a57f646.jpg)
![](/img/e/7dd/fda2dc79a1207b8d32e7c5040bb9.jpg)
一維情形
d=1時BM的首中時,有下述公式
![](/img/f/99b/3aac5c3b6ea752bdac1f5c426773.jpg)
![](/img/6/aaa/77cf9c4febc922993d4d79b4554c.jpg)
![](/img/c/78e/9971e5e27fb64fe08abc0e85548c.jpg)