[논문 리뷰] Non universality on the critical line

Johan Andersson|arXiv (Cornell University)|2012. 07. 20.

Analytic Number Theory Research참고 문헌 22인용 수 4

한 줄 요약

이 논문은 리만 제타함수의 비율이 임의의 실수부가 1/2인 직선에서 유니버설리티를 가지지 않는다는 것을, 하디 Z-함수의 실수성과 제타함수의 정수부의 기본 성질을 활용하여 증명한다. 핵심 결과는 린델뢰프 가설 조건 하에 조건 없이 비유니버설리티를 확립함으로써, 제타함수 유니버설리티가 성립하는 영역에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We prove that the Riemann zeta-function is not universal on the critical line by using the fact that the Hardy Z-function is real, and some elementary considerations. This is a related to a recent result of Garunkstis and Steuding. We also prove conditional and partial results for non universality on the lines Re(s)=σfor 0

연구 동기 및 목표

• 리만 제타함수가 임의의 실수부가 1/2인 직선에서 유니버설리티를 갖는지 여부에 대한 열린 질문을 해결하기 위해.
• 린델뢰프 가설 조건 하에 제약 조건 없이 임의의 실수부가 1/2인 직선에서의 비유니버설리티를 확립함으로써, 이전에 리만 가설에 의존하던 결과들을 약화시키기 위해.
• 비판적 스트립 내 다양한 수직선에서 제타함수의 유니버설리티 경계를 명확히 하기 위해.
• 하디 Z-함수나 정규화된 제타값과 같은 관련 함수들이 더 약한 노름에서 유니버설리티를 보일 수 있는지 조사하기 위해.
• 기존의 유니버설리티 정리들이 실패하는 영역, 특히 임의의 실수부가 1/2인 직선에서의 한계를 밝혀내기 위해.

제안 방법

• 하디 Z-함수의 실수성, 즉 $Z(t) = \chi(1/2 + it)^{-1/2} \zeta(1/2 + it)$를 이용해 임의의 실수부가 1/2인 직선에서 제타함수의 행동을 제약한다.
• 제타함수의 함수방정식을 적용하여 $\zeta(1/2 + it)$의 각도와 크기를 분석함으로써, 그 정규성 때문에 임의의 연속함수의 균일한 근사가 불가능하다는 것을 보여준다.
• 영의 밀도를 이용한 방법: 린델뢰프 가설 조건 하에, $\zeta(1/2 + it)$의 영들이 충분히 밀도 있게 분포하여 임의의 연속함수의 균일한 근사를 방해한다.
• 제타함수의 로그 도함수와 로그를 직접 분석함으로써, 이전 연구에서 사용된 로그 도함수 방법에 의존하지 않는다.
• $L^1$ 및 $L^2$ 노름을 고려하여 유니버설리티를 분석함으로써, 최대노름 유니버설리티가 영의 밀도로 인해 실패하지만, 더 약한 노름에서는 여전히 근사가 가능할 수 있음을 주장한다.
• 예를 들어 $|\zeta(1/2 + it)|^{1/\sqrt{\log\log t}}$와 같은 정규화된 제타함수의 형태를 $L^1$-노름에서의 유니버설리티 후보로 제안한다.

실험 결과

연구 질문

• RQ1 리만 제타함수는 임의의 실수부가 1/2인 직선에서 유니버설리티를 갖는가?
• RQ2 제타함수 $\zeta(s)$에 대한 유니버설리티 정리가 임의의 실수부가 1/2인 직선으로 확장될 수 있는가? 만약 그렇지 않다면, 그 장애 요인은 무엇인가?
• RQ3 하디 Z-함수는 $L^1$-노름에서 유니버설리티를 갖는가? 아니면 그 정규성 특성으로 인해 유사하게 장애를 겪는가?
• RQ4 예를 들어 $\zeta(1/2 + it)^{1/\sqrt{\log\log t}}$와 같은 정규화된 제타함수 형태는 $L^1$-노름에서 유니버설리티를 갖는가?
• RQ5 제타함수 $\zeta(s)$의 유니버설리티 경계는 $0 < \sigma < 1$인 수직선 $\operatorname{Re}(s) = \sigma$에 대해 정확히 어디에 위치하는가?

주요 결과

• 린델뢰프 가설 조건 하에, 리만 제타함수는 임의의 실수부가 1/2인 직선에서 비유니버설리티를 갖는다. 이는 널리 믿어지는 추측에 기반한 조건 없이도 성립하는 결과이다.
• 비유니버설리티의 원인은 하디 Z-함수의 실수성에 의해 제약을 받는 $\zeta(1/2 + it)$의 각도의 과도한 정규성에 기인한다.
• 린델뢰프 가설 조건 하에, 임의의 실수부가 1/2인 직선에서의 영의 밀도는 $f(t) = 1$과 같은 임의의 연속함수를 $\zeta(1/2 + iT + it)$의 이동으로 균일하게 근사하는 것을 방해한다.
• 최대노름 유니버설리티는 하디 Z-함수와 $|\zeta(1/2 + it)|$ 모두에서 영의 밀도 장애로 인해 실패한다.
• 논문은 $|\zeta(1/2 + it)|^{1/\sqrt{\log\log t}}$가 $L^1$-유니버설리티에 더 자연스러운 후보일 수 있으나, 이는 아직 열린 문제이다.
• 이전 연구자인 가룬크시스와 스투딩의 결과를 확장하여, $\zeta(1/2 + it), \zeta'(1/2 + it)$가 $\mathbb{C}^2$에 밀도가 없음을 보였고, 바론린의 유니버설리티 정리가 임의의 실수부가 1/2인 직선으로 확장되지 않음을 확인한다.