[논문 리뷰] Composition operators on reproducing kernel Hilbert spaces with analytic positive definite functions

Masahiro Ikeda, Isao Ishikawa외 1명|arXiv (Cornell University)|2019. 11. 27.

Algebraic and Geometric Analysis참고 문헌 22인용 수 6

한 줄 요약

이 논문은 스펙트럴 밀도에 대한 약간의 감쇠 및 정규성 조건 하에서, 분석적 양의 정부호 함수와 관련된 재생 핵 힐버트 공간(RKHS)에서 유계 성질을 갖는 합성 연산자를 유도하는 것은 오직 애핀 사상뿐임을 증명한다. 핵심 통찰은 유계성과 가중 $L^2$-공간에서의 직교다항식 근의 점근적 행동 사이의 연관성을 밝혀내며, 이는 이전에 유한 차수의 정칙 함수에 국한되었던 결과를 무한 차수의 경우로 확장한다.

ABSTRACT

In this paper, we specify what functions induce the bounded composition operators on a reproducing kernel Hilbert space (RKHS) associated with an analytic positive definite function defined on $\mathbf{R}^d$. We prove that only affine transforms can do so in a pretty large class of RKHS. Our result covers not only the Paley-Wiener space on the real line, studied in previous works, but also much more general RKHSs corresponding to analytic positive definite functions where existing methods do not work. Our method only relies on an intrinsic properties of the RKHSs, and we establish a connection between the behavior of composition operators and the asymptotic properties of the greatest zeros of orthogonal polynomials on a weighted $L^2$-spaces on the real line. We also investigate the compactness of the composition operators and show that any bounded composition operators cannot be compact in our situation.

연구 동기 및 목표

• 분석적 양의 정부호 함수로 생성된 RKHS에서 어떤 사상이 유계 성합 연산자를 유도하는지 규명하는 것.
• 이전에 팔레이-위너 공간이나 유한 차수의 정칙 함수에 국한되었던 결과를 더 넓은 범위의 무한 차수 생성 함수를 갖는 RKHS로 확장하는 것.
• 유계 성합 연산자의 유계성과 가중 $L^2$-공간에서의 직교다항식의 가장 큰 근의 점근적 행동 사이의 연결 고리를 설정하는 것.
• 해당 설정에서 이러한 성합 연산자의 컴actness를 조사하고, 그것이 가능하지 않음을 보이는 것.

제안 방법

• 분석은 RKHS의 본질적 성질, 특히 스펙트럴 밀도 $w$의 역수를 통한 노름 구조에 기반한다.
• 점수 $\mathcal{E}_n^+(y;w)$와 $\mathcal{E}_n^-(y;w)$를 도입하여, $L^2(w)$에서 차수 $n$의 다항식에 대한 $e^{y^T\xi}$의 점별 곱셈 연산자의 노름의 $n$제곱근을 나타낸다.
• 무게 함수 $w$를 정규화 상수로 유지하는 선형 사상의 군 $\mathcal{G}(w)$를 도입하여 성합 연산자의 유계성을 특성화한다.
• 가중 $L^2$-공간 이론과 복소해석학 및 함수해석학의 결과를 적용하여 직교다항식 근의 점근적 분석을 수행한다.
• 유한 차수 정칙 함수 이론에 의존하지 않고, $w$의 감쇠 및 정규성 조건을 사용하여 유계성 조건을 유도하는 증명 기법을 사용한다.
• 결론적으로 $\mathcal{E}_n^\pm(y;w)$의 성장과 커널의 스펙트럴 행동 사이의 연결 고리를 설정하여, 오직 애핀 사상만이 연산자를 유도할 수 있음을 도출한다.

실험 결과

연구 질문

• RQ1 어떤 사상 $f: \mathbb{R}^d \to \mathbb{R}^d$ 가 분석적 양의 정부호 커널을 갖는 RKHS에서 유계 성합 연산자를 유도하는가?
• RQ2 기존에 알려진 결과인 오직 애핀 사상만이 유계 성합 연산자를 유도한다는 것이 팔레이-위너 공간이나 유한 차수 정칙 함수를 초월하여 확장 가능한가?
• RQ3 가중 $L^2$-공간에서의 직교다항식의 가장 큰 근의 점근적 성질이 성합 연산자의 유계성 결정에 어떤 역할을 하는가?
• RQ4 무한 차수 정칙 함수를 생성함으로써 생성된 RKHS에서 오직 애핀 사상만이 유계 성합 연산자를 유도하는가?
• RQ5 해당 RKHS에서의 유계 성합 연산자가 컴팩트해질 수 있는가?

주요 결과

• 만일 $k = \widehat{w}$ 이고 $w$가 세 가지 조건 (A), (B), (C)를 만족한다면, $A \in \mathcal{G}(w)$ 인 애핀 사상 $f(x) = Ax + b$ 만이 RKHS $H_k$에서 유계 성합 연산자를 유도할 수 있다.
• 성합 연산자의 유계성은 $n \to \infty$ 일 때 $\mathcal{E}_n^\pm(y;w)$ 의 균일 유계성으로 특성화되며, 이는 연산자 노름 성장과 직교다항식 근의 점근적 행동을 연결한다.
• 논문은 이러한 RKHS에서 유계 성합 연산자가 컴팩트해질 수 없음을 증명한다. 이는 무한 차원 설정에서도 마찬가지이다.
• 이 결과는 $\widehat{w}$ 가 무한 차수인 경우, 예를 들어 스펙트럴 밀도 $w(\xi) = \sum_{n=-\infty}^\infty \mathbf{1}_{[-1/2+n,1/2+n)}(\xi)/|n|!$ 를 갖는 경우에도 적용 가능하다.
• (B) 및 (C) 조건을 충족하는 충분조건이 제시되며, 이는 $w(\xi) = \prod_{i=1}^d e^{-Q_i(|\xi_i|)}$ 인 경우를 포함하며, $Q_i$ 가 약간의 정규성 및 성장 조건을 만족하는 경우이다.
• 이 프레임워크는 유한 차수 정칙 함수 가정을 제거하고, 대신 RKHS 및 직교다항식 분석의 본질적 성질을 사용하여 이전 결과를 일반화한다.