This is an article, published in Izvestiya: Mathematics, 2016, Volume 80, Issue 3, which complements arxiv:2411.18492
पेपर ID : 2501.00551शीर्षक : डिग्री दो के L-फलनों के रैखिक संयोजनों के शून्यों पर, क्रांतिक रेखा पर। Selberg की विधिलेखक : I.S. Rezvyakova (Steklov Mathematical Institute of RAS, Moscow)वर्गीकरण : math.NT (संख्या सिद्धांत)प्रकाशन जानकारी : Izvestiya: Mathematics में प्रकाशित, 2016, खंड 80, अंक 3पेपर लिंक : https://arxiv.org/abs/2501.00551 गणितीय विषय वर्गीकरण : 11M41, 11M26यह पेपर A. Selberg की विधि का विस्तृत अध्ययन प्रस्तुत करता है, जो विशिष्ट प्राकृतिक शर्तों के तहत Selberg वर्ग में L-फलनों के रैखिक संयोजनों के गैर-तुच्छ शून्यों का एक सकारात्मक अनुपात क्रांतिक रेखा पर स्थित होने को सिद्ध कर सकती है। लेखक द्वितीय-डिग्री L-फलनों (स्वसंरूप रूपों से संलग्न) के रैखिक संयोजन के मामले में इस परिणाम को सिद्ध करने के लिए आवश्यक सभी घटक प्रदान करता है।
इस अनुसंधान की मूल समस्या द्वितीय-डिग्री L-फलनों के रैखिक संयोजनों के गैर-तुच्छ शून्यों का एक सकारात्मक अनुपात क्रांतिक रेखा Re(s) = 1/2 पर स्थित होने को सिद्ध करना है, जो व्यापक L-फलन वर्गों में Riemann परिकल्पना का सामान्यीकरण है।
सैद्धांतिक महत्व : यह Riemann परिकल्पना का महत्वपूर्ण सामान्यीकरण है, जो L-फलनों के शून्य वितरण को समझने के लिए मौलिक हैऐतिहासिक मूल्य : 1942 में Riemann ζ-फलन पर Selberg के अग्रणी कार्य को आगे बढ़ाता हैतकनीकी चुनौती : L-फलनों के रैखिक संयोजन सामान्यतः Euler गुणनफल अपघटन नहीं रखते, जिससे समस्या अधिक जटिल हो जाती हैसामान्य L-फलन रैखिक संयोजनों के क्रांतिक रेखा के बाहर कई शून्य होते हैं, जो Riemann परिकल्पना का उल्लंघन करते हैं Hardy-Littlewood विधि इस प्रकार की समस्याओं पर सीमित प्रभाव डालती है द्वितीय-डिग्री L-फलन रैखिक संयोजनों के व्यवस्थित उपचार की कमी है Selberg ने देखा कि उनकी विधि को द्वितीय-डिग्री L-फलनों के रैखिक संयोजनों तक विस्तारित किया जा सकता है, लेकिन विस्तृत प्रमाण की कमी थी। यह पेपर इस सैद्धांतिक अंतराल को भरता है।
विधि एकीकरण : द्वितीय-डिग्री L-फलन रैखिक संयोजनों में Selberg विधि का संपूर्ण कार्यान्वयन प्रदान करता हैतकनीकी नवाचार : जटिल Hecke विशेषताओं के लिए उपयुक्त नए "mollifier" निर्माण का परिचय देता हैसैद्धांतिक सुधार : आवश्यक माध्य अनुमान और मान वितरण परिणाम स्थापित करता हैअनुप्रयोग विस्तार : सामान्य Selberg वर्ग 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 विभिन्न Hecke 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
mollifier को इस प्रकार परिभाषित किया जाता है:
η 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 )
विभिन्न Hecke 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 → + ∞ ।
पारंपरिक विधि की तुलना में, इस पेपर के mollifier में निम्नलिखित गुण हैं:
बेहतर विश्लेषणात्मक गुण जटिल Hecke विशेषताओं की विशेष संरचना के अनुकूल अनुमान (5) और Selberg घनत्व प्रमेय का एकीकृत उपचार मुख्य Selberg योग अनुमान स्थापित किया गया:
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 θ
Bohr-Landau विचार का उपयोग करते हुए, समाकल असमानता की तुलना के माध्यम से:
∫ 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 ) के जटिल Hecke L-फलनपैरामीटर श्रेणी : X X X को T T T की छोटी घात के रूप में, H ≍ 1 / log T H \asymp 1/\log T H ≍ 1/ log T विशेषताएँ : जटिल आदर्श वर्ग समूह विशेषताएँ ψ \psi ψ mollifier कटऑफ पैरामीटर: 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 विभिन्न जटिल Hecke 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) को सफलतापूर्वक सिद्ध किया गया, जहाँ मुख्य बिंदु हैं:
Gabriel उत्तलता प्रमेय का उपयोग करके मध्यवर्ती अनुमान स्थापित करना Selberg योग तकनीक के माध्यम से "विकर्ण पद" और "विकर्ण-बाहर पद" को संभालना जटिल Hecke विशेषताओं की विशेष गुणों का अनुप्रयोग एक उप-उत्पाद के रूप में, Selberg घनत्व प्रमेय स्थापित किया गया:
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-फलनों के लॉगरिदमिक मान अंतर के स्पर्शोन्मुख सामान्य वितरण को सिद्ध किया गया, जो मुख्य परिणाम स्थापित करने के लिए मुख्य चरण है।
Selberg (1942) : Riemann ζ-फलन पर मूल परिणामHafner (1983, 1987) : पूर्ण मॉड्यूलर समूह के cusp रूपों के L-फलनों तक विस्तारRezvyakova (2010) : सामान्य Hecke सर्वांगसम समूहों तक विस्तारDavenport-Heilbronn (1936) : L-फलन रैखिक संयोजनों के शून्यों का प्रथम अध्ययनVoronin (1980) : प्रथम-डिग्री L-फलन रैखिक संयोजनों के बिना शर्त परिणामKaratsuba (1989-1994) : महत्वपूर्ण सुधारSelberg (1998-1999) : द्वितीय-डिग्री मामले के लिए विधि ढांचा प्रस्तावितयह पेपर द्वितीय-डिग्री L-फलन रैखिक संयोजनों का संपूर्ण प्रमाण देने वाला पहला कार्य है, जो इस क्षेत्र में Selberg विधि के सैद्धांतिक अंतराल को भरता है।
Selberg विधि को जटिल Hecke L-फलनों के रैखिक संयोजनों तक सफलतापूर्वक विस्तारित करता है आवश्यक सभी तकनीकी अनुमान और मान वितरण परिणाम स्थापित करता है क्रांतिक रेखा पर सकारात्मक अनुपात शून्यों के मुख्य प्रमेय को सिद्ध करता है विशेषता प्रतिबंध : केवल जटिल Hecke विशेषताओं को संभालता है, वास्तविक विशेषताओं के लिए अतिरिक्त कार्य की आवश्यकता हैस्वतंत्रता धारणा : कुछ परिणाम L-फलनों के बीच "स्वतंत्रता" धारणा पर निर्भर हैंप्रभावी स्थिरांक : सकारात्मक अनुपात के विशिष्ट स्थिरांक प्रभावी अनुमान नहीं दिए गए हैंवास्तविक विशेषता विस्तार : वास्तविक Hecke विशेषताओं के उपचार को पूरा करनाउच्च-डिग्री मामले : उच्च-डिग्री L-फलनों तक सामान्यीकरणEpstein ζ-फलन : द्विचर सकारात्मक निश्चित द्वितीय-डिग्री रूपों के Epstein ζ-फलनों पर अनुप्रयोगप्रभावी स्थिरांक : अधिक सटीक शून्य अनुपात अनुमान की खोजसैद्धांतिक पूर्णता : द्वितीय-डिग्री मामले में Selberg विधि का संपूर्ण कार्यान्वयन प्रदान करता हैतकनीकी गहराई : Selberg योग, घनत्व प्रमेय आदि सहित गहन विश्लेषणात्मक संख्या सिद्धांत तकनीकें शामिल हैंविधि एकीकरण : व्यक्तिगत L-फलनों और रैखिक संयोजनों के उपचार को एक ही ढांचे में एकीकृत करता हैऐतिहासिक महत्व : Selberg द्वारा अधूरे सैद्धांतिक निर्माण को पूरा करता हैपठनीयता : तकनीकी विवरण जटिल हैं, गहन विश्लेषणात्मक संख्या सिद्धांत पृष्ठभूमि की आवश्यकता हैअनुप्रयोग श्रेणी : परिणाम मुख्यतः सैद्धांतिक प्रकृति के हैं, व्यावहारिक अनुप्रयोग सीमित हैंगणनात्मक जटिलता : विधि का गणनात्मक कार्यान्वयन अत्यंत कठिन हैसैद्धांतिक योगदान : L-फलन शून्य सिद्धांत के लिए महत्वपूर्ण उपकरण प्रदान करता हैविधि मूल्य : सामान्य Selberg वर्ग L-फलनों को संभालने के लिए टेम्पलेट प्रदान करता हैशैक्षणिक स्थिति : विश्लेषणात्मक संख्या सिद्धांत क्षेत्र में महत्वपूर्ण स्थिति रखता हैL-फलन शून्य वितरण के सैद्धांतिक अनुसंधान कार्य Riemann परिकल्पना संबंधित समस्याओं का अनुसंधान स्वसंरूप रूपों के L-फलनों के विश्लेषणात्मक गुणों का अनुसंधान पेपर 28 महत्वपूर्ण संदर्भों का हवाला देता है, जिनमें शामिल हैं:
Selberg के मूल कार्य और बाद के विकास द्वितीय-डिग्री L-फलनों पर Hafner का योगदान एकल L-फलनों पर लेखक के पूर्व कार्य Hecke सिद्धांत और स्वसंरूप रूपों के शास्त्रीय साहित्य मान वितरण सिद्धांत के संबंधित कार्य तकनीकी नोट : यह पेपर शुद्ध गणित सैद्धांतिक अनुसंधान से संबंधित है, जिसमें उच्च विश्लेषणात्मक संख्या सिद्धांत तकनीकें शामिल हैं। यद्यपि सैद्धांतिक महत्व महत्वपूर्ण है, लेकिन इसकी तकनीकी विवरण और गहन अर्थ को पूरी तरह समझने के लिए व्यावसायिक गणित पृष्ठभूमि की आवश्यकता है।