尤尔卡特-里歇特定理

来自testwiki
imported>BigBullfrog2024年4月17日 (三) 19:23的版本
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

尤爾卡特-里歇特定理(Jurkat–Richert theorem)是篩法上的數學定理,這定理是關於歌德巴赫猜想陳氏定理的關鍵部分。[1]Template:Rp這定理在1965年由沃爾夫岡·B·尤爾卡特(Wolfgang B. Jurkat)及Template:Link-en所證明。[2]

定理陳述

以下公式表示取自哈罗德·G·戴蒙德(Harold G Diamond)與Template:Link-en[3]Template:Rp其他的公式表示可見於尤爾卡特與里歇特、[2]Template:Rp哈伯斯塔姆與里歇特、[4]Template:Rp以及Template:Link-en等人的結果。[1]Template:Rp

假定A是一個整數的有限序列,而P是質數集合,設AdA中可被d除盡的元素構成的集合,並設P(z)P中小於z的質數的乘積,然後再設ω(d)為一個使得ω(p)/p大致與A中可被p除盡的元素成比例的積性函數。然後XA中元素的大致個數,則其餘項可表示如下:

rA(d)=|Ad|ω(d)dX.

S(A,P,z)A中與P(z)彼此互質的元素的個數,則有下式:

V(z)=pP,p<z(1ω(p)p).

再設ν(m)m彼此相異的質因數的數量,並設F1f1為滿足特定微分差分方程的方程式。(可參見戴蒙德與哈伯斯塔姆的書[3]Template:Rp以知其定義與性質)現在假定篩選密度的維度為一,也就是在存在常數C,使得2z<w的情況下,可得以下關係式:

zp<w(1ω(p)p)1(logwlogz)(1+Clogz).

(戴蒙德與哈伯斯塔姆的書[3]將此定理延伸到維度大於一的狀況)那麼尤爾卡特—里歇特定理就表示說對於任意滿足2zyX的數yz而言,有以下關係式:

S(A,P,z)XV(z)(F1(logylogz)+O((loglogy)3/4(logy)1/4))+m|P(z),m<y4ν(m)|rA(m)|

S(A,P,z)XV(z)(f1(logylogz)O((loglogy)3/4(logy)1/4))m|P(z),m<y4ν(m)|rA(m)|.

註解

Template:Reflist