[논문 리뷰] Hankel matrices acting on the Hardy space $H^1$ and on Dirichlet spaces

Daniel Girela, Noel Merchán|arXiv (Cornell University)|2018. 04. 06.

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

한 줄 요약

이 논문은 [0,1) 위의 유한한 양의 Borel 측도 μ에 의해 유도되는 헨켈 행렬을 연구하며, 하르디 공간 $H^1$과 디리클레 유형 공간 위에서의 작용을 분석한다. 만약 측도 μ가 1-로그형 1-카르레손 측도이면, 헨켈 연산자는 $H^1$에서 디리클레 공간 $π^1_0$로 사상됨을 증명한다. 이는 일반화된 힐베르트 연산자의 유계성 및 범위 성질에 관한 기존 결과를 확장한다.

ABSTRACT

If $\,μ\,$ is a finite positive Borel measure on the interval $\,[0,1)$, we let $\,\mathcal H_μ\,$ be the Hankel matrix $\,(μ_{n, k})_{n,k\ge 0}\,$ with entries $\,μ_{n, k}=μ_{n+k}$, where, for $\,n\,=\,0, 1, 2, \dots $, $μ_n\,$ denotes the moment of order $\,n\,$ of $\,μ$. This matrix induces formally the operator $\,\mathcal{H}_μ(f)(z)= \sum_{n=0}^{\infty}\left(\sum_{k=0}^{\infty} μ_{n,k}{a_k} ight)z^n\,$ on the space of all analytic functions $\,f(z)=\sum_{k=0}^\infty a_kz^k\,$, in the unit disc $\,\mathbb D $. When $\,μ\,$ is the Lebesgue measure on $\,[0,1)\,$ the operator $\,\mathcal H_μ\,$ is the classical Hilbert operator $\,\mathcal H\,$ which is bounded on $\,H^p\,$ if $\,1

연구 동기 및 목표

• μ가 [0,1) 위의 유한한 양의 Borel 측도일 때, 헨켈 행렬 $π_\mu$ 가 하르디 공간 $H^1$ 위에서 작용하는 방식을 특성화하는 것.
• 0 < α < 1 인 경우 μ가 α-로그형 1-카르레손 측도일 때, $π_\mu$ 가 $H^1$ 위에서 정확한 범위를 결정하는 것.
• 베르그만 공간 및 디리클레 유형 공간, 특히 $π^p_\alpha$ 위에서 $π_\mu$ 의 유계성 및 사상 성질을 연구하는 것.
• 기본 힐베르트 연산자 $π$ 가 $1 < p < \infty$ 에서 $H^p$ 위에서 유계이지만 $H^1$ 위에서는 아님을 고려하여, 그 작용이 코시 변환 공간과 디리클레 공간으로의 사상에 미치는 영향을 분석함으로써 기존 결과를 확장하는 것.

제안 방법

• 저자들은 모멘트 $\mu_{n,k} = \mu_{n+k}$ 를 통해 헨켈 행렬 $π_\mu$ 를 정의하고, 형식적 행렬 곱을 통해 해석 함수 위에 작용하는 연산자로 유도한다.
• H^1 과 블로흐 공간 사이의 딱 Dual 관계, 그리고 $A^1_\alpha$ 가 작은 블로흐 공간의 딱 Dual로 식별됨을 이용하여, 적분 쌍대성(pairing)을 통한 유계성 분석을 수행한다.
• 핵심 기술 도구는 적분 표현으로, 예를 들어 $\mathcal{I}_\mu f(z) = \int_0^1 \frac{f(t)}{1 - tz} dt$ 는 $f \in H^1$ 일 때 $π_\mu f$ 와 일치한다.
• 그들은 허들러 부등식과 디리클레 공간에서 도함수의 $L^p$-노름을 유계화하기 위한 최대 함수 $M_\infty(t,f)$ 의 추정치를 적용한다.
• 증명은 카르레손 측도 및 $\alpha$-카르레손 측도에 관한 알려진 결과에 기반하며, 특히 μ가 1-로그형 1-카르레손 측도이면 $\nu(t) = (1-t)^\alpha \mu(t)$ 는 카르레손 측도임을 이용한다.
• 블로흐 공간에서 $L^\infty$ 로의 연산자 $T\phi(\xi) = (1-|\xi|^2)^{-\alpha} \int_\mathbb{D} \frac{(1-|z|^2)^\alpha \phi(z)}{(1 - \xi \bar z)^2} dA(z)$ 의 유계성은 적분 쌍대성을 제어하는 데 사용된다.

실험 결과

연구 질문

• RQ1 측도 μ에 어떤 조건이면 헨켈 연산자 $π_\mu$ 가 $H^1$ 에서 디리클레 공간 $π^1_0$ 로 유계로 사상하는가?
• RQ2 0 < α < 1 인 경우 μ가 α-로그형 1-카르레손 측도일 때, $π_\mu$ 가 $H^1$ 위에서 정확한 범위는 무엇인가?
• RQ3 μ가 카르레손 측도이고 -1 < α < 0 일 때, $π_\mu$ 는 $π^1_\alpha$ 에서 자신으로 유계인가?
• RQ4 정리 6의 역이 성립하는가, 즉 $π_\mu$ 가 $π^1_\alpha$ 위에서 유계이면 μ는 반드시 카르레손 측도인가?

주요 결과

• μ가 1-로그형 1-카르레손 측도이면, $π_\mu$ 는 $H^1$ 을 디리클레 공간 $π^1_0$ 로 사상한다.
• 0 < α < 1 인 경우 μ가 α-로그형 1-카르레손 측도이면, $π_\mu$ 가 $H^1$ 위에서 정의하는 범위는 $π^1_0$ 에 포함된다.
• μ가 카르레손 측도이면, $-1 < \alpha < 0$ 일 때 $π_\mu$ 는 $π^1_\alpha$ 에서 자신으로 유계이다.
• μ가 카르레손 측도이면, $\langle h, \mathcal{I}_\mu f \rangle$ 는 $\|h\|_{\mathcal{B}} \|f\|_{\mathcal{D}^1_\alpha}$ 로 유계지며, 이는 딱 Dual을 통한 유계성의 확립이다.
• 모든 $f \in \mathcal{D}^1_\alpha$ 에 대해 $\sum_{n=0}^\infty |a_n| (n+1)^{-(1+\alpha)} \lesssim \|f\|_{\mathcal{D}^1_\alpha}$ 이 성립하지만, $p=1$ 에서는 역부등식은 확립되지 않았다.