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 Articolo : 2510.09142Titolo : Local Lipschitz continuity for energy integrals with fast growth and lower order termsAutore : Andrea Torricelli (Dipartimento di Scienze Matematiche G.L. Lagrange, Politecnico di Torino)Classificazione : math.AP (Analisi delle EDP)Data di Pubblicazione : 10 ottobre 2025Link Articolo : https://arxiv.org/abs/2510.09142 Il presente articolo studia i funzionali integrali con lagrangiane caratterizzate da crescita veloce e dipendenza esplicita da u u u . Si dimostra che i minimi locali di tali funzionali possiedono continuità locale di Lipschitz. Questo studio colma una lacuna nella teoria della regolarità esistente riguardante i funzionali con termini di ordine inferiore sotto condizioni di crescita veloce.
Il problema centrale affrontato in questo articolo riguarda la regolarità di Lipschitz dei minimi locali del funzionale integrale
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
dove:
f : R n → R f: \mathbb{R}^n \to \mathbb{R} f : R n → R è una funzione convessa con crescita veloceg : Ω × R → R g: \Omega \times \mathbb{R} \to \mathbb{R} g : Ω × R → R è un termine di ordine inferiore con dipendenza esplicita da u u u Completezza Teorica : La letteratura esistente si concentra principalmente su condizioni di crescita lenta o assenza di termini di ordine inferiore; il presente articolo mira a stabilire un quadro teorico completo per la crescita veloce con termini di ordine inferioreApplicazioni Pratiche : Tali funzionali trovano importanti applicazioni nei problemi di torsione elastoplastica e nel recupero di immaginiSfide Tecniche : La combinazione di condizioni di crescita veloce e termini di ordine inferiore introduce nuove difficoltà tecniche che richiedono lo sviluppo di nuove tecniche analiticheLa letteratura 8,17 ha affrontato funzionali con crescita veloce/lenta dipendenti solo da D u Du D u La letteratura 10 ha affrontato funzionali con crescita lenta dipendenti simultaneamente da u u u e D u Du D u Manca una teoria unificata per il trattamento della crescita veloce con termini di ordine inferiore Stabilimento della teoria di regolarità di Lipschitz per funzionali con termini di ordine inferiore sotto condizioni di crescita veloce Dimostrazione del Teorema Principale 1.1 : Sotto ipotesi appropriate, i minimi locali sono localmente Lipschitz continui in Ω \Omega Ω Sviluppo di nuove tecniche di stima a priori (Lemma 1.2)Estensione dell'applicabilità della condizione di pendenza limitata (BSC) al caso di crescita veloceStudio della regolarità del minimo locale 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 ∞ ( Ω ) del funzionale 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 , dove Ω ⊂ R n \Omega \subset \mathbb{R}^n Ω ⊂ R n è un insieme aperto e limitato.
Ipotesi sulla funzione f f f :
(H1) Condizione di ellitticità: 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) Condizione di crescita: 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 ] α , dove 2 ≤ α < 2 ∗ 2 \leq \alpha < 2^* 2 ≤ α < 2 ∗ (H3) Condizione di controllo: 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 ( ξ ) ) β , dove 1 ≤ β < 2 n α α − 2 1 \leq \beta < \frac{2}{n}\frac{\alpha}{\alpha-2} 1 ≤ β < n 2 α − 2 α Ipotesi sulla funzione g g g :
(G1) Condizione di 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) Integrabilità: g ( ⋅ , 0 ) ∈ L l o c 1 ( Ω ) g(\cdot,0) \in L^1_{loc}(\Omega) g ( ⋅ , 0 ) ∈ L l oc 1 ( Ω ) (G3) Convessità: s ↦ g ( x , s ) s \mapsto g(x,s) s ↦ g ( x , s ) è una funzione convessa (G4) Condizione di monotonia: 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 ) Attraverso la tecnica della seconda variazione si stabilisce la stima cruciale:
∥ 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 ] θ
Punti Tecnici Chiave :
Utilizzo della tecnica dei quozienti differenziali per provare u ∈ W l o c 2 , 2 ( Ω ) u \in W^{2,2}_{loc}(\Omega) u ∈ W l oc 2 , 2 ( Ω ) Costruzione della funzione test ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + \phi = \eta^2 u_{x_k}\Phi(|Du|-1)_+ ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + Applicazione della disuguaglianza di Young e delle stime di ellitticità per controllare i vari termini Costruzione della successione di funzionali approssimanti 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 ∣ ξ ∣ )
dove f k f_k f k è un'approssimazione liscia di f f f e h h h è una funzione convessa opportunamente costruita, garantendo:
f ~ k \tilde{f}_k f ~ k soddisfa le ipotesi e è uniformemente convessaf ~ k \tilde{f}_k f ~ k converge uniformemente a f f f Utilizzo del dato al bordo u ε u_\varepsilon u ε (lisciatura di u u u ) che soddisfa BSC Costruzione di funzioni barriera Lipschitz superiore e inferiore ℓ ± \ell^{\pm} ℓ ± Applicazione del principio di confronto per provare v k , ε ∈ W 1 , ∞ ( B R ) v_{k,\varepsilon} \in W^{1,\infty}(B_R) v k , ε ∈ W 1 , ∞ ( B R ) Applicazione del Lemma 2.4 per controllare ∥ v k , ε ∥ L ∞ \|v_{k,\varepsilon}\|_{L^\infty} ∥ v k , ε ∥ L ∞ Utilizzo della stima a priori per controllare la norma L ∞ L^\infty L ∞ del gradiente Passaggio al limite attraverso convergenza debole e semicontinuità inferiore Il presente articolo è di natura puramente teorica e non coinvolge esperimenti numerici. I risultati teorici sono verificati principalmente attraverso dimostrazioni matematiche rigorose.
Sia 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 ∞ ( Ω ) un minimo locale del funzionale (1), con f f f che soddisfa le ipotesi (H1)-(H3) e g g g che soddisfa le ipotesi (G1)-(G4). Allora u u u è localmente Lipschitz continuo in Ω \Omega Ω , e esistono R ˉ > 0 \bar{R} > 0 R ˉ > 0 tali che per ogni 0 < ρ < R < R ˉ 0 < \rho < R < \bar{R} 0 < ρ < R < R ˉ , si ha
∥ 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 + κ ) ] θ
dove θ \theta θ dipende da α , β , n \alpha, \beta, n α , β , n .
Sotto ipotesi appropriate, per il minimo locale u ∈ W l o c 1 , ∞ ( Ω ) u \in W^{1,\infty}_{loc}(\Omega) u ∈ W l oc 1 , ∞ ( Ω ) , si ha
∥ 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 ] θ
Caso di Crescita Lenta : Eleuteri-Perrotta-Treu 10 affrontano funzionali con crescita lenta e termini di ordine inferioreCrescita Veloce Senza Termini di Ordine Inferiore : Eleuteri-Marcellini-Mascolo-Perrotta 8 e Marcellini 17 Estensione della Teoria BSC : Fiaschi-Treu 11 e Giannetti-Treu 12 Primo trattamento sistematico del caso di crescita veloce con termini di ordine inferiore Sviluppo di nuove tecniche di stima adatte alla crescita veloce Estensione dell'applicabilità della teoria BSC Il presente articolo stabilisce con successo la teoria di regolarità di Lipschitz per i minimi locali di funzionali integrali con termini di ordine inferiore sotto condizioni di crescita veloce, colmando una lacuna teorica significativa nel settore.
Nuove Tecniche di Stima a Priori : Adattate alla combinazione di crescita veloce e termini di ordine inferioreMetodo di Approssimazione Migliorato : Costruzione di successioni approssimanti che preservano le condizioni di crescitaEstensione della Teoria BSC : Generalizzazione dei risultati classici a situazioni più generaliLa relazione tra gli indici di crescita α \alpha α e β \beta β è soggetta a restrizioni piuttosto forti La verifica dell'ipotesi (G4) può risultare difficile nelle applicazioni pratiche I risultati sono di natura locale; la regolarità globale richiede condizioni aggiuntive Studio della regolarità al bordo Estensione al caso di funzioni a valori vettoriali Considerazione di condizioni di crescita più generali Analisi della convergenza dei metodi numerici Completezza Teorica : Colma un'importante lacuna teorica e stabilisce una teoria di regolarità completaInnovazione Tecnica : Sviluppa nuove tecniche per affrontare la combinazione di crescita veloce e termini di ordine inferioreRigore della Dimostrazione : Gli argomenti matematici sono rigorosi e la logica è chiaraValore Applicativo : Fornisce fondamenti teorici per applicazioni in elastoplasticità e elaborazione di immaginiComplessità delle Ipotesi : La verifica pratica di molteplici ipotesi tecniche può risultare difficileLimitazione della Località : I risultati sono solo locali; le applicazioni pratiche spesso richiedono informazioni globaliDipendenza delle Costanti : La relazione di dipendenza delle costanti nelle stime è complessa, rendendo difficili i calcoli praticiContributo Teorico : Apporta un contributo significativo alla teoria della regolarità nel calcolo delle variazioni e alle EDPValore Metodologico : Le tecniche sviluppate possono essere applicate a problemi correlatiProspettive Applicative : Fornisce supporto teorico per la modellazione matematica di problemi praticiAnalisi matematica di problemi di torsione elastoplastica Metodi variazionali nel recupero di immagini Problemi ellittici non lineari con crescita veloce Ricerca sulla teoria della regolarità nel calcolo delle variazioni L'articolo cita 23 importanti riferimenti, che includono principalmente:
8 Lavori di M. Eleuteri e altri sulla crescita lenta10 Lavori di M. Eleuteri e altri sul caso di crescita lenta con termini di ordine inferiore11,12 Lavori sull'estensione della condizione BSC17 Lavori classici di P. Marcellini sulla crescita veloce