DOI: https://doi.org/10.1007/s00030-026-01188-1
تاريخ النشر: 2026-01-27
المؤلف: Somnath Gandal وآخرون
الموضوع الرئيسي: المعادلات التفاضلية الجزئية غير الخطية
مقدمة
في هذه الورقة، يقوم المؤلفون بالتحقيق في مشاكل من نوع بريز-نيرنبرغ شبه الخطية المرتبطة بمشغل غروشين p-لابلاس، مع التركيز على المعادلات غير الخطية تحت الإهليلجيّة من الشكل
\[
-\Delta_{\gamma,p} u = \lambda |u|^{q-2} u + |u|^{p^*_\gamma – 2} u \quad \text{في } \Omega \subset \mathbb{R}^N،
\]
مع شروط الحدود \( u = 0 \) على \( \partial \Omega \). يتم تعريف مشغل غروشين p-لابلاس باستخدام تدرج محدد يتضمن مجالات متجهة تعتمد على معلمة \( \gamma > 0 \). يهدف المؤلفون إلى توسيع النتائج السابقة المتعلقة بالحالة شبه الخطية (حيث \( p = 2 \)) إلى السيناريو شبه الخطي، خاصة عندما \( 1 < p < N_\gamma \)، حيث \( N_\gamma \) هو بعد الفضاء المتجانس المرتبط بجغرافيا غروشين. تؤسس الورقة عدة نتائج رئيسية، بما في ذلك وجود دوال قصوى للمتباينة p-سوبوليف المرتبطة والشروط التي توجد بموجبها حلول غير تافهة للمعادلات في مجالات محدودة تتقاطع مع مجموعة الانحلال للمشغل. ومن الجدير بالذكر، أن المؤلفين يستخلصون نتائج لكل من الاضطرابات p-خطية والعمومية تحت الحرجة، مما يوضح أن بعد الفضاء المتجانس \( N_\gamma \) يلعب دورًا حاسمًا مشابهًا للأبعاد الطوبولوجية في الإعداد الإقليدي. هيكل الورقة منظم في أقسام تقدم الإطار الوظيفي، وتثبت وجود الحد الأدنى، وتستكشف خصائصها النوعية، مما يؤدي إلى نتائج الوجود للمشاكل المذكورة.
نتائج
في هذا القسم، يقدم المؤلفون نتائج الوجود لمشاكل من نوع بريز-نيرنبرغ، مع التركيز بشكل خاص على النظريتين 1.2 و 1.3. يعرفون الدالة الطاقية \( J_\lambda : W^{1,p}_\gamma(\Omega) \to \mathbb{R} \) على أنها
\[
J_\lambda(u) := \frac{1}{p} \int_\Omega |\nabla_\gamma u|^p \, dz – \lambda \int_\Omega |u|^q \, dz – \frac{1}{p^*_\gamma} \int_\Omega |u|^{p^*_\gamma} \, dz،
\]
حيث \( p \leq q < p^*_\gamma \). يتم إثبات وجود نقاط حرجة من خلال نظرية مرور الجبل، مستفيدين من خصائص الانضغاط لـ \( J_\lambda \) تحت شروط محددة. يقوم المؤلفون بتكييف تقنيات بريز-نيرنبرغ الكلاسيكية مع إعداد غروشين، مستخدمين التوسعات الأسية والتحليل النوعي لإظهار أن \( J_\lambda \) يفي بشرط باليس-سميل. تشمل النتائج الرئيسية اللمحة 5.1، التي تؤكد وجود حل غير تافه \( u \in W^{1,p}_\gamma(\Omega) \) بحيث \( J_\lambda(u) = 0 \) تحت شروط معينة من الحدود. بالإضافة إلى ذلك، توضح اللمحة 5.2 متطلبات هندسة مرور الجبل لـ \( J_\lambda \)، مؤكدة وجود مستوى مرور جبل \( c_\lambda \) الذي يبقى تحت عتبة الانضغاط. يختتم المؤلفون بإثبات أنه، تحت افتراضات النظريتين 1.2 و 1.3، توجد حلول غير تافهة لنطاقات المعلمات المحددة \( \lambda \) و \( q \).
مناقشة
في هذا القسم، يقوم المؤلفون بالتحقيق في المعادلات الإهليلجية شبه الخطية المتدهورة المميزة بمشغل غروشين p-لابلاس، مع التركيز بشكل خاص على وجود دوال قصوى لمتباينات من نوع سوبوليف وسلوكها النوعي. تأخذ المعادلات قيد النظر الشكل
\[
-\Delta_{\gamma,p} u = \lambda |u|^{q-2} u + |u|^{p^*_{\gamma} – 2} u
\]
في مجال محدد سلس \(\Omega \subset \mathbb{R}^N\)، مع شروط الحدود \(u = 0\) على \(\partial \Omega\). يتم تعريف الأس الأقصى لسوبوليف \(p^*_{\gamma}\) بالنسبة للبعد المتجانس \(N_{\gamma} = m + (1 + \gamma)n\). يقوم المؤلفون بتوسيع النتائج السابقة من خلال إثبات وجود دوال قصوى لمتباينة سوبوليف، وهو أمر حاسم لفهم سلوك الحلول لمشكلة الحد
\[
-\Delta_{\gamma,p} u = u^{p^*_{\gamma} – 1}
\]
في \(\mathbb{R}^N\). يستخدمون تقنيات التركيز والانضغاط لإظهار أن الحد الأدنى من ثابت سوبوليف يتم تحقيقه، مما يؤكد وجود الحد الأدنى.
علاوة على ذلك، يتم تحليل السلوك النوعي لهذه الدوال القصوى، مما يكشف أن الحلول تظهر معدلات تلاشي محددة مع اقترابها من اللانهاية. يستنتج المؤلفون أنه إذا كان \(u\) حلاً غير سالب لمشكلة الحد، فإنه ينتمي إلى كل من \(L^{\infty}(\mathbb{R}^N)\) و \(L^{p^*_{\gamma}/p, \infty}(\mathbb{R}^N)\)، مع معدلات تلاشي مميزة بـ
\[
u(z) \sim d(z)^{\frac{p-N_{\gamma}}{p-1}}
\]
عندما \(d(z) \to \infty\)، حيث \(d(z)\) هو المعيار المتجانس. لا يقتصر هذا التحليل على توسيع فهم متباينات سوبوليف في سياق مشغلات غروشين فحسب، بل يوفر أيضًا رؤى حول انتظام وسلوك الحلول لهذه المعادلات المعقدة.
DOI: https://doi.org/10.1007/s00030-026-01188-1
Publication Date: 2026-01-27
Author(s): Somnath Gandal et al.
Primary Topic: Nonlinear Partial Differential Equations
Introduction
In this paper, the authors investigate quasilinear Brezis-Nirenberg type problems associated with the p-Laplace Grushin operator, focusing on the nonlinear subelliptic equations of the form
\[
-\Delta_{\gamma,p} u = \lambda |u|^{q-2} u + |u|^{p^*_\gamma – 2} u \quad \text{in } \Omega \subset \mathbb{R}^N,
\]
with boundary conditions \( u = 0 \) on \( \partial \Omega \). The Grushin p-Laplace operator is defined using a specific gradient involving vector fields that depend on a parameter \( \gamma > 0 \). The authors aim to extend previous results concerning the semilinear case (where \( p = 2 \)) to the quasilinear scenario, particularly when \( 1 < p < N_\gamma \), where \( N_\gamma \) is the homogeneous space dimension related to the Grushin geometry. The paper establishes several key results, including the existence of extremal functions for the associated p-Sobolev inequality and the conditions under which nontrivial solutions exist for the equations in bounded domains intersecting the degeneration set of the operator. Notably, the authors derive results for both p-linear and general subcritical perturbations, demonstrating that the homogeneous space dimension \( N_\gamma \) plays a critical role analogous to the topological dimension in the Euclidean setting. The structure of the paper is organized into sections that introduce the functional framework, prove the existence of minimizers, and explore their qualitative properties, culminating in the existence results for the stated problems.
Results
In this section, the authors present the existence results for Brezis-Nirenberg type problems, specifically focusing on Theorems 1.2 and 1.3. They define the energy functional \( J_\lambda : W^{1,p}_\gamma(\Omega) \to \mathbb{R} \) as
\[
J_\lambda(u) := \frac{1}{p} \int_\Omega |\nabla_\gamma u|^p \, dz – \lambda \int_\Omega |u|^q \, dz – \frac{1}{p^*_\gamma} \int_\Omega |u|^{p^*_\gamma} \, dz,
\]
where \( p \leq q < p^*_\gamma \). The existence of critical points is established through the Mountain Pass Theorem, leveraging the compactness properties of \( J_\lambda \) under specific conditions. The authors adapt classical Brezis-Nirenberg techniques to the Grushin setting, utilizing asymptotic expansions and qualitative analysis to demonstrate that \( J_\lambda \) satisfies the Palais-Smale condition. Key findings include Lemma 5.1, which asserts the existence of a nontrivial solution \( u \in W^{1,p}_\gamma(\Omega) \) such that \( J_\lambda(u) = 0 \) under certain boundedness conditions. Additionally, Lemma 5.2 outlines the Mountain Pass geometry requirements for \( J_\lambda \), confirming the existence of a mountain-pass level \( c_\lambda \) that remains below a compactness threshold. The authors conclude by proving that, under the assumptions of Theorems 1.2 and 1.3, nontrivial solutions exist for the specified ranges of parameters \( \lambda \) and \( q \).
Discussion
In this section, the authors investigate quasilinear degenerate elliptic equations characterized by the Grushin p-Laplace operator, specifically focusing on the existence of extremals for Sobolev-type inequalities and their qualitative behavior. The equations under consideration take the form
\[
-\Delta_{\gamma,p} u = \lambda |u|^{q-2} u + |u|^{p^*_{\gamma} – 2} u
\]
in a smooth bounded domain \(\Omega \subset \mathbb{R}^N\), with boundary conditions \(u = 0\) on \(\partial \Omega\). The critical Sobolev exponent \(p^*_{\gamma}\) is defined in relation to the homogeneous dimension \(N_{\gamma} = m + (1 + \gamma)n\). The authors extend previous results by establishing the existence of extremals for the Sobolev inequality, which is crucial for understanding the behavior of solutions to the limit problem
\[
-\Delta_{\gamma,p} u = u^{p^*_{\gamma} – 1}
\]
in \(\mathbb{R}^N\). They employ concentration compactness techniques to demonstrate that the infimum of the Sobolev constant is achieved, thereby confirming the existence of minimizers.
Furthermore, the qualitative behavior of these extremals is analyzed, revealing that solutions exhibit specific decay rates as they approach infinity. The authors conclude that if \(u\) is a nonnegative solution to the limit problem, it belongs to both \(L^{\infty}(\mathbb{R}^N)\) and \(L^{p^*_{\gamma}/p, \infty}(\mathbb{R}^N)\), with decay rates characterized by
\[
u(z) \sim d(z)^{\frac{p-N_{\gamma}}{p-1}}
\]
as \(d(z) \to \infty\), where \(d(z)\) is the homogeneous norm. This analysis not only extends the understanding of Sobolev inequalities in the context of Grushin operators but also provides insights into the regularity and asymptotic behavior of solutions to these complex equations.