ヘルダーの不等式の逆:Lp関数の十分条件
📂ルベーグ空間ヘルダーの不等式の逆:Lp関数の十分条件
概要
Ω⊂Rnを開集合だとしよう。可測関数uがLp空間に含まれるための必要十分条件は、
sup{∫Ω∣u(x)∣v(x)dx:v(x)≥0 on Ω,∥v∥p′≤1}<∞
である。また、上のスプレムは∥u∥pとなる。ここで、p′=p−1pはヘルダー共役である。
説明
1<p<∞で、v∈Lp′とする。すると、ヘルダーの不等式はu∈Lpならばuv∈L1であることを教えてくれる。
u∈Lp(Ω)⟹∫Ω∣u(x)v(x)∣dx≤∥u∥p∥v∥p′
逆に、この定理はuv∈L1ならばu∈Lpであることを意味している。
u∈Lp(Ω)⟸sup{∫Ω∣u(x)∣v(x)dx:v(x)≥0 on Ω,∥v∥p′≤1}<∞
証明
u∈Lp(Ω)⟺sup{∫Ω∣u(x)∣v(x)dx:v(x)≥0 on Ω,∥v∥p′≤1}<∞
(⟹)
∥u∥p=0の場合は自明である。0<∥u∥p<∞とする。0≤vであり、∥v∥q≤1なv∈Lp′に対してヘルダーの不等式を適用すると、
∫Ω∣u(x)∣v(x)dx≤∥u∥p∥v∥p′≤∥u∥p<∞
また、v=(∥u∥p∣u∣)p/p′と置くと∥v∥p′=1であり、等号が成立する。p/p′=ppp−1=p−1であるため、
∫Ω∣u(x)∣v(x)dx===== ∫Ω∣u(x)∣∥u∥pp/p′∣u(x)∣p/p′dx ∫Ω∣u(x)∣∥u∥pp−1∣u(x)∣p−1dx ∥u∥pp−11∫Ω∣u(x)∣pdx ∥u∥pp−11∥u∥pp ∥u∥p
従って、
sup{∫Ω∣u(x)∣v(x)dx:v(x)≥0 on Ω,∥v∥p′≤1}=∥u∥p<∞
(⟸)
対偶法で証明する。つまり、次のようなものを示す。
∥u∥p=∞⟹sup{∫Ω∣u(x)∣v(x)dx:v(x)≥0 on Ω,∥v∥p′≤1}=∞
∥u∥p=∞と仮定する。すると、Ω上で0≤sj(x)≤∣u(x)∣を満たすいくつかの単純関数 sjからなる増加数列 {sj}を考えることができる。するとj→∞lim∥sj∥p=∞を満たす。今、vj=(∥sj∥p∣sj∣)p/p′としよう。するとvj≥0であり、以下のように∥vj∥p′=1を満たす。
∥vj∥p′p′=== ∫Ω(∥sj∥p∣sj∣)pdx ∥sj∥pp1∫Ω∣sj∣pdx 1
また、p/p′=ppp−1=p−1であるため、次の式が成立する。
∫Ωsj(x)vj(x)dx=∥sj∥pp−11∫Ω∣sj(x)∣pdx=∥sj∥p
すると、次も成立する。
∫Ω∣u(x)∣vj(x)dx≥∫Ωsj(x)vj(x)dx=∥sj∥p
だから、j→∞lim∥sj∥p=∞であるから、
sup{∫Ω∣u(x)∣v(x)dx:v(x)≥0 on Ω,∥v∥p′≤1}=∞
■