间 formula_26 勒贝格可测集 formula_27 上的平方可积函数的希尔伯特空间，也就是说 formula_28 是勒贝格可测集 formula_29。泛函 formula_30 由给出，其中 formula_5 是一个定义在实数上的可微实值函数且 formula_33 而 formula_10 为定义在 formula_27 的实数值函数，则加托导数为更详细的说：令formula_41 (并假设所有积分有定义)，得到加托导数也就是，内积formula_43