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

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

রিম্যান হাইপোথিসিস এবং এর কিছু সম্প্রসারণ (যেমন গোল্ডবাখ অনুমান এবং যমজ মৌলিক অনুমান) ডেভিড হিলবার্টের তেইশটি অসমাধিত সমস্যার মধ্যে অষ্টম সমস্যা হিসেবে অন্তর্ভুক্ত। এটি ক্লে ম্যাথেমেটিক্স ইন্সটিটিউটের মিলেনিয়াম পুরস্কার সমস্যাগুলোর একটি, যার সমাধানের জন্য  এক মিলিয়ন মার্কিন ডলার পুরস্কার ঘোষণা করা হয়েছে। এছাড়া, এর সাথে সম্পর্কিত আরও কিছু সাধারণ অনুমান রয়েছে, যেমন: সসীম ক্ষেত্রের ওপর রিম্যান অনুমান।

রিম্যান জিটা ফাংশন, যাকে  দ্বারা চিহ্নিত করা হয়, এমন একটি ফাংশন, যার আর্গুমেন্ট  যেকোনো জটিল সংখ্যা হতে পারে (১ ব্যতীত), এবং এর মানও জটিল। এর শূন্যস্থান ঋণাত্মক জোড় পূর্ণ সংখ্যায় পাওয়া যায়, অর্থাৎ  যখন  হলো   এদেরকে তুচ্ছ শূন্যস্থান বলা হয়।

তবে, জিটা ফাংশনের আরও কিছু শূন্যস্থান রয়েছে, যেগুলো অতুচ্ছ শূন্যস্থান নামে পরিচিত। রিম্যান হাইপোথিসিস এই অতুচ্ছ শূন্যস্থানগুলোর অবস্থান নিয়ে আগ্রহী এবং অনুমানভিত্তিক ভাষ্য হলো:

এর ফলে, যদি অনুমানটি সঠিক হয়, তবে সব অতুচ্ছ শূন্যস্থান ক্রিটিকাল লাইনে থাকবে, যা  আকারে লিখা সম্ভব, যেখানে  একটি বাস্তব সংখ্যা এবং  হলো কাল্পনিক একক।

রিম্যান জিটা ফাংশন 
রিম্যান জিটা ফাংশন এমন জটিল সংখ্যা  এর জন্য সংজ্ঞায়িত যার বাস্তব অংশ ১ এর চেয়ে বড় (অর্থাৎ ) এবং নিম্নলিখিত পরম অভিসারী অসীম ধারার মাধ্যমে এটিকে প্রকাশ করা যায়:  
  

লিওনার্ড অয়লার ১৭৩০ এর দশকে বাসেল সমস্যার সমাধানকালে এই ধারাটি বাস্তব  এর জন্য বিশ্লেষণ করেন। তিনি প্রমাণ করেন যে এটি অয়লার গুণফলের সমতুল্য:  
  
যেখানে অসীম গুণফলটি সমস্ত মৌলিক সংখ্যার () উপর বিস্তৃত

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

প্রথম পদক্ষেপ: জিটা ফাংশন ও ডিরিখলেট ইটা ফাংশনের () মধ্যে সম্পর্ক:  
  
এই সম্পর্ক উভয় ধারার অভিসারী অঞ্চলে প্রযোজ্য। কিন্তু ডানপক্ষের ইটা ফাংশনের ধারা কেবল -এ নয়, বরং যেকোনো  ক্ষেত্রেও অভিসৃত হয়। সুতরাং জিটা ফাংশনকে পুনঃসংজ্ঞায়িত করা যায়:  
  
এটি ফাংশনের ডোমেইনকে  থেকে -এ সম্প্রসারিত করে, তবে  এমন বিন্দুগুলি বাদে। এই বিন্দুগুলি:  
  
সীমার মাধ্যমে এখানেও জিটা ফাংশন সংজ্ঞায়িত করা যায় (দেখুন)। ফলে  অঞ্চলে  বিন্দুতে সরল মেরু () ছাড়া সর্বত্র ফাংশনটি সসীম।

 স্ট্রিপে রিম্যান জিটা ফাংশনের কার্যকরী সমীকরণ প্রযোজ্য:  
  
এই সমীকরণ ব্যবহার করে  (এবং ) অঞ্চলে জিটা ফাংশন সংজ্ঞায়িত হয়।  
তুচ্ছ শূন্য:  (ঋণাত্মক জোড় পূর্ণসংখ্যা) →  → ।  
: কার্যকরী সমীকরণ থেকে নয়, বরং  সীমা থেকে প্রাপ্ত।  
অতুচ্ছ শূন্য: কার্যকরী সমীকরণ অনুসারে, ঋণাত্মক বাস্তব অংশে তুচ্ছ শূন্য ছাড়া অন্য কোনো শূন্য নেই। সুতরাং সমস্ত অতুচ্ছ শূন্য ক্রিটিকাল স্ট্রিপে () অবস্থিত।

উৎপত্তি 

রিমান ζ ফাংশন ও তার শূন্যবিন্দুগুলো নিয়ে গবেষণা শুরু করেন কারণ এগুলো তাঁর স্পষ্ট সূত্রে উপস্থিত, যা একটি প্রদত্ত সংখ্যা x-এর নিচে বা সমান যতগুলো মৌলিক সংখ্যা রয়েছে তা গণনা করে — অর্থাৎ (x)। তিনি এই সূত্রটি উপস্থাপন করেন তাঁর ১৮৫৯ সালের প্রবন্ধ On the Number of Primes Less Than a Given Magnitude-এ। সূত্রটি নিচের সম্পর্কিত ফাংশনের সাহায্যে প্রকাশ করা হয়:

এই ফাংশনটি x পর্যন্ত সকল মৌলিক সংখ্যা ও তাদের ঘাতকে গণনা করে, যেখানে একটি মৌলিক ঘাত pn কে  হিসেবে গণনা করা হয়। 

এরপর, মবিয়াস বিপরীত সূত্র ব্যবহার করে মূল π(x) পুনরুদ্ধার করা যায়:

যেখানে μ হলো মবিয়াস ফাংশন।

রিমানের সূত্রটি হলো:

এখানে, যোগফলটি ζ ফাংশনের সব গুরত্বপূর্ণ শূন্যবিন্দু ρ এর উপর নির্ভর করে এবং Π0 হলো Π ফাংশনের একটি পরিবর্তিত রূপ, যেখানে অসতততা বিন্দুতে এর মান উপরের ও নিচের সীমার গড় হিসেবে গ্রহণ করা হয়:

উল্লেখ্য, এই সূত্রে শূন্যবিন্দুগুলোর উপর ভিত্তি করে যোগফলটি পরমভাবে অভিসারী নয়, তবে এগুলিকে কল্পাংশের মান অনুযায়ী সাজিয়ে হিসাব করা যায়। প্রথম পদে ব্যবহৃত li ফাংশন হলো (অব্যাহত) লগারিদমিক অন্তর্লগ্ন ফাংশন, যা নিচের বিভাজ্য ইন্টিগ্রালের কোশি প্রধান মান হিসেবে সংজ্ঞায়িত:

ζ ফাংশনের শূন্যবিন্দু ρ যুক্ত li(xρ) এই পদগুলো সংজ্ঞায়িত করতে কিছুটা সতর্কতা প্রয়োজন, কারণ li ফাংশনের ০ ও ১ এ শাখা বিন্দু রয়েছে। তাই এগুলোকে (যখন x > 1) ধরা হয় একটি জটিল চলরাশিতে বিশ্লেষণাত্মক সম্প্রসারণ হিসেবে — অর্থাৎ । অন্যান্য ছোট ছোট পদগুলোও বিভিন্ন শূন্যবিন্দুর প্রতিনিধিত্ব করে। li(x) পদটি আসে s = 1এর একটি মেরু থেকে, যেটিকে −1 গুণের একটি শূন্যবিন্দু হিসেবে ধরা হয়। বাকি ছোট ছোট পদগুলো আসে স্বাভাবিক শূন্যবিন্দু থেকে। এই সিরিজের প্রথম কয়েকটি পদ সংক্রান্ত গ্রাফ দেখতে পারেন  অথবা ।

এই সূত্রটি ইঙ্গিত করে যে, রিমান ζ ফাংশনের শূন্যবিন্দুগুলো মৌলিক সংখ্যার "প্রত্যাশিত" অবস্থানের চারপাশে দোলনের নিয়ন্ত্রণ করে। রিমান জানতেন যে এই গুরত্বপূর্ণ শূন্যবিন্দুগুলো সমান্তরালভাবে s = 1/2 + it রেখার চারপাশে ছড়ানো এবং এগুলো 0 ≤ Re(s) ≤ 1 পরিসরের মধ্যেই থাকবে। তিনি হাতে গোনা কয়েকটি শূন্যবিন্দু যাচাই করেছিলেন যেগুলো এই রেখার ওপর অবস্থিত এবং ধারণা করেছিলেন বাকিগুলোও তাই — এটিই রিম্যান অনুমান।

বিশেষ ফলাফল 
১৯১৫ সালে, রিম্যান অনুমানের প্রেক্ষিতে রামানুজন প্রমাণ করেন যে, 

(যেখানে γ হলো  অয়লার–মাস্কেরনি ধ্রুবক) সকল যথেষ্ট বৃহৎ n এর জন্য সত্য । এই অসমতাকে লঙ্ঘন করে এমন সর্বোচ্চ পরিচিত মান ।
১৯৮৪ সালে,  রবিন প্রমাণ করেন যে, এই অসমতা সকল  এর জন্য তখনই সত্য, যদি ও কেবল যদি রিম্যান হাইপোথিসিস সত্য হয় । এই ফলাফলটি রবিনের অসমতা নামে পরিচিত।

রবিন আরও দেখিয়েছেন যে, যদি রিম্যান হাইপোথিসিস মিথ্যা হয়, তবে অসংখ্য এমন  রয়েছে যা অসমতাটিকে লঙ্ঘন করবে, এবং জানা গেছে যে,  এর পরের ক্ষুদ্রতম এমন  অবশ্যই সুপার অ্যাবান্ড্যান্ট সংখ্যা হতে হবে । এছাড়াও, এটি প্রমাণিত হয়েছে যে, বৃহৎ বিজোড় ও বর্গমুক্ত পূর্ণসংখ্যার জন্য এই অসমতা সত্য এবং মৌলিক সংখ্যার পঞ্চম ঘন দ্বারা বিভাজ্য  এর জন্য রিম্যান হাইপোথিসিস এই অসমতার সমতুল্য ।

রবিন আরও প্রমাণ করেছেন যে নিম্নলিখিত অসমতা

সকল এর জন্য সত্য।

২০০২ সালে জেফ্রি লাগারিয়াস সংশ্লিষ্ট ঊর্ধ্বসীমা প্রদান করেন, যিনি প্রমাণ করেছেন যে রিম্যান  হাইপোথিসিসটি নিম্নলিখিত বিবৃতির সমতুল্য:

যখন যেকোনো স্বাভাবিক সংখ্যা , যেখানে  হলো তম হারমোনিক সংখ্যা ।

তথ্যসূত্র 

১৮৫৯-এ প্রবর্তন
বিশ্লেষণী সংখ্যাতত্ত্ব
বার্নহার্ড রিম্যান
অনুমান
হিলবার্টের সমস্যা
অনুকল্প
সহস্রাব্দ পুরস্কারের সমস্যা
সংখ্যাতত্ত্বের অমীমাংসিত সমস্যা
জেটা- ও এল-অপেক্ষক