利普希兹函数定义