Single exponential $H^1$-upper bounds for the primitive equations

ملخص تقني: الحدود العليا الأسية الأحادية لـ $H^1$ للمعادلات الأولية

بيان المشكلة
تتقصى الورقة البحثية المعادلات الأولية ثلاثية الأبعاد التي تحكم التدفقات الجيوفيزيائية واسعة النطاق (الغلاف الجوي والمحيط) ضمن نطاق صندوقي دوري أفقي $\Omega = G \times (-h, 0)$. يتضمن النظام لزوجة كاملة ويخضع إما لشروط حدودية نيومان المتجانسة أو شروط ديريكليه على الحدود العلوية والسفلية، مع شروط دورية على الحدود الجانبية. الهدف الرئيسي هو وضع حدود مسبقة (a priori bounds) للحلول القوية $v$ في الفضاء $L^\infty(0, \infty; H^1(\Omega)) \cap L^2(0, \infty; \dot{H}^2(\Omega))$.

تحديداً، يتناول هذا العمل معدل نمو هذه الحدود بالنسبة للبيانات الأولية $a$ والزمن $t$. توفر الأدبيات الحالية، ولا سيما نتائج الوجود الجيد عالمياً بواسطة كاو وتيتي [3]، حدوداً عليا تنمو بشكل أسي مزدوج بالنسبة للبيانات الأولية والزمن. وقد حسنت أعمال لاحقة [9, 10, 7] الاعتماد الزمني أو عالجت شروطاً حدودية محددة، لكنها ظلت عموماً تحتفظ باعتماد أسي مزدوج على الأقل بالنسبة للبيانات الأولية أو الزمن، وغالباً ما اعتمدت على متراجحات سوبوليف اللوغاريتمية أو افتراضات صغر حجم معينة.

المنهجية
يستخدم المؤلف سلسلة من تقديرات الطاقة ومتراجحات الاستكمال (interpolation inequalities) لاستنتاج الحدود، مع تمييز النهج بناءً على الشروط الحدودية:

1. شروط نيومان الحدودية (الفرضية 1):

   • يعتمد الإثبات على تقديرات $L^q$ للسرعة الأفقية $v$ (تحديداً $q=4, 8$) وتقديرات $L^r$ للمشتق الرأسي $v_z$ (تحديداً $r=2, 4$).
   • تعتمد الطريقة على خصائص الإلغاء لمصطلح الحمل (convection term) ولامساواة كالدرون-زيجموند للتعامل مع مصطلح الضغط.
   • تكمن الصعوبة الرئيسية في هذا الإعداد في غياب متراجحة بوانكاريه لـ $v$ (بما أن متوسط $v$ ليس بالضرورة صفراً). وبناءً عليه، فإن الاشتقاق الأولي ينتج حداً يعتمد على الزمن ($e^{C\sqrt{t}}$).

2. شروط ديريكليه الحدودية (النظرية 1):

   • لتحقيق حد مستقل عن الزمن، ينقل المؤلف استراتيجية التقدير إلى تقديرات $L^6$ لـ $v$ وتقديرات $L^3$ لـ $v_z$.
   • يمثل الاقتران بين مصطلح الضغط $\pi$ والقيم الحدودية تحدياً تقنياً حرجاً في حالة ديريكليه. يتم تفكيك تدرج الضغط $\nabla_H \pi$ إلى $\nabla_H \pi_1$ (الذي يعتمد على اللاخطية في الكتلة) و $\nabla_H \pi_2$ (الذي يعتمد على الأثر الحدودي لـ $v_z$).
   • يحل الإثبات التداخل بين تقدير $L^q$ لـ $v$ وتقدير $L^r$ لـ $v_z$ من خلال الاختيار الدقيق للزوج $(q, r) = (6, 3)$. يسمح هذا للحدود الناشئة في أحد التقديرات بأن يتم التحكم فيها بواسطة حدود التبديد في التقدير الآخر.

3. التحسين لحالة نيومان (النظرية 1):

   • لإزالة الاعتماد الزمني الموجود في الفرضية 1، يُدخل المؤلف متغير التقلب $\tilde{v} = v - \bar{v}$ (حيث $\bar{v}$ هو المتوسط الرأسي).
   • بما أن $\tilde{v}$ يحقق متراجحة من نوع بوانكاريه ($\|\tilde{v}\|_{L^q} \leq C \|v_z\|_{L^q}$)، فإن التحليل يركز على تقديرات $L^6$ لـ $\tilde{v}$ وتقديرات $L^3$ لـ $v_z$.
   • يعالج هذا النهج بفعالية "الحدود الدنيا" التي تسببت سابقاً في النمو الزمني، مستفيداً من حقيقة أن متوسط المشتق الرأسي هو صفر.

النتائج الرئيسية
تثبت هذه الورقة النظرية الرئيسية التالية لكلا شرطي نيومان وديريكليه:

للبيانات الأولية $a \in H^1(\Omega)$ حيث $a_z \in L^3(\Omega)$ (وتستوفي شروط التوافق)، يحقق الحل القوي $v$ ما يلي:
$$\|v(t)\|_{H^1(\Omega)}^2 + \int_0^t \|\nabla^2 v(s)\|_{L^2(\Omega)}^2 \, ds \leq B(a) e^{C\|a\|_{L^2(\Omega)}^2}$$
لكل $t \in [0, T]$، حيث $B(a)$ هي دالة متعددة الحدود لمعايير البيانات الأولية، و $C$ هو ثابت يعتمد فقط على النطاق $\Omega$.

الأهم من ذلك، أن العامل الأسي يعتمد فقط على مربع معيار $L^2$ للبيانات الأولية، $\|a\|_{L^2(\Omega)}^2$، وهو مستقل عن الزمن $t$.

الأهمية والادعاءات
تدعي الورقة مساهمتين رئيسيتين:

1. تقليل النمو الأسي: الحد العلوي المستنتج هو أسي أحادي بالنسبة للبيانات الأولية ($e^{C\|a\|_{L^2}^2}$)، مما يتناقض بحدة مع الحدود الأسية المزدوجة ($e^{e^{C\|a\|^2}}$) الموجودة في الأدبيات السابقة (على سبيل المثال [3, 9, 10, 7]). ويمثل هذا تحسناً كبيراً في الفهم الكمي لاستقرار المعادلات الأولية.
2. تقديرات موحدة زمنياً لحالة نيومان: تقدم الورقة ما تدعي أنه أول حد علوي لـ $H^1$ موحد زمنياً لحالة شرط نيومان الحدودي. في هذا الإعداد، لا تتوفر متراجحة بوانكاريه القياسية لمجال السرعة $v$، مما يجعل اشتقاق حدود مستقلة عن الزمن أمراً غير بديهي ولم يتحقق سابقاً في الأدبيات.

يشير المؤلف إلى أنه بينما تسمح حالة ديريكليه بالاضمحلال الأسي مع $t \to \infty$ إذا تم استخدام متراجحة بوانكاريه، فإن سلوك الاضمحلال المحدد هذا ليس التركيز الأساسي للعمل الحالي. تُقدم النتائج كتقديرات مسبقة (a priori estimates) للحلول القوية، بافتراض وجودها، وهو ما تدعمه نتائج الوجود المحلي السابقة.