查看“︁布朗-蒂奇马什定理”︁的源代码

在解析數論中，'''布朗-蒂奇馬什定理'''（Brun–Titchmarsh theorem）是一個以[[维戈·布朗]]和{{link-en|愛德華·查爾斯·蒂奇馬什|Edward Charles Titchmarsh}}的名字命名的定理。該定理指的是[[算數數列中的質數]]個數的[[上界]]。

==陳述==
設<math>\pi(x;q,a)</math>為計算在模q的狀況下，與{{mvar|a}}同餘且不大於{{mvar|x}}的質數{{mvar|p}}個數的函數，則對於任意的{{mvar|x}}與{{mvar|q}}而言，有

:<math>\pi(x;q,a) \le {2x \over \varphi(q)\log(x/q)}</math>

==歷史==
該定理由蒙哥馬利與{{link-en|鲍勃·沃恩|Bob Vaughan}}以[[篩法]]證明；而較早但稍弱、多乘以一個<math>1+o(1)</math>因子的結果則由布朗和蒂奇馬什證明。

==改進==
在{{mvar|q}}相對較小，例如<math> q\le x^{9/20}</math>的情況下，可得到更好的上界：

:<math>\pi(x;q,a)\le{(2+o(1))x\over\varphi(q)\log(x/q^{3/8})}</math>

該結果由本橋洋一在1973年發現，他利用了自己發現的[[塞爾伯格篩法]]誤差項中的[[雙線性]]結構證明了這點。之後由於[[亨里克·伊萬尼克]]將該結果延伸到組合篩上之故，這利用篩法誤差項結構的想法發展成了解析數論的其中一個主要方法。

==與狄利克雷定理的比較==
與之相對地，[[狄利克雷定理]]給出了非病態的結果，而其結果可表述如次：

:<math>\pi(x;q,a) = \frac{x}{\varphi(q)\log(x)} \left({1 + O\left(\frac{1}{\log x}\right)}\right)</math>

然而她的結果只對更受限的、<math>q < (\log{x})^c</math>（其中{{mvar|c}}是一個常數）的範圍成立，而這即是{{link-en|西格尔-瓦尔菲什定理|Siegel–Walfisz theorem}}。

==參考資料==
*{{citation|last=Motohashi|first=Yoichi|authorlink=Yoichi Motohashi|title=Sieve Methods and Prime Number Theory|publisher=Tata IFR and Springer-Verlag|year=1983|isbn=3-540-12281-8}}
* {{citation|last=Hooley|first=Christopher|authorlink=Christopher Hooley|title=Applications of sieve methods to the theory of numbers|publisher=Cambridge University Press|year=1976|isbn=0-521-20915-3|page=10}}
* {{eom|title=Brun-Titchmarsh theorem|first=H.|last= Mikawa}}
* {{citation|last=Montgomery|first=H.L.|authorlink1=Hugh Montgomery (mathematician)|last2=Vaughan|first2=R.C.|authorlink2=Robert Charles Vaughan (mathematician)|title=The large sieve|journal=[[Mathematika]]|volume=20|issue=2|year=1973|pages=119–134|doi=10.1112/s0025579300004708|hdl=2027.42/152543|hdl-access=free}}.

{{DEFAULTSORT:Brun-Titchmarsh theorem}}
[[Category:解析數論定理]]
[[Category:素數定理]]