미적분학 에서 테일러 급수 (Taylor級數, 영어 : Taylor series )는 도함수 들의 한 점에서의 값으로 계산된 항의 무한합 으로 해석함수 를 나타내는 방법이다.
사인 함수 의 테일러 급수의 수렴. 검은 선은 사인 함수의 그래프이며, 색이 있는 선들은 테일러 급수를 각각 1차(빨강 ), 3차(주황 ), 5차(노랑 ), 7차(초록 ), 9차(파랑 ), 11차(남색 ), 13차(보라 ) 항까지 합한 것이다.정의
매끄러운 함수 f : R → R {\displaystyle f\colon \mathbb {R} \to \mathbb {R} } a ∈ R {\displaystyle a\in \mathbb {R} } 정칙 함수 f : C → C {\displaystyle f\colon \mathbb {C} \to \mathbb {C} } a ∈ C {\displaystyle a\in \mathbb {C} } f {\displaystyle f} 테일러 급수 는 다음과 같은 멱급수 이다.
T f ( x ) = ∑ n = 0 ∞ f ( n ) ( a ) n ! ( x − a ) n = f ( a ) + f ′ ( a ) ( x − a ) + 1 2 f ″ ( a ) ( x − a ) 2 + 1 6 f ‴ ( a ) ( x − a ) 3 + ⋯ {\displaystyle T_{f}(x)=\sum _{n=0}^{\infty }{\frac {f^{(n)}(a)}{n!}}\,(x-a)^{n}=f(a)+f'(a)(x-a)+{\frac {1}{2}}f''(a)(x-a)^{2}+{\frac {1}{6}}f'''(a)(x-a)^{3}+\cdots } 여기서 n ! {\displaystyle n!} n {\displaystyle n} 계승 을, f ( n ) ( a ) {\displaystyle f^{(n)}(a)} f {\displaystyle f} a {\displaystyle a} n {\displaystyle n} 도함수 를 말한다. 특히 0계 도함수는 원래 함수 자신이다. a = 0 {\displaystyle a=0} 매클로린 급수 (영어 : Maclaurin series )라고 부른다.
다변수 테일러 급수 테일러 급수는 또한 둘 이상의 변수의 함수로 일반화될 수 있다. d {\displaystyle d} 매끄러운 함수 f : R d → R {\displaystyle f\colon \mathbb {R} ^{d}\to \mathbb {R} } 테일러 급수 는 다음과 같다.
T f ( x 1 , … , x d ) = ∑ n 1 = 0 ∞ ∑ n 2 = 0 ∞ ⋯ ∑ n d = 0 ∞ ( x 1 − a 1 ) n 1 ⋯ ( x d − a d ) n d n 1 ! ⋯ n d ! ( ∂ n 1 + ⋯ + n d f ∂ x 1 n 1 ⋯ ∂ x d n d ) ( a 1 , … , a d ) = f ( a 1 , … , a d ) + ∑ j = 1 d ∂ f ( a 1 , … , a d ) ∂ x j ( x j − a j ) + 1 2 ! ∑ j = 1 d ∑ k = 1 d ∂ 2 f ( a 1 , … , a d ) ∂ x j ∂ x k ( x j − a j ) ( x k − a k ) + 1 3 ! ∑ j = 1 d ∑ k = 1 d ∑ l = 1 d ∂ 3 f ( a 1 , … , a d ) ∂ x j ∂ x k ∂ x l ( x j − a j ) ( x k − a k ) ( x l − a l ) + ⋯ {\displaystyle {\begin{aligned}&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{aligned}}} 예를 들어, 두 개의 변수 x, y에 의존하는 함수에 대해 점 (a, b)에 관한 2차식을 위한 테일러 급수는 다음과 같다.
∑ k = 0 ∞ ∑ i = 0 k ( x − a ) k − i ( y − b ) i ( k − i ) ! i ! ∂ k f ∂ x k − i ∂ y i | ( a , b ) = f ( a , b ) + ( x − a ) f x ( a , b ) + ( y − b ) f y ( a , b ) + 1 2 ( ( x − a ) 2 f x x ( a , b ) + 2 ( x − a ) ( y − b ) f x y ( a , b ) + ( y − b ) 2 f y y ( a , b ) ) + ⋯ {\displaystyle \sum _{k=0}^{\infty }\sum _{i=0}^{k}{\frac {(x-a)^{k-i}(y-b)^{i}}{(k-i)!i!}}\left.{\frac {\partial ^{k}f}{\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)+{\frac {1}{2}}\left((x-a)^{2}f_{xx}(a,b)+2(x-a)(y-b)f_{xy}(a,b)+(y-b)^{2}f_{yy}(a,b)\right)+\cdots } 여기서 첨자는 각각의 편미분을 나타낸다.
성질
수렴성 매끄러운 함수 의 경우, 일반적으로 테일러 급수는 수렴할 필요가 없고, 설사 수렴하더라도 원래 함수와 다를 수 있다. 예를 들어,
x ↦ { exp ( − 1 / x 2 ) x ≠ 0 0 x = 0 {\displaystyle x\mapsto {\begin{cases}\exp(-1/x^{2})&x\neq 0\\0&x=0\end{cases}}} 는 매끄러운 함수 이며, 0에서의 모든 차수의 도함수들이 0이다. 따라서 0에서의 테일러 급수는 (모든 항이 0이므로) 수렴하지만, 원래 함수와 다르다. 테일러 급수가 원래 함수로 수렴하는 경우를 해석 함수
반면, 복소 함수의 경우, 모든 정칙 함수 는 테일러 급수가 항상 원래 함수로 수렴한다. 즉, 모든 정칙 함수 는 해석 함수 이다.
오차 테일러 급수를 다음 식으로 나타낸다고 할 때,
f ( x ) = ∑ k = 0 n f ( k ) ( a ) k ! ( x − a ) k + R n + 1 ( x ) {\displaystyle f(x)=\sum _{k=0}^{n}{\frac {f^{(k)}(a)}{k!}}(x-a)^{k}+R_{n+1}(x)} 마지막 항인 R n + 1 ( x ) {\displaystyle R_{n+1}(x)} 나머지 항 또는 절단오차 라 하는데, [a, x] 또는 [x, a]에 속하는 적당한 실수 b에 대해 다음과 같이 쓸 수 있다.
R n + 1 ( x ) = f ( n + 1 ) ( b ) ( n + 1 ) ! ( x − a ) n + 1 . {\displaystyle R_{n+1}(x)={\frac {f^{(n+1)}(b)}{(n+1)!}}(x-a)^{n+1}.} 증명
미적분학의 제2 기본정리 로부터
∫ a x f ′ ( t ) d t = f ( x ) − f ( a ) {\displaystyle \int _{a}^{x}f'(t)dt=f(x)-f(a)} 이다.
이때 위 식을 다음과 같이 변형하자.
∫ a x f ′ ( t ) d t = ∫ a x ( − 1 ) ( − f ′ ( t ) ) d t {\displaystyle \int _{a}^{x}f'(t)dt=\int _{a}^{x}(-1){(-f'(t))}dt} 이제, 이를 이용하여 부분적분 을 시행하자. − 1 {\displaystyle -1} − f ′ ( t ) {\displaystyle -f'(t)} f ( t ) {\displaystyle f(t)}
∫ a x ( − 1 ) ( − f ′ ( t ) ) d t {\displaystyle \int _{a}^{x}(-1)(-f'(t))dt} = [ − ( x − t ) f ′ ( t ) − ( x − t ) 2 2 f ″ ( t ) − ( x − t ) 3 6 f ‴ ( t ) − ⋯ ] a x {\displaystyle =\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를 부정적분으로서 구했다.
이제 위 식을 풀면
[ − ( x − t ) f ′ ( t ) − ( x − t ) 2 2 f ″ ( t ) − ( x − t ) 3 6 f ‴ ( t ) − ⋯ ] a x {\displaystyle \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 ) + ( x − a ) 2 2 ! f ″ ( a ) + ( x − a ) 3 3 ! f ‴ ( a ) + ⋯ = f ( x ) − f ( a ) {\displaystyle =(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 ) + ( x − a ) 2 2 ! f ″ ( a ) + ( x − a ) 3 3 ! f ‴ ( a ) + ⋯ {\displaystyle f(x)=f(a)+(x-a)f'(a)+{\frac {(x-a)^{2}}{2!}}f''(a)+{\frac {(x-a)^{3}}{3!}}f'''(a)+\cdots } 이 된다.
예
모든 다항식 의 매클로린 급수는 다항식 자기 자신이다.
대표적인 테일러 급수의 예로는 다음이 있다. 테일러 급수가 수렴할 조건을 괄호에 제시하였다.
1 1 − x = ∑ n = 0 ∞ x n = 1 + x + x 2 + x 3 + ⋯ ( | x | < 1 ) {\displaystyle {\frac {1}{1-x}}=\sum _{n=0}^{\infty }x^{n}=1+x+x^{2}+x^{3}+\cdots \qquad (|x|<1)} exp x = ∑ n = 0 ∞ x n n ! = 1 + x + 1 2 ! x 2 + 1 3 ! x 3 + ⋯ ∀ x {\displaystyle \exp x=\sum _{n=0}^{\infty }{\frac {x^{n}}{n!}}=1+x+{\frac {1}{2!}}x^{2}+{\frac {1}{3!}}x^{3}+\cdots \qquad \forall x} sin x = ∑ n = 0 ∞ ( − 1 ) n ( 2 n + 1 ) ! x 2 n + 1 = x − x 3 3 ! + x 5 5 ! − ⋯ ∀ x {\displaystyle \sin x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n+1)!}}x^{2n+1}=x-{\frac {x^{3}}{3!}}+{\frac {x^{5}}{5!}}-\cdots \qquad \forall x} cos x = ∑ n = 0 ∞ ( − 1 ) n ( 2 n ) ! x 2 n = 1 − x 2 2 ! + x 4 4 ! − ⋯ ∀ x {\displaystyle \cos x=\sum _{n=0}^{\infty }{\frac {(-1)^{n}}{(2n)!}}x^{2n}=1-{\frac {x^{2}}{2!}}+{\frac {x^{4}}{4!}}-\cdots \qquad \forall x} tan x = ∑ n = 1 ∞ B 2 n ( − 1 ) n 2 2 n ( 1 − ( 2 2 n ) ) x 2 n − 1 ( 2 n ) ! = x 1 1 + x 3 3 + 2 ⋅ x 5 15 + 17 ⋅ x 7 315 + ⋯ ( | x | < π 2 ) {\displaystyle \tan x=\sum _{n=1}^{\infty }{{B_{2n}(-1)^{n}2^{2n}(1-(2^{2n}))}x^{2n-1} \over {(2n)!}}={x^{1} \over 1}+{x^{3} \over 3}+{{2\cdot x^{5}} \over {15}}+{{17\cdot x^{7}} \over {315}}+\cdots \;\;\;\left(\left|x\right|<{\frac {\pi }{2}}\right)} B {\displaystyle B} ln ( 1 − x ) = − ∑ n = 1 ∞ x n n = − x − 1 2 x 2 − 1 3 x 3 − 1 4 x 4 − ⋯ ( | x | < 1 ) {\displaystyle \ln(1-x)=-\sum _{n=1}^{\infty }{\frac {x^{n}}{n}}=-x-{\frac {1}{2}}x^{2}-{\frac {1}{3}}x^{3}-{\frac {1}{4}}x^{4}-\cdots \qquad (|x|<1)} ln ( 1 + x ) = ∑ n = 1 ∞ − ( − 1 ) n n x n = x − x 2 2 + x 3 3 − x 4 4 + ⋯ ( | x | < 1 ) {\displaystyle \ln(1+x)=\sum _{n=1}^{\infty }{\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 ) . {\displaystyle f(x,y)=e^{x}\log {(1+y)}.} 먼저, 우리가 필요한 편미분을 계산하면,
f x ( 0 , 0 ) = e x log ( 1 + y ) | ( x , y ) = ( 0 , 0 ) = 0 , {\displaystyle f_{x}(0,0)=e^{x}\log(1+y){\bigg |}_{(x,y)=(0,0)}=0,} f y ( 0 , 0 ) = e x 1 + y | ( x , y ) = ( 0 , 0 ) = 1 , {\displaystyle f_{y}(0,0)={\frac {e^{x}}{1+y}}{\bigg |}_{(x,y)=(0,0)}=1,} f x x ( 0 , 0 ) = e x log ( 1 + y ) | ( x , y ) = ( 0 , 0 ) = 0 , {\displaystyle f_{xx}(0,0)=e^{x}\log(1+y){\bigg |}_{(x,y)=(0,0)}=0,} f y y ( 0 , 0 ) = − e x ( 1 + y ) 2 | ( x , y ) = ( 0 , 0 ) = − 1 , {\displaystyle f_{yy}(0,0)=-{\frac {e^{x}}{(1+y)^{2}}}{\bigg |}_{(x,y)=(0,0)}=-1,} f x y ( 0 , 0 ) = f y x ( a , b ) = e x 1 + y | ( x , y ) = ( 0 , 0 ) = 1. {\displaystyle f_{xy}(0,0)=f_{yx}(a,b)={\frac {e^{x}}{1+y}}{\bigg |}_{(x,y)=(0,0)}=1.} 따라서 테일러 급수는 다음과 같다.
T f ( x , y ) = y + x y − 1 2 y 2 + ⋯ {\displaystyle T_{f}(x,y)=y+xy-{\frac {1}{2}}y^{2}+\cdots } 역사
테일러 급수의 개념은 스코틀랜드의 수학자 제임스 그레고리(영어 : James Gregory )가 발견했고, 1715년에 영국의 수학자 브룩 테일러 (영어 : Brook Taylor )가 공식적으로 발표했다. 0인 지점에서의 테일러 급수를 특별히 매클로린 급수 (Maclaurin series)라 하는데, 18세기에 테일러 급수의 이 특별한 경우를 광범위하게 사용되도록 만든 콜린 매클로린 (영어 : Colin Maclaurin )의 이름에서 유래됐다.
테일러급수는 많은 분야에 활용되고 있다. 일례로 머신러닝의 최적화 과정을 수행할 때 쓰이기도 한다.[출처 필요 ]
같이 보기
참고 문헌 Abdelwahab Kharab; Ronald B. Guenther (2013). 《An Introduction to Numerical Methods A MATLAB Approach》 [이공학도를 위한 수치해석]. 학산미디어. ISBN 978-89-966211-8-8 각주 
(단,
는 베르누이 수)
