Uniqueness of simultaneous reconstruction of general space- and time-dependent sources and initial states in fractional diffusion equations and systems from single boundary measurements

إليك ملخص تقني مفصل للورقة البحثية بعنوان "وحدانية إعادة البناء المتزامن للمصادر العامة المعتمدة على الزمان والمكان والحالات الابتدائية في معادلات الانتشار الكسري والأنظمة من قياسات حدودية واحدة" للباحث يان جانو.

1. بيان المشكلة

تتناول الورقة فئة من المسائل العكسية المرتبطة بـ معادلات الانتشار الكسري (FDEs). وتحديداً، الهدف هو إعادة بناء كل من:

1. دالة مصدر عامة معتمدة على الزمان والمكان $f(t, x)$ (و $\chi(t, x)$ في الأنظمة المقترنة).
2. الحالة الابتدائية للنظام ($\phi(x)$ و $\psi(x)$).

القيود والشروط الرئيسية:

• نوع المعادلة: تتضمن المعادلات الحاكمة مشتقة ريمان-ليوفيل (أو كابوتو) الكسرية من الرتبة $\alpha$ ($0 < \alpha < 1$).
• سلوك المصدر: يُفترض أن دوال المصدر تتلاشى بعد زمن معين $t_0$ (أي $f(t, x) = 0$ لـ $t > t_0$). وهذا يخلق "فجوة" بين فترة المصدر النشط وفترة الرصد.
• بيانات الرصد: تعتمد عملية إعادة البناء على قياسات حدودية واحدة. وتحديداً، يتم قياس المشتقة العمودية للمتغير الحالة، $\frac{\partial u}{\partial \nu}$، على جزء من الحدود $\Gamma \subset \partial \Omega$ عبر فاصل زمني $(t_0, t_1)$.
• الافتراض الحاسم: يجب أن تكون رتبة المشتقة الكسرية $\alpha$ عددًا غير نسبي.

تدرس الورقة سيناريوهين:

• IP1 (معادلة واحدة): إعادة بناء $f(t,x)$ و $\phi(x)$ لمعادلة انتشار كسري واحدة حيث يكون حد الاقتران صفراً ($a=0$).
• IP2 (نظام مقترن): إعادة بناء مصدرين ($f, \chi$) وحالتين ابتدائيتين ($\phi, \psi$) لنظام مقترن من معادلات الانتشار الكسري، باستخدام قياس حدودي واحد فقط للمكون الأول $u$.

2. المنهجية

يستخدم المؤلف نهجاً تحليلياً متطوراً يجمع بين النظرية الطيفية، والتحليل المركب، وخصائص الحساب الكسري. تسير المنهجية الجوهرية كما يلي:

أ. التفكيك الطيفي وتحويل لابلاس

• يتم تحليل المسألة باستخدام الدوال الذاتية لمؤثر لابلاس على المجال $\Omega$. ويتم توسيع الحل في متسلسلة فوريه بالنسبة لهذه الدوال الذاتية.
• يتم تطبيق تحويل لابلاس على المعادلات في النطاق الزمني، مما يحول المعادلات التفاضلية الكسرية إلى معادلات جبرية في نطاق التردد المركب ($s$-domain).
• يُعبر عن الحل في نطاق $s$ كمتسلسلة تتضمن تحويلات لابلاس للمصادر المجهولة والحالات الابتدائية، مقسومة على مقام مميز يعتمد على القيم الذاتية والرتبة الكسرية.

ب. الامتداد التحليلي وقطع الفرع

• تستغل الورقة حقيقة أنه بالنسبة لـ $t > t_0$، يكون المصدر صفراً. وهذا يعني أن تحويلات لابلاس للمصادر هي دوال كاملة (تحليلية في كل مكان في المستوى المركب).
• يُظهر أن بيانات الرصد (التدفق الحدودي) تحليلية في قطاع محدد من المستوى المركب.
• من خلال أخذ النهاية عندما يقترب وسيط المتغير من المحور الحقيقي السالب من الأعلى والأسفل ($\theta \to \pm \pi$)، يحسب المؤلف القفزة عبر قطع الفرع (branch cut) للقوة الكسرية $s^\alpha$.

ج. حجة "الرتبة غير النسبية"

• هذا هو الجزء الأكثر ابتكاراً في المنهجية. يُعرف المؤلف متسلسلة $Q(n, z)$ تتضمن القفزة عبر قطع الفرع وعاملاً دورانياً $e^{i 2\pi n / \alpha}$.
• التمهيد 5 و 6: يعتمد الإثبات على حقيقة أنه إذا كانت $\alpha$ عدداً غير نسبي، فإن المتتالية $e^{i 2\pi n / \alpha}$ تكون كثيفة على دائرة الوحدة.
• باستخدام كثافة هذه المتتالية، يُدخل المؤلف متغيراً مستمراً إضافياً (زاوية $y$) في المتسلسلة المنفصلة. هذا يسمح بتحويل المسألة من مجموع منفصل على القيم الذاتية إلى معادلة دالية مستمرة.
• من خلال الاشتقاق بالنسبة لهذا المتغير الجديد والتقييم عند نقاط محددة، يعزل المؤلف المعاملات المقابلة لكل قيمة ذاتية.

د. الوحدانية عبر الاستقلال الخطي

• تعزل الطريقة معاملات فوريه للمجاهيل ($f_{kl}, \phi_{kl}$، إلخ) لكل نمط طيفي $k$.
• باستخدام الاستقلال الخطي للمشتقات العمودية للدوال الذاتية على الحدود $\Gamma$ (وهي نتيجة معروفة من النظرية الإهليلجية)، يثبت المؤلف أنه إذا كان قياس الحدود صفراً، فإن جميع معاملات فوريه للمجاهيل يجب أن تكون صفراً.

3. المساهمات الرئيسية

1. إعادة البناء المتزامن: على عكس العديد من الأعمال السابقة التي تفترض أن الحالة الابتدائية معروفة أو أن المصدر له شكل قابل للفصل ($g(t)f(x)$)، تثبت هذه الورقة الوحدانية لمصادر عامة معتمدة على الزمان والمكان وحالات ابتدائية مجهولة في آن واحد.
2. الأنظمة المقترنة: تمتد النتائج إلى الأنظمة المقترنة من معادلات الانتشار الكسري، حيث يتوفر فقط القياس الحدودي لأحد المكونات لإعادة بناء كلا المصدرين وكلا الحالتين الابتدائيتين.
3. متطلبات بيانات دنيا: يتم إثبات الوحدانية حتى لو كان فاصل الرصد $(t_0, t_1)$ وجزء الحدود $\Gamma$ صغيرين للغاية (بشرط أن يكون لهما قياس غير صفري).
4. دور عدم النسبية: توضح الورقة أن عدم نسبية الرتبة الكسرية $\alpha$ هي شرط كافٍ للوحدانية في هذا الإطار العام. وهذا يسلط الضين على اختلاف جوهري بين معادلات الانتشار الكلاسيكية (ذات الرتب الصحيحة) ومعادلات الانتشار الكسري، حيث غالباً ما تكون مثل هذه الوحدانية للمصادر العامة مسألة مفتوحة أو تتطلب بيانات أقوى.
5. الأول من نوعه: يزعم المؤلف أن هذه هي أول ورقة تثبت الوحدانية لتحديد دالة عامة في مجال ذي أبعاد أعلى (زمان-مكان) من بيانات في مجال ذي أبعاد أدنى (حدود-زمان) لهذه الفئة المحددة من المسائل العكسية للانتشار الكسري.

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

• النظرية 1 (المسألة المباشرة): تثبت وجود ووحدانية وانتظام الحل للمسألة الأمامية (الأنظمة المقترنة لـ FDEs) في الفضاءات الوظيفية المناسبة ($W^{\alpha, p}$). كما تثبت الامتداد التحليلي للحل في قطاع من المستوى المركب لـ $t > t_0$.
• النظرية 2 (الوحدانية لـ IP1): إذا كانت $\alpha$ عدداً غير نسبي، وكان التدفق الحدودي $\frac{\partial u}{\partial \nu}$ صفراً على $\Gamma \times (t_0, t_1)$، فإن المصدر $f \equiv 0$ والحالة الابتدائية $\phi \equiv 0$.
• النظرية 3 (الوحدانية لـ IP2): بالنسبة للنظام المقترن، إذا كانت $\alpha$ عدداً غير نسبي وكان التدفق الحدودي للمكون الأول صفراً، فإن كلا المصدرين ($f, \chi$) وكلا الحالتين الابتدائيتين ($\phi, \psi$) هما صفر بالضرورة، بشرط أن تحقق القيم الذاتية شرط عدم الرنين (الشرط 49).

5. الأهمية

• التقدم النظري: تجسر الورقة فجوة في نظرية المسائل العكسية للمعادلات التفاضلية الجزئية الكسرية. فهي تتجاوز المصادر البسيطة القابلة للفصل لتصل إلى الدوال العامة، وهي الأكثر واقعية للنمذجة الفيزيائية.
• التفسير الفيزيائي: يشير اشتراط أن تكون الرتبة $\alpha$ عدداً غير نسبي إلى أن تأثير "الذاكرة" (الاعتماد على التاريخ) في الأنظمة الفيزيائية التي تُنمذج بمعادلات FDEs (المستخدمة غالباً في الانتشار الشاذ) يوفر معلومات كافية لتحديد كل من الحالة الابتدائية ودالة التأثير بشكل فريد من بيانات حدودية محدودة.
• الابتكار المنهجي: إن تقنية استخدام كثافة $e^{i 2\pi n / \alpha}$ لإدخال متغير مستمر في متسلسلة طيفية هي أداة جديدة قوية لحل المسائل العكسية حيث قد يصعب تطبيق تقديرات كارليمان القياسية أو حيث تكون البيانات شحيحة.
• الآثار العملية: تشير النتائج إلى أنه في الإعدادات التجريبية التي تتضمن الانتشار الشاذ (مثل الأوساط المسامية، أو الأنسجة البيولوجية، أو السوائل المعقدة)، لا نحتاج بالضرورة إلى قياسات كاملة للمجال أو معرفة بالحالة الابتدائية لتحديد ديناميكيات المصدر، بشرط أن تكون الرتبة الكسرية معروفة وغير نسبية.