Кіріспе

Кешенді талдау арқылы бүтін сандардың қасиеттерін зерттеу

Математикада аналитикалық сандар теориясы – бүтін сандар туралы мәселелерді шешу үшін математикалық талдау әдістерін қолданатын сандар теориясының бір саласы. Ол, көбінесе, Питер Густав Лежун Дирихлеттің 1837 жылы Дирихле L-функцияларын енгізуімен басталды деп есептеледі, бұл Дирихлеттің арифметикалық прогрессиялар туралы теоремасын алғаш рет дәлелдеуге мүмкіндік берді. Бұл сала жай сандар (жай сандар теоремасы және Риманның зета-функциясы) және қосымша сандар теориясы (Голдбах болжамы және Уоринг проблемасы сияқты) салаларындағы нәтижелерімен кеңінен танымал.

Талдаулық сан теориясының салалары

Талдау сан теориясын екі негізгі бөлікке бөлуге болады, олар әдістегі негізгі айырмашылықтарға қарағанда, шешуге тырысатын мәселелердің түріне қарай ажыратылады. Көбейту сан теориясы жай сандардың таралуымен айналысады, мысалы, белгілі бір аралықтағы жай сандардың санын бағалау, және жай сандар теоремасын және арифметикалық прогрессиядағы жай сандар туралы Дирихле теоремасын қамтиды. Қосымша сан теориясы бүтін сандардың қосымша құрылымымен айналысады, мысалы, Голдбахтың 2-ден үлкен кез келген жұп сан екі жай санның қосындысы деген болжамы. Қосымша сан теориясының маңызды нәтижелерінің бірі – Уоринг мәселесінің шешімі.

Алдын ала өнімдер

Аналитикалық сан теориясының көп бөлігі алғашқы сандар теоремасынан туындады. π(x) кез келген нақты сан x үшін x-тен кем немесе оған тең алғашқы сандардың санын беретін алғашқы сандарды санау функциясы болсын. Мысалы, π(10) = 4, себебі 10-нан кем немесе оған тең төрт алғашқы сан бар (2, 3, 5 және 7). Алғашқы сандар теоремасы x / ln(x) π(x) функциясына жақсы жуықтама екенін көрсетеді, яғни x шексізге жақындағанда π(x) және x / ln(x) функцияларының бөліндісінің лиміті 1-ге тең:

бұл алғашқы сандардың асимптотикалық таралу заңы деп аталады. Адриен Мари Лежандр 1797 немесе 1798 жылы π(a) функциясы a / (A ln(a) + B) функциясымен жуықталады деп болжады, мұнда A және B белгісіз тұрақтылар. Сандар теориясы бойынша кітабының екінші басылымында (1808) ол A = 1 және B ≈ -1.08366 дегенімен нақтырақ болжам жасады. Карл Фридрих Гаусс осы мәселені қарастырды: "1792 немесе 1793 жылы", – деп жазды ол шамамен алпыс жыл өткен соң 1849 жылы Энкеге жолдаған хатында (өз естелігіне сәйкес), ол 15 немесе 16 жасқа толғандағы логарифм кестесіне "Primzahlen unter" ("алғашқы сандар астында") деген қысқа жазба жазған. Бірақ Гаусс бұл болжамды жарияламады. 1838 жылы Петер Густав Лежун Дирихле өзінің жуықтау функциясын ұсынды – логарифмдік интеграл li(x) (Гаусске хабарлаған сәл өзгеше түрдегі қатар түрінде). Лежандрдің және Дирихле формулаларының екеуі де π(x) және x / ln(x) функцияларының жоғарыда айтылған асимптотикалық теңдестігін білдіреді, бірақ Дирихле жуықтамасы, егер айырмашылықтарды бөлінділердің орнына қарастырса, айтарлықтай жақсы болып шығады.

Дирихлет

Иоганн Питер Густав Лежун Дирихле аналитикалық сан теориясын қалыптастырушы ретінде танымал, ол осы салада көптеген терең нәтижелер тапты және оларды дәлелдеу үшін негізгі құралдарды енгізді, олардың көптегені кейіннен оның есімімен аталатын болды. 1837 жылы ол математикалық талдау ұғымдарын қолданып, алгебралық мәселені шешу арқылы Дирихле теоремасын жариялады, осылайша аналитикалық сан теориясының саласын құрды. Теореманы дәлелдеу барысында ол Дирихле белгілері мен L функцияларын енгізді. 1841 жылы ол арифметикалық прогрессиялар теоремасын бүтін сандардан Гаусс бүтін сандары сақинасына дейін жалпылады.

Чебышев

1848 және 1850 жылдардағы екі мақаласында орыс математигі Пафнут Львович Чебышев жай сандардың асимптотикалық таралу заңдылығын дәлелдеуге ұмтылды. Оның еңбегі, 1737 жылдан бері Леонард Эйлердің жұмыстарында қолданылған, аргументі "s" нақты мәндерін қабылдайтын дзета-функция ζ(s) қолдануымен ерекшеленеді, бұл 1859 жылғы Риманның атақты еңбегінен бұрын жасалған. Ол асимптотикалық заңның сәл әлсіз түрін дәлелдеуге жетті, атап айтқанда, егер π(x)/(x/ln(x)) лимиті x шексіздікке ұмтылғанда бар болса, онда ол міндетті түрде бірге тең болады. Ол осы қатынастың барлық x үшін 1-ге жақын екі нақты берілген тұрақтылармен жоғарыдан және төменнен шектелгенін шартсыз дәлелдеді. Чебышевтің мақаласы жай сандар теоремасын дәлелдемегенімен, оның π(x) үшін есептеулері Бертран постулатын дәлелдеуге жеткілікті болды, яғни кез келген n ≥ 2 бүтін саны үшін n мен 2n аралығында жай сан бар.

Риман

Бернхард Риман қазіргі заманғы аналитикалық сандар теориясына елеулі үлес қосты. Ол бір ғана қысқа мақаласында (сандар теориясы саласында жариялаған жалғыз мақаласында) Риманның зета-функциясын зерттеді және оның жай сандардың таралуын түсінудегі маңыздылығын дәлелдеді. Ол зета-функцияның қасиеттері туралы бірнеше болжам жасады, соның ішінде әйгілі Риман гипотезасы да бар.

Хадамар және де ла Валле-Пуссен

Риманның идеяларын дамыта отырып, Жак Хадамард пен Шарль Жан де ла Валле Пуссен алғашқы сандар теоремасын тәуелсіз түрде екі рет дәлелдеді және екеуі де 1896 жылы жарияланды. Екі дәлелдеуде де комплекс сандарды талдау әдістері қолданылды, соның нәтижесінде Риманның ζ(s) функциясы s = 1 + it түріндегі, t > 0 шартын қанағаттандыратын барлық комплекс сандар үшін нөлге тең емес екені көрсетілді.

Қазіргі заман

1950 жылдан кейінгі ең үлкен техникалық өзгеріс – әсіресе көбейту мәселелерінде, іргелес әдістердің дамуы болды. Бұл әдістер комбинаторлық сипатқа ие және өте алуан түрлі. Комбинаторлық теорияның экстремалды саласы, өз кезегінде, аналитикалық сандар теориясының сандық жоғарғы және төменгі шекараларға берген мәнімен үлкен әсерге ие болды. Жақындағы тағы бір жаңалық – ықтималдық сандар теориясы, ол сандар теориялық функциялардың таралуын бағалау үшін ықтималдық теориясының әдістерін қолданады, мысалы, бір санның қанша жай бөлгіші бар екенін анықтау. Атап айтқанда, Итан Чжан, Джеймс Мейнард, Теренс Тао және Бен Гриннің жетістіктері Голдстон-Пинц-Йылдырым әдісін пайдаланды, олар бастапқыда осы әдісті дәлелдеу үшін қолданды, бұл жарияланған ең жақсы нәтиже.