نظريات الأثر والامتداد غير المحلية القوية

المعلومات الأساسية

• معرّف الورقة: 2305.05735
• العنوان: نظريات الأثر والامتداد غير المحلية القوية
• المؤلفون: Florian Grube, Moritz Kassmann (جامعة بيليفيلد)
• التصنيف: math.AP (تحليل المعادلات التفاضلية الجزئية)
• تاريخ النشر: مايو 2023 (v1)، يونيو 2023 (v2)
• رابط الورقة: https://arxiv.org/abs/2305.05735

الملخص

تثبت هذه الورقة نظريات الأثر والامتداد لفضاءات دوال من نوع سوبوليف المطبقة على مسائل ديريشليه ونيومان غير المحلية (بما في ذلك لابلاسيان-p الكسري). هذه النتائج قوية فيما يتعلق بدرجة التفاضل، بمعنى أنها متسقة مع نظريات الأثر والامتداد الكلاسيكية.

خلفية البحث والدافع

المشكلة الأساسية

تدرس هذه الورقة معادلات غير محلية غير خطية على مناطق محدودة، مثل: $(-\Delta)_p^s u = f \text{ في } \Omega, \quad u = g \text{ في } \mathbb{R}^d \setminus \Omega$

حيث يُعرّف لابلاسيان-p الكسري بـ: $(-\Delta)_p^s u(x) = (1-s) \text{p.v.} \int_{\mathbb{R}^d} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y))}{|x-y|^{d+sp}} dy$

أهمية البحث

1. الخصائص الأساسية للمؤثرات غير المحلية: بسبب عدم محلية المؤثر، تتطلب المسألة (1.1) تحديد القيم $u(x)$ في $\mathbb{R}^d \setminus \Omega$ لكي تكون محددة بشكل جيد
2. قيود الطرق التقليدية: الافتراضات التقليدية $g \in W^{s,p}(\mathbb{R}^d)$ تفرض قيودًا غير طبيعية، لأن المسألة (1.1) لا تتضمن أي انتظامية لـ $g$ في $\mathbb{R}^d \setminus \Omega$، بل تحتاج فقط إلى نوع من التكاملية المرجحة
3. غياب الاستمرارية: تفتقر النظرية الموجودة إلى الاستمرارية عندما $s \to 1^-$، وبالتالي لا يمكنها استرجاع النظرية المحلية الكلاسيكية

حدود الطرق الموجودة

• المسائل المتجانسة ($g=0$) نسبيًا بسيطة وقد تمت دراستها
• معالجة البيانات غير الصفرية $g$ عادة ما تفترض أن $g$ منتظمة على الفضاء الكامل $\mathbb{R}^d$، مثل $g \in W^{s,p}(\mathbb{R}^d)$
• الحلول الوسيطة مثل $g \in W^{s,p}(\Omega_\epsilon) \cap L^p(\mathbb{R}^d; (1+|x|)^{-d-sp}dx)$ لا تزال غير طبيعية
• عند $s \to 1^-$، لا يمكن استرجاع فضاء الأثر الكلاسيكي $W^{1-1/p,p}(\partial\Omega)$

دافع البحث

بناء فضاء أثر $T^{s,p}(\Omega^c)$ مناسب للطرق المتغيرة غير المحلية، بحيث:

1. يصف بشكل طبيعي انتظامية البيانات الخارجية $g$
2. يتمتع بقوة فيما يتعلق بالمعامل $s$
3. يسترجع نظريات الأثر والامتداد الكلاسيكية عند $s \to 1^-$

المساهمات الأساسية

1. إدخال فضاء أثر جديد: يُعرّف فضاء الدوال $T^{s,p}(\Omega^c)$ (المعرّف على $\Omega^c$)، مزودًا بالمقياس $\mu_s(dx) := 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$ حيث $d_x := \text{dist}(x, \partial\Omega)$
2. إثبات نظرية أثر قوية (النظرية 1.2، $p>1$): مؤثر الأثر $\text{Tr}_s: V^{s,p}(\Omega|\mathbb{R}^d) \to T^{s,p}(\Omega^c)$ خطي مستمر، وتوجد معكوسة يمين خطية مستمرة (مؤثر امتداد) $\text{Ext}_s: T^{s,p}(\Omega^c) \to V^{s,p}(\Omega|\mathbb{R}^d)$، حيث ثوابت الاستمرارية تعتمد فقط على $\Omega$ وحد أدنى لـ $s$ وحدود $p$ العليا والدنيا
3. التوسيع إلى حالة $p=1$ (النظرية 1.3): إثبات أن مؤثر الأثر $\text{Tr}_s: V^{s,1}(\Omega|\mathbb{R}^d) \to L^1(\Omega^c; \mu_s)$ مستمر، وتوجد معكوسة يمين خطية مستمرة $\text{Ext}_s: T^{s,1}(\Omega^c) \to V^{s,1}(\Omega|\mathbb{R}^d)$
4. نظرية السلوك الحدي (النظرية 1.4): إثبات أنه عند $s \to 1^-$:
   • $\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \to \|\gamma u\|_{L^p(\partial\Omega)}$ (لـ $u \in W^{1,p}(\mathbb{R}^d)$)
   • $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \to [\gamma u]_{W^{1-1/p,p}(\partial\Omega)}$ (لـ $u \in W^{1,p}(\mathbb{R}^d)$)
   • استرجاع فضاء الأثر الكلاسيكي وفضاء بيسوف
5. التطبيق على مسألة ديريشليه (النتيجة 1.7): باستخدام نظرية الأثر والامتداد الجديدة، إثبات أن المسألة (1.1) محددة بشكل جيد وتقديرات الطاقة

شرح الطريقة

تعريف المهمة

دراسة الخريطة من فضاء الطاقة $V^{s,p}(\Omega|\mathbb{R}^d)$ إلى فضاء الأثر على المنطقة الخارجية $\Omega^c$: $V^{s,p}(\Omega|\mathbb{R}^d) := \{u: \mathbb{R}^d \to \mathbb{R} \text{ قابلة للقياس} \mid [u]_{V^{s,p}(\Omega|\mathbb{R}^d)} < \infty\}$ حيث يُعرّف شبه المعيار بـ: $[u]_{V^{s,p}(A|B)}^p := (1-s) \iint_{A \times B} \frac{|u(x)-u(y)|^p}{|x-y|^{d+sp}} dx dy$

بناء فضاء الأثر

الابتكار الرئيسي: تصميم المقياس $\mu_s$$\mu_s(dx) = 1_{\Omega^c}(x)(1-s)d_x^{-s}(1+d_x)^{-d-s(p-1)}dx$

يتمتع هذا المقياس بالخصائص التالية:

1. السلوك بالقرب من الحدود: الحد $(1-s)d_x^{-s}$ يضمن أنه عند $s \to 1^-$، يتقارب $\mu_s$ ضعيفًا إلى مقياس هاوسدورف على الحدود $\partial\Omega$
2. التناقص عند اللانهاية: الحد $(1+d_x)^{-d-s(p-1)}$ يضمن التناقص المناسب عند اللانهاية
3. قوة المعامل: اختيار المعامل $(1-s)$ يجعل المقياس يتمتع بقوة عند $s \to 1^-$

تعريف فضاء الأثر $T^{s,p}(\Omega^c)$ (الصيغة 1.6): $T^{s,p}(\Omega^c) := \{g: \Omega^c \to \mathbb{R} \text{ قابلة للقياس} \mid \|g\|_{T^{s,p}(\Omega^c)} < \infty\}$ المعيار: $\|g\|_{T^{s,p}(\Omega^c)}^p := \|g\|_{L^p(\Omega^c;\mu_s)}^p + [g]_{T^{s,p}(\Omega^c)}^p$

شبه المعيار يُعرّف بـ (لـ $p>1$): $[f,g]_{T^{s,p}(\Omega^c)}^p := \iint_{\Omega^c \times \Omega^c} \frac{|f(x)-f(y)|^{p-2}(f(x)-f(y))(g(x)-g(y))}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \mu_s(dx)\mu_s(dy)$

أفكار التصميم الرئيسية:

• الحد في المقام $(|x-y|+d_x+d_y) \wedge 1$ يصبح $(|x-y|) \wedge 1$ بالقرب من الحدود، مما يسترجع بنية شبه معيار سلوبوديتسكي الكلاسيكية
• وزن المقياس $\mu_s$ يعوض عن تغيير البعد المكاني (من $d$ إلى $(d-1)$ على الحدود)

استراتيجية إثبات نظرية الأثر

القسم 3: إثبات تضمين الأثر

الإثبات ينقسم إلى قضيتين:

1. القضية 3.9: تضمين جزء $L^p$$\|\text{Tr}_s u\|_{L^p(\Omega^c;\mu_s)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$
2. القضية 3.10: تضمين جزء شبه المعيار $[\text{Tr}_s u]_{T^{s,p}(\Omega^c)} \leq C \|u\|_{V^{s,p}(\Omega|\mathbb{R}^d)}$

أدوات تقنية رئيسية:

(أ) عدم المساواة التقريبية للأثر (النظرية 3.5): لـ $u \in W^{s,p}(\Omega)$، إثبات $\int_{\Omega} |u(x)|^p \tau_s(dx) + \int_{\Omega} \int_{\Omega} \frac{|u(x)-u(y)|^p}{((|x-y|+d_x+d_y) \wedge 1)^{d+s(p-2)}} \tau_s(dy)\tau_s(dx) \leq C \|u\|_{W^{s,p}(\Omega)}^p$

حيث $\tau_s(dx) = (1-s)d_x^{-s}1_{\Omega}(x)dx$

طريقة الإثبات:

• استخدام نظرية الاستيفاء لفضاءات جهد بيسل
• تعريف $\alpha_0 := s(1+p)/(2p)$، $\alpha_1 := 1 + s/(2p)$
• إثبات الاستمرارية على $H^{\alpha_i,p}(\mathbb{R}^d)$ (اللمة 3.4)
• الحصول على النتيجة من خلال الاستيفاء الحقيقي $[H^{\alpha_0,p}, H^{\alpha_1,p}]_\theta^p = W^{s,p}(\mathbb{R}^d)$

(ب) عدم مساواة هاردي من النوع (النظرية 3.6، حالة $p=1$): $(1-s) \int_{\Omega} \frac{|u(x)|}{d_x^s} dx \leq C\left(\|u\|_{L^1(\Omega)} + s(1-s) \int_{\Omega \times \Omega} \frac{|u(x)-u(y)|}{|x-y|^{d+s}} d(x,y)\right)$

استراتيجية الإثبات:

• استخدام خاصية الحدود المحلية Lipschitz
• تطبيق عدم مساواة هاردي المثلى على نصف الفضاء (النظرية B.1)
• معالجة الحالة العامة من خلال تقسيم الوحدة

(ج) لمات تقنية لدالة المسافة:

• اللمة 3.7: تحويل $d_x^{-s}$ إلى تكامل على $\Omega$
• اللمة 3.8: استخدام شرط المخروط الداخلي المنتظم لإنشاء تقديرات الحد الأدنى

استراتيجية إثبات القضية 3.9 (جزء $L^p$):

1. تقسيم $\Omega^c = \Omega_1^{\text{ext}} \cup \Omega^{\text{ext}}_1$
2. على $\Omega_1^{\text{ext}}$: استخدام اللمة 3.8 والنظرية 3.5/3.6
3. على $\Omega^{\text{ext}}_1$: تقدير مباشر، استخدام الحد الأدنى لدالة المسافة

استراتيجية إثبات القضية 3.10 (جزء شبه المعيار، $p>1$):

1. تقسيم مجال التكامل: $\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$، $\Omega^c \times \Omega^\rho_{\text{ext}}$، $\Omega^\rho_{\text{ext}} \times \Omega^c$
2. الجزء البعيد ($\Omega^\rho_{\text{ext}}$): استخدام القضية 3.9 والحد الأدنى للمسافة
3. الجزء القريب ($\Omega^{\text{ext}}_\rho \times \Omega^{\text{ext}}_\rho$):
   • استخدام اللمة 3.8 مرتين، إدخال متغيرات تكامل وسيطة $z,w \in \Omega$
   • تطبيق النظرية 3.5 لتقدير التكامل على $\Omega \times \Omega$
   • المفتاح: تقدير دقيق لدالة النواة $a(z,w)$ (الصيغة 3.19)

استراتيجية إثبات نظرية الامتداد

القسم 4: بناء مؤثر الامتداد

الفكرة الأساسية: امتداد متوسط مرجح بناءً على تقسيم ويتني

(أ) تقسيم ويتني:

• تقسيم $\Omega$ إلى تقسيم ويتني dyadic $\mathcal{W}(\Omega)$
• كل مكعب $Q$ يحقق: $\text{diam}(Q) \leq d(Q,\partial\Omega) \leq 4\text{diam}(Q)$
• تعريف $\mathcal{W}_{\leq\kappa}(\Omega)$ كمكعبات بطول ضلع $\leq 2^\kappa$، حيث $\kappa := \lfloor\log_2(\rho/\sqrt{d})\rfloor$، $\rho := \text{inr}(\Omega)/2 \wedge 1/2$

(ب) تقسيم الوحدة: بناء تقسيم وحدة سلس $\{\phi_Q\}_{Q \in \mathcal{W}(\Omega)}$، يحقق $\sum_Q \phi_Q = 1_\Omega$

(ج) المقياس $\tilde{\mu}_s$: تعريف مقياس مبسط (بدون تناقص عند اللانهاية): $\tilde{\mu}_s(dz) = 1_{\Omega^c}(z)\frac{1-s}{d_z^s} dz$ وثابت التطبيع: $a_{Q,s} := \left(\tilde{\mu}_s(B_{6l_Q}(q_Q))\right)^{-1}$

اللمة 4.1 تثبت: $C^{-1}l_Q^{s-d} \leq a_{Q,s} \leq C l_Q^{s-d}$

(د) تعريف مؤثر الامتداد (الصيغة 4.11):