[논문 리뷰] A class of curvature type equations

Pengfei Guan, Xiangwen Zhang|arXiv (Cornell University)|2019. 09. 09.

Geometric Analysis and Curvature Flows참고 문헌 40인용 수 16

한 줄 요약

이 논문은 구면 $\mathbb{S}^n$ 위에서 일반적인 완전 비선형 곡률 방정식의 $\mathcal{G}$-불변이며 적합한 해의 존재성을 확립한다. 이는 Christoffel-Minkowski 및 헤시안 유형 문제를 일반화한 것으로, 불변성과 비퇴화 조건 하에서 도함수 이론과 사전 추정을 사용하여 해의 $C^{m+2,\gamma}$ 정규성과 데이터에 의존하는 균일한 경계를 증명한다. 다만, 비균일 방정식에 대한 일정한 랭크 정리가 부족하여 볼록성은 완전히 회복되지 않는다.

ABSTRACT

In this paper, we study the solvability of a general class of fully nonlinear curvature equations, which can be viewed as generalizations of the equations for Christoffel-Minkowski problem in convex geometry. We will also study the Dirichlet problem of the corresponding degenerate equations as an extension of the equations studied by Krylov.

연구 동기 및 목표

• 일반적인 완전 비선형 곡률 방정식의 해 존재성을 $\mathbb{S}^n$ 위에서 증명함으로써 Christoffel-Minkowski 및 헤시안 문제를 일반화한다.
• Krylov의 퇴화 방정식 결과를 분석함으로써 이 방정식의 클래스에 대한 딜리클레 문제를 확장한다.
• 특히 자동형군 불변성의 역할을 중심으로 대칭성과 비퇴화 조건 하에서 적합한 해의 존재성을 조사한다.
• 비균일 곡률 방정식에 대한 일정한 랭크 정리의 부재로 인해 볼록성 회복의 격차를 해결하기 위해 원인을 규명한다.

제안 방법

• 고정점이 없는 자동형군 $\mathcal{G}$가 $\mathbb{S}^n$ 위에 존재할 때, $\mathcal{G}$-불변성을 이용한 도함수 이론을 통해 해의 존재성을 증명한다.
• 사전 추정을 적용하며, 장벽 함수 $\Psi$를 통한 $C^2$ 추정과 헤시안의 구조를 제어하는 핵심 보조정리가 포함된다.
• 두 번째 도함수를 제어하기 위해 테스트 함수 $\Phi = \sum G^{ii} \lambda_i$를 사용하며, 기본 대칭 함수 $\sigma_k$의 구조를 활용한다.
• 해의 $\|\alpha\|_{C^{m,1}}$, $\|\alpha_\ell\|_{C^{m,1}}$, 및 $\inf \alpha_\ell$ 에 따라 의존하는 균일한 $C^{m+2,\gamma}$ 경계를 유도한다. 이는 정규성 보장을 보장한다.
• 대칭 2-텐서 $\chi(x)$를 포함하는 방정식으로 프레임워크를 일반화하며, $\tilde{H} = \mathrm{tr}\chi + H$ 를 도입하여 $C^2$ 추정을 수정한다.
• 3차원 특수 라그랑주 유형 방정식의 특수 케이스를 $\tilde{\lambda} = \lambda + \tilde{c}(x)I_n$ 를 통한 헤시안 이동을 통해 주요 형태로 환원함으로써 $\alpha(x)$의 부호 제약 조건을 완화할 수 있다.

실험 결과

연구 질문

• RQ1 일반 곡률 방정식 $\sigma_k(W_u) + \alpha(x)\sigma_{k-1}(W_u) = \sum_{\ell=0}^{k-2} \alpha_\ell(x)\sigma_\ell(W_u)$ 이 $\mathbb{S}^n$ 상에서 어떤 조건에서 해를 가질 수 있는가?
• RQ2 특수 라그랑주 기하학에서 유래된 방정식의 경우, $\alpha(x) \geq 0$ 를 요구하지 않고도 해의 존재성을 확보할 수 있는가?
• RQ3 완전 비선형 곡률 방정식의 도함수 이론을 통한 존재성 증명에서 군 불변성이 수행하는 역할은 무엇인가?
• RQ4 왜 이 유형의 비균일 방정식에 대해 일정한 랭크 정리가 존재하지 않으며, 이는 해의 볼록성에 어떤 영향을 미치는가?
• RQ5 기본 대칭 함수와 곡률 연산자의 구조를 어떻게 활용하여 균일한 $C^{m+2,\gamma}$ 추정을 도출할 수 있는가?

주요 결과

• 논문은 제시된 불변성과 비퇴화 조건 하에서 $\mathcal{G}$-불변 해 $u \in C^{m+2,\gamma}(\mathbb{S}^n)$ 의 존재성을 증명한다.
• 균일한 $C^{m+2,\gamma}$ 경계가 확립된다: $\|u\|_{C^{m+2,\gamma}} \leq C$, 여기서 $C$ 는 $\inf \alpha_\ell$, $\|\alpha_\ell\|_{C^{m,1}}$, 및 $\|\alpha\|_{C^{m,1}}$ 에만 의존한다.
• 해는 $\lambda(W_u) \in \Gamma_{k-1}$ 이지만 일반적으로 $\Gamma_n$ 에는 속하지 않아, 볼록성이 보장되지 않는다.
• 비퇴화 조건 $\alpha_\ell(x) > 0$ 은 고유값이 $\partial\Gamma_{k-1}$ 에 가까워지는 것을 방지하여 우변이 유계임을 보장한다.
• 배경 텐서 $\chi(x)$ 를 포함하는 방정식으로 이 방법이 일반화되며, 수정된 테스트 함수를 통해 $C^2$ 추정 프레임워크를 유지한다.
• 3차원 특수 라그랑주 유형 방정식의 경우, 헤시안을 변형함으로써 $\alpha(x)$ 의 부호 제약 조건을 완화할 수 있으며, 이는 $\gamma(x) \leq 0$ 일 때에도 해 존재성을 보장한다.