Ябай һандарҙың таралыуы тураһында теорема

Википедия — ирекле энциклопедия мәғлүмәте

Ябай һандарҙың таралыуы тураһында теорема (рус. Теорема о распределении простых чисел) — һандарҙың аналитик теорияһының ябай һандарҙың таралыуының асимптотикаһын тасуирлаусы теоремаһы, ул ябай һандарҙың таралыу функцияһы ( киҫегендәге ябай һандар һаны) ҙурайыу менән кеүек арта тип раҫлай, йәғни:

.

Тупаҫ итеп әйткәндә, был, 1-ҙән -ға тиклем осраҡлы ғына һайланған һандың ябай һан булыу ихтималлығы яҡынса -ға тигеҙ тигәнде аңлата. Шулай уҡ был теорема -сы ябай һанын һүрәтләү өсөн эквивалентлы рәүештә әйтеп бирелергә мөмкин: ул

тип раҫлай

(бында һәм артабан яҙыуы функцияларҙың аргументы сикһеҙлеккә ынтылғанда тигәнде аңлата).

Ябай һандарҙың таралыуын интеграль логарифм функцияһы анығыраҡ һүрәтләй. Риман гипотезаһы үтәлгәндә дөрөҫ[1]

саҡта.

Тарихы[үҙгәртергә | вики-тексты үҙгәртергә]

Ябай һандарҙың урынлашыуында статистик законлылыҡты беренсе булып Гаусс абайлай. Ул Энке Иоганн Францҡа хатында (1849), 1792 йәки 1793 йылда уҡ, «тик эмпирик яҡтан, ябай һандарҙың тығыҙлығы «яҡынса логарифмға кире пропорциональ дәүмәлгә яҡын» булыуын күрҙем», тип хәбәр итә[2]. Был ваҡытҡа тиклем, Фелкель һәм Георг Вега төҙөгән ябай һандар таблийаһына нигеҙләнеп, Адриен Мари Лежандр (1796 йылда) ябай һандарҙың таралыу функцияһы (x-тан ҙур булмаған ябай һандар һаны) :

аңлатмаһы менән яҡынайыуы мөмкин, тип фаразлайЮ

бында Гаусс телгә алынған хатында Лежандр формулаһын тәнҡитләй һәм, эвристик фекерләү ҡулланып, икенсе яҡынса функцияны — интеграль логарифмды тәҡдим итә:

Ләкин Гаусс был гипотезаһын бер ерҙә лә баҫтырып сығармай. Ике яҡынлау ҙа, Лежандрҙың да, шулай уҡ Гаустың да, һәм функцияларының, юғарыла күрһәтелгән, бер үк күҙалланған асимптотик эквивалентлығына килтерә, шулай ҙа Гаусс яҡынлауы, әгәр хатаны баһалағанда функциялар сағыштырмаһы урынына уларҙың айырмаһын ҡарағанда, яҡшыраҡ булып сыға.

Чебышёв үҙенең ике хеҙмәтендә, 1848 һәм 1850 йылдарҙа[3],

(1)

сағыштырмаһының өҫкө M һәм аҫҡы m сикләнмәләре

сиктәре эсендә, шулай уҡ, әгәр (1) сағыштырмаһының сикләнмәһе булһа, ул 1-гә тигеҙ тип иҫбатлай. Аҙағыраҡ (1881) Дж. Дж. Сильвестр сикләнмә өсөн рөхсәт ителгән интервалды 10 %-тан 4 %-ҡа тиклем тарайта.

1859 йылда Бернхард Римандың, (Леонард Эйлер ысын аргумент функцияһы булараҡ индергән) ζ-функцияһын комплекслы өлкәлә ҡараусы, һәм уны ябай һандарҙың таралыуы менән бәйләүсе хеҙмәте барлыҡҡа килә. Был хеҙмәттең идеяһын үҫтереп, 1896 йылда Жак Адамар һәм де ла Валле Пуссен бер үк ваҡытта һәм бер-береһенә бәйһеҙ ябай һандарҙың таралыуы тураһында теореманы иҫбат итәләр.

Ахыр килеп, 1949 йылда комплекслы анализды ҡулланмаған Эрдеш—Сельберг иҫбатлауы барлыҡҡа килә.

И5батлау барышы[үҙгәртергә | вики-тексты үҙгәртергә]

Чебышёвтың пси-функцияһын терминдарын үҙгәртеп формулировкалау[үҙгәртергә | вики-тексты үҙгәртергә]

Фекерләүҙең дөйөм башланғыс этабы булып ябай һандарҙың таралыу законын,

тип билдәләнгән Чебышёвтың пси-функцияһы терминдарында үҙгәртеп формулировкалау тора,

икенсе төрлө әйткәндә, Чебышёвтың пси-функцияһы ул Мангольдт функцияһы суммаһы:

Тап ошонан сығып ҡарағанда, ябай һандарҙың таралыуының асимптотик законы

тиң булып сыға.

Был шунан килеп сыға, логарифм киҫегенең ҙур өлөшөндә «даими тиерлек», ә квадраттарҙың, кубтарҙың, һәм башҡаларҙың (*) суммаһына өлөшө иҫәпкә алмаҫлыҡ бәләкәй; шуға күрә бөтә ҡушылыусы логарифмдар яҡынса -ҡа тигеҙ, һәм функцияһы асимптотик үҙен функцияһы кеүек тота.

Классик фекерләүҙәр: Римандың дзета-функцияһына күсеү[үҙгәртергә | вики-тексты үҙгәртергә]

Эйлерр тождествоһынан күренеүенсә,

Мангольдт функцияһына ярашлы Дирихле рәте («сығарыусы функция»), дзета-функцияның минус логарифмик сығарылмаһына тигеҙ:

Бынан тыш, функцияһынан 0-дән уңда урынлашҡан вертикаль тура һыҙыҡ буйлап интеграл булғанда -гә тигеҙ һәм булғанда 0-гә тигеҙ. Шуға күрә, уң һәм һул яғын -ға ҡабатлағанда һәм (ыҡсым — үҙ булмаған интегралдар шартлы ғына йыйыла!) вертикаль тура һыҙығы буйынса интегрираллау һул яғында менән теүәл суммаһын ҡалдыра. Икенсенән, вычет тураһында теоремаларҙы ҡулланыу һул яғын вычеттар суммаһы күренешендә яҙырға мөмкинлек бирә; дзета-функцияның һәр нуленә 1-гә тигеҙ булған вычеты менән уның логарифмик сығарылмаһының беренсе тәртиптәге полюсы ярашлы, ә нөктәһендә беренсе тәртиптәге полюсҡа — -гә тигеҙ булған вычеты менән беренсе тәртиптәге полюс ярашлы.

Был программаны ҡәтғи тормошҡа ашырыу[4] Римандың асыҡ формулаһын[5] табырға мөмкинлек бирә:

Бында ҡушыу дзета-функцияһының кризис һыҙатында ятҡан нулдәре буйынса алып барыла, ҡушылыусыһы нулдә полюсына, ә ҡушылыусыһы — дзета-функцияның «тривиаль» тип аталған нулдәренә яуап бирә.

Дзета-функцияның кризис һыҙатынан ситтә тривиаль булмаған нулдәренең булмауы эҙләнгән раҫлауға килтерә

((**) формулаһында сумма -ҡа ҡарағанда яйыраҡ үҫәсәк). Бынан тыш, Риман гипотезаһы -тың -тан, һәм, ярашлы рәүештә, -тың -тан мөмкин булған тайпылыуҙарына «оптималь» баһа биреүгә килтерә.

Элементар иҫбатлау: Эрдеш-Сельбергтың тамамлауы[үҙгәртергә | вики-тексты үҙгәртергә]

Логарифмлағандан һуң түбәндәге күренештә яҙылыусы арифметиканың төп теоремаһы

шул рәүешле арифметик функциялар һәм Дирихле төргәге терминдарында түбәндәгесә формулировкалана

бында һәм  — ярашлы рәүештә арифметик функциялар, аргумент логарифмы һәм тождестволы берәмек.

Мёбиус әйләндереүҙәре формулаһы -ҙе уң яҡҡа күсерергә мөмкинлек бирә:

бында  — Мёбиус функцияһы.

(**) һул яғының суммаһы  — эҙләнгән функцияһы. Уң яғында Дирихле гиперболаһы формулаһын ҡулланыу төргәк суммаһын суммаһына ҡайтарып ҡалдырырға мөмкинлек бирә, бында  — логарифм суммаһы. Эйлер-Маклорен формулаһын ҡулланыу -ды түбәндәгесә яҙырға мөмкинлек бирә

бында  — Эйлер даимиһы. Ҡулайлы һайлап алынған F функцияһы өсөн (атап әйткәндә, ) был аңлатманан күренешендәге ҡушылыусыларҙы айырып алып, һәм ҡалдыҡты R аша тамғалап, Мёбиус әйләндереүе арҡаһында табабыҙ

булғанлыҡтан, икенсе ҡушылыусы күренешендә булыуын тикшерергә ҡала. Аскер леммаһын ҡулланыу был мәсьәләне раҫлауын тикшереүгә ҡайтарып ҡалдырырға мөмкинлек бирә, бында  — Мертенс функцияһы, Мёбиус функцияһы суммаһы.

Аҫ эҙмә-эҙлелектә Мёбиус функцияһы суммаларының бәләкәйлеге функцияһына ҡулланылған әйләндереү формулаһынан килеп сыға.

Артабан, арифметик функциялар алгебраһында Мёбиус функцияһы (мультипликатив операция-төргәк менән) беренсе тәртиптәге «дифференциаль тигеҙләмә»не ҡәнәғәтләндерә

бында  — был алгебрала дифференциаллау (Дирихле рәттәренә күсеү уны ғәҙәттәге функцияны дифференциаллауға әйләндерә). Шуға күрә ул икенсе тәртиптәге тигеҙләмәләрҙе лә ҡәнәғәтләндерә

Был тигеҙләмәне «урталаштырыу» һәм, функцияһының суммаһы асимптотикаһы суммаларының асимптотикаһынан яҡшыраҡ баһаланыуы, сағыштырмаһын был сағыштырманың урта ҡиммәттәре аша баһаларға мөмкинлек бирә. Бындай баһа «аҫ эҙмә-эҙлелек буйынса бәләкәй» булыу менән бергә эҙләнгән баһаһын алырға мөмкинлек бирә.

Шулай уҡ ҡарағыҙ[үҙгәртергә | вики-тексты үҙгәртергә]

Иҫкәрмәләр[үҙгәртергә | вики-тексты үҙгәртергә]

  1. Совр. пробл. матем., 2008, выпуск 11. — с. 30-31
  2. Дербишир, 2010, с. 178—179.
  3. Ахиезер Н. И. П. Л. Чебышёв и его научное наследие.
  4. Sketch of the Riemann--von Mangoldt explicit formula. Дата обращения: 15 ноябрь 2009. Архивировано 7 июль 2010 года.
  5. Weisstein, Eric W. Explicit Formula (инг.) на сайте Wolfram MathWorld.

Әҙәбиәт[үҙгәртергә | вики-тексты үҙгәртергә]

Классик хеҙмәттәр[үҙгәртергә | вики-тексты үҙгәртергә]

Хәҙерге заман әҙәбиәте[үҙгәртергә | вики-тексты үҙгәртергә]

Һылтанмалар[үҙгәртергә | вики-тексты үҙгәртергә]