We consider integral functionals with fast growth and the lagrangian explicitly depending on $u$. We prove that the local minimizers are locally Lipschitz continuous.
معرّف الورقة : 2510.09142العنوان : الاستمرارية المحلية لـ Lipschitz للتكاملات الطاقية ذات النمو السريع والحدود من الرتبة الأقلالمؤلف : Andrea Torricelli (قسم العلوم الرياضية G.L. Lagrange، معهد بوليتكنيكو دي تورينو)التصنيف : math.AP (تحليل المعادلات التفاضلية الجزئية)تاريخ النشر : 10 أكتوبر 2025رابط الورقة : https://arxiv.org/abs/2510.09142 تدرس هذه الورقة التوابع التكاملية ذات النمو السريع ودوال لاغرانج التي تعتمد بشكل صريح على u u u . يتم إثبات أن الحدود الدنيا المحلية لمثل هذه التوابع تتمتع باستمرارية محلية من نوع Lipschitz. يملأ هذا البحث فجوة في النظرية الموجودة بشأن نظرية الانتظامية للتوابع التي تحتوي على حدود من الرتبة الأقل تحت شروط النمو السريع.
المشكلة الأساسية التي تدرسها هذه الورقة هي استمرارية Lipschitz للحدود الدنيا المحلية للتابع التكاملي:
F ( u ) = ∫ Ω f ( D u ) + g ( x , u ) d x F(u) = \int_\Omega f(Du) + g(x,u) dx F ( u ) = ∫ Ω f ( D u ) + g ( x , u ) d x
حيث:
f : R n → R f: \mathbb{R}^n \to \mathbb{R} f : R n → R دالة محدبة ذات نمو سريعg : Ω × R → R g: \Omega \times \mathbb{R} \to \mathbb{R} g : Ω × R → R حد من الرتبة الأقل يعتمد بشكل صريح على u u u الاكتمال النظري : تركز الأدبيات الموجودة بشكل أساسي على شروط النمو البطيء أو الحالات الخالية من الحدود من الرتبة الأقل، وتهدف هذه الورقة إلى إنشاء إطار نظري شامل تحت شروط النمو السريع مع وجود حدود من الرتبة الأقلالتطبيقات العملية : لمثل هذه التوابع تطبيقات مهمة في مسائل الالتواء المرن-اللدن واستعادة الصورالتحديات التقنية : يؤدي الجمع بين شروط النمو السريع والحدود من الرتبة الأقل إلى صعوبات تقنية جديدة تتطلب تطوير تقنيات تحليلية جديدةتناولت المراجع 8,17 التوابع ذات النمو السريع/البطيء التي تعتمد فقط على D u Du D u تناولت المرجع 10 التوابع ذات النمو البطيء التي تعتمد في نفس الوقت على u u u و D u Du D u يفتقد وجود نظرية موحدة تتعامل مع النمو السريع مع وجود حدود من الرتبة الأقل إنشاء نظرية استمرارية Lipschitz للتوابع ذات الحدود من الرتبة الأقل تحت شروط النمو السريع إثبات النظرية الرئيسية 1.1 : تحت الافتراضات المناسبة، الحدود الدنيا المحلية تكون محلياً مستمرة من نوع Lipschitz داخل Ω \Omega Ω تطوير تقنيات تقدير أولية جديدة (الليما 1.2)توسيع نطاق تطبيق شرط الميل المحدود (BSC) إلى حالة النمو السريعدراسة الانتظامية للحدود الدنيا المحلية u ∈ W l o c 1 , 1 ( Ω ) ∩ L l o c ∞ ( Ω ) u \in W^{1,1}_{loc}(\Omega) \cap L^\infty_{loc}(\Omega) u ∈ W l oc 1 , 1 ( Ω ) ∩ L l oc ∞ ( Ω ) للتابع F ( u ) = ∫ Ω f ( D u ) + g ( x , u ) d x F(u) = \int_\Omega f(Du) + g(x,u) dx F ( u ) = ∫ Ω f ( D u ) + g ( x , u ) d x ، حيث Ω ⊂ R n \Omega \subset \mathbb{R}^n Ω ⊂ R n مجموعة مفتوحة ومحدودة.
الافتراضات على الدالة f f f :
(H1) شرط الإهليلجية: h 1 ( ∣ ξ ∣ ) ∣ λ ∣ 2 ≤ ∑ i , j = 1 n f ξ i , ξ j ( ξ ) λ i λ j ≤ h 2 ( ∣ ξ ∣ ) ∣ λ ∣ 2 h_1(|\xi|)|\lambda|^2 \leq \sum_{i,j=1}^n f_{\xi_i,\xi_j}(\xi)\lambda_i\lambda_j \leq h_2(|\xi|)|\lambda|^2 h 1 ( ∣ ξ ∣ ) ∣ λ ∣ 2 ≤ ∑ i , j = 1 n f ξ i , ξ j ( ξ ) λ i λ j ≤ h 2 ( ∣ ξ ∣ ) ∣ λ ∣ 2 (H2) شرط النمو: h 2 ( t ) t 2 ≤ c 1 [ 1 + ∫ 0 t h 1 ( s + t 0 ) d s ] α h_2(t)t^2 \leq c_1[1 + \int_0^t \sqrt{h_1(s+t_0)}ds]^\alpha h 2 ( t ) t 2 ≤ c 1 [ 1 + ∫ 0 t h 1 ( s + t 0 ) d s ] α ، حيث 2 ≤ α < 2 ∗ 2 \leq \alpha < 2^* 2 ≤ α < 2 ∗ (H3) شرط التحكم: h 2 ( ∣ ξ ∣ ) ∣ ξ ∣ 2 ≤ c 2 ( 1 + f ( ξ ) ) β h_2(|\xi|)|\xi|^2 \leq c_2(1 + f(\xi))^\beta h 2 ( ∣ ξ ∣ ) ∣ ξ ∣ 2 ≤ c 2 ( 1 + f ( ξ ) ) β ، حيث 1 ≤ β < 2 n α α − 2 1 \leq \beta < \frac{2}{n}\frac{\alpha}{\alpha-2} 1 ≤ β < n 2 α − 2 α الافتراضات على الدالة g g g :
(G1) شرط Lipschitz: ∣ g ( x , s 1 ) − g ( x , s 2 ) ∣ ≤ L ∣ s 1 − s 2 ∣ |g(x,s_1) - g(x,s_2)| \leq L|s_1 - s_2| ∣ g ( x , s 1 ) − g ( x , s 2 ) ∣ ≤ L ∣ s 1 − s 2 ∣ (G2) قابلية التكامل: g ( ⋅ , 0 ) ∈ L l o c 1 ( Ω ) g(\cdot,0) \in L^1_{loc}(\Omega) g ( ⋅ , 0 ) ∈ L l oc 1 ( Ω ) (G3) المحدبية: الدالة s ↦ g ( x , s ) s \mapsto g(x,s) s ↦ g ( x , s ) محدبة (G4) شرط الرتابة: v ≥ u + K ∣ y − x ∣ ⇒ g v + ( y , v ) ≥ g v + ( x , u ) v \geq u + K|y-x| \Rightarrow g_v^+(y,v) \geq g_v^+(x,u) v ≥ u + K ∣ y − x ∣ ⇒ g v + ( y , v ) ≥ g v + ( x , u ) إنشاء تقدير حاسم من خلال تقنية التغيير الثاني:
∥ D u ∥ L ∞ ( B ρ ) ≤ C [ ∫ B R 1 + f ( D u ) d x ] θ \|Du\|_{L^\infty(B_\rho)} \leq C\left[\int_{B_R} 1 + f(Du)dx\right]^\theta ∥ D u ∥ L ∞ ( B ρ ) ≤ C [ ∫ B R 1 + f ( D u ) d x ] θ
النقاط التقنية الرئيسية :
استخدام تقنية الفروقات لإثبات u ∈ W l o c 2 , 2 ( Ω ) u \in W^{2,2}_{loc}(\Omega) u ∈ W l oc 2 , 2 ( Ω ) بناء دالة اختبار ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + \phi = \eta^2 u_{x_k}\Phi(|Du|-1)_+ ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + تطبيق عدم المساواة الشابة والتقديرات الإهليلجية للتحكم في الحدود المختلفة بناء تسلسل من التوابع التقريبية f ~ k \tilde{f}_k f ~ k :
f ~ k ( ξ ) = f k ( ξ ) + 1 k h ( ∣ ξ ∣ t 0 + 2 ) \tilde{f}_k(\xi) = f_k(\xi) + \frac{1}{k}h\left(\frac{|\xi|}{t_0+2}\right) f ~ k ( ξ ) = f k ( ξ ) + k 1 h ( t 0 + 2 ∣ ξ ∣ )
حيث f k f_k f k هو تقريب سلس لـ f f f ، و h h h دالة محدبة مبنية بشكل خاص، مما يضمن:
أن f ~ k \tilde{f}_k f ~ k تحقق الافتراضات بشكل موحد محدب أن f ~ k \tilde{f}_k f ~ k تتقارب بشكل موحد إلى f f f الاستفادة من بيانات الحدود u ε u_\varepsilon u ε (التمويه السلس لـ u u u ) التي تحقق BSC بناء دوال حاجز Lipschitz العلوية والسفلية ℓ ± \ell^{\pm} ℓ ± تطبيق مبدأ المقارنة لإثبات أن الحل التقريبي v k , ε ∈ W 1 , ∞ ( B R ) v_{k,\varepsilon} \in W^{1,\infty}(B_R) v k , ε ∈ W 1 , ∞ ( B R ) تطبيق الليما 2.4 للتحكم في ∥ v k , ε ∥ L ∞ \|v_{k,\varepsilon}\|_{L^\infty} ∥ v k , ε ∥ L ∞ استخدام التقديرات الأولية للتحكم في معايير L ∞ L^\infty L ∞ للتدرج الانتقال إلى الحد من خلال التقارب الضعيف والاستمرارية الدنيا هذه الورقة عبارة عن بحث نظري بحت ولا تتضمن تجارب عددية. يتم التحقق من النتائج النظرية بشكل أساسي من خلال إثبات رياضي صارم.
لتكن u ∈ W l o c 1 , 1 ( Ω ) ∩ L l o c ∞ ( Ω ) u \in W^{1,1}_{loc}(\Omega) \cap L^\infty_{loc}(\Omega) u ∈ W l oc 1 , 1 ( Ω ) ∩ L l oc ∞ ( Ω ) حداً أدنى محلياً للتابع (1)، و f f f تحقق الافتراضات (H1)-(H3)، و g g g تحقق الافتراضات (G1)-(G4). عندئذ u u u تكون محلياً مستمرة من نوع Lipschitz داخل Ω \Omega Ω ، وتوجد R ˉ > 0 \bar{R} > 0 R ˉ > 0 بحيث لأي 0 < ρ < R < R ˉ 0 < \rho < R < \bar{R} 0 < ρ < R < R ˉ ، لدينا
∥ D u ∥ L ∞ ( B ρ ) ≤ C [ 1 ( R − ρ ) n ( ∫ B R f ( D u ) + g ( x , u ) d x + κ ) ] θ \|Du\|_{L^\infty(B_\rho)} \leq C\left[\frac{1}{(R-\rho)^n}\left(\int_{B_R} f(Du) + g(x,u)dx + \kappa\right)\right]^\theta ∥ D u ∥ L ∞ ( B ρ ) ≤ C [ ( R − ρ ) n 1 ( ∫ B R f ( D u ) + g ( x , u ) d x + κ ) ] θ
حيث θ \theta θ تعتمد على α , β , n \alpha, \beta, n α , β , n .
تحت الافتراضات المناسبة، للحد الأدنى المحلي u ∈ W l o c 1 , ∞ ( Ω ) u \in W^{1,\infty}_{loc}(\Omega) u ∈ W l oc 1 , ∞ ( Ω ) ، لدينا
∥ D u ∥ L ∞ ( B ρ ) ≤ C [ ∫ B R 1 + f ( D u ) d x ] θ \|Du\|_{L^\infty(B_\rho)} \leq C\left[\int_{B_R} 1 + f(Du)dx\right]^\theta ∥ D u ∥ L ∞ ( B ρ ) ≤ C [ ∫ B R 1 + f ( D u ) d x ] θ
حالة النمو البطيء : Eleuteri-Perrotta-Treu 10 تناول التوابع ذات النمو البطيء مع حدود من الرتبة الأقلالنمو السريع بدون حدود من الرتبة الأقل : Eleuteri-Marcellini-Mascolo-Perrotta 8 و Marcellini 17 توسيع نظرية BSC : Fiaschi-Treu 11 و Giannetti-Treu 12 أول معالجة منهجية لحالة النمو السريع مع وجود حدود من الرتبة الأقل تطوير تقنيات تقدير جديدة قابلة للتطبيق على النمو السريع توسيع نطاق تطبيق نظرية BSC تنجح هذه الورقة في إنشاء نظرية استمرارية Lipschitz للحدود الدنيا المحلية للتوابع التكاملية ذات الحدود من الرتبة الأقل تحت شروط النمو السريع، مما يملأ فجوة نظرية مهمة في هذا المجال.
تقنيات تقدير أولية جديدة : تتكيف مع الجمع بين النمو السريع والحدود من الرتبة الأقلطريقة تقريب محسّنة : بناء تسلسل تقريبي يحافظ على شروط النموتوسيع نظرية BSC : تعميم النتائج الكلاسيكية على حالات أكثر عموميةالعلاقة بين مؤشرات النمو α \alpha α و β \beta β تخضع لقيود قوية نسبياً التحقق من شرط الافتراض (G4) قد يكون صعباً في التطبيقات العملية النتائج محلية، والانتظامية العامة تتطلب شروطاً إضافية دراسة الانتظامية على الحدود التوسيع إلى الحالة متعددة القيم النظر في شروط نمو أكثر عمومية دراسة تقارب الطرق العددية الاكتمال النظري : يملأ فجوة نظرية مهمة ويؤسس نظرية انتظامية شاملةالابتكار التقني : يطور تقنيات جديدة للتعامل مع الجمع بين النمو السريع والحدود من الرتبة الأقلالإثبات الصارم : الحجج الرياضية دقيقة والمنطق واضحالقيمة التطبيقية : توفير أساس نظري للالتواء المرن-اللدن ومعالجة الصور وغيرهاتعقيد شروط الافتراض : قد يكون التحقق العملي من الافتراضات التقنية المتعددة صعباًقيود المحلية : النتائج محلية فقط، والتطبيقات العملية غالباً ما تتطلب معلومات عامةاعتماد الثوابت : العلاقات بين الثوابت في التقديرات معقدة، مما يجعل الحسابات العملية صعبةالمساهمة النظرية : إسهام مهم في نظرية الانتظامية لحساب التغيرات والمعادلات التفاضلية الجزئيةالقيمة المنهجية : التقنيات المطورة قابلة للتطبيق على مسائل ذات صلةالآفاق التطبيقية : توفير دعم نظري لنمذجة المسائل العمليةالتحليل الرياضي لمسائل الالتواء المرن-اللدن الطرق المتغيرة في استعادة الصور مسائل إهليلجية غير خطية ذات نمو سريع أبحاث نظرية الانتظامية في حساب التغيرات تستشهد الورقة بـ 23 مرجعاً مهماً، تشمل بشكل أساسي:
8 أعمال M. Eleuteri وآخرين حول النمو البطيء10 أعمال M. Eleuteri وآخرين حول حالة النمو البطيء مع حدود من الرتبة الأقل11,12 أعمال حول توسيع شرط BSC17 الأعمال الكلاسيكية لـ P. Marcellini حول النمو السريع