利普希茨函数定义是什么