Local Well-Posedness for Vlasov--Poisson with $L^{d+}$ Initial Density and Fractional Velocity Regularity

ملخص تقني: جودة التحديد الموضعي لنموذج "فلاسوف-بواسون" بكتلة أولية من فئة $L^d_+$ وانتظام كسري في السرعة

بيان المشكلة
تتناول الورقة البحثية مسألة جودة التحديد الموضعي (local well-posedness) لنظام "فلاسوف-بواسون" في الأبعاد $d \ge 2$:
$$\partial_t f + v \cdot \nabla_x f + E \cdot \nabla_v f = 0, \quad E = \sigma \nabla_x \Delta^{-1} \rho, \quad \rho(t, x) = \int_{\mathbb{R}^d} f(t, x, v) \, dv.$$
تكمح الصعوبة المركزية في الطبيعة متباينة الخواص (anisotropic) للمسألة: حيث تعيش دالة التوزيع $f$ في فضاء الطور، بينما يتم توليد المجال الكهربائي المتسق ذاتياً $E$ حصرياً من الكثافة المكانية $\rho$، والتي هي متوسط سرعة لـ $f$. تتطلب النظريات الكلاسيكية غالباً انتظاماً قوياً على $f$ في فضاء الطور الكامل (مثل فضاءات سوبولف $H^s(\mathbb{R}^{2d})$) أو كون الكثافة $\rho \in L^\infty_x$ محدودة بانتظام. تستقصي هذه الدراسة نظاماً تكون فيه المعطيات الأولية $f_0$ تفتقر إلى أي مشتقات مكانية موجبة المرتبة، ولكنها تحقق شرط هولدر (Hölder condition) متباين الخواص في متغير السرعة مع تحكم من نوع $L^p$ مكانياً. الهدف هو إثبات الوجود الموضعي، والوحدانية، والاعتماد المستمر للمعطيات الأولية التي قد تكون غير محدودة في الفضاء (حيث $\rho_0 \notin L^\infty_x$) ولكنها تمتلك انتظاماً كافياً في السرعة لتحفيز الانتظام المكاني عبر النقل (transport).

المنهجية
يعتمد الإثبات على حجة النقطة الثابتة القائمة على الكثافة مقترنة بتقنية إعادة بارامترية للخصائص (characteristic reparametrization). تسير المنهجية عبر أربع خطوات رئيسية:

1. إعادة بارامترية للخصائص:
   بدلاً من حل معادلة النقل مباشرة، يدرس المؤلف تدفق الخصائص الخلفي $(X_{s,t}, V_{s,t})$ الناتج عن مجال كهربائي محدد مسبقاً $E$. والابتكار الرئيسي هنا هو بناء ديايمورفيزم (diffeomorphism) عالمي يربط السرعة النهائية بالموقع الأولي. وتحديداً، بالنسبة لزمن ثابت $t$ وموقع $x$، يتم عكس الخريطة $v \mapsto X_{0,t}(x, v)$ للتعبير عن الموقع الأولي $y$ والسرعة الأولية $w$ بدلالة $x$ و $v$. وهذا يؤدي إلى صيغة "الخلط غير الخطي" للكثافة:
   $$\rho(t, x) = t^{-d} \int_{\mathbb{R}^d} f_0\left(y, W_t(x, y)\right) J_t(x, y) \, dy,$$
   حيث $W_t(x, y)$ هي السرعة الأولية المقابلة لجسيم يصل إلى $x$ عند الزمن $t$ انطلاقاً من $y$، و $J_t$ هو اليعقوبي (Jacobian) المرتبط بها. وتعمم هذه الصيغة علاقة النقل الحر $\rho_{free}(t, x) = t^{-d} \int f_0(y, (x-y)/t) dy$.

2. تقديرات التشتت ونقل الانتظام:
   تتمثل التقديرات الجوهرية في إظهار أن الانتظام الكسري لهولدر في السرعة ($C^\theta_v$) يتحول إلى انتظام هولدر مكاني ($C^\alpha_x$) عبر عملية الخلط الباليستي (ballistic mixing) المتأصلة في النقل.

• الافتراض هو أن $f_0$ تمتلك معامل هولدر $G_\theta(x)$ موزوناً منتظماً من نوع $C^\theta_v$ ينتمي إلى $L^p_x$.
• خريطة الخصائص $W_t(x, y)$ تتصرف مثل $(x-y)/t$ بالإضافة إلى اضطراب محكوم بالمجال الكهربائي.
• من خلال تحليل الزيادة $x \mapsto x+\ell$، يوضح المؤلف أن انتظام $C^\theta_v$ لـ $f_0$ يترجم إلى انتظام $C^\alpha_x$ لـ $\rho(t)$ مع حد يتسم بالتفرد الزمني:
  $$[\rho(t)]_{C^\alpha_x} \lesssim t^{-d/p - \alpha} (\|G_0\|_{L^p} + \|G_\theta\|_{L^p}).$$
• والأهم من ذلك، بما أن $p > d$ ويمكن اختيار $\alpha$ بحيث يكون $d/p + \alpha < 1$، فإن التفرد $t^{-d/p-\alpha}$ يكون قابلاً للتكامل في الزمن. وهذا يضمن أن المجال $E = \nabla \Delta^{-1} \rho$ ينتمي إلى $L^1(0, T; C^{1, \alpha}_x)$، وهو ما يكفي لإغلاق بناء الخصائص.

3. نقطة شاوذر الثابتة (Schauder Fixed Point):
   بما أن الخريطة من الكثافة إلى الكثافة ليست خريطة تقارب (contraction) في المعايير ذات الصلة، فإن نظرية النقطة الثابتة لـ "باناخ" لا يمكن تطبيقها. بدلاً من ذلك، يبني المؤلف مجموعة مغلقة ومحدبة من الكثافات المقبولة في فضاء باناخ $X = L^r(0, T; C^\beta(\mathbb{R}^d))$.

• الرصانة (Compactness): يتم إثبات رصانة الحل باستخدام نظرية أوبين-ليون-سايمون (Aubin–Lions–Simon). ويعتمد ذلك على تقديرات التشتت (التي توفر الانتظام المكاني)، ومعادلة الاستمرارية (التي توفر انتظام الزمن للكثافة في فضاءات سوبولف السالبة)، والضيق المكاني (المستمد من الكتلة المحدودة واضمحلال السرعة لـ $f_0$).
• الوجود: تضمن نظرية شاودر للنقطة الثابتة وجود نقطة ثابتة $\rho$، والتي تحدد حلاً لاغرانجياً $(f, E)$.

4. الوحدانية عبر استقرار من نوع لويبر (Loeper-type Stability):
   يتم إثبات الوحدانية باستخدام تقدير استقرار مستوحى من لويبر [26]. تتطلب تقديرات لويبر القياسية كثافة محدودة. هنا، الكثافة $\rho(t)$ غير محدودة بالقرب من $t=0$ (تتصرف مثل $t^{-d/p}$). ومع ذلك، بما أن $d/p < 1$، فإن معيار $L^\infty$ قابل للتكامل في الزمن.

• يعرّف المؤلف كمية $P(t)$ تقيس المسافة بين تدفقين في فضاء الطور.
• باستخدام تقدير لويبر نقطياً في الزمن وتكامل المتراجحة التفاضلية الناتجة عبر لمة غرونوال (Gronwall's lemma)، يتم إثبات الوحدانية. تسمح قابلية تكامل التفرد بتطبيق تقدير الاستقرار عند كل زمن $t > 0$ تقريباً.

المساهمات والنتائج الرئيسية

• مبرهنة 1 (جودة التحديد الموضعي): لـ $d \ge 2$، و $p > d$، و $0 < \theta \le 1$، إذا كانت المعطيات الأولية $f_0$ تحقق كتلة محدودة، ومعيار سرعة موزون $G_0 \in L^p_x$، ومعامل هولدر سرعة موزون $G_\theta \in L^p_x$، فإنه يوجد حل لاغرانجي وحيد خلال فترة زمنية قصيرة $[0, T]$.
• انتظام الحل: يحقق الحل:
  • $f \in C([0, T]; L^1 \cap L^p(\mathbb{R}^{2d}))$.
  • $\rho \in L^\infty(0, T; L^1 \cap L^p) \cap L^r(0, T; C^\alpha)$.
  • $E \in L^r(0, T; C^{1, \alpha})$.
  • تظهر الكثافة حداً في $L^\infty$ ذا تفرد زمني: $\|\rho(t)\|_{L^\infty} \lesssim t^{-d/p}$.
• الافتراضات متباينة الخواص: لا تتطلب النتائج أي مشتقات مكانية لـ $f_0$. الانتظام هو محض انتظام متباين الخواص: استمرار هولدر كسري في السرعة، محكوم في $L^p$ مكانياً. وهذا يميز النتيجة عن النظريات القائمة على سوبولف سابقاً (مثل Jeong–Tae [24]، و Tae [34]) والتي تتطلب انتظاماً كاملاً في فضاء الطور.
• الوحدانية في فئة جديدة: تثبت الورقة الوحدانية لمعطيات لا تكون فيها الكثافة محدودة بانتظام في الزمن، مما يوسع نطاق وحدانية لويبر الكلاسيكي الذي يعتمد على $\rho \in L^\infty_{t,x}$.

الأهمية والادعاءات
تدعي الورقة تقديم معيار لجودة التحديد الموضعي يعمل خارج النطاق الكلاسيكي للكثافات المحدودة بانتظام.

• الآلية: الآلية الأساسية هي "الخلط الباليستي" لمعادلة النقل، والذي يحول انتظام السرعة إلى انتظام مكاني. هذا يسمح للمجال الكهربائي باكتساب الانتظام الكافي ($C^{1, \alpha}$) لتعريف تدفق مستقر، حتى عندما تكون الكثافة الأولية مفردة.
• حدة الشروط: يشير المؤلفون إلى أن الشروط $p > d$ و $\theta > 0$ هي شروط حادة (sharp) بالنسبة لـ حجة تدفق هولدر المستخدمة.
  • إذا كان $p = d$، يصبح تفرد $L^\infty$ هو $t^{-1}$، وهو غير قابل للتكامل، مما يكسر قابلية تكامل انتظام المجال زمنياً.
  • إذا كان $\theta = 0$، فلا توجد آلية لتوليد انتظام هولدر مكاني من المعطيات الأولية، حتى في حالة النقل الحر.
• المسائل المفتوحة: تذكر الورقة صراحة أن الجودة العالمية للتحديد (global well-posedness) تحت هذه الافتراضات تظل مسألة مفتوحة. علاوة على ذلك، تطرح السؤال عما إذا كانت عدم الوحدانية تحدث للمعطات التي تحقق $p > d$ ولكن $\theta = 0$ (أي تحكم $L^p$ موزون فقط دون انتظام في السرعة)، مما يشير إلى أن النتيجة الحالية لا تغطي الحالة الحدية $\theta = 0$. كما توضح أنه بينما تُعرف حالات عدم الوحدانية لـ "إويلر" ثنائي الأبعاد في فئات ضعيفة معينة، فإن البنية الحركية لـ "فلاسوف-بواسون" (الإيجابية، القيد الإهليلجي) قد تمنع أمراضاً مماثلة، مما يترك سؤال الوحدانية للكثافات "شبه" غير المحدودة كمسألة أساسية مفتوحة.

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