[논문 리뷰] Functional equations for double series of Euler-Hurwitz-Barnes type with coefficients

YoungJu Choie, Kohji Matsumoto|arXiv (Cornell University)|2014. 03. 08.

Advanced Mathematical Identities참고 문헌 16인용 수 4

한 줄 요약

이 논문은 쌍곡선형 수열의 오일러-후르вит츠-바른스 유형에 대한 복소계수를 가진 두 개의 새로운 함수방정식을 도출한다. 이는 콘플루언트 하이퍼지오메트릭 함수와 모듈라 관계를 활용한다. 첫 번째 방정식은 일반적으로 적용되며, 두 번째는 계수가 촘프 형식의 푸리에 계수일 경우에 성립하여 다중 리만 제타함수의 이중 대칭성을 확장한다.

ABSTRACT

We first survey the known results on functional equations for the double zeta-function of Euler type and its various generalizations. Then we prove two new functional equations for double series of Euler-Hurwitz-Barnes type with complex coefficients. The first one is of general nature, while the second one is valid when the coefficients are Fourier coefficients of a cusp form.

연구 동기 및 목표

• 기본적인 경우를 초월하여 다중 제타함수의 함수방정식을 확장함으로써, 오일러-후르비츠-바른스 유형의 이중 시리즈에 대해 연구한다.
• 복소계수를 가진 고차원 제타함수로의 리만 제타함수의 대칭적 이중성의 일반화된 함수방정식을 유도한다.
• 코어스포름의 푸리에 계수로 계수를 제한함으로써 모듈라 형식의 역할을 조사하고, 자동형 형식과 다중 제타함수를 연결한다.
• 적분 표현과 멜린 변환을 사용하여 관련 특수함수의 유리형 해석적 계속성과 변환 법칙을 확립한다.

제안 방법

• 일반화된 딜리클레 급수 $ F_{\pm} $ 를 표현하기 위해 콘플루언트 하이퍼지오메트릭 함수 $ \Psi(a,c;x) $ 를 핵심 구성요소로 사용하여 해석적 계속성을 달성한다.
• 모듈라 관계 $ \Psi(a,c;x) = x^{1-c}\Psi(a-c+1,2-c;x) $ 를 적용하여 $ F_{\pm} $ 의 변환 법칙을 도출하고, 이는 함수방정식에 필수적이다.
• 코어스포름의 푸리에 계수로부터 구성된 생성함수 $ \widetilde{\mathcal{F}}(\tau,s,\alpha) $ 를 포함하는 적분 표현을 사용하여 $ H_{2,N}^{\pm} $ 를 표현한다.
• 멜린 역변환과 베타 적분 공식을 활용하여 적분을 $ \Gamma $-함수와 $ L $-함수를 포함하는 삼중 적분으로 변환하고, 해석적 계속성을 가능하게 한다.
• 경로 변형 및 해석적 계속 기법을 적용하여 수렴 영역을 초보적 영역을 초월해 더 넓은 반평면으로 확장함으로써 타당성을 보장한다.
• 함수방정식의 $ F_{\pm} $ 와 모듈라 기호의 구조를 활용하여 $ \zeta_2(s_1,s_2;\alpha,\beta,\omega) $ 의 최종 함수방정식을 유도한다.

실험 결과

연구 질문

• RQ1 복소계수를 가진 오일러-후르비츠-바른스 유형의 이중 시리즈에 대해 기존의 단일 변수 제타함수 결과를 일반화하여 함수방정식을 수립할 수 있는가?
• RQ2 매개변수 $ \alpha, \beta, \omega $ 의 역할은 무엇이며, $ (s_1,s_2) $ 와 $ (1-s_2,1-s_1) $ 간의 이중성은 이러한 이중 시리즈에서 어떻게 나타나는가?
• RQ3 계수가 코어스포름의 푸리에 계수일 경우에 해당하는 함수방정식은 무엇이며, 이는 모듈라 형식과 $ L $-함수와 어떻게 관련되는가?
• RQ4 적분 변환과 $ \Gamma $-함수 항등식을 사용하여 관련 특수함수 $ H_{2,N}^{\pm} $ 의 해석적 계속성을 확립할 수 있는가?
• RQ5 계수 체계에 모듈라 기호와 콘플루언트 하이퍼지오메트릭 함수가 포함될 경우, 함수방정식의 정확한 구조는 어떠한가?

주요 결과

• 일반적인 함수방정식이 $ \zeta_2(s_1,s_2;\alpha,\beta,\omega) $ 에 대해 수립되었으며, $ F_{\pm}(1-s_2,1-s_1;\beta,\alpha,\omega) $ 의 합으로 표현되며, $ (s_1,s_2) $ 와 $ (1-s_2,1-s_1) $ 간의 대칭적 이중성과 $ (\alpha,\beta) $ 와 $ (\beta,\alpha) $ 간의 대칭성도 포함된다.
• 계수가 코어스포름의 푸리에 계수일 경우, 조건 $ \sigma_1 < 0, \sigma_2 < (\kappa-1)/2 $ 하에서 함수방정식이 성립하며, 자동형 형식 이론으로의 확장을 가능하게 한다.
• 멜린 역변환과 경로 변형을 활용하여 $ \widetilde{\mathcal{F}} $, $ \Gamma $-함수, $ L $-함수를 포함하는 적분 표현을 통해 $ H_{2,N}^{\pm} $ 의 해석적 계속성이 증명된다.
• 함수방정식에는 $ \Gamma(1-s_1) $, $ \omega^{1-s_1-s_2} $, $ \phi(s_1+s_2-1,\beta) $ 를 포함하는 추가 항이 포함되며, 이는 제타급수의 해석적 구조에서 기인한다.
• 변환 법칙 $ F_{\pm}(1-s_2,1-s_1;\beta,\alpha,\omega) = (\pm 2\pi i\omega)^{s_1+s_2-1} F_{\pm}(s_1,s_2;\alpha,\beta,\omega) $ 가 유도되어 주 함수방정식의 검증에 사용된다.
• 최종 함수방정식은 영역 $ \sigma_1 < 0, \sigma_2 < (\kappa-1)/2 $ 에서 유효하며, $ H_{2,N}^{\pm} $ 의 해석적 계속성 덕분에 전체 표현의 해석성이 보장된다.