Как правильно вычислить функциональную производную?

Позволять ф быть реальным скалярным полем и Дж произвольная исходная функция. Учитывать

С Е [ ф , Дж ] "=" г 4 Икс [ 1 2 ( мю ф ) ( мю ф ) + 1 2 м 2 ф 2 + В ( ф ) Дж ( Икс ) ф ( Икс ) ] .
Я хотел бы вычислить функциональную производную от С Е в отношении ф ( Икс ) . Моя попытка (черта над производными просто указывает на то, что мы берем их по отношению к у )
дельта С Е [ ф , Дж ] дельта ф ( Икс ) "=" дельта дельта ф ( Икс ) г 4 у [ 1 2 ( ¯ мю ф ) ( ¯ мю ф ) + 1 2 м 2 ф 2 + В ( ф ) Дж ( у ) ф ( у ) ] "=" м 2 ф ( Икс ) + В ( ф ) Дж ( Икс ) + 1 2 дельта дельта ф ( Икс ) г 4 у ( ¯ мю ф ) ( ¯ мю ф ) "=" п . я м 2 ф ( Икс ) + В ( ф ) Дж ( Икс ) 1 2 дельта дельта ф ( Икс ) г 4 у ( ¯ 2 ф ) ф ( у )
и вот где я немного застрял. я думал так
дельта дельта ф ( Икс ) г 4 у ( ¯ 2 ф ) ф ( у ) "=" 2 ф ( Икс ) ,
то есть мы лечим ¯ 2 ф ( у ) и ф ( у ) как «независимые переменные», когда мы берем производную по ним. Но тогда окончательный результат будет
дельта С Е [ ф , Дж ] дельта ф ( Икс ) "=" м 2 ф ( Икс ) + В ( ф ) Дж ( Икс ) 1 2 2 ф ( Икс ) ,
что неправильно. Итак, может ли кто-нибудь объяснить мне, как правильно взять функциональную производную в этом выражении?

Ответы (3)

Когда-то хорошим способом вычисления функциональных производных было использование концепции производной Гато следующим образом:

г г ϵ С [ ф + ϵ η ] | ϵ "=" 0 "=" г 4 Икс дельта С дельта ф η

В твоем случае,

С [ ф + ϵ η ] "=" г 4 Икс   { 1 2 ( ( ф ) 2 + 2 ϵ ( мю ф ) ( мю η ) + ϵ 2 ( η ) 2 )
+ 1 2 м 2 ( ф 2 + 2 ϵ η ф + ϵ 2 η 2 ) + В ( ф + ϵ η ) Дж ( ф + ϵ η ) }
Дифференциация и установка ϵ до нуля
г г ϵ С [ ф + ϵ η ] | ϵ "=" 0 "=" г 4 Икс { ( мю ф ) ( мю η ) + м 2 ф η + В ( ф ) η Дж η }
Мы можем привести это к желаемой форме, интегрируя по частям, что дает
г г ϵ С [ ф + ϵ η ] | ϵ "=" 0 "=" г 4 Икс { 2 ф + м 2 ф + В ( ф ) Дж } η
Таким образом, мы можем прочитать
дельта С дельта ф "=" 2 ф + м 2 ф + В ( ф ) Дж

Это прекрасно объяснено в замечательной книге «Boas, ML, 1999. Mathematical Methods in the Physical Sciences».

Вот второй способ увидеть правильный результат взятия функциональной производной пространственно-временной производной поля, который, я надеюсь, будет полезен.

Напомним, что определение функциональной производной

дельта ф ( у ) дельта ф ( Икс ) "=" дельта ( у Икс ) .
Вы знаете, что дельты Дирака — это распределения. То есть вы всегда должны думать о том, что они живут под интегралом с некоторой тестовой функцией. Таким образом, приведенное выше определение действительно следует рассматривать как
дельта дельта ф ( Икс ) ф ( у ) ф ( у ) г у "=" дельта ( у Икс ) ф ( у ) г у "=" ф ( Икс )
для некоторой произвольной функции ф ( у ) .

Теперь предположим, что у вас есть пространственно-временная производная от ф .

дельта дельта ф ( Икс ) ф ( у ) ф ( у ) г у
Чтобы понять, что это значит, просто интегрируйте по частям.
дельта дельта ф ( Икс ) ф ( у ) ф ( у ) г у "=" дельта ( у Икс ) ф ( у ) г у "=" ф ( Икс )
Но это точно определение того, как производная дельты Дирака должна действовать на произвольную тестовую функцию. Неформально можно просто интегрировать по частям обратно, чтобы получить
дельта ( у Икс ) ф ( у ) г у "=" дельта ( у Икс ) ф ( у ) г у .
Вытащив этот результат из его красивого безопасного интегрального дома, мы можем написать определение
дельта дельта ф ( Икс ) ф ( у ) "=" дельта ( у Икс ) .

Применение этого определения к вашей проблеме дает желаемый результат. Короче говоря, мы можем сказать, что функциональная производная просто «обходит» пространственно-временную производную в поле ( дельта ф "=" дельта ф ), так что он действует «как и следовало ожидать» на два фактора ф и дает вам коэффициент 2, который вам нужен.

Самый безопасный способ вычислить функциональную производную — использовать следующий рецепт:

С [ ф + дельта ф ] "=" С [ ф ] + г 4 Икс дельта С дельта ф дельта ф + О ( дельта ф 2 )

Другими словами, добавьте небольшое возмущение в поле и манипулируйте действием, чтобы оно имело форму интеграла, умноженного на вариацию (игнорируя члены выше линейного порядка в вариации). Тогда часть подынтегральной функции, умножающая вариацию, является функциональной производной.

Вот как применить это в вашем примере.

Мы начнем с действия (я собираюсь включить массовый член в потенциал, так как это не имеет никакого значения для этого расчета)

С [ ф ] "=" г 4 Икс ( 1 2 ( ф ) 2 + В ( ф ) + ф Дж )

Затем мы добавляем в поле возмущение и сохраняем члены только первого порядка.

С [ ф + дельта ф ] "=" С [ ф ] + г 4 Икс ( мю ф мю дельта ф + В ф дельта ф + дельта ф Дж ) + О ( дельта ф 2 )

Затем мы интегрируем по частям кинетический член, чтобы удалить производную из вариации. Это ведет к

С [ ф + дельта ф ] "=" С [ ф ] + г 4 Икс [ ( ф + В ф + Дж ) дельта ф ] + О ( дельта ф 2 )

Сравнивая с приведенным выше определением, мы видим, что

дельта С дельта ф "=" ф + В ф + Дж