[논문 리뷰] On mixed joint discrete universality for a class of zeta-functions

Roma Kačinskaitė, Kohji Matsumoto|arXiv (Cornell University)|2016. 11. 24.

Analytic Number Theory Research참고 문헌 17인용 수 7

한 줄 요약

이 논문은 스테우딩 하위류에 속하는 마츠모토 제타함수 $\varphi(s)$와 주기적 힐베르트 제타함수 $\xi(s,\alpha;\mathfrak{B})$에 대해 혼합 연속 이산 유니버설리티 정리를 수립한다. 이는 매개변수 $\alpha$가 초월수이고 이동 단위 $h$가 $\exp(2\pi/h)$가 유리수일 조건 하에, 이들의 이산 이동이 연결된 보완을 가진 컴팩트 집합에서 영이 아닌 해석적 함수를 동시에 근사시킬 수 있음을 증명한다. 이 결과는 이전에 잘못된 증명 틀을 수정하고, 분모 또는 분자의 소수를 포함하는 일부 오일러 인자를 제외한 수정된 제타함수를 도입함으로써 이전 연구를 확장한다.

ABSTRACT

We prove a mixed joint discrete universality theorem for a Matsumoto zeta-function $φ(s)$ (belonging to the Steuding subclass) and a periodic Hurwitz zeta-function $ζ(s,α;{\mathfrak{B}})$. For this purpose, certain independence condition for the parameter $α$ and the minimal step of discrete shifts of these functions is assumed. This paper is a continuation of authors' works [12] and [arXiv:1601.03795].

연구 동기 및 목표

• 스테우딩 하위류 $\widetilde{S}$에 속하는 마츠모토 제타함수 $\varphi(s)$와 주기적 힐베르트 제타함수 $\zeta(s,\alpha;\mathfrak{B})$에 대해 혼합 연속 이산 유니버설리티 정리를 수립한다.
• 이전 증명에서 $\exp(2\pi/h)$가 유리수일 경우 선형 독립 조건에 대한 기본적인 오류를 수정한다.
• 분모 또는 분자의 소수에 대응하는 유한한 오일러 인자를 제거한 수정된 제타함수 $\varphi_h(s)$와 $L_h(s,\chi)$를 통해 유니버설리티 프레임워크를 확장한다.
• 아델릭 군의 곱공간 위에서 이산 이동 분포의 약한 수렴을 보여주어, 유니버설리티 성질이 유지됨을 보장한다.

제안 방법

• 소수 집합 $\mathbb{P}_h$에 속하는 소수에 대응하는 오일러 인자를 제거하여 수정된 마츠모토 제타함수 $\widetilde{\varphi}_h(s)$를 정의한다. 여기서 $\mathbb{P}_h$는 $\exp(2\pi/h)$의 분모 또는 분자의 소수를 포함한다.
• 수정된 제타함수 $\varphi_h(s) = \widetilde{\varphi}_h(s + \alpha + \beta)$를 도입하여 해석적 성질(해석적 계속, 다항식 성장 등)을 유지한다.
• 하어 측도 $m_{hH} = m_{1hH} \times m_{2H}$를 갖는 확률 공간 $\Omega_h = \Omega_{1h} \times \Omega_2$를 구성한다. 여기서 $\Omega_{1h}$는 $\mathbb{P}_h$ 외부의 소수에 대응하며, 경험 측도 $Q_{N,h}$의 약한 수렴을 보장한다.
• 이산 이동 분포 $P_{N,h}$가 $\varphi_h(s)$와 $\zeta(s,\alpha;\mathfrak{B})$의 곱공간 위에서 한정 분포 $P_{\underline{Z},h}$로 수렴함을 증명한다.
• 수정된 선형 독립 조건을 적용하여, 소수와 이동된 제타값의 곱을 포함하는 함수방정식의 유일한 해가 자명한 해임을 보여, 한정 측도의 비퇴화성을 확보한다.
• 기능적 극한정리 프레임워크를 활용하여, 해석적 함수의 곱공간 위에서 측도의 약한 수렴을 통해 이산 유니버설리티 결과를 도출한다.

실험 결과

연구 질문

• RQ1 매개변수 $\alpha$와 이동 단위 $h$에 대해 수정된 독립 조건 하에, 마츠모토 제타함수 $\varphi(s) \in \widetilde{S}$와 주기적 힐베르트 제타함수 $\zeta(s,\alpha;\mathfrak{B})$에 대해 혼합 연속 이산 유니버설리티 정리를 수립할 수 있는가?
• RQ2 $\exp(2\pi/h)$가 유리수일 경우 올바른 선형 독립 조건은 무엇이며, 이는 이산 이동 하에서 제타함수의 함수적 독립성에 어떻게 영향을 미치는가?
• RQ3 이전 논문 [11]과 [10]에서 $\exp(2\pi/h)$가 유리수일 경우 선형 독립을 잘못 가정한 오류를 어떻게 수정할 수 있는가? 특히, 제한된 소수 집합 위에서 수정된 오일러乘수를 사용하여 해결할 수 있는가?
• RQ4 분모 또는 분자의 소수에 대응하는 유한한 오일러 인자를 제거한 수정된 제타함수 $\varphi_h(s)$에 대해서도 유니버설리티 성질이 유지되는가?
• RQ5 수정된 독립 조건 하에서 이산 이동 분포 $P_{N,h}$가 한정 측도 $P_{\underline{Z},h}$로 약하게 수렴하는가?

주요 결과

• 초월수 $\alpha$와 유리수 $\exp(2\pi/h)$ 조건 하에, 쌍 $(\varphi_h(s+ikh), \zeta(s+ikh,\alpha;\mathfrak{B}))$의 이산 이동 분포 $P_{N,h}$가 해석적 함수의 곱공간 위에서 한정 분포 $P_{\underline{Z},h}$로 약하게 수렴함을 증명한다.
• 수정된 선형 독립 조건은 방정식 $\prod_{p \in \mathbb{P} \setminus \mathbb{P}_h} p^{k_p} \prod_{m \in \mathbb{N}_0} (m + \alpha)^{l_m} = \exp(2\pi i a / h)$의 유일한 해가 자명한 해임을 보장하여, 제타함수 간 비자명한 관계를 방지한다.
• 소수 집합 $\mathbb{P}_h$에 대응하는 오일러 인자를 제거한 수정된 제타함수 $\varphi_h(s)$는 원래 $\varphi(s)$의 해석적 성질(해석적 계속, 다항식 성장, 평균제곱 유계성 등)을 유지하므로, 유니버설리티 프레임워크가 그대로 유지된다.
• 공간 $\Omega_h = \Omega_{1h} \times \Omega_2$ 위의 하어 측도 $m_{hH}$는 경험 측도 $Q_{N,h}$의 약한 극한이며, 이는 유니버설리티 결과를 증명하는 데 필수적이다.
• 이산 유니버설리티 결과가 성립한다: 모든 $\varepsilon > 0$에 대해, 컴팩트 집합에서 주어진 해석적 함수 $f_1(s)$와 $f_2(s)$로의 근사 오차가 $\varepsilon$ 이내인 정수 $k \in [0,N]$의 하한 밀도는 양수이다.
• 이 결과는 미쇼와 산더-슈타우딩의 이전 연구를 일반화하며, 이전에 잘못된 독립성 가정으로 인해 배제되었던 $\exp(2\pi/h)$가 유리수인 경우에도 혼합 유니버설리티를 확장한다.