首中時近代馬爾可夫過程論中一個極重要的概念是首中某集的時間。
基本介紹
- 中文名:首中值
- 所屬學科:數學
- 相關概念:首點時、 首出時等
- 所屬領域:馬爾可夫過程論
定義,首中時性質,一維情形,
定義


首中時性質
性質1
為馬爾可夫時間。

性質2 零一律(zero or one law)
或1,
。


定義3 如
,稱
為A的規則點(regular point);否則稱為A的非規則點(irregular point)。


A的規則點全體記為
,A的邊界
上的點既可是規則點,也可是非規則點,這裡
為A之閉包,Ao為A之內點全體。



性質4
而
其中
表勒貝格(Lebesque)測度。



性質5
則

(1)固定
是 t 的連續函式;固定 t ,對 x 它是下半連續的(lower semi-continuous),即
;


(2)
在緊集上為一致;

(3)A為緊集時
是熱傳導問題


性質6 對
用首次通過公式,有

(1)設
,則


(2)

其中
為首中點,
為任一可積函式。


一維情形
d=1時BM的首中時,有下述公式


