logo

삼각함수의 집합이 직교성을 가짐을 증명 📂푸리에해석

삼각함수의 집합이 직교성을 가짐을 증명

정리

2L2L-주기함수가 2L2L인 함수들의 집합 {1, cos⁡πxL, cos⁡2πxL,⋯ , sin⁡πxL, sin⁡2πxL, ⋯ }\left\{ 1,\ \cos \dfrac{\pi x}{L},\ \cos \dfrac{2\pi x}{L}, \cdots ,\ \sin\dfrac{\pi x}{L},\ \sin\dfrac{2\pi x}{L},\ \cdots \right\}은 구간 [−L, L)[-L,\ L)에서 직교집합이다. 다시말해 m,n=1,2,3,…m,n = 1, 2, 3, \dots에 대해서 다음이 성립한다.

1L∫−LLcos⁡mπxLcos⁡nπxLdx=δmn1L∫−LLsin⁡mπxLsin⁡nπxLdx=δmn∫−LLcos⁡mπxLsin⁡nπxLdx=01L∫−LLcos⁡nπxLdx=01L∫−LLsin⁡nπxLdx=0 \begin{align} \dfrac{1}{L} \int _{-L}^{L} \cos\dfrac{m\pi x}{L} \cos\dfrac{n\pi x}{L} dx &= \delta_{mn} \label{eq1} \\ \dfrac{1}{L} \int _{-L}^{L} \sin \dfrac{m\pi x}{L}\sin \dfrac{n\pi x}{L} dx &= \delta_{mn} \label{eq2} \\ \int _{-L}^{L} \cos \dfrac{m\pi x}{L} \sin \dfrac{n\pi x}{L} dx \quad &= 0 \label{eq3} \\ \dfrac{1}{L} \int_{-L}^{L} \cos \dfrac{n\pi x}{L} dx &= 0 \label{eq4} \\ \dfrac{1}{L} \int_{-L}^{L} \sin \dfrac{n\pi x}{L} dx &= 0 \label{eq5} \end{align}

이때 δ\delta는 크로네커 델타이다.

따름정리

(4),(5)(4), (5)에 의해 코사인과 사인의 한 주기 평균은 00이다.

설명

오일러공식에 의해 지수함수들의 집합도 직교성을 가짐을 알 수 있다. 이 사실은 주기함수를 주기함수들의 급수로 표현하는 푸리에급수가 가능하게 만들기 때문에 푸리에해석에서 중요한 의미가 있다.

증명

(1)(1)

∫−LLcos⁡mπxLcos⁡ nπxLdx(1) \int_{-L}^{L} \cos \frac{m\pi x}{L} \cos \ \frac{n\pi x}{L} dx \tag{1}

  • case 1.1 m≠nm \ne n

∫−LLcos⁡mπxLcos⁡nπxLdx(m,n=1,2,…m≠n)=12∫−LL[cos⁡(m+n)πxL+cos⁡(m−n)πxL]dx=12[L(m+n)πsin⁡(m+n)πxL]−LL+12[L(m−n)πsin⁡(m−n)πxL]−LL=12[L(m+n)πsin⁡((m+n)π)+L(m+n)πsin⁡((m+n)π)]+12[L(m−n)πsin⁡((m−n)π)+L(m−n)πsin⁡((m−n)π)]=0 \begin{align*} & \int_{-L}^{L} \cos \dfrac{m\pi x}{L} \cos \dfrac{n\pi x}{L} dx \quad (m,n=1, 2,\dots\quad m\ne n) \\ &= \frac{1}{2} \int_{-L}^{L} \left[ \cos \frac{(m+n)\pi x}{L}+\cos \frac{(m-n)\pi x}{L} \right] dx \\ &= \frac{1}{2} \left[ \dfrac{L}{(m+n)\pi}\sin \dfrac{(m+n)\pi x}{L} \right]_{-L}^{L} + \frac{1}{2} \left[ \dfrac{L}{(m-n)\pi }\sin \dfrac{(m-n)\pi x}{L} \right]_{-L}^{L} \\ &= \frac{1}{2} \left[ \dfrac{L}{(m+n)\pi}\sin \big( (m+n)\pi \big) + \dfrac{L}{(m+n)\pi}\sin \big( (m+n)\pi \big) \right] \\ &\quad+ \frac{1}{2} \left[ \dfrac{L}{(m-n)\pi}\sin \big( (m-n)\pi \big) + \dfrac{L}{(m-n)\pi}\sin\big( (m-n)\pi \big) \right] \\ &= 0 \end{align*}

첫번째 등호는 삼각함수의 곱셈 공식에 의해 성립한다. 마지막 등호는 m+n, m−nm+n,\ m-n이 00이 아닌 정수이므로 모든항이 00이기 때문에 성립한다.

  • case 1.2 m=nm = n

    ∫−LL(cos⁡mπxL)2dx=12∫−LL(1+cos⁡2mπxL)dx=12[x+L2mπsin⁡2mπxL]−LL=12(2L)=L  ⟹  1L∫−LL(cos⁡mπxL)2dx=1 \begin{align*} \int _{-L}^{L} \left( \cos \dfrac{m\pi x}{L} \right)^2 dx &=\dfrac{1}{2} \int_{-L}^{L} \left( 1+ \cos \dfrac{2m\pi x}{L} \right) dx \\ &= \frac{1}{2}\left[ x+\frac{L}{2m\pi}\sin \frac{2m\pi x}{L} \right]_{-L}^{L} \\ &= \frac{1}{2}(2L) \\ &= L \end{align*} \\ \implies \dfrac{1}{L}\int _{-L}^{L} \left( \cos \dfrac{m\pi x}{L} \right)^2dx = 1

    첫번째 등호는 삼각함수의 반각 공식에 의해 성립한다.

■

(2)(2)

∫−LLsin⁡mπxLsin⁡nπxLdx(2) \int_{-L}^{L} \sin \dfrac{m\pi x}{L} \sin \dfrac{n\pi x}{L } dx \tag{2}

  • case 2.1 m≠nm \ne n

    ∫−LLsin⁡mπxLsin⁡nπxLdx (m,n=1,2,⋯ ,m≠n)=12∫−LL[cos⁡(m−n)πxL−cos⁡(m+n)πxL]dx=12[L(m−n)πsin⁡(m−n)πxL]−LL−12[L(m+n)πsin⁡(m+n)πxL]−LL=12[L(m−n)πsin⁡((m−n)π)+L(m−n)πsin⁡((m+n)π)]−12[L(m+n)πsin⁡((m+n)π)+L(m+n)πsin⁡((m+n)π)]=0 \begin{align*} &\int_{-L}^{L} \sin \dfrac{m\pi x}{L} \sin \dfrac{n\pi x}{L} dx \ \quad (m,n= 1,2,\cdots,\quad m\ne n) \\ &= \frac{1}{2} \int_{-L}^{L} \left[ \cos \frac{(m-n)\pi x}{L} -\cos \frac{(m+n)\pi x}{L} \right] dx \\ &= \frac{1}{2} \left[ \dfrac{L}{(m-n)\pi}\sin \dfrac{(m-n)\pi x}{L} \right]_{-L}^{L} - \frac{1}{2} \left[ \dfrac{L}{(m+n)\pi}\sin \dfrac{(m+n)\pi x}{L} \right]_{-L}^{L} \\ &= \frac{1}{2} \left[ \dfrac{L}{(m-n)\pi}\sin \big( (m-n)\pi \big) + \dfrac{L}{(m-n)\pi}\sin \big( (m+n)\pi \big) \right] \\ &\quad- \frac{1}{2} \left[ \dfrac{L}{(m+n)\pi}\sin \big( (m+n)\pi \big) +\dfrac{L}{(m+n)\pi}\sin \big( (m+n)\pi \big) \right] \\ &= 0 \end{align*}

    첫번째 등호는 삼각함수의 곱셈공식에 의해 성립한다. 마지막 등호는 case 1.1 과 같은 이유로 모든 항이 00이므로 성립한다.

  • case 2.2 m=nm = n

    ∫−LL(sin⁡mπxL)2dx=12∫−LL(1−cos⁡2mπxL)dx=12[x−L2mπsin⁡2mπxL]−LL=12(2L)=L  ⟹  1L∫−LL(sin⁡mπxL)2dx=1 \begin{align*} && \int _{-L}^{L} \left( \sin \dfrac{m\pi x}{L} \right)^2 dx &= \dfrac{1}{2} \int_{-L}^{L} \left( 1- \cos \dfrac{2m\pi x}{L} \right)dx \\ && &=\frac{1}{2}\left[ x-\frac{L}{2m\pi}\sin \frac{2m\pi x}{L} \right]_{-L}^{L} \\ && &= \dfrac{1}{2}(2L) \\ && &= L \end{align*} \\ \implies \dfrac{1}{L}\int _{-L}^{L} \left( \sin \dfrac{m\pi x}{L} \right) ^2 dx=1

    첫번째 등호는 삼각함수의 반각 공식에 의해 성립한다.

■

(3)(3)

∫−LLcos⁡mπxLsin⁡nπxLdx(3) \int _{-L}^{L} \cos \dfrac{m\pi x}{L} \sin \dfrac{n\pi x}{L} dx \tag{3}

  • case 3.1 m≠nm \ne n

    ∫−LLcos⁡mπxLsin⁡nπxLdx=12∫−LL[sin⁡(m+n)πxL−sin⁡(m−n)πxL]dx=12[−L(m+n)πcos⁡(m+n)πxL]−LL−12[−L(m−n)πcos⁡(m−n)πxL]−LL=12[−L(m+n)πcos⁡((m+n)π)+L(m+n)πcos⁡((m+n)π)]−12[−L(m−n)πcos⁡((m−n)π)+L(m−n)πcos⁡((m−n)π)]=0 \begin{align*} & \int _{-L}^{L} \cos \dfrac{m\pi x}{L} \sin \dfrac{n\pi x}{L} dx \\ &= \dfrac{1}{2} \int_{-L}^{L} \left[ \sin \dfrac{ (m+n) \pi x}{L} - \sin \dfrac{ (m-n) \pi x}{L} \right] dx \\ &= \dfrac{1}{2} \left[ - \dfrac{L}{(m+n)\pi} \cos \dfrac{ (m+n)\pi x}{L} \right] _{-L}^{L} -\dfrac{1}{2}\left[ - \dfrac{L}{(m-n)\pi} \cos \dfrac{ (m-n)\pi x}{L} \right] _{-L}^{L} \\ &= \dfrac{1}{2} \left[ - \dfrac{L}{(m+n)\pi} \cos \big( (m+n)\pi \big) + \dfrac{L}{(m+n)\pi} \cos \big( (m+n)\pi \big) \right] \\ &\quad- \dfrac{1}{2}\left[ - \dfrac{L}{(m-n)\pi} \cos \big( (m-n)\pi\big) + \dfrac{L}{(m-n)\pi} \cos \big((m-n)\pi\big)\right] \\ &= 0 \end{align*}

    첫번째 등호는 삼각함수의 곱셈공식에 의해 성립한다.

  • case 3.2 m=nm = n

    ∫−LLcos⁡mπxLsin⁡nπxLdx=∫−LLcos⁡mπxLsin⁡mπxLdx=12∫−LL2cos⁡mπxLsin⁡mπxLdx=12∫−LLsin⁡2mπxLdx=12(−L2mπcos⁡2mπ+L2mπcos⁡2mπ)=0 \begin{align*} \int _{-L}^{L} \cos \dfrac{m\pi x}{L} \sin \dfrac{n\pi x}{L} dx &= \int_{-L}^{L} \cos \dfrac{m\pi x}{L} \sin \dfrac{m\pi x}{L} dx \\ &= \dfrac{1}{2} \int _{-L}^{L} 2\cos \dfrac{m\pi x}{L} \sin \dfrac{m\pi x}{L} dx \\ &= \dfrac{1}{2} \int _{-L}^{L} \sin \dfrac{2m\pi x}{L} dx \\ &= \dfrac{1}{2} \left( -\dfrac{L}{2m\pi}\cos 2m\pi + \dfrac{L}{2m\pi} \cos 2m\pi\right) \\ &= 0 \end{align*}

■

(4),(5)(4), (5)

∫−LLcos⁡nπxLdx=[Lnπsin⁡nπxL]−LL=Lnπsin⁡nπ+Lnπsin⁡nπ=0 \begin{align*} \int_{-L}^{L} \cos\dfrac{n \pi x}{L} dx &=\left[ \dfrac{L}{n\pi}\sin \dfrac{n \pi x}{L} \right]_{-L}^{L} \\ &=\dfrac{L}{n\pi}\sin n\pi + \dfrac{L}{n\pi}\sin n\pi \\ &=0 \end{align*}

마지막 등호는 nn이 정수이므로 성립한다. 사인 함수도 마찬가지 이유로

∫−LLsin⁡nπxLdx=[−Lnπcos⁡nπxL]−LL=−Lnπcos⁡nπ+Lnπcos⁡nπ=0 \begin{align*} \int_{-L}^{L} \sin\dfrac{n \pi x}{L} dx &=\left[ -\dfrac{L}{n\pi}\cos \dfrac{n \pi x}{L} \right]_{-L}^{L} \\ &=-\dfrac{L}{n\pi}\cos n\pi + \dfrac{L}{n\pi}\cos n\pi \\ &=0 \end{align*}

■