Глава 12. Что именно уже доказано, а что ещё нет
Настоящая глава выполняет в структуре монографии принципиальную методологическую функцию. Её задача состоит не в повторении уже выведенных формул и не в простом перечислении открытых задач, а в строгом разграничении трёх различных уровней научного статуса теории псевдопараболоидов второго порядка: того, что уже доказано аналитически; того, что подтверждено численно на уровне инженерной калибровки первого порядка; и того, что пока остаётся программой полной полноволновой верификации. Именно такая трёхслойная схема уже заложена в самой логике монографии: аналитический фундамент, затем численная Monte Carlo-калибровка, затем волновая проверка и только после этого — вопрос о межфизической универсальности.
12.1. Что уже доказано на аналитическом уровне
На уровне геометрии теория псевдопараболоидов уже действительно сформирована как строгая аналитическая конструкция. Для вертикальной топологии внутренняя поверхность задаётся формулой
ρ(X) = R — √(4f|X|), |X| ≤ a, a = R^2 / (4f),
а для горизонтальной топологии эквивалентными формами
|Z| = R — √(4fρ),
ρ(Z) = (R — |Z|)^2 / (4f), |Z| ≤ R.
Эти уравнения уже выведены в монографии как канонические и согласованы с геометрическим построением из Python-скриптов, где вертикальная образующая задаётся как y(x)=2√(f|x|), а радиус вращения как ρ = R — y. Следовательно, существование самих двух топологий (вертикальной и горизонтальной), как математически определённых объектов уже относится к доказанной части теории.
Вместе с канонической геометрией доказан и следующий ключевой факт: после естественной нормировки обе топологии приобретают универсальные безразмерные профили. Для вертикального псевдопараболоида при x* = X/a и r* = ρ/R получаем
r*(x*) = 1 — √|x*|, |x*| ≤ 1,
а для горизонтального при z* = Z/R и s* = ρ/a имеем
s*(z*) = (1 — |z*|)^2, |z*| ≤ 1.
Это означает, что внутренняя форма семейства определяется одним безразмерным параметром K = f/R, тогда как сама нормированная геометрия обладает строгой масштабной универсальностью. Именно в этом смысле геометрическая универсальность формы уже действительно доказана: не как риторический образ, а как аналитический результат.
К аналитически доказанной части относятся также локальная асимптотика активных зон и вывод единого параметра клиновой открытости
P = 2f / R = 2K,
α_w = arctan(2K).
Для вертикальной топологии уже выведены две разные локальные особенности: экваториальная фокальная зона и полярное фокальные точки.
Наконец, к доказанному аналитическому слою относятся интегральные геометрические характеристики семейства. Для вертикальной формы выведено аспектное отношение
Λ = a / R = 1 / (4K),
объём
V_v = πR^4 / (12f) = (π/3)R^2 a,
а для горизонтальной формы
V_h = πR^5 / (40f^2) = (2π/5)a^2 R.
Из этого следует отношение геометрических ёмкостей
V_h / V_v = 3 / (10K).
Это ещё не является доказательством лучевого или волнового удержания, но уже даёт строгий геометрический аргумент: при малых K горизонтальная топология обладает существенно большей геометрической ёмкостью, чем вертикальная. Следовательно, уже на аналитическом уровне существует причина ожидать, что горизонтальный псевдопараболоид будет более сильным кандидатом на широкий аттракторный режим, особенно при объёмном возбуждении.
Этот аналитический слой удобно собрать в сводную таблицу.
Таблица 15. Сводный статус аналитических компонентов
| Компонент теории | Суть результата | Текущий статус |
| Канонические уравнения | Точные формулы двух топологий | Доказано (закрыто) |
| Безразмерный профиль | r*(x*) = 1 — √ | x* |
| Локальная асимптотика | Корневая особенность, клиновое замыкание, P = 2K | Доказано (закрыто) |
| Геометрическая ёмкость | V_v, V_h, V_h / V_v | Доказано (закрыто) |
| Закон подобия | Масштабная инвариантность семейства | Доказано (закрыто) |
Смысл таблицы 15 состоит в том, что она фиксирует: математическая геометрия теории уже сформирована. Следовательно, вопрос «существуют ли псевдопараболоиды как строгие объекты? » в рамках монографии уже не является открытым. Открыты лишь те шаги, которые переводят эту геометрию в окончательно замкнутую многоволновую физику.
12.2. Что уже подтверждено на уровне инженерной численной калибровки
Второй слой результатов имеет иной научный статус. Здесь речь идёт не об аналитическом доказательстве, а о численной инженерной калибровке первого порядка. В монографии эта роль принадлежит Monte Carlo-блоку главы 4 и осесимметричному электромагнитному FEM-блоку главы 11. Эти результаты уже достаточно содержательны, чтобы использоваться как проектные ориентиры, но ещё недостаточны, чтобы объявлять ими закрытую межфизическую теорию.
Прежде всего на этом уровне уже подтверждено, что его эффективность определяется тройкой
геометрия -> тип возбуждения -> eta_MC.
Это очень важный результат, потому что он разрушает слишком грубую картину «или форма работает, или не работает». Monte Carlo-глава показала, что вертикальная и горизонтальная топологии при центральном возбуждении близки по эффективности, тогда как при объёмном возбуждении горизонтальная форма получает заметный выигрыш.
К численно подтверждённым результатам первого порядка относятся и законы удержания. Для центрального возбуждения в монографии уже получены зависимости вида
η_V,center(K) ≈ 1 / (1 + 23.36·K^1.15),
η_H,center(K) ≈ 1 / (1 + 23.36·K^1.26),
а для равномерного объёмного возбуждения
η_V,uniform(K) ≈ 1 / (1 + 93.31·K^1.24),
η_H,uniform(K) ≈ 1 / (1 + 8.27·K^0.86).
Эти кривые не являются фундаментальными законами поля; их статус — инженерная калибровка первого порядка в лучевой модели с метрикой p_run_ge5. Они дают воспроизводимую численную поверхность первого приближения, с которой можно начинать проектирование и которую можно затем проверять полноволновыми методами.
Следующий подтверждённый слой — это не только лучевая, но и первая волновая селекция топологий. Осесимметричный EM-FEM блок главы 11 уже показал, что горизонтальный псевдопараболоид значительно лучше согласуется с геометро-оптическими метриками удержания, чем вертикальный. Для вертикальной формы наблюдается лишь формальная корреляция по K без заметной нагрузки на полярную активную зону. Для горизонтальной формы, напротив, при K ≳ 0.04 появляется заметная доля потока, связанная с экваториальным аттрактором. Это значит, что в текущей Maxwell постановке именно горизонтальная топология получает первый реальный волновой мост между геометрией, Monte Carlo и электродинамикой.
В этом смысле уже подтверждены три важных инженерных положения. Во-первых, лучевая калибровка не полностью теряет смысл в волновом мире, но только в определённой области K и прежде всего для горизонтальной формы. Во-вторых, чистый предел K -> 0 не должен восприниматься как универсально благоприятный в электродинамике. В-третьих, для дальнейшего 3D Maxwell-моделирования главный вычислительный приоритет должен иметь именно горизонтальный псевдопараболоид. Эти утверждения не являются окончательными законами, но как инженерные итоги первого порядка они уже подтверждены.
Чтобы сделать этот слой статусов прозрачным, введём ещё одну сводную таблицу.
Таблица 16. Сводный статус численно подтверждённых результатов первого порядка
| Компонент теории | Суть результата | Текущий статус |
| Monte Carlo-удержание | Кривые eta_MC(K) для center и uniform | Подтверждено численно первого порядка |
| Сравнение топологий | Горизонтальная форма сильнее при объёмном возбуждении | Подтверждено численно первого порядка |
| Граница применимости GO | Для EM геометрооптика допустима только правее малых K | Подтверждено в суррогатной волновой постановке |
| EM-селекция топологий | Горизонтальная форма лучше согласуется с волновыми метриками | Подтверждено для осесимметричного FEM, m = 0 |
| связь GO -> волна | Для горизонтальной формы допустима как эмпирическое преобразование | Условно рабочий инженерный результат |
Смысл таблицы 16 состоит в том, что она защищает теорию сразу от двух крайностей. С одной стороны, она не позволяет недооценить уже сделанную работу: численная калибровка действительно существует, и она уже содержательна. С другой стороны, она не позволяет переоценить эти результаты: ни Monte Carlo, ни осесимметричный FEM не закрывают полный вопрос об универсальности.
12.3. Что пока не доказано и не должно объявляться доказанным
Теория псевдопараболоидов уже достаточно развита, чтобы у неё появились собственные сильные результаты. Но она ещё не настолько замкнута, чтобы позволять себе риторику завершённости там, где нужны новые расчёты. Поэтому здесь следует прямо перечислить вопросы, которые в настоящий момент остаются открытыми.
12.3.1. Не доказано существование общих спектральных окон.
Пока не доказано, существуют ли непустые области параметров (K, chi, ka), в которых одновременно выполняются высокая локализация, управляемый вывод и устойчивый модовый режим. Иными словами, вопрос о конечных спектральных окнах в строгом смысле критерия C3 остаётся открытым. Теория уже ввела правильный язык для постановки этой задачи, но ещё не построила полную карту пространства параметров. Следовательно, термин «рабочее окно» в текущем состоянии монографии допустим только как исследовательская цель, а не как уже вычисленный глобальный объект.
12.3.2. Не доказана полная совместимость удержания и вывода.
Функционал
Phi_open = eta_center · eta_out
уже введён и правильно отражает компромисс между сохранением внутренней ловушки и полезной утечкой через апертуру. Но пока не доказано, что для реалистичных конфигураций он достигает действительно высоких значений в тех же областях параметров, где сохраняется хорошая модовая структура. Следовательно, критерий C4 для псевдопараболоидов пока поставлен аналитически, но не замкнут вычислительно. Особенно важно, что максимум eta_center и максимум eta_out вообще не обязаны совпадать. Поэтому теория не должна объявлять открытый режим завершённым до тех пор, пока не будут построены реальные совместные карты по K, chi и ka.
12.3.3. Не доказана устойчивая направленность открытого режима.
Для вертикальной топологии ещё не доказано, что полярные окна в полноволновом расчёте приводят к практически узкому главному лепестку, а не к широкому рассеянию, что и ожидается по аналитике круглой апертуры. Для горизонтальной топологии не доказано, что режим с доминированием m = 0 устойчив, воспроизводим и не разрушается при малой азимутальной асимметрии. Следовательно, критерий C5 пока остаётся рабочей гипотезой и расчётной программой, а не доказанным итогом теории. Это особенно важно, потому что именно на этом месте у псевдопараболоидов возникает наибольший соблазн преждевременно назвать кольцевую геометрию уже готовым направленным излучателем. Монография должна сознательно избегать такого упрощения.
12.3.4. Не закрыт полный 3D Maxwell-блок.
Мы подчёркиваем, что следующий обязательный шаг — это полный трёхмерный расчёт Maxwell. Пока этого шага нет, нельзя считать решёнными вопросы абсолютной добротности открытого резонатора, поляризационной селективности, утечки через PML и реального вклада гармоник m ≠ 0. Следовательно, волновой мост главы 11 силён как фильтр и селектор топологий, но не как окончательная Maxwell-теория устройства.
12.3.5. Не доказана межфизическая универсальность.
Геометрическая универсальность формы уже доказана, но межфизическая универсальность остаётся открытым утверждением. Для неё требуется существование непустого пересечения рабочих областей
U_EM ∩ U_AC ∩ U_Q ≠ ∅,
где одновременно выполняются критерии удержания, вывода, направленности и робастности для электромагнитной, акустической и квантовой постановок. Пока такое пересечение не вычислено, термин «универсальный аттрактор» допустим только в ослабленном смысле, как кандидат на межфизическую универсальность, а не как уже доказанный результат. Именно здесь проходит одна из главных границ научной корректности всей монографии.
12.3.6. Не вычислен окончательный запас устойчивости ε*.
Критерий C8 требует положительного запаса устойчивости к малым возмущениям геометрии, щели, возбуждения и материала. В текущем виде критерий запаса устойчивости ε* уже введён, но его полные карты ещё не построены. Следовательно, робастность пока остаётся не доказанным, а только правильно сформулированным вопросом. Это особенно важно для любой инженерной интерпретации: без ε* нельзя переходить от «режим существует в расчёте» к утверждению «режим технологически воспроизводим».
Чтобы этот открытый слой был зафиксирован без двусмысленности, сведём его в последнюю таблицу.
Таблица 17. Что остаётся открытым
| Открытый вопрос | Что именно ещё нужно сделать | Текущий статус |
| Спектральные окна C3 | Построить карты (K, chi, ka) и найти непустые рабочие области | Не доказано |
| Совместимость удержания и вывода C4 | Вычислить eta_center, eta_out и их совместный максимум | Не доказано |
| Направленность C5 | Проверить дальнее поле, m = 0, боковые лепестки | Не доказано |
| Maxwell 3D | Full-vector, PML, поляризация, complex-Q | Не закрыто |
| Межфизическая универсальность C7 | Найти U_EM ∩ U_AC ∩ U_Q | Не доказано |
| Робастность C8 | Построить карты чувствительности и вычислить ε* | Не доказано |
12.4. Граница применимости геометрической оптики
В монографии уже подчеркнуто, что граница допустимости геометрической оптики для электродинамики проходит существенно правее формального предела K -> 0. Практически рабочим диапазоном первого порядка для горизонтальной формы следует считать область K ≳ 0.040, тогда как при очень малых K прямое перенесение Monte Carlo-результатов в электродинамику недопустимо. Это означает, что теория уже научилась различать не только «хорошие» и «плохие» формы, но и режимы, в которых лучевое моделирование вообще перестаёт быть надёжным актуальным.
Рис. № 17. Граница применимости геометрической оптики.
Рисунок показывает, что лучевое моделирование нуждается в правой границе применимости и не может бесконтрольно экстраполироваться в предел очень малых K.
12.5. Главный методологический итог главы
На первый взгляд может показаться, что длинный список «ещё не доказано» делает теорию слабее. На самом деле происходит обратное. Теория становится сильнее именно потому, что ясно различает:
аналитически закрытое,
численно подтверждённое первого порядка,
ещё открытое и требующее полной верификации.
В такой формулировке псевдопараболоид второго порядка уже может быть уверенно описан как геометрически масштабируемое семейство аттракторных резонаторных структур с аналитически доказанной внутренней геометрией и с инженерно подтверждённой калибровкой удержания первого порядка. Но он ещё не может быть объявлен окончательно доказанным межфизически универсальным открытым направленным резонатором. Именно это различие и задаёт правильный научный статус всей работы на текущем этапе.
12.6. Выводы по главе
Геометрия псевдопараболоидов второго порядка, их нормированные профили, локальная асимптотика, клиновая открытость и интегральные геометрические характеристики уже относятся к аналитически доказанному слою теории.
Monte Carlo-кривые eta_MC(K) и первый осесимметричный EM-FEM блок уже дают содержательную инженерную калибровку первого порядка. Они подтверждают преимущество горизонтальной топологии, особенно при объёмном возбуждении, и выделяют рабочий EM-диапазон первого порядка.
Не доказаны и не должны объявляться доказанными: конечные спектральные окна, полная совместимость удержания и вывода, устойчивая направленность открытый режим режима, полный 3D Maxwell-блок, межфизическая универсальность и вычисленный запас устойчивости ε*.
Следовательно, самая корректная научная формулировка текущего статуса такова: теория псевдопараболоидов второго порядка уже является завершённой аналитической геометрической теорией и частично подтверждённой инженерной волновой программой первого порядка, но ещё не завершённой полной межфизической теорией универсального аттрактора.