গাউসের বৃত্ত সমস্যা

গণিতে, গাউসের বৃত্ত সমস্যা হলো এমন একটি সমস্যা যা নির্ধারণ করে যে, উৎপত্তিতে কেন্দ্রবিশিষ্ট এবং  ব্যাসার্ধবিশিষ্ট একটি বৃত্তের মধ্যে কতগুলি পূর্ণসংখ্যা বিন্দু আছে। এই সংখ্যাটি বৃত্তের ক্ষেত্রফল দ্বারা আনুমানিকভাবে প্রকাশ করা যায়। তবে আসল চ্যালেঞ্জ হলো বিন্দুর সংখ্যা এবং ক্ষেত্রফলের মধ্যে পার্থক্য বর্ণনাকারী ত্রুটির পরিমাণকে সঠিকভাবে সীমাবদ্ধ করা। এই সমস্যার সমাধানে প্রথম অগ্রগতি করেছিলেন কার্ল ফ্রেডরিখ গাউস, তাই এটির নাম তার নামে রাখা হয়েছে।
সমস্যাটি
ধরা যাক,  এ একটি বৃত্ত আছে যার কেন্দ্র উৎপত্তিতে এবং ব্যাসার্ধ । গাউসের বৃত্ত সমস্যা জিজ্ঞাসা করে যে, এই বৃত্তের মধ্যে কতগুলি বিন্দু আছে যাদের রূপ , যেখানে  এবং  উভয়ই পূর্ণসংখ্যা। যেহেতু কার্তেসীয় স্থানাঙ্কে এটি বৃত্তের সমীকরণ  দ্বারা প্রদত্ত, তাই প্রশ্নটি সমতুল্যভাবে জিজ্ঞাসা করছে যে, কতগুলি পূর্ণসংখ্যা জোড়া m এবং n আছে যেন: হয়।

যদি একটি নির্দিষ্ট  এর জন্য উত্তরটি  দ্বারা চিহ্নিত হয়, তবে নিম্নলিখিত তালিকাটি ০ থেকে ১২ পর্যন্ত পূর্ণসংখ্যা r এর জন্য  এর প্রথম কয়েকটি মান দেখায়, এবং তারপর  এর মানগুলি নিকটতম পূর্ণসংখ্যায় দেখানো হয়েছে:
১, ৫, ১৩, ২৯, ৪৯, ৮১, ১১৩, ১৪৯, ১৯৭, ২৫৩, ৩১৭, ৩৭৭, ৪৪১ 
০, ৩, ১৩, ২৮, ৫০, ৭৯, ১১৩, ১৫৪, ২০১, ২৫৪, ৩১৪, ৩৮০, ৪৫২ 

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

হার্ডি এবং স্বাধীনভাবে, এডমান্ড ল্যান্ডাউ ছোট o-সংকেত ব্যবহার করে একটি নিম্নসীমা খুঁজে পান এটি দেখিয়ে যে: 
। অনুমান করা হয়, সঠিক সীমা হলো:
। আবার  লিখলে, এর বর্তমান সীমা হলো:
,যেখানে নিম্নসীমা হার্ডি এবং ল্যান্ডাউ ১৯১৫ সালে দিয়েছিলেন, এবং ঊর্ধসীমা মার্টিন হাক্সলি ২০০০ সালে প্রমাণ করেন।
সঠিক রূপ
 এর মান একাধিক ধারা (সিরিজ) দ্বারা প্রকাশ করা যায়। ফ্লোর ফাংশন জড়িত একটি সমষ্টির মাধ্যমে এটিকে নিম্নরূপে লেখা যায়:

এটি আসলে জ্যাকোবির দুই-বর্গ উপপাদ্যের () একটি অনুসিদ্ধান্ত , যা জ্যাকোবির ট্রিপল প্রোডাক্ট থেকে প্রায় সরাসরিভাবে পাওয়া যায়।

একটি আরও সরল সমষ্টি পাওয়া যায় যদি বর্গের সমষ্টি ফাংশনকে  দ্বারা সংজ্ঞায়িত করা হয়, যেখানে  হলো  সংখ্যাটিকে দুইটি পূর্ণসংখ্যার বর্গের সমষ্টি হিসেবে লেখার বিভিন্ন উপায়ের সংখ্যা নির্দেশ করে। তাহলে

গাউসের বৃত্ত সমস্যায় সাম্প্রতিকতম অগ্রগতি মূলত নিচের অভেদটির উপর নির্ভর করে, যেটি সর্বপ্রথম হার্ডি আবিষ্কার করেছিলেন:

এখানে  দ্বারা প্রথম প্রকারের বেসেল ফাংশনকে ক্রম ১ সহ নির্দেশ করা হয়েছে।

সাধারণীকরণ

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

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

আদিম বৃত্ত সমস্যা

আরেকটি সাধারণীকরণ হলো এই অসমতাকে সিদ্ধ করে এমন সহমৌলিক পূর্ণসংখ্যার সমাধান -এর সংখ্যা নির্ণয় করা:

এই সমস্যাটি আদিম বৃত্ত সমস্যা নামে পরিচিত, কারণ এটি মূল বৃত্ত সমস্যার জন্য আদিম সমাধান খোঁজার সাথে জড়িত। এটিকে স্বজ্ঞাতভাবে বোঝা যায় ইউক্লিডের বাগান (Euclid's orchard)-এ উৎপত্তি বিন্দুতে দাঁড়িয়ে  দূরত্বের মধ্যে কতগুলি গাছ দৃশ্যমান—এই প্রশ্ন হিসাবে। যদি এই ধরনের সমাধানের সংখ্যাকে  দ্বারা নির্দেশ করা হয়, তবে -এর ছোট পূর্ণসংখ্যা মানগুলির জন্য -এর মানগুলি হল:
0, 4, 8, 16, 32, 48, 72, 88, 120, 152, 192 … 

স্বাভাবিক গাউস বৃত্ত সমস্যার মতো একই ধারণা এবং এই সত্যটি ব্যবহার করে যে দুটি পূর্ণসংখ্যার সহমৌলিক হওয়ার সম্ভাবনা , এটি তুলনামূলকভাবে সহজভাবে দেখানো যায় যে

স্বাভাবিক বৃত্ত সমস্যার মতো, আদিম বৃত্ত সমস্যার সমস্যাজনক অংশ হলো ত্রুটি পদে (error term) সূচক হ্রাস করা। বর্তমানে, সর্বোত্তম পরিচিত সূচক হলো  যদি কেউ রিম্যান হাইপোথিসিস ধরে নেয়। রিম্যান হাইপোথিসিস ধরে না নিলে, বর্তমানে জানা সেরা ঊর্ধ্বসীমা  হলো 

যেখানে  একটি ধনাত্মক ধ্রুবক। বিশেষ করে, ত্রুটি পদের জন্য  আকারের কোনো সীমা, যেকোনো  এর জন্য, বর্তমানে জানা নেই যা রিম্যান হাইপোথিসিস ধরে না নেয়।

তথ্যসূত্র

বহিঃসংযোগ

বিষয়শ্রেণী:Arithmetic functions
বিষয়শ্রেণী:Lattice points
বিষয়শ্রেণী:সংখ্যাতত্ত্বের অমীমাংসিত সমস্যা
বিষয়শ্রেণী:Circles