[논문 리뷰] Test Functions, Kernels, Realizations and Interpolation

Michael A. Dritschel, Scott McCullough|ArXiv.org|2006. 12. 20.

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

한 줄 요약

이 논문은 시험 함수와 그 이중 재생 핵을 통해 정의된 함수 대수에 대해 Agler의 실현 및 보간 정리의 일반화를 시도하며, Stone-Čech 컴actification을 통해 무한한 시험 함수의 집합을 다룰 수 있는 프레임워크를 도입한다. 이는 수축 함수의 von Neumann 유형 부등식을 확립하고, 시험 함수로 생성된 대수의 표현을 통해 수축 함수를 실현함으로써, 무한 다각형 및 고리의 승수 대수와 같은 경우의 장애를 해결한다.

ABSTRACT

Jim Agler revolutionized the area of Pick interpolation with his realization theorem for what is now called the Agler-Schur class for the unit ball in $\mathbb C^d$. We discuss an extension of these results to algebras of functions arising from test functions and the dual notion of a family of reproducing kernels, as well as the related interpolation theorem. When working with test functions, one ideally wants to use as small a collection as possible. Nevertheless, in some situations infinite sets of test functions are unavoidable. When this is the case, certain topological considerations come to the fore. We illustrate this with examples, including the multiplier algebra of an annulus and the infinite polydisk.

연구 동기 및 목표

• 유한한 시험 함수를 넘어서 무한한 집합으로 Agler의 실현 및 보간 정리의 일반화를 이루는 것.
• 함수 대수에서 무한한 수의 시험 함수를 사용할 때 발생하는 위상적 과제를 다루는 것.
• 수축 함수에 대해 시험 함수 표현을 통해 von Neumann 유형 부등식을 확립하는 것.
• 시험 함수로 생성된 대수의 표현이 유한한 수의 시험 함수를 포함하는 '간단한 표현'으로의 근사가 가능함을 보여주는 것.
• Stone-Čech 컴actification이 무한차원 설정에서 핵 인수분해의 장애를 어떻게 제거하는지 명확히 하는 것.

제안 방법

• 시험 함수와 재생 핵 사이의 이중성을 이용하여, 승수 대수의 교차로 함수 대수를 정의한다.
• 수축 함수를 연산자 모델을 통해 실현하기 위해 단위 연합과 전달 함수의 개념을 적용한다.
• 일반화된 핵 인수분해 도입: $1 - f(z)f(w)^* = \sum \Gamma_n(z,w)(1 - \psi_n(z)\psi_n(w)^*)$ (시험 함수 $\psi_n$ 에 대해).
• 유한한 합이 실패할 경우 평가 함수를 확장하고, 양의 핵 $\Gamma$ 를 정의하기 위해 Stone-Čech 컴actification $\beta\Psi$ 를 활용한다.
• 무한한 설정에서 수렴성과 양의성을 다루기 위해 $C_b(\Psi)^*$ 내의 $\Gamma_n$ 과 그 극한을 사용한다.
• 구체적인 예제(무한 다각형 및 고리의 승수 대수 포함)에 이 те올리를 적용하여 위상적 장애를 설명한다.

실험 결과

연구 질문

• RQ1 Agler 유형의 실현 및 보간 정리는 유한한 수의 시험 함수를 넘어서 무한한 집합으로 정의된 대수로 일반화될 수 있는가?
• RQ2 시험 함수가 무한할 경우, 양의 핵 인수분해의 존재를 보장하기 위해 필요한 위상적 또는 컴actification 기법은 무엇인가?
• RQ3 무한 다각형과 같은 경우에서 핵 인수분해의 실패는 Stone-Čech 컴actification을 통해 어떻게 해결되는가?
• RQ4 승수 대수의 수축 함수는 시험 함수로 생성된 대수의 표현을 통해 실현될 수 있는가?
• RQ5 어떤 조건을 만족해야 시험 함수에 의해 관련된 핵 인수분해가 존재하며, 기존의 유한합 구성 방식이 언제 실패하는가?

주요 결과

• 무한 다각형의 경우, 표준적인 유한합 핵 인수분해가 실패하지만, 시험 함수 집합을 Stone-Čech 컴actification $\beta\Psi$ 의 점들까지 확장함으로써 복구할 수 있다.
• 예제 1에서 $\psi_n(z) = \sqrt{1 - 1/n}z$ 를 통해 $1 - zw^*$ 를 인수분해할 수 있는 양의 핵 $\Gamma_n$ 이 존재하지 않지만, $\psi_\infty(z) = z$ 가 $\beta\Psi$ 를 통해 추가되면 그러한 인수분해가 가능해진다.
• 두 점 공간에서 $\tilde{\psi} = 1 - \psi$ 는 수축적이지만, 시험 함수 조건 위반으로 인해 양의 핵 $\Gamma$ 를 통한 실현이 불가능하여, 시험 함수 공리의 점검이 필수적임을 보여준다.
• 레마 5.5의 증명은 유한합 인수분해를 가정할 경우 모순이 발생함을 보이며, 오른쪽 항이 왼쪽의 상수 랭크-1 행렬 $[1]$ 과 일치할 수 없기 때문이다.
• 일반화된 인수분해에서 핵 $\Gamma$ 는 $C_b(\Psi)^*$ 내의 점 평가로 취할 수 있으며, 특히 $\gamma(e) = e(\psi_\infty)$ 와 같이 정의할 수 있어 인수분해 실패를 해결한다.
• 이 이론은 전체 가족이 무한할지라도, 오직 유한한 수의 시험 함수를 포함하는 '간단한 표현'으로의 근사를 허용한다.