On the series expansion of k-free Dirichlet series and its analytical continuation

إليك ملخص تقني مفصل للورقة البحثية بعنوان "حول التوسع المتسلسلي لسلاسل ديريكليه لـ k-الأعداد الخالية من القوى (k-free Dirichlet series) وامتدادها التحليلي" للباحث أرتور كافاليك (Artur Kawalec).

1. بيان المشكلة

تتناول الورقة الخصائص التحليلية لـ سلسلة ديريكليه لـ k-الأعداد الخالية من القوى، والمعرفة كالتالي:
$$\frac{\zeta(s)}{\zeta(ks)} = \sum_{n=1}^{\infty} \frac{\mu^{(k)}(n)}{n^s}$$
حيث أن $\mu^{(k)}(n)$ هي دالة المؤشر للأعداد الخالية من القوى $k$ (الأعداد التي لا تقبل القسمة على أي قوة $k$-أعلى من 1).

بينما تمت دراسة حالة الأعداد الخالية من المربعات ($k=2$) سابقاً (تحديداً فيما يتعلق بتوسعات لوران والثوابت المماثلة لثابت أويلر)، تهدف هذه الدراسة إلى تعميم هذه النتائج لأي عدد صحيح $k \geq 2$. الأهداف المحددة هي:

1. اشتقاق توسع متسلسلة لوران للسلسلة حول القطب عند $s=1$.
2. إرساء صيغة حدية تشبه صيغة ستيلتجس (Stieltjes-like limit formula) لمعاملات الجزء المنتظم.
3. استقصاء امتداد تحليلي بديل للسلسلة.
4. اشتقاق صيغ صريحة لـ $\zeta(1/k)$ بدلالة دالات مؤشر الـ k-الأعداد الخالية من القوى.

2. المنهجية

يستخدم المؤلف مزيجاً من تقنيات النظرية التحليلية للأعداد، وتحديداً:

• سلاسل ديريكليه ودالات المؤشر: استخدام العلاقة $\mu^{(k)}(n) = \sum_{d^k|n} \mu(d)$ لتعريف السلسلة.
• توسع متسلسلة لوران: توسيع الدالة $\frac{\zeta(s)}{\zeta(ks)}$ حول القطب البسيط عند $s=1$.
• تكامل ستيلتجس: تحويل المجاميع المنفصلة إلى تكاملات تتضمن دالة عد k-الأعداد الخالية من القوى $Q_k(x) = \sum_{n \leq x} \mu^{(k)}(n)$.
• التحليل التقاربي: استخدام السلوك التقاربي $Q_k(x) \sim \frac{x}{\zeta(k)}$ وحد الخطأ $f_k(x) = Q_k(x) - \frac{x}{\zeta(k)}$. تشير الورقة إلى أنه تحت فرضية ريمان (RH)، يكون حد الخطأ محصوراً بـ $O(x^{1/2k})$.
• التفاضل وعمليات الحد (Limit processes): تفاضل تمثيل السلسلة لاستخراج المعاملات، وأخذ النهايات عندما $x \to \infty$ لعزل الثوابت.

3. المساهمات والنتائج الرئيسية

أ. توسع متسلسلة لوران والمعاملات

تثبت الورقة توسع لوران لسلسلة ديريكليه لـ k-الأعداد الخالية من القوى حول $s=1$:
$$\frac{\zeta(s)}{\zeta(ks)} = \frac{1}{\zeta(k)(s-1)} + \sum_{n=0}^{\infty} \frac{\gamma_{M,k}^n}{n!} (s-1)^n$$
وقد حُدد نصف قطر التقارب ليكون $R = 1 + \frac{2}{k}$، وهو محدود بالأصفار البديهية لـ $\zeta(ks)$.

مبرهنة 1 (صيغة ولف المعممة):
يشتق المؤلف صيغة حد لوغاريتمي عامة للمعاملات $\gamma_{M,k}^n$ للجزء المنتظم:
$$\gamma_{M,k}^n = \lim_{x \to \infty} (-1)^n \left( \sum_{j=1}^{x} \frac{\mu^{(k)}(j) \log^n(j)}{j} - \frac{\log^{n+1}(x)}{\zeta(k)(n+1)} \right)$$
وهذا يعمم نتيجة معروفة لـ "وولف" (Wolf) لحالة $k=2$ (الأعداد الخالية من المربعات).

ب. ثابت أويلر المعمم ($\gamma_{M,k}$)

بالنسبة للحالة $n=0$، تُعرف الورقة ثابتاً معمماً $\gamma_{M,k}$ (مشابهاً لثابت أويلر-ماسكيروني $\gamma$):
$$\gamma_{M,k} = \lim_{x \to \infty} \left( \sum_{n \leq x} \frac{\mu^{(k)}(n)}{n} - \frac{1}{\zeta(k)} \log x \right)$$
وتقدم الورقة تعبيراً مغلق الشكل لهذا الثابت:
$$\gamma_{M,k} = \frac{\gamma}{\zeta(k)} - \frac{k \zeta'(k)}{\zeta(k)^2}$$
النتائج العددية:

• تم حساب قيم عالية الدقة لـ $\gamma_{M,k}$ لقيم $k=2$ إلى $11$.
• يتسلسل الثابت ليقترب من ثابت أويلر القياسي عندما $k \to \infty$: $\lim_{k \to \infty} \gamma_{M,k} = \gamma$.
• توفر الجداول 2-5 أول 10 معاملات من الرتب العليا ($\gamma_{M,k}^n$) لـ $k=2,3,4,5$ بدقة تصل إلى 30 مرتبة عشرية.

ج. الامتداد التحليلي البديل

تشتق الورقة امتداداً تحليلياً صالحاً لـ $\Re(s) > \frac{1}{2k}$ (بافتراض فرضية ريمان)، معبراً عنه بـ:
$$\frac{\zeta(s)}{\zeta(ks)} = \lim_{x \to \infty} \left( \sum_{n \leq x} \frac{\mu^{(k)}(n)}{n^s} - \frac{x^{1-s}}{\zeta(k)(1-s)} \right)$$
تعمل هذه الصيغة كخطوة وسيطة بين سلسلة ديريكليه القياسية وامتداد أويلر-ماكلورين لدالة زيتا لريمان.

د. صيغ لـ $\zeta(1/k)$

من خلال تحليل سلوك السلسلة بالقرب من القطب في المقام عند $s = 1/k$، يشتق المؤلف صيغاً حدية لحساب $\zeta(1/k)$:
$$\zeta\left(\frac{1}{k}\right) = \lim_{x \to \infty} \left( -\frac{1}{k} \sum_{n \leq x} \frac{\mu^{(k)}(n)(\log n + \frac{k}{k-1})}{n^{1/k}} + \frac{1}{\zeta(k)(k-1)} x^{1-1/k} \log x \right)$$
تم تقديم التحقق العددي لـ $k=2, 3, 4, 5$، مما يظهر أن السلسلة تتذبذب حول القيمة الحقيقية لـ $\zeta(1/k)$ بسعة متناقصة.

4. الأهمية

• التعميم: نجح العمل في توسيع النتائج المحددة المعروفة للأعداد الخالية من المربعات ($k=2$) لتشمل حالة k-الأعداد الخالية من القوى العامة، مما يوحد نظرية هذه السلاسل من نوع ديريكليه.
• ثوابت جديدة: قدمت الورقة وحسبت عائلة من الثوابت $\gamma_{M,k}$، والتي تربطها بمشتق دالة زيتا لريمان وثابت أويلر القياسي.
• الفائدة الحسابية: توفر صيغ الحد المستخرقة لـ $\zeta(1/k)$ طريقة مبتكرة لحساب قيم دالة زيتا عند الأعداد الصحيبة السالبة (عبر $1/k$) باستخدام مؤشرات k-الأعداد الخالية من القوى، وهو أمر ذو صلة بالتحليل العددي والتحقق من قيم زيتا.
• الرؤية النظرية: إن اشتقاق نصف قطر الامتداد التحليلي والارتباط بفرضية ريمان (عبر حدود حد الخطأ) يعمق فهم توزيع الأعداد الخالية من القوى $k$.

باختصار، توفر الورقة إطاراً تحليلياً صارماً لسلاسل ديريكليه لـ k-الأعداد الخالية من القوى، حيث تقدم صيغاً صريحة لمعاملات توسعها، وثوابتها المعممة، وقيمها عند نقاط محددة، مدعومة ببيانات عددية عالية الدقة.