Riesz Means of Quadratic Class Numbers

तकनीकी सारांश: द्विघाती वर्ग संख्याओं के रिएज़ माध्य (Riesz Means of Quadratic Class Numbers)

समस्या विवरण
यह शोध पत्र हूर्विट्ज़ वर्ग संख्याओं $H(n)$ (ऋणात्मक डिस्क्रिमिनेट्स से संबंधित) और वास्तविक द्विघाती वर्ग संख्या ट्रेस $Tr_d(1)$ (धनात्मक डिस्क्रिमिनेट्स से संबंधित) से जुड़े भारित रिएज़ माध्यों (weighted Riesz means) के स्पर्शोन्मुख व्यवहार (asymptotic behavior) को संबोधित करता है। जबकि ऋणात्मक डिस्क्रिमिनेट्स के लिए वर्ग संख्याओं की वृद्धि को हीलब्रोन, सीगल और अन्य के कार्यों के माध्यम से 20वीं शताब्दी में हल कर दिया गया था, धनात्मक डिस्क्रिमिनेट्स के लिए इसी प्रकार की अनुमानित धारणाएं (conjectures) अभी भी अनसुलझी हैं। लेखक इन मात्राओं के एक भारित औसत के लिए एक सटीक स्पर्शोन्मुख सूत्र (asymptotic formula) प्राप्त करने का लक्ष्य रखते हैं, विशेष रूप से धनात्मक डिस्क्रिमिनेट वर्ग संख्याओं के लिए जनरेटिंग फंक्शनों की गैर-होलोमोर्फिक प्रकृति से उत्पन्न होने वाली चुनौती को संबोधित करते हुए।

कार्यप्रणाली
लेखक सेसक्विहारमोनिक मास फॉर्म (sesquiharmonic Maass forms) के सिद्धांत को विस्तारित करने वाले एक ढांचे का उपयोग करते हैं। कार्यप्रणाली निम्नलिखित चरणों के माध्यम से आगे बढ़ती है:

1. सेसक्विहारमोनिक रूपों के लिए L-फंक्शंस की परिभाषा:
   शोध पत्र मध्यम विकास (moderate growth) वाले वेट $1/2$ के सेसक्विहारमोनिक मास फॉर्म के लिए $L$-फंक्शंस को प्रस्तुत करता है। होलोमोर्फिक मॉड्यूलर रूपों के विपरीत, सेसक्विहारमोनिक रूपों के फूरियर विस्तार में तीन अलग-अलग श्रृंखलाएं शामिल होती हैं: एक होलोमोर्फिक भाग ($c(n)q^n$), एक गैर-होलोमोर्फिक भाग जिसमें अपूर्ण गामा फंक्शन $\beta(y)$ शामिल है ($b(n)\beta(-4nv)q^n$), और एक तीसरा गैर-होलोमोर्फिक भाग जिसमें एक विशेष फंक्शन $\alpha(y)$ शामिल है ($a(n)\alpha(4nv)q^n$)।
   लेखक एक पूर्ण $L$-फंक्शन $\Lambda_N(F, s)$ को परिभाषित करते हैं जो विशेष फंक्शनों $W_{1/2}(s)$ और $Z(s)$ का उपयोग करके इन तीन घटकों को समाहित करता है, जिन्हें अपूर्ण गामा फंक्शन और $\alpha(y)$ फंक्शन के समावेशन वाले इंटीग्रल्स के माध्यम से परिभाषित किया गया है।

2. L-फंक्शंस के विश्लेषणात्मक गुण:
   लेखक सिद्ध करते हैं कि $\Lambda_N(F, s)$ पूरे जटिल तल (complex plane) में मेरोमोर्फिक निरंतरता (meromorphic continuation) रखता है। वे एक कार्यात्मक समीकरण (functional equation) स्थापित करते हैं जो $\Lambda_N(F, s)$ को $\Lambda_N(G, 1/2 - s)$ से जोड़ता है, जहाँ $G$, फ्रिक समीकरण (Fricke involution) $W(N)$ के तहत $F$ का प्रतिबिंब है। $L$-फंक्शन के ध्रुव (poles), $F$ और $G$ के फूरियर विस्तार के स्थिरांक और लघुगणकीय गुणांकों के संदर्भ में स्पष्ट रूप से गणना किए गए हैं।

3. एक योग सूत्र (Summation Formula) का व्युत्पन्न:
   पेरोन के सूत्र (Perron's formula) और कंटूर इंटीग्रेशन का उपयोग करते हुए, लेखक सेसक्विहारमोनिक मास फॉर्म के गुणांकों के लिए एक सामान्य योग सूत्र व्युत्पन्न करते हैं। यह सूत्र मॉक मॉड्यूलर रूपों (बेकविथ, डायमेंटिस, गुप्ता, रोलेन और थलागोडा द्वारा) और चंद्राशेखरन और नरसांहन के शास्त्रीय परिणामों का सामान्यीकरण करता है।
   महत्वपूर्ण रूप से, सूत्र में सेसक्विहाार्मोनिक रूपों के विशिष्ट दो गैर-होलोमोर्फिक जनरेटिंग सीरीज़ ($\alpha$ और $\beta$) से उत्पन्न होने वाले अतिरिक्त पद शामिल हैं। ये पद बेसेल फंक्शन्स और हाइपरजियोमेट्रिक फंक्शन्स से जुड़े इंटीग्रल्स के रूप में प्रकट होते हैं।

4. वर्ग संख्याओं पर अनुप्रयोग:
   लेखक इस सामान्य योग सूत्र को ड्यूक, इमामोग्लू और तोथ द्वारा प्रस्तुत एक विशिष्ट सेसक्विहारमोनिक मास फॉर्म $\hat{Z}(\tau)$ पर लागू करते हैं। इस रूप के फूरियर गुणांक हूर्विट्ज़ वर्ग संख्या $H(n)$ और वास्तविक द्विघाती ट्रेस $Tr_d(1)$ के अनुरूप होते हैं। $\hat{Z}(\tau)$ पर फ्रिक इनवोल्यूशन (Fricke involution) की क्रिया की गणना करके, वे योग सूत्र में डालने के लिए आवश्यक गुणांक निर्धारित करते हैं।

प्रमुख योगदान और परिणाम

• सैद्धांतिक विस्तार: शोध पत्र सफलतापूर्वक वेट $1/2$ के सेसक्विहारमोनिक मास फॉर्म के लिए $L$-फंक्शंस को परिभाषित और विश्लेषित करता है, जो कि कार्यों का एक ऐसा वर्ग है जिसे पहले इस विशिष्ट $L$-फंक्शन मशीनरी के साथ उपचारित नहीं किया गया था। इसमें कार्यात्मक समीकरण का प्रमाण और अवशेषों (residues) का निर्धारण शामिल है।
• सामान्यीकृत योग सूत्र (प्रमेय 4.1): लेखक सेसक्विहारमोनिक मास फॉर्म के रिएज़ माध्यों के लिए एक क्लोज्ड-फॉर्म योग सूत्र प्रदान करते हैं। यह सूत्र फूरियर विस्तार के तीन अलग-अलग घटकों को स्पष्ट रूप से ध्यान में रखता है, जिसके परिणामस्वरूप होलोमोर्फिक या हार्मोनिक मास फॉर्म की तुलना में अधिक जटिल संरचना प्राप्त होती है।
• वर्ग संख्याओं के लिए स्पर्शोन्मुख सूत्र (प्रमेय 1.2): मुख्य परिणाम $Tr_n(1)$ और $H(n)$ के एक भारित रिएज़ माध्य के लिए एक स्पर्शोन्मुख सूत्र है। $\rho > 3/2$ और किसी भी $\epsilon > 0$ के लिए, शोध पत्र स्थापित करता है:
  $$\sum_{n \le x} \left(1 - \frac{n}{x}\right)^\rho \left( Tr_n(1) + H(n)\left(\frac{x}{n} - 1\right)^{1/2} \frac{2F_1(\dots)}{\sqrt{2n}(\rho + 1/2)} \right) = \frac{\pi x}{6\sqrt{2}(\rho+1)} + O(x^{1/2+\epsilon})$$
  जहाँ $2F_1$ गॉस हाइपरजियोमेट्रिक फंक्शन है।
• संख्यात्मक सत्यापन: शोध पत्र $\rho=2$ के लिए एक संख्यात्मक उदाहरण (उदाहरण 1) शामिल करता है, जो अनुमानित स्थिरांक की ओर योगों के धीमे अभिसरण (convergence) को प्रदर्शित करता है, जो कि सैद्धांतिक त्रुटि पद के अनुरूप है।

महत्व
शोध पत्र का दावा है कि यह हार्मोनिक मास फॉर्म और अधिक जटिल सेसक्विहारमोनिक मास फॉर्म के बीच के अंतर को पाटने में महत्वपूर्ण है। $L$-फंक्शन पद्धति को सेसक्विहारमोनिक मास फॉर्म के इस व्यापक वर्ग तक विस्तारित करके, लेखक वास्तविक द्विघाती वर्ग संख्याओं की वृद्धि का विश्लेषण करने के लिए एक उपकरण प्रदान करते हैं, जो कि गौस के समय से एक अनसुलझी समस्या रही है। यह कार्य मॉक मॉड्यूलर रूपों के हालिया परिणामों का सामान्यीकरण करता है और वर्ग संख्याओं के एक भारित औसत के लिए एक ठोस स्पर्शोन्मुख सूत्र प्रदान करता है, जो इन अंकगणितीय इनवेरिएंट्स के वितरण की समझ में योगदान देता है। लेखक नोट करते हैं कि उनकी विधि चंद्राशेखरन और नरसांहन के कार्य और हालिया प्रीप्रिंट [BDG+] को विस्तारित करती है, जो सेसक्विहारमोनिक रूपों में निहित अतिरिक्त गैर-होलोमोर्फिक पदों को संभालने के लिए अनुकूलित है।