Convergence criteria for Frullani-type integrals involving differences of cosines

ملخص تقني: معايير التقارب لتكاملات فرولاني التي تتضمن فروق جيب التمام

بيان المشكلة
تبحث هذه الورقة في عائلة التكاملات المعتلة المعرفة بـ:
$$I_{p,q}(\alpha, \beta) := \int_0^\infty \frac{(\cos \alpha x - \cos \beta x)^p}{x^q} \, dx$$
حيث $p, q \in \mathbb{N}$ و $\alpha, \beta \in \mathbb{R}$ مع $|\alpha| \neq |\beta|$. وبينما يُعد تكامل فرولاني الكلاسيكي ($p=1, q=1$) مفهوماً جيداً، وحالات محددة (مثل $p \ge q$ مع $q$ زوجي) قد تم تحليلها مسبقاً بواسطة لاوهارينو وبونكليرب (2022)، فإن سلوك التقارب العام والتقييم الصريح لجميع نطاقات المعلمات ظل غير مصنف. يفرض التكامل تحديات مزدوجة: وجود تفرد محتمل عند $x=0$ والحد العلوي اللانهائي، وهو أمر يزداد تعقيداً بسبب الطبيعة التذبذبية لطلبات جيب التمام المرفوعة لقوى اختيارية.

المنهجية
يستخدم المؤلفون مزيجاً من التحليل التقاربي، والتوسعات المثلثية للقوى، وتقنيات الجمع لمعالجة هذه المشكلة:

1. التوسع المثلثي: يتضمن جوهر التحليل توسيع $(\cos \alpha x - \cos \beta x)^p$ إلى مزيج خطي من حدود جيب التمام غير المرفوعة بقوى (أو الجيب لحالة فرق الجيب):
   • يستخدم أحد التوسعات (التمهيدية 3.6) لتحسين تحديد التقارب عبر تحديد الحدود الثابتة وإلغاء الترددات.
   • يستخدم توسع ثانٍ (التمهيدية 4.1) للتقييم الصريح، باستخدام المعاملات الثنائية (binomial coefficients) والمؤشرات التوليفية المحددة.
2. تحليل التفرد:
   • بالنسبة لـ $x \to 0$، تُستخدم توسعات تايلور لتحديد رتبة الصفر في البسط. وهذا يثبت أن التكامل يتصرف مثل $x^{2p-q}$ بالقرب من الأصل.
   • بالنسبة لـ $x \to \infty$، يحلل المؤلفون معدل الاضمحلال بالنسبة لـ $x^{-q}$ وخصائص الإلغاء التذبذبي.
3. جمع أبيل (Abel's Summation): لتقييم التكاملات، يطبق المؤلفون صيغة جمع أبيل على سلسلة حدود جيب التمام. تحول هذه التقنية تكامل مجموع جيب التمام إلى مجموع من الحدود اللوغاريتمية (لحالة $q=1$) أو تستخدم القيم المعروفة لـ $\int_0^\infty \frac{\sin kx}{x} dx$ (لحالة $q$ الزوجية).
4. الهويات التوليفية: في الحالة الخاصة حيث $\alpha = 0$، يتم تحليل معاملات التوسع لتشتق هويات توليفية جديدة تتضمن المعاملات الثنائية ومحددات تشبه محددات فاندرموند (Vandermonde-like determinants).

المساهمات والنتائج الرئيسية

1. التصنيف الكامل للتقارب
تقدم الورقة تصنيفاً دقيقاً للتقارب بناءً على فردية $p$ والعلاقة بين $p$ و $q$:

• الحالة $q = 1$:
  • إذا كان $p$ زوجياً، فإن التكامل يتباعد لجميع قيم $|\alpha| \neq |\beta|$. وقد أُثبت ذلك من خلال إظهار أن التوسع يحتوي على حد ثابت غير صفري، مما يؤدي إلى تباعد لوغاريتمي.
  • إذا كان $p$ فردياً، فإن التكامل يتباعد إذا وفقط إذا كانت النسبة $|\alpha/\beta|$ (أو مقلوبها) تنتمي إلى مجموعة محددة $F_p$. وقد تم بناء المجموعة $F_p$ من الأعداد النسبية المستمدة من مؤشرات التوسع المثلثي حيث ينتج عن إلغاء التردد حد ثابت. وإذا لم تكن النسبة في $F_p$، فإن التكامل يتقارب.
• الحالة $q \ge 2$:
  • التكامل يتباعد إذا كان $q \ge 2p + 1$. حيث يكون التفرد عند $x=0$ قوياً جداً بحيث لا يستطيع البسط تعويضه.
  • التكامل يتقارب إذا كان $2 \le q \le 2p$. في هذا النطاق، يكون السلوك عند $x=0$ قابلاً للتكامل، والاضمحلال عند اللانهاية كافياً.

2. التقييمات الصريحة ذات الصيغة المغلقة
لكل الحالات المتقاربة، يشتق المؤلفون صيغاً صريحة:

• لحالة $q=1$ (عندما يكون $p$ فردياً): يتم التعبير عن القيمة كمجموع محدود من الحدود اللوغاريتمية التي تتضمن ترددات مكونات التوسع، موزونة بمجموع جزئي لمعاملات التوسع.
• لحالة $q \ge 2$:
  • إذا كان $q$ زوجياً، فإن القيمة هي مجموع محدود يتضمن قوى الترددات والمعاملات الثنائية، مضروباً في $\pi$.
  • إذا كان $q$ فردياً، فإن القيمة هي مجموع محدود من الحدود اللوغاريتمية، على غرار حالة $q=1$ ولكن تم اشتقاقها عبر تفاضل التكامل.

3. الحالة الخاصة $\alpha = 0$ والهويات التوليفية
عندما تكون $\alpha = 0$، يتبسط التكامل ليشمل $(1 - \cos \beta x)^p$. ويستنتج المؤلفون أشكالاً صريحة لمعاملات توسع جيب التمام. ومن خلال مساواة هذه المعاملات بتلك المستمدة من صيغة نصف الزاوية وهوية أويلر، تستنتج الورقة هويات توليفية جديدة تربط مجموع المعاملات الثنائية بأعداد نسبية محددة.

4. التوسع إلى فروق الجيب
تُوسع المنهجية لتشمل العائلة المماثلة $K_{p,q}(\alpha, \beta)$ التي تتضمن $(\sin \alpha x - \sin \beta x)^p$.

• لحالة $q=1$، يحدث التقارب إذا وفقط إذا كان $p$ فردياً.
• لحالة $q \ge 2$، يحدث التقارب إذا وفقط إذا كان $q \le p$.
  وتشير الورقة إلى أن معايير التقارب لفروق الجيب تختلف قليلاً عن فروق جيب التمام، لا سيما فيما يتعلق بفردية $p$.

الأهمية والادعاءات
يذكر المؤلفون أن هذا العمل يوفر أول تحليل منهجي لعائلة $I_{p,q}(\alpha, \beta)$ العامة، مما يسد فجوة في الأدبيات حيث لم تكن هذه التكاملات مسجلة سابقاً في المراجع الكبرى. وتدعي الورقة أنها:

• وضعت تصنيفاً كاملاً لمعلمات التقارب، مما حل المسائل التي تركتها الدراسات السابقة مفتوحة (تحديداً حالات $p$ الفردية لـ $q=1$ وحالات $q \ge 2$ العامة).
• اشتققت تقييمات صريحة ذات صيغة مغلقة لجميع السيناريوهات المتقاربة، مما يوسع عمل لاوهارينو وبونكليرب (2022).
• كشفت عن صلة طبيعية بين هذه التكاملات التحليلية والهويات التوليفية، لا سيما في حالة $\alpha=0$.
• أظهرت أن سلوك التقارب حساس للغاية لفردية $p$ وللعلاقات النسبية المحددة بين $\alpha$ و $\beta$ في حالة $q=1$.

تختتم الورقة بالإشارة إلى أنه بينما لا توجد علاقة مباشرة بين عائلتي جيب التمام والجيب بسبب اختلاف معايير التقارب، فإن المنهجية الموحدة تقدم إطاراً للتحقيقات المستقبلية في المنتجات المختلطة لفروق الجيب وجيب التمام.