[논문 리뷰] Two multivariate quadratic transformations of elliptic hypergeometric integrals

Fokko J. van de Bult|arXiv (Cornell University)|2011. 09. 06.

Mathematical functions and polynomials참고 문헌 3인용 수 5

한 줄 요약

이 논문은 복소 적분에서 Fubini의 정리를 적용하고 타원 디크슨 변환을 연결함으로써, $(p,q)$-타원 hypergeometric 함수와 $(p,q^2)$-함수 사이, 그리고 $(\sqrt{p},\sqrt{q})$-함수 사이의 다변수 이차 변환을 증명한다. 주요 기여는 통합된 함수가 상수일 경우 이러한 항등식을 확립한 것으로, 보조 정리로서 Rains의 추측을 상수 보간 함수 조건에서 다변수 경우에 대해 확인한다.

ABSTRACT

Eric Rains conjectured several quadratic transformations between multivariate elliptic hypergeometric functions in "Elliptic Littlewood Identities", with the integrand multiplied by interpolation functions. In this article two of these conjectures are proven in the case where the interpolation functions are constant, and we obtain a third conjecture as a corollary. Two other equations for elliptic Selberg integrals with 10 parameters, two of which multiplying to pq/t, are given, as they are needed in the proof. The proofs consist essentially of a calculation which strings together many elliptic Dixon transformations. Some remarks are made about using Fubini in cases in which product contours do not exist.

연구 동기 및 목표

• 에릭 레인스가 제기한 다변수 이차 변환, 특히 $(p,q)$-함수와 $(p,q^2)$-함수, $(\sqrt{p},\sqrt{q})$-함수 간의 관계를 증명한다.
• 통합된 함수가 상수일 특수한 경우에 이러한 항등식을 확립한다. 이 경우 레인스의 추측의 전반적인 일반성은 적용되지 않는다.
• 10매개변수 타원 세르베르그 적분에 대해 두 가지 새로운 변환 공식을 유도한다. 하나는 귀납법을 가능하게 하고, 다른 하나는 '거의-세르베르그' 변환으로 불린다.
• 제품 경로가 존재하지 않을 때 메로모르픽 함수의 복소 적분에 대해 Fubini의 정리를 엄밀하게 적용하는 방법을 제시하며, 기존 설정을 초월하여 그 적용 범위를 확장한다.
• 두 번째 주요 변환과 연결하여 상수 보간 함수 조건에서 Rains의 추측 Q1을 확인하는 보조 정리를 도출한다.

제안 방법

• 증명 전략은 특히 타원 디크슨 변환의 반복 적용을 포함한 알려진 타원 hypergeometric 변환들을 연결하는 데 기반한다.
• 귀납법을 가능하게 하는 변환(정리 4.1)을 사용하여 $n$-변수 적분을 $(n-1)$-변수 및 단변수 적분을 포함하는 이중 적분으로 줄인다.
• ‘거의-세르베르그’ 변환(정리 5.1)을 도입하여 기존의 8매개변수 적분에 대한 세르베르그 변환을 10매개변수 경우로 일반화하며, 특정 균형 조건을 만족한다.
• 다중 변수에 대한 적분 순서를 바꾸기 위해 Fubini의 정리를 적용하며, 표준 경로가 존재하지 않을 때 메로모르픽 피적분함수에 대해 그 타당성을 전용 분석을 통해 검토한다.
• 해석적 계속성을 사용하여 단위원의 경로가 존재하는 매개변수 영역에서 일반 매개변수 영역으로 결과를 연장함으로써 변환의 타당성을 보장한다.
• 중간 항등식들을 타원 감마 함수를 포함한 반복적 적용을 통해 조합함으로써 증명을 완성하며, 최종적으로 이차 항등식에 도달한다.

실험 결과

연구 질문

• RQ1 보간 함수가 상수일 경우, 레인스가 제기한 타원 hypergeometric 적분에 대한 다변수 이차 변환이 증명될 수 있는가?
• RQ2 두 매개변수가 $pq/t$의 곱과 같을 조건에서 10매개변수 타원 세르베르그 적분에 대해 새로운 변환 공식이 유도되는가?
• RQ3 제품 경로가 존재하지 않을 때 메로모르픽 피적분함수의 복소 적분에 대해 Fubini의 정리를 어떻게 엄밀하게 적용할 수 있는가?
• RQ4 귀납법을 가능하게 하는 변환은 타원 세르베르그 적분의 맥락에서 $n$-변수 적분을 낮은 차원의 구성 요소로 줄이는 데 효과적인가?
• RQ5 두 번째 이차 변환은 상수 보간 함수 조건에서 Rains의 추측 Q1을 확인하는 보조 정리를 도출하는 데 사용될 수 있는가?

주요 결과

• 논문은 $(p,q)$-타원 hypergeometric 적분과 $(p,q^2)$-함수 간의 이차 변환을 증명하여 타원 hypergeometric 함수 이론에서 새로운 다변수 항등식을 확립한다.
• 두 번째 변환은 $(p,q)$-함수와 $(\sqrt{p},\sqrt{q})$-함수 간의 관계를 증명하여 기존의 이차 항등식의 범위를 단변수 경우를 초월하여 확장한다.
• 10매개변수 타원 세르베르그 적분에 대해 두 가지 새로운 변환 공식을 도출한다: 하나는 귀납법을 가능하게 하고, 다른 하나는 '거의-세르베르그' 변환으로 불린다.
• 제품 경로가 존재하지 않을 때 메로모르픽 피적분함수에 대한 Fubini의 정리 적용을 엄밀하게 정당화하여 향후 응용을 위한 일반적 프레임워크를 제공한다.
• Rains의 추측 Q1이 상수 보간 함수 조건에서 확인되는 보조 정리가 확립되었으며, 이는 매개변수 이동과 세르베르그 변환을 통해 두 번째 주요 변환과 연결된다.
• 모든 항등식은 필요한 균형 조건(예: $t^{2n-1}\prod_{r=1}^{4}t_r = pq$)을 만족하는 타원 감마 함수를 포함한 변환의 연속적 적용을 통해 검증되었으며, 증명이 완료되었다.