Рис. 9.20. Когда гиперповерхность изотропна, направление вектора в точке на не зависит от выбора луча у, но это перестает быть верным, если гиперповерхность пространственноподобна (или времениподобна) — плоскость, натянутая на изотропные векторы должна быть такой, чтобы она содержала нормаль Это означает, что определение поля излучения (член, изменяющийся как в случае пространствениопо-добной (или времениподобной) гиперповерхности менее инвариантно, нежели в случае изотропной.
(9.6.25). Когда граница изотропна, это означает, что вектор считается направленным вдоль изотропного направления будущего на Если же граница не изотропна (и во времени-подобном случае не касается луча 7), то изотропный вектор будущего на можно выбрать так, чтобы он лежал во времениподобной 2-плоскости, натянутой на векторы но, разумеется так, чтобы он отличался от (рис. 9.20).
При таком подходе и на первый взгляд кажется, что интегрирование уравнения (9.7.11) должно давать величину ведущую себя в точке Р как . При таком поведении мы получили бы требуемое в формуле (9.7.23) условие но оно портит форму степенного ряда для членов высших порядков в формуле разложения компонент (9.7.4). Однако на самом деле оказывается, что коэффициент стремится в точке Р к нулю как величина, квадратичная по конформному множителю, и в результате логарифм исключается. Чтобы в этом убедиться, рассмотрим разность двух частей слабого равенства (9.7.24). Согласно лемме (9.6.38), существует определенный вдоль луча у ковектор (класса гладкости такой, что
Если применить к этому равенству операцию ковариантного дифференцирования (с оператором а полученный результат свернуть со спинором то, воспользовавшись еще раз первым асимптотическим эйнштейновским условием (9.6.21) и формулой (9.7.15), мы получим
откуда в соответствии с формулой (9.6.38) следует равенство
где — непрерывный (класса на луче у скаляр. Подставив (9.7.27) и (9.7.25) в (9.7.12) мы, как и утверждалось, получим
Тогда из (9.7.11) следует регулярное (класса в точке Р выражение
Теперь на основании формул (9.7.23) и (9.7.22) можно написать разложение вида
причем коэффициенты постоянны вдоль луча 7. В то же время из (9.7.8) следует равенство