Inverse problems for semilinear elliptic PDE with a general nonlinearity $a(x,u)$

ملخص تقني: المشكلات العكسية للمعادلات التفاضلية الجزئية الإهليلجية شبه الخطية ذات اللاخطية العامة

بيان المشكلة
تتناول الورقة المشكلة العكسية لاستعادة لاخطية عامة $a(x, u)$ في المعادلة الإهليلجية شبه الخطية:
$$\Delta u + a(x, u) = 0 \quad \text{في } \Omega,$$
من خلال قياسات حدودية للحلول. النطاق $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) محدود بحدود من الفئة $C^\infty$. يُفترض أن اللاخطية $a$ تنتمي إلى الفضاء $C^k(\mathbb{R}, C^{2,\alpha}(\Omega))$ حيث $k \ge 3$. البيانات المتاحة هي مجموعة بيانات كوشي (أو نسخة محلية منها)، والمعرفة بأنها مجموعة الأزواج $(u|_{\partial\Omega}, \partial_\nu u|_{\partial\Omega})$ للحلول في جوار حل ثابت $w$.

السؤال المركزي هو ما إذا كانت بيانات كوشي تحدد الدالة $a(x, z)$ بشكل فريد. يشير المؤلفون إلى أن الأدبيات السابقة قد أثبتت التفرد تحت شروط مقيدة:

1. طرق الخطية من الدرجة الأولى (مثل [Isa93]، [IS94]) تتطلب عادةً شروط إشارة مثل $a(x, 0)=0$ و $\partial_u a(x, u) \le 0$ لضمان التوجب الجيد ومبادئ الحد الأقصى.
2. طرق الخطية من درجات أعلى (مثل [FO20]، [LLLS21a]) قد أزالت شروط الإشارة ولكنها تعتمد غالباً على افتراض أن $u \equiv 0$ هو حل (أي $a(x, 0)=0$) وأن المؤثر الخطي عند الصفر هو مؤثر موجب التوجب (أي أن 0 ليس قيمة ذاتية ديريكليه). تستعيد هذه الطرق عموماً متسلسلة تايلور لـ $a$ بالنسبة لـ $u$، مما يتطلب التحليل الحقيقي لاستعادة $a$ بالكامل.

المنهجية
يطور المؤلفون إطار عمل يتجنب الافتراضات المقيدة للأعمال السابقة (تحديداً الافتراضات (1.2)–(1.3) و (1.4)–(1.5) في المقدمة). تعتمد المنهجية على ثلاث ركائز تقنية رئيسية:

1. بناء خرائط الحلول الناعمة:
   الجوهر في هذا النهج هو بناء خريطة ناعمة ترمز حلول المعادلة اللاخطية بالقرب من حل ثابت $w$ باستخدام حلول المعادلة الخطية. لتكن $q(x) = \partial_u a(x, w)$. المعادلة الخطية هي $\Delta v + qv = 0$.

• بما أن المؤثر الخطي $\Delta + q$ قد لا يكون موجب التوجب (قد يكون 0 قيمة ذاتية)، يستخدم المؤلفون نظرية فريدهولم. يقومون بتعريف مؤثر حل يتعامل مع العوائق ذات الأبعاد المحدودة (النواة $N_q$ وبيانات نيومان $\partial_\nu N_q$) عن طريق الإسقاط على المتمم المتعامد للنواة.
• باستخدام نظرية الدالة الضمنية وحجة النقطة الثابتة (التمهيدية 2.3)، يقومون ببناء خريطة $C^{k-1}$ تسمى $S_{a,w}: V_q \to W_a$، حيث $V_q$ هي فضاء حلول المعادلة الخطية و $W_a$ هي متشعب حلول المعادلة اللاخطية. هذه الخريطة تحقق $S_{a,w}(v) = w + v + O(\|v\|^2)$.

2. الاستقرار الكمي وخريطة الحل الثانية:
   لمقارنة اثنتين مختلفتين من اللاخطيات $a_1$ و $a_2$، يقوم المؤلفون ببناء خريطة حل ثانية. بالنظر إلى اشتمال مجموعات بيانات كوشي المحلية $C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$، يوضحون أنه لكل حل $u_1$ للمعادلة الأولى قريب من $w$، يوجد حل $u_2$ للمعادلة الثانية له نفس بيانات كوشي.

• من الضروري، يثبتون أن $u_2$ يعتمد بشكل ناعم على المعلمة $v$ للحل الخطي للمعادلة $a_1$. ويتحقق ذلك من خلال وضع تقديرات كمية (التمهيدية 3.3) تظهر أن حلول المعادلة شبه الخطية محددة استقرارياً من خلال بيانات كوشي الخاصة بها، وذلك باستخدام تقديرات كارليمان.
• يسمح هذا ببناء خريطة $T_{a_2, w}$ مرمزَة بنفس الحلول الخطية $v$ لـ $S_{a_1, w}$، مما يضمن اشتراك كلا الخريطتين في نفس البيانات الحدودية.

3. الخطية وحجج الكثافة:

• الدرجة الأولى: من خلال اشتقاق المعادلات لـ $u_1(v)$ و $u_2(v)$ بالنسبة للمعلمة $v$ والتكامل ضد حلول المعادلات الخطية المرافقة، يستنتج المؤلفون متطابقة تكاملية تتضمن الفرق $\partial_u a_1 - \partial_u a_2$. وباستخدام التمام (bijectivity) لخرائط الحل وتراص (density) حاصل ضرب الحلول (تقريب رونج)، يستنتجون أن المشتقات الأولى للاخطيات يجب أن تتساوى.
• الدرجات العليا: من خلال الاشتقاق $k$ من المرات، يستنتجون متطابقة مماثلة للمشتقات من الدرجة $k$، بشرط تطابق المشتقات من الرتب الأدنى.

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

• النظرية 1.1 (التفرد بالقرب من حل مشترك): إذا تشاركت اثنتان من اللاخطيات $a_1$ و $a_2$ حلاً مشتركاً $w$، وكانت مجموعات بيانات كوشي المحلية لهما تحقق شرط الاشتمال، فإن $a_1(x, w(x) + \lambda) = a_2(x, w(x) + \lambda)$ لقيم $\lambda$ الصغيرة. تسري هذه النتيجة للاخطيات العامة دون الحاجة لشروط الإشارة على $\partial_u a$ أو افتراض أن $a(x, 0)=0$.
• النظرية 1.3 (التفرد حتى التحويل القياسي/Gauge): إذا لم تتشارك $a_1$ و $a_2$ حلاً مشتركاً، فإن بيانات كوشي تحدد $a_2$ بدلالة $a_1$ حتى تحويل قياسي (gauge transformation). وتحديداً، $a_1(x, w_1(x) + \lambda) = T_\phi a_2(x, w_1(x) + \lambda)$، حيث $T_\phi a(x, u) = \Delta \phi + a(x, u + \phi)$، و $\phi = w_2 - w_1$ هو الفرق بين الحلين الفريدين للمعادلتين اللذين يمتلكان نفس البيانات الحدودية. هذا يستعيد اللاخطية بدقة حتى هذا التحويل القياسي.
• النظرية 1.4 (الخطية من درجات أعلى بدون موجب التوجب): يوضح المؤلفون أنه يمكن تطبيق الخطية من درجات أعلى حتى عندما لا يكون المعادلة الخطية عند الحل الخلفي موجبة التوجب (أي بدون افتراض أن 0 ليس قيمة ذاتية ديرليه). يظهرون أنه إذا تطابقت المشتقات من الرتب الأدنى، فإن المشتقات من الرتبة $k$ تحقق شرط تعامد بالنسبة لحاصل ضرب حلول المعادلة الخطية.

الأهمية والادعاءات
يدعي البحث تحسين النتائج الحالية عبر إزالة الحاجة لشروط الإشارة (مثل $\partial_u a \le 0$) ومتطلب أن يكون الحل الخلفي صفراً أو أن يكون المؤثر الخطي قابلاً للعكس.

• على عكس نتائج الخطية من الدرجة الأولى التي غالباً ما تستعيد فقط اللاخطية في مجموعة وصول مقيدة أو تتطلب شروط إشارة، يثبت هذا العمل التفرد (حتى التحويل القياسي) في جوار كامل لحل ثابت $w$.
• على عكس نتائج الخطية من درجات أعلى التي تستعيد عادةً فقط متسلسلة تايلور لـ $a$ عند $u=0$ (مما يتطلب التحليل الحقيقي للاستعادة الكاملة)، يستعيد هذا العمل اللاخطية $a(x, z)$ نفسها بالقرب من $z = w(x)$ دون افتراض التحليل الحقيقي.
• تعتمد الطريقة على بناء خريطة حل "جيدة" ترمز الحلول اللاخطية محلياً بالحلول الخطية، حتى في وجود عوائق طيفية (قيم ذاتية)، وذلك عبر التعامل بعناية مع النواة ذات الأبعاد المحدودة باستخدام نظرية فريدهولم.

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