[논문 리뷰] On Harnack inequalities and singularities of admissible metrics in the Yamabe problem

Neil S. Trudinger, Xu‐Jia Wang|ArXiv.org|2005. 09. 15.

Nonlinear Partial Differential Equations참고 문헌 19인용 수 7

한 줄 요약

이 논문은 $n \geq 3$ 차원의 컴act 리만다이만다이만에서 $n/2 < k \leq n$ 인 경우, $k$-Yamabe 문제에 대한 날카운 Harnack 부등식과 컴팩턴스를 확립하며, Yamabe 유형의 비선형 등각 곡률 방정식의 해가 존재하고 유일함을 증명한다. 이는 변분적 접근을 넘어서 비변분적 설정으로까지 확장된 변분 및 위상수학적 방법을 통해 $k > n/2$ 인 $k$-Yamabe 문제의 해법 가능성 문제를 해결한다.

ABSTRACT

In this paper we study the local behaviour of admissible metrics in the k-Yamabe problem on compact Riemannian manifolds $(M, g_0)$ of dimension $n\ge 3$. For $n/2 n/2$.

연구 동기 및 목표

• 차원 $n \geq 3$ 인 컴act 리만다이만다이만에서 $n/2 < k \leq n$ 인 경우, $k$-admissible 메트릭에 대한 날카운 Harnack 부등식을 확립한다.
• 리만 공간 $\mathbb{R}^n$ 상의 $k$-admissible 메트릭의 특이점을 분류하고, 그 허더 연속성의 정도를 규명한다.
• $p \neq k$ 인 경우, 등각 $k$-헤시안 방정식 $\sigma_k(\lambda(V)) = f v^p$ 의 해가 존재하고 유일함을 증명한다.
• $k$-Yamabe 문제의 해법 결과를 변분적 영역을 초월하여, 특히 $k > n/2$ 인 경우로 확장한다.
• 비선형성의 일반적 성장 조건 하에서 해의 존재성을 증명하기 위한 위상수학적 프레임워크를 수립한다.

제안 방법

• $k$-admissible 메트릭이 $S^n$ 과 등각적으로 동치가 아닌 다이나믹스에서, $\max \chi(x)/\chi(y) \leq \exp(C|x-y|^{2-n/k})$ 형태의 날카운 Harnack 부등식을 유도한다.
• $v = \chi^{(n-2)/4}$ 의 약한 Harnack 부등식과 하모닉성의 성질을 이용하여, $\{\chi = \infty\}$ 의 측도가 0임을 보인다.
• $\mathbb{R}^n$ 상의 $k$-admissible 메트릭의 특이점은 점 특이점 $g = C|x-x_0|^{-4}g_0$ 또는 지수 $\alpha = 2 - n/k$ 를 가진 허더 연속적 등각 인자로 분류된다.
• 등각 $k$-헤시안 방정식 $\sigma_k(\lambda(V)) = t \varphi(x,v)$ 에 대해 위상수학과 사전 경계 조건을 적용하고, $t=0$ 에서 $t=t^*$ 로의 호모토피를 사용한다.
• 최대 원리와 하한-상한 해 기법을 통해 해의 균일한 경계를 통제하고, $t^*$ 에서의 존재성을 확보한다.
• $\varphi(x,t)$ 의 조건을 완화하기 위해, 선형화 문제의 고유값 $\theta$ 와 비교하여 渐近적 행동 $t^{-k}\varphi(x,t)$ 를 분석한다.

실험 결과

연구 질문

• RQ1 차원 $n \geq 3$ 인 컴act 다이나믹스에서 $n/2 < k \leq n$ 이고 $(M,g_0)$ 가 $S^n$ 과 등각적으로 동치가 아닐 경우, $k$-admissible 메트릭에 대한 날카운 Harnack 부등식은 무엇인가?
• RQ2 $k > n/2$ 인 경우, $\mathbb{R}^n$ 상의 $k$-admissible 메트릭의 가능한 특이점 유형은 무엇인가?
• RQ3 $\sigma_k(\lambda(V)) = f v^p$ 형태의 비변분적 비선형성에 대해 $k$-Yamabe 문제의 해가 존재하는가? ($p \neq k$)
• RQ4 $M$ 이 $S^n$ 과 등각적으로 동치일 경우에도 존재성 및 유일성 결과를 확장할 수 있는가?
• RQ5 $\varphi(x,t)$ 에 어떤 조건이 성립하면, $\sigma_k(\lambda(V)) = t \varphi(x,v)$ 에 대해 다수의 해가 존재하는가?

주요 결과

• $n/2 < k \leq n$ 이고 $(M,g_0)$ 가 $S^n$ 과 등각적으로 동치가 아닐 경우, $[g_0]_k$ 는 $C^0(M)$ 상에서 컴팩트하며, 날카운 Harnack 부등식 $\max \chi(x)/\chi(y) \leq \exp(C|x-y|^{2-n/k})$ 를 만족한다.
• $\mathbb{R}^n$ 상에서, 임의의 $k$-admissible 메트릭은 $g = C|x-x_0|^{-4}g_0$ 형태의 점 특이점 또는 지수 $\alpha = 2 - n/k$ 를 가진 허더 연속적 등각 인자를 가진다.
• 임의의 매끄럽고 양수인 $f$ 와 $p \neq k$ 에 대해, $n/2 < k \leq n$ 이고 $[g_0]_k \neq \emptyset$ 일 경우, $\sigma_k(\lambda(V)) = f v^p$ 에 양수해가 존재한다.
• $p < k$ 일 경우, $\sigma_k(\lambda(V)) = f v^p$ 의 해는 유일하다; $p = k$ 일 경우, $\sigma_k(\lambda(V)) = \theta f v^k$ 는 스케일링을 제외하고 유일한 양수해를 가지는 양수 상수 $\theta$ 가 존재한다.
• $\varphi(x,t)$ 가 $\lim_{t \to \infty} t^{-k}\varphi(x,t) > \theta$ 와 $\lim_{t \to 0} t^{-k}\varphi(x,t) < \theta$ 를 만족할 경우, $t^* > 0$ 이 존재하여 $t < t^*$ 에서는 최소 두 개의 해, $t = t^*$ 에서는 한 개의 해, $t > t^*$ 에서는 해가 존재하지 않는다.
• 비선형성이 $\nabla v$ 에 의존하는 경우에도 결과가 확장되며, (4.11) 및 (4.13)의 성장 조건은 고유값 $\theta$ 를 기준으로 하여 완화될 수 있다.