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

Явное суммирование рядов Снеддона-Бесселя

Основная информация

  • ID статьи: 2207.08709
  • Название: Summing Sneddon-Bessel series explicitly
  • Авторы: Antonio J. Durán, Mario Pérez, Juan L. Varona
  • Классификация: math.CA (Classical Analysis and ODEs)
  • Дата публикации: 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. Предоставление конкретных методов вычисления и рекуррентных соотношений

Влияние

Данная работа вносит важный вклад в теорию функций Бесселя и, как ожидается, будет иметь широкое влияние в области математической физики, инженерной математики и смежных дисциплин. Методы и результаты работы предоставляют важную теоретическую основу и технические инструменты для последующих исследований.