可微泛函

differentiable functional