Как найти производную функции (δ/δϕ)(∂µϕ)(δ/δϕ)(∂µϕ)(\delta/\delta \phi) (\partial_\mu \phi)?

Вопрос простой: как найти производную функции от

( дельта / дельта ф ( Икс ) ) ( мю ф ( Икс ) )   ?
Насколько я могу судить, я не могу использовать стандартные правила вычисления функциональной производной.

дельта дельта ф ( Икс ) коммутирует с у мю .
Итак, ответ - функция шага Heavyside?
Неа.
мю ( дельта ф ( Икс ) / дельта ф ( Икс ) ) "=" мю дельта ( 4 ) ( 0 ) "=" мю "=" ?
Привет @Marius Jonsson: это взято из какой-то ссылки? Какая страница?
Вы хотите ( дельта / дельта ф ( у ) ) ( Икс ф ( Икс ) ) "=" Икс дельта ( Икс у ) . (Как ни странно, некоторые люди отбросят все аргументы позиции и напишут « дельта ( ф ) / дельта ф "=" "или что-то странное в этом роде.)
Но здесь x = y, так что это мю дельта ( 0 ) который дельта ( 0 ) мю "=" мю , по вашему аргументу?
@MariusJonsson Нет, это значит, что писать с помощью Икс "=" у неправильно!

Ответы (2)

Выражение дельта мю ф ( у ) дельта ф ( у ) математически бессмысленно .

По определению, задан функционал Ф связывание вещественных чисел (или, в более общем смысле, комплексных чисел) Ф [ ф ] сгладить функции ф , мы говорим, что распределение дельта Ф дельта ф ( Икс ) является функциональной производной от Ф , если

г д α | α "=" 0 Ф [ ф + α ф ] "=" дельта Ф дельта ф ( Икс ) ф ( Икс ) д Икс
для каждой гладкой функции с компактным носителем ф .

В рассматриваемом случае необходимо вычислить функциональную производную от функционала Ф ассоциирование мю ф ( у ) к ф , т.е.

мю ф ( у ) "=" мю ф ( Икс ) дельта ( Икс у ) д Икс .
У нас есть
г д α | α "=" 0 Ф [ ф + α ф ] "=" г д α | α "=" 0 мю ( ф ( Икс ) + α ф ( Икс ) ) дельта ( Икс у ) д Икс "=" мю ф ( Икс ) дельта ( Икс у ) д Икс
"=" ф ( Икс ) мю дельта ( Икс у ) д Икс .
Мы заключаем, что
дельта мю ф ( у ) дельта ф ( Икс ) "=" мю ( Икс ) дельта ( Икс у ) "=" мю ( у ) дельта ( Икс у ) .
Так дельта дельта ф ( Икс ) и мю ( у ) коммутировать, как сказал @AccidentalFourierTransform.

В итоге, дельта мю ф ( у ) дельта ф ( у ) не определено , поскольку значение в фиксированной точке нерегулярного распределения не имеет смысла.

+1 Я хотел бы упомянуть следующее: если бы мы настаивали на том, чтобы это выражение оценивалось в Икс "=" у («в формальном смысле», например, имея в виду некоторую схему регуляризации), то можно утверждать, что выражение обращается в нуль, поскольку производная дельты Дирака нечетна.
Правильно, действительно: ex falso quodlibet
  1. Как правильно указал Вальтер Моретти в ответе, математически неправильно применять (традиционное определение) функциональную /вариационную производную (FD)

    (1) дельта л ( Икс ) дельта ф α ( Икс )
    в одну и ту же точку пространства-времени.

  2. Однако очень часто вводят FD «того же пространства-времени», что и

    (2) дельта л ( Икс ) дельта ф α ( Икс )   "="   л ( Икс ) ф α ( Икс ) д мю ( л ( Икс ) мю ф α ( Икс ) ) + .
    что скрывает / выдает его вариационное происхождение, но часто используется для удобства обозначений. (многоточие в уравнении (2) обозначает возможные вклады производных пространства-времени более высокого порядка.) См., например , этот , этот и этот посты Phys.SE.

    Если мы интерпретируем выражение OP через ур. (2), то плотность лагранжиана ОП л "=" мю ф является полной пространственно-временной производной, так что FD «того же пространства-времени» OP исчезает, ср. например, этот пост Phys.SE.