[논문 리뷰] Prescribing integral curvature equation

Mei‐Jun Zhu|arXiv (Cornell University)|2014. 07. 10.

Nonlinear Partial Differential Equations참고 문헌 31인용 수 5

한 줄 요약

이 논문은 특이 적분 연산자를 통해 $\mathbb{S}^{n}$ 상에서 새로운 종류의 곡률 연산자를 도입하여, 곡률 함수를 지정하기 위한 등각 공변성 프레임워크를 제공한다. 이는 $\mathbb{S}^{n}$ 상에서 반대칭성을 갖는 곡률 함수에 대한 양의 해의 존재성을 확립하며, 이러한 대칭 조건 하에서 $\mathbb{S}^{3}$ 상의 $Q$-곡률 지정 문제에 대한 첫 번째 존재성 결과를 증명한다.

ABSTRACT

In this paper we formulate new curvature functions on $\mathbb{S}^n$ via integral operators. For certain even orders, these curvature functions are equivalent to the classic curvature functions defined via differential operators, but not for all even orders. Existence result for antipodally symmetric prescribed curvature functions on $\mathbb{S}^n$ is obtained. As a corollary, the existence of a conformal metric for an antipodally symmetric prescribed $Q-$curvature functions on $\mathbb{S}^3$ is proved. Curvature function on general compact manifold as well as the conformal covariance property for the corresponding integral operator are also addressed, and a general Yamabe type problem is proposed.

연구 동기 및 목표

• 미분 연산자가 아닌 적분 연산자를 사용하여 $\S^n$ 상에서 새로운 곡률 함수를 정식화하기.
• 새로운 적분 형태를 도입함으로써 $\S^3$ 상에서 $Q$-곡률을 지정하는 오랫동안 열려 있던 문제를 해결하기.
• 적분 방정식을 통한 $\S^n$ 상에서 반대칭성을 갖는 곡률 함수에 대한 존재성 결과를 확립하기.
• 등각 기하학의 프레임워크를 적분 연산자까지 확장하여 등각 공변성 성질을 갖도록 하기.
• 적분 연산자와 고차수의 GJMS 유형 미분 연산자 간의 관계 탐색하기.

제안 방법

• 등각 라플라스 연산자의 그린 함수를 사용하여 $I_{M^{n},g_{0},\beta}(f)(x) = \int_{M^{n}} [G^{g_{0}}(y,x)]^{\frac{\alpha-n}{2-n}} f(y) dV_{g_{0}}(y)$ 를 정의한다.
• 등각 변화 $g_1 = \phi^{\frac{4}{n-\alpha}} g_0$ 하에서 등각 공변성 성질을 증명한다: $I_{g_{1},\alpha}(u) = \phi^{\frac{\alpha-n}{n-2}} I_{g_{0},\alpha}(\phi^{\frac{2n}{n-\alpha} + \frac{\alpha-n}{n-2}} u)$.
• $\alpha$-곡률 $Q_{\alpha,g}$ 를 함수로 정의하여 $\phi(x) = I_{M^{n},g_{0},\alpha}(Q_{\alpha,g} \phi^{\frac{n+\alpha}{n-\alpha}})$ 를 만족하도록 한다.
• 등각 대칭성을 갖는 $R$ 에 대해 $\alpha > n$ 인 경우 적분 방정식 $u(\xi) = \int_{\mathbb{S}^n} R(\eta) u^{\frac{n+\alpha}{n-\alpha}}(\eta) |\xi - \eta|^{\alpha - n} d\eta$ 의 양의 해 존재성을 증명한다.
• 미분 연산자(예: $(-\Delta)^2$)가 특정 경우에 비정상적인 곡률을 생성하지 못하는 실패를 피하기 위해 등각 공변성과 적분 형태를 활용한다.
• 카파레리-실베스트레 확장을 통해 적분 연산자와 분수 라플라스 연산자 간의 연결을 활용하고, GJMS 연산자 프레임워크와 연관시킨다.

실험 결과

연구 질문

• RQ1 특정 짝수 차수에서는 고전적 미분 곡률 연산자와 동치이지만 모든 차수에서 동치가 되는 것은 아닌, $\S^n$ 상에서 적분 연산자를 통한 새로운 곡률 함수의 클래스를 정의할 수 있는가?
• RQ2 반대칭성을 갖는 곡률 함수에 대해 $\S^3$ 상에서 $Q$-곡률 문제의 적분 형태가 양의 해를 갖는가?
• RQ3 등각 변화 $g_1 = \phi^{\frac{4}{n-\alpha}} g_0$ 하에서 제안된 적분 연산자 $I_{M^{n},g_{0},\alpha}$ 의 등각 공변성 성질은 무엇인가?
• RQ4 적분 곡률 연산자는 등각 기하학에서 GJMS 연산자와 분수 라플라스 연산자와 어떻게 관련이 있는가?
• RQ5 적분 형태가 미분 연산자 형태에서 존재하지 못하는 장애물(예: 카잔-워너 장애)을 해결할 수 있는가?

주요 결과

• 논문은 $\alpha > n$ 이고 $R$ 가 반대칭성을 갖는 경우, $\mathbb{S}^n$ 상에서 적분 곡률 방정식 $u(\xi) = \int_{\mathbb{S}^n} R(\eta) u^{\frac{n+\alpha}{n-\alpha}}(\eta) |\xi - \eta|^{\alpha - n} d\eta$ 에 대한 양의 해가 존재함을 증명한다.
• 결론적으로, 반대칭성을 갖는 $R$ 에 대해 $\mathbb{S}^3$ 상에서 주어진 $Q$-곡률을 갖는 등각 메트릭의 존재성이 확립된다.
• 제안된 적분 연산자 $I_{M^{n},g_{0},\alpha}$ 는 등각 메트릭 변화 $g_1 = \phi^{\frac{4}{n-\alpha}} g_0$ 하에서 등각 공변성 성질을 갖는 것으로 입증되었으며, 이는 고전적인 등각 라플라스 연산자의 등각 공변성 성질을 일반화한다.
• 제안된 $\alpha$-곡률 $Q_{\alpha,g}$ 는 방정식 $\phi(x) = I_{M^{n},g_{0},\alpha}(Q_{\alpha,g} \phi^{\frac{n+\alpha}{n-\alpha}})$ 를 통해 정의되며, $\alpha = 2$ 일 때 스칼라 곡률로 축소된다.
• 표준 구에서 $(-\Delta)^2$ 와 같은 미분 연산자가 $Q$-곡률를 0으로 만드는 문제를 해결하기 위해, 적분 형태를 통해 이러한 실패를 피할 수 있음을 보였다.
• 논문은 적분 연산자와 GJMS 연산자 간의 연결을 확립하였으며, Hang과 Yang [27]의 참고자료에 따르면 $\alpha = 4$ 인 경우 적분 연산자가 GJMS 연산자에 해당함을 확인하였다.