[논문 리뷰] A fully nonlinear version of the Yamabe problem on locally conformally flat manifolds with umbilic boundary

Yanyan Li, Luc Nguyen|ArXiv.org|2009. 11. 17.

Nonlinear Partial Differential Equations참고 문헌 49인용 수 3

한 줄 요약

이 논문은 국소적으로 정형평탄한 리만다이내어 맨포ลด에 우미빅 경계를 가진 컴팩트한 다양체 위에서, 코ーン $\Gamma$와 함수 $f$에 대한 자연스러운 기하학적 및 해석적 조건 하에, 슈타우텐 텐서의 완전 비선형 대칭 함수를 통해 정의된 상수 $k$-곡률을 갖는 동형 메트릭의 존재를 증명함으로써, 완전 비선형 얀베-유사 문제의 해가 존재함을 확립한다. 핵심 결과는 도수 이론과 사전 추정치를 통해 관련된 완전 비선형 PDE 시스템의 해가 존재함을 보여주는 것으로, 고전적 얀베 문제를 완전 비선형 및 경계 조건이 있는 경우로 확장한다.

ABSTRACT

In this paper we establish existence and compactness of solutions to a general fully nonlinear version of the Yamabe problem on locally conformally flat Riemannian manifolds with umbilic boundary.

연구 동기 및 목표

• 경계가 있는 다양체 위에서 고전적 얀베 문제를 완전 비선형 설정으로 확장하는 것, 특히 우미빅 경계를 가진 국소적으로 정형평탄한 다양체에 대해.
• 코너 $\Gamma$와 함수 $f$에 대한 자연스러운 조건 하에, 슈타우텐 텐서의 완전 비선형 대칭 함수 $f$로 정의된 상수 $k$-곡률을 갖는 동형 메트릭의 존재를 확립하는 것.
• 위상수학적 도수 이론과 사전 추정치를 통해 노이만 유사 경계 조건을 가진 관련된 완전 비선형 PDE 시스템의 해가 존재함을 증명하는 것.

제안 방법

• 스튜트엔 텐서와 콘 $\Gamma$ 위에서 정의된 볼록 콘에 대한 대칭 함수 $f$를 포함하는 PDE 시스템으로 완전 비선형 얀베 문제를 수립한다. 이때 $f$는 특정한 양성 및 볼록성 조건을 만족한다.
• 레일리-슈아더 도수 이론을 사용하여, 원래 연산자와 더 단순한 연산자 사이의 호모토피를 구성함으로써 해의 존재성을 증명한다.
• 최대 원리와 기울기 조건을 이용하여 해에 대한 사전 $C^{4,\alpha}$ 추정치를 확립함으로써 해 집합의 컴팩턴스를 보장한다.
• 암시 함수 정리와 연속성 방법을 적용하여 도수가 0이 아니라는 것을 보이고, 이는 해의 존재를 의미한다.
• $f$가 일차 동차이고 볼록임을 이용하여 필요한 타원성과 경계 조건이 만족됨을 보장한다.
• 일반적인 기하학적 가정 하에 해가 존재함을 보장하기 위해 콘 $\Gamma$에 대한 매끄럽고 양의 정의 함수를 구성한다.

실험 결과

연구 질문

• RQ1 Schouten 텐서의 완전 비선형 대칭 함수 $f$를 통해 곡률이 규정되는 국소적으로 정형평탄한 다각체 위에 우미빅 경계를 가진 완전 비선형 얀베 문제는 해를 갖는가?
• RQ2 함수 $f$와 코너 $\Gamma$에 대한 자연스러운 기하학적 및 해석적 조건(양성, 볼록성, 동차성 포함) 하에 해의 존재는 확보될 수 있는가?
• RQ3 경계가 노이만 유사 조건을 만족하는 관련 PDE 시스템의 해가 존재하도록 보장하는 데에 코너 $\Gamma$와 함수 $f$의 역할은 무엇인가?
• RQ4 사전 $L^\infty$ 유계성 조건이 없을 경우, 호모토피와 컴팩턴스 추론을 통한 도수 이론적 접근 방식이 해의 존재를 어떻게 보장하는가?
• RQ5 고전적 얀베 문제의 해 존재성은 국소적으로 정형평탄하고 경계가 우미빅인 다양체 위에서 완전 비선형 설정으로 확장될 수 있는가?

주요 결과

• 논문은 $f$가 매끄럽고 양이며, 각 변수에 대해 엄격히 증가하고, $\partial\Gamma$에서 0이 되며, $\sum \partial f / \partial \lambda_k \geq \delta > 0$를 만족하는 조건 하에, 국소적으로 정형평탄한 컴팩트 리만다이내어 다각체 위에 우미빅 경계가 있는 경우에 완전 비선형 얀베 문제의 해가 존재함을 증명한다.
• 조건 (3)–(9)를 만족하는 모든 $f$에 대해 해가 존재하며, 특히 $f = \sigma_k^{1/k}$ on $\Gamma_k$의 중요한 경우, 이는 $k$-곡률 문제에 해당한다.
• 관련 비선형 연산자의 레일리-슈아더 도수가 0이 아니며, 이는 원래 문제와 더 단순한 문제 사이의 호모토피를 통한 추론으로부터 해가 존재함을 의미한다.
• 최대 원리와 기울기 조건을 이용하여 사전 $C^{4,\alpha}$ 추정치를 확립함으로써 해 집합이 컴팩트하고 도수가 잘 정의됨을 보장한다.
• 도수 값은 $(-1)^{\dim E^{-}(A_1)}$로 계산되며, 여기서 $A_1$은 선형화된 연산자이다. 이 부호는 0이 아니므로 해의 존재성이 확인된다.
• 결과는 고전적 얀베 문제를 완전 비선형 및 경계 조건이 있는 설정으로 확장하며, 자연스러운 기하학적 및 해석적 조건 하에 완전한 존재 이론을 제공한다.