A.5 从泛函到变分法