Formula for Hermite multivariate interpolation and partial fraction decomposition

ملخص تقني: صيغة الاستكمال لـ هيرميت متعدد المتغيرات والتحليل إلى كسور جزئية

بيان المشكلة
تتناول الورقة مشكلتين مترابطتين في نظرية التقريب والجبر:

1. استكمال هيرميت متعدد المتغيرات: إيجاد صيغة صريحة لمتعدد الحدود الفريد $p \in \Pi_k^n$ (متعددات الحدود ذات الدرجة الكلية $n$ كحد أقصى في $k$ من المتغيرات) الذي يحقق شروط استكمال هيرميت (القيم والمشتقات الجزئية) عند مجموعة من النقاط المحددة بتقاطعات مجموعة من المستويات الفائقة (hyperplanes).
2. التحليل إلى كسور جزئية: تقديم حل مباشر وصريح لتفكيك الدوال النسبية $p(x)/q(x)$ إلى كسور جزئية، وتحديداً التعامل مع الحالات ذات الجذور المتعددة والمعاملات الحقيقية (بما في ذلك الأزواج المترافقة المركبة)، دون اللجوء إلى حل نظم خطية كبيرة.

المنهجية
يستخدم المؤلف، هاكوب هاكوبيان، إطار عمل استكمال تشونغ-ياو (Chung–Yao)، والذي يعتمد على الترتيب الهندسي للمستويات الفائقة.

• الإعداد الهندسي: لتكن $L_{n+k} = \{L_1, \dots, L_{n+k}\}$ مجموعة من المستويات الفائقة في $\mathbb{R}^k$. يُفترض أن المجموعة "مقبولة"، بمعنى أن تقاطع أي $k$ من المستويات الفائقة المتميزة هو نقطة واحدة، وأن تقاطع أي $k+1$ منها هو مجموعة خالية.

• تعريف التعددية: لكل نقطة تقاطع متميزة $x^{(i)}$، يتم تحديد تعددية $m_i$ بناءً على عدد المستويات الفائقة التي تمر عبرها. تتطلب شروط الاستكمال مطابقة الدالة ومشتقاتها حتى الرتبة $m_i - 1$ عند كل $x^{(i)}$.

• صيغة لاجرانج-تايلور: المساهمة المنهجية الجوهرية هي اشتقاق صيغة "لاجرانج-تايلور". يعرّف المؤلف متعدد حدود تلاشٍ عالمي $\phi(x) = \prod L_j(x)$ ومتعددات حدود تلاشٍ محلية $\phi_i(x)$ تتلاشى عند جميع نقاط التقاطع باستثناء $x^{(i)}$.
  يتم بناء المستكمل $p_f$ كجموع حدود:
  $$p_f(x) = \sum_{i=1}^s \phi_i(x) \cdot T_{f/\phi_i, x^{(i)}, m_i-1}(x)$$
  حيث يمثل $T_{g, c, m}$ متعدد حدود تايلور من الدرجة $m$ للدالة $g$ عند النقطة $c$. تعتمد البراهين على قاعدة ليبنيز متعددة المتغيرات لإثبات أن هذا البناء يحقق شروط التلاشي عند العقد الأخرى وشروط إعادة إنتاج المشتقات عند العقد المستهدفة.

• التطبيق على التفكيك أحادي المتغير: تطبق الورقة هذا الإطار متعدد المتغيرات على الحالة أحادية المتغير ($k=1$). من خلال معاملة جذور المقام $q(x)$ كنقاط تقاطع للعوامل الخطية، يشتق المؤلف صيغاً صريحة لمعاملات التفكيك إلى كسور جزئية.

  • الجذور المركبة: تستخدم الصيغة الفروق المقسمة (divided differences) وتوسعات تايلور للتعامل مع الجذور المتعددة.
  • التفكيك الحقيقي: بالنسبة لمتعددات الحدود الحقيقية حيث تظهر الجذور غير الحقيقية في أزواج مترافقة، يقوم المؤلف بتجميع هذه الجذور. وتُعبر الصيغة الناتية عن التفكيك باستخدام عوامل تربيعية حقيقية $(x^2 + u_\nu x + v_\nu)$ ومعاملات حقيقية مشتقة من الفروق المقسمة لمكونات الدالة النسبية.

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

1. صيغة هيرميت صريحة: تقدم الورقة صيغة صريحة جديدة لاستكمال هيرميت متعدد المتغيرات ضمن إطار تشونغ-ياو. وخلافاً للمناهج التقليدية التي قد تتطلب حل نظم خطية، فإن هذه الصيغة مباشرة وتعتمد على توسعات تايلور لـ $f/\phi_i$.
2. التفكيك المباشر إلى كسور جزئية: يشتق المؤلف صيغاً صريحة للمعاملات في التفكيك إلى كسور جزئية للدوال النسبية ذات الجذور المتعددة.
   • للحالات ذات الجذور المتميزة، تستعيد الصيغة النتيجة القياسية التي تتضمن $q'(x_i)$.
   • للحالات ذات الجذور المتعددة، تُعطى المعاملات صراحةً عبر المشتقات (للجذور الحقيقية) أو الفروق المقسمة (للأزواج المترافقة المركبة)، مما يتجنب الحاجة إلى حل نظام من المعادلات الخطية.
3. التعامل مع الحالة الحقيقية: تتمثل إحدى المساهمات المحددة في المعالجة الصريحة للدوال النسبية الحقيقية ذات الجذور المركبة المترافقة. توفر الورقة صيغاً لمعاملات الحدود المتعلقة بالعوامل التربيعية غير القابلة للاختزال، مما يضمن بقاء التفكيك ضمن حقل الأعداد الحقيقية.

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

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