下导函数

lower derived function