초소부피에서 기하볼이 최소화, 대부피에서는 비존재: 하이퍼볼릭 공간의 비국소 등적 문제

초록

본 논문은 하이퍼볼릭 공간 ℍⁿ에서 주변 길이와 거리의 음의 거듭제곱으로 정의된 비국소 항이 경쟁하는 등적 퍼텐셜 E(F)=P(F)+γ NLₐ(F)를 연구한다. 부피 m이 충분히 작을 때는 지오데식 볼이(동형 사상에 따라) 유일 최소화자를 이루고, 반대로 α<2 조건 하에 부피가 충분히 크면 최소화자가 존재하지 않음을 증명한다.

상세 분석

논문은 먼저 유클리드 공간 ℝⁿ에서 잘 알려진 비국소 등적 문제를 하이퍼볼릭 공간 ℍⁿ에 옮겨 놓음으로써 새로운 기하학적 난관을 제시한다. ℍⁿ에서는 등적 불평등이 여전히 지오데식 볼에 최소 주변 길이를 부여하지만, 비국소 항 NLₐ(F)=∬_{ℍⁿ×ℍⁿ}χ_F(x)χ_F(y) d_g(x,y)^{-α} dV_g(x)dV_g(y) 는 거리 함수가 지수적으로 증가하는 특성 때문에 ℝⁿ과는 다른 스케일링 성질을 가진다. 저자들은 상반된 두 항의 상대적 우위를 부피 m에 따라 분석하고, ℝⁿ에서 사용되는 동차 스케일 변환이 ℍⁿ에서는 존재하지 않음을 지적한다. 이를 극복하기 위해 상반부 모델 Uⁿ(=ℝⁿ₊, g)에서 정의된 Φ_λ 변환을 도입한다. Φ_λ는 마지막 좌표만 λ배 확대·축소함으로써 부피를 λ^{1‑n}배 변환시키며, 주변 길이와 비국소 항에 대해 양쪽에 상수 비례 관계를 유지한다(정리 2.2, 2.3). 이 변환을 이용해 최소화 후보 집합을 일정 부피 b_n에 정규화하고, 정규화된 문제에 대한 정규성, 유계성, 분해불가능성 등을 증명한다. 특히, 최소화자는 본질적으로 유계이며, 상하 밀도 하한을 확보함으로써 정규화된 부피 구간에서의 존재성을 확보한다(섹션 3).

부피가 작을 때는 최소화자가 지오데식 볼에 포함된다는 강력한 위치 추정(Lemma 5.1)을 얻는다. 여기서 핵심은 최소화자가 반구면 위에 반구면 형태의 방사형 그래프임을 보이는 것이며, 이는 Φ_λ 변환이 볼을 정확히 보존하지 못하더라도 “반구면 근사”라는 개념으로 보완한다. 이후 푸글레데(Fuglede) 유형의 주변 길이와 비국소 항에 대한 정밀 추정(정리 5.3)을 적용해, 방사형 함수가 원래 반지름과 충분히 가깝다면 볼이 유일 최소화자임을 귀류법으로 증명한다. 이 과정에서 α와 γ에 대한 제한 없이, 오직 차원 n과 부피 m에만 의존하는 상수 m₁을 도출한다(정리 1.2).

반대로 부피가 크게 되면 비국소 항이 주변 길이를 압도하게 된다. 저자는 α<2라는 추가 가정 하에, 부피 m이 충분히 크면 두 개의 멀리 떨어진 볼이 하나의 큰 볼보다 에너지 값을 작게 만든다는 “분리 테스트”를 수행한다. Φ_λ 변환을 이용해 큰 부피 집합을 적절히 스케일링하고, 비국소 항의 하한을 추정해 m≥m₂이면 최소화자가 존재할 수 없음을 보인다(정리 1.3). 이때 m₂는 n,α,γ에만 의존한다.

전체적으로 논문은 ℍⁿ에서 비국소 등적 문제의 존재·비존재 전이를 유클리드와 유사한 형태로 재현하면서, 하이퍼볼릭 기하의 비선형 스케일링을 Φ_λ 변환으로 정량화한다는 점에서 독창적이다. 또한, 정규화된 최소화자에 대한 정밀한 기하학적 구조 분석과 푸글레데식 추정의 결합은 향후 변분 문제와 비국소 상호작용 모델에 적용 가능한 강력한 도구를 제공한다.