This is an article, published in Izvestiya: Mathematics, 2016, Volume 80, Issue 3, which complements arxiv:2411.18492
পত্রিকা ID : 2501.00551শিরোনাম : দ্বিতীয় মাত্রার L-ফাংশনের রৈখিক সমন্বয়ের শূন্যবিন্দু সম্পর্কে সমালোচনামূলক রেখায়। সেলবার্গের পদ্ধতিলেখক : I.S. Rezvyakova (স্টেকলভ গণিত প্রতিষ্ঠান, রাশিয়ান বিজ্ঞান একাডেমি, মস্কো)শ্রেণীবিভাগ : math.NT (সংখ্যা তত্ত্ব)প্রকাশনা তথ্য : Izvestiya: Mathematics, 2016, খণ্ড 80, সংখ্যা 3পত্রিকা লিঙ্ক : https://arxiv.org/abs/2501.00551 গণিত বিষয় শ্রেণীবিভাগ : 11M41, 11M26এই পত্রিকায় A. সেলবার্গের পদ্ধতির বিস্তারিত গবেষণা করা হয়েছে, যা নির্দিষ্ট প্রাকৃতিক শর্তাধীন সেলবার্গ শ্রেণীতে L-ফাংশনের রৈখিক সমন্বয়ের অ-তুচ্ছ শূন্যবিন্দুর একটি ইতিবাচক অনুপাত সমালোচনামূলক রেখায় অবস্থিত প্রমাণ করতে পারে। লেখক দ্বিতীয় মাত্রার L-ফাংশন (স্বয়ংক্রিয় রূপের সাথে সংযুক্ত) এর রৈখিক সমন্বয়ের ক্ষেত্রে এই ফলাফল প্রমাণ করার জন্য প্রয়োজনীয় সমস্ত প্রয়োজনীয় উপাদান সরবরাহ করেছেন।
এই গবেষণার মূল সমস্যা হল দ্বিতীয় মাত্রার L-ফাংশনের রৈখিক সমন্বয়ের অ-তুচ্ছ শূন্যবিন্দুর একটি ইতিবাচক অনুপাত সমালোচনামূলক রেখা Re(s) = 1/2 এ অবস্থিত প্রমাণ করা, যা রিম্যান অনুমানের আরও বিস্তৃত L-ফাংশন শ্রেণীতে সাধারণীকরণ।
তাত্ত্বিক তাৎপর্য : এটি রিম্যান অনুমানের একটি গুরুত্বপূর্ণ সাধারণীকরণ, যা L-ফাংশনের শূন্যবিন্দু বিতরণ বোঝার জন্য মৌলিকঐতিহাসিক মূল্য : 1942 সালে রিম্যান জেটা ফাংশনে সেলবার্গের যুগান্তকারী কাজ অনুসরণ এবং বিকাশ করেপ্রযুক্তিগত চ্যালেঞ্জ : L-ফাংশনের রৈখিক সমন্বয় সাধারণত অয়লার পণ্য বিয়োজন নেই, যা সমস্যাটিকে আরও জটিল করে তোলেসাধারণ L-ফাংশন রৈখিক সমন্বয় সমালোচনামূলক রেখার বাইরে অনেক শূন্যবিন্দু রয়েছে, রিম্যান অনুমান লঙ্ঘন করে হার্ডি-লিটলউড পদ্ধতি এই ধরনের সমস্যায় সীমিত কার্যকারিতা রয়েছে দ্বিতীয় মাত্রার L-ফাংশন রৈখিক সমন্বয়ের পদ্ধতিগত চিকিৎসার অভাব সেলবার্গ লক্ষ্য করেছিলেন যে তার পদ্ধতি দ্বিতীয় মাত্রার L-ফাংশনের রৈখিক সমন্বয়ে প্রসারিত করা যায়, কিন্তু বিস্তারিত প্রমাণের অভাব ছিল। এই পত্রিকা এই তাত্ত্বিক শূন্যতা পূরণ করে।
পদ্ধতি একীকরণ : দ্বিতীয় মাত্রার L-ফাংশন রৈখিক সমন্বয়ে সেলবার্গ পদ্ধতির সম্পূর্ণ বাস্তবায়ন প্রদান করেপ্রযুক্তিগত উদ্ভাবন : জটিল হেকে বৈশিষ্ট্যের জন্য উপযুক্ত নতুন "মলিফায়ার" নির্মাণ প্রবর্তন করেতাত্ত্বিক পরিপূর্ণতা : প্রয়োজনীয় গড় অনুমান এবং মূল্য বিতরণ ফলাফল প্রতিষ্ঠা করেপ্রয়োগ সম্প্রসারণ : সাধারণ সেলবার্গ শ্রেণী L-ফাংশনের রৈখিক সমন্বয়ের জন্য কাঠামো প্রদান করেধরুন F ( s ) = ∑ j = 1 m c j L j ( s ) F(s) = \sum_{j=1}^m c_j L_j(s) F ( s ) = ∑ j = 1 m c j L j ( s ) হল m টি ভিন্ন হেকে L-ফাংশনের রৈখিক সমন্বয়, যেখানে c j c_j c j বাস্তব সহগ, L j ( s ) L_j(s) L j ( s ) জটিল আদর্শ শ্রেণী গোষ্ঠী বৈশিষ্ট্যের সাথে সংযুক্ত। লক্ষ্য হল প্রমাণ করা যে F ( s ) F(s) F ( s ) এর অ-তুচ্ছ শূন্যবিন্দুর একটি ইতিবাচক অনুপাত সমালোচনামূলক রেখায় অবস্থিত।
L j ( s ) : = L ψ j ( s ) L_j(s) := L_{\psi_j}(s) L j ( s ) := L ψ j ( s ) এর জন্য, সহগ α j ( ν ) \alpha_j(\nu) α j ( ν ) সংজ্ঞায়িত করুন:
∑ ν = 1 ∞ α j ( ν ) ν s = L j ( s ) − 1 / 2 \sum_{\nu=1}^{\infty} \frac{\alpha_j(\nu)}{\nu^s} = L_j(s)^{-1/2} ∑ ν = 1 ∞ ν s α j ( ν ) = L j ( s ) − 1/2
মলিফায়ার সংজ্ঞায়িত করা হয়:
η j ( s ) = ∑ ν ≤ X β j ( ν ) ν s \eta_j(s) = \sum_{\nu \leq X} \frac{\beta_j(\nu)}{\nu^s} η j ( s ) = ∑ ν ≤ X ν s β j ( ν )
যেখানে β j ( ν ) = α j ( ν ) L ( ν ) \beta_j(\nu) = \alpha_j(\nu)L(\nu) β j ( ν ) = α j ( ν ) L ( ν ) , L ( ν ) L(\nu) L ( ν ) একটি ওজন ফাংশন।
তিনটি মূল অনুমান প্রতিষ্ঠা করা প্রয়োজন:
অনুমান (3) :
∫ T 2 T ∣ I j ( t , H ) ∣ 2 d t = O ( T H log T ) \int_T^{2T} |I_j(t,H)|^2 dt = O\left(\frac{T}{H}\log T\right) ∫ T 2 T ∣ I j ( t , H ) ∣ 2 d t = O ( H T log T )
অনুমান (4) :
∫ T 2 T ∣ L j ( 1 / 2 + i t ) η j 2 ( 1 / 2 + i t ) ∣ 2 d t = O ( T ) \int_T^{2T} |L_j(1/2+it)\eta_j^2(1/2+it)|^2 dt = O(T) ∫ T 2 T ∣ L j ( 1/2 + i t ) η j 2 ( 1/2 + i t ) ∣ 2 d t = O ( T )
অনুমান (5) :
∫ T 2 T ∣ M j ( t , H ) ∣ 2 d t = O ( T H log T ) \int_T^{2T} |M_j(t,H)|^2 dt = O\left(\frac{T}{H}\log T\right) ∫ T 2 T ∣ M j ( t , H ) ∣ 2 d t = O ( H T log T )
ভিন্ন হেকে L-ফাংশন L j L_j L j এবং L j ′ L_{j'} L j ′ এর জন্য, প্রমাণ করা প্রয়োজন:
∫ T 2 T κ a , b ( log ∣ L j ( 1 / 2 + i t ) ∣ − log ∣ L j ′ ( 1 / 2 + i t ) ∣ ( n j + n j ′ ) π log log T ) d t = T ∫ a b e − π u 2 d u + O ( T ϕ ( T ) ) \int_T^{2T} \kappa_{a,b}\left(\frac{\log|L_j(1/2+it)| - \log|L_{j'}(1/2+it)|}{\sqrt{(n_j+n_{j'})\pi\log\log T}}\right) dt = T\int_a^b e^{-\pi u^2} du + O(T\phi(T)) ∫ T 2 T κ a , b ( ( n j + n j ′ ) π l o g l o g T l o g ∣ L j ( 1/2 + i t ) ∣ − l o g ∣ L j ′ ( 1/2 + i t ) ∣ ) d t = T ∫ a b e − π u 2 d u + O ( Tϕ ( T ))
যেখানে ϕ ( T ) → 0 \phi(T) \to 0 ϕ ( T ) → 0 যখন T → + ∞ T \to +\infty T → + ∞ ।
ঐতিহ্যবাহী পদ্ধতির তুলনায়, এই পত্রিকার মলিফায়ার রয়েছে:
আরও ভাল বিশ্লেষণাত্মক বৈশিষ্ট্য জটিল হেকে বৈশিষ্ট্যের বিশেষ কাঠামোর সাথে খাপ খাওয়ানো অনুমান (5) এবং সেলবার্গ ঘনত্ব উপপাদ্য একীভূত চিকিৎসা মূল সেলবার্গ সমষ্টি অনুমান প্রতিষ্ঠা করা হয়েছে:
S ( θ ) = ∑ ν 1 , … , ν 4 ≤ X β ( ν 1 ) β ( ν 2 ) β ( ν 3 ) β ( ν 4 ) ν 2 ν 4 ( q ν 1 ν 3 ) 1 − θ K ( ν 1 ν 4 q , 1 − θ ) K ( ν 2 ν 3 q , 1 − θ ) ≪ X 2 θ log X S(\theta) = \sum_{\nu_1,\ldots,\nu_4 \leq X} \frac{\beta(\nu_1)\beta(\nu_2)\beta(\nu_3)\beta(\nu_4)}{\nu_2\nu_4} \left(\frac{q}{\nu_1\nu_3}\right)^{1-\theta} K\left(\frac{\nu_1\nu_4}{q}, 1-\theta\right) K\left(\frac{\nu_2\nu_3}{q}, 1-\theta\right) \ll \frac{X^{2\theta}}{\log X} S ( θ ) = ∑ ν 1 , … , ν 4 ≤ X ν 2 ν 4 β ( ν 1 ) β ( ν 2 ) β ( ν 3 ) β ( ν 4 ) ( ν 1 ν 3 q ) 1 − θ K ( q ν 1 ν 4 , 1 − θ ) K ( q ν 2 ν 3 , 1 − θ ) ≪ l o g X X 2 θ
বোর-ল্যান্ডাউ ধারণা ব্যবহার করে, সমন্বিত অসমতা তুলনার মাধ্যমে:
∫ t t + H ∣ F ( u ) ∣ d u > ∣ ∫ t t + H F ( u ) d u ∣ \int_t^{t+H} |F(u)| du > \left|\int_t^{t+H} F(u) du\right| ∫ t t + H ∣ F ( u ) ∣ d u > ∫ t t + H F ( u ) d u
বিজোড় ক্রম শূন্যবিন্দু সনাক্ত করতে।
L-ফাংশন : কল্পনা দ্বিতীয় মাত্রার ক্ষেত্র Q ( − D ) \mathbb{Q}(\sqrt{-D}) Q ( − D ) এর জটিল হেকে L-ফাংশনপরামিতি পরিসীমা : X X X হল T T T এর ছোট শক্তি, H ≍ 1 / log T H \asymp 1/\log T H ≍ 1/ log T বৈশিষ্ট্য : জটিল আদর্শ শ্রেণী গোষ্ঠী বৈশিষ্ট্য ψ \psi ψ মলিফায়ার কাটা পরামিতি: X = T ϵ X = T^{\epsilon} X = T ϵ (ϵ \epsilon ϵ ছোট ধনাত্মক সংখ্যা) সমন্বিত ব্যবধান দৈর্ঘ্য: H = A m log T H = \frac{A}{m\log T} H = m l o g T A (A A A যথেষ্ট বড় ধ্রুবক) শূন্যবিন্দু গণনা ব্যবধান: T ≤ t ≤ 2 T T \leq t \leq 2T T ≤ t ≤ 2 T উপপাদ্য : ধরুন F ( s ) = ∑ j = 1 m c j L j ( s ) F(s) = \sum_{j=1}^m c_j L_j(s) F ( s ) = ∑ j = 1 m c j L j ( s ) হল m টি ভিন্ন জটিল হেকে L-ফাংশনের বাস্তব সহগ রৈখিক সমন্বয়। তাহলে F ( s ) F(s) F ( s ) এর অ-তুচ্ছ শূন্যবিন্দুর একটি ইতিবাচক অনুপাত সমালোচনামূলক রেখায় অবস্থিত। নির্দিষ্টভাবে, যদি N 0 ( T ) N_0(T) N 0 ( T ) ব্যবধান { s = 1 / 2 + i t , T ≤ t ≤ 2 T } \{s = 1/2 + it, T \leq t \leq 2T\} { s = 1/2 + i t , T ≤ t ≤ 2 T } এ F ( s ) F(s) F ( s ) এর শূন্যবিন্দু সংখ্যা প্রকাশ করে, তাহলে যেকোনো বড় ধনাত্মক সংখ্যা T T T এর জন্য:
N 0 ( T ) ≫ 1 m T log T N_0(T) \gg \frac{1}{m} T \log T N 0 ( T ) ≫ m 1 T log T
সফলভাবে অনুমান (3)-(5) প্রমাণ করা হয়েছে, যেখানে মূল বিষয় হল:
গ্যাব্রিয়েল উত্তলতা উপপাদ্য ব্যবহার করে মধ্যবর্তী অনুমান প্রতিষ্ঠা করা সেলবার্গ সমষ্টি কৌশল দ্বারা "কর্ণ পদ" এবং "অ-কর্ণ পদ" প্রক্রিয়াকরণ জটিল হেকে বৈশিষ্ট্যের বিশেষ বৈশিষ্ট্য প্রয়োগ করা পার্শ্ব পণ্য হিসাবে, সেলবার্গ ঘনত্ব উপপাদ্য প্রতিষ্ঠা করা হয়েছে:
N ( σ , T ) ≪ T 1 − a 1 ( σ − 1 / 2 ) log T N(\sigma, T) \ll T^{1-a_1(\sigma-1/2)} \log T N ( σ , T ) ≪ T 1 − a 1 ( σ − 1/2 ) log T
যেখানে a 1 > 0 a_1 > 0 a 1 > 0 একটি ধ্রুবক।
ভিন্ন L-ফাংশন লগারিদমিক মূল্য পার্থক্যের অসিম্পটোটিক সাধারণ বিতরণ প্রমাণ করা হয়েছে, যা প্রধান ফলাফল প্রতিষ্ঠার মূল পদক্ষেপ।
সেলবার্গ (1942) : রিম্যান জেটা ফাংশনে মূল ফলাফলহাফনার (1983, 1987) : সম্পূর্ণ মডুলার গোষ্ঠীর শীর্ষ রূপ L-ফাংশনে সম্প্রসারণরেজভিয়াকোভা (2010) : সাধারণ হেকে সামঞ্জস্য গোষ্ঠীতে সম্প্রসারণডেভেনপোর্ট-হেইলব্রোন (1936) : L-ফাংশন রৈখিক সমন্বয়ের শূন্যবিন্দু প্রথম গবেষণাভোরোনিন (1980) : প্রথম মাত্রা L-ফাংশন রৈখিক সমন্বয়ের শর্তহীন ফলাফলকারাৎসুবা (1989-1994) : গুরুত্বপূর্ণ উন্নতিসেলবার্গ (1998-1999) : দ্বিতীয় মাত্রা ক্ষেত্রে পদ্ধতি কাঠামো প্রস্তাবএই পত্রিকা দ্বিতীয় মাত্রার L-ফাংশন রৈখিক সমন্বয়ের সম্পূর্ণ প্রমাণ প্রদানকারী প্রথম কাজ, সেলবার্গ পদ্ধতির এই ক্ষেত্রে তাত্ত্বিক শূন্যতা পূরণ করে।
সেলবার্গ পদ্ধতি জটিল হেকে L-ফাংশনের রৈখিক সমন্বয়ে সফলভাবে সম্প্রসারিত করা হয়েছে প্রয়োজনীয় সমস্ত প্রযুক্তিগত অনুমান এবং মূল্য বিতরণ ফলাফল প্রতিষ্ঠা করা হয়েছে সমালোচনামূলক রেখায় অবস্থিত ইতিবাচক অনুপাত শূন্যবিন্দু সম্পর্কে প্রধান উপপাদ্য প্রমাণ করা হয়েছে বৈশিষ্ট্য সীমাবদ্ধতা : শুধুমাত্র জটিল হেকে বৈশিষ্ট্য প্রক্রিয়া করা হয়, বাস্তব বৈশিষ্ট্যের জন্য অতিরিক্ত কাজ প্রয়োজনস্বাধীনতা অনুমান : কিছু ফলাফল L-ফাংশনের মধ্যে "স্বাধীনতা" অনুমানের উপর নির্ভর করেকার্যকর ধ্রুবক : ইতিবাচক অনুপাতের নির্দিষ্ট ধ্রুবক কার্যকর অনুমান দেওয়া হয়নিবাস্তব বৈশিষ্ট্য সম্প্রসারণ : বাস্তব হেকে বৈশিষ্ট্যের চিকিৎসা সম্পূর্ণ করাউচ্চতর মাত্রা ক্ষেত্র : উচ্চতর মাত্রা L-ফাংশনে সাধারণীকরণএপস্টেইন জেটা ফাংশন : দ্বিমাত্রিক ধনাত্মক নির্দিষ্ট দ্বিঘাত রূপের এপস্টেইন জেটা ফাংশনে প্রয়োগকার্যকর ধ্রুবক : আরও নির্ভুল শূন্যবিন্দু অনুপাত অনুমান খোঁজাতাত্ত্বিক সম্পূর্ণতা : দ্বিতীয় মাত্রা ক্ষেত্রে সেলবার্গ পদ্ধতির সম্পূর্ণ বাস্তবায়ন প্রদান করেপ্রযুক্তিগত গভীরতা : সেলবার্গ সমষ্টি, ঘনত্ব উপপাদ্য সহ গভীর বিশ্লেষণাত্মক সংখ্যা তত্ত্ব কৌশল জড়িতপদ্ধতি একীকরণ : ব্যক্তিগত L-ফাংশন এবং রৈখিক সমন্বয়ের চিকিৎসা একই কাঠামোতে একীভূত করেঐতিহাসিক তাৎপর্য : সেলবার্গ দ্বারা অসম্পূর্ণ তাত্ত্বিক নির্মাণ সম্পূর্ণ করেপাঠযোগ্যতা : প্রযুক্তিগত বিবরণ জটিল, গভীর বিশ্লেষণাত্মক সংখ্যা তত্ত্ব পটভূমি প্রয়োজনপ্রয়োগ পরিসীমা : ফলাফল প্রধানত তাত্ত্বিক প্রকৃতির, ব্যবহারিক প্রয়োগ সীমিতগণনামূলক জটিলতা : পদ্ধতির গণনামূলক বাস্তবায়ন অত্যন্ত কঠিনতাত্ত্বিক অবদান : L-ফাংশন শূন্যবিন্দু তত্ত্বের জন্য গুরুত্বপূর্ণ সরঞ্জাম প্রদান করেপদ্ধতি মূল্য : সাধারণ সেলবার্গ শ্রেণী L-ফাংশন প্রক্রিয়াকরণের জন্য টেমপ্লেট প্রদান করেএকাডেমিক অবস্থান : বিশ্লেষণাত্মক সংখ্যা তত্ত্ব ক্ষেত্রে গুরুত্বপূর্ণ অবস্থান রয়েছেL-ফাংশন শূন্যবিন্দু বিতরণ সম্পর্কে তাত্ত্বিক কাজ গবেষণা রিম্যান অনুমান সম্পর্কিত সমস্যার গবেষণা স্বয়ংক্রিয় রূপ L-ফাংশনের বিশ্লেষণাত্মক বৈশিষ্ট্য গবেষণা পত্রিকা 28 টি গুরুত্বপূর্ণ তথ্যসূত্র উদ্ধৃত করে, যার মধ্যে রয়েছে:
সেলবার্গের মূল কাজ এবং পরবর্তী উন্নয়ন দ্বিতীয় মাত্রা L-ফাংশনে হাফনারের অবদান ব্যক্তিগত L-ফাংশনে লেখকের পূর্ববর্তী কাজ হেকে তত্ত্ব এবং স্বয়ংক্রিয় রূপের ক্লাসিক সাহিত্য মূল্য বিতরণ তত্ত্বের সম্পর্কিত কাজ প্রযুক্তিগত নোট : এই পত্রিকা বিশুদ্ধ গণিত তাত্ত্বিক গবেষণার অন্তর্গত, উচ্চ স্তরের বিশ্লেষণাত্মক সংখ্যা তত্ত্ব কৌশল জড়িত। যদিও তাত্ত্বিক তাৎপর্য উল্লেখযোগ্য, তবে এর প্রযুক্তিগত বিবরণ এবং গভীর অর্থ সম্পূর্ণভাবে বুঝতে পেশাদার গণিত পটভূমি প্রয়োজন।