[논문 리뷰] Quasi-diagonalization of Hankel operators

D. R. Yafaev|arXiv (Cornell University)|2014. 03. 16.

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

한 줄 요약

이 논문은 라플라스 변환을 통한 헨켈 연산자의 준대각화 프레임워크를 제안하며, 모든 헨켈 연산자 $ H $ 가 $ H = \mathcal{L}^* \Sigma \mathcal{L} $ 로 표현될 수 있음을 보여준다. 여기서 $ \Sigma $ 는 시그마 함수 $ \sigma(\lambda) $ 에 의한 곱셈 연산이다. 주요 기여는 헨켈 핵함수 $ h(t) $ 와 그 시그마 함수 $ \sigma(\lambda) $ 사이의 일대일 대응을 확립하여, $ \Sigma $ 를 통한 스펙트럼 분석이 가능하게 하고, $ H $ 와 $ \Sigma $ 가 동일한 양의 고유값과 음의 고유값 개수를 가짐을 보여준다.

ABSTRACT

We show that all Hankel operators $H$ realized as integral operators with kernels $h(t+s)$ in $L^2 ({\Bbb R}_{+}) $ can be quasi-diagonalized as $H= {\sf L}^* Σ{\sf L} $. Here ${\sf L}$ is the Laplace transform, $Σ$ is the operator of multiplication by a function (distribution) $σ(λ)$, $λ\in {\Bbb R}$. We find a scale of spaces of test functions where ${\sf L} $ acts as an isomorphism. Then ${\sf L}^*$ is an isomorphism of the corresponding spaces of distributions. We show that $h= {\sf L}^* σ$ which yields a one-to-one correspondence between kernels $h(t)$ and sigma-functions $σ(λ)$ of Hankel operators. The sigma-function of a self-adjoint Hankel operator $H$ contains substantial information about its spectral properties. Thus we show that the operators $H$ and $Σ$ have the same numbers of positive and negatives eigenvalues. In particular, we find necessary and sufficient conditions for sign-definiteness of Hankel operators. These results are illustrated at examples of quasi-Carleman operators generalizing the classical Carleman operator with kernel $h(t)=t^{-1}$ in various directions. The concept of the sigma-function directly leads to a criterion (equivalent of course to the classical Nehari theorem) for boundedness of Hankel operators. Our construction also shows that every Hankel operator is unitarily equivalent by the Mellin transform to a pseudo-differential operator with amplitude which is a product of functions of one variable only (of $x\in{\Bbb R}$ and of its dual variable).

연구 동기 및 목표

• 모든 $ L^2(\mathbb{R}_+) $ 에서의 헨켈 연산자에 대해 해석적 성질이 없는 핵함수에 관계없이 일반적인 준대각화 방법을 수립하기.
• 핵함수 $ h(t) $ 의 양방향 라플라스 변환으로 정의된 시그마 함수 $ \sigma(\lambda) $ 를 정의하고 특성화하기, 특히 $ \sigma $ 가 분포일 경우에도 적용 가능하도록 하기.
• 헨켈 연산자 $ H $ 와 $ \Sigma $ 의 양의 고유값과 음의 고유값 총 개수가 동일함을 보여주어, $ \sigma(\lambda) $ 를 통한 스펙트럼 분류가 가능하게 하기.
• 시그마 함수를 이용한 헨켈 연산자의 정부호 결정 조건을 제공하기.
• 메린 변환에 의한 유니타리 동치를 통해 이 프레임워크를 이산 헨켈 연산자로 확장하고, 하우스도르프 모멘트 문제와 연관시키기.

제안 방법

• 헨켈 연산자 $ H $ 를 $ H = \mathcal{L}^* \Sigma \mathcal{L} $ 로 표현하기. 여기서 $ \mathcal{L} $ 은 라플라스 변환이고, $ \Sigma $ 는 $ \sigma(\lambda) $ 에 의한 곱셈 연산이다.
• 시그마 함수 $ \sigma(\lambda) $ 를 핵함수 $ h(t) $ 의 역양방향 라플라스 변환으로 정의한다. 즉, $ h(t) = \int_{-\infty}^{\infty} e^{-t\lambda} \sigma(\lambda) d\lambda $.
• 라플라스 변환 $ \mathcal{L} $ 가 작용하는 테스트 함수 공간의 스케일을 정의하여 $ \mathcal{L} $ 가 등급을 유지함을 보장하고, 이에 따라 $ \mathcal{L}^* $ 도 쌍대 분포 공간에서 등급을 유지함을 보장한다.
• 측도 $ dM_\varphi(\lambda) $ 에 대한 추정과 단조 수렴 정리를 이용하여, $ \sigma(\lambda) $ 를 통한 이차형식의 표현을 증명한다.
• 모리피어 $ \varphi_\varepsilon $ 에 라플라스 변환을 적용하여 $ C_0^\infty(\mathbb{R}_+) $ 에 속하는 함수 $ F $ 를 근사하고, 원하는 표현으로의 수렴을 확보한다.
• 메린 변환을 통해 헨켈 연산자와 편미분 연산자 간의 유니타리 동치를 수립하며, 계수는 별개의 변수에 따라 달라진다.

실험 결과

연구 질문

• RQ1 핵함수가 해석적이지 않더라도 모든 헨켈 연산자가 라플라스 변환을 통해 준대각화될 수 있는가?
• RQ2 시그마 함수 $ \sigma(\lambda) $ 는 헨켈 연산자의 스펙트럼 성질을 결정하는 데 어떤 정확한 역할을 하는가?
• RQ3 함수 $ h(t) $ 와 $ \sigma(\lambda) $ 사이의 대응은 어떻게 정부호성과 고유값 개수의 분류를 가능하게 하는가?
• RQ4 $ \mathcal{L} $ 와 $ \mathcal{L}^* $ 가 적절한 함수 공간과 분포 공간에서 등급을 유지하기 위한 조건은 무엇인가?
• RQ5 준대각화 프레임워크는 이산 헨켈 연산자와 하우스도르프 모멘트 문제로 어떻게 확장되는가?

주요 결과

• 모든 헨켈 연산자 $ H $ 는 $ H = \mathcal{L}^* \Sigma \mathcal{L} $ 로 준대각화 가능하며, 여기서 $ \Sigma $ 는 $ h(t) $ 의 양방향 라플라스 변환인 $ \sigma(\lambda) $ 에 의한 곱셈 연산이다.
• 일반적으로 시그마 함수 $ \sigma(\lambda) $ 는 분포일 수 있으며, 예를 들어 $ h(t) = t^k e^{-\alpha t} $ 와 같이 매끄러운 핵함수일 경우에도 $ \sigma(\lambda) = \delta^{(k)}(\lambda - \alpha) $ 와 같이 디르라크 델타 함수의 도함수 형태로 나타난다.
• $ H $ 와 $ \Sigma $ 의 양의 고유값과 음의 고유값 총 개수는 동일하다: $ N_\pm(H) = N_\pm(\Sigma) $.
• 만약 $ \sigma(\lambda) > 0 $ (또는 $ < 0 $) 이 양의 측도를 가진 집합에서 성립한다면, $ H $ 는 무한한 양의 (또는 음의) 스펙트럼을 가진다.
• $ \mathcal{L} $ 는 테스트 함수 공간의 스케일에서 등급을 유지하며, $ \mathcal{L}^* $ 는 분포의 쌍대 공간에서 등급을 유지한다.
• 이 프레임워크는 시그마 함수 $ \sigma(\lambda) $ 의 성장률을 통해 고전적인 네하리 정리와 동치인 헨켈 연산자의 유계성 조건을 도출한다.