Reconstruction of non-self-adjoint anisotropic and complex inclusions in the Calderón problem

ملخص تقني: إعادة بناء المشتملات غير المتماثلة ذاتية الالتصاق وغير المتجانسة والمعقدة في مسألة كالديرون

بيان المسألة
يتناول هذا العمل مسألة كالديرون للمعلومات الجزئية في حالة التباين، مع التركيز بشكل خاص على إعادة بناء الشكل الخارجي للمشتملات (inclusions) داخل وسط موصل. المعادلة الحاكمة هي المعادلة التفاضلية الجزئية الإهليلجية $-\nabla \cdot (A\nabla u) = 0$ في مجال محدود $\Omega \subset \mathbb{R}^d$ ($d \ge 2$)، حيث $A$ هي مصفوفة معامل الموصلية. البيانات المتاحة هي خريطة "نيومان-إلى-ديريشليه" (ND) $\Lambda(A)$ المقيدة على مجموعة مفتوحة $\Gamma \subseteq \partial\Omega$.

التحدي الرئيسي في حالة التباين هو غياب التفرد في تحديد المعامل $A$ من $\Lambda(A)$ بسبب التماثل تحت التشاكل (diffeomorphism invariance). علاوة على ذلك، تعمم هذه الورقة النتائج السابقة لتشمل الاضطرابات غير المتماثلة ذاتياً (non-self-adjoint). يتم تفكيك المعامل إلى $A = A^R + iA^I$، حيث $A^R$ هو الجزء المتماثل ذاتياً (الحقيقي) و $iA^I$ هو الجزء الملتصق عكسياً (التخيلي). من الناحية الفيزيائية، يمثل هذا نموذجاً للموصلية المعقدة متباينة الخواص (anisotropic complex conductivity/admittivity) التي تتضمن كلاً من الموصلية الحقيقية متباينة الخواص $\sigma_\omega$ والسعة الكهربائية متباينة الخواص $\varepsilon_\omega$، وكلاهما يعتمد على التردد. الهدف هو تحديد الشكل الخارجي $D^\bullet$ للمشتمل $D = \text{supp}(A_D - A_0)$، حيث $A_0$ هو موصلية الخلفية المعروفة و $A_D$ هو المعامل المجهول.

المنهجية
يقوم المؤلفون بتوسيع طريقة الرتابة (monotonicity method)، التي تم إثباتها سابقاً للمعاملات المتماثلة ذاتياً في [5]، لتشمل الحالة غير المتماثلة ذاتياً. تعتمد المنهجية على إثبات متباينات الرتابة للأجزاء المتماثلة ذاتياً لخرائط (ND)، وهي $\Lambda_R(A) = \frac{1}{2}(\Lambda(A) + \Lambda(A)^*)$.

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

1. التفكيك والحدود: يتم تقسيم المعامل $A$ إلى جزء متماثل ذاتياً $A^R$ وجزء ملتصق عكسياً $iA^I$. يفترض التحليل وجود حدود معروفة للأجزاء المتماثلة ذاتياً ($\alpha I \le A^R \le \beta I$) وحدّاً على مقدار الجزء الملتصق عكسياً ($\|A^I\| \le \eta$).
2. متباينات الرتابة: توفر النظرية 7.1 حدوداً دنيا وعليا للفرق $\Lambda_R(A_1) - \Lambda_R(A_2)$ بدلالة الأشكال التربيعية لـ $A_1^R, A_2^R, A_1^I,$ و $A_2^I$. ومن الأهمية بمكان أنه في حالة عدم التماثل الذاتي، تحتوي هذه الحدود على حدود غير متلاشية (على سبيل المثال، $A_I (A^R)^{-1} A_I$) حتى عندما تتطابق المعاملات، مما يعقد عملية إعادة البناء.
3. المؤثرات الاختبارية (Test-Operators): تعتمد إعادة البناء على معاملات اختبارية $A^\pm_C$ يتم إنشاؤها عن طريق تعديل خلفية $A_0$ على مشتمل اختباري $C$. وقد صُممت هذه المعاملات لتحد من المشتمل المجهول $D$ من الأعلى ومن الأسفل.
4. التمركز (Localization): تعتمد البراهين على وجود جهود موضعية (النظرية 7.5)، والتي تسمح ببناء حلول تتركز طاقتها في نطاقات فرعية محددة بينما تتلاشى في أما- أخرى. ويُستخدم هذا لإثبات أنه إذا تحققت متباينات الرتابة، فإن المشتمل يجب أن يكون محتوياً داخل مجموعة الاختبار.
5. الافتراضات الهندسية: افتراض حاسم هو أن موصلية الخلفية $A_0$ هي متماثلة ذاتياً على مجموعة مفتوحة متصلة $S$ تربط بين حدود القياس $\Gamma$ وحدود الشكل الخارجي للمشتمل $\partial D^\bullet$. يسمح هذا باستخدام مبادئ الاستمرار الفريد (UCP) للجزء المتماثل ذاتياً $A_0^R$.

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

• التعميم على الاضطرابات غير المتماثلة ذاتياً: تعمم الورقة طريقة الرتابة لتسمح باضطرابات عامة من نوع $L^\infty$ غير متماثلة ذاتياً $A_D - A_0$ داخل المشتمل، بشرط أن يحقق الاضطراب شرط التحديد بالقرب من حدود المشتمل الخارجي $\partial D^\bullet$.
• إعادة البناء غير الخطي والمخطط (النظرية 3.4 و 4.1):
  • النظرية 3.4 تثبت طريقة إعادة بناء غير خطية. وتثبت أن $D \subseteq C$ إذا وفقط إذا تحققت متباينات مؤثرة معينة تشمل $\Lambda_R(A_D)$، و $\Lambda(A_0)$، والمؤثرات الاختبارية $\Lambda^\pm_C$ ومشتقاتها.
  • النظرية 4.1 تقدم نسخة خطية من هذه الطريقة، حيث تستبدل خريطة (ND) الكاملة بالمشتقات فريشيه عند موصلية الخلفية. ويُبرز هذا كونه مفيداً بشكل خاص للتنفيذ العددي كطريقة إعادة بناء في الوقت الفعلي.
• التعامل مع الجزء الملتصق عكسياً: يقدم المؤلفون حدوداً تصحيحية محددة (على سبيل المثال، $D\Lambda^+_{M\setminus C}$) لمراعاة الجزء الملتصق عكسياً من موصلية الخلفية. وتنشأ هذه الحدود من الحدود غير المتلاشية في متباينات الرتابة.
• المؤثرات الاختبارية القصوى (النظرية 6.2): في حالة كون $A_0$ متماثلاً ذاتياً والاضطراب غير متماثل ذاتياً فقط بالقرب من الحدود، تُظهر الورقة أن المؤثرات الاختبارية "القصوى" (التي تقابل مشتملات عازلة تماماً أو موصلة تماماً) تظل صالحة. هذه النتيجة (الاستنتاج 6.2) لا تتطلب حدوداً صريحة لمقدار الاضطراب المجهول، مما يحاكي النتائج الخاصة بالحالة المتماثلة ذاتياً.
• الحدود المحسنة (الملحق أ): يثبت المؤلفون متباينات رتابة منقحة (النظرية A.1) حيث تتلاشى الحدود إذا تطابقت المعاملات. ويوضحون أن المصطلحات الإضافية الناشئة عن عدم التماثل الذاتي يمكن حصرها فقط من خلال معيار الحل $u_2$. ومع ذلك، يشيرون إلى أن هذه الحدود ليست قوية بما يكفي بعد لإزالة الافتراضات الهندسية على موصلية الخلفية المطلوبة لنظريات إعادة البناء الرئيسية.

الأهمية والقيود
تدعي الورقة أنها تقدم أول توصيف عام للكشف عن المشتملات في مسألة كالديرون متباينة الخواص وغير المتماثلة ذاتياً باستخدام طريقة الرتابة. وتكمن أهميتها في:

• توسيع قدرات إعادة البناء لتشمل الأوساط المعقدة متباينة الخواص (وهو أمر ذو صلة بالتصوير الكهرومغناطيسي).
• اشتراط الاستمرار الفريد فقط للجزء المتماثل ذاتياً من موصلية الخلفية ($A_0^R$)، وهو ما يتوافق مع نتائج الاستمرار الفريد الحالية للمؤثرات المتماثلة ذاتياً، بدلاً من اشتراط الاستمرار الفريد للمؤثر الكامل غير المتماثل ذاتياً.
• تقديم نهج خطي (النظرية 4.1) مناسب للتنفيذ العددي.

يتسم المؤلفون بالتواضع فيما يتعلق بحدود منهجيتهم؛ حيث يصرحون صراحة بأن اشتراط كون $A_0$ متماثلاً ذاتياً على مجموعة تربط $\Gamma$ بـ $\partial D^\bullet$ هو نتيجة لعدم مثالية متباينات الرتابة الحالية في حالة عدم التماثل الذاتي. إن "النهج الداخلي" لطريقة الرتابة (الذي يسمح عادةً بخلفيات أكثر عمومية) محظور حالياً بسبب حدود الخطأ غير المتلاشية في المتباينات. ويترك المؤلفون تحسين هذه الحدود لمجتمع المسائل العكسية لتمكين استخدام خلفيات موصلية أكثر عمومية غير متماثلة ذاتياً.