Sharp bounds for non-trace class noise and applications to SPDEs

ملخص تقني: حدود حادة للضوضاء غير من فئة الأثر وتطبيقاتها على المعادلات التفاضلية الجزئية العشوائية (SPDEs)

بيان المشكلة
يتناول البحث تقارب وانتظام السلاسل الغاوسية من الشكل $g \sum_{n \ge 1} \gamma_n \mu_n f_n$ في سياق المعادلات التفاضلية الجزئية العشوائية (SPDEs) المدفوعة بضوضاء مكانية-زمانية ملونة وغير من فئة الأثر (non-trace class). هنا، $(\gamma_n)$ هي متغيرات غاوسية معيارية مستقلة، و $g$ هو معامل مكاني في $L^\eta(O)$، و $(\mu_n)$ هو تسلسل من القيم القياسية التي تمثل "تلوين" الضوضاء، و $(f_n)$ هو نظام متعامد في $L^2(O)$.

غالبًا ما تقتصر الأدبيات الحالية على تحليل حالتين متطرفتين: ضوضاء من فئة الأثر (حيث $\sum \mu_n^2 \|f_n\|_{L^\infty}^2 < \infty$) أو الضوضاء البيضاء المكانية-الزمانية (حيث $\mu_n \equiv 1$). أما النظام المتوسط، حيث تكون الضوضاء غير من فئة الأثر ولكنها أكثر انتظامًا من الضوضاء البيضاء، فيطرح تحديات عديدة. وقد اعتمدت النتائج السابقة في هذا النظام المتوسط غالبًا على افتراضات مقيدة، مثل اشتراط أن يكون النظام المتعامد $(f_n)$ دالات ذاتية للمؤثر التفاضلي المعني، أو فرض شروط إضافية على قابلية جمع القيم الذاتية مما يحد من نطاق شدة الضوضاء المسموح بها. علاوة على ذلك، فإن العديد من الحدود الموجودة لم تكن حادة فيما يتعلق بالثبات القياسي (scaling invariance) المرتبط بالمعادلة التفاضلية الجزئية العشوائية المعنية، خاصة فيما يتعلق بقابلية تكامل المعامل $g$.

المنهجية
يستخدم المؤلفون نهجًا تحليليًا وظيفيًا متمحورًا حول المؤثرات $\gamma$-radonifying والاستيفاء متعدد الخطية (multilinear interpolation).

1. المؤثرات $\gamma$-radonifying: تمت إعادة صياغة تقارب السلاسل الغاوسية كتقارب لمؤثر الضرب $M_g$ المكون من مؤثر ضوضاء $R_\mu$ الذي ينقل إلى فضاءات مؤثرات $\gamma$-radonifying، وتحديدًا $\gamma(L^2(O), \tilde{H}^{-s,q}(O))$. يسمح هذا استخدام خاصية المثالية لفضاءات $\gamma$ وتوصيفات الدوال التربيعية.
2. فضاءات المتتاليات الموزونة: الابتكار الجوهري هو تقديم فضاء المتتاليات الموزون $\ell^\zeta(S_f)$، المعرف بالمعيار $\|\mu\|_{\ell^\zeta(S_f)} = (\sum |\mu_n|^\zeta \|f_n\|_{L^\infty}^2)^{1/\zeta}$. هذا الفضاء يستبطن بشكل طبيعي بين شرط فئة الأثر ($\zeta=2$) وشرط المحدودية ($\zeta=\infty$)، وهو يرمز صراحةً لنمو النظام المتعامد في $L^\infty$.
3. متراجحة $\gamma$-Young: يضع المؤلفون "متراجحة Young" جديدة للمؤثرات $\gamma$-radonifying تتضمن الالتفافات مع فضاءات ليبيج الضعيفة ($L^{r,\infty}$). وهذا أمر ضروري للتعامل مع تفردات نوى جهد بيل (Bessel potential kernels) في الحالات الحرجة (الحالات الثابتة قياسيًا).
4. الاستيفاء متعدد الخطية: يتم اشتقاق النتائج الرئيسية عن طريق الاستيفاء بين حالتين طرفيتين:
   • الحالة $\zeta=2$: تقابل ضوضاء من فئة الأثر، والتي تم إثباتها عبر تضمينات سوبوليف وتحديد فضاءات $\gamma$ كفضاءات $L^2$-valued $L^\eta$.
   • الحالة $\zeta=\infty$: تقابل الضوضاء المحدودة، والتي تم إثباتها باستخدام متراجحة $\gamma$-Young وخصائص مؤثرات الضرب في فضاءات سوبوليف.
     يتم إجراء الاستيفاء على الخريطة ثنائية الخطية $(g, \mu) \mapsto M_g R_\mu$.

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

• تضمينات سوبوليف الحادة للسلاسل الغاوصية (المبرهنة 4.1): يثبت البحث الشروط الضرورية والكافية لتقارب السلسلة $g \sum \gamma_n \mu_n f_n$ في فضاءات جهد بيل $\tilde{H}^{-s,q}(O)$. الشروط هي:
  $$\frac{s}{d} + \frac{1}{q} \ge \frac{1}{\eta} + \frac{1}{2} - \frac{1}{\zeta} \quad \text{و} \quad \frac{1}{\eta} - \frac{1}{\zeta} < \frac{1}{2}.$$
  هذه الحدود حادة، مما يعني أنها تلتقط تمامًا الثبات القياسي للمسألة. وتظل النتيجة صالحة لأي أنظمة متعامدة $(f_n)$ عامة دون اشتراط كونها دالات ذاتية لمؤثر محدد.

• الفضاءات المتجانسة (المبرهنة 4.2): بالنسبة للفضاء الكامل $O = \mathbb{R}^d$، يقدم المؤلفون نتائج مماثلة لفضاءات سوبوليف المتجانسة $\dot{H}^{-s,q}(\mathbb{R}^d)$، حيث يتحقق الشرط الأول بالتساوي.

• التعميم على مضاعفات فوريه (المبرهنة 4.9): تم توسيع الإطار ليشمل الضوضاء الغاوصية المعرفة عبر مضاعفات فوريه $T_m$ على $\mathbb{R}^d$، حيث ينتمي الرمز $m$ إلى $L^\zeta(\mathbb{R}^d)$. وهذا يغطي حقول ماتيرن (Matérn random fields) وغيرها من هياكل الضوضاء القائمة على الالتفاف.

• الانتظام الأمثل للمعادلات الحرارية العشوائية (المبرهنة 6.3): بتطبيق حدود السلاسل الغاوصية على المعادلة الحرارية العشوائية $\partial_t u - \Delta u = g \partial_t W$، يستنتج المؤلفون تقديرات انتظام مكانية-زمانية مثلى للحل المخفف (mild solution) $u$. تحديدًا، يثبتون أن:
  $$\mathbb{E}\|u\|_{L^p(0,T; H^{1-s,q}(O))}^p + \mathbb{E}\|u\|_{C([0,T]; B^{1-s-2/p}_{q,p}(O))}^p \lesssim \|\mu\|_{\ell^\zeta(S_f)}^p \mathbb{E}\|g\|_{L^p(0,T; L^\eta(O))}^p.$$
  تتفوق هذه التقديرات على الأدبيات الحالية من خلال السماح بقابلية تكامل أقل لـ $g$ (أي $\eta$ أصغر) وتغطية نطاق أوسع من شدة الضوضاء $\zeta$ دون افتراض أن الضوضاء مرتبطة بالقاعدة الذاتية لعملية لابلاس.

• ضرورة الأوزان (القسم 5): يوضح البحث أن استخدام فضاءات المتتاليات غير الموزونة $\ell^\zeta$ (بتجاهل نمو $\|f_n\|_{L^\infty}$) يفشل في التقاط الثبات القياسي الصحيح للمعادلات التفاضلية الجزئية العشوائية، مما يؤدي إلى نتائج انتظام دون المستوى الأمثل.

الأهمية والادعاءات
يدعي المؤلفون أن نتائجهم توفر أول توصيف حاد لتقارب هذه السلاسل الغاوصية في فضاءات جهد بيل للضوضاء غير من فئة الأثر. وتكمن الأهمية في عدة تحسينات محددة على الأدبيات السابقة:

1. الحدة: الشروط المستمدة ضرورية وكافية، وهي تحافظ على الثبات القياسي للمعادلة الحرارية العشوائية. وهذا أمر بالغ الأهمية لتحليل المعادلات التفاضلية الجزئية العشوائية غير الخطية الحرجة حيث يمكن أن يمنع فقدان حتى جزء صغير من الانتظام استخدام حجج النقطة الثابتة (fixed-point arguments).
2. عمومية هيكل الضوضاء: على عكس الأعمال السابقة التي كانت تتطلب أن تكون $(f_n)$ دالات ذاتية للمؤثر التفاضلي (مثل لابلاس ديريكليه)، فإن هذا النهج يعمل مع أي نظام متعامد. وهذا يسمح بتطبيق النتائج على مؤثرات في صيغة التباعد (divergence form) حيث لا تُعرف الدالات الذاتية صراحةً.
3. مرونة المعاملات: تسمح النتائج بأن يكون المعامل $g$ في $L^\eta(O)$ مع $\eta$ أصغر مما كان ممكن سابقًا، بل وتحسن أيضًا المعيار على الجانب الأيسر من التقديرات (على سبيل المثال، إلى فضاءات بيزوف/Besov). وتُبرز هذه المرونة كدافع رئيسي للعمل، خاصة للتطبيقات المستقبلية على المعادلات التفاضلية الجزئية العشوائية غير الخطية حيث يرغب الباحث في تجنب فقدان النعومة أثناء عمليات التضمين في سوبوليف خلال تكرارات النقطة الثابتة.
4. الاستقلال عن الأبعاد: تسري الحدود لأي بُعد مكاني $d$، بينما كانت الشروط السابقة التي تتضمن جمع القيم الذاتية غالبًا ما تقيد الأبعاد (على سبيل المثال، تتطلب $d < 6$ لبعض شروط الفئة).

يخلص البحث إلى أن هذه الحدود الحادة تعمل كأداة تأسيسية لدراسة المعادلات التفاضلية الجزئية العشوائية غير الخطية ذات الضوضاء غير من فئة الأثر، وهو موضوع يشير المؤلفون إلى أنه سيتم استكشافه بالتفصيل في أعمال قادمة.