2025-11-14T22:46:11.583626

Asymptotic behavior of zeros of Bessel function derivatives

Baricz, Kumar, Ponnusamy
We derive two distinct asymptotic expansions for the zeros $j_{ν,k}^{(n)}$ of the $n$-th derivative of Bessel function $J_ν^{(n)}(x)$. The first is a McMahon-type expansion for the case when $k \to \infty$ with fixed $ν$, for which we also establish an explicit error bound. The second addresses the case when $ν\to \infty$ with fixed $k$ and it involves the zeros of Airy functions and their derivatives. These results extend and refine the classical work of Wong, Lang, and Olver on the zeros of Bessel functions. In the course of obtaining our main results, we also generalize several auxiliary results, which in turn provide a broader framework for the study of zeros of special functions.
academic

السلوك التقاربي لأصفار مشتقات دوال بيسل

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

  • معرّف الورقة البحثية: 2510.12353
  • العنوان: السلوك التقاربي لأصفار مشتقات دوال بيسل
  • المؤلفون: Árpád Baricz, Pranav Kumar, Saminathan Ponnusamy
  • التصنيف: math.CA (التحليل الكلاسيكي والمعادلات التفاضلية العادية)
  • تاريخ النشر: 14 أكتوبر 2025
  • رابط الورقة: https://arxiv.org/abs/2510.12353v1

الملخص

تشتق هذه الورقة البحثية تطورات تقاربية مختلفة لأصفار المشتقة من الرتبة n لدوال بيسل Jν(n)(x)J_\nu^{(n)}(x) المسماة jν,k(n)j_{\nu,k}^{(n)}. التطور الأول هو تطور من نوع ماكماهون عندما يكون k→∞k \to \infty و ν\nu ثابتة، مع إنشاء حدود خطأ صريحة. التطور الثاني يتعامل مع الحالة ν→∞\nu \to \infty و kk ثابتة، وينطوي على أصفار دوال إيري ومشتقاتها. تمتد هذه النتائج وتحسّن الأعمال الكلاسيكية لـ Wong و Lang و Olver بشأن أصفار دوال بيسل. أثناء الحصول على النتائج الرئيسية، تم تعميم عدة نتائج مساعدة، مما يوفر إطار عمل أوسع لدراسة أصفار الدوال الخاصة.

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

أهمية المشكلة

تلعب أصفار دوال بيسل دوراً مهماً في مختلف المسائل في الرياضيات التطبيقية والفيزياء الرياضية، خاصة في ميادين الميكانيكا الكمية ونظرية التشتت وانتشار الموجات. نظراً لتطبيقاتها الواسعة، فقد حظي فهم السلوك التقاربي لدوال بيسل وأصفارها باهتمام كبير.

قيود الأعمال الموجودة

  1. قيود تطور ماكماهون الكلاسيكي: ركزت الأبحاث المبكرة لماكماهون حول أصفار دالة بيسل Jν(x)J_\nu(x) بشكل أساسي على الدالة نفسها وليس على مشتقاتها.
  2. أعمال Wong و Lang: بينما وسّعوا هذه الأفكار للحصول على تطورات تقاربية لأصفار Jν′′(x)J''_\nu(x)، كانت محدودة بالمشتقة الثانية فقط.
  3. الفجوة البحثية: على الرغم من التقدم الكبير في فهم خصائص أصفار مشتقات بيسل من الرتبة n، لم يتم استكشاف التطورات التقاربية لهذه الأصفار في الأدبيات.

دافع البحث

تهدف هذه الورقة إلى سد هذه الفجوة بتقديم تطورات تقاربية من نوع ماكماهون وتحليل الحالة ν→∞\nu \to \infty مع n ثابتة. يستخدم البحث الطريقة المعيارية التي قدمها ماكماهون لاشتقاق التطورات التقاربية لـ Jν(n)(x)J_\nu^{(n)}(x) وإنشاء السلوك التقاربي لـ jν,k(n)j_{\nu,k}^{(n)} عندما k→∞k \to \infty.

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

  1. إنشاء تطورات تقاربية من نوع ماكماهون: تطورات تقاربية لأصفار المشتقة من الرتبة n لدوال بيسل عندما يكون k→∞k \to \infty و ν\nu ثابتة.
  2. توفير حدود خطأ صريحة: إنشاء تقديرات خطأ واضحة لتطور ماكماهون، مما يحدد دقة التقريب.
  3. اشتقاق تطورات تقاربية للمعاملات الكبيرة: التعامل مع الحالة ν→∞\nu \to \infty و kk ثابتة، التي تتضمن أصفار دوال إيري ومشتقاتها.
  4. تعميم النتائج المساعدة: أثناء الحصول على النتائج الرئيسية، تم تعميم عدة نتائج نظرية أساسية، مما يوفر إطار عمل أوسع لدراسة أصفار الدوال الخاصة.
  5. توسيع النظرية الكلاسيكية: توسيع الأعمال الكلاسيكية لـ Wong و Lang و Olver من دوال بيسل نفسها إلى مشتقاتها من أي رتبة.

شرح تفصيلي للطرق

تعريف المهمة

دراسة السلوك التقاربي للأصفار الموجبة jν,k(n)j_{\nu,k}^{(n)} للمشتقة من الرتبة n لدالة بيسل من النوع الأول Jν(x)J_\nu(x)، حيث:

  • ν>0\nu > 0 هي رتبة دالة بيسل
  • n≥1n \geq 1 هي رتبة المشتقة
  • kk هو فهرس الصفر

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

1. التمثيل التقاربي لمشتقات دوال بيسل

النظرية 2.1: بالنسبة لـ n∈N0n \in \mathbb{N}_0 و xx كبيرة، يمكن تمثيل المشتقة من الرتبة 2n لدالة بيسل كالتالي:

12πxJν(2n)(x)=cos⁡(x−νπ2−π4)τν(2n)(x)+sin⁡(x−νπ2−π4)θν(2n)(x)\sqrt{\frac{1}{2}\pi x} J_\nu^{(2n)}(x) = \cos\left(x - \frac{\nu\pi}{2} - \frac{\pi}{4}\right)\tau_\nu^{(2n)}(x) + \sin\left(x - \frac{\nu\pi}{2} - \frac{\pi}{4}\right)\theta_\nu^{(2n)}(x)

حيث: τν(2n)(x)=∑m=0∞α2m,2nx2m,θν(2n)(x)=∑m=0∞α2m+1,2nx2m+1\tau_\nu^{(2n)}(x) = \sum_{m=0}^{\infty} \frac{\alpha_{2m,2n}}{x^{2m}}, \quad \theta_\nu^{(2n)}(x) = \sum_{m=0}^{\infty} \frac{\alpha_{2m+1,2n}}{x^{2m+1}}

تحقق المعاملات علاقات تكرارية: α2m,2n=α2m,2n−1−4m−12α2m−1,2n−1\alpha_{2m,2n} = \alpha_{2m,2n-1} - \frac{4m-1}{2}\alpha_{2m-1,2n-1}α2m+1,2n=−α2m−1,2n−1−4m+12α2m,2n−1\alpha_{2m+1,2n} = -\alpha_{2m-1,2n-1} - \frac{4m+1}{2}\alpha_{2m,2n-1}

2. التطور التقاربي من نوع ماكماهون

من خلال تقنيات الانعكاس، يتم الحصول على تطور ماكماهون للأصفار:

المشتقات من الرتبة الزوجية (أصفار Jν(2m)J_\nu^{(2m)}): jν,k+1(2m)=α+α1,2mα0,2m⋅1α+O(1α3)j_{\nu,k+1}^{(2m)} = \alpha + \frac{\alpha_{1,2m}}{\alpha_{0,2m}} \cdot \frac{1}{\alpha} + O\left(\frac{1}{\alpha^3}\right)

حيث α=kπ+νπ2−π4\alpha = k\pi + \frac{\nu\pi}{2} - \frac{\pi}{4}

المشتقات من الرتبة الفردية (أصفار Jν(2m+1)J_\nu^{(2m+1)}): jν,k(2m+1)=β−α1,2m+1α0,2m+1⋅1β+O(1β3)j_{\nu,k}^{(2m+1)} = \beta - \frac{\alpha_{1,2m+1}}{\alpha_{0,2m+1}} \cdot \frac{1}{\beta} + O\left(\frac{1}{\beta^3}\right)

حيث β=kπ+νπ2−3π4\beta = k\pi + \frac{\nu\pi}{2} - \frac{3\pi}{4}

3. تقديرات حدود الخطأ

النظرية 2.2: بالنسبة لحدود الخطأ في التطور التقاربي، توجد تقديرات محدودة:

بالنسبة للمشتقة من الرتبة 2n، عندما يكون ν≥−2n+12\nu \geq -2n + \frac{1}{2}، n∈Nn \in \mathbb{N} و xx كبيرة بما يكفي: ∣δ2n(ν,x)∣≤4(ν+2n)2−14xexp⁡{4(ν+2n)2−14x}|\delta_{2n}(\nu,x)| \leq \frac{4(\nu+2n)^2-1}{4x} \exp\left\{\frac{4(\nu+2n)^2-1}{4x}\right\}

4. التطور التقاربي لحالة المعاملات الكبيرة

عندما يكون ν→∞\nu \to \infty و kk ثابتة، باستخدام نظرية التطور التقاربي الموحد لـ Olver ودوال إيري:

بالنسبة للمشتقات من الرتبة الزوجية: jν,k(2n)=ν−ak21/3ν1/3+21/3ak210ν−1/3+O(ν−1)j_{\nu,k}^{(2n)} = \nu - \frac{a_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}a_k^2}{10}\nu^{-1/3} + O(\nu^{-1})

بالنسبة للمشتقات من الرتبة الفردية: jν,k(2n+1)=ν−ak′21/3ν1/3+21/3(ak′)210ν−1/3+O(ν−1)j_{\nu,k}^{(2n+1)} = \nu - \frac{a'_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}(a'_k)^2}{10}\nu^{-1/3} + O(\nu^{-1})

حيث aka_k و ak′a'_k هما الصفر السالب من الرتبة k لدالة إيري Ai(x)\text{Ai}(x) ومشتقتها Ai′(x)\text{Ai}'(x) على التوالي.

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

  1. إطار عمل تكراري موحد: إنشاء علاقات تكرارية موحدة لمعاملات جميع الرتب، مما يتجنب الحساب الفردي لكل رتبة.
  2. تحليل خطأ محسّن: من خلال تعديل طريقة Hethcote، تم الحصول على حدود خطأ أكثر دقة من النتائج الكلاسيكية.
  3. توسيع نطاق التطبيق: توسيع النظرية الكلاسيكية من المشتقات المنخفضة المحددة إلى مشتقات من أي رتبة.
  4. تطبيق نظرية التطور التقاربي الموحد: تطبيق ماهر لنظرية التطور التقاربي الموحد لـ Olver على حالات المشتقات من الرتبة العالية.

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

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

نظراً لأن هذا بحث نظري رياضي بحت، تشير "التجارب" بشكل أساسي إلى التحقق النظري والفحص العددي:

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

المعايير المقارنة

  • النتائج الأصلية لماكماهون (بخصوص أصفار Jν(x)J_\nu(x))
  • نتائج Wong و Lang (بخصوص أصفار Jν′′(x)J''_\nu(x))
  • نظرية التطور التقاربي الموحد لـ Olver

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

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

  1. إنشاء التطور من نوع ماكماهون: اشتقاق ناجح لتطور ماكماهون التقاربي لأصفار مشتقات بيسل من أي رتبة، مع تعبيرات معاملات واضحة.
  2. تحسين حدود الخطأ: مقارنة بالنتائج الموجودة، حدود الخطأ الجديدة أكثر دقة، خاصة بالنسبة لحالات المشتقات من الرتبة العالية.
  3. اكتمال التطور للمعاملات الكبيرة: بالنسبة لحالة ν→∞\nu \to \infty، يتم توفير سلسلة تقاربية كاملة، بما في ذلك الحد الرئيسي والحدود التصحيحية.

الأداء العددي المحدد

بالنسبة لأصفار المشتقات من الرتبة الثالثة والرابعة، يتم الحصول على: jν,k(3)=ν−ak21/3ν1/3+21/3ak210ν−1/3+ak3700ν−1+⋯j_{\nu,k}^{(3)} = \nu - \frac{a_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}a_k^2}{10}\nu^{-1/3} + \frac{a_k^3}{700}\nu^{-1} + \cdots

jν,k(4)=ν−ak′21/3ν1/3+21/3(ak′)210ν−1/3+(ak′)3700ν−1+⋯j_{\nu,k}^{(4)} = \nu - \frac{a'_k}{2^{1/3}}\nu^{1/3} + \frac{2^{1/3}(a'_k)^2}{10}\nu^{-1/3} + \frac{(a'_k)^3}{700}\nu^{-1} + \cdots

الأشكال المحددة لحدود الخطأ

بالنسبة لتطور ماكماهون، عند استيفاء الشروط:

  • المشتقات من الرتبة الزوجية: ∣jν,k+1(2n)−(k+ν2−14)π∣≤0.26(4(ν+2n)2−1)π(k+ν2−0.314)|j_{\nu,k+1}^{(2n)} - (k + \frac{\nu}{2} - \frac{1}{4})\pi| \leq \frac{0.26(4(\nu+2n)^2-1)}{\pi(k + \frac{\nu}{2} - 0.314)}
  • المشتقات من الرتبة الفردية: ∣jν,k(2n+1)−(k+ν2−14)π∣≤0.26(4(ν+2n+1)2−1)π(k+ν2−0.314)|j_{\nu,k}^{(2n+1)} - (k + \frac{\nu}{2} - \frac{1}{4})\pi| \leq \frac{0.26(4(\nu+2n+1)^2-1)}{\pi(k + \frac{\nu}{2} - 0.314)}

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

المسار التاريخي للتطور

  1. ماكماهون (1895): إنشاء التطور التقاربي الكلاسيكي لأصفار دوال بيسل
  2. واتسون (1944): تحسين الأساس النظري وتقديم إثباتات أكثر صرامة
  3. أولفر (1954): تطوير نظرية التطور التقاربي الموحد
  4. Wong و Lang (1990-1991): توسيع النظرية إلى المشتقة الثانية لدوال بيسل
  5. Baricz وآخرون (2018): إثبات الحقيقية والإيجابية لأصفار المشتقات من الرتبة n

موقع هذه الورقة والمساهمات

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

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

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

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

الأهمية النظرية

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

القيود

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

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

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

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

المميزات

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

أوجه القصور

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

تقييم التأثير

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

السيناريوهات القابلة للتطبيق

  1. الفيزياء الرياضية: الحلول التحليلية لمعادلات الموجة والحرارة وغيرها
  2. التطبيقات الهندسية: معالجة الإشارات وتحليل الاهتزازات وغيرها
  3. الحسابات العددية: الأساس النظري لخوارزميات حساب الأصفار عالية الدقة

المراجع

تستشهد الورقة بالمراجع الرئيسية في هذا المجال، بما في ذلك:

  • الأعمال الرائدة لماكماهون (1895)
  • الكتاب المرجعي الكلاسيكي لواتسون (1944)
  • نظرية التطور التقاربي لأولفر (1954، 1962، 1974)
  • أعمال التوسيع لـ Wong و Lang (1990، 1991)
  • الأبحاث الحديثة ذات الصلة (Baricz وآخرون، 2018؛ Dimitrov و Lun، 2025)

تعكس هذه الاستشهادات الاستمرارية التاريخية والاكتمال النظري للبحث.