Weighted Hardy-Sobolev type inequalities with boundary terms

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

1. المشكلة

يتناول المؤلفون القيود المفروضة على متباينات هاردي وسوبوليف الكلاسيكية. تقليدياً، تتطلب متباينات هاردي (التي تربط معيار $L^p$ لدالة ما بوزن مفرد بمعيار تدرجها في $L^p$) أن تتلاشى الدالة عند الحدود (على سبيل المثال، $u \in C_0^\infty(\mathbb{R}^N_+)$).

المشكلة المركزية التي يتم استقصاؤها هنا هي: كيف يمكننا إرساء متباينات من نوع هاردي وسوبوليف موزونة للدوال $u \in C_0^\infty(\mathbb{R}^N)$ التي لا تتلاشى عند الحدود $\partial\Omega$؟ ولتحقيق ذلك، أدخل المؤلفون حدوداً طرفية في المتباينات لتعويض القيم غير الصفرية للدالة عند الحدود.

2. المنهجية

يعمل المؤلفون في نطاقات $\Omega \subset \mathbb{R}^N$ تُعرف بأنها المنطقة الواقعة فوق رسم بياني لدالة مستمرة $\psi: \mathbb{R}^{N-1} \to \mathbb{R}$. وهذا يسمح بفئة عامة جداً من النطاقات، بما في ذلك تلك ذات الحدود غير الناعمة (مثل حدود نوع وييرشتراس) حيث لا يمكن تطبيق نظرية التباعد (Divergence Theorem) بشكل مباشر.

تعتمد المنهجية على:

• افتراضات الرتابة: يتم تصنيف دالة الوزن $W$ إلى حالتين رئيسيتين: متزايدة ($W_{x_N} > 0$) ومتناقصة ($W_{x_N} < 0$) في الاتجاه العمودي على الحدود.
• التكامل بالتجزئة/النظرية الأساسية لحساب التفاضل والتكامل: تستخدم البراهين نظرية فوبيني والنظرية الأساسية لحساب التفاضل والتكامل لربط تكامل مشتقة الوزن بالقيم الحدية.
• الاستيفاء والقياس: للانتقال من متباينات نوع هاردي إلى تضمينات نوع سوبوليف، يستخدم المؤلفون متباينة هولدر، ومتباينة يونج، والاستيفاء بين متباينات غالياردو-نينيرفان-سوبوليف (GNS) الكلاسيكية ومتباينات هاردي المستمدة حديثاً.

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

أ. متباينات هاردي الموزونة

تقدم الورقة نوعين أساسيين من متباينات هاردي:

• النوع الأول (الأوزان المتزايدة): إذا كانت $W$ متزايدة، فإن المتباينة تحد من معيار $L^p$ الموزون لـ $u$ وحد طرفي بـ معيار $L^p$ الموزون لتدرجها:
  $$\int_{\Omega} W_{x_N}|u|^p \, dx + p \int_{\mathbb{R}^{N-1}} W(x', \psi(x'))|u(x', \psi(x'))|^p \, dx' \leq C \int_{\Omega} \frac{W^p}{[W_{x_N}]^{p-1}} |\nabla u|^p \, dx$$
• النوع الثاني (الأوزان المتناقصة): إذا كانت $W$ متناقصة، ينتقل الحد الطرفي إلى الجانب الأيمن من المتباينة.

ب. تضمينات سوبوليف الموزونة

يمد المؤلفون هذه النتائج لإرساء تضمينات مستمرة للفضاءات المكتملة $D_W^+$ و $D_W^-$:

• الحالة دون الحرجة ($1 < p < N$): يثبتون التضمينات في فضاءات ليبزيج الموزونة $L^{q(s)}(\Omega, W^{s/p}x_N^{-1})$.
• الحالة الحرجة/الحدية ($p = N$): يرسون التضمينات في $L^q$ لجميع قيم $q \in [N, +\infty)$، مما يوفر إطاراً لتحليل نوع ترودنجر-موزر.

ج. تضمينات الأثر (Trace Embeddings)

تتمثل إحدى المساهمات الكبرى في إثبات تضمينات أثر سوبوليف الموزونة، والتي تظهر أن تقييد الدوال في هذه الفضاءات الموزونة إلى الحدود $\partial\Omega$ هو عملية مستمرة في فضاءات $L^q(\partial\Omega, W)$ موزونة معينة.

4. الأهمية والتطبيقات

تعد النتائج ذات أهمية رياضية لأنها تخفف من متطلبات الانتظام على حدود النطاق (تتطلب فقط استمرارية $\psi$) وعلى الدالة (إزالة شرط $u=0$ عند $\partial\Omega$).

تشمل التطبيقات العملية:

• المعادلات التفاضلية الجزئية غير الخطية: توفر المتباينات الإطار التحليلي الدالي اللازم لدراسة وجود الحلول للمعادلات الإهليلجية ذات شروط نيومان أو روبن الحدودية في النطاقات غير المحدودة.
• الطرق المتغيرة (Variational Methods): من خلال ضمان أن الدوال الطاقية (مثل تلك الموصوفة في المثال 5.1) معرفة جيداً وتلبي شروط نمو معينة، تسمح هذه النتائج بتطبيق نظرية النقاط الحرجة لحل مسائل القيم الحدية المعقدة.
• الحدة (Sharpness): يقدم المؤلفون أمثلة مضادة وأمثلة أوزان محددة (أسية، لوغاريتمية، إلخ) لإثبات أن شروطهم حادة ولا يمكن إضعافها بسهولة.