前言
长文预警!大量公式预警!
本文的写作灵感来自于一个经典问题:求将一个正整数拆分成若干正整数之和的方法数(仅顺序不同视为同一拆分)。关于这个问题的一个子问题:将一个正整数
拆分成
个互不相同的正整数之和的方法数,可以利用母函数法来计算这个方法数
。
考虑函数
,求和符号下标表示,数对
取遍集合
中的所有元素
而
另一方面,如果有
个数对
满足
,其中
是一个正整数,那么
中
一项的系数就是m。由于
共有
种排列,所以无序分解数
。换言之,
,这说明
的
变换就是
。可以证明
,于是,对于给定的
,只需对
求逆
变换就能得到
的解析式。
母函数的好处在于将拆分问题转化成了
变换问题(实际就是洛朗展开),而整数分拆范畴内最著名的问题就是哥德巴赫猜想了,自然想到利用母函数法处理哥德巴赫猜想,于是就有了下面一篇文章。
此处做一个声明:
本文不尝试证明哥德巴赫猜想(或任何著名猜想),也不会给出所谓“证明”,因为我深知自己的能力几乎不可能解决这个问题。本文仅仅记录了一些相关的研究,纯属闭门造车之作,如有谬误,欢迎指出。另外,如果你曾看到过类似的结论,那一定是我“重造轮子”了,欢迎告知。
还有,转载请注明作者及出处(如果有的话)。
下面开始正文。
第1节
约定:本文会使用形如
的表达式,其中
是一个关于
的命题,
是一个关于
的表达式。它的含义是
取遍使
为真的一切值后
的和,如果不存在使
为真的
,那么这个表达式的值就是0.
定义1.1:
表示正整数
分解为两个素数之和的方法数。
定义1.2:
表示素数集合。
定义1.3:
.
定义1.4:
,即
的
变换。
考虑函数
,若记
,我们期望
一项的系数可以表示
分解为两素数之和的方法数。事实上,若存在
对
使得
,那么
的系数就是
。但
和
是两个不同的数对,会被计算两次,所以系数应当除以2。同时,当
是素数时数对
只被计算了一次,所以考虑加上
使其再被计算一次,然后总体除以2.
根据以上思路,我们有:
(题图是用WolframAlpha计算的部分结果,取了前40个素数).那么研究
的问题就转化成了研究
的问题。
第2节
定义2.1:
表示
的互异素因数个数。
定义2.2:
表示正整数
的素因数中指数不小于2的素因数的数量。
的表达式
与几何级数比较类似,而几何级数很容易计算,因此考虑用几何级数的叠加来表示
。
设
,其中
,
是待定系数。经整理得:
,其中
。我们期望
.
做莫比乌斯反演,我们有
,其中
是莫比乌斯函数,定义为:
,
.
设
,其中
是
的素因数,
,
,那么:
,这是因为只有
的值为1.下面做分类讨论:
1)若存在
使得
,那么每一项中都有不小于2的指数,故
2)若存在至少2个
使得
,同样,每一项中总是存在不小于2的指数,故
3)若存在1个
使得
,其他指数均为1,那么
4)若指数均为1,那么
.
综上,我们证明了:
反过来,其实我们也可以证明
符合我们的期望。具体来说,把求和分为两个部分进行:第一个部分是
只含有有一个二次素因数,其他素因数均为一次时的和,在
不变时,这一部分的和显然正比于
的高次素因数(二次及以上)的数量
;第二部分是
的素因数均为一次时的求和。因此把和式写成:
对于前一部分,每一项的值必定是
的形式,但
并不是确定的。事实上,我们只需保证
有一个二次素因数,其他素因数的指数均为0或1即可(当然,这些素因数首先要属于
),而次数为0的素因数数量则会影响
的值。对于
的每一个二次素因数,借助组合数,都可以写出以下算式:
,也就是说,只有当
形如
时这一项的值才非零,而在这种情况下,
.即当且仅当
时值为1(注意,此时
的值是0而不是-1,因为
).
对于后一部分,每一项的值必定是
的形式,同理,我们可以写出以下算式;
然后又归入了和前面一样的讨论中。
综上,我们证明了
第3节
定义3.1:
表示正整数
和
的最大公因数。
定义3.2:形如
,其中
是一个命题的表达式称为谓词,当且仅当
为真时取值为1,否则取值都为0.
根据第2节的结论,我们可以重写
为:
.
若对
求逆
变换,我们就能得到
,因此我们需要研究以下两个函数:
和
的逆
变换。
根据几何级数的性质,很容易看出
的逆
变换就是谓词
,其中
是变量。它也可以写成解析形式:
。这里写成极限形式是因为形如
的数是此函数的可去间断点。当定义域为
时,后面一项可以略去,因为它的值恒为0。
下面主要研究
。设这个函数能写成以下形式:
,其中a是函数的奇点,同时也是单位元根,
,
是只以a为变量的系数(它也可能包含参数m,n).经计算:
;
;
;
.
所以:
从而可以得到逆
变换:
当然,由于a是复数,而我们更倾向于写成实值函数,因此可以利用欧拉公式及三角函数将此函数表示为:
注意,
和
是一样的。
其中几个谓词中
表示“且”,它们的作用是分类讨论,因为需要区别实根和虚根的情况。这些谓词可以进一步化简为:
这几个谓词都有解析表达式:
因此原式进一步化简:
综上所述,我们证明了以下表达式:
(求和中的k都是整数,以后不再说明)
第4节
根据第2节和第3节的结论,我们可以把
表示为一系列三角函数的和(计算机验证已成功):
利用和差角公式,可以把求和中的三角函数写成不带相位的版本:
这种展开类似于傅里叶级数,但不尽相同,例如这些三角函数并没有相同的周期,也没有对原函数做周期延拓。这样展开的好处是保证了函数的连续性,但并不是最方便讨论的。事实上,保留一些谓词更有利于研究这个函数。
把非关键部分写成谓词形式(同时将定义域限制在了正整数):
由于
是正整数,我们只需母函数中的第
项系数,所以
不必取到无穷大,而只需取到
就可以了。那么可以进一步化简:
做适当的拆分后有:
在这篇文章之前的版本中提到过一个猜想
,现在给出一个简单的证明(虽然已经不再需要这个结论)
用
表示不大于
的素数个数,那么 :
注意到
,所以
,也就是说:
,得证。
需要注意的是,前面所使用的研究方法几乎没有使用素数的性质,素数的特性完全由
函数决定,因此也可以称
函数为权函数。它实质上起到了筛选的作用,相当于“容斥系数”,因此这条公式本质上利用的是筛法。
基于这种特点,我们可以很容易地对公式进行推广。事实上,令
,定义
,
表示将正整数拆分为两个
中正整数的方法数,那么有:
例如取
,那么
,此时
结束语
本文中,我们给出并证明了哥德巴赫分拆函数的一个精确表达式:
其中,
,
表示正整数
的互异素因数个数。
在解析数论中,我们往往更希望得到一个渐进估计式而不是一个含有数论函数的精确表达式(除非这个精确表达式具有特殊的意义)。要根据这一表达式进行估计,主要就是估计下面两个函数的值:
我确信自己仍需要更深入的知识来对这两个函数进行估计,因为一旦得到了它们各自的估计式,就几乎可以证明(或证伪)哥德巴赫猜想。这是一个难度极大的问题,因此我们就在这里结束吧。
感谢阅读!
悄悄更新一波:
对任意
对应的
函数,有:
,其中
表示
中的计数函数(即不大于
且属于
的数的个数),具体到
上就是著名的素数计数函数。
上式可以继续变换为:
。或者写成
也没有问题。特别地,得到了一个恒等式:
对任何正整数
成立,只需取
即可。