泛函的最简形式

01月19日定义是一种形式因变量积分0评