متتالية فيبوناتشي عشوائية

في الرياضيات ، تُعتبر متتالية فيبوناتشي العشوائية نظيرًا احتماليًا لمتتالية فيبوناتشي المُعرَّفة بالعلاقة التكرارية.ون=ون-1±ون-2{\displaystyle f_{n}=f_{n-1}\pm f_{n-2}}حيث يتم اختيار الإشارتين + أو − عشوائياً باحتمالية متساوية12{\displaystyle {\tfrac {1}{2}}}، بشكل مستقل لأنواع مختلفةن{\displaystyle n}بحسب نظرية هاري كيستن وهليل فورستنبرغ ، تنمو المتتاليات العشوائية المتكررة من هذا النوع بمعدل أسي معين ، ولكن يصعب حساب هذا المعدل بدقة. في عام ١٩٩٩، أثبت ديفاكار فيسواناث أن معدل نمو متتالية فيبوناتشي العشوائية يساوي ١٫١٣١٩٨٨٢٤٨٧٩٤٣... (المتتالية A٠٧٨٤١٦ في OEIS ) ، وهو ثابت رياضي سُمّي لاحقًا ثابت فيسواناث. [ ١ ] [ ٢ ] [ ٣ ]

وصف

متتالية فيبوناتشي العشوائية هي متتالية أعداد صحيحة عشوائية تتكون من الأرقامون{\displaystyle f_{n}}بالنسبة للأعداد الطبيعيةن{\displaystyle n}، أينو1=و2=1{\displaystyle f_{1}=f_{2}=1}ويتم اختيار الحدود اللاحقة عشوائياً وفقاً لعلاقة التكرار العشوائية ون={ون-1+ون-2، باحتمال 12;ون-1-ون-2، باحتمال 12.{\displaystyle f_{n}={\begin{cases}f_{n-1}+f_{n-2},&{\text{ باحتمالية }}{\tfrac {1}{2}};\\f_{n-1}-f_{n-2},&{\text{ باحتمالية }}{\tfrac {1}{2}}.\end{cases}}} تبدأ إحدى حالات متتالية فيبوناتشي العشوائية بالعددين 1 و1، وتُحدد قيمة كل حد لاحق برمي عملة معدنية عادلة : عند إعطاء عنصرين متتاليين من المتتالية، يكون العنصر التالي إما مجموعهما أو فرقهما باحتمالية 1/2، بغض النظر عن جميع الاختيارات السابقة. إذا تم اختيار علامة الجمع في كل خطوة من متتالية فيبوناتشي العشوائية، فإن الحالة المقابلة هي متتالية فيبوناتشي ( F <sub>n</sub> ). 1،1،2،3،5،8،13،21،34،55،....{\displaystyle 1,1,2,3,5,8,13,21,34,55,\ldots .} إذا تناوبت الإشارات بنمط ناقص-زائد-زائد-ناقص-زائد-زائد-...، فإن النتيجة هي التسلسل 1،1،0،1،1،0،1،1،0،1،....{\displaystyle 1,1,0,1,1,0,1,1,0,1,\ldots .}

مع ذلك، فإن احتمالية حدوث مثل هذه الأنماط تكاد تكون معدومة في تجربة عشوائية. في تجربة نموذجية، لن تتبع المتغيرات نمطًا يمكن التنبؤ به. 1،1،2،3،1،-2،-3،-5،-2،-3،... للحصول على اللافتات +،+،+،-،-،+،-،-،....{\displaystyle 1,1,2,3,1,-2,-3,-5,-2,-3,\ldots {\text{ للإشارات }}+,+,+,-,-,+,-,-,\ldots .}

على غرار الحالة الحتمية، يمكن وصف متتالية فيبوناتشي العشوائية بشكل مفيد عبر المصفوفات : (ون-1ون)=(01±11)(ون-2ون-1)،{\displaystyle {f_{n-1} \choose f_{n}}={\begin{pmatrix}0&1\\\pm 1&1\end{pmatrix}}{f_{n-2} \choose f_{n-1}},}

حيث يتم اختيار الإشارات بشكل مستقل لقيم n المختلفة باحتمالات متساوية للإشارة الموجبة أو السالبة. وبالتالي (ون-1ون)=منمن-1...م3(و1و2)،{\displaystyle {f_{n-1} \choose f_{n}}=M_{n}M_{n-1}\ldots M_{3}{f_{1} \choose f_{2}},} حيث ( M k ) عبارة عن سلسلة من المصفوفات العشوائية المستقلة والمتطابقة التوزيع التي تأخذ القيم A أو B باحتمالية 1/2: أ=(0111)،ب=(01-11).{\displaystyle A={\begin{pmatrix}0&1\\1&1\end{pmatrix}},\quad B={\begin{pmatrix}0&1\\-1&1\end{pmatrix}}.}

معدل النمو

اكتشف يوهانس كيبلر أنه مع ازدياد قيمة n ، تقترب نسبة الحدود المتتالية لمتتالية فيبوناتشي ( Fn ) من النسبة الذهبية .φ=(1+5)/2،{\displaystyle \varphi =(1+{\sqrt {5}})/2,}وهو ما يقارب 1.61803. في عام 1765، نشر ليونارد أويلر صيغة صريحة، تُعرف اليوم باسم صيغة بينيه . Fن=φن-(-1/φ)ن5.{\displaystyle F_{n}={{\varphi ^{n}-(-1/\varphi )^{n}} \over {\sqrt {5}}}.}

يوضح ذلك أن أعداد فيبوناتشي تنمو بمعدل أسي يساوي النسبة الذهبية φ .

في عام 1960، أثبت هليل فورستنبرغ وهاري كيستن أن معيار حاصل ضرب المصفوفات العشوائية ينمو كـ λⁿ ، حيث n هو عدد العوامل. تنطبق نتائجهما على فئة واسعة من عمليات توليد المتتاليات العشوائية ، بما في ذلك متتالية فيبوناتشي العشوائية. ونتيجة لذلك، فإن الجذر النوني لـ | fⁿ | يتقارب إلى قيمة ثابتة تقريبًا بشكل مؤكد ، أو باحتمال واحد. |ون|ن1.1319882487943... مثل ن.{\displaystyle {\sqrt[{n}]{|f_{n}|}}\to 1.1319882487943\dots {\text{ as }}n\to \infty .}

توصل ديفاكار فيسواناث في عام 1999 إلى صيغة صريحة لهذا الثابت. وتعتمد هذه الصيغة على صيغة فورستنبرغ لحساب أس ليابونوف لضرب مصفوفة عشوائية، والتكامل على مقياس كسري معين على شجرة ستيرن-بروكوت . علاوة على ذلك، قام فيسواناث بحساب القيمة العددية المذكورة أعلاه باستخدام حسابات الفاصلة العائمة، وتم التحقق من صحتها من خلال تحليل خطأ التقريب .

تعميم

أظهر مارك إمبري ونيك تريفثين في عام 1999 أن التسلسل ون=±ون-1±βون-2{\displaystyle f_{n}=\pm f_{n-1}\pm \beta f_{n-2}}

يتناقص هذا المقدار بشكل شبه مؤكد إذا كانت قيمة β أقل من قيمة حرجة β * ≈ 0.70258 ، تُعرف بثابت إمبري-تريفثن، وينمو بشكل شبه مؤكد فيما عدا ذلك. كما أظهروا أن النسبة التقاربية σ ( β ) بين الحدود المتتالية تتقارب بشكل شبه مؤكد لكل قيمة من قيم β . ويبدو أن الرسم البياني لـ σ ( β ) له بنية كسورية ، مع قيمة دنيا عالمية قريبة من βmin 0.36747 تساوي تقريبًا σ ( βmin ) ≈ 0.89517 . [ 4 ]

مراجع

  1. فيسواناث، د. (1999). "متواليات فيبوناتشي العشوائية والعدد 1.13198824..." رياضيات الحساب . 69 (231): 1131– 1155. doi : 10.1090/S0025-5718-99-01145-X .
  2. ^ أوليفيرا، الوظيفة؛ دي فيغيريدو، LH (2002). “حساب الفاصل الزمني لثابت فيسواناث”. حوسبة موثوقة . 8 (2): 131. دوى : 10.1023/أ:1014702122205 . S2CID 29600050 . 
  3. ^ ماكوفر ، إي. ماكجوان، J. (2006). “دليل أولي على أن تسلسلات فيبوناتشي العشوائية تنمو بشكل كبير”. مجلة نظرية الأعداد . 121 : 40 – 44. أرخايف : math.NT/0510159 . دوى : 10.1016/j.jnt.2006.01.002 . S2CID 119169165 . 
  4. إمبري، متريفثين، ل. ن. (1999). "نمو وتلاشي متواليات فيبوناتشي العشوائية" (ملف PDF) . وقائع الجمعية الملكية أ: العلوم الرياضية والفيزيائية والهندسية . 455 ( 1987): 2471. رمز Bibcode : 1999RSPSA.455.2471T . doi : 10.1098/rspa.1999.0412 . S2CID 16404862. مؤرشف (ملف PDF) من الأصل بتاريخ 13 يناير 2015.