L infinity 공간

L infinity 공간

정의1

설명

$L^{\infty}$ 공간은 L infinity space라 읽는다.

‘거의 어디에서나 유계’라는 말은 ‘솔직히 유계임’, ‘까놓고 말해서 유계임’과 같으므로 ‘본질적으로 유계’라고 하는데 무리가 없다. 특히나 $L^{p}$ 공간에서는 적분으로 말하기 때문에 거의 어디에서나 유계이면 말 그대로 본질적으로 유계인 것이다.

한편 $L^{\infty}$ 공간은 놈 공간이 되는데, 위에서 정의한 에센셜 슈프리멈을 그대로 쓰면 된다.

$$ \left\| u \right\|_{\infty} = \underset{x\in \Omega}{\text{ess sup}}\left| u(x) \right|, \quad u \in L^{\infty}(\Omega) $$

이게 실제로 놈이 됨을 확인하는 것은 어렵지 않다. 중요한 사실은 표기법에서 예상할 수 있듯이 이것이 실제로 $\left\| u \right\|_{p}$의 극한과 같다는 것이다. $p \lt \infty$에 대해서 $u \in L^{\infty} \cap L^{p}$이면

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

또한 $1 \lt p, p^{\prime} \lt \infty$에서 성립했던 횔더 부등식이의 따름정리들이 $p = 1, p^{\prime} = \infty$와 $p = \infty, p^{\prime} = 1$에 대해서도 성립하도록 확장된다.


횔더 부등식

다음의 식을 만족시키는 두 상수 $1 \le p \le \infty, 1 \le p^{\prime} \le \infty$가 주어졌다고 하자.

$$ \dfrac{1}{p}+\dfrac{1}{p^{\prime}} = 1 \left(\text{or } p^{\prime} = \frac{p}{p-1} \right) $$

만약 $u \in L^p(\Omega)$, $v\in L^{p^{\prime}}(\Omega)$이면 $uv \in L^1(\Omega)$이고 아래의 부등식이 성립한다.

$$ \| uv \|_{1} = \int_{\Omega} |u(x)v(x)| dx \le \| u \|_{p} \| v \|_{p^{\prime}} $$


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

댓글