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

গণিত শাস্ত্রে, মৌলিক সংখ্যা গণনাকারী ফাংশন হচ্ছে এমন এক ধরনের ফাংশন যা কোন একটি বাস্তব সংখ্যা -এর সমান বা তার ছোট মোট কতটি মৌলিক সংখ্যা আছে তা গণনা করে । এটিকে দ্বারা প্রকাশ করা হয় (তবে এটি মোটেও সুপরিচিত বৃত্তসম্বন্ধীয় ধ্রুবক -এর সাথে সম্পর্কিত নয়)।
সংখ্যা তত্ত্বে মৌলিক সংখ্যা গণনাকারী ফাংশনের অনুমান নির্ভর বিশ্লেষণে বৃদ্ধির হার অত্যন্ত গুরুত্বপূর্ণ।
গাউস এবং লেজঁন্দ্রে ১৮শ শতকের শেষে এটি অনুমান করেছিলেন, যা আনুমানিকভাবে
formula_1
যেখানে হল ন্যাচারাল লগারিদম। এর মানে হল:
formula_2
এটাই সেই মৌলিক সংখ্যা উপপাদ্য। সমতুল্য একটি বক্তব্য হল:
formula_3
যেখানে হল লগারিদমিক ইন্টিগ্রাল ফাংশন।
মৌলিক সংখ্যার উপপাদ্য প্রথম প্রমাণ করেছিলেন জ্যাক হাডামার্ড এবং চার্লস দে লা ভালে পুসিন স্বাধীনভাবে ১৮৯৬ সালে। তারা রিমানের জিটা ফাংশনের গুণাবলী ব্যবহার করেছিলেন, যা রিমান ১৮৫৯ সালে প্রবর্তন করেন। জিটা ফাংশন বা কমপ্লেক্স এনালাইসিস ব্যবহার না করে এই উপপাদ্যের প্রমাণ ১৯৪৮ সালের দিকে অ্যাটলে সেলবার্গ এবং পল এরডোস স্বাধীনভাবে আবিষ্কার করেন।
১৮৯৯ সালে, চার্লস দে লা ভাল্লে পুসিন প্রমাণ করেন যে
formula_4
কোনও ধনাত্মক ধ্রুবক -এর জন্য। এখানে, বিগ নোটেশন।
বর্তমানে -এর আরও নির্ভুল মান জানা যায়। উদাহরণস্বরূপ, ২০০২ সালে কেভিন ফোর্ড প্রমাণ করেন:
formula_5
মসিংহফ এবং ট্রুডজিয়ান প্রমাণ করেন:
formula_6
 এর জন্য যখন একটি মৌলিক সংখ্যা, অন্যথায় । রিমান তার "On the Number of Primes Less Than a Given Magnitude" গবেষণায় প্রমাণ করেন, 
formula_7
যেখানে
formula_8 যেখানে
রিম্যান হাইপোথিসিস ইঙ্গিত দেয় যে এই ধরনের প্রতিটি নন-ট্রিভিয়াল শূন্য formula_9 = formula_10 বরাবর অবস্থান করে।
নিচের টেবিলে , , এবং ফাংশনগুলোর তুলনা ১০-এর বিভিন্ন ঘাতের জন্য দেখানো হয়েছে। আরও দেখুন, এবং
-এর মান প্রথমে জে. বুইথে, জেনস ফ্রাঙ্কে, এ. জস্ট এবং টি. ক্লেইনজুং দ্বারা রিম্যান হাইপোথিসিস ধরে গণনা করা হয়েছিল।
পরে এটি ডি. জে. প্ল্যাট দ্বারা প্রমাণিত হয়।
-এর মান একই চারজন লেখকের দ্বারা গণনা করা হয়েছে।
-এর মান ডি. বি. স্ট্যাপল দ্বারা গণনা করা হয়েছে।
, , এবং -এর মান যথাক্রমে ২০১৫, ২০২০, এবং ২০২২ সালে ডেভিড বাউ এবং কিম ওয়ালিশ দ্বারা ঘোষণা করা হয়েছে।
যদি খুব বড় না হয়, তবে নির্ণয়ের একটি সহজ উপায় হল এরাটোস্থিনিসের ছাকুনি ব্যবহার করা, যা -এর সমান বা ছোট মৌলিক সংখ্যা বের করে এবং তাদের সংখ্যা গণনা করে।
আরও উন্নত পদ্ধতি লেজঁন্দ্রে প্রস্তাব করেছিলেন, যেখানে অন্তর্ভুক্তি–বর্জন নীতি প্রয়োগ করা হয়: ধরা যাক একটি প্রদত্ত সংখ্যা এবং পৃথক পৃথক মৌলিক সংখ্যা। তখন -এর সমান বা ছোট এমন সংখ্যার সংখ্যা, যা কোনো দ্বারা বিভাজ্য নয়, তা হবে
(যেখানে হলো ফ্লোর ফাংশন)। এই সংখ্যাটি সমান হবে
যখন -গুলি -এর বর্গমূলের সমান বা ছোট মৌলিক সংখ্যা।
১৮৭০ থেকে ১৮৮৫ সালের মধ্যে আর্নস্ট মাইসেল নির্ণয়ের একটি বাস্তবিক কম্বিনেটরিয়াল পদ্ধতি বর্ণনা ও প্রয়োগ করেন। ধরা যাক প্রথম মৌলিক সংখ্যা এবং দ্বারা বোঝানো হয়েছে -এর সমান বা ছোট সংখ্যাগুলির সংখ্যা, যা দ্বারা বিভাজ্য নয়। তাহলে
একটি স্বাভাবিক সংখ্যা -এর জন্য, যদি এবং , তাহলে
এই পদ্ধতি ব্যবহার করে মাইসেল -এর মান নির্ণয় করেন, যেখানে 
১৯৫৯ সালে ডেরিক হেনরি লেমার এই পদ্ধতিটিকে আরও সরল ও কার্যকর করেন। একটি বাস্তব সংখ্যা এবং স্বাভাবিক সংখ্যা ও -এর জন্য দ্বারা বোঝানো হয় -এর চেয়ে বড় নয় এমন সংখ্যাগুলির সংখ্যা, যেগুলিতে ঠিক টি মৌলিক গুণক থাকে, এবং এগুলো -এর চেয়ে বড়। তখন
যোগফলটি আসলে সীমিত সংখ্যক অমৌলিক পদে শেষ হয়। একটি পূর্ণসংখ্যা যেখানে , এবং । তখন
যেখানে যোগফলটি মৌলিক সংখ্যার উপর সীমাবদ্ধ।
অন্যদিকে, নির্ণয়ের জন্য নিয়ম:
1. formula_18
2. formula_19
এই পদ্ধতি ব্যবহার করে লেমার -এর সঠিক মান নির্ণয় করেন, তবে -এর ক্ষেত্রে ১-এর পার্থক্য থাকে।
লেগারিয়াস, মিলার, ওডলিজকো, ডেলেগ্লিজ এবং রিভাত এই পদ্ধতির আরও উন্নতি করেন।
রিমানের মৌলিক ঘাত গণনাকারী ফাংশন সাধারণত বা দ্বারা চিহ্নিত করা হয়।
গাণিতিকভাবে, -এর সংজ্ঞা হল:
যেখানে হল মৌলিক সংখ্যা ।
আবার, formula_21
এখানে ভন মাঙ্গোল্ড ফাংশন এবং
তারপর ম্যোবিয়াস ইনভার্শন সূত্র থেকে পাই:
formula_23
যেখানে ম্যোবিয়াস ফাংশন।
রিমান জিটা ফাংশন এবং ভন মাঙ্গোল্ড ফাংশন -এর লগারিদমের সম্পর্ক জানার পর এবং পেরন সূত্র ব্যবহার করে পাই:
formula_24
চেবিশেভ ফাংশন মৌলিক সংখ্যা বা মৌলিক ঘাত -কে দ্বারা সম্পর্কিত করে:
যেখানে ,
এবং
মৌলিক সংখ্যা গণনাকারী ফাংশনের জন্য ব্যবহৃত সূত্র সাধারণত দুই ধরণের হয়—গাণিতিক সূত্র এবং বিশ্লেষণাত্মক সূত্র। বিশ্লেষণাত্মক সূত্রগুলোর উদ্ভব রীমান এবং ভন মাঙ্গোল্ডের কাজ থেকে, যা পরে মৌলিক সংখ্যা উপপাদ্য প্রমাণের ভিত্তি হিসেবে ব্যবহৃত হয়। এই সূত্রগুলো স্পষ্ট সূত্র নামে পরিচিত।
দ্বিতীয় চেবিশেভ ফাংশন -এর জন্য নিম্নলিখিত সূত্র পাওয়া যায়:
এখানে,
এক্ষেত্রে হল রীমান জিটা ফাংশনের শূন্য বিন্দু, যা ক্রিটিক্যাল অঞ্চলে শূন্য এবং একের মধ্যে থাকে। সূত্রটি -এর জন্য কার্যকর, কারণ এই পরিসীমাই গবেষণার ক্ষেত্রে গুরুত্বপূর্ণ।
এছাড়া -এর জন্য একটি জটিলতর সূত্র রয়েছে:
এখানে জিটা ফাংশনের non-trivial শূন্য বিন্দু এবং । এই সূত্রের প্রথম অংশ লগারিদমিক ইন্ট্রিগাল ফাংশন বোঝায়। দ্বিতীয় অংশে আসলে নির্দেশ করে, যা ঘাতীয় ইন্ট্রিগ্রাল ফাংশনের এক প্রকার সম্প্রসারণ।
তৃতীয় অংশটি -এর trivial শূন্যগুলির উপর ক্রম হিসেবে লেখা যায়:
ম্যোবিয়াস ইনভার্শন সূত্র থেকে পাই:
এখানে হল রীমানের R-ফাংশন:
এই ক্রমটি সব ধরণের ধনাত্মক -এর জন্য অভিসারিত। গ্রাম ক্রম ব্যবহার করে আনুমানিকভাবে নির্ধারণ করা যায়।
সবশেষে, এই সূত্র নির্দেশ করে যে -এর বিভাজন এবং বণ্টন বুঝতে খুব কার্যকর একটি অনুমান। এই অনুমান -এর সুনির্দিষ্ট প্রবণতা এবং বিচ্যুতি স্পষ্টভাবে তুলে ধরে।
রামানুজন প্রমাণ করেছিলেন যে, নিম্নোক্ত অসমতাটি সকল এর যথেষ্ট বৃহৎ মানের জন্য সত্য
formula_35
বাম অসমতাটি সত্য যখন এবং ডান অসমতাটি সত্য যখন . The constant 30*ln(113)/113 round 5 is to 5 decimal places, as has its maximum value at .
পিয়েরে ডুজার্ট ২০১০ এ প্রমাণ করেন:
সম্প্রতি তিনি আরো প্রমাণ করেছেন
(Theorem 5.1) যে
for and , respectively.
এখানে -তম মৌলিক সংখ্যার জন্য আরো কিছু অসমতা দেওয়া হল । এই lower বাউন্ডটি ডুজার্ট প্রদত্ত (১৯৯৯) and the upper bound to Rosser (1941).
বাম অসমতাটি এবং ডান অসমতাটি এর জন্য সত্য । আবার formula_40 An even simpler lower bound is
যেটি সকল এর ক্ষেত্রে সত্য, তবে উপরোক্ত lower বাউন্ডটি আরো বেশি শক্তিশালী হয় যখন .
২০১০ এ ডুজার্ট প্রমাণ করেন (Propositions 6.7 and 6.6) that
যখন এবং , একই সাথে ।
২০২৪ সালে, এক্সলার আরো বেশি শক্তিশালী করে (সমীকরণ 1.12 ও 1.13) 
যা প্রমান করে
যখন এবং , একই সাথে ।
এখানে lower বাউন্ডটি হয়তো আরো বেশি সরলকৃত করা সম্ভব এভাবে: কোন রূপ validity পরিবর্তন না করে । উপরের সীমাটি আরো বেশি সংকুচিত করা যেতে পারে এভাবে যদি .
বিভিন্ন জটিলতার প্রেক্ষিতে অতিরিক্ত বেশ কিছু bounds রয়েছে। 
রিমানের অনুমান -এর সন্নিকট মানের ত্রুটির জন্য অনেক শক্তিশালী সীমা প্রদান করে এবং মৌলিক সংখ্যার আরও নিয়মিত বণ্টন নির্দেশ করে,
বিশেষত,
মৌলিক সংখ্যা উপপাদ্য