2025-11-23T08:31:17.127218

Continued fractions and irrationality exponents for modified Engel and Pierce series

Hone, Varona
An Engel series is a sum of reciprocals of a non-decreasing sequence $(x_n)$ of positive integers, which is such that each term is divisible by the previous one, and a Pierce series is an alternating sum of the reciprocals of a sequence with the same property. Given an arbitrary rational number, we show that there is a family of Engel series which when added to it produces a transcendental number $α$ whose continued fraction expansion is determined explicitly by the corresponding sequence $(x_n)$, where the latter is generated by a certain nonlinear recurrence of second order. We also present an analogous result for a rational number with a Pierce series added to or subtracted from it. In both situations (a rational number combined with either an Engel or a Pierce series), the irrationality exponent is bounded below by $(3+\sqrt{5})/2$, and we further identify infinite families of transcendental numbers $α$ whose irrationality exponent can be computed precisely. In addition, we construct the continued fraction expansion for an arbitrary rational number added to an Engel series with the stronger property that $x_j^2$ divides $x_{j+1}$ for all $j$.
academic

الكسور المستمرة وأسس اللاعقلانية لسلاسل Engel و Pierce المعدلة

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

  • معرّف الورقة: 1810.10127
  • العنوان: الكسور المستمرة وأسس اللاعقلانية لسلاسل Engel و Pierce المعدلة
  • المؤلفون: Andrew N. W. Hone (جامعة كنت)، Juan Luis Varona (جامعة لا ريوخا)
  • التصنيف: math.NT (نظرية الأعداد)
  • تاريخ النشر: 23 أكتوبر 2018
  • رابط الورقة: https://arxiv.org/abs/1810.10127

الملخص

تدرس هذه الورقة التوسعات في الكسور المستمرة وأسس اللاعقلانية لسلاسل Engel و Pierce المعدلة. سلسلة Engel هي مجموع المقلوبات لتسلسل غير متناقص من الأعداد الصحيحة الموجبة (xn)(x_n)، حيث يقسم كل حد الحد السابق؛ وسلسلة Pierce هي سلسلة متناوبة من مقلوبات تسلسل بنفس الخاصية. يثبت المؤلفون أنه لأي عدد نسبي، يوجد فئة من سلاسل Engel التي عند إضافتها إلى ذلك العدد النسبي تنتج عدداً متسامياً α\alpha يمكن تحديد توسعه في الكسور المستمرة بشكل صريح من خلال التسلسل المقابل (xn)(x_n)، والذي يتم توليده بواسطة علاقة تكرارية غير خطية من الدرجة الثانية. تقدم الورقة أيضاً نتائج مماثلة لإضافة أو طرح سلسلة Pierce من عدد نسبي، وتثبت أن أس اللاعقلانية له حد أدنى قدره (3+5)/2(3+\sqrt{5})/2 في كلا الحالتين، وتحدد عائلة لا نهائية من الأعداد المتسامية التي يمكن حساب أس اللاعقلانية لها بدقة.

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

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

  1. سلاسل Engel و Pierce: هاتان الفئتان من السلاسل هما تعميمات مهمة للكسور المستمرة، وتتمتعان بخصائص تكرارية وقياسية مماثلة
  2. بناء الأعداد المتسامية: البحث عن أعداد متسامية ذات توسعات صريحة في الكسور المستمرة هو مشكلة مهمة في نظرية الأعداد
  3. نظرية أس اللاعقلانية: يقيس أس اللاعقلانية μ(α)\mu(\alpha) مدى سهولة أو صعوبة تقريب العدد الحقيقي α\alpha بأعداد نسبية، وتشير نظرية Roth إلى أن أس اللاعقلانية للأعداد الجبرية غير النسبية يساوي 2

الدافع البحثي

  1. توسيع النتائج السابقة: بناءً على الأعمال السابقة للمؤلفين، توسيع سلاسل Engel/Pierce البسيطة إلى مجموعات من الأعداد النسبية وهذه السلاسل
  2. الحساب الدقيق: ليس فقط تقديم حدود دنيا لأس اللاعقلانية، بل إيجاد عائلات لا نهائية يمكن حساب أس اللاعقلانية لها بدقة
  3. إطار موحد: توفير إطار نظري موحد لسلاسل Engel و Pierce المعدلة

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

  1. توسيع نظرية بناء الكسور المستمرة: دمج أي عدد نسبي p/qp/q مع سلسلة Engel أو Pierce، مع تقديم توسعات صريحة في الكسور المستمرة
  2. تحسين الحد الأدنى لأس اللاعقلانية: إثبات أن أس اللاعقلانية μ(α)≥(3+5)/2≈2.618\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618 لجميع هذه الأعداد المتسامية
  3. الحساب الدقيق لأس اللاعقلانية: تحديد عائلات لا نهائية من الأعداد المتسامية يمكن حساب أس اللاعقلانية لها بدقة
  4. بناء سلاسل بخصائص قسمة قوية: لسلاسل Engel التي تحقق الشرط الأقوى xj2∣xj+1x_j^2|x_{j+1}، تقديم بناء كامل للكسور المستمرة

شرح الطريقة

تعريف المهمة

دراسة توسعات الكسور المستمرة وأسس اللاعقلانية للأعداد المتسامية من الشكل:

  • سلسلة Engel المعدلة: α=pq+∑j=2∞1xj\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j}
  • سلسلة Pierce المعدلة: α=pq±∑j=2∞(−1)jxj\alpha = \frac{p}{q} \pm \sum_{j=2}^{\infty} \frac{(-1)^j}{x_j}

حيث يحقق التسلسل (xn)(x_n) الشرط xj∣xj+1x_j|x_{j+1} ويتم توليده بواسطة علاقة تكرارية غير خطية.

العلاقة التكرارية الأساسية

يتم تعريف التسلسلات (xn)(x_n) و (yn)(y_n) من خلال العلاقة: yj=yj−1(1+ujxj),xj+1=xjyj,j≥1y_j = y_{j-1}(1 + u_j x_j), \quad x_{j+1} = x_j y_j, \quad j \geq 1

حيث x1=qx_1 = q، و (un)(u_n) هو تسلسل من الأعداد الصحيحة الموجبة. هذا يؤدي إلى أن xnx_n يحقق تكراراً غير خطياً من الدرجة الثانية: xn+1xn−1=xn2(1+unxn),n≥2x_{n+1}x_{n-1} = x_n^2(1 + u_n x_n), \quad n \geq 2

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

النظرية 2.1 (سلسلة Engel المعدلة): بالنسبة لـ α=pq+∑j=2∞1xj\alpha = \frac{p}{q} + \sum_{j=2}^{\infty} \frac{1}{x_j} بأخذ y0=mq+q2k−1+1y_0 = mq + q_{2k-1} + 1، فإن توسع α\alpha في الكسور المستمرة هو:

  • الحدود الأولى 2k+12k+1 متطابقة مع p/qp/q
  • a2k+1=m+u1y0a_{2k+1} = m + u_1 y_0
  • a2k+2j=xja_{2k+2j} = x_j, a2k+2j+1=uj+1yja_{2k+2j+1} = u_{j+1}y_j لـ j≥1j \geq 1

النظرية 2.2 و 2.4 (سلسلة Pierce المعدلة): تقدم صيغ مماثلة لتوسع سلسلة Pierce في الكسور المستمرة، لكن البنية أكثر تعقيداً، وتتضمن نمطاً دورياً من 3 فترات.

تحليل أس اللاعقلانية

اللمة 3.1: معدل نمو التسلسل يحقق xn+1>xnμ∗−ϵ,μ∗=3+52x_{n+1} > x_n^{\mu^*-\epsilon}, \quad \mu^* = \frac{3+\sqrt{5}}{2}

يتم إثبات هذا بالاستقراء الرياضي، باستخدام العلاقة التكرارية ρk+1=3−ρk−1\rho_{k+1} = 3 - \rho_k^{-1}، حيث ρk\rho_k هو مؤشر النمو.

النظرية 3.3: عندما تكون unu_n متعددة حدود في xnx_n، يمكن حساب أس اللاعقلانية بدقة: μ(α)=λ=d+2+d(d+4)2\mu(\alpha) = \lambda = \frac{d+2+\sqrt{d(d+4)}}{2} حيث dd هي درجة متعددة الحدود.

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

التحقق النظري

هذه الورقة هي في الأساس عمل نظري، يتم التحقق من النتائج من خلال إثباتات رياضية صارمة. تتضمن طرق التحقق الرئيسية:

  1. إثبات الاستقراء: إثبات أن المجاميع الجزئية تساوي تقاربات معينة
  2. التحليل التقاربي: تحليل السلوك النمائي للتسلسلات
  3. الطريقة المصفوفية: استخدام التمثيل المصفوفي للكسور المستمرة

أمثلة محددة

المثال 4.4: بالنسبة لـ q=5q = 5، zj=(j+1)2+1z_j = (j+1)^2 + 1، تم بناء توسعات في الكسور المستمرة لأربع قيم مختلفة من pp، مما يوضح التطبيق العملي للطريقة.

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

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

  1. الحد الأدنى لأس اللاعقلانية: أس اللاعقلانية لجميع سلاسل Engel/Pierce المعدلة هو μ(α)≥(3+5)/2≈2.618\mu(\alpha) \geq (3+\sqrt{5})/2 \approx 2.618، وهو تحسن ملحوظ على الحد الأدنى السابق 5/2=2.55/2 = 2.5
  2. الحساب الدقيق: بالنسبة لأشكال معينة من التسلسل (un)(u_n)، يمكن حساب أس اللاعقلانية بدقة ليكون λ=d+2+d(d+4)2\lambda = \frac{d+2+\sqrt{d(d+4)}}{2}
  3. بناء عائلات لا نهائية: تثبت النظرية 3.4 أنه لأي ν≥(3+5)/2\nu \geq (3+\sqrt{5})/2، توجد أعداد متسامية لا نهائية بأس لاعقلانية يساوي بالضبط ν\nu

الاكتشافات النظرية

  1. أنماط النمو: معدل نمو التسلسل (xn)(x_n) يتم تحديده بواسطة تقسيم أعداد Fibonacci
  2. بنية الكسور المستمرة: توسع سلسلة Pierce المعدلة في الكسور المستمرة يعرض نمطاً دورياً من 3 فترات
  3. البناء التكراري: الكسور المستمرة تحت شروط القسمة القوية لها بنية تكرارية بأطوال تقريباً مضاعفة

الأعمال ذات الصلة

الخلفية التاريخية

  1. النظرية الكلاسيكية: توسعات Engel و Pierce هي تعميمات مهمة للكسور المستمرة
  2. الخصائص القياسية: هذه التوسعات مماثلة للكسور المستمرة من حيث النظرية القياسية
  3. البحث في التسامي: السلاسل الناتجة عن تسلسلات سريعة النمو عادة ما تكون متسامية

الأعمال السابقة

  1. Hone (2015، 2016، 2017): بناء النظرية الأساسية لسلاسل Engel في الكسور المستمرة
  2. Varona (2017): التوسع إلى سلاسل Pierce
  3. أعمال Shallit وآخرين: دراسة أشكال خاصة من سلاسل Engel

الابتكار في هذه الورقة

  1. التعميم: التوسع من السلاسل البحتة إلى العدد النسبي + السلسلة
  2. البارامترية: إدخال المعامل mm لزيادة مرونة البناء
  3. الحساب الدقيق: ليس فقط تقديم حدود دنيا، بل حساب أس اللاعقلانية بدقة

الخلاصة والمناقشة

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

  1. الأعداد المتسامية الناتجة عن سلاسل Engel/Pierce المعدلة لها توسعات صريحة في الكسور المستمرة
  2. أس اللاعقلانية لهذه الأعداد لا يقل عن (3+5)/2(3+\sqrt{5})/2، ويمكن حسابه بدقة
  3. توجد عائلات لا نهائية من الأعداد المتسامية بأسس لاعقلانية كبيرة بشكل تعسفي

القيود

  1. الأشكال الخاصة: تنطبق الطريقة فقط على التسلسلات التي يتم توليدها بواسطة علاقات تكرارية معينة
  2. التعقيد الحسابي: قد يكون حساب توسع الكسور المستمرة معقداً جداً
  3. نطاق التطبيق: النتائج نظرية في الأساس، والتطبيقات العملية محدودة

الاتجاهات المستقبلية

  1. التعميم على سلاسل أخرى: دراسة أشكال أكثر عمومية من السلاسل
  2. الطرق الحسابية: تطوير خوارزميات فعالة لحساب الكسور المستمرة
  3. استكشاف التطبيقات: البحث عن تطبيقات في التقريب الديوفانتي

التقييم المتعمق

المميزات

  1. العمق النظري: يجمع بين نظرية الكسور المستمرة والعلاقات التكرارية ونظرية الأعداد المتسامية
  2. اكتمال النتائج: لا يقدم فقط نتائج الوجود، بل يوفر إثباتات بناءة
  3. الابتكار التقني: تحسين تقنيات تقدير أس اللاعقلانية
  4. الإطار الموحد: معالجة موحدة لسلاسل Engel و Pierce

أوجه القصور

  1. تعقيد الإثبات: بعض خطوات الإثبات تقنية جداً، مما يؤثر على سهولة القراءة
  2. أمثلة محدودة: الأمثلة الرقمية المحددة نسبياً قليلة
  3. السياق التطبيقي: قوية من حيث النظرية، لكن القيمة التطبيقية العملية محدودة

التأثير

  1. المساهمة الأكاديمية: توفير طريقة جديدة لبناء الأعداد المتسامية في مجال نظرية الأعداد
  2. القيمة النظرية: تحسين النتائج المهمة في نظرية أس اللاعقلانية
  3. القابلية للتوسع: توفير إطار وأدوات للبحث اللاحق

السيناريوهات المناسبة

  1. البحث في نظرية الأعداد: نظرية الأعداد المتسامية والتقريب الديوفانتي
  2. نظرية الكسور المستمرة: دراسة بناء وخصائص الكسور المستمرة الخاصة
  3. التسلسلات التكرارية: تطبيقات العلاقات التكرارية غير الخطية

المراجع

تستشهد الورقة بـ 17 مرجعاً مهماً، تغطي النظرية الكلاسيكية والأحدث في نظرية الكسور المستمرة وسلاسل Engel/Pierce ونظرية الأعداد المتسامية ونظرية أس اللاعقلانية، مما توفر للقارئ خلفية نظرية شاملة.

التقييم العام: هذه ورقة عالية الجودة في نظرية الأعداد، حققت تقدماً مهماً في نظرية الكسور المستمرة لسلاسل Engel و Pierce المعدلة. على الرغم من أنها قوية من حيث النظرية، فإنها توفر أدوات ورؤى قيمة للبحث في المجالات ذات الصلة.