[논문 리뷰] The Yamabe problem on stratified spaces

Kazuo Akutagawa, Gilles Carron외 1명|arXiv (Cornell University)|2012. 10. 30.

Nonlinear Partial Differential Equations참고 문헌 14인용 수 4

한 줄 요약

이 논문은 리만 스트럿티드 공간에 대해 국소 양하브 및 소볼레프 불변량을 도입하며, 전역 양하브 불변량이 국소 불변량보다 엄격히 작을 조건 하에 양하브 함수의 양의 최소화자가 존재함을 증명한다. 이 결과는 반복된 엣지 계량을 갖는 계층적 가짜다양체로 고전적 양하브 문제를 일반화하며, 해의 정규성에 대해 정확한 결과를 도출하고 이전의 고립된 콘형 특이점에 대한 연구를 확장한다.

ABSTRACT

We introduce new invariants of a Riemannian singular space, the local Yamabe and Sobolev constants, and then go on to prove a general version of the Yamabe theorem under that the global Yamabe invariant of the space is strictly less than one or the other of these local invariants. This rests on a small number of structural assumptions about the space and of the behavior of the scalar curvature function on its smooth locus. The second half of this paper shows how this result applies in the category of smoothly stratified pseudomanifolds, and we also prove sharp regularity for the solutions on these spaces. This sharpens and generalizes the results of Akutagawa and Botvinnik \cite{AB} on the Yamabe problem on spaces with isolated conic singularities.

연구 동기 및 목표

• 제어된 특이성을 갖는 컴acts 리만 특이 공간, 특히 반복 엣지 계량을 갖는 매끄러운 계층적 가짜다양체로 고전적 양하브 문제를 확장하는 것.
• 특이점 근처에서 양하브 함수의 점근적 행동을 캡처하는 새로운 불변량인 국소 양하브 및 소볼레프 상수를 정의하는 것.
• 전역 양하브 불변량과 국소 불변량을 비교하는 조건 하에 양하브 함수의 엄격히 양의 최소화자가 존재함을 증명하는 것.
• 최소화자의 정확한 정규성(스무스함과 특이층 근처에서 제어된 속도로 감쇠됨)을 증명하는 것.
• 더 일반적인 계층적 구조와 약한 곡률 가정을 포함하여 이전의 고립된 콘형 특이점에 대한 결과를 일반화하는 것.

제안 방법

• 각 점 주변의 작은 구의 양하브 불변량들에 대한 하한으로 국소 양하브 불변량 $ Y_{\ell}(M,[g]) $ 을 정의하여 반지름이 0으로 수렴할 때의 점근적 행동을 캡처한다.
• 존재 조건에서 국소 양하브 불변량과 유사한 역할을 하는 국소 소볼레프 불변량 $ S_{\ell}(M,g) $ 을 도입한다.
• 등각 불변성을 이용해 매끄러운 점에서의 국소 양하브 불변량을 구의 양하브 불변량과 연결하고, 콘형 특이점에서는 $ \mathbb{R} \times Z $ 위의 실린더 양하브 불변량과 연결한다.
• 모서리 $ \{x=\tilde{x}=0\} $ 에서 섬유 대각선을 부풀려 얻은 더블 공간 $ N^2_{\text{ice}} $ 에서 파라메트릭스를 구성하여 등각 라플라스 연산자의 파라메트릭스를 수립한다.
• 접선 변수에 대한 푸리에 변환과 스케일링을 통해 등각 라플라스 연산자의 정규 연산자를 분석하여, $ \mathbb{R}^+ \times Z $ 위의离산 스펙트럼을 갖는 연산자로 환원한다.
• 정규 연산자의 역행렬이 접선 변수에서의 이동에 대해 가환함을 이용해, $ [\partial_y, G] $ 가 $ G $ 와 동일한 사상 성질을 가짐을 증명한다.

실험 결과

연구 질문

• RQ1 특이 리만 다양체에서 계층적 구조를 갖는 공간에서 양하브 함수가 양의 최소화자를 갖는 조건은 무엇인가?
• RQ2 전역적으로 매끄럽지 않은 상황에서 국소 특이 행동을 고려하여 고전적 양하브 불변량을 어떻게 일반화할 수 있는가?
• RQ3 반복 엣지 계량을 갖는 계층적 가짜다양체에서 양하브 함수의 최소화자의 정확한 정규성 클래스는 무엇인가?
• RQ4 국소 양하브 및 소볼레프 불변량은 전역 양하브 불변량과 비교하여 해의 존재성을 어떻게 결정하는가?
• RQ5 해가 특이층 근처에서 어떻게 등각적이고 제어된 속도로 감쇠되는지, 그리고 그 해가 등각적임을 얼마나 넓게 보장할 수 있는가?

주요 결과

• 전역 양하브 불변량 $ Y(M,[g]) $ 이 국소 양하브 불변량 $ Y_{\ell}(M,[g]) $ 보다 엄격히 작을 때이고 그 때에만 양하브 함수의 양의 최소화자가 존재한다.
• 제시된 조건 하에 최소화자 $ u $ 는 전체 공간 $ M $ 에서 엄격히 양수이며, 모든 접선 도함수에 대해 정확한 감쇠 속도를 갖는다.
• 해 $ u $ 는 등각적이고 반복 엣지 구조에 맞는 속도로 감쇠되며, 파라메트릭스 구성과 교환자 분석을 통해 이를 증명한다.
• 등각 라플라스 연산자의 정규 연산자는 $ x^\nu \mathcal{C}^{k,\gamma}_{\text{ice}} $ 에서 역행렬이 존재하며, 이는 $ -\mathcal{L}_{k(0)}^n $ 의 이산 스펙트럼에 기반한다.
• 정규 연산자의 역행렬은 푸리에 변환과 스케일링을 통해 표현되며, $ \int_{\mathbb{R}^\ell} e^{i(y-\tilde{y})\eta} G_0(x|\eta|, \tilde{x}|\eta|, z, \tilde{z}) |\eta|^q d\eta $ 형태의 명시적 적분 커널을 포함한다.
• 정규 연산자의 역행렬이 $ y $-변수에서 이동에 대해 불변임을 고려해, $ [\partial_y, G] $ 는 $ G $ 와 동일한 사상 성질을 갖는다.