Inverse problems for semilinear elliptic equations with low regularity

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

بيان المسألة
تتناول هذه المقالة مسائل القيم الحدية العكسية للمعادلات الإهليلجية شبه الخطية من الشكل:
$$\Delta u(x) + a(x, u(x)) = 0 \quad \text{في } \Omega,$$
حيث $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) هي نطاق محدود بحدود ملساء، و $a(x, t)$ تمثل دالة غير خطية. الهدف هو تحديد الدالة غير الخطية $a(x, t)$ من خلال قياسات حدودية. يبحث المؤلفون تحديداً فيما إذا كان يمكن استعادة $a(x, t)$ في جوار حل ثابت $w$ باستخدام مجموعة بيانات كوشي (Cauchy data set) لمجموعة من الحلول القريبة من $w$.

يتمثل التحدي الرئيسي الذي تعالجه الورقة في انتظام (regularity) الدالة غير الخطية. تطلبت النتائج السابقة، مثل تلك الموجودة في [JNS23]، أن تكون $a(x, t)$ من الفئة $C^{1,\alpha}$ في $x$ و $C^3$ في $t$. تهدف هذه الورقة إلى خفض فرضيات الانتظام هذه لتصبح $L^r$ في $x$ (مع $r > n/2$) و $C^{1,\alpha}$ في $t$، مع تبسيط البراهين الحالية في الوقت نفسه. لا تفترض الدراسة جودة التشكيل (well-posedness) للمسألة ديريكليه (Dirichlet problem) مسبقاً؛ بل تصيغ المسألة باستخدام مجموعات بيانات كوشي لاستيعاب أي عوائق محتملة.

المنهجية
يعتمد النهج على مزيج من الخطية من الدرجة الأولى، ونظريات الدوال الضمنية في فضاءات باناخ، وحجج تقريب رونج (Runge approximation). وتتوزع المنهجية كما يلي:

1. الخطية والقابلية للحل: يتم خطية المعادلة حول حل ثابت $w$، مما ينتج عنه $\Delta v + qv = 0$ حيث $q(x) = \partial_u a(x, w(x))$. وبما أن $q \in L^r(\Omega)$ مع $r > n/2$، فإن مسألة ديريكليه القياسية قد لا تكون جيدة التشكيل بسبب وجود نواة (kernel) ذات أبعاد محدودة $N_q$. يقوم المؤلفون ببناء فضاء جزئي $D_q$ من فضاء الأثر الحدودي لتعديل البيانات الحدودية، مما يضمن قابلية الحل للمعادلة الخطية (الخاصية 2.1). هذا يستبدل الحاجة إلى المشتق العمودي للدوال الذاتية المستخدمة في حالات الانتظام الأعلى.

2. خرائط الحلول:

   • الخريطة $S$: يتم إنشاء خريطة $C^1$ تسمى $S(v)$ تقوم بتمثيل الحلول $u$ للمعادلة غير الخطية بالقرب من $w$ بدلالة حلول $v$ للمعادلة الخطية. وعلى عكس الأعمال السابقة التي استخدمت حجة النقطة الثابتة لباناخ متبوعة بنظرية الدالة الضمنية، تثبت هذه الورقة وجود وسلاسة $C^1$ للخريطة $S$ عبر تطبيق واحد لنظرية الدالة الضمنية (الخاصية 3.1).
   • الخريطة $T$: لمقارنة دالتين غير خطيتين مختلفتين $a_1$ و $a_2$، يتم تعريف خريطة ثانية $T_{a_2, w_1}$. تأخذ هذه الخريطة حلاً خطياً $v$ مرتبطاً بـ $a_1$ وتنتج حلاً $u_2$ لـ $a_2$ يشترك في نفس بيانات كوشي مع الحل الناتج عن $S_{a_1, w_1}(v)$. يتطلب إثبات أن $T$ هي $C^1$ حجة استمرار فريد (unique continuation argument) وعاملاً إسقاطياً محدداً مشتقاً من معادلة من الدرجة الرابعة (الخاصية 4.1، اللمة 4.5).

3. المتطابقة التكاملية والوحدوية: من خلال افتراض احتواء مجموعات بيانات كوشي ($C_{w, \delta}^{a_1} \subseteq C_{0, C}^{a_2}$)، يستنتج المؤلفون متطابقة تكاملية تتضمن الفرق بين الجهود الخطية $\partial_u a_1$ و $\partial_u a_2$. وباستخدام اكتمال نواتج الحلول لمعادلات شرودنجر الخطية (نتائج من [Cha90; Nac92; DKS13; BTW20]) ومبادئ الاستمرار الفريد، يظهرون أن مشتقات الدوال غير الخطية يجب أن تتطابق بالقرب من الحل.

4. تقريب رونج: لتوسيع نطاق التحديد المحلي للدالة غير الخطية ليشمل جواراً كاملاً لقيم الحل، يتم استخدام حجة تقريب رونج (القسم 6). يوضح هذا أن حلول المعادلة الخطية ذات الجهود $L^r$ يمكنها تقريب أي قيمة في جوار نقطة الحل، مما يسمح باستعادة $a(x, t)$ لمجال من قيم $t$.

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

• فرضيات انتظام مخفضة: تثبت النظريات الرئيسية (النظرية 1.1 والنظرية 1.2) نتائج الوحدوية لـ $a \in L^r(\Omega, C^{1,\alpha}(\mathbb{R}))$ مع $r > n/2$. وهذا يحسن من متطلبات $C^{1,\alpha}$ في $x$ و $C^3$ في $t$ الواردة في [JNS23].
• براهين مبسطة: تقدم الورقة برهاناً مبسطاً لوجود وسلاسة خريطة الحل $S$ عبر استخدام نظرية الدالة الضمنية مباشرة، وتجنب حجج النقطة الثابتة الأكثر تعقيداً المستخدمة سابقاً.
• التعامل مع الانتظام المنخفض في الخطية: يقدم المؤلفون فضاءً جزئياً $D_q$ للتعامل مع قابلية حل المعادلة الخطية عندما يكون الجهد $q$ ينتمي فقط إلى $L^r$، متجاوزين مشكلة كون المشتقات العمودية للدوال الذاتية قد لا تنتمي إلى فضاء الأثر الطبيعي للجهود ذات الانتظام المنخفض.
• النظريات الرئيسية:
  • النظرية 1.1: إذا اشتركت دالتان غير خطيتان $a_1, a_2$ في حل مشترك $w$ وامتلكتا نفس بيانات كوشي للحلول بالقرب من $w$، فإن $a_1(x, t) = a_2(x, t)$ لقيم $t$ القريبة من $w(x)$.
  • النظرية 1.2: إذا لم تشترك $a_1$ و $a_2$ بالضرضر في حل، ولكن مجموعات بيانات كوشي الخاصة بهما بالقرب من حل $w_1$ لـ $a_1$ مرتبطة، فإن $a_1$ تتحدد حتى تحويل غاوج (gauge transformation) $T_\phi a_2(x, t) = \Delta \phi(x) + a_2(x, t + \phi(x))$، حيث تتلاشى $\phi$ عند الحدود مع مشتقتها العمودية.
• استعادة الحالة الخطية: تغطي النتائج الحالة الخطية $a(x, u) = q(x)u$، حيث يتم استعادة الجهود في $L^r(\Omega)$ لـ $r > n//2$ (و $r \geq 2$ لـ $n=2,3$). ويشير المؤلفون إلى أن هذا يغفل النقطة الحدية $r=n/2$ لـ $n \geq 3$ ونتائج محددة لـ $L^{4/3+\epsilon}$ لـ $n=2$ الموجودة في أدبيات أخرى.

الأهمية والادعاءات
تدعي الورقة أنها توفر نظائر ذات انتظام منخفض للنتائج الحديثة في [JNS23]، مما يثبت أنه يمكن تحديد الدالة غير الخطية (حتى غاوج) من القياسات الحدودية دون اشتراط نعومة عالية في المتغير المكاني $x$. ويؤكد المؤلفون أن طريقتهم تعتمد على الخطية من الدرجة الأولى وتقريب رونج، متجنبة تقنيات الخطية من درجات أعلى التي عادة ما تستعيد فقط متسلسلات تايلور عند $t=0$.

توضح الورقة أن المجموعة القابلة للوصول لهذه المسائل العكسية هي دائماً مجموعة مفتوحة، مما يعني إمكانية تحديد الدالة غير الخطية في جوار الحل. ويصرح المؤلفون صراحة بأنهم لا يدعون تحديد $a(x, t)$ عالمياً على $\Omega \times \mathbb{R}$، لأن هذا مستحيل عموماً دون فرضيات إضافية، بل في جوار مسار الحل المحدد. تُقدم النتائج كتحسينات في الانتظام وتبسيط في بنية البراهين لأطر المسائل العكسية القائمة.