下鞅
下鞅
Xn,n≥0與Yn,n≥0是隨機過程,如果滿足下列條件:
(1) E(X)<+∞,x=max(x,0);
(2) E(Xn+1|Y0,Y1,...,Yn)≥Xn;
(3) Xn是 Y0,Y1,...,Yn的函數。
則稱Xn,n≥0關於Yn,n≥0是一個下鞅。
鞅可以用於研究公平賭博(公平博弈),然而,現實生活中的博弈很多時候都是非公平的,此時,就需要藉助上、下鞅的理論,上、下鞅可以解決非公平博弈問題。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
定義1 與 是隨機過程,如果滿足下列條件:
![下鞅](https://i1.twwiki.net/cover/w200/md/8/md89a057fb53e306a91649f7c6419b3ca.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m7/1/m7164dd29569d9b2839d45564dd5fe45d.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m4/e/m4ec083ae13284c38ebe4371c1327daac.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/md/4/md4f04ac5cb40f42b8774aa7c30999db0.jpg)
下鞅
(3) 是 的函數。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
則稱 關於 是一個 上鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
定義2 與 是隨機過程,如果滿足下列條件:
![下鞅](https://i1.twwiki.net/cover/w200/m0/4/m04002a5df0c2c12aa5742c34fb6916ad.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m6/9/m695e3565025a6d6aab549ab973711c77.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m4/e/m4ec083ae13284c38ebe4371c1327daac.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/md/4/md4f04ac5cb40f42b8774aa7c30999db0.jpg)
下鞅
(3) 是 的函數。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
則稱 關於 是一個 下鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/me/a/meabc66f306ecc0589484f582087585ce.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m0/9/m09882da8515f771bc6f421fae6d0a6ae.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
定理 如果,關於 是上(下)鞅,則 關於 是上(下)鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/me/a/meabc66f306ecc0589484f582087585ce.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
證明:若,關於 是上鞅,則:
![下鞅](https://i1.twwiki.net/cover/w200/m0/e/m0eb38d9e91bcc26841141d10d1644d6b.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/me/4/me4ab9398421313ba9ce47ff7eeaeccc0.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m0/9/m09882da8515f771bc6f421fae6d0a6ae.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
即 關於 是上鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m0/9/m09882da8515f771bc6f421fae6d0a6ae.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
同理,可證 關於 是下鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m7/a/m7abbe1196a651959e0a444349aac8fda.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m6/9/m69979b84ccecdedb3474ae6b445cb7c4.jpg)
下鞅
先介紹Jensen不等式,設 為一凸函數,即對 有
![下鞅](https://i1.twwiki.net/cover/w200/me/1/me17681c3bcab3bdbeb84759e0e5f26a4.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/mc/e/mceaf66dc957199987e6484acbfff269e.jpg)
下鞅
其推廣結果為:對
![下鞅](https://i1.twwiki.net/cover/w200/mf/2/mf22c38ad919f4318f8e4c21c3df9cf95.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m6/4/m64fb42d466f33ca96e34793b95c0efa3.jpg)
下鞅
因此, 。
![下鞅](https://i1.twwiki.net/cover/w200/mc/d/mcd5eb1b71603f5689e44cee51e0dfdf4.jpg)
下鞅
將X換成X,然後利用下鞅的性質可得下面的定理。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m7/a/m7abbe1196a651959e0a444349aac8fda.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/me/7/me7875ce63ba95348ed24df8f919e9684.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/ma/b/mab457031233b3c19ba14773fc44a61f0.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
定理1 如果 關於 是鞅,為一凸函數,且對,則 關於 是下鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m8/a/m8ad0fea0ec9a3c798e840b840c698c67.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/mb/2/mb2060e6a1c6c81386384037e05bf9e51.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m2/c/m2cbe24f32e81a9aadf34674f332ea9e2.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
推論1 如果 關於 是鞅,對,則,關於 是下鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m5/6/m567aec03f91ab3580284d647124ecd3f.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/mf/1/mf167d3a216c1f25a60f40c30d4482a99.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/mf/6/mf6626d765f6a418810e4e0b963ead40b.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m1/6/m16cda51a6b4f1a0bb7b48864d0dfb713.jpg)
下鞅
推論2 如果 關於 是鞅,對,則 關於 是下鞅。
![下鞅](https://i1.twwiki.net/cover/w200/m0/b/m0bd682f4c46a756885a431bda745be90.jpg)
下鞅
對任意的非負隨機變數X,利用Jensen不等式,於是有
![下鞅](https://i1.twwiki.net/cover/w200/me/8/me8c972c657a34c3b28a43138dd0f7cdd.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m3/4/m3439e871ed2a6dd9431431ab39ca8f2b.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m3/3/m331313ce4238793814d49f5963581f9e.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/me/a/meadedc053364fc38f1f422539505bf3e.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m6/3/m636da008c5b901ab0d14dc2700c50830.jpg)
下鞅
定理 對於任意一個 關於 的下鞅,必存在過程 與,使得:
![下鞅](https://i1.twwiki.net/cover/w200/me/a/meadedc053364fc38f1f422539505bf3e.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m3/3/m331313ce4238793814d49f5963581f9e.jpg)
下鞅
(1) 關於 是鞅;
![下鞅](https://i1.twwiki.net/cover/w200/m6/f/m6f7d300dd208129b66a4b2571de31606.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/ma/9/ma9d3f96442c2088b7cb402d3832b805c.jpg)
下鞅
![下鞅](https://i1.twwiki.net/cover/w200/m7/5/m7560e0a139b011a862c4e3cf62a4fea4.jpg)
下鞅
(2) 是 的函數(n≥2),且;
![下鞅](https://i1.twwiki.net/cover/w200/m0/d/m0d71056fac01539831e4138559cd7bab.jpg)
下鞅
且上述分解是唯一的。