Раздел IV. COMSOL / FreeFEM / FEniCS, полные расчётные постановки, карты η_center(K, χ, ka) и первое численное вычисление ε*

После завершения главы 17 теория псевдопараболоидов второго порядка входит в новый этап. Если предыдущие разделы монографии вели нас от строгой геометрии к критериям спектральных окон, открытого режима, робастности и межфизической универсальности, то теперь становится необходим последний переход. Главное, это не просто сформулировать, что нужно проверять, а зафиксировать, как именно это должно быть вычислено в реальных численных средах. Именно этим и занимается Раздел IV.

Такая постановка чрезвычайно важна, потому что она переводит всю предшествующую теорию из статуса аналитико-методологической программы в статус воспроизводимой вычислительной архитектуры.

Смысл Раздела IV заключается не в механическом описании того, какой программный пакет удобнее открыть. Его задача гораздо глубже: построить единый вычислительный протокол, который одинаково поддерживает закрытую локализацию, открытый режим, спектральное сканирование, направленность, боковые лепестки и, в конечном счёте, запас устойчивости ε*. Это означает, что вычислительный пакет в данном разделе рассматривается не как «чёрный ящик», а как носитель конкретной формы задачи: геометрия должна быть параметризуема через K, апертура — через χ, спектр — через ka, а итоговые наблюдаемые должны извлекаться в том же языке, который уже был введён в главах 9, 15, 16 и 17. В этом смысле Раздел IV является прямым продолжением критериев C3–C8, а не внешней инженерной вставкой.

Ещё один фундаментальный момент состоит в том, что раздел IV впервые делает явным различие между теорией как системой утверждений и теорией как системой воспроизводимых вычислений. До настоящего места уже было доказано, что псевдопараболоиды представляют собой геометрически строгое семейство, что у них есть аналитически выделенные активные зоны, что для них возможно лучевое удержание первого порядка и что горизонтальная топология особенно перспективна для открытого режима и волнового согласованного режима. Но до тех пор, пока не существует набора воспроизводимых шаблонов, позволяющих другому исследователю запустить Helmholtz, Maxwell или Schrödinger-проверку на той же геометрии и получить те же карты ((K,\chi,ka)), теория остаётся не до конца замкнутой. Следовательно, Раздел IV — это раздел воспроизводимости, а не просто раздел «чисел».