NeuterНет, не так. Формула Остроградского и есть уже один из вариантов интегрирования по частям в многомерном случае. Поэтому после её применения интегрировать по частям уже не нужно.
Начнем с понятного одномерного случая:

Превратить его в многомерный можно по-разному. Например, пусть теперь

по-прежнему скалярная функция, а

векторная. Производная

превращается в

. Тогда

Так как в «квантах» могут быть некоммутирующие операторы, я изо всех сил стараюсь сохранять порядок

и

, уж не знаю, насколько это глупо.
Теперь пусть

. Тогда

, интеграл по объему в правой части исчезает, и мы получаем теорему Остроградского:

Теперь пусть

(где

скалярная функция). Получаем ещё одну интегральную теорему:

Остается положить

, и будет Ваш случай.
Не забудьте о совете ограничиться вариациями, у которых градиент тоже нулевой на границе.