柯西方程解抽象函数