|
삼각함수 ·
쌍곡선함수 Trigonometric Functions · Hyperbolic Functions |
||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
<colbgcolor=#f080b0> 기본 개념 | 기하학{ 평면기하학( 삼각형 · 삼각비 · 원 · 쌍곡선)} · 해석학{ 좌표계 · 복소평면 · 함수( 초월함수 · 특수함수)} |
| 삼각함수 | 사인곡선( 위상수학자의 사인곡선) · 역함수 · 도함수 · 역도함수 · 관련 함수 · 삼각함수의 덧셈정리 · 바이어슈트라스 분해 정리 · 미타그레플레르 정리 · 오일러 공식 · 푸리에 해석( 푸리에 변환) · 삼각 적분 함수 · 구데르만 함수 · 프레넬 적분 함수 · 디리클레 함수 · 바이어슈트라스 함수 · 볼테라 함수 · 에어리 함수 · 야코비 타원 함수 | |
| 쌍곡선함수 | 현수선 · 쌍곡선 적분 함수 · 구데르만 함수 | }}}}}}}}} |
1. 개요
Fourier analysis프랑스의 수학자이자 물리학자인 조제프 푸리에[1](Jean-Baptiste Joseph Fourier, 1768 - 1830)가 정립한 수치해석 이론.
임의의 함수를 삼각함수 또는 지수함수의 일차결합으로 나타내는 것, 혹은 그 사고방식을 응용하는 해석학의 한 분야. 선형대수학의 언어를 빌리자면, 두 함수 [math(f)], [math(g)]의 내적
를 갖는 수 공간([math(L^2)] 공간)에 대한 정규 직교 기저(orthonormal basis)로서 삼각함수 혹은 지수함수를 생각하는 것이다. 이러한 관점에서 함수 [math( u_k(x)=e^{ikx} )]은 직교기저를 이룬다고 할 수 있다. 즉 다음의 관계가 성립한다.
따라서 [math(\left\{u_k\right\}_{k=-\infty}^{\infty})]는 [math(L^2)] 공간의 정규직교집합이 되고, 이 함수들의 선형 결합으로 임의의 함수를 표현하는 것이 푸리에 급수의 기본적인 목적이다. 실제 응용되는 학문에 따라 상수 [math(2\pi)]를 무시하기도 하고, 또 [math(e^{ikx} )]대신 [math(e^{ik\omega x})]과 같이 변수를 스케일링해서 사용하기도 한다.
본 문서의 내용을 이해하려면 미적분학, 선형대수학, 해석학 전반을 먼저 이해해야 한다.[2] 좀 더 심화된 내용을 원한다면 각종 전공 교재를 참고한다.
푸리에 해석의 특징으로는 함수 분해, 선형성, 대칭, 주기성 등의 특징이 존재하며, 전기 공학, 물리학 및 경제학을 포함하여 많은 과학 및 공학 분야에서 중요한 도구이기도 하다.
2. 푸리에 급수
아래 문단들을 요약하면 아래와 같다.-
주기가 [math(T)]이고, 구간 [math([x_{0},\,x_{0}+T])]의 함수가 주기적으로 반복되는 함수는 사인 함수와 코사인 함수의 합
{{{#!wiki style="text-align: center"
[math( \displaystyle f(x)=\sum_{n=1}^{\infty} a_{n}\sin{(n\omega x)}+ \sum_{n=1}^{\infty} b_{n}\cos{(n \omega x) }+b_{0} \quad \left( \omega=\frac{2\pi}{T}\right) )]}}}
으로 전개할 수 있고, 이 급수를 푸리에 급수라 한다. 각 계수는 아래와 같고, 해당 계수를 푸리에 계수라 한다.
[math( \displaystyle \begin{aligned}a_{n}&=\frac{2}{T} \int_{x_{0}}^{x_{0}+T} f(x)\sin{(n \omega x)}\,{\rm d}x \\ b_{n}&=\frac{2}{T} \int_{x_{0}}^{x_{0}+T} f(x)\cos{(n \omega x)}\,{\rm d}x \\ b_{0}&=\frac{1}{T} \int_{x_{0}}^{x_{0}+T} f(x)\,{\rm d}x \end{aligned})]
[math( \displaystyle \begin{aligned}a_{n}&=\frac{2}{T} \int_{x_{0}}^{x_{0}+T} f(x)\sin{(n \omega x)}\,{\rm d}x \\ b_{n}&=\frac{2}{T} \int_{x_{0}}^{x_{0}+T} f(x)\cos{(n \omega x)}\,{\rm d}x \\ b_{0}&=\frac{1}{T} \int_{x_{0}}^{x_{0}+T} f(x)\,{\rm d}x \end{aligned})]
-
푸리에 급수는 복소 푸리에 급수
{{{#!wiki style="text-align: center"
[math( \displaystyle f(x)=\sum_{n=-\infty}^{\infty} c_{n} e^{in \omega x} )]}}}
으로 전개할 수 있으며, 계수는 아래와 같다.
{{{#!wiki style="text-align: center"
[math( \displaystyle c_{n}=\frac{1}{T}\int_{x_{0}}^{x_{0}+T}f(x)\,e^{-in \omega x} \,{\rm d}x )]}}}
2.1. 도입
푸리에 급수(Fourier series)는 주기 함수를 사인 함수와 코사인 함수로 전개하는 것이다. 즉,[math( \displaystyle f(x)=\sum_{n=0}^{\infty} a_{n}\sin{(nx)}+ \sum_{n=0}^{\infty} b_{n}\cos{(nx)} \, \cdots \, (\ast) )]
물론 더욱 중요한 문제는 위 급수가 수렴하는가이다. 흔히 다루는 함수가 조각적으로 미분 가능하고 유계인 경우는 위의 급수가 [math(f(x))]의 좌극한과 우극한의 평균으로 균등수렴한다.[3]
일반적인 주기 함수를 논하기 전에 주기가 [math(2\pi)]인 [math(f(x))]를 고려하자. 사인 함수와 코사인 함수는 구간 [math([-\pi,\,\pi])]에서 다음과 같은 관계가 있다.(단, [math(m )], [math(n )]은 자연수이다.)
\displaystyle \begin{aligned} \frac{1}{2 \pi}\int_{-\pi}^{\pi} \sin{(mx)}\sin{(nx)} \,{\rm d }x&=\frac{1}{2}\delta_{m,\,n} \\ \frac{1}{2 \pi}\int_{-\pi}^{\pi} \cos{(mx)}\cos{(nx)} \,{\rm d }x&=\frac{1}{2}\delta_{m,\,n} \\ \frac{1}{2 \pi}\int_{-\pi}^{\pi} \sin{(mx)}\cos{(nx)} \,{\rm d }x &=0 \end{aligned}
즉, [math(\sin{(mx)})]와 [math(\cos{(nx)})] 집합이 위에 서술한 내적에 대해 서로 직교함을 나타낸다.
2.2. 푸리에 계수
식 [math((\ast))]에 [math(\sin{(mx)})]를 곱하고, [math([-\pi,\,\pi] )]에 대하여 적분하면 [math(m \neq 0)]일 때| [math( \displaystyle \begin{aligned} \int_{-\pi}^{\pi} f(x)\sin{(mx)}\,{\rm d}x&=\sum_{n=0}^{\infty} a_{n}\int_{-\pi}^{\pi} \sin{(nx)}\sin{(mx)}\,{\rm d} x+ \sum_{n=0}^{\infty} b_{n}\int_{-\pi}^{\pi} \cos{(nx)}\sin{(mx)}\,{\rm d} x \\&=a_{0}\cdot 0+\sum_{n=1}^{\infty} \pi a_{n} \delta_{n,\,m}+b_{0}\sum_{n=0}^{\infty} \int_{-\pi}^{\pi} \sin{(mx)}\,{\rm d} x +\sum_{n=1}^{\infty} b_{n}\cdot 0 \\&= \pi a_{m} \quad (n \geq 1) \end{aligned})] |
[math( \displaystyle a_{n}=\frac{1}{\pi} \int_{-\pi}^{\pi} f(x)\sin{(nx)}\,{\rm d}x \quad (n \geq 1))]
식 [math((\ast))]에 [math(\cos{(mx)})]를 곱하여 구간 [math([-\pi,\,\pi] )]에 대하여 적분하면 [math(m \neq 0)]일 때,
| [math( \displaystyle \begin{aligned} \int_{-\pi}^{\pi} f(x)\cos{(mx)}\,{\rm d}x&=\sum_{n=0}^{\infty} a_{n}\int_{-\pi}^{\pi} \sin{(nx)}\cos{(mx)}\,{\rm d} x+ \sum_{n=0}^{\infty} b_{n}\int_{-\pi}^{\pi} \cos{(nx)}\cos{(mx)}\,{\rm d} x \\&=\sum_{n=0}^{\infty} a_{n} \cdot 0+b_{0} \int_{-\pi}^{\pi}\cos{(mx)} \,{\rm d} x \ + \sum_{n=1}^{\infty} \pi b_{n} \delta_{n,\,m} \\&= \pi b_{m} \quad (n \geq 1) \end{aligned})] |
[math( \displaystyle b_{n}=\frac{1}{\pi} \int_{-\pi}^{\pi} f(x)\cos{(nx)}\,{\rm d}x \quad (n \geq 1) )]
한편, 식 [math((\ast))]에서 [math(\sin{(0x)}=0)], [math(\cos{(0x)}=1)]임과 위 결과를 이용하면
[math( \displaystyle \begin{aligned} f(x)=\sum_{n=1}^{\infty} a_{n}\sin{(nx)}+\sum_{n=1}^{\infty} b_{n}\cos{(nx)}+b_{0} \end{aligned})]
로 정리할 수 있다. 양변을 [math([-\pi,\,\pi])]에 대해 적분하면,
| [math( \displaystyle \begin{aligned} \int_{-\pi}^{\pi}f(x)\,{\rm d}x=\sum_{n=1}^{\infty} a_{n} \int_{-\pi}^{\pi} \sin{(nx)}\,{\rm d}x+\sum_{n=1}^{\infty} b_{n} \int_{-\pi}^{\pi} \cos{(nx)}\,{\rm d}x+b_{0 }\int_{-\pi}^{\pi} \,{\rm d}x \end{aligned})] |
[math( \displaystyle \begin{aligned} \int_{-\pi}^{\pi}f(x)\,{\rm d}x=2\pi b_{0} \,\to\, b_{0}=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)\,{\rm d}x \end{aligned})]
이상의 결과를 정리하면 아래와 같다.
[math( \displaystyle \begin{aligned} &f(x)=\sum_{n=1}^{\infty} a_{n}\sin{(nx)}+\sum_{n=1}^{\infty} b_{n}\cos{(nx)}+b_{0} \\ &\begin{pmatrix}
\begin{aligned}a_{n}&=\frac{1}{\pi} \int_{-\pi}^{\pi} f(x)\sin{(nx)}\,{\rm d}x \\ b_{n}&=\frac{1}{\pi} \int_{-\pi}^{\pi} f(x)\cos{(nx)}\,{\rm d}x \\ b_{0}&=\frac{1}{2\pi}\int_{-\pi}^{\pi}f(x)\,{\rm d}x \end{aligned}
\end{pmatrix}\end{aligned})]
위에서 구한 계수를 푸리에 계수(Fourier coefficients)라 한다.
아래의 그림은 적색 함수에 대하여 [math(n)]차항까지 푸리에 급수로 전개했을 때의 모습을 나타낸다. [math(n)]이 증가할수록 본 함수와 유사해지는 것을 볼 수 있다.
2.3. 홀함수와 짝함수
[math(\sin{(nx)})]는 홀함수, [math(\cos{(nx)})]는 짝함수이다. 홀함수와 짝함수의 곱은 홀함수, 홀함수와 홀함수의 곱은 짝함수, 짝함수와 짝함수의 곱은 짝함수이므로 [math(f(x))]가 홀함수이냐 짝함수이냐에 따라 계수의 유형을 정할 수 있다. 왜냐하면, 해당 구간에 대한 홀함수의 정적분 값은 0이고, 짝함수에 대한 정적분 값은 [math([0,\,\pi] )]에 대한 정적분 값의 2배가 되기 때문이다.[math(f(x))]가 홀함수일 경우 위 사실을 적용하면,
\displaystyle \begin{aligned} a_{n}&=2\cdot \frac{1}{\pi}\int_{0}^{\pi} f(x)\sin{(nx)}\,{\rm d}x \\ \displaystyle b_{n}&=0 \end{aligned}
과 같이 사인 급수 항만 남는다.
[math(f(x))]가 짝함수일 경우 위 사실을 적용하면,
\displaystyle \begin{aligned} a_{n}&=0 \\ \displaystyle b_{n}&=2\cdot \frac{1}{\pi}\int_{0}^{\pi} f(x)\cos{(nx)}\,{\rm d}x \end{aligned}
이므로 코사인 급수 항만 남는다.
이것은 당연한 결과이다. 홀함수의 경우 홀함수로만 전개되어야 홀함수 개형을 유지할 수 있으므로 홀함수인 사인 항만 남는 것이다. 짝함수의 경우에도 마찬가지의 이유이다.
이 사실은 푸리에 급수의 계수를 구할 때, 함수의 개형을 먼저 봐서 판단 후 한 쪽의 계수만 구하면 됨을 시사하며, 아래의 일반적인 주기 함수에 대해서도 동일하게 성립한다.
2.4. 일반적인 주기 함수
이번에는 주기가 [math(T)]인 함수인 [math(f(x))] 생각해보자. 이 경우에는의 치환을 이용하면,
\displaystyle \begin{aligned} \frac{1}{T}\int_{-T/2}^{T/2} \sin{(m \omega t)}\sin{(n \omega t)} \,{\rm d }t &=\frac{1}{2}\delta_{m,\,n} \\ \frac{1}{T}\int_{-T/2}^{T/2} \cos{(m \omega t)}\cos{(n \omega t)} \,{\rm d }t &=\frac{1}{2}\delta_{m,\,n} \\ \frac{1}{T}\int_{-T/2}^{T/2} \sin{(m \omega t)}\cos{(n \omega t)} \,{\rm d }t &=0 \end{aligned}
를 만족시킴을 확인할 수 있다. (단, [math(\omega=2\pi/T)])
따라서 [math(f(x))]를 다음과 같이 전개할 수 있다.
[math( \displaystyle \begin{aligned} & f(x)=\sum_{n=1}^{\infty} a_{n}\sin{(n\omega x)}+ \sum_{n=0}^{\infty} b_{n}\cos{(n \omega x) } \\ &\begin{pmatrix}
\begin{aligned}a_{n}&=\frac{2}{T} \int_{-T/2}^{T/2} f(x)\sin{(n \omega x)}\,{\rm d}x \\ b_{n}&=\frac{2}{T} \int_{-T/2}^{T/2} f(x)\cos{(n \omega x)}\,{\rm d}x \\ b_{0}&=\frac{1}{T} \int_{-T/2}^{T/2} f(x)\,{\rm d}x \\ \omega&=\frac{2\pi}{T} \end{aligned}
\end{pmatrix}
\end{aligned} )]
다음의 예는 주기가 4인 함수 [math(f(x))]를 푸리에 급수로 전개해본 것이다.
2.4.1. 다른 적분 구간
위의 푸리에 계수를 구할 때 적분 구간은 [math([-T/2,\,T/2])]를 사용하나, 실제의 경우 해당 구간이 복잡한 계산을 요하는 경우가 많다. 주기가 [math(T)]이면서 구간 [math([x_{0},\,x_{0}+T])]의 함수가 주기적으로 반복되는 주기 함수에 대한 푸리에 계수를 쉽게 구하려면 어떻게 해야할까? 놀랍게도 위에서 주어졌던 내적 관계가 구간 [math([x_{0},\,x_{0}+T])]에서도 성립한다. 즉,\displaystyle \begin{aligned} \frac{1}{T}\int_{x_{0}}^{x_{0}+T} \sin{(mx)}\sin{(nx)} \,{\rm d }x&=\frac{1}{2}\delta_{m,\,n} \\ \frac{1}{T}\int_{x_{0}}^{x_{0}+T} \cos{(mx)}\cos{(nx)} \,{\rm d }x&=\frac{1}{2}\delta_{m,\,n} \\ \frac{1}{T}\int_{x_{0}}^{x_{0}+T} \sin{(mx)}\cos{(nx)} \,{\rm d }x &=0 \end{aligned}
따라서 해당 구간 또한 계수를 구할 때 쓸 수 있고, 그 결과는 아래와 같다.
[math( \displaystyle \begin{aligned} & f(x)=\sum_{n=1}^{\infty} a_{n}\sin{(n\omega x)}+ \sum_{n=0}^{\infty} b_{n}\cos{(n \omega x) } \\ &\begin{pmatrix}
\begin{aligned}a_{n}&=\frac{2}{T} \int_{x_{0}}^{x_{0}+T} f(x)\sin{(n \omega x)}\,{\rm d}x \\ b_{n}&=\frac{2}{T} \int_{x_{0}}^{x_{0}+T} f(x)\cos{(n \omega x)}\,{\rm d}x \\ b_{0}&=\frac{1}{T} \int_{x_{0}}^{x_{0}+T} f(x)\,{\rm d}x \end{aligned}
\end{pmatrix}
\end{aligned} )]
2.5. 복소 푸리에 급수
푸리에 급수를 오일러 공식[math( e^{ix}=\cos{x}+i\sin{x} )]
을 이용하여 좀 더 간단한 꼴로 바꾸어 보자.
[math( \displaystyle \begin{aligned} \sin{x}&=\frac{e^{ix}-e^{-ix}}{2i} \\ \cos{x}&=\frac{e^{ix}+e^{-ix}}{2} \end{aligned} )]
를 이용하면,
| [math( \displaystyle \begin{aligned} f(x)&=\sum_{n=1}^{\infty} a_{n} \cdot \frac{e^{i n \omega x}-e^{-i n \omega x}}{2i} + \sum_{n=1}^{\infty} b_{n} \cdot \frac{e^{in \omega x}+e^{-in \omega x}}{2}+b_{0} \\&=\sum_{n=1}^{\infty} \frac{1}{2}(b_{n}-ia_{n})e^{i n\omega x}+\sum_{n=1}^{\infty} \frac{1}{2}(b_{n}+ia_{n})e^{-i n\omega x}+b_{0} \end{aligned} )] |
[math( \displaystyle \begin{aligned} &f(x)=\sum_{n=-\infty}^{\infty} c_{n} e^{in \omega x} \\ &\begin{pmatrix}
\begin{aligned}
c_{n}&=\frac{1}{2}(b_{n}-ia_{n}) \quad (n \geq 1) \\
c_{0}&=b_{0} \\
c_{-n}&=\frac{1}{2}(b_{n}+ia_{n}) \quad (n \geq 1)
\end{aligned}
\end{pmatrix} \end{aligned} )]
[math(n \geq 1)]일 때, 각 계수를 구해보면,
| [math( \displaystyle \begin{aligned} c_{n}&= \frac{1}{2}\frac{2}{T} \left[ \int_{-T/2}^{T/2} f(x) \cdot [\cos{(n \omega x)}-i\sin{(n \omega x)}]\,{\rm d}x \right] \\&=\frac{1}{T}\int_{-T/2}^{T/2}f(x)e^{-in \omega x} \,{\rm d}x \\ \\ c_{0}&=\frac{1}{T} \int_{-T/2}^{T/2} f(x)\,{\rm d}x \\ &=\frac{1}{T} \int_{-T/2}^{T/2} f(x)e^{i\cdot 0 \cdot \omega x}\,{\rm d}x \\ \\ c_{-n}&= \frac{1}{2}\frac{2}{T} \left[ \int_{-T/2}^{T/2} f(x) \cdot [\cos{(n \omega x)}+i\sin{(n \omega x)}]\,{\rm d}x \right] \\&=\frac{1}{T}\int_{-T/2}^{T/2}f(x)e^{+in \omega x} \,{\rm d}x \\&=\frac{1}{T}\int_{-T/2}^{T/2}f(x)e^{-i(-n) \omega x} \,{\rm d}x \end{aligned} )] |
[math( \displaystyle \begin{aligned} c_{n}=\frac{1}{T}\int_{-T/2}^{T/2}f(x)e^{-in \omega x} \,{\rm d}x \end{aligned} )]
적분 구간은 '다른 적분 구간' 문단에서도 다뤘듯이 다음과 같이 쓸 수도 있다.
[math( \displaystyle \begin{aligned} c_{n}=\frac{1}{T}\int_{x_{0}}^{x_{0}+T}f(x)e^{-in \omega x} \,{\rm d}x \end{aligned} )]
이 결과는 [math(f(x))]를 전개할 때 쓰인 정규 직교 기저를 지수함수로 바꿀 수 있음을 의미하는데, 실제로 구간 [math([-T/2,\,T/2])]에서 지수 함수 [math(e^{in \omega x})]은 직교한다.
2.5.1. 파르스발 정리
복소 푸리에 급수를 활용하여 또 하나의 흥미로운 정리를 이끌어낼 수 있다. 푸리에 급수로 전개 가능한 두 함수 [math(f(x))], [math(g(x))]를 고려하자. 이때, 아래와 같이 전개 가능할 것이다.[math( \begin{aligned} f(x)&=\sum_{n=-\infty}^{\infty} c_{n} e^{i n \omega x} \\ g(x)&=\sum_{n=-\infty}^{\infty} d_{n} e^{i n \omega x} \end{aligned} )]
[math(g(x))]에 복소 켤레를 취하여 [math(f(x))]에 곱하면,
[math( \begin{aligned} f(x)\overline{g(x)}&=\sum_{n=-\infty}^{\infty} c_{n} \overline{g(x)} e^{in \omega x} \end{aligned} )]
양변을 [math(T)]로 나누고, [math([x_{0},\,x_{0}+T])] 구간에 대하여 적분하면,
| [math( \begin{aligned} \frac{1}{T} \int_{x_{0}}^{x_{0}+T} f(x)\overline{g(x)}\,{\rm d}x&=\sum_{n=-\infty}^{\infty} c_{n} \cdot \frac{1}{T} \int_{x_{0}}^{x_{0}+T} \overline{g(x)} e^{in \omega x} \,{\rm d}x \\ &=\sum_{n=-\infty}^{\infty} c_{n} \cdot \overline{ \frac{1}{T} \int_{x_{0}}^{x_{0}+T} g(x) e^{-in \omega x} \,{\rm d}x } \\ &=\sum_{n=-\infty}^{\infty} c_{n} \overline{d_{n}} \end{aligned} )] |
[math( \begin{aligned} \frac{1}{T} \int_{x_{0}}^{x_{0}+T} |f(x)|^{2}\,{\rm d}x&=\sum_{n=-\infty}^{\infty} |c_{n}|^{2} \end{aligned} )]
이를 파르스발 정리(Parseval’s theorem)라 한다.
이것을 이용하면 쉽게 구할 수 없던 급수의 합을 쉽게 구할 수 있다.
- [급수의 예]
- -----
파르스발 정리를 사용해서 [math(\sum_{n=1}^{\infty} n^{-4})][4]를 구해보자. [math([-1/2,\,1/2])]에서 정의된 [math(f(x)=x^{2})]에 대하여 파르스발 정리를 사용하면,
한편,[math(\displaystyle \int_{-1/2}^{1/2} |x^{2}|^{2}\,{\rm d}x=\sum_{n=-\infty}^{\infty} |c_{n}|^{2})]
이에 따라[math(\displaystyle \begin{aligned} c_{n}&=\int_{-1/2}^{1/2} x^{2}e^{-2\pi in x}\,{\rm d} x \\&=\begin{cases}\dfrac{\cos{(n \pi)}}{2n^{2}\pi^{2}} & (n \neq 0) \\ \dfrac{1}{12} & (n =0)\end{cases}\\ \\ \therefore |c_{n}|^{2}&=\begin{cases}\dfrac{\cos^{2}{(n \pi)}}{4n^{4}\pi^{4}} & (n \neq 0) \\ \dfrac{1}{144} & (n =0)\end{cases} \end{aligned})]
이고, 맨 위 식에 대입하면[math(\displaystyle \begin{aligned} \sum_{n=-\infty}^{\infty} |c_{n}|^{2}&=\frac{1}{144}+\frac{1}{4\pi^{4}}\sum_{n=-\infty}^{-1} \frac{\cos^{2}{(n \pi)}}{n^{4}}+\frac{1}{4\pi^{4}}\sum_{n=1}^{\infty} \frac{\cos^{2}{(n \pi)}}{n^{4}} \\&=\frac{1}{144} +2 \cdot \frac{1}{4\pi^{4}}\sum_{n=1}^{\infty} \frac{1}{n^{4}} \end{aligned})] [math(\displaystyle \begin{aligned} \frac{1}{80}= \frac{1}{144} + \frac{1}{2\pi^{4}}\sum_{n=1}^{\infty} \frac{1}{n^{4}} \, \to \, \sum_{n=1}^{\infty} \frac{1}{n^{4}}=\frac{\pi^{4}}{90} \end{aligned})]
이외에도 [math([{rm sinc}(x) ]^4)]의 이상적분값[5]을 구하는 등 여러모로 쓰임새가 많다.
2.6. 스튀름 리우빌 이론
일반적으로 2계 선형 상미분 방정식의 해로는 비슷한 일을 할 수 있는데 르장드르 함수, 베셀 함수, 에르미트 함수, 라게르 함수 등이 있다.2.7. 병리적 함수
일부 병리적 함수의 정의가 푸리에 급수를 이용한다. 대표적으로 완전 불연속 함수의 일종인 디리클레 함수, 연속이지만 어디서든 미분이 불가능한 함수로 최초로 제시된 바이어슈트라스 함수가 있다.3. 푸리에 변환
함수 [math(h(x))]에 대해 [math(\mathcal{F}[h])][6]라는 함수를
로 정의하고, 위 변환 [math(\mathcal{F})]를 푸리에 변환이라 정의한다.[9]
역시 위의 식을 언제 정의할 수 있는지가 문제가 된다. 예를 들어 위에서 [math(h(x)=1)]인 경우는 적분이 전혀 의미가 없다. 따라서 보통 변환의 정의역과 공역을 먼저 정해준다. [10] 자주 쓰이는 정의역과 공역의 조합은 (정의역[math(\to)]공역) [math(L^{1} \to L^{\infty} )], [math( L^{2} \to L^{2} )], [math(S \to S )] 등이 있다. 여기서 [math(L^{p})] 공간은 적분
[math(\displaystyle \int |h(x)|^p\,{\rm d}x)]
가 존재하는 함수들의 공간, [math(L^\infty)] 는 유계함수들의 공간, [math(S)]는 슈바르츠 공간(Schwartz space)으로 모든 도함수들이 ([math(x)]가 커짐에 따라) 빠르게 감소하는 공간이다.
이 푸리에 변환은 라플라스 변환과 매우 비슷하다. 당장 위의 [math(t)]에 [math(is)]를 넣어보면 알 수 있다. 함수의 미분은 푸리에 변환을 하면 변수와의 곱이 되고, 곱은 합성곱(convolution)으로 옮겨진다. 따라서 미분방정식의 라플라스 변환 풀이는 그대로 푸리에 변환 풀이로 고칠 수 있다. 하지만 라플라스 변환보다 훨씬 좋은 점은 역변환이 매우 쉽다는 것이다. 바로 자기 자신이 역변환이다.[11][12]
푸리에 변환의 역변환
\displaystyle \mathcal{F}^{-1} [g](x) = \int g(t)e^{2\pi itx} \,{\rm d}t
에서 [math(g = \mathcal{F}[h])]로 놓으면
\displaystyle h(x) = \int \mathcal{F}[h]e^{2\pi itx} \,{\rm d}t
가 되고, 이는 [math(h(x))]를 지수함수 [math(e^{2\pi itx})] 들의 '연속적 일차결합'으로 나타낼 수 있다는 의미이다. 이러한 취지에서 푸리에 급수와 푸리에 변환을 같이 묶어 푸리에 해석이라 말할 수 있는 것.
3.1. 편미분방정식
미분방정식, 특히 편미분방정식의 해법에 매우 중요한 기법이다.[13] 편미분 항목에도 나와 있듯이 해석해를 도출할 수 있는 선형 편미분방정식은 일반적으로 변수분리법을 통해 편미분방정식을 상미분방정식 여러 개의 곱으로 표현한다. 문제는 편미분방정식이 경계값 문제이고, 분리해서 도출해낸 상미분방정식의 해가 대부분 sin, cos의 조합으로 표현되는 것부터 시작된다. 이 경우 경계값을 만족시키게 되는 해가 일정 주기로 무한 개가 쏟아져 나오게 되는 것.이렇게 무한급수 형태로 나오는 사인, 코사인 조합은 바로 푸리에 급수로 나타낼 수 있으며, 여기에서 앞서 설명한 사인/코사인 직교성질을 이용해 잘 정리해 주면 경계조건을 만족시키는 편미분방정식의 해가 도출되는 것이다. 한편 앞서도 말했듯이 무한급수 형태로 해가 도출되기 때문에, 속칭 '모드' 내지는 '고유값(eigenvalue)'[14]이라 불리는 해의 특정한 양상이 뽑아져 나올 수 있어 편미분방정식이 기술하는 특정 물리현상의 양상을 손쉽게 수식화할 수 있게 된다.
또 주로 사용되는 다른 곳은 유체역학이다. 나비에-스톡스 방정식 항목에 나와있듯, 이 방정식은 풀기 어려운 편미분방정식의 형태이지만 몇가지 물리적 조건을 더해서 위 방정식을 푸리에 해석을 통해 컴퓨터로 계산해내는 방법이 많이 쓰인다. 사실상 유체의 몇가지 단순한 경우를 제외하고는 거의 대부분 푸리에 해석을 이용해서 계산해낸다고 보면 된다.[15][16]
이렇게 중요한 도구다 보니 여기저기에 많이 불려나와 써먹히는 공학인들의 필수요소지만 배우기 까다롭다. 그렇기에 대개의 경우, 푸리에 급수를 본격적으로 활용하기 이전에 미리 기본 지식을 익힐 수 있도록 하기 위해 공학수학이나 미분방정식 등의 별도의 과목을 개설하는 것으로 학사과정이 편성되어 있다.
4. 응용
4.1. 공학
특정 신호에서 푸리에 해석의 결과는 주파수 영역에서의 신호 관찰이라고 할 수 있다. 이 결과와 가장 유사한 모습을 볼 수 있는 것이 이퀄라이저인데, 이퀄라이저에서 표시하는 것처럼 어떤 신호는 어떤 주파수 성분을 갖는다. 반대로 푸리에 역변환을 이용하면 특정한 주파수 성분의 구성을 갖는 신호를 만들 수 있는데, 이를 이용하여 특정 주파수 대역의 크기를 줄이거나 키우는 등의 디지털 필터 동작을 구성할 수 있다.신호 처리 그 자체인 통신공학에서도 사용하는데, 푸리에 변환을 사용해 시스템과 결정론적 신호(deterministic signal)를 주파수 영역에서 분석할 뿐만 아니라, 광의의 정상성(wide-sense stationarity)이 성립하는 확률적 신호의 경우 자기상관함수(autocorrelation function)를 푸리에 변환해서 스펙트럼에 대한 정보를 얻을 수 있다.[17] 이를 이용한 통신의 신호 분석 및 처리는 통신공학에서 기본 중의 기본이며, 아예 송신단에서 주파수 영역에서 보았을 때 디지털 데이터를 만든 다음 고속 푸리에 역변환을(IFFT) 하고 적절히 가공해서 전송하면, 수신단에서 고속 푸리에 변환을(FFT) 해서 데이터를 받는데, 이것이 바로 현재의 LTE, 무선랜, 디지털 방송 등에서 사용하는 OFDM(직교 주파수 분할 다중화, orthogonal frequency division multiplexing)이다.
4.2. 물리학
양자역학과 고체물리학 이후의 모든 물리학의 수학적 근거라고 할 수 있다. 임의의 공간에서의 모든 파동함수는 반드시 빈 공간의 슈뢰딩거 방정식의 해인 평면파 꼴의 선형 결합으로 표현이 가능하며, 이를 푸리에 공간에서 해석할 시 정량적으로 기술이 가능하기 때문. 여기에서 한 발 더 나아가서, 입자의 위치 및 시간에 대응하는 파동벡터 및 진동수를 입자-파동 이중성의 수학적 근거로 인정하여 정량적으로 기술한다. 학부 양자역학을 수강할 때 입자와 파동의 중간적인 형태로서 'wave packet'을 예제로 풀어보게 된다.고체물리학에서는 아예 주기성을 갖고 반복되는 계를 풀게 되는데, 이 때의 파동함수를 Bloch wave라 부르며 파동벡터가 슈뢰딩거 방정식을 만족시키는 좋은 양자수가 된다. 이에 대응하는 수많은 물리적 예제들을 배우는 학문이 고체물리학이라 해도 과언이 아닐 정도.
[1]
'퓨리에'가 아닌 '푸리에'가 맞는 발음이다.
[2]
대다수의 해석학 입문 서적에서는 한 챕터 정도를 할애하여 간단한 수준으로 소개하고, Stein의 서적처럼 푸리에만을 집중적으로 다루는 책도 있다. 대학원 이상에서는 아예 조화해석학이라는 분야로서 전문적으로 다룬다.
[3]
조각적 연속조건만으로는 충분하지 않을 수 있다. 모든 점에서 연속이지만 특정한 점에서 푸리에 급수가 발산하는 반례가 존재하기 때문이다. 물론 다른 더 약한 조건들도 존재하고, [math(L^p)] 공간에서의 수렴은 훨씬 약한 조건에서도 성립한다.
[4]
이 급수는
[math(zeta(4))]와 같다.
[5]
삼각파를 이용해서 [math((-\infty,\, \infty))] 범위에서 [math(2\pi/3)]를 도출할 수 있다. 참고로 부정적분은 [math(\dfrac{1}{6}\left[8\,{\rm Si}(4x) -4\,{\rm Si}(2x) - x^{-3} \left[\sin^{2} x [4x^2 + \cos 2x(8x^2 - 1)+ 2x(\sin 2x) + 1] \right] \right] + {\sf const.})]이다.(단, [math({\rm Si})]는
사인 적분 함수.)
[6]
[math(\hat h)]로 표기하기도 한다.
[7]
[math(i)]는 허수 단위
[8]
[math(e^{-2 \pi itx})]을 [math({\rm cis}({-2 \pi tx}))]로 고쳐 쓰기도 한다. 거듭제곱 부분에 주요 변수가 몰려 있기 때문에 저런 작은 글자로 쭉 쓰기가 번거로운 면이 있기 때문.
[9]
푸리에 변환을 [math(\displaystyle\ \int_{-\infty}^{\infty} e^{-itx} h(x) dx)]로 정의하는 수학자들도 있다. 역시 절반 정도의 비율.
[10]
마치 역삼각함수의 정의역 공역 정하는 걸 생각해 보면 되겠다.
[11]
엄밀하게는 [math(\mathcal{F}^{2} h(t) = \mathcal{F}[\mathcal{F}[h]](t) = h(-t))]가 성립.
[12]
앞에서 말한 [math(e^{-itx} dx)]를 사용하는 다른 버전에서는 이렇게 두 번 합성을 하면 상수 [math(2\pi)] 가 붙는다. 이것을 해결하기 위해 푸리에 변환과 역변환 모두에 [math(1/\sqrt{2\pi})]를 곱해주거나, 역변환만 [math(1/2\pi)]배를 해주는 서로 다른 관습이 있다.
[13]
보통 미방에 푸리에 해석을 적용할때, sturm-riouville theorem, [math(y''(x)+\lambda y'(x) = 0)]을 예시로 많이 든다.
[14]
혹은 고유값을 결정하는 exponential 함수 자체를 eigenfunction이라고 한다.
[15]
물론 쉬운 유체역학 시뮬레이션 (CFD-
전산유체역학이라고 함)에 한해서
나비에-스톡스 방정식의 이류나 확산부분만을 계산할 때는 방정식이 극단적으로 단순해지기 때문에 푸리에 변환까지 필요없고 단순한 차분([math({\rm d}x)]대신 [math(\Delta x)]를 사용한 컴퓨터에서의 계산)만으로도 쉽게 계산해낼 수 있다.
[16]
일반적으로 DNS(Direct Numerical Simulation)기법을 통해서
나비에-스톡스 방정식을 풀경우, Homogeneous, isotropic turbulence를 가정할 때 많이(finite difference method의 경우보다 훨씬 더 정확도가 높다.) 사용된다.
[17]
이를 이용한 계측기기가
스펙트럼 분석기이다.