[논문 리뷰] Duality theorems for coinvariant subspaces of $H^1$

Roman Bessonov|arXiv (Cornell University)|2014. 01. 02.

Spectral Theory in Mathematical Physics참고 문헌 15인용 수 4

한 줄 요약

이 논문은 하르드 스페이스 $H^1$ 내의 코인variant 부분공간 $K_{\theta}^{1} \cap zH^{1}$의 쌍대공간에 대한 이중성 정리를 수립하며, 이는 한 개인 내부 함수 $\theta$의 클라크 측도 $\sigma_{\alpha}$에 대한 BMO 함수 공간과 등거리적으로 동형임을 보여준다. 핵심 결과는 $(K_{\theta}^{1} \cap zH^{1})^{*} = \mathrm{BMO}(\sigma_{\alpha})$이며, 이는 유한 허크렐 매트릭스의 두 방향 노름 추정에 응용되며, 그 기저로 $\mathrm{BMO}(\mu_{2n})$-노름을 갖는 기호의 노름을 사용한다. 여기서 $\mu_{2n}$는 $2n$차 단위근의 하르 측도이다.

ABSTRACT

Let $θ$ be an inner function satisfying the connected level set condition of B. Cohn, and let $K^{1}_θ$ be the shift-coinvariant subspace of the Hardy space $H^1$ generated by $θ$. We describe the dual space to $K^{1}_θ$ in terms of a bounded mean oscillation with respect to the Clark measure $σ_α$ of $θ$. Namely, we prove that $(K^{1}_θ \cap zH^1)^* = { m BMO}(σ_α)$. The result implies a two-sided estimate for the operator norm of a finite Hankel matrix of size $n imes n$ via ${ m BMO}(μ_{2n})$-norm of its standard symbol, where $μ_{2n}$ is the Haar measure on the group $\{ξ\in \mathbb{C}: ξ^{2n} = 1\}$.

연구 동기 및 목표

• 하르드 스페이스 $H^1$ 내에서 한 개인 내부 함수 $\theta$에 대해 $K_{\theta}^{1} \cap zH^{1}$의 쌍대공간을 특성화하는 것.
• 이 쌍대공간과 내부 함수 $\theta$의 클라크 측도 $\sigma_{\alpha}$에 대한 $\mathrm{BMO}(\sigma_{\alpha})$ 공간 사이의 이중성 동형을 수립하는 것.
• 이 이중성을 활용하여 유한 허크렐 매트릭스의 두 방향 연산자 노름 추정을 그 표준 기호의 $\mathrm{BMO}(\mu_{2n})$-노름으로 유도하는 것.
• 한 개인 내부 함수와 관련된 클라크 측도를 그 원자와 그 분포에 대한 기하학적 및 해석적 조건을 통해 완전히 특성화하는 것.

제안 방법

• 논문은 내부 함수 $\theta$와 관련된 클라크 측도 $\sigma_{\alpha}$ 이론을 사용하며, 이는 단위원 $\mathbb{T}$ 위의 특이 측도로, $\theta$의 코시-스틸체이 변환의 실수부와 연결된다.
• 측도 $\mu = \sigma_{\alpha}$가 이산적이고, 각 원자가 집합 내에서 이웃을 두 개씩 가지며, 원자 질량이 이웃과의 거리에 대해 균일한 하한 및 상한을 만족하는 조건을 갖는다는 점을 통해 한 개인 내부 함수를 특성화하는 방법을 제시한다.
• 이론의 증명은 A. B. 알렉산드로프의 결과에 기반하며, 이는 $\theta$의 도함수와 이산 허리스의 변환 $H_\mu 1$이 원자 집합 위에서 유계임을 요구한다.
• 기능의 작용을 $K_{\theta}^{1} \cap zH^{1}$ 위에서 분석하고 원자 분해 및 노름 추정을 통해 $\mathrm{BMO}(\sigma_{\alpha})$와 연관시킴으로써 이중성 결과를 도출한다.
• 논문은 이중성을 잘라낸 허크렐 연산자에 적용하며, $n \times n$ 허크렐 매트릭스의 연산자 노름을 그 기호의 $\mathrm{BMO}(\mu_{2n})$-노름과 연결한다. 여기서 $\mu_{2n}$는 $2n$차 단위근 위의 정규화된 하르 측도이다.
• 근의 기하학적 성질과 이산 허리스 변환의 행동을 분석함으로써 두 방향 노름 추정의 상수에 대한 균일한 경계를 확립한다.

실험 결과

연구 질문

• RQ1 한 개인 내부 함수 $\theta$에 대해 $K_{\theta}^{1} \cap zH^{1}$의 쌍대공간은 무엇인가요?
• RQ2 단위원 위의 어떤 특이 측도가 한 개인 내부 함수의 클라크 측도가 될 수 있나요?
• RQ3 유한 허크렐 매트릭스의 연산자 노름은 그 기호의 $\mathrm{BMO}$-노름을 어떻게 추정할 수 있나요?
• RQ4 이산 측도 $\mu$가 한 개인 내부 함수의 클라크 측도가 되기 위한 조건은 무엇인가요?
• RQ5 유한 허크렐 연산자에 대해 $\mathrm{BMO}(\mu_{2n})$-노름을 기반으로 한 균일한 두 방향 노름 추정이 존재합니까?

주요 결과

• 코인variant 부분공간 $K_{\theta}^{1} \cap zH^{1}$의 쌍대공간은 클라크 측도 $\sigma_{\alpha}$에 대한 $\mathrm{BMO}(\sigma_{\alpha})$와 등거리적으로 동형이며, 이는 이중성 $(K_{\theta}^{1} \cap zH^{1})^{*} = \mathrm{BMO}(\sigma_{\alpha})$를 수립한다.
• 이산 측도 $\mu$가 한 개인 내부 함수의 클라크 측도가 되기 위한 필요 및 충분 조건은 $\mu$가 고립된 원자를 가지며, 각 원자가 원자 집합 내에서 두 개의 이웃을 가지며, 지지집합이 측도 0을 갖는 전부이며, 이산 허리스 변환 $H_\mu 1$이 원자 위에서 균일하게 유계임을 만족하는 것이다.
• $n \times n$ 허크렐 매트릭스 $A$의 기호 $\bar{z}^n \psi$의 $\mathrm{BMO}(\mu_{2n})$-노름은 연산자 노름 $\|A\|$를 두 방향 추정으로 제어한다: $c_1 \|\bar{z}^n \psi\|_{\mu_{2n}^*} \leq \|A\| \leq c_2 \|\bar{z}^n \psi\|_{\mu_{2n}^*}$, 여기서 $c_1, c_2$는 $n$에 관계없이 일정한 상수이다.
• 노름 추정의 상수 $c_1, c_2$는 균일하게 유계이며, 어떤 절대 상수 $M$에 대해 $c_2 \leq 10^7 M$을 만족하므로, 모든 $n \geq 2$에 대해 추정이 효과적으로 작용한다.
• 논문은 기존의 $\mathrm{BMO}(\mathbb{T})$ 기준에 기반한 허크렐 연산자의 유계성에 대해, 피에르 페퍼만의 이중성 정리 없이도, 이중성과 $\mathrm{BMO}$ 공간에서의 약한* 수렴을 이용하여 새로운 증명을 제시한다.
• 결과적으로, $H^2$ 위에서 기호 $\varphi \in \overline{zH^2}$를 갖는 허크렐 연산자의 유계성은 $\varphi \in \mathrm{BMO}(\mathbb{T})$와 동치이며, 연산자 노름은 $\varphi$의 $\mathrm{BMO}$-노름과 등가임을 시사한다.