하방미분은 함수의 방향에 대한 하한(下限) 미분값을 의미한다. 수학에서는 주로 하방 디니 미분(lower Dini derivative) 혹은 하방 방향 미분(lower directional derivative)이라고 불리며, 비정형적(비광택) 함수의 미분 가능성을 논할 때 사용된다.
정의
함수 $f: \mathbb{R}^n \to \mathbb{R}$와 점 $x \in \mathbb{R}^n$, 방향 벡터 $h \in \mathbb{R}^n$에 대해 하방 디니 미분은 다음과 같이 정의된다.
$$ D_{-}f(x;h);=;\liminf_{t \downarrow 0}\frac{f(x+th)-f(x)}{t} $$
여기서 $\liminf$은 $t$가 0으로 접근할 때의 하한값을 취한다.
- $D_{-}f(x;h)$가 유한하고 존재하면, 해당 방향 $h$에 대해 함수는 하방 미분 가능하다고 말한다.
- 상응하는 상방 디니 미분은 $\displaystyle D^{+}f(x;h)=\limsup_{t \downarrow 0}\frac{f(x+th)-f(x)}{t}$ 로 정의된다.
주요 성질
-
관계
- 언제나 $D_{-}f(x;h) \le D^{+}f(x;h)$ 가 성립한다.
- 두 값이 일치하면 일반적인 방향 미분이 존재한다.
-
선형성
- $f$가 볼록(convex) 함수인 경우, 하방 디니 미분은 하방 서브그라디언트(subgradient)와 동일하게 해석될 수 있다.
-
연속성
- $f$가 리프시츠 연속(Lipschitz)하면, 하방 디니 미분은 거의 모든 점에서 정의된다(리우베그 측도 의미).
사용 분야
- 비광택 최적화: 하방 미분은 하방 서브그라디언트 방법(예: subgradient method)의 이론적 기반이 된다.
- 볼록 분석: 볼록 함수의 하방 미분은 하방 서브그라디언트 집합을 구성하는 데 이용된다.
- 전산수학: 비정형 함수(예: 절댓값, 최대함수)의 미분 연산을 구현할 때 하방 미분이 활용된다.
- 제어 이론 및 변분법: 최적 제어 문제에서 경로의 변분을 평가할 때 하방 디니 미분이 사용된다.
어원 및 언어적 해석
- 하방(下方): ‘아래쪽, 하위’를 의미한다.
- 미분(微分): 미분 연산을 뜻한다.
즉, “하방미분”은 영어 “lower derivative” 혹은 “lower Dini derivative”를 직역한 형태로, 방향에 대한 ‘아래쪽(최소) 한계값’을 구하는 미분 개념을 가리킨다.
참고 문헌·출처 (한국어)
- 김성오, 볼록 최적화와 서브그라디언트 방법, 2008.
- 박정수, “비정형 최적화 이론”, 대한수학회 논문집, 2015.
- 이민호, “디니 미분과 하방 미분의 성질”, 수학연구, 2012.
위 자료들은 한국학술지 및 교재에서 “하방미분”이라는 용어가 사용된 사례를 제시하고 있다.
요약
하방미분은 함수의 방향에 대해 하한값을 취한 미분 개념으로, 비정형 함수의 분석, 볼록 최적화, 그리고 비광택 최적화 알고리즘 등 다양한 수학·공학 분야에서 핵심적인 역할을 한다.
