عملية

تقارب

اقتراب حل عددي من إجابة نهائية دقيقة عبر التكرار.
9 مقالات ذات صلة · 3 صيغ

الوصف

التقارب في التحليل العددي يصف العملية التي يقترب بها الخوارزم التكراري من حل نهائي دقيق عبر تحسين متكرر. كل تكرار يجعل التقريب أقرب إلى الإجابة الصحيحة، ويتحقق التقارب عندما لا تؤدي التكرارات الإضافية إلى تغيير يُذكر. هذا المفهوم يدعم تقريبًا كل الفيزياء الحاسوبية، من حسابات الكيمياء الكمومية إلى تدريب التعلم الآلي.

التاريخ

يعود الدراسة الرسمية للتقارب إلى القرن التاسع عشر مع رياضيين مثل أوغستين-لويس كوشي، الذي وضع معايير صارمة للمتتاليات والسلاسل. أصبح التقارب العددي محوريًا في الحوسبة في منتصف القرن العشرين مع تمكين الحواسيب الرقمية من الطرق التكرارية للمشكلات المعقدة.

كيف يعمل

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

في التطبيق

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

حقيقة طريفة

في بعض الأنظمة الفوضوية، يمكن للتغيرات الطفيفة في الشروط الأولية أن تمنع التقارب تمامًا، وهي ظاهرة تُعرف بالاعتماد الحساس على الشروط الأولية.

Concept graph →

صيغ

$$\kappa'(\theta) = \lambda\kappa(\theta) + (1-\lambda)$$
Convergence transforms linearly with a constant mass sheet addition.
ما في الصيغة
\kappa'(\theta)متغيرtransformed convergence — تقارب
\kappa(\theta)متغيرoriginal convergence — تقارب
\lambdaمتغيرtransformation parameter — معامل بلا أبعاد
$$\kappa(\boldsymbol{\theta}) = \frac{3H_0^2\Omega_m}{2c^2} \int_0^{\chi} d\chi' \, \frac{q(\chi')}{a(\chi')} f_K(\chi') \delta(f_K(\chi')\boldsymbol{\theta}, \chi')$$
Convergence is a weighted integral of density contrast along the line of sight.
ما في الصيغة
kappaمتغيرweak lensing convergence — تقارب
thetaمتغيرangular position on the sky — angular position radian
chiمتغيرcomoving distance to the source — comoving distance metre
chi'متغيرcomoving distance along the line of sight — comoving distance metre
qمتغيرlensing efficiency function — lensing efficiency
aمتغيرscale factor — عامل مقياس
f_Kمتغيرcomoving angular diameter distance — comoving angular diameter distance metre
deltaمتغيرmatter density contrast — تباين الكثافة
H_0ثابتcurrent expansion rate of the universe — ثابت هابل = 2.2e-18 per second
Omega_mثابتratio of matter density to critical density today — matter density parameter = 0.315
cثابتspeed of light in vacuum — سرعة الضوء = 299792458 metre per second
∫مؤثرsummation over infinitesimal elements — التكامل
$$\tilde{\kappa} + i\tilde{\kappa}_B = \left( \frac{k_1^2 - k_2^2}{k^2} + i \frac{2k_1 k_2}{k^2} \right) (\tilde{\gamma}_1 + i\tilde{\gamma}_2)$$
Shear and convergence are related by a kernel in Fourier space.
ما في الصيغة
\tilde{\kappa}متغيرFourier transform of convergence — تقارب
\tilde{\kappa}_BمتغيرFourier transform of B-mode convergence — b mode convergence
\tilde{\gamma}_1متغيرFourier transform of first shear component — shear component
\tilde{\gamma}_2متغيرFourier transform of second shear component — shear component
k_1متغيرFirst component of wave vector — wave vector component radian per metre
k_2متغيرSecond component of wave vector — wave vector component radian per metre
kمتغيرMagnitude of wave vector — عدد الموجة radian per metre

مقالات ذات صلة · 8

بداية دافئة للمحرك الكمومي: كيف يُسرّع التعلم الآلي حسابات الجزيئات
DFTB هو قطار سريع في عالم الكيمياء الكمومية: أسرع بمئات المرات من DFT التقليدي، لكنه لا يزال على القضبان الإلكترونية. لكن محركه - الاتساق الذاتي التكراري للشحنات - يشبه أحيانًا أوركسترا حيث تبدأ كل آلة بنغمة عشوائية. عندما تكون الشحنات الأولية صفرية، يضطر النظام للتناغم طويلاً: عشرات، بل مئات الدورات، حتى يتحول التنافر في التفاعلات الكهروستاتيكية إلى تناغم.
JADE: محقق ذكاء اصطناعي يقرأ النسيج الكوني من آثار الضوء
يسافر الضوء من المجرات البعيدة إلينا مليارات السنين، لكن في طريقه تلتويه وتثنيه شبكة غير مرئية من المادة المظلمة. هذا التأثير، الذي تنبأ به أينشتاين في إطار النسبية العامة، يُسمى العدسة الجاذبية.
λ∞: الشوكة الرنانة التي ضُبطت عليها الأعداد الأولية
اضرب على الشوكة الرنانة. التردد 440 هرتز. هذه نغمة لا. معيار الصوت. في عالم الأعداد معيار أيضًا. لا يُضبط على الصوت، بل على الأعداد الأولية. مع أن توزيعها يبدو عشوائيًا، فهو يخضع لقوانين صارمة. جميع الأعداد الأولية ترنّ معًا. القيمة واحدة: λ∞ ≈ 0,674036. ينشأ هذا الثابت من معادلة يكون فيها مجموع 1/(xp²−p+1) على جميع الأعداد الأولية p مساويًا 1.
حاسوب كيميائي في أنبوب اختبار
في أنبوب الاختبار تسبح الجزيئات. كميتها — لنقل تركيز بروتين معين — تصبح الإشارة الداخلة. وعلى المخرج لا نريد مجرد محلول عكر، بل إجابة واضحة مثل "نعم" أو "لا". يُقيم مؤلفو العمل سلسلة كيميائية تفعل ذلك بالضبط. تستقبل مادة واحدة بتركيز يتراوح بين الصفر والواحد، وتُخرج سلسلة من النبضات — مثل شيفرة مورس، لكن كيميائية. كل نبضة تعني "تشغيل"، وغيابها يعني "إيقاف".
كيف تضع فيلاً في علبة كبريت
يعمل التلدين الكمومي مثل بحث ذكي عن المسار في متاهة: بدلاً من فحص جميع الطرق المسدودة، يستخدم التأثيرات الكمومية لإيجاد المخرج بشكل أسرع. لكن لهذه المتاهة خصوصية: الأرقام التي تصف الجدران والممرات يجب أن تكون متقاربة الحجم تقريباً. إذا كان أحد الأرقام ضخماً والآخر صغيراً جداً، فإن أجهزة الحاسوب الكمومي تبدأ في ارتكاب الأخطاء.
كيف نتحقق من دقة الحسابات الكمومية
عندما يحسب الكيميائيون سلوك الجزيئات على الحاسوب، يستخدمون طرقًا تقريبية لأن الحساب الدقيق معقد للغاية. بالنسبة للذرات الخفيفة، توجد معايير مرجعية مُختبرة، لكن بالنسبة للذرات الثقيلة، حيث تكون تأثيرات النسبية مهمة، لم تكن هناك مثل هذه المعايير. الأمر يشبه التحقق من مسطرة باستخدام مسطرة أخرى، وليس باستخدام المتر القياسي. يستخدم النهج الجديد تحليلًا رياضيًا يسمح بحل المعادلات بدقة للأنظمة الكبيرة.
كيف نحسب الذرات بدقة أكبر
الإلكترون في الذرة مثل نغمة على وتر: لديه مجموعة من الطاقات المسموحة، ومهمة الفيزيائي هي إيجاد هذه النغمات. عادةً، لتحديدها، يتم تقسيم الفضاء حول النواة إلى قطع صغيرة وحساب سلوك الإلكترون في كل منها. كلما كانت القطع أصغر، كانت الإجابة أدق. لكن بالنسبة لذرة الهيدروجين، اصطدمت الدقة بسقف: مهما صغّرنا القطع، لم ينخفض الخطأ عن مستوى معين. كان السبب في الطريقة التي ينظر بها البرنامج إلى مركز الذرة.
الخصائص كبوصلة: البرمجة الدقيقة
يتكاثف الضباب فوق السطر «def max(a: Int, b: Int): Int». ماذا يفعل هذا السطر؟ يعيد أكبر رقمين، ولكن كيف يمكن التحقق من ذلك؟ يمكن كتابة عشرات الاختبارات بأزواج محددة: max(2,3)=3، max(5,5)=5، max(-1,0)=0. ومع ذلك يبقى القلق: ماذا لو تعطلت الدالة مع مليون وسالب مليون؟ بدلًا من التحديق في الضباب، يمكن للمطور أن يأخذ بوصلة، وهذه البوصلة تسمى خاصية. الخاصية هي عبارة عن البرنامج يجب أن تكون صحيحة لجميع المدخلات.