Euler φ(n)、Dedekind ψ(n)与σ(n)有理表达式的显式下界：立方和、乘积、成对和及任意正整数幂推广

《Mathematics》：Lower Bounds on Expressions Depending on the Functions φ(n), ψ(n) and σ(n): Part 4

　　

本文建立了四个下界不等式，涉及欧拉函数（Euler totient function）φ(n)、Dedekind psi函数（Dedekind psi function）ψ(n）与除数和函数（sum-of-divisors function）σ(n)的有理表达式。这些不等式涉及立方和、这些算术函数的乘积以及成对函数之和的有理表达式。下界以n的有理函数形式显式给出，并在n为素数时达到。此外，研究人员提出四个猜想，将已建立的不等式推广到任意正整数幂k。

一、研究背景、问题与研究意义。算术函数欧拉函数φ(n)（Euler totient function，表示不超过n且与n互素的正整数个数）、Dedekind psi函数ψ(n)（Dedekind psi function）和除数和函数σ(n)（sum-of-divisors function，表示n的全部正因数之和）的下界估计是相关数论不等式研究的重要内容。Atanassov的结果启动了涉及这些算术函数的下界研究，并推动后续一系列不等式的发展；相关估计先针对某些n范围建立，随后由Sándor与Gryszka等推广到更广的整数范围。已有工作还涉及这些函数的成对乘积以及相关组合不等式，Dimitrov最近建立了涉及φ(n)、ψ(n)和σ(n)的有理表达式下界。本文受Atanassov结果及数学归纳法（mathematical induction）启发，针对涉及立方和、这些算术函数乘积以及成对函数之和的有理表达式建立四个下界不等式，并指出主要困难集中在定理3和定理4的证明中，因为此处首次需要采用分析方法。研究人员开展的研究给出了以n的有理函数形式表示的显式下界，且这些下界在n为素数时达到；其意义在于揭示经典算术函数之间的关系，并为相关有理表达式提供可计算的下界，同时通过四个猜想为任意正整数幂k的推广提供研究方向。

关键技术方法（不超过250字）。本研究无样本队列来源。关键技术方法为数学归纳法：先对n为素数、两个不同素数乘积pq、素数幂p^a等基本情况分别验证，再在归纳步考察n→pn并分情形A与情形B处理；使用辅助引理（Lemma 1）、式(2)与式(3)等代数恒等式和估计；定理2中引入AM–GM不等式（arithmetic–geometric mean inequality，AM–GM）；定理3和定理4通过通分证明分母正性并化归为分子非负，定义辅助函数并利用单调性、求导（包括三阶导数）等分析方法完成证明。

二、研究结果。辅助引理（Lemma 1）：回顾一个后续证明所需引理，该引理用于定理1和定理2的证明。定理1（Theorem 1）：对相关整数n建立第一个下界不等式；证明分n为素数、n为两个不同素数乘积、n为素数幂等基本情况，并在归纳步n→pn中分情形A与情形B，借助式(2)、式(3)及直接计算得出不等式成立。定理2（Theorem 2）：建立第二个下界不等式；先直接验证较小情形，再分基本情况处理，归纳步情形B中利用式(3)、AM–GM不等式及Lemma 1右侧不等式进行推导，从而证明结论。定理3（Theorem 3）：建立第三个下界不等式；证明分基本情况与归纳步，情形A通过通分并利用分母因子正性将问题化为分子非负，情形B将问题化归为某辅助函数在给定假设下的正性，证明该函数递增并得到所需界。定理4（Theorem 4）：建立第四个下界不等式；证明同样分基本情况与归纳步，情形A通过通分和分子非负性处理，情形B化归为辅助函数g的非负性，计算g的一阶、二阶和三阶导数，证明g严格递增并进一步推出所需结论。猜想（Conjectures）：基于对素数n的数值检查，提出四个猜想，将定理1—定理4中的不等式推广到任意正整数幂k；当k=1时，相应猜想退化为定理1—定理4。结论（Conclusions）：四个下界不等式均以n的有理函数显式给出，并突出相关算术函数之间的联系；四个猜想指出主要结果可能推广到任意正整数幂k，但其证明仍为开放问题。

三、讨论部分总结与结论翻译。讨论部分表明，本文的核心贡献是建立四个涉及φ(n)、ψ(n)和σ(n)的下界，覆盖立方和、乘积和成对函数之和等有理表达式；证明路线以基本情形验证、归纳步骤、代数估计以及定理3和定理4中的分析工具为基础。四个猜想构成主要结果的幂次推广，并指明后续研究问题。结论部分翻译如下：本文建立了涉及欧拉函数φ(n)、Dedekind psi函数ψ(n)和除数和函数σ(n)的四个下界，适用于相关整数n。结果为此类函数及其组合（包括立方和、乘积与成对函数之和）所构成的有理表达式提供了显式有理下界。四个不等式突出了这些经典算术函数之间的关系，并给出以n的有理函数表示的界。该方法依赖于涉及φ(n)、ψ(n)和σ(n)的不等式，结合代数估计和数学归纳法，推出所述结果。上一节提出的四个猜想表明主要结果可能推广到任意正整数幂k。证明这些猜想仍是一个开放问题，并为未来研究提供了自然方向。