К выводу формулы для гамильтонова функционального интеграла в теориях со связями первого и второго рода

Дан простой последовательный вывод формулы для гамильтонова функционального интеграла в теориях со связями первого и второго рода (как стационарными, так и нестационарными). Калибровочные условия могут быть неинволютивны между собой и содержать время явно. В отличие от других работ, большое внимание уделяется доказательству гамильтоновости теории на физическом подмногообразии $\Gamma^*$ фазового пространства $\Gamma$. Показано, что $\Delta^{-1}$, где $\Delta$ – детерминант Фаддеева–Попова, есть не что иное, как элемент объема подпространства $\Bar\Gamma=\Gamma\backslash\Gamma^*$ в неканонических координатах, задаваемых связями и калибровочными условиями. Доказана инвариантность формулы для континуального интеграла при конечных преобразованиях калибровочных условий.