On a problem on a generalization of Euler's totient function

关于欧拉函数推广问题之技术摘要

问题陈述
本文研究了关于 B¨uy¨uka¸sik 等人（2024）提出的欧拉函数 $\phi(n)$ 的一类推广函数的猜想。该推广函数定义为：
$$\phi_k(n) = \sum_{\substack{1 \le a \le n \\ (a,n)=1}} a^k$$
其中 $\phi_0(n) = \phi(n)$。作者定义了对于固定的非负整数 $s$，集合 $D_s$ 为：
$$D_s = \{k \ge s : \forall n \ge 1, \phi_s(n) \mid \phi_k(n)\}$$
B¨uy¨uka¸sik 等人证明了对于任何 $s \ge 0$，$D_s$ 都是有限的，并猜想 $D_1 = \{1, 3, 15\}$。尽管他们提供了计算证据，但该猜想仍悬而未决。本研究的主要目标是提供一个严格证明，即 $D_1 = \{1, 3, 15\}$。

方法论
证明过程通过建立反向包含关系 $D_1 \subseteq \{1, 3, 15\}$ 来进行，因为包含关系 $\{1, 3, 15\} \subseteq D_1$ 已由 B¨uy¨uka¸sik 等人确立。该方法依赖于经典数论工具与涉及伯努利数和伯努利多项式的创新结构化论证的综合运用。

1. 简化为奇数情形： 作者首先证明，如果 $k \in D_1$ 且 $k > 1$，则 $k$ 必须是一个奇数。这是由条件 $\phi_1(3) \mid \phi_k(3)$ 推导出的，该条件意味着 $3 \mid (1 + 2^k)$，从而迫使 $k$ 为奇数。
2. 伯努利和与整性： 论证的核心涉及通过伯努利数 $B_{2j}$ 定义的序列 $C_k(v)$：
   $$C_k(v) = \frac{2}{k+1} \sum_{j=0}^{(k-1)/2} \binom{k+1}{2j} B_{2j} (1-2j)^v$$
   作者证明了一个关键引理：如果对于所有 $v \ge 1$，$C_k(v)$ 均为整数，那么对于每一个位于 $[2, k-1]$ 之间的偶整数 $h$，量 $\frac{2k!}{h!}B_h$ 必须是整数。
3. 无平方因子整数的构造： 为了建立 $C_k(v) \in \mathbb{Z}$ 对所有 $v$ 成立的结论，作者利用了狄利克雷关于算术级数中素数的定理。他们构造了由模 $L$ 同余的素数组成的无平方因子整数 $n$（其中 $L$ 是特定伯努利相关项分母的最小公倍数）。通过分析这些特定 $n$ 的 $\phi_k(n)/\phi_1(n)$ 的整除性，他们推导出 $C_k(\omega(n))$ 必须是一个整数，其中 $\omega(n)$ 是 $n$ 的不同素因子的个数。由于 $\omega(n)$ 可以是任何整数 $v \ge 1$，因此 $C_k(v)$ 对于所有 $v \ge 1$ 均为整数。
4. 应用 von Staudt–Clausen 定理： 利用上一步导出的整性条件，作者应用了刻画伯努利数分母特征的 von Staudt–Clausen 定理。这导致了一个关键性质：对于任何满足 $(p-1) \mid h$ 的偶数 $h \in [2, k-1]$ 及奇素数 $p$，集合 $\{h+1, \dots, k\}$ 中必须存在 $p$ 的倍数。
5. 模运算矛盾： 作者将这一性质转化为涉及模余数的严格不等式：对于每个奇素数 $p \le k$，
   $$k \pmod p < k \pmod{p-1}$$
   通过测试特定的素数并分析 $k+1$ 的结构，他们系统地排除了 $k$ 的各种可能性：
   • 他们证明 $k+1$ 不能有任何奇素因子，这意味着 $k+1 = 2^a$。
   • 他们证明 $a$ 必须是偶数，从而得出 $k = 2^{2\lambda} - 1$。
   • 通过对素数 $p=7, 11, 29$ 进行模运算分析，他们证明了当 $\lambda \ge 3$ 时，会导致与上述严格不等式相矛盾的情况。

主要贡献与结果

• 证明猜想： 本文成功证明了 $D_1 = \{1, 3, 15\}$。
• 关于伯努利和的引理： 作者建立了特定伯努利和 $C_k(v)$ 的整性与阶乘及伯努利数整除性之间的新联系。
• 结构化特征描述： 该工作对满足 $\phi_1(n)$ 整除 $\phi_k(n)$ 的整数 $k$ 提供了详细的特征描述，将其简化为一个有限的模约束集合。

意义与声明
本文声称解决了近期文献（B¨uy¨uka¸sik 等人，2024）中的一个开放猜想。作者明确指出，在该工作完成之前，该猜想一直处于开放状态。本文方法论的一个显著特征是在探索和证明开发阶段与“GPT-5.5 Pro 进行的广泛交互”。作者指出，虽然使用了 AI 的建议，但所有的数学内容都经过了人类作者的大幅修改、修正和独立验证，作者承担全部责任。

论文以谦逊的态度结束，暗示将这些技术扩展到评估 $s > 1$ 时的 $D_s$ 是未来研究的一个自然方向，并未提出超出该算术问题范围的具体实验应用或更广泛的影响。