【ポアソン過程】2人以上が同時に到着する確率を無視できるワケ

どうも！初めましての方は初めまして、初心者のWebサイト勉強のとみーです！

珍しい事象が発生する回数をモデル化することができるポアソン過程には、その珍しい事象が

という性質があります。

珍しい事象としては

などが考えられます。

よく店の来客人数が例として用いられるため、この場合は「2人以上が同時に到着する確率を無視できる」ということができます。

参考 そもそもポアソン過程ってなんだっけ？という方は、こちらの記事からご覧ください。

ポアソン過程とポアソンの極限定理をわかりやすく解説！

どうも！初めましての方は初めまして、初心者のWebサイト勉強のとみーです！ 待ち行列理論では、ポアソン過程と呼ばれる確率過程がよく登場します。 確率過程は、簡単にいうと時刻

https://www.beginner-blogger.com/poisson-process/

, 1, \cdots, t, \cdots$ の確率変数を集...

www.beginner-blogger.com

とみー

今回は、その事実を数学的に証明していきます！

2人以上が同時に到着する確率を無視できるとは

証明を行う前に、そもそも

、もっと具体的に

とはどういうことかを整理しておきましょう。

ポアソン過程の直感的な理解

詳しくはこちらの記事で解説していますが、店に客が来店するというのは希少事象として考えられます。

そこで、時刻 $t$ までに来店した累計人数を $\mathrm{\Lambda }(t)$ とすると、$\mathrm{\Lambda }(t)$ はポアソン過程です。

とみー

ポアソン過程は次のように図で見るとわかりやすいです。

時刻 $t_1$ に初めての来客があり、２回目の来客は $t_2$、その次は $t_3$、…のようになっているのがわかりますね。

ちなみにこのとき、ポアソン過程 $\mathrm{\Lambda }(t)$ はポアソン分布 $Pois(\lambda t)$ に従うので、あるパラメータ $\lambda >0$ に対して

$\mathrm{\Lambda }(t)\sim Pois(\lambda t)$

が成り立ちます。

２人以上が同時に到着する場合

２人以上が同時に到着する確率を無視できるというのは、言い換えると

ということになります。

図で見ると、来客時の $\mathrm{\Lambda }(t)$ の増え幅が常に１ということです。

つまり、下のような状況は発生しません。

本当に同時に複数人が到着する確率を無視していいの？

家族連れの来店などの場合、同時に複数人が到着する状況が現実には存在します。

これには、ポアソン過程の設定の仕方が関係してきます。

ポアソン過程は

をモデル化することができますが、家族連れで出かけた場合、

到着するのは果たして「希少」と言えるでしょうか？

とみー

希少どころか、みんなでグループ行動しているのだから「当たり前」ですよね。

そのため、友達や家族連れなどグループで行動する客の来客数に対してポアソン過程を適用することはできません。

一方で、グループごとの行動は当然バラバラなので、「到着数」に対しては適用することができます。

とみー

ポアソン過程をどのように適用するかが大事なんですね〜。

2人以上が同時に到着する確率を無視できることの証明

実際に証明していくために、まず証明すべきことがらを数学的に表現します。

証明すべきこと

「2人以上が同時に到着する確率を無視できる」というのは、言い換えると

です。

$\mathrm{\Lambda }(t)$ が時刻 $t$ までの到着数を表すので、微小時間 $[t.t+h]$ 内の到着数は

$\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)$

と表せます。

つまり、証明したいのは

${\displaystyle \underset{h\to 0}{lim}\{\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)\}=0}$

です。

定常増分性

証明には、ポアソン過程の定常増分性を使います。

参考 定常増分性は、こちらの記事で詳しく解説しています。

ポアソン過程の定常増分性って？意味と証明を解説

どうも！初めましての方は初めまして、初心者のWebサイト勉強のとみーです！ ポアソン過程には、定常増分性という性質があります。 参考 ポアソン過程については、こちらの記事でわかりやすくまとめています。 とみー 今回は、その定常増分性について...

www.beginner-blogger.com

とみー

あと１つ、ロピタルの定理という定理を使います。

ロピタルの定理

簡単にいうと、求めたい極限が $\frac{0}{0}$ で直接計算するのが難しいときに、分母と分子をそれぞれ微分したものの極限をとって求めていいということです。

とみー

それでは証明にとりかかります！

証明

まず、分母に $h$ をつけた

${\displaystyle \underset{h\to 0}{lim}\frac{\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)}{h}}$

について考える。

ポアソン過程の定常増分性より $\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\sim Pois(\lambda h)$ だから、分子は、

$\begin{array}{rcl}\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)& =& \mathbb{P}(\mathrm{\Lambda }(\lambda h)\ge 2)\\ & =& 1-\mathbb{P}(\mathrm{\Lambda }(\lambda h)<2)\\ & =& 1-\mathbb{P}(\mathrm{\Lambda }(\lambda h)=0)-\mathbb{P}(\mathrm{\Lambda }(\lambda h)=1)\end{array}$

パラメータ $\lambda h$ のポアソン分布の確率質量関数は

$\mathbb{P}(\mathrm{\Lambda }(t)=i)={\displaystyle \frac{e^{-\lambda ht}(\lambda ht{)}^i}{i!}}$

だから

$\begin{array}{rcl}\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)& =& 1-e^{\lambda h}-\lambda h{e}^{\lambda h}\end{array}$

ここで、この極限を考えると

$\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)\underset{h\to 0}{⟶}0$

となる。

さらに、この分子を $h$ について微分すると

$\frac{d}{dh}\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)=\lambda e^{\lambda h}-\lambda e^{-\lambda h}+{\lambda }^{2}h{e}^{\lambda h}$

したがって、ロピタルの定理より

$\begin{array}{rcl}{\displaystyle \underset{h\to 0}{lim}\frac{\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)}{h}}& =& {\displaystyle \underset{h\to 0}{lim}\frac{\lambda e^{\lambda h}-\lambda e^{-\lambda h}+{\lambda }^{2}h{e}^{\lambda h}}{1}}\\ & =& {\displaystyle \underset{h\to 0}{lim}{\lambda }^{2}h{e}^{\lambda h}}\\ & =& 0\end{array}$

ゆえに、

$\begin{array}{rcl}\underset{h\to 0}{lim}\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)& =& {\displaystyle \underset{h\to 0}{lim}\{\frac{\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)}{h}\times h\}}\\ & =& {\displaystyle \underset{h\to 0}{lim}\frac{\mathbb{P}(\mathrm{\Lambda }(t+h)-\mathrm{\Lambda }(t)\ge 2)}{h}\times \underset{h\to 0}{lim}h}\\ & =& 0\end{array}$

まとめ

今回は、２人以上が同時に到着する確率を無視できるというポアソン過程の性質について、証明と合わせて解説しました。

とみー

決して難しい話ではないので、証明にだけ注意すれば大丈夫です！