[논문 리뷰] Recurrence relations and applications for the Maclaurin coefficients of squared and cubic hypergeometric functions

Zhong-Xuan Mao, Jing-Feng Tian|arXiv (Cornell University)|2026. 01. 14.

Mathematical functions and polynomials인용 수 0

한 줄 요약

논문은 Gauss 초특이함수의 F^2(a,b;c;z) 및 F^3(a,b;c;z)의 Maclaurin 계수에 대한 각각 이차 및 삼차 재발 관계를 도출하고, 이를 복소 영역에서의 Gauss 초특이함수에 적용하여 타원 적분 및 고전 다항식에 대한 추가 결과(단조성 및 Clausen 공식의 새로운 증명 포함)를 얻는다.

ABSTRACT

In this paper, we present and prove that the coefficients $u_n$ and $v_n$ in the series expansions $F^2(a,b;c;z) = \sum_{n=0}^\infty u_n z^n$ and $F^3(a,b;c;z) = \sum_{n=0}^\infty v_n z^n$ ($a,b,c,z \in \mathbb{C}$ and $-c otin \mathbb{N} \cup \{0\}$) satisfy second- and third-order linear recurrence relations, respectively, where $F(a,b;c;x)$ denotes the Gaussian hypergeometric function and $\mathbb{C}$ is the complex plane. Our results provide recurrence relations for the Maclaurin coefficients of the squares and cubes of several classical special functions in the complex domain, including zero-balanced Gauss hypergeometric functions, elliptic integrals, as well as classical orthogonal polynomials such as Chebyshev, Legendre, Gegenbauer, and Jacobi polynomials. As applications, we first establish the monotonicity of a function involving Gauss hypergeometric functions and then present a new proof of the well-known Clausen's formula.

연구 동기 및 목표

• Maclaurin 계수를 통해 제곱 및 삼차 hypergeometric 함수의 연구를 동기화.
• 복소 영역에서 이 계수에 대한 명시적 이차 및 삼차 재발 관계를 도출.
• 이 재발 관계의 적용 가능성을 제곱-균형 하이페지-특수함수, 타원 적분, 및 고전 직교 다항식에 증명.
• 단조성 결과 및 Clausen의 공식에 대한 새로운 증명을 포함한 응용.

제안 방법

• F^2 및 F^3의 계수를 표현하기 위해 Cauchy 곱을 이용하고 재발 관계를 도출한다.
• Hypergeometric 방정식을 통해 계수를 일치시켜 다항식 항등으로 문제를 변환한다.
• F의 도함수를 계산·조작하여 u_n 및 u_{n±1} 간의 관계를 얻는다(정리 2.1).
• F^2의 u_n 및 F^3의 v_n에 대한 명시적 재발 계수 alpha_0(n), alpha_1(n), beta_0(n), beta_1(n), beta_2(n) 도출(정리 3.1).
• 타원 적분의 제곱/세제곱 및 고전 다항식으로의 특수화(Corollaries 2.x, 3.x).
• 재발 프레임워크를 하이페지-식의 단조성에 적용하고 Clausen의 공식의 새로운 증명을 제공한다.

실험 결과

연구 질문

• RQ1 복소 도메인에서 F^2(a,b;c;z) 및 F^3(a,b;c;z)의 Maclaurin 계수가 만족하는 재발 관계는 무엇인가?
• RQ2 이 재발 관계를 이용해 타원 적분 및 고전 다항식과 같은 특수 함수의 계수 수열을 얻을 수 있는가?
• RQ3 이 재발 관계가 단조성 특성 및 고전 하이페지 함수의 항등식(예: Clausen의 공식)과 어떤 통찰을 주는가?

주요 결과

• F^2(a,b;c;z)의 계수 u_n은 두 차 선형 재발 관계를 만족한다: u_{n+1}=alpha_0(n)u_n+alpha_1(n)u_{n-1}이며, 명시적 alpha_0(n), alpha_1(n)...
• F^3(a,b;c;z)의 계수 v_n은 세 차 선형 재발을 만족한다: v_{n+1}=beta_0(n)v_n+beta_1(n)v_{n-1}+beta_2(n)v_{n-2}...
• 특수한 선택은 K(z), E(z), Chebyshev, Legendre, Gegenbauer, Jacobi 다항식의 제곱/세제곱 및 이들의 변형에 대한 재발을 도출한다.
• 응용은 F^2 및 F를 포함하는 함수의 단조성을 보여주고 Clausen의 공식의 새로운 증명을 제공한다.
• 결과는 복소 도메인에 재발 기반의 계수 분석을 확장하고 여러 고전 특수함수와 연결된다.