一般物理中遇到的泛函F(y)写出显表达式都是包含函数y及其导数的积分，泛函变分的式子是有推导出的通式，这个没问题。然而如果不知道某个泛函的显表达式，比如，如果我只知道F(y)是关于函数y的泛函，那么我看到有人这么去表达它的变分（如下式，F是fai的泛函），求各位大神指点一下，他写的有没有道理，该怎么理解