[논문 리뷰] On Askey's extension of Clausen's identity and its polynomial perturbation

Dmitrii Karp, Vinay Shukla|arXiv (Cornell University)|2026. 02. 01.

Mathematical functions and polynomials인용 수 0

한 줄 요약

논문은 Clausen의 항등식을 일반 자연수 m에 대해 확장하고, 시프트된 매개변수를 가진 Gauss 초가능함수의 제곱에 대한 초다항식 perturbation으로서의 2F1의 제곱에 대한 hypergeometric 표현식을 제시하며, 차수 2m 다항식으로 교란되고, 차수 s ≤ 2m+1인 다항식 교란을 갖는 곱으로 더 일반화하여 명시적 특징 다항식을 제공한다.

ABSTRACT

The celebrated Clausen's identity expresses the square of the Gauss hypergeometric series ${}_2F_{1}(a,b;a+b+1/2;x)$ as a single hypergeometric ${}_3F_2$ series. Goursat showed in 1883 that replacing $1/2$ by $m+1/2$ leads to a hypergeometric series for the square whenever $m$ is a positive integer. Askey found this series explicitly for $m=1$. The first goal of this paper is to extend this result by treating the case of any natural $m$. The ${}_3F_{2}$ series on the right-hand side is thereby replaced by its perturbation by an explicit characteristic polynomial of degree $2m$, i.e., its coefficients are multiplied by values of this polynomial at nonnegative integers. The second goal of this paper is to make one further step and replace the square of the Gauss function by its product with its perturbation by an arbitrary polynomial of degree $s\le{2m+1}$. We show that such product remains hypergeometric and find its explicit form in terms of a polynomial perturbation of the ${}_3F_2$ series. We present an explicit formula for the characteristic polynomial whose degree is shown to be $2m+s$.

연구 동기 및 목표

• Clauser의 항등식을 임의의 자연수 m에 대해 시프트된 매개변수를 갖는 Gauss 초다항식의 제곱에 적용하는 사례로 확장한다.
• 우변에 차수 2m의 다항식으로 교란을 도입한다.
• 제곱 함수의 교란 F_s(차수 s ≤ 2m+1)와의 곱으로 일반화하고, 명시적 교란 형태를 얻는다.
• 교란을 지배하는 차수 2m+s의 명시적 특징 다항식을 유도한다.
• 알려진 결과와 연계되는 예시를 제시한다(예: m=1인 Askey의 경우).

제안 방법

• Whipple-type 변환과 Karlsson의 전개를 시작점으로 삼아 곱을 hypergeometric 시리즈로 표현한다.
• P(x∂x)이 작용하는 hypergeometric 시리즈를 통해 다항식 교란 F(a,b|P|x)들을 개발한다.
• [2F1(a,b;a+b+m+1/2;x)]^2의 교란을 지배하는 차수 2m 다항식 P_{2m}^{a,b}(t)를 유도한다.
• F_s 교란이 포함된 곱으로 확장하여 차수 2m+s의 다항식 P̂_{2m+s}(t)를 얻고, (3.2)와 (3.3) 두 가지 등가 표현을 제공한다.
• 보간법(Newton/Lagrange)을 활용하여 계수를 연결하고 유리성/재귀 특성을 확립한다.

실험 결과

연구 질문

• RQ1 Clauser 항등식이 내부 매개변수 편차가 양의 정수 m+1/2인 경우에도 모든 m∈N에 대해 확장될 수 있는가?
• RQ2 Clauser-type 항등식에서 다항식 교란이 초다항식 오른쪽 항에 어떤 영향을 미치는가?
• RQ3 교란된 초다항식 곱을 지배하는 특징 다항식의 명시적 형태와 차수는 무엇인가?
• RQ4 차수 s ≤ 2m+1인 arbitrary 다항식으로 제곱의 교란을 달성하고 하이퍼지오메트릭 구조를 유지할 수 있는가?
• RQ5 확장된 식과 그에 따른 고차 초다항식 시리즈를 설명하는 구체적 예(예: m=1, m=2)는 무엇인가?

주요 결과

• 2F1(a,b;a+b+m+1/2;x)의 제곱을 차수 2m의 다항식 교란 P_{2m}^{a,b}(t)로 가지는 hypergeometric 시리즈의 일반적 공식(정리 2.1).
• {}_3F_2 및 포크햄머 기호를 포함하는 유한 합으로 교란 다항식 P_{2m}^{a,b}(t)의 명시적 형태(식 2.13).
• 제곱이 차수 2+2m의 교란 매개변수 {}_{3+2m}F_{2+2m}로 표현될 수 있음을 재구성(주석 2.2 및 관련 논의).
• F_s 차수 s ≤ 2m+1의 다항식 교란을 곱으로 확장하여 다시 hypergeometric가 되는 교란된 {}_{2}F_{1}·F_s 곱과 명시적 교란 다항식 ˆP̂_{2m+s}(t)로 차수 2m+s를 얻는 정리(정리 3.1).
• 두 가지 등가 표현: (i) (3.2)와 (3.3)에 의한 표현, (ii) 라그랑지/뉴턴 보간 형태에 의한 표현(주석 3.6).
• 특수 경우는 알려진 결과를 되살린다: m=0일 때 Clausen의 항등식으로, m=1일 때 Askey의 명시적 m=1 사례(예제 1).
• 열린 문제로서 s ≤ 2m+1 제약은 제거될 수 없으며, s>2m+1인 경우 오른쪽 항의 형태는 더 높은 차수의 교란이 필요하다.