[논문 리뷰] Identities and Properties of Multi-Dimensional Generalized Bessel Functions

Parker Kuklinski, David A. Hague|arXiv (Cornell University)|2019. 08. 27.

Spectral Theory in Mathematical Physics참고 문헌 18인용 수 5

한 줄 요약

이 논문은 다차원 일반화 베타 함수(GBFs)의 핵심 분석적 성질을 규명한다. 이는 두 번째 차수 선형 편미분방정식(PDE), 큰 차수와 변수에 대한 점근적 근사, 그리고 일반화된 뉴먼, 카프틴, 쇨밀히히 급수의 닫힌 형태 표현을 포함한다. 저자들은 이러한 결과를 혼합형 GBFs(MT-GBFs)로 확장하고, 급수의 행동이 비연속적으로 변화하는 매개변수 공간 내의 연속성 경계를 규명한다.

ABSTRACT

The Generalized Bessel Function (GBF) extends the single variable Bessel function to several dimensions and indices in a nontrivial manner. Two-dimensional GBFs have been studied extensively in the literature and have found application in laser physics, crystallography, and electromagnetics. In this article, we document several properties of $m$-dimensional GBFs including an underlying partial differential equation structure, asymptotics for simultaneously large order and argument, and analysis of generalized Neumann, Kapteyn, and Schlömilch series. We extend these results to mixed-type GBFs where appropriate.

연구 동기 및 목표

• m차원 일반화 베타 함수(GBFs)가 만족하는 두 번째 차수 선형 편미분방정식(PDE)을 유도함으로써, 고전적 베셀 방정식의 구조를 일반화한다.
• 큰 차수와 변수를 가진 GBFs에 대한 점근적 근사식을 개발하여, 일차원 베셀 함수의 점근적 성질을 고차원으로 일반화한다.
• 일반화된 뉴먼, 카프틴, 쇨밀히히 급수를 포함한 GBFs를 포함하는 무한 급수의 해석적 표현을 수립함으로써 고전적 항등식을 확장한다.
• 급수 표현의 수렴성과 정칙성의 변화가 발생하는 매개변수 공간 내의 연속성 경계의 구조를 분석한다. 특히 쇨밀히히 유형 급수에 대해 중점을 둔다.
• 사인 및余弦 항을 지닌 지수 항을 포함하는 혼합형 GBFs(MT-GBFs)로 결과를 확장한다.

제안 방법

• 생성 함수의 구조와 인덱스 p, 변수 x에 대한 의존성 분석을 통해 m차원 GBFs에 대한 두 번째 차수 선형 PDE를 유도한다.
• 정적 위상 및 가장 급강하 방법을 사용하여, 동시에 큰 차수와 변수를 가진 GBFs의 점근 전개를 유도하고, 매개변수 공간 내에서의 분기 표면을 규명한다.
• 생성 함수 기법과 복소푸리에 급수 역전개를 적용하여, MBF 및 MT-GBF 성분을 이용한 일반화된 뉴먼 및 카프틴 급수의 닫힌 형태 표현을 유도한다.
• 다양한 다중로그 함수 Liℓ(z)를 사용하여 일반화된 쇨밀히히 급수를 표현함으로써, 특이점이 분지점에서 드러나는 적분 표현을 가능하게 한다.
• 동시방정식 h(θ) = 2πn 및 h′(θ) = 0를 통해 (x,y) 매개변수 공간 내의 연속성 경계를 규명한다. 여기서 h(θ) = ∑k(xk sin kθ + yk cos kθ).
• 함수 f(θ) = θ − h(θ)의 전단사성에 기반하여 f(θ₀) = 0를 만족하는 θ₀를 정의함으로써, 카프틴 급수의 모멘트 계산을 가능하게 한다.

실험 결과

연구 질문

• RQ1 m차원 일반화 베타 함수는 일차원에서의 베셀 방정식과 유사한 두 번째 차수 선형 PDE를 만족하는가?
• RQ2 차수와 변수가 동시에 큰 경우 m차원 GBFs의 점근적 행동은 어떻게 되며, 이는 인덱스 집합 p에 따라 어떻게 달라지는가?
• RQ3 m차원 GBFs를 포함하는 일반화된 뉴먼, 카프틴, 쇨밀히히 급수는 특수함수를 사용하여 닫힌 형태로 표현할 수 있는가?
• RQ4 GBFs의 매개변수 공간 내에서 급수 표현의 수렴 행동이 변화하는 연속성 경계는 무엇인가?
• RQ5 사인 및 여측함수 항을 모두 포함하는 혼합형 GBFs(MT-GBFs)의 성질은 표준 GBFs와 어떻게 다를 수 있으며, 그 급수 전개는 해석적으로 특징지을 수 있는가?

주요 결과

• m차원 GBF는 고전적 베셀 방정식과 같은 형태는 아니지만 두 번째 차수 선형 PDE를 만족하며, 이는 생성 함수의 p 및 x에 대한 의존성에서 유도된다.
• 정적 위상 방법을 사용하여 큰 차수와 변수를 가진 GBFs의 점근적 근사식을 유도하였으며, 이는 매개변수 공간 내에서 행동이 정량적으로 변화하는 분기 표면을 드러낸다.
• 일반화된 뉴먼 및 카프틴 급수는 MBF 및 MT-GBF 성분을 사용하여 닫힌 형태로 표현되었으며, f(θ₀) = 0 인 점에서의 미분을 통해 모멘트가 유도되었다.
• 급수 ∑n⁻ˡJₘ(n x; n y)는 다중로그 함수 Liℓ(e⁻ⁱʰ⁽ᶿ⁾)를 포함하는 적분 형태로 표현되며, h(θ) = 2πn 인 어떤 θ 에서도 특이성이 발생한다.
• 췌밀히히 급수의 연속성 경계는 동시방정식 h(θ) = 2πn 및 h′(θ) = 0 로 정의되며, (x,y) 공간 내에서 대수적 표면으로 시각화되며, 예를 들어 Jₙ¹ ⁻²(x,y)에 대해 64(2πn)⁴y² + ... = 0 와 같이 표현된다.
• MT-GBFs에서 y = 0 인 경우 θ₀ = 0 이고 h⁽²ⁿ⁺¹⁾(θ₀) = ∑k²ⁿ⁺¹xₖ 이므로, 카프틴 급수의 모멘트를 명시적으로 계산할 수 있다.