[논문 리뷰] Differential geometry in the theory of Hessian operators

N. M. Ivochkina, N. V. Filimonenkova|arXiv (Cornell University)|2019. 04. 08.

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

한 줄 요약

이 논문은 다차원 표면에서의 불변 미분을 중심으로 하는 새로운 미분기하학적 프레임워크를 제안하며, 초곡면에 대한 새로운 절대 기하학적 불변량인 불변 도함수, 곡률 행렬, 및 $p$-곡률을 도입한다. 이 프레임워크는 $p$-곡률을 통해 $m$-병점성($m$-convexity)을 수립하고, 이는 $m$-헤시안 딜리클레 문제의 해에 대한 사전 $C^1$-추정을 도출하는 데 응용된다. 경계 조건이 $m$-병점성일 경우에 해당 추정이 성립한다.

ABSTRACT

The paper introduces a new differential-geometric system which originates from the theory of $m$-Hessian operators. The core of this system is a new notion of invariant differentiation on multidimensional surfaces. This novelty gives rise to the following absolute geometric invariants: invariant derivatives of the surface position vector, an invariant connection on a surface via subsurface, curvature matrices of a hypersurface and its normal sections, $p$-curvatures and $m$-convexity of a hypersurface, etc. Our system also produces a new interpretation of the classic geometric invariants and offers new tools to solve geometric problems. In order to expose an application of renovated geometry we deduce an a priori $C^1$-estimate for solutions to the Dirichlet problem for $m$-Hessian equations.

연구 동기 및 목표

• 표면의 매개변수화에 의존하지 않는 불변 미분을 기반으로 하는 새로운 미분기하학적 체계를 개발하기 위해.
• 다차원 유클리드 공간 $\mathbb{R}^{n+1}$ 내의 초곡면에 대해 불변 도함수, 곡률 행렬, 및 $p$-곡률와 같은 새로운 절대 기하학적 불변량을 정의하기 위해.
• 고차원 표면의 경우 $q$-방향과 법선 $q$-단면을 도입하여 고전적 기하학적 불변량을 재해석하고 확장하기 위해.
• 새로운 기하학적 도구를 적용하여 $m$-헤시안 딜리클레 문제의 해에 대한 사전 $C^1$-추정을 유도하기 위해.
• 경계에 기하학적 제약 조건이 부여될 경우 $m$-가능한 해가 존재하고 $C^1$-노름에서 유계임을 확립하기 위해.

제안 방법

• 표면 $\Gamma^n \subset \mathbb{R}^N$ ($k \geq 2$)에서의 $C^k$-연속성에 기반한 불변 미분을 도입하며, 이는 매개변수화에 영향을 받지 않으며 텐서 형식을 피한다.
• $q$-방향은 1-방향의 일반화로 간주되며, 이를 지지하는 매끄러운 임bedding $\Gamma^q \subset \Gamma^n$를 정의한다.
• 초곡면 $\Gamma^n \subset \mathbb{R}^{n+1}$에 대해 곡률 행렬 $\mathcal{K}[\Gamma^n]$을 구성하며, 이를 제1 및 제2 기본형식, 주곡률과 연결한다.
• 법선 $q$-단면 곡률 행렬을 도입하여 고전적 법선 곡률의 일반화로 삼으며, 이는 $q$-차원 법선 단면에 기반한다.
• $p$-곡률 $\mathbf{k}_p[\Gamma^n] = T_p(\mathcal{K}[\Gamma^n})$를 곡률 행렬의 $p$-트레이스를 통해 정의하고, 이로부터 $m$-병점성의 개념을 도출한다.
• $m$-헤시안 방정식 $F_m[u] = f > 0$ in $\Omega$에 이 이론을 적용하며, $w_\gamma = \gamma W$를 사용한 장벽 함수 방법을 통해 $\mathbf{k}_{m-1}[\partial\Omega] \geq \varepsilon > 0$ 조건 하에서 $C^1$-추정을 도출한다.

실험 결과

연구 질문

• RQ1 표면에서의 불변 미분은 어떻게 매개변수화에 영향을 받지 않게 정의할 수 있으며, 절대 기하학적 불변량을 도출할 수 있는가?
• RQ2 다차원 유클리드 공간 $\mathbb{R}^{n+1}$ 내의 초곡면에 대해 곡률 행렬과 $p$-곡률의 기하학적 의미와 구조는 무엇인가?
• RQ3 $q$-방향과 법선 $q$-단면의 새로운 프레임워크는 고전적 표면의 미분기하학을 어떻게 확장하는가?
• RQ4 경계 $\partial\Omega$에 어떤 조건이 부여되어야 $m$-헤시안 해의 $C^1$-유계성이 보장되는가?
• RQ5 이 논문에서 도입된 기하학적 불변량은 완전 비선형 편미분방정식, 예를 들어 $m$-헤시안 방정식에 대한 사전 추정을 유도하는 데 사용될 수 있는가?

주요 결과

• 논문은 매개변수화에 의존하지 않으며 절대 기하학적 불변량을 도출하는 새로운 미분기하학 체계를 수립한다.
• 고전적 불변량인 주곡률 및 제2 기본형식과 연결된 곡률 행렬 $\mathcal{K}[\Gamma^n]$이 도입된다.
• $p$-곡률 $\mathbf{k}_p[\Gamma^n] = T_p(\mathcal{K}[\Gamma^n])$는 곡률 행렬의 $p$-트레이스를 통해 정의되며, 이는 초곡면에 대한 $m$-병점성의 개념을 가능하게 한다.
• $\mathbf{k}_{m-1}[\partial\Omega] \geq \varepsilon > 0$ 조건 하에서 $m$-가능한 해에 대한 사전 $C^1$-추정이 도출된다.
• $|u_x| \leq c(1/\varepsilon, 1/\nu, \|u\|_{C(\Omega)}, \|f\|_{C^1(\Omega)}, \|\partial\Omega\|_{C^2}, \|\varphi\|_{C^2(\partial\Omega)})$라는 추정식이 증명되었으며, 이는 $\varepsilon$와 $\nu$에 의존함을 보여준다.
• 증명은 장벽 함수 $w_\gamma = \gamma W$를 구성하고, Lemma 6.5를 적용하여 $u_x$를 $u_\mathbf{n}$의 추정치를 통해 유계화하는 데 기반한다. 이는 조화 주요 함수와 $m$-병점성 조건에 의해 제어된다.