We consider integral functionals with fast growth and the lagrangian explicitly depending on $u$. We prove that the local minimizers are locally Lipschitz continuous.
Paper-ID : 2510.09142Titel : Local Lipschitz continuity for energy integrals with fast growth and lower order termsAutor : Andrea Torricelli (Dipartimento di Scienze Matematiche G.L. Lagrange, Politecnico di Torino)Klassifizierung : math.AP (Analysis von PDEs)Veröffentlichungsdatum : 10. Oktober 2025Paper-Link : https://arxiv.org/abs/2510.09142 In diesem Artikel werden Integralfunktionale mit schnellem Wachstum und Lagrange-Funktionen untersucht, die explizit von u u u abhängen. Es wird nachgewiesen, dass lokale Minima solcher Funktionale lokal Lipschitz-stetig sind. Diese Forschung schließt eine Lücke in der bestehenden Theorie bezüglich der Regularitätstheorie von Funktionalen mit schnellem Wachstum und niedriger Ordnung.
Das Kernproblem dieser Arbeit ist die Lipschitz-Regularität lokaler Minima des Integralfunktionals
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
wobei:
f : R n → R f: \mathbb{R}^n \to \mathbb{R} f : R n → R eine konvexe Funktion mit schnellem Wachstum istg : Ω × R → R g: \Omega \times \mathbb{R} \to \mathbb{R} g : Ω × R → R ein Niederordnungsterm ist, der explizit von u u u abhängtTheoretische Vollständigkeit : Die bestehende Literatur konzentriert sich hauptsächlich auf Bedingungen mit langsamem Wachstum oder ohne Niederordnungsterme. Diese Arbeit zielt darauf ab, einen vollständigen theoretischen Rahmen für schnelles Wachstum mit Niederordnungstermen zu etablieren.Praktische Anwendungen : Solche Funktionale haben wichtige Anwendungen in Elastoplastizitäts-Torsionsproblemen und Bildwiederherstellungsproblemen.Technische Herausforderungen : Die Kombination von schnellem Wachstum und Niederordnungstermen führt zu neuen technischen Schwierigkeiten, die die Entwicklung neuer Analysetechniken erfordern.Die Literatur 8,17 behandelt schnelles/langsames Wachstum von Funktionalen, die nur von D u Du D u abhängen Die Literatur 10 behandelt langsames Wachstum von Funktionalen, die gleichzeitig von u u u und D u Du D u abhängen Es fehlt eine einheitliche Theorie für schnelles Wachstum mit Niederordnungstermen Etablierung der Lipschitz-Regularitätstheorie für Funktionale mit schnellem Wachstum und Niederordnungstermen Beweis des Hauptsatzes 1.1 : Unter angemessenen Annahmen sind lokale Minima lokal Lipschitz-stetig in Ω \Omega Ω Entwicklung neuer A-priori-Schätztechniken (Lemma 1.2)Erweiterung der Anwendbarkeit der beschränkten Steigungsbedingung (BSC) auf schnelles WachstumUntersuchung der Regularität lokaler Minima 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 ∞ ( Ω ) des Funktionals 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 , wobei Ω ⊂ R n \Omega \subset \mathbb{R}^n Ω ⊂ R n eine offene beschränkte Menge ist.
Hypothesen für die Funktion f f f :
(H1) Elliptizitätsbedingung: 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) Wachstumsbedingung: 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 ] α , wobei 2 ≤ α < 2 ∗ 2 \leq \alpha < 2^* 2 ≤ α < 2 ∗ (H3) Kontrollbedingung: 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 ( ξ ) ) β , wobei 1 ≤ β < 2 n α α − 2 1 \leq \beta < \frac{2}{n}\frac{\alpha}{\alpha-2} 1 ≤ β < n 2 α − 2 α Hypothesen für die Funktion g g g :
(G1) Lipschitz-Bedingung: ∣ 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) Integrierbarkeit: g ( ⋅ , 0 ) ∈ L l o c 1 ( Ω ) g(\cdot,0) \in L^1_{loc}(\Omega) g ( ⋅ , 0 ) ∈ L l oc 1 ( Ω ) (G3) Konvexität: s ↦ g ( x , s ) s \mapsto g(x,s) s ↦ g ( x , s ) ist konvex (G4) Monotoniebedingung: 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 ) Durch die Technik der zweiten Variation wird die Schlüsselschätzung etabliert:
∥ 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 ] θ
Technische Schwerpunkte :
Verwendung von Differenzenquotienten zum Beweis von u ∈ W l o c 2 , 2 ( Ω ) u \in W^{2,2}_{loc}(\Omega) u ∈ W l oc 2 , 2 ( Ω ) Konstruktion von Testfunktionen ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + \phi = \eta^2 u_{x_k}\Phi(|Du|-1)_+ ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + Anwendung der Young-Ungleichung und elliptischer Schätzungen zur Kontrolle der Terme Konstruktion einer Folge von Approximationsfunktionalen 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 ∣ ξ ∣ )
wobei f k f_k f k eine glatte Approximation von f f f ist und h h h eine speziell konstruierte konvexe Funktion, die sicherstellt:
f ~ k \tilde{f}_k f ~ k erfüllt die Hypothesen und ist gleichmäßig konvexf ~ k \tilde{f}_k f ~ k konvergiert gleichmäßig gegen f f f Nutzung von Randdaten u ε u_\varepsilon u ε (Glättung von u u u ), die BSC erfüllen Konstruktion von oberen und unteren Lipschitz-Barrierenfunktionen ℓ ± \ell^{\pm} ℓ ± Anwendung des Vergleichsprinzips zum Beweis von v k , ε ∈ W 1 , ∞ ( B R ) v_{k,\varepsilon} \in W^{1,\infty}(B_R) v k , ε ∈ W 1 , ∞ ( B R ) Anwendung von Lemma 2.4 zur Kontrolle von ∥ v k , ε ∥ L ∞ \|v_{k,\varepsilon}\|_{L^\infty} ∥ v k , ε ∥ L ∞ Verwendung von A-priori-Schätzungen zur Kontrolle der L ∞ L^\infty L ∞ -Norm des Gradienten Übergang zum Grenzwert durch schwache Konvergenz und Unterhalbstetigkeit Dieses Papier ist eine rein theoretische Forschungsarbeit ohne numerische Experimente. Die theoretischen Ergebnisse werden hauptsächlich durch strenge mathematische Beweise validiert.
Sei 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 ∞ ( Ω ) ein lokales Minimum des Funktionals (1), f f f erfülle die Hypothesen (H1)-(H3) und g g g erfülle die Hypothesen (G1)-(G4). Dann ist u u u lokal Lipschitz-stetig in Ω \Omega Ω , und es existiert R ˉ > 0 \bar{R} > 0 R ˉ > 0 derart, dass für alle 0 < ρ < R < R ˉ 0 < \rho < R < \bar{R} 0 < ρ < R < R ˉ gilt:
∥ 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 + κ ) ] θ
wobei θ \theta θ von α , β , n \alpha, \beta, n α , β , n abhängt.
Unter angemessenen Hypothesen gilt für lokale Minima 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 ] θ
Langsames Wachstum : Eleuteri-Perrotta-Treu 10 behandeln langsames Wachstum mit NiederordnungstermenSchnelles Wachstum ohne Niederordnungsterme : Eleuteri-Marcellini-Mascolo-Perrotta 8 und Marcellini 17 BSC-Theorieerweiterung : Fiaschi-Treu 11 und Giannetti-Treu 12 Erstmalige systematische Behandlung von schnellem Wachstum mit Niederordnungstermen Entwicklung neuer Schätztechniken für schnelles Wachstum Erweiterung der Anwendbarkeit der BSC-Theorie Diese Arbeit etabliert erfolgreich die Lipschitz-Regularitätstheorie für lokale Minima von Integralfunktionalen mit schnellem Wachstum und Niederordnungstermen und schließt damit eine wichtige theoretische Lücke.
Neue A-priori-Schätztechniken : Angepasst an die Kombination von schnellem Wachstum und NiederordnungstermenVerbesserte Approximationsmethoden : Konstruktion von Approximationsfolgen, die Wachstumsbedingungen bewahrenBSC-Theorieerweiterung : Verallgemeinerung klassischer Ergebnisse auf allgemeinere FälleDie Beziehung zwischen den Wachstumsindizes α \alpha α und β \beta β ist stark eingeschränkt Die Verifikation der Hypothese (G4) kann in praktischen Anwendungen schwierig sein Die Ergebnisse sind lokal; globale Regularität erfordert zusätzliche Bedingungen Untersuchung der Randregularität Erweiterung auf vektorwertige Fälle Betrachtung allgemeinerer Wachstumsbedingungen Untersuchung der Konvergenz numerischer Methoden Theoretische Vollständigkeit : Schließt eine wichtige theoretische Lücke und etabliert eine vollständige RegularitätstheorieTechnische Innovation : Entwickelt neue Techniken zur Behandlung der Kombination von schnellem Wachstum und NiederordnungstermenStrenge Beweise : Mathematische Argumente sind rigoros und logisch klarAnwendungswert : Bietet theoretische Grundlagen für Elastoplastizität und BildverarbeitungKomplexe Hypothesen : Die Verifikation mehrerer technischer Hypothesen kann in der Praxis schwierig seinLokalitätsbeschränkung : Ergebnisse sind nur lokal; praktische Anwendungen erfordern oft globale InformationenKomplexe Konstantenabhängigkeit : Die Abhängigkeit der Konstanten in den Schätzungen ist komplex und praktisch schwer zu berechnenTheoretischer Beitrag : Wichtiger Beitrag zur Variationsrechnung und Regularitätstheorie von PDEsMethodologischer Wert : Die entwickelten Techniken können auf verwandte Probleme angewendet werdenAnwendungsperspektiven : Bietet theoretische Unterstützung für mathematische Modellierung praktischer ProblemeMathematische Analyse von Elastoplastizitäts-Torsionsproblemen Variationsmethoden in der Bildwiederherstellung Nichtlineare elliptische Probleme mit schnellem Wachstum Regularitätstheorie in der Variationsrechnung Das Papier zitiert 23 wichtige Referenzen, hauptsächlich:
8 Arbeiten von M. Eleuteri et al. zu langsamem Wachstum10 Arbeiten von M. Eleuteri et al. zu langsamen Wachstum mit Niederordnungstermen11,12 Arbeiten zur Erweiterung der BSC-Bedingung17 Klassische Arbeiten von P. Marcellini zu schnellem Wachstum