Nonuniqueness of solutions to the Lagrangian mean curvature equation

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

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

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

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

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

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

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

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