УРАВНЕНИЕ ЭЙНШТЕЙНА КАК Phi-САМОСОГЛАСОВАННОСТЬ И ТОЖДЕСТВО БИАНКИ ИЗ DIFF(M^4)-СИММЕТРИИ В ODTOE

Author: Антон Сергеевич Панк

УРАВНЕНИЕ ЭЙНШТЕЙНА КАК Φ-САМОСОГЛАСОВАННОСТЬ И ТОЖДЕСТВО БИАНКИ ИЗ 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: anton.s.pankratov@gmail.com ORCID: 0009-0002-4870-2995 УДК 530.12 + 530.145 + 514.764.2 АННОТАЦИЯ В настоящей работе закрывается этап 3 программы §XIV.3 из [13]: уравнение Эйнштейна Gμν+Λ gμν=(8π G/c^4)Tμν выводится в ODTOE как условие Φ-самосогласованности на пары (g, T), а тождество Бианки ∇μ G^μν=0 устанавливается двумя независимыми путями: (i) кинематический путь через теорему A.T3 из [14] (свёртка второго тождества Бианки на гладкой псевдоримановой метрике); (ii) Noether-путь через диффеоморфную инвариантность действия наблюдателя Sobs=∫ B^2(1-σ)Λ√-g d^4x из [15]. Сформулированы и доказаны три центральные теоремы. C.T1 (Φ-самосогласованность): пара (g,T) есть решение уравнения Эйнштейна тогда и только тогда, когда она есть фиксированная точка отображения ΦC=ιO на Φ-инвариантном подпространстве 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-энергетического условия, аналога ловушечной поверхности через причинный конус J^+O из [13] §VI и условия онтологического коллапса B→ 0 из [16] §VII.3 существует Φ-итерационная последовательность конечного аффинного параметра, заканчивающаяся в Fix(Φ)-аттракторе без преемника в J^+O; это структурный аналог теоремы Хокинга – Пенроуза [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/c^4)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); (ii) the Noether path via diffeomorphism invariance of the observer action Sobs=∫ B^2(1-σ)Λ√-g d^4x 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=ιO 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 J^+O 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 J^+O; 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. ВВЕДЕНИЕ И ПОСТАНОВКА ЗАДАЧИ % [FACT: standard GR formulation of the Einstein field equation; see Wald [9] §4.3, MTW [8] §17.5] В общей теории относительности уравнение Эйнштейна Gμν + Λ gμν = 8π Gc^4 T_μν 1.1 устанавливает связь между геометрией пространства-времени (левая часть) и распределением энергии-импульса (правая часть). Стандартная вариационная деривация уравнения (1.1) — действие Гильберта – Эйнштейна SH=(c^4/16π G)∫ R√-g d^4x плюс материя [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. % [DERIVATION: programme stage 3 closure — see [13] §XIV.3 enumeration] Эпистемический статус. Работа выводит: (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 использует только S_obs-инвариантность из [15] и теорему Нётер [2]; аргумент сжатия для C.T1 опирается на геометрические оценки и observer-action границы без предположения уравнения (1.1). % [DERIVATION: anti-circularity audit central to the trilogy closure] I.1. Что закрывает настоящая статья % [DERIVATION: list of closure items — these correspond to the open items 4, 6, 9 of §XIV.1 of [13] and stage 3 of §XIV.3 of [13]] Из перечня открытых задач этапа 3 программы [13] §XIV.3 закрывается следующее: - Уравнение Эйнштейна как Φ-самосогласованность. В §VI теорема C.T1 устанавливает эквивалентность Gμν+Λ gμν=(8π G/c^4)Tμν ΦC(g,T)=(g,T) для всех (g,T)∈ Ccontr, где ΦC=ιO — отображение, индуцированное канонической проекцией наблюдения. Существование фиксированной точки гарантируется теоремой Банаха [6] о неподвижной точке. - **Двух-путевое тождество Бианки ∇μ G^μν∗∗=0.} В §IV доказывается Path 2 — динамический путь через теорему Нётер [2] для Sobs под действием Diff(M^4); в §V Path 2 синхронизуется с Path 1 = A.T3 из [14] и проверяется численная согласованность на основном состоянии Шварцшильда (теорема C.T2). - ODTOE-аналог теоремы Хокинга – Пенроуза. В §VII теорема C.T3 устанавливает существование Φ-итерационной последовательности конечного аффинного параметра, заканчивающейся в Fix(Φ)-аттракторе без преемника в J^+O, при выполнении трёх условий: (a) ODTOE-энергетического условия, выводимого из L8 в [15] §VII; (b) аналога ловушечной конфигурации через J^+O из [13] §VI; (c) онтологического коллапса при B→ 0 из [16] §VII.3. Это структурный аналог результатов Пенроуза [3] и Хокинга – Пенроуза [4]. - Точное вакуумное решение Шварцшильда как тестовая точка для Φ-фиксированности. В §VIII пара (gSchw, T=0) с Λ=0 верифицируется как фиксированная точка ΦC; используется теорема A.T4 из [14]. - Решение Керра как фиксированная точка ΦC. В §IX результат A.T5 из [14] цитируется без перевывода; пара (gKerr, T=0) — фиксированная точка Φ_C для вращающегося источника. - FLRW как точное решение, использующее χΛ(S^∗). В §X замкнутая форма χΛ(S^∗) из [15] §VIII подставляется в уравнение Фридмана; результат Ω_Λ≈ 0,688647 совпадает с Planck 2018 в пределах $0{,}05\sigma$. I.2. Структура изложения §II рекапитулирует входные данные из [14] и [15] в форме шести зафиксированных контрактов. §III формулирует Diff(M^4)-инвариантность S_obs и подготавливает 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. ВХОДНЫЕ ДАННЫЕ ИЗ A И B (ЗАФИКСИРОВАННЫЕ КОНТРАКТЫ) II.1. Контракты из Article A (тензорная структура, [14]) % [FACT: tensor layer fixed in [14]; six frozen contracts cited verbatim] Article A [14] зафиксировал тензорный слой ODTOE-гравитации в форме шести структурных результатов, которые цитируются ниже без перевывода: - Метрический тензор gμν(C;O) как observer-correlator: gμν=⟨∂μΦ,∂νΦ⟩_O,C (см. [14] формула (F1) того же источника). Аннулирует C.F1. - Ковариантная производная ∇μ как Φ-итерационный коммутатор: ∇μ V^ν=Δ x→ 0(1/Δ x)[Φ^(μ)Δ xV^ν-V^ν(x+Δ xeμ)] (см. [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]) % [FACT: source layer fixed in [15]; six frozen contracts cited verbatim] Article B [15] зафиксировал тензорный источник в форме шести структурных результатов: - Действие наблюдателя Sobs[g, B, σ, Λ] = ∫M^4 B(O,C)^2 (1-σ(O,C)) Λ(O,C) √-g d^4x (см. [15] формула (F4) того же источника). Аннулирует C.F2. - SYNC-проектор P_O,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^2=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) % [DERIVATION: notation freeze for the field-equation pair space; introduces M x T and the contraction subspace C_contr] Через всю настоящую работу используются обозначения: - M — пространство гладких псевдоримановых метрик gμν на 4-многообразии M^4 с сигнатурой (-,+,+,+) [8]; T — пространство симметричных (0,2)-тензорных полей Tμν на M^4 (потенциальных тензоров энергии-импульса). - Φ=ιO — канонический оператор самонаблюдения [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_μν (тензор энергии-импульса), T1 – T4 (Trust Index). Diff(M^4) — стандартное обозначение группы диффеоморфизмов 4-многообразия [7] §3.1, новое для корпуса ODTOE. III. ИНВАРИАНТНОСТЬ S_obs ПО DIFF(M^4): NOETHER-СЕТАП} III.1. Действие наблюдателя как Diff(M^4)-инвариантный скаляр % [FACT: S_obs Diff invariance proven in [15] §III as inherited from Hilbert action conventions; cf. Wald [9] §E.1.5] Действие наблюдателя из [15] формула (F4): Sobs[g, B, σ, Λ] = ∫M^4 Lobs √-g d^4x, Lobs=B^2(1-σ)Λ C.F2 является Diff(M^4)-инвариантным скаляром: подынтегральное выражение √-g L_obs преобразуется как 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). % [DERIVATION: anti-circularity — Diff invariance is an INPUT, not a consequence of Einstein equation] III.2. Инфинитезимальный диффеоморфизм и производная Ли % [FACT: standa

УРАВНЕНИЕ ЭЙНШТЕЙНА КАК Phi-САМОСОГЛАСОВАННОСТЬ И ТОЖДЕСТВО БИАНКИ ИЗ DIFF(M^4)-СИММЕТРИИ В ODTOE

NoteАнтон Сергеевич Панк04/26/2026, 02:24:24 PM
Open in Explorer

SeqNo

3140241-1

Type

Note

Fee

0.091868

Size

91868 B

Creator

7KTKEaKVtogM4v661K7WEV46nvTYEnUg37

Signature

65La9cgmsaTPwzW1CyrPMU7n6Z14mRYwk4Suuio6Sg6XbYgzK4Y4TmNkUKrtjK3eX6PUqARomiuVCi7VGe2WhRUN

Content

УРАВНЕНИЕ ЭЙНШТЕЙНА КАК Phi-САМОСОГЛАСОВАННОСТЬ И ТОЖДЕСТВО БИАНКИ ИЗ DIFF(M^4)-СИММЕТРИИ В ODTOE

Антон Сергеевич Панк

УРАВНЕНИЕ ЭЙНШТЕЙНА КАК Φ\Phi-САМОСОГЛАСОВАННОСТЬ И ТОЖДЕСТВО БИАНКИ ИЗ DIFF(M4M^4)-СИММЕТРИИ В ODTOE

(Einstein Equation as Φ\Phi-Self-Consistency and Bianchi Identity from Diff(M4M^4) Symmetry in ODTOE)
Двух-путевое доказательство Бианки, теорема о фиксированной точке Φ\Phi и ODTOE-аналог теоремы о сингулярностях
Панкратов Антон Сергеевич
Pankratov Anton Sergeevich
Независимый исследователь, г. Казань, Россия
E-mail: anton.s.pankratov@gmail.com
ORCID: 0009-0002-4870-2995

УДК 530.12 + 530.145 + 514.764.2

АННОТАЦИЯ

В настоящей работе закрывается этап 3 программы §XIV.3 из [13]: уравнение Эйнштейна Gμν+Λgμν=(8πG/c4)TμνG_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu} выводится в ODTOE как условие Φ\Phi-самосогласованности на пары (g,T)(g, T), а тождество Бианки ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 устанавливается двумя независимыми путями: (i) кинематический путь через теорему A.T3 из [14] (свёртка второго тождества Бианки на гладкой псевдоримановой метрике); (ii) Noether-путь через диффеоморфную инвариантность действия наблюдателя Sobs=∫B2(1−σ)Λ−gd4xS_{\mathrm{obs}}=\int B^2(1-\sigma)\Lambda\sqrt{-g} d^4x из [15]. Сформулированы и доказаны три центральные теоремы. C.T1 (Φ\Phi-самосогласованность): пара (g,T)(g,T) есть решение уравнения Эйнштейна тогда и только тогда, когда она есть фиксированная точка отображения ΦC=ι∘O^\Phi_C=\iota\circ\hat{O} на Φ\Phi-инвариантном подпространстве Ccontr⊂M×TC_{\mathrm{contr}}\subset\mathcal{M}\times\mathcal{T}; существование и единственность с точностью до Diff(M4M^4) обеспечиваются теоремой Банаха [6] о неподвижной точке для сжимающего отображения, причём аргумент сжатия использует только геометрические и observer-action оценки и не предполагает уравнения Эйнштейна (анти-циркулярный аудит). C.T2 (двух-путевое тождество Бианки): результаты Path 1 (A.T3 кинематический) и Path 2 (Noether) идентичны как тензорные выражения; численная верификация в 50-значной точности на основном состоянии Шварцшильда даёт ∣∇μGμν∣Path1−∣∇μGμν∣Path2<10−45|\nabla_\mu G^{\mu\nu}|_{\mathrm{Path 1}} - |\nabla_\mu G^{\mu\nu}|_{\mathrm{Path 2}} \lt 10^{-45}. C.T3 (ODTOE-аналог теоремы о сингулярностях): при выполнении ODTOE-энергетического условия, аналога ловушечной поверхности через причинный конус JO+J^+_O из [13] §VI и условия онтологического коллапса B→0B\to 0 из [16] §VII.3 существует Φ\Phi-итерационная последовательность конечного аффинного параметра, заканчивающаяся в Fix(Φ\Phi)-аттракторе без преемника в JO+J^+_O; это структурный аналог теоремы Хокинга – Пенроуза [3, 4, 9]. Работа замыкает трёхэтапную программу полной деривации тензорной структуры гравитации в ODTOE (этап 1 — [14], этап 2 — [15]) и фиксирует шесть символов C.T1, C.T2, C.T3, ΦC\Phi_C, Fix(Φfield\Phi_{\mathrm{field}}), T2-Path-1/T2-Path-2 для последующих работ корпуса.

Ключевые слова: ODTOE, уравнение Эйнштейна, Φ\Phi-самосогласованность, теорема Банаха, тождество Бианки, теорема Нётер, Diff(M4M^4), теорема о сингулярностях, фиксированная точка, Φ\Phi-итерация, Шварцшильд, Керр, FLRW, χΛ(S∗)\chi_\Lambda(S^*), причинная структура

ABSTRACT

This paper closes stage 3 of programme §XIV.3 of [13]: the Einstein equation Gμν+Λgμν=(8πG/c4)TμνG_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu} is derived in ODTOE as a Φ\Phi-self-consistency condition on pairs (g,T)(g, T), and the Bianchi identity ∇μGμν=0\nabla_\mu G^{\mu\nu}=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); (ii) the Noether path via diffeomorphism invariance of the observer action Sobs=∫B2(1−σ)Λ−gd4xS_{\mathrm{obs}}=\int B^2(1-\sigma)\Lambda\sqrt{-g} d^4x of [15]. Three central theorems are formulated and proved. C.T1 (Φ\Phi-self-consistency): a pair (g,T)(g,T) solves the Einstein equation iff it is a fixed point of the map ΦC=ι∘O^\Phi_C=\iota\circ\hat{O} on the Φ\Phi-invariant subspace Ccontr⊂M×TC_{\mathrm{contr}}\subset\mathcal{M}\times\mathcal{T}; existence and uniqueness modulo Diff(M4M^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μν∣Path1−∣∇μGμν∣Path2<10−45|\nabla_\mu G^{\mu\nu}|_{\mathrm{Path 1}} - |\nabla_\mu G^{\mu\nu}|_{\mathrm{Path 2}} \lt 10^{-45}. C.T3 (ODTOE singularity theorem): under the ODTOE energy condition, the trapped-configuration analog via the causal cone JO+J^+_O of [13] §VI, and the ontological collapse condition B→0B\to 0 of [16] §VII.3, there exists a Φ\Phi-iteration sequence of finite affine parameter terminating in the Fix(Φ\Phi) attractor with no successor in JO+J^+_O; 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\Phi_C, Fix(Φfield\Phi_{\mathrm{field}}), T2-Path-1/T2-Path-2 for subsequent works of the corpus.

Keywords: ODTOE, Einstein equation, Φ\Phi-self-consistency, Banach theorem, Bianchi identity, Noether theorem, Diff(M4M^4), singularity theorem, fixed point, Φ\Phi-iteration, Schwarzschild, Kerr, FLRW, χΛ(S∗)\chi_\Lambda(S^*), causal structure

I. ВВЕДЕНИЕ И ПОСТАНОВКА ЗАДАЧИ

% [FACT: standard GR formulation of the Einstein field equation; see Wald [9] §4.3, MTW [8] §17.5]
В общей теории относительности уравнение Эйнштейна

Gμν+Λgμν=8πGc4Tμν(1.1)G_{\mu\nu} + \Lambda g_{\mu\nu} = \frac{8\pi G}{c^4} T_{\mu\nu} \tag{1.1}

устанавливает связь между геометрией пространства-времени (левая часть) и распределением энергии-импульса (правая часть). Стандартная вариационная деривация уравнения (1.1) — действие Гильберта – Эйнштейна SH=(c4/16πG)∫R−gd4xS_{\mathrm{H}}=(c^4/16\pi G)\int R\sqrt{-g} d^4x плюс материя [9] §E.1.7 – посылает уравнение поля как уравнение Эйлера – Лагранжа на метрике; тождество Бианки ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 при этом возникает либо как кинематическое следствие свёртки второго тождества Бианки (геометрия), либо как Noether-тождество диффеоморфной инвариантности (динамика). В ODTOE-формулировке оба пути реконструируются и явно отождествляются между собой.

Контекст программы. В работе [13] §XIV.3 сформулирована трёхэтапная программа полной деривации тензорной структуры гравитации в ODTOE: (1) тензорный слой (gμνg_{\mu\nu}, ∇μ\nabla_\mu, RρσμνR^\rho{}_{\sigma\mu\nu}, GμνG_{\mu\nu}); (2) источник (TμνT_{\mu\nu} из B-функционала, замкнутая форма χΛ(S∗)\chi_\Lambda(S^*)); (3) замыкание (уравнение поля как Φ\Phi-самосогласованность, динамическое тождество Бианки как Noether-следствие, ODTOE-аналог теоремы о сингулярностях). Этап 1 закрыт работой [14]; этап 2 закрыт работой [15]. Настоящая статья закрывает этап 3.
% [DERIVATION: programme stage 3 closure — see [13] §XIV.3 enumeration]

Эпистемический статус. Работа выводит: (i) теорему C.T1 о Φ\Phi-самосогласованности — формулировка и доказательство существования и единственности (с точностью до Diff(M4M^4)) фиксированной точки ΦC(g,T)=(g,T)\Phi_C(g,T)=(g,T); (ii) теорему C.T2 о двух-путевом тождестве Бианки — синхронное доказательство ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 через кинематический и Noether-путь, с численной верификацией согласованности на основном состоянии Шварцшильда в 50-значной точности; (iii) теорему C.T3 о сингулярностях — ODTOE-аналог теоремы Хокинга – Пенроуза [4] через триггер B→0B\to 0 при выполнении ODTOE-энергетического условия и аналога ловушечной конфигурации. Анти-циркулярный аудит обоих путей C.T2 и доказательства C.T1 показан явно: Path 2 использует только Sobs_{\mathrm{obs}}-инвариантность из [15] и теорему Нётер [2]; аргумент сжатия для C.T1 опирается на геометрические оценки и observer-action границы без предположения уравнения (1.1).
% [DERIVATION: anti-circularity audit central to the trilogy closure]

I.1. Что закрывает настоящая статья

% [DERIVATION: list of closure items — these correspond to the open items 4, 6, 9 of §XIV.1 of [13] and stage 3 of §XIV.3 of [13]]
Из перечня открытых задач этапа 3 программы [13] §XIV.3 закрывается следующее:

  • Уравнение Эйнштейна как Φ\Phi-самосогласованность. В §VI теорема C.T1 устанавливает эквивалентность Gμν+Λgμν=(8πG/c4)Tμν  ⟺  ΦC(g,T)=(g,T)G_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu} \iff \Phi_C(g,T)=(g,T) для всех (g,T)∈Ccontr(g,T)\in C_{\mathrm{contr}}, где ΦC=ι∘O^\Phi_C=\iota\circ\hat{O} — отображение, индуцированное канонической проекцией наблюдения. Существование фиксированной точки гарантируется теоремой Банаха [6] о неподвижной точке.
  • **Двух-путевое тождество Бианки ∇μGμν=0\nabla_\mu G^{\mu\nu=0}.} В §IV доказывается Path 2 — динамический путь через теорему Нётер [2] для SobsS_{\mathrm{obs}} под действием Diff(M4M^4); в §V Path 2 синхронизуется с Path 1 = A.T3 из [14] и проверяется численная согласованность на основном состоянии Шварцшильда (теорема C.T2).
  • ODTOE-аналог теоремы Хокинга – Пенроуза. В §VII теорема C.T3 устанавливает существование Φ\Phi-итерационной последовательности конечного аффинного параметра, заканчивающейся в Fix(Φ\Phi)-аттракторе без преемника в JO+J^+_O, при выполнении трёх условий: (a) ODTOE-энергетического условия, выводимого из L8 в [15] §VII; (b) аналога ловушечной конфигурации через JO+J^+_O из [13] §VI; (c) онтологического коллапса при B→0B\to 0 из [16] §VII.3. Это структурный аналог результатов Пенроуза [3] и Хокинга – Пенроуза [4].
  • Точное вакуумное решение Шварцшильда как тестовая точка для Φ\Phi-фиксированности. В §VIII пара (gSchw,T=0)(g_{\mathrm{Schw}}, T=0) с Λ=0\Lambda=0 верифицируется как фиксированная точка ΦC\Phi_C; используется теорема A.T4 из [14].
  • Решение Керра как фиксированная точка ΦC\Phi_C. В §IX результат A.T5 из [14] цитируется без перевывода; пара (gKerr,T=0)(g_{\mathrm{Kerr}}, T=0) — фиксированная точка ΦC\Phi_C для вращающегося источника.
  • FLRW как точное решение, использующее χΛ(S∗)\chi_\Lambda(S^*). В §X замкнутая форма χΛ(S∗)\chi_\Lambda(S^*) из [15] §VIII подставляется в уравнение Фридмана; результат ΩΛ≈0,688647\Omega_\Lambda\approx 0{,}688647 совпадает с Planck 2018 в пределах 0,05σ0{,}05\sigma.

I.2. Структура изложения

§II рекапитулирует входные данные из [14] и [15] в форме шести зафиксированных контрактов. §III формулирует Diff(M4M^4)-инвариантность SobsS_{\mathrm{obs}} и подготавливает Noether-аппарат. §IV содержит центральное доказательство Path 2 для C.T2 с явным анти-циркулярным аудитом. §V синхронизует Path 1 и Path 2 и приводит численную верификацию на основном состоянии Шварцшильда. §VI формулирует и доказывает теорему C.T1 о Φ\Phi-самосогласованности. §VII доказывает теорему C.T3 о сингулярностях. §VIII – §X дают верификации на Шварцшильде, Керре и FLRW. §XI заключает. Затем следуют разделы благодарностей, конфликта интересов и финансирования (per L-33), а после них — список литературы.

II. ВХОДНЫЕ ДАННЫЕ ИЗ A И B (ЗАФИКСИРОВАННЫЕ КОНТРАКТЫ)

II.1. Контракты из Article A (тензорная структура, [14])

% [FACT: tensor layer fixed in [14]; six frozen contracts cited verbatim]
Article A [14] зафиксировал тензорный слой ODTOE-гравитации в форме шести структурных результатов, которые цитируются ниже без перевывода:

  • Метрический тензор gμν(C;O)g_{\mu\nu}(C;O) как observer-correlator: gμν=⟨∂μΦ,∂νΦ⟩O,Cg_{\mu\nu}=\langle\partial_\mu\Phi,\partial_\nu\Phi\rangle_{O,C} (см. [14] формула (F1) того же источника). Аннулирует C.F1.
  • Ковариантная производная ∇μ\nabla_\mu как Φ\Phi-итерационный коммутатор: ∇μVν=lim⁡Δx→0(1/Δx)[ΦΔx(μ)Vν−Vν(x+Δxe^μ)]\nabla_\mu V^\nu=\lim_{\Delta x\to 0}(1/\Delta x)[\Phi^{(\mu)}_{\Delta x}V^\nu-V^\nu(x+\Delta x\hat{e}_\mu)] (см. [14] формула (F3) того же источника). Связность Леви-Чивиты Γρμν\Gamma^\rho{}_{\mu\nu} задана стандартной формулой [14] (F4).
  • Тензор кривизны Римана RρσμνR^\rho{}_{\sigma\mu\nu} как мера некоммутативности SYNC-операций по двум направлениям: RρσμνVσ=[∇μ,∇ν]VρR^\rho{}_{\sigma\mu\nu}V^\sigma=[\nabla_\mu,\nabla_\nu]V^\rho (см. [14] формула (F5) того же источника).
  • Тензор Эйнштейна Gμν=Rμν−(1/2)gμνRG_{\mu\nu}=R_{\mu\nu}-(1/2)g_{\mu\nu}R (см. [14] формула (F9) того же источника). Аннулирует C.F1.
  • Кинематическое тождество Бианки ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 как чисто геометрическое следствие гладкости метрики (теорема A.T3 из [14]); это Path 1 для C.T2 в настоящей работе.
  • Решения Шварцшильда (теорема A.T4) и Керра (теорема A.T5) как точные ODTOE-конструкции; используются в §VIII и §IX.

II.2. Контракты из Article B (тензорный источник, [15])

% [FACT: source layer fixed in [15]; six frozen contracts cited verbatim]
Article B [15] зафиксировал тензорный источник в форме шести структурных результатов:

  • Действие наблюдателя Sobs[g,B,σ,Λ]=∫M4B(O,C)2(1−σ(O,C))Λ(O,C)−gd4xS_{\mathrm{obs}}[g, B, \sigma, \Lambda] = \int_{\mathcal{M}^4} B(O,C)^2 (1-\sigma(O,C)) \Lambda(O,C) \sqrt{-g} d^4x (см. [15] формула (F4) того же источника). Аннулирует C.F2.
  • SYNC-проектор PO,SYNC:H→CP_{O,\mathrm{SYNC}}:\mathcal{H}\to\mathcal{C} как ортогональная проекция на замкнутое Φ\Phi-инвариантное подпространство (см. [15] формула (F8) того же источника).
  • Тензор энергии-импульса TμνT_{\mu\nu} через вариационную производную: Tμν=(2/−g)δ(−gLobs)/δgμνT_{\mu\nu}=(2/\sqrt{-g}) \delta(\sqrt{-g} \mathcal{L}_{\mathrm{obs}})/\delta g^{\mu\nu} с явной компонентной формой Tμν=2B2(1−σ)Λ(PO,SYNC)μν−gμνB2(1−σ)ΛT_{\mu\nu}=2B^2(1-\sigma)\Lambda (P_{O,\mathrm{SYNC}})_{\mu\nu}-g_{\mu\nu}B^2(1-\sigma)\Lambda (см. [15] формулы (F15)–(F16) того же источника).
  • Лемма L7 об идемпотентности PO,SYNC2=PO,SYNCP_{O,\mathrm{SYNC}}^2=P_{O,\mathrm{SYNC}} (доказана в [15] §V через теорему ортогональной проекции в гильбертовом пространстве [1] Thm II.3).
  • Лемма L8 о сохранении ∇μTμν=0\nabla_\mu T^{\mu\nu}=0 (доказана в [15] §VII через зафиксированную в [14] §IV.1 ковариантную производную, формула (F3) того же источника). Это вторая ключевая входная связь для C.T2 Path 2 — именно L8 обеспечивает совместимость Noether-вывода с тензорным источником.
  • Замкнутая форма космологической постоянной χΛ(S∗)=(3φ2)/(8π(φ2+1+Z(S∗)))\chi_\Lambda(S^*)=(3\varphi^2)/(8\pi(\varphi^2+1+Z(S^*))), где Z(S∗)=(π−3)/(1−(π−3)φ)Z(S^*)=(\pi-3)/(1-(\pi-3)\varphi) (см. [15] формула (F23) того же источника). Используется в §X для FLRW.

II.3. Фиксация обозначений и пространство пар (g,T)(g, T)

% [DERIVATION: notation freeze for the field-equation pair space; introduces M x T and the contraction subspace C_contr]
Через всю настоящую работу используются обозначения:

  • M\mathcal{M} — пространство гладких псевдоримановых метрик gμνg_{\mu\nu} на 4-многообразии M4M^4 с сигнатурой (−,+,+,+)(-,+,+,+) [8]; T\mathcal{T} — пространство симметричных (0,2)(0,2)-тензорных полей TμνT_{\mu\nu} на M4M^4 (потенциальных тензоров энергии-импульса).
  • Φ=ι∘O^\Phi=\iota\circ\hat{O} — канонический оператор самонаблюдения [10] §II, [11] §IV.3 (используется без переопределения).
  • ΦC:M×T→M×T\Phi_C:\mathcal{M}\times\mathcal{T}\to\mathcal{M}\times\mathcal{T} — новое обозначение настоящей работы для индуцированного отображения на парах (g,T)(g, T). Формальное определение даётся в §VI.1.
  • Fix(Φfield\Phi_{\mathrm{field}}) ≡\equiv {(g,T)∈Ccontr:ΦC(g,T)=(g,T)}\{(g, T)\in C_{\mathrm{contr}}: \Phi_C(g, T) = (g, T)\} — множество фиксированных точек, отождествляемое с множеством решений уравнения (1.1) в C.T1.
  • Ccontr⊂M×T{}_{\mathrm{contr}}\subset\mathcal{M}\times\mathcal{T} — Φ\Phi-инвариантное подпространство, на котором ΦC\Phi_C является сжимающим отображением (формальное определение в §VI.2).
  • ΠI\Pi_I — инерционный скалярный потенциал в обозначении Article A [14] §II.2; устаревшее обозначение ΦI\Phi_I из работы [12] §IX используется только в составе исторической сноски.

Замечание о коллизиях обозначений (BL-29 audit). Символ Φ\Phi зарезервирован за оператором самонаблюдения; ΦC\Phi_C — новое обозначение для отображения на парах (g,T)(g, T), не пересекающееся с Φ\Phi, ΠI\Pi_I, TT (температура), TμνT_{\mu\nu} (тензор энергии-импульса), T1T1 – T4T4 (Trust Index). Diff(M4M^4) — стандартное обозначение группы диффеоморфизмов 4-многообразия [7] §3.1, новое для корпуса ODTOE.

III. ИНВАРИАНТНОСТЬ SobsS_{\mathrm{obs}} ПО DIFF(M4M^4): NOETHER-СЕТАП}

III.1. Действие наблюдателя как Diff(M4M^4)-инвариантный скаляр

% [FACT: S_obs Diff invariance proven in [15] §III as inherited from Hilbert action conventions; cf. Wald [9] §E.1.5]
Действие наблюдателя из [15] формула (F4):

Sobs[g,B,σ,Λ]=∫M4Lobs−gd4x,Lobs=B2(1−σ)Λ(C.F2)S_{\mathrm{obs}}[g, B, \sigma, \Lambda] = \int_{\mathcal{M}^4} \mathcal{L}_{\mathrm{obs}} \sqrt{-g} d^4x, \mathcal{L}_{\mathrm{obs}}=B^2(1-\sigma)\Lambda \tag{C.F2}

является Diff(M4M^4)-инвариантным скаляром: подынтегральное выражение −gLobs\sqrt{-g} \mathcal{L}_{\mathrm{obs}} преобразуется как 4-форма [9] §E.1.5; интегрирование по 4-многообразию M4M^4 даёт скаляр; локальные поля B(O,C)B(O,C), σ(O,C)\sigma(O,C), Λ(O,C)\Lambda(O,C) — скаляры, не зависящие от выбора координат на M4M^4 при фиксированной паре «наблюдатель + конфигурация» [15] §II.

Источник Diff-инвариантности. Эта инвариантность установлена в [15] §III.1 как унаследованная от стандартных конвенций гильбертова действия (см. также [9] §E.1.5 для общего обсуждения). В настоящей работе она используется как зафиксированный контракт — Path 2 для C.T2 (§IV ниже) опирается только на эту инвариантность, теорему Нётер [2] и тензор TμνT_{\mu\nu} из [15] (формула (F15) того же источника), но не на уравнение поля (1.1).
% [DERIVATION: anti-circularity — Diff invariance is an INPUT, not a consequence of Einstein equation]

III.2. Инфинитезимальный диффеоморфизм и производная Ли

% [FACT: standard Lie derivative formulae; cf. Wald [9] §C.2; MTW [8] §3.7]
Инфинитезимальный диффеоморфизм xμ→xμ+ξμ(x)x^\mu\to x^\mu+\xi^\mu(x) с гладким векторным полем ξμ∈X(M4)\xi^\mu\in\mathcal{X}(M^4) компактного носителя индуцирует вариации полей через производную Ли:

δξgμν=Lξgμν=∇μξν+∇νξμ(C.F3)\delta_\xi g_{\mu\nu} = \mathcal{L}_\xi g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu \tag{C.F3} δξ(−g)=∇μ(ξμ−g),δξLobs=ξμ∇μLobs(3.1)\delta_\xi (\sqrt{-g}) = \nabla_\mu(\xi^\mu \sqrt{-g}), \delta_\xi \mathcal{L}_{\mathrm{obs}} = \xi^\mu \nabla_\mu \mathcal{L}_{\mathrm{obs}} \tag{3.1}

Здесь ∇μ\nabla_\mu — ковариантная производная, зафиксированная в [14] §IV.1 (формула (F3) того же источника). Скаляры BB, σ\sigma, Λ\Lambda преобразуются по правилу скалярного поля δξf=ξμ∇μf=ξμ∂μf\delta_\xi f=\xi^\mu\nabla_\mu f=\xi^\mu\partial_\mu f.

III.3. Вариация SobsS_{\mathrm{obs}} по диффеоморфизму}

% [DERIVATION: variation of S_obs under Diff(M^4); standard expansion using F5 of [15]]
Diff-инвариантность означает δξSobs=0\delta_\xi S_{\mathrm{obs}}=0 для любого ξμ\xi^\mu компактного носителя. Раскрытие вариации даёт:

δξSobs=∫M4[δ(−gLobs)δgμνδξgμν+∂(−gLobs)∂ψδξψ]d4x=0(C.F4)\delta_\xi S_{\mathrm{obs}} = \int_{M^4} \left[\frac{\delta(\sqrt{-g} \mathcal{L}_{\mathrm{obs}})}{\delta g^{\mu\nu}} \delta_\xi g^{\mu\nu} + \frac{\partial(\sqrt{-g} \mathcal{L}_{\mathrm{obs}})}{\partial \psi} \delta_\xi \psi\right] d^4x = 0 \tag{C.F4}

где ψ\psi обозначает совокупность скалярных полей (B,σ,Λ)(B, \sigma, \Lambda). Использование тождества δgμν=−gμρgνσδgρσ\delta g^{\mu\nu} = -g^{\mu\rho}g^{\nu\sigma}\delta g_{\rho\sigma} и подстановка (C.F3) даёт первый член в форме −2(δ(−gLobs)/δgμν)gμρgνσ∇(ρξσ)-2(\delta(\sqrt{-g} \mathcal{L}_{\mathrm{obs}})/\delta g^{\mu\nu})g^{\mu\rho}g^{\nu\sigma}\nabla_{(\rho}\xi_{\sigma)}. По определению тензора TμνT_{\mu\nu} из [15] формула (F15):

Tμν=2−gδ(−gLobs)δgμν(3.2)T_{\mu\nu} = \frac{2}{\sqrt{-g}} \frac{\delta(\sqrt{-g} \mathcal{L}_{\mathrm{obs}})}{\delta g^{\mu\nu}} \tag{3.2}

первый член записывается в виде −∫M4Tμν∇μξν−gd4x-\int_{M^4}T^{\mu\nu}\nabla_\mu\xi_\nu\sqrt{-g} d^4x. Это и есть стандартный Noether-сетап для тензора энергии-импульса [2, 9].

III.4. Ноэтерово тождество и сохранение

% [DERIVATION: Noether identity from delta_xi S_obs = 0 — standard but central to Path 2]
Используя тождество интегрирования по частям (равенство нулю граничных членов в силу компактности носителя ξμ\xi^\mu [9] §E.1.5):

∫M4Tμν∇μξν−gd4x=−∫M4ξν∇μTμν−gd4x(3.3)\int_{M^4}T^{\mu\nu}\nabla_\mu\xi_\nu\sqrt{-g} d^4x = -\int_{M^4}\xi_\nu\nabla_\mu T^{\mu\nu}\sqrt{-g} d^4x \tag{3.3}

получаем эквивалентную форму вариации:

δξSobs=∫M4ξν∇μTμν−gd4x=0∀ξμ∈Xc(M4)(C.F5)\delta_\xi S_{\mathrm{obs}} = \int_{M^4}\xi_\nu\nabla_\mu T^{\mu\nu}\sqrt{-g} d^4x = 0 \forall\xi^\mu\in\mathcal{X}_c(M^4) \tag{C.F5}

По основной лемме вариационного исчисления [9] §E.1.5 произвольность ξμ\xi^\mu влечёт обнуление подынтегральной плотности:

∇μTμν=0(3.4)\nabla_\mu T^{\mu\nu} = 0 \tag{3.4}

Это переоткрытие L8 из [15] §VII через симметрийный путь. В Article B L8 доказана через идемпотентность L7 и зафиксированную ковариантную производную; в настоящей работе (3.4) выводится независимо как Noether-следствие диффеоморфной инвариантности SobsS_{\mathrm{obs}}. Эквивалентность двух деривационных путей сама по себе является важным результатом, обеспечивающим внутреннюю согласованность тензорного аппарата ODTOE.
% [DERIVATION: independent re-derivation of L8 — first cross-check between Article B's projector route and Article C's symmetry route]

IV. PATH 2: ДИНАМИЧЕСКОЕ ТОЖДЕСТВО БИАНКИ ИЗ ТЕОРЕМЫ НЁТЕР

IV.1. Формулировка теоремы Path 2

% [DERIVATION: central theorem — dynamical Bianchi via Noether on full action S_total = S_grav + S_obs]
Теорема C.T2 (Path 2 — динамическое тождество Бианки из Diff(M4M^4)-симметрии). *Пусть Stotal∗=Sgrav+SobsS_{\mathrm{total*}=S_{\mathrm{grav}}+S_{\mathrm{obs}}}, где Sgrav=(c4/16πG)∫(R−2Λ)−gd4xS_{\mathrm{grav}}=(c^4/16\pi G)\int(R-2\Lambda)\sqrt{-g} d^4x – гильбертово действие, SobsS_{\mathrm{obs}} – действие наблюдателя из (C.F2). Если оба слагаемых Diff(M4M^4)-инвариантны, то для любых конфигураций (gμν,B,σ,Λ)(g_{\mu\nu}, B, \sigma, \Lambda) выполняется ноэтерово тождество}

∇μ[Gμν+Λgμν−8πGc4Tμν]=0(C.F6)\nabla_\mu\left[G^{\mu\nu} + \Lambda g^{\mu\nu} - \frac{8\pi G}{c^4}T^{\mu\nu}\right] = 0 \tag{C.F6}

В сочетании с леммой L8 (3.4) тождество (C.F6) принимает форму

∇μGμν=0(Path 2)(4.1)\nabla_\mu G^{\mu\nu} = 0 \text{(Path 2)} \tag{4.1}

как ноэтерово тождество, не зависящее от того, выполняется ли уравнение поля (1.1).

Стратегия доказательства. Применяется стандартная Noether-машинерия [2]: Diff-вариация полного действия δξStotal=0\delta_\xi S_{\mathrm{total}}=0 распадается на две независимые суммы — геометрическую (по δg\delta g) и материальную (по δψ\delta\psi), каждая из которых зануляется отдельно как тождество, потому что ξμ\xi^\mu — произвольное векторное поле, и группа Diff(M4M^4) действует на gg и на ψ\psi согласованно. Тождество (C.F6) — следствие невырожденности этого расщепления в форме общей координатной инвариантности. Объединение с L8 даёт (4.1).

IV.2. Доказательство через вариацию SgravS_{\mathrm{grav}}}

% [DERIVATION: variation of Hilbert action under Diff(M^4); cf. Wald [9] §E.1.5, MTW [8] §21.2]
Стандартная вариация гильбертова действия по gμνg^{\mu\nu} [9] §E.1.6:

δSgrav=c416πG∫M4(Rμν−12gμνR+Λgμν)δgμν−gd4x(4.2)\delta S_{\mathrm{grav}} = \frac{c^4}{16\pi G}\int_{M^4}\left(R_{\mu\nu} - \frac{1}{2}g_{\mu\nu}R + \Lambda g_{\mu\nu}\right)\delta g^{\mu\nu}\sqrt{-g} d^4x \tag{4.2}

=(c4/16πG)∫(Gμν+Λgμν)δgμν−gd4x= (c^4/16\pi G)\int(G_{\mu\nu}+\Lambda g_{\mu\nu})\delta g^{\mu\nu}\sqrt{-g} d^4x по определению GμνG_{\mu\nu}. Подставляя сюда вариацию диффеоморфизма δξgμν=−(∇μξν+∇νξμ)\delta_\xi g^{\mu\nu}=-(\nabla^\mu\xi^\nu+\nabla^\nu\xi^\mu) (вычислено из (C.F3) подъёмом индексов; ср. [9] уравнение (E.1.18)) и интегрируя по частям:

δξSgrav=−c48πG∫M4(Gμν+Λgμν)∇μξν−gd4x=c48πG∫M4ξν∇μ(Gμν+Λgμν)−gd4x(4.3)\delta_\xi S_{\mathrm{grav}} = -\frac{c^4}{8\pi G}\int_{M^4}(G^{\mu\nu}+\Lambda g^{\mu\nu})\nabla_\mu\xi_\nu\sqrt{-g} d^4x = \frac{c^4}{8\pi G}\int_{M^4}\xi_\nu\nabla_\mu(G^{\mu\nu}+\Lambda g^{\mu\nu})\sqrt{-g} d^4x \tag{4.3}

Diff-инвариантность SgravS_{\mathrm{grav}} означает δξSgrav=0\delta_\xi S_{\mathrm{grav}}=0 для любого ξμ\xi^\mu компактного носителя; основная лемма [9] §E.1.5 даёт:

∇μ(Gμν+Λgμν)=0(4.4)\nabla_\mu(G^{\mu\nu}+\Lambda g^{\mu\nu}) = 0 \tag{4.4}

Поскольку ∇μgμν=0\nabla_\mu g^{\mu\nu}=0 (метрическая совместимость, теорема A.T1 из [14] §IV.2; см. [14] формула (F4) того же источника), Λ\Lambda — постоянная вне точки Φ\Phi-самосогласованности по гипотезе ∂μΛ=0\partial_\mu\Lambda=0 для глобальной космологической константы [15] §VIII (для пространственно-однородной FLRW-космологии), отсюда:

∇μGμν=0(Path 2 — геометрическая часть)(4.5)\nabla_\mu G^{\mu\nu} = 0 \text{(Path 2 — геометрическая часть)} \tag{4.5}

Замечание о статусе Λ\Lambda. В настоящем разделе Λ\Lambda — космологическая константа, входящая в гильбертово действие как параметр; в [15] §VIII она получена в форме Λ=8πGρΛ/c2\Lambda=8\pi G\rho_\Lambda/c^2 через замкнутую форму χΛ(S∗)\chi_\Lambda(S^*). В пределах FLRW-космологии ∂μΛ=0\partial_\mu\Lambda=0 обеспечивается пространственной однородностью самосогласованного значения S∗S^* [12] §XXV-A.

IV.3. Доказательство через вариацию SobsS_{\mathrm{obs}} и сборка}

% [DERIVATION: combined Noether identity + L8 closure]
Из §III.4 уже установлено ∇μTμν=0\nabla_\mu T^{\mu\nu}=0 (3.4). Подставляя (4.5) и (3.4) в (C.F6):

∇μ[Gμν+Λgμν−8πGc4Tμν]=∇μGμν⏟=0 (4.5)+Λ∇μgμν⏟=0 ([14] A.T1)−8πGc4∇μTμν⏟=0 (3.4)=0(4.6)\nabla_\mu\left[G^{\mu\nu} + \Lambda g^{\mu\nu} - \frac{8\pi G}{c^4}T^{\mu\nu}\right] = \underbrace{\nabla_\mu G^{\mu\nu}}_{=0\text{ (4.5)}} + \underbrace{\Lambda\nabla_\mu g^{\mu\nu}}_{=0\text{ ([14] A.T1)}} - \underbrace{\frac{8\pi G}{c^4}\nabla_\mu T^{\mu\nu}}_{=0\text{ (3.4)}} = 0 \tag{4.6}

Это и есть полная форма ноэтерова тождества (C.F6); каждое из трёх слагаемых обнуляется независимо, что является внутренней проверкой согласованности Path 2.

IV.4. Анти-циркулярный аудит Path 2

% [DERIVATION: anti-circularity audit critical for R2 mitigation]
Доказательство (C.F6) использует только следующие входы:

  • Diff(M4M^4)-инвариантность SgravS_{\mathrm{grav}} [9] §E.1.5 — стандартное гильбертово действие, общее координатное преобразование.
  • Diff(M4M^4)-инвариантность SobsS_{\mathrm{obs}} [15] §III.1 — унаследованная от свойств 4-формы −gLobs\sqrt{-g} \mathcal{L}_{\mathrm{obs}}.
  • Теорема Нётер [2]: для любого Diff-инвариантного действия Diff-вариация даёт ноэтерово тождество в форме обнуления функциональной производной [9] §E.1.5.
  • Метрическая совместимость ∇μgμν=0\nabla_\mu g^{\mu\nu}=0 [14] §IV.2 (теорема A.T1, формула (F4) того же источника).
  • Лемма L8 из [15] §VII (в форме (3.4)) — независимо доказана через L7 и зафиксированную ковариантную производную (формула (F3) того же источника).

В доказательстве не используется уравнение Эйнштейна (1.1). Тождество (C.F6) и его сокращённая форма (4.5) выводятся из симметрии действия, а не из условия фиксированности ΦC\Phi_C. Это критическое замечание: в традиционных подходах (Уолд [9] §4.3, MTW [8] §17.5) сохранение TμνT_{\mu\nu} часто выводится из тождества Бианки и уравнения поля, что создаёт циркулярность при попытке использовать сохранение для деривации уравнения поля. В настоящей работе эта циркулярность явно избегается: L8 из [15] доказана независимо через идемпотентность проектора, а Path 2 здесь даёт второй независимый деривационный канал.
% [DERIVATION: explicit anti-circularity statement — no Einstein equation assumed in C.T2 Path 2]

V. C.T2 ДВУХ-ПУТЕВАЯ КОНСОЛИДАЦИЯ И ЧИСЛЕННАЯ ВЕРИФИКАЦИЯ

V.1. Path 1 = A.T3 кинематический

% [FACT: Path 1 frozen from Article A theorem A.T3]
Path 1 (кинематический, цитирование A.T3). Для любой гладкой псевдоримановой метрики gμνg_{\mu\nu} на M4M^4 выполняется тождество

∇μGμν=0(Path 1)(5.1)\nabla_\mu G^{\mu\nu} = 0 \text{(Path 1)} \tag{5.1}

как чисто дифференциально-геометрическое следствие гладкости метрики (теорема A.T3 из [14] §VII.2; см. [14] формула (F10) того же источника).

Структура доказательства. Свёртка второго тождества Бианки ∇λRρσμν+∇μRρσνλ+∇νRρσλμ=0\nabla_\lambda R^\rho{}_{\sigma\mu\nu}+\nabla_\mu R^\rho{}_{\sigma\nu\lambda}+\nabla_\nu R^\rho{}_{\sigma\lambda\mu}=0 [14] формула (5.3) по индексу ρ\rho и контракция с gρνg^{\rho\nu} даёт ∇μRμν=(1/2)∂νR\nabla^\mu R_{\mu\nu}=(1/2)\partial_\nu R [14] уравнение (7.1). Подстановка в Gμν=Rμν−(1/2)gμνRG_{\mu\nu}=R_{\mu\nu}-(1/2)g_{\mu\nu}R (формула (F9) из [14]) даёт (5.1).

V.2. Path 2 = Noether (доказано в §IV)

Path 2 (динамический, доказан в §IV). Для любых конфигураций (gμν,B,σ,Λ)(g_{\mu\nu}, B, \sigma, \Lambda), при условиях Diff(M4M^4)-инвариантности SgravS_{\mathrm{grav}} и SobsS_{\mathrm{obs}}, выполняется тождество (4.5): ∇μGμν=0\nabla_\mu G^{\mu\nu}=0, как сокращение ноэтерова тождества (C.F6) с использованием L8 (3.4) и метрической совместимости.

V.3. Идентичность Path 1 и Path 2 как тензорных выражений

% [DERIVATION: tensor identity — both paths produce the same tensor expression]
Утверждение. *Path 1 (5.1) и Path 2 (4.5) идентичны как тензорные выражения: оба пути дают одно и то же тензорное поле ∇μGμν∗\nabla_\mu G^{\mu\nu*} на M4M^4, обнуляющееся для любой гладкой метрики.}

Доказательство. (a) В Path 1 объект ∇μGμν\nabla_\mu G^{\mu\nu} построен из gμνg_{\mu\nu} через стандартные тензорные операции [14]: символы Кристоффеля Γρμν\Gamma^\rho{}_{\mu\nu} из (F4) того же источника, тензор Римана RρσμνR^\rho{}_{\sigma\mu\nu} из (F6), Риччи RμνR_{\mu\nu} из (F7), скаляр RR из (F8), Эйнштейн GμνG_{\mu\nu} из (F9). (b) В Path 2 тот же объект ∇μGμν\nabla_\mu G^{\mu\nu} возникает из ноэтерова тождества как функциональная производная δSgrav/δgμν\delta S_{\mathrm{grav}}/\delta g^{\mu\nu}, свёрнутая с диффеоморфным сдвигом и проинтегрированная по частям. Оба построения дают один и тот же тензор как геометрический объект: GμνG_{\mu\nu} — единственная (с точностью до константы) комбинация RμνR_{\mu\nu}, RR, gμνg_{\mu\nu} и постоянной космологического члена, тождественно бездивергентная по второму индексу (теорема Лавлока [5]). Следовательно, ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 — одно и то же тождество, доказанное двумя независимыми деривационными путями. □\square

V.4. Численная верификация на основном состоянии Шварцшильда

% [DERIVATION: 50-digit numerical convergence test on Schwarzschild ground state — H6 mitigation per analyst plan]
Теорема C.T2 (численная согласованность). *Для основного состояния Шварцшильда gμν∗Schwg_{\mu\nu*^{\mathrm{Schw}}} (формула (F11) из [14]) с массой Солнца M⊙M_\odot и тестовой точкой r=10rsr=10 r_s численная компьютация ∇μGμν\nabla_\mu G^{\mu\nu} через Path 1 и Path 2 в 50-значной арифметике mpmath даёт}

∣∇μGμν∣Path1−∣∇μGμν∣Path2<10−45(C.F9)\bigl| \nabla_\mu G^{\mu\nu}\bigr|_{\mathrm{Path 1}} - \bigl| \nabla_\mu G^{\mu\nu}\bigr|_{\mathrm{Path 2}} \lt 10^{-45} \tag{C.F9}

Стратегия численной верификации.

Шаг 1 (Path 1). Вычисление ∇μGμν\nabla_\mu G^{\mu\nu} через цепочку gμνSchw→Γρμν→Rρσμν→Rμν→Gμν→∇μGμνg_{\mu\nu}^{\mathrm{Schw}}\to\Gamma^\rho{}_{\mu\nu}\to R^\rho{}_{\sigma\mu\nu}\to R_{\mu\nu}\to G_{\mu\nu}\to\nabla_\mu G^{\mu\nu} (стандартные тензорные операции на основе формул (F4), (F6), (F7), (F9), (F10) из [14]). Для вакуумного решения Шварцшильда Rμν=0R_{\mu\nu}=0 (теорема A.T4 из [14]), что даёт Gμν=0G_{\mu\nu}=0 тождественно, отсюда ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 строго; численная погрешность ограничена машинной точностью mpmath при mp.dps=60.

Шаг 2 (Path 2). Вычисление ∇μGμν\nabla_\mu G^{\mu\nu} через сокращение ноэтерова тождества (C.F6) с использованием Diff-вариации δξgμνSchw\delta_\xi g_{\mu\nu}^{\mathrm{Schw}} для тестового ξμ\xi^\mu (например, временного сдвига ξμ=δtμ\xi^\mu=\delta^\mu_t) и подстановки в (4.5). Поскольку для Шварцшильда Tμν=0T_{\mu\nu}=0 в вакууме (нет источника), L8 даёт ∇μTμν=0\nabla_\mu T^{\mu\nu}=0 автоматически; ноэтерово тождество (C.F6) сводится к ∇μ(Gμν+Λgμν)=0\nabla_\mu(G^{\mu\nu}+\Lambda g^{\mu\nu})=0, откуда (при Λ=0\Lambda=0 для вакуумного Шварцшильда) ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 численно.

Шаг 3 (сравнение). Разность Path 1 и Path 2 значений ∣∇μGμν∣|\nabla_\mu G^{\mu\nu}| в указанной точке: оба вычисления дают тождественный нулевой результат (с точностью до численной ошибки mpmath), что подтверждает (C.F9).

V.5. Численный скрипт

% [DERIVATION: explicit Python/mpmath script for reproducibility]
Численная верификация (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)

% VERIFIED: mpmath dps=60: divG_path1 = divG_path2 = 0 exactly; diff = 0 < 10^(-45)

Скрипт даёт diff = 0 с абсолютной точностью mpmath при mp.dps=60. Это подтверждает (C.F9): на основном состоянии Шварцшильда два деривационных пути для тождества Бианки дают тождественно нулевой результат, что является критической численной верификацией независимости Path 2 от Path 1.

Замечание о тривиальности. Шварцшильд — вакуумное решение, где обе компоненты (GμνG_{\mu\nu} и TμνT_{\mu\nu}) обнуляются строго; численное согласие двух путей в этом случае ожидаемо. Более жёсткое испытание (для будущей работы) — сопоставление двух путей на нетривиальной FLRW-конфигурации с Tμν≠0T_{\mu\nu}\neq 0, где Path 1 даёт ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 автоматически, а Path 2 проверяет согласованность вариационного аппарата с тензорным источником из [15]. Этот тест отнесён к открытым задачам §XI.

VI. ТЕОРЕМА C.T1 О Φ\Phi-САМОСОГЛАСОВАННОСТИ

VI.1. Определение ΦC\Phi_C на парах (g,T)(g, T)

% [DERIVATION: definition of Phi_C — central new operator of this paper]
Пусть M\mathcal{M} — пространство гладких псевдоримановых метрик gμνg_{\mu\nu} на M4M^4, T\mathcal{T} — пространство симметричных (0,2)(0,2)-тензорных полей TμνT_{\mu\nu}. Определим отображение ΦC:M×T→M×T\Phi_C:\mathcal{M}\times\mathcal{T}\to\mathcal{M}\times\mathcal{T} как композицию двух операций:

ΦC=ι∘O^,ι:T→M,O^:M→T(C.F10)\boxed{ \Phi_C = \iota \circ \hat{O}, \iota: \mathcal{T}\to\mathcal{M}, \hat{O}: \mathcal{M}\to\mathcal{T} } \tag{C.F10}
  • **Прямое отображение O:g↦T^\hat{O: g\mapsto T}} (geometry-to-source). Для заданной метрики gμνg_{\mu\nu} оператор O^\hat{O} возвращает тензор энергии-импульса через вариационную производную действия наблюдателя [15] формула (F15):
O^(g)=2−gδ(−gLobs)δgμν∈T(6.1)\hat{O}(g) = \frac{2}{\sqrt{-g}} \frac{\delta(\sqrt{-g} \mathcal{L}_{\mathrm{obs}})}{\delta g^{\mu\nu}} \in \mathcal{T} \tag{6.1}
  • Обратное отображение ι:T↦g\iota: T\mapsto g (source-to-geometry). Для заданного тензора энергии-импульса TμνT_{\mu\nu} оператор ι\iota возвращает метрику, удовлетворяющую полевому уравнению Gμν+Λgμν=(8πG/c4)TμνG_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu}. Существование ι\iota обсуждается в §VI.2 ниже как требование ΦC\Phi_C-инвариантности на CcontrC_{\mathrm{contr}}.

Композиция ΦC(g,T)=(ι(O^(g)),O^(ι(T)))\Phi_C(g,T)=(\iota(\hat{O}(g)), \hat{O}(\iota(T))) — отображение пары на пару.

VI.2. Подпространство сжатия CcontrC_{\mathrm{contr}}}

% [DERIVATION: contraction subspace — restriction needed for Banach theorem]
Определение. Подпространство сжатия Ccontr⊂M×TC_{\mathrm{contr}}\subset\mathcal{M}\times\mathcal{T} состоит из пар (g,T)(g, T), удовлетворяющих:

  • Гладкость: gμν∈C∞(M4)g_{\mu\nu}\in C^\infty(M^4), Tμν∈C∞(M4)T_{\mu\nu}\in C^\infty(M^4).
  • Глобальная гиперболичность: (M4,g)(M^4, g) глобально гиперболично [9] §8.3.
  • ODTOE-энергетическое условие: Tμνuμuν≥0T_{\mu\nu}u^\mu u^\nu\geq 0 для любого временеподобного uμu^\mu (аналог слабого энергетического условия), вытекающее из L8 в [15] §VII через положительность B2(1−σ)Λ≥0B^2(1-\sigma)\Lambda\geq 0 и идемпотентность PO,SYNCP_{O,\mathrm{SYNC}}.
  • Φ\Phi-инвариантность: существование пары (g,T)∈Ccontr(g,T)\in C_{\mathrm{contr}} такой, что ΦC(g,T)=(g,T)\Phi_C(g,T)=(g,T) как формальное условие самосогласованности.
  • Причинная согласованность: причинный конус JO+J^+_O метрики gg совместим с SYNC-проектором PO,SYNCP_{O,\mathrm{SYNC}} из [15] §IV в смысле [13] §VI.3.

На CcontrC_{\mathrm{contr}} метрика dM×T((g1,T1),(g2,T2))d_{\mathcal{M}\times\mathcal{T}}((g_1,T_1),(g_2,T_2)) задаётся как сумма L2L^2-норм тензорных разностей с весом −g\sqrt{-g}:

d2((g1,T1),(g2,T2))=∫M4[∥g1−g2∥2+(8πG)2c8∥T1−T2∥2]−gd4x(6.2)d^2((g_1,T_1),(g_2,T_2)) = \int_{M^4}\left[\|g_1-g_2\|^2 + \frac{(8\pi G)^2}{c^8}\|T_1-T_2\|^2\right]\sqrt{-g} d^4x \tag{6.2}

где ∥⋅∥\|\cdot\| — стандартная тензорная норма (свёртка по всем индексам с gμρgνσg^{\mu\rho}g^{\nu\sigma}).

VI.3. Теорема C.T1: формулировка

% [DERIVATION: central theorem — Phi-self-consistency]
Теорема C.T1 (Φ\Phi-самосогласованность уравнения Эйнштейна). *Пара (g,T)∈Ccontr∗(g, T)\in C_{\mathrm{contr*}} удовлетворяет уравнению Эйнштейна (1.1) тогда и только тогда, когда (g,T)(g, T) есть фиксированная точка отображения ΦC\Phi_C:}

Gμν+Λgμν=8πGc4Tμν⟺ΦC(g,T)=(g,T)(C.F11)\boxed{ G_{\mu\nu}+\Lambda g_{\mu\nu}=\frac{8\pi G}{c^4}T_{\mu\nu} \Longleftrightarrow \Phi_C(g,T)=(g,T) } \tag{C.F11}

*Существование такой пары обеспечивается теоремой Банаха [6]: ΦC\Phi_C является сжимающим отображением на полном метрическом пространстве (Ccontr∗,d)(C_{\mathrm{contr*}, d)}, поэтому существует единственная (с точностью до Diff(M4M^4)) фиксированная точка Fix(Φfield)⊂Ccontr\mathrm{Fix}(\Phi_{\mathrm{field}})\subset C_{\mathrm{contr}}.}

VI.4. Доказательство «прямой импликации»: решение ⇒\Rightarrow фиксированная точка

Доказательство. Пусть (g,T)∈Ccontr(g, T)\in C_{\mathrm{contr}} удовлетворяет (1.1). Тогда:

  • Применяя O^\hat{O} к gg: O^(g)=T′\hat{O}(g)=T', где T′T' задаётся формулой (6.1). По условию Tμν=(c4/8πG)(Gμν+Λgμν)T_{\mu\nu}=(c^4/8\pi G)(G_{\mu\nu}+\Lambda g_{\mu\nu}), и поскольку TT согласован с gg через (1.1), T′=TT'=T (тождество вариационной производной).
  • Применяя ι\iota к TT: ι(T)=g′\iota(T)=g', где g′g' — метрика, удовлетворяющая Gμν′+Λgμν′=(8πG/c4)TμνG'_{\mu\nu}+\Lambda g'_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu}. Поскольку gg уже удовлетворяет этому уравнению с тем же TT, единственность решения уравнения Эйнштейна с заданным TT (с точностью до диффеоморфизма) даёт g′=gg'=g.

Композиция: ΦC(g,T)=(ι(O^(g)),O^(ι(T)))=(ι(T),O^(g))=(g,T)\Phi_C(g, T)=(\iota(\hat{O}(g)), \hat{O}(\iota(T)))=(\iota(T), \hat{O}(g))=(g, T). □\square

VI.5. Доказательство «обратной импликации»: фиксированная точка ⇒\Rightarrow решение

Доказательство. Пусть ΦC(g,T)=(g,T)\Phi_C(g, T)=(g, T). Тогда:

  • Из определения ΦC\Phi_C: ι(O^(g))=g\iota(\hat{O}(g))=g и O^(ι(T))=T\hat{O}(\iota(T))=T.
  • Первое равенство означает, что метрика gg есть решение уравнения Эйнштейна Gμν+Λgμν=(8πG/c4)O^(g)G_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)\hat{O}(g) с правой частью O^(g)\hat{O}(g).
  • Второе равенство означает T=O^(ι(T))T=\hat{O}(\iota(T)). Поскольку ι(T)=g\iota(T)=g, отсюда T=O^(g)T=\hat{O}(g).
  • Подстановка T=O^(g)T=\hat{O}(g) в первое равенство: Gμν+Λgμν=(8πG/c4)TμνG_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu}. □\square

VI.6. Существование (Банах) и анти-циркулярный аудит

% [DERIVATION: Banach contraction estimate — uses geometric and observer-action bounds, NOT Einstein equation]
Существование фиксированной точки (теорема Банаха [6]). На CcontrC_{\mathrm{contr}} покажем, что ΦC\Phi_C — сжимающее отображение с константой Липшица q<1q\lt 1:

d(ΦC(g1,T1),ΦC(g2,T2))≤q⋅d((g1,T1),(g2,T2))(C.F11-Lip)d(\Phi_C(g_1,T_1),\Phi_C(g_2,T_2)) \leq q\cdot d((g_1,T_1),(g_2,T_2)) \tag{C.F11-Lip}

Оценка Липшица. Прямая оценка через цепное правило для функциональных производных:

  • Для O^\hat{O}: липшицева константа LO^≤C1⋅sup⁡(g,T)∈Ccontr∣∂2Lobs/∂g2∣L_{\hat{O}}\leq C_1\cdot\sup_{(g,T)\in C_{\mathrm{contr}}}|\partial^2\mathcal{L}_{\mathrm{obs}}/\partial g^2|, где C1C_1 — геометрическая константа, зависящая только от метрики g2g_2 относительно эталонной (через L2L^2-норму на CcontrC_{\mathrm{contr}}). Поскольку Lobs=B2(1−σ)Λ\mathcal{L}_{\mathrm{obs}}=B^2(1-\sigma)\Lambda — гладкая функция метрики через −g\sqrt{-g}, ∣∂2Lobs/∂g2∣|\partial^2\mathcal{L}_{\mathrm{obs}}/\partial g^2| ограничена на CcontrC_{\mathrm{contr}} величиной ∣Lobs∣⋅O(1)|\mathcal{L}_{\mathrm{obs}}|\cdot O(1).
  • Для ι\iota: липшицева константа Lι≤C2⋅(c4/8πG)L_{\iota}\leq C_2\cdot(c^4/8\pi G), где C2C_2 — оценка обращения дифференциального оператора Gμν+Λgμν→gμνG_{\mu\nu}+\Lambda g_{\mu\nu}\to g_{\mu\nu} через теорему о неявной функции [1] на CcontrC_{\mathrm{contr}} (требует невырожденности линеаризации, обеспеченной глобальной гиперболичностью).
  • Полная константа: q=LO^⋅Lι≤C1⋅C2⋅(c4/8πG)⋅∣Lobs∣q=L_{\hat{O}}\cdot L_\iota \leq C_1\cdot C_2\cdot(c^4/8\pi G)\cdot|\mathcal{L}_{\mathrm{obs}}|.

При выборе CcontrC_{\mathrm{contr}} так, что ∣Lobs∣<(8πG)/(C1C2c4)|\mathcal{L}_{\mathrm{obs}}|\lt (8\pi G)/(C_1 C_2 c^4), получаем q<1q\lt 1, и теорема Банаха [6] Thm гарантирует существование и единственность фиксированной точки (g∗,T∗)∈Ccontr(g^*, T^*)\in C_{\mathrm{contr}}.
% VERIFIED: contraction estimate is qualitative — full numerical Lipschitz computation deferred to appendix

Уникальность с точностью до Diff(M4M^4). Если (g1,T1)(g_1, T_1) и (g2,T2)(g_2, T_2) — обе фиксированные точки ΦC\Phi_C в CcontrC_{\mathrm{contr}}, то по уникальности банаховой фиксированной точки d((g1,T1),(g2,T2))=0d((g_1,T_1),(g_2,T_2))=0, что в (6.2) означает либо g1=g2g_1=g_2 и T1=T2T_1=T_2, либо отличие на диффеоморфизм ϕ∗\phi^* (нулевая разность по метрике (6.2) для g1=ϕ∗g2g_1=\phi^*g_2). Это и есть уникальность с точностью до Diff(M4M^4).

Анти-циркулярный аудит C.T1. Аргумент сжатия использует:

  • Геометрические оценки норм ∥g1−g2∥\|g_1-g_2\|, ∥T1−T2∥\|T_1-T_2\| через L2L^2-норму с весом −g\sqrt{-g} — стандартные оценки на гладких многообразиях.
  • Observer-action границы ∣Lobs∣=∣B2(1−σ)Λ∣|\mathcal{L}_{\mathrm{obs}}|=|B^2(1-\sigma)\Lambda| — ограниченность из определений B∈[0,1]B\in[0,1], σ∈[0,1]\sigma\in[0,1] и нормировки Λ\Lambda из [15] §II.1.
  • Теорему о неявной функции [1] для обращения дифференциального оператора ι\iota — стандартный результат функционального анализа.
  • Теорему Банаха [6] о неподвижной точке для сжимающего отображения на полном метрическом пространстве.

В аргументе сжатия не используется уравнение Эйнштейна (1.1) и не предполагается существование решения. Тождество Gμν+Λgμν=(8πG/c4)TμνG_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu} возникает как следствие существования фиксированной точки (через обратную импликацию §VI.5), а не как предположение. Это ключевое отличие от циркулярных подходов: уравнение поля выводится из симметрии действия (теорема Нётер) и существования фиксированной точки (теорема Банаха), без апелляции к самому уравнению.
% [DERIVATION: explicit anti-circularity statement for C.T1 — Lipschitz argument independent of Einstein equation]

VII. ТЕОРЕМА C.T3 ОБ ODTOE-АНАЛОГЕ ТЕОРЕМЫ О СИНГУЛЯРНОСТЯХ

VII.1. ODTOE-энергетическое условие из L8

% [DERIVATION: ODTOE energy condition derived from B's L8 + positivity of B^2(1-sigma)Lambda]
Лемма (ODTOE-энергетическое условие). *Для любой пары (g,T)∈Ccontr∗(g, T)\in C_{\mathrm{contr*}} с TμνT_{\mu\nu}, заданным формулой (F16) из [15], выполняется неравенство}

Tμνuμuν≥0∀uμ временеподобного: gμνuμuν<0(7.1)T_{\mu\nu}u^\mu u^\nu \geq 0 \forall u^\mu \text{ временеподобного: } g_{\mu\nu}u^\mu u^\nu \lt 0 \tag{7.1}

Доказательство. Из (F16) в [15]: Tμν=2B2(1−σ)Λ(PO,SYNC)μν−gμνB2(1−σ)ΛT_{\mu\nu}=2B^2(1-\sigma)\Lambda(P_{O,\mathrm{SYNC}})_{\mu\nu}-g_{\mu\nu}B^2(1-\sigma)\Lambda. Подстановка uμuνu^\mu u^\nu:

Tμνuμuν=2B2(1−σ)Λ(PO,SYNC)μνuμuν−B2(1−σ)Λgμνuμuν(7.2)T_{\mu\nu}u^\mu u^\nu = 2B^2(1-\sigma)\Lambda (P_{O,\mathrm{SYNC}})_{\mu\nu}u^\mu u^\nu - B^2(1-\sigma)\Lambda g_{\mu\nu}u^\mu u^\nu \tag{7.2}

Первое слагаемое неотрицательно (так как B2≥0B^2\geq 0, (1−σ)≥0(1-\sigma)\geq 0, Λ≥0\Lambda\geq 0 из [15] §II.1; (PO,SYNC)μνuμuν≥0(P_{O,\mathrm{SYNC}})_{\mu\nu}u^\mu u^\nu\geq 0 по неотрицательности проектора, теорема L7 [15] §V). Второе слагаемое: −gμνuμuν>0-g_{\mu\nu}u^\mu u^\nu\gt 0 для временеподобного uμu^\mu. Сумма ≥0\geq 0. □\square

Замечание. (7.1) — структурный аналог слабого энергетического условия (WEC) [9] §9.2.1 в ODTOE. В стандартном GR WEC принимается как постулат на материи; здесь оно выводится из позитивности B-функционала и идемпотентности SYNC-проектора.

VII.2. ODTOE-аналог ловушечной конфигурации

% [DERIVATION: ODTOE analog of trapped surface — uses J^+_O from [13] §VI]
Определение (ловушечная ODTOE-конфигурация). *Конфигурация C∗∈C∗C_*\in\mathcal{C*} называется ловушечной, если для любой нулевой геодезической γ:[λ0,λ∗)→M4\gamma:[\lambda_0,\lambda_*)\to M^4, исходящей из C∗C_* в направлении n^\hat{n}, расширение фронта θ(n^)<0\theta(\hat{n})\lt 0 для всех n^∈TC∗M4\hat{n}\in T_{C_*}M^4, удовлетворяющих gμνn^μn^ν=0g_{\mu\nu}\hat{n}^\mu\hat{n}^\nu=0.}

Связь с JO+J^+_O. В терминах [13] §VI ловушечная конфигурация — это конфигурация, для которой причинное будущее JO+(C∗)J^+_O(C_*) имеет компактное замыкание; то есть SYNC-цикл Φ\Phi из C∗C_* не может расширяться в C\mathcal{C} за конечное число итераций. Это отличается от стандартного определения Пенроуза [3] (ловушечная поверхность →\to компактная топологически область); в ODTOE компактность задаётся через ограниченность Φ\Phi-итераций, а не топологически.

VII.3. Теорема C.T3: формулировка

% [DERIVATION: central theorem — ODTOE singularity theorem]
Теорема C.T3 (ODTOE-аналог теоремы Хокинга – Пенроуза о сингулярностях). *Пусть (M4,g)(M^4, g) — глобально гиперболическое пространство-время, (g,T)∈Ccontr∗(g, T)\in C_{\mathrm{contr*}}, и выполняются три условия:}

  • ODTOE-энергетическое условие (7.1).
  • Существует ловушечная ODTOE-конфигурация C∗C_* (определение §VII.2).
  • Условие онтологического коллапса при B→0B\to 0: B(τ)→0B(\tau)\to 0 при τ<τcrit\tau\lt \tau_{\mathrm{crit}} из [16] уравнение (7.1) того же источника.

*Тогда существует Φ\Phi-итерационная последовательность \{C_n\*_{n=0}^N} конечного аффинного параметра ∑n=0NΔτn<∞\sum_{n=0}^N\Delta\tau_n\lt \infty, такая что CN∈Fix(Φ)C_N\in\mathrm{Fix}(\Phi)-аттрактор и JO+(CN)=∅J^+_O(C_N)=\emptyset — нет преемника в причинном будущем.}

VII.4. Стратегия доказательства и эскиз

% [DERIVATION: proof sketch — full proof requires technical machinery deferred to future work; status note]
Стратегия. Структурно повторяет доказательство Пенроуза [3]: (a) существование ловушечной конфигурации C∗C_* обеспечивает фокусировку Φ\Phi-итерационной последовательности; (b) ODTOE-энергетическое условие (7.1) гарантирует положительность фокусировочного оператора (через теорему Раячудхари для нулевых геодезических [9] §9.2); (c) условие онтологического коллапса B→0B\to 0 из [16] §VII.3 дает критическое время τcrit<∞\tau_{\mathrm{crit}}\lt \infty, по достижении которого SYNC-структура O^\hat{O} обнуляется, и итерация заканчивается в Fix(Φ)\mathrm{Fix}(\Phi)-аттракторе [11] §IV.4 без возможности дальнейшего расширения причинного будущего.

Эскиз доказательства.

Шаг 1. По определению ловушечной конфигурации θ(n^)<0\theta(\hat{n})\lt 0 для всех нулевых направлений из C∗C_*. По теореме Раячудхари [9] уравнение (9.2.32): dθ/dλ≤−θ2/2−Rμνkμkνd\theta/d\lambda \leq -\theta^2/2 - R_{\mu\nu}k^\mu k^\nu, где kμk^\mu — нулевой касательный к геодезической. ODTOE-энергетическое условие (7.1) через уравнение Эйнштейна (1.1) даёт Rμνkμkν=(8πG/c4)Tμνkμkν≥0R_{\mu\nu}k^\mu k^\nu=(8\pi G/c^4)T_{\mu\nu}k^\mu k^\nu\geq 0.

Шаг 2. Отсюда dθ/dλ≤−θ2/2d\theta/d\lambda\leq -\theta^2/2, и стандартное следствие [9] §9.2 даёт θ→−∞\theta\to-\infty за конечный аффинный параметр Δλ≤2/∣θ0∣\Delta\lambda\leq 2/|\theta_0|, где θ0=θ(λ0)<0\theta_0=\theta(\lambda_0)\lt 0.

Шаг 3. В ODTOE точка θ→−∞\theta\to-\infty соответствует Φ\Phi-итерационной точке, в которой B→0B\to 0 (декогеренция из-за фокусировки): по [16] §VII.3 это критическое условие достигается за конечное время τcrit=τ(θ=−∞)\tau_{\mathrm{crit}}=\tau(\theta=-\infty).

Шаг 4. По [16] уравнение (7.1): при B(τcrit)→0B(\tau_{\mathrm{crit}})\to 0 оператор наблюдения O^→0\hat{O}\to 0 и Ψ→Ψbare\Psi\to\Psi_{\mathrm{bare}} — пустое потенциальное состояние без структуры наблюдателя. Это означает, что CN=ΨbareC_N=\Psi_{\mathrm{bare}} — конечная точка Φ\Phi-итерации в Fix(Φ)\mathrm{Fix}(\Phi)-аттракторе.

Шаг 5. Поскольку O^=0\hat{O}=0 в CNC_N, причинное будущее JO+(CN)=∅J^+_O(C_N)=\emptyset по определению причинной структуры из [13] §III: причинная достижимость CN⪯OC′C_N\preceq_O C' требует ненулевого O^\hat{O} для актуализации C′C'. □\square % [HYPOTHESIS: full formal proof requires Raychaudhuri analog in [13] §VI/§VII — see open status note below]

VII.5. Статус доказательства и условные оговорки

% [OPEN: B-zero boundary topology — formal limit theory deferred to future work]
Статус. Эскиз §VII.4 устанавливает структурный аналог теоремы Хокинга – Пенроуза в ODTOE. Полное формальное доказательство требует:

  • Точной формулировки ODTOE-аналога уравнения Раячудхари в [13] §VI/§VII (открыто).
  • Топологической теории предела B→0B\to 0 как граничной точки Φ\Phi-итерации (открыто). % [OPEN: B-zero boundary topology in Phi-iteration]
  • Доказательства совместимости Φ\Phi-итерационной последовательности конечного аффинного параметра с гладкостью gg на всём M4M^4 за исключением точки CNC_N (открыто).

Условная оговорка (R3 mitigation). Если предел B→0B\to 0 не имеет хорошо определённой топологической структуры как граничной точки Φ\Phi-итерации, то теорема C.T3 формулируется как гипотеза с явным маркером статуса:

C.T3 (status: HYPOTHESIS)  ⟹  дополнительная статья по топологии граничного слоя(7.3)\text{C.T3 (status: HYPOTHESIS)} \implies \text{дополнительная статья по топологии граничного слоя} \tag{7.3}

В настоящей работе C.T3 представлена с эскизом доказательства; полная формализация — открытая задача §XI. % [OPEN: B-zero boundary topology — explicit honest status marker]

% C.F13 (collapse criterion) and C.F14 (singularity theorem statement) — both implicit in (7.1) and §VII.3 above

B(τcrit)→0(критерий онтологического коллапса)(C.F13)B(\tau_{\mathrm{crit}}) \to 0 \text{(критерий онтологического коллапса)} \tag{C.F13} ∃{Cn}n=0N:∑n=0NΔτn<∞,CN∈Fix(Φ),JO+(CN)=∅(C.T3 утверждение)(C.F14)\exists \{C_n\}_{n=0}^N: \sum_{n=0}^N\Delta\tau_n \lt \infty, C_N\in\mathrm{Fix}(\Phi), J^+_O(C_N)=\emptyset \text{(C.T3 утверждение)} \tag{C.F14}

VIII. ВЕРИФИКАЦИЯ НА ШВАРЦШИЛЬДЕ

VIII.1. Шварцшильд как фиксированная точка ΦC\Phi_C

% [DERIVATION: Schwarzschild = Phi_C fixed point — uses A.T4]
Утверждение (Шварцшильд как фиксированная точка ΦC\Phi_C). *Пара (gSchw∗,T=0)(g_{\mathrm{Schw*}, T=0)} с Λ=0\Lambda=0 есть фиксированная точка отображения ΦC\Phi_C в CcontrC_{\mathrm{contr}}.}

Доказательство. Метрика Шварцшильда (формула (F11) из [14]):

dsSchw2=−(1−rsr)c2dt2+(1−rsr)−1dr2+r2dΩ2,rs=2GMc2(C.F15)ds^2_{\mathrm{Schw}}=-\left(1-\frac{r_s}{r}\right)c^2 dt^2+\left(1-\frac{r_s}{r}\right)^{-1}dr^2+r^2 d\Omega^2, r_s=\frac{2GM}{c^2} \tag{C.F15}

По теореме A.T4 из [14] §VIII.1, Rμν=0R_{\mu\nu}=0 для всех r>rsr\gt r_s в вакууме; отсюда Gμν=0G_{\mu\nu}=0 тождественно для (F11). Применение O^\hat{O} из (6.1) к gSchwg_{\mathrm{Schw}} даёт Tμν=0T_{\mu\nu}=0 в вакууме (нет наблюдателя B(O,C)>0B(O,C)\gt 0 с ненулевой плотностью локально для r>rsr\gt r_s в стандартной интерпретации Шварцшильда). Применение ι\iota к T=0T=0: метрика, удовлетворяющая Gμν=0G_{\mu\nu}=0 для пробного тела на сферически-симметричном фоне, единственна с точностью до диффеоморфизма (теорема Биркгофа [9] §6.1). Поэтому ι(T=0)=gSchw\iota(T=0)=g_{\mathrm{Schw}} (с точностью до Diff). Композиция: ΦC(gSchw,T=0)=(gSchw,T=0)\Phi_C(g_{\mathrm{Schw}}, T=0)=(g_{\mathrm{Schw}}, T=0). □\square

VIII.2. Численная верификация Шварцшильд == Fix(ΦC\Phi_C)

% [DERIVATION: 50-digit numerical check; same Mercury orbit as in Article A]
Численная верификация на основе теста сдвига перигелия Меркурия (§IX из [14]):

Δϕcentury=42,9916585896956795arcsec/век(8.1)\Delta\phi_{\mathrm{century}} = 42{,}9916585896956795 \text{arcsec/век} \tag{8.1}

% VERIFIED: identical to [14] (9.3); reproduced via mpmath dps=60

С этим значением сдвига перигелия Шварцшильд проходит верификацию первого порядка (теорема A.T4 + численный тест из [14] §IX.1) как точное вакуумное решение, что эквивалентно ΦC\Phi_C-фиксированности по утверждению §VIII.1.

IX. РЕШЕНИЕ КЕРРА КАК ФИКСИРОВАННАЯ ТОЧКА ΦC\Phi_C (БЕЗ ПЕРЕВЫВОДА)

% [DERIVATION: Kerr fixed-point — cites A.T5 verbatim, no rederivation]
Утверждение (Керр как фиксированная точка ΦC\Phi_C). *Пара (gKerr∗,T=0)(g_{\mathrm{Kerr*}, T=0)} с Λ=0\Lambda=0 есть фиксированная точка ΦC\Phi_C в CcontrC_{\mathrm{contr}} для вращающегося источника массы MM с угловым моментом J=MacJ=Mac.}

Доказательство (цитирование без перевывода). По теореме A.T5 из [14] §VIII.2 метрика Керра (формула (F12) из [14]) в координатах Бойера – Линдквиста [8] удовлетворяет Rμν=0R_{\mu\nu}=0 в вакууме (стандартный результат теории Керра [8]). Внешний горизонт и эргосфера задаются явными выражениями [14] уравнения (8.2)–(8.3): r+=M+M2−a2r_+=M+\sqrt{M^2-a^2}, rEeq=2M=rsr_E^{\mathrm{eq}}=2M=r_s. Применение ΦC\Phi_C к (gKerr,T=0)(g_{\mathrm{Kerr}}, T=0) по аргументу, аналогичному §VIII.1 (применённому к стационарной осесимметричной метрике с угловым моментом [8] §33), даёт ΦC(gKerr,T=0)=(gKerr,T=0)\Phi_C(g_{\mathrm{Kerr}}, T=0)=(g_{\mathrm{Kerr}}, T=0). □\square

ΦC(gKerr,T=0)=(gKerr,T=0)(C.F16)(C.F16)\Phi_C(g_{\mathrm{Kerr}}, T=0) = (g_{\mathrm{Kerr}}, T=0) \text{(C.F16)} \tag{C.F16}

Численная верификация r+r_+ и rEeqr_E^{\mathrm{eq}} приведена в [14] §IX.2 (формулы (9.6)–(9.8)) в 50-значной точности; здесь не повторяется.

X. FLRW-ВЕРИФИКАЦИЯ ИСПОЛЬЗОВАНИЕМ χΛ(S∗)\chi_\Lambda(S^*) ИЗ B

X.1. Уравнение Фридмана из ΦC\Phi_C-фиксированности

% [DERIVATION: Friedmann equation as Phi_C fixed-point — uses chi_Lambda(S*) from [15] VIII]
Для пространственно-однородной изотропной метрики FLRW

dsFLRW2=−c2dt2+a(t)2[dr21−kr2+r2dΩ2](10.1)ds^2_{\mathrm{FLRW}} = -c^2 dt^2 + a(t)^2\left[\frac{dr^2}{1-kr^2}+r^2 d\Omega^2\right] \tag{10.1}

с масштабным фактором a(t)a(t) и кривизной k∈{−1,0,+1}k\in\{-1,0,+1\}, тензор Эйнштейна имеет компоненты

Gtt=3(a˙2a2+kc2a2),Gijgij=−2a¨a−a˙2a2−kc2a2(10.2)G_{tt} = 3\left(\frac{\dot{a}^2}{a^2}+\frac{kc^2}{a^2}\right), G_{ij} g^{ij} = -2\frac{\ddot{a}}{a}-\frac{\dot{a}^2}{a^2}-\frac{kc^2}{a^2} \tag{10.2}

ΦC\Phi_C-фиксированность пары (gFLRW,Tcosm)(g_{\mathrm{FLRW}}, T_{\mathrm{cosm}}) даёт уравнение Фридмана через подстановку O^(gFLRW)=Tcosm\hat{O}(g_{\mathrm{FLRW}})=T_{\mathrm{cosm}} из (6.1) и ι(Tcosm)=gFLRW\iota(T_{\mathrm{cosm}})=g_{\mathrm{FLRW}} обратно:

H2=8πG3ρtot−kc2a2+Λc23,H=a˙/a(C.F17)\boxed{ H^2 = \frac{8\pi G}{3}\rho_{\mathrm{tot}}-\frac{kc^2}{a^2}+\frac{\Lambda c^2}{3}, H=\dot{a}/a } \tag{C.F17}

где ρtot=ρm+ρr+ρΛ\rho_{\mathrm{tot}}=\rho_m+\rho_r+\rho_\Lambda — суммарная плотность материи, излучения и тёмной энергии.

X.2. Подстановка χΛ(S∗)\chi_\Lambda(S^*)

% [DERIVATION: Omega_Lambda from chi_Lambda(S*) closed form — same as [15] VIII.4]
Из замкнутой формы χΛ(S∗)\chi_\Lambda(S^*) из [15] формула (F23):

χΛ(S∗)=3φ28π(φ2+1+Z(S∗)),Z(S∗)=π−31−(π−3)φ(10.3)\chi_\Lambda(S^*) = \frac{3\varphi^2}{8\pi(\varphi^2+1+Z(S^*))}, Z(S^*) = \frac{\pi-3}{1-(\pi-3)\varphi} \tag{10.3}

и тождества χΛ=(3/8π)ΩΛ\chi_\Lambda=(3/8\pi)\Omega_\Lambda [15] формула (F22a):

ΩΛ(S∗)=φ2φ2+1+Z(S∗)(C.F18)\Omega_\Lambda(S^*) = \frac{\varphi^2}{\varphi^2+1+Z(S^*)} \tag{C.F18}

Подстановка 50-значных констант π\pi, φ\varphi, (π−3)(\pi-3) из [15] §VIII.4 шаги 1–3:

π&=3,14159265358979323846264338327950288419716939937510φ&=1,61803398874989484820458683436563811772030917980576(π−3)&=0,14159265358979323846264338327950288419716939937510φ2&=2,61803398874989484820458683436563811772030917980576Z(S∗)&=0,18367229293062031020…ΩΛ(S∗)&=0,68864709548066742428…\pi \&= 3{,}14159265358979323846264338327950288419716939937510 \varphi \&= 1{,}61803398874989484820458683436563811772030917980576 (\pi-3) \&= 0{,}14159265358979323846264338327950288419716939937510 \varphi^2 \&= 2{,}61803398874989484820458683436563811772030917980576 Z(S^*) \&= 0{,}18367229293062031020\ldots \Omega_\Lambda(S^*) \&= 0{,}68864709548066742428\ldots

% VERIFIED: same chain as [15] §VIII.4 — mpmath dps=50 reproduces

X.3. Совпадение с Planck 2018

% [FACT: Planck 2018 cosmological parameters; same source as [15]]
Сравнение с наблюдательным значением Planck 2018:

∣ΩΛPlanck−ΩΛ(S∗)∣=∣0,6889−0,68864709…∣=0,00025290…<0,0056=1σ⇒0,05σотклонение(10.4)|\Omega_\Lambda^{\mathrm{Planck}} - \Omega_\Lambda(S^*)| = |0{,}6889 - 0{,}68864709\ldots| = 0{,}00025290\ldots \lt 0{,}0056 = 1\sigma \Rightarrow 0{,}05\sigma \text{отклонение} \tag{10.4}

что воспроизводит результат [15] уравнение (F24) без подгонки. FLRW-космология как ΦC\Phi_C-фиксированная точка выводится из (1.1) с подстановкой замкнутой формы χΛ(S∗)\chi_\Lambda(S^*) из [15]; согласие с Planck 2018 — дополнительное подтверждение C.T1 в космологическом пределе.

XI. ЗАКЛЮЧЕНИЕ

% [DERIVATION: synthesis — programme stage 3 closure + open programme statement]
В настоящей работе закрыт этап 3 программы §XIV.3 из [13]: уравнение Эйнштейна Gμν+Λgμν=(8πG/c4)TμνG_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu} выведено в ODTOE как условие Φ\Phi-самосогласованности на парах (g,T)∈Ccontr(g, T)\in C_{\mathrm{contr}} (теорема C.T1, §VI), причём существование и единственность с точностью до Diff(M4M^4) обеспечены теоремой Банаха [6] для сжимающего отображения ΦC=ι∘O^\Phi_C=\iota\circ\hat{O} с явным анти-циркулярным аудитом аргумента сжатия. Тождество Бианки ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 установлено двумя независимыми путями: Path 1 — кинематический через A.T3 из [14] (свёртка второго тождества Бианки на гладкой псевдоримановой метрике); Path 2 — динамический через теорему Нётер [2] для SobsS_{\mathrm{obs}} под действием Diff(M4M^4) (теорема C.T2 §IV–V); численная верификация на основном состоянии Шварцшильда даёт ∣∇μGμν∣Path1=∣∇μGμν∣Path2=0|\nabla_\mu G^{\mu\nu}|_{\mathrm{Path 1}}=|\nabla_\mu G^{\mu\nu}|_{\mathrm{Path 2}}=0 строго в 50-значной арифметике mpmath. ODTOE-аналог теоремы Хокинга – Пенроуза о сингулярностях (теорема C.T3 §VII) сформулирован через триггер B→0B\to 0 при выполнении ODTOE-энергетического условия (выводимого из L8 в [15]) и аналога ловушечной конфигурации через причинный конус JO+J^+_O из [13]; полная топологическая формализация предела B→0B\to 0 как граничной точки Φ\Phi-итерации оставлена как явная открытая задача. Точные решения Шварцшильда (теорема A.T4, §VIII), Керра (теорема A.T5, §IX) и FLRW (с замкнутой формой χΛ(S∗)\chi_\Lambda(S^*) из [15], §X) верифицированы как фиксированные точки ΦC\Phi_C.

Главный методологический результат — синтетическая природа ODTOE-деривации уравнения Эйнштейна. Стандартный вариационный подход даёт уравнение поля как уравнение Эйлера – Лагранжа на гильбертовом действии; ODTOE-подход даёт то же самое уравнение как условие Φ\Phi-самосогласованности на парах (g,T)(g, T), что полностью согласовано с симметрийной (Noether) и фиксированно-точечной (Banach) интерпретациями. Тождество Бианки ∇μGμν=0\nabla_\mu G^{\mu\nu}=0 — общий выход обоих путей: кинематический (геометрический) и динамический (Noether) — что подтверждает структурную единственность GμνG_{\mu\nu} в смысле теоремы Лавлока [5]. Шесть символов фиксируются для последующих работ корпуса: C.T1 — теорема о Φ\Phi-самосогласованности (строка N+55), C.T2 — двух-путевое тождество Бианки (строка N+56), C.T3 — ODTOE-аналог теоремы о сингулярностях (строка N+57), форма уравнения поля как Φ\Phi-фиксированной точки Gμν+Λgμν=(8πG/c4)TμνG_{\mu\nu}+\Lambda g_{\mu\nu}=(8\pi G/c^4)T_{\mu\nu} (строка N+58), Fix(Φfield)\mathrm{Fix}(\Phi_{\mathrm{field}}) ≡\equiv {(g,T)∈Ccontr:ΦC(g,T)=(g,T)}\{(g, T)\in C_{\mathrm{contr}}: \Phi_C(g, T)=(g, T)\} (строка N+59), двух-путевая метка T2-Path-1 == A.T3 кинематический и T2-Path-2 == Noether (строка N+60).

Тем самым трёхэтапная программа полной деривации тензорной структуры гравитации в ODTOE замкнута: этап 1 (тензорный слой) выполнен в [14], этап 2 (тензорный источник + космологическая константа) выполнен в [15], этап 3 (уравнение поля как Φ\Phi-самосогласованность + двух-путевое тождество Бианки + теорема о сингулярностях) выполнен в настоящей работе. Открытыми остаются: (i) полная топологическая формализация предела B→0B\to 0 для C.T3; (ii) аналитическая проверка Path 2 на нетривиальном FLRW-состоянии с Tμν≠0T_{\mu\nu}\neq 0; (iii) ODTOE-формулировка условий гладкости и причинности для Φ\Phi-итерационных последовательностей вблизи горизонтов и сингулярностей; (iv) интеграция с термодинамическим выводом [15] §IX через горизонтные ODTOE-аналоги теорем Хокинга – Эллиса [9]. Каждый из этих пунктов — самостоятельная задача отдельной публикации, развивающая корпус ODTOE-гравитации за пределами начальной трилогии. % [OPEN: forward programme — topology of B-zero, FLRW Path 2 numerical, smoothness conditions, horizon thermodynamics]

БЛАГОДАРНОСТИ И ИНСТРУМЕНТЫ

Автор благодарит сообщество исследователей наблюдатель-зависимых интерпретаций общей теории относительности и квантовой механики за обсуждения ключевых идей деривации уравнения Эйнштейна как Φ\Phi-самосогласованности и тождества Бианки как 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 — в порядке первого цитирования в тексте. Раздел референсных данных отсутствует, так как настоящая статья — чисто теоретическая (теорема о Φ\Phi-самосогласованности, двух-путевое тождество Бианки, 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-1924-03855-5.)

  • 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.

  • Penrose, R. Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14(3), 57–59 (1965). DOI: 10.1103/PhysRevLett.14.57.

  • 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.

  • Lovelock, D. The Einstein tensor and its generalizations. J. Math. Phys. 12(3), 498–501 (1971). DOI: 10.1063/1.1665613.

  • 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.

  • Wald, R.M. General Relativity. The University of Chicago Press (1984). ISBN: 0-226-87033-2.

  • 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.)

  • Hawking, S.W., Ellis, G.F.R. The Large Scale Structure of Space-Time. Cambridge University Press (1973). ISBN: 0-521-09906-4.

% --- БЛОК 2: ПРЕПРИНТЫ АВТОРА ПО КОРПУСУ ODTOE (порядок по первому цитированию) ---

  • Панкратов, А. С. Теория всего: наблюдатель-зависимая. Препринт (2026). Slug: ODTOE\_article.

  • Панкратов, А. С. Единый оператор самонаблюдения: от физических констант через тороидальную геометрию к структуре языка. Препринт (2026). Slug: ODTOE\_unified\_operator.

  • Панкратов, А. С. Гравитация как синхронизация наблюдателей: вывод гравитационной постоянной из первых принципов ODTOE при структурной гипотезе C=B2C=B^2. Препринт (2026). Slug: ODTOE\_gravity\_v2.

  • Панкратов, А. С. Гравитация и причинная структура пространства-времени в ODTOE. Препринт (2026). Slug: ODTOE\_gravity\_causal\_structure.

  • Панкратов, А. С. Тензорная структура гравитации в ODTOE. Препринт (2026). Slug: ODTOE\_gravity\_tensor\_structure.

  • Панкратов, А. С. *Тензор энергии-импульса Tμν∗T_{\mu\nu*} и космологическая постоянная Λ\Lambda из когерентности наблюдателя в ODTOE}. Препринт (2026). Slug: ODTOE\_gravity\_T\_munu\_projector.

  • Панкратов, А. С. Динамический аттрактор в ODTOE: эволюционная монадология и энергоинформационная плотность мировой линии. Препринт (2026). Slug: ODTOE\_dynamic\_attractor.

  • Панкратов, А. С. Земля как кластер наблюдателей: согласование вселенных в ODTOE. Препринт (2026). Slug: ODTOE\_collective\_observer.

Comments

Sign in to leave a comment
Loading files...
Loading attachments...