الاثنين، 19 نوفمبر 2018

ثابت ارتين



اسمحوا نان تكون ايجابية عدد صحيح nonsquare. بعد ذلك 
 افترض أرتن أن مجموعة S (ن) جميع الأعداد الأولية التي نتعتبر جذرًا بدائيًا 
هي مجموعة لا نهائية. تحت افتراض فرضية ريمان المعممة 
 تم حل تخمين أرتن بواسطة هولي (1967 ؛ فينش 2003 ، ص 105).
دعونا نلا تكون قوةص عشر لأي مثل هذا الجزء المربعي من يرضي (وزارة الدفاع 4).
 اسمحوا تكون كل مجموعة من الأعداد الأولية التي هذا هو جذر بدائية .
 ثم حدس أرتين أيضا أن كثافة نسبة إلى يعبي تعطى بشكل مستقل عن اختيار من قبل 
حيث ص> 1ن ^نن ^ ≢1S ^ (ن)نS ^ (ن)نC_ (أرتين)
 C_ (أرتين) = product_ (ك = 1) ^ infty [1-1 / (p_k (p_k-1))] = 0.3739558136 ...
(1)
(OEIS A005596 )، و p_kهو كالتاسع رئيس الوزراء .
يمكن رؤية أهمية ثبات أرتين بسهولة أكبر من خلال وصفه بأنه جزء من الأعداد الأولية ص التي 1 / صلها فترة تكرار أعلى عشرية ، بمعنى ، صعبارة عن رأسية كاملة reptend 
(Conway و Guy 1996) تقابل الرقم الدوري .
C_ (أرتين)متصل بوظيفة zeta الأساسية P (ن) بواسطة
 lnC_ (أرتين) = - sum_ (ن = 2) ^ infty ((L_n-1) P (ن)) / ن،
(2)
أين L_nيوجد رقم لوكاس (Ribenboim 1998، Gourdon and Sebah). 
أعطى مفتاح الربط (1961) 45 رقمًا C_ (أرتين)، بينما أعطى كل من جوردون وصبابة 60 رقمًا.
إذا n ^ '= 1 (mod 4)و نلا تزال مقيدة لا تكون صالسلطة الرابعة
ثم كثافة ليست C_ (أرتين)نفسها، ولكن عقلانية متعددة منها. 
يتم تخمين الصيغة الصريحة لحساب الكثافة في هذه الحالة
 C_ (Artin) ^ '= [1-mu (n ^') product_ (prime q؛ q | n ^ (')) 1 / (q ^ 2-q-1)] C_ (Artin)
(3)
(ماثيوز ، 1976 ، فينش 2003) 
 أين مو (ن)هي وظيفة موبيوس . 
حالات خاصة يمكن أن تكون مكتوبة أسفل صراحة ن ^ '= عل رئيس الوزراء ،
 C_ (أرتين) ^ = (1 + 1 / (ص ^ 2-ص-1)) C_ (أرتين)،
(4)
أو ن ^ = الانفصالى، حيث ع، فعلى حد سواء يعبي مع u ، v = 1 (mod 4)،
 C_ (أرتين) ^ = (1 + 1 / (ص ^ 2-ص-1) 1 / (ف ^ 2-س-1)) C_ (أرتين)،
(5)


إذا كان نالمكعب مثاليًا (وهو ليس مربعًا مثاليًا) 
 فإن القوة الخامسة المثالية (التي لا تكون مربعًا مثاليًا أو مكعبًا مثاليًا) ، إلخ 
 تنطبق صيغ أخرى (Hooley 1967، Western و Miller 1968).

ليست هناك تعليقات:

إرسال تعليق