Micro-Macro Simulation of Shallow Water Moment Equations
Rožek
Shallow flows are governed by the Navier-Stokes equations. They are commonly modelled using the shallow water equations, a great simplification of the Navier-Stokes equations, which often yields inaccurate results. For that reason, a model called shallow water moment equations has been developed. It uses more equations and variables than the shallow water equations. While this model is significantly more accurate, it is also computationally more expensive. To speed up computations, the micro-macro method may be used. The micro-macro method switches between two models of varying levels of detail allowing for larger stable time steps. In this paper we formulate the micro-macro method for shallow water moment equations. We perform a theoretical runtime analysis of the method and present a series of results for a dam break test and a wave transport test. The micro-macro method achieves a significant speed-up while retaining a sufficient level of accuracy.
تُحكم تدفقات المياه الضحلة عادة بمعادلات نافييه-ستوكس، لكن النمذجة العملية غالباً ما تستخدم معادلات المياه الضحلة المبسطة (SWE)، مما يؤدي إلى نتائج غير دقيقة. لهذا السبب، طور الباحثون معادلات العزوم للمياه الضحلة (SWME)، وهي نموذج يستخدم معادلات ومتغيرات أكثر، مما يحسّن الدقة بشكل كبير، لكن التكلفة الحسابية تزداد أيضاً. تطبق هذه الورقة طريقة الميكروسكوبي-الماكروسكوبي (micro-macro) على SWME، مما يسمح بالتبديل بين نموذجين بمستويات دقة مختلفة، مما يتيح خطوات زمنية استقرار أكبر. تقدم الورقة تحليلاً نظرياً لوقت التشغيل وتعرض نتائج اختبارات انهيار السد ونقل الموجات. تحقق طريقة الميكروسكوبي-الماكروسكوبي تسريعاً حسابياً ملحوظاً مع الحفاظ على دقة كافية.
تم تطبيق طريقة الميكروسكوبي-الماكروسكوبي سابقاً فقط على نماذج العزوم للغازات النادرة، ولم تُطبق على تدفقات السطح الحر. تهدف هذه الورقة إلى توسيع هذه الطريقة إلى SWME لتسريع محاكاة تدفقات السطح الحر مع الحفاظ على دقة كافية.
تطبيق أول لطريقة الميكروسكوبي-الماكروسكوبي على معادلات العزوم للمياه الضحلة، ملء الفراغ في تطبيق هذه الطريقة في مجال تدفقات السطح الحر
اشتقاق كامل للخطوات الأربع لطريقة الميكروسكوبي-الماكروسكوبي لـ SWME: الخطوة الميكروسكوبية، خطوة التقييد، الخطوة الماكروسكوبية وخطوة المطابقة
الاستفادة من التعامد متعدد الحدود Legendre، لتحقيق خطوة مطابقة بسيطة وفعالة (من خلال تقليل معيار L2)
تحليل نظري للتعقيد الحسابي: إثبات أنه عندما M>>L، يكون تعقيد طريقة الميكروسكوبي-الماكروسكوبي O((M²+L²+M)/(2Δx))، أفضل من النموذج الميكروسكوبي البحت O(M²/Δx)
التحقق العددي: تحقيق تسريع حسابي بمقدار 2 مرة أو أكثر في حالتي اختبار انهيار السد ونقل الموجات، مع الحفاظ على دقة جيدة
التنفيذ مفتوح المصدر: توفير مكتبة كود Python، باستخدام تقسيم الحجم المحدود من الدرجة الأولى والتنسيق المقسم
المدخلات: الشروط الابتدائية لتدفق المياه الضحلة (الارتفاع h، متوسط السرعة um، المعاملات متعددة الحدود αj) والشروط الحدية المخرجات: حل حقل التدفق المتطور زمنياً القيود: تحقيق حفظ الكتلة والزخم وتطور ملف السرعة، مع تحقيق شرط الاستقرار CFL
الاستفادة الماهرة من الأساس المتعامد: تعامد متعددات Legendre يجعل خطوات التقييد والمطابقة بسيطة وفعالة، بدون الحاجة إلى خوارزميات تحسين معقدة
ميزة خطوة الزمن:
الخطوة الميكروسكوبية: δt=∣λ∣max,MΔx⋅C
الخطوة الماكروسكوبية: Δt=∣λ∣max,LΔx⋅C
بما أن ∣λ∣max,L<∣λ∣max,M، يمكن استخدام خطوة زمنية أكبر في الخطوة الماكروسكوبية
تقريب القيم الذاتية: استخدام صيغة تقريبية لتجنب حساب القيم الذاتية المكلف
∣λ∣max=∣um∣+gh+∑j=1Nαj2
دقيقة لـ N=0,1، محافظة قليلاً لـ N>1 لضمان الاستقرار
صيغة التقسيم: تقسيم PDE إلى حدود الحمل والحدود المصدرية وحلها بشكل منفصل، مما يزيد المرونة
1 J. Kowalski and M. Torrilhon, "Moment approximations and model cascades for shallow flow," Commun. Comput. Phys., 2019.
6 J. Koellermeier and H. Vandecasteele, "Hierarchical micro-macro acceleration for moment models of kinetic equations," Journal of Computational Physics, 2023.
7 K. Debrabant, G. Samaey, and P. Zielinski, "A micro-macro acceleration method for the monte carlo simulation of stochastic differential equations," SIAM Journal on Numerical Analysis, 2017.
10 J. Koellermeier and Q. Huang, "Equilibrium Stability Analysis of Hyperbolic Shallow Water Moment Equations," Math. Method. Appl. Sci., 2022.
التقييم الشامل: هذه ورقة بحثية قوية في ديناميكا السوائل الحسابية، تطبق بنجاح طريقة التسريع الميكروسكوبي-الماكروسكوبي على محاكاة معادلات العزوم للمياه الضحلة. تتميز الطريقة بتصميم ذكي، تجارب منهجية، وتحقيق تسريع حسابي ذي مغزى. المساهمات الرئيسية تكمن في توسيع الطريقة والتطبيق الماهر للأساس المتعامد. القيود الرئيسية تتعلق بتحليل الاستقرار غير المكتمل وقيود الدقة من الدرجة الأولى. بالنسبة لمحاكاة تدفقات المياه الضحلة التي تتطلب التوازن بين الدقة والكفاءة، توفر هذه الطريقة خياراً قيماً. اتجاهات التحسين المستقبلية واضحة وتتمتع بإمكانيات تطور جيدة.