[논문 리뷰] Nonisotropically balanced domains, Lempert function estimates, and the spectral Nevanlinna-Pick problem

Gautam Bharali|ArXiv.org|2006. 01. 06.

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

한 줄 요약

이 논문은 균형 도메인의 일반화인 $Λ$-비등방성 균형 도메인을 도입하고, 특히 심미화된 다항체 $G_n$와 스펙트럴 단위 구 $Ω_n$에서 렘프트 함수에 대한 날카운 상계와 하계를 도출한다. 이러한 추정을 이용하여 $G_n$ 및 $Ω_n$에서 두 점 네바린나-피크 보간 문제에 대한 필요 및 충분 조건을 수립함으로써, 2점 스펙트럴 네바린나-피크 문제를 완전히 해결한다.

ABSTRACT

We introduce the notion of a λ-nonisotropically balanced domain and show that the symmetrized polydisc in C^n, n \geq 2, is an example of such a domain. Given a λ-nonisotropically balanced domain Ω, we derive effective estimates from above and from below for the Lempert function at (0,z)\inΩ imesΩ. We use these estimates to derive certain conditions for realising a two-point Nevanlinna-Pick interpolation in the symmetrized polydisc. Applying the ideas used in the derivation of our Lempert function estimates to the so-called spectral unit ball Ω_n, we deduce: a) a formula for the Lempert function at (0,W)\inΩ_n imesΩ_n; and b) a necessary and sufficient condition for realising a two-point Nevanlinna- Pick interpolation in the spectral unit ball.

연구 동기 및 목표

• 균형 도메인의 일반화인 $Λ$-비등방성 균형 도메인의 클래스를 도입하고, 렘프트 함수 분석을 용이하게 하기 위해 연구한다.
• 특히 심미화된 다항체 $G_n$인 경우를 포함하여, $Λ$-비등방성 균형 도메인인 $Ω$에 대해 렘프트 함수 $χ_Ω(0,z)$에 대한 효과적인 상계와 하계를 도출한다.
• 이러한 추정을 적용하여 심미화된 다항체 $G_n$에서의 두 점 네바린나-피크 보간 문제의 가역성에 대한 필요 및 충분 조건을 도출한다.
• 이 방법을 스펙트럴 단위 구 $Ω_n$로 확장하여, 그 렘프트 함수에 대한 공식과 두 점 보간 문제에 대한 완전한 기준을 도출한다.

제안 방법

• 모든 $\zeta \in \overline{D}$ 에 대해 $\zeta \mapsto (\zeta^{\lambda_1}z_1, \dots, \zeta^{\lambda_n}z_n)$ 에 대한 가중치 균일성 조건을 통해 $Λ$-비등방성 균형 도메인의 개념을 도입한다.
• 보간 문제와 해석적 디스크를 연결하기 위해 렘프트 함수 정의 $\widetilde{\kappa}_\Omega(z_1,z_2) = \inf \{ p_D(0,\zeta) : \exists \varphi \in \mathcal{O}(D;\Omega), \varphi(0)=z_1, \varphi(\zeta)=z_2 \}$ 를 사용한다.
• 도메인의 민코프스키 함수수 $h_{\Lambda,n}(z)$ 를 정의하고, $Ω$ 가 $Λ$-비등방성 균형 도메인일 경우 $\tanh^{-1}(h_{\Lambda,n}(z)) = \widetilde{\kappa}_\Omega(0,z)$ 를 통해 렘프트 함수와 연결한다.
• 심미화된 다항체 $G_n$ 에 이 те올리를 적용하여, $G_n$ 이 $(1,2,\dots,n)$-비등방성 균형 도메인임을 보이고, $\widetilde{\kappa}_{G_n}(0,z)$ 에 대한 추정을 도출한다.
• 베센티니 정리를 사용하여 스펙트럴 단위 구 $\Omega_n$ 가 준볼록임을 증명하고, 일반적인 추정을 적용하여 $\widetilde{\kappa}_{\Omega_n}(0,W)$ 에 대한 공식을 도출한다.
• 부등식 $\tanh^{-1}(r(W)) \leq p_D(\zeta_1,\zeta_2)$ 를 통해 $\Omega_n$ 에서의 두 점 보간 문제에 대한 필요 및 충분 조건을 수립한다.

실험 결과

연구 질문

• RQ1 $\Omega$ 에 어떤 조건이 성립하면 렘프트 함수 $\widetilde{\kappa}_\Omega(0,z)$ 가 효과적인 상계와 하계를 갖는가?
• RQ2 $Λ$-비등방성 균형 도메인에서의 렘프트 함수 추정을 어떻게 활용하여 심미화된 다항체 $G_n$ 에서의 두 점 네바린나-피크 보간 문제를 해결할 수 있는가?
• RQ3 스펙트럴 단위 구 $\Omega_n$ 에서의 렘프트 함수 $\widetilde{\kappa}_{\Omega_n}(0,W)$ 에 대한 정확한 공식은 무엇인가?
• RQ4 해석적 함수 $F: D \to \Omega_n$ 가 존재할 조건은 무엇인가, 여기서 $F(\zeta_1) = W_1$, $F(\zeta_2) = W_2$ 를 만족하는가?
• RQ5 $\Omega_n$ 에서 스펙트럴 반경 $r(W)$ 는 렘프트 함수와 어떻게 관련이 있는가?

주요 결과

• 심미화된 다항체 $G_n$ 는 $(1,2,\dots,n)$-비등방성 균형 도메인임을 보이며, 새로운 도메인 클래스의 핵심 예시이다.
• 모든 $Λ$-비등방성 균형 도메인 $Ω$ 에 대해, $h_{\Lambda,n}(z) < 1$ 일 경우 $\tanh^{-1}(h_{\Lambda,n}(z)) \leq \widetilde{\kappa}_\Omega(0,z) \leq \tanh^{-1}(h_{\Lambda,n}(z))$ 를 만족하며, 이는 날카운 추정을 제공한다.
• 심미화된 다항체 $G_n$ 에서의 두 점 네바린나-피크 보간 문제에 대한 필요 및 충분 조건은 $\tanh^{-1}(h_{\Lambda,n}(p)) \leq p_D(\zeta_1,\zeta_2)$ 이며, 여기서 $h_{\Lambda,n}(p)$ 는 심미화된 다항체의 민코프스키 함수수이다.
• 스펙트럴 단위 구 $\Omega_n$ 는 준볼록임을 보이며, 스펙트럴 반경 $r(W)$ 가 $M_n(\mathbb{C})$ 상에서 다수부하르모닉 함수이기 때문에, 보간 문제에 대해 잘 행동하는 도메인임을 보장한다.
• $\Omega_n$ 에서의 렘프트 함수에 대한 공식은 $\widetilde{\kappa}_{\Omega_n}(0,W) = \tanh^{-1}\left( \inf\left\{ t > 0 : \frac{1}{t} \sup_{|z|=1/t} |F_{s(W)}(z)| < 1 \right\} \right)$ 이다. 여기서 $s(W)$ 는 행렬 $W$ 의 특성 다항식의 계수 벡터이다.
• $\Omega_n$ 에서의 두 점 네바린나-피크 문제는 $\tanh^{-1}(r(W)) \leq p_D(\zeta_1,\zeta_2)$ 이며, 등호가 성립하는 경우 $r(W) = 0$ 일 때는 스케일링과 자기동형사상의 조합을 통해 처리된다.