Lipschitz regularity of harmonic map heat flows into $CAT(0)$ spaces

ملخص تقني: الانتظام الليبشيتزي لتدفقات الحرارة للخرائط التوافقية في فضاءات CAT(0)

بيان المشكلة
تتناول الورقة البحثية مسألة مفتوحة منذ فترة طويلة تتعلق بانتظام الحلول الضعيفة لتدفق الحرارة للخرائط التوافقية (harmonic map heat flow) في فضاءات CAT(0). بينما تم إثبات وجود، ووحدانية، وتقارب الحلول الضعيفة لهذه التدفقات على المدى الطويل من قبل ماير وجوست (Mayer and Jost) في التسعينيات عبر نظرية التدفق المتدرج في الفضاءات المترية، ظل السؤال حول ما إذا كانت هذه الحلول تمتلك انتظاماً ليبشيتزياً (Lipschitz regularity) في كل من المتغيرين المكاني والزماني دون حل. قدمت أعمال سابقة لـ لين، سيجاتي، ساير، ووانغ (2026) إجابة جزئية، حيث أثبتت الاستمرارية الليبشيتزية في المتغير المكاني لفئة محددة من فضاءات CAT(0) (تلك القابلة للاندماج في الفضاء الإقليدي مع خصائص تقاربية محددة) والاستمرارية من نوع هولدر (Hölder continuity) بنسبة 1/2 في المتغير الزماني. يهدف المؤلفون إلى تقديم إجابة كاملة لأي فضاءات CAT(0) تعسفية، من خلال إثبات الانتظام الليبشيتزي في كلا المتغيرين وإثبات متباينة بوخنر (Bochner-type inequality) بارابولية.

المنهجية
يستخدم المؤلفون مزيجاً من التحليل الهندسي الجوهري، ونظرية الحلول باللزوجة (viscosity solution theory)، وتقنيات التدفق غير الخطي المقتبسة من أعمالهم السابقة على الخرائط التوافقية. تنقسم استراتيجية الإثبات إلى ثلاث مراحل رئيسية:

1. الاستمرارية المحلية من نوع هولدر:
   يؤسس المؤلفون أولاً الاستمرارية المحلية من نوع هولدر للحلول الضعيفة. يقومون بتكييف نظرية دي جورجي-ناش-موزر (De Giorgi-Nash-Moser) مع الإطار البارابولي. تكمن الصعوبة الرئيسية في أن متباينة بوانكاريه البارابولية القياسية تفشل بالنسبة للدوال العامة في $W^{1,2}$ بسبب غياب المشتقات الزمنية في الطرف الأيمن. ومع ذلك، ومن خلال الاستفادة من انتظام التدفق المتدرج (تحديداً الاستمرارية الليبشيتزية للتدفق في مترية $L^2$ عند $t > 0$)، يثبتون متباينة بوانكاريه محلية معدلة. يسمح هذا باستنتاج خاصية الحل الجزئي (subsolution property) لدالة المسافة $d_Y(P, u(x,t))$، مما يؤدي إلى استمرارية هولدر محلية عبر حجج التكرار (iteration arguments).

2. الاستمرارية الليبشيتزية في الزمن:
   لإثبات الاستمرارية الليبشيتزية في المتغير الزماني، يثبت المؤلفون "خاصية الحل الجزئي" الضرورية للمسافة المربعة بين حلين ضعيفين، $w(x,t) = d_Y^2(u(x,t), v(x,t))$. يثبتون أن $(\Delta - \partial_t)w \geq 2R_{u,v}$ في معنى التوزيعات، حيث $R_{u,v}$ هو حد غير سالب مرتبط باختلاف كثافات الطاقة. ومن خلال اختيار $v(x,t) = u(x, t+s)$ وتطبيق مبدأ الحد الأقصى (maximum principle) على هذا الحل الجزئي، يستنتجون حداً موحداً لفرق الزمن، مما يثبت أن $t \mapsto u(x, \cdot)$ مستمر ليبشيتزياً محلياً.

3. الاستمرارية الليبشيتزية في الفضاء:
   يتم إثبات الانتظام المكاني عبر بناء تدفق "هاميلتون-جاكوبي" (Hamilton-Jacobi) غير خطي. وخلافاً للحالة الإهليلجية (elliptic case) حيث يتضمن التدفق متغيرين مكانيين، فإن الحالة البارابولية اقترحت في البداية اعتماداً على متغيرين زمنيين ($t$ و $s$)، مما عقد اشتقاق معادلة تفاضلية جزئية بارابولية. ومن خلال الاستفادة من الاستمرارية الزمنية الليبشيتزية التي تم إثباتها سابقاً، يعرّف المؤلفون تدفقاً "معدلاً" يعتمد على متغير زمني واحد فقط:
   $$f_\epsilon(x, t) := \inf_{y \in \Omega} \left( \frac{e^{-2Kt} d^2(x, y)}{2\epsilon} - d_Y(u(x, t), u(y, t)) \right)$$
   يثبتون أن هذه الدالة هي حل فوقي (supersolution) للحل باللزوجة للمعادلة الحرارية. ومن خلال ربط هذا التدفق بنورم التدرج المكاني (عبر متباينة القيمة المتوسطة التقاربية وخصائص دالة هاردي-ليتوايل الماكسيمال)، يحددون ثابت ليبشيتز مكاني، مما يثبت الاستمرارية الليبشيتزية المحلية في الفضاء.

4. متباينة بوخنر:
   أخيراً، يقوم المؤلفون بتطوير نهج هاميلتون-جاكوبي عبر رفع أس دالة المسافة من 2 إلى عدد صحيح أعلى. ومن خلال تحليل النهاية عندما $p \to \infty$، يستنتجون متباينة بوخنر من نوع إيلز-سامبسون (Eells-Sampson-type Bochner inequality) للثابت الليبشيتزي المكاني.

النتائج الرئيسية
تثبت الورقة النتائج الرئيسية التالية:

• المبرهنة 1.3 (نتيجة الانتظام الرئيسية): ليكن $M$ متشعب ريماني كامل بإنحناء ريتشي محدود من الأسفل بـ $K$، وليكن $(Y, d_Y)$ فضاء CAT(0) تعسفي. لأي حل ضعيف $u(x,t)$ لتدفق الحرارة للخرائط التوافقية ببيانات ابتدائية محدودة، يكون $u$ مستمراً ليبشيتزياً محلياً في $\Omega \times (0, +\infty)$ في كل من الفضاء والزمن.
• المبرهنة 1.3 (ii) (متباينة بوخنر): الثابت الليبشيتزي النقطي المكاني، المعرف بـ $\text{lip}_x u(x,t) := \limsup_{y \to x} \frac{d_Y(u(x,t), u(y,t))}{d(y,x)}$، ينتمي إلى $V_{2,loc} \cap L^\infty_{loc}$ ويحقق المتباينة التوزيعية:
  $$(\Delta - \partial_t)(\text{lip}_x u)^2 \geq 2|\nabla \text{lip}_x u|^2 + 2K(\text{lip}_x u)^2$$
  وهذه هي النسخة البارابولية من متباينة بوخنر للخرائط التوافقية.

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

تؤكد الورقة أن متباينة بوخنر المستمدة (المبرهنة 1.3 (ii)) هي أداة هامة، تشبه متباينة إيلز-سامبسون الكلاسيكية، والتي تعد مركزية في مبرهنات الصلابة (rigidity theorems) في نظرية المجموعات الهندسية. ويشير المؤلفون إلى أن حججهم في الأقسام 3 و4 و5 يمكن تكييفها للخرائط من فضاءات RCD إلى فضاءات CAT(0)، رغم أن إثبات الليبشيتز المكاني (القسم 7) يعتمد حالياً على نظرية الحلول باللزوجة التي لم تكتمل دراستها بعد بشكل كامل للمعادلات البارابولية في فضاءات RCD.

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