劣微分
表示
数学において劣微分(れつびぶん、英: subderivative, subdifferential)とは一般の微分の概念を微分不可能な関数に対して拡張した考え方である。一般の関数の微分は関数であるが、劣微分の値は集合となる。劣微分は凸解析の分野で広く用いられており、凸最適化と深い関係を持つ。
ある開区間 I 上の必ずしも全ての点で微分可能でない凸関数 f: I→R を考える。例えば絶対値を返す関数 f(x) = |x| などは x = 0 では微分不可能である。しかしながら右の図に示す通り、微分不可能な点を通り、その近傍の点とは接するか、あるいは下を通るような直線の集合を考えることができる.この直線それぞれの傾きの集合が劣微分の値となる.もし関数が下に凸ではなく上に凸である場合にも劣微分の定義は適用可能であるが、それはあまり重要な意味を持たないため、多くの場合、凸関数に対してのみ劣微分が定義される.
定義
[編集]凸関数 f: I→R の点 x0 における劣微分は次の条件を満たす数 c の集合である。
この時、劣微分を表す集合の要素は次の条件を満たす数 a, b を用いた閉区間 [a, b] の間に存在する。
当然ながら、f が点 x0 で微分可能であれば、x0 における劣微分はただ1つの要素のみを持つことになる。逆に劣微分がただ1つの要素しか持たないとき f は点 x0 において微分可能である。
例
[編集]絶対値関数 f(x) = |x| を考える。この f の点 x=0 における劣微分は [−1, 1] である。一方、x0 < 0 ならば {−1}、x0 > 0 ならば {1} が f の劣微分となる。