[논문 리뷰] H. Bohr's theorem for bounded symmetric domains

Guy Roos|ArXiv.org|2008. 12. 28.

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

한 줄 요약

이 논문은 헤르만 보어의 고전적 정리(단위 원판의 정칙 자기사상에 대한 것)를 임의의 유형의 유계 대칭 도메인으로 일반화한다. 여기서는 스펙트럴 노름에서 반지름 1/3 이내의 구 안에서 테일러 계수의 절댓값 합이 1 이하로 수렴함을 증명한다. 증명은 경우에 따라 분류하지 않고 불변론 이론과 조르당 삼중체계를 활용하며, 모든 유계 원형 대칭 도메인에 대해 1/3 상한이 최적이 됨을 입증한다.

ABSTRACT

A theorem of Harald Bohr (1914) states that if f is a holomorphic map from the unit disc into itself, then the sum of absolute values of its Taylor expansion is less than 1 for |z|<1/3. The bound 1/3 is optimal. This result has been extended in a suitable sense by Liu Taishun and Wang Jianfei (2007) to the bounded complex symmetric domains of the four classical series, and to polydiscs. The result of Liu and Wang may be generalized to all bounded symmetric domains, with a proof which does not depend on classification.

연구 동기 및 목표

• 1914년 보어의 정리—원래 단위 원판에서 자기사상에 대해 유도된 것—을 복소 단위 원판을 초월하여 모든 유계 대칭 도메인으로 확장한다.
• 정칙 자기사상의 테일러 계수 절댓값 합의 수렴에 대해 스펙트럴 노름에서 균일한 상한 1/3을 확립한다.
• 4개의 고전적 계열의 유계 대칭 도메인에 대해 사례별 분석을 피하는 분류 독립적 증명을 제공한다.
• 유계 대칭 도메인의 자기동형사상에 대한 연산자 노름 항등식을 일반화하여, 임의의 u ∈ Ω에 대해 ||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) 임을 보인다.
• 상수 1/3 이 모든 유계 대칭 도메인에 대해 최적이며, 이보다 큰 반경에서는 부등식이 성립하지 않음을 입증한다.

제안 방법

• 유계 대칭 도메인의 조르당 삼중체계 구조와 관련된 스펙트럴 노름 ||·||_Ω 을 사용한다.
• 민코프스키 노름과 베르그만 연산자 이론을 적용하여 스펙트럴 노름을 ||x||_Ω = λ₁로 정의한다. 여기서 λ₁은 x의 스펙트럴 분해에서 가장 큰 고유값이다.
• 프레임 (c₁,…,cᵣ) 에 대한 동시에 적용되는 파이어스 분해를 사용하여 조르당 삼중체계의 구조를 분석한다.
• 베르그만 연산자 B(x,x) 와 그 스펙트럴 성질을 이용하여, f(0)을 고정하는 자동형사상 φ에 대해 핵심 항등식 ||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) 을 유도한다.
• 테일러 전개 f(z) = ∑fₖ(z) 를 동차 다항식의 합으로 표현하고, 합 ∑||Dφ(f(0))·fₖ(Z)||_Ω / ||Dφ(f(0))||_Ω 에 대한 상한을 구한다.
• 자기동형사상에 대해 스펙트럴 노름이 보존되며, 헤르미트 조르당 삼중체계의 양성성을 이용하여 ||Z||_Ω < 1/3 에서 수렴을 증명한다.

실험 결과

연구 질문

• RQ1 보어의 정리가 분류에 의존하지 않고 모든 유계 대칭 도메인으로 일반화될 수 있는가?
• RQ2 모든 정칙 자기사상 f: Ω → Ω 에 대해 ∑|aₖzᵏ| ≤ 1 이 성립하는 최적의 반경 r 은 무엇인가? 여기서 Ω 는 유계 대칭 도메인이다.
• RQ3 모든 유계 원형 대칭 도메인에 대해, 점 u ∈ Ω 에서 자동형사상 φ 의 도함수의 연산자 노름이 ||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) 를 만족하는가?
• RQ4 보어의 정리에서 상수 1/3 이 고전적 유형이 아닌 모든 유계 대칭 도메인에 대해 최적이인가?
• RQ5 접선 공간의 스펙트럴 노름을 사용하여 정칙 자기사상의 테일러 급수에 대한 통일된 수렴 반경을 정의할 수 있는가?

주요 결과

• 논문은 임의의 유계 대칭 도메인 Ω 에 대해, f: Ω → Ω 가 정칙이고 f(z) = ∑fₖ(z) 가 그 테일러 전개일 때, ||Z||_Ω < 1/3 인 모든 Z 에 대해 ∑||Dφ(f(0))·fₖ(Z)||_Ω / ||Dφ(f(0))||_Ω < 1 임을 증명한다.
• 상한 1/3 는 최적이며, 임의의 r > 1/3 에 대해, ||Z||_Ω = r 인 어떤 점에서 절댓값 합이 1을 초과하는 정칙 자기사상 f: Ω → Ω 가 존재한다.
• 연산자 노름 항등식 ||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) 는 고전 도메인 뿐 아니라 모든 유계 원형 대칭 도메인에 대해 성립하며, 분류에 의존하지 않는 증명을 통해 입증된다.
• 스펙트럴 노름 ||x||_Ω 는 V 내의 x 에 대해 스펙트럴 분해 x = ∑λᵢcᵢ (λ₁ > λ₂ > ... > 0) 를 통해 정의되며, ||x||_Ω = λ₁ 이다.
• 베르그만 연산자 B(x,x) 는 B(x,x) = ∑(1 - λᵢ²)(1 - λⱼ²)pᵢⱼ 를 만족하며, 그 스펙트럴 성질이 노름 항등식 유도에 사용된다.
• 스펙트럴 노름 ||·||_Ω 의 단위구는 유계 대칭 도메인 Ω 와 일치하며, 조르당 삼중체계 구조는 도메인이 유계이자 원형임을 보장한다.