Lipschitz stability for an inverse source problem of the wave equation with kinetic boundary conditions

ملخص تقني: الاستقرار ليبشيتز لمشكلة مصدر عكسي لمعادلة الموجة مع شروط حدودية حركية

بيان المشكلة
تتناول هذه الورقة مشكلة مصدر عكسي لمعادلة الموجة المعرفة على نطاق محدود $\Omega \subset \mathbb{R}^n$ مع حدود سلسة $\Gamma = \Gamma_0 \cup \Gamma_1$. يتضمن النظام شروطاً حدودية مختلطة: شرط ديريكليه على $\Gamma_0$ وشرط حدودي ديناميكي (حركي) على $\Gamma_1$. يمثل الشرط الديناميكي زخم الموجة على الحدود والتفاعل بين الكتلة والسطح، والذي يُنمذج بالمعادلة $\partial^2_t y_\Gamma - \delta \Delta_\Gamma y_\Gamma + d\partial_\nu y + q_\Gamma(x)y_\Gamma = g(x,t)$، حيث $y_\Gamma$ هو أثر الحل على الحدود، و$\Delta_\Gamma$ هو مؤثر لابلاس-بيلترامي، و$\partial_\nu$ يمثل المشتق العمودي.

الهدف الرئيسي هو إثبات استقرار ليبشيتز عالمي للتعيين المتزامن لمصطلحي القوة المجهولين، $f(x,t)$ في الكتلة و $g(x,t)$ على الحدود $\Gamma_1$، من قياس جزئي واحد لتدفق الحدود $\partial_\nu y$ على مجموعة جزئية $\gamma \subset \Gamma_0$. يُفترض أن المصادر تنتمي إلى مجموعة مقبولة $S(C_0)$ حيث تكون مشتقاتها الزمنية محدودة بقيمها الأولية.

المنهجية
تعتمد المنهجية الجوهرية على اشتقاق تقدير كارليمان عالمي حاد لمعادلة الموجة مع الشروط الحدودية الديناميكية. يستخدم المؤلفون نهجاً مطوراً يتضمن الخطوات التالية:

1. تصحيح دوال الأوزان السابقة: يحدد المؤلفون خللاً حرجاً في دالة الوزن $\zeta(x,t) = |x-x_0|^2 - \beta t^2 + C_0$ المستخدمة في العمل السابق لـ Gal و Tebou [16]. حيث تبيّن أن المتطابقة $\nabla^2_\Gamma \zeta = 2I$ المدعاة في [16] غير صحيحة للنطاقات القياسية (مثل الكرة). ولحل هذه المشكلة، قدم المؤلفون دالة وزن جديدة $\psi(x,t) = \psi_0(x) - \beta t^2 + C_1$، حيث $\psi_0(x) = \mu^2(x)$ و $\mu$ هي دالة مينكوفسكي (دالة القياس) المرتبطة بمجموعة محدبة $\Omega_1$ تقع داخل $\Omega$. يضمن هذا البناء أن $\nabla_\Gamma \psi = 0$ و $\nabla^2_\Gamma \psi = 0$ على $\Gamma_1$، مما يحقق شروط شبه التحدب اللازمة دون الاعتماد على المتطابقة الخاطئة.

2. اشتقاق تقدير كارليمان: باستخدام دالة الوزن الجديدة، يشتق المؤلفون تقدير كارليمان (المبرهنة 3.1) لنظام الموجة. ويتمثل الإنجاز التقني الرئيسي في القدرة على إبقاء الحد المتعلق بالمشتق المماسي $|\nabla_\Gamma y_\Gamma|^2$ في الطرف الأيسر من المتراجنة، بشرط تحقق الشرط $\delta > d$. ويتحقق ذلك من خلال الاختيار الدقيق للمعامل $\beta$ والاستفادة من خصائص دالة الوزن الجديدة، مما يتجنب الحاجة إلى دوال القطع (cut-off functions) في الزمن التي كانت مطلوبة سابقاً.

3. إثبات الاستقرار: يتم حل المشكلة العكسية عبر تمديد حجة حديثة (تتجنب دوال القطع) لتناسب إعداد الحدود الديناميكية. ومن خلال اشتقاق النظام بالنسبة للزمن وتطبيق تقدير كارليمان المستمد على الحل المشتق زمنياً، يربط المؤلفون بين معايير $L^2$ للمصادر وبين ملاحظة المشتق الزمني لتدفق الحدود $\partial_t \partial_\nu y$.

4. تطبيق القابلية للتحكم: كتطبيق ثانوي، يُستخدم تقدير كارليمان المستقر عبر حجة ثنائية قياسية لإثبات القابلية للتحكم الحدودي الدقيق للنظام مع تحكم يعمل فقط على جزء ديريكليه $\gamma \subset \Gamma_0$.

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

• المبرهنة 3.1 (تقدير كارليمان): تثبت الورقة تقدير كارليمان عالمي لمعادلة الموجة مع الشروط الحدودية الديناميكية. يصحح هذا التقدير ويحسن النتيجة في [16] باستخدام دالة وزن صالحة تضمن شبه التحدب على الحدود. ومن الأهمية بمكان أنه تحت الشرط $\delta > d$، يقوم التقدير باستيعاب حد المشتق المماسي $|\nabla_\Gamma y_\Gamma|^2$ في الطرف الأيسر، مما يوفر متراجنة أكثر حدة.
• المبرهنة 4.1 (استقرار ليبشيتز): بالنسبة لزمن $T$ أكبر من زمن أدنى محدد $T^*$ (يعتمد على الهندسة وسرعات الموجة)، ومع افتراض $\delta > d$، يثبت المؤلفون تقدير استقرار ليبشيتز عالمي:
  $$\|f\|_{L^2} + \|g\|_{L^2} \leq C \|\partial_t \partial_\nu y\|_{L^2(\gamma \times (0,T))}$$
  تضمن هذه النتيجة الاستعادة الفريدة والمستقرة للمصادر من قياس حدودي واحد.
• المبرهنة 5.5 (التحكم الدقيق): يُظهر النظام قابلية التحكم الدقيق في زمن $T > 2T^*$ باستخدام قوة تحكم واحدة تعمل على جزء ديريكليه $\gamma$. وهذا يحسن النتائج السابقة التي كانت تتطلب قوتي تحكم.

الأهمية والادعاءات
يدعي المؤلفون أن هذا العمل يقدم أول نتيجة استقرار ليبشيتز عالمية لمشكلة زائديّة (hyperbolic) ذات شروط حدودية ديناميكية/ديريكليه عامة. وتكمن أهمية العمل في:

1. التصحيح الصارم: تصحح الورقة خطأً جوهرياً في تحليل دالة الوزن في العمل الرائد لـ Gal و Tebou [16]، والذي اعتمد على هوية هسيان (Hessian identity) خاطئة للحدود.
2. الحدة: تقدير كارليمان المستمد هو "حاد" بمعنى أنه يضع حدود المشتق المماسي في الطرف الأيسر (تحت الشرط $\delta > d$)، بينما وضعت التقديرات السابقة هذه الحدود في الطرف الأيمن أو تطلبت افتراضات إضافية.
3. التقدم المنهجي: توضح الورقة كيف يمكن بنجاح تكييف دالة وزن مختلفة، كانت تُستخدم أصلاً لمعادلات شرودنجر، لتُطبق على معادلات الموجة مع الشروط الحدودية الديناميكية، متجاوزةً الصعوبات المتعلقة بالاقتران بين ديناميكيات الكتلة والسطح.
4. المثالية: يُلاحظ أن نتيجة التحكم هي مثالية لأنها تحقق التحكم الدقيق باستخدام تحكم واحد على جزء ديريكليه، على عكس الأعمال السابقة التي استخدمت تحكمين.

تختتم الورقة بتحديد المشكلات المفتوحة، وتحديداً حالة $\delta \leq d$ (حيث يفشل تقدير كارليمان الحالي في استيعاب بعض الحدود) وتوسيع هذه النتائج لتشمل حالة فرض الشروط الحدودية الديناميكية على كامل الحدود $\Gamma$.