السبت، 17 نوفمبر 2018

تسلسل Farey


تسلسل Farey F_nلأي عدد صحيح موجب ن
 هو مجموعة غير القابل للاختزال أعداد عقلانية 
أ / ب مع 0 <= ل<= ب <= ن و (أ، ب) = 1مرتبة في زيادة الطلب. 
القليلة القليلة هي
F_1={0 / 1،1 / 1}
(1)
F_2={0 / 1،1 / 2،1 / 1}
(2)
F_3={0 / 1،1 / 3،1 / 2،2 / 3،1 / 1}
(3)
F_4={0 / 1،1 / 4،1 / 3،1 / 2،2 / 3،3 / 4،1 / 1}
(4)
F_5={0 / 1،1 / 5،1 / 4،1 / 3،2 / 5،1 / 2،3 / 5،2 / 3،3 / 4،4 / 5،1 / 1}
(5)
(OEIS A006842 and A006843 ). باستثناء F_1، كل F_nلديه الغريب
 عدد من المصطلحات وعلى المدى المتوسط هو دائما 1/2.
دعونا ص / ف، ص ^ / ف ^، ص ^ ( '') / س ^ ( '')وتكون ثلاث شروط متتالية في سلسلة Farey. ثم
 قطر للبترول ^ - ^ الانفصالى '= 1
(6)
 (ص ^) / (س ^) = (ص + ص ^ ( '')) / (س + س ^ ( '')).
(7)
هذان البيانان متساويان بالفعل (هاردي ورايت 1979 ، ص 24). لطريقة الحوسبة سلسلة متعاقبة من وجود واحد من نالشروط، إدراج mediant جزء (أ + ب) / (ج + د)بين المصطلحات ج /و ب / دعندما ج + د <= ن(هاردي ورايت 1979، ص 25-26؛ كونواي وغاي 1996؛ أبوستول 1997).
 ونظرا 0 <= أ / ب <ج / د <= 1 ل ق م = 1، دعونا ح / كيكون mediant من أ / بو ج / دثم أ / ب <ح / ك <ج / د، وهذه الكسور ترضي العلاقات غير الأحادية
 BH-حزب العدالة والتنمية = 1
(8)
 CK-درهم = 1
(9)
(Apostol 1997، p. 99).
عدد المصطلحات N (ن)في تسلسل Farey لعدد صحيح ن هو
N (ن)=1 + sum_ (ك = 1) ^ (ن) فاي (ك)
(10)
=1 + فاي (ن)،
(11)
حيث فاي (ك)هو وظيفة totient و فاي (ن)هي وظيفة summatory من فاي (ك)، وإعطاء 2، 3، 5، 7، 11، 13، 19، ... (OEIS A005728 ). الحد المقارب للوظيفة N (ن)هو
 N (ن) ~ (3N ^ 2) / (بي ^ 2) = 0.3039635509n ^ 2
(12)
(فاردي 1991 ، ص 155).
توفر دوائر فورد طريقة لتصور تسلسل Farey. F_nيحدد تسلسل Farey شجرة فرعية لشجرة Stern-Brocot التي تم الحصول عليها عن طريق تشذيب الفروع غير المرغوب فيها 
(Graham et al. 1994).

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

إرسال تعليق