De Giorgi 보조정리와 변분 보간법: 거리·바나흐 공간에서의 새로운 평등

초록

본 논문은 변분 보간법을 이용해 최소 이동 스킴(MMS)으로부터 얻어지는 이산 에너지‑소산 불평등을 일반 바나흐 공간까지 확장한다. 기존의 De Giorgi 보조정리를 등호 형태로 강화하기 위해서는 소산 퍼텐셜의 방사형 미분가능성이 필요함을 보이며, 이 조건을 완화한 경우에도 반등호 형태의 추정식을 얻는다. 주요 결과는 정리 4.2와 정리 4.12이며, 이를 통해 거리 공간과 바나흐 공간 모두에서 에너지‑소산 균형을 정확히 기술한다.

상세 분석

논문은 먼저 기존의 De Giorgi 보조정리가 메트릭 공간에서 어떻게 증명되는지를 정리하고, 이를 일반화된 메트릭 그래디언트 시스템(gMGS)와 일반화된 바나흐 그래디언트 시스템(gBGS)이라는 두 프레임워크로 나눈다. gMGS에서는 거리 D와 스칼라 소산 함수 ψ의 조합으로 소산 메커니즘을 정의하고, ψ가 C¹이며 엄격히 볼록일 때 변분 보간법(eᵤ^τ)이 만족하는 에너지 식(2.12)을 도출한다. 여기서 핵심은 d⁺_ρ와 d⁻_ρ라는 두 개의 “거리 파생” 함수이며, 이들은 최소화 문제의 상하극한을 통해 정의된다. 메트릭 경우에는 Euler‑Lagrange 방정식이 존재하지 않으므로, 대신 슬로프 |∂E|와 ψ′(·) 사이의 불평등(8)을 이용해 De Giorgi 추정식(1.4a)을 얻는다. 이 불평등이 등호가 되려면 거리 D가 길이 거리이며, 최소화 경로가 연속적이고 균등한 슬로프 추정이 필요함을 정리 2.15에서 증명한다.

바나흐 공간으로 전이할 때는 선형 구조를 활용해 직접적인 Euler‑Lagrange 방정식(1.6)을 얻는다. 여기서 R: X→