রিম্যান হাইপোথিসিস

গণিতে, রিম্যান হাইপোথিসিস বা রিম্যান অনুমান একটি অনুমান বা অনুকল্প যার মূল বিবৃতি অনুযায়ী রিম্যান জিটা ফাংশনের শূন্যস্থান কেবল মাত্র ঋণাত্মক জোড় পূর্ণ সংখ্যা এবং বাস্তব অংশ যুক্ত জটিল সংখ্যাগুলিতে পাওয়া যায়। একে বিশুদ্ধ গণিতের সবচেয়ে গুরুত্বপূর্ণ অমীমাংসিত সমস্যা হিসেবে বিবেচনা করা হয়। এটি সংখ্যাতত্ত্বে অত্যন্ত গুরুত্বপূর্ণ, কারণ এটি মৌলিক সংখ্যার বণ্টন সম্পর্কিত ধারণা প্রদান করে। এটি প্রথম প্রস্তাব করেছিলেন , যার নামে এটি পরিচিত।
রিম্যান হাইপোথিসিস এবং এর কিছু সম্প্রসারণ (যেমন গোল্ডবাখ অনুমান এবং যমজ মৌলিক অনুমান) ডেভিড হিলবার্টের তেইশটি অসমাধিত সমস্যার মধ্যে অষ্টম সমস্যা হিসেবে অন্তর্ভুক্ত। এটি ক্লে ম্যাথেমেটিক্স ইন্সটিটিউটের মিলেনিয়াম পুরস্কার সমস্যাগুলোর একটি, যার সমাধানের জন্য "এক মিলিয়ন" মার্কিন ডলার পুরস্কার ঘোষণা করা হয়েছে। এছাড়া, এর সাথে সম্পর্কিত আরও কিছু সাধারণ অনুমান রয়েছে, যেমন: ।
রিম্যান জিটা ফাংশন, যাকে formula_1 দ্বারা চিহ্নিত করা হয়, এমন একটি ফাংশন, যার আর্গুমেন্ট formula_2 যেকোনো জটিল সংখ্যা হতে পারে (১ ব্যতীত), এবং এর মানও জটিল। এর শূন্যস্থান ঋণাত্মক জোড় পূর্ণ সংখ্যায় পাওয়া যায়, অর্থাৎ formula_3 যখন formula_2 হলো formula_5 এদেরকে "তুচ্ছ শূন্যস্থান" বলা হয়।
তবে, জিটা ফাংশনের আরও কিছু শূন্যস্থান রয়েছে, যেগুলো "অতুচ্ছ শূন্যস্থান" নামে পরিচিত। রিম্যান হাইপোথিসিস এই অতুচ্ছ শূন্যস্থানগুলোর অবস্থান নিয়ে আগ্রহী এবং অনুমানভিত্তিক ভাষ্য হলো:
এর ফলে, যদি অনুমানটি সঠিক হয়, তবে সব "অতুচ্ছ শূন্যস্থান" ক্রিটিকাল লাইনে থাকবে, যা formula_6 আকারে লিখা সম্ভব, যেখানে formula_7 একটি বাস্তব সংখ্যা এবং formula_8 হলো কাল্পনিক একক।
রিম্যান জিটা ফাংশন এমন জটিল সংখ্যা formula_2 এর জন্য সংজ্ঞায়িত যার বাস্তব অংশ ১ এর চেয়ে বড় (অর্থাৎ formula_10) এবং নিম্নলিখিত পরম অভিসারী অসীম ধারার মাধ্যমে এটিকে প্রকাশ করা যায়: 
formula_11 
লিওনার্ড অয়লার ১৭৩০ এর দশকে বাসেল সমস্যার সমাধানকালে এই ধারাটি বাস্তব formula_2 এর জন্য বিশ্লেষণ করেন। তিনি প্রমাণ করেন যে এটি অয়লার গুণফলের সমতুল্য: 
formula_13 
যেখানে অসীম গুণফলটি সমস্ত মৌলিক সংখ্যার (formula_14) উপর বিস্তৃত
রিম্যান অনুমিতি এই ধারা ও অয়লার গুণফলের অভিসারী অঞ্চলের (formula_15) বাইরের শূন্যগুলি নিয়ে আলোচনা করে। এই অনুমিতিকে অর্থবহ করতে ফাংশনটিকে বিশ্লেষণীভাবে সম্প্রসারিত (formula_16) করে একটি এমন রূপে আনতে হয় যা সমস্ত জটিল formula_2-এর জন্য বৈধ। যেহেতু জিটা ফাংশন মেরোমর্ফিক (formula_18), তাই অভেদ উপপাদ্যানুযায়ী (formula_19) যেকোনো পদ্ধতিতে সম্প্রসারণ একই ফল দেবে। 
প্রথম পদক্ষেপ: জিটা ফাংশন ও ডিরিখলেট ইটা ফাংশনের (formula_20) মধ্যে সম্পর্ক: 
formula_21 
এই সম্পর্ক উভয় ধারার অভিসারী অঞ্চলে প্রযোজ্য। কিন্তু ডানপক্ষের ইটা ফাংশনের ধারা কেবল formula_22-এ নয়, বরং যেকোনো formula_23 ক্ষেত্রেও অভিসৃত হয়। সুতরাং জিটা ফাংশনকে পুনঃসংজ্ঞায়িত করা যায়: 
formula_24 
এটি ফাংশনের ডোমেইনকে formula_22 থেকে formula_23-এ সম্প্রসারিত করে, তবে formula_27 এমন বিন্দুগুলি বাদে। এই বিন্দুগুলি: 
formula_28 
সীমার মাধ্যমে এখানেও জিটা ফাংশন সংজ্ঞায়িত করা যায় (দেখুন)। ফলে formula_23 অঞ্চলে formula_30 বিন্দুতে সরল মেরু (formula_31) ছাড়া সর্বত্র ফাংশনটি সসীম।
formula_32 স্ট্রিপে রিম্যান জিটা ফাংশনের কার্যকরী সমীকরণ প্রযোজ্য: 
formula_33 
এই সমীকরণ ব্যবহার করে formula_34 (এবং formula_35) অঞ্চলে জিটা ফাংশন সংজ্ঞায়িত হয়। 
রিমান ζ ফাংশন ও তার শূন্যবিন্দুগুলো নিয়ে গবেষণা শুরু করেন কারণ এগুলো তাঁর স্পষ্ট সূত্রে উপস্থিত, যা একটি প্রদত্ত সংখ্যা "x"-এর নিচে বা সমান যতগুলো মৌলিক সংখ্যা রয়েছে তা গণনা করে — অর্থাৎ ("x")। তিনি এই সূত্রটি উপস্থাপন করেন তাঁর ১৮৫৯ সালের প্রবন্ধ "On the Number of Primes Less Than a Given Magnitude"-এ। সূত্রটি নিচের সম্পর্কিত ফাংশনের সাহায্যে প্রকাশ করা হয়:
এই ফাংশনটি "x" পর্যন্ত সকল মৌলিক সংখ্যা ও তাদের ঘাতকে গণনা করে, যেখানে একটি মৌলিক ঘাত "p" কে হিসেবে গণনা করা হয়। 
এরপর, মবিয়াস বিপরীত সূত্র ব্যবহার করে মূল π("x") পুনরুদ্ধার করা যায়:
যেখানে "μ" হলো মবিয়াস ফাংশন।
রিমানের সূত্রটি হলো:
এখানে, যোগফলটি ζ ফাংশনের সব গুরত্বপূর্ণ শূন্যবিন্দু "ρ" এর উপর নির্ভর করে এবং Π হলো Π ফাংশনের একটি পরিবর্তিত রূপ, যেখানে অসতততা বিন্দুতে এর মান উপরের ও নিচের সীমার গড় হিসেবে গ্রহণ করা হয়:
উল্লেখ্য, এই সূত্রে শূন্যবিন্দুগুলোর উপর ভিত্তি করে যোগফলটি পরমভাবে অভিসারী নয়, তবে এগুলিকে কল্পাংশের মান অনুযায়ী সাজিয়ে হিসাব করা যায়। প্রথম পদে ব্যবহৃত li ফাংশন হলো (অব্যাহত) লগারিদমিক অন্তর্লগ্ন ফাংশন, যা নিচের বিভাজ্য ইন্টিগ্রালের কোশি প্রধান মান হিসেবে সংজ্ঞায়িত:
ζ ফাংশনের শূন্যবিন্দু "ρ" যুক্ত li("x") এই পদগুলো সংজ্ঞায়িত করতে কিছুটা সতর্কতা প্রয়োজন, কারণ li ফাংশনের ০ ও ১ এ শাখা বিন্দু রয়েছে। তাই এগুলোকে (যখন "x" > 1) ধরা হয় একটি জটিল চলরাশিতে বিশ্লেষণাত্মক সম্প্রসারণ হিসেবে — অর্থাৎ । অন্যান্য ছোট ছোট পদগুলোও বিভিন্ন শূন্যবিন্দুর প্রতিনিধিত্ব করে। li("x") পদটি আসে "s" = 1এর একটি মেরু থেকে, যেটিকে −1 গুণের একটি শূন্যবিন্দু হিসেবে ধরা হয়। বাকি ছোট ছোট পদগুলো আসে স্বাভাবিক শূন্যবিন্দু থেকে। এই সিরিজের প্রথম কয়েকটি পদ সংক্রান্ত গ্রাফ দেখতে পারেন অথবা ।
এই সূত্রটি ইঙ্গিত করে যে, রিমান ζ ফাংশনের শূন্যবিন্দুগুলো মৌলিক সংখ্যার "প্রত্যাশিত" অবস্থানের চারপাশে দোলনের নিয়ন্ত্রণ করে। রিমান জানতেন যে এই গুরত্বপূর্ণ শূন্যবিন্দুগুলো সমান্তরালভাবে "s" = 1/2 + "it" রেখার চারপাশে ছড়ানো এবং এগুলো 0 ≤ Re("s") ≤ 1 পরিসরের মধ্যেই থাকবে। তিনি হাতে গোনা কয়েকটি শূন্যবিন্দু যাচাই করেছিলেন যেগুলো এই রেখার ওপর অবস্থিত এবং ধারণা করেছিলেন বাকিগুলোও তাই — এটিই রিম্যান অনুমান।
১৯১৫ সালে, রিম্যান অনুমানের প্রেক্ষিতে রামানুজন প্রমাণ করেন যে, 
(যেখানে γ হলো অয়লার–মাস্কেরনি ধ্রুবক) সকল যথেষ্ট বৃহৎ "n" এর জন্য সত্য । এই অসমতাকে লঙ্ঘন করে এমন সর্বোচ্চ পরিচিত মান formula_48।
১৯৮৪ সালে, রবিন প্রমাণ করেন যে, এই অসমতা সকল formula_49 এর জন্য তখনই সত্য, যদি ও কেবল যদি রিম্যান হাইপোথিসিস সত্য হয় । এই ফলাফলটি রবিনের অসমতা নামে পরিচিত।
রবিন আরও দেখিয়েছেন যে, যদি রিম্যান হাইপোথিসিস মিথ্যা হয়, তবে অসংখ্য এমন formula_50 রয়েছে যা অসমতাটিকে লঙ্ঘন করবে, এবং জানা গেছে যে, formula_51 এর পরের ক্ষুদ্রতম এমন formula_50 অবশ্যই সুপার অ্যাবান্ড্যান্ট সংখ্যা হতে হবে । এছাড়াও, এটি প্রমাণিত হয়েছে যে, বৃহৎ বিজোড় ও বর্গমুক্ত পূর্ণসংখ্যার জন্য এই অসমতা সত্য এবং মৌলিক সংখ্যার পঞ্চম ঘন দ্বারা বিভাজ্য formula_50 এর জন্য রিম্যান হাইপোথিসিস এই অসমতার সমতুল্য ।
রবিন আরও প্রমাণ করেছেন যে নিম্নলিখিত অসমতা
সকল formula_55এর জন্য সত্য।
২০০২ সালে জেফ্রি লাগারিয়াস সংশ্লিষ্ট ঊর্ধ্বসীমা প্রদান করেন, যিনি প্রমাণ করেছেন যে রিম্যান হাইপোথিসিসটি নিম্নলিখিত বিবৃতির সমতুল্য:
যখন যেকোনো স্বাভাবিক সংখ্যা formula_57, যেখানে formula_58 হলো formula_50তম হারমোনিক সংখ্যা ।