藺 霞, 馮德成, 魯雅莉
(西北師范大學(xué) 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 蘭州 730070)
目前, 關(guān)于弱鞅和弱下鞅[1]的研究已有很多結(jié)果. 例如: 文獻(xiàn)[2]給出了弱鞅的極大值不等式及強(qiáng)大數(shù)定律; 文獻(xiàn)[3]給出了弱下鞅的Whittle型不等式; 文獻(xiàn)[4]給出了弱下鞅和N-弱上鞅的極大值不等式; 文獻(xiàn)[5]給出了弱下鞅的極大值不等式以及非負(fù)弱鞅的極小值不等式; 文獻(xiàn)[6]給出了非負(fù)下鞅的極大型φ-不等式.受文獻(xiàn)[6]啟發(fā), 文獻(xiàn)[7]建立了弱鞅的極大型φ-不等式; 文獻(xiàn)[8]建立了條件弱鞅的極大型φ-不等式.本文利用Fubini定理以及H?lder不等式, 給出非負(fù)弱下鞅的一類(lèi)極大型φ-不等式, 所得結(jié)果推廣了文獻(xiàn)[4]中的某些結(jié)論.
本文設(shè){Xn,n≥1}或{Sn,n≥1}表示定義在概率空間(Ω,F,P)上的隨機(jī)變量序列, 記X+=max{0,X},a∨b=max{a,b},I(A)表示集合A的示性函數(shù), logx=logex=lnx, log+x=ln(x∨1).
定義1[1]設(shè){Sn,n≥1}是L1(Ω,F,P)上的一列隨機(jī)變量.如果對(duì)于j=1,2,…, 有
E[(Sj+1-Sj)f(S1,…,Sj)]≥0,
(1)
則稱(chēng){Sn,n≥1}為弱鞅, 其中f為任意分量不減的函數(shù)并使得式(1)中期望有意義.如果進(jìn)一步假設(shè)f是非負(fù)函數(shù), 則稱(chēng){Sn,n≥1}為弱下鞅.
設(shè)C表示Orlicz函數(shù)類(lèi), 即當(dāng)φ∈C時(shí),φ: [0,∞)→[0,∞)是一個(gè)無(wú)界不減的凸函數(shù), 且φ(0)=0.令C′={φ∈C|φ′(x)/x在0點(diǎn)的某鄰域內(nèi)可積}.給定φ∈C且a≥0, 定義
令Φ(x)=Φ0(x),x>0.
引理1[5]設(shè){Sn,n≥1}是一個(gè)弱下鞅且S0=0, {cn,n≥1}是不減的正數(shù)序列, 則對(duì)任意的ε>0, 有
推論1設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0, {cn,n≥1}是不減的正數(shù)序列, 則對(duì)任意的ε>0, 有
證明: 由引理1及{Sn,n≥1}是一個(gè)非負(fù)弱下鞅, 易得結(jié)論.
(2)
證明: 由推論1、 Fubini定理以及H?lder不等式, 可得
(3)
由于
alog+b≤alog+a+be-1,a≥0,b>0,
則
于是
(4)
在式(4)中令ck=1,k≥1, 則
(5)
推論2設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0,φ∈C′, 則
(6)
其中1/p+1/q=1,p>1.
證明: 在定理1中令ck=1,k≥1, 可得式(6).
(7)
定理2設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0, {cn,n≥1}是不減的正數(shù)序列,φ∈C, 則對(duì)于任意的n≥1,t>0且0<λ<1, 有
(8)
進(jìn)而, 對(duì)于n≥1,a>0,b>0且0<λ<1, 有
(9)
證明: 由推論1可得
于是
由于
故
從而
令b>0, 由式(8), 有
推論3設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0,φ∈C, 則
(10)
其中n≥1,t>0且0<λ<1.進(jìn)而
(11)
其中n≥1,a>0,b>0且0<λ<1.
證明: 在定理2中令ck=1,k≥1, 可得結(jié)論.
注3推論3是文獻(xiàn)[4]中定理3.1, 因此定理2推廣了文獻(xiàn)[4]中的結(jié)論.
定理3設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0, {cn,n≥1}是不減的正數(shù)序列,φ∈C, 則
(12)
其中n≥1,a>0且0<λ<1.在式(12)中令λ=1/2, 則
推論4設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0,φ∈C, 則
(13)
其中n≥1,a>0且0<λ<1.在式(13)中令λ=1/2, 則
其中n≥1,a>0.
證明: 在定理3中令ck=1,k≥1, 可得結(jié)論.
注4推論4在取I(Sn>λa)=1時(shí), 即為文獻(xiàn)[4]中定理3.2, 因此推論4推廣了文獻(xiàn)[4]的結(jié)論.
定理4設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0, {cn,n≥1}是不減的正數(shù)序列, 則
(14)
其中n≥1,b>1.
令b>1,λ=1/b, 則
推論5設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0, {cn,n≥1}是不減的正數(shù)序列, 則
(15)
證明: 在定理4中令b=E[cnSn-1]++1, 可得式(15).
推論6設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0, {cn,n≥ 1}是不減的正數(shù)序列, 則
(16)
證明: 在定理4中令b=e, 可得式(16).
推論7設(shè){Sn,n≥1}是一個(gè)非負(fù)弱下鞅且S0=0, 則
(17)
證明: 在定理4中令ck=1,k≥1, 可得式(17).