[논문 리뷰] Determinants of Laplacians in Exterior Domains

Andrew Hassell, Steve Zelditch|ArXiv.org|2000. 02. 03.

Spectral Theory in Mathematical Physics참고 문헌 13인용 수 9

한 줄 요약

이 논문은 외부 라플라스 연산자의 행렬식을 도입하고, 베르그레아-프리드랜더-카페러 형식의 수술 공식을 증명함으로써 단순연결된 평면 외부 영역의 등위상 클래스의 순차적 컴팩트성을 확립한다. 이 공식은 문제를 유계 영역으로 환원한다. 주요 기여는 등스펙트럴 영역에서의 옥스굿-필립스-사르나크 프레임워크를 등위상 영역으로 확장하는 데서 비롯되며, 이는 열 불변량과 스펙트럼 행렬식 불변량을 사용한다.

ABSTRACT

We consider classes of simply connected planar domains which are isophasal, ie, have the same scattering phase $s(ł)$ for all $ł> 0$. This is a scattering-theoretic analogue of isospectral domains. Using the heat invariants and the determinant of the Laplacian, Osgood, Phillips and Sarnak showed that each isospectral class is sequentially compact in a natural $C$-infinity topology. In this paper, we show sequential compactness of each isophasal class of domains. To do this we define the determinant of the exterior Laplacian and use it together with the heat invariants (the heat invariants and the determinant being isophasal invariants). We show that the determinant of the interior and exterior Laplacians satisfy a Burghelea-Friedlander-Kappeler type surgery formula. This allows a reduction to a problem on bounded domains for which the methods of Osgood, Phillips and Sarnak can be adapted.

연구 동기 및 목표

• 등스펙트럴 영역에서의 옥스굿-필립스-사르나크 프레임워크를 등위상 영역의 산란이론적 설정으로 확장한다.
• 산란 이론의 맥락에서 외부 라플라스 연산자의 행렬식을 정의하고 분석한다.
• 외부 라플라스 연산자 행렬식과 내부 및 전체 평면 라플라스 연산자 간의 관계를 기술하는 수술 공식을 수립한다. 이는 베르그레아-프리드랜더-카페러 공식과 유사하다.
• 열 불변량과 행렬식 불변량을 사용하여 경계 곡률 함수에 대한 $C^{ty}$ 위상에서 등위상 클래스의 순차적 컴팩트성을 증명한다.
• 스펙트럼 자체 외의 스펙트럼 불변량을 사용하여, 압착에 의한 붕괴가 일어나지 않는 영역의 집합을 증명한다.

제안 방법

• 제타-정규화된 추적과 제타 함수의 해석적 계속을 통해 외부 라플라스 연산자의 행렬식을 정의한다.
• 행렬식과 열 불변량이 등위상 불변량임을 증명한다. 즉, 동일한 산란 단계에서 유지된다.
• 영역의 분해를 통해 외부 라플라스 연산자 행렬식과 내부 및 전체 평면 라플라스 연산자 간의 수술 공식을 수립한다.
• 함수 해석학과 트레이스 노름 추정을 사용하여, 해석적 연산자 차이 $( ilde{ riangle}+ u)^{-1} - ( riangle_{ ext{full}}+ u)^{-1}$ 가 트레이스 클래스임을 보이고, 이로 인해 행렬식을 정의할 수 있음을 보인다.
• 다항동차 함수에 대한 푸시포워드 정리와 하다마드 정규화 적분을 적용하여 스펙트럼 적분의 점근 전개를 유도한다.
• 수술 공식을 사용하여 문제를 유계 영역으로 환원함으로써, 옥스굿-필립스-사르나크 컴팩트성 추론의 적용을 가능하게 한다.

실험 결과

연구 질문

• RQ1 옥스굿, 필립스, 사르나크의 등스펙트럴 컴팩트성 결과를 등위상 영역의 산란 이론적 설정으로 확장할 수 있는가?
• RQ2 외부 영역에 대해 라플라스 연산자의 행렬식의 적절한 대응은 무엇이며, 어떻게 엄밀하게 정의할 수 있는가?
• RQ3 외부 라플라스 연산자 행렬식과 내부 및 전체 평면 라플라스 연산자 간의 관계를 기술하는 수술 공식이 존재하는가?
• RQ4 열 불변량과 외부 행렬식의 조합을 사용하여 $C^{ty}$ 위상에서 등위상 클래스의 순차적 컴팩트성을 증명할 수 있는가?
• RQ5 스펙트럼 불변량을 단독으로 사용하여, 예를 들어 압착에 의한 붕괴가 발생하는 영역의 수열을 제거할 수 있는가?

주요 결과

• 제타-정규화를 통해 외부 라플라스 연산자 행렬식이 잘 정의되며, 등위상 불변량임을 증명한다.
• 외부 라플라스 연산자 행렬식과 내부 및 전체 평면 라플라스 연산자 간의 관계를 기술하는 수술 공식이 수립되었으며, 이는 베르그레아-프리드랜더-카페러 공식을 일반화한다.
• 외부 영역에 대한 열 불변량 $a_j$ 가 등위상 불변량임을 증명하였으며, 멜로즈의 결과를 산란 설정으로 확장한다.
• 열 불변량과 행렬식 불변량의 조합은 경계 곡률 함수에 대한 $C^{ty}$ 위상에서 등위상 클래스의 순차적 컴팩트성을 보장한다.
• 행렬식 정의를 가능하게 하는 데 핵심이 되는 것은, $( ilde{ riangle}+ u)^{-1} - ( riangle_{ ext{full}}+ u)^{-1}$ 의 차이가 트레이스 클래스임을 보이는 것임을 증명한다.
• 하다마드 정규화 적분과 다항동차 함수에 대한 푸시포워드 정리를 사용함으로써, 수술 공식에 필수적인 점근 전개를 도출할 수 있었다.