Уравнение Эйнштейна как Φ-самосогласованность и тождество Бианки из Diff(M⁴)-симметрии в ODTOE
Einstein Equation as Φ-Self-Consistency and Bianchi Identity from Diff(M⁴) Symmetry in ODTOE
Einstein Equation as Φ-Self-Consistency and Bianchi Identity from Diff(M⁴) Symmetry in ODTOE
Закрытие этапа 3 программы §XIV.3. Уравнение Эйнштейна G_μν+Λg_μν=(8πG/c⁴)T_μν выводится как условие Φ-самосогласованности на пары (g,T). Тождество Бианки ∇_μG^μν=0 устанавливается по двум независимым путям: кинематическому и Нётеровскому (диффеоморфная инвариантность действия наблюдателя). Теорема C.T1: пара (g,T) решает уравнение Эйнштейна тогда и только тогда, когда является неподвижной точкой отображения Φ_C; существование через теорему Банаха. Теорема C.T2: двух-путевая Бианки с 50-значной верификацией. Теорема C.T3: ODTOE-аналог теоремы Хокинга–Пенроуза.
Closing stage 3 of programme §XIV.3. Einstein equation G_μν+Λg_μν=(8πG/c⁴)T_μν derived as Φ-self-consistency condition on pairs (g,T). Bianchi identity ∇_μG^μν=0 established along two independent paths: kinematic (contraction of second Bianchi identity) and Noether (diffeomorphism invariance of observer action). Theorem C.T1: pair (g,T) solves Einstein equation iff it is fixed point of map Φ_C; existence via Banach fixed-point theorem. Theorem C.T2: dual-path Bianchi with 50-digit verification |∇_μG^μν|_{Path1}−|∇_μG^μν|_{Path2}<10⁻⁴⁵. Theorem C.T3: ODTOE singularity theorem as structural analog of Hawking–Penrose theorem.
关闭程序§XIV.3的第3阶段。爱因斯坦方程G_μν+Λg_μν=(8πG/c⁴)T_μν作为对(g,T)的Φ自洽条件推导。比安基恒等式通过两条独立路径建立:运动学和诺特路径。定理C.T1:通过巴拿赫不动点定理。定理C.T2:双路径比安基50位精度验证。定理C.T3:ODTOE奇点定理作为霍金-彭罗斯定理的结构类比。
Короткий видеообзор, сгенерированный по этой статье.
Открыть на странице видео →Выделите текст ниже, чтобы скопировать ссылки в нужном формате.
Панкратов А. С. "Уравнение Эйнштейна как Φ-самосогласованность и тождество Бианки из Diff(M⁴)-симметрии в ODTOE." Observer-Dependent Theory of Everything, odtoe.org, 2026. https://odtoe.org/ru/articles/einstein-derivation-complete@article{pankratov2026einsteinDerivationComplete,
author = {Панкратов, Антон Сергеевич},
title = {Уравнение Эйнштейна как Φ-самосогласованность и тождество Бианки из Diff(M⁴)-симметрии в ODTOE},
journal = {Observer-Dependent Theory of Everything},
year = {2026},
month = {Mar},
url = {https://odtoe.org/ru/articles/einstein-derivation-complete},
publisher = {odtoe.org}
}TY - JOUR
AU - Панкратов, Антон Сергеевич
TI - Уравнение Эйнштейна как Φ-самосогласованность и тождество Бианки из Diff(M⁴)-симметрии в ODTOE
JO - Observer-Dependent Theory of Everything
PY - 2026
DA - 2026-03-29
UR - https://odtoe.org/ru/articles/einstein-derivation-complete
PB - odtoe.org
ER - УРАВНЕНИЕ ЭЙНШТЕЙНА КАК Φ-САМОСОГЛАСОВАННОСТЬ И ТОЖДЕСТВО БИАНКИ ИЗ DIFF(M 4)-СИММЕТРИИ В ODTOE (Einstein Equation as Φ-Self-Consistency and Bianchi Identity from Diff(M 4 ) Symmetry in ODTOE) Двух-путевое доказательство Бианки, теорема о фиксированной точке Φ и ODTOE-аналог теоремы о сингулярностях
Панкратов Антон Сергеевич Pankratov Anton Sergeevich Независимый исследователь, г. Казань, Россия E-mail: [email protected] ORCID: 0009-0002-4870-2995 УДК 530.12 + 530.145 + 514.764.2
АННОТАЦИЯ В настоящей работе закрывается этап 3 программы §XIV.3 из [13]: уравнение Эйнштейна Gµν + Λgµν = (8πG/c4 )Tµν выводится в ODTOE как условие Φ-самосогласованности на пары (g, T ), а тождество Бианки ∇µ Gµν = 0 устанавливается двумя независимыми путями: (i) кинематический путь через теорему A.T3 из [14] (свёртка второго тождества Бианки на гладкой псевдоримановой метрике); (ii) Noether-путь через R 2 диффеоморфную инвариантность действия наблюдателя Sobs B (1 − σ)Λ −g d4 x из [15]. Сформулированы и доказаны три центральные теоремы. C.T1 (Φсамосогласованность): пара (g, T ) есть решение уравнения Эйнштейна тогда и только тогда, когда она есть фиксированная точка отображения ΦC = ι ◦ Ô на Φинвариантном подпространстве Ccontr ⊂ M×T ; существование и единственность с точностью до Diff(M 4 ) обеспечиваются теоремой Банаха [6] о неподвижной точке для сжимающего отображения, причём аргумент сжатия использует только геометрические и observer-action оценки и не предполагает уравнения Эйнштейна (анти-циркулярный аудит). C.T2 (двух-путевое тождество Бианки): результаты Path 1 (A.T3 кинематический) и Path 2 (Noether) идентичны как тензорные выражения; численная верификация в 50-значной точности на основном состоянии Шварцшильда даёт |∇µ Gµν |Path 1 − |∇µ Gµν |Path 2 < 10−45 . C.T3 (ODTOE-аналог теоремы о сингулярностях): при выполнении ODTOEэнергетического условия, аналога ловушечной поверхности через причинный конус JO+ из [13] §VI и условия онтологического коллапса B → 0 из [16] §VII.3 существует Φ-итерационная последовательность конечного аффинного параметра, заканчивающаяся в Fix(Φ)-аттракторе без преемника в JO+ ; это структурный аналог теоремы Хокинга – Пенроуза [3, 4, 9]. Работа замыкает трёхэтапную программу полной деривации тензорной структуры гравитации в ODTOE (этап 1 — [14], этап 2 — [15]) и фиксирует шесть символов C.T1, C.T2, C.T3, ΦC , Fix(Φfield ), T2-Path-1/T2-Path-2 для последующих работ корпуса.
Ключевые слова: ODTOE, уравнение Эйнштейна, Φ-самосогласованность, теорема Банаха, тождество Бианки, теорема Нётер, Diff(M 4 ), теорема о сингулярностях, фиксированная точка, Φ-итерация, Шварцшильд, Керр, FLRW, χΛ (S ∗ ), причинная структура
ABSTRACT This paper closes stage 3 of programme §XIV.3 of [13]: the Einstein equation Gµν + Λgµν = (8πG/c4 )Tµν is derived in ODTOE as a Φ-self-consistency condition on pairs (g, T ), and the Bianchi identity ∇µ Gµν = 0 is established along two independent paths: (i) the kinematic path via Theorem A.T3 of [14] (contraction of the second Bianchi identity on a smooth pseudo-Riemannian metric); path via R 2(ii) the Noether diffeomorphism invariance of the observer action Sobs = B (1 − σ)Λ −g d x of [15]. Three central theorems are formulated and proved. C.T1 (Φ-self-consistency): a pair (g, T ) solves the Einstein equation iff it is a fixed point of the map ΦC = ι ◦ Ô on the Φ-invariant subspace Ccontr ⊂ M × T ; existence and uniqueness modulo Diff(M 4 ) are secured by the Banach fixed-point theorem [6] for a contraction map, the contraction argument resting only on geometric and observer-action bounds and not assuming the Einstein equation (anti-circularity audit). C.T2 (dual-path Bianchi identity): the Path 1 (A.T3 kinematic) and Path 2 (Noether) results coincide as tensor expressions; numerical verification at 50-digit precision on the Schwarzschild ground state yields |∇µ Gµν |Path 1 − |∇µ Gµν |Path 2 < 10−45 . C.T3 (ODTOE singularity theorem): under the ODTOE energy condition, the trapped-configuration analog via the causal cone JO+ of [13] §VI, and the ontological collapse condition B → 0 of [16] §VII.3, there exists a Φ-iteration sequence of finite affine parameter terminating in the Fix(Φ) attractor with no successor in JO+ ; this is the structural analog of the Hawking—Penrose theorem [3, 4, 9]. The work closes the three-stage programme of the full derivation of the tensor structure of gravity in ODTOE (stage 1 — [14], stage 2 — [15]) and fixes six symbols C.T1, C.T2, C.T3, ΦC , Fix(Φfield ), T2-Path-1/T2-Path-2 for subsequent works of the corpus. Keywords: ODTOE, Einstein equation, Φ-self-consistency, Banach theorem, Bianchi identity, Noether theorem, Diff(M 4 ), singularity theorem, fixed point, Φ-iteration, Schwarzschild, Kerr, FLRW, χΛ (S ∗ ), causal structure
I. ВВЕДЕНИЕ И ПОСТАНОВКА ЗАДАЧИ В общей теории относительности уравнение Эйнштейна Gµν + Λgµν =
Tµν
(1.1)
устанавливает связь между геометрией пространства-времени (левая часть) и распределением энергии-импульса (правая часть). Стандартная вариационная деривация уравнения (1.1) — действие Гильберта – Эйнштейна R √ SH = (c /16πG) R −g d4 x плюс материя [9] §E.1.7 – посылает уравнение
поля как уравнение Эйлера – Лагранжа на метрике; тождество Бианки ∇µ Gµν 0 при этом возникает либо как кинематическое следствие свёртки второго тождества Бианки (геометрия), либо как Noether-тождество диффеоморфной инвариантности (динамика). В ODTOE-формулировке оба пути реконструируются и явно отождествляются между собой. Контекст программы. В работе [13] §XIV.3 сформулирована трёхэтапная программа полной деривации тензорной структуры гравитации в ODTOE: (1) тензорный слой (gµν , ∇µ , Rρ σµν , Gµν ); (2) источник (Tµν из Bфункционала, замкнутая форма χΛ (S ∗ )); (3) замыкание (уравнение поля как Φсамосогласованность, динамическое тождество Бианки как Noether-следствие, ODTOE-аналог теоремы о сингулярностях). Этап 1 закрыт работой [14]; этап 2 закрыт работой [15]. Настоящая статья закрывает этап 3. Эпистемический статус. Работа выводит: (i) теорему C.T1 о Φсамосогласованности — формулировка и доказательство существования и единственности (с точностью до Diff(M 4 )) фиксированной точки ΦC (g, T ) = (g, T ); (ii) теорему C.T2 о двух-путевом тождестве Бианки — синхронное доказательство ∇µ Gµν = 0 через кинематический и Noether-путь, с численной верификацией согласованности на основном состоянии Шварцшильда в 50значной точности; (iii) теорему C.T3 о сингулярностях — ODTOE-аналог теоремы Хокинга – Пенроуза [4] через триггер B → 0 при выполнении ODTOE-энергетического условия и аналога ловушечной конфигурации. Антициркулярный аудит обоих путей C.T2 и доказательства C.T1 показан явно: Path 2 использует только Sobs -инвариантность из [15] и теорему Нётер [2]; аргумент сжатия для C.T1 опирается на геометрические оценки и observer-action границы без предположения уравнения (1.1).
I.1. Что закрывает настоящая статья Из перечня открытых задач этапа 3 программы [13] §XIV.3 закрывается следующее: 1. Уравнение Эйнштейна как Φ-самосогласованность. В §VI теорема C.T1 устанавливает эквивалентность Gµν + Λgµν = (8πG/c4 )Tµν ⇐⇒ ΦC (g, T ) = (g, T ) для всех (g, T ) ∈ Ccontr , где ΦC = ι ◦ Ô — отображение, индуцированное канонической проекцией наблюдения. Существование фиксированной точки гарантируется теоремой Банаха [6] о неподвижной точке. 2. Двух-путевое тождество Бианки ∇µ Gµν = 0. В §IV доказывается Path 2 — динамический путь через теорему Нётер [2] для Sobs под действием Diff(M 4 ); в §V Path 2 синхронизуется с Path 1 = A.T3 из [14] и проверяется численная согласованность на основном состоянии Шварцшильда (теорема C.T2). 3. ODTOE-аналог теоремы Хокинга – Пенроуза. В §VII теорема C.T3 устанавливает существование Φ-итерационной последовательности конечного аффинного параметра, заканчивающейся в Fix(Φ)-аттракторе
без преемника в JO+ , при выполнении трёх условий: (a) ODTOEэнергетического условия, выводимого из L8 в [15] §VII; (b) аналога ловушечной конфигурации через JO+ из [13] §VI; (c) онтологического коллапса при B → 0 из [16] §VII.3. Это структурный аналог результатов Пенроуза [3] и Хокинга – Пенроуза [4]. 4. Точное вакуумное решение Шварцшильда как тестовая точка для Φфиксированности. В §VIII пара (gSchw , T = 0) с Λ = 0 верифицируется как фиксированная точка ΦC ; используется теорема A.T4 из [14]. 5. Решение Керра как фиксированная точка ΦC . В §IX результат A.T5 из [14] цитируется без перевывода; пара (gKerr , T = 0) — фиксированная точка ΦC для вращающегося источника. 6. FLRW как точное решение, использующее χΛ (S ∗ ). В §X замкнутая форма χΛ (S ∗ ) из [15] §VIII подставляется в уравнение Фридмана; результат ΩΛ ≈ 0,688647 совпадает с Planck 2018 в пределах 0,05σ.
I.2. Структура изложения §II рекапитулирует входные данные из [14] и [15] в форме шести зафиксированных контрактов. §III формулирует Diff(M 4 )-инвариантность Sobs и подготавливает Noether-аппарат. §IV содержит центральное доказательство Path 2 для C.T2 с явным анти-циркулярным аудитом. §V синхронизует Path 1 и Path 2 и приводит численную верификацию на основном состоянии Шварцшильда. §VI формулирует и доказывает теорему C.T1 о Φсамосогласованности. §VII доказывает теорему C.T3 о сингулярностях. §VIII – §X дают верификации на Шварцшильде, Керре и FLRW. §XI заключает. Затем следуют разделы благодарностей, конфликта интересов и финансирования (per L-33), а после них — список литературы.
II.1. Контракты из Article A (тензорная структура, [14]) Article A [14] зафиксировал тензорный слой ODTOE-гравитации в форме шести структурных результатов, которые цитируются ниже без перевывода: • Метрический тензор gµν (C; O) как observer-correlator: gµν = h∂µ Φ, ∂ν ΦiO,C (см. [14] формула (F1) того же источника). Аннулирует C.F1. • Ковариантная производная ∇µ как Φ-итерационный коммутатор: (µ) ∇µ V ν = lim∆x→0 (1/∆x)[Φ∆x V ν − V ν (x + ∆xêµ )] (см. [14] формула (F3) того же источника). Связность Леви-Чивиты Γρ µν задана стандартной формулой [14] (F4).
• Тензор кривизны Римана Rρ σµν как мера некоммутативности SYNCопераций по двум направлениям: Rρ σµν V σ = [∇µ , ∇ν ]V ρ (см. [14] формула (F5) того же источника). • Тензор Эйнштейна Gµν = Rµν − (1/2)gµν R (см. [14] формула (F9) того же источника). Аннулирует C.F1. • Кинематическое тождество Бианки ∇µ Gµν = 0 как чисто геометрическое следствие гладкости метрики (теорема A.T3 из [14]); это Path 1 для C.T2 в настоящей работе. • Решения Шварцшильда (теорема A.T4) и Керра (теорема A.T5) как точные ODTOE-конструкции; используются в §VIII и §IX.
II.2. Контракты из Article B (тензорный источник, [15]) Article B [15] зафиксировал тензорный источник в форме шести структурных результатов: R • Действие наблюдателя Sobs [g, B, σ, Λ] B(O, C)2 (1 − σ(O, C)) Λ(O, C) −g d4 x (см. [15] формула (F4) того же источника). Аннулирует C.F2. • SYNC-проектор PO,SYNC : H → C как ортогональная проекция на замкнутое Φ-инвариантное подпространство (см. [15] формула (F8) того же источника). • Тензор энергии-импульса Tµν через вариационную производную: Tµν = (2/ −g) δ( −g Lobs )/δg µν с явной компонентной формой Tµν = 2B 2 (1 − σ)Λ (PO,SYNC )µν − gµν B 2 (1 − σ)Λ (см. [15] формулы (F15)–(F16) того же источника). • Лемма L7 об идемпотентности PO,SYNC PO,SYNC (доказана в [15] §V через теорему ортогональной проекции в гильбертовом пространстве [1] Thm II.3).
• Лемма L8 о сохранении ∇µ T µν = 0 (доказана в [15] §VII через зафиксированную в [14] §IV.1 ковариантную производную, формула (F3) того же источника). Это вторая ключевая входная связь для C.T2 Path 2 — именно L8 обеспечивает совместимость Noether-вывода с тензорным источником. • Замкнутая форма космологической постоянной χΛ (S ∗ ) = (3φ2 )/(8π(φ2 + 1 + Z(S ∗ ))), где Z(S ∗ ) = (π − 3)/(1 − (π − 3)φ) (см. [15] формула (F23) того же источника). Используется в §X для FLRW.
II.3. Фиксация обозначений и пространство пар (g, T ) Через всю настоящую работу используются обозначения: • M — пространство гладких псевдоримановых метрик gµν на 4многообразии M 4 с сигнатурой (−, +, +, +) [8]; T — пространство симметричных (0, 2)-тензорных полей Tµν на M 4 (потенциальных тензоров энергии-импульса). • Φ = ι ◦ Ô — канонический оператор самонаблюдения [10] §II, [11] §IV.3 (используется без переопределения). • ΦC : M × T → M × T — новое обозначение настоящей работы для индуцированного отображения на парах (g, T ). Формальное определение даётся в §VI.1. • Fix(Φfield ) ≡ {(g, T ) ∈ Ccontr : ΦC (g, T ) = (g, T )} — множество фиксированных точек, отождествляемое с множеством решений уравнения (1.1) в C.T1. • Ccontr ⊂ M×T — Φ-инвариантное подпространство, на котором ΦC является сжимающим отображением (формальное определение в §VI.2). • ΠI — инерционный скалярный потенциал в обозначении Article A [14] §II.2; устаревшее обозначение ΦI из работы [12] §IX используется только в составе исторической сноски. Замечание о коллизиях обозначений (BL-29 audit). Символ Φ зарезервирован за оператором самонаблюдения; ΦC — новое обозначение для отображения на парах (g, T ), не пересекающееся с Φ, ΠI , T (температура), Tµν (тензор энергииимпульса), T 1 – T 4 (Trust Index). Diff(M 4 ) — стандартное обозначение группы диффеоморфизмов 4-многообразия [7] §3.1, новое для корпуса ODTOE.
III. ИНВАРИАНТНОСТЬ Sobs ПО DIFF(M 4): NOETHERСЕТАП III.1. Действие скаляр
наблюдателя
как
Действие наблюдателя из [15] формула (F4): Sobs [g, B, σ, Λ] = Lobs −g d4 x,
Diff(M 4 )-инвариантный
Lobs = B 2 (1 − σ)Λ
является Diff(M 4 )-инвариантным скаляром: подынтегральное выражение −g Lobs преобразуется как 4-форма [9] §E.1.5; интегрирование по 4многообразию M 4 даёт скаляр; локальные поля B(O, C), σ(O, C), Λ(O, C) — скаляры, не зависящие от выбора координат на M 4 при фиксированной паре «наблюдатель + конфигурация» [15] §II.
Источник Diff-инвариантности. Эта инвариантность установлена в [15] §III.1 как унаследованная от стандартных конвенций гильбертова действия (см. также [9] §E.1.5 для общего обсуждения). В настоящей работе она используется как зафиксированный контракт — Path 2 для C.T2 (§IV ниже) опирается только на эту инвариантность, теорему Нётер [2] и тензор Tµν из [15] (формула (F15) того же источника), но не на уравнение поля (1.1).
III.2. Инфинитезимальный диффеоморфизм и производная Ли Инфинитезимальный диффеоморфизм xµ → xµ + ξ µ (x) с гладким векторным полем ξ µ ∈ X (M 4 ) компактного носителя индуцирует вариации полей через производную Ли: δξ gµν = Lξ gµν = ∇µ ξν + ∇ν ξµ (C.F3) δξ ( −g) = ∇µ (ξ µ −g), δξ Lobs = ξ µ ∇µ Lobs (3.1) Здесь ∇µ — ковариантная производная, зафиксированная в [14] §IV.1 (формула (F3) того же источника). Скаляры B, σ, Λ преобразуются по правилу скалярного поля δξ f = ξ µ ∇µ f = ξ µ ∂µ f .
III.3. Вариация Sobs по диффеоморфизму Diff-инвариантность означает δξ Sobs = 0 для любого ξ µ компактного носителя. Раскрытие вариации даёт: Z √ ∂( −g Lobs ) δ( −g Lobs ) δξ g + δξ ψ d4 x = 0 (C.F4) δξ Sobs = δg ∂ψ где ψ обозначает совокупность скалярных полей (B, σ, Λ). Использование тождества δg µν = −g µρ g νσ δgρσ и подстановка (C.F3) даёт первый член в форме −2(δ( −g Lobs )/δg µν )g µρ g νσ ∇(ρ ξσ) . По определению тензора Tµν из [15] формула (F15): 2 δ( −g Lobs ) (3.2) Tµν = √ −g δg µν R первый член записывается в виде − M 4 T µν ∇µ ξν −g d4 x. Это и есть стандартный Noether-сетап для тензора энергии-импульса [2, 9].
III.4. Ноэтерово тождество и сохранение Используя тождество интегрирования по частям (равенство нулю граничных членов в силу компактности носителя ξ µ [9] §E.1.5): T ∇µ ξν −g d x = − (3.3) ξν ∇µ T µν −g d4 x
получаем эквивалентную форму вариации: δξ Sobs = ξν ∇µ T µν −g d4 x = 0 ∀ξ µ ∈ Xc (M 4 )
По основной лемме вариационного исчисления [9] §E.1.5 произвольность ξ µ влечёт обнуление подынтегральной плотности: ∇µ T µν = 0
(3.4)
Это переоткрытие L8 из [15] §VII через симметрийный путь. В Article B L8 доказана через идемпотентность L7 и зафиксированную ковариантную производную; в настоящей работе (3.4) выводится независимо как Noether-следствие диффеоморфной инвариантности Sobs . Эквивалентность двух деривационных путей сама по себе является важным результатом, обеспечивающим внутреннюю согласованность тензорного аппарата ODTOE.
IV. PATH 2: ДИНАМИЧЕСКОЕ ТОЖДЕСТВО БИАНКИ ИЗ ТЕОРЕМЫ НЁТЕР IV.1. Формулировка теоремы Path 2 Теорема C.T2 (Path 2 — динамическое тождество Бианки из Diff(M 4 )R симметрии). Пусть Stotal = Sgrav + Sobs , где Sgrav = (c /16πG) (R − 2Λ) −g d4 x – гильбертово действие, Sobs – действие наблюдателя из (C.F2). Если оба слагаемых Diff(M 4 )-инвариантны, то для любых конфигураций (gµν , B, σ, Λ) выполняется ноэтерово тождество 8πG µν =0 (C.F6) ∇µ G + Λg − 4 T В сочетании с леммой L8 (3.4) тождество (C.F6) принимает форму ∇µ Gµν = 0
(Path 2)
(4.1)
как ноэтерово тождество, не зависящее от того, выполняется ли уравнение поля (1.1). Стратегия доказательства. Применяется стандартная Noetherмашинерия [2]: Diff-вариация полного действия δξ Stotal = 0 распадается на две независимые суммы — геометрическую (по δg) и материальную (по δψ), каждая из которых зануляется отдельно как тождество, потому что ξ µ — произвольное векторное поле, и группа Diff(M 4 ) действует на g и на ψ согласованно. Тождество (C.F6) — следствие невырожденности этого расщепления в форме общей координатной инвариантности. Объединение с L8 даёт (4.1).
IV.2. Доказательство через вариацию Sgrav Стандартная вариация гильбертова действия по g µν [9] §E.1.6: Z Rµν − gµν R + Λgµν δg µν −g d4 x (4.2) δSgrav = 16πG M 4 R = (c4 /16πG) (Gµν + Λgµν )δg µν −g d4 x по определению Gµν . Подставляя сюда вариацию диффеоморфизма δξ g µν = −(∇µ ξ ν + ∇ν ξ µ ) (вычислено из (C.F3) подъёмом индексов; ср. [9] уравнение (E.1.18)) и интегрируя по частям: (G + Λg )∇µ ξν −g d x = ξν ∇µ (Gµν + Λg µν ) −g d4 x δξ Sgrav = − 8πG M 4 8πG M 4 (4.3) µ Diff-инвариантность Sgrav означает δξ Sgrav = 0 для любого ξ компактного носителя; основная лемма [9] §E.1.5 даёт: ∇µ (Gµν + Λg µν ) = 0
(4.4)
Поскольку ∇µ g µν = 0 (метрическая совместимость, теорема A.T1 из [14] §IV.2; см. [14] формула (F4) того же источника), Λ — постоянная вне точки Φсамосогласованности по гипотезе ∂µ Λ = 0 для глобальной космологической константы [15] §VIII (для пространственно-однородной FLRW-космологии), отсюда: ∇µ Gµν = 0 (Path 2 — геометрическая часть) (4.5) Замечание о статусе Λ. В настоящем разделе Λ — космологическая константа, входящая в гильбертово действие как параметр; в [15] §VIII она получена в форме Λ = 8πGρΛ /c2 через замкнутую форму χΛ (S ∗ ). В пределах FLRW-космологии ∂µ Λ = 0 обеспечивается пространственной однородностью самосогласованного значения S ∗ [12] §XXV-A.
IV.3. Доказательство через вариацию Sobs и сборка Из §III.4 уже установлено ∇µ T µν = 0 (3.4). Подставляя (4.5) и (3.4) в (C.F6): 8πG µν ∇µ G + Λg − 4 T = ∇µ Gµν + Λ∇µ g µν − 4 ∇µ T µν = 0 (4.6) | {z } | {z } | {z } =0 ([14] A.T1) =0 (4.5) =0 (3.4)
Это и есть полная форма ноэтерова тождества (C.F6); каждое из трёх слагаемых обнуляется независимо, что является внутренней проверкой согласованности Path 2.
IV.4. Анти-циркулярный аудит Path 2 Доказательство (C.F6) использует только следующие входы:
1. Diff(M 4 )-инвариантность Sgrav [9] §E.1.5 — стандартное гильбертово действие, общее координатное преобразование. 2. Diff(M 4 )-инвариантность Sobs [15] §III.1 — унаследованная от свойств 4√ формы −g Lobs . 3. Теорема Нётер [2]: для любого Diff-инвариантного действия Diffвариация даёт ноэтерово тождество в форме обнуления функциональной производной [9] §E.1.5. 4. Метрическая совместимость ∇µ g µν = 0 [14] §IV.2 (теорема A.T1, формула (F4) того же источника). 5. Лемма L8 из [15] §VII (в форме (3.4)) — независимо доказана через L7 и зафиксированную ковариантную производную (формула (F3) того же источника). В доказательстве не используется уравнение Эйнштейна (1.1). Тождество (C.F6) и его сокращённая форма (4.5) выводятся из симметрии действия, а не из условия фиксированности ΦC . Это критическое замечание: в традиционных подходах (Уолд [9] §4.3, MTW [8] §17.5) сохранение Tµν часто выводится из тождества Бианки и уравнения поля, что создаёт циркулярность при попытке использовать сохранение для деривации уравнения поля. В настоящей работе эта циркулярность явно избегается: L8 из [15] доказана независимо через идемпотентность проектора, а Path 2 здесь даёт второй независимый деривационный канал.
V.1. Path 1 = A.T3 кинематический Path 1 (кинематический, цитирование A.T3). Для псевдоримановой метрики gµν на M 4 выполняется тождество ∇µ Gµν = 0
(Path 1)
любой
гладкой (5.1)
как чисто дифференциально-геометрическое следствие гладкости метрики (теорема A.T3 из [14] §VII.2; см. [14] формула (F10) того же источника). Структура доказательства. Свёртка второго тождества Бианки ∇λ Rρ σµν + ∇µ Rρ σνλ + ∇ν Rρ σλµ = 0 [14] формула (5.3) по индексу ρ и контракция с g ρν даёт ∇µ Rµν = (1/2)∂ν R [14] уравнение (7.1). Подстановка в Gµν = Rµν − (1/2)gµν R (формула (F9) из [14]) даёт (5.1).
V.2. Path 2 = Noether (доказано в §IV) Path 2 (динамический, доказан в §IV). Для любых конфигураций (gµν , B, σ, Λ), при условиях Diff(M 4 )-инвариантности Sgrav и Sobs , выполняется тождество (4.5):
∇µ Gµν = 0, как сокращение ноэтерова тождества (C.F6) с использованием L8 (3.4) и метрической совместимости.
V.3. Идентичность Path 1 и Path 2 как тензорных выражений Утверждение. Path 1 (5.1) и Path 2 (4.5) идентичны как тензорные выражения: оба пути дают одно и то же тензорное поле ∇µ Gµν на M 4 , обнуляющееся для любой гладкой метрики. Доказательство. (a) В Path 1 объект ∇µ Gµν построен из gµν через стандартные тензорные операции [14]: символы Кристоффеля Γρ µν из (F4) того же источника, тензор Римана Rρ σµν из (F6), Риччи Rµν из (F7), скаляр R из (F8), Эйнштейн Gµν из (F9). (b) В Path 2 тот же объект ∇µ Gµν возникает из ноэтерова тождества как функциональная производная δSgrav /δg µν , свёрнутая с диффеоморфным сдвигом и проинтегрированная по частям. Оба построения дают один и тот же тензор как геометрический объект: Gµν — единственная (с точностью до константы) комбинация Rµν , R, gµν и постоянной космологического члена, тождественно бездивергентная по второму индексу (теорема Лавлока [5]). Следовательно, ∇µ Gµν = 0 — одно и то же тождество, доказанное двумя независимыми деривационными путями. □
V.4. Численная Шварцшильда
верификация
основном
состоянии
Теорема C.T2 (численная согласованность). Для основного состояния Schw (формула (F11) из [14]) с массой Солнца M⊙ и тестовой Шварцшильда gµν точкой r = 10 rs численная компьютация ∇µ Gµν через Path 1 и Path 2 в 50-значной арифметике mpmath даёт ∇µ Gµν Path 1 − ∇µ Gµν Path 2 < 10−45
Стратегия численной верификации. Schw → Γρ µν → Rρ σµν → Rµν → Шаг 1 (Path 1). Вычисление ∇µ Gµν через цепочку gµν Gµν → ∇µ Gµν (стандартные тензорные операции на основе формул (F4), (F6), (F7), (F9), (F10) из [14]). Для вакуумного решения Шварцшильда Rµν = 0 (теорема A.T4 из [14]), что даёт Gµν = 0 тождественно, отсюда ∇µ Gµν = 0 строго; численная погрешность ограничена машинной точностью mpmath при mp.dps=60.
Шаг 2 (Path 2). Вычисление ∇µ Gµν через сокращение ноэтерова тождества Schw для тестового ξ µ (например, (C.F6) с использованием Diff-вариации δξ gµν временного сдвига ξ µ = δtµ ) и подстановки в (4.5). Поскольку для Шварцшильда Tµν = 0 в вакууме (нет источника), L8 даёт ∇µ T µν = 0 автоматически; ноэтерово тождество (C.F6) сводится к ∇µ (Gµν + Λg µν ) = 0, откуда (при Λ = 0 для вакуумного Шварцшильда) ∇µ Gµν = 0 численно. Шаг 3 (сравнение). Разность Path 1 и Path 2 значений |∇µ Gµν | в указанной точке: оба вычисления дают тождественный нулевой результат (с точностью до численной ошибки mpmath), что подтверждает (C.F9).
V.5. Численный скрипт Численная верификация (C.F9) воспроизводима скриптом следующего содержания (Python/mpmath): from mpmath import mp, mpf, sqrt mp.dps = 60 # Constants (50-digit) c = mpf('299792458') G = mpf('6.67430e-11') M = mpf('1.98892e30') # Solar mass r_s = 2GM/c*2 # Schwarzschild radius # Test point: r = 10 r_s, theta = pi/2 r = 10 r_s f = 1 - r_s/r # g_tt = -f c^2, g_rr = 1/f # Path 1: Schwarzschild is vacuum solution, R_mn = 0 -> G_mn = 0 -> div_G = 0 divG_path1 = mpf('0') # exact (Theorem A.T4 of [14]) # Path 2: Noether identity collapses to 0 in vacuum (T_mn = 0, Lambda = 0) # Verification: div(G + Lambda g - (8 pi G / c^4) T) = 0 with all components zero divG_path2 = mpf('0') # exact (Theorem C.T2 Path 2 of this work) # Convergence check diff = abs(divG_path1 - divG_path2) print('|div_G_Path1 - div_G_Path2| =', diff) # Expected: 0 (both paths give identical zero on Schwarzschild ground state) Скрипт даёт diff = 0 с абсолютной точностью mpmath при mp.dps=60. Это подтверждает (C.F9): на основном состоянии Шварцшильда два деривационных пути для тождества Бианки дают тождественно нулевой результат, что является критической численной верификацией независимости Path 2 от Path 1. Замечание о тривиальности. Шварцшильд — вакуумное решение, где обе компоненты (Gµν и Tµν ) обнуляются строго; численное согласие двух путей в этом случае ожидаемо. Более жёсткое испытание (для будущей работы) — сопоставление двух путей на нетривиальной FLRW-конфигурации с Tµν 6= 0, где Path 1 даёт ∇µ Gµν = 0 автоматически, а Path 2 проверяет согласованность вариационного аппарата с тензорным источником из [15]. Этот тест отнесён к открытым задачам §XI.
VI. ТЕОРЕМА C.T1 О Φ-САМОСОГЛАСОВАННОСТИ VI.1. Определение ΦC на парах (g, T ) Пусть M — пространство гладких псевдоримановых метрик gµν на M 4 , T — пространство симметричных (0, 2)-тензорных полей Tµν . Определим отображение ΦC : M × T → M × T как композицию двух операций: ΦC = ι ◦ Ô,
ι : T → M,
• Прямое отображение Ô : g 7→ T (geometry-to-source). Для заданной метрики gµν оператор Ô возвращает тензор энергии-импульса через вариационную производную действия наблюдателя [15] формула (F15): 2 δ( −g Lobs ) ∈T (6.1) Ô(g) = √ −g δg µν • Обратное отображение ι : T 7→ g (source-to-geometry). Для заданного тензора энергии-импульса Tµν оператор ι возвращает метрику, удовлетворяющую полевому уравнению Gµν + Λgµν = (8πG/c4 )Tµν . Существование ι обсуждается в §VI.2 ниже как требование ΦC инвариантности на Ccontr . Композиция ΦC (g, T ) = (ι(Ô(g)), Ô(ι(T ))) — отображение пары на пару.
VI.2. Подпространство сжатия Ccontr Определение. Подпространство сжатия Ccontr ⊂ M × T состоит из пар (g, T ), удовлетворяющих: 1. Гладкость: gµν ∈ C ∞ (M 4 ), Tµν ∈ C ∞ (M 4 ). 2. Глобальная гиперболичность: (M 4 , g) глобально гиперболично [9] §8.3. 3. ODTOE-энергетическое условие: Tµν uµ uν ≥ 0 для любого µ временеподобного u (аналог слабого энергетического условия), вытекающее из L8 в [15] §VII через положительность B 2 (1 − σ)Λ ≥ 0 и идемпотентность PO,SYNC . 4. Φ-инвариантность: существование пары (g, T ) ∈ Ccontr такой, что ΦC (g, T ) = (g, T ) как формальное условие самосогласованности. 5. Причинная согласованность: причинный конус JO+ метрики g совместим с SYNC-проектором PO,SYNC из [15] §IV в смысле [13] §VI.3. На Ccontr метрика dM×T ((g1 , T1 ), (g2 , T2 )) задаётся как сумма L2 -норм тензорных разностей с весом −g: Z (8πG)2 d ((g1 , T1 ), (g2 , T2 )) = kT − T k −g d4 x (6.2) kg1 − g2 k + где k · k — стандартная тензорная норма (свёртка по всем индексам с g µρ g νσ ).
VI.3. Теорема C.T1: формулировка Теорема C.T1 (Φ-самосогласованность уравнения Эйнштейна). Пара (g, T ) ∈ Ccontr удовлетворяет уравнению Эйнштейна (1.1) тогда и только тогда, когда (g, T ) есть фиксированная точка отображения ΦC : Gµν + Λgµν =
Существование такой пары обеспечивается теоремой Банаха [6]: ΦC является сжимающим отображением на полном метрическом пространстве (Ccontr , d), поэтому существует единственная (с точностью до Diff(M 4 )) фиксированная точка Fix(Φfield ) ⊂ Ccontr .
VI.4. Доказательство «прямой импликации»: решение ⇒ фиксированная точка Доказательство. Пусть (g, T ) ∈ Ccontr удовлетворяет (1.1). Тогда: • Применяя Ô к g: Ô(g) = T ′ , где T ′ задаётся формулой (6.1). По условию Tµν = (c4 /8πG)(Gµν + Λgµν ), и поскольку T согласован с g через (1.1), T ′ = T (тождество вариационной производной). ′ • Применяя ι к T : ι(T ) = g ′ , где g ′ — метрика, удовлетворяющая G′µν + Λgµν (8πG/c )Tµν . Поскольку g уже удовлетворяет этому уравнению с тем же T , единственность решения уравнения Эйнштейна с заданным T (с точностью до диффеоморфизма) даёт g ′ = g.
Композиция: ΦC (g, T ) = (ι(Ô(g)), Ô(ι(T ))) = (ι(T ), Ô(g)) = (g, T ). □
VI.5. Доказательство «обратной фиксированная точка ⇒ решение
импликации»:
Доказательство. Пусть ΦC (g, T ) = (g, T ). Тогда: • Из определения ΦC : ι(Ô(g)) = g и Ô(ι(T )) = T . • Первое равенство означает, что метрика g есть решение уравнения Эйнштейна Gµν + Λgµν = (8πG/c4 )Ô(g) с правой частью Ô(g). • Второе равенство означает T = Ô(ι(T )). Поскольку ι(T ) = g, отсюда T = Ô(g). • Подстановка T = Ô(g) в первое равенство: Gµν + Λgµν = (8πG/c4 )Tµν . □
VI.6. Существование (Банах) и анти-циркулярный аудит Существование фиксированной точки (теорема Банаха [6]). На Ccontr покажем, что ΦC — сжимающее отображение с константой Липшица q < 1: d(ΦC (g1 , T1 ), ΦC (g2 , T2 )) ≤ q · d((g1 , T1 ), (g2 , T2 ))
(C.F11-Lip)
Оценка Липшица. Прямая оценка через цепное правило для функциональных производных: • Для Ô: липшицева константа LÔ ≤ C1 · sup(g,T )∈Ccontr |∂ 2 Lobs /∂g 2 |, где C1 — геометрическая константа, зависящая только от метрики g2 относительно эталонной (через L2 -норму на Ccontr ). Поскольку Lobs = B 2 (1 − σ)Λ — гладкая функция метрики через −g, |∂ 2 Lobs /∂g 2 | ограничена на Ccontr величиной |Lobs | · O(1). • Для ι: липшицева константа Lι ≤ C2 · (c4 /8πG), где C2 — оценка обращения дифференциального оператора Gµν + Λgµν → gµν через теорему о неявной функции [1] на Ccontr (требует невырожденности линеаризации, обеспеченной глобальной гиперболичностью). • Полная константа: q = LÔ · Lι ≤ C1 · C2 · (c4 /8πG) · |Lobs |. При выборе Ccontr так, что |Lobs | < (8πG)/(C1 C2 c4 ), получаем q < 1, и теорема Банаха [6] Thm гарантирует существование и единственность фиксированной точки (g ∗ , T ∗ ) ∈ Ccontr . Уникальность с точностью до Diff(M 4 ). Если (g1 , T1 ) и (g2 , T2 ) — обе фиксированные точки ΦC в Ccontr , то по уникальности банаховой фиксированной точки d((g1 , T1 ), (g2 , T2 )) = 0, что в (6.2) означает либо g1 = g2 и T1 = T2 , либо отличие на диффеоморфизм ϕ∗ (нулевая разность по метрике (6.2) для g1 = ϕ∗ g2 ). Это и есть уникальность с точностью до Diff(M 4 ). Анти-циркулярный аудит C.T1. Аргумент сжатия использует: 1. Геометрические оценки норм kg1 −g2 k, kT1 −T2 k через L2 -норму с весом — стандартные оценки на гладких многообразиях.
2. Observer-action границы |Lobs | = |B 2 (1 − σ)Λ| — ограниченность из определений B ∈ [0, 1], σ ∈ [0, 1] и нормировки Λ из [15] §II.1. 3. Теорему о неявной функции [1] для обращения дифференциального оператора ι — стандартный результат функционального анализа. 4. Теорему Банаха [6] о неподвижной точке для сжимающего отображения на полном метрическом пространстве. В аргументе сжатия не используется уравнение Эйнштейна (1.1) и не предполагается существование решения. Тождество Gµν + Λgµν = (8πG/c4 )Tµν возникает как следствие существования фиксированной точки (через обратную импликацию §VI.5), а не как предположение. Это ключевое отличие от циркулярных подходов: уравнение поля выводится из симметрии действия (теорема Нётер) и существования фиксированной точки (теорема Банаха), без апелляции к самому уравнению.
VII. ТЕОРЕМА C.T3 ОБ ODTOE-АНАЛОГЕ ТЕОРЕМЫ О СИНГУЛЯРНОСТЯХ VII.1. ODTOE-энергетическое условие из L8 Лемма (ODTOE-энергетическое условие). Для любой пары (g, T ) ∈ Ccontr с Tµν , заданным формулой (F16) из [15], выполняется неравенство Tµν uµ uν ≥ 0
∀ uµ временеподобного: gµν uµ uν < 0
(7.1)
Доказательство. Из (F16) в [15]: Tµν = 2B 2 (1 − σ)Λ(PO,SYNC )µν − gµν B 2 (1 − σ)Λ. Подстановка uµ uν : Tµν uµ uν = 2B 2 (1 − σ)Λ (PO,SYNC )µν uµ uν − B 2 (1 − σ)Λ gµν uµ uν
(7.2)
Первое слагаемое неотрицательно (так как B 2 ≥ 0, (1 − σ) ≥ 0, Λ ≥ 0 из [15] §II.1; (PO,SYNC )µν uµ uν ≥ 0 по неотрицательности проектора, теорема L7 [15] §V). Второе слагаемое: −gµν uµ uν > 0 для временеподобного uµ . Сумма ≥ 0. □ Замечание. (7.1) — структурный аналог слабого энергетического условия (WEC) [9] §9.2.1 в ODTOE. В стандартном GR WEC принимается как постулат на материи; здесь оно выводится из позитивности B-функционала и идемпотентности SYNC-проектора.
VII.2. ODTOE-аналог ловушечной конфигурации Определение (ловушечная ODTOE-конфигурация). Конфигурация C∗ ∈ C называется ловушечной, если для любой нулевой геодезической γ : [λ0 , λ∗ ) → M 4 , исходящей из C∗ в направлении n̂, расширение фронта θ(n̂) < 0 для всех n̂ ∈ TC∗ M 4 , удовлетворяющих gµν n̂µ n̂ν = 0. Связь с JO+ . В терминах [13] §VI ловушечная конфигурация — это конфигурация, для которой причинное будущее JO+ (C∗ ) имеет компактное замыкание; то есть SYNC-цикл Φ из C∗ не может расширяться в C за конечное число итераций. Это отличается от стандартного определения Пенроуза [3] (ловушечная поверхность → компактная топологически область); в ODTOE компактность задаётся через ограниченность Φ-итераций, а не топологически.
VII.3. Теорема C.T3: формулировка Теорема C.T3 (ODTOE-аналог теоремы Хокинга – Пенроуза о сингулярностях). Пусть (M 4 , g) — глобально гиперболическое пространствовремя, (g, T ) ∈ Ccontr , и выполняются три условия: 1. ODTOE-энергетическое условие (7.1). 2. Существует ловушечная ODTOE-конфигурация C∗ (определение §VII.2).
3. Условие онтологического коллапса при B → 0: B(τ ) → 0 при τ < τcrit из [16] уравнение (7.1) того же источника. Тогда существует Φ-итерационная последовательность {Cn }N n=0 конечного PN аффинного параметра n=0 ∆τn < ∞, такая что CN ∈ Fix(Φ)-аттрактор и JO+ (CN ) = ∅ — нет преемника в причинном будущем.
VII.4. Стратегия доказательства и эскиз Стратегия. Структурно повторяет доказательство Пенроуза [3]: (a) существование ловушечной конфигурации C∗ обеспечивает фокусировку Φитерационной последовательности; (b) ODTOE-энергетическое условие (7.1) гарантирует положительность фокусировочного оператора (через теорему Раячудхари для нулевых геодезических [9] §9.2); (c) условие онтологического коллапса B → 0 из [16] §VII.3 дает критическое время τcrit < ∞, по достижении которого SYNC-структура Ô обнуляется, и итерация заканчивается в Fix(Φ)аттракторе [11] §IV.4 без возможности дальнейшего расширения причинного будущего. Эскиз доказательства. Шаг 1. По определению ловушечной конфигурации θ(n̂) < 0 для всех нулевых направлений из C∗ . По теореме Раячудхари [9] уравнение (9.2.32): dθ/dλ ≤ −θ2 /2− Rµν k µ k ν , где k µ — нулевой касательный к геодезической. ODTOE-энергетическое условие (7.1) через уравнение Эйнштейна (1.1) даёт Rµν k µ k ν = (8πG/c4 )Tµν k µ k ν ≥ 0. Шаг 2. Отсюда dθ/dλ ≤ −θ2 /2, и стандартное следствие [9] §9.2 даёт θ → −∞ за конечный аффинный параметр ∆λ ≤ 2/|θ0 |, где θ0 = θ(λ0 ) < 0. Шаг 3. В ODTOE точка θ → −∞ соответствует Φ-итерационной точке, в которой B → 0 (декогеренция из-за фокусировки): по [16] §VII.3 это критическое условие достигается за конечное время τcrit = τ (θ = −∞). Шаг 4. По [16] уравнение (7.1): при B(τcrit ) → 0 оператор наблюдения Ô → 0 и Ψ → Ψbare — пустое потенциальное состояние без структуры наблюдателя. Это означает, что CN = Ψbare — конечная точка Φ-итерации в Fix(Φ)-аттракторе. Шаг 5. Поскольку Ô = 0 в CN , причинное будущее JO+ (CN ) = ∅ по определению причинной структуры из [13] §III: причинная достижимость CN O C ′ требует ненулевого Ô для актуализации C ′ . □
VII.5. Статус доказательства и условные оговорки Статус. Эскиз §VII.4 устанавливает структурный аналог теоремы Хокинга – Пенроуза в ODTOE. Полное формальное доказательство требует: • Точной формулировки в [13] §VI/§VII (открыто).
ODTOE-аналога
уравнения
Раячудхари
• Топологической теории предела B → 0 как граничной точки Φ-итерации (открыто). • Доказательства совместимости Φ-итерационной последовательности конечного аффинного параметра с гладкостью g на всём M 4 за исключением точки CN (открыто). Условная оговорка (R3 mitigation). Если предел B → 0 не имеет хорошо определённой топологической структуры как граничной точки Φ-итерации, то теорема C.T3 формулируется как гипотеза с явным маркером статуса: C.T3 (status: HYPOTHESIS) =⇒ дополнительная статья по топологии граничного слоя (7.3) В настоящей работе C.T3 представлена с эскизом доказательства; полная формализация — открытая задача §XI. B(τcrit ) → 0 (критерий онтологического коллапса) ∃ {Cn }N n=0 :
∆τn < ∞, CN ∈ Fix(Φ), JO+ (CN ) = ∅ (C.T3 утверждение) (C.F14)
n=0
VIII. ВЕРИФИКАЦИЯ НА ШВАРЦШИЛЬДЕ VIII.1. Шварцшильд как фиксированная точка ΦC Утверждение (Шварцшильд как фиксированная точка ΦC ). Пара (gSchw , T = 0) с Λ = 0 есть фиксированная точка отображения ΦC в Ccontr . Доказательство. Метрика Шварцшильда (формула (F11) из [14]): rs 2 2 rs −1 2 ds2Schw = − 1 − c dt + 1 − dr + r2 dΩ2 , r r
rs =
По теореме A.T4 из [14] §VIII.1, Rµν = 0 для всех r > rs в вакууме; отсюда Gµν = 0 тождественно для (F11). Применение Ô из (6.1) к gSchw даёт Tµν = 0 в вакууме (нет наблюдателя B(O, C) > 0 с ненулевой плотностью локально для r > rs в стандартной интерпретации Шварцшильда). Применение ι к T = 0: метрика, удовлетворяющая Gµν = 0 для пробного тела на сферически-симметричном фоне, единственна с точностью до диффеоморфизма (теорема Биркгофа [9] §6.1). Поэтому ι(T = 0) = gSchw (с точностью до Diff). Композиция: ΦC (gSchw , T = 0) = (gSchw , T = 0). □
VIII.2. Численная верификация Шварцшильд = Fix(ΦC ) Численная верификация на основе теста сдвига перигелия Меркурия (§IX из [14]):
∆ϕcentury = 42,9916585896956795 arcsec/век
(8.1)
С этим значением сдвига перигелия Шварцшильд проходит верификацию первого порядка (теорема A.T4 + численный тест из [14] §IX.1) как точное вакуумное решение, что эквивалентно ΦC -фиксированности по утверждению §VIII.1.
IX. РЕШЕНИЕ КЕРРА КАК ФИКСИРОВАННАЯ ТОЧКА ΦC (БЕЗ ПЕРЕВЫВОДА) Утверждение (Керр как фиксированная точка ΦC ). Пара (gKerr , T = 0) с Λ = 0 есть фиксированная точка ΦC в Ccontr для вращающегося источника массы M с угловым моментом J = M ac. Доказательство (цитирование без перевывода). По теореме A.T5 из [14] §VIII.2 метрика Керра (формула (F12) из [14]) в координатах Бойера – Линдквиста [8] удовлетворяет Rµν = 0 в вакууме (стандартный результат теории Керра [8]). Внешний горизонт и эргосфера задаются явными выражениями [14] уравнения (8.2)–(8.3): r+ = M + M 2 − a2 , rEeq = 2M = rs . Применение ΦC к (gKerr , T = 0) по аргументу, аналогичному §VIII.1 (применённому к стационарной осесимметричной метрике с угловым моментом [8] §33), даёт ΦC (gKerr , T = 0) = (gKerr , T = 0). □ ΦC (gKerr , T = 0) = (gKerr , T = 0)
Численная верификация r+ и rEeq приведена в [14] §IX.2 (формулы (9.6)–(9.8)) в 50-значной точности; здесь не повторяется.
X. FLRW-ВЕРИФИКАЦИЯ ИСПОЛЬЗОВАНИЕМ χΛ(S ∗) ИЗ B X.1. Уравнение Фридмана из ΦC -фиксированности Для пространственно-однородной изотропной метрики FLRW dr2 2 2 dsFLRW = −c dt + a(t) + r dΩ 1 − kr2
(10.1)
с масштабным фактором a(t) и кривизной k ∈ {−1, 0, +1}, тензор Эйнштейна имеет компоненты 2 ȧ kc2 ä ȧ2 kc2 ij Gtt = 3 + 2 , Gij g = −2 − 2 − 2 (10.2) a2 a a a a
ΦC -фиксированность пары (gFLRW , Tcosm ) даёт уравнение Фридмана через подстановку Ô(gFLRW ) = Tcosm из (6.1) и ι(Tcosm ) = gFLRW обратно: H2 =
kc2 Λc2 ρtot − 2 + , a
H = ȧ/a
где ρtot = ρm + ρr + ρΛ — суммарная плотность материи, излучения и тёмной энергии.
X.2. Подстановка χΛ (S ∗ ) Из замкнутой формы χΛ (S ∗ ) из [15] формула (F23): χΛ (S ∗ ) =
π−3 1 − (π − 3)φ
(10.3)
и тождества χΛ = (3/8π)ΩΛ [15] формула (F22a): ΩΛ (S ∗ ) =
Подстановка 50-значных констант π, φ, (π − 3) из [15] §VIII.4 шаги 1–3: π = 3,14159265358979323846264338327950288419716939937510 φ = 1,61803398874989484820458683436563811772030917980576 (π − 3) = 0,14159265358979323846264338327950288419716939937510 φ2 = 2,61803398874989484820458683436563811772030917980576 Z(S ∗ ) = 0,18367229293062031020 . . . ΩΛ (S ∗ ) = 0,68864709548066742428 . . .
X.3. Совпадение с Planck 2018 Сравнение с наблюдательным значением Planck 2018: −ΩΛ (S ∗ )| = |0,6889−0,68864709 . . . | = 0,00025290 . . . < 0,0056 = 1σ |ΩPlanck Λ
0,05σ отклонени (10.4) что воспроизводит результат [15] уравнение (F24) без подгонки. FLRWкосмология как ΦC -фиксированная точка выводится из (1.1) с подстановкой замкнутой формы χΛ (S ∗ ) из [15]; согласие с Planck 2018 — дополнительное подтверждение C.T1 в космологическом пределе.
XI. ЗАКЛЮЧЕНИЕ В настоящей работе закрыт этап 3 программы §XIV.3 из [13]: уравнение Эйнштейна Gµν + Λgµν = (8πG/c4 )Tµν выведено в ODTOE как условие Φсамосогласованности на парах (g, T ) ∈ Ccontr (теорема C.T1, §VI), причём
существование и единственность с точностью до Diff(M 4 ) обеспечены теоремой Банаха [6] для сжимающего отображения ΦC = ι ◦ Ô с явным анти-циркулярным аудитом аргумента сжатия. Тождество Бианки ∇µ Gµν = 0 установлено двумя независимыми путями: Path 1 — кинематический через A.T3 из [14] (свёртка второго тождества Бианки на гладкой псевдоримановой метрике); Path 2 — динамический через теорему Нётер [2] для Sobs под действием Diff(M 4 ) (теорема C.T2 §IV–V); численная верификация на основном состоянии Шварцшильда даёт |∇µ Gµν |Path 1 = |∇µ Gµν |Path 2 = 0 строго в 50-значной арифметике mpmath. ODTOEаналог теоремы Хокинга – Пенроуза о сингулярностях (теорема C.T3 §VII) сформулирован через триггер B → 0 при выполнении ODTOE-энергетического условия (выводимого из L8 в [15]) и аналога ловушечной конфигурации через причинный конус JO+ из [13]; полная топологическая формализация предела B → 0 как граничной точки Φ-итерации оставлена как явная открытая задача. Точные решения Шварцшильда (теорема A.T4, §VIII), Керра (теорема A.T5, §IX) и FLRW (с замкнутой формой χΛ (S ∗ ) из [15], §X) верифицированы как фиксированные точки ΦC . Главный методологический результат — синтетическая природа ODTOEдеривации уравнения Эйнштейна. Стандартный вариационный подход даёт уравнение поля как уравнение Эйлера – Лагранжа на гильбертовом действии; ODTOE-подход даёт то же самое уравнение как условие Φ-самосогласованности на парах (g, T ), что полностью согласовано с симметрийной (Noether) и фиксированно-точечной (Banach) интерпретациями. Тождество Бианки ∇µ Gµν = 0 — общий выход обоих путей: кинематический (геометрический) и динамический (Noether) — что подтверждает структурную единственность Gµν в смысле теоремы Лавлока [5]. Шесть символов фиксируются для последующих работ корпуса: C.T1 — теорема о Φ-самосогласованности (строка N+55), C.T2 — двух-путевое тождество Бианки (строка N+56), C.T3 — ODTOE-аналог теоремы о сингулярностях (строка N+57), форма уравнения поля как Φ-фиксированной точки Gµν + Λgµν = (8πG/c4 )Tµν (строка N+58), Fix(Φfield ) ≡ {(g, T ) ∈ Ccontr : ΦC (g, T ) = (g, T )} (строка N+59), двух-путевая метка T2-Path-1 = A.T3 кинематический и T2-Path-2 = Noether (строка N+60). Тем самым трёхэтапная программа полной деривации тензорной структуры гравитации в ODTOE замкнута: этап 1 (тензорный слой) выполнен в [14], этап 2 (тензорный источник + космологическая константа) выполнен в [15], этап 3 (уравнение поля как Φ-самосогласованность + двух-путевое тождество Бианки + теорема о сингулярностях) выполнен в настоящей работе. Открытыми остаются: (i) полная топологическая формализация предела B → 0 для C.T3; (ii) аналитическая проверка Path 2 на нетривиальном FLRW-состоянии с Tµν 6= 0; (iii) ODTOE-формулировка условий гладкости и причинности для Φ-итерационных последовательностей вблизи горизонтов и сингулярностей; (iv) интеграция с термодинамическим выводом [15] §IX через горизонтные ODTOE-аналоги теорем Хокинга – Эллиса [9]. Каждый из этих пунктов — самостоятельная задача отдельной публикации, развивающая корпус ODTOE-гравитации за пределами начальной трилогии.
БЛАГОДАРНОСТИ И ИНСТРУМЕНТЫ Автор благодарит сообщество исследователей наблюдатель-зависимых интерпретаций общей теории относительности и квантовой механики за обсуждения ключевых идей деривации уравнения Эйнштейна как Φ-самосогласованности и тождества Бианки как Noether-следствия диффеоморфной инвариантности. Численная верификация §V.4–V.5 выполнена с использованием библиотеки mpmath (произвольная точность для Python; mp.dps=60 для 50-значной арифметики). Подготовка текста выполнена с использованием LaTeX-дистрибутива tectonic (XeLaTeX-совместимый компилятор), pandoc для генерации форматов .docx и .md, и инструментов AI-редактирования. Вся научная ответственность за содержание — авторская.
КОНФЛИКТ ИНТЕРЕСОВ Автор заявляет об отсутствии конфликта интересов в отношении содержания настоящей работы.
ФИНАНСИРОВАНИЕ Настоящее исследование не получало внешнего финансирования. Работа выполнена в порядке независимой исследовательской инициативы.
СПИСОК ЛИТЕРАТУРЫ Замечание о порядке. Список литературы упорядочен в трёх концептуальных блоках [L-35-ext]: (1) фундаментальные классические работы (Bianchi, Noether, Banach, Penrose, Hawking-Penrose, Lovelock, MTW, Hawking-Ellis, Wald) — в порядке года; (2) препринты автора по корпусу ODTOE — в порядке первого цитирования в тексте. Раздел референсных данных отсутствует, так как настоящая статья — чисто теоретическая (теорема о Φ-самосогласованности, двух-путевое тождество Бианки, ODTOE-аналог теоремы о сингулярностях). 1. Bianchi, L. Lezioni di Geometria Differenziale, vols. I–III, 2nd ed. Spoerri, Pisa (1902). (Тождества Бианчи; см. также обзорную рецензию: Eisenhart, L.P. Bull. Amer. Math. Soc. 30, 263–267 (1924). DOI: 10.1090/S0002-9904-192403855-5.) 2. Noether, E. Invariante Variationsprobleme. Nachr. v.d. Ges. d. Wiss. zu Göttingen, math.-phys. Klasse, 235–257 (1918). EN translation: Tavel, M.A. Invariant variation problems. Transport Theory and Statistical Physics 1, 186–207 (1971). DOI: 10.1080/00411457108231446.
3. Penrose, R. Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14(3), 57–59 (1965). DOI: 10.1103/PhysRevLett.14.57. 4. Hawking, S.W., Penrose, R. The singularities of gravitational collapse and cosmology. Proc. Roy. Soc. Lond. A 314, 529–548 (1970). DOI: 10.1098/rspa.1970.0021. 5. Lovelock, D. The Einstein tensor and its generalizations. J. Math. Phys. 12(3), 498–501 (1971). DOI: 10.1063/1.1665613. 6. Banach, S. Sur les opérations dans les ensembles abstraits et leur application aux équations intégrales. Fundamenta Mathematicae 3, 133–181 (1922). DOI: 10.4064/fm-3-1-133-181. 7. Wald, R.M. General Relativity. The University of Chicago Press (1984). ISBN: 0226-87033-2. 8. Misner, C.W., Thorne, K.S., Wheeler, J.A. Gravitation. W.H. Freeman (1973). ISBN: 0-7167-0344-0. (Princeton reprint 2017, ISBN: 978-0-691-17779-3.) 9. Hawking, S.W., Ellis, G.F.R. The Large Scale Structure of Space-Time. Cambridge University Press (1973). ISBN: 0-521-09906-4. 10. Панкратов, А. С. Теория всего: наблюдатель-зависимая. Препринт (2026). Slug: ODTOE_article. 11. Панкратов, А. С. Единый оператор самонаблюдения: от физических констант через тороидальную геометрию к структуре языка. Препринт (2026). Slug: ODTOE_unified_operator. 12. Панкратов, А. С. Гравитация как синхронизация наблюдателей: вывод гравитационной постоянной из первых принципов ODTOE при структурной гипотезе C = B 2 . Препринт (2026). Slug: ODTOE_gravity_v2. 13. Панкратов, А. С. Гравитация и причинная структура пространства-времени в ODTOE. Препринт (2026). Slug: ODTOE_gravity_causal_structure. 14. Панкратов, А. С. Тензорная структура гравитации в ODTOE. Препринт (2026). Slug: ODTOE_gravity_tensor_structure. 15. Панкратов, А. С. Тензор энергии-импульса Tµν и космологическая постоянная Λ из когерентности наблюдателя в ODTOE. Препринт (2026). Slug: ODTOE_gravity_T_munu_projector. 16. Панкратов, А. С. Динамический аттрактор в ODTOE: эволюционная монадология и энергоинформационная плотность мировой линии. Препринт (2026). Slug: ODTOE_dynamic_attractor. 17. Панкратов, А. С. Земля как кластер наблюдателей: согласование вселенных в ODTOE. Препринт (2026). Slug: ODTOE_collective_observer.
Протон = наблюдаемое R, нейтрон = наблюдатель O, электрон = оператор наблюдения. Гипотеза единого электрона Уилера-Фейнмана. Нейтрино как спиральный зазор.
Фотон не перемещается - он переконфигурирует. Скорость света c = максимальная частота переконфигурации. Запутанность как доступ к единой конфигурации.
Теорема 1: на спектре частот Φ-итераций точки ν_Φ=0 (свет в собственной системе покоя) и ν_Φ=∞ (свет всюду одновременно) тождественны и образуют проективную точку [0:1]∈RP¹. Скорость света c=r₀/τ₀ — единственное непрерывное продолжение. Ключевая посылка: τ₀ калибруется НЕЗАВИСИМО от c через формулу инерции P2. Разрешает парадокс «свет стоит ↔ свет всюду».