sub-gradient
subgradient는 볼록 함수(convex)에서 미분 불가능한 점 —연속인데 뾰족하거나 연속이 아닌 점— 에 대한 미분값을 정의하는 개념으로 다음과 같이 정의된다. 아래는 실수에 대해 설명하지만 벡터에 대해서도 동일하게 확장 가능하다.
함수 의 모든 점 대해, 아래 부등식을 만족하면 를 점 에서 의 subgradient라고 한다.
이 식을 에 대해 정리하면 익숙한 모양을 얻을 수 있다. 이러면 가 점 의 미분값에 대해 하한(lower bound)함을 알 수 있다.
이 부등식은 기본적으로 가 의 그래프 아래에 있는 모든 점에 대해 에서의 선형 근사보다 항상 낮거나 같다는 것을 의미한다. 이는 가 의 그래프를 에서 지지(support)한다는 개념이다. 미분이 가능한 점에 대해 subgradient는 일반적인 미분값과 동일하다.
예컨대 의 함수는 인 지점에서 미분이 불가능하다. 따라서 인 지점을 기준으로 함수를 다음과 같이 두 부분으로 나눌 수 있다.
두 부분에 대해 각각 미분값을 구하면 다음과 같다.
이를 이용해서 다음과 같이 함수에 대해 subgradient를 정의할 수 있다. 인 점에서는 의 값과 의 값 사이의 값을 구간으로 갖는다.
super-gradient
sub-gradient가 볼록 함수에서 하한인 점을 찾는 것에 반해, 이와 반대로 오목(concave) 함수에서는 상한인 점을 찾는 super-gradient가 존재한다. 상한이므로 subgradient와는 부등식 방향이 반대이다.
이 식을 에 대해 정리하면 익숙한 모양을 얻을 수 있다. 이 경우 가 점 의 미분값에 대해 상한(upper bound)임을 알 수 있다.