[논문 리뷰] Free holomorphic functions on the unit ball of B(H)^n

Gelu Popescu|ArXiv.org|2006. 05. 09.

Holomorphic and Operator Theory인용 수 11

한 줄 요약

이 논문은 $B(H)^n$의 단위구에서의 자유 헬름홀로픽 함수 이론을 제안하며, 비가환 설정으로 고전적 복소함수 이론을 일반화한다. 비가환 코시 및 포아송 변환, 자유 해석 함수 계산법, 자유 헬름홀로픽 함수 대수의 보편 성질 등 기초 결과를 수립하였으며, 비가환 바르니우스 부등식과 하디 공간의 동형사상 등 핵심 기여를 이룩하였다.

ABSTRACT

We develop a theory of holomorphic functions in several noncommuting (free) variables and thus provide a framework for the study of arbitrary n-tuples of operators. The main topics are the following: Free holomorphic functions and Hausdorff derivations; Cauchy, Liouville, and Schwartz type results for free holomorphic functions; Algebras of free holomorphic functions; Free analytic functional calculus and noncommutative Cauchy transforms; Weierstrass and Montel theorems for free holomorphic functions; Free pluriharmonic functions and noncommutative Poisson transforms; Hardy spaces of free holomorphic functions.

연구 동기 및 목표

• 다음 변수들의 비가환 설정으로 고전적 복소해석학을 비가환 연산자 설정으로 일반화하여 다변수 헬름홀로픽 함수 이론을 종합적으로 개발하는 것.
• 비가환 다항식과 연산자 노름에 기반한 힐베르트 공간 위의 유계 연산자 $n$-튜플을 위한 자유 해석 함수 계산법을 수립하는 것.
• 코시 추정, 리우빌의 정리, 바르니우스 부등식과 같은 고전 결과를 자유 헬름홀로픽 함수를 이용해 비가환 설정으로 일반화하는 것.
• 자연스러운 연산자 공간 구조를 지닌 $H^∞$ 및 $A$-대수를 포함한 자유 헬름홀로픽 함수의 바나흐 대수를 정의하고 연구하는 것.
• 비가환 포아송 및 코시 변환을 도입하고 분석하여 자유 플루리하모닉 함수와 비가환 단위구 위의 하디 공간과 연결하는 것.

제안 방법

• 비가환 변수 $Z_1, \dots, Z_n$에 대한 형식적 멱급수의 수렴 반경을 정의하며, 해다르드 공식과 아벨 정리를 비가환 설정으로 일반화하는 것.
• 수렴 반경 $\geq 1$인 멱급수로 구성된 집합인 $\mathrm{Hol}(B(H)^n_1)$으로서 자유 헬름홀로픽 함수 대수를 정의하고, строго 수축적 표현에 대한 보편 성질을 부여하는 것.
• 비가환 다항식에서부터 자유 헬름홀로픽 함수 전체 대수로까지 Hausdorff 도함수 $\partial/\partial Z_i$를 확장하는 것.
• 비가환 코시 추정을 수립하고, 전체 자유 헬름홀로픽 함수에 대해 리우빌 유형 정리를 증명하는 것.
• 포크 공간 위의 생성 연산자를 통해 비가환 포아송 및 코시 변환을 구성하고, 자유 플루리하모닉 함수와 하디 공간과 연결하는 것.
• 대칭 자유 헬름홀로픽 함수와 바나흐 공간 $H^\infty_{\mathrm{sym}}(\mathbb{B}_n)$를 정의하며, 그 완비성과 비가환 $F_n^\infty$ 대수와의 동형성을 증명하는 것.

실험 결과

연구 질문

• RQ1 다음 변수들의 비가환 연산자 변수에서 헬름홀로픽 함수 이론을 어떻게 일반화할 수 있는가?
• RQ2 다변수 연산자 이론에서 코시 적분 공식과 포아송 핵의 적절한 비가환 대응은 무엇인가?
• RQ3 행 수축 조건을 만족하는 비가환 연산자 $n$-튜플을 위한 자유 해석 함수 계산법을 어떻게 구성할 수 있는가?
• RQ4 리우빌의 정리, 슈바르츠 보조정리, 바르니우스 부등식과 같은 고전 결과의 비가환 대응은 무엇인가?
• RQ5 비가환 단위구 위의 대칭 자유 헬름홀로픽 함수는 하디 공간과 연산자 대수학과 어떻게 관련이 있는가?

주요 결과

• $B(H)^n$의 개방적 연산자 단위구 위의 자유 헬름홀로픽 함수 대수 $\mathrm{Hol}(B(H)^n_1)$는 잘 정의되어 있으며, 수렴 반경 $\geq 1$인 멱급수로 구성되며, 보편 성질을 지닌 바나흐 대수를 이룬다.
• 모든 스트릭트 수축적 표현 $\pi: \mathbb{C}\langle Z_1,\dots,Z_n\rangle \to B(H)$는 $\mathrm{Hol}(B(H)^n_1)$ 위로 유일하게 연속 준동형으로 확장되며, 이는 보편 함수 계산법을 확립한다.
• 비가환 슈바르츠 보조정리가 증명된다: $f$가 $[B(H)^n]_1$에서 자유 헬름홀로픽이고 $\|f\|_\infty \leq 1$, $f(0) = 0$이면 $\|f(X_1,\dots,X_n)\| \leq \|[X_1,\dots,X_n]\|$ 이고 $\sum_{i=1}^n \left|\frac{\partial f}{\partial X_i}(0)\right|^2 \leq 1$ 이다.
• $H^\infty_{\mathrm{sym}}(\mathbb{B}_n)$의 대칭 자유 헬름홀로픽 함수 바나흐 공간은 비가환 $F_n^\infty$ 대수와 완전히 등장하는 등장사상으로 동형이며, $r < 1$일 때 $\|f\|_{\mathrm{sym}} = \|f_{\mathrm{sym}}(rS_1,\dots,rS_n)\|_{\infty}$ 이다.
• 공통 스펙트럼 반경 $< 1$인 가환 $n$-튜플 $T = (T_1,\dots,T_n)$에 대해 함수 계산법 $f \mapsto f(T_1,\dots,T_n)$은 잘 정의되어 있으며 연속적이다. 이때 $\|f(T)\| \leq M\|f\|_{\mathrm{sym}}$ 이며, $M = \sum_{k=0}^\infty \left\| \sum_{|\alpha|=k} T_\alpha T_\alpha^* \right|^{1/2}$ 이다.
• 비가환 포아송 및 코시 변환은 포크 공간 위의 생성 연산자를 통해 구성되며, 자유 플루리하모닉 함수의 정의를 가능하게 하고 비가환 설정에서 하디 공간 이론과 연결한다.