반응형

[측도론] 8-1 푸리에 해석의 기초



여기서는 Rn상에서 이론이 전개될 것이고 n은 차원이다. 또한 여기서의 측도는 르베그 측도이다. 따라서 ERn에서 가측집합이면, Lp(E,m)Lp(E)로 나타낸다. 

URn에서 열린집합이고 kN일 때, k계 이하의 편도함수들이 모두 존재하고 연속인 U상의 모든 함수들의 공간을 C(k)(U)로 나타내고 C()(U)=n=1C(n)(U)라고 한다. 임의의 ERn에 대하여 C()c(E)를 받침이 컴팩트이고 E에 포함되는 Rn상의 C()함수들의 공간이라고 한다. E=Rn 또는 U=Rn이면 간단히 Lp=Lp(Rn), C(k)=C(k)(Rn), C()c=C()c(Rn)으로 나타낸다. 

x,yRn일 때 xy|x|를 다음과 같이 정의하고xy=ni=1xiyi,|x|=xx

편의를 위해 편도함수 기호를 다음과 같이 나타낸다.i=xi
고계도함수일 경우는 다중지표(multi index
)를 이용하여 나타내는데 다중지표는 n개의 음이 아닌 정수들의 순서쌍이다. α=(α1,...,αn)가 다중지표일 때,|α|=ni=1αi,α!=ni=1αi!,α=(x1)α1(xn)αn(=α1xα11αnxαnn)
으로 설정하고 x=(x1,...,xn)Rn일 때 다음과 같이 xα를 설정한다.xα=ni=1xαii
따라서 fC(k)에 대한 테일러공식은 다음과 같이 나타낼 수 있고,f(x)=|α|k(αf)(x0)(xx0)αα!+Rk(x)(limxx0|Rk(x)||xx0|k=0)
예를들어 fC(2)에 대해 다음과 같이 나타낼 수 있다.f(x)=|α|2(αf)(x0)(xx0)αα!+R2(x)=f(a,b)+(xa)fx(a,b)+(yb)fy(a,b)+12!{(xa)2fxx(a,b)+2(xa)(yb)fxy(a,b)+(yb)2fyy(a,b)}+
도함수에 대한 곱의 법칙은 다음과 같이 나타낼 수 있다.α(fg)=β+γ=αα!β!γ!(βf)(γg)
xα는 임의의 점 x에서 함숫값이 xα인 함수를 나타내는데 이용한다. 
 

Rn상의 두 C()함수들의 공간이 중요하다. 그 중 하나는 컴팩트 받침을 갖는 C()함수들의 공간 C()c이다. C()c에서 0이 아닌 함수의 존재성은 분명하지 않다. 함수 η(t)=e1tχ(0,)(t)에 대해 η(k)(t)=Pk(1t)e1t(P2k2k차 다항식)이고 ηC()이나 모든 nN에 대해 η(n)(0)=0이다.  

ψ(x)=η(1|x|2)라고 하면 |x|<1일 때 ψ(x)=e1|x|21, |x|1일 때 ψ(x)=0이므로 ψC()이고 supp(ψ)는 닫힌 단위공이다.  

다른 하나는 무한대에서 자기 자신과 모든 도함수들이 |x|의 임의의 제곱(멱)보다 빠르게 소멸하는 C()함수들로 구성된 슈바르츠 공간(Schwartz space) S이다.  

임의의 음이 아닌 정수 N과 다중지표 α에 대해f(N,α)=supxRn(1+|x|)N|αf(x)|

라고 하면S={fC()|f(N,α)for allN,α}
이다. fα(x)=xαe|x|2S(α는 다중지표)이고 C()cS이다. fS이면 모든 다중지표 αp[1,]에 대하여 αfLp이다. 2.49에 의해 모든 N에 대하여 |αf(x)|CN(1+|x|)N이고 모든 N>np에 대해 (1+|x|)NLp이다.    


8.1 fC()이면, fS모든 다중지표 α,β에 대해 xβαf가 유계 모든 다중지표 α,β에 대해 α(xβf)가 유계이다.

증명: |β|N에 대하여 |x|β(1+|x|)N이고, 단위구 |x|=1에서 Ni=1|xi|N은 양의 값을 가지며 양의 최솟값 δ를 갖는다. 그러면 모든 x에 대하여 ni=1|xi|Nδ|x|N이고 양변이 N차동차이므로(1+|x|)N2N(1+|x|N)2N{1+1δNi=1|xNi|}2Nδ|β|N|xβ|

이고 첫 번째 동치조건이 성립한다. 두 번째 동치조건은 다음의 두 등식으로부터 성립한다.xγδf=δ(xγf)+caba(xbf)δ(xγf)=xγδf+cabxbaf
(|γ||α|,|δ||β|일 때 cab=cab=0)


fRn에서의 함수이고 yRn일 때 τyf(x)=f(xy)라고 하자. 그러면 1p에 대하여 τyfp=fp이고 τyfu=fu이다. 여기서 f가 균등연속(uniformly continuous)이라는 것은 y0일 때 τyffu0인 것이다.   


8.2 fCc(Rn)이면, f는 균등연속이다.  

증명: ϵ>0xsupp(f)에 대해 δx>0가 존재해서 |y|<δx일 때 |f(xy)f(x)|<12ϵ이다. supp(f)가 컴팩트이므로 x1,...,xN이 존재해서 각 xi를 중심으로 하고 반지름이 12δxi인 공들이 supp(f)를 덮는다. δ=12min{δxi}라고 하면 |y|<δ일 때 τy(f)fu<ϵ이다.  


8.3 1p<이면, 평행이동은 Lp노름에서 연속이다. 즉, fLp이고 zRn이면, limy0τy+zfτzfp=0이다.  

증명: τy+z=τyτz이므로 fτzf로 바꿈으로써 z=0이라고 할 수 있다. gCc이면, |y|1에 대해 τyg들의 받침은 컴팩트집합 K에 속하고 8.2에 의해 y0일 때 다음이 성립한다.Rn|τygg|pdmτyggpum(K)0

fLp라 하자. ϵ>0이면 7.7에 의해 gCc(X)가 존재해서 gfp<ϵ3이므로τyffpτy(fg)p+τyggp+gfp<23ϵ+τyggp
이고 y가 충분히 작을 때 τyggp<ϵ3이다.    


8.3은 p=일 때 거짓이다.  


참고자료: 

Real Analysis: Modern Techniques and Their Applications Second edition, Folland, Wiley  

반응형
Posted by skywalker222