logo

ルベーグ空間におけるコーシー・シュワルツの不等式 📂ルベーグ空間

ルベーグ空間におけるコーシー・シュワルツの不等式

概要1

f,gL2(E)f,g \in L^{2} (E) の場合 fgL1(E)fg \in L^{1}(E) が成り立ち、以下が当てはまる。

Efgdmfg1f2g2 \left| \int_{E} f \overline{g} dm \right| \le \left\| f g \right\|_{1} \le \left\| f \right\|_{2} \left\| g \right\|_{2}

ここで、2\| \cdot \|_{2}L2L^{2}空間のノルム、1\| \cdot \|_{1}L1L^{1}空間のノルムだ。

説明

関数解析を学んでいるなら、この不等式がなぜコーシー・シュヴァルツと呼ばれているかすぐに理解できるはずだ。実際、内積が定義されている場所であれば、コーシー・シュヴァルツの不等式をどこでも見つけることができる。ヘルダーの不等式へと一般化することができる。

証明

EfgdmEfgdmEf+g2dm< \int_{E} fg dm \le \int_{E} |fg| dm \le \int_{E} | f + g |^2 dm < \infty

従って、fgL1fg \in L^{1}。一方、(xy)20\displaystyle (x - y)^2 \ge 0から以下のことが得られる。

xy12(x2+y2) xy \le \dfrac{1}{2} \left( x^2 + y^2 \right)

  • ケース1. f2=0\left\| f \right\|_{2} = 0 または g2=0\left\| g \right\|_{2} = 0の場合

    ほぼどこでもf=0f = 0か部分的にg=0g = 0なので、ほぼどこでもfg=0f\overline{g} = 0。従って、Efgdm=fg1=0\displaystyle \left| \int_{E} f \overline{g} dm \right| = \left\| fg \right\|_{1} = 0であり、f2g2=0\left\| f \right\|_{2} \left\| g \right\|_{2} = 0であるから、不等式を満たす。

  • ケース2. f2=g2=1\left\| f \right\|_{2} = \left\| g \right\|_{2} = 1の場合

    EfgdmEfgdm=fg112(1+1)=1=f2g2 \left| \int_{E} f \overline{g} dm \right| \le \int_{E} \left| f \overline{g} \right| dm = \left\| fg \right\|_{1} \le {{1} \over {2}} (1 + 1) = 1 = \left\| f \right\|_{2} \left\| g \right\|_{2}

    従って、不等式を満たす。

  • ケース3. その他のケース

    正規化された関数f^:=ff2\displaystyle \hat{ f } : = {{f} \over {\left\| f \right\|_{2}}}g^:=gg2\displaystyle \hat{ g } : = {{g} \over {\left\| g \right\|_{2}}}を新たに定義しよう。そうするとケース2より

    Ef^g^dmf^g^1f^2g^2 \left| \int_{E} \hat{f} \overline{\hat{g} } dm \right| \le \left\| \hat{f} \hat{g} \right\|_{1} \le \left\| \hat{f} \right\|_{2} \left\| \hat{g} \right\|_{2}

    展開すると

    Eff2gg2dmff2gg21ff22gg22 \left| \int_{E} {{f} \over {\left\| f \right\|_{2}}} \overline{{{g} \over {\left\| g \right\|_{2}}} } dm \right| \le \left\| {{f} \over { \left\| f \right\|_{2}}} {{g} \over {\left\| g \right\|_{2}}} \right\|_{1} \le \left\| {{f} \over {\left\| f \right\|_{2}}} \right\|_{2} \left\| {{g} \over {\left\| g \right\|_{2}}} \right\|_{2}

    スカラーf2,g2(0,)\left\| f \right\|_{2} , \left\| g \right\|_{2} \in (0, \infty)を整理すると

    Efgdmfg1f2g2 \left| \int_{E} f \overline{g} dm \right| \le \left\| f g \right\|_{1} \le \left\| f \right\|_{2} \left\| g \right\|_{2}

    を得る。

関連項目


  1. Capinski. (1999). Measure, Integral and Probability: p132. ↩︎