[논문 리뷰] Spectral properties of Volterra-type integral operators on Fock--Sobolev spaces

Tesfa Mengestie|arXiv (Cornell University)|2017. 02. 27.

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

한 줄 요약

이 논문은 천천히 감소하는 가중치를 가진 고전적 가우시안 가중치보다 일반화된 Fock–Sobolev 공간 $\mathcal{F}_{\psi_m}^p$ 에서의 볼테라 적분 연산자 $V_g$ 와 $I_g$ 의 스펙트럼 성질을 조사한다. $V_g$ 가 유계임과 동치인 조건은 $g$ 가 차수 ≤2 다항식임을 규명하였고, 컴팩트임과 동치인 조건은 차수 ≤1 이며, 컴팩트일 경우 $p>2$ 에 대해 슈하텐 $\mathcal{S}_p$ 클래스에 속함을 증명하였다. $V_g$ 의 스펙트럼은 $g$ 의 주계수의 두 배의 반지름을 가진 닫힌 디스크임을 규명하였다. $I_g$ 는 $g$ 가 상수일 때에만 유계이며, 컴팩트일 조건은 $g=0$ 뿐이며, $g\equiv c$ 일 경우 스펙트럼은 $\{c\}$ 이다. 미분 연산자 $D$ 는 이러한 공간들에서 여전히 무계이다.

ABSTRACT

We study some spectral properties of Volterra-type integral operators $V_g$ and $I_g$ with holomorphic symbol $g$ on the Fock--Sobolev spaces $\mathcal{F}_{ψ_m}^p$. We showed that $V_g$ is bounded on $\mathcal{F}_{ψ_m}^p$ if and only if $g$ is a complex polynomial of degree not exceeding two, while compactness of $V_g$ is described by degree of $g$ being not bigger than one. We also identified all those positive numbers $p$ for which the operator $V_g$ belongs to the Schatten $\mathcal{S}_p$ classes. Finally, we characterize the spectrum of $V_g$ in terms of a closed disk of radius twice the coefficient of the highest degree term in a polynomial expansion of $g$.

연구 동기 및 목표

• 고전적 가우시안 가중치보다 느리게 감소하는 가중치를 가진 Fock–Sobolev 공간 $\mathcal{F}_{\psi_m}^p$ 에서 볼테라 유형 적분 연산자 $V_g$ 와 $I_g$ 의 유계성, 컴팩트성 및 스펙트럼 구조를 조사하는 것.
• 연산자 $V_g$ 와 $I_g$ 가 $\mathcal{F}_{\psi_m}^p$ 에서 유계이거나 컴팩트일 조건을 정확히 규명하기 위한 해석적 기호 $g$ 의 조건을 도출하는 것.
• 다항식 $g$ 의 차수와 주계수에 따라 $V_g$ 의 스펙트럼을 특성화하고, $p>2$ 에 대해 $V_g$ 가 슈하텐 $\mathcal{S}_p$ 클래스에 속하는지 여부를 규명하는 것.
• 미분 연산자 $Df = f'$ 가 $\mathcal{F}_{\psi_m}^p$ 에서 유계인지 여부를 조사하여, 느린 가중치 감소에도 불구하고 여전히 무계임을 보여주는 것.

제안 방법

• 가중치 $\psi_m(z) = \frac{1}{2}|z|^2 - m\log(1+|z|)$ 를 사용한 $\mathbb{C}$ 상에서의 가중 $L^p$-노름 추정을 통해 Fock–Sobolev 공간 $\mathcal{F}_{\psi_m}^p$ 를 정의하며, $|f(z)|^p e^{-p\psi_m(z)}$ 의 적분 가능성을 기반으로 한다.
• 적분 표현과 점별 추정을 이용하여 $V_g$ 와 $I_g$ 의 유계성과 컴팩트성을 분석하며, 부분적 적분과 쌍대성 원리를 활용한다.
• $V_g$ 의 스펙트럼은 해석적 연산자 $R_{(g,\lambda)} = (\lambda I - V_g)^{-1}$ 의 리졸베이트를 연구함으로써 규명되며, $\mathcal{F}_{\psi_m}^p$ 에서 $e^{g(z)/\lambda}$ 의 성장 추정과 명시적 해를 활용한다.
• 슈하텐 $\mathcal{S}_p$ 소속성은 추적-클래스 기준과 $f$ 와 그 도함수의 $L^p$-노름 추정을 통해 평가된다.
• 미분 연산자 $D$ 의 무계성은 모순에 기반한 증명을 통해 입증되며, 재생 핵의 도함수의 노름과 조화함수 성질 추정을 활용한다.
• 핵심 추정은 $\|f\|_{(p,m)}^p \simeq \int_{\mathbb{C}} |f(z)|^p (1+|z|)^{mp} e^{-\frac{p}{2}|z|^2} dA(z)$ 와 $|z| \to \infty$ 에서의 渐近적 행동을 통한 노름 비교에 기반한다.

실험 결과

연구 질문

• RQ1 해석적 기호 $g$ 가 무엇일 때 볼테라 연산자 $V_g$ 가 $\mathcal{F}_{\psi_m}^p$ 에서 유계인가?
• RQ2 연산자 $V_g$ 가 $\mathcal{F}_{\psi_m}^p$ 에서 컴팩트일 조건은 무엇인가?
• RQ3 $\mathcal{F}_{\psi_m}^2$ 에서 컴팩트인 $V_g$ 가 슈하텐 $\mathcal{S}_p$ 클래스에 속하는 $p$ 는 무엇인가?
• RQ4 $g$ 의 계수에 따라 $V_g$ 의 스펙트럼은 어떻게 표현되는가?
• RQ5 $Df = f'$ 는 $\mathcal{F}_{\psi_m}^p$ 에서 유계인가?

주요 결과

• 볼테라 연산자 $V_g$ 는 $\mathcal{F}_{\psi_m}^p$ 에서 유계이기 위한 필요충분조건이 $g$ 가 복소계수 다항식이면서 차수 2 이하일 때이다.
• 연산자 $V_g$ 는 $\mathcal{F}_{\psi_m}^p$ 에서 컴팩트이기 위한 필요충분조건이 $g$ 가 차수 1 이하의 다항식일 때이다.
• 만약 $V_g$ 가 $\mathcal{F}_{\psi_m}^2$ 에서 컴팩트이면, 모든 $p > 2$ 에 대해 $V_g$ 는 슈하텐 $\mathcal{S}_p$ 클래스에 속하며, $0 < p < 2$ 에서는 $g \equiv 0$ 이어야만 $\mathcal{S}_p$ 에 속한다.
• $V_g$ 의 스펙트럼은 $g(z) = az^2 + bz + c$ 의 전개에서 $z^2$ 의 계수인 $a$ 를 이용해 $\overline{D(0, 2|a|)}$ 로 주어진다.
• $I_g$ 는 $\mathcal{F}_{\psi_m}^p$ 에서 유계이기 위한 필요충분조건이 $g$ 가 상수일 때이며, 컴팩트이기 위한 필요충분조건은 $g \equiv 0$ 일 때이다. $g \equiv c$ 일 경우 스펙트럼은 $\{c\}$ 이다.
• $Df = f'$ 는 모든 $p \in (0, \infty)$ 에 대해 $\mathcal{F}_{\psi_m}^p$ 에서 무계이며, 핵의 노름 추정을 활용한 모순에 기반한 증명으로 이를 입증하였다.