logo

Lp 공간의 임베딩 정리 📂르벡공간

Lp 공간의 임베딩 정리

정리1

ΩRn\Omega \subset \mathbb{R}^{n}열린 집합이고, vol(Ω)=Ω1dx<\text{vol}(\Omega) = \int_{\Omega} 1 dx \lt \infty라고 하자.

(a) 1pq1 \le p \le q \le \infty에 대해서, 만약 uLq(Ω)u \in L^{q}(\Omega)이면, uLp(Ω)u \in L^{p}(\Omega) 이고

up(vol(Ω))1p1quq \begin{equation} \left\| u \right\|_{p} \le \left( \text{vol}(\Omega) \right)^{\frac{1}{p} - \frac{1}{q}} \left\| u \right\|_{q} \end{equation}

그리고 LqL^{q}LpL^{p}임베딩된다.

Lq(Ω)Lp(Ω) \begin{equation} L^{q}(\Omega) \to L^{p}(\Omega) \end{equation}

(b) 1pq1 \le p \le q \le \infty에 대해서, 만약 uL(Ω)u \in L^{\infty}(\Omega)이면,

limpup=u \begin{equation} \lim \limits_{p \to \infty} \left\| u \right\|_{p} = \left\| u \right\|_{\infty} \end{equation}

(c) 모든 1p<1 \le p \lt \infty에 대해서, uLp(Ω)u \in L^{p}(\Omega)이고 upK\left\| u \right\|_{p} \le KKK가 존재하면,

uL(Ω)anduK \begin{equation} u \in L^{\infty}(\Omega) \quad \text{and} \quad \left\| u \right\|_{\infty} \le K \end{equation}

설명

(a) 1pq1 \le p \le q일 때, 일반적으로 LpL^{p} 공간과 LqL^{q} 공간 사이에 포함 관계는 없다. 다만 도메인의 볼륨이 유한한 상황에서는 LqLpL^{q} \subset L^{p}가 성립한다.

(b) 위 내용은 q=q = \infty일 때도 성립하므로, uLu \in L^{\infty}이면 모든 1p<1 \le p \lt \infty에 대해서 uLpu \in L^{p}이고 p\left\| \cdot \right\| _{p}의 극한이 \left\| \cdot \right\|_{\infty}으로 수렴한다.

(c) 가정에서 상수 KK는 모든 pp에 대해서 각각 존재한다는 의미가 아니라, 하나의 KK가 모든 pp에 대해서 upK\left\| u \right\|_{p} \le K를 만족한다는 의미이다. (a)와 (b)에 의해 pp가 커질수록 작은 공간이 되므로 L(Ω)=1p<Lp(Ω){L^{\infty}(\Omega) = \bigcap\limits_{1 \le p \lt \infty} L^{p}(\Omega)}와 같이 생각할 수 있다.

증명

(a)

만약 p=qp = q이거나 q=q = \infty이면 (1)(1)(2)(2)가 성립함은 자명하다. 따라서 1p<q<1 \le p \lt q \lt \infty이고 uLq(Ω)u \in L^{q}(\Omega)라고 가정하자.

보조정리: 일반화된 횔더 부등식

만약 세 상수 α>0,β>0,γ>0\alpha \gt 0, \beta \gt 0, \gamma \gt 01α+1β=1γ\dfrac{1}{\alpha} + \dfrac{1}{\beta} = \dfrac{1}{\gamma}을 만족하고 fLα(Ω),gLβ(Ω)f \in {L}^{\alpha}(\Omega), g \in {L}^{\beta}(\Omega)이면 fgLγ(Ω)fg \in L^{\gamma}(\Omega)이고 아래의 부등식이 성립한다.

fgγ=(Ωf(x)g(x)γdx)1/γfαgβ \| fg \|_{\gamma} = \left( \int_{\Omega} |f(x)g(x)|^{\gamma} dx \right)^{1 / \gamma} \le \| f \|_{\alpha} \| g \|_{\beta}

위의 보조정리에 α=q,β=1p1q,γ=p\alpha = q, \beta = \dfrac{1}{p}-\dfrac{1}{q}, \gamma = pf=uf = u, g=1g = 1을 대입하면, uLq(Ω),1L1p1q(Ω)u \in L^{q}(\Omega), 1 \in L^{\frac{1}{p}-\frac{1}{q}}(\Omega)이므로,

(Ωu(x)1pdx)1/puq11p1q    up(Ω1dx)1p1quq= (vol(Ω))1p1quq \begin{align*} && \left( \int_{\Omega} \left| u(x) \cdot 1 \right|^{p} dx \right)^{1 / p} \le& \left\| u \right\|_{q} \left\| 1 \right\|_{\frac{1}{p} - \frac{1}{q}} \\ \implies && \left\| u \right\|_{p} \le& \left( \int_{\Omega} 1 dx \right)^{\frac{1}{p} - \frac{1}{q}} \left\| u \right\|_{q} \\ && =&\ \left( \text{vol}(\Omega) \right)^{\frac{1}{p} - \frac{1}{q}} \left\| u \right\|_{q} \end{align*}

따라서 uLp(Ω)u \in L^{p}(\Omega)가 성립한다.

임베딩

  • XXYY부분공간이다.
  • M>0 such that IxYMxX,xX\exists M \gt 0 \text{ such that } \left\| Ix \right\|_{{Y}} \le M \left\| x \right\|_{X},\quad x \in X

또한 M=(vol(Ω))1p1qM = \left( \text{vol}(\Omega) \right)^{\frac{1}{p} - \frac{1}{q}}이라고 하면

upMuq \left\| u \right\|_{p} \le M \left\| u \right\|_{q}

이므로, 임베딩의 정의에 의해 Lq(Ω)Lp(Ω)L^{q}(\Omega) \to L^{p}(\Omega)가 임베딩이 됨을 알 수 있다.

(b)

(a) 의 결과로부터 다음이 성립한다.

lim suppupu \limsup _{p \to \infty} \left\| u \right\|_{p} \le \left\| u \right\|_{\infty}

한편, 임의의 ϵ>0\epsilon \gt 0에 대해서, 다음의 조건을 만족시키는 양수인 측도 μ(A)\mu (A)를 가지는 집합 AΩA \subset \Omega가 존재한다.

u(x)uϵ,if xA \left| u(x) \right| \ge \left\| u \right\|_{\infty} - \epsilon,\quad \text{if } x \in A

만약 이러한 AA가 존재하지 않으면, u\left\| u \right\|_{\infty}\left\| \cdot \right\|_{\infty}의 정의를 만족시키지 못하므로 AA의 존재성이 보장된다. 따라서 다음의 식이 성립한다.

Ωu(x)pdxAu(x)pdxA(uϵ)pdxμ(A)(uϵ)p \int_{\Omega} \left| u(x) \right|^{p} dx \ge \int_{A} \left| u(x) \right|^{p} dx \ge \int_{A} \left( \left\| u \right\|_{\infty} - \epsilon \right)^{p} dx \ge \mu (A) \left( \left\| u \right\|_{\infty} - \epsilon \right)^{p}

따라서 다음을 얻는다.

up(μ(A))1/p(uϵ) \left\| u \right\|_{p} \ge \left( \mu (A) \right)^{1/p} \left( \left\| u \right\|_{\infty} - \epsilon \right)

이는 모든 ϵ\epsilon과 그에 따른 임의의 AA에 대해서 성립해야 하므로

lim infpupu \liminf \limits_{p \to \infty} \left\| u \right\|_{p} \ge \left\| u \right\|_{\infty}

따라서

lim infpuplim suppupulim infpuplim suppup \liminf \limits_{p \to \infty} \left\| u \right\|_{p} \le \limsup _{p \to \infty} \left\| u \right\|_{p} \le \left\| u \right\|_{\infty} \le \liminf \limits_{p \to \infty} \left\| u \right\|_{p} \le \limsup _{p \to \infty} \left\| u \right\|_{p}

    lim infpup=u=lim suppup \implies \liminf _{p \to \infty} \left\| u \right\|_{p} = \left\| u \right\|_{\infty} = \limsup \limits_{p \to \infty} \left\| u \right\|_{p}

    limpup=u \implies \lim \limits_{p \to \infty} \left\| u \right\|_{p} = \left\| u \right\|_{\infty}

(c)

모든 1p<1 \le p \lt \infty에 대해서, upK\left\| u \right\|_{p} \le KKK가 존재한다고 하자. 그리고 uL(Ω)u \in L^{\infty}(\Omega)uK\left\| u \right\|_{\infty} \le K 둘 중 하나라도 성립하지 않는다고 가정해보자. 그러면 \left\| \cdot \right\|_{\infty}의 정의에 따라, 다음을 만족하는 상수 K1K_{1}과 집합 AΩA \subset \Omega를 찾을 수 있다.

K1>Kandμ(A)>0andu(x)>K1 for xA K_{1} \gt K \quad \text{and} \quad \mu (A) \gt 0 \quad \text{and} \quad \left| u(x) \right| \gt K_{1} \text{ for } x \in A

그러면 (b)의 증명에서와 같이 다음이 성립한다.

lim infpupK1>K \liminf \limits_{p \to \infty} \left\| u \right\|_{p} \ge K_{1} \gt K

이는 모든 pp에 대해서 upK\left\| u \right\|_{p} \le K라는 가정에 모순이다. 따라서

uL(Ω)anduK u \in L^{\infty}(\Omega) \quad \text{and} \quad \left\| u \right\|_{\infty} \le K


  1. Robert A. Adams and John J. F. Foutnier, Sobolev Space (2nd Edition, 2003), p28-29 ↩︎