মৌলিক সংখ্যা গণনাকারী ফাংশন

গণিত শাস্ত্রে,  মৌলিক সংখ্যা গণনাকারী ফাংশন হচ্ছে এমন এক ধরনের ফাংশন যা কোন একটি বাস্তব সংখ্যা -এর সমান বা তার ছোট মোট কতটি মৌলিক সংখ্যা আছে তা গণনা করে । এটিকে  দ্বারা প্রকাশ করা হয় (তবে এটি মোটেও সুপরিচিত বৃত্তসম্বন্ধীয় ধ্রুবক -এর সাথে সম্পর্কিত নয়)।

বৃদ্ধির হার

সংখ্যা তত্ত্বে মৌলিক সংখ্যা গণনাকারী ফাংশনের অনুমান নির্ভর বিশ্লেষণে বৃদ্ধির হার অত্যন্ত গুরুত্বপূর্ণ।

গাউস এবং লেজঁন্দ্রে ১৮শ শতকের শেষে এটি অনুমান করেছিলেন, যা আনুমানিকভাবে

যেখানে  হল ন্যাচারাল লগারিদম। এর মানে হল:

এটাই সেই মৌলিক সংখ্যা উপপাদ্য। সমতুল্য একটি বক্তব্য হল:

যেখানে  হল লগারিদমিক ইন্টিগ্রাল ফাংশন।

মৌলিক সংখ্যার উপপাদ্য প্রথম প্রমাণ করেছিলেন জ্যাক হাডামার্ড এবং চার্লস দে লা ভালে পুসিন স্বাধীনভাবে ১৮৯৬ সালে। তারা রিমানের জিটা ফাংশনের গুণাবলী ব্যবহার করেছিলেন, যা রিমান ১৮৫৯ সালে প্রবর্তন করেন। জিটা ফাংশন বা কমপ্লেক্স এনালাইসিস ব্যবহার না করে এই উপপাদ্যের প্রমাণ ১৯৪৮ সালের দিকে অ্যাটলে সেলবার্গ এবং পল এরডোস স্বাধীনভাবে আবিষ্কার করেন।

আরো নির্ভুল মান
১৮৯৯ সালে, চার্লস দে লা ভাল্লে পুসিন প্রমাণ করেন যে
See also Theorem 23 of 

কোনও ধনাত্মক ধ্রুবক -এর জন্য। এখানে,  বিগ  নোটেশন।

বর্তমানে -এর আরও নির্ভুল মান জানা যায়। উদাহরণস্বরূপ, ২০০২ সালে কেভিন ফোর্ড প্রমাণ করেন:

মসিংহফ এবং ট্রুডজিয়ান প্রমাণ করেন:

সুনির্দিষ্ট রূপ
 এর জন্য  যখন  একটি মৌলিক সংখ্যা, অন্যথায় । রিমান তার On the Number of Primes Less Than a Given Magnitude গবেষণায় প্রমাণ করেন, 

যেখানে
 যেখানে
 = মোবিয়াস ফাংশন,  = লগারিদমিক ইন্টিগ্রাল ফাংশন,  = রিমান জিটা ফাংশনের প্রতিটি শূন্যকে নির্দেশ করে এবং  শাখা বিভাজন দ্বারা মূল্যায়িত নয়, বরং  হিসাবে বিবেচিত যেখানে  সূচক ইন্টিগ্রাল।

রিম্যান হাইপোথিসিস ইঙ্গিত দেয় যে এই ধরনের প্রতিটি নন-ট্রিভিয়াল শূন্য  =  বরাবর অবস্থান করে।

, , এবং -এর টেবিল

নিচের টেবিলে , , এবং  ফাংশনগুলোর তুলনা ১০-এর বিভিন্ন ঘাতের জন্য দেখানো হয়েছে। আরও দেখুন, এবং

{| class="wikitable" style="text-align: right"
! 
! 
! 
! 
! 
!  % error

|-
| 10
| 4
| 0
| 2
| 2.500
| −8.57%
|-
| 102
| 25
| 3
| 5
| 4.000
| +13.14%
|-
| 103
| 168
| 23
| 10
| 5.952
| +13.83%
|-
| 104
| 1,229
| 143
| 17
| 8.137
| +11.66%
|-
| 105
| 9,592
| 906
| 38
| 10.425
| +9.45%
|-
| 106
| 78,498
| 6,116
| 130
| 12.739
| +7.79%
|-
| 107
| 664,579
| 44,158
| 339
| 15.047
| +6.64%
|-
| 108
| 5,761,455
| 332,774
| 754
| 17.357
| +5.78%
|-
| 109
| 50,847,534
| 2,592,592
| 1,701
| 19.667
| +5.10%
|-
| 1010
| 455,052,511
| 20,758,029
| 3,104
| 21.975
| +4.56%
|-
| 1011
| 4,118,054,813
| 169,923,159
| 11,588
| 24.283
| +4.13%
|-
| 1012
| 37,607,912,018
| 1,416,705,193
| 38,263
| 26.590
| +3.77%
|-
| 1013
| 346,065,536,839
| 11,992,858,452
| 108,971
| 28.896
| +3.47%
|-
| 1014
| 3,204,941,750,802
| 102,838,308,636
| 314,890
| 31.202
| +3.21%
|-
| 1015
| 29,844,570,422,669
| 891,604,962,452
| 1,052,619
| 33.507
| +2.99%
|-
| 1016
| 279,238,341,033,925
| 7,804,289,844,393
| 3,214,632
| 35.812
| +2.79%
|-
| 1017
| 2,623,557,157,654,233
| 68,883,734,693,928
| 7,956,589
| 38.116
| +2.63%
|-
| 1018
| 24,739,954,287,740,860
| 612,483,070,893,536
| 21,949,555
| 40.420
| +2.48%
|-
| 1019
| 234,057,667,276,344,607
| 5,481,624,169,369,961
| 99,877,775
| 42.725
| +2.34%
|-
| 1020
| 2,220,819,602,560,918,840
| 49,347,193,044,659,702
| 222,744,644
| 45.028
| +2.22%
|-
| 1021
| 21,127,269,486,018,731,928
| 446,579,871,578,168,707
| 597,394,254
| 47.332
| +2.11%
|-
| 1022
| 201,467,286,689,315,906,290
| 4,060,704,006,019,620,994
| 1,932,355,208
| 49.636
| +2.02%
|-
| 1023
| 1,925,320,391,606,803,968,923
| 37,083,513,766,578,631,309
| 7,250,186,216
| 51.939
| +1.93%
|-
| 1024
| 18,435,599,767,349,200,867,866
| 339,996,354,713,708,049,069
| 17,146,907,278
| 54.243
| +1.84%
|-
| 1025
| 176,846,309,399,143,769,411,680
| 3,128,516,637,843,038,351,228
| 55,160,980,939
| 56.546
| +1.77%
|-
| 1026
| 1,699,246,750,872,437,141,327,603
| 28,883,358,936,853,188,823,261
| 155,891,678,121
| 58.850
| +1.70%
|-
| 1027
| 16,352,460,426,841,680,446,427,399
| 267,479,615,610,131,274,163,365
| 508,666,658,006
| 61.153
| +1.64%
|-
| 1028
| 157,589,269,275,973,410,412,739,598
| 2,484,097,167,669,186,251,622,127
| 1,427,745,660,374
| 63.456
| +1.58%
|-
| 1029
| 1,520,698,109,714,272,166,094,258,063
| 23,130,930,737,541,725,917,951,446
| 4,551,193,622,464
| 65.759
| +1.52%
|}

 কলামটি ,   এবং  ।

-এর মান প্রথমে জে. বুইথে, জেনস ফ্রাঙ্কে, এ. জস্ট এবং টি. ক্লেইনজুং দ্বারা রিম্যান হাইপোথিসিস ধরে গণনা করা হয়েছিল।
পরে এটি ডি. জে. প্ল্যাট দ্বারা প্রমাণিত হয়।

-এর মান একই চারজন লেখকের দ্বারা গণনা করা হয়েছে। Includes 600,000 value of  for 
-এর মান ডি. বি. স্ট্যাপল দ্বারা গণনা করা হয়েছে।

, , এবং -এর মান যথাক্রমে ২০১৫, ২০২০, এবং ২০২২ সালে ডেভিড বাউ এবং কিম ওয়ালিশ দ্বারা ঘোষণা করা হয়েছে।

  নির্ণয়ের জন্য অ্যালগরিদম 

যদি  খুব বড় না হয়, তবে  নির্ণয়ের একটি সহজ উপায় হল এরাটোস্থিনিসের ছাকুনি ব্যবহার করা, যা -এর সমান বা ছোট মৌলিক সংখ্যা বের করে এবং তাদের সংখ্যা গণনা করে।

আরও উন্নত পদ্ধতি লেজঁন্দ্রে প্রস্তাব করেছিলেন, যেখানে অন্তর্ভুক্তি–বর্জন নীতি প্রয়োগ করা হয়: ধরা যাক  একটি প্রদত্ত সংখ্যা এবং  পৃথক পৃথক মৌলিক সংখ্যা। তখন -এর সমান বা ছোট এমন সংখ্যার সংখ্যা, যা কোনো  দ্বারা বিভাজ্য নয়, তা হবে

(যেখানে  হলো ফ্লোর ফাংশন)। এই সংখ্যাটি সমান হবে

যখন -গুলি -এর বর্গমূলের সমান বা ছোট মৌলিক সংখ্যা।

মাইসেল–লেমার অ্যালগরিদম

১৮৭০ থেকে ১৮৮৫ সালের মধ্যে আর্নস্ট মাইসেল  নির্ণয়ের একটি বাস্তবিক কম্বিনেটরিয়াল পদ্ধতি বর্ণনা ও প্রয়োগ করেন। ধরা যাক  প্রথম  মৌলিক সংখ্যা এবং  দ্বারা বোঝানো হয়েছে -এর সমান বা ছোট সংখ্যাগুলির সংখ্যা, যা  দ্বারা বিভাজ্য নয়। তাহলে

একটি স্বাভাবিক সংখ্যা -এর জন্য, যদি  এবং , তাহলে

এই পদ্ধতি ব্যবহার করে মাইসেল -এর মান নির্ণয় করেন, যেখানে  
 , 106, 107, এবং 108।

১৯৫৯ সালে ডেরিক হেনরি লেমার এই পদ্ধতিটিকে আরও সরল ও কার্যকর করেন। একটি বাস্তব সংখ্যা এবং স্বাভাবিক সংখ্যা  ও -এর জন্য  দ্বারা বোঝানো হয় -এর চেয়ে বড় নয় এমন সংখ্যাগুলির সংখ্যা, যেগুলিতে ঠিক টি মৌলিক গুণক থাকে, এবং এগুলো -এর চেয়ে বড়।   তখন

যোগফলটি আসলে সীমিত সংখ্যক অমৌলিক পদে শেষ হয়।  একটি পূর্ণসংখ্যা যেখানে , এবং । তখন

 নির্ণয়ের সূত্র:

যেখানে যোগফলটি মৌলিক সংখ্যার উপর সীমাবদ্ধ।

অন্যদিকে,  নির্ণয়ের জন্য নিয়ম:

1. 

2. 

এই পদ্ধতি ব্যবহার করে লেমার -এর সঠিক মান নির্ণয় করেন, তবে -এর ক্ষেত্রে ১-এর পার্থক্য থাকে।

লেগারিয়াস, মিলার, ওডলিজকো, ডেলেগ্লিজ এবং রিভাত এই পদ্ধতির আরও উন্নতি করেন।

অন্যান্য মৌলিক সংখ্যা গণনাকারী ফাংশন

রিমানের মৌলিক ঘাত গণনাকারী ফাংশন
রিমানের মৌলিক ঘাত গণনাকারী ফাংশন সাধারণত  বা  দ্বারা চিহ্নিত করা হয়।

গাণিতিকভাবে, -এর সংজ্ঞা হল:

যেখানে  হল মৌলিক সংখ্যা ।

আবার, 
এখানে  ভন মাঙ্গোল্ড ফাংশন এবং

তারপর ম্যোবিয়াস ইনভার্শন সূত্র থেকে পাই:

যেখানে  ম্যোবিয়াস ফাংশন।

রিমান জিটা ফাংশন এবং ভন মাঙ্গোল্ড ফাংশন -এর লগারিদমের সম্পর্ক জানার পর এবং পেরন সূত্র ব্যবহার করে পাই:

চেবিশেভ ফাংশন
চেবিশেভ ফাংশন মৌলিক সংখ্যা বা মৌলিক ঘাত -কে  দ্বারা সম্পর্কিত করে:

যেখানে ,

এবং

মৌলিক সংখ্যা গণনাকারী সূত্রসমূহ

মৌলিক সংখ্যা গণনাকারী ফাংশনের জন্য ব্যবহৃত সূত্র সাধারণত দুই ধরণের হয়—গাণিতিক সূত্র এবং বিশ্লেষণাত্মক সূত্র। বিশ্লেষণাত্মক সূত্রগুলোর উদ্ভব রীমান এবং ভন মাঙ্গোল্ডের কাজ থেকে, যা পরে মৌলিক সংখ্যা উপপাদ্য প্রমাণের ভিত্তি হিসেবে ব্যবহৃত হয়। এই সূত্রগুলো স্পষ্ট সূত্র নামে পরিচিত।

দ্বিতীয় চেবিশেভ ফাংশন -এর জন্য নিম্নলিখিত সূত্র পাওয়া যায়:

এখানে,

এক্ষেত্রে  হল রীমান জিটা ফাংশনের শূন্য বিন্দু, যা ক্রিটিক্যাল অঞ্চলে শূন্য এবং একের মধ্যে থাকে। সূত্রটি -এর জন্য কার্যকর, কারণ এই পরিসীমাই গবেষণার ক্ষেত্রে গুরুত্বপূর্ণ।

এছাড়া -এর জন্য একটি জটিলতর সূত্র রয়েছে:

এখানে  জিটা ফাংশনের non-trivial শূন্য বিন্দু এবং । এই সূত্রের প্রথম অংশ  লগারিদমিক ইন্ট্রিগাল ফাংশন বোঝায়। দ্বিতীয় অংশে  আসলে  নির্দেশ করে, যা ঘাতীয় ইন্ট্রিগ্রাল ফাংশনের এক প্রকার সম্প্রসারণ।

তৃতীয় অংশটি -এর trivial শূন্যগুলির উপর ক্রম হিসেবে লেখা যায়:

ম্যোবিয়াস ইনভার্শন সূত্র থেকে পাই:

এখানে  হল রীমানের R-ফাংশন:

এই ক্রমটি সব ধরণের ধনাত্মক -এর জন্য অভিসারিত। গ্রাম ক্রম ব্যবহার করে  আনুমানিকভাবে নির্ধারণ করা যায়।

সবশেষে, এই সূত্র নির্দেশ করে যে -এর বিভাজন এবং বণ্টন বুঝতে  খুব কার্যকর একটি অনুমান। এই অনুমান -এর সুনির্দিষ্ট প্রবণতা এবং বিচ্যুতি স্পষ্টভাবে তুলে ধরে।

অসমতাসমূহ
রামানুজন প্রমাণ করেছিলেন যে, নিম্নোক্ত অসমতাটি সকল  এর যথেষ্ট বৃহৎ মানের জন্য সত্য

 এর কিছু দরকারি অসমতাসমূহ উল্লেখ করা হলো:

বাম অসমতাটি সত্য যখন  এবং ডান অসমতাটি সত্য যখন . The constant  is  to 5 decimal places, as  has its maximum value at .

পিয়েরে ডুজার্ট ২০১০ এ প্রমাণ করেন:

সম্প্রতি তিনি আরো প্রমাণ করেছেন
(Theorem 5.1) যে

for  and  , respectively.

 -তম মৌলিক সংখ্যা,  এর approximation ফর্মুলা

এখানে -তম মৌলিক সংখ্যার জন্য আরো কিছু অসমতা দেওয়া হল । এই lower বাউন্ডটি  ডুজার্ট প্রদত্ত (১৯৯৯) and the upper bound to Rosser (1941).

বাম অসমতাটি  এবং ডান অসমতাটি  এর জন্য সত্য । আবার   An even simpler lower bound is

যেটি সকল  এর ক্ষেত্রে সত্য, তবে উপরোক্ত lower বাউন্ডটি আরো বেশি শক্তিশালী হয় যখন .

২০১০ এ ডুজার্ট প্রমাণ করেন (Propositions 6.7 and 6.6) that

যখন  এবং , একই সাথে ।

২০২৪ সালে, এক্সলার আরো বেশি শক্তিশালী করে (সমীকরণ 1.12 ও 1.13) 
 এই আকারের bound ব্যবহার করে ।

যা প্রমান করে

যখন  এবং , একই সাথে ।
এখানে lower বাউন্ডটি হয়তো আরো বেশি সরলকৃত করা সম্ভব এভাবে:  কোন রূপ validity পরিবর্তন না করে । উপরের সীমাটি আরো বেশি সংকুচিত করা যেতে পারে এভাবে  যদি .

বিভিন্ন জটিলতার প্রেক্ষিতে অতিরিক্ত বেশ কিছু bounds রয়েছে। 

রিমানের অনুমান

রিমানের অনুমান -এর সন্নিকট মানের ত্রুটির জন্য অনেক শক্তিশালী সীমা প্রদান করে এবং মৌলিক সংখ্যার আরও নিয়মিত বণ্টন নির্দেশ করে,

বিশেষত,

 প্রমাণ করেছেন যে রিমানের অনুমান থেকে প্রমাণিত হয় যে  এর জন্য সর্বদা একটি মৌলিক সংখ্যা  পাওয়া যায় যা :
 অসমতাটি মেনে চলে ।

 আরো দেখুন 
মৌলিক সংখ্যা উপপাদ্য

রেফারেন্স

Notes

বাহ্যিক লিংকসমূহ
Chris Caldwell, The Nth Prime Page at The Prime Pages.
Tomás Oliveira e Silva, Tables of prime-counting functions.


বিষয়শ্রেণী:Analytic number theory
বিষয়শ্রেণী:Prime numbers
বিষয়শ্রেণী:Arithmetic functions
বিষয়শ্রেণী:আপেক্ষক সংখ্যা তত্ত্ব
বিষয়শ্রেণী:মৌলিক সংখ্যা
বিষয়শ্রেণী:বিশ্লেষণী সংখ্যাতত্ত্ব