정의
이계 도함수는 함수의 두 번째 미분을 의미한다. 1변수 실함수 $f:\mathbb{R}\to\mathbb{R}$에 대하여는 이계 도함수 $f''(x)$가 단일값을 갖는다. 다변수 함수 $f:\mathbb{R}^n\to\mathbb{R}$에 대해서는 이계 도함수를 행렬 형태인 헤시안(Hessian) 행렬 $\mathbf{H}(x)$로 표현한다. 헤시안의 $(i,j)$ 원소는
$$
\mathbf{H}_{ij}(x)=\frac{\partial^2 f}{\partial x_i \partial x_j}(x)
$$
이다.
대칭성 정리 (Clairaut–Schwarz 정리)
함수 $f$가 두 번 연속으로 미분가능($C^2$ 클래스)하면, 모든 $i,j$에 대해
$$
\frac{\partial^2 f}{\partial x_i \partial x_j}(x)=\frac{\partial^2 f}{\partial x_j \partial x_i}(x)
$$
가 성립한다. 따라서 헤시안 행렬은 대칭 행렬이 된다. 이 성질을 “이계 도함수의 대칭성”이라고 부른다.
조건
- 함수가 정의역의 각 점에서 두 번 연속으로 미분가능해야 한다($C^2$).
- 경계점이나 미분가능성이 제한된 영역에서는 대칭성이 보장되지 않을 수 있다.
의의
- 대칭성은 최적화 이론에서 임계점의 성격(극대, 극소, 안장점)을 판단할 때 핵심적인 역할을 한다.
- 물리학·공학에서 라플라시안 등 두 번째 미분 연산자의 대칭성은 보존 법칙과 연계된다.
- 수치 해석에서는 헤시안이 대칭이면 저장과 연산 비용을 절감할 수 있다(예: 대칭 행렬 전용 알고리즘 사용).
예시
-
$f(x,y)=x^2y+3xy^2$
$$ \frac{\partial^2 f}{\partial x \partial y}=2x+6y,\qquad \frac{\partial^2 f}{\partial y \partial x}=2x+6y $$ 두 혼합 편미분이 동일하므로 헤시안은 대칭이다. -
연속성이 결여된 경우: 정의역에 불연속점이 있거나 편미분이 존재하지 않는 경우, 혼합 편미분이 다를 수 있다. 이 경우 “이계 도함수의 대칭성”이 성립하지 않는다.
관련 용어
- 헤시안(Hessian): 이계 도함수를 행렬 형태로 정리한 것.
- 클레루(Clairaut) 정리 / Schwarz 정리: 혼합 편미분의 교환가능성을 보장하는 정리.
- 대칭 행렬(Symmetric matrix): 전치와 동일한 행렬, 즉 $A^T = A$.
참고 문헌
- J. Stewart, Calculus: Early Transcendentals, 8th ed., Cengage Learning, 2015.
- R. Courant, D. Hilbert, Methods of Mathematical Physics, Vol. 1, Wiley‑Interscience, 1966.
- L. C. Evans, Partial Differential Equations, 2nd ed., American Mathematical Society, 2010.
위와 같이, “이계 도함수의 대칭성”은 다변수 미분학에서 널리 인정된 수학적 성질이며, 연속적인 이계 미분 가능성($C^2$)을 전제로 한다.
