Weighted Perimeters and pth Moments of Inertia of Convex Curves and Surfaces

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

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

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

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

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

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