路徑積分法推導泊松過程
本文分為兩部分。第一部分我先推導一個對任意的時間平穩獨立增量隨機過程都成立的方程。這個方程本質上是對隨機過程中所有可能發生的狀態求和,所以可以認為是路徑積分法。然後我通過引入一個條件來求解這個方程。通過引入這個條件,我可以得到泊松過程。本文的思路跟前面這篇文章(泊松過程的一些總結)的思路很像,都是先推導出一個普適的方程,然後將這個方程應用到某個特例上。
第一節:一個普適的積分方程
對於一個任意的計數過程,我們記時間區間 內事件發生次數為 的概率為 . 假設事件發生過程是一個時間平穩獨立增量過程,也就是滿足以下條件:
1. ,意味著在時間區間 內事件發生 次的概率只依賴於發生次數 和時間段的長度 .
2. ,意味著不重合的時間段內事件發生次數是相互獨立的。
為了得到時間區間 內事件發生 次的概率,我引入這樣一個程序:
- 隨機選取一個時刻 將時間區間切割為兩個區間,分別為 .
- 要求區間 內事件發生 次,區間 內事件發生 次,其中
- 遍歷所有可能的 .
每次切割都會牽涉到三個事件,這三個事件是相互獨立的,分別為:
根據前面的假設,我們記 , . 然而,由於事件 的測度為零,所以 . 為了避免這個問題,我先把時間區間 切割為 段,每個時間段長度為 . 於是前面的切割程序變為:
- 隨機選擇一個指標 ,將區間 切割為兩部分 ,這個事件發生的概率為
- 要求區間 內事件發生 次,區間 內事件發生 次。這個事件發生的概率為
- 遍歷所有可能的
給定 ,我們就得到一個複合事件,記作 . 複合事件中每一個事件都獨立,所以有
對於不同的 ,該複合事件互斥。所以我們有
當 時,上面的方程變為
做拉普拉斯變換得到
迄今為止,這個方法對所有的時間平穩獨立增量隨機計數過程都成立。為了求解上面的這個方程,我需要引入新的假設。不同的假設可以得到不同的計數過程。
第二節:泊松過程的推導
假設對於所有的概率 ,我們都有
這個假設等價於,對於所有的 ,我們都有 ,其中 為概率函數的拉普拉斯變換。這個要求的含義在附錄裡面有詳細敘述。有了這個假設, 我就可以逐步求解上面的積分方程了。
當 時,我們有
求解得到
當 時,我們有
根據條件 ,我們可以得到
當 時,我們有
代入 可以得到
可以用數學歸納法求解積分方程如下.
已知 ,為了計算 ,假設
對於任意的 都成立。那麼當 為偶數的時候,我們有
當 為奇數的時候,我們有
所以對於任意的 ,我們都有
兩邊同時乘以 ,得到
積分得到
根據初始條件 ,得到
因此,根據數學歸納法原理,我們求出了對於任意的 的概率函數的拉普拉斯變換。對上式求拉普拉斯逆變換,得到
這正是參數為 的泊松過程。
附錄
這裡我要討論一下為什麼要求 意味著該過程是泊松過程。
對於一個獨立增量平穩隨機級數過程, 表示在時間段 內發生事件 次的概率。如果 個事件已經發生了,那麼我們稱這個過程結束了。一個過程持續時間 的概率為 . 考察過程的結束時間。過程的結束髮生在時刻 的概率為零,因為時刻 的測度為零。因此,我們應該考察過程結束髮生在微小時間段 的概率。對於平穩獨立增量過程,該概率為
表示到時刻 為止,事件發生了 次;然後在微小時間段內,事件又發生了一次,過程結束。因為經過無窮長的時間,過程一定會結束,而且對不同的時刻 ,所有的概率事件互斥,因此有
下面引入泊松假設。假設在微小時間段內,事件發生一次的概率為 ,發生 0 次的概率為 ,那麼就有 . 因此,上面的求和可以轉化為積分:
該方程對任意的 都成立。所以就有對任意的 , . 時間區間內 事件發生 0 次表示等待的時間超過了時間 . 表示等待的平均時間。為了完成證明,我們再假設對所有的事件,平均等待時間都是 . 這些正是泊松過程的假設。
推薦閱讀: