NeuterНет, не так. Формула Остроградского и есть уже один из вариантов интегрирования по частям в многомерном случае. Поэтому после её применения интегрировать по частям уже не нужно.
Начнем с понятного одномерного случая:
Превратить его в многомерный можно по-разному. Например, пусть теперь
по-прежнему скалярная функция, а
векторная. Производная
превращается в
. Тогда
Так как в «квантах» могут быть некоммутирующие операторы, я изо всех сил стараюсь сохранять порядок
и
, уж не знаю, насколько это глупо.
Теперь пусть
. Тогда
, интеграл по объему в правой части исчезает, и мы получаем теорему Остроградского:
Теперь пусть
(где
скалярная функция). Получаем ещё одну интегральную теорему:
Остается положить
, и будет Ваш случай.
Не забудьте о совете ограничиться вариациями, у которых градиент тоже нулевой на границе.