6.2.1 泛函和变分