2025-11-10T02:38:06.672947

Summing Sneddon-Bessel series explicitly

Durán, Pérez, Varona
We sum in a close form the Sneddon-Bessel series \[ \sum_{m=1}^\infty \frac{J_α(x j_{m,ν})J_β(y j_{m,ν})} {j_{m,ν}^{2n+α+β-2ν+2} J_{ν+1}(j_{m,ν})^2}, \] where $0<x$, $0<y$, $x+y<2$, $n$ is an integer, $α,β,ν\in \mathbb{C}\setminus \{-1,-2,\dots \}$ with $2\operatorname{Re} ν< 2n+1 + \operatorname{Re} α+ \operatorname{Re} β$ and $\{j_{m,ν}\}_{m\geq 0}$ are the zeros of the Bessel function $J_ν$ of order $ν$. As an application we prove some extensions of the Kneser-Sommerfeld expansion.
academic

جمع متسلسلات سنيدون-بيسل بشكل صريح

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

  • معرّف الورقة: 2207.08709
  • العنوان: جمع متسلسلات سنيدون-بيسل بشكل صريح
  • المؤلفون: أنطونيو ج. دوران، ماريو بيريز، خوان ل. فارونا
  • التصنيف: math.CA (التحليل الكلاسيكي والمعادلات التفاضلية)
  • تاريخ النشر: 15 يوليو 2022
  • رابط الورقة: https://arxiv.org/abs/2207.08709

الملخص

تقدم هذه الورقة جمعاً صريحاً لمتسلسلات سنيدون-بيسل: ∑m=1∞Jα(xjm,ν)Jβ(yjm,ν)jm,ν2n+α+β−2ν+2Jν+1(jm,ν)2\sum_{m=1}^\infty \frac{J_\alpha(x j_{m,\nu})J_\beta(y j_{m,\nu})}{j_{m,\nu}^{2n+\alpha+\beta-2\nu+2} J_{\nu+1}(j_{m,\nu})^2}

حيث 0<x0<x, 0<y0<y, x+y<2x+y<2، وnn عدد صحيح، وα,β,ν∈C∖{−1,−2,…}\alpha,\beta,\nu\in \mathbb{C}\setminus \{-1,-2,\ldots \} تحقق 2Re⁡ν<2n+1+Re⁡α+Re⁡β2\operatorname{Re} \nu< 2n+1 + \operatorname{Re} \alpha+ \operatorname{Re} \beta، و{jm,ν}m≥0\{j_{m,\nu}\}_{m\geq 0} هي الأصفار لدالة بيسل JνJ_\nu من الرتبة ν\nu. كتطبيق، تم إثبات بعض التوسعات لنشر كنيسر-سومرفيلد.

السياق البحثي والدافع

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

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

  1. النظرية الرئيسية: تقديم تعبير صريح كامل بصيغة مغلقة لمتسلسلات سنيدون-بيسل، يغطي الحالتين n≥0n \geq 0 و n<0n < 0
  2. الابتكار التقني: استخدام نظرية البواقي لإنشاء تحليل الكسور الجزئية لدوال بيسل
  3. التوسع النظري: إثبات عدة أشكال معممة لنشر كنيسر-سومرفيلد
  4. توحيد الطريقة: توفير إطار عمل موحد للتعامل مع متسلسلات بيسل ذات المعاملات المعقدة

شرح الطريقة

تعريف المهمة

الهدف البحثي هو إيجاد الصيغة المغلقة للمتسلسلة: Sα,β,νqn(x,y)=∑m=1∞Jα(xjm,ν)Jβ(yjm,ν)jm,νqnJν+1(jm,ν)2S_{\alpha,\beta,\nu}^{q_n}(x,y) = \sum_{m=1}^\infty \frac{J_\alpha(xj_{m,\nu})J_\beta(yj_{m,\nu})}{j_{m,\nu}^{q_n}J_{\nu+1}(j_{m,\nu})^2}

حيث qn=2n+α+β−2ν+2q_n = 2n+\alpha+\beta-2\nu+2.

الإطار التقني الأساسي

1. تحويل الدوال

إدخال دالة صحيحة: Φν(z)=2νΓ(ν+1)Jν(z)zν\Phi_\nu(z) = 2^\nu\Gamma(\nu+1)\frac{J_\nu(z)}{z^\nu}

تعريف دالة توليد: Φα(xz)Φβ(yz)Φν(z)2=∑n=0∞δα,β,ν(n)(x,y)z2n\frac{\Phi_\alpha(xz)\Phi_\beta(yz)}{\Phi_\nu(z)^2} = \sum_{n=0}^\infty \delta_{\alpha,\beta,\nu}^{(n)}(x,y)z^{2n}

2. تطبيق نظرية البواقي

النظرية 1 (تحليل الكسور الجزئية): إذا كانت ff دالة صحيحة تحقق شروط النمو، فإن: 1n!dndtn(f(t)Φν(t)2)=∑m∈Z∖{0}4(ν+1)2[(2ν+1)t−(2ν−n)jm]f(jm)−jm(jm−t)f′(jm)(jm−t)n+2jm3Φν+1(jm)2\frac{1}{n!}\frac{d^n}{dt^n}\left(\frac{f(t)}{\Phi_\nu(t)^2}\right) = \sum_{m\in\mathbb{Z}\setminus\{0\}} \frac{4(\nu+1)^2[(2\nu+1)t-(2\nu-n)j_m]f(j_m)-j_m(j_m-t)f'(j_m)}{(j_m-t)^{n+2}j_m^3\Phi_{\nu+1}(j_m)^2}

3. طريقة المعادلات التفاضلية الجزئية

من خلال نظرية البواقي، يتم إنشاء معادلة تفاضلية جزئية: δα,β,ν(n)(x,y)−8(ν+1)2=(2ν−2n)ξn,α,β,ν(x,y)+x∂ξn,α,β,ν∂x+y∂ξn,α,β,ν∂y\frac{\delta_{\alpha,\beta,\nu}^{(n)}(x,y)}{-8(\nu+1)^2} = (2\nu-2n)\xi_{n,\alpha,\beta,\nu}(x,y) + x\frac{\partial\xi_{n,\alpha,\beta,\nu}}{\partial x} + y\frac{\partial\xi_{n,\alpha,\beta,\nu}}{\partial y}

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

الحالة 1: n≥0n \geq 0

Sα,β,νqn(x,y)=Γ(ν+1)2xαyβ2q0Γ(α+1)Γ(β+1)(x2n−2νφα,β,ν(n)(y/x)−∑2j+2k≤2nA2j,2k,nα,β,νj+k+ν−nx2jy2k)S_{\alpha,\beta,\nu}^{q_n}(x,y) = \frac{\Gamma(\nu+1)^2x^\alpha y^\beta}{2^{q_0}\Gamma(\alpha+1)\Gamma(\beta+1)}\left(x^{2n-2\nu}\varphi_{\alpha,\beta,\nu}^{(n)}(y/x) - \sum_{2j+2k\leq 2n}\frac{A_{2j,2k,n}^{\alpha,\beta,\nu}}{j+k+\nu-n}x^{2j}y^{2k}\right)

حيث تُحدد الدالة φα,β,ν(n)\varphi_{\alpha,\beta,\nu}^{(n)} بواسطة علاقة تكرارية: φα,β,ν(0)(t)=1ν(αν)2F1(ν−α,νβ+1;t2)\varphi_{\alpha,\beta,\nu}^{(0)}(t) = \frac{1}{\nu}\binom{\alpha}{\nu}{}_2F_1\left(\frac{\nu-\alpha,\nu}{\beta+1};t^2\right)

φα,β,ν(n)(t)=12ν−2n(12(α+1)φα+1,β,ν(n−1)(t)+t22(β+1)φα,β+1,ν(n−1)(t))\varphi_{\alpha,\beta,\nu}^{(n)}(t) = \frac{1}{2\nu-2n}\left(\frac{1}{2(\alpha+1)}\varphi_{\alpha+1,\beta,\nu}^{(n-1)}(t) + \frac{t^2}{2(\beta+1)}\varphi_{\alpha,\beta+1,\nu}^{(n-1)}(t)\right)

الحالة 2: n<0n < 0

Sα,β,νqn(x,y)=xα−2ν+2nyβΓ(ν−n)2qnΓ(β+1)Γ(n+α−ν+1)2F1(ν−n,ν−α−nβ+1;y2x2)S_{\alpha,\beta,\nu}^{q_n}(x,y) = \frac{x^{\alpha-2\nu+2n}y^\beta\Gamma(\nu-n)}{2^{q_n}\Gamma(\beta+1)\Gamma(n+\alpha-\nu+1)}{}_2F_1\left(\frac{\nu-n,\nu-\alpha-n}{\beta+1};\frac{y^2}{x^2}\right)

التطبيقات: توسعات نشر كنيسر-سومرفيلد

نشر كنيسر-سومرفيلد الكلاسيكي

∑m=1∞Jν(xjm,ν)Jν(yjm,ν)(jm,ν2−z2)Jν+1(jm,ν)2=πJν(yz)4Jν(z)[Yν(z)Jν(xz)−Jν(z)Yν(xz)]\sum_{m=1}^\infty \frac{J_\nu(xj_{m,\nu})J_\nu(yj_{m,\nu})}{(j_{m,\nu}^2-z^2)J_{\nu+1}(j_{m,\nu})^2} = \frac{\pi J_\nu(yz)}{4J_\nu(z)}[Y_\nu(z)J_\nu(xz)-J_\nu(z)Y_\nu(xz)]

أشكال توسع جديدة

∑m=1∞jm,νν−βJν(xjm,ν)Jβ(yjm,ν)(jm,ν2−z2)Jν+1(jm,ν)2=πJβ(yz)4zβ−νJν(z)[Yν(z)Jν(xz)−Jν(z)Yν(xz)]\sum_{m=1}^\infty \frac{j_{m,\nu}^{\nu-\beta}J_\nu(xj_{m,\nu})J_\beta(yj_{m,\nu})}{(j_{m,\nu}^2-z^2)J_{\nu+1}(j_{m,\nu})^2} = \frac{\pi J_\beta(yz)}{4z^{\beta-\nu}J_\nu(z)}[Y_\nu(z)J_\nu(xz)-J_\nu(z)Y_\nu(xz)]

شروط التطبيق: Re⁡ν<Re⁡β+1\operatorname{Re}\nu < \operatorname{Re}\beta + 1، 0≤y≤x≤10 \leq y \leq x \leq 1.

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

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

التحليل الرياضي

شروط التقارب

الشرط الأساسي لتقارب المتسلسلة هو: 2Re⁡ν<2n+1+Re⁡α+Re⁡β2\operatorname{Re}\nu < 2n+1+\operatorname{Re}\alpha+\operatorname{Re}\beta

معالجة الحالات الخاصة

  • عندما ν∈{0,1,…,n}\nu \in \{0,1,\ldots,n\}، يتم المعالجة من خلال عملية الحد
  • عندما Re⁡ν<−1\operatorname{Re}\nu < -1، يتم استخدام التحويل التكاملي Tμ,η,hT_{\mu,\eta,h} لتوسيع النتائج

الحالات الحدية

  • حالة الحد x+y=2x+y=2 تتطلب شروطاً أقوى: 2Re⁡ν<2n+Re⁡α+Re⁡β2\operatorname{Re}\nu < 2n+\operatorname{Re}\alpha+\operatorname{Re}\beta

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

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

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

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

تحل الورقة بنجاح مسألة جمع متسلسلات سنيدون-بيسل بشكل صريح، وتوفر تعبيراً كاملاً بصيغة مغلقة، وتثبت توسعات مهمة لنشر كنيسر-سومرفيلد.

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

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

آفاق التطبيق

النتائج لها قيمة تطبيقية مهمة في حل المعادلات التفاضلية الجزئية والمعادلات التكاملية ومسائل الفيزياء الرياضية.

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

المميزات

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

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

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

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

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