2025-11-23T09:22:15.698516

Kronecker second limit formula for real quadratic fields

Choie, Kumar
In this paper, the second Kronecker ``limit" formula for a real quadratic field is established for the first time. More precisely, we obtain the second Kronecker limit formula of Zagier's zeta function. Using the reduction theory of Zagier, which connects Zagier's zeta function to the zeta function of real quadratic fields, we express the values of the zeta function of narrow ideal classes in real quadratic fields at natural arguments in terms of an analytic function which we call the \emph{higher Herglotz-Zagier-Novikov function} and denote it by $\mathscr{F}_k(x; α, β)$. This function plays a central role in our study. The function $\mathscr{F}_k(x; α, β)$ possesses elegant properties, for example, we prove that it satisfies the two, three and six-term functional equations. As a result of our Kronecker limit formula and functional equations, we provide another expression for the combinations of zeta values. Finally, we interpret our Kronecker ``limit" formula in terms of cohomological relations and establish a connection between $\mathscr{F}_k(x; α, β)$ and a generalized Dedekind-eta function.
academic

صيغة كرونيكر للحد الثاني للحقول التربيعية الحقيقية

المعلومات الأساسية

  • معرّف الورقة: 2510.10554
  • العنوان: صيغة كرونيكر للحد الثاني للحقول التربيعية الحقيقية
  • المؤلفون: Youngju Choie, Rahul Kumar
  • التصنيف: math.NT (نظرية الأعداد)، math.CA (التحليل المركب)
  • تاريخ النشر: 14 أكتوبر 2025 (مسودة arXiv)
  • رابط الورقة: https://arxiv.org/abs/2510.10554

الملخص

تؤسس هذه الورقة للمرة الأولى صيغة كرونيكر للحد الثاني "النهائية" للحقول التربيعية الحقيقية. بشكل أدق، يحصل المؤلفون على صيغة كرونيكر للحد الثاني لدالة زاغير زيتا. باستخدام نظرية الاختزال لزاغير (التي تربط دالة زاغير زيتا بدالة زيتا للحقول التربيعية الحقيقية)، يعبر المؤلفون عن قيم دالة زيتا للفئات المثالية الضيقة في الحقول التربيعية الحقيقية عند معاملات الأعداد الطبيعية باستخدام دالة تحليلية تُسمى دالة هيرغلوتز-زاغير-نوفيكوف من الرتبة الأعلى، ويُرمز لها بـ Fk(x;α,β)F_k(x;α,β). تلعب هذه الدالة دوراً أساسياً في البحث وتتمتع بخصائص أنيقة، وتحقق معادلات دوال ثنائية وثلاثية وسداسية الحدود. بناءً على صيغة كرونيكر والمعادلات الدالية، يقدم المؤلفون تعبيراً بديلاً لمجموعات قيم زيتا، ويفسرون صيغة كرونيكر "النهائية" من منظور العلاقات الكوهومولوجية، ويؤسسون ارتباطاً بين Fk(x;α,β)F_k(x;α,β) والدوال المعممة لديديكند-إيتا.

الخلفية البحثية والدافع

خلفية المشكلة

  1. التاريخ الحديث لصيغ كرونيكر النهائية: تتمتع صيغ كرونيكر النهائية الأولى والثانية الكلاسيكية بتطبيقات واسعة في نظرية الأعداد والفيزياء، وتتعلق بالحد الثابت في تطور لورنت لسلاسل ديريشليه معينة عند s=1s=1.
  2. حدود النتائج الموجودة:
    • اشتق كرونيكر في الأصل الصيغة لدالة ديديكند زيتا للحقول التربيعية الخيالية
    • طور زاغير عام 1975 صيغة كرونيكر النهائية الأولى للحقول التربيعية الحقيقية، وأدخل دالة هيرغلوتز
    • لكن صيغة كرونيكر النهائية الثانية للحقول التربيعية الحقيقية ظلت ناقصة
  3. الفجوة البحثية: على الرغم من التطور الواسع لصيغة كرونيكر النهائية الأولى وتطبيقاتها، فإن الأدبيات المتعلقة بصيغة كرونيكر النهائية الثانية محدودة نسبياً، خاصة في حالة الحقول التربيعية الحقيقية.

الدافع البحثي

تهدف هذه الورقة إلى سد هذه الفجوة النظرية المهمة، وتؤسس للمرة الأولى صيغة كرونيكر النهائية الثانية للحقول التربيعية الحقيقية، وهي النسخة المقابلة للمجال الحقيقي من حالة الحقول التربيعية الخيالية.

المساهمات الأساسية

  1. تأسيس صيغة كرونيكر النهائية الثانية للحقول التربيعية الحقيقية للمرة الأولى: الحصول على صيغة كرونيكر النهائية الثانية الكاملة من خلال دالة زاغير زيتا
  2. إدخال دالة هيرغلوتز-زاغير-نوفيكوف من الرتبة الأعلى: تعريف دالة تحليلية جديدة Fk(x;α,β)F_k(x;α,β) تعمم دالة هيرغلوتز المعروفة
  3. إثبات خصائص دالية غنية: تأسيس معادلات دوال ثنائية وثلاثية وسداسية الحدود لـ Fk(x;α,β)F_k(x;α,β)
  4. توفير تفسير كوهومولوجي: تفسير الصيغة النهائية من منظور العلاقات الكوهومولوجية، وبناء 1-دورات مرتبطة
  5. تأسيس ارتباط مع دوال ديديكند-إيتا المعممة: ربط Fk(x;α,β)F_k(x;α,β) بدوال ديديكند-إيتا المعممة من خلال تمثيل نوع بينيه
  6. إعطاء تعبيرات لقيم زيتا الكسرية: توفير تعبيرات جديدة لمجموعات قيم زيتا

شرح الطرق

التعاريف الأساسية

دالة هيرغلوتز-زاغير-نوفيكوف من الرتبة الأعلى: Fk(x;α,β):=∫0∞Lik−1(e−xte2πiα)1−e−te2πiβdt,Re(x)>0F_k(x;α,β) := \int_0^∞ \frac{\text{Li}_{k-1}(e^{-xt}e^{2πiα})}{1-e^{-t}e^{2πiβ}} dt, \quad \text{Re}(x) > 0

حيث Lis(z)=∑n≥1znns\text{Li}_s(z) = \sum_{n≥1} \frac{z^n}{n^s} هي دالة اللوغاريتم المتعدد.

دالة زاغير زيتا: ZQ(s;(α,β)):=∑p≥1,q≥0e2πi(αp+βq)Q(p,q)sZ_Q(s;(α,β)) := \sum_{p≥1,q≥0} \frac{e^{2πi(αp+βq)}}{Q(p,q)^s}

حيث Q(x,y)Q(x,y) هي شكل ثنائي تربيعي غير محدد بمميز يساوي 1.

النتائج النظرية الرئيسية

النظرية 2.2 (صيغة كرونيكر النهائية الثانية): لـ α,β∈R∖Zα,β ∈ \mathbb{R}\setminus\mathbb{Z}:

  1. ZQ(s;(α,β))Z_Q(s;(α,β)) تحليلية في Re(s)>1/2\text{Re}(s) > 1/2
  2. صيغة كرونيكر النهائية الثانية هي: ZQ(1;(α,β))=F2(w′;α,β)−F2(w;α,β)Z_Q(1;(α,β)) = F_2(w';α,β) - F_2(w;α,β)

النظرية 2.3 (الحالة من الرتبة الأعلى): لأعداد صحيحة موجبة k>1k > 1: ZQ(k;(α,β))=−(Dk−1F2k)(w,w′;α,β)Z_Q(k;(α,β)) = -(D_{k-1}F_{2k})(w,w';α,β)

حيث DnD_n هو عامل تفاضلي: (Dnf)(x,y;α,β)=∑i=0n(2n−in)f(i)(x;α,β)−(−1)if(i)(y;α,β)i!(y−x)n−i(\mathcal{D}_nf)(x,y;α,β) = \sum_{i=0}^n \binom{2n-i}{n} \frac{f^{(i)}(x;α,β) - (-1)^if^{(i)}(y;α,β)}{i!(y-x)^{n-i}}

المعادلات الدالية

المعادلة الدالية الثنائية الحدود: Fk(x;α,β)+(−x)k−2Fk(1x;β,α)=1xLik(e2πiα)−(−x)k−1Lik(e2πiβ)+∑r=1k−1(−x)r−1Lik−r(e2πiα)Lir(e2πiβ)F_k(x;α,β) + (-x)^{k-2}F_k\left(\frac{1}{x};β,α\right) = \frac{1}{x}\text{Li}_k(e^{2πiα}) - (-x)^{k-1}\text{Li}_k(e^{2πiβ}) + \sum_{r=1}^{k-1}(-x)^{r-1}\text{Li}_{k-r}(e^{2πiα})\text{Li}_r(e^{2πiβ})

المعادلة الدالية الثلاثية الحدود: علاقات ثلاثية أكثر تعقيداً تتضمن Fk(x;α,β)F_k(x;α,β) و Fk(x+1;α+β,β)F_k(x+1;α+β,β) و Fk(x+1x;α+β,α)F_k(\frac{x+1}{x};α+β,α)

المعادلة الدالية السداسية الحدود: مشتقة من العلاقات الثلاثية والتحويل المعياري Fk∣2k(−I)(x,α,β)=Fk(x,−α,−β)F_k|_{2k}(-I)(x,α,β) = F_k(x,-α,-β)

الإعداد التجريبي

التحقق العددي

يقوم المؤلفون بالتحقق العددي باستخدام K=Q(3)K = \mathbb{Q}(\sqrt{3}) كمثال:

  • يحتوي المجال على فئتين ضيقتين B0B_0 و B1B_1
  • مجموعات الأعداد التربيعية غير النسبية المختزلة المقابلة هي:
    • Red(B0)={2+3}\text{Red}(B_0) = \{2+\sqrt{3}\}
    • Red(B1)={1+13,3+32}\text{Red}(B_1) = \{1+\frac{1}{\sqrt{3}}, \frac{3+\sqrt{3}}{2}\}

نتائج الحساب

باستخدام Mathematica للحساب، تم التحقق من اتساق الجانبين العددي للصيغة النهائية من الرتبة الأعلى (2.18)، بدقة تتجاوز 15 منزلة عشرية.

النتائج التجريبية

النتائج الرئيسية

تشير الحسابات العددية إلى صحة الصيغ النظرية. على سبيل المثال، لـ Red(B0)={2+3}\text{Red}(B_0) = \{2+\sqrt{3}\} والمعاملات (α,β)=(0.5,0.5)(α,β) = (0.5, 0.5):

  • الجانب الأيسر: −11.127412237247254...+6.11342...×10−20i-11.127412237247254... + 6.11342... × 10^{-20}i
  • الجانب الأيمن: −11.12741223912468...+1.30095...×10−15i-11.12741223912468... + 1.30095... × 10^{-15}i

الخطأ ضمن نطاق الدقة العددية، مما يتحقق من صحة النظرية.

الخصائص التقاربية

الاقتراح 3.2: تأسيس التطورات التقاربية لـ Fk(x;α,β)F_k(x;α,β) عند x→∞x→∞ و x→0x→0:

عند x→∞x→∞: Fk(x;α,β)∼∑n=0∞an(β)xn+1Lik+n(e2πiα)F_k(x;α,β) \sim \sum_{n=0}^∞ \frac{a_n(β)}{x^{n+1}}\text{Li}_{k+n}(e^{2πiα})

يعطي عند x→0x→0 تطوراً أكثر تعقيداً.

الأعمال ذات الصلة

التطور التاريخي

  1. كرونيكر (1929): صيغة كرونيكر النهائية الأصلية لدالة ديديكند زيتا للحقول التربيعية الخيالية
  2. هيكه (1917)، هيرغلوتز (1923): الأعمال المبكرة للحقول التربيعية الحقيقية
  3. زاغير (1975): صيغة كرونيكر النهائية الأولى للحقول التربيعية الحقيقية، إدخال دالة هيرغلوتز
  4. فلاسينكو-زاغير (2013): صيغ كرونيكر "النهائية" من الرتبة الأعلى
  5. نوفيكوف (1981): دراسة الدوال ذات الصلة

الابتكار في هذه الورقة

تكمل هذه الورقة للمرة الأولى تأسيس صيغة كرونيكر النهائية الثانية للحقول التربيعية الحقيقية، وتسد الفجوة النظرية، وتوفر خصائص دالية غنية وتفسيراً كوهومولوجياً.

الخلاصة والنقاش

الاستنتاجات الرئيسية

  1. تأسيس ناجح لصيغة كرونيكر النهائية الثانية للحقول التربيعية الحقيقية
  2. الدالة المدخلة Fk(x;α,β)F_k(x;α,β) تتمتع بخصائص تحليلية غنية
  3. توفير تعبيرات جديدة لقيم زيتا وتفسير كوهومولوجي
  4. تأسيس ارتباط عميق مع دوال ديديكند-إيتا المعممة

القيود

  1. تتطلب بعض النتائج α,β∈R∖Zα,β ∈ \mathbb{R}\setminus\mathbb{Z}، وتحتاج حالات الأعداد الصحيحة إلى أخذ نهايات مناسبة
  2. النتائج المتعلقة بقيم زيتا الكسرية محدودة بشكل أساسي على حالة α=βα = β
  3. الحدس 6.2 لم يتم حله بالكامل بعد

الاتجاهات المستقبلية

  1. التوسع إلى حقول جبرية أكثر عمومية
  2. استكشاف الارتباطات الأعمق مع نظرية الأشكال المعيارية
  3. دراسة الخصائص الحسابية لـ Fk(x;α,β)F_k(x;α,β)
  4. تحسين النظرية العامة لقيم زيتا الكسرية

التقييم المتعمق

المميزات

  1. الاكتمال النظري: تأسيس صيغة كرونيكر النهائية الثانية للحقول التربيعية الحقيقية للمرة الأولى، سد فجوة نظرية مهمة
  2. الابتكار التقني: الدالة المدخلة Fk(x;α,β)F_k(x;α,β) تعمم عدة دوال معروفة، وتتمتع بالوحدة
  3. الصرامة المنهجية: تتضمن تقنيات الإثبات التحليل المركب، نظرية المعادلات الدالية، الكوهومولوجيا وجوانب متعددة
  4. النتائج الغنية: لا توفر الصيغة الرئيسية فحسب، بل تؤسس أيضاً خصائص وتطبيقات متعددة للدالة

أوجه القصور

  1. نطاق التطبيق: بعض النتائج لها شروط تقييد على المعاملات
  2. التعقيد الحسابي: يتضمن الحساب الفعلي دوال وتكاملات معقدة نسبياً
  3. المشاكل المفتوحة: لا تزال هناك حدسيات لم تُحل، والنظرية تحتاج إلى تحسين إضافي

التأثير

  1. القيمة الأكاديمية: ذات أهمية نظرية مهمة في مجال نظرية الأعداد التحليلية
  2. مساهمة الطريقة: توفير تقنيات جديدة ووجهات نظر لدراسة مشاكل مماثلة
  3. الإمكانيات التطبيقية: ارتباطات محتملة مع حدس ستارك، نظرية الأشكال المعيارية وغيرها

السيناريوهات المناسبة

  1. دراسة القيم الخاصة لدوال L في نظرية الأعداد التحليلية
  2. دراسة الخصائص الحسابية للحقول التربيعية الثنائية
  3. نظرية الأشكال المعيارية والأشكال الذاتية
  4. الطرق الكوهومولوجية في نظرية الأعداد الجبرية

المراجع

تتضمن الورقة 37 مرجعاً، تغطي الأدبيات الكلاسيكية والحديثة في مجالات صيغ كرونيكر النهائية، دوال زيتا، نظرية الأشكال المعيارية وغيرها، مما يوفر أساساً نظرياً متيناً للبحث.