[논문 리뷰] Fock-Sobolev spaces and their Carleson measures

Hongrae Cho, Kehe Zhu|arXiv (Cornell University)|2012. 12. 04.

Holomorphic and Operator Theory참고 문헌 8인용 수 9

한 줄 요약

이 논문은 전체 함수 중에서 $m$-번째 도함수가 Fock 공간 $F^p$에 속하는 함수들의 집합으로서 Fock-Sobolev 공간 $F^{p,m}$를 도입하고, $f \in F^{p,m}$이면且 $z^m f(z) \in F^p$임을 증명한다. 주요 기여는 $F^{p,m}$에 대한 Carleson 측도의 완전한 특성화와 함께, 가중 Fock 프로젝션의 유계성, 쌍대성, 복소 보간 결과를 모두 중심적인 쌍대성 관계인 $F^{p,m}$와 $F^{q,m}$ 간의 적분 쌍대성($|z|^{2m}e^{-|z|^2}$를 가중치로 사용)를 통해 통합적으로 제시하는 것이다.

ABSTRACT

We consider the Fock-Sobolev space $F^{p,m}$ consisting of entire functions $f$ such that $f^{(m)}$, the $m$-th order derivative of $f$, is in the Fock space $F^p$. We show that an entire function $f$ is in $F^{p,m}$ if and only if the function $z^mf(z)$ is in $F^p$. We also characterize the Carleson measures for the spaces $F^{p,m}$, establish the boundedness of the weighted Fock projection on appropriate $L^p$ spaces, identify the Banach dual of $F^{p,m}$, and compute the complex interpolation space between two $F^{p,m}$ spaces.

연구 동기 및 목표

• 전체 함수 중에서 $m$-번째 도함수가 Fock 공간 $F^p$에 속하는 함수들의 집합으로서 Fock-Sobolev 공간 $F^{p,m}$를 정의하고 연구한다.
• 유클리드 원판의 측도에 대한 성장 조건을 통해 $F^{p,m}$에 대한 Carleson 측도를 특성화한다.
• 모든 $1 \leq p \leq \infty$에 대해 $L^p_m$ 공간 위에서 가중 Fock 프로젝션 $Q_m$의 유계성을 확립한다.
• 특정 적분 쌍대성에 의해 $1 \leq p < \infty$일 때 $F^{p,m}$의 바나흐 쌍대공간을 $F^{q,m}$로, $0 < p < 1$일 때는 $F^{\infty,m}$로 식별한다.
• 두 개의 $F^{p,m}$ 공간 사이의 복소 보간 공간을 계산하여 $[F^{p_0,m}, F^{p_1,m}]_\theta = F^{p,m}$임을 보이며, 여기서 $1/p = (1-\theta)/p_0 + \theta/p_1$이다.

제안 방법

• 전체 함수의 성질과 미분 연산자에 기반하여, $f^{(m)} \in F^p$인 전체 함수 $f$의 집합으로서 $F^{p,m}$를 정의하고, $f \in F^{p,m}$이면且 $z^m f(z) \in F^p$임을 증명한다.
• 양의 Borel 측도 $\mu$가 $F^{p,m}$에 대해 Carleson 측도임과 동시에 모든 $z \in \mathbb{C}$와 고정된 $r > 0$에 대해 $\mu(B(z,r)) \leq C(1+|z|)^{mp}$임이 동치임을 보여, 측도의 성장과 함수 공간 노름 사이의 연결 고리를 확립한다.
• 보간과 쌍대성 기법을 사용하여, 모든 $1 \leq p \leq \infty$에 대해 $L^p_m$에서 $F^{p,m}$로의 가중 Fock 프로젝션 $Q_m$의 유계성을 증명한다.
• 적분 쌍대성 $\langle f,g \rangle = \int_{\mathbb{C}} f(z) \overline{g(z)} e^{-|z|^2} |z|^{2m} dA(z)$를 사용하여, $1 \leq p < \infty$일 때 $F^{p,m}$의 쌍대공간이 $F^{q,m}$로, $0 < p < 1$일 때는 $F^{\infty,m}$로 식별됨을 Hahn-Banach 정리와 $L^p_m$ 공간 내의 쌍대성에 기반하여 증명한다.
• 복소 보간 이론을 적용하여, 복소 보간 공간 $[F^{p_0,m}, F^{p_1,m}]_\theta$가 $F^{p,m}$로 일치함을 보이며, 여기서 $1/p = (1-\theta)/p_0 + \theta/p_1$이다. 이는 $[L^{p_0}_m, L^{p_1}_m]_\theta = L^p_m$임과 $Q_m$의 유계성이라는 사실을 이용한다.

실험 결과

연구 질문

• RQ1 Fock-Sobolev 공간 $F^{p,m}$에 대한 정확한 Carleson 측도 특성화는 무엇인가?
• RQ2 조건 $f \in F^{p,m}$는 $z^m f(z)$가 $F^p$에서 적분 가능함과 어떻게 관련이 있는가?
• RQ3 $1 \leq p < \infty$와 $0 < p < 1$일 때 $F^{p,m}$의 쌍대공간은 무엇이며, 어떤 적분 쌍대성으로 식별되는가?
• RQ4 모든 $1 \leq p \leq \infty$에 대해 가중 Fock 프로젝션 $Q_m$은 $L^p_m$ 위에서 유계적인가? 이는 $F^{p,m}$의 구조와 어떻게 관련되는가?
• RQ5 두 Fock-Sobolev 공간 $F^{p_0,m}$와 $F^{p_1,m}$ 사이의 복소 보간 공간은 무엇이며, $F^{p,m}$와 어떻게 관련되는가?

주요 결과

• 전체 함수 $f$가 $F^{p,m}$에 속함과 $z^m f(z) \in F^p$임이 동치임을 보이며, 이는 소볼레프 유형 노름과 가중 $F^p$ 노름 사이의 기본적인 등가성을 제공한다.
• 양의 Borel 측도 $\mu$가 $F^{p,m}$에 대해 Carleson 측도임과 동시에 모든 $z \in \mathbb{C}$와 고정된 $r > 0$에 대해 $\mu(B(z,r)) \leq C(1+|z|)^{mp}$임이 동치임을 보이며, 이는 측도의 감쇠에 대한 날카운 성장 조건을 제공한다.
• 모든 $1 \leq p \leq \infty$에 대해 $L^p_m$에서 $F^{p,m}$로의 가중 Fock 프로젝션 $Q_m$이 유계적이며, 이는 $F^{p,m}$가 $L^p_m$의 보완 부분공간임을 보장한다.
• $1 \leq p < \infty$일 때 $F^{p,m}$의 바나흐 쌍대공간은 적분 쌍대성 $\langle f,g \rangle = \int_{\mathbb{C}} f(z) \overline{g(z)} e^{-|z|^2} |z|^{2m} dA(z)$에 의해 $F^{q,m}$과 등록된 등록 등장사상(isometric isomorphism)을 가지며, $0 < p < 1$일 때는 $F^{\infty,m}$과 등록됨을 보이며, 모든 경우에 대해 쌍대성을 확립한다.
• $F^{p_0,m}$와 $F^{p_1,m}$ 사이의 복소 보간 공간은 $F^{p,m}$이며, 여기서 $1/p = (1-\theta)/p_0 + \theta/p_1$이다. 이는 $"](F^{p,m}")$ 가족이 복소 보간에 대해 잘 행동함을 보여준다.