[논문 리뷰] Full asymptotic expansion of the heat trace for non-self-adjoint elliptic cone operators

Juan B. Gil|arXiv (Cornell University)|2000. 04. 26.

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

한 줄 요약

이 논문은 매니폴드의 콘 특이성을 가진 비자기적 타원 콘 연산자에 대한 열 트레이스의 완전한 점점 가까이 다가가는 전개를 수립한다. 매개변수 의존적 미분형식 계산법을 도입하고, $(A - u)^{-1}$의 파라메트릭스를 구성함으로써, 저자들은 $t \to 0^+$일 때 열 트레이스 $\tr e^{-tA}$가 완전한 점점 가까이 다가가는 전개를 갖는다는 것을 증명한다. 이는 고전적 결과를 비자기적, 특이적인 설정으로 확장한다.

ABSTRACT

The operator $e^{-tA}$ and its trace are investigated in the case when $A$ is a non-self-adjoint elliptic differential operator on a manifold with conical singularities. Under a certain spectral condition (parameter-ellipticity) we obtain a full asymptotic expansion in $t$ of the heat trace as $t o 0^+$. As in the smooth compact case, the problem is reduced to the investigation of the resolvent $(A-λ)^{-1}$. The main step will consist in approximating this operator family by a parametrix to $A-λ$ using a suitable parameter-dependent calculus.

연구 동기 및 목표

• 비자기적 타원 콘 연산자에 대한 고전적 열 트레이스의 점점 가까이 다가가는 전개를 콘 특이성을 가진 매니폴드 위로 확장한다.
• 매개변수 의존적 미분형식 기법을 사용하여 이러한 연산자의 잔여항 $(A - \nu)^{-1}$에 대한 엄밀한 프레임워크를 수립한다.
• 복소 평면의 영역에서의 매개변수 타원성에 의해 비자기적 설정으로 타원성의 개념을 일반화한다.
• 열 트레이스의 점점 가까이 다가가는 분석을 가능하게 하기 위해, 적절한 연산자 값 기반 기호 계산법 내에서 $A - \nu$에 대한 파라메트릭스를 구성한다.
• 열 연산자 $e^{-tA}$가 그린 콘 대수에 속함을 증명함으로써 점점 가까이 다가가는 전개의 타당성을 보장한다.

제안 방법

• 콘 연산자에 특화된 매개변수 의존적 미분형식 계산법을 도입하여 스펙트럼 매개변수 $\nu$를 이방향적으로 다룬다.
• Agmon의 조건을 일반화하기 위해, 영역 $\nu \notin \text{sector}(\nu)$ 내에서 비자기적 연산자에 대한 매개변수 타원성을 정의한다.
• 가중 치수 공간 내에서 비틀린 동차 기호와 그린 연산자 값 기반 기호를 사용하여 $A - \nu$에 대한 파라메트릭스를 구성한다.
• Grubb와 Seeley의 계산법의 수정된 버전을 사용하여 $|\nu| \to \infty$일 때 $\nu$에 대한 국소 기호의 점점 가까이 다가가는 전개를 달성한다.
• Dunford 적분을 적용하여 잔여항에서 $\{ e^{-tA} \}_{t>0}$의 반군을 정의함으로써, 그들이 콘 대수에 속한다는 것을 보장한다.
• 잔여항 추정과 파라메트릭스 구성 기법을 활용하여 $t \to 0^+$일 때 $\tr e^{-tA}$의 완전한 점점 가까이 다가가는 전개를 유도한다.

실험 결과

연구 질문

• RQ1 비자기적 타원 콘 연산자에 대해 열 트레이스의 완전한 점점 가까이 다가가는 전개를 수립할 수 있는가?
• RQ2 매개변수 타원성은 어떻게 정의하고 활용되어야 하며, 이는 잔여항 $(A - \nu)^{-1}$이 가중 치수 공간에서 가역성을 보장하는가?
• RQ3 비틀린 동차 기호와 그린 연산자 값 기호는 $A - \nu$에 대한 파라메트릭스를 구성하는 데 어떤 역할을 하는가?
• RQ4 잔여항의 구조는 $t = 0$ 근처에서 열 트레이스의 점점 가까이 다가가는 행동을 어느 정도 결정하는가?
• RQ5 반군 $e^{-tA}$는 어떻게 엄밀하게 정의되고, 점점 가까이 다가가는 전개의 타당성을 보장하기 위해 콘 대수에 속한다는 것을 어떻게 보여줄 수 있는가?

주요 결과

• 열 트레이스 $\tr e^{-tA}$는 $t \to 0^+$일 때 완전한 점점 가까이 다가가는 전개를 갖는다. 이 전개의 계수는 연산자 $A$의 스펙트럼적·기하학적 자료에 의해 결정된다.
• 연산자 $A$가 영역 $\nu \in \Lambda$ 내에서 매개변수 타원적이면, 잔여항 $(A - \nu)^{-1}$은 가중 치수 공간에서 가역적이다. 이 영역은 $\arg \nu \in [\varphi, 2\pi - \varphi]$를 만족한다.
• $A - \nu$에 대한 파라메트릭스는 매개변수 의존적 계산법 내에서 구성되며, 오차 항은 $\mathrm{R}^{-\infty}_{\mathrm{G}}(\Lambda, (\gamma,\delta))$에 속하여 $\nu$에 대해 급속한 감쇠를 보장한다.
• 열 연산자 $e^{-tA}$는 그린 콘 대수에 속하며, 이는 점점 가까이 다가가는 전개의 존재성과 구조를 보장한다.
• 잔여항 기호의 주요 부분은 차수 $(\mu, d)$를 가진 비틀린 동차 함수이며, 전체 기호 전개는 멜린 미분형식 프레임워크와 호환된다.
• 열 트레이스의 점점 가까이 다가가는 전개는 잔여항과 그린 연산자의 비틀린 동차 주요 기호에 의해 완전히 결정된다.