테일러 전개 문제

테일러 급수(Taylor series)는 임의의 함수를 다항식으로 전개하는 방법입니다. 보통 다음처럼 씌어집니다.

\(f(x+\epsilon) = f(x)+ \epsilon f'(x) + \frac{1}{2!} \epsilon^2 f''(x) +\mathcal{O}(\epsilon^3)\)
여기서 ε은 매우 작은 상수라고 합시다.

 

그렇다면 아래의 경우는 올바른 전개일까요?

\(f(x+\epsilon x)= f(x)+ \epsilon x f'(x) + \frac{1}{2!} (\epsilon x)^2 f''(x) +\mathcal{O}((\epsilon x)^3)\)

여기서도 εx가 매우 작다고 가정합니다. 몇 가지 경우를 해봐도 별 문제는 없어보입니다. 그럼 다음 함수는 어떻게 전개해야 할까요?

\(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로 각각 한 번 씩 미분해야 하는 경우인데요, 이 미분 순서에 따라 결과가 달라질 수