볼록 C¹ 리프시츠 함수의 날카로운 휘트니 연장 정리

초록

본 논문은 임의의 집합 E⊂ℝⁿ에 정의된 1‑제트 (f,G) 가 볼록 C¹ 및 리프시츠 연장이 가능하도록 하는 필요충분 조건을 제시하고, 그때 확장 함수 F 가 Lip(F)=sup_{x∈E}|G(x)| 를 만족하도록 구성한다. 또한 확장의 전역적인 강제성 방향을 사전에 지정할 수 있다.

상세 분석

이 연구는 고전적인 휘트니 연장 정리를 볼록 C¹ 함수와 리프시츠 제약이라는 두 가지 추가 구조에 맞게 정밀하게 재구성한다. 기존 문헌에서는 볼록 C¹ 연장의 존재조건으로 (C) 와 (CW₁) 이라는 두 불평등을 제시했으며, 차원에 따라 상수 c(n) 이 필요했다. 저자는 이를 넘어, (C_b) (즉 G 의 연속·유계와 f ≥ f + ⟨G,·⟩ 조건), (S_{Y,X}) (차이 벡터가 생성하는 부분공간 Y 가 목표 부분공간 X 에 포함), (C_{Y,X}) (필요한 추가 점들을 E 바깥에 삽입해 X 의 차원을 맞추는 기하학적 조건), 그리고 (CW₁_X) (‘코너 at infinity’ 를 방지하는 연속성 조건) 네 가지를 동시에 만족할 때만 볼록 C¹ 리프시츠 확장이 가능함을 보인다.

핵심 기술은 두 단계로 나뉜다. 첫째, 주어진 제트에 대해 최소 볼록 연장
(m(x)=\sup_{y∈E}{f(y)+⟨G(y),x−y⟩})
를 정의하고, 이를 정리 2.2의 분해 정리와 결합해
(m=c∘P_Y+⟨v,·⟩)
의 형태로 표현한다. 여기서 c 는 Y 위에서 강제(coercive)이며, 선형 항 v 의 노름이 L:=sup_{E}|G| 보다 엄격히 작다(|v|<L)라는 정밀한 추정이 핵심이다.

둘째, (C_{Y,X}) 조건을 이용해 E 에 추가 점 q₁,…,q_{d−k} 을 삽입해 확장된 제트 (f*,G*) 를 만든다. 이때 Y = span{G(x)−G(y)} 은 정확히 X 와 일치하도록 설계한다. 이렇게 하면 새로운 최소 연장 m* 역시 L‑리프시츠이며 동일한 분해
(m*=c_∘P_X+⟨v_,·⟩)
을 갖는다. 이후 c_* 를 C¹ 볼록 H 로 매끄럽게 근사시켜 전체 공간에 걸친 확장
(F(x)=\inf_{y∈ℝⁿ}{H(P_X y)+⟨v_,y⟩+L|x−y|})
을 정의한다. 이 과정에서 Lipschitz envelope를 적용함으로써 최종 함수 F 가 전역적으로 L‑리프시츠이며, ∇F = G on E* 을 만족한다.

특히 저자는 X_F = X (즉 F 의 강제성 방향이 사전에 지정한 X 와 일치)와 Lip(F)=sup_{E}|G| 이라는 ‘날카로운’ 상수를 동시에 달성한다는 점에서 기존 결과를 크게 개선한다. 또한, ‘코너 at infinity’를 방지하는 (CW₁_X) 조건이 없으면 어떠한 매끄러운 확장도 존재하지 않을 수 있음을 예시와 함께 논증한다.

이 논문은 볼록 C¹ 함수의 전역 구조를 선형 부분공간 X 에 대한 직교 분해와 연결시키는 새로운 관점을 제공한다. 결과적으로, 고차원에서 상수 c(n) 이 무한대로 발산하던 문제를 완전히 해소하고, 무한 집합 E 에 대해서도 동일한 최적 상수를 얻을 수 있음을 보인다. 이는 최적화, 변분법, 그리고 기하학적 측정 이론 등에서 볼록 C¹ 함수의 정확한 연장 필요성을 가진 여러 응용 분야에 직접적인 영향을 미칠 것으로 기대된다.