[논문 리뷰] Distances between composition operators

Valentin Matache|Institutional Repository University of Extremadura (University of Extremadura)|2007. 02. 06.

Holomorphic and Operator Theory참고 문헌 18인용 수 4

한 줄 요약

이 논문은 원판의 단위에서 0을 고정하는 상수, 내부 또는 해석적 자기사상인 φ와 ψ를 갖는 하드리 공간 H²에서의 조합 연산자 Cφ와 Cψ 사이의 연산자 노름 거리 ‖Cφ − Cψ‖에 대한 정확한 공식을 유도한다. 주요 결과는 거리 ‖C₀ − Cφ‖가 어떤 p ∈ [2, ∞]에 대해 하드리 노름 ‖φ‖_p 와 같으며, 이 p는 φ의 수직성 성질에 의해 유일하게 결정된다는 것이다; p = 2이면 φ가 n ≥ 2에 대해 {φⁿ}과 수직임을 의미한다.

ABSTRACT

The norm distance between two composition operators is calculated in select cases.

연구 동기 및 목표

• H²에서의 조합 연산자 Cφ와 Cψ 사이의 정확한 연산자 노름 거리를 계산하기 위해.
• ‖C₀ − Cφ‖를 p ∈ [2, ∞]에 대해 하드리 노름 ‖φ‖_p 로 특성화하기 위해.
• 노름 항등식에서 최적의 p가 p = 2가 되는 조건을 규명하고, 이를 H² 내의 수직 조건과 연결하기 위해.
• 이차 자동형 조합 연산자의 수치 범위 및 스펙트럼 성질에 대한 이해를 확장하기 위해.
• 자동형 기호 αp를 갖는 Cαp의 수치 범위의 개방성/폐쇄성 상태를 해결하기 위해.

제안 방법

• 자동형 조합 연산자의 수치 범위를 분석하기 위해 스펙트럼 매핑 정리와 이차 연산자에 대한 기존 결과를 활용한다.
• 이차 연산자에 대한 정리 1(이차 수치 범위)을 적용하여 Cαp의 수치 범위를 타원형 도메인으로 특성화한다.
• W(Cαp)의 주축 길이에 대한 실용적인 공식을 유도하여 이전의 암묵적 공식보다 개선한다: 2/√(1−|p|²).
• 최적의 p의 유일성을 보일 때 헬더 부등식과 쌍대성 추론을 활용하여 노름 항등식 ‖Cφ|H²₀‖ = ‖φ‖_p 에서의 최적 p를 분석한다.
• 노름 등식이 n ≥ 2에 대해 φ와 {φⁿ} 간의 수직성과 연결됨을 보이기 위해 코시-슈바르츠 부등식과 고유함수 특성화를 활용한다.
• C*φCφ(z) = λz이면 φ가 n ≥ 2에 대해 φⁿ과 수직임을 이용하여 정리 7의 동치성을 도출한다.

실험 결과

연구 질문

• RQ1 단위 원판에서 φ(0) = 0인 해석적 자기사상 φ에 대해, 어떤 p ∈ [2, ∞]에 대해 항등식 ‖Cφ|H²₀‖ = ‖φ‖_p 가 성립하는가?
• RQ2 노름 항등식에서 최적의 p가 p = 2가 되는 조건은 무엇이며, 이에 대응하는 φ의 수직 조건은 무엇인가?
• RQ3 자동형 조합 연산자 Cαp의 수치 범위 W(Cαp)는 개방되어 있는가 아니면 닫혀 있는가? 주축 길이는 p에 따라 어떻게 달라지는가?
• RQ4 하드리 노름 ‖φ‖_p 가 H²₀에 제한된 Cφ의 연산자 노름의 정확한 값이 되는 조건은 무엇인가?
• RQ5 노름 항등식은 내부 함수가 아닌 기호로도 확장 가능한가? p의 선택은 φ의 스펙트럼 및 수직적 구조에 따라 어떻게 달라지는가?

주요 결과

• 거리 ‖C₀ − Cφ‖는 어떤 p ∈ [2, ∞]에 대해 하드리 노름 ‖φ‖_p 와 같으며, 각 φ에 대해 이 p는 유일하다.
• p = 2이면 φ가 H²에서 모든 n ≥ 2에 대해 {φⁿ}과 수직임을 의미한다; 즉 ⟨φ, φⁿ⟩ = 0 for n ≥ 2.
• 만약 φ가 내부 함수의 스칼라 배수이면, 임의의 p ∈ [2, ∞]가 노름 항등식을 만족하지만, 그렇지 않으면 p는 유일하게 결정된다.
• Cαp의 수치 범위의 폐포의 주축 길이는 정확히 2/√(1−|p|²)이며, 이는 스펙트럼 지름에 대한 실용적 공식을 확인한다.
• 수치 범위 W(Cαp)는 p = 0이 아닌 한 개방되어 있으며, p = 0일 경우 선분 [−1, 1]으로 분해된다.
• Cφ가 H²₀에 제한된 연산자 노름이 φ의 L² 노름과 같아지려면 좌표 함수 z가 C*φCφ의 고유함수여야 한다.