On "discrete" solutions of the Euler system of gas dynamics

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

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

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

قصة السائل "البكسلي"

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

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

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

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

لماذا هذا مهم (ولماذا هو غريب)

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

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

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

الخلاصة

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