複製鏈接
請複製以下鏈接發送給好友

赫爾德不等式

鎖定
赫爾德不等式是數學分析的一條不等式,取名自奧圖·赫爾德(Otto Hölder)。這是一條揭示Lp空間相互關係的基本不等式。赫爾德不等式有許多證明,主要的想法是楊氏不等式
中文名
赫爾德不等式
外文名
Hölder inequality
所屬學科
泛函分析
類    別
不等式
創建者
赫爾德
表現形式
離散形式和積分形式

赫爾德不等式定義

設p,q,r∈[1,∞],
。對任意S∈
與T∈
,有ST∈
,與
[5] 

赫爾德不等式離散的不等式

赫爾德不等式不等式定義

。令
是非負實數。 [1]  那麼

赫爾德不等式等號成立條件

僅當
中至少有一個為零數列或者
,且
,使得
,
[2] 
證明:
,則式子
因為f(x)=lnx(x>0)是向上凸函數(因為
),由加權Jensen不等式,可得
所以
把上式對i到m求和 得:
從而命題得證。

赫爾德不等式連續的不等式

假設
。如果
,那麼

赫爾德不等式離散形式

(有限和和無窮和)

赫爾德不等式內容

為實數或複數列,a叫做多重指標,令
滿足條件的p,q稱為共軛指數,q=1是規定p=∞,
若1≤p≤∞,則
若0<p<1,則不等號反向。 [2] 

赫爾德不等式成立條件

1<p<∞時,
,且
成立 [2] 

赫爾德不等式積分形式

赫爾德不等式內容

設p、q為共軛指數,令
,且
…………………… ①
………… …………②
0<p<1,則不等號方向改變 [3] 

赫爾德不等式成立條件

時,僅當
,使得
在E上幾乎處處成立時①式成立
p=1時,僅當
,使得
a.e.(almost everywhere)於E,且
時,
②式成立 [2] 

赫爾德不等式證明

如果||f||p= 0,那麼fμ-幾乎處處為零,且乘積fgμ-幾乎處處為零,因此赫爾德不等式的左端為零。如果||g||q=0也是這樣。因此,可以假設||f||p>0且||g||q>0。
如果||f||p= ∞或||g||q=∞,那麼不等式的右端為無窮大。因此,可以假設||f||p和||g||q位於(0,∞)內。
如果p= ∞且q= 1,那麼幾乎處處有|fg| ≤ ||f|||g|,不等式就可以從勒貝格積分的單調性推出。對於p=1和q=∞,情況也類似。因此,還可以假設p,q∈ (1,∞)。
分別用fg除||f||p||g||q,可以假設:
現在使用楊氏不等式:
對於所有非負的ab,當且僅當時
等式成立。
因此:
兩邊積分,得:
這便證明了赫爾德不等式。
p∈ (1,∞)和||f||p= ||g||q= 1的假設下,等式成立當且僅當幾乎處處有
。更一般地,如果||f||p和||g||q位於(0,∞)內,那麼赫爾德不等式變為等式,當且僅當存在α,β>0(即α= ||g||qβ= ||f||p),使得:
μ-幾乎處處(*)
||f||p= 0的情況對應於(*)中的β=0。||g||q=的情況對應於(*)中的α=0。 [4] 
參考資料
  • 1.    安振平. 赫爾德不等式及其應用[J]. 中學數學教學參考旬刊, 2013(5):42-44.
  • 2.    匡繼昌.常用不等式 第4版:山東科學技術出版社,2010年8月:4-5
  • 3.    高雲天, 霍雲霄. 積分形式的Minkowski不等式和逆Minkowski不等式的證明[J]. 吉林省教育學院學報, 2016, 32(8):172-174.
  • 4.    楊克昌. 赫爾德不等式的證明及其等價形式[J]. 數學教學, 1984(6).
  • 5.    Masoud Khalkhali.Basic Noncommutative Geometry:歐洲數學會,2009