[논문 리뷰] The resonant boundary $Q$-curvature problem and boundary-weighted barycenters

Mohameden Ould Ahmedou, Sadok Kallel외 1명|arXiv (Cornell University)|2016. 04. 13.

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

한 줄 요약

이 논문은 경계를 가진 4차원 컴act 리만다이안 맨ifold 위에서, 내부에서 주어진 $Q$-곡률을 가지며 경계에서 $T$-곡률과 평균 곡률이 0인 등각 메트릭의 존재성을 다룬다. 비콤팩트 변분 설정으로 확장된 모스 이론과 무한점에서의 임계점 분석, 경계 가중 바이어센터를 통해, 공진 $Q$-곡률 문제의 해가 존재하는지에 대한 파oincaré-Hopf 유형의 기준을 수립한다.

ABSTRACT

Given a compact four-dimensional Riemannian manifold $(M, g)$ with boundary, we study the problem of existence of Riemannian metrics on $M$ conformal to $g$ with prescribed $Q$-curvature in the interior $\mathring{M}$ of $M$, and zero $T$-curvature and mean curvature on the boundary $\partial M$ of $M$. This geometric problem is equivalent to solving a fourth-order elliptic boundary value problem (BVP) involving the Paneitz operator with boundary conditions of Chang-Qing and Neumann operators. The corresponding BVP has a variational formulation but the corresponding variational problem, in the case under study, is not compact. To overcome such a difficulty we perform a systematic study, à la Bahri, of the so called {\it critical points at infinity}, compute their Morse indices, determine their contribution to the difference of topology between the sublevel sets of associated Euler-Lagrange functional and hence extend the full Morse Theory to this noncompact variational problem. To establish Morse inequalities we were led to investigate from the topological viewpoint the space of boundary-weighted barycenters of the underlying manifold, which arise in the description of the topology of very negative sublevel sets of the related functional. As an application of our approach we derive various existence results and provide a Poincaré-Hopf type criterium for the prescribed $Q$-curvature problem on compact four dimensional Riemannian manifolds with boundary.

연구 동기 및 목표

• 경계를 가진 4차원 컴팩트 리만다이안 맨ifold 위에서 내부에서 주어진 $Q$-곡률, 경계에서 $T$-곡률과 평균 곡률이 0인 등각 메트릭의 존재성을 다루는 것.
• 공진 $Q$-곡률 방정식과 관련된 변분 문제에서의 콤팩트성 부족을 극복하기 위해 무한점에서의 임계점에 대한 정교한 분석을 개발하는 것.
• 경계 가중 바이어센터 공간을 사용하여 오일러-라그랑주 함수의 하위레벨 집합의 위상수학적 성질을 기술함으로써, 모스 이론적 분석을 가능하게 하는 것.
• 경계 가중 바이어센터 공간의 위상수학적 성질에 기반하여 공진 $Q$-곡률 문제의 해가 존재하는지에 대한 파oincaré-Hopf 유형의 기준을 도출하는 것.

제안 방법

• Bahri의 무한점에서의 임계점 프레임워크를 적용하여 $Q$-곡률 방정식과 관련된 비콤팩트 변분 문제에서의 폭발 행동을 분석한다.
• 폭발 분석을 수행하고, 내부 및 경계점에 집중하는 해에 대한 정밀한 점근적 추정치를 도출하며, Harnack 유형 부등식과 버블 분해를 사용한다.
• 유한차원 축소를 통해 무한점 근처의 의사구배 벡터장( pseudogradient vector field )을 구성함으로써, 에너지 집중의 극한에서 함수의 위상수학적 성질을 연구할 수 있도록 한다.
• 경계 가중 바이어센터 공간 $B_k^\partial(M)$을 도입하고, 그의 호몰로지와 오일러 특성수를 계산하여 매우 음의 하위레벨 집합의 위상수학적 성질를 기록한다.
• 스펙트럴 시퀀스와 대수적 위상수학적 방법을 사용하여 $B_k^\partial(M)$의 위상수학적 성질과 무한점에서의 임계점의 모스 지표를 연결한다.
• 무한점 근처에서 오일러-라그랑주 함수와 그 기울기의 전개를 사용하며, 질량 $\alpha_i$, 집중 파rameter $\lambda_i$, 부정성 파rameter $\beta_r$를 포함한 명시적 오차 항을 제공한다.

실험 결과

연구 질문

• RQ1 4차원 맨ifold의 경계를 가진 경우, 경계에서 $T$-곡률과 평균 곡률이 0일 때, 공진 $Q$-곡률 문제는 어떤 위상수학적 조건에서 해를 가질 수 있는가?
• RQ2 4차 미분형 등각 곡률 방정식에서 유도되는 비콤팩트 변분 문제에 대해 모스 이론을 어떻게 확장할 수 있는가?
• RQ3 경계 가중 바이어센터는 $Q$-곡률 함수의 하위레벨 집합의 위상수학적 성질을 기술하는 데 어떤 역할을 하는가?
• RQ4 무한점에서의 임계점은 하위레벨 집합 간의 위상수학적 차이를 어떻게 기여하는가?
• RQ5 경계 가중 바이어센터 공간의 오일러 특성수와 $Q$-곡률 문제의 해 존재성 간의 정확한 관계는 무엇인가?

주요 결과

• 논문은 공진 $Q$-곡률 문제의 해 존재성에 대한 파oincaré-Hopf 유형의 기준을 수립하며, 경계 가중 바이어센터 공간의 위상수학적 성질과 해 존재성 간의 연결 고리를 밝혀낸다.
• 경계 가중 바이어센터 공간 $B_k^\partial(M)$의 오일러 특성수를 계산하고, 이가 모스 이론적 분석에서 핵심 불변량임을 보여준다.
• $B_k^\partial(M)$의 호몰로지를 스펙트럴 시퀀스를 통해 분석하며, 몫 공간 $\overline{B}_q^p$가 필터링 과정에서 중심적인 역할을 한다.
• 명시적인 기울기 및 에너지 전개를 유도하며, 농도 파arameter $\lambda_j$ 및 위치 $a_j$ 방향의 함수 기울기가 가중 함수 $\mathcal{F}_j^A$의 법선 도함수와 $\tau_j$를 포함한 보정 항에 의존함을 보여준다.
• 분석 결과, 무한점에서의 임계점의 모스 지표는 $B_k^\partial(M)$의 위상수학적 성질, 특히 오일러 특성수와 호몰로지 군을 통해 결정됨을 밝혀낸다.
• 해의 존재성은 $B_k^\partial(M)$의 호몰로지의 비자명성과 연결되며, 본 논문은 이 공간의 위상수학적 조건이 만족될 경우 존재성 결과를 증명한다.