테일러 급수(Taylor series)는 임의의 함수를 다항식으로 전개하는 방법입니다. 보통 다음처럼 씌어집니다.
$$f(x+\epsilon) = f(x)+ \epsilon f'(x) + \frac{1}{2!} \epsilon^2 f''(x) +\mathcal{O}(\epsilon^3)$$
그런데 만일 ε이 x의 함수라면 어떻게 전개해야 할까요? 위 우변에서 ε을 모두 ε(x)로 바꾸면 해결될까요? 우변의 두번째 항의 f'(x)는 사실 아래 왼쪽 식의 결과입니다.
$$\frac{df(x+\epsilon)}{dx}\Big|_{\epsilon=0}\to \frac{df(x+\epsilon(x))}{dx}\Big|_{\epsilon(x)=0} = f'(x)[1+\epsilon'(x)]_{\epsilon(x)=0}$$
이제 이걸 오른쪽 식처럼 바꾸어 써야겠죠. 그런데 맨 오른쪽 식에서 ε을 미분한 항에 ε(x) = 0을 대입하는 걸 어떻게 적용해야 할지 모르겠습니다. 여튼 마찬가지 방식으로 두 번 미분한 항을 구합니다.
$$\frac{d^2f(x+\epsilon)}{dx^2}\Big|_{\epsilon=0}\to\frac{d^2f(x+\epsilon(x))}{dx^2}\Big|_{\epsilon(x)=0}$$
$$=\left\{f''(x)[1+\epsilon'(x)]^2+f'(x)\epsilon''(x)\right\}_{\epsilon(x)=0}$$
여전히 명쾌하지는 않지만, 단순하게 ε(x) = εx 인 경우를 봅시다. ε(x) = 0라는 조건은 ε = 0으로 대신 쓰도록 하지요. (그래도 되나?;;;;) 그러면 결과적으로 아래 식을 얻습니다.
$$f(x+\epsilon x)= f(x)+ \epsilon x f'(x) + \frac{1}{2!} (\epsilon x)^2 f''(x) +\mathcal{O}((\epsilon x)^3)$$
그럼 다음 함수는 어떻게 전개해야 할까요?
$$f(x+\epsilon x/y,y+\delta)$$
우선 변수가 두 개인 기본적인 테일러 전개부터 보겠습니다.
$$f(x+\epsilon,y+\delta) = f(x,y)+ \epsilon \partial_x f(x,y) + \delta \partial_y f(x,y)$$
$$+\frac{1}{2!}\left[\epsilon^2 \partial^2_x f(x,y) +2\epsilon\delta \partial_x \partial_yf(x,y)+ \delta^2 \partial^2_y f(x,y)\right] +\cdots$$
여기서 ε과 δ는 모두 상수로 취급했으므로 x나 y로 미분할 때 걸리적거리지 않습니다. 하지만 제가 전개하고자 하는 위의 함수에서는 ε에 x/y가 곱해져 있어서 주의해야 합니다. 문제가 되는 부분은 두 번 미분한 항 중에서도 x와 y로 각각 한 번 씩 미분해야 하는 경우인데요, 이 미분 순서에 따라 결과가 달라질 수 있습니다. 이건 더 생각해봐야겠네요.
