[논문 리뷰] Heat Kernel for Simply-Connected Riemann Surfaces

T. Harri Jones, Dan Kučerovský|arXiv (Cornell University)|2010. 07. 30.

Advanced Numerical Analysis Techniques참고 문헌 5인용 수 5

한 줄 요약

이 논문은 세 개의 단순 연결 리만 곡면—유클리드 평면, 쌍곡 평면, 구—에 대한 미분 형식의 열핵을 그들의 보편 커버를 사용하여 유도한다. 열핵을 일반적인 리만 곡면에 구성하는 방법을 수립하여, 모든 형식 수준의 핵을 0-형식 열핵으로 표현한다.

ABSTRACT

From the uniformization theorem, we know that every Riemann surface has a simply-connected covering space. Moreover, there are only three simply-connected Riemann surfaces: the sphere, the Euclidean plane, and the hyperbolic plane. In this paper, we collect the known heat kernels, or Green's functions, for these three surfaces, and we derive the differential forms heat kernels as well. Then we give a method for using the heat kernels on the universal cover to generate the heat kernel on the underlying surface.

연구 동기 및 목표

• 세 가지 단순 연결 리만 곡면—유클리드 평면, 쌍곡 평면, 구—에서 0-형식, 1-형식, 2-형식에 대한 열핵을 체계적으로 유도하는 것.
• 보편 커버와 커버링 군의 작용을 이용하여 일반적인 리만 곡면에 대한 열핵을 구성하는 일반적인 방법을 수립하는 것.
• 1-형식과 2-형식의 모든 형식 수준의 열핵을 0-형식 열핵으로 표현하여, 다양한 형식과 곡면 간의 구성 과정을 단순화하는 것.
• 각 세 가지 모델 곡면에서 0-형식 열핵에 대한 명시적 공식을 제공하여 고차 형식의 핵을 구성하는 기초 요소로 삼는 것.
• 기본 곡면에서 열방정식의 해가 보편 커버에서 $G$-주기적 해로 올라가며, 군의 불변성에 의해 기저 다양체로의 투영이 가능하다는 것을 증명하는 것.

제안 방법

• 모든 리만 곡면의 보편 커버로서 세 개의 단순 연결 리만 곡면을 식별하기 위해 균일화 정리를 활용한다.
• 각 모델 곡면에서 0-형식(함수)에 대한 열핵을 유도한다: 유클리드 평면에서는 가우시안, 쌍곡 평면에서는 레지드레 함수를 포함하는 적분 표현, 구에서는 구조형 다항식 급수.
• 미분 연산자가 0-형식 핵에 작용하여 1-형식과 2-형식의 열핵을 구성한다: $ K_1 = (I + *_{\bf{x}}*_{\bf{y}}) \int_t^\infty d_{\bf{x}}d_{\bf{y}}K_0(\cdot,\cdot,\tau)d\tau $, 및 $ K_2 = *_{\bf{x}}*_{\bf{y}}K_0 $.
• 보편 커버에서 $G$-주기적 함수 이론과 등장성 불변성을 적용하여, $G$-불변 초깃값이 $G$-불변 해를 유도함을 보인다.
• 투영 정리: 보편 커버에서의 $G$-주기적 해는 커버링 사상 $\pi$를 통해 기저 다양체로 유일하게 내림내릴 수 있다.
• 일반적인 리만 곡면 $M$에서의 열핵을 $ K_M({\bf{x}},{\bf{y}},t) = \sum_{g \in G} K_U(\widetilde{{\bf{x}}}, g \cdot \widetilde{{\bf{y}}}, t) $로 구성한다. 여기서 $G$는 커버링 군이고 $U$는 보편 커버이다.

실험 결과

연구 질문

• RQ1 세 가지 단순 연결 리만 곡면—유클리드 평면, 쌍곡 평면, 구—에서 미분 형식에 대한 열핵을 어떻게 명시적으로 구성할 수 있는가?
• RQ2 이 곡면들에서 0-형식 열핵과 1-형식 및 2-형식 열핵 사이의 관계는 무엇인가?
• RQ3 일반적인 리만 곡면에서의 열핵은 보편 커버와 커버링 군의 작용을 통해 어떻게 재구성할 수 있는가?
• RQ4 보편 커버에서 열방정식의 해가 기저 곡면에서 잘 정의된 해로 내림내리기 위한 조건은 무엇인가?
• RQ5 등장성 불변성이 군 작용 하에서 열핵의 $G$-주기성을 유지하는 데 어떤 역할을 하는가?

주요 결과

• 유클리드 평면에서의 0-형식 열핵은 표준 가우시안으로 주어진다: $ K_0({\bf{x}},{\bf{y}},t) = \frac{1}{4\pi t} \exp\left(-\frac{d_{\mathbb{R}^2}^2({\bf{x}},{\bf{y}})}{4t}\right) $.
• 쌍곡 평면에서의 0-형식 열핵은 관련 레지드레 함수를 포함하는 적분으로 표현된다: $ K_0 = \frac{1}{2\pi} \int_0^\infty P_{-1/2+i\rho}(\cosh d) \rho \exp\left(-\left(\frac{1}{4}+\rho^2\right)t\right) \tanh \pi\rho \, d\rho $.
• 구에서의 0-형식 열핵은 구조형 다항식 급수로 주어진다: $ K_0 = \frac{1}{4\pi} \sum_{n=0}^\infty (2n+1) \exp(-n(n+1)t) P_n(\cos d) $.
• 1-형식 열핵은 0-형식 핵을 통해 유도되며, $ K_1({\bf{x}},{\bf{y}},t) = (I + *_{\bf{x}}*_{\bf{y}}) \int_t^\infty d_{\bf{x}}d_{\bf{y}}K_0(\cdot,\cdot,\tau)\,d\tau $로 주어진다.
• 2-형식 열핵은 $ K_2({\bf{x}},{\bf{y}},t) = *_{\bf{x}}*_{\bf{y}}K_0({\bf{x}},{\bf{y}},t) $로 주어지며, 0-형식 핵과의 쌍대성(duality)을 보여준다.
• 임의의 리만 곡면 $M$에서의 열핵은 덱 트랜스포지션에 대해 보편 커버 핵을 합하여 얻을 수 있다: $ K_M({\bf{x}},{\bf{y}},t) = \sum_{g \in G} K_U(\widetilde{{\bf{x}}}, g \cdot \widetilde{{\bf{y}}}, t) $.