ما هو تربيع غاوس-هيرميت؟
تربيع غاوس-هيرميت هو أسلوب عددي لتقريب التكاملات الممتدة على خط الأعداد الحقيقية بأكمله والتي تحمل دالة الوزن الغاوسية \(e^{-x^2}\). تقرّب القاعدة المكوّنة من \(n\) نقطة قيمة التكامل بوصفها مجموعًا موزونًا لقيم الدالة المُكامَلة عند \(n\) نقطة مختارة بعناية: فالتكامل من سالب اللانهاية إلى موجب اللانهاية للمقدار \(e^{-x^2} f(x)\,dx\) يساوي تقريبًا مجموع الحدود \(w_i f(x_i)\) على جميع قيم \(i\).
$$\int_{-\infty}^{\infty} e^{-x^2} f(x)\,dx \approx \sum_{i=1}^{\text{Order }n} w_i\, f(x_i)$$والعُقد \(x_i\) هي جذور كثير حدود هيرميت بالصيغة الفيزيائية \(H_n\)، أما الأوزان \(w_i\) فتُحدَّد بالاعتماد على خاصية التعامد لتلك الكثيرات.
كيفية استخدام الحاسبة
اختر الرتبة \(n\) (أي عدد النقاط، من 2 إلى 100) وعدد الخانات المعروضة، ثم اقرأ جدول العُقد والأوزان مباشرة. ولأن عملية الحساب تعتمد على الدقة المزدوجة القياسية، فإن الدقة المعروضة محدودة بنحو 15 رقمًا معنويًا — وما يتجاوز ذلك يتطلب حسابًا بدقة عشوائية حتى تصبح الأرقام الإضافية ذات معنى. القاعدة المكوّنة من \(n\) نقطة تُكامِل بدقة تامة كل كثير حدود من درجة لا تتجاوز \(2n-1\).
شرح الصيغة
العُقد هي الأصفار الحقيقية الـ \(n\) لكثير الحدود \(H_n(x)\)، المُعرَّف بعلاقة التكرار \(H_0=1\)، \(H_1=2x\)، \(H_{k+1}=2x\,H_k - 2k\,H_{k-1}\). أما الأوزان فهي
$$w_i = \frac{2^{n-1}\, n!\, \sqrt{\pi}}{n^2\, \big[H_{n-1}(x_i)\big]^2}$$تعتمد هذه الحاسبة على طريقة غولوب-ويلش المستقرة: إذ تبني مصفوفة ياكوبي الثلاثية القطرية المتماثلة (قطر أصفار، وعناصر خارج القطر بقيمة \(\sqrt{k/2}\))، ثم تجد قيمها الذاتية (وهي العُقد) ومتجهاتها الذاتية، وتضبط كل وزن ليساوي \(\sqrt{\pi}\) مضروبًا في مربع المركبة الأولى من المتجه الذاتي المُسوَّى المقابل. وبهذا تتفادى الطريقة الطفحان الناتج عن المضاريب الكبيرة.
مثال محلول (n = 2)
كثير الحدود \(H_2(x) = 4x^2 - 2\) له الجذران \(x = \pm\tfrac{1}{\sqrt{2}} = \pm 0.7071067811865475\). وكل وزن يساوي
$$w_i = \frac{2^1 \cdot 2! \cdot \sqrt{\pi}}{2^2 \cdot \big[H_1(x_i)\big]^2}$$وبما أن \(H_1(x)=2x\) فإن \([H_1]^2 = 2\)، ومن ثَمّ يكون كل وزن
$$w_i = \frac{2 \cdot 2 \cdot 1.7724538509055160}{4 \cdot 2} = 0.8862269254527580$$ومجموعهما يساوي \(\sqrt{\pi} = 1.7724538509055160\)، وهو تحقّق ذاتي مفيد.
الأسئلة الشائعة
لماذا يساوي مجموع الأوزان دائمًا \(\sqrt{\pi}\)؟ عند وضع \(f(x)=1\) نحصل على تكامل \(e^{-x^2}\) على خط الأعداد الحقيقية، وهو يساوي \(\sqrt{\pi}\)؛ والتربيع يعيد إنتاج هذه القيمة بدقة تامة.
أي صيغة من صيغ هيرميت هذه؟ إنها الصيغة الفيزيائية ذات دالة الوزن \(e^{-x^2}\). أما الصيغة الاحتمالية ذات الوزن \(e^{-x^2/2}\) فتختلف فيها العُقد والأوزان بمعامل تحجيم.
هل يمكنني تكامل دالة لا تتضمّن العامل \(e^{-x^2}\)؟ نعم — اكتب \(g(x) = e^{x^2} f(x)\)، فيكون تكامل \(g\) مساويًا تقريبًا لمجموع الحدود \(w_i\, e^{x_i^2}\, g(x_i)\).