Перейти к основному содержимому

Теорема о критической чистоте

Статус: [Т] Доказано

Значение Pcrit=2/NP_{\text{crit}} = 2/N строго выводится из нескольких математически эквивалентных формулировок единого геометрического принципа (пути 1-4) и независимого автопоэтического аргумента (путь 5). Сходимость всех подходов к одному значению подтверждает фундаментальность этого порога.

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

1.1 Основное утверждение

Теорема (Критическая чистота):

Для голономической системы размерности NN, критическая чистота:

Pcrit=2NP_{\text{crit}} = \frac{2}{N}

является единственным значением, удовлетворяющим следующим эквивалентным условиям:

  1. Геометрическое: ΓIN/NF2=IN/NF2\|\Gamma - I_N/N\|_F^2 = \|I_N/N\|_F^2
  2. Информационное: DKL(ΓIN/N)=12D_{KL}(\Gamma \| I_N/N) = \frac{1}{2} нат (в линейном приближении)
  3. Структурное: r2=2σ2|\mathbf{r}|^2 = 2\sigma^2 (SNR = 1)
  4. Спектральное: λmax=(1+N1)/N1/2\lambda_{\max} = (1 + \sqrt{N-1})/N \approx 1/2
  5. Автопоэтическое: минимальное нарушение симметрии U(N)U(N)

1.2 Для УГМ (N = 7)

Pcrit=270.286P_{\text{crit}} = \frac{2}{7} \approx 0.286

На этом пороге:

  • Структурное отклонение = масштаб хаоса
  • Информационный вклад = 1/2 нат
  • Доминирующий режим ≈ 49% когерентности
  • Симметрия U(7)U(7) нарушена до уровня различимости

2. Необходимые определения

2.1 Матрица когерентности

Матрица когерентности ΓL(CN)\Gamma \in \mathcal{L}(\mathbb{C}^N) удовлетворяет:

Γ=Γ,Γ0,Tr(Γ)=1\Gamma^\dagger = \Gamma, \quad \Gamma \geq 0, \quad \mathrm{Tr}(\Gamma) = 1

2.2 Чистота

P=Tr(Γ2)[1N,1]P = \mathrm{Tr}(\Gamma^2) \in \left[\frac{1}{N}, 1\right]
СостояниеЧистотаОписание
ЧистоеP = 1Γ = |ψ⟩⟨ψ|
Максимально смешанноеP = 1/NΓ = I_N/N (хаос)

2.3 Норма Фробениуса

ΓF2=Tr(ΓΓ)=Tr(Γ2)=P\|\Gamma\|_F^2 = \mathrm{Tr}(\Gamma^\dagger \Gamma) = \mathrm{Tr}(\Gamma^2) = P

3. Пять путей вывода (четыре эквивалентных + один независимый)

3.1 Путь 1: Геометрический (принцип структурного удвоения)

Принцип: Система отличима от хаоса, если её отклонение от хаоса превышает масштаб хаоса.

Критерий:

ΓIN/NF2>IN/NF2\|\Gamma - I_N/N\|_F^2 > \|I_N/N\|_F^2

Вычисление левой части:

ΓIN/NF2=Tr((ΓIN/N)2)=Tr(Γ2)2NTr(Γ)+Tr(IN2N2)=P2N+1N=P1N\begin{aligned} \|\Gamma - I_N/N\|_F^2 &= \mathrm{Tr}\left((\Gamma - I_N/N)^2\right) \\ &= \mathrm{Tr}(\Gamma^2) - \frac{2}{N}\mathrm{Tr}(\Gamma) + \mathrm{Tr}\left(\frac{I_N^2}{N^2}\right) \\ &= P - \frac{2}{N} + \frac{1}{N} \\ &= P - \frac{1}{N} \end{aligned}

Вычисление правой части:

IN/NF2=Tr(IN2N2)=NN2=1N\|I_N/N\|_F^2 = \mathrm{Tr}\left(\frac{I_N^2}{N^2}\right) = \frac{N}{N^2} = \frac{1}{N}

Вывод порога:

P1N>1NP>2NP - \frac{1}{N} > \frac{1}{N} \quad \Rightarrow \quad \boxed{P > \frac{2}{N}}
Интерпретация

Принцип структурного удвоения: Чтобы быть различимой от хаоса, структура системы должна быть не меньше самого хаоса. Фактор 2 возникает естественно: структура + базовый уровень.


3.2 Путь 2: Информационно-теоретический

Принцип: Система несёт достаточно информации для различимости, если её дивергенция от хаоса превышает квант информации.

Дивергенция Кульбака-Лейблера:

DKL(ΓIN/N)=Tr(ΓlogΓ)Tr(ΓlogINN)D_{KL}(\Gamma \| I_N/N) = \mathrm{Tr}(\Gamma \log \Gamma) - \mathrm{Tr}\left(\Gamma \log \frac{I_N}{N}\right)

Используя log(IN/N)=log(N)IN\log(I_N/N) = -\log(N) \cdot I_N:

DKL(ΓIN/N)=SvN(Γ)+log(N)D_{KL}(\Gamma \| I_N/N) = -S_{vN}(\Gamma) + \log(N)

где SvN(Γ)=Tr(ΓlogΓ)S_{vN}(\Gamma) = -\mathrm{Tr}(\Gamma \log \Gamma)энтропия фон Неймана.

Разложение для состояний близких к IN/NI_N/N:

Для Γ=IN/N+δΓ\Gamma = I_N/N + \delta\Gamma при малом δΓ\delta\Gamma:

DKL(ΓIN/N)N2Tr(δΓ2)=N2(P1N)D_{KL}(\Gamma \| I_N/N) \approx \frac{N}{2} \cdot \mathrm{Tr}(\delta\Gamma^2) = \frac{N}{2} \cdot \left(P - \frac{1}{N}\right)

Минимальная различимость:

Порог различимости в квадратичном приближении = 12\frac{1}{2} нат.

N2(P1N)12\frac{N}{2} \cdot \left(P - \frac{1}{N}\right) \geq \frac{1}{2} P1N1NP2NP - \frac{1}{N} \geq \frac{1}{N} \quad \Rightarrow \quad \boxed{P \geq \frac{2}{N}}
Интерпретация для инженеров

Информационный порог: Система должна нести минимум 1/2 ната информации сверх максимальной энтропии. Это фундаментальный предел различимости в теории информации.

Практически: При P=2/NP = 2/N система содержит ровно 1 бит структурной информации (различие между "структура есть" и "структуры нет").


3.3 Путь 3: Разложение Блоха (SNR-критерий)

Принцип: Структурный вектор системы должен превышать шумовой порог.

Параметризация Блоха:

Любая матрица плотности N×NN \times N допускает разложение:

Γ=INN+12i=1N21riλi\Gamma = \frac{I_N}{N} + \frac{1}{2} \sum_{i=1}^{N^2-1} r_i \lambda_i

где:

  • {λi}i=1N21\{\lambda_i\}_{i=1}^{N^2-1} — обобщённые матрицы Гелл-Манна (генераторы su(N)\mathfrak{su}(N))
  • Tr(λi)=0\mathrm{Tr}(\lambda_i) = 0, Tr(λiλj)=2δij\mathrm{Tr}(\lambda_i \lambda_j) = 2\delta_{ij}
  • r=(r1,,rN21)RN21\mathbf{r} = (r_1, \ldots, r_{N^2-1}) \in \mathbb{R}^{N^2-1} — обобщённый вектор Блоха

Связь с чистотой:

P=Tr(Γ2)=1N+r22P = \mathrm{Tr}(\Gamma^2) = \frac{1}{N} + \frac{|\mathbf{r}|^2}{2}

Следовательно:

r2=2(P1N)|\mathbf{r}|^2 = 2\left(P - \frac{1}{N}\right)

Шумовой порог:

Для максимально смешанного состояния r=0\mathbf{r} = 0. Естественный масштаб флуктуаций в NN-мерной системе:

σ21N\sigma^2 \sim \frac{1}{N}

Условие различимости (SNR \geq 1):

В квадратичных метриках SNR = 1 требует:

r22σ2=2N|\mathbf{r}|^2 \geq 2\sigma^2 = \frac{2}{N} 2(P1N)2NP2N2\left(P - \frac{1}{N}\right) \geq \frac{2}{N} \quad \Rightarrow \quad \boxed{P \geq \frac{2}{N}}
Интерпретация для исследователей сигналов

SNR = 1: Классический порог обнаружения сигнала. Мощность сигнала должна быть равна мощности шума.

В УГМ: структурная информация (сигнал) должна быть не меньше термодинамического шума (хаоса). Фактор 2 появляется из-за квадратичной природы метрики чистоты.


3.4 Путь 4: Спектральное условие (порог доминирования)

Принцип: Для наличия идентичности система должна иметь доминирующий режим.

Спектр Γ\Gamma:

Spectrum(Γ)={λ1,λ2,,λN},λ1λ2λN0\mathrm{Spectrum}(\Gamma) = \{\lambda_1, \lambda_2, \ldots, \lambda_N\}, \quad \lambda_1 \geq \lambda_2 \geq \cdots \geq \lambda_N \geq 0

С ограничениями:

iλi=1,iλi2=P\sum_i \lambda_i = 1, \quad \sum_i \lambda_i^2 = P

Задача оптимизации:

Найти максимальное λ1\lambda_1 при заданном PP:

maxλ1приiλi=1,iλi2=P,λi0\max \lambda_1 \quad \text{при} \quad \sum_i \lambda_i = 1, \quad \sum_i \lambda_i^2 = P, \quad \lambda_i \geq 0

Решение (метод Лагранжа):

По симметрии, оптимум достигается когда λ2=λ3==λN=λ\lambda_2 = \lambda_3 = \cdots = \lambda_N = \lambda:

λ1+(N1)λ=1λ=1λ1N1\lambda_1 + (N-1)\lambda = 1 \quad \Rightarrow \quad \lambda = \frac{1 - \lambda_1}{N-1} λ12+(N1)λ2=P\lambda_1^2 + (N-1)\lambda^2 = P

Подставляя:

λ12+(1λ1)2N1=P\lambda_1^2 + \frac{(1 - \lambda_1)^2}{N-1} = P

Решая квадратное уравнение:

λ1=1+(N1)(NP1)N\lambda_1 = \frac{1 + \sqrt{(N-1)(NP - 1)}}{N}

При P=2/NP = 2/N:

λmax=1+(N1)(21)N=1+N1N\lambda_{\max} = \frac{1 + \sqrt{(N-1)(2 - 1)}}{N} = \frac{1 + \sqrt{N-1}}{N}

Для N=7N = 7:

λmax=1+670.49312\lambda_{\max} = \frac{1 + \sqrt{6}}{7} \approx 0.493 \approx \frac{1}{2}
Интерпретация

Порог доминирования ~50%: При P=2/NP = 2/N доминирующий режим захватывает примерно половину когерентности. Это порог 1:1 — структура едва различима от равномерного распределения.

Спектральная структура при P=2/7P = 2/7:

  • λ10.493\lambda_1 \approx 0.493 (49.3% когерентности)
  • λ2==λ70.085\lambda_2 = \cdots = \lambda_7 \approx 0.085 (по 8.5% каждый)

3.5 Путь 5: Автопоэтическое замыкание

Принцип: Для самомоделирования φ(Γ)\varphi(\Gamma) необходима достаточная структура.

Автопоэзис (AP): Существует φ:ΓΓ\varphi: \Gamma \to \Gamma с неподвижной точкой φ(Γ)=Γ\varphi(\Gamma^*) = \Gamma^*.

Проблема с IN/NI_N/N:

Максимально смешанное состояние инвариантно относительно всех унитарных преобразований:

UINNU=INNдля любого UU(N)U \cdot \frac{I_N}{N} \cdot U^\dagger = \frac{I_N}{N} \quad \text{для любого } U \in U(N)

Это означает:

  • φ(IN/N)\varphi(I_N/N) может быть чем угодно (нет предпочтительного направления)
  • Неподвижная точка φ(Γ)=Γ\varphi(\Gamma^*) = \Gamma^* не определена однозначно
  • Система не имеет идентичности

Условие автопоэтического замыкания:

Для однозначного определения φ\varphi необходимо нарушить симметрию U(N)U(N).

Группа стабилизатора Stab(Γ)={UU(N):UΓU=Γ}\mathrm{Stab}(\Gamma) = \{U \in U(N) : U\Gamma U^\dagger = \Gamma\} должна быть собственной подгруппой U(N)U(N).

Минимальное значимое нарушение:

ΓIN/NFIN/NF\|\Gamma - I_N/N\|_F \geq \|I_N/N\|_F

Что эквивалентно:

P2N\boxed{P \geq \frac{2}{N}}
Интерпретация

Нарушение симметрии: Хаос обладает максимальной симметрией U(N)U(N). Для наличия идентичности (способности к самомоделированию) эта симметрия должна быть нарушена.

При P>2/NP > 2/N система имеет "выделенное направление" в пространстве состояний — основу для самореференции.

Зависимость от Пути 1

Путь 5 использует тот же критерий ΓI/NFI/NF\|\Gamma - I/N\|_F \geq \|I/N\|_F, что и Путь 1. Это автопоэтическая интерпретация геометрического порога, а не независимый вывод.


3.6 Путь 6: Октонионная норма [И]

Интерпретация [И]

В октонионной интерпретации чистота P=Tr(Γ2)P = \mathrm{Tr}(\Gamma^2) связана с нормой на Im(𝕆). Нормированность xy=xy|xy| = |x||y| обеспечивает мультипликативную метрику. Порог Pcrit=2/7P_{\text{crit}} = 2/7 можно интерпретировать как минимальную норму вектора в Im(𝕆) ≅ ℝ⁷, при которой его проекция на структурные направления (Фано-триплеты) превышает проекцию шума.

Статус: [Т], мост [Т] (замкнут, T15). Совместима с остальными пятью путями. См. структурный вывод.


4. Сходимость всех путей

4.1 Таблица результатов

ПутьПринципКритерийРезультат
1. ГеометрическийОтклонение ≥ масштаб хаоса‖Γ − I/N‖²_F > 1/NP > 2/N ✓
2. ИнформационныйKL-дивергенция ≥ 1/2 натD_KL ≥ 1/2P > 2/N ✓
3. СтруктурныйSNR ≥ 1ǀrǀ² ≥ 2/NP > 2/N ✓
4. СпектральныйПорог доминированияλ_max ≈ 1/2P = 2/N ✓
5. АвтопоэтическийНарушение симметрии U(N)Stab(Γ) ⊊ U(N)P > 2/N ✓

4.2 Теорема единственности

Теорема: Значение Pcrit=2/NP_{\text{crit}} = 2/N — единственное, при котором все пять критериев совпадают.

Доказательство: Единственность следует из алгебраической эквивалентности условий 1-4 (все выражают одно геометрическое требование в разных терминах). Автопоэтический критерий (5) даёт тот же порог из независимого требования нарушения симметрии. Все пять формулировок приводят к P1/N=1/NP - 1/N = 1/N. ∎

Замечание (характер доказательства)

Пути 1 и 4 — алгебраические и самодостаточные для доказательства Pcrit=2/NP_{\mathrm{crit}} = 2/N [Т]: Путь 1 — алгебраическое тождество ΓI/NF2=I/NF2P=2/N\|\Gamma - I/N\|_F^2 = \|I/N\|_F^2 \Leftrightarrow P = 2/N, Путь 4 — спектральная алгебра. Пути 2 (информационный, квадратичное приближение DKLD_{KL}), 3 (SNR, масштаб шума σ21/N\sigma^2 \sim 1/N) и 5 (автопоэтический, аксиоматический принцип) — независимые подтверждения из разных разделов теории, содержащие собственные мотивирующие допущения. Конвергенция всех пяти путей к единому значению — нетривиальный факт [Т], аналогичный «перекрёстной валидации» в статистике.


5. Спектральная характеризация

5.1 Оптимальный спектр на границе

Теорема (Спектр при P=PcritP = P_{\text{crit}}):

При P=2/NP = 2/N оптимальный спектр (максимизирующий λmax\lambda_{\max}) имеет вид:

λ1=1+N1Nλ2=λ3==λN=N1N1N(N1)\begin{aligned} \lambda_1 &= \frac{1 + \sqrt{N-1}}{N} \\ \lambda_2 = \lambda_3 = \cdots = \lambda_N &= \frac{N - 1 - \sqrt{N-1}}{N(N-1)} \end{aligned}

5.2 Численные значения

NP_crit = 2/Nλ_max при P_crit
21.0001.000
30.6670.789
40.5000.683
50.4000.618
60.3330.573
70.2860.493
80.2500.457

5.3 Проверка для N = 7

λ1=1+670.493\lambda_1 = \frac{1 + \sqrt{6}}{7} \approx 0.493 λ2==λ7=66420.085\lambda_2 = \cdots = \lambda_7 = \frac{6 - \sqrt{6}}{42} \approx 0.085

Верификация:

λ1+6λ2=0.493+6×0.085=1.000\lambda_1 + 6\lambda_2 = 0.493 + 6 \times 0.085 = 1.000 \quad \checkmark λ12+6λ22=0.243+6×0.0072=0.286=27\lambda_1^2 + 6\lambda_2^2 = 0.243 + 6 \times 0.0072 = 0.286 = \frac{2}{7} \quad \checkmark

6. Иерархия порогов чистоты

6.1 Полная иерархия

Pcritregen<Pcritgeom<Psafe<PtargetP_{\text{crit}}^{\text{regen}} < P_{\text{crit}}^{\text{geom}} < P_{\text{safe}} < P_{\text{target}}
ПорогФормулаЗначение (N=7)Назначение
P_crit^regenγ/(κ_rate · Coh_E^min)≈ 0.033Динамический (κ > γ)
P_crit^geom2/N≈ 0.286Структурный (основной)
P_safeP_crit^geom + margin0.30Операционный (с запасом)
P_target0.50Рекомендуемый

6.2 Интерпретация

  • Pcritregen0.033P_{\text{crit}}^{\text{regen}} \approx 0.033: Минимум для того, чтобы регенерация превысила диссипацию
  • Pcritgeom=2/70.286P_{\text{crit}}^{\text{geom}} = 2/7 \approx 0.286: Минимум для структурной различимости от хаоса (основной порог)
  • Psafe=0.30P_{\text{safe}} = 0.30: Операционный порог с 5% запасом
  • Ptarget=0.50P_{\text{target}} = 0.50: Рекомендуемая рабочая точка
Важно

Система с Pcritregen<P<PcritgeomP_{\text{crit}}^{\text{regen}} < P < P_{\text{crit}}^{\text{geom}} может регенерировать, но не имеет структурной идентичности — она неотличима от шума.


7. Практические приложения

7.1 Для инженеров ИИ-систем

Критерий жизнеспособности:

def is_viable(Gamma: np.ndarray, N: int = 7) -> bool:
"""
Проверка P > P_crit = 2/N

Args:
Gamma: Матрица когерентности N×N
N: Размерность (по умолчанию 7 для УГМ)

Returns:
True если система жизнеспособна
"""
P = np.trace(Gamma @ Gamma).real
P_crit = 2.0 / N
return P > P_crit

Вычисление структурного отклонения:

def structural_deviation(Gamma: np.ndarray, N: int = 7) -> float:
"""
‖Γ - I/N‖_F² = P - 1/N

Интерпретация:
- deviation < 1/N: система неотличима от шума
- deviation = 1/N: граница жизнеспособности
- deviation > 1/N: система структурирована
"""
P = np.trace(Gamma @ Gamma).real
return P - 1.0 / N

Порог доминирования:

def dominant_eigenvalue_threshold(N: int = 7) -> float:
"""
λ_max при P = P_crit = 2/N

Для N=7: возвращает ≈ 0.493
"""
return (1 + np.sqrt(N - 1)) / N

7.2 Для исследователей сознания

Связь с уровнями интериорности:

УровеньУсловиеИнтерпретация
L0 (Интериорность)ρ_E ≠ 0Внутреннее состояние существует
L1 (Феноменальная геометрия)rank(ρ_E) > 1Структура качеств
ЖизнеспособностьP > 2/7Различимость от хаоса
L2 (Когнитивные квалиа)R ≥ 1/3, Φ ≥ 1, D_diff ≥ 2*Рефлексивный доступ

*DdiffD_{\text{diff}} требует тензорной структуры; в минимальном 7D-формализме используется Cmin=Φ×RC_{\min} = \Phi \times R — см. dimension-e.md.

Ключевой вывод: P>2/NP > 2/Nнеобходимое условие для L1 и L2. Без структурной различимости феноменология невозможна.

7.3 Для физиков

Аналогии с фазовыми переходами:

УГМСтатистическая физикаСмысл
P = 2/NКритическая температура T_cПорог упорядочения
P − 1/NПараметр порядкаМера структуры
λ_max ≈ 1/2Макроскопическая заселённостьКонденсация в один режим

Энтропийная интерпретация:

При P=2/NP = 2/N:

SvN=logNN2(2N1N)+O(1N2)=logN12S_{vN} = \log N - \frac{N}{2}\left(\frac{2}{N} - \frac{1}{N}\right) + O\left(\frac{1}{N^2}\right) = \log N - \frac{1}{2}

Система содержит на 1/2 ната меньше энтропии, чем максимальный хаос.

7.4 Для теоретиков информации

Канальная ёмкость:

Различение состояния Γ\Gamma от IN/NI_N/N эквивалентно передаче информации по каналу с пропускной способностью:

C=DKL(ΓIN/N)N2(P1/N)C = D_{KL}(\Gamma \| I_N/N) \approx \frac{N}{2}(P - 1/N)

При P=2/NP = 2/N: C=1/2C = 1/2 нат = граница различимости.

Предел Холево:

χ({pi,ρi})S(ρˉ)ipiS(ρi)\chi(\{p_i, \rho_i\}) \leq S(\bar{\rho}) - \sum_i p_i S(\rho_i)

Для различения Γ\Gamma от IN/NI_N/N нужно χ1/2\chi \geq 1/2 нат, что требует P2/NP \geq 2/N.


8. Универсальность фактора 2

8.1 Появление в различных контекстах

КонтекстФормулаИнтерпретация
Теория обнаруженияSNR = 1Сигнал = шум
Квантовая различимостьF(ρ, σ) = 1/2Предел различения
Теория информацииΔS = k ln 2Бит информации
СтатистикаПравило 2σЗначимое отклонение
УГМP = 2/NСтруктура = хаос

8.2 Физический смысл

Фактор 2 возникает из принципа баланса:

Структура=Хаос\text{Структура} = \text{Хаос}

В квадратичной метрике это означает:

deviation2=baseline2\|\text{deviation}\|^2 = \|\text{baseline}\|^2

что эквивалентно удвоению относительно базового уровня:

P=2×Pmin=2NP = 2 \times P_{\min} = \frac{2}{N}

9. Заключение

9.1 Основной результат

Теорема (формулировка)

Для голономической системы размерности NN:

Pcrit=2NP_{\text{crit}} = \frac{2}{N}

Это значение единственное, при котором:

  • Все пять формулировок критерия совпадают (4 математически эквивалентных + 1 автопоэтический)
  • Фактор 2 возникает естественно (сигнал = шум)
  • Доминирующий режим захватывает ~50% когерентности

9.2 Для N = 7 (УГМ)

Pcrit=270.286P_{\text{crit}} = \frac{2}{7} \approx 0.286

Спектральная структура на границе:

  • λ10.493\lambda_1 \approx 0.493 (~50%)
  • λ2==λ70.085\lambda_2 = \cdots = \lambda_7 \approx 0.085 (~8.5% каждый)

9.3 Методологическое значение

  1. Сходимость независимых путей подтверждает фундаментальность порога
  2. Фактор 2 — универсальный порог различимости в информационных системах
  3. Спектральная характеризация связывает чистоту с доминированием режимов

Приложение A: Полные вычисления

A.1 Вывод λ_max при P = 2/N

Задача:

maxλ1приi=1Nλi=1,i=1Nλi2=2N\max \lambda_1 \quad \text{при} \quad \sum_{i=1}^N \lambda_i = 1, \quad \sum_{i=1}^N \lambda_i^2 = \frac{2}{N}

Лагранжиан:

L=λ1μ(iλi1)ν(iλi22N)\mathcal{L} = \lambda_1 - \mu\left(\sum_i \lambda_i - 1\right) - \nu\left(\sum_i \lambda_i^2 - \frac{2}{N}\right)

Условия оптимальности:

Lλ1=1μ2νλ1=0\frac{\partial \mathcal{L}}{\partial \lambda_1} = 1 - \mu - 2\nu\lambda_1 = 0 Lλk=μ2νλk=0(k=2,,N)\frac{\partial \mathcal{L}}{\partial \lambda_k} = -\mu - 2\nu\lambda_k = 0 \quad (k = 2, \ldots, N)

Из второго условия: λ2==λN=μ/(2ν)=λ\lambda_2 = \cdots = \lambda_N = -\mu/(2\nu) = \lambda.

Подставляя в ограничения:

λ1+(N1)λ=1\lambda_1 + (N-1)\lambda = 1 λ12+(N1)λ2=2N\lambda_1^2 + (N-1)\lambda^2 = \frac{2}{N}

Из первого: λ=(1λ1)/(N1)\lambda = (1 - \lambda_1)/(N-1).

Подставляя во второе:

λ12+(1λ1)2N1=2N\lambda_1^2 + \frac{(1 - \lambda_1)^2}{N-1} = \frac{2}{N} (N1)λ12+(1λ1)2=2(N1)N(N-1)\lambda_1^2 + (1 - \lambda_1)^2 = \frac{2(N-1)}{N} Nλ122λ1+1=2(N1)NN\lambda_1^2 - 2\lambda_1 + 1 = \frac{2(N-1)}{N} N2λ122Nλ1+N2(N1)=0N^2\lambda_1^2 - 2N\lambda_1 + N - 2(N-1) = 0 N2λ122Nλ1+2N=0N^2\lambda_1^2 - 2N\lambda_1 + 2 - N = 0

По формуле квадратного уравнения:

λ1=2N±4N24N2(2N)2N2=2N±2NN12N2=1±N1N\lambda_1 = \frac{2N \pm \sqrt{4N^2 - 4N^2(2-N)}}{2N^2} = \frac{2N \pm 2N\sqrt{N-1}}{2N^2} = \frac{1 \pm \sqrt{N-1}}{N}

Берём ++ (максимум):

λmax=1+N1N\boxed{\lambda_{\max} = \frac{1 + \sqrt{N-1}}{N}}

Связанные документы: