On best approximation and estimates of Bohr--Favard type on the sphere for functions with bounded Laplacian

ملخص تقني: أفضل تقريب وتقديرات من نوع بور-فارفارد على الكرة للدوال ذات لابلاتسيان المحدود

بيان المشكلة
يتناول هذا العمل تحديد الثوابت الحادة في التقديرات لنمط الموحد ($L^\infty$) للدوال على الوحدة الكروية $S^d$ ($d \ge 2$) ذات لابلاتسيان محدود ($\|\Delta f\|_\infty \le 1$). تركز الدراسة على مشكلتين متمايزتين ولكن مترابطتين، تشبهان نظريات بور وفارفارد الكلاسيكية للدوال الدورية:

1. مشكلة بور (Bohr Problem): تقدير معيار الدوال التي تتلاشى مكوناتها من التوافقيات الكروية من الرتبة $n-1$ الأولى ($f \perp \mathcal{H}_{<n}$). الهدف هو إيجاد الثابت الحاد $H(n, S^d)$ في المتراجحة $\|f\|_\infty \le H(n, S^d) \|\Delta f\|_\infty$.
2. مشكلة فارفارد (Favard Problem): تقدير خطأ أفضل تقريب موحد $E_{n-1}(f)_{L^\infty}$ لهذه الدوال بواسطة كثيرات الحدود الكروية من الدرجة $n-1$ كحد أقصى. الهدف هو إيجاد الثابت الحاد $K(n, S^d)$ في المتراجحة $E_{n-1}(f)_{L^\infty} \le K(n, S^d) \|\Delta f\|_\infty$.

يسعى البحث إلى تحديد القيم الدقيقة لهذه الثوابت لـ $n$ ثابت، وسلوكها التقاربي عندما $n \to \infty$، مع استقصاء ما إذا كانت الثوابت الخاصة بمشكلة التقريب ($K$) تتطابق مع أو تكون أصغر تماماً من ثوابت مشكلة المعيار ($H$)، وهو تميز يختلف عن الحالة الدورية الكلاسيكية حيث يتساويان.

المنهجية
تعتمد المنهجية الأساسية على تمثيل غرين (Green representation) لمقلوب مؤثر لابلاتسيان. بالنسبة للدوال ذات المتوسط الصفري، يمكن التعبير عن $f$ كالتفاف (convolution) للبلابسيان الخاص بها $g = -\Delta f$ مع نواة غرين محورية $G_d$:
$$f(x) = \int_{S^d} G_d(x \cdot y) g(y) \, d\sigma_d(y).$$
تختزل مشكلة حصر $\|f\|_\infty$ أو خطأ التقريب في إيجاد أفضل تقريب $L^1$ لنواة غرين $G_d$ بواسطة كثيرات حدود من الدرجة $n-1$ كحد أقصى بالنسبة للقياس المستحث على الكرة.

الخطوات التقنية الرئيسية تشمل:

• استكمال النواة (Kernel Interpolation): تحديد أن أفضل مقرب $L^1$ لنواة غرين هو كثير الحدود المستكمل عند أصفار كثير حدود متطرف أحادي (monic extremal polynomial) $q_{n,d}$ محدد. يتم تحديد هذه الأصفار عبر شروط تلاشي العزوم تجاه الوزن المستحث من القياس الكروي.
• كثيرات الحدود المتطرفة (Extremal Polynomials): استخدام اللمة 4.1 لإثبات وجود ووحدانية كثير الحدود الأحادي الذي يقلل معيار $L^1$ الموزون. ويُظهر أن إشارة خطأ التقريب هي إشارة هذا كثير الحدود المتطرف، مما يسمح ببناء الدوال المتطرفة (extremal functions) التي تحقق الحدود.
• التحليل البعدي (Dimensional Analysis):
  • $S^2$: يتم إسقاط المشكلة على مشكلة تقريب $L^1$ مثلثية على شبكة متساوية المسافات، مما يؤدي إلى صيغ متسلسلة صريحة تتضمن عقد تشيبيشيف (Chebyshev nodes).
  • $S^3$: يتم تحديد عقد الاستكمال بواسطة مشكلة $L^1$ متطرفة موزونة. يؤدي إعادة قياس المشكلة عندما $n \to \infty$ إلى دالة هورماندر-بيرنهاردسون (Hörmander–Bernhardsson function)، وهي دالة كاملة فريدة من النوع الأسي واحد تقلل معيار $L^1$ على $\mathbb{R}$.
  • الأبعاد الأعلى ($S^4, S^6$): يتم التعبير عن نوى غرين في الأبعاد الزوجية كمجموع من الأقطاب واللوغاريتمات. ويتم اشتقاق الثوابت التقاربية من خلال تحليل السلوك الحدّي لكثيرات الحدود المتطرفة المعاد قياسها، والتي تتقارب نحو نماذج كاملة موزونة.
• الثنائية والتفاوت الصارم (Duality and Strict Inequality): لإثبات أن $K(n, S^d) < H(n, S^d)$، يستخدم البحث صيغة ثنائية تتضمن مقاييس تُلاشي $\mathcal{H}_{<n}$. ويوضح أن تساوي الثوابت سيتطلب توافق إشارات أخطاء تقريب النواة عند الأقطاب المختلفة بشكل مثالي، وهو شرط ثبت استحالة تحققه لـ $n \ge 2$ بسبب خصائص التقاطع الهندسي لمجموعات تغيير الإشارة (دوائر خط العرض).

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

1. الثوابت الدقيقة لـ $n$ ثابت:

   • $S^2$: يُعطى الثابت $H(n, S^2)$ عبر متسلسلة متقاربة صريحة (Theorem 7.1). وأفضل معامل للتقدير التقاربي هو $H(S^2) = \frac{7\zeta(3)}{4}$.
   • $S^3$: يُعبر عن الثابت $H(n, S^3)$ عبر تكامل يتضمن كثير الحدود المتطرف $q_n$. وقد تم تحديد الثابت التقاربي $H(S^3)$ كمتكامل موجب يتضمن دالة هورماندر-بيرنهاردسون $\phi$ (Theorem 9.2)، وقُيم عددياً بـ $\beta \approx 2.850999$.
   • $S^4$ و $S^6$: تُشتق الثوابت التقاربية بدلالة القيم الدنيا لمعايير الدوال الكاملة المتطرفة الموزونة (Theorem 13.1). بالنسبة لـ $S^4$، النهاية هي $M_4/4$؛ وبالنسبة لـ $S^6$، تتضمن مزيجاً من المعيار الموزون والمشتقة الثانية للدالة المتطرفة عند الصفر.

2. الحدود الموحدة (Uniform Bounds):
   يثبت البحث أن النهايات التقاربية المشتقة هي بالفعل أفضل المعاملات الصالحة لجميع قيم $n$ في آن واحد. فبالنسبة لـ $S^3$ و $S^4$ و $S^6$، فإن الحد الأعلى لـ $n^2 H(n, S^d)$ يساوي النهاية عندما $n \to \infty$ (Theorems 10.1, 14.1).

3. التفاوت الصارم بين ثوابت بور وفارفارد:
   من النتائج المركزية أن كل $n \ge 2$ ثابت على $S^2$ و $S^3$، يكون ثابت أفضل تقريب أصغر تماماً من ثابت بور:
   $$K(n, S^d) < H(n, S^d).$$
   وهذا يتناقض مع الحالة الدورية الكلاسيكية حيث تتطابق الثوابت. يقدم البحث فجوة كمية لـ $n$ كبيرة على $S^2$ (Proposition 17.1)، ويثبت التفاوت الصارم عبر حجة التراص (compactness argument) على فضاء المقاييس (Theorems 15.2 and 18.1).

4. التقريب البنائي (Constructive Approximation):
   يقدم البحث مؤثرًا خطيًا صريحًا لتقريب الدوال على $S^2$ يكون أمثل بين جميع الطرق الخطية التي تنقل إلى $\mathcal{H}_{<n}$. وتتضمن هذه الطريقة الالتفاف مع أفضل مقرب $L^1$ لنواة غرين (Theorem 15.1, Section 16).

الأهمية والادعاءات
يزعم البحث حل مسألة تحديد ثوابت نوع بور الحادة على الكرات للدوال ذات لابلاتسيان المحدود، مع التعبير عنها عبر كثيرات حدود $L^1$ متطرفة موزونة. إن الملاحظة الأكثر أهمية، والتي وُصفت بأنها "غير متوقعة"، هي الفصل الصارم بين ثابت بور (معيار الدوال ذات التوافقيات المفقودة) وثابت فارفارد (خطأ أفضل تقريب) لكل $n \ge 2$ ثابت على $S^2$ و $S^3$.

يوضح العمل أنه بينما يتحقق تطابق هذين الثابتين في الإطار الدوري الكلاسيكي، فإن ذلك يفشل على الكرات. يقدم البحث صيغ صريحة لـ $S^2$، وتمثيلات تكاملية تتضمن دالة هورماندر-بيرنهاردسون لـ $S^3$، وصيغ تقاربية لـ $S^4$ و $S^6$. كما يترك مسألة مفتوحة حول ما إذا كان التفاوت الصارم يستمر في النهاية (أي ما إذا كان $\limsup n^2 K(n, S^d) < \lim n^2 H(n, S^d)$)، ولا يحدد القيم الدقيقة لـ $K(n, S^d)$ لـ $n \ge 2$، بل يقدم فقط حدوداً دنيا ويثبت وجود التفاوت الصارم.