최소 부분다양체의 L^p Sobolev 부등식

초록

본 논문은 유클리드 공간의 최소 부분다양체(임의의 코차원)에서 p>1인 경우의 Allard‑Michael‑Simon 형태 Sobolev 부등식을 명시적 상수와 함께 증명한다. p≥2와 1<p<2에 대해 각각 별도 분석을 진행하며, p≥2에서는 차원에 독립적인 상수를 얻어 n→∞일 때 최적 상수와 점근적으로 일치함을 보인다. 증명은 최적 질량 수송 이론을 기반으로 하며, Brendle와 Eichmair의 최근 등적 부등식에 대한 새로운 통합 증명을 제공한다.

상세 분석

논문은 먼저 기존의 Sobolev 부등식(1.1)과 그 최적 상수 AT(n,p)를 소개하고, 부분다양체에 평균곡률이 등장하는 Michael‑Simon 부등식(1.3)의 비최적성을 지적한다. 이후 Brendle와 Eichmair이 제시한 코차원 의존 상수 C(n,m)와 그 한계값을 검토한다. 저자들은 최소 부분다양체(H≡0)라는 가정 하에 두 구간 p≥2와 1<p<2를 구분하여 새로운 상수 S(n,p)와 ˜S(n,m,p)를 정의한다. S(n,p)는 코차원에 무관하며, Stirling‑Lánczos 근사를 이용해 lim_{n→∞} S/AT=1을 얻어 점근적 최적성을 확인한다. p≥2 경우 증명은 다음과 같이 전개된다. (i) 함수 f를 정규화하여 μ와 ν라는 확률측도를 정의하고, Balogh‑Kristály의 일반화된 Brenier 정리를 적용해 정상벡터 번들 위의 매핑 Φ를 얻는다. (ii) 최소성으로 인해 평균곡률 항이 사라지고, det DΦ≤|Δ_Σ ac u|^n이 성립한다. (iii) |Φ|^{p’}에 대한 하한을 Pythagorean 규칙과 볼록성으로 추정하고, 적절한 파라미터 t를 선택해 적분식 (2.5)–(2.7)을 유도한다. (iv) Hölder와 divergence theorem을 이용해 최종적으로 ∫|∇Σ f|^p와 ∫|f|^{p*} 사이에 상수 C{n,m,p,t}가 등장함을 보인다. t를 최적화하면 S(n,p)가 도출된다. 1<p<2 경우에는 동일한 흐름을 따르되, 평균곡률이 사라지지 않아 추가적인 코차원 의존 항 ω_m·Γ(m p’ +1)·…이 포함된 ˜S(n,m,p)를 얻는다. 두 정리 모두 p=2에서 동일한 상수 S(n,2)를 제공함을 확인한다. 마지막으로 저자들은 위의 OMT 프레임워크를 이용해 Brendle‑Eichmair 등적 부등식(1.4)의 대안 증명을 제시한다. 전체적으로 논문은 질량 수송의 미분기하학적 구조를 활용해 기존 결과보다 깔끔하고 통합된 증명을 제공하며, 특히 고차원·고코차원 경우에도 상수가 유의미하게 개선됨을 보여준다.