[논문 리뷰] A Laurent expansion for regularised integrals of holomorphic symbols

Sylvie Paycha, Simon Scott|ArXiv.org|2005. 06. 10.

Holomorphic and Operator Theory참고 문헌 7인용 수 5

한 줄 요약

이 논문은 선형적으로 변화하는 순서를 가진 해석적 가족의 고전적 미분형식적 연산자에 대해 콘체비치-비샤크 칸onical trace의 로랑 전개의 모든 계수에 대한 정확한 공식을 제공한다. 유한부의 추적을 캐논컬 및 잔류 추적 밀도를 조합한 전역적으로 정의된 측도로 표현하여, 스펙트럼 이론과 지수 이론에서 오랫동안 남아있던 문제를 해결한다. 이는 알려진 잔류 추적-극점 식별을 모든 고차항으로 일반화한다.

ABSTRACT

For a holomorphic family of classical pseudodifferential operators on a closed manifold we give exact formulae for all coefficients in the Laurent expansion of its Kontsevich-Vishik canonical trace. This generalizes a known result identifying the Wodzicki residue with the pole at zero to all higher order terms.

연구 동기 및 목표

• 캔서널 추적의 단순 극에 대한 잔류 추적 식별을 모든 고차항 계수로 확장한다.
• 연산자의 도함수가 로그-다항동차 기호를 유도할 경우 유한부 추적 표현의 전역 불변성 문제를 해결한다.
• 극점에서 캔서널 추적의 유한부가 캐논컬 및 잔류 추적 밀도의 조합을 통해 전역적으로 잘 정의된 불변량임을 확립한다.
• 선형 순서 α(z) = qz + b인 해석적 가족에 대해 캔서널 추적의 로랑 전개의 모든 계수에 대한 명시적 공식을 제공한다.
• 선형 순서 함수를 초월하여 극 위치에서 도함수가 0이 아닌 임의의 해석적 순서 함수로 결과를 일반화한다.

제안 방법

• 선형 순서 α(z) = qz + b를 가진 고전적 미분형식적 연산자 해석적 가족 A(z)에 대해 캔서널 추적 TR(A(z))의 로랑 전개를 유도한다.
• 캔서널 추적의 유한부 적분 정의를 사용하고 코탄제인스페이스 위에서 기호의 적분의 특이 행동을 분석한다.
• 특정 잔류 항(도함수 A’(z₀)를 포함)을 빼어 극점 z₀에서 TR(A(z))의 유한부를 식별함으로써 전역 불변성을 확보한다.
• 다양체 M 위에서 전역적으로 잘 정의된 밀도를 이루는 조합 TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀))를 보인다.
• 상수 q를 α′(z₀)로 대체하고 α′′(z₀)/α′(z₀)²를 포함하는 수정 항을 추가하여 임의의 해석적 순서 함수 α(z)로 공식을 일반화한다.
• 구 위에서 동차 함수에 대한 부분 적분과 동차성 논증을 적용하여 유한부 표현의 좌표 불변성을 증명한다.

실험 결과

연구 질문

• RQ1 연산자 가족이 비정수 순수성을 가지며 도함수가 로그-다항동차 기호를 유도할 경우, 캔서널 추적의 유한부는 어떻게 전역적으로 표현할 수 있는가?
• RQ2 캔서널 추적의 로랑 전개 계수는 단순 극 항을 초월하여 정확히 어떤 구조를 갖는가?
• RQ3 개별 캔서널 추적과 잔류 추적은 왜 고차 도함수에 대해 전역 밀도를 정의하지 못하는가? 그 조합은 불변성을 어떻게 회복하는가?
• RQ4 캔서널 추적의 유한부는 극점에서 순서 함수 α(z)의 도함수에 어떻게 의존하는가?
• RQ5 로랑 전개의 상수항에 대한 공식은 선형 순서 함수를 초월하여 일반화될 수 있는가?

주요 결과

• 극점 z₀에서 캔서널 추적의 유한부는 ∫ₘ [TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀))] dx로 주어지며, 이는 전역적으로 불변인 밀도를 정의한다.
• 선형 순서 α(z) = qz + b일 경우, TR(A(z))의 로랑 전개는 명시적으로 TR(A(z)) = −res(A(z₀))/q ⋅ 1/(z−z₀) + Σₖ fp_z=z₀ TR(Aᵏ(z)) (z−z₀)ᵏ/k!로 주어진다.
• α(z)가 선형이 아닐 경우, 상수항에 추가적인 잔류 항이 포함된다: (α′′(z₀)/(2α′(z₀)²)) res(A(z₀)).
• 조합 TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀))는 개별 항이 전역적으로 잘 정의되지 않더라도 전역적으로 잘 정의된 밀도를 이룬다. 이는 핵심 기술적 장벽을 해결한다.
• 유한부 표현은 국소 좌표와 무관하다. 이는 구 위에서 동차 함수에 대한 부분 적분을 통해 증명된다.
• 결과는 고전적인 잔류 추적-극점 항등식을 로랑 전개의 모든 계수로 일반화하여, 정규화 문제에 대한 완전한 해결책을 제공한다.