Classification of Fourier summation formulas on a horizontal strip

ملخص تقني: تصنيف صيغ الجمع فورير على شريط أفقي

بيان المشكلة
تتناول هذه الورقة تصنيف صيغ الجمع فورير (أزواج FS) في إطار أوسع مما تم إثباته سابقاً. بينما ركزت الأعمال السابقة (تحديداً [18، 19]) على تصنيف أزواج FS حيث تكون الإجراء $\mu$ مدعوماً حصرياً على الخط الحقيقي $\mathbb{R}$، توسع هذه الدراسة الإطار ليشمل الإجراءات المدعومة على شريط أفقي $U := \{z \in \mathbb{C} : |\text{Im } z| < \sigma < \infty\}$ في المستوى المركب. الدافع الرئيسي لهذا التوسع هو استيعاب الصيغ الصريحة الهامة في نظرية الأعداد التحليلية، مثل صيغ غويناند-ويل (Guinand–Weil) لدالة زيتا لريمان، ودوال لوريتش $L$ (Dirichlet $L$-functions)، والدوال العامة في فئة سيلبرج (Selberg class). تتضمن هذه الصيغ إجراءات منفصلة ذات دعم يمتد خارج المحور الحقيقي (مثل الأصفار غير البديهية لدوال $L$)، وهي ميزة لم تغطها التصنيفات السابقة التي كانت تتطلب أن تكون الإجراءات مدعومة على $\mathbb{R}$.

الهدف المركزي للدراسة هو متطابقة من الشكل:
$$\sum_{n \ge 0} a(\lambda_n) \phi(\lambda_n) = \int_{\mathbb{R}} \hat{\phi}(t) d\nu(t) + \sum_{\gamma \in A} b(\gamma) \hat{\phi}(\gamma)$$
صحيحة لجميع دوال الاختبار $\phi \in C_c^\infty(\mathbb{R})$، حيث $\hat{\phi}$ هي تحويل فورير. هنا، الإجراء $\mu = \nu + \eta$ مدعوم على شريط، حيث $\nu$ إجراء منتظم بقوة على $\mathbb{R}$، و $\eta = \sum b(\gamma)\delta_\gamma$ إجراء منفصل مدعوم خارج الخط الحقيقي. الدالة $a$ لها نمو أسي محدود.

المنهجية
يستخدم المؤلف استراتيجية مشابهة لتلك المستخدمة في [18، 19]، بالاعتماد على التفاعل بين صيغ الجمع ونظرية الدوال من النوع المحدود وفئات نيفالينا (Nevanlinna classes). وتتمثل المنهجية الجوهرية في:

1. تكييف لِمّة الجسر (Bridge Lemma): تم إثبات نسخة جديدة من "لِمّة الجسر" (اللِمّة 8) للتعامل مع وجود الإجراء المنفصل $\eta$ المدعوم خارج $\mathbb{R}$. تربط هذه اللمّة الجمع المنفصل على $\lambda_n$ بالتكامل والجمع المنفصل على الإجراء $\mu$ عبر نوى مساعدة محددة $G_k$ و $S_k$.
2. الدالة من النوع المحدود: تُستخدم نظرية الدوال من النوع المحدود في نصف المستوى العلوي $\mathbb{C}^+$ لإدارة الإجراء $\eta$. وبشكل محدد، يستخدم المؤلف "النوع المتوسط" (mean type) لهذه الدوال وصيغة كوشي في نصف المستوى (النظرية 6) للتعامل مع السلوك الحدّي والتفردات.
3. تفكيك الدوال المولدة: تقوم الورقة ببناء دالة مولدة $F(z)$ من زوج FS. وقد ثبت أن هذه الدالة هي تطبيق ميرومورفي (مرمري) على نصف المستوى العلوي. يقوم المؤلف بتفكيك $F(z)$ إلى جزء منفرد $S(z)$ (تحدده أقطاب $F$، المقابلة لـ $\eta$) وجزء هولومورفي (تحليلي) $G(z)$ (تحدده السلوك الحدّي على $\mathbb{R}$، المقابل لـ $\nu$).
4. تمثيل نيفالينا: ترتبط الدالة المولدة الجزء الهولومورفي بفئة هيرغلوتز-نيفالينا (Herglotz–Nevanlinna) المعممة. ويستخدم المؤلف تمثيل الدوال في الفئة $\mathcal{N}_{\le k}$ (دوال نيفالينا المعممة من الرتبة $\le k$) لتوصيف الإجراء $\nu$.

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

• النظرية 1 (التصنيف): لزوج FS من نوع (real-antipodal, $R$-symmetric) $(\mu, a)$ مدعوم على شريط وذو رتبة منتهية، فإن الدالة المولدة المرتبطة به $F(z) = \frac{1}{2}a(0) + \sum_{\lambda > 0} a(\lambda)e^{2\pi i \lambda z}$ تُعرف كخريطة شبه دورية (almost periodic) هولومورفية على نصف مستوى. تمتد هذه الدالة لتصبح تطبيقاً ميرومورفياً على نصف المستوى العلوي $\mathbb{C}^+$ على الصورة $F(z) = N(z) + S(z)$، حيث:

  • $N(z)$ ينتمي إلى فرق بين فئتي نيفالينا المعممتين ($\mathcal{N}_{\le k} - \mathcal{N}_{\le k}$)، والتي تشفر الجزء المستمر من الإجراء $\nu$.
  • $S(z)$ هو مجموع ميرومورفي صريح يشفر الجزء المنفصل $\eta$ (الأقطاب والبواقي).
  • الدالة $F$ شبه دورية على الخطوط الأفقية، ومعاملاتها في فورير تقابل الدالة $a$.

• النظرية 2 (البناء): على العكس من ذلك، بالنظر إلى دالة ميرومورفية $F$ على $\mathbb{C}^+$ تكون شبه دورية على الخطوط الأفقية، ولها أقطاب بسيطة مع شروط اضمحلال محددة، بحيث يترك طرح جزئها المنفرد دالة في فئة نيفالينا المعممة، يمكن إعادة بناء زوج $(\nu + \eta, a)$ بشكل فريد. يتم تحديد الإجراء $\eta$ بواسطة أقطاب وبواقي $F$، بينما يتم استعادة $\nu$ عبر تحليل نيفالينا للجزء الهولومورفي.

• النتيجة 3 (Corollary 3): في الحالة الخاصة التي يكون فيها الإجراء منفصلاً بحتًا (مجموع كتل دلتا)، تكون الدالة المولدة دالة ميرومورفية ذات أقطاب بسيطة، ويتبسط التصنيف وفقاً لذلك.

التطبيقات في نظرية الأعداد
تطبق الورقة هذه النتائج صراحةً لاستنتاج الدوال المولدة لكل من:

1. صيغة غويناند-ويل الصريحة لدالة زيتا لريمان: يستعيد المؤلف الصيغة ويحدد الدالة المولدة كـ $F(z) = -\frac{1}{2\pi} \frac{\zeta'}{\zeta}(\frac{1}{2} - iz)$.
2. دوال لوريتش $L$ (Dirichlet $L$-functions): يتم تطبيق الإطار على دالات لوريتش $L$ الأولية الحقيقية الزوجية، مما يعطي الدوال المولدة التي تتضمن $L'/L$.
3. فئة سيلبرج (Selberg Class): يتم تعميم النتائج على أي دالة $L$ في فئة سيلبرج. توضح الورقة أن صيغة غويناند-ويل لأي دالة من هذا النوع تقابل دالة ميرومورفية $F_L(z) = -\frac{1}{2\pi} \frac{L'}{L}(\frac{1}{2} - iz)$.

ومن الإنجازات التقنية الهامة التي تسلط الضوء عليها التطبيقات أن هذا التصنيف يعمل لفئة سيلبرج دون افتراض التماثل الذاتي (أي دون اشتراط أن تكون معاملات ديريكليه حقيقية). الإطار يستوعب طبيعياً المعاملات المركبة من خلال التماثل المرافق لمكونات الإجراء.

الأهمية
تزعم الورقة أنها تقدم أول تصنيف عام ثنائي الاتجاه لأزواج الجمع فورير (real-antipodal) حيث يكون الإجراء مدعوماً على شريط أفقي، مما يسمح بوجود كل من المكون غير المنفصل على الخط الحقيقي والمكون المنفصل خارج الخط الحقيقي بأوزان مركبة عشوائية. ومن خلال توصيف هذه الصيغ من حيث تفرداتها وسلوكها الحدّي كدوال نيفالينا ميرومورفية شبه دورية، يوحد هذا العمل نظرية المقاييس البلورية (crystalline measures) مع الصيغ الصريحة في نظرية الأعداد التحليلية. كما يوسع نطاق التصنيفات السابقة ([18، 19]) ليشمل صيغ غويناند-ويل، التي كانت خارج نطاق النظرية الحالية سابقاً. وتعتمد النتائج على نظرية الدوال من النوع المحدود وتمثيلات نيفالينا المعممة للتعامل بصرامة مع الدعم خارج الخط الحقيقي للإجراءات.