Regularized Subjective-Surface Flow with Monotone Reaction: Viscosity Well-Posedness and Convergence

ملخص تقني: تدفق السطح الذاتي المنظم مع التفاعل الرتيب

بيان المشكلة
يتناول هذا العمل التحليل الرياضي لنموذج السطح الذاتي المنظم المستخدم في تجزئة نوى الخلايا المتلامسة والمنقسمة في صور المجهر. يتم تعريف النموذج على نطاق محدود سلس $\Omega \subset \mathbb{R}^d$ ($d \ge 2$) ويتضمن معاملات حواف تعتمد على الصورة وأوزان تفاعل محددة مسبقاً. المعادلة الحاكمة للنموذج المنظم بالمعاملات $\varepsilon, \nu > 0$ هي:
$$\partial_t u_{\varepsilon,\nu} = \nu \Delta u_{\varepsilon,\nu} + A_\varepsilon(\nabla u_{\varepsilon,\nu}) \text{div} \left( \frac{G(x) \nabla u_{\varepsilon,\nu}}{A_\varepsilon(\nabla u_{\varepsilon,\nu})} \right) - \mu R_\eta(x, u_{\varepsilon,\nu})$$
حيث $A_\varepsilon(p) = p / \sqrt{\varepsilon^2 + |p|^2}$ و $R_\eta$ هو حد تفاعل رتيب مشتق من بيانات الصورة المعتمدة على العتبة. تركز الدراسة على حد التنظيم المتلاشي عندما $(\varepsilon, \nu) \to (0, 0)$.

ينشأ التحدي الرياضي الرئيسي عند النقاط التي يتلاشى فيها التدرج المكاني $\nabla u$. يكون المؤثر الهندسي المحدود، والذي يمثل تدفق متوسط الانحناء لمستوى الطقم بوزن معين، غير معرف عند التدرجات الصفرية. تتطلب نظرية الحلول اللزوجية القياسية تعريف المؤثر عبر امتدادات شبه مستمرة علوية وسفلية (الحدود الاتجاهية الهندسية). ومع ذلك، فإن الحدود المباشلة للمؤثرات المنظمة مع $(\varepsilon, \nu) \to (0, 0)$ لا تتطابق عموماً مع هذه الحدود الهندسية. وبناءً على ذلك، تفشل نظريات الاستقرار القياسية للمؤثرات المنفصلة في تحديد المعادلة المحدودة بشكل فريد، مما يستلزم تحليلاً دقيقاً لضمان تقارب النموذج المنظم إلى التدفق الهندسي المقصود.

المنهجية
يستخدم البحث نظرية الحلول اللزوجية للمعادلات البارابولية (اللاخطية بالكامل). تمر المنهجية عبر عدة خطوات رئيسية:

1. صياغة المشكلة المحدودة: يتم صياغة المعادلة المحدودة كمسألة لزوجية ديريكليه (Dirichlet). يتم تعريف المؤثر الهندسي $K(x, p, X)$ لـ $p \neq 0$، ويتم توصيف سلوكه عند $p=0$ عبر امتدادات شبه مستمرة سفلية وعلوية محددة ($L_{geo,*}$ و $L^*_{geo}$) مشتقة من نظرية تدفق متوسط الانحناء لمستوى الطقم.
2. تحليل الحدود المنظمة: يقوم المؤلف بحساب الحدود المباشرة العليا والسفلية للمؤثرات المنظمة $L_{\varepsilon,\nu}$ عندما $(\varepsilon, \nu, p) \to (0, 0, 0)$ بشكل صريح. ويوضح أن هذه الحدود المباشرة ($J_*$ و $J^*$) تختلف عن الامتدادات الهندسية عندما تكون مصفوفة هسي (Hessian) محددة، مما يثبت أن تقارب المؤثرات القياسي غير كافٍ.
3. صياغة التلاشي في التدرج: لسد الفجوة بين الصياغتين المنظمة والهندسية، يقدم البحث صياغة مكافئة "للتلاشي في التدرج". تعامل هذه الصياغة النقاط التي يكون فيها $\nabla u = 0$ و $D^2 u = 0$ بشكل منفصل، مع فرض شرط بأن المشتق الزمني يجب أن يحقق حد التفاعل وحده. تثبت المبرهنة 3.7 التكافؤ بين هذه الصياغة وصياغة اللزوجة الهندسية القياسية.
4. إثبات الوجود والوحدانية عبر النقطة الثابتة والمقارنة:
   • مبادئ المقارنة: تثبت المبرهنتان 5.2 و 5.3 مبادئ المقارنة لكل من المعادلة الهندسية (مع التفاعل الرتيب) والمعادلات المنظمة. وتعتمد هذه المبادئ على رتابة حد التفاعل $R_\eta$ والخصائص البنيوية لمؤثرات الانحناء.
   • بناء بيرون (Perron Construction): باستخدام مبادئ المقارنة والحلول تحت-الحلول والحلول فوق-الحلول الصارمة المستمدة من تقديرات المسافة من الحدود (Lemma 5.9) وتقديرات الزمن الأولي (Lemma 5.10)، يطبق المؤلف طريقة بيرون (Lemma 5.8) لإثبات وجود حل لزوجي مستمر وحيد.
   • التطبيق الانكماشي: يتم التعامل مع حد التفاعل عبر حجة تطبيق انكماشي في معيار "سوبريم" موزون (Lemma 7.1)، مما يضمن الوجود العالمي الجيد وعدم التوسع في الاعتماد على البيانات الأولية.
5. تحليل التقارب: يتم إثبات تقارب الحلول المنظمة $u_{\varepsilon,\nu}$ إلى الحل اللزوجي الفريد $u$ باستخدام حجة الاستقرار (Lemma 6.12) التي تفصل المؤثر الرئيسي عن حد التفاعل غير المتجانس. يسمح هذا للمؤلف بالتعامل مع التباين في حدود التدرج الصفري من خلال إظهار أن الحلول المنظمة تحقق صياغة التلاشي في التدرج، والتي تكافئ الصياغة الهندسية.

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

• الوجود العالمي الجيد: بموجب الافتراض 3.1 (حدود سلسة، ذات انحناء متوسط موجب تماماً؛ معامل حافة سلس وموجب $G$؛ وزن تفاعل سلس وغير سالب $\Lambda$؛ بيانات أولية متوافقة)، تقبل المعادلة الهندسية الموزونة المحدودة حلاً لزوجياً مستمراً فريداً عالمياً (Theorem 3.5).
• الحفاظ على الحدود: يحافظ الحل على الفترة $[0, 1]$، وهو أمر بالغ الأهمية لتفسير $u$ كدالة تجزئة معيارية حيث يكون الحد هو مستوى الطقم $\{u=0.5\}$.
• الاستقرار غير المتوسع: يعتمد الحل بشكل غير متوسع على البيانات الأولية في معيار $L^\infty$، مما يضمن أن الاضطرابات في التجزئة الأولية لا يتم تضخيمها.
• اختيار التدرج الصفري: يحدد البحث أن الحدود المباشرة للمؤثرات المنظمة عند التدرج الصفري لا تختار المؤثر الهندسي المقصود (Proposition 3.6). ويثبت أن الحد الهندسي الصحيح لا يتم استعادته إلا من خلال صياغة التلاشي في التدرج المحددة (Proposition 3.7).
• التقارب المنتظم: لأي متتالية $(\varepsilon_n, \nu_n) \to (0, 0)$، تتقارب الحلول المنظمة $u_{\varepsilon,\nu}$ بانتظام إلى الحل اللزوجي الوحيد على $[0, T] \times \Omega$ لكل $T > 0$ (Theorem 3.8). ومن الأهمية بمكان أن هذا التقارب مستقل عن المعدلات النسبية لتلاشي $\varepsilon$ و $\nu$.
• الاستمرارية عند الحدود: تحت افتراض أن الحدود ذات انحناء متوسط موجب تماماً وأن البيانات الأولية تتلاشى عند الحدود، يمتد الحل اللزوجي باستمرار إلى الحدود ويحقق بيانات ديريكليه المتجانسة.

الأهمية والادعاءات
يزعم البحث تقديم أساس تحليلي صارم لنموذج السطح الذاتي المنظم المستخدم في تجزئة الصور ثلاثية الأبعاد وثلاثية الأبعاد مع الزمن. وبشكل محدد:

• يعالج الغموض في حد التنظيم المتلاشي من خلال إثبات أن النموذج المنظم يتقارب إلى تدفق متوسط الانحناء الهندسي المقصود، رغم عدم التطابق في الحدود المباشرة للمؤثرات عند التدرجات الصفرية.
• يثبت أن النموذج جيد التكوين (well-posed) بمعناه اللزوجي، مما يضمن الوجود، والوحدانية، والاستقرار.
• يؤكد أن الحفاظ على الفترة $[0, 1]$ والاستقرار غير المتوسع ينطبقان على المعادلة الهندسية المحدودة، مما يؤكد صلاحية النموذج للتجزئة الآلية أو شبه الآلية حيث يتم تعريف حدود الكائن بواسطة مستوى طقم محدد.
• تظل النتائج صالحة لأي أبعاد $d \ge 2$ وهي مستقلة عن المسار المحدد الذي تسلكه معاملات التنظيم نحو الصفر، مما يضمن المتانة في التنفيذات العددية حيث قد يتلاشى $\varepsilon$ و $\nu$ بمعدلات مختلفة.

يكمل هذا العمل ورقة مصاحبة [9] حللت النموذج للمعاملات الموجبة الثابتة على المستوى الكلاسيكي. ومعاً، يوفران إطاراً نظرياً كاملاً لتطبيق هذا النموذج في التجزئة البيولوجية للصور.