[편미분방정식] 7. 푸리에 계수
다음의 급수를 구간 (0,l)에서 푸리에 사인급수(Fourier sine series)라고 한다.ϕ(x)=∞∑n=1Ansinnπxl
이 급수에서 계수 An을 구해야 한다. 이 계수를 구하는 데에 다음의 공식을 이용한다.∫l0sinnπxlsinmπxldx=0(m≠n)
이 공식은 다음의 삼각함수 공식sinasinb=12cos(a−b)−12cos(a+b)
으로부터 다음과 같은 결과에 의해 얻어진다.∫l0sinnπxlsinmπxldx=∫l0{12cos(n−m)πxl−12cos(m+n)πl}dx=[l2(m−n)πsin(m−n)πxl−l2(m+n)πsin(m−n)πxl]l0=0
An을 구하기 위해 ϕ(x)에 sinmπxl을 곱하고 구간 (0,l)에서 적분하면∫l0ϕ(x)sinmπxldx=∫l0(∞∑n=1Ansinnπxlsinmπxl)dx=∞∑n=1An∫l0sinnπxlsinmπxldx=Am∫l0sin2nπxldx=12lAm
이므로 Am은 다음과 같다.Am=2l∫l0ϕ(x)sinmπxldx
이 공식을 푸리에 계수(Fourier coefficient)라고 한다.
다음의 급수를 구간 (0,l)에서 푸리에 코사인급수(Fourier cosine series)라고 한다.ϕ(x)=12A0+∞∑n=1Ancosnπxl
사인함수와 마찬가지로 다음의 등식이 성립한다.∫l0cosnπxlcosmπxldx=0(m≠n)
푸리에 사인급수와 같은 방법으로∫l0ϕ(x)cosmπxldx=Am∫l0cos2mπxldx=12lAm
이다. m=0일 때∫l0ϕ(x)dx=12A0∫l012dx=12lA0
이므로 Am은 다음과 같다.Am=2l∫l0ϕ(x)cosmπxldx
구간 (−l,l)에서 ϕ(x)의 전체 푸리에 급수(간단히 푸리에 급수(Fourier series)라고 한다)는 다음과 같이 정의된다.ϕ(x)=12A0+∞∑n=1(Ancosnπxl+Bnsinnπxl)
여기서 고유함수들은 다음과 같고{1,cosnπxl,sinnπxl},n∈N
다음의 공식들에 의해∫l−lcosnπxlsinmπxldx=0(m,n∈N)∫l−lcosnπxlcosmπxldx=0(n≠m)∫l−lsinnπxlsinmπxldx=0(n≠m)∫l−l1⋅cosnπxldx=0=∫l−l1⋅sinmπxldx∫l−lcos2nπxldx=l=∫l−lsin2nπxldx,∫l−l12dx=2l
An과 Bn은 다음과 같다.An=1l∫l−lϕ(x)cosnπxldx(n∈N∪{0})Bn=1l∫l−lϕ(x)sinnπxldx(n∈N)
주의할 점은 이 계수들이 푸리에 사인, 코사인 급수의 계수와 다르다는 점이다.
함수 ϕ(x)=x에 대하여 푸리에 사인급수와 그 계수는 다음과 같고x=2lπ(sinπxl−12sin2πxl+13sin3πxl−⋯),Am=(−1)m+12lmπ
푸리에 코사인급수와 그 계수는 다음과 같다.x=l2−4lπ2(cosπxl+19cos3πxl+125cos5πxl+⋯),Am={−4lm2π2(m:odd)0(m:even)
ϕ(x)=x에 대한 푸리에 계수는 다음과 같고, 푸리에 사인, 코사인 급수의 계수와 다르다는 것을 알 수 있다.A0=0,Am=0,Bm=(−1)m+12lmπ
다음의 파동방정식utt=c2uxxu(0,t)=u(l,t)=0u(x,0)=x,ut(x,0)=0
의 해는 다음과 같다.u(x,t)=∞∑n=1(Ancosnπctl+Bnsinnπctl)sinnπxl
위의 해를 시간에 대해 미분하면ut(x,t)=∞∑n=1nπcl(−Ansinnπctl+Bncosnπctl)sinnπxl
이고 이 미분한 식에서 t=0을 대입하면0=∞∑n=1nπclBnsinnπxl
이므로 Bn=0이다. u(x,t)에 t=0을 대입하면x=∞∑n=1Ansinnπxl
이므로 u(x,t)를 다음과 같이 나타낼 수 있다.u(x,t)=2lπ∞∑n=1(−1)n+1nsinnπxlcosnπctl
다음의 조건을 만족하는 함수 ϕ(x)를 주기함수(periodic function)라고 한다.
p>0가 존재해서 모든 x∈R에 대해 ϕ(x+p)=ϕ(x)
다음의 조건을 만족하는 함수 ϕ(x)를 우함수(even function)라고 한다.ϕ(−x)=ϕ(x)
다음의 조건을 만족하는 함수 ϕ(x)를 기함수(odd function)라고 한다.ϕ(−x)=−ϕ(x)
임의의 실함수 ϕ(x)를 우함수와 기함수의 합으로 나타낼 수 있다. ϕe(x)를 우함수, ϕo(x)를 기함수라고 하고 ϕ(x)=ϕe(x)+ϕo(x)라고 하자. 그러면ϕe(x)=ϕ(x)+ϕ(−x)2,ϕo(x)=ϕ(x)−ϕ(−x)2
이므로 ϕ(x)가 우함수와 기함수의 합으로 나타내어짐을 알 수 있다. 또한 우함수와 기함수의 정적분은 다음과 같다.∫l−lϕe(x)dx=2∫l0ϕe(x)dx,∫l−lϕo(x)dx=0
복소수에 대한 오일러공식eiθ=cosθ+isinθ
로부터 사인함수와 코사인함수를 다음과 같이 나타낼 수 있다.sinθ=eiθ−e−iθ2i,cosθ=eiθ+e−iθ2
그러므로 사인, 코사인의 삼각함수 대신 einπxl과 e−inπxl를 이용하여 나타낼 수 있고 따라서 ϕ(x)의 푸리에 급수를 다음과 같이 나타낼 수 있다.ϕ(x)=∞∑n=−∞cneinπxl
다음의 두 식∫l−leinπxle−imπxldx=0,∫l−lei⋅0⋅πxldx=2l
으로부터 푸리에계수를 다음과 같이 나타낼 수 있다.cn=12l∫l−lϕ(x)e−nπxldx
참고자료:
Partial Differential Equations second edition, Strauss, Wiley