쌍적분으로 얻는 앱펠 라우리셀라 변환 공식

초록

본 논문은 Appell‑Lauricella 다변수 초지수함수 (F_D) 의 변환 관계를 이중 적분과 주기 적분을 이용해 새롭게 유도한다. 표면의 이중 섬유 구조와 Deligne‑Mostow 이론을 활용해 두 가지 순서의 적분이 서로 다른 (F_D) 형태로 귀결되는 것을 보이고, 이를 통해 기존의 Goursat 2차 변환을 포함하는 다수의 변환 공식을 얻는다.

상세 분석

논문은 먼저 Appell‑Lauricella 함수 (F_D) 의 정의와 Euler‑type 적분 표현을 정리하고, 이후 두 개의 보조 정리(Lemma 3.1–3.3)를 통해 일변량 주기 적분을 (F_D) 로 변환하는 구체적인 변환식을 제시한다. 핵심 아이디어는 (\mathbb{P}^1\times\mathbb{P}^1) 위에 차수 ((3,3))인 디버전스를 갖는 여러 개의 효과적인 디바이저 (D_i) 를 선택하고, 그에 대한 실수 지수 (\mu_i) 를 부여해 사이클 (\Delta) 와 2‑형식 (\omega=dx\wedge dy\prod_i f_i(x,y)^{-\mu_i}) 를 만든 뒤, (\int_\Delta\omega) 를 두 번 적분(먼저 (x) 혹은 (y) 순서)한다. 각각의 내부 적분은 Lemma 3.3에 의해 베타 함수와 단일 변수의 Euler 적분으로 축소되며, 외부 적분은 Corollary 3.2에 의해 (F_D) 로 표현된다. 이렇게 두 순서의 적분이 서로 다른 파라미터 배열을 가진 (F_D) 로 귀결되므로, 두 결과를 동일하게 만든다면 변환 공식이 도출된다.

구체적인 사례로는 (1,2)+(1,1)+(1,0) 형태의 디바이저 분해, (1,2)+(1,0)+(1,0)+(0,1) 등 총 다섯 가지 파티션에 대해 상세히 계산한다. 각 섹션에서는 파라미터 (\alpha_i,\beta_i,t) 등을 정의하고, 적분 경로 (\sigma) 를 명시한 뒤, 첫 번째와 두 번째 적분 순서에 대한 결과를 각각 (F_D) 로 나타낸다. 예를 들어 Theorem 5.1에서는 \