δ𝐹
=
∫
δ𝐹
δ𝑥(𝑠)
δ𝑥(𝑠)
𝑑𝑠
,
(7.24)
где δ𝑥(𝑠) вариация траектории 𝑥(𝑠).
Задача 7.1. Для действия, заданного в виде
𝑆=
𝑡2
∫
𝑡1
𝐿(𝑥̇,𝑥,𝑡)
𝑑𝑡
,
покажите, что в любой точке 𝑠 между 𝑡1 и 𝑡2 выполняется равенство
δ𝑆
δ𝑥(𝑠)
=-
𝑑
𝑑𝑠
⎧
⎪
⎩
∂𝐿
∂𝑥̇
⎫
⎪
⎭
+
∂𝐿
∂𝑥
,
(7.25)
где все частные производные взяты при 𝑡=𝑠.
Задача 7.2. Покажите, что при 𝐹[𝑥]=𝑥(τ).
δ𝐹
δ𝑥(𝑠)
=
δ(τ-𝑠).
(7.26)
Задача 7.3. Покажите, что если
𝐹=exp
⎡
⎢
⎣
1
2
∫
…
∫
𝑗(𝐫
1
,𝑡
1
)
𝑗(𝐫
2
,𝑡
2
)
×
×
𝑅
(𝐫
1
-𝐫
2
,𝑡
1
-𝑡
2
)
𝑑³𝐫
1
𝑑³𝐫
2
𝑑³𝑡
1
𝑑³𝑡
2
⎤
⎥
⎦
,
то производная δ𝐹/δ𝑗(𝑑,𝑠) будет иметь вид
δ𝐹
δ𝑗(𝑑,𝑠)
=
⎡
⎢
⎣
-
∫
𝑅
(𝐫-𝐫',𝑡-𝑡')
𝑗(𝐫',𝑡')
𝑑𝐫'
𝑑𝑡'
⎤
⎥
⎦
𝐹.
(7.27)
Заметим, что 𝑗(𝐫,𝑡) является функцией четырёх переменных (𝑥,𝑦,𝑧,𝑡). Поэтому для описания точки, в которой берётся функциональная производная, координату 𝑠 в интегралах [вида, например, соотношения (7.14)] надо заменить набором всех четырёх этих аргументов.
Общее соотношение между функционалами, о котором мы упоминали в начале этого параграфа, можно получить, разлагая в ряд матричный элемент перехода функциональной производной δ𝐹/δ𝑥(𝑠). Сделать это легче всего следующим образом. Рассмотрим матричный элемент
⟨𝐹⟩
𝑆
=
∫
𝐹[𝑥(𝑡)]
𝑒
(𝑖/ℏ)𝑆[𝑥(𝑡)]
𝒟𝑥(𝑡)
(7.28)
и в интеграле по траекториям функцию 𝑥(𝑡) заменим на 𝑥(𝑡)+η(𝑡). Для каждого фиксированного значения η(𝑡) выполнено равенство 𝒟[𝑥(𝑡)+η(𝑡)]=𝒟𝑥(𝑡) [поскольку 𝑑(𝑥𝑖+η𝑖) = 𝑑(𝑥𝑖)]. Отметим, что сам интеграл не должен измениться от такой замены. Разлагая теперь экспоненту в ряд и ограничиваясь членами нулевого и первого порядков
⟨𝐹⟩
𝑆
=
∫
𝐹[𝑥(𝑡)+η(𝑡)]
𝑒
(𝑖/ℏ)𝑆[𝑥(𝑡)+η(𝑡)]
𝒟𝑥(𝑡)
=
=
∫
𝐹[𝑥(𝑡)]
𝑒
(𝑖/ℏ)𝑆[𝑥(𝑡)]
𝒟𝑥(𝑡)
+
∫
⎡
⎢
⎣
∫
δ𝐹
δ𝑥(𝑠)
η(𝑠)
𝑑(𝑠)
⎤
⎥
⎦
𝑒
(𝑖/ℏ)𝑆[𝑥(𝑡)]
𝒟𝑥(𝑡)
+
+
𝑖
ℏ
∫
𝐹[𝑥(𝑡)]
⎡
⎢
⎣
∫
δ𝑠
δ𝑥(𝑠)
η(𝑠)
𝑑(𝑠)
⎤
⎥
⎦
𝑒
(𝑖/ℏ)𝑆[𝑥(𝑡)]
𝒟𝑥(𝑡)
+… ,
(7.29)
получаем, что член нулевого порядка в точности равен ⟨𝐹⟩𝑆. Поэтому сумма членов первого порядка при любой функции η(𝑆) должна обращаться в нуль. Отсюда следует соотношение
╱
╲
δ𝐹
δ𝑥(𝑠)
╲
╱𝑆
=-
𝑖
ℏ
╱
╲
𝐹
δ𝑠
δ𝑥(𝑠)
╲
╱𝑆
.
(7.30)
Из этого общего соотношения вытекает много важных следствий. Так, его можно было бы использовать в качестве отправной точки для вывода законов квантовой механики; можно было бы вернуться несколько назад и ещё раз получить выражение (7.6). Если речь идёт о каком-то обобщении квантовой механики, то можно предполагать, что это обобщение содержится в функции 𝑆, в экспоненте 𝑒𝑖𝑆/ℏ, или же исходить из выражения, подобного соотношению (7.30), и вводить обобщение в дифференциальной форме. Швингер исследовал различные формулировки квантовой механики, вытекающие из соотношения (7.30).