找回密码
 欢迎注册
楼主: TSC999

[原创] 数论问题,证明一个梅腾斯公式的推广

[复制链接]
发表于 2021-8-25 09:37:00 | 显示全部楼层
TSC999 发表于 2016-11-24 19:43
主帖中的那个复杂公式可以写成下面这样容易理解的形式:
\(  \displaystyle \lim_{x \to \infty} \lbrace  ...

我实际计算了,n=3和n=4的情况,其值出入较大,不知道错在那里了。我的方法是把ln(x)用连乘积代替∏(P/(P-1)),把素数2,和3单独摘除来处理,当P大于等于5时,与后边的连乘积配对,用vfp程序计算到10亿多的位置。
n=3时,其值为:17.1494915657138
n=4时,其值为:24.9070851662106
寻找问题原因?

点评

你把 ln(x) 用连乘积 ∏(P/(P-1)) 代替,这一步错了!相差一个因子 e^γ,γ 是欧拉常数。  发表于 2021-8-27 07:50
梅腾斯推广公式,与递推公式其实无关。不存在 2 和 3 需要单独处理的问题。见【数学中国】的有关帖子。  发表于 2021-8-26 10:00
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-25 19:41:39 | 显示全部楼层
TSC999 发表于 2016-12-1 06:15
因此就有:
\(   \displaystyle \prod_{p>n}^{p≤ x} (1-\frac{n}{p}) =\prod_{p>n}^{p≤ x}\frac{p-n}{p ...

在数学中国中,独木星空谁就是我---白新岭,实际计算一下,n=3和n=4的情况,看一看它们的值与公式所给的值,相符还是不相符。

点评

见【数学中国】http://www.mathchina.com/bbs/forum.php?mod=viewthread&tid=2047315&extra=page%3D1&page=5  发表于 2021-8-26 20:29
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-25 19:45:08 | 显示全部楼层
即计算∏\({P^2-4P+3}\over{P^2-4P}\)的值,P≥5,为素数,趋于无穷大时,的极限值。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2021-8-27 07:56:04 | 显示全部楼层
本帖最后由 TSC999 于 2021-8-27 07:57 编辑


你那个原始式子的理论表达式如下:

理论值.png

点评

对于具体的k生素数的系数就像∏\({P_i-1}\over{P_i-2}\),当然不完全一样,我是说就是这种形式,这个作用。本楼所求的极限值,就是3生素数的理论数量公式中的系数与4生素数的系数的相互关系牵涉出来的问题。  发表于 2021-8-27 18:59
n的每一个值都唯一的对应一个k值(而且它们相等),即能形成一一对应关系,每一个k值可以对应无数的同值的k生素数,所以一值解百解,有了它,求k生素数的系数变得容易了,就像哈代给的歌猜渐近公式的C2(公用值)  发表于 2021-8-27 18:54
上式左边应理解为 x 趋于无穷大。  发表于 2021-8-27 08:55
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-27 08:21:21 | 显示全部楼层
网上没有发现相关的结论,我觉得主要原因在于表达式太复杂了。这个结论可以看成两部分组合,第一部分是左边的极限存在的证明,这部分在n=1成立的前提下不算困难;第二部分是极限的表达形式,但是由于右边的表达形式是在过于复杂,相对来说,作用就不会太大。

点评

有的网友在研究 k 生素数时,似乎可能会用到有关的理论表达式。  发表于 2021-8-27 09:01
同意你说的观点。右边极限表达要是能简化就好了。  发表于 2021-8-27 08:57
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-27 12:25:28 | 显示全部楼层
TSC999 发表于 2021-8-27 07:56
你那个原始式子的理论表达式如下:

γ        -0.577215665        0.561459483567746
n=3        17.14949157        3.035334195
n=4        24.90708517        2.475121902
在21#天山草先生的提示下,找到了问题原因。我那个主题,有个楼层已有了它们之间的换算等式,后来光是蒙着,不查找自己的原因,到怀疑起天山草先生的梅腾斯公式推广了。惭愧!
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-28 20:56:38 | 显示全部楼层
∏(1-\(1\over P\))=\(e^{-γ}\over{ln(x)}\)推出\({ln(x)}e^γ\)=∏\(P\over{P-1}\),  所以\(({P\over{P-1}})^n\)=\(({ln}(x)e^γ)^n\)=\({ln}^n(x)e^{nγ}\),而最密三生素数的系数为:\({P^2(P-3)}\over(P-1)^3\),当P≥5时,为此形式,对于素数2,\({2^2(2-1)}\over(2-1)^3\)=\({1\over 2}{2^3\over(2-1)^3}\),同样素数3,\({3^2(3-2)}\over(3-1)^3\)=\({1\over 3}{3^3\over(3-1)^3}\),当素数P≥5后,\({P^2(P-3)}\over(P-1)^3\)=\({P^3\over(P-1)^3}{{P-3}\over P}\)=\(({P\over{P-1}})^3{(1-{3\over P})}\),把素数2,3的放进去:\(1\over 6\)∏\(({P\over{P-1}})^3{(1-{3\over P_i})}\),\(P_i\)≥5. P≥2.
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-28 20:57:52 | 显示全部楼层
\(C_3\)=\(1\over 6\)∏\(({P\over{P-1}})^3{(1-{3\over P_i})}\),\(P_i\)≥5. P≥2. 把\(({P\over{P-1}})^3\)替换为\({ln}^3(x)e^{3γ}\),则\(C_3\)=\(1\over 6\)\({ln}^3(x)e^{3γ}\)\({(1-{3\over P_i})}\)=\(1\over 6\)\(e^{3γ}{ln}^3(x)\)\({(1-{3\over P_i})}\),此时已经看到n=3的情形,把后半部分用梅腾斯的推广公式代替。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-28 20:58:37 | 显示全部楼层
如果用\(T_3\)表示梅腾斯公式的推广值,则根据天山草的计算值为:3.03533,\(e^{3γ}\)=5.649951690116860
,其1/6为0.9416586150194770 ,它乘3.03533,最终得值:2.858244643927070 ,与我k生素数的数量公式中所给的\(C_3\)=2.858249176885160 ,相差不大。这与天山草,及我的系数精确度都有关联。从理论上它们的值应该一致(无论什么渠道获得)。所以每一个梅腾斯公式的推广中的n与k生素数的k形成一一对应关系。
用同样方法,求出的\(C_4\)也相差无几(都是有精确度引起,深层理论上完全吻合)。所以,天山草先生的梅腾斯公式的推广,解开k生素数数量公式中系数的新篇章。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2021-8-28 20:59:31 | 显示全部楼层
我把k生素数的数量公式中的系数,用恒等变形,表示成与梅腾斯公式的推广有关的式子,用到您给的值,求出了k生素数的数量公式中的系数,而且与我以前求出的值基本吻合。
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-4-25 04:26 , Processed in 0.060237 second(s), 18 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表