비국소 최소 그래프 경계 흔적의 C¹,γ 정규성

초록

본 논문은 비국소 최소 그래프가 경계에서 “스틱니스(stickiness)” 현상을 보일 때, 그 경계 흔적(trace)이 C¹,γ(γ∈(0,1)) 클래스임을 증명한다. 이를 통해 경계 연속성이 있으면 경계에서 미분 가능함을 얻는다.

상세 분석

논문은 비국소 최소 그래프의 경계 흔적(trace)의 정규성을 두 단계로 접근한다. 첫 번째 단계에서는 스틱니스 현상이 나타나는 점 근처에서 외부 법선 벡터 ν의 접선 성분과 수직 성분의 비율을 제어함으로써 Lipschitz 정규성을 확보한다. 이를 위해 저자들은 비국소 최소 표면 Σ=∂E에 대해 정규화된 비국소 연산자 L을 정의하고, (2.1) 형태의 비국소 기하학적 방정식을 도출한다. 이후 Lemma 2.1과 Lemma 2.2를 이용해 지역화된 형태의 식 (2.3)을 얻고, 비국소 연산자의 교환 추정(commutator estimate)을 통해 비선형 항을 제어한다. 핵심은 ν_{n+1}≥0인 점을 이용해 분모가 0에 접근하지 않도록 하는 것이며, 이는 “geometric boundary Harnack inequality”의 첫 번째 형태(Lemma 2.3)에서 정량적으로 입증된다. 이 단계에서 얻은 균일 비율 상한은 곧 trace가 Lipschitz 연속임을 의미한다.

두 번째 단계에서는 이미 확보한 Lipschitz 정규성을 가정으로, 비율의 진동을 Hölder 연속으로 향상시킨다. 이를 위해 새로운 경계 Harnack 부등식(Lemma 3.4)을 도입한다. 이 부등식은 비율이 정의된 영역이 Lipschitz 도메인일 때, 비율의 평균값과 점값 사이의 차이가 거리의 γ-멱에 비례한다는 것을 보인다. Lemma 3.4의 증명은 가중 평균(Weighted averages on annuli) 기법과 비국소 연산자의 정밀한 커뮤니케이터 추정을 결합하여, 비율의 oscillation을 제어한다. 결과적으로 ν의 접선 성분이 C^{0,γ} 정규성을 갖게 되고, 이는 곧 trace u_E|_{∂Ω}가 C^{1,γ}임을 의미한다.

정리하면, 저자들은 (i) 비국소 최소 표면의 외부 법선에 대한 비국소 적분 방정식을 활용하고, (ii) 두 종류의 경계 Harnack 부등식을 구축하여 비율을 각각 Lipschitz 및 Hölder 제어함으로써, 스틱니스 점에서의 trace 정규성을 C^{1,γ}까지 끌어올렸다. 마지막으로 이 정규성을 이용해, 경계 연속성을 가정하면 해당 점에서 그래프가 C^{1,1+s/2} 정규성을 가지며, 따라서 “경계 연속성 ⇒ 경계 미분 가능성”이라는 결론을 얻는다. 논문은 기존 문헌에서 비국소 최소 그래프의 경계 거동에 대한 이해가 부족했던 부분을 메우며, 특히 비국소 연산자의 비대칭성, 비동형 형태, 그리고 외부 데이터와의 상호작용을 정밀히 다루었다는 점에서 기술적 기여가 크다.