利普希茨函数定义