테일러 급수

Taylor 級數, Taylor series.

개요

테일러 급수는 어떤 해석함수를 멱급수로 나타낸 것을 말한다.

여러 함수의 테일러 급수

이 예들은 [math]\displaystyle{ x_0 = 0 }[/math]일 때를 다루므로 매클로린 급수의 예이기도 하다.

무한등비급수 [math]\displaystyle{ {1 \over 1-x} }[/math]

[math]\displaystyle{ \displaystyle {1 \over 1-x} = \sum_{n=0}^\infty x^n = 1 + x + x^2 + \cdots + x^n + \cdots, |x|\lt 1 }[/math] 일 때 수렴한다.

지수함수 [math]\displaystyle{ e^x }[/math]

[math]\displaystyle{ \displaystyle e^x = \sum_{n=0}^\infty {x^n \over n!} = 1 + x + {x^2 \over 2!} + \cdots + {x^n \over n!} + \cdots, }[/math] 전구간에서 수렴한다.

증명

[math]\displaystyle{ f(x) = e^x }[/math] 의 도함수는 자기 자신, 즉 [math]\displaystyle{ f'(x) = e^x }[/math]이다. 따라서 [math]\displaystyle{ f^{(n)}(0) = 1 }[/math] 이 되므로, [math]\displaystyle{ \displaystyle e^x = \sum_{n=0}^\infty {f^{(n)}(0) \over n!}x^n = \sum_{n=0}^\infty {1 \over n!}x^n }[/math] 이 성립한다.

활용

자연상수 e 구하기

이 식에서 [math]\displaystyle{ x=1 }[/math]을 대입해 주면 아래와 같은 식을 얻는다.

[math]\displaystyle{ \displaystyle e={{1}\over {0!}}+{{1}\over{1!}}+{1\over{2!}}+{1\over{3!}}+{1\over{4!}}+... }[/math]

이를 계산하면 e의 값을 구할 수 있다. n = 4까지만 계산해 주어도 [math]\displaystyle{ \displaystyle {65 \over 24} = 2.708333\cdots }[/math]가 되어 참값 [math]\displaystyle{ 2.7182818284\cdots }[/math]와의 오차가 약 0.01밖에 나지 않는다. 컴퓨터를 이용해 죽 계산해주면 금방 어마어마한 자리수의 근삿값을 구할 수 있다.

오일러의 공식 [math]\displaystyle{ e^{ix}= \cos x + i \sin x }[/math] 증명하기

식에 [math]\displaystyle{ x }[/math]대신 [math]\displaystyle{ ix }[/math]를 대입해 보자.([math]\displaystyle{ \displaystyle i = \sqrt {-1} }[/math])

[math]\displaystyle{ \displaystyle e^{ix} = \sum_{n=0}^\infty {(ix)^n \over n!} = 1 + ix + {(ix)^2 \over 2!} + {(ix)^3 \over 3!} + {(ix)^4 \over 4!} + \cdots + {(ix)^n \over n!} + \cdots }[/math]

[math]\displaystyle{ i^2 = -1, i^3 = -i, i^4 = 1, \cdots }[/math] 이므로,

[math]\displaystyle{ \displaystyle e^{ix} = 1 + ix - {x \over 2!} -i {x^3 \over 3!} + {x^4 \over 4!} + \cdots = (1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots + (-1)^n{x^{2n} \over (2n)!} + \cdots) + i(x - {x^3 \over 3!} + {x^5 \over 5!} - \cdots + (-1)^n{x^{2n+1} \over (2n+1)!} + \cdots) }[/math]

이를 후술할 [math]\displaystyle{ \sin x, \cos x }[/math]의 테일러 급수로 나타내면,

[math]\displaystyle{ \displaystyle e^{ix} = \sum_{n=0}^\infty {(-1)^n x^{2n} \over (2n)!} + i\sum_{n=0}^\infty {(-1)^n x^{2n+1} \over (2n+1)!} = \cos x+ i\sin x }[/math] 임을 보일 수 있다.

이항급수 [math]\displaystyle{ (1+x)^\alpha }[/math]

[math]\displaystyle{ \displaystyle (1+x)^\alpha = \sum_{n=0}^\infty {\alpha \choose n}x^n = 1 + \alpha x + {\alpha (\alpha - 1) \over 2!}x^2 + \cdots + {\alpha (\alpha - 1)\cdots (\alpha - n +1) \over n!}x^n + \cdots }[/math]

활용

이 이항급수의 테일러 급수는 과학, 공학 분야에서 상당히 많이 쓰이는 편이다. 주로 [math]\displaystyle{ x \ll 1 }[/math] 일 때 [math]\displaystyle{ n=1 }[/math] 항까지 취해 [math]\displaystyle{ (1+x)^\alpha \simeq 1 + \alpha x }[/math]로 근사하는 경우가 많은데, [math]\displaystyle{ x \ll 1 }[/math] 이면 [math]\displaystyle{ x^2 }[/math] 부터는 값이 아주 작아지기 때문이다.

삼각함수 [math]\displaystyle{ \sin x, \cos x }[/math]

[math]\displaystyle{ \displaystyle \sin x = \sum_{n=0}^\infty {(-1)^n x^{2n+1} \over (2n+1)!} = x - {x^3 \over 3!} + {x^5 \over 5!} - \cdots + (-1)^n{x^{2n+1} \over (2n+1)!} + \cdots }[/math] [math]\displaystyle{ \displaystyle \cos x = \sum_{n=0}^\infty {(-1)^n x^{2n} \over (2n)!} = 1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots + (-1)^n{x^{2n} \over (2n)!} + \cdots }[/math] 모두 전구간에서 수렴한다.

활용

[math]\displaystyle{ \displaystyle \lim_{x \to 0} {\sin x \over x} = 1 }[/math] 임을 증명해 보자.

[math]\displaystyle{ \displaystyle \sin x = x - {x^3 \over 3!} + {x^5 \over 5!} - \cdots + (-1)^n{x^{2n+1} \over (2n+1)!} + \cdots }[/math] 에서 양변을 [math]\displaystyle{ x }[/math]로 나누면

[math]\displaystyle{ \displaystyle {\sin x \over x} = 1 - {x^2 \over 3!} + {x^4 \over 5!} - \cdots + (-1)^n{x^{2n} \over (2n+1)!} + \cdots }[/math] 이 된다.

[math]\displaystyle{ x \to 0 }[/math] 일 때 이차항부터는 모두 0이 되어,

[math]\displaystyle{ \displaystyle \lim_{x \to 0} {\sin x \over x} = 1 }[/math] 임을 알 수 있다.

---

이러한 사실로부터 [math]\displaystyle{ |x| \ll 1 }[/math] 이면 [math]\displaystyle{ \sin x \simeq x }[/math]라는 근사를 얻을 수 있다. 이 근사 역시 과학, 공학 분야에서 많이 쓰이는데, 대표적으로는 진자의 운동을 기술할 때 사용한다.

로그함수 [math]\displaystyle{ \ln(1+x) }[/math]

[math]\displaystyle{ \displaystyle \ln(1+x) = \sum_{n=1}^\infty {(-1)^{n+1}x^n \over n} = x - {x^2 \over 2} + {x^3 \over 3} - \cdots + (-1)^{n+1}{x^n \over n} + \cdots, |x|\lt 1 }[/math]일 때 수렴한다.

역탄젠트함수 [math]\displaystyle{ \tan^{-1} x }[/math]

[math]\displaystyle{ \displaystyle \tan^{-1} x = \sum_{n=0}^\infty {(-1)^n x^{2n+1} \over 2n+1} = x - {x^3 \over 3} + {x^5 \over 5} - \cdots + (-1)^n {x^{2n+1} \over 2n+1} + \cdots, -1\lt x\le 1 }[/math] 일 때 수렴한다.

오차함수 [math]\displaystyle{ \operatorname{erf}(x) }[/math]

오차함수(誤差函數, error function)의 정의는 다음과 같이 정의된다.

[math]\displaystyle{ \displaystyle\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_0^x e^{-t^2} \mathrm dt }[/math]

또한 오차함수의 테일러 전개는 아래와 같다.

[math]\displaystyle{ \displaystyle\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\sum_{n=0}^\infty \frac{(-1)^n}{2n+1}\cdot \frac{x^{2n+1}}{n!} }[/math]

증명

상술한 지수함수 [math]\displaystyle{ e^x }[/math]의 테일러 전개에 [math]\displaystyle{ x }[/math]대신 [math]\displaystyle{ -t^2 }[/math]를 대입하면

[math]\displaystyle{ \displaystyle e^{-t^2}= \sum_{n=0}^\infty \frac{(-t^2)^n}{n!} = \sum_{n=0}^\infty (-1)^n\frac{t^{2n}}{n!} = 1 - t^2 + \frac{t^4}{2!} - \frac{t^6}{3!} + \frac{t^8}{4!} - \cdots }[/math]

위 식을 t에 대하여 적분하면

[math]\displaystyle{ \displaystyle\int_0^x e^{-t^2} \mathrm dt = \displaystyle\int_0^x \left(1 - t^2 + \frac{t^4}{2!} - \frac{t^6}{3!} + \frac{t^8}{4!} - \cdots \right) \mathrm dt = x - \frac{1}{3}\cdot x^3 + \frac{1}{5}\cdot \frac{x^5}{2!} - \frac{1}{7}\cdot \frac{x^7}{3!} + \frac{1}{9}\cdot \frac{x^9}{4!} - \cdots = \sum_{n=0}^\infty \frac{(-1)^n}{2n+1}\cdot \frac{x^{2n+1}}{n!} }[/math]

따라서 오차함수의 테일러 전개는 아래와 같이 된다.

[math]\displaystyle{ \displaystyle\operatorname{erf}(x)=\frac{2}{\sqrt{\pi}}\int_0^x e^{-t^2} \mathrm dt=\frac{2}{\sqrt{\pi}}\sum_{n=0}^\infty \frac{(-1)^n}{2n+1}\cdot \frac{x^{2n+1}}{n!} }[/math]