We consider integral functionals with fast growth and the lagrangian explicitly depending on $u$. We prove that the local minimizers are locally Lipschitz continuous.
ID статьи : 2510.09142Название : Local Lipschitz continuity for energy integrals with fast growth and lower order termsАвтор : Andrea Torricelli (Dipartimento di Scienze Matematiche G.L. Lagrange, Politecnico di Torino)Классификация : math.AP (Анализ дифференциальных уравнений в частных производных)Дата публикации : 10 октября 2025 г.Ссылка на статью : https://arxiv.org/abs/2510.09142 В данной работе исследуются интегральные функционалы с лагранжианами, обладающими быстрым ростом и явной зависимостью от u u u . Доказано, что локальные минимумы таких функционалов обладают локальной липшицевой непрерывностью. Исследование заполняет пробел в существующей теории регулярности функционалов с младшими членами при условиях быстрого роста.
Основная проблема, рассматриваемая в работе, касается липшицевой регулярности локальных минимумов интегрального функционала
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 Отсутствует единая теория для функционалов с быстрым ростом и младшими членами Установлена теория липшицевой регулярности для функционалов с младшими членами при условиях быстрого роста Доказана основная теорема 1.1 : При надлежащих предположениях локальные минимумы локально липшицевы непрерывны в Ω \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) Условие Липшица: ∣ 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 Конструкция верхних и нижних липшицевых барьеров ℓ ± \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 локально липшицева непрерывна в Ω \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 Данная работа успешно устанавливает теорию липшицевой регулярности локальных минимумов интегральных функционалов с младшими членами при условиях быстрого роста, заполняя теоретический пробел в данной области.
Новые методы априорных оценок : Адаптированные к комбинации быстрого роста и младших членовУлучшенные методы аппроксимации : Конструкция аппроксимирующих последовательностей, сохраняющих условия ростаРасширение теории BSC : Обобщение классических результатов на более общие случаиСвязь между показателями роста α \alpha α и β \beta β накладывает сильные ограничения Проверка предположения (G4) может быть затруднена в практических приложениях Результаты являются локальными; глобальная регулярность требует дополнительных условий Исследование регулярности на границе Расширение на векторнозначный случай Рассмотрение более общих условий роста Исследование сходимости численных методов Теоретическая полнота : Заполняет важный теоретический пробел, устанавливает полную теорию регулярностиТехнические инновации : Разработаны новые методы для работы с комбинацией быстрого роста и младших членовСтрогость доказательств : Математические рассуждения безупречны, логика яснаПрактическая ценность : Обеспечивает теоретическую базу для приложений в упругопластичности и обработке изображенийСложность предположений : Множество технических предположений может быть трудно проверить на практикеЛокальность результатов : Результаты являются локальными; практические приложения часто требуют глобальной информацииЗависимость констант : Зависимость констант в оценках от параметров сложна, практические вычисления затрудненыТеоретический вклад : Значительный вклад в теорию вариационного исчисления и регулярности решений УЧПМетодологическая ценность : Разработанные методы применимы к связанным задачамПерспективы приложений : Обеспечивает теоретическую поддержку математического моделирования практических задачМатематический анализ задач упругопластического кручения Вариационные методы в восстановлении изображений Нелинейные эллиптические задачи с быстрым ростом Исследования теории регулярности в вариационном исчислении Статья цитирует 23 важные работы, включая:
8 Работы M. Eleuteri и др. по медленному росту10 Работы M. Eleuteri и др. по медленному росту с младшими членами11,12 Работы по расширению условия BSC17 Классические работы P. Marcellini по быстрому росту