Quadratic flatness and Regularity for Codimension-One Varifolds with Bounded Anisotropic First Variation Part II

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

1. بيان المشكلة والسياق

تعد هذه الورقة امتداداً لعمل المؤلفين السابق ([KS25])، والذي أثبت التسطح التربيعي والانتظام من الفئة $C^2$ لدعم متغيرات الفاري فولد ($V$) ذات الكوديمينشن واحد في $\mathbb{R}^{n+1}$ ذات متوسط انحناء متباين محدود، تحت فرضية أن الدعم يمتلك مقياس $\mathcal{H}^n$ محدود محلياً.

المشكلة المركزية التي تتناولها هذه الورقة هي استكشاف النتائج الهندسية الجوهرية لنتيجة الانتظام تلك، مع التركيز بشكل خاص على خاصيتين حرجتين لـ متجه متوسط الانحناء المتباين ($h_F(V, \cdot)$):

1. التعامد: هل يظل متجه متوسط الانحناء المتباين عمودياً على المستوى المماسي التقريبي للفاري فولد؟
2. المحلية: هل يتوافق متجه متوسط الانحناء المتباين مع البنية التقريبية من الدرجة الثانية للفاري فولد (أي هل يتطابق مع متوسط انحناء سطح ملساء حيث يتم تمثيل الفاري فولد محلياً بواسطة سطح ملساء)؟

في الإطار الإقليدي (الحالة المتماثلة/Isotropic)، أثبت براكي (Brakke) التعامد لمتغيرات الفاري فولد التكاملية ذات التباين الأول المحدود. ومع ذلك، فإن تعميم ذلك على الإطار المتباين (Anisotropic) ليس بالأمر الهين، لأن الأدوات الإقليدية القياسية، مثل مبرهنة فيثاغورس وصيغ الرتابة (Monotonicity formulas)، تفشل أو لا تتوفر في هذه الحالة.

2. المنهجية والابتكارات التقنية الرئيسية

يستخدم المؤلفون مزيجاً متطوراً من نظرية القياس الهندسي، والحساب المتغير، والتحويلات الجبرية الخطية للتغلب على غياب البنية الإقليدية.

أ. التقويم الخطي للبنية المتباينة

الابتكار الجوهي هو تقنية لـ "تقويم" الهندسة المتباينة محلياً.

• التحدي: في الإطار المتباين، لا تعمل مؤثرات الإسقاط المرتبطة بالدالة المكاملة ($P_F$ و $Q_F$) بشكل متعامد بمعنى إقليدي، مما يجعل التقديرات القياسية (مثل تلك المستخدمة من قبل براكي) غير صالحة.
• الحل: بالنسبة لنقطة $b$ ذات مستوى مماس تقريبي $T$، يقدم المؤلفون تطبيقاً خطياً $\varphi_T$ يعتمد على $T$. يقومون بدفع الفاري فولد $V$ عبر $\psi = \varphi_T^{-1}$ وسحب الدالة المكاملة $F$ لتصبح دالة مكاملة جديدة $G = \varphi_T^\# F$.
• الأثر: هذا التحويل يعمل على محاذاة البنية المتباينة مع البنية الإقليدية عند النقطة $b$ المحددة. وتحديداً، بالنسبة للدالة المكاملة الجديدة $G$، يصبح الإسقاط $P_G(T)$ هو الإسقاط المتعامد القياسي $T^\natural$. وهذا يسمح للمؤلفين بتطبيق تقديرات بأسلوب إقليدي محلياً مع الحفاظ على السياق المتباين العالمي.

ب. تحليل الدفع للأمام والتباين الأول

تحلل الورقة بدقة كيفية سلوك التباين الأول تحت تأثير التشاكلات التفاضلية (القسم 4).

• أثبتوا أنه إذا كان لـ $V$ تباين متباين أول محدود، فإن الفاري فولد المدفوع $W = \psi_\# V$ يمتلك أيضاً تبايناً أول محدود بالنسبة للدالة المكاملة المسحوبة $G$.
• والأهم من ذلك، أثبتوا أن نقاط ليبغ (Lebesgue points) لمتجه متوسط الانحناء تُحفظ تحت هذا التحويل (التمهيد 4.3)، مما يضمن انتقال خصائص الانتظام من الفاري فولد الأصلي إلى الفاري فولد "المقوّم".

ج. التعامد عبر اضمحلال فائض الميل (Tilt-Excess Decay)

لإثبات التعامد (النظرية 5.2)، كيّف المؤلفون استراتيجية براكي ولكنهم استبدلوا مبرهنة فيثاغورس بنتيجة التسطح التربيعي من [KS25].

• قاموا ببناء حقل متجه اختبار محدد $\chi_{\lambda, r} u$ (حيث $u$ هو متجه مماس) وحللوا التباين الأول $\delta_G W$.
• من خلال تفكيك التباين إلى حدود تتضمن فائض الميل ($\|S^\natural - T^\natural\|^2$) والارتفاع ($|T^\perp(x)|^2$)، أظهروا أن هذه الحدود تتلاشى بالمعدل الصحيح ($r^{-k-1}$) بسبب فرضية التسطح التربيعي.
• هذا يجبر المكون المماسي لمتجه متوسط الانحناء على التلاشي، مما يثبت أن $h_F(V, b) \perp T$.

د. المحلية عبر تكيف أمبروسيو-ماسنو

بالنسبة لنتيجة المحلية (النظرية 5.6)، كيّف المؤلفون أفكار أمبروسيو وماسنو. حيث أظهروا أنه إذا كان لـ $V$ متوسط انحناء متباين ويحقق شرط اضمحلال فائض ميل تربيعي، فإنه في المجموعة التي يتطابق فيها $V$ مع سطح ملساء $M$ من الفئة $C^2$، فإن متوسط الانحناء المتباين لـ $V$ يتطابق مع متوسط الانحناء المتباين لـ $M$.

3. النتائج الرئيسية

النظرية 1.1 (النظرية الرئيسية)

ليكن $\phi$ معياراً من الفئة $C^3$ محدب بانتظام على $\mathbb{R}^{n+1}$ وليكن $F$ هو الدالة المكاملة الإهليلجية المرتبطة به. ليكن $V$ فاري فولد تكاملي $n$-أبعادي في مجموعة مفتوحة $\Omega$ ذو تباين أول متباين محدود ($\|\delta_F V\| \le H \|V\|$) وافترض أن دعمه يمتلك مقياس $\mathcal{H}^n$ محلي محدود ومتصل بالنسبة لـ $\|V\|$.
ليكن $Q$ هو مجموعة النقاط في الدعم حيث الكثافة تساوي 1.
عند ذلك، لجميع النقاط $a \in Q \cap M$ (حيث $M$ أي سطح مدمج من الفئة $C^2$):

1. التعامد: متجه متوسط الانحناء المتباين $h_F(V, a)$ يكون عمودياً على المستوى المماسي لـ $M$ عند $a$.
   $$h_F(V, a) \in \text{Nor}(M, a)$$
2. المحلية: متوسط الانحناء المتباين للفاري فولد يتطابق مع متجه متوسط الانحناء المتباين للسطح $M$.
   $$h_F(V, a) = h_F(M, a)$$

النظرية 5.2 (التعامد على طبقة الكثافة الواحدة)

تحت فرضية التسطح التربيعي (تحديداً اضمحلال فائض الميل والارتفاع)، يكون متجه متوسط الانحناء عمودياً على المستوى المماسي التقريبي لجميع النقاط في طبقة الكثافة الواحدة. تنطبق هذه النظرية على الدوال المكاملة من الفئة $C^1$ لأي كوديمينشن.

النظرية 5.6 (المحلية)

إذا كان لـ $V$ تباين متباين أول محدود ويحقق شرط اضمحلال فائض ميل تربيعي، فإنه في تقاطع دعم $V$ مع سطح ملساء $M$ من الفئة $C^2$، تتطابق متجهات متوسط الانحناء.

4. الأهمية والآثار المترتبة

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

5. الحدود والقيود

يشير المؤلفون إلى أن نتيجة التعامد مقيدة حالياً بـ طبقة الكثافة الواحدة ($Q$). إن توسيع ذلك ليشمل نقاط الكثافة الأعلى في الإطار المتباين يظل صعباً لأن:

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

خاتمة

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