[논문 리뷰] Borel summation of the small time expansion of the heat kernel. The scalar potential case

Thierry Hargé|arXiv (Cornell University)|2013. 01. 31.

Spectral Theory in Mathematical Physics참고 문헌 8인용 수 4

한 줄 요약

이 논문은 $\mathbb{R}^\nu$에서 슈뢰딩거 연산자 $-\Delta + V(x)$의 열핵의 소규모 시간 점근 전개가, 잠재력 $V$에 대해 강한 해석성 및 감쇠 조건을 만족할 경우 보렐 합산 가능하다는 것을 입증한다. 보렐 합산 결과는 쌍대 열핵을 복원한다. 토러스 위의 주기적 잠재력에 대해서는 파oisson 공식이 유도되며, 이는 추적 전개가 보렐 합산 가능하지만, 보렐 합산을 통해 계수들만으로는 복원되지 않음을 보여준다.

ABSTRACT

We study the Borel summability of the small time expansion of the heat kernel for the Schrödinger operator in several dimensions. On the torus, we prove a Poisson formula.

연구 동기 및 목표

• 소규모 시간 점근 전개의 열핵에 대해 $-\Delta + V(x)$가 $\mathbb{R}^\nu$에서 보렐 합산 가능함을 입증하는 것.
• 강한 조건 하에서 $V$에 대해 전개의 보렐 합산 결과가 쌍대 열핵 $p_t^{\text{conj}}(x,y)$를 복원함을 보여주는 것.
• 잠재력 $V$가 토러스 $\mathbb{T}^\nu$ 위에서 주기적일 경우 열핵의 추적에 대해 파oisson 공식을 도출하는 것.
• 계수들만으로 보렐 합산을 통해 전체 추적을 복원할 수 없음을 보여주는 것. 비록 계수 전개가 보렐 합산 가능하나, 전체 추적은 보렐 합산만으로는 복원되지 않음.

제안 방법

• 쌍대 열핵을 조화 진동자 배경과 섭동 잠재력 $c(x)$를 가진 경로 적분으로 표현하기 위해 변형 공식을 사용한다.
• 고정된 끝점을 가진 경로 $w$ 위에서 $c(q^\natural(s) + w(s))$의 시간 순서 지수 함수의 기댓값을 계산하기 위해 위크 유형의 가우시안 적분 공식을 적용한다.
• 경로 적분에서 미분 연산자 $A = -d^2/ds^2 + \omega^2$의 역함수를 전파자로 사용함으로써 가우시안 적분 기법을 적용할 수 있도록 한다.
• 변형 공식을 도출하기 위해 $c(q^\natural(s) + w(s))$의 타일러 전개와 가우시안 측도에 대한 라플라스 변환 항등식을 적용한다.
• 비율 수열 $\sum a_k(x,y)t^k$의 보렐 합산 가능성을 보이며, 이 수열이 수렴하는 적분의 보렐 변환임을 보여줌으로써 입증한다.
• 토러스 위에서 열핵의 추적에 대해 파oisson 합산 공식을 적용하여, $\mathbb{Z}^\nu$에 속하는 푸리에 모드 $q$에 대한 이중 전개를 이끌어낸다.

실험 결과

연구 질문

• RQ1 소규모 시간 점근 전개의 열핵에 대해 $-\Delta + V(x)$가 보렐 합산 가능한가? 조건은 무엇인가?
• RQ2 강한 조건 하에서, 전개의 계수들로부터 보렐 합산을 통해 쌍대 열핵 $p_t^{\text{conj}}(x,y)$를 복원할 수 있는가?
• RQ3 잠재력 $V$가 토러스 $\mathbb{T}^\nu$ 위에서 주기적일 경우, 열핵의 추적에 대해 파oisson 공식이 성립하는가?
• RQ4 왜 토러스 위의 추적 전개는 보렐 합산 가능하지만, 보렐 합산만으로는 계수들로부터 전체 추적을 복원할 수 없는가?

주요 결과

• 잠재력 $V(x) = \alpha x^2 - c(x)$에 대해 강한 해석성 및 감쇠 조건을 만족할 경우, 쌍대 열핵 $p_t^{\text{conj}}(x,y)$의 소규모 시간 전개는 보렐 합산 가능하다. 여기서 $c(x)$는 $\int \exp(\varepsilon \xi^2) d|\mu|(\xi) < \infty$를 만족하는 측도의 푸리에 변환으로 주어진다.
• 비율 수열 $\sum_{k=0}^{r-1} a_k(x,y)t^k$의 보렐 합산 결과는 쌍대 열핵 $p_t^{\text{conj}}(x,y)$와 일치한다. 이는 고전적 계수들로부터 양자 물리량을 복원할 수 있음을 의미한다.
• 토러스 $\mathbb{T}^\nu$에서 열핵의 추적은 정확한 파oisson 공식을 가진다: $\sum_n e^{-\lambda_n t} = (4\pi t)^{-\nu/2} \sum_{q \in \mathbb{Z}^\nu} e^{-q^2/(4t)} u_q(t)$, 여기서 $u_q(t)$는 $t$에 대한 수열의 보렐 합산이다.
• 각 $u_q(t)$는 보렐 합산 가능하지만, 전체 추적은 계수 $a_1, a_2, \dots$만으로는 보렐 합산을 통해 복원할 수 없다. 왜냐하면 $a_k = a_{k,0}$ 이지만 $q \neq 0$인 $u_q$가 비자명하게 기여하기 때문이다.
• 변형 공식은 조화 진동자 경로 $q^\natural_\omega(s)$와 변동 $w(s)$에 대한 가우시안 적분을 사용한 경로 적분 방법으로 유도되며, 전파자 $A^{-1}$는 hyperbolic sine 함수를 포함한 그린 함수로 주어진다.
• 위크 공식의 사용은 $c(q^\natural(s) + w(s))$의 시간 순서 지수 함수를 $c(z)$에 작용하는 미분 연산자로 표현할 수 있게 하여 최종 변형 공식을 도출한다.