劉繼成， 廖俊俊

(華中科技大學(xué) >數(shù)學(xué)與統(tǒng)計(jì)學(xué)院， 武漢430074)

1 引 言

在Martin Hairer 2016年1月13日的講義《Convergence of Markov Processes》(見文獻(xiàn)[1]第20頁(yè)倒數(shù)11行)中，作者在研究馬氏過(guò)程不變測(cè)度收斂速度時(shí)，證明中涉及到下面的問(wèn)題：

φ(2x)≤2φ(x)-C，

(1)

對(duì)所有的x>VC成立？容易驗(yàn)證，函數(shù)φ(x)=ln(1+x)和φ(x)=xα，α∈(0，1)均為滿足問(wèn)題M條件的函數(shù)，并且(1)式成立. 然而，考慮函數(shù)

φ(x)=x+(1-e-x)，x≥0.

(2)

φ(2x)=2x+(1-e-2x)=2(x+(1-e-x))+e-x(2-e-x)

=2φ(x)+e-x(2-e-x)≥2φ(x).

因此， (2)式中的函數(shù)φ(x)滿足問(wèn)題M的條件，但(1)式不成立. 這說(shuō)明問(wèn)題M的結(jié)論并不總是能成立的.

一個(gè)自然的問(wèn)題是，在問(wèn)題M中增加什么條件能保證(1)式成立呢？以及能否給出(1)式成立的充分條件和充要條件呢？本文將給出正面的回答.

本節(jié)將回顧凹函數(shù)的定義以及一些性質(zhì)，這些性質(zhì)將在定理的證明中反復(fù)使用.

2 凹函數(shù)的性質(zhì)

定義1[3] 209設(shè)I?為一區(qū)間，若函數(shù)φ∶I→滿足對(duì)任意x，y∈I和λ∈(0，1)有

φ(λx+(1-λ)y)≥λφ(x)+(1-λ)φ(y)，

則稱φ(x)為I上的凹函數(shù).

由定義1，容易得到凹函數(shù)以下一些性質(zhì).

(i)φ(x)為區(qū)間I上的凹函數(shù)等價(jià)于對(duì)任意x，y，z∈I，x

(3)

(ii) 設(shè)φ∶[0，+∞)→為凹函數(shù)， 由(3)式的第二個(gè)不等式知關(guān)于x單調(diào)遞減.

事實(shí)上，若φ(x)非負(fù)，當(dāng)x≥1時(shí)有

3 主要結(jié)論與證明

容易看出，(1)式可以表述為極限形式：(1)式成立等價(jià)于

首先得到下面使(1)式成立的充要條件.

命題1設(shè)φ(x)∶[0，+∞)→為凹函數(shù)，α>1， 并且存在，則有

當(dāng)且僅當(dāng)

證首先證明兩個(gè)單調(diào)性. 對(duì)任意的x>y以及α>1，由(3)式得

因此

(4)

知αφ(x)-φ(αx)≥αφ(y)-φ(αy)， 即αφ(x)-φ(αx)關(guān)于x單調(diào)遞增.進(jìn)一步，在(4)式中令α→+∞得

φ(x)-kx≥φ(y)-ky，

(5)

即φ(x)-kx關(guān)于x單調(diào)遞增.

(tα-1)φ(ty)≥t(α-1)φ(y)+(t-1)φ(tαy).

結(jié)合(4)式，對(duì)x>ty，得

(6)

在上式中令x→ +∞得

再令t→+∞得

因此，若F(α)<+∞，則G<+∞.

由命題1，顯然有下面使(1)式成立的充分條件.

推論1設(shè)φ∶[0，+∞)→為可導(dǎo)的凹函數(shù)，若且則對(duì)任意的

例對(duì)于函數(shù)φ(x)=ln(x+1)和φ(x)=xα，α∈(0，1)，容易驗(yàn)證滿足推論1的條件，所以對(duì)這兩個(gè)函數(shù)(1)式都成立. 而函數(shù)φ(x)=x+(1-e-x)不滿足推論1的條件，如引言所述該函數(shù)也沒有性質(zhì)(1).

推論2設(shè)φ(x)∶[0，+∞)→[0，+∞)為凹函數(shù)，α>1， 則

當(dāng)且僅當(dāng)

將問(wèn)題M用幾何的語(yǔ)言刻畫如下.

命題2設(shè)φ∶[0，+∞)→為凹函數(shù)，α>1. 則的充要條件是φ在正無(wú)窮處不存在漸近線.

由α>1的任意性以及命題2，即有

命題3設(shè)φ∶[0，+∞)→為凹函數(shù)，對(duì)任意α，β>1，則

等價(jià)于

如果函數(shù)φ(x)有二階導(dǎo)數(shù)，我們可以得到下面使(1)式成立的充分條件.

命題4設(shè)φ∶[0，+∞)→為有二階導(dǎo)數(shù)的凹函數(shù)，<0，則對(duì)任意的α>1

證不妨設(shè)φ(0)=0，注意到αφ(x)-φ(αx)單調(diào)遞增，因此存在ξt∈(t，2t)

由條件，對(duì)充分大的t

因此結(jié)論成立.

最后，給出(1)式的另一等價(jià)形式，這也被用在Martin Hairer講義中(見[1]第17頁(yè)引理4.3證明的(4.2)式).

命題5設(shè)φ(x)為凹函數(shù)，則下面兩個(gè)問(wèn)題等價(jià)：

(a) 對(duì)每個(gè)常數(shù)C>0， 存在VC>0，使得

φ(2x)≤2φ(x)-C， ?x>VC.

(b) 對(duì)每個(gè)常數(shù)C>0， 存在VC>0，使得

φ(x+y)≤φ(x)+φ(y)-C， ?x，y>VC.

證顯然，令y=x，由(b)可以得到(a). 現(xiàn)在證明由(a)得(b). 由x，y的對(duì)稱性，不妨設(shè)0y2有

因此φ(x+y)-φ(y)關(guān)于y單調(diào)遞減，因此，對(duì)任意的x≤y

φ(x+y)-φ(y)≤φ(x+x)-φ(x).

因此由(a)有φ(x+y)-φ(y)≤φ(x+x)-φ(x)≤φ(x)-C. 綜上， (a)與(b)等價(jià).

4 結(jié) 論

本文就問(wèn)題M做了細(xì)致的研究.首先，指出問(wèn)題M的回答是否定的.然后，在命題1中給出了結(jié)論成立的充要條件，命題2幾何解釋了該充要條件就是函數(shù)在正無(wú)窮處不存在漸近線，推論1和命題4給出了結(jié)論成立的判定條件.因此，本文對(duì)問(wèn)題M給出了解答，厘清了滿足問(wèn)題M結(jié)論的凹函數(shù)類.

致謝作者非常感謝樓紅衛(wèi)教授對(duì)本文的修改和建議，也感謝參考文獻(xiàn)對(duì)本文的啟發(fā)以及審稿人的寶貴意見.