테일러 급수/목록

1 개요

여러 대표적인 함수의 테일러 급수를 다루는 문서이다.
아래의 예들은 [math] x_0 = 0 [/math] 일 때를 다루므로 매클로린 급수이기도 하다.

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

[math] \displaystyle {1 \over 1-x} = \sum_{n=0}^\infty x^n = 1 + x + x^2 + \cdots + x^n + \cdots, \left|x\right|\lt1 [/math] 일 때 수렴한다.
https://www.desmos.com/calculator/inj5s0nwot
여기서 그래프를 확인할 수 있다. 실제로 k값이 커질수록 테일러 급수는 원래 함수와 닮아가나, [math] \left|x\right|\lt1 [/math]외의 구간에서는 갑자기 원래 함수의 형태와 동떨어진 형태를 보인다.

2.1 증명

2.2 활용

아래 자연로그와 역탄젠트 함수의 무한급수를 구할 때 활용할 수 있다.

3 지수함수 [math] e^x [/math]

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

3.1 증명

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

3.2 활용

3.2.1 자연상수 [math]e[/math] 구하기

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

3.2.2 쌍곡선함수 [math]\sinh x, \cosh x[/math]의 무한급수

[math]y=\sinh x,\ y=\cosh x[/math]는 정의에 따라 무한급수를 도출할 수 있다.

먼저 쌍곡사인 함수는 [math]y=e^x[/math]의 무한급수의 홀수 번째 항들로 구성된다.
[math]\displaystyle \sinh x = \frac{e^x-e^{-x}}{2} = \frac{1}{2}\left[\left(1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \right)-\left(1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots \right)\right] = x+\frac{x^3}{3!}+\frac{x^5}{5!}+\cdots[/math]
[math]\displaystyle \sinh x=\sum^{\infty}_{n=0}\frac{x^{2n+1}}{(2n+1)!}[/math]

쌍곡코사인 함수는 짝수 번째 항들로 구성된다.
[math]\displaystyle \cosh x = \frac{e^x+e^{-x}}{2} = \frac{1}{2}\left[\left(1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots \right)+\left(1-x+\frac{x^2}{2!}-\frac{x^3}{3!}+\cdots \right)\right] = 1+\frac{x^2}{2!}+\frac{x^4}{4!}+\cdots[/math]
[math]\displaystyle \cosh x=\sum^{\infty}_{n=0}\frac{x^{2n}}{(2n)!}[/math]

사인함수와 형태가 비슷하다!

3.2.3 오차함수(Error function)의 무한급수

확률, 통계나 미분방정식에서 나타나는 비초등함수의 대표적인 예로 오차함수([math]\text{erf}[/math])가 있다. 비록 특수함수이지만 마찬가지로 무한급수를 펼칠 수 있고, 이에 따라 근삿값을 얻을 수 있다.
[math]\displaystyle \text{erf}\left(x\right)={2 \over \sqrt {\pi}}\int^x_0 e^{-t^{2}} dt [/math]
피적분 함수를 무한급수로 전개할 수 있다.
[math]\displaystyle e^{-t^{2}}= \sum_{n=0}^\infty {\left(-1\right)^n t^{2n} \over n!} [/math]
따라서 오차함수의 무한급수는 아래와 같이 나타난다.
[math]\displaystyle \text{erf}\left(x\right)={2 \over \sqrt {\pi}} \sum_{n=0}^\infty {\left(-1\right)^n x^{2n+1} \over n!\left(2n+1\right)} [/math]
정규분포표를 구할 때 쓰는 오차함수도 다음과 같이 쉽게 나타낼 수 있다.
[math]\displaystyle \frac{1}{\sqrt{2\pi}}\sum_{n=0}^{\infty}\frac{\left ( -1 \right )^{n}x^{2n+1}}{\left ( 2n+1 \right )2^{n}n!}= \frac{1}{\sqrt{2\pi}} \int_{0}^{x}e^{\frac{-x^{2}}{2}}dx[/math]

4 이항급수 [math] \left(1+x\right)^\alpha [/math]

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

4.1 증명

구하고자 하는 무한급수의 계수를 미지수로 놓는다.
[math]\displaystyle y=(1+x)^\alpha=a_0+a_1 x+a_2 x^2+\cdots=\sum_{n=0}^{\infty}a_n x^n[/math]
양 변을 미분하면
[math]\displaystyle y'=\alpha(1+x)^{\alpha-1}=a_1+2a_2 x+3a_3 x^2+\cdots=\sum_{n=0}^{\infty}(n+1)a_{n+1} x^n[/math]
한편 이항급수와 그를 미분한 식의 관계식을 세울 수 있다.
[math]\alpha(1+x)^\alpha = (1+x)y'=\alpha y,\ [/math] [math]y'=\alpha y-xy',\ a_0=1[/math]
여기서 [math]xy'[/math]의 무한급수는
[math]\displaystyle xy'=0+a_1 x+2a_2 x^2+\cdots=\sum_{n=0}^{\infty}na_n x^n[/math]
그러므로 관계식의 양 변을 견주면 점화식이 나온다.
[math]\displaystyle \sum_{n=0}^{\infty}(n+1)a_{n+1} x^n= \alpha \sum_{n=0}^{\infty}a_n x^n- \sum_{n=0}^{\infty}na_n x^n,\ (n+1)a_{n+1}=(\alpha-n)a_n,\ a_0=1[/math]
따라서 [math]\displaystyle a_n={\alpha \choose n}[/math]임을 알 수 있다.

4.2 활용

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

5 삼각함수 [math] \sin x, \cos x [/math]

[math]\displaystyle \sin x = \sum_{n=0}^\infty {\left(-1\right)^n x^{2n+1} \over \left(2n+1\right)!} = x - {x^3 \over 3!} + {x^5 \over 5!} - \cdots + \left(-1\right)^n{x^{2n+1} \over \left(2n+1\right)!} + \cdots [/math]
[2]
[math]\displaystyle \cos x = \sum_{n=0}^\infty {\left(-1\right)^n x^{2n} \over \left(2n\right)!} = 1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots + \left(-1\right)^n{x^{2n} \over \left(2n\right)!} + \cdots [/math]
[3]
두 함수 모두 복소평면 전체에서 수렴한다.

5.1 증명

사인과 코사인의 n계도함수는 일반적으로 아래와 같이 써진다.
[math]\displaystyle (\sin x)^{(n)}=\sin(x+\frac{n\pi}{2})[/math]
[math]\displaystyle (\cos x)^{(n)}=\cos(x+\frac{n\pi}{2})[/math]
[math]x=0,\ n=1,2,3,\cdots[/math]을 차례대로 대입하면 무한급수를 도출할 수 있다.

5.2 활용

5.2.1 극한값

[math]\displaystyle \lim_{x \to 0} {\sin x \over x} = 1 [/math] 임을 증명해 보자.
[math]\displaystyle \sin x = x - {x^3 \over 3!} + {x^5 \over 5!} - \cdots + \left(-1\right)^n{x^{2n+1} \over \left(2n+1\right)!} + \cdots [/math] 에서 양변을 [math]x[/math]로 나누면
[math]\displaystyle {\sin x \over x} = 1 - {x^2 \over 3!} + {x^4 \over 5!} - \cdots + \left(-1\right)^n{x^{2n} \over \left(2n+1\right)!} + \cdots [/math] 이 된다.
[math] x \to 0 [/math] 일 때 이차항부터는 모두 0이 되어,
[math]\displaystyle \lim_{x \to 0} {\sin x \over x} = 1 [/math] 임을 알 수 있다.
라플라스 변환 항목의 각주에서 제시한 [math]\frac{\sin x}{x}[/math]를 적분해보라는 각주도 이 매클로린 급수를 적분함으로써 해결이 가능하다.


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

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

상술한 [math]e^x[/math][math]x[/math]대신 [math]ix[/math]를 대입해 보자.([math]\displaystyle i = \sqrt {-1} [/math])
[math] \displaystyle e^{ix} = \sum_{n=0}^\infty {\left(ix\right)^n \over n!} = 1 + ix + {\left(ix\right)^2 \over 2!} + {\left(ix\right)^3 \over 3!} + {\left(ix\right)^4 \over 4!} + \cdots + {\left(ix\right)^n \over n!} + \cdots [/math]
[math] i^2 = -1, i^3 = -i, i^4 = 1, \cdots [/math] 이므로,
[math] \displaystyle e^{ix} = 1 + ix - {x \over 2!} -i {x^3 \over 3!} + {x^4 \over 4!} + \cdots [/math]
[math] = \left(1 - {x^2 \over 2!} + {x^4 \over 4!} - \cdots + \left(-1\right)^n{x^{2n} \over \left(2n\right)!} + \cdots\right) + i\left(x - {x^3 \over 3!} + {x^5 \over 5!} - \cdots + \left(-1\right)^n{x^{2n+1} \over \left(2n+1\right)!} + \cdots\right) [/math]
따라서 아래 식을 보일 수 있다.
[math] \displaystyle e^{ix} = \sum_{n=0}^\infty {\left(-1\right)^n x^{2n} \over \left(2n\right)!} + i\sum_{n=0}^\infty {\left(-1\right)^n x^{2n+1} \over \left(2n+1\right)!} = \cos x+ i\sin x [/math]

6 로그함수 [math] \ln\left(1+x\right) [/math]

[math] \displaystyle \ln\left(1+x\right) = \sum_{n=1}^\infty {\left(-1\right)^{n+1}x^n \over n} = x - {x^2 \over 2} + {x^3 \over 3} - \cdots + \left(-1\right)^{n+1}{x^n \over n} + \cdots, -1\ltx \leq 1 [/math] 일 때 수렴한다.
[4]
[math]\displaystyle \ln x-\ln \left ( x-1 \right )=\sum_{n=1}^{\infty }\frac{1}{nx^{n}},\ x \gt1[/math] 일 때 수렴한다.

6.1 증명

자연로그 함수는 유리함수의 적분으로 표현할 수 있다.
[math]\displaystyle \ln(1+x)=\int_{0}^{x}\frac{1}{1+t}dt[/math]
피적분함수를 무한등비급수로 전개하면
[math]\displaystyle (1+t)^{-1} = 1-t+t^2-t^3+\cdots = \sum^{\infty}_{n=0}(-t)^n[/math]
따라서 이 무한급수를 적분하면 자연로그의 무한급수를 도출할 수 있다.
[math]\displaystyle \ln(1+x)= \sum^{\infty}_{n=0}\frac{-(-x)^{n+1}}{n+1}[/math]

6.2 활용

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

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

7.1 증명

역탄젠트 함수는 상술한 자연로그와 같이 유리함수의 적분으로 표현할 수 있다.
[math]\displaystyle \tan^{-1}x=\int_{0}^{x}\frac{1}{1+t^2}dt[/math]
유리함수는 아래와 같이 무한등비급수로 전개할 수 있다.
[math]\displaystyle (1+t^2)^{-1} = 1-t^2+t^4-t^6+\cdots = \sum^{\infty}_{n=0}(-1)^n t^{2n}[/math]
따라서 이 무한급수를 적분하면 역탄젠트 함수의 무한급수를 도출할 수 있다.
[math]\displaystyle \tan^{-1}x=\sum^{\infty}_{n=0}\frac{(-1)^n x^{2n+1}}{2n+1}[/math]

7.2 활용

7.2.1 원주율 [math]\pi[/math] 구하기

[math] \tan{\pi \over 4}= 1 [/math]이므로 역함수의 성질을 이용하면 [math] \tan^{-1}1={\pi \over 4} [/math]
[math] \displaystyle \tan^{-1} 1 = \sum_{n=0}^\infty {\left(-1\right)^n \over 2n+1}={\pi \over 4} = 1 - {1 \over 3} + {1 \over 5}-{1 \over 7}+... [/math]
따라서 양변에 4를 곱해주면
[math]{\pi} =4 \displaystyle \sum_{n=0}^\infty {\left(-1\right)^n \over 2n+1}= 4 - {4 \over 3} + {4 \over 5}-{4 \over 7}+\cdots=4-{8 \over 3\cdot 5} - {8 \over 7\cdot 9}- {8 \over 11\cdot 13}\cdots [/math]

그러나 이 급수는 실제 계산에서 쓸모가 별로 없다. 저 공식을 대입해서 계산하면 수렴 속도가 매우 느리기 때문이다.[1] 역탄젠트의 성질을 이용하여 공식을 변형할 수 있는데, 그 변형된 공식이 바로 --미친--마친 공식(Machin-like formula)이다.

아래 역탄젠트 함수의 성질을 이용할 수 있다. a, b는 정수.
[math] \arctan {a_1 \over b_1} + \arctan {a_2 \over b_2} = \arctan {a_1 b_2 + a_2 b_1 \over b_1 b_2 - a_1 a_2} [/math]
(단, 위 값이 [math]\pi/2[/math]보다 작아야 성립)

이를 이용하면 아래와 같은 마친 공식을 이끌어낼 수 있다. 그리고 이 공식에 역탄젠트의 무한급수를 대입하면 참값에 훨씬 빠르게 수렴함을 알 수 있다.
[math]\displaystyle {\pi \over 4} = \arctan{\frac{1}{2}}+\arctan{\frac{1}{3}} [/math]
[math]\displaystyle {\pi \over 4} = 4\arctan{\frac{1}{5}}-\arctan{\frac{1}{239}} [/math]

이 문서의 내용 중 전체 또는 일부는 테일러 급수문서에서 가져왔습니다.</div></div>
  1. 어느정도냐 하면 십만 번째 항까지 계산해야 3.14169…가 된다.