고계 도함수 (Higher-Order Derivatives)
고계 도함수는 함수 $f$를 여러 번 미분하여 얻은 도함수들을 의미합니다. 일계 도함수가 기울기를 나타낸다면, 이계 도함수는 곡률(오목과 볼록)을, 그 이상의 도함수들은 함수의 더욱 정교한 성질을 설명합니다.
Definition & Notation
1. 정의와 표기법
함수 $f$를 $n$번 미분한 것을 $n$계 도함수라고 하며, 다음과 같이 표기합니다.
$$f^{(n)}(x) = \frac{d^n y}{dx^n} = \frac{d}{dx}\left(f^{(n-1)}(x)\right)$$
- $f'(x)$: 일계 도함수 (기울기)
- $f''(x)$: 이계 도함수 (가속도/곡률)
- $f^{(n)}(x)$: $n$계 도함수
Geometric Meaning
2. 기하학적 의미
이계 도함수 $f''(x)$는 곡선의 모양을 결정짓는 핵심 지표입니다.
- $f''(x) > 0$: 아래로 볼록 (Concave Up)
- $f''(x) < 0$: 위로 볼록 (Concave Down)
- 변곡점 (Inflection Point): $f''(x)$의 부호가 바뀌는 지점
3. 라이프니츠의 고계 도함수 공식
두 함수의 곱 $(uv)$의 $n$계 도함수는 이항 정리와 유사한 구조를 가집니다.
$$(uv)^{(n)} = \sum_{k=0}^{n} \binom{n}{k} u^{(n-k)} v^{(k)}$$
※ 이 공식은 다항식과 지수함수의 곱 등을 여러 번 미분할 때 매우 효율적입니다.
4. 주요 응용 분야
- 테일러 급수 (Taylor Series): 함수를 고계 도함수들의 합으로 근사하여 다항식 형태로 나타냅니다.
- 최적화 문제: 이계 도함수 판정법을 통해 극대값과 극소값을 엄밀히 구분합니다.
- 물리학: 위치를 시간에 대해 미분하면 속도, 속도를 미분하면 가속도, 가속도를 미분하면 가속도의 변화율(Jerk)이 됩니다.