In this paper, we present a series of Liouville-type theorems for a class of nonhomogeneous quasilinear elliptic equations featuring reactions that depend on the solution and its gradient. Specifically, we investigate equations of the form $-Î_p u - Î_q u = f(u,\nabla u)$ with $p > q > 1$, where the nonlinearity $f$ takes forms such as $u^s|\nabla u|^m$ or $u^s + M|\nabla u|^m$ ($s, m\geq 0$). Our approach is twofold. For cases where the reaction term satisfies $|f(u,\nabla u)|\leq g(u)|\nabla u|^m$ with $m>q$ and $g$ is continuous, we prove that every bounded solution (without sign restriction) in $\mathbb{R}^N$ is constant by means of an Ishii-Lions type technique. In the remaining scenarios, we turn to the Bernstein method. The application of this method to the nonhomogeneous operator requires a nontrivial adaptation, as, roughly speaking, constant coefficients are replaced by functions that may not be bounded from above, which enables us to establish a crucial a priori estimate for the gradient of solutions in any domain $Ω$. This estimate, in turn, implies the desired Liouville properties on the entire space $\mathbb{R}^N$. As a consequence, we have fully extended Lions Liouville-type result for the Hamilton-Jacobi equation to the $(p,q)$-Laplacian setting, while for the $(p,q)$ generalized Lane-Emden equation, we provide an initial contribution in the direction of the classical result by Gidas and Spruck for $p=q=2$, as well as that of Serrin and Zou for $p=q$.
To the best of our knowledge, this is the first paper which studies Liouville properties for equations with nonhomogeneous operator involving source gradient terms.
معرّف الورقة : 2510.12486العنوان : نتائج ليوفيل لمعادلات لابلاسيان ( p , q ) (p,q) ( p , q ) الإهليلجية مع حدود مصدر تتضمن لاخطيات التدرجالمؤلفون : موسومي بهاكتا، أنوب بيسواس، روبرتا فيليبوتشيالتصنيف : math.AP (التحليل الرياضي)تاريخ النشر : 14 أكتوبر 2025رابط الورقة : https://arxiv.org/abs/2510.12486 تؤسس هذه الورقة سلسلة من نظريات ليوفيل لفئة من المعادلات الإهليلجية شبه الخطية غير المتجانسة التي تتضمن حدود مصدر غير خطية في التدرج. يتم دراسة المعادلات من الشكل − Δ p u − Δ q u = f ( u , ∇ u ) -\Delta_p u - \Delta_q u = f(u,\nabla u) − Δ p u − Δ q u = f ( u , ∇ u ) ، حيث p > q > 1 p > q > 1 p > q > 1 ، والحد غير الخطي f f f له الشكل u s ∣ ∇ u ∣ m u^s|\nabla u|^m u s ∣∇ u ∣ m أو u s + M ∣ ∇ u ∣ m u^s + M|\nabla u|^m u s + M ∣∇ u ∣ m (حيث s , m ≥ 0 s, m \geq 0 s , m ≥ 0 ). تستخدم الدراسة نهجاً ثنائياً: بالنسبة للحالات التي تحقق ∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣ ∇ u ∣ m |f(u,\nabla u)| \leq g(u)|\nabla u|^m ∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣∇ u ∣ m و m > q m > q m > q ، يتم إثبات أن جميع الحلول المحدودة (بدون قيود على الإشارة) على R N \mathbb{R}^N R N هي ثوابت باستخدام تقنية إيشي-ليونز؛ في الحالات الأخرى يتم استخدام طريقة برنشتاين. يتطلب تطبيق هذه الطريقة على المؤثرات غير المتجانسة تعديلات غير تافهة، حيث يتم استبدال المعاملات الثابتة بدوال قد تكون غير محدودة.
الخلفية الفيزيائية : يمتلك مؤثر لابلاسيان ( p , q ) (p,q) ( p , q ) تطبيقات مهمة في أنظمة التفاعل-الانتشار، بالشكل العام:
u t = div [ A ( u ) ∇ u ] + c ( x , u ) u_t = \text{div}[A(u)\nabla u] + c(x,u) u t = div [ A ( u ) ∇ u ] + c ( x , u )
حيث معامل الانتشار A ( u ) = ( ∣ ∇ u ∣ p − 2 + ∣ ∇ u ∣ q − 2 ) A(u) = (|\nabla u|^{p-2} + |\nabla u|^{q-2}) A ( u ) = ( ∣∇ u ∣ p − 2 + ∣∇ u ∣ q − 2 ) يعتمد على قوانين أسية.التحديات الرياضية : البنية غير المتجانسة للمؤثر تجعل التقنيات التقليدية من الحالة المتجانسة غير قابلة للتطبيق المباشر، مما يتطلب تطوير طرق تحليلية جديدة.لاخطية التدرج : وجود حدود التدرج يفقد المشكلة البنية التغايرية، مما يتطلب استخدام تقنيات أكثر دقة للمعالجة.نتائج ليونز 23 لمعادلات هاملتون-جاكوبي Δ u = ∣ ∇ u ∣ m \Delta u = |\nabla u|^m Δ u = ∣∇ u ∣ m تنطبق فقط على مؤثر لابلاسيان التعميمات من قبل بيدو-فيرون وآخرين 8 لحالة p p p -لابلاسيان تحتوي على قيود تقنية لم تتم دراسة الخصائص الليوفيلية لمؤثر لابلاسيان ( p , q ) (p,q) ( p , q ) غير المتجانس من قبل إنشاء أول خصائص ليوفيل لمعادلات المؤثرات غير المتجانسة التي تتضمن حدود مصدر في التدرجتعميم كامل لنتائج ليونز لمعادلات هاملتون-جاكوبي إلى إعداد لابلاسيان ( p , q ) (p,q) ( p , q ) تطوير تقنيات جديدة : تكييف طريقة برنشتاين مع المؤثرات غير المتجانسة، معالجة مشاكل المعاملات غير الثابتةتوفير شروط عتبة دقيقة تميز نطاق المعاملات التي تنطبق فيها خصائص ليوفيلتوحيد نتائج كلاسيكية متعددة ، بما في ذلك تعميمات جيداس-سبروك وسيرين-زودراسة خصائص ليوفيل لحلول المعادلة − Δ p u − Δ q u = f ( u , ∇ u ) -\Delta_p u - \Delta_q u = f(u,\nabla u) − Δ p u − Δ q u = f ( u , ∇ u ) على R N \mathbb{R}^N R N ، حيث:
Δ p u = div ( ∣ ∇ u ∣ p − 2 ∇ u ) \Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u) Δ p u = div ( ∣∇ u ∣ p − 2 ∇ u ) هو مؤثر p p p -لابلاسيانf f f له ثلاث أشكال: ∣ ∇ u ∣ m |\nabla u|^m ∣∇ u ∣ m , u s ∣ ∇ u ∣ m u^s|\nabla u|^m u s ∣∇ u ∣ m , u s + M ∣ ∇ u ∣ m u^s + M|\nabla u|^m u s + M ∣∇ u ∣ m بالنسبة لحالة m > q m > q m > q ، يتم استخدام طريقة إيشي-ليونز من نظرية الحلول اللزجة:
الخطوات الرئيسية :
بناء دالة ثنائية المتغير: Φ ( x , y ) = u ( x ) − u ( y ) − δ ∣ x − y ∣ γ − ψ ( x / R ) \Phi(x,y) = u(x) - u(y) - \delta|x-y|^\gamma - \psi(x/R) Φ ( x , y ) = u ( x ) − u ( y ) − δ ∣ x − y ∣ γ − ψ ( x / R ) استخدام ليما كراندال-إيشي-جنسن للحصول على خصائص الرافعات الثنائية من الدرجة الثانية من خلال التقديرات الدقيقة إثبات التناقض، وبالتالي الحصول على ثابتية الحل بالنسبة للحالات الأخرى، يتم تطوير تقنية برنشتاين المكيفة مع المؤثرات غير المتجانسة:
الابتكارات التقنية :
إدخال دالة مساعدة: A = 1 + ∣ b ∣ p − q v ( b − 1 ) ( p − q ) z ( p − q ) / 2 A = 1 + |b|^{p-q}v^{(b-1)(p-q)}z^{(p-q)/2} A = 1 + ∣ b ∣ p − q v ( b − 1 ) ( p − q ) z ( p − q ) /2 بناء مؤثر إهليلجي: A v ( w ) = − Δ w − D A ⟨ D 2 w ∇ v , ∇ v ⟩ ∣ ∇ v ∣ 2 A_v(w) = -\Delta w - \frac{D}{A}\frac{\langle D^2w\nabla v, \nabla v\rangle}{|\nabla v|^2} A v ( w ) = − Δ w − A D ∣∇ v ∣ 2 ⟨ D 2 w ∇ v , ∇ v ⟩ إنشاء عدم مساواة رئيسية (اللمة 2) لمعالجة المعاملات غير الثابتة بالنسبة للاخطية الضربية u s ∣ ∇ u ∣ m u^s|\nabla u|^m u s ∣∇ u ∣ m ، يتم تعريف عتبات معقدة:
Q 1 = 2 ( q − 1 ) N − 4 ( q − 1 ) 2 N 2 − R Q_1 = \frac{2(q-1)}{N} - \sqrt{\frac{4(q-1)^2}{N^2} - R} Q 1 = N 2 ( q − 1 ) − N 2 4 ( q − 1 ) 2 − R Q 2 = 2 ( q − 1 ) N + 4 ( q − 1 ) 2 N 2 − R Q_2 = \frac{2(q-1)}{N} + \sqrt{\frac{4(q-1)^2}{N^2} - R} Q 2 = N 2 ( q − 1 ) + N 2 4 ( q − 1 ) 2 − R
حيث R = ( p − q ) [ p − q + 4 N ( p − 1 ) ] R = (p-q)[p-q + \frac{4}{N}(p-1)] R = ( p − q ) [ p − q + N 4 ( p − 1 )]
معالجة عدم التجانس : تعميم المعاملات الثابتة في طريقة برنشتاين إلى معاملات دوال تعتمد على الحلتقديرات إهليلجية دقيقة : إثبات الإهليلجية المنتظمة للمؤثر المعدلحسابات جبرية معقدة : معالجة متعددات حدود من الدرجة الثالثة تتضمن معاملات متعددةتحليل تحويلات المقياس : استخدام خصائص عدم التغير التقريبي للمقياس في المعادلةبالنسبة للمعادلة − Δ p u − Δ q u = ∣ ∇ u ∣ m -\Delta_p u - \Delta_q u = |\nabla u|^m − Δ p u − Δ q u = ∣∇ u ∣ m ، عندما m > p − 1 m > p-1 m > p − 1 :
يوجد تقدير للتدرج: ∣ ∇ u ( x ) ∣ ≤ C ( 1 + dist ( x , ∂ Ω ) − 1 m − p + 1 ) |\nabla u(x)| \leq C(1 + \text{dist}(x,\partial\Omega)^{-\frac{1}{m-p+1}}) ∣∇ u ( x ) ∣ ≤ C ( 1 + dist ( x , ∂ Ω ) − m − p + 1 1 ) كل حل على R N \mathbb{R}^N R N هو ثابت بالنسبة للمعادلة − Δ p u − Δ q u = u s ∣ ∇ u ∣ m -\Delta_p u - \Delta_q u = u^s|\nabla u|^m − Δ p u − Δ q u = u s ∣∇ u ∣ m ، تحت شروط معاملات مناسبة:
إنشاء تقديرات سابقة للتدرج إثبات ثابتية الحلول غير السالبة على R N \mathbb{R}^N R N بالنسبة للحالة العامة التي تحقق ∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣ ∇ u ∣ m |f(u,\nabla u)| \leq g(u)|\nabla u|^m ∣ f ( u , ∇ u ) ∣ ≤ g ( u ) ∣∇ u ∣ m و m > q m > q m > q :
جميع الحلول المحدودة على R N \mathbb{R}^N R N هي ثوابت بالنسبة للمعادلة − Δ p u − Δ q u = u s + M ∣ ∇ u ∣ m -\Delta_p u - \Delta_q u = u^s + M|\nabla u|^m − Δ p u − Δ q u = u s + M ∣∇ u ∣ m :
إنشاء تقديرات للتدرج وخصائص ليوفيل توفير شروط عتبة معاملات دقيقة عدم التجانس : عدم تجانس مؤثر لابلاسيان ( p , q ) (p,q) ( p , q ) يكسر عدم التغير بالنسبة للمقياسالإهليلجية ذات المعاملات المتغيرة : المؤثر المعدل يمتلك معاملات متغيرة تعتمد على الحلالحسابات الجبرية المعقدة : الحاجة لمعالجة الحكم على الإشارة لمتعددات حدود عالية الدرجةتعريفات دوال دقيقة : توحيد معالجة حالات مختلفة من خلال دوال A , D , E A, D, E A , D , E تطبيق ذكي لعدم مساواة يونج : موازنة حدود مختلفة في التقديرات الرئيسيةالتحليل التقاربي : استخدام السلوك النهائي عندما تميل المعاملات إلى اللانهايةليونز (1985) : نظرية ليوفيل لمعادلات هاملتون-جاكوبيجيداس-سبروك (1981) : النتائج الكلاسيكية لمعادلة لين-إيمدنسيرين-زو (2002) : تعميمات حالة p p p -لابلاسيانبيدو-فيرون وآخرون : حالة p p p -لابلاسيان مع لاخطيات التدرجتتناول هذه الورقة لأول مرة حالة مؤثر لابلاسيان ( p , q ) (p,q) ( p , q ) غير المتجانس، مما يملأ فجوة في هذا المجال.
حل كامل لخصائص ليوفيل لمعادلات النوع الهاملتون-جاكوبي في إعداد لابلاسيان ( p , q ) (p,q) ( p , q ) توفير عتبات معاملات دقيقة للاخطيات الضربية والجمعية تطوير تقنيات جديدة للتعامل مع المؤثرات غير المتجانسة بالنسبة لحالة m > q m > q m > q ، يتطلب افتراض محدودية الحل قد لا تكون عتبات المعاملات في بعض النطاقات مثلى تعقيد الطريقة التقنية يحد من التعميمات الإضافية البحث عن إزالة افتراض المحدودية التعميم إلى مؤثرات غير متجانسة أكثر عمومية دراسة المشاكل المتعلقة بالوجود الاكتمال النظري : معالجة منهجية لأنواع متعددة من الحدود غير الخطيةالابتكار التقني : نجاح تكييف الطرق الكلاسيكية مع الحالة غير المتجانسةدقة النتائج : توفير شروط عتبة معاملات واضحةالقيمة التطبيقية : توفير أساس رياضي لنماذج فيزيائية ذات صلةالتعقيد التقني : بعض الإثباتات معقدة جداً من الناحية التقنية، مما يؤثر على القابلية للقراءةقيود الافتراضات : بعض النتائج تتطلب افتراضات قوية نسبياًالأمثلية : لم يتم تحديد أمثلية بعض عتبات المعاملات بشكل كامليفتح هذا العمل مجال دراسة نظرية ليوفيل للمؤثرات غير المتجانسة، ومن المتوقع أن يدفع مزيداً من التطور في هذا المجال، ويوفر آفاقاً جديدة لمشاكل الوجود والانتظام ذات الصلة.
التحليل الرياضي لأنظمة التفاعل-الانتشار نظرية المعادلات الإهليلجية غير الخطية دراسة الحلول المنعزلة في الفيزياء الرياضية نظرية النقاط الحرجة للمشاكل التغايرية تستشهد الورقة بـ 32 مرجعاً مهماً، تغطي نظرية ليوفيل، المعادلات الإهليلجية، نظرية الحلول اللزجة وغيرها من الاتجاهات الكلاسيكية والمتقدمة، مما يوفر أساساً نظرياً متيناً للبحث.