미적분 · 테일러 급수

테일러 급수

테일러 급수는 한 점에서의 도함수들로 다항식 근사를 차례로 만듭니다. 항을 추가하고 중심을 옮겨 근사가 좋아지는 곳과 급수가 더는 수렴하지 않는 곳을 살펴보세요.

01

이 시각화의 테일러 급수

함수 ff의 점 aa에서의 테일러 급수(테일러 전개)는 그 점의 도함수들로 만든 거듭제곱급수입니다. a=0a = 0에서 전개하면 매클로린 급수라고도 합니다. 중심은 x0x_0로 쓰기도 합니다. nn차까지의 부분합이 테일러 다항식 PnP_n입니다. 차수가 nn 이하인 다항식 가운데 aa에서의 함수값과 nn차까지의 도함수 값이 ff의 해당 값들과 일치하는 유일한 다항식입니다.

테일러 다항식
Pn(x)=∑k=0nf(k)(a)k! (x−a)k.P_n(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}\,(x-a)^k.

먹색 곡선은 ff, 노란 곡선은 PnP_n이고, 파란 점은 중심 aa를 표시합니다. xx축의 노란 막대는 ∣f(x)−Pn(x)∣<0.01|f(x) - P_n(x)| < 0.01을 만족하는 가장 넓은 구간 ∣x−a∣<r|x - a| < r을 측정한 것입니다. aa 양쪽을 0.0025 간격으로 확인한 뒤 처음 벗어난 위치를 더 세밀하게 찾아 아래쪽 값으로 버림해 표시합니다. 파란 괄호는 a±Ra \pm R에 놓이며, R은 수렴반경입니다. 급수는 ∣x−a∣<R|x - a| < R에서 수렴하고 ∣x−a∣>R|x - a| > R에서 발산합니다. 여기의 일곱 함수는 이 구간 안에서 급수의 합이 ff 자체와 같습니다. RR는 aa에서 ff이 해석적이지 않게 되는 가장 가까운 점까지의 거리로, 복소수 점도 포함합니다.

주어진 xx에서 PnP_n과 ff이 얼마나 다른지는 나머지항으로 측정합니다. ff이 aa와 xx 사이 구간 전체에서 n+1n + 1차까지 미분 가능하면(따라서 1/(1−x)1/(1 - x)의 1에서의 극점과 같은 특이점을 구간이 가로질러서는 안 됩니다),

나머지항(라그랑주 형태)
f(x)−Pn(x)=f(n+1)(ξ)(n+1)! (x−a)n+1여기서 ξ은 a와 x 사이의 어떤 값입니다.f(x) - P_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}\,(x-a)^{n+1}\quad\text{여기서 } \xi \text{은 } a \text{와 } x\text{ 사이의 어떤 값입니다.}
02

살펴볼 점

  • 여기서는 반지름 안에서 부분합이 ff으로 수렴하므로, 그 안의 각 xx에서 nn가 커질수록 오차가 0으로 갑니다. 다만 매 단계 줄어드는 것은 아닙니다. 반지름 밖에서는 각 항이 0으로 가지 않고 Pn(x)P_n(x)도 안정되지 않습니다. 막대는 RR에 가까워질 뿐입니다. 막대는 화면에서 측정하지만 RR는 공식에서 얻습니다.
  • 함수는 실수 전체에서 매끄러워도 수렴반경이 유한할 수 있습니다. 1/(1+x2)1/(1 + x^2)은 복소수 점 ±i\pm i에서 정의되지 않으므로 aa에서 전개한 급수는 ∣x−a∣<1+a2|x - a| < \sqrt{1 + a^2}에서만 수렴합니다.
  • 구간 끝점에서는 여러 경우가 가능합니다. ln⁡(1+x)\ln(1 + x)의 0에서의 급수는 x=1x = 1에서 ln⁡2\ln 2로 수렴하지만 x=−1x = -1에서는 수렴하지 않습니다. 1/(1−x)1/(1 - x)의 급수는 양 끝점 모두에서 수렴하지 않고, 1+x\sqrt{1 + x}의 급수는 양쪽 모두에서 수렴합니다.
  • a=0a = 0에서 sin⁡x\sin x에는 홀수 차수만, cos⁡x\cos x에는 짝수 차수만 있으므로 사인 함수의 P2mP_{2m}과 P2m−1P_{2m-1}는 같은 다항식입니다. n → ∞은 이런 0인 항을 건너뛰어 매 단계 곡선이 달라지게 합니다.
  • 급수가 수렴한다고 합이 ff과 같아지는 것은 아닙니다. x≠0x \ne 0에서 e−1/x2e^{-1/x^2}, 0에서는 0인 함수는 0에서 모든 차수의 도함수가 0입니다. 따라서 그곳의 테일러 급수는 모든 xx에 대해 0입니다.
03

어디에 쓰일까요?

  • 물리에서는 한 점 근처의 처음 몇 항을 사용합니다. 진자의 작은 진동에는 sin⁡θ≈θ\sin\theta \approx \theta을 쓰고, (1−v2/c2)−1/2≈1+v2/(2c2)(1 - v^2/c^2)^{-1/2} \approx 1 + v^2/(2c^2)은 낮은 속도에서 상대론적 운동에너지를 12mv2\tfrac12 mv^2로 바꿔 줍니다.
  • 나머지항은 계산에 몇 항이 필요한지 알려 줍니다. 1/k!1/k!을 k=0k = 0부터 1010까지 더한 값, 즉 함수 exe^x의 P10(1)P_{10}(1)만으로도 ee를 오차 3×10−83 \times 10^{-8} 이내로 구합니다.
04

조작 방법

  • 차수 노브를 돌리거나 n → ∞을 눌러 다음 0이 아닌 항을 하나씩 n=30n = 30까지 추가하세요(최댓값에서 다시 누르면 0부터 재생합니다). 파란 점이나 축의 표시를 드래그하면 중심이 움직이며, 주요 중심점 버튼은 정확한 값으로 이동합니다.
  • 그래프 아래 띠는 그래프 전체 범위의 ∣f−Pn∣|f - P_n|을 로그 눈금으로 보여 줍니다. 발표 모드는 프로젝터용 전체 화면을 엽니다(스페이스: 항 추가, ← →: 차수 변경, H: 반지름 숨기기).
05

관련 개념