2025-11-17T17:46:13.479757

Zeros and Orthogonality of generalized Fibonacci polynomials

Coletti, Flórez, Higuita et al.
This paper analyzes the concept of orthogonality in second-order polynomial sequences that have Binet formula similar to that of the Fibonacci and Lucas numbers, referred to as Generalized Fibonacci Polynomials (GFP). We give a technique to find roots of the GFP. As a corollary of this result, we give an alternative proof of a special case of Favard's Theorem. The general case of Favard's Theorem guarantees that there is a measure to determine whether a sequence of second-order polynomials is orthogonal or not. However, the theorem does not provide an explicit such measure. Our special case gives both the explicit measure and the relationship between the second-order recurrence and orthogonality, demonstrating whether the GFP polynomials are orthogonal or not. This allows us to classify which of familiar GFPs are orthogonal and which are not. Some familiar orthogonal polynomials include the Fermat, Fermat-Lucas, both types of Chebyshev polynomials, both types of Morgan-Voyce polynomials, and Vieta and Vieta-Lucas polynomials. However, we prove that the Fibonacci, Lucas, Pell, and Pell-Lucas sequences are not orthogonal. In Section \ref{sectionrw}, we give a brief description of discrete--time and continuous--time Morkov chains with special emphasis on birth-and-death stochastic processes. We find sufficient conditions on the polynomial's coefficients under which a given family of orthogonal polynomial induces a Markov chain. These families of orthogonal polynomials include Chebyshev polynomials of first kind and Fermat-Lucas. In the final section, we highlight some connections between orthogonal polynomials and Markov processes. These relations are not new but seem to have been somewhat forgotten. We do so to draw the attention of researchers in the orthogonal polynomial and probability communities for further collaboration.
academic

الأصفار والتعامد للمتعددات الحدود فيبوناتشي المعممة

المعلومات الأساسية

  • معرّف الورقة: 2510.00074
  • العنوان: Zeros and Orthogonality of Generalized Fibonacci Polynomials
  • المؤلفون: Cristian F. Coletti, Rigoberto Flórez, Robinson A. Higuita, Sandra Z. Yepes
  • التصنيف: math.CO (الرياضيات التوافقية)
  • تاريخ النشر: 11 أكتوبر 2025 (arXiv v2)
  • رابط الورقة: https://arxiv.org/abs/2510.00074

الملخص

تحلل هذه الورقة مفهوم التعامد لتسلسلات متعددات حدود من الدرجة الثانية التي تمتلك صيغ بينيه مشابهة لأعداد فيبوناتشي ولوكاس، وتُعرّف هذه التسلسلات بمتعددات حدود فيبوناتشي المعممة (GFP). تقدم الورقة تقنيات لإيجاد جذور GFP، وكنتيجة لهذه النتائج، توفر إثباتاً بديلاً لحالة خاصة من نظرية فافار. تضمن نظرية فافار العامة وجود مقياس لتحديد ما إذا كان تسلسل متعددات حدود من الدرجة الثانية متعامداً، لكن النظرية لا توفر المقياس بشكل صريح. الحالة الخاصة في هذه الورقة توفر كلاً من المقياس الصريح والعلاقة بين علاقات التكرار من الدرجة الثانية والتعامد، مما يسمح بتحديد ما إذا كانت متعددات حدود GFP متعامدة. يمكّن هذا من تصنيف أي من متعددات حدود GFP المألوفة متعامدة وأيها ليست كذلك. تتضمن بعض متعددات الحدود المتعامدة المألوفة فيرما وفيرما-لوكاس وفئتي متعددات حدود تشيبيشيف وفئتي متعددات حدود مورجان-فويس بالإضافة إلى فييتا وفييتا-لوكاس. ومع ذلك، تثبت الورقة أن تسلسلات فيبوناتشي ولوكاس وبيل وبيل-لوكاس ليست متعامدة.

الخلفية البحثية والدافع

خلفية المشكلة

  1. المشكلة الأساسية: تحديد أي من متعددات حدود فيبوناتشي المعممة (GFP) تمتلك خاصية التعامد، وتحت أي الشروط تكون متعامدة أو غير متعامدة.
  2. الأهمية:
    • متعددات الحدود المتعامدة لها تطبيقات مهمة في التحليل الرياضي والحساب العددي ونظرية الاحتمالات والعمليات العشوائية
    • متعددات حدود من نوع فيبوناتشي تظهر على نطاق واسع في الرياضيات التوافقية ونظرية الأعداد
    • ربط نظرية متعددات الحدود المتعامدة بالتسلسلات التكرارية الكلاسيكية
  3. قيود الطرق الموجودة:
    • الحالة العامة لنظرية فافار، رغم أنها تضمن وجود مقياس التعامد، لا توفر شكلاً صريحاً
    • نقص الطرق المنهجية لتحديد التعامد لعائلات GFP محددة
    • البحث في جذور GFP غير كافٍ
  4. الدافع البحثي:
    • توفير مقاييس تعامد صريحة
    • إنشاء ارتباط واضح بين علاقات التكرار من الدرجة الثانية والتعامد
    • تصنيف الخصائص المتعامدة لمتعددات حدود GFP الشائعة
    • استكشاف الارتباط بين متعددات الحدود المتعامدة وعمليات ماركوف

المساهمات الأساسية

  1. تقديم تقنيات منهجية لإيجاد جذور GFP: من خلال تحديد جذور متعددات حدود فيبوناتشي ولوكاس الكلاسيكية لتحديد جذور GFP العامة
  2. إثبات بديل لحالة خاصة من نظرية فافار: توفير مقاييس تعامد صريحة وشروط تمييز
  3. تصنيف كامل للتعامد في متعددات حدود GFP الشائعة: التمييز الواضح بين أي من 13 متعددة حدود شائعة من بينها 8 متعامدة و5 غير متعامدة
  4. إنشاء ارتباط بين GFP المتعامدة وسلاسل ماركوف: تحديد الشروط الكافية لأن تحفز متعددات الحدود المتعامدة مسارات عشوائية
  5. توفير بناء دوال وزن محددة: إعطاء دوال وزن صريحة لـ GFP المتعامدة

شرح التقنيات

تعريف المهمة

الإدخال: تسلسل متعددات حدود فيبوناتشي معممة معرّفة بعلاقة تكرار

  • نوع فيبوناتشي: F0(x)=0,F1(x)=1,Fn(x)=d(x)Fn1(x)+g(x)Fn2(x)F_0(x) = 0, F_1(x) = 1, F_n(x) = d(x)F_{n-1}(x) + g(x)F_{n-2}(x)
  • نوع لوكاس: L0(x)=p0,L1(x)=p1(x),Ln(x)=d(x)Ln1(x)+g(x)Ln2(x)L_0(x) = p_0, L_1(x) = p_1(x), L_n(x) = d(x)L_{n-1}(x) + g(x)L_{n-2}(x)

الإخراج: تحديد ما إذا كان التسلسل متعامداً، وإذا كان كذلك، إعطاء دالة الوزن

القيود: d(x),g(x)Q[x]d(x), g(x) \in \mathbb{Q}[x]، وdeg(d(x))>deg(g(x))\deg(d(x)) > \deg(g(x))، d2(x)+4g(x)0d^2(x) + 4g(x) \neq 0

الإطار النظري الأساسي

1. تمثيل صيغة بينيه

لـ n0n \geq 0 و d2(x)+4g(x)0d^2(x) + 4g(x) \neq 0، صيغة بينيه هي: Fn(x)=an(x)bn(x)a(x)b(x),Ln(x)=an(x)+bn(x)αF_n(x) = \frac{a^n(x) - b^n(x)}{a(x) - b(x)}, \quad L_n(x) = \frac{a^n(x) + b^n(x)}{\alpha}

حيث: a(x)=d(x)+d2(x)+4g(x)2,b(x)=d(x)d2(x)+4g(x)2a(x) = \frac{d(x) + \sqrt{d^2(x) + 4g(x)}}{2}, \quad b(x) = \frac{d(x) - \sqrt{d^2(x) + 4g(x)}}{2}

2. طريقة تحديد الجذور

النظرية 4.3: لتكن Fn(x)F_n(x) متعددة حدود فيبوناتشي معممة كما هو معرّف في (2.1). إذا كانت rCr \in \mathbb{C} تحقق d(r)g(r)=γj\frac{d(r)}{\sqrt{g(r)}} = \gamma_j، حيث γj=2icosjπn\gamma_j = 2i\cos\frac{j\pi}{n} (j=1,2,,n1j = 1,2,\ldots,n-1) و g(r)0g(r) \neq 0، فإن rr جذر لـ Fn(x)F_n(x).

النظرية 4.4: بالمثل، لمتعددات حدود GFP من نوع لوكاس، إذا كانت d(t)g(t)=τj\frac{d(t)}{\sqrt{g(t)}} = \tau_j، حيث τj=2icos(2j+1)π2n\tau_j = 2i\cos\frac{(2j+1)\pi}{2n}، فإن tt جذر لـ Ln(x)L_n(x).

3. شروط تمييز التعامد

القضية 3.6: لتكن g(x)=4kg(x) = -4k (kR<0k \in \mathbb{R}_{<0})، و d(x)d(x) كما هو معرّف في (2.1) و (2.2). إذا كانت هناك ثوابت s1,s2s_1, s_2 بحيث d(s1)=4kd(s_1) = -\sqrt{-4k}، d(s2)=4kd(s_2) = \sqrt{-4k}، وكان لكل xx في الفترة [s1,s2][s_1, s_2] أن 4k+d2(x)04k + d^2(x) \leq 0، فإنه لـ nmn \neq m:

s1s2Fn(x)Fm(x)4kd2(x)d(x)dx=0\int_{s_1}^{s_2} F_n(x)F_m(x)\sqrt{-4k - d^2(x)}d'(x)dx = 0

نقاط الابتكار التقني

  1. طريقة موحدة لحل الجذور: اختزال مشكلة جذور GFP العامة إلى مشكلة جذور متعددات حدود فيبوناتشي/لوكاس الكلاسيكية
  2. بناء دوال وزن صريحة: إعطاء دوال وزن تعامد محددة لأشكال معينة من d(x)d(x) و g(x)g(x)
  3. إطار تصنيف منهجي: الحكم على التعامد بناءً على خصائص d(x)d(x) و g(x)g(x)

إعداد التجارب

موضوعات البحث

درست الورقة 13 نوعاً من متعددات حدود GFP الشائعة، بما في ذلك:

  • غير متعامدة: فيبوناتشي، لوكاس، بيل، بيل-لوكاس، جاكوبستال
  • متعامدة: فيرما، فيرما-لوكاس، تشيبيشيف (فئتان)، مورجان-فويس (فئتان)، فييتا، فييتا-لوكاس

طرق التحليل

  1. التحليل النظري: استخدام نظرية فافار ونظرية متعددات الحدود المتعامدة
  2. حساب الجذور: بناءً على النتائج المعروفة لجذور متعددات الحدود الكلاسيكية
  3. التحقق من دوال الوزن: التحقق من العلاقات المتعامدة من خلال حساب التكامل

معايير التحقق

استخدام التعريف المعياري للتعامد: fi(x),fj(x)=Rfi(x)fj(x)dμ(x)=δ(i,j)\langle f_i(x), f_j(x) \rangle = \int_{\mathbb{R}} f_i(x)f_j(x)d\mu(x) = \delta(i,j)

نتائج التجارب

النتائج الرئيسية

1. تصنيف التعامد

متعددات حدود GFP المتعامدة (8 أنواع):

  • فيرما: Φn(x)=3xΦn1(x)2Φn2(x)\Phi_n(x) = 3x\Phi_{n-1}(x) - 2\Phi_{n-2}(x)
  • فيرما-لوكاس: ϑn(x)=3xϑn1(x)2ϑn2(x)\vartheta_n(x) = 3x\vartheta_{n-1}(x) - 2\vartheta_{n-2}(x)
  • تشيبيشيف من النوع الثاني: Un(x)=2xUn1(x)Un2(x)U_n(x) = 2xU_{n-1}(x) - U_{n-2}(x)
  • تشيبيشيف من النوع الأول: Tn(x)=2xTn1(x)Tn2(x)T_n(x) = 2xT_{n-1}(x) - T_{n-2}(x)
  • فئتا مورجان-فويس
  • فييتا وفييتا-لوكاس

متعددات حدود GFP غير المتعامدة (5 أنواع):

  • فيبوناتشي، لوكاس، بيل، بيل-لوكاس، جاكوبستال

2. نتائج دوال الوزن

النتيجة 3.7: لـ d(x)=cxt+hd(x) = cx^t + h، g(x)=k/4g(x) = -k/4 (حيث c,h,k,tZc,h,k,t \in \mathbb{Z}، c0c \neq 0، k,t>0k,t > 0، tt فردي)، دالة الوزن هي: ω(x)=kd2(x)xt1\omega(x) = \sqrt{k - d^2(x)}x^{t-1}

3. الارتباط بسلاسل ماركوف

القضية 5.2: تحت شروط معينة، تحدد متعددات حدود GFP من نوع لوكاس مسار عشوائي بمصفوفة انتقال:

\frac{-h}{c} & \frac{2}{c} & 0 & \cdots \\ \frac{c-1+h}{c} & \frac{-h}{c} & \frac{1}{c} & \cdots \\ 0 & \frac{c-1+h}{c} & \frac{-h}{c} & \cdots \\ \vdots & \vdots & \vdots & \ddots \end{pmatrix}$$ ### الاكتشافات المهمة 1. **خصائص الزوجية**: عندما تكون $d(x)$ دالة فردية و $g(x)$ دالة زوجية، تكون متعددات الحدود ذات مؤشرات الزوجية المختلفة متعامدة 2. **تعقيد الجذور**: بالنسبة لـ $d(x) = ax + b$ و $g(x)$ ثابت موجب، جميع الجذور معقدة، مما يؤدي إلى عدم التعامد 3. **تفرد دالة الوزن**: بالنسبة للحالة الخطية ($t=1$)، دالة الوزن فريدة ## الأعمال ذات الصلة ### الاتجاهات البحثية الرئيسية 1. **نظرية متعددات الحدود المتعامدة الكلاسيكية**: البحث في متعددات حدود تشيبيشيف وجاكوبي وغيرها 2. **متعددات حدود فيبوناتشي**: بحث هوجات وبيكنيل عن جذور متعددات حدود فيبوناتشي الكلاسيكية 3. **تسلسلات فيبوناتشي المعممة**: التعميم ثنائي المعاملات لأندريه-جينين 4. **متعددات الحدود المتعامدة والاحتمالات**: تمثيل كارلين-ماكجريجور ونظرية المسارات العشوائية ### مزايا هذه الورقة 1. **المنهجية**: أول دراسة منهجية لتعامد GFP 2. **النتائج الصريحة**: توفير دوال وزن محددة بدلاً من إثباتات الوجود 3. **الإطار الموحد**: دمج عدة نتائج كلاسيكية في إطار نظري موحد 4. **الاتصال بين المجالات**: إنشاء ارتباط مع عمليات ماركوف ## الخلاصة والمناقشة ### الاستنتاجات الرئيسية 1. **التصنيف الكامل**: نجح في تصنيف التعامد لـ 13 نوعاً من متعددات حدود GFP الشائعة 2. **معايير التمييز**: إنشاء طريقة تمييز التعامد بناءً على معاملات التكرار 3. **البناء الصريح**: إعطاء دوال وزن محددة لـ GFP المتعامدة 4. **الارتباط الاحتمالي**: تحديد الشروط التي تحفز متعددات الحدود المتعامدة سلاسل ماركوف ### القيود 1. **نطاق التطبيق**: يركز بشكل أساسي على أشكال محددة من $d(x)$ و $g(x)$ 2. **العمومية**: قد لا تنطبق الاستنتاجات على معاملات متعددات حدود أكثر عمومية 3. **التعقيد الحسابي**: قد يكون حساب الجذور معقداً لمتعددات حدود عالية الدرجة ### الاتجاهات المستقبلية 1. **التوسع إلى معاملات أكثر عمومية**: دراسة $d(x)$ و $g(x)$ من درجات عشوائية 2. **التعميم متعدد المتغيرات**: النظر في متعددات حدود فيبوناتشي المعممة متعددة المتغيرات 3. **البحث التطبيقي**: استكشاف التطبيقات المحددة في التحليل العددي ونظرية الاحتمالات 4. **الخوارزميات الحسابية**: تطوير خوارزميات فعالة لتمييز التعامد ## التقييم المتعمق ### المزايا 1. **مساهمة نظرية كبيرة**: أول حل منهجي لمشكلة تعامد GFP، يملأ فجوة نظرية 2. **ابتكار الطريقة**: طريقة حل جذور GFP العامة من خلال جذور متعددات الحدود الكلاسيكية لها قابلية عامة 3. **اكتمال النتائج**: لا توفير فقط شروط التمييز بل أيضاً بناء دوال وزن محددة 4. **القيمة بين المجالات**: إنشاء جسر بين متعددات الحدود المتعامدة وعمليات ماركوف 5. **الوضوح في الكتابة**: هيكل الورقة واضح والاشتقاقات الرياضية صارمة ### أوجه القصور 1. **القيود التقنية**: النتائج الرئيسية محصورة في أشكال محددة من معاملات التكرار 2. **الكفاءة العملية**: نقاش غير كافٍ حول كفاءة الحساب للتطبيقات العملية 3. **التحقق العددي**: نقص التجارب العددية واسعة النطاق 4. **التحليل المقارن**: المقارنة مع عائلات متعددات حدود متعامدة أخرى غير عميقة بما يكفي ### التأثير 1. **القيمة الأكاديمية**: توفير اتجاه بحثي جديد لنظرية متعددات الحدود المتعامدة 2. **القيمة العملية**: تطبيقات محتملة في التحليل العددي ونظرية الاحتمالات والرياضيات التوافقية 3. **قابلية التكرار**: النتائج النظرية واضحة وسهلة التحقق والتوسع 4. **الإلهام**: توفير أفكار وطرق جديدة لأبحاث المجالات ذات الصلة ### السيناريوهات المناسبة 1. **الحساب العددي**: التكامل العددي والتقريب الذي يتطلب متعددات حدود متعامدة محددة 2. **النمذجة الاحتمالية**: تحليل سلاسل ماركوف والمسارات العشوائية 3. **الرياضيات التوافقية**: دراسة التسلسلات التكرارية والدوال المولدة 4. **البحث النظري**: التطور الإضافي لنظرية متعددات الحدود المتعامدة ## المراجع تستشهد الورقة بـ 26 مرجعاً مهماً يغطي نظرية متعددات الحدود المتعامدة ومتعددات حدود فيبوناتشي وعمليات ماركوف وغيرها، مما يعكس الطبيعة متعددة التخصصات للبحث والأساس النظري الراسخ.