DOI: https://doi.org/10.7546/nntdm.2026.32.1.76-87
تاريخ النشر: 2026-02-23
المؤلف: Steven T. Brown
الموضوع الرئيسي: أبحاث نظرية الأعداد التحليلية
نظرة عامة
في هذه الورقة، يحقق المؤلفون في عائلة من المجموعات التي تتضمن دالة الأرض، والتي يشار إليها بشكل خاص بـ \( S_r \) لعدد صحيح غير سالب \( r \) وأعداد صحيحة موجبة \( n \) و \( m \). بينما توجد صيغة معروفة لـ \( S_1 \)، يستنتج المؤلفون تعبيرات مغلقة لـ \( S_2 \) و \( S_3 \)، جنبًا إلى جنب مع قوانين المعكوس التي تلبيها. علاوة على ذلك، يقدمون صيغة مغلقة لمجموع ديدكيند الكلاسيكي باستخدام الخوارزمية الإقليدية ويؤسسون صيغة عامة لـ \( S_r \) تبرز علاقتها بمجموعات ديدكيند المعممة.
في الختام، يقدم المؤلفون بنجاح صيغًا مغلقة لـ \( S_2 \) و \( S_3 \) ومجموعات ديدكيند الكلاسيكية، بينما يوضحون أيضًا قوانين المعكوس المرتبطة بهذه المجموعات. يظهرون أنه بالنسبة لـ \( r \geq 4 \)، تتضمن الصيغة لـ \( S_r \) مجموعات ديدكيند متعددة، مما يعقد التحليل مقارنة بحالات \( S_2 \) و \( S_3 \)، التي تتضمن فقط مجموع ديدكيند واحد. يقترح المؤلفون أن هذا السيناريو الأكثر تعقيدًا يستدعي مزيدًا من التحقيق.
مقدمة
تحليل المجموعات \( S_r(n, m) \) مدفوع بصلاتها بمجموعات ديدكيند، كما هو موضح في الاقتراح 5.1. تلعب مجموعات ديدكيند دورًا مهمًا في مجالات رياضية متنوعة، وتتم مناقشة تطبيقاتها بشكل موسع في القسم التمهيدي من المونوغراف الذي كتبه هانس رادماخر وإميل غروسوالد [4]. تهدف هذه الورقة إلى استكشاف هذه المجموعات بشكل أعمق، مع تسليط الضوء على أهميتها وآثارها المحتملة في البحث الرياضي.
نقاش
في هذا القسم، يناقش المؤلفون الرموز الرياضية والاقتراحات المتعلقة بالمجموعات ذات الاهتمام، وبشكل خاص مجموعات ديدكيند ومجموعات فاولهابر. يقدمون تعريفات رئيسية، مثل دالة الأرض، والحساب المودولي، ومجموع ديدكيند الكلاسيكي، الذي يشار إليه بـ \( s(b, a) \). يقدم المؤلفون اقتراحين رئيسيين: يثبت الاقتراح 1.1 علاقة بين المجموعات \( S_r(b, a) \) و \( S_i(b, a) \) للأعداد الصحيحة المتوافقة \( a \) و \( b \)، بينما يوفر الاقتراح 1.2 صيغة لـ \( S_r(n, m) \) من حيث \( S_r(b, a) \) ومجموعات فاولهابر المعروفة، مع التأكيد على أن التحليل يمكن أن يركز على الأعداد الصحيحة المتوافقة.
يتناول القسم أيضًا تفاصيل محددة لصيغ لـ \( S_1(n, m) \) و \( S_2(n, m) \) و \( S_3(n, m) \)، موضحًا كيف يمكن التعبير عن هذه المجموعات من حيث مكونات أبسط ونتائج تم تأسيسها سابقًا. ومن الجدير بالذكر، أن المؤلفين يستنتجون تعبيرات مغلقة لـ \( S_2(n, m) \) و \( S_3(n, m) \) التي تتضمن الدالة \( W_n(a, b) \)، التي تلتقط التفاعلات المودولية. كما يقدمون قوانين المعكوس التي تربط هذه المجموعات بشكل متبادل، مما يبرز الاعتماد المتبادل بين \( S_2 \) و \( S_3 \) للأعداد الصحيحة المتوافقة. تؤكد الخاتمة على أهمية هذه النتائج وتقترح أن المزيد من الاستكشاف مطلوب لمجموعات من ترتيب أعلى، حيث قد تكون مجموعات ديدكيند متعددة متضمنة.
DOI: https://doi.org/10.7546/nntdm.2026.32.1.76-87
Publication Date: 2026-02-23
Author(s): Steven T. Brown
Primary Topic: Analytic Number Theory Research
Overview
In this paper, the authors investigate a family of sums involving the floor function, specifically denoted as \( S_r \) for a nonnegative integer \( r \) and positive integers \( n \) and \( m \). While a well-established formula exists for \( S_1 \), the authors derive closed-form expressions for \( S_2 \) and \( S_3 \), along with the reciprocity laws they satisfy. Furthermore, they present a closed-form formula for the classical Dedekind sum utilizing the Euclidean algorithm and establish a general formula for \( S_r \) that highlights its relationship with generalized Dedekind sums.
In conclusion, the authors successfully provide closed-form formulas for \( S_2 \), \( S_3 \), and the classical Dedekind sums, while also elucidating the reciprocity laws associated with these sums. They demonstrate that for \( r \geq 4 \), the formula for \( S_r \) involves multiple Dedekind sums, complicating the analysis compared to the cases of \( S_2 \) and \( S_3 \), which involve only a single Dedekind sum. The authors suggest that this more complex scenario warrants further investigation.
Introduction
The analysis of the sums \( S_r(n, m) \) is motivated by their connections to Dedekind sums, as outlined in Proposition 5.1. Dedekind sums play a significant role in various mathematical domains, and their applications are extensively discussed in the introductory section of the monograph by Hans Rademacher and Emil Grosswald [4]. This paper aims to explore these sums further, highlighting their relevance and potential implications in mathematical research.
Discussion
In this section, the authors discuss the mathematical notations and propositions related to sums of interest, specifically the Dedekind sums and Faulhaber sums. They introduce key definitions, such as the floor function, modular arithmetic, and the classical Dedekind sum, denoted as \( s(b, a) \). The authors present two main propositions: Proposition 1.1 establishes a relationship between the sums \( S_r(b, a) \) and \( S_i(b, a) \) for coprime integers \( a \) and \( b \), while Proposition 1.2 provides a formula for \( S_r(n, m) \) in terms of \( S_r(b, a) \) and known Faulhaber sums, emphasizing that the analysis can focus on coprime integers.
The section further details specific formulas for \( S_1(n, m) \), \( S_2(n, m) \), and \( S_3(n, m) \), demonstrating how these sums can be expressed in terms of simpler components and previously established results. Notably, the authors derive closed-form expressions for \( S_2(n, m) \) and \( S_3(n, m) \) that involve the function \( W_n(a, b) \), which captures modular interactions. They also introduce reciprocity laws that relate these sums symmetrically, highlighting the interdependence of \( S_2 \) and \( S_3 \) for coprime integers. The conclusion emphasizes the significance of these findings and suggests that further exploration is warranted for sums of higher order, where multiple Dedekind sums may be involved.