제타함수의 zero-free region 다룰때 사용하는 bound인데, 그냥 구글링해도 관련된 Tao 블로그 포스팅이 바로 나오는데.
익명(183.107)2019-08-01 16:56
답글
고맙따 - dc App
익명(39.7)2019-08-01 16:59
그리고 실제로 Vinogradov-Korobov까지 갈 필요없이 그냥 어떤 상수 c>0에 대해서 |pi(x)-li(x)|= O(xexp(-c (log x)^{1/2}))인 사실만 써도 됨.. 이건 그냥 대부분 multiplicative number theory 관련 서적에서 모두 다루니까 금방 찾을수 있음. (예를 들어 Montgomery-Vaughan chapter 6)
익명(183.107)2019-08-01 17:13
답글
멀티플리케이트는 안봄 - dc App
익명(39.7)2019-08-01 17:14
답글
제타함수의 zero-free region을 정확히 분석하는것과 pi(x)의 좋은 estimate을 얻는건 큰 연관성이 있고.. 예를 들어서 t를 제타함수의 nontrivial zero의 real part의 supremum이라 할때, |pi(x)-li(x)|=O(x^t log x)가 성립함. 따라서 RH가 참이라면 t=1/2이니 |pi(x)-li(x)|=O(x^{1/2} log x)라는 결과를 얻고.. 실제로 이것이 성립하면 역으로 RH도 성립함.
제타함수의 zero-free region 다룰때 사용하는 bound인데, 그냥 구글링해도 관련된 Tao 블로그 포스팅이 바로 나오는데.
고맙따 - dc App
그리고 실제로 Vinogradov-Korobov까지 갈 필요없이 그냥 어떤 상수 c>0에 대해서 |pi(x)-li(x)|= O(xexp(-c (log x)^{1/2}))인 사실만 써도 됨.. 이건 그냥 대부분 multiplicative number theory 관련 서적에서 모두 다루니까 금방 찾을수 있음. (예를 들어 Montgomery-Vaughan chapter 6)
멀티플리케이트는 안봄 - dc App
제타함수의 zero-free region을 정확히 분석하는것과 pi(x)의 좋은 estimate을 얻는건 큰 연관성이 있고.. 예를 들어서 t를 제타함수의 nontrivial zero의 real part의 supremum이라 할때, |pi(x)-li(x)|=O(x^t log x)가 성립함. 따라서 RH가 참이라면 t=1/2이니 |pi(x)-li(x)|=O(x^{1/2} log x)라는 결과를 얻고.. 실제로 이것이 성립하면 역으로 RH도 성립함.
제타함수의 zero-free region에 대한 survey를 보고 싶으면 다음의 Kevin Ford의 survey 참고.
https://faculty.math.illinois.edu/~ford/wwwpapers/zeros.pdf
내가 이런걸 볼정도는 아닌듯 - dc App