logo

ヘルダーの不等式の逆:Lp関数の十分条件 📂ルベーグ空間

ヘルダーの不等式の逆:Lp関数の十分条件

概要1

ΩRn\Omega \subset \mathbb{R}^{n}開集合だとしよう。可測関数uuLpL^{p}空間に含まれるための必要十分条件は、

sup{Ωu(x)v(x)dx:v(x)0 on Ω,vp1}< \sup \left\{ \int_{\Omega} \left| u(x) \right| v(x) dx : v(x) \ge 0 \text{ on } \Omega, \left\| v \right\|_{p^{\prime}} \le 1 \right\} \lt \infty

である。また、上のスプレムはup\left\| u \right\|_{p}となる。ここで、p=pp1p^{\prime} = \dfrac{p}{p-1}ヘルダー共役である。

説明

1<p<1 \lt p \lt \inftyで、vLpv \in L^{p^{\prime}}とする。すると、ヘルダーの不等式uLpu \in L^{p}ならばuvL1uv \in L^{1}であることを教えてくれる。

uLp(Ω)    Ωu(x)v(x)dxupvp u\in L^{p}(\Omega) \implies \int_{\Omega} \left| u(x) v(x) \right| dx \le \left\| u \right\|_{p} \left\| v \right\|_{p^{\prime}}

逆に、この定理はuvL1uv \in L^{1}ならばuLpu \in L^{p}であることを意味している。

uLp(Ω)    sup{Ωu(x)v(x)dx:v(x)0 on Ω,vp1}< u\in L^{p}(\Omega) \impliedby \sup \left\{ \int_{\Omega} \left| u(x) \right| v(x) dx : v(x) \ge 0 \text{ on } \Omega, \left\| v \right\|_{p^{\prime}} \le 1 \right\} \lt \infty

証明

uLp(Ω)    sup{Ωu(x)v(x)dx:v(x)0 on Ω,vp1}< u \in L^{p}(\Omega) \iff \sup \left\{ \int_{\Omega} \left| u(x) \right| v(x) dx : v(x) \ge 0 \text{ on } \Omega, \left\| v \right\|_{p^{\prime}} \le 1 \right\} \lt \infty

  • (    )(\implies)

    up=0\left\| u \right\|_{p} = 0の場合は自明である。0<up<0 \lt \left\| u \right\|_{p} \lt \inftyとする。0v0 \le vであり、vq1\left\| v \right\|_{q} \le 1vLpv \in L^{p^{\prime}}に対してヘルダーの不等式を適用すると、

    Ωu(x)v(x)dxupvpup< \int_{\Omega} \left| u(x) \right| v(x) dx \le \left\| u \right\|_{p} \left\| v \right\|_{p^{\prime}} \le \left\| u \right\|_{p} \lt \infty

    また、v=(uup)p/pv = \left( \dfrac{ \left| u \right| }{ \left\| u \right\|_{p} } \right)^{p/p^{\prime}}と置くとvp=1\left\| v \right\|_{p^{\prime}} = 1であり、等号が成立する。p/p=pp1p=p1p/p^{\prime} = p \dfrac{p-1}{p} = p-1であるため、

    Ωu(x)v(x)dx= Ωu(x)u(x)p/pupp/pdx= Ωu(x)u(x)p1upp1dx= 1upp1Ωu(x)pdx= 1upp1upp= up \begin{align*} \int_{\Omega} \left| u(x) \right| v(x) dx =&\ \int_{\Omega} \left| u(x) \right| \dfrac{ \left| u(x) \right|^{p/p^{\prime}} }{ \left\| u \right\|_{p}^{p/p^{\prime}} } dx \\ =&\ \int_{\Omega} \left| u(x) \right| \dfrac{ \left| u(x) \right|^{p-1} }{ \left\| u \right\|_{p}^{p-1} } dx \\ =&\ \dfrac{1}{ \left\| u \right\|_{p}^{p-1} } \int_{\Omega} \left| u(x) \right|^{p} dx \\ =&\ \dfrac{1}{ \left\| u \right\|_{p}^{p-1} } \left\| u \right\|_{p}^{p} \\ =&\ \left\| u \right\|_{p} \end{align*}

    従って、

    sup{Ωu(x)v(x)dx:v(x)0 on Ω,vp1}=up< \sup \left\{ \int_{\Omega} \left| u(x) \right| v(x) dx : v(x) \ge 0 \text{ on } \Omega, \left\| v \right\|_{p^{\prime}} \le 1 \right\} = \left\| u \right\|_{p} \lt \infty

  • (    )(\impliedby)

    対偶法で証明する。つまり、次のようなものを示す。

    up=    sup{Ωu(x)v(x)dx:v(x)0 on Ω,vp1}= \left\| u \right\|_{p} = \infty \implies \sup \left\{ \int_{\Omega} \left| u(x) \right| v(x) dx : v(x) \ge 0 \text{ on } \Omega, \left\| v \right\|_{p^{\prime}} \le 1 \right\} = \infty


    up=\left\| u \right\|_{p} = \inftyと仮定する。すると、Ω\Omega上で0sj(x)u(x)0 \le s_{j}(x) \le \left| u(x) \right|を満たすいくつかの単純関数 sjs_{j}からなる増加数列 {sj}\left\{ s_{j} \right\}を考えることができる。するとlimjsjp=\lim \limits_{j \to \infty} \left\| s_{j} \right\|_{p} = \inftyを満たす。今、vj=(sjsjp)p/pv_{j} = \left( \dfrac{ \left| s_{j} \right| }{ \left\| s_{j} \right\|_{p} } \right)^{p/p^{\prime}}としよう。するとvj0v_{j} \ge 0であり、以下のようにvjp=1\left\| v_{j} \right\|_{p^{\prime}} = 1を満たす。

    vjpp= Ω(sjsjp)pdx= 1sjppΩsjpdx= 1 \begin{align*} \left\| v_{j} \right\|_{p^{\prime}}^{p^{\prime}} =&\ \int_{\Omega} \left( \dfrac{ \left| s_{j} \right| }{ \left\| s_{j} \right\|_{p} } \right)^{p} dx \\ =&\ \dfrac{1}{ \left\| s_{j} \right\|_{p}^{p} } \int_{\Omega} \left| s_{j} \right|^{p} dx \\ =&\ 1 \end{align*}

    また、p/p=pp1p=p1p/p^{\prime} = p \dfrac{p-1}{p} = p-1であるため、次の式が成立する。

    Ωsj(x)vj(x)dx=1sjpp1Ωsj(x)pdx=sjp \int_{\Omega} s_{j}(x) v_{j}(x) dx = \dfrac{1}{\left\| s_{j} \right\|_{p}^{p-1}}\int_{\Omega} \left| s_{j}(x) \right|^{p} dx = \left\| s_{j} \right\|_{p}

    すると、次も成立する。

    Ωu(x)vj(x)dxΩsj(x)vj(x)dx=sjp \int_{\Omega} \left| u(x) \right| v_{j}(x) dx \ge \int_{\Omega} s_{j}(x) v_{j}(x) dx = \left\| s_{j} \right\|_{p}

    だから、limjsjp=\lim \limits_{j \to \infty} \left\| s_{j} \right\|_{p} = \inftyであるから、

    sup{Ωu(x)v(x)dx:v(x)0 on Ω,vp1}= \sup \left\{ \int_{\Omega} \left| u(x) \right| v(x) dx : v(x) \ge 0 \text{ on } \Omega, \left\| v \right\|_{p^{\prime}} \le 1 \right\} = \infty


  1. Robert A. Adams and John J. F. Foutnier, ソボレフ空間 (第2版、2003年), p25 ↩︎