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 (편미분방정식 해석)발표 시간 : 2025년 10월 10일논문 링크 : 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)의 적용 범위 확장 을 빠른 증가 경우로 확대Ω ⊂ R n \Omega \subset \mathbb{R}^n Ω ⊂ R n 이 개인 유계 집합일 때, 범함수 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 의 국소 극소값 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 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 ) 제2 변분 기법을 통해 핵심 추정을 수립한다:
∥ 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 ) + 구성 Young 부등식과 타원성 추정을 적용하여 각 항 제어 근사 범함수 수열 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)의 검증이 실제 응용에서 어려울 수 있음 결과는 국소적이며, 전역 정칙성은 추가 조건이 필요 경계 정칙성 연구 벡터값 경우로의 확장 더 일반적인 증가 조건 고려 수치 방법의 수렴성 연구 이론적 완전성 : 중요한 이론적 공백을 채우고 완전한 정칙성 이론을 수립기술적 혁신 : 빠른 증가와 저차항의 결합을 다루는 새로운 기법 개발증명의 엄밀성 : 수학적 논증이 엄밀하고 논리가 명확응용 가치 : 탄소성 및 영상 처리 등의 응용을 위한 이론적 기초 제공복잡한 가정 조건 : 다수의 기술적 가정의 실제 검증이 어려울 수 있음국소성 제약 : 결과가 국소적이며, 실제 응용에서는 전역 정보가 필요한 경우가 많음상수 의존성 : 추정의 상수 의존 관계가 복잡하여 실제 계산이 어려움이론적 기여 : 변분법 및 PDE 정칙성 이론에 중요한 기여방법론적 가치 : 개발된 기법을 관련 문제에 적용 가능응용 전망 : 실제 문제의 수학적 모델링을 위한 이론적 지원탄소성 비틀림 문제의 수학적 분석 영상 복원의 변분 방법 빠른 증가를 갖는 비선형 타원 문제 변분법의 정칙성 이론 연구 논문은 23편의 중요 문헌을 인용하며, 주요 내용은 다음과 같다:
8 M. Eleuteri 등의 느린 증가 관련 연구10 M. Eleuteri 등의 저차항 포함 느린 증가 경우11,12 BSC 조건 확장 관련 연구17 P. Marcellini의 빠른 증가 관련 고전 연구