Vaughans kimliği - Vaughans identity - Wikipedia

Matematikte ve analitik sayı teorisi, Vaughan'ın kimliği bir Kimlik tarafından kuruldu R. C. Vaughan  (1977 ) basitleştirmek için kullanılabilir Vinogradov üzerinde çalışmak trigonometrik toplamlar. Formun toplam işlevlerini tahmin etmek için kullanılabilir

${ displaystyle toplamı _ {n leq N} f (n) Lambda (n)}$

nerede f biraz aritmetik fonksiyon doğal tam sayıların n, uygulamalardaki değerleri genellikle birliğin kökleri olan ve Λ, von Mangoldt işlevi.

Yöntemi uygulama prosedürü

Vaughan'ın kimliğini oluşturmasındaki motivasyon, Davenport'ta Bölüm 24'ün başında kısaca tartışılıyor. Şimdilik, kimliği ve uygulamalarda kullanımını motive eden teknik ayrıntıların çoğunu atlayacağız ve bunun yerine yapısının parçalara göre kurulumuna odaklanacağız. Referansı takiben, referansın genişlemesine dayalı olarak dört farklı toplam oluşturuyoruz. logaritmik türev of Riemann zeta işlevi kısmi olan işlevler açısından Dirichlet serisi sırasıyla üst sınırlarında kesildi ${ displaystyle U}$ ve ${ displaystyle V}$, sırasıyla. Daha doğrusu biz tanımlıyoruz ${ displaystyle F (s) = toplamı _ {m leq U} Lambda (m) m ^ {- s}}$ ve ${ displaystyle G (s) = toplamı _ {d leq V} mu (d) d ^ {- s}}$bizi tam kimliğe götüren

${ displaystyle - { frac { zeta ^ { prime} (s)} { zeta (s)}} = F (s) - zeta (s) F (s) G (s) - zeta ^ { prime} (s) G (s) + left (- { frac { zeta ^ { prime} (s)} { zeta (s)}} - F (s) sağ) (1- zeta (s) G (s)).}$

Bu son genişleme yazabileceğimizi ima ediyor

${ displaystyle Lambda (n) = a_ {1} (n) + a_ {2} (n) + a_ {3} (n) + a_ {4} (n),}$

bileşen fonksiyonlarının tanımlandığı yer

${ displaystyle { begin {align} a_ {1} (n) &: = { Biggl {} { begin {matrix} Lambda (n) ve { text {if}} n leq U; 0 ve { text {if}} n> U end {matris}} a_ {2} (n) &: = - sum _ { stackrel {mdr = n} { stackrel {m leq U} {d leq V}}} Lambda (m) mu (d) a_ {3} (n) &: = sum _ { stackrel {hd = n} {d leq V }} mu (d) log (h) a_ {4} (n) &: = - sum _ { stackrel {mk = n} { stackrel {m> U} {k> 1}} } Lambda (m) left ( sum _ { stackrel {d | k} {d leq V}} mu (d) sağ). End {hizalı}}}$

Daha sonra karşılık gelen toplama fonksiyonlarını tanımlarız. ${ displaystyle 1 leq i leq 4}$ olmak

${ displaystyle S_ {i} (N): = toplamı _ {n leq N} f (n) a_ {i} (n),}$

böylece yazabiliriz

${ displaystyle toplamı _ {n leq N} f (n) Lambda (n) = S_ {1} (N) + S_ {2} (N) + S_ {3} (N) + S_ {4} (N).}$

Son olarak, çok sayfalı bir teknik argümanın sonunda ve zaman zaman bu toplamların hassas tahminleri,^[1] aşağıdaki formunu elde ediyoruz Vaughan'ın kimliği bunu varsaydığımızda ${ displaystyle | f (n) | leq 1, forall n}$, ${ displaystyle U, V geq 2}$, ve ${ displaystyle UV leq N}$:

${ displaystyle toplamı _ {n leq N} f (n) Lambda (n) ll U + ( log N) times max _ {w} sol | toplamı _ {w leq r leq { frac {N} {t}}} f (rt) right | + { sqrt {N}} ( log N) ^ {3} times max _ {U leq M leq N / V } max _ {V leq j leq N / M} left ( sum _ {V$

Bazı durumlarda, bileşen toplamı işlenerek Vaughan'ın kimliğinden daha keskin tahminlerin elde edilebileceği belirtilmiştir. ${ displaystyle S_ {2}}$ şeklinde genişleterek daha dikkatli

${ displaystyle S_ {2} = sum _ {t leq UV} longmapsto sum _ {t leq U} + sum _ {U$

Vaughan'ın kimliğini uygulayarak elde edilen üst sınırın optimalliği, en iyi işlevler açısından uygulamaya bağlı görünmektedir. ${ displaystyle U = f_ {U} (N)}$ ve ${ displaystyle V = f_ {V} (N)}$ denklem (V1) içine girmeyi seçebiliriz. Sırasıyla birden çok yazar tarafından değerlendirilen farklı bağlamlarda ortaya çıkan özel örnekler için bir sonraki bölümde atıfta bulunulan uygulamalara bakın.

Başvurular

• Vaughan'ın kimliği, ispatını basitleştirmek için kullanılmıştır. Bombieri-Vinogradov teoremi ve çalışmak Kummer meblağları (aşağıdaki referanslara ve harici bağlantılara bakın).
• Davenport'un 25. Bölümünde, Vaughan'ın kimliğinin bir uygulaması, asal ile ilgili önemli bir şeyi tahmin etmektir. üstel toplam nın-nin Vinogradov tarafından tanımlandı

${ displaystyle S ( alfa): = toplamı _ {n leq N} Lambda (n) e sol (n alfa sağ).}$

Özellikle, bu toplamlar için bir asimptotik üst sınır elde ederiz (tipik olarak irrasyonel ${ displaystyle alpha in mathbb {R} setminus mathbb {Q}}$) rasyonel yaklaşımları tatmin eden

${ displaystyle sol | alfa - { frac {a} {q}} sağ | leq { frac {1} {q ^ {2}}}, (a, q) = 1,}$

şeklinde

${ displaystyle S ( alpha) ll sol ({ frac {N} { sqrt {q}}} + N ^ {4/5} + { sqrt {Nq}} sağ) ( log N ) ^ {4}.}$

Bu tahminin argümanı, Vaughan'ın kimliğinden yola çıkarak, şunu biraz karmaşık bir argümanla kanıtlar:

${ displaystyle S ( alpha) ll left (UV + q + { frac {N} { sqrt {U}}} + { frac {N} { sqrt {V}}} + { frac { N} { sqrt {q}}} + { sqrt {Nq}} right) ( log (qN)) ^ {4},}$

ve sonra önemsiz olmayan durumlarda yukarıdaki ilk formülü çıkararak ${ displaystyle q leq N}$ Ve birlikte ${ displaystyle U = V = N ^ {2/5}}$.

• Vaughan'ın kimliğinin başka bir uygulaması, yöntemin toplamlar için tahminler türetmek için kullanıldığı Davenport'un 26.Bölümünde bulunur (üstel toplamlar ) nın-nin üç asal.
• Vaughan'ın uygulamadaki kimliğinin örnekleri aşağıdaki referanslar / alıntılar olarak verilmiştir. bu bilgilendirici gönderi:.^[2][3][4][5]

Genellemeler

Vaughan'ın kimliği şu şekilde genelleştirildi: Heath-Brown (1982).

Notlar

Referanslar

• Harold, Davenport. Çarpımsal Sayı Teorisi (Üçüncü baskı). New York: Matematikte Springer Lisansüstü Metinleri. ISBN  0-387-95097-4.
• Graham, S.W. (2001) [1994], "Vaughan'ın kimliği", Matematik Ansiklopedisi, EMS Basın
• Heath-Brown, D.R. (1982), "Kısa aralıklarla asal sayılar ve genelleştirilmiş bir Vaughan kimliği", Yapabilmek. J. Math., 34 (6): 1365–1377, doi:10.4153 / CJM-1982-095-9, BAY  0678676
• Vaughan, R.C. (1977), "Sommes trigonométriques sur les nombres premiers", Rendus de l'Académie des Sciences, Série A'dan oluşur, 285: 981–983, BAY  0498434

Dış bağlantılar

• Vaughan'ın Kimliği Üzerine Proof Wiki
• Joni's Matematik Notları (çok detaylı açıklama)
• Matematik Ansiklopedisi
• Terry Tao'nun büyük elek ve Bombieri-Vinogradov teoremi hakkındaki blogu