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 del artículo : 2510.09142Título : 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)Clasificación : math.AP (Análisis de EDPs)Fecha de publicación : 10 de octubre de 2025Enlace del artículo : https://arxiv.org/abs/2510.09142 Este artículo estudia funcionales integrales con lagrangianos de crecimiento rápido y dependencia explícita de u u u . Se demuestra que los mínimos locales de tales funcionales poseen continuidad local de Lipschitz. Esta investigación llena un vacío en la teoría de regularidad existente respecto a funcionales con términos de orden inferior bajo condiciones de crecimiento rápido.
El problema central de este artículo es la regularidad de Lipschitz de los mínimos locales del funcional integral
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
donde:
f : R n → R f: \mathbb{R}^n \to \mathbb{R} f : R n → R es una función convexa con crecimiento rápidog : Ω × R → R g: \Omega \times \mathbb{R} \to \mathbb{R} g : Ω × R → R es un término de orden inferior con dependencia explícita de u u u Completitud teórica : La literatura existente se enfoca principalmente en condiciones de crecimiento lento o ausencia de términos de orden inferior. Este artículo pretende establecer un marco teórico completo para funcionales con términos de orden inferior bajo condiciones de crecimiento rápido.Aplicaciones prácticas : Tales funcionales tienen aplicaciones importantes en problemas de torsión elastoplástica y recuperación de imágenes.Desafíos técnicos : La combinación de condiciones de crecimiento rápido y términos de orden inferior presenta nuevas dificultades técnicas que requieren el desarrollo de nuevas técnicas analíticas.Las referencias 8,17 abordan funcionales de crecimiento rápido/lento que dependen únicamente de D u Du D u La referencia 10 trata funcionales de crecimiento lento que dependen simultáneamente de u u u y D u Du D u Falta una teoría unificada que maneje crecimiento rápido con términos de orden inferior Establecimiento de la teoría de regularidad de Lipschitz para funcionales con términos de orden inferior bajo condiciones de crecimiento rápido Demostración del Teorema principal 1.1 : Bajo supuestos apropiados, los mínimos locales son localmente Lipschitz continuos en Ω \Omega Ω Desarrollo de nuevas técnicas de estimaciones a priori (Lema 1.2)Extensión del rango de aplicación de la condición de pendiente acotada (BSC) al caso de crecimiento rápidoEstudiar la regularidad de los mínimos locales 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 funcional 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 , donde Ω ⊂ R n \Omega \subset \mathbb{R}^n Ω ⊂ R n es un conjunto abierto acotado.
Supuestos sobre la función f f f :
(H1) Condición de elipticidad: 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) Condición de crecimiento: 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 ] α , donde 2 ≤ α < 2 ∗ 2 \leq \alpha < 2^* 2 ≤ α < 2 ∗ (H3) Condición de control: 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 ( ξ ) ) β , donde 1 ≤ β < 2 n α α − 2 1 \leq \beta < \frac{2}{n}\frac{\alpha}{\alpha-2} 1 ≤ β < n 2 α − 2 α Supuestos sobre la función g g g :
(G1) Condición de 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) Integrabilidad: g ( ⋅ , 0 ) ∈ L l o c 1 ( Ω ) g(\cdot,0) \in L^1_{loc}(\Omega) g ( ⋅ , 0 ) ∈ L l oc 1 ( Ω ) (G3) Convexidad: s ↦ g ( x , s ) s \mapsto g(x,s) s ↦ g ( x , s ) es función convexa (G4) Condición de monotonía: 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 ) Mediante técnicas de segunda variación se establece la estimación clave:
∥ 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 ] θ
Puntos técnicos clave :
Uso de técnicas de diferencias finitas para demostrar u ∈ W l o c 2 , 2 ( Ω ) u \in W^{2,2}_{loc}(\Omega) u ∈ W l oc 2 , 2 ( Ω ) Construcción de función de prueba ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + \phi = \eta^2 u_{x_k}\Phi(|Du|-1)_+ ϕ = η 2 u x k Φ ( ∣ D u ∣ − 1 ) + Aplicación de desigualdad de Young y estimaciones de elipticidad para controlar términos Construcción de sucesión de funcionales aproximados 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 ∣ ξ ∣ )
donde f k f_k f k es aproximación suave de f f f , h h h es función convexa especialmente construida, asegurando:
f ~ k \tilde{f}_k f ~ k satisface las condiciones de supuestos y es uniformemente convexaf ~ k \tilde{f}_k f ~ k converge uniformemente a f f f Utilización de datos de frontera u ε u_\varepsilon u ε (suavización de u u u ) que satisfacen BSC Construcción de funciones barrera de Lipschitz superior e inferior ℓ ± \ell^{\pm} ℓ ± Aplicación de principio de comparación para demostrar v k , ε ∈ W 1 , ∞ ( B R ) v_{k,\varepsilon} \in W^{1,\infty}(B_R) v k , ε ∈ W 1 , ∞ ( B R ) Aplicación del Lema 2.4 para controlar ∥ v k , ε ∥ L ∞ \|v_{k,\varepsilon}\|_{L^\infty} ∥ v k , ε ∥ L ∞ Utilización de estimaciones a priori para controlar la norma L ∞ L^\infty L ∞ del gradiente Transmisión al límite mediante convergencia débil y semicontinuidad inferior Este artículo es investigación puramente teórica sin experimentos numéricos. Los resultados teóricos se verifican principalmente mediante demostraciones matemáticas rigurosas.
Sea 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 mínimo local del funcional (1), f f f satisface los supuestos (H1)-(H3), y g g g satisface los supuestos (G1)-(G4). Entonces u u u es localmente Lipschitz continuo en Ω \Omega Ω , y existe R ˉ > 0 \bar{R} > 0 R ˉ > 0 tal que para todo 0 < ρ < R < R ˉ 0 < \rho < R < \bar{R} 0 < ρ < R < R ˉ , se tiene
∥ 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 + κ ) ] θ
donde θ \theta θ depende de α , β , n \alpha, \beta, n α , β , n .
Bajo supuestos apropiados, para el mínimo local u ∈ W l o c 1 , ∞ ( Ω ) u \in W^{1,\infty}_{loc}(\Omega) u ∈ W l oc 1 , ∞ ( Ω ) , se tiene
∥ 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 de crecimiento lento : Eleuteri-Perrotta-Treu 10 abordan funcionales de crecimiento lento con términos de orden inferiorCrecimiento rápido sin términos de orden inferior : Eleuteri-Marcellini-Mascolo-Perrotta 8 y Marcellini 17 Extensión de teoría BSC : Fiaschi-Treu 11 y Giannetti-Treu 12 Primera vez que se trata sistemáticamente el caso de crecimiento rápido con términos de orden inferior Desarrollo de nuevas técnicas de estimación aplicables a crecimiento rápido Extensión del rango de aplicación de la teoría BSC Este artículo establece exitosamente la teoría de regularidad de Lipschitz para mínimos locales de funcionales integrales con términos de orden inferior bajo condiciones de crecimiento rápido, llenando un vacío teórico importante en el campo.
Nuevas técnicas de estimaciones a priori : Adaptadas a la combinación de crecimiento rápido y términos de orden inferiorMétodo de aproximación mejorado : Construcción de sucesiones aproximadas que preservan condiciones de crecimientoExtensión de teoría BSC : Generalización de resultados clásicos a casos más generalesLa relación entre los índices de crecimiento α \alpha α y β \beta β está sujeta a restricciones fuertes La verificación del supuesto (G4) puede ser difícil en aplicaciones prácticas Los resultados son locales; la regularidad global requiere condiciones adicionales Investigación de regularidad de frontera Extensión a casos con valores vectoriales Consideración de condiciones de crecimiento más generales Estudio de convergencia de métodos numéricos Completitud teórica : Llena un vacío teórico importante y establece una teoría de regularidad completaInnovación técnica : Desarrollo de nuevas técnicas para manejar la combinación de crecimiento rápido y términos de orden inferiorDemostración rigurosa : Los argumentos matemáticos son rigurosos y la lógica es claraValor aplicado : Proporciona fundamento teórico para aplicaciones en elastoplasticidad y procesamiento de imágenesComplejidad de supuestos : La verificación práctica de múltiples supuestos técnicos puede ser difícilRestricción de localidad : Los resultados son únicamente locales; las aplicaciones prácticas a menudo requieren información globalDependencia de constantes : La relación de dependencia de constantes en las estimaciones es compleja, dificultando cálculos prácticosContribución teórica : Hace aportaciones importantes a la teoría de regularidad del cálculo de variaciones y EDPsValor metodológico : Las técnicas desarrolladas pueden aplicarse a problemas relacionadosPerspectivas de aplicación : Proporciona apoyo teórico para modelado matemático de problemas prácticosAnálisis matemático de problemas de torsión elastoplástica Métodos variacionales en recuperación de imágenes Problemas elípticos no lineales con crecimiento rápido Investigación de teoría de regularidad en cálculo de variaciones El artículo cita 23 referencias importantes, incluyendo principalmente:
8 Trabajos de M. Eleuteri y otros sobre crecimiento lento10 Trabajos de M. Eleuteri y otros sobre casos de crecimiento lento con términos de orden inferior11,12 Trabajos sobre extensión de condición BSC17 Trabajo clásico de P. Marcellini sobre crecimiento rápido