Local Lipschitz continuity for energy integrals with fast growth and lower order terms

Basic Information

• Paper ID: 2510.09142
• Title: Local Lipschitz continuity for energy integrals with fast growth and lower order terms
• Author: Andrea Torricelli (Dipartimento di Scienze Matematiche G.L. Lagrange, Politecnico di Torino)
• Classification: math.AP (Analysis of PDEs)
• Publication Date: October 10, 2025
• Paper Link: https://arxiv.org/abs/2510.09142

Abstract

This paper investigates integral functionals with fast growth and Lagrangian functions that explicitly depend on $u$. It is proved that local minimizers of such functionals possess local Lipschitz continuity. This research fills a gap in the existing regularity theory concerning functionals with lower order terms under fast growth conditions.

Research Background and Motivation

Problem Background

The core problem addressed in this paper concerns the Lipschitz regularity of local minimizers of the integral functional $F(u) = \int_\Omega f(Du) + g(x,u) dx$ where:

• $f: \mathbb{R}^n \to \mathbb{R}$ is a convex function with fast growth
• $g: \Omega \times \mathbb{R} \to \mathbb{R}$ is a lower order term explicitly depending on $u$

Research Motivation

1. Theoretical Completeness: Existing literature primarily focuses on slow growth conditions or cases without lower order terms. This paper aims to establish a complete theoretical framework for fast growth conditions with lower order terms.
2. Practical Applications: Such functionals have important applications in elastoplastic torsion problems and image restoration problems.
3. Technical Challenges: The combination of fast growth conditions and lower order terms introduces new technical difficulties requiring the development of novel analytical techniques.

Limitations of Existing Methods

• References 8,17 addressed fast/slow growth functionals depending only on $Du$
• Reference 10 handled slow growth functionals simultaneously depending on $u$ and $Du$
• A unified theory for fast growth with lower order terms was lacking

Core Contributions

1. Established Lipschitz regularity theory for functionals with lower order terms under fast growth conditions
2. Proved the main Theorem 1.1: Under appropriate assumptions, local minimizers are locally Lipschitz continuous in $\Omega$
3. Developed new a priori estimate techniques (Lemma 1.2)
4. Extended the application scope of the bounded slope condition (BSC) to the fast growth setting

Detailed Methodology

Problem Formulation

Study the regularity of local minimizers $u \in W^{1,1}_{loc}(\Omega) \cap L^\infty_{loc}(\Omega)$ of the functional $F(u) = \int_\Omega f(Du) + g(x,u) dx$, where $\Omega \subset \mathbb{R}^n$ is an open bounded set.

Core Assumptions

Assumptions on function $f$:

• (H1) Ellipticity condition: $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$
• (H2) Growth condition: $h_2(t)t^2 \leq c_1[1 + \int_0^t \sqrt{h_1(s+t_0)}ds]^\alpha$, where $2 \leq \alpha < 2^*$
• (H3) Control condition: $h_2(|\xi|)|\xi|^2 \leq c_2(1 + f(\xi))^\beta$, where $1 \leq \beta < \frac{2}{n}\frac{\alpha}{\alpha-2}$

Assumptions on function $g$:

• (G1) Lipschitz condition: $|g(x,s_1) - g(x,s_2)| \leq L|s_1 - s_2|$
• (G2) Integrability: $g(\cdot,0) \in L^1_{loc}(\Omega)$
• (G3) Convexity: $s \mapsto g(x,s)$ is convex
• (G4) Monotonicity condition: $v \geq u + K|y-x| \Rightarrow g_v^+(y,v) \geq g_v^+(x,u)$

Main Technical Methods

1. A Priori Estimates (Lemma 1.2)

Establish key estimates through second variation techniques: $\|Du\|_{L^\infty(B_\rho)} \leq C\left[\int_{B_R} 1 + f(Du)dx\right]^\theta$

Technical highlights:

• Use difference quotient techniques to prove $u \in W^{2,2}_{loc}(\Omega)$
• Construct test function $\phi = \eta^2 u_{x_k}\Phi(|Du|-1)_+$
• Apply Young's inequality and ellipticity estimates to control various terms

2. Approximation Strategy (First Step of Theorem Proof)

Construct approximating functional sequences $\tilde{f}_k$: $\tilde{f}_k(\xi) = f_k(\xi) + \frac{1}{k}h\left(\frac{|\xi|}{t_0+2}\right)$

where $f_k$ is a smooth approximation of $f$, and $h$ is a specially constructed convex function, ensuring:

• $\tilde{f}_k$ satisfies the assumptions and is uniformly convex
• $\tilde{f}_k$ converges uniformly to $f$

3. Bounded Slope Condition Application (Second Step)

• Utilize boundary data $u_\varepsilon$ (smoothing of $u$) satisfying BSC
• Construct upper and lower Lipschitz barrier functions $\ell^{\pm}$
• Apply comparison principle to prove approximate solutions $v_{k,\varepsilon} \in W^{1,\infty}(B_R)$

4. Limiting Process (Third Step)

• Apply Lemma 2.4 to control $\|v_{k,\varepsilon}\|_{L^\infty}$
• Use a priori estimates to control the $L^\infty$ norm of gradients
• Pass to the limit through weak convergence and lower semicontinuity

Experimental Setup

This is a purely theoretical paper with no numerical experiments. The theoretical results are verified through rigorous mathematical proofs.

Main Results

Theorem 1.1 (Main Result)

Let $u \in W^{1,1}_{loc}(\Omega) \cap L^\infty_{loc}(\Omega)$ be a local minimizer of functional (1), with $f$ satisfying assumptions (H1)-(H3) and $g$ satisfying assumptions (G1)-(G4). Then $u$ is locally Lipschitz continuous in $\Omega$, and there exists $\bar{R} > 0$ such that for any $0 < \rho < R < \bar{R}$,

$\|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$

where $\theta$ depends on $\alpha, \beta, n$.

Lemma 1.2 (A Priori Estimate)

Under appropriate assumptions, for local minimizers $u \in W^{1,\infty}_{loc}(\Omega)$, $\|Du\|_{L^\infty(B_\rho)} \leq C\left[\int_{B_R} 1 + f(Du)dx\right]^\theta$

Related Work

Main Research Directions

1. Slow growth case: Eleuteri-Perrotta-Treu 10 addressed slow growth functionals with lower order terms
2. Fast growth without lower order terms: Eleuteri-Marcellini-Mascolo-Perrotta 8 and Marcellini 17
3. BSC theory extensions: Fiaschi-Treu 11 and Giannetti-Treu 12

Novelty of This Work

• First systematic treatment of fast growth with lower order terms
• Development of new estimate techniques applicable to fast growth
• Extension of BSC theory to more general settings

Conclusions and Discussion

Main Conclusions

This paper successfully establishes Lipschitz regularity theory for local minimizers of integral functionals with lower order terms under fast growth conditions, filling an important theoretical gap in the field.

Technical Contributions

1. New a priori estimate techniques: Adapted to the combination of fast growth and lower order terms
2. Improved approximation methods: Construction of approximating sequences preserving growth conditions
3. BSC theory extension: Generalization of classical results to more general settings

Limitations

1. The relationship between growth exponents $\alpha$ and $\beta$ is restrictive
2. Verification of assumption (G4) may be difficult in practical applications
3. Results are local; global regularity requires additional conditions

Future Directions

1. Study boundary regularity
2. Extend to vector-valued cases
3. Consider more general growth conditions
4. Investigate convergence of numerical methods

In-Depth Evaluation

Strengths

1. Theoretical Completeness: Fills an important theoretical gap and establishes a complete regularity theory
2. Technical Innovation: Develops new techniques for handling the combination of fast growth and lower order terms
3. Rigorous Proofs: Mathematical arguments are rigorous with clear logical structure
4. Applied Value: Provides theoretical foundation for applications in elastoplasticity and image processing

Weaknesses

1. Complex Assumptions: Multiple technical assumptions may be difficult to verify in practice
2. Local Limitation: Results are only local; practical applications often require global information
3. Constant Dependence: The dependence of constants in estimates is complex, making practical computation difficult

Impact

• Theoretical Contribution: Makes important contributions to calculus of variations and PDE regularity theory
• Methodological Value: Developed techniques are applicable to related problems
• Application Prospects: Provides theoretical support for mathematical modeling of practical problems

Applicable Scenarios

1. Mathematical analysis of elastoplastic torsion problems
2. Variational methods in image restoration
3. Nonlinear elliptic problems with fast growth
4. Regularity theory research in calculus of variations

References

The paper cites 23 important references, primarily including:

• 8 Work by M. Eleuteri et al. on slow growth
• 10 Work by M. Eleuteri et al. on slow growth with lower order terms
• 11,12 Extensions of BSC conditions
• 17 Classical work by P. Marcellini on fast growth