نظرية فوبيني: لماذا لا يهم ترتيب التكامل

تخيّل أنك تجمع كمية الأمطار المُسجَّلة عبر حقل مستطيل من مجموعة من المستشعرات. هل يهم إن جمعت أولاً كل صف من المستشعرات، ثم جمعت مجاميع الصفوف — أم جمعت أولاً كل عمود، ثم جمعت تلك؟ تقول نظرية فوبيني: لا يهم. بالنسبة لدالة حسنة السلوك على منطقة مثل المستطيل، يعطي التكامل المزدوج الإجابة نفسها بغض النظر عن أي متغير تبدأ بتكامله.

ما تنص عليه النظرية فعلياً

بالنسبة لدالة f(x, y) متصلة على مستطيل حيث يتراوح x من a إلى b ويتراوح y من c إلى d:

∬ f(x,y) dA = ∫∫ f(x,y) dy dx = ∫∫ f(x,y) dx dy

بالكلمات: ثبّت متغيراً واحداً، وكامل على الآخر، فتحصل على دالة عادية بمتغير واحد — ثم كامل تلك الدالة. يمكنك القيام بالخطوتين بأي ترتيب وستصل إلى الرقم نفسه.

لماذا يهم هذا

يحوّل هذا مسألة ثنائية الأبعاد حقاً — الحجم تحت سطح — إلى تكاملين عاديين أحاديي المتغير، يُنفَّذان الواحد تلو الآخر، وهو أمر تعرفه بالفعل. ولأن الترتيب اختيارك، يمكنك اختيار الأسهل فعلياً: بعض المناطق تجعل التكامل على x أولاً شبه مستحيل بينما y أولاً روتيني، أو العكس.

يكمن هذا بصمت خلف كثير من الحسابات الحقيقية: إيجاد كتلة أو مركز كتلة لوح مستوٍ، وحساب عزوم القصور الذاتي في الهندسة، والعمل مع التوزيعات الاحتمالية المشتركة في الإحصاء، وعمليات الالتفاف المستخدمة في معالجة الصور وتعلّم الآلة.

شرط واحد يستحق التذكر: تحتاج نظرية فوبيني أن تكون الدالة حسنة السلوك (تقنياً، قابلة للتكامل المطلق) على المنطقة. بالنسبة للدوال المتصلة التي ستقابلها في الجامعة، لا يهم الترتيب فعلياً أبداً.

مثال محلول سريع

خذ f(x, y) = xy على المستطيل 0 ≤ x ≤ 2، 0 ≤ y ≤ 1.

• كامل على x أولاً: ∫₀¹ [∫₀² xy dx] dy = ∫₀¹ [x²y/2]₀² dy = ∫₀¹ 2y dy = [y²]₀¹ = 1.
• كامل على y أولاً: ∫₀² [∫₀¹ xy dy] dx = ∫₀² [xy²/2]₀¹ dx = ∫₀² (x/2) dx = [x²/4]₀² = 1.

الإجابة نفسها، بأي ترتيب — بالضبط ما تعد به نظرية فوبيني. بمجرد أن يتضح هذا، تتوقف التكاملات المزدوجة عن الشعور بأنها موضوع جديد وتبدأ بالشعور بأنها تكاملان تعرفهما بالفعل، يُنفَّذان تباعاً. إذا كان حساب التفاضل والتكامل متعدد المتغيرات مثل هذا شيئاً تريد أنت أو طفلك شرحه بشكل صحيح بدلاً من مجرد حفظه، فهذا بالضبط ما يقدمه تدريسنا الجامعي للرياضيات، ويمكنك رؤية مسار التعلم الكامل هنا.