Fourier inversion theorems for integral transforms involving Bessel functions

ملخص تقني: نظريات الارتداد لفوريه للتحويلات التكاملية التي تتضمن دالات بسل

بيان المشكلة
تتناول الورقة استنباط وتحليل نظريات الارتداد لتحويلات "ويبر-أور" (Weber-Orr) المعممة، وهي تحويلات تكاملية تتضمن دالات بسل. وبينما تعتمد تحويلات فوريه عادةً على التفكك الطيفي للمؤثرات ذات النوى البديهية (trivial kernels)، يشير المؤلف إلى أن المؤثرات ذات النوى غير البديهية (وتحديداً تلك التي تمتلك دالات ذاتية تقابل القيمة الذاتية صفر) تعطل خصائص فوريه القياسية. في مثل هذه الحالات، تفشل صيغة الارتداد القياسية ونظرية "بلانشيريل" ما لم يتم استكمال نظام الدالات الذاتية المعممة بإضافة الدالات الذاتية العادية المرتبطة بالقيمة الذاتية صفر.

تاريخياً، اعتمدت نظريات الارتداد لتحويلات "ويبر-أور" (التي نشرها "ويبر" لأول مرة عام 1873 ولاحقاً "تيتشمارش" عام 1923) على افتراضات تتعلق بالتغير المحدود للدالة الأصلية $f$. تهدف هذه الورقة إلى توسيع هذه النتيات لتشمل فئة الدوال القابلة للتكامل ($f \in L^1 \cap L^2$)، وهي الفئة الأكثر شيوعاً في تحليل فوريه، ومعالجة الحالات التي تمتلك فيها التحويلات نوى غير بديهية بشكل صارم.

المنهجية
يستخدم المؤلف تفاعلاً عكسياً بين التحليل الدالي والمعادلات التفاضلية الجزئية (PDEs). فبدلاً من التعامل مع التحويل التكاملي ككائن أساسي، تستنبط الورقة خصائص تحويلات "ويبر-أور" من خلال تحليل مسائل القيم الابتدائية-الحدية لمعادلة الحرارة في المنطقة الخارجية لدائرة ($r > r_0$).

تسير المنهجية وفق الخطوات التالية:

1. ربط المؤثر: ترتبط التحويلات بالمؤثر $\Delta_k = \frac{1}{r}\frac{\partial}{\partial r}(r\frac{\partial}{\partial r}) - \frac{k^2}{r^2}$.
2. تحويل لابلاس: يتم تحويل معادلة الحرارة $\partial_t w - \Delta_k w = 0$ إلى معادلة "بسل" المعدلة (معادلة بواسون بمعلمة) باستخدام تحويل لابلاس.
3. تحليل الموّلد (Resolvent Analysis): يتم بناء الحل باستخدام الموّلد $R(\tau) = (\Delta_k - \tau I)^{-1}$. يحلل المؤلف القطع الفرعي للموّلد على طول المحور الحقيقي السالب (الطيف المستمر) ويتقصى السلوك عند $\tau = 0$.
4. تكامل المسار (Contour Integration): يتم تقييم تحويل لابلاس العكسي عن طريق تشويه مسار التكامل إلى مسار من نوع "هانكل" حول القطع الفرعي. تعمل هذه العملية على عزل مساهمة الطيف المستمر (التي تؤدي إلى التحويل التكاملي) والأهم من ذلك، عزل الباقي (residue) عند $\tau = 0$ عندما تكون النوا غير بديهية.
5. التحليل التقاربي: تُستخدم الأشكال التقاربية لدالات بسل ($J_k, Y_k, I_k, K_k$) لوضع الحدود واستخلاص قفزات عدم الاستمرار الصريحة عبر القطع الفرعي، والتي تعطي نواة التحويل التكاملي.

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

1. تحويل "ويبر-أور" الكلاسيكي ($W_{k,k}$):

   • تثبت الورقة نظرية ارتداد لـ $W_{k,k}$ تحت شرط $f\sqrt{r} \in L^1(r_0, \infty) \cap L^2(r_0, \infty)$.
   • تثبت أنه بالنسبة لهذا التحويل، تكون النوا بديهية، وتتحقق صيغة الارتداد القياسية في كل مكان تقريباً:
     $$f(r) = W^{-1}_{k,k}[W_{k,k}[f]](r)$$
   • يتم إثبات متطابقة "بلانشيريل": $\|f\|_{L^2} = \|W_{k,k}[f]\|_{L^2}$.

2. تحويل "ويبر-أور" المعمم ($W_{k,k\pm1}$):

   • تبحث الورقة في التحويلات ذات المؤشرات $k, k\pm1$، والتي تقابل شروط حدود "روبن" (Robin-type).
   • النوا غير البديهية: ثبت أنه بالنسبة لنطاقات محددة من $k$ (تحديداً $k > 1$ لـ $W_{k,k-1}$ و $k < -1$ لـ $W_{k,k+1}$)، يمتلك المؤثر $\Delta_k$ نواً غير بديهية تحتوي على دالات ذاتية من الشكل $r^{-k}$ أو $r^k$.
   • صيغة الارتداد المعدلة: تستلزم وجود النوا إضافة حد إضافي في صيغة الارتداد. بالنسبة لـ $k > 1$، يُعطى الارتداد كالآتي:
     $$f(r) = W^{-1}_{k,k-1}[W_{k,k-1}[f]](r) + 2(k-1)r_0^{2(k-1)}r^{-k} \int_{r_0}^\infty s^{-k+1}f(s)ds$$
   • متطابقة "بلانشيريل-بارسيفال": تُستبدل متطابقة "بلانشيريل" القياسية بمتطابقة تتضمن مجموع مربعات معاملات فوريه المقابلة للقيمة الذاتية صفر:
     $$\|f\|^2 = \|W[f]\|^2 + \sum (f, e_k)^2$$
     وهذا يؤكد ضرورة إضافة الإسقاط على النوا للحفاظ على حفظ الطاقة.

3. متراجحة من نوع "بسل":

   • تثبت نتيجة مستخلصة (corollary) متراجحة من نوع "بسل" للتحويلات المعممة، مبينة أن معيار الدالة المحولة محدود بمعيار الدالة الأصلية.

الأهمية والادعاءات
تدعي الورقة أنها تقدم "نهجاً جديداً" لدراسة تحويلات "ويبر-أور" الكلاسيكية والمعممة. وتكمن أهميتها الأساسية في:

• اكتمال الاشتقاق: تقدم اشتقاقاً كاملاً لصيغ الارتداد ضمن فئة الدوال القابلة للتكامل ($L^1 \cap L^2$)، مستبدلة التساوي النقطي الكلاسيكي (الصالح للتغير المحدود) بهوية تتحقق في كل مكان تقريباً.
• التعامل مع النوى غير البديهية: تعالج صراحةً التفكك الطيفي للمؤثرات ذات النوى غير البديهية، موضحة كيف يجب استكمال الطيف المستمر بالدالات الذاتية المقابلة للقيمة الذاتية صفر لاستيفاء متطابقات من نوع "بلانشيريل-بارسيفال".
• التطبيق الهيدروديناميكي: يشير المؤلف إلى أن هذه التحويلات (تحديداً $W_{k,k-1}$) قد طُبقت بالفعل لحل مسائل "ستوكس" و"نافييه-ستوكس" غير المستقرة في النطاقات الخارجية، حيث تعمل فعلياً كـ "تحويل فوريه هيدروديناميكي". وتوفر النتائج في هذه الورقة الأساس النظري الصارم (القابلية للارتداد وحفظ الطاقة) المطلوب لهذه التطبيقات.

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