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

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

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

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

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

. Тогда

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

 и 

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

. Тогда 

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

Теперь пусть 

 (где 

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

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

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