布朗-蒂奇馬什定理

在解析數論中，布朗-蒂奇馬什定理（Brun–Titchmarsh theorem）是一個以維戈·布朗和愛德華·查爾斯·蒂奇馬什（英語：Edward Charles Titchmarsh）的名字命名的定理。該定理指的是算數數列中的質數（英語：primes in arithmetic progression）個數的上界。

陳述

設 $\pi (x;q,a)$ 為計算在模q的狀況下，與 $a$ 同餘且不大於 $x$ 的質數 $p$ 個數的函數，則對於任意的 $x$ 與 $q$ 而言，有

\pi (x;q,a)\leq {2x \over \varphi (q)\log(x/q)}

該定理由蒙哥馬利與鮑勃·沃恩（英語：Bob Vaughan）以篩法證明；而較早但稍弱、多乘以一個 $1+o(1)$ 因子的結果則由布朗和蒂奇馬什證明。

在 $q$ 相對較小，例如 $q\leq x^{9/20}$ 的情況下，可得到更好的上界：

\pi (x;q,a)\leq {(2+o(1))x \over \varphi (q)\log(x/q^{3/8})}

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

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

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

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

Motohashi, Yoichi, Sieve Methods and Prime Number Theory, Tata IFR and Springer-Verlag, 1983, ISBN 3-540-12281-8
Hooley, Christopher, Applications of sieve methods to the theory of numbers, Cambridge University Press: 10, 1976, ISBN 0-521-20915-3
Mikawa, H., Brun-Titchmarsh theorem, Hazewinkel, Michiel (編), 数学百科全书, Springer, 2001, ISBN 978-1-55608-010-4
Montgomery, H.L.; Vaughan, R.C., The large sieve, Mathematika, 1973, 20 (2): 119–134, doi:10.1112/s0025579300004708, hdl:2027.42/152543  .