Wald, General relativity, приложение E1. В других лень выискивать. Еще хорошо вариации выписаны
здесьНу, может насчет "самосогласованного" я и слишком громко сказал, но получается, что вариация действия Эйнштейна-Гильберта дает граничный член, не только со слагаемым, пропорциональным

но и со слагаемым, пропорциональным

, т.е. нормальной производной. В итоге либо признаете, что получаются противоречивые уравнения (или крючкотворчески заявляете, что для обычного класса вариаций строго говоря и вариационной производной

не существует), либо сужаете класс вариаций, руками задавая всю жизнь на границе (не только условие Дирихле, но и Неймана) и забывая про то, что там вообще динамика возможна.
Член Гиббонса-Хокинга же слагаемое с нормальной производной убивает. К тому же, если в качестве границы выступает некоторая вложенная в пространство поверхность (брана, тонкая оболочка итп), он автоматически дает для нее условие сшивания Израэля.