تناقص موحد لمعايير الدوال

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

• معرّف الورقة: 2511.19000
• العنوان: Uniform decay of function norms (تناقص موحد لمعايير الدوال)
• المؤلفون: Zdeněk Mihula, Maximilián Pándy
• التصنيف: math.FA (التحليل الدالي)
• تاريخ الإرسال: 24 نوفمبر 2025 إلى arXiv
• رابط الورقة: https://arxiv.org/abs/2511.19000

الملخص

تقدم هذه الورقة وتدرس علاقتين جديدتين بين فضاءات الدوال على فضاءات القياس اللانهائية، بدافع من مشاكل إنشاء الانضغاطية. تميز العلاقة الأولى تناقص معايير الدوال (شبه) "عند اللانهاية" بشكل موحد. تظهر هذه العلاقة ضمنياً في عمل المؤلف الأول الحديث حول انضغاطية تضمينات Sobolev للدوال المتماثلة شعاعياً على $\mathbb{R}^n$. العلاقة الثانية هي نسخة موضعية مناسبة من العلاقات شبه الانضغاطية، التي استُخدمت بنجاح لدراسة انضغاطية فضاءات الدوال على فضاءات القياس المحدودة، لكنها تفشل في حالة القياس اللانهائي. إطار البحث هو فضاءات الدوال شبه-Banach، التي لا تحتاج إلى أن تكون قابلة للتعيير أو ثابتة تحت إعادة الترتيب. يدفع هذا المستوى من العمومية المؤلفين إلى تقديم مفهوم الدوال الأساسية القيمية المرتبطة بفضاءات الدوال (شبه) Banach. تقدم الورقة عدة أمثلة محددة، وتؤسس مبادئ انضغاطية مجردة تتضمن العلاقات الجديدة، وأخيراً تعرض التطبيقات المحتملة في تضمينات فضاءات Sobolev غير المتجانسة على $\mathbb{R}^n$.

السياق البحثي والدافع

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

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

2. أهمية المشكلة

الانضغاطية هي أحد أهم المفاهيم في التحليل الدالي، خاصة عند دراسة نظريات تضمين Sobolev:

• عندما يكون الفضاء الأساسي ذا قياس محدود (مثل منطقة محدودة $\Omega \subset \mathbb{R}^n$)، يكون التضمين $W^{m,p}(\Omega) \hookrightarrow L^q(\Omega)$ منضغطاً في الشروط المناسبة (نظرية Rellich-Kondrachov)
• عندما يكون الفضاء الأساسي ذا قياس لانهائي (مثل $\mathbb{R}^n$)، التضمين المقابل $W^{m,p}(\mathbb{R}^n) \hookrightarrow L^q(\mathbb{R}^n)$ لا يكون أبداً منضغطاً
• لكن التضمين المقيد للدوال المتماثلة شعاعياً $W^{m,p}_R(\mathbb{R}^n) \hookrightarrow L^q(\mathbb{R}^n)$ يمكن أن يكون منضغطاً

3. قيود الطرق الموجودة

الطريقة الكلاسيكية ذات الخطوتين لإنشاء الانضغاطية:

• الخطوة الأولى: إثبات أن المتتاليات المحدودة تحتوي على متتاليات جزئية متقاربة نقطياً تقريباً في كل مكان
• الخطوة الثانية: إثبات أن المعامل يرسل المجموعات المحدودة إلى مجموعات ذات معايير مطلقة متصلة موحدة

عادة ما تستخدم الخطوة الثانية علاقة التضمين شبه الانضغاطي $X \stackrel{*}{\hookrightarrow} Y$، المعرّفة بـ: لأي متتالية من المجموعات $\mu$-القابلة للقياس $\{E_n\}$ بحيث $\chi_{E_n} \to 0$ نقطياً تقريباً في كل مكان، $\lim_{n\to\infty} \sup_{\|f\|_X \leq 1} \|f\chi_{E_n}\|_Y = 0$

القيد الرئيسي: عندما $\mu(R) = \infty$، لا توجد فضاءات Banach للدوال $X, Y$ بحيث $X \stackrel{*}{\hookrightarrow} Y$ (27, Theorem 4.5). السبب هو أنه على فضاءات القياس اللانهائية، "يمكن للكتلة أن تهرب إلى اللانهاية" - التقارب النقطي تقريباً في كل مكان لا يعني بعد الآن التقارب حسب القياس.

4. دافع البحث

استخدم المؤلف الأول في 20 العلاقتين الجديدتين ضمنياً عند دراسة انضغاطية تضمينات Sobolev للدوال المتماثلة شعاعياً على $\mathbb{R}^n$. الهدف من هذه الورقة هو إجراء أول دراسة منهجية لهذه العلاقات وتطوير نظرية عامة.

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

1. تقديم علاقتين جديدتين لفضاءات الدوال:
   • $X \stackrel{*}{\hookrightarrow}_\infty Y$: تميز تناقص معايير الدوال بشكل موحد عند اللانهاية
   • $X \stackrel{*}{\hookrightarrow}_{loc} Y$: نسخة موضعية من التضمين شبه الانضغاطي
2. تقديم مفهوم الدوال الأساسية القيمية: لفضاءات الدوال (شبه) Banach غير الثابتة تحت إعادة الترتيب، تعريف
   • الدالة الأساسية الدنيا: $\phi^{\min}_X(t) = \inf_{\mu(E)=t} \|\chi_E\|_X$
   • الدالة الأساسية العليا: $\phi^{\max}_X(t) = \sup_{\mu(E)=t} \|\chi_E\|_X$
3. إنشاء مبدأ انضغاطية مجرد (Theorem 4.7): يجمع بين العلاقتين الجديدتين لإعطاء شروط كافية للانضغاطية
4. توصيف كامل للعلاقات في فضاءات محددة:
   • فضاءات Lebesgue و Lorentz: $L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2}$ إذا وفقط إذا $p_1 < p_2$
   • فضاءات Orlicz: $L^B \stackrel{*}{\hookrightarrow}_\infty L^A$ إذا وفقط إذا $A \ll_0 B$ ($B$ تهيمن على $A$ بشكل أساسي بالقرب من الصفر)
5. التطبيق على فضاءات Sobolev: إعطاء شروط كافية لتقارب متتاليات فضاءات Sobolev غير المتجانسة على $\mathbb{R}^n$ إلى الصفر

شرح الطريقة

تعريف المهمة

دراسة علاقتين جديدتين بين فضاءات الدوال شبه-Banach $X, Y$ على فضاءات القياس اللانهائية $(R, \mu)$ (حيث $\mu(R) = \infty$)، وإنشاء ارتباطهما بالانضغاطية.

التعريفات الأساسية

التعريف 1: التناقص الموحد عند اللانهاية ($\stackrel{*}{\hookrightarrow}_\infty$)

$X \stackrel{*}{\hookrightarrow}_\infty Y \iff \lim_{a\to\infty} \sup_{\|f\|_X \leq 1} \inf_{\mu(E) \leq a} \|f\chi_{R\setminus E}\|_Y = 0$

المعنى الحدسي: لكرة الوحدة في $X$، عندما يُسمح بـ "قطع" مجموعات بقياس $\leq a$، يتناقص معيار الجزء المتبقي في $Y$ بشكل موحد عندما $a\to\infty$.

أمثلة مهمة:

• $L^p(R,\mu) \stackrel{*}{\hookrightarrow}_\infty L^q(R,\mu)$ إذا وفقط إذا $p < q$
• لا يوجد أبداً $X \stackrel{*}{\hookrightarrow}_\infty X$ (إذا كان $X$ مقبولاً)

التعريف 2: التناقص الموحد الموضعي ($\stackrel{*}{\hookrightarrow}_{loc}$)

$X \stackrel{*}{\hookrightarrow}_{loc} Y \iff \lim_{a\to 0^+} \sup_{\|f\|_X \leq 1} \sup_{\mu(E) \leq a} \|f\chi_E\|_Y = 0$

المعنى الحدسي: لكرة الوحدة في $X$، يتناقص معيار التقييد على مجموعات صغيرة القياس بشكل موحد في $Y$.

الفرق الرئيسي:

• عندما $\mu(R) < \infty$، $X \stackrel{*}{\hookrightarrow}_{loc} Y$ يعادل $X \stackrel{*}{\hookrightarrow} Y$
• عندما $\mu(R) = \infty$، $L^p \stackrel{*}{\hookrightarrow}_{loc} L^q$ إذا وفقط إذا $p > q$، لكن $L^p \stackrel{*}{\hookrightarrow} L^q$ لا يحدث أبداً

توصيف تقارب الدوال

النظرية 4.3 (توصيف $\stackrel{*}{\hookrightarrow}_\infty$): لتكن $X, Y$ فضاءات دوال شبه-Banach، و$X$ مقبول. إذن ما يلي متكافئ:

1. $X \stackrel{*}{\hookrightarrow}_\infty Y$
2. $\lim_{t\to\infty} \phi^{\min}_X(t) = \infty$ وللأي متتالية محدودة $\{f_n\}$ في $X$ بحيث $\lim_{n\to\infty} \|f_n\|_{L^\infty} = 0$، لدينا $\lim_{n\to\infty} \|f_n\|_Y = 0$

النظرية 4.6 (توصيف $\stackrel{*}{\hookrightarrow}_{loc}$): $X \stackrel{*}{\hookrightarrow}_{loc} Y$ إذا وفقط إذا لأي متتالية محدودة $\{f_n\}$ في $X$ بحيث $\lim_{n\to\infty} \mu(\text{supp}\, f_n) = 0$، لدينا $\lim_{n\to\infty} \|f_n\|_Y = 0$

نقاط الابتكار التقني

1. الدوال الأساسية القيمية

لفضاءات غير ثابتة تحت إعادة الترتيب، يعتمد معيار الدالة المميزة $\chi_E$ على الشكل الهندسي للمجموعة $E$، وليس فقط على $\mu(E)$. تلتقط الدوال الأساسية القيمية هذا التباين من خلال أخذ الحد الأعلى والأدنى: $\phi^{\min}_X(t) = \inf_{\mu(E)=t} \|\chi_E\|_X, \quad \phi^{\max}_X(t) = \sup_{\mu(E)=t} \|\chi_E\|_X$

الخصائص الرئيسية (Proposition 3.4): إذا كانت عائلة معاملات المتوسط البسيط $\{A_E\}$ محدودة بشكل موحد على $X$، إذن $t \leq \min\{\phi^{\min}_X(t)\phi^{\max}_{X'}(t), \phi^{\max}_X(t)\phi^{\min}_{X'}(t)\} \leq Ct$

هذا يعمم الهوية الكلاسيكية للفضاءات الثابتة تحت إعادة الترتيب $\phi_X(t)\phi_{X'}(t) = t$.

2. الشروط الضرورية

الاقتراح 4.1: إذا كان $X$ مقبول و $X \stackrel{*}{\hookrightarrow}_\infty Y$، إذن $\lim_{a\to\infty} \frac{\phi^{\min}_Y(a)}{\phi^{\min}_X(2a)} = 0$

هذا يعطي عائقاً على مستوى الدالة الأساسية لتحقق العلاقة.

3. الثنائية

الاقتراح 4.10: إذا كانت $X, Y$ تحقق الخاصية (P5) و $\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$، إذن $X \stackrel{*}{\hookrightarrow}_\infty Y \implies Y' \stackrel{*}{\hookrightarrow}_\infty X'$

لفضاءات Banach الثابتة تحت إعادة الترتيب، هذه علاقة "إذا وفقط إذا" (Remark 4.12).

إعداد التجارب

توصيف فضاءات محددة

هذه ورقة نظرية بشكل أساسي، حيث يتجسد جزء "التجارب" في توصيف فضاءات دوال محددة بشكل كامل.

1. فضاءات Lorentz (Section 6.1)

الاقتراح 6.1: لتكن $p_1, p_2, q_1, q_2 \in (0,\infty]$ مناسبة. إذن $L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2} \iff p_1 < p_2$

خطوط الإثبات:

• الضرورة تتبع مباشرة من الاقتراح 4.1 والدالة الأساسية $\phi_{L^{p,q}}(t) = c_{p,q}t^{1/p}$
• الكفاية: لتكن $p_1 < p_2 < \infty$، $r = \min\{q_2, 1\}$، نثبت $L^{p_1,\infty} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,r}$. التقدير الرئيسي: $\|f^*\chi_{(a,\infty)}\|_{L^{p_2,r}}^r \leq \int_0^a t^{r/p_2-1}f^*(a)^r dt + \int_a^\infty t^{r/p_2-1}f^*(t)^r dt$ كلا الحدين يتناقصان إلى الصفر (عندما $a\to\infty$)

2. فضاءات Orlicz (Section 6.2)

التعريف: دالة Young $A$ تهيمن بشكل أساسي على $B$ بالقرب من الصفر (يُرمز لها $A \ll_0 B$) إذا كان $B(t) > 0$ لجميع $t > 0$، و $\lim_{t\to 0^+} \frac{A(\lambda t)}{B(t)} = 0, \quad \forall \lambda > 0$

الاقتراح 6.5: $L^B \stackrel{*}{\hookrightarrow}_\infty L^A \iff A \ll_0 B$

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

• الكفاية: بناءً على $\varepsilon > 0$، من $A \ll_0 B$ يوجد $\delta > 0$ بحيث $A(t/\varepsilon) \leq B(t)$ لـ $t \in [0,\delta)$. باستخدام $f^*(t) < \delta$ لـ $t \geq a$ ($a$ كبير بما يكفي)، نحصل على $\int_a^\infty A\left(\frac{f^*(t)}{\varepsilon}\right) dt \leq \int_a^\infty B(f^*(t)) dt \leq 1$
• الضرورة: بالتناقض، إذا كان هناك $\lambda > 0$ بحيث $\limsup_{t\to 0^+} A(\lambda t)/B(t) > 1$، نبني متتالية $f_n = t_n\chi_{E_n}$ (حيث $\mu(E_n) = 1/B(t_n)$) بحيث $\|f_n\|_{L^B} \leq 1$، $\|f_n\|_{L^\infty} \to 0$، لكن $\|f_n\|_{L^A} > 1/\lambda$، تناقض مع النظرية 4.3

3. فضاءات النقاط النهائية (Section 5)

لفضاءات Banach الثابتة تحت إعادة الترتيب، توجد أصغر وأكبر فضاءات بدالة أساسية معطاة $\phi$:

• فضاء Marcinkiewicz: $M_\phi$، المعيار $\|f\|_{M_\phi} = \sup_{t>0} f^{**}(t)\phi(t)$
• فضاء Lorentz النهائي: $\Lambda_\phi$ ($\phi$ مقعر)، المعيار $\|f\|_{\Lambda_\phi} = \int_0^\infty f^*(t) d\phi(t)$

النظرية 5.3: لتكن $\phi, \psi$ دوال مقعرة. إذن $\Lambda_\phi \stackrel{*}{\hookrightarrow}_\infty \Lambda_\psi \iff \lim_{t\to\infty} \frac{\psi(t)}{\phi(t)} = 0$

النظرية 5.4: $M_\phi \stackrel{*}{\hookrightarrow}_\infty \Lambda_\psi \iff M_\phi \hookrightarrow_\infty \Lambda_\psi \text{ و } \lim_{t\to\infty} \frac{\psi(t)}{\phi(t)} = 0$

حيث $X \hookrightarrow_\infty Y$ يعني أن هناك $a_0$ بحيث $\sup_{\|f\|_X \leq 1} \inf_{\mu(E) \leq a_0} \|f\chi_{R\setminus E}\|_Y < \infty$

نتائج التجارب

النتيجة الرئيسية: مبدأ الانضغاطية المجرد

النظرية 4.7 (نظرية التطبيق الأساسية): لتكن $X, Y, Z$ فضاءات دوال شبه-Banach، و$X$ مقبول، و

• $X \stackrel{*}{\hookrightarrow}_\infty Z$
• $Y \stackrel{*}{\hookrightarrow}_{loc} Z$

إذا كانت $\{u_n\} \subset M(R,\mu)$ محدودة في كل من $X$ و $Y$، وتحقق $\lim_{n\to\infty} \mu(\{x : |u_n(x)| > \varepsilon\}) = 0, \quad \forall \varepsilon > 0$ إذن $\lim_{n\to\infty} \|u_n\|_Z = 0$.

خطوط الإثبات (قطع ثلاثي ماهر): بناءً على $\varepsilon > 0$،

1. من $X \stackrel{*}{\hookrightarrow}_\infty Z$، يوجد $a > 0$ ومجموعات $E_n$ (حيث $\mu(E_n) \leq a$) بحيث $\|u_n\chi_{R\setminus E_n}\|_Z \leq \varepsilon$
2. اختر $\kappa > 0$ بحيث $\kappa\phi^{\max}_Z(a) \leq \varepsilon$، عرّف $F_n = \{x \in E_n : |u_n(x)| > \kappa\}$
3. من $Y \stackrel{*}{\hookrightarrow}_{loc} Z$، يوجد $\delta > 0$ بحيث $\sup_{\mu(F) \leq \delta} \|u_n\chi_F\|_Z \leq \varepsilon$
4. باستخدام الشرط المفروض وقابلية $X$، اختر $\lambda$ كبيراً بما يكفي بحيث $G_n = \{x \in F_n : |u_n(x)| > \lambda\}$ يحقق $\mu(G_n) \leq \delta$
5. التحليل: $u_n = u_n\chi_{R\setminus F_n} + u_n\chi_{F_n\setminus G_n} + u_n\chi_{G_n}$، الحدان الأول والثاني يُتحكم فيهما بـ $\varepsilon$، الحد الثالث يتناقص إلى الصفر حسب الشرط

التطبيق: فضاءات Sobolev

النظرية 6.7: لتكن $A$ دالة Young، $p \in (1,n)$، $q \in [1,\infty]$ أو $p=q=1$. لتكن $\{u_n\} \subset W^1(L^A, L^{p,q})(\mathbb{R}^n)$ محدودة وتحقق $\lim_{n\to\infty} |\{x \in \mathbb{R}^n : |u_n(x)| > \varepsilon\}| = 0, \quad \forall \varepsilon > 0$

إذا كانت $B$ دالة Young تحقق $B \ll_0 A$ و

• عندما $q \in [1, np/(n-p)]$: $\lim_{t\to\infty} t^{np/(n-p)}/B(t) = \infty$
• عندما $q \in (np/(n-p), \infty]$: $\int_1^\infty (B(t)/t^{np/(n-p)})^{q/(q-np/(n-p))} \frac{dt}{t} < \infty$

إذن $\lim_{n\to\infty} \|u_n\|_{L^B(\mathbb{R}^n)} = 0$.

الإثبات: تطبيق النظرية 4.7، حيث

• $X = L^A(\mathbb{R}^n)$
• $Y = L^{np/(n-p),q}_{loc}(\mathbb{R}^n)$ (فضاء Lorentz الموضعي)
• $Z = L^B(\mathbb{R}^n)$

باستخدام:

• التضمين في Sobolev: $W^1(L^A, L^{p,q}) \hookrightarrow (L^A \cap L^{np/(n-p),q}_{loc})$ (من 1)
• $L^A \stackrel{*}{\hookrightarrow}_\infty L^B$ (من الاقتراح 6.5)
• $L^{np/(n-p),q}_{loc} \stackrel{*}{\hookrightarrow}_{loc} L^B$ (من 21)

الاكتشافات الرئيسية

1. التكامل بين العلاقات: $\stackrel{*}{\hookrightarrow}_\infty$ و $\stackrel{*}{\hookrightarrow}_{loc}$ تتحكم في الدوال من اتجاهات "اللانهاية" و "الموضعية"، مما يضمن الانضغاطية معاً
2. دقة شروط الفهرس: لفضاءات Lorentz، $L^{p_1,q_1} \stackrel{*}{\hookrightarrow}_\infty L^{p_2,q_2}$ يعتمد فقط على $p_1 < p_2$، بغض النظر عن $q_1, q_2$
3. الشرط الأساسي لفضاءات Orlicz: $A \ll_0 B$ يميز بدقة النمو النسبي لدوال Young بالقرب من الصفر، وهو يوصف تماماً العلاقة في فضاءات Orlicz
4. دقة الثنائية: لفضاءات دوال شبه-Banach عامة، $X \stackrel{*}{\hookrightarrow}_\infty Y \implies Y' \stackrel{*}{\hookrightarrow}_\infty X'$ يتطلب افتراضاً إضافياً $\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$، لكن لفضاءات Banach الثابتة تحت إعادة الترتيب هذه علاقة متكافئة

الأعمال ذات الصلة

1. التضمينات شبه الانضغاطية

• Luxemburg-Zaanen 19: أول دراسة منهجية لعلاقة $X \stackrel{*}{\hookrightarrow} Y$
• Slavíková 27: نظرية عامة، إثبات أن $X \stackrel{*}{\hookrightarrow} Y$ لا يحدث أبداً عندما $\mu(R) = \infty$ (Theorem 4.5)
• مساهمة هذه الورقة: تقديم $\stackrel{*}{\hookrightarrow}_{loc}$ كنسخة موضعية، لا تزال مفيدة في حالة القياس اللانهائي

2. انضغاطية تضمينات Sobolev

• Lions 14-17: مبدأ تركيز الانضغاطية، دراسة مشاكل الانضغاطية على $\mathbb{R}^n$
• Kerman-Pick 11, Pustylnik 25, Edmunds وآخرون 6: استخدام $\stackrel{*}{\hookrightarrow}$ لدراسة تضمينات Sobolev المختلفة
• Mihula 20: تضمينات Sobolev للدوال المتماثلة شعاعياً، استخدام ضمني للعلاقتين في هذه الورقة
• مساهمة هذه الورقة: تقديم صريح ودراسة منهجية لـ $\stackrel{*}{\hookrightarrow}_\infty$ و $\stackrel{*}{\hookrightarrow}_{loc}$، إنشاء نظرية عامة

3. فضاءات الدوال شبه-Banach

• Bennett-Sharpley 2: كتاب مرجعي كلاسيكي، نظرية فضاءات Banach الثابتة تحت إعادة الترتيب
• Musilová وآخرون 22, Nekvinda-Peša 23: توسيع حديث للنظرية إلى حالة شبه-Banach
• مساهمة هذه الورقة: دراسة العلاقات الجديدة في إطار شبه-Banach، تقديم مفهوم الدوال الأساسية القيمية

4. الدوال الأساسية

• النظرية الكلاسيكية: الدالة الأساسية $\phi_X(t) = \|\chi_E\|_X$ (حيث $\mu(E)=t$) للفضاءات الثابتة تحت إعادة الترتيب تُستخدم على نطاق واسع
• مساهمة هذه الورقة: تقديم $\phi^{\min}_X$ و $\phi^{\max}_X$ لفضاءات غير ثابتة تحت إعادة الترتيب، تعميم المفهوم الكلاسيكي

الخلاصة والنقاش

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

1. المساهمات النظرية:
   • تقديم وتوصيف كامل لعلاقتي فضاءات الدوال الجديدتين $\stackrel{*}{\hookrightarrow}_\infty$ و $\stackrel{*}{\hookrightarrow}_{loc}$
   • تقديم مفهوم الدوال الأساسية القيمية، توفير أدوات تحليلية لفضاءات غير ثابتة تحت إعادة الترتيب
   • إنشاء مبدأ انضغاطية مجرد، معالجة موحدة لمشاكل الانضغاطية على فضاءات القياس اللانهائية
2. النتائج المحددة:
   • توصيف كامل للعلاقات بين فضاءات Lebesgue و Lorentz و Orlicz
   • توصيف فضاءات النقاط النهائية (Marcinkiewicz و Lorentz النهائي)
   • تطبيق على تقارب فضاءات Sobolev على $\mathbb{R}^n$
3. المنهجية:
   • تعديل مناسب للأدوات من حالة القياس المحدود (التضمينات شبه الانضغاطية) إلى حالة القياس اللانهائي
   • تحقيق الانضغاطية من خلال تحكم مزدوج من "اللانهاية" و "الموضعية"

القيود

1. نطاق التطبيق:
   • النظرية 4.7 تتطلب من المتتالية تحقيق شرط التقارب حسب القياس $\lim_{n\to\infty} \mu(\{|u_n| > \varepsilon\}) = 0$، وهذا يحتاج إلى التحقق المنفصل في التطبيقات
   • لفضاءات غير ثابتة تحت إعادة الترتيب، قد يكون حساب الدوال الأساسية القيمية صعباً
2. الافتراضات التقنية:
   • العديد من النتائج تتطلب قابلية $X$ ($\phi^{\min}_X(t) > 0$ لـ $t > 0$)، مما يستبعد بعض الفضاءات المرضية
   • ثنائية الاقتراح 4.10 تتطلب افتراضاً إضافياً $\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$
3. الاكتمال:
   • تطبيق فضاءات Sobolev في Section 6.3 توضيحي، لم يعطِ نتائج عامة تماماً
   • لم يتم تناول توصيف فضاءات محددة (مثل فضاءات Lebesgue ذات الفهرس المتغير $L^{p(\cdot)}$)
4. التعقيد الحسابي:
   • التحقق من $X \stackrel{*}{\hookrightarrow}_\infty Y$ ينطوي على حد مزدوج ($\sup$ و $\inf$)، قد يكون الحساب الفعلي معقداً
   • لدوال Young عامة، التحقق من $A \ll_0 B$ يتطلب تحليل السلوك الدقيق للدالة بالقرب من الصفر

الاتجاهات المستقبلية

1. التعميم إلى فضاءات أخرى:
   • فضاءات ذات فهرس متغير $L^{p(\cdot)}$، فضاءات مرجحة وغيرها من الفضاءات غير الثابتة تحت إعادة الترتيب
   • فضاءات Besov و Triebel-Lizorkin وفضاءات دوال أكثر عمومية
2. توسيع التطبيقات:
   • توصيف كامل لانضغاطية تضمينات فضاءات Sobolev المتجانسة $\dot{W}^{m,p}$
   • انضغاطية معاملات التتبع والمعاملات التكاملية
   • انضغاطية المعاملات غير الخطية في فضاءات الدوال
3. تعميق النظرية:
   • خصائص أعمق للدوال الأساسية القيمية (تقعير، علاقات ثنائية)
   • شروط ضرورية وكافية لحدود عائلة معاملات المتوسط البسيط على $X$
   • نظرية كاملة للعلاقة $X \hookrightarrow_\infty Y$
4. الطرق الحسابية:
   • تطوير خوارزميات فعالة للتحقق من العلاقات بين فضاءات محددة
   • طرق عددية لتقدير الدوال الأساسية القيمية

التقييم المتعمق

المميزات

1. الابتكار النظري:
   • الأصالة قوية: علاقة $\stackrel{*}{\hookrightarrow}_\infty$ جديدة تماماً، تملأ فجوة في نظرية الانضغاطية على فضاءات القياس اللانهائية
   • المفاهيم طبيعية: الدوال الأساسية القيمية تعميم طبيعي للدالة الأساسية الكلاسيكية للفضاءات الثابتة تحت إعادة الترتيب
   • الإطار موحد: العمل في إطار فضاءات الدوال شبه-Banach العام، يشمل الحالات غير القابلة للتعيير وغير الثابتة تحت إعادة الترتيب
2. العمق الرياضي:
   • التوصيفات كاملة: النظريات 4.3 و 4.6 توصف العلاقات من خلال تقارب الدوال، تكشف الجوهر
   • نظرية الثنائية: الاقتراحات 4.10 و 11 تستكشف الثنائية، رغم الافتراضات التقنية لكنها عميقة
   • الحسابات محددة: Section 6 توصيف كامل لفضاءات Lorentz و Orlicz، الحسابات مفصلة
3. القيمة التطبيقية:
   • مبدأ الانضغاطية: النظرية 4.7 توفر أداة عملية، يمكن تعميم ليما Lions
   • فضاءات Sobolev: النظرية 6.7 تعطي تطبيقاً محدداً، تظهر قوة النظرية
   • قابلية التشغيل: الاستنتاج 4.9 يعطي شروطاً بسيطة كافية، سهل التحقق
4. جودة الكتابة:
   • البنية واضحة: من الدافع → التعريفات → الخصائص → الأمثلة → التطبيقات، منطق صارم
   • الإثباتات مفصلة: النظريات الرئيسية (4.3, 4.7, 6.5) إثباتات كاملة، الحيل ماهرة
   • أمثلة غنية: الملاحظات 3.3, 4.2 وغيرها توفر أمثلة مضادة وحالات حدية

أوجه القصور

1. التعقيد التقني:
   • إثبات النظرية 4.7 ينطوي على قطع ثلاثي ($E_n, F_n, G_n$)، ماهر لكن معقد
   • إدخال الدوال الأساسية القيمية يزيد من العبء النظري، غير ودود للمبتدئين
2. قيود الافتراضات:
   • افتراض القابلية ضروري في بعض النتائج (مثل النظرية 4.3)، لكن يستبعد بعض الفضاءات (انظر الملاحظة 3.3)
   • الافتراض الإضافي في الاقتراح 4.10 ($\lim_{a\to\infty} \phi^{\min}_{Y'}(a) = \infty$) يضعف عمومية الثنائية
3. عمق التطبيق:
   • تطبيق فضاءات Sobolev في Section 6.3 نسبياً بسيط، لم يُظهر الإمكانات الكاملة للنظرية
   • الارتباط مع النتائج للدوال المتماثلة شعاعياً في 20 لم يُوضح بشكل صريح
4. الاكتمال:
   • بعض الأسئلة الطبيعية لم تُحل:
     • توصيف كامل للعلاقة $X \hookrightarrow_\infty Y$ (حل جزئي فقط لفضاءات النقاط النهائية)
     • أمثلة منهجية لفضاءات غير ثابتة تحت إعادة الترتيب (فقط الفضاءات المرجحة في الملاحظة 3.3)
   • دراسة العلاقة $\stackrel{*}{\hookrightarrow}_{loc}$ نسبياً قليلة، تعتمد بشكل أساسي على النتائج من 27
5. سهولة القراءة:
   • لغير المتخصصين، النظرية العامة لفضاءات الدوال شبه-Banach (الخصائص P1-P6) قد تكون غريبة
   • بعض الترميزات (مثل $\stackrel{*}{\hookrightarrow}_\infty$) دقيقة لكن معقدة بصرياً

التأثير

1. التأثير النظري:
   • فتح اتجاهات جديدة: أول دراسة منهجية لـ $\stackrel{*}{\hookrightarrow}_\infty$، متوقع أن تحفز أعمالاً لاحقة
   • قيمة الأداة: الدوال الأساسية القيمية ومبدأ الانضغاطية ستصبح أدوات معيارية لدراسة فضاءات القياس اللانهائية
   • إطار موحد: توفير نظرية منهجية لحالة القياس اللانهائي مشابهة لحالة القياس المحدود
2. آفاق التطبيق:
   • المعادلات التفاضلية الجزئية: حجج الانضغاطية في تركيز الانضغاطية وحساب التغايرات
   • التحليل التوافقي: انضغاطية المعاملات، نظرية الاستيفاء
   • نظرية فضاءات الدوال: توصيف دقيق لنظريات التضمين، نظريات التتبع
3. قابلية إعادة الإنتاج:
   • العمل النظري: جميع الإثباتات كاملة، قابلة للتحقق
   • الأمثلة المحددة: توصيف فضاءات Lorentz و Orlicz يمكن تطبيقه مباشرة
   • مشاكل مفتوحة: نظرية فضاءات النقاط النهائية في Section 5 وتطبيقات Sobolev في Section 6.3 توفر اتجاهات للبحث المستقبلي
4. القيود:
   • الطبيعة التقنية العالية تحد من نطاق الجمهور
   • تتطلب خلفية قوية في التحليل الدالي للفهم والتطبيق الكامل

السيناريوهات القابلة للتطبيق

1. التطبيق المباشر:
   • دراسة انضغاطية تضمينات Sobolev على $\mathbb{R}^n$ أو المتشعبات غير المدمجة
   • تحليل انضغاطية معاملات تكاملية (مثل معاملات Hardy و Riemann-Liouville)
   • التحقق من شرط Palais-Smale في مشاكل التغايرات
2. البحث النظري:
   • تطوير نظرية التضمين لفضاءات دوال جديدة (مثل فضاءات Musielak-Orlicz والفضاءات النمطية)
   • دراسة انضغاطية المعاملات غير الخطية بين فضاءات الدوال
   • تعميم إلى إعدادات أكثر تجريداً (فضاءات كمية، فضاءات قياس متري)
3. مشاكل محددة:
   • تحديد ما إذا كانت زوج فضاءات دوال معطى $(X, Y)$ يحقق $X \stackrel{*}{\hookrightarrow}_\infty Y$
   • استخدام النظرية 4.7 لإنشاء تقارب متتاليات محددة
   • حساب أو تقدير الدوال الأساسية القيمية
4. الحالات غير المناسبة:
   • فضاءات القياس المحدود (النظرية الكلاسيكية كافية)
   • فضاءات منفصلة أو قياسات ذرية (الافتراضات تفترض قياساً غير ذري)
   • الحالات التي تتطلب تقديرات معدل صريح (النظريات تعطي سلوك حد، وليس تقديرات كمية)

المراجع الرئيسية

2 C. Bennett و R. Sharpley. Interpolation of operators. Academic Press, 1988.
14 P.-L. Lions. Symétrie et compacité dans les espaces de Sobolev. J. Funct. Anal., 49(3):315–334, 1982.
19 W. A. J. Luxemburg و A. C. Zaanen. Compactness of integral operators in Banach function spaces. Math. Ann., 149:150–180, 1963.
20 Z. Mihula. Compact Sobolev embeddings of radially symmetric functions. Preprint arXiv:2503.05922, 2025.
22 A. Musilová وآخرون. On the properties of rearrangement-invariant quasi-Banach function spaces. Nonlinear Anal., 260:Paper No. 113854, 2025.
27 L. Slavíková. Almost-compact embeddings. Math. Nachr., 285(11-12):1500–1516, 2012.

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