ВЕТВЬ 51. ТОЧНАЯ ЭКСТРЕМАЛЬНАЯ ФУНКЦИЯ И ПОРЯДОК КВАНТОРОВ Дата составления: 18 октября 2026 г. Постановка, общая для этого этапа. A — непустое конечное множество различных положительных целых чисел, N=|A|, f_A(x)=sum_{a in A} cos(ax), K(A)=-min_x f_A(x). Аргумент x рассматривается по модулю 2*pi. Амплитуды равны единице, начальные фазы нулевые. Интегралы далее нормированы множителем 1/(2*pi). Статус: точная переформулировка исходной задачи и доказанные элементарные следствия. Формула, вычисляющая c_N для всех N, и постоянная нижняя грань здесь не получены. Заявления о новизне нет. 51.1. Что именно может быть функцией Определим kappa_N = inf {K(A): A subset Z_{>0}, |A|=N}, c_N = kappa_N/sqrt(N). Таким образом, c_N — наибольшее число, для которого верно K(A) >= c_N sqrt(N) для каждого множества A из N частот. Не следует смешивать c_N с произвольно выбранной нижней функцией b(N). Утверждение K(A)>=b(N)sqrt(N) для всех A равносильно только b(N)<=c_N. Оно не утверждает равенства b(N)=c_N. Выбор b(A)=K(A)/sqrt(|A|) превращает оценку в тождество и сам по себе не даёт независимого способа вычисления. 51.2. Положительность для каждого фиксированного N Ортогональность разных целочисленных частот даёт integral f_A = 0, integral f_A^2 = N/2. Обе функции f_A+K(A) и N-f_A неотрицательны. Следовательно, 0 <= integral [(f_A+K(A))(N-f_A)] = N K(A) - integral f_A^2 = N K(A)-N/2. Поэтому K(A)>=1/2, а значит 1/(2 sqrt(N)) <= c_N <= sqrt(N). Последнее неравенство следует из f_A>=-N. Для N=1 замена x на ax показывает K({a})=1, поэтому c_1=1. Эти оценки не используют верхнюю частоту или дополнительные предположения об аддитивных отношениях в A. 51.3. Три эквивалентные формы гипотезы Следующие утверждения эквивалентны: (i) Существует c>0 такое, что для всех N>=1 и всех A размера N K(A)>=c sqrt(N). (ii) inf_{N>=1} c_N > 0. (iii) liminf_{N->infinity} c_N > 0. Эквивалентность (i) и (ii) следует непосредственно из определения. Из (ii) следует (iii). Если выполнено (iii), существуют b>0 и N_0, для которых c_N>=b при N>=N_0. Для оставшихся N имеем c_N>=1/(2 sqrt(N_0)). Поэтому c=min(b,1/(2 sqrt(N_0)))>0 подходит одновременно для всех N. Предел c_N существовать для этого не обязан. Монотонность c_N данным рассуждением также не устанавливается. В частности, подмена порядка кванторов «для каждого N существует положительное c_N» вместо «существует положительное c для всех N» меняет математическое содержание. Первое утверждение уже следует из элементарной оценки 1/(2 sqrt(N)); второе является исходной целью. 51.4. Как выглядело бы опровержение постоянной Отрицание (i) равносильно существованию последовательности A_j такой, что N_j=|A_j| -> infinity, K(A_j)/sqrt(N_j) -> 0. Если (i) неверно, для каждого j можно выбрать A_j с отношением <1/j. Из K(A_j)>=1/2 следует N_j>j^2/4, поэтому размеры автоматически уходят в бесконечность. Обратное следует подстановкой любой предполагаемой c>0 в такую последовательность. Возможна и последовательность размеров, на которой c_N приближается к нулю, без существования полного предела. Следовательно, нулевая нижняя граница произвольной доказанной функции b(N) не является опровержением: нужны верхние свидетельства на реальных множествах A_j или иное доказательство того, что inf_N c_N=0. 51.5. Инфимум по частотам достигается, но это не явная формула Во внутреннем предыдущем журнале уже доказано, что для каждого N kappa_N достигается некоторым множеством A. Источник результата: /workspace/scratch/b671bf289294/restored/Chowla_Research_Journal.txt раздел «8.2. Proved existence: the optimal value at each fixed N is attained»; более сильный разбор — подход 30 и его независимый аудит. Краткое воспроизведение аргумента. Для минимизирующей последовательности кортежей a^(j) рассмотрим замкнутые круговые подгруппы H_j={(a_1^(j)t,...,a_N^(j)t) mod 2*pi}. Из компактности выберем предел H в метрике Хаусдорфа. Он является замкнутой подгруппой тора. Её аннулятор L(H) subset Z^N имеет конечный целочисленный базис. Для каждого базисного характера его образ на H_j при больших j лежит в малой дуге около 1. Этот образ является связной компактной подгруппой окружности, поэтому равен {1}. Все базисные характеры одновременно аннулируют H_j при достаточно больших j, откуда H_j subset H. Максимумы непрерывной функции Phi(theta)=-sum cos(theta_i) сходятся к kappa_N, а включение даёт max_{H_j}Phi<=kappa_N. Определение инфимума даёт обратное неравенство. Следовательно, равенство достигается некоторыми членами последовательности. Использованные топологические и целочисленные факты и граница применимости разобраны в указанном прежнем доказательстве. Эта запись использует его как внутренний результат, а не объявляет новым внешним фактом. Само достижение не даёт известной нам явной верхней частоты точного минимизатора или критерия остановки перебора. Эффективное приближение с заданной ошибкой рассмотрено отдельно в ветви 56. Проверка. Общий код functions_51_56_checks.py проверяет точные малые примеры K({1})=1, K({1,2})=9/8 и направление нескольких сертификатов. Все эквивалентности кванторов и утверждения для бесконечного семейства N доказываются текстом выше; конечный запуск их не заменяет. Источники. Внешний результат о текущей общей нижней оценке здесь не требуется. Элементарные вычисления полностью приведены. Предыдущий внутренний результат о достижении указан с точным местом в восстановленном журнале.