Позволять быть реальным скалярным полем и произвольная исходная функция. Учитывать
Когда-то хорошим способом вычисления функциональных производных было использование концепции производной Гато следующим образом:
В твоем случае,
Вот второй способ увидеть правильный результат взятия функциональной производной пространственно-временной производной поля, который, я надеюсь, будет полезен.
Напомним, что определение функциональной производной
Теперь предположим, что у вас есть пространственно-временная производная от .
Применение этого определения к вашей проблеме дает желаемый результат. Короче говоря, мы можем сказать, что функциональная производная просто «обходит» пространственно-временную производную в поле ( ), так что он действует «как и следовало ожидать» на два фактора и дает вам коэффициент 2, который вам нужен.
Самый безопасный способ вычислить функциональную производную — использовать следующий рецепт:
Другими словами, добавьте небольшое возмущение в поле и манипулируйте действием, чтобы оно имело форму интеграла, умноженного на вариацию (игнорируя члены выше линейного порядка в вариации). Тогда часть подынтегральной функции, умножающая вариацию, является функциональной производной.
Вот как применить это в вашем примере.
Мы начнем с действия (я собираюсь включить массовый член в потенциал, так как это не имеет никакого значения для этого расчета)
Затем мы добавляем в поле возмущение и сохраняем члены только первого порядка.
Затем мы интегрируем по частям кинетический член, чтобы удалить производную из вариации. Это ведет к
Сравнивая с приведенным выше определением, мы видим, что
ZeroTheHero