ما هي دالة كومر M(a,b,z)؟
الدالة فوق الهندسية التقاربية من النوع الأول، التي تُكتب \(M(a,b,z)\) أو \({}_1F_1(a;b;z)\)، هي أحد الحلّين المستقلّين لمعادلة كومر التفاضلية: \(z\cdot y'' + (b - z)\cdot y' - a\cdot y = 0\). وتظهر هذه الدالة في مجالات واسعة من الفيزياء والرياضيات التطبيقية — ففي ميكانيكا الكم نجدها في الدالة الموجية القطرية لكولوم، وفي نظرية الاحتمالات ضمن توزيع كاي تربيع اللامركزي والتوزيعات المرتبطة به، إضافةً إلى انتقال الحرارة وتمثيلات دوال بِسِل. تحسب هذه الأداة قيمة الدالة لمعاملين حقيقيين \(a\) و\(b\) ووسيط حقيقي \(z\). وهي أداة رياضية بحتة لا تتضمّن أي افتراضات تتعلق بمنطقة جغرافية أو وحدات قياس.
طريقة الاستخدام
أدخل المعامل الأول \(a\)، والمعامل الثاني \(b\)، والوسيط \(z\)، ثم اقرأ قيمة \(M(a,b,z)\). لا يجوز أن تكون قيمة \(b\) صفرًا أو عددًا صحيحًا سالبًا، لأن ذلك يجعل أحد المقامات معدومًا؛ ولهذا تُشير الحاسبة إلى مثل هذه المدخلات على أنها غير صالحة. أما إذا كانت \(a\) عددًا صحيحًا غير موجب فإن المتسلسلة تنتهي وتختزل الدالة \(M\) إلى كثير حدود في \(z\) — وهذا سلوك صحيح وليس خطأً.
شرح الصيغة
تجمع المتسلسلة الحدود \(\frac{(a)_n}{(b)_n}\cdot\frac{z^{\,n}}{n!}\)، حيث رمز بوخهامر \((x)_n = x(x+1)\cdots(x+n-1)\). والصيغة الكاملة هي:
$$M\!\left(a,\, b,\, z\right) = \sum_{n=0}^{\infty} \frac{(a)_n}{(b)_n}\,\frac{z^{\,n}}{n!}$$وبدلًا من حساب المضروبات والمضروبات الصاعدة كلٍّ على حدة، تبني الحاسبة كل حدٍّ انطلاقًا من الحدّ السابق وفق العلاقة \(t_{n+1} = t_n \cdot \frac{a+n}{b+n} \cdot \frac{z}{n+1}\)، بدءًا من \(t_0 = 1\). ويتوقف الجمع عندما يصبح الحدّ الجديد ضئيلًا مقارنةً بالمجموع المتراكم (نحو \(1\text{e-}17\)) أو بعد بلوغ حدٍّ آمن لعدد التكرارات.
مثال محلول
عند \(a = 2\) و\(b = 3\) و\(z = 0.5\): تكون الحدود \(1\)، \(0.33333\)، \(0.0625\)، \(0.0083333\)، \(0.00086806\)، \(0.000074405\)، … ومجموعها يساوي \(M(2,3,0.5) \approx 1.4051145\).
الأسئلة الشائعة
ما قيمة \(M(a,b,0)\)؟ تساوي دائمًا \(1\) بالضبط، أيًّا كانت قيمتا \(a\) و\(b\)، لأن كل حدٍّ بعد الحدّ الأول يتضمّن عاملًا من \(z\).
لماذا توجد قيود على \(b\)؟ لأن قيمة \(b\) التي تساوي صفرًا أو عددًا صحيحًا سالبًا تجعل مقام بوخهامر \((b)_n\) معدومًا، فتصبح الدالة غير معرّفة عندها.
هل النتيجة دقيقة عند قيم \(z\) الكبيرة؟ تتقارب المتسلسلة لأي قيمة منتهية لـ \(z\)، لكن قيم \(z\) الموجبة الكبيرة تسبّب إلغاءً يضعف دقة الفاصلة العائمة المزدوجة؛ لذا يُستحسن إبقاء \(|z|\) ضمن حدود معتدلة (أقل من \(50\) تقريبًا) للحصول على أرقام موثوقة.
