[논문 리뷰] Expansion of Dirichlet L-function on the critical line in Meixner-Pollaczek polynomials

Hiroto Inoue|arXiv (Cornell University)|2014. 12. 03.

Advanced Mathematical Identities참고 문헌 8인용 수 3

한 줄 요약

이 논문은 임계선 상에서 완비된 리만 제타 함수와 디리클레 L-함수에 대한 메이크너-폴라츠키 다항식 전개의 균일 수렴성을 확립한다. 부분합이 컴acts 집합에서 함수를 균일하게 근사하며, 근사 다항식의 영점이 비자명한 제타 함수의 영점으로 수렴함을 증명한다. 주요 기여는 근사 다항식의 최대 영점이 차수에 따라 선형적으로 증가함을 보여주는 엄밀한 스펙트럼 경계를 제시함으로써, 직교 다항식 전개를 통한 리만 가설에 대한 새로운 접근법을 뒷받 under한다.

ABSTRACT

We study the expansions of the completed Riemann zeta function and completed Dirichlet L-functions in Meixner-Pollaczek polynomials. We give the proof of the uniform convergence, the multiplicative structure for the coefficients of these expansions, and a calculation for the coefficients of a completed Dirichlet L-function $\hat{L}(s, χ_{-1})$. Furthermore, we give a boundary for the zeros of the approximating polynomial.

연구 동기 및 목표

• 완비된 리만 제타 함수와 디리클레 L-함수에 대한 메이크너-폴라츠키 다항식을 이용한 새로운 직교 전개 프레임워크를 수립하기 위해.
• 비판선 내에서 MP-전개의 균일 수렴성을 증명하여 함수방정식의 대칭성을 유지하기 위해.
• 근사 다항식의 영점 위치에 대한 명시적 경계를 유도하며, 특히 최대 영점에 대해.
• 근사 다항식 내의 복소수 영점 분포를 연구하여 리만 가설에 대한 잠재적 지표로 삼기 위해.
• L-함수의 영점 분포를 연구하기 위한 다항식 근사의 수치적 및 분석적 기초를 제공하기 위해.

제안 방법

• 가중치 $ |\Gamma(it + \nu/2)|^2 dt $를 갖는 $ L^2 $-공간에서 메이크너-폴라츠키 다항식 $ q_n^{(\nu,0)}(it) $를 직교 기저로 사용한다.
• 다르부의 방법을 적용하여 다항식의 점근 전개를 유도함으로써 계수의 추정과 성장 행동을 분석한다.
• 근사 다항식의 고유값(즉, 영점)을 유계하기 위해 전개 계수의 삼중대각행렬 + 마지막 행 구조에 대해 제르시고린 원 정리를 적용한다.
• 행렬 표현의 재귀관계와 트레이스 항등식을 유도하여 영점의 거듭제곱 합을 계산하고 성장률을 추론한다.
• MP-계수로부터 구성된 행렬 $ \mathbf{B}_n $ 의 스펙트럼 성질을 이용하여 부분합 $ S_n(t) $ 의 영점 위치를 분석한다.
• 수치적 오차 범위 내에서 복소수 영점의 가능 위치를 추정하기 위해 의사스펙트럼 방법을 적용하였으며, $ n = 260 $ 에서의 수치 계산으로 검증되었다.

실험 결과

연구 질문

• RQ1 완비된 리만 제타 함수 $ \Xi(t) $ 의 메이크너-폴라츠키 다항식 전개는 임계선 내의 컴팩트 부분집합에서 균일 수렴하는가?
• RQ2 근사 다항식 $ S_n(t) $ 의 영점들이 $ \Xi(t) $ 의 비자명한 영점으로 수렴하는가? 만약 그렇다면, 수렴 속도는 어떠한가?
• RQ3 다항식 $ S_n(t) $ 의 최대 영점 $ \rho_n^{\max} $ 의 점근적 성장률은 $ n \to \infty $ 일 때 어떻게 되는가?
• RQ4 근사 다항식 내에 복소수 영점이 나타나는가? 그리고 수치적 불확실성에도 불구하고 그 위치를 신뢰성 있게 추정할 수 있는가?
• RQ5 계수 행렬 $ \mathbf{B}_n $ 의 스펙트럼 구조가 $ S_n(t) $ 의 영점 위치에 대한 경계를 제공할 수 있는가?

주요 결과

• 완비된 리만 제타 함수 $ \Xi(t) $ 의 MP-전개는 임계선 내의 모든 컴팩트 부분집합에서 $ \Xi(t) $ 로 균일 수렴한다.
• 부분합 $ S_n(t) $ 는 메이크너-폴라츠키 다항식의 우도성 덕분에 기능방정식 대칭성을 유지하며, $ S_n(-t) = S_n(t) $ 를 만족한다.
• 완비된 디리클레 L-함수 $ \widehat{L}(s,\chi_{-1}) $ 에 대해, [A]와 [K1]의 결과를 이용해 MP-계수를 명시적으로 계산함으로써 수치 분석이 가능해졌다.
• 근사 다항식 $ S_n(t) $ 의 최대 영점 $ \rho_n^{\max} $ 는 어떤 양수 상수 $ C, C' $ 에 대해 $ C' n \leq |\rho_n^{\max}| \leq C n $ 를 만족하며, 이는 $ n $ 에 따라 선형적으로 증가함을 나타낸다.
• $ n = 260 $ 에 대한 수치 결과는 거의 모든 영점이 실수축 위에 있지만, 원점 근처에 네 개의 복소수 영점이 나타나며, 이는 의사스펙트럼 방법으로 유도된 추정 오차 경계와 일치한다.
• 영점의 제곱합 $ \sum_{k=1}^n \rho_{n,k}^2 $ 는 점근적으로 $ \sim \frac{2}{3} n^3 $ 으로 성장함을 확인하여, 모든 영점이 허수축 근처에 있는 것은 아님을 확인한다.