[논문 리뷰] On the boundary behaviour of the Hardy spaces of Dirichlet series and a frame bound estimate

Jan‐Fredrik Olsen, Eero Saksman|ArXiv.org|2009. 07. 15.

Advanced Harmonic Analysis Research인용 수 5

한 줄 요약

이 논문은 $p \geq 1$에 대해 딜레르트-하르디 공간 $\mathscr{H}^p$의 경계 행동을 조사하며, $\mathscr{H}^2$에 속하는 함수들이 임의의 경계 구간을 넘어선 해석적 계속성을 갖는 고전적 하르디 공간 $H^2(\mathbb{C}_{1/2})$의 함수들에 의해 근사 가능하다는 것을 입증한다. 핵심 결과는 $H^2(\mathbb{C}_{1/2})$에 속하는 임의의 함수에 대해, 그 차이가 주어진 경계 구간을 넘어선 해석적으로 계속될 수 있는 $\mathscr{H}^2$에 속하는 함수가 존재한다는 것이다. 이는 $\sigma = 1/2$ 근처에서 두 공간 간 깊은 구조적 유사성을 보여준다. 이는 프레임 이론, 카르레손 측도, 그리고 무한차원 토러스 위의 함수 공간 임bedding을 통해 달성된다.

ABSTRACT

A range of Hardy-like spaces of ordinary Dirichlet series, called the Dirichlet-Hardy spaces $\Hp^p$, $p \geq 1$, have been the focus of increasing interest among researchers following a paper of Hedenmalm, Lindqvist and Seip in Duke Math. J 86 (1997), 1-37. The Dirichlet series in these spaces converge on a certain half-plane, where one may also define the classical Hardy spaces $H^p$. In this paper, we compare the boundary behaviour of elements in $\Hp^p$ and $H^p$. Moreover, Carleson measures of the spaces $\Hp^p$ are studied. Our main result shows that for certain cases the following statement holds true. Given an interval on the boundary of the half-plane of definition and a function in the classical Hardy space, it possible to find a function in the corresponding Dirichlet-Hardy space such that their difference has an analytic continuation across this interval.

연구 동기 및 목표

• 디릴레르트-하르디 공간 $\mathscr{H}^p$의 함수들과 반평면 $\sigma > 1/2$에서의 고전적 하르디 공간 $H^p(\mathbb{C}_{1/2})$의 함수들의 경계 행동을 비교한다.
• 공간 $\mathscr{H}^p$에 대한 카르레손 측도를 연구하고, 그들이 경계 행동을 이해하는 데 미치는 역할을 분석한다.
• $H^2(\mathbb{C}_{1/2})$에 속하는 함수가 $\mathscr{H}^2$에 속하는 함수에 의해 근사 가능할 조건을 확립하며, 그 차이가 주어진 경계 구간을 넘어선 해석적으로 계속될 수 있도록 한다.
• $\mathscr{H}^2$에 속하는 함수들이 비탄성 경계 극한을 갖는다. 이 극한은 국소적으로 $L^2$-적분 가능하며, 임베딩 추론과 $F/s \in H^2$ 기법을 통해 이를 도출한다.

제안 방법

• 무한차원 토러스 모델을 사용하여 $\mathscr{H}^p$를 $\mathbb{R}$ 위에서의 $L^p$-노름 하에 유한 딜레르트 다항식의 폐포로 정의한다.
• 함수 공간과 그 경계 행동을 분석하기 위해 프레임 이론과 연산자 이론을 적용한다.
• 함수들이 경계 $\sigma = 1/2$ 근처에서의 성장을 제어하기 위해 카르레손 측도를 활용한다.
• $F \in \mathscr{H}^2 \Rightarrow F/s \in H^2(\mathbb{C}_{1/2})$의 임베딩을 사용하여 국소적 $L^2$ 경계 적분 가능성을 유도한다.
• 등각 사상과 분포의 경계값 이론을 통해 $2I$ 위에서의 해석적 계속성을 구성한다.
• $W^\alpha_0(I)$와 그 쌍대 공간을 사용하여 경계 극한에서의 정규성과 노름 등가성을 제어한다.

실험 결과

연구 질문

• RQ1 디릴레르트-하르디 공간 $\mathscr{H}^2$에 속하는 함수들이 $H^2(\mathbb{C}_{1/2})$에 속하는 함수들에 의해 근사 가능할 수 있는가? 이 경우 차이 $F - f$는 주어진 경계 구간을 넘어선 해석적으로 계속될 수 있는가?
• RQ2 $\sigma = 1/2$ 근처에서 $\mathscr{H}^p$와 $H^p(\mathbb{C}_{1/2})$ 함수들의 경계 행동 간 정확한 관계는 무엇인가?
• RQ3 $\mathscr{H}^p$ 공간에 대한 카르레손 측도는 그 함수들의 비탄성 경계 극한과 어떻게 관련이 있는가?
• RQ4 $\mathscr{H}^2$ 함수들이 경계에서 $H^2(\mathbb{C}_{1/2})$ 함수들과 같은 국소적 정규성 성질을 얼마나 공유하는가?
• RQ5 $W^{\alpha/2}(2I)$에서 경계 분포의 실수부는 $\mathscr{H}^2_\alpha$에 속하는 함수의 경계값으로 표현될 수 있는가?

주요 결과

• 임의의 유계 구간 $I \subset \mathbb{R}$와 임의의 함수 $f \in H^2(\mathbb{C}_{1/2})$에 대해, $F - f$가 $I$를 넘어선 해석적으로 계속될 수 있는 함수 $F \in \mathscr{H}^2$가 존재한다.
• 차이 $F - f$는 $\mathbb{C}_I$에서 해석적이다. 여기서 $\mathbb{C}_I$는 $\sigma = 1/2$에 두 개의 반직선이 제거된 복소 평면을 의미하며, 이는 경계를 초월한 국소적 해석성을 의미한다.
• $\mathscr{H}^2$에 속하는 함수들은 비탄성 경계 극한을 갖는다. 이 극한은 국소적으로 $L^2$-적분 가능하며, $F/s \in H^2(\mathbb{C}_{1/2})$의 결과로 유도된다.
• $f \in D_\alpha(\mathbb{C}_{1/2})$의 경계 분포의 실수부는 $F \in \mathscr{H}^2_\alpha$의 경계값으로 표현될 수 있으며, 이는 $F - f$의 해석적 계속성을 보장한다.
• $\mathscr{H}^2$에 속하는 함수 중 경계 값이 $W^{\alpha/2}(2I)$에 속하는 함수들의 공간은, 해석적 계속성에 대해 고려할 때, 해당 $H^2(\mathbb{C}_{1/2})$ 함수들의 공간에 밀도가 있다.
• 적절한 노름 상수가 존재하여, $f + \mathscr{H}^2$의 코셋 내에서 가장 작은 원소의 노름이 제어 가능하며, 이는 근사의 안정성을 보장한다.