테일러 급수

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
사인 함수의 테일러 급수의 수렴. 검은 선은 사인 함수의 그래프이며, 색이 있는 선들은 테일러 급수를 각각 1차(빨강), 3차(주황), 5차(노랑), 7차(초록), 9차(파랑), 11차(남색), 13차(보라) 항까지 합한 것이다.
미적분학
v  d  e  h

미적분학에서, 테일러 급수(Taylor級數, 영어: Taylor series)는 도함수들의 한 점에서의 값으로 계산된 항의 무한합으로 해석함수를 나타내는 방법이다.

정의[편집]

매끄러운 함수 f\colon\mathbb R\to\mathbb R 및 실수 a\in\mathbb R (또는 정칙 함수 f\colon\mathbb C\to\mathbb C 및 복소수 a\in\mathbb C)가 주어졌을 때, f테일러 급수는 다음과 같은 멱급수이다.

T_f(x)=\sum_{n=0}^\infty \frac{f^{(n)}(a)}{n!} \, (x-a)^n=f(a) + f'(a)(x-a) + \frac12f''(a)(x-a)^2 + \frac16f'''(a)(x-a)^3 + \cdots

여기서 n!n계승을, f^{(n)}(a)a에서의 n도함수를 말한다. 0계 도함수는 원래 함수 자신이다. a = 0인 테일러 급수를 매클로린 급수(영어: Maclaurin series)라고 부른다.

다변수 테일러 급수[편집]

테일러 급수는 또한 둘 이상의 변수의 함수로 일반화될 수 있다. d개의 변수를 갖는 매끄러운 함수 f\colon\mathbb R^d\to\mathbb R테일러 급수는 다음과 같다.

 \begin{align} & T_f(x_1,\dots,x_d)\\ &= \sum_{n_1=0}^\infty \sum_{n_2=0}^\infty \cdots \sum_{n_d = 0}^\infty \frac{(x_1-a_1)^{n_1}\cdots (x_d-a_d)^{n_d}}{n_1!\cdots n_d!}\,\left(\frac{\partial^{n_1 + \cdots + n_d}f}{\partial x_1^{n_1}\cdots \partial x_d^{n_d}}\right)(a_1,\dots,a_d) \\ &= f(a_1, \dots,a_d) + \sum_{j=1}^d \frac{\partial f(a_1, \dots,a_d)}{\partial x_j} (x_j - a_j) \\ &\qquad + \frac{1}{2!} \sum_{j=1}^d \sum_{k=1}^d \frac{\partial^2 f(a_1, \dots,a_d)}{\partial x_j \partial x_k} (x_j - a_j)(x_k - a_k) \\ &\qquad + \frac{1}{3!} \sum_{j=1}^d\sum_{k=1}^d\sum_{l=1}^d \frac{\partial^3 f(a_1, \dots,a_d)}{\partial x_j \partial x_k \partial x_l} (x_j - a_j)(x_k - a_k)(x_l - a_l) + \cdots \end{align}

예를 들어, 두 개의 변수 x, y에 의존하는 함수에 대해 점 (a, b)에 관한 2차식을 위한 테일러 급수는 다음과 같다.

\sum_{k=0}^\infty\sum_{i=0}^k\frac{(x-a)^{k-i}(y-b)^i}{(k-i)!i!}\left.\frac{\partial^kf}{\partial x^{k-i}\partial y^i}\right|_{(a,b)}=f(a,b) +(x-a)f_x(a,b)+(y-b)\, f_y(a,b)+ \frac12\left((x-a)^2f_{xx}(a,b) + 2(x-a)(y-b)f_{xy}(a,b) +(y-b)^2f_{yy}(a,b) \right)+\cdots

여기서 첨자는 각각의 편미분을 나타낸다.

성질[편집]

수렴 여부[편집]

매끄러운 함수의 경우, 일반적으로 테일러 급수는 수렴할 필요가 없고, 설사 수렴하더라도 원래 함수와 다를 수 있다. 예를 들어,

x\mapsto\begin{cases}\exp(-1/x^2)&x\ne0\\0&x=0\end{cases}

매끄러운 함수이며, 0에서의 모든 차수의 도함수들이 0이다. 따라서 0에서의 테일러 급수는 (모든 항이 0이므로) 수렴하지만, 원래 함수와 다르다. 테일러 급수가 원래 함수로 수렴하는 경우를 해석 함수라고 한다.

반면, 복소 함수의 경우, 모든 정칙 함수는 테일러 급수가 항상 원래 함수로 수렴한다. 즉, 모든 정칙 함수해석 함수이다.

오차[편집]

어떤 매끄러운 함수 fn차 테일러 급수로 근사하였을 때, 나머지 오차를 다음과 같이 쓰자.

R_n(x;a)=f(x)-\sum_{i=0}^n\frac{x^n}{n!}f^{(n)}(a)

이 경우, 만약 a\ne x라면 테일러 정리에 따라

R_n(x;a) =\frac{f^{(n+1)}(\xi)}{(n+1)!} (x-a)^{n+1}

을 만족하는

\xi\in\begin{cases}(a, x)&a<x\\(x,a)&x<a\end{cases}

가 존재한다.

증명[편집]

미적분학의 제2 기본정리로부터

\int_{a}^{x} f'(t)dt=f(x)-f(a)

이다.

이때 위 식을 다음과 같이 변형하자.

\int_{a}^{x} f'(t)dt=\int_{a}^{x} (-1){(-f'(t))}dt

이제, 이를 이용하여 부분적분을 시행하자. -1을 적분할 함수, -f'(t)를 미분할 함수로 잡자. 이때 f(t)가 무한번 미분가능하면 부분적분을 무한번 할 수 있으므로 다음과 같이 무한히 시행하여 보면

\int_{a}^{x} (-1)(-f'(t))dt
=\left[-(x-t)f'(t)-\frac{(x-t)^2}{2}f''(t)-\frac{(x-t)^3}{6}f'''(t)-\cdots\right]_{a}^{x}

단, 여기서 -1을 계속 적분할 때 -1의 한 부정적분을 구해서 써주면 되는데, 적분변수 t와 관계없는 값 x를 상수취급하여 x-t를 부정적분으로서 구했다.

이제 위 식을 풀면

\left[-(x-t)f'(t)-\frac{(x-t)^2}{2}f''(t)-\frac{(x-t)^3}{6}f'''(t)-\cdots\right]_{a}^{x}
=(x-a)f'(a)+\frac{(x-a)^2}{2!}f''(a)+\frac{(x-a)^3}{3!}f'''(a)+\cdots=f(x)-f(a)

그러므로, 매끄러운 함수 f(x)에 대하여

f(x)=f(a)+(x-a)f'(a)+\frac{(x-a)^2}{2!}f''(a)+\frac{(x-a)^3}{3!}f'''(a)+\cdots

이 된다.

[편집]

모든 다항식의 매클로린 급수는 다항식 자기 자신이다.

대표적인 테일러 급수의 예로는 다음이 있다. 테일러 급수가 수렴할 조건을 괄호에 제시하였다.

\frac1{1-x}=\sum_{n=0}^\infty x^n=1 + x + x^2 + x^3 + \cdots\qquad(|x|<1)
\exp x=\sum_{n=0}^\infty\frac{x^n}{n!}=1+x+\frac12x^2+\frac16x^3+\cdots\qquad\forall x
\sin x = \sum^\infty_{n=0} \frac{(-1)^n}{(2n+1)!} x^{2n+1} =  x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots  \qquad\forall x
\cos x = \sum^\infty_{n=0} \frac{(-1)^n}{(2n)!} x^{2n} =  1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots  \qquad\forall x
\ln(1-x)=-\sum_{n=1}^\infty\frac{x^n}n=-x-\frac12x^2-\frac13x^3-\frac14x^4-\cdots\qquad(|x|<1)
\ln (1+x) = \sum^\infty_{n=1} \frac{-(-1)^n}{n} x^{n} = x-\frac{x^2}2+\frac{x^3}3-\frac{x^4}4+\cdots\qquad(|x|<1)

다변수 테일러 급수의 예[편집]

다음과 같은 함수의 원점에서의 테일러 급수를 계산해 보자.

f(x,y) = e^x\log{(1+y)}.

먼저, 우리가 필요한 편미분을 계산하면,

f_x(0,0)=e^x\log(1+y)\bigg|_{(x,y)=(0,0)}=0,
f_y(0,0)=\frac{e^x}{1+y}\bigg|_{(x,y)=(0,0)}=1,
f_{xx}(0,0)=e^x\log(1+y)\bigg|_{(x,y)=(0,0)}=0,
f_{yy}(0,0)=-\frac{e^x}{(1+y)^2}\bigg|_{(x,y)=(0,0)}=-1,
f_{xy}(0,0)=f_{yx}(a,b)=\frac{e^x}{1+y}\bigg|_{(x,y)=(0,0)}=1.

따라서 테일러 급수는 다음과 같다.

T_f(x,y) = y+xy-\frac12y^2+\cdots

역사[편집]

테일러 급수의 개념은 스코틀랜드의 수학자 제임스 그레고리(영어: James Gregory)가 발견했고, 1715년에 영국의 수학자 브룩 테일러(영어: Brook Taylor)가 공식적으로 발표했다. 0인 지점에서의 테일러 급수를 특별히 매클로린 급수(Maclaurin series)라 하는데, 18세기에 테일러 급수의 이 특별한 경우를 광범위하게 사용되도록 만든 콜린 매클로린(영어: Colin Maclaurin)의 이름에서 유래됐다.

바깥 고리[편집]

같이 보기[편집]