Markov lánc
Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt közreműködők, és jelentősen eltérhet a 2019. december 28-án felülvizsgált
verziótól ; az ellenőrzések 9 szerkesztést igényelnek .
A Markov-lánc véletlenszerű események sorozata, véges vagy megszámlálható számú kimenetelű , ahol az egyes események bekövetkezésének valószínűsége csak az előző eseményben elért állapottól függ [1] . Az a tulajdonsága jellemzi, hogy lazán szólva, rögzített jelen mellett a jövő független a múlttól. A. A. Markov (idősebb) tiszteletére nevezték el , aki először vezette be ezt a fogalmat 1906-ban. [2]
Diszkrét idejű Markov-lánc
Definíció
A diszkrét valószínűségi változók sorozatát egyszerű Markov-láncnak nevezzük (diszkrét idejű), ha
![\{X_{n}\}_{{n\geqslant 0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/08bdbba1b523c2a4c6d47d436858c10a37fd0a44)
![{\mathbb {P}}(X_{{n+1}}=i_{{n+1}}\mid X_{n}=i_{n},X_{{n-1}}=i_{{n -1}},\ldots ,X_{0}=i_{0})={\mathbb {P}}(X_{{n+1}}=i_{{n+1}}\mid X_{n} =i_{n})](https://wikimedia.org/api/rest_v1/media/math/render/svg/20163bb59bc3c86297103cda4a57aef3870e29fa)
.
Így a legegyszerűbb esetben a Markov-lánc következő állapotának feltételes eloszlása csak az aktuális állapottól függ, és nem függ minden korábbi állapottól (ellentétben a magasabb rendű Markov-láncokkal).
A valószínűségi változók tartományát a lánc állapotterének nevezzük , a számot pedig a lépésszámnak.
![\{X_{n}\}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2aec0efdaea3af46ae72c0fc9d2d9c115ee63e1c)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
Átmeneti mátrix és homogén láncok
Mátrix , hol
![P{(n)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a86af62e5fa57c7fcfe03f6b96dfffacfad67d24)
az átmenet valószínűségeinek mátrixát a -edik lépésben, a vektort pedig, ahol
![{\mathbf {p}}=(p_{1},p_{2},\ldots )^{{\top }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2ae33efc27a39e423a1c309fafedc75bc8d390e2)
— a Markov-lánc kezdeti eloszlása .
Nyilvánvaló, hogy az átmenet valószínűségi mátrix helyes sztochasztikus , azaz.
![\sum \limits _{{j}}P_{{ij}}(n)=1,\quad \forall n\in {\mathbb {N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4a12d448db7c2ca22a82f0ba123b961702768377)
.
Egy Markov-láncot homogénnek nevezünk, ha az átmenet valószínűségi mátrixa nem függ a lépésszámtól, azaz
![P_{{ij}}{(n)}=P_{{ij}},\quad \forall n\in {\mathbb {N}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/4c9e446c92c199c4a6587a16b584d8f9a97597c6)
.
Ellenkező esetben a Markov-láncot inhomogénnek nevezzük. A következőkben feltételezzük, hogy homogén Markov-láncokról van szó.
Véges dimenziós eloszlások és az n-lépéses átmeneti mátrix
A feltételes valószínűség tulajdonságaiból és a homogén Markov-lánc definíciójából kapjuk:
![{\mathbb {P}}(X_{{n}}=i_{{n}},\ldots ,X_{0}=i_{0})=P_{{i_{{n-1}},i_{ n}}}\cdots P_{{i_{0},i_{1}}}P_{{i_{0}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0b5adc782220b4cb211a7bdad84d5e1dba056a3e)
,
ahonnan a Kolmogorov-Chapman egyenlet speciális esete következik:
![{\mathbb {P}}(X_{n}=i_{n}\mid X_{0}=i_{0})=(P^{n})_{{i_{0},i_{n}} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/e94f822300382e08e69ea59b455a6173b06440fe)
,
vagyis egy homogén Markov-lánc lépésenkénti átmeneti valószínűségeinek mátrixa az 1 lépésenkénti átmeneti valószínűségek mátrixának -edik foka. Végül,
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![n](https://wikimedia.org/api/rest_v1/media/math/render/svg/a601995d55609f2d9f5e233e36fbe9ea26011b3b)
![{\mathbb {P}}(X_{n}=i_{n})=\left((P^{T})^{n}{\mathbf {p}}\right)_{{i_{n} }}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3a00d5433bc36643cc75176e44786f6a6a496932)
.
Állapottípusok
Példák
Markov lánc folyamatos idővel
Definíció
A diszkrét valószínűségi változók családját Markov-láncnak nevezzük (folyamatos idővel), ha
![\{X_{t}\}_{{t\geqslant 0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b14d0541019d0c51386d68397a3b593638d97143)
![{\mathbb {P}}(X_{{t+h}}=x_{{t+h}}\mid X_{s}=x_{s},\;0<s\leqslant t)={\mathbb {P}}(X_{{t+h}}=x_{{t+h}}\mid X_{t}=x_{t})](https://wikimedia.org/api/rest_v1/media/math/render/svg/a6eaa464f217f921edb2781cdfa3fb313441d3f4)
.
Egy folytonos idejű Markov-láncot homogénnek mondunk, ha
![{\mathbb {P}}(X_{{t+h}}=x_{{t+h}}\mid X_{t}=x_{t})={\mathbb {P}}(X_{{h }}=x_{{h}}\közép X_{0}=x_{0})](https://wikimedia.org/api/rest_v1/media/math/render/svg/2c4d10551aeb0d6a05fded6212b944832847b98f)
.
Az átmeneti függvények mátrixa és a Kolmogorov-Chapman egyenlet
A diszkrét időhöz hasonlóan a folytonos idejű homogén Markov-lánc véges dimenziós eloszlását is teljesen meghatározza a kezdeti eloszlás
és az átmeneti függvények mátrixa ( átmeneti valószínűségek )
![{\mathbf {P}}(h)=(P_{{ij}}(h))={\mathbb {P}}(X_{h}=j\mid X_{0}=i)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b355cedc88aea10462b1eef40653d4dad4a218e1)
.
Az átmeneti valószínűségek mátrixa kielégíti a Kolmogorov-Chapman egyenletet : vagy
![{\mathbf {P}}(t+s)={\mathbf {P}}(t){\mathbf {P}}(s)](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3cec5592b4594dd7c896b785285e3583ce2b9ee)
Az intenzitásmátrix és a Kolmogorov-féle differenciálegyenletek
Definíció szerint az intenzitásmátrix , vagy ezzel egyenértékűen
![{\mathbf {Q}}=\lim _{{h\to 0}}{\frac {{\mathbf {P}}(h)-{\mathbf {I}}}{h}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5151b3cdcd441f3248e4ef8ee9856ea8729e5451)
![{\mathbf {Q}}=(q_{{ij}})=\left({\frac {dP_{{ij}}(h)}{dh}}\right)_{{h=0}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/75678849c3bb9e566bd11d85fb82b9be00040472)
.
A Kolmogorov-Chapman egyenletből két egyenlet következik:
Mindkét egyenlethez a kezdeti feltételt választjuk . Megfelelő megoldás![{\mathbf {P}}(0)={\mathbf {I}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2e7769b01585c32cd61fa0279dec52c2b183676f)
A P és Q mátrixok tulajdonságai
Bármely mátrix a következő tulajdonságokkal rendelkezik:
![t>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/29a2960e88369263fe3cfe00ccbfeb83daee212a)
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
- A mátrixelemek nem negatívak: (valószínűségek nem-negatívitása).
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
![P_{{ij}}(t)\geqslant 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0e7318b362e35ad1a4d6af5e8b56adfdd0ebde5)
- Az egyes sorok elemeinek összege 1: (teljes valószínűség), vagyis a mátrix jobb -sztochasztikus (vagy soronkénti).
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
![\sum _{j}P_{{ij}}(t)=1](https://wikimedia.org/api/rest_v1/media/math/render/svg/b21777c20597f8e49495d404b845b85de1cff3d4)
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
- Az összes mátrix sajátértéke nem haladja meg az 1-et abszolút értékben: . Ha , akkor .
![\lambda](https://wikimedia.org/api/rest_v1/media/math/render/svg/b43d0ea3c9c025af1be9128e62a18fa74bedda2a)
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
![|\lambda |\leqslant 1](https://wikimedia.org/api/rest_v1/media/math/render/svg/b54d09311ad6d9e4f373afb96703da461e43b771)
![|\lambda |=1](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3f99c7b1dc3696f6e900ea51d946e4da3915f7e)
![\lambda=1](https://wikimedia.org/api/rest_v1/media/math/render/svg/543b4490416437b7c80ea473bbcac0e4ab7a7f11)
- A mátrix sajátértéke legalább egy nem negatív bal oldali sajátvektor - sornak (egyensúlynak) felel meg: .
![\lambda=1](https://wikimedia.org/api/rest_v1/media/math/render/svg/543b4490416437b7c80ea473bbcac0e4ab7a7f11)
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
![\sum _{i}p_{i}^{*}P_{{ij}}(t)=p_{j}^{*}](https://wikimedia.org/api/rest_v1/media/math/render/svg/573c1711feff0650dda174948dc832c5b1cbe659)
- Egy mátrix sajátértékéhez minden gyökérvektor sajátvektor, azaz a megfelelő Jordan-cellák triviálisak.
![\lambda=1](https://wikimedia.org/api/rest_v1/media/math/render/svg/543b4490416437b7c80ea473bbcac0e4ab7a7f11)
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
A mátrix a következő tulajdonságokkal rendelkezik:
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
- Az átlón kívüli mátrixelemek nem negatívak: .
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
![q_{{ij}}\geqslant 0\;i\neq j](https://wikimedia.org/api/rest_v1/media/math/render/svg/7ba4fa0e8753e6edaac37fa525df89dc8f7fcbf7)
- Az átlós mátrix elemei nem pozitívak: .
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
![q_{{ii}}\leqslant 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/de375755325e2860e2862d44a6dd3872d709327d)
- Az egyes sorok elemeinek összege 0:
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
![\sum _{j}q_{{ij}}=0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac5b8a4e4f9cf34f6a272fe1d4df7db91a340ad8)
- Az összes mátrix sajátértékének valós része nem pozitív: . Ha , akkor
![\mu](https://wikimedia.org/api/rest_v1/media/math/render/svg/9fd47b2a39f7a7856952afec1f1db72c67af6161)
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
![Re(\mu )\leqslant 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/304b15d8ec51ed1baf057345839090059eebbdca)
![Re(\mu )=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/3095450d109ecdc5e61f479e5d1b5dfd7b1a41eb)
![\mu=0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/6c1fbd9b60e51f99639d432b9b86c1f1f486e1b2)
- A mátrix sajátértéke legalább egy nem negatív bal sori sajátvektornak felel meg (egyensúly):
![\mu=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/3753282c0ad2ea1e7d63f39425efd13c37da3169)
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
![\sum _{i}p_{i}^{*}q_{{ij}}=0.](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cb4c7196da8ed1d89553e0b9ae5a21795ec3b1a)
- Egy mátrix sajátértékéhez minden gyökérvektor sajátvektor, azaz a megfelelő Jordan-cellák triviálisak.
![\mu=0](https://wikimedia.org/api/rest_v1/media/math/render/svg/3753282c0ad2ea1e7d63f39425efd13c37da3169)
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
Átmeneti gráf, konnektivitás és ergodikus Markov-láncok
Egy folytonos idejű Markov-lánchoz egy irányított átmeneti gráfot (röviden: átmeneti gráfot) készítünk a következő szabályok szerint:
- A gráf csúcsainak halmaza egybeesik a láncállapotok halmazával.
- A csúcsokat egy orientált él köti össze, ha (azaz a -edik állapotból a -edikbe irányuló áramlás intenzitása pozitív).
![i,j\,(i\neq j)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f603e556a291785edb245a137a0b7186d159c5c8)
![i\to j](https://wikimedia.org/api/rest_v1/media/math/render/svg/a48bd9ca3d9a2aa1b63faba78b32761d44301ddd)
![q_{{ij}}>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/fdd1a010569d278df082582272a05bc78b6bb1d3)
![én](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
Az átmeneti gráf topológiai tulajdonságai összefüggenek a mátrix spektrális tulajdonságaival . Konkrétan a következő tételek igazak véges Markov-láncokra:
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
- Egy véges Markov-lánc következő három tulajdonsága: A, B, C ekvivalens (az ezekkel rendelkező láncokat néha gyengén ergodikusnak nevezik ):
V. Az átmeneti gráf bármely két különböző csúcsához van a gráfnak egy olyan csúcsa ("közös lefolyó"), hogy vannak orientált utak a csúcstól a csúcsig és a csúcstól a csúcsig . Megjegyzés : lehetséges eset vagy ; ebben az esetben irányított útnak számít egy triviális (üres) út odáig vagy odáig .
![i,j\,(i\neq j)](https://wikimedia.org/api/rest_v1/media/math/render/svg/f603e556a291785edb245a137a0b7186d159c5c8)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![én](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![k=i](https://wikimedia.org/api/rest_v1/media/math/render/svg/e67c1dcb261955cf3d407a4bb4c7809d780d0c37)
![k=j](https://wikimedia.org/api/rest_v1/media/math/render/svg/962c91012062b0d61642fe75c6fec4863b5087d7)
![én](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![én](https://wikimedia.org/api/rest_v1/media/math/render/svg/add78d8608ad86e54951b8c8bd6c8d8416533d20)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
![j](https://wikimedia.org/api/rest_v1/media/math/render/svg/2f461e54f5c093e92a55547b9764291390f0b5d0)
B. Egy mátrix nulla sajátértéke nem degenerált.
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
C. A mátrix egy olyan mátrixra törekszik, amelyben minden sor egybeesik (és nyilvánvalóan egybeesik az egyensúlyi eloszlással).
![t\to\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a34d7a61899d577d950881b4a44888d43f3fa93)
- Egy véges Markov-lánc következő öt tulajdonsága A, B, C, D, D ekvivalens (az ilyen láncokat ergodikusnak nevezzük ):
A. Egy lánc átmeneti gráfja irányfüggő.
B. A mátrix nulla sajátértéke nem degenerált, és szigorúan pozitív bal oldali sajátvektornak felel meg (egyensúlyi eloszlás).
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
B. Egyesek számára a mátrix szigorúan pozitív (vagyis mindenki számára ).
![t>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/29a2960e88369263fe3cfe00ccbfeb83daee212a)
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
![P_{{ij}}(t)>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/548a6bb3d8b961fc72fec5a74c97d0bf4ff3d03f)
![i,j](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4cbf8bbc622154cda8208d6e339495fe16a1f9a)
D. Minden esetben a mátrix szigorúan pozitív.
![t>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/29a2960e88369263fe3cfe00ccbfeb83daee212a)
![{\mathbf {P}}(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/2393bdf75018240f83edbeff8daa32209e36a437)
E. A mátrix szigorúan pozitív mátrixra hajlamos, amelyben minden sor egybeesik (és nyilvánvalóan egybeesik az egyensúlyi eloszlással).
![t\to\infty](https://wikimedia.org/api/rest_v1/media/math/render/svg/8a34d7a61899d577d950881b4a44888d43f3fa93)
Példák
Tekintsünk háromállapotú Markov-láncokat folyamatos idejű, az ábrán látható átmeneti grafikonoknak megfelelően. Az (a) esetben az intenzitásmátrixnak csak az alábbi átlón kívüli elemei nem nullák , a (b) esetben csak a nullától eltérőek , a (c) esetben pedig . A fennmaradó elemeket a mátrix tulajdonságai határozzák meg (az egyes sorok elemeinek összege 0). Ennek eredményeként az (a), (b), (c) grafikonok intenzitásmátrixai így néznek ki:
![q_{{12}},\,q_{{13}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/34fa221a8dbcde1a5f106fe7d84286f6d84688e7)
![q_{{12}},\,q_{{31}}\,q_{{32}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7aed54ffa137ee5e363aecc6dfbed23e4bc4e472)
![q_{{12}},\,q_{{31}}\,q_{{23}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ffebbc1fc11e5e90bf72241d9c76f8973fa86815)
![{\mathbf {Q}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/132d0144479d6f47c30ad82a65d458966ccbe928)
Kinetikai alapegyenlet
Az alapvető kinetikai egyenlet a valószínűség-eloszlás alakulását írja le egy folyamatos idejű Markov-láncban. Az „alapegyenlet” itt nem jelző, hanem az angol kifejezés fordítása. mester egyenlet . A valószínűségi eloszlás sorvektora esetében az alapvető kinetikai egyenlet a következőképpen alakul:
![\pi](https://wikimedia.org/api/rest_v1/media/math/render/svg/9be4ba0bb8df3af72e90a0535fabcc17431e540a)
és lényegében egybeesik a közvetlen Kolmogorov-egyenlettel . A fizikai irodalomban gyakrabban használják a valószínűségek oszlopvektorait, és az alapvető kinetikai egyenletet olyan formában írják le, amely kifejezetten használja a teljes valószínűség fennmaradásának törvényét:
ahol
Ha a kinetikai alapegyenletnek pozitív egyensúlya van , akkor az alakba írható fel
![p_{i}^{*}>0](https://wikimedia.org/api/rest_v1/media/math/render/svg/4411f049f45c75f892b7ff6d50de095122471828)
Ljapunov függvények az alapvető kinetikai egyenlethez
A fő kinetikai egyenlethez a konvex Ljapunov -függvények gazdag családja tartozik – olyan valószínűség-eloszlási függvények, amelyek az időben monoton módon változnak. Legyen egy változó konvex függvénye . Bármilyen pozitív valószínűségi eloszláshoz ( ) definiáljuk a Morimoto-függvényt :
![h(x)\,(x>0)](https://wikimedia.org/api/rest_v1/media/math/render/svg/6cc62ff67954e0e2b43e156f713f17bed652cbf6)
![H_{h}(p)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce4b73934897d074053009ccb49d68eedfa2e829)
![H_{h}(p)=\sum _{i}p_{i}^{*}h\left({\frac {p_{i}}{p_{i}^{*}}}\jobb)](https://wikimedia.org/api/rest_v1/media/math/render/svg/b5edb9ea2c69ed5ee97fbb4ac235ccd57c802e8e)
.
Az idő derivált, ha kielégíti a kinetikai alapegyenletet, az
![H_{h}(p)](https://wikimedia.org/api/rest_v1/media/math/render/svg/ce4b73934897d074053009ccb49d68eedfa2e829)
![p(t)](https://wikimedia.org/api/rest_v1/media/math/render/svg/9b827c545ca1487214f0c498131228ef87718ece)
![{\frac {dH_{h}(p(t))}{dt}}=\sum _{{i,j\,i\neq j}}T_{{ij}}p_{j}^{*} \left[h\left({\frac {p_{i}}{p_{i}^{*}}}\right)-h\left({\frac {p_{j}}{p_{j}^ {*}}}\jobbra)+h'\left({\frac {p_{i}}{p_{i}^{*}}}\jobbra)\bal({\frac {p_{j}}{ p_{j}^{*}}}-{\frac {p_{i}}{p_{i}^{*}}}\right)\right]\leqslant 0](https://wikimedia.org/api/rest_v1/media/math/render/svg/32674e5488b65ab4b87325258845e0fcefe03298)
.
Az utolsó egyenlőtlenség a konvexitás miatt érvényes .
![h(x)](https://wikimedia.org/api/rest_v1/media/math/render/svg/02c07825dae28705df03d15daeb8844d49c4dbd4)
Példák Morimoto függvényeire
, ;![H_{h}(p)=\sum _{i}|p_{i}-p_{i}^{*}|](https://wikimedia.org/api/rest_v1/media/math/render/svg/08289d3e12ee1608ce235832d9d2866c7103bcd0)
ez a függvény az aktuális valószínűségi eloszlás és az egyensúlyi egy in -
norm közötti távolság . Az időeltolódás ebben a normában a valószínűségi eloszlások terének összehúzódása. (Az összehúzódások tulajdonságairól lásd a
Banach-féle fixpont tételt .)
, ;![H_{h}(p)=\sum _{i}p_{i}\ln \left({\frac {p_{i}}{p_{i}^{*}}}\jobbra)](https://wikimedia.org/api/rest_v1/media/math/render/svg/5e401f84b4482e5f2f90dbcd83c262a3a705896c)
ez a függvény a (mínusz) Kullback
entrópia (lásd
Kullback-Leibler távolság ). A fizikában ez megfelel a
szabad energia osztva (ahol a
Boltzmann-állandó , az abszolút
hőmérséklet ):
![kT](https://wikimedia.org/api/rest_v1/media/math/render/svg/7285dfee5bf2881a238244337a2c644bc5f87493)
![k](https://wikimedia.org/api/rest_v1/media/math/render/svg/c3c9a2c7b599b37105512c5d570edc034056dd40)
![T](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec7200acd984a1d3a3d7dc455e262fbe54f7f6e0)
ha (
Boltzmann eloszlás ) akkor
![H_{h}(p)=\sum _{i}p_{i}\ln p_{i}+\sum _{i}p_{i}U_{i}/kT-\mu _{0}=( \langle U\rangle -TS)/kT](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd9770cdfd49823508380532029f6725b62d5bf1)
.
, ;![H_{h}(p)=-\sum _{i}p_{i}^{*}\ln \left({\frac {p_{i}}{p_{i}^{*}}}\jobb )](https://wikimedia.org/api/rest_v1/media/math/render/svg/a0990e8512c3c85bfdbb6927a8d470f258648f7a)
ez a funkció a Burg entrópia szabad energiájú analógja, amelyet széles körben használnak a jelfeldolgozásban:
, ;![H_{h}(p)=\sum _{i}{\frac {(p_{i}-p_{i}^{*})^{2}}{2p_{i}^{*}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2401545534a4749e0bf8937304c856bdb8931494)
ez a (mínusz) Kullback entrópia másodfokú közelítése az egyensúlyi pont közelében. Egy időben állandó tagig ez a függvény megegyezik a következő választással adott (mínusz) Fisher-entrópiával:
, ;![H_{h}(p)=\sum _{i}{\frac {p_{i}^{2}}{2p_{i}^{*}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3cfd2c3e86d87df36b99a3ec40c40d2504351bd5)
ez a (mínusz)
Fisher entrópia .
, ;![H_{h}(p)={\frac {1}{q-1}}\left[\sum _{i}p_{i}^{*}\left({\frac {p_{i}}{ p_{i}^{*}}}\jobbra)^{q}-1\jobbra]](https://wikimedia.org/api/rest_v1/media/math/render/svg/037533b5c98e32bb459afe8ad6f8156a16289390)
ez a szabad energia egyik analógja a
Tsallis entrópiához .
![S_{{q{{\rm {Tsallis}}}}}(p)={1 \over q-1}\left(1-\sum _{i}p_{i}^{q}\right).](https://wikimedia.org/api/rest_v1/media/math/render/svg/c68c955090e0e91bedb288d783ee547521895b48)
nem extenzív mennyiségek statisztikai fizikájának alapjául szolgál. A -nál a klasszikus Boltzmann-Gibbs-Shannon entrópiára, a megfelelő Morimoto-függvény pedig a (mínusz) Kullback entrópiára hajlik.
Gyakorlati alkalmazás
Az egyik első tudományos tudományág, amelyben a Markov-láncok gyakorlati alkalmazásra találtak, a nyelvészet volt (különösen a szövegkritika ). Eredményeinek illusztrálására maga Markov tanulmányozta a magánhangzók és mássalhangzók váltakozásának függőségét az „ Jevgenyij Onegin ” és a „Bagrov-unoka gyermekkori évei ” [3] első fejezeteiben .
Jegyzetek
- ↑ "Markov-lánc | A Markov-lánc meghatározása az amerikai angol nyelven az Oxford Dictionaries által" . Oxfordi szótárak | Angol. . Lexico szótárak | angol (2017. december 14.). Letöltve: 2020. április 1.
- ↑ Gagniuc, Paul A. Markov Láncok: Az elmélettől a megvalósításig és a kísérletezésig . - USA, NJ: John Wiley & Sons , 2017. - 2-8. o. — ISBN 978-1-119-38755-8 .
- ↑ Maistrov, L. E. A valószínűség fogalmának fejlesztése . - Nauka, 1980. - S. 188. - 269 p.
Irodalom
- Kelbert M. Ya., Sukhov Yu. M. Valószínűség és statisztika példákban és problémákban. II. kötet: Markov-láncok, mint a véletlenszerű folyamatok elméletének kiindulópontja és alkalmazásaik. - M. : MTSNMO, 2010. - 295 p. — ISBN 978-5-94057-252-7 .
- Markov A. A. , A nagy számok törvényének kiterjesztése az egymástól függő mennyiségekre. - A Kazany Egyetem Fizikai és Matematikai Társaságának hírei. - 2. sorozat. - 15. kötet (1906) - S. 135-156.
- Markov-lánc / A. V. Prohorov // Nagy Orosz Enciklopédia : [35 kötetben] / ch. szerk. Yu. S. Osipov . - M . : Nagy orosz enciklopédia, 2004-2017.
- Kemeny JG, Snell JL , Finite Markov láncok. — Az egyetemi matematikai sorozat. Princeton: Van Nostrand, 1960
- Fordítás: Kemeny J.J. , Snell J.L. Véges Markov-láncok. — M.: Nauka. 1970. - 272 p.
- Zhong Kai-lai homogén Markov láncok. Ford. angolról. — M.: Mir, 1964. — 425 p.
- E. Nummelin , Általános irreducibilis Markov-láncok és nemnegatív operátorok. — M.: Mir, 1989. — 207 p.
- Morimoto T. , Markov-folyamatok és a H-tétel. – J. Phys. szoc. Jap. 12, 328-331 (1963)].
- Yaglom A.M. , Yaglom I.M. , Valószínűség és információ . - M., Nauka, 1973. - 512 p.
- Kullback S. , Információelmélet és statisztika. Wiley, New York, 1959.
- Burg JP , The Relationship Between Maximum Entropy Spectra and Maximum Likelihood Spectra, Geophysics 37(2) (1972), 375-376.
- Tsallis C. , A Boltzmann-Gibbs statisztika lehetséges általánosítása. J. Stat. Phys. 52 (1988), 479-487.
- Rudoy Yu. G. , Általános információs entrópia és nem kanonikus eloszlás az egyensúlyi statisztikai mechanikában , TMF, 135:1 (2003), 3-54.
- Gorban, Alexander N.; Gorban, Pavel A.; Bíró, George. Entrópia: A Markov-rendező megközelítés . 12. entrópia , sz. 5 (2010), 1145-1193.
Linkek
Szótárak és enciklopédiák |
|
---|
Bibliográfiai katalógusokban |
|
---|
A mesterséges neurális hálózatok típusai |
---|
|