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

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

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

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

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

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


 বিষয় বিবরণ তুচ্ছ শূন্য (Trivial Zeros) (ঋণাত্মক জোড় পূর্ণসংখ্যা) হলে ζ(s) এর মান শূন্য হয়। এগুলিকে তুচ্ছ শূন্য বলে। "তুচ্ছ" তথা "অগুরুত্বপূর্ণ" বলা হয় কারণ এদের অস্তিত্ব সরাসরি সমীকরণ দ্বারা প্রমাণিত।  অতুচ্ছ শূন্য (Non-trivial Zeros)  আকারের যেসব মানের জন্য ζ(s) এর মান শূন্য হয় তাদের অতুচ্ছ শূন্য বলে।ক্রিটিকাল স্ট্রিপ (Critical Strip)  অক্ষে  ও  এর মধ্যবর্তী অঞ্চলটিকে ক্রিটিকাল স্ট্রিপ বলে এবং এখানে সমস্ত অতুচ্ছ শূন্যগুলি অবস্থিত।   ক্রিটিকাল লাইন (Critical Line) অক্ষে  বরাবর উল্লম্ব রেখাটিই ক্রিটিকাল লাইন। রিম্যান হাইপোথিসিস অনুযায়ী সকল অতুচ্ছ শূন্য এই ক্রিটিকাল লাইনের ওপর অবস্থিত।   মেরু(Pole)  বিন্দুতে ζ(s) এর একটি সরল মেরু বিদ্যমান।

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


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

যেখানে অসীম গুণফলটি সমস্ত মৌলিক সংখ্যার () উপর বিস্তৃতঅয়লার, লিওনার্ড (১৭৪৪)। Variae observationes circa series infinitas. Commentarii academiae scientiarum Petropolitanae ৯, পৃ. ১৬০–১৮৮, উপপাদ্য ৭ এবং ৮। উপপাদ্য ৭-এ অয়লার বিশেষ ক্ষেত্রে -এর জন্য সূত্রটি প্রমাণ করেন, এবং উপপাদ্য ৮-এ তিনি এটি আরও সাধারণভাবে প্রমাণ করেন। তার উপপাদ্য ৭ এর প্রথম অনুসিদ্ধান্তে তিনি উল্লেখ করেন যে , এবং তিনি এই পরবর্তী ফলাফলটি তার উপপাদ্য ১৯-এ ব্যবহার করেন, দেখানোর জন্য যে মৌলিক সংখ্যাগুলির বিপরীতের সমষ্টি ।

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

প্রথম পদক্ষেপ: জিটা ফাংশন ও ডিরিখলেট ইটা ফাংশনের () মধ্যে সম্পর্ক:  

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

এটি ফাংশনের ডোমেইনকে  থেকে -এ সম্প্রসারিত করে, তবে  এমন বিন্দুগুলি বাদে। এই বিন্দুগুলি:  

সীমার মাধ্যমে এখানেও জিটা ফাংশন সংজ্ঞায়িত করা যায় (দেখুন)। ফলে  অঞ্চলে  বিন্দুতে সরল মেরু () ছাড়া সর্বত্র ফাংশনটি সসীম।

 স্ট্রিপে রিম্যান জিটা ফাংশনের কার্যকরী সমীকরণ প্রযোজ্য:  

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

 উৎপত্তি 

রিমান ζ ফাংশন ও তার শূন্যবিন্দুগুলো নিয়ে গবেষণা শুরু করেন কারণ এগুলো তাঁর স্পষ্ট সূত্রে উপস্থিত, যা একটি প্রদত্ত সংখ্যা 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 এর জন্য সত্য । এই অসমতাকে লঙ্ঘন করে এমন সর্বোচ্চ পরিচিত মান ।
১৯৮৪ সালে,  রবিন প্রমাণ করেন যে, এই অসমতা সকল  এর জন্য তখনই সত্য, যদি ও কেবল যদি রিম্যান হাইপোথিসিস সত্য হয় । এই ফলাফলটি রবিনের অসমতা নামে পরিচিত।

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

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

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

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

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

 তথ্যসূত্র 

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