A note on several inverse problems with generally random coefficients

ملخص تقني: ملاحظة حول عدة مسائل عكسية ذات معاملات عشوائية عامة

بيان المشكلة
تبحث هذه الورقة في المسائل العكسية للمعادلات الإهليلجية ذات المعاملات العشوائية، مع التركيز بشكل خاص على معادلة شرودنغر $(-\Delta + q)u = 0$ في نطاق محدود $\Omega \subset \mathbb{R}^n$. الاستقصاء المركزي هو ما هي المعلومات التي يمكن استردادها عن الجهد العشوائي $q(\omega, x)$ من خلال ملخصات إحصائية مختلفة للبيانات الحدية أو الداخلية. يُفترض أن العشوائية هي "عشوائية عامة"، مما يعني عدم فرض أي بنية احتمالية خاصة (مثل التوزيع الطبيعي، أو الصغر الاضطرابي، أو التماثل الميكرولوكالي، أو الدعم على الاشتمالات).

تقارن الدراسة إمكانية استرداد قانون (قانون التوزيع) للجهد من أربعة أنواع متميزة من البيانات:

1. القانون الاحتمالي الكامل لخريطة ديريكليه-إلى-نيومان (DN) $\text{Law}(\Lambda_q)$.
2. التوقع الرياضي لخريطة ديريكليه-إلى-نيومان $\mathbb{E}\Lambda_q$.
3. عدد منتهٍ من العزوم المشتركة للشكل الثنائي الخطي الحدّي $\langle \Lambda_q f, g \rangle$.
4. مؤثر غرين الداخلي المتوسط $\mathbb{E}G_q$، حيث $G_q = (-\Delta_D + q)^{-1}$.

المنهجية
تستخدم الورقة مزيجاً من البناءات الشعاعية الصريحة، وحساب الرموز للمؤثرات التفاضلية الزائدية، والحجج القائمة على نظرية القياس.

• المثال المضاد الشعاعي: لإثبات حدود البيانات الحدية، يبني المؤلف مثالاً مضاداً صريحاً لجهد شعاعي، غير سالب، وناعم في كرة الوحدة في $\mathbb{R}^3$. ومن خلال تحليل القيم الذاتية لخريطة ديريكليه-إلى-نيومان في قاعدة التوافقات الكروية، تحدد الورقة اعتماداً تآلفياً على مربع المعلمة $N$ (حيث يتم تعريف الجهد عبر $Q_N$). يسمح هذا ببناء جهود متميزة $q_1, q_2$ وجهد حتمي $q$ بحيث تكون $\Lambda_q = \frac{1}{2}\Lambda_{q_1} + \frac{1}{2}\Lambda_{q_2}$.
• تسلسلات العزوم: باستخدام خصائص مصفوفات فاندرموند، تبني الورقة جهوداً عشوائية تأخذ قيماً محدودة بحيث تتطابق عزومها المشتركة لخريطة ديريكليه-إلى-نيومان حتى رتبة $M$ ثابتة، ومع ذلك تختلف متوسطات جهودها.
• التحليل الرمزي: بالنسبة للبيانات الداخلية، تستخدم الورقة الرمز الداخلي الكامل لمؤثر غرين. ومن خلال حساب متوسط توسيع الباراميتريز (parametrix expansion) للمحلل $(-\Delta + q)^{-1}$، يعزل المؤلف الحدود في توسيع الرمز التي تقابل العزوم النقطية للجهد ومشتقاته.
• رفع الوحدانية الحتمية: تطبق الورقة نظرية لوسين-سوسلينن لإظهار أنه إذا كانت المسألة العكسية الحتمية حقانية (injective) على فئة بوريل، فإن القانون المشترك لمدخلات خريطة ديريكليه-إلى-نيومان (بالنسبة لتسلسل كثيف من الدوال الحدية) يحدد بشكل فريد قانون المعامل العشوائي.

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

1. العائق أمام الخرائط الحدية المتوسطة:
   النتيجة السلبية الأساسية هي أن متوسط خريطة ديريكليه-إلى-نيومان $\mathbb{E}\Lambda_q$ لا يحدد متوسط الجهد $\mathbb{E}q$. تبني الورقة جهداً عشوائياً ثنائي القيم $Q$ وجهداً حتمياً $q^*$ بحيث يكون $\mathbb{E}\Lambda_Q = \Lambda_{q^*}$، ولكن $q^* \neq \mathbb{E}Q$. يمتد هذا العائق إلى أي تسلسل هرمي منتهي من العزوم المشتركة؛ فمعرفة جميع عزوم $\langle \Lambda_q f, g \rangle$ حتى الرتبة $M$ غير كافية لتحديد $\mathbb{E}q$. يشير هذا إلى أن المتوسط والحذف المعتمد على العزوم المحدودة يتسببان في فقدان للمعلومات ليس مجرد فشل في الوحدانية الحتمية.

2. الاسترداد من القانون الكامل:
   على النقييد من نتائج العزوم، تثبت الورقة أنه إذا عُرف القانون المشترك الكامل لخريطة ديريكليه-إلى-نيومان (تحديداً القانون المشترك لعدد كافٍ من مدخلات المصفوفة $\langle \Lambda_q f_i, f_j \rangle$)، فإن قانون الجهد العشوائي يتحدد بشكل فريد، بشرط أن تكون المسألة العكسية الحتمية الأساسية حقانية. ترفع هذه النتيجة نظريات الوحدانية الحتمية الكلاسيكية (مثل سيلفستر-أولمان لـ $n \ge 3$) مباشرة إلى السياق الاحتمالي دون اشتراط وجود بنيات إحصائية محددة للضجيج.

3. الاسترداد من مؤثرات غرين المتوسطة:
   توضح الورقة أن مؤثر غرين الداخلي المتوسط $\mathbb{E}G_q$ يحتوي على معلومات محلية أكبر بكثير من خريطة الحدود المتوسطة:

• العزوم النقطية: يحدد الرمز الداخلي الكامل لـ $\mathbb{E}G_q$ كل من المتوسط النقطي $\mathbb{E}q$ والتباين $\text{Var}(q)$ للجهد.
• صلابة الذرتين (Two-Atom Rigidity): بالنسبة لجهد عشوائي ذي قيمتين، يحدد مؤثر غرين الداخلي المتوسط جميع العزوم النقطية لقانون النقطتين. وهذا يعني أن الخريطة من الجهد إلى مؤثر غرين المتوسط هي خريطة حقانية لتوزيعات الذرتين، على عكس خريطة الحدود.
• النماذج محدودة الأبعاد: إذا كان الجهد العشوائي على شكل $q(x) = q_0(x) + \sum X_j V_j(x)$ مع ملفات تعريف $V_j$ معلومة ومتجه عشوائي $X$ ذي دعم متراص، فإن مؤثر غرين الداخلي المتوسط يحدد جميع العزوم المختلطة لـ $X$، وبالتالي القانون الكامل لـ $X$، تحت شرط عدم الانحلال على ملفات التعريف.

4. نظائر الموصلية:
   توسع الملاحق هذه النتائج لتشمل معادلة الموصلية $\nabla \cdot (\gamma \nabla u) = 0$. توجد أمثلة مضادة مماثلة لخريطة نيومان-إلى-ديريكليه المتوقعة. ومع ذلك، بالنسبة لمؤثر غرين الموصلية المتوسط، يحدد الرمز الرئيسي $\mathbb{E}(\gamma^{-1})$، بينما يحدد الترتيب التالي مصفوفة تباين موزونة تتضمن تدرجات لوغاريتمية لـ $\gamma^{-1}$.

الأهمية والادعاءات
تدعي الورقة أنها توضح الاختلافات الجوهرية بين المسائل العكسية الحدية والداخلية في وجود عشوائية عامة.

• الحد مقابل الداخل: تبرز النتائج تمييزاً حاداً: البيانات الحدية (حتى مع المعرفة الإحصائية الكاملة) تعاني من عدم الوحدانية عند المتوسط أو الحذف، بينما البيانات المصدرية-إلى-الحل الداخلية (مؤثر غرين) تحتفظ بمعلومات العزم المحلي التي تسمح باسترداد المتوسط والتباين، وفي حالات معينة، القانون الكامل.
• توصيف المدى: تُفسر الأمثلة المضادة لخريطة ديريكليه-إلى-نيومان ليس فقط كعوائق احتمالية، بل كعبارات هندسية حول مدى الخريطة غير الخطية $q \mapsto \Lambda_q$. وتحديداً، يحتوي المدى على تركيبات تآلفية غير تافهة لخرائط حتمية لا تقابل التركيبات التآلفية للجهود.
• التباين مع الأدبيات الموجودة: يميز هذا العمل نفسه عن أدبيات التشتت العكسي (مثل لساس، بايفارينتا، ساكسمان؛ كارو، هيلين، لساس) التي تفترض عادةً حقول ميكرولوكالية متماثلة وتوزيعات طبيعية وتسترد الرمز الرئيسي لمؤثر التباين. تعالج هذه الورقة استرداد المتوسط النقطي والقانون الكامل دون افتراض هذه البنيات المحددة، وتظهر أن هذا الاسترداد مستحيل من عزوم الحدود ولكنه ممكن من متوسطات الداخل.

تخلص الورقة إلى أنه بينما يكون القانون الكامل لخريطة ديريكليه-إلى-نيومان كافياً نظرياً للاسترداد (بشرط الوحدانية الحتمية)، فإن البيانات الإحصائية الجزئية أو المقتطعة (التوقعات، العزوم المحدودة) غير كافية لمسائل الحدود، لكنها كافية للمسائل الداخلية تحت الشروط الموصوفة.