布朗-蒂奇马什定理

在解析數論中，布朗-蒂奇馬什定理（Brun–Titchmarsh theorem）是一個以维戈·布朗和Template:Link-en的名字命名的定理。該定理指的是算數數列中的質數個數的上界。

陳述

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

π (x; q, a) \leq \frac{2 x}{φ (q) \log (x / q)}

該定理由蒙哥馬利與Template:Link-en以篩法證明；而較早但稍弱、多乘以一個 $1 + o (1)$ 因子的結果則由布朗和蒂奇馬什證明。

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

π (x; q, a) \leq \frac{(2 + o (1)) x}{φ (q) \log (x / q^{3 / 8})}

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

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

π (x; q, a) = \frac{x}{φ (q) \log (x)} (1 + O (\frac{1}{\log x}))

然而她的結果只對更受限的、 $q < (\log x)^{c}$ （其中Template:Mvar是一個常數）的範圍成立，而這即是Template:Link-en。