Lp 공간의 임베딩 정리
📂르벡공간Lp 공간의 임베딩 정리
정리
Ω⊂Rn이 열린 집합이고, vol(Ω)=∫Ω1dx<∞라고 하자.
(a) 1≤p≤q≤∞에 대해서, 만약 u∈Lq(Ω)이면, u∈Lp(Ω) 이고
∥u∥p≤(vol(Ω))p1−q1∥u∥q
그리고 Lq는 Lp로 임베딩된다.
Lq(Ω)→Lp(Ω)
(b) 1≤p≤q≤∞에 대해서, 만약 u∈L∞(Ω)이면,
p→∞lim∥u∥p=∥u∥∞
(c) 모든 1≤p<∞에 대해서, u∈Lp(Ω)이고 ∥u∥p≤K인 K가 존재하면,
u∈L∞(Ω)and∥u∥∞≤K
설명
(a) 1≤p≤q일 때, 일반적으로 Lp 공간과 Lq 공간 사이에 포함 관계는 없다. 다만 도메인의 볼륨이 유한한 상황에서는 Lq⊂Lp가 성립한다.
(b) 위 내용은 q=∞일 때도 성립하므로, u∈L∞이면 모든 1≤p<∞에 대해서 u∈Lp이고 ∥⋅∥p의 극한이 ∥⋅∥∞으로 수렴한다.
(c) 가정에서 상수 K는 모든 p에 대해서 각각 존재한다는 의미가 아니라, 하나의 K가 모든 p에 대해서 ∥u∥p≤K를 만족한다는 의미이다. (a)와 (b)에 의해 p가 커질수록 작은 공간이 되므로 L∞(Ω)=1≤p<∞⋂Lp(Ω)와 같이 생각할 수 있다.
증명
(a)
만약 p=q이거나 q=∞이면 (1)과 (2)가 성립함은 자명하다. 따라서 1≤p<q<∞이고 u∈Lq(Ω)라고 가정하자.
보조정리: 일반화된 횔더 부등식
만약 세 상수 α>0,β>0,γ>0가 α1+β1=γ1을 만족하고 f∈Lα(Ω),g∈Lβ(Ω)이면 fg∈Lγ(Ω)이고 아래의 부등식이 성립한다.
∥fg∥γ=(∫Ω∣f(x)g(x)∣γdx)1/γ≤∥f∥α∥g∥β
위의 보조정리에 α=q,β=p1−q1,γ=p와 f=u, g=1을 대입하면, u∈Lq(Ω),1∈Lp1−q1(Ω)이므로,
⟹(∫Ω∣u(x)⋅1∣pdx)1/p≤∥u∥p≤=∥u∥q∥1∥p1−q1(∫Ω1dx)p1−q1∥u∥q (vol(Ω))p1−q1∥u∥q
따라서 u∈Lp(Ω)가 성립한다.
임베딩
- X가 Y의 부분공간이다.
- ∃M>0 such that ∥Ix∥Y≤M∥x∥X,x∈X
또한 M=(vol(Ω))p1−q1이라고 하면
∥u∥p≤M∥u∥q
이므로, 임베딩의 정의에 의해 Lq(Ω)→Lp(Ω)가 임베딩이 됨을 알 수 있다.
■
(b)
(a) 의 결과로부터 다음이 성립한다.
p→∞limsup∥u∥p≤∥u∥∞
한편, 임의의 ϵ>0에 대해서, 다음의 조건을 만족시키는 양수인 측도 μ(A)를 가지는 집합 A⊂Ω가 존재한다.
∣u(x)∣≥∥u∥∞−ϵ,if x∈A
만약 이러한 A가 존재하지 않으면, ∥u∥∞는 ∥⋅∥∞의 정의를 만족시키지 못하므로 A의 존재성이 보장된다. 따라서 다음의 식이 성립한다.
∫Ω∣u(x)∣pdx≥∫A∣u(x)∣pdx≥∫A(∥u∥∞−ϵ)pdx≥μ(A)(∥u∥∞−ϵ)p
따라서 다음을 얻는다.
∥u∥p≥(μ(A))1/p(∥u∥∞−ϵ)
이는 모든 ϵ과 그에 따른 임의의 A에 대해서 성립해야 하므로
p→∞liminf∥u∥p≥∥u∥∞
따라서
p→∞liminf∥u∥p≤p→∞limsup∥u∥p≤∥u∥∞≤p→∞liminf∥u∥p≤p→∞limsup∥u∥p
⟹p→∞liminf∥u∥p=∥u∥∞=p→∞limsup∥u∥p
⟹p→∞lim∥u∥p=∥u∥∞
■
(c)
모든 1≤p<∞에 대해서, ∥u∥p≤K인 K가 존재한다고 하자. 그리고 u∈L∞(Ω)와 ∥u∥∞≤K 둘 중 하나라도 성립하지 않는다고 가정해보자. 그러면 ∥⋅∥∞의 정의에 따라, 다음을 만족하는 상수 K1과 집합 A⊂Ω를 찾을 수 있다.
K1>Kandμ(A)>0and∣u(x)∣>K1 for x∈A
그러면 (b)의 증명에서와 같이 다음이 성립한다.
p→∞liminf∥u∥p≥K1>K
이는 모든 p에 대해서 ∥u∥p≤K라는 가정에 모순이다. 따라서
u∈L∞(Ω)and∥u∥∞≤K
■