Full flexibility of isometric immersions of metrics with low Hölder regularity in Poznyak theorem's dimension

ملخص تقني: المرونة الكاملة للغمر المتساوي القياس للمتريات ذات الانتظام الهولدر المنخفض في بُعد نظرية بوزنياك

بيان المشكلة
تتناول الورقة مشكلة الغمر المتساوي القياس (isometric immersions) للمتريات ريمانية ثنائية الأبعاد $g$ في الفضاء الإقليدي $\mathbb{R}^4$. وتحديداً، تبحث في مرونة النظام $(\nabla u)^T \nabla u = g$ للمتريات ذات الانتظام المنخفض، وتحديداً $g \in C^{r,\beta}$ حيث $0 < r + \beta \le 2$.

بينما تثبت النتائج الكلاسيكية (ناش، بوزنياك) وجود غمر متساوي القياس سلس للمتريات السلسة، فإن انتظام هذه الغمرات غالباً ما يكون مقيداً بصلابة النظام. بالنسبة للرتبة الكوديمنزية (codimension) $k=1$ (الغمر في $\mathbb{R}^3$)، تُظهر نتائج الصلابة من بوريسوف وآخرين أن الغمرات المتساوية القياس من فئة $C^{1,\alpha}$ لمتريات $C^2$ تكون صلبة إذا كان $\alpha > 2/3$، بينما تقتصر المرونة (القدرة على تقريب أي غمر قصير) على $\alpha < 1/3$. وفي الرتب الكوديمنزية الأعلى، تتحسن المرونة، لكن النتائج السابقة في $\mathbb{R}^8$ أو الأبعاد العامة تطلبت أبعاداً مستهدفة أكبر بكثير لتحقيق المرونة الكاملة (انتظام يقترب من $C^{1,1}$).

السؤال المركزي هو ما إذا كانت ظاهرة "المرونة الكاملة" — حيث يمكن تقريب أي غمر قصير بواسطة غمر متساوي القياس ذي انتظام قريب جداً من $C^{1,1}$ — تتحقق في البعد الأدنى $n=4$ (البعد المستهدف لنظرية بوزنياك للمتريات السلسة) للمتريات ذات الانتظام المنخفض.

المنهجية
يستخدم المؤلف تقنية التكامل المحدب (convex integration)، وتحديداً مخطط تكرار ناش-كويبر (Nash-Kuiper iteration scheme) المطوّر. يتم هيكلة البرهان حول بناء "مرحلة" (Stage) تعمل على تقليل العيب (defect) $D(g, u) = g - (\nabla u)^T \nabla u$ بشكل تكراري مع التحكم في نمو المشتقات من الرتب العليا.

المكونات التقنية الرئيسية تشمل:

1. تفكيك العيب (Defect Decomposition): يتم تفكيك العيب إلى مصفوفات أولية من الرتبة الواحدة (rank-one primitive matrices) باستخدام تقسيم الوحدة ومتجهات وحدة محددة ($\eta_1, \eta_2, \eta_3$).
2. التجعيد ثلاثي الخطوات (Three-Step Corrugation): بخلاف البناءات السابقة التي قد تستخدم خطوة واحدة أو لولبات ناش، يستخدم البرهان عملية تجعيد ثلاثية الخطوات ضمن "مرحلة" واحدة لإزالة مكونات العيب.
   • الخطوة 1 (لولب ناش): يستخدم اتجاهين عموديين للتعامل مع مكونات محددة.
   • الخطوة 2 و3 (تجعيد كويبر): يستخدم فرضية كويبر (التي تتضمن اضطرابات عمودية ومماسية معاً) لإلغاء عيوب الرتبة الواحدة. تم تكييف البناء مع الإطار غير الخطي تماماً للغمر المتساوي القياس، بالاستناد إلى رؤى من نظام مونج-أمبر (Monge-Ampère).
3. تقنية تكرار كالين (Källén Iteration Technique): ابتكار جوهري يتمثل في تطبيق تقنية تكرار كالين (المستمدة أصلاً من [31]) لإلغاء الجزء غير التذبذبي من حدود الخطأ (تحديداً الحدود $\frac{1}{\lambda^2}\nabla a \otimes \nabla a$) التي تنشأ من التجعيد. هذا يسمح بإلغاء عيوب الرتب العليا بشكل متزامن.
4. تدرج التردد والمعامل (Frequency and Parameter Progression): يحدد البرهان تدرجاً محدداً للترددات ($\mu_k, \lambda, \kappa$) ومقادث العيوب ($\delta_k$). ومن خلال ضبط نسبة "الانفجار" (blow-up) في المشتقات الثانية ($J$) إلى معدل "الاضمحلال" (decay) في العيب ($S$) بعناية، يضمن المؤلف إمكانية جعل النسبة $J/S$ صغيرة جداً.
5. انتشار الإطار العمودي (Normal Frame Propagation): يتضمن جزء كبير من العمل التقني إثبات وجود وانتشار أطر عمودية متعامدة ($E^1_u, E^2_u$) لتسلسل الغمرات، مما يضمن الاتساق الهندسي للبناء في $\mathbb{R}^4$.

المساهمات الرئيسية

• البعد الأمثل للمرونة: تثبت الورقة أن المرونة الكاملة قابلة للتحقيق في $\mathbb{R}^4$ للمتريات ثنائية الأبعاد. وهذا يطابق البعد المطلوب لوجود الغمرات السلسة (نظرية بوزنياك)، ولكنه يمدد النتيجة إلى نظام الانتظام المنخفض.
• عتبة الانتظام: بالنسبة لمتري $g \in C^{r,\beta}$ حيث $r+\beta \le 2$، يبني المؤلف غمراً متساوي القياس $\bar{u} \in C^{1,\alpha}$ لأي $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$.
  • والأهم من ذلك، بالنسبة لمتريات $C^2$ ($r+\beta=2$)، ينتج عن ذلك غمرات ذات انتظام $C^{1,1-\epsilon}$ (قريبة جداً من $C^{1,1}$).
• التباين مع الصلابة: تُظهر النتيجة أن الصلابة الملحوظة في $\mathbb{R}^3$ (حيث تقتصر المرونة على $\alpha < 1/3$ وتتحقق الصلابة عند $\alpha > 2/3$) تختفي تماماً في $\mathbb{R}^4$.
• التركيب التقني: يدمج العمل بين تقنيات نظام مونج-أمبر (تحديداً نقل العيب والتحلل التذبذبي) وتقنية تكرار كالين للتعامل مع نظام الغمر المتساوي القياس غير الخطي تماماً في رتبة كوديمنزية أقل مما كان ممكناً سابقاً.

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

• النظرية 1.1 (النظرية الرئيسية): ليكن $g \in C^{r,\beta}(\bar{\omega}, \mathbb{R}^{2\times 2}_{sym,>})$ مترياً ريمانياً على نطاق بسيط $\omega \subset \mathbb{R}^2$ مع $0 < r+\beta \le 2$. لأي غمر قصير $u \in C^1(\bar{\omega}, \mathbb{R}^4)$ ولأي $\epsilon > 0$، يوجد غمر متساوي القياس $\bar{u} \in C^{1,\alpha}(\bar{\omega}, \mathbb{R}^4)$ مع $\alpha < \min\left(\frac{r+\beta}{2}, 1\right)$ بحيث $\|\bar{u} - u\|_0 \le \epsilon$.
• النظرية 1.2 (بناء المرحلة): تثبت الخطوة الاستقرائية حيث يتم تعديل غمر قصير لتقليل العيب بمقدار $\sigma^{-N}$ مع التحكم في نمو المشتقات الثانية، محققة معدل اضمحلال $S$ ومعدل انفجار $J$ بحيث $J/S \to 0$ عندما $N, K \to \infty$.
• النظرية 1.3 (تكرار ناش-كويبر): تثبت تقارب المخطط التكراري إلى غمر متساوي القياس من فئة $C^{1,\alpha}$ بناءً على التقديرات المقدمة من بناء المرحلة.

الأهمية
تزعم الورقة أنه بالنسبة للمتريات ثنائية الأبعاد، فإن "الصلابة" للغمرات المتساوية القياس تختفي تماماً في $\mathbb{R}^4$. وتكمكن أهمية هذه النتيجة في:

1. سد الفجوة بين البعد المطلوب لـ وجود الغمرات السلسة (نظرية بوزنياك، $n=4$) والبعد المطلوب لـ مرونة الغمرات ذات الانتظام المنخفض. سابقاً، كانت المرونة الكاملة ($C^{1,1-\epsilon}$) معروفة فقط في أبعاد أعلى (على سبيل المثال، $n=8$ أو $n$ عام).
2. إثبات أن عتبة الانتظام الحرجة للصلابة في $\mathbb{R}^3$ (حاجز $2/3$) هي نتيجة لانخفاض الرتبة الكوديمنزية، وأن زيادة الرتبة الكوديمنزية بمقدار بُعد واحد فقط ($n=4$) كافٍ لاستعادة المرونة الكاملة حتى حد انتظام المتري.
3. توفير إطار موحد لنظام مونج-أمبر ونظام الغمر المتساوي القياس، مما يوضح إمكانية تكييف التقنيات المطورة للأول مع الثاني لحل الأخير في الأبعاد المثلى.

يشير المؤلف إلى أن النتيجة تسري على أي بعد مستهدف $n \ge 4$، ولكن التركيز على $n=4$ مدفوع بكونه البعد الأدنى للوجود العام للغمرات السلسة للمتعددات (manifolds) ثنائية الأبعاد.