[논문 리뷰] Boundary Values Properties of Functions in Weighted Hardy Spaces

Khim R. Shrestha|arXiv (Cornell University)|2013. 09. 25.

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

한 줄 요약

이 논문은 단위 원판 $ \mathbb{D} $ 위의 가중 하르디 공간 $ H^p_u(\mathbb{D}) $가 음의 조화 함수 exhaustion 함수 $ u $ 를 통해 정의될 때, 고전적 하르디 공간과 유사한 경계 행동을 가짐을 밝힌다. 핵심 결과는 $ H^p_u(\mathbb{D}) $가 $ A^{1/p} $를 통한 곱셈에 의해 $ H^p(\mathbb{D}) $와 등거리 동형임을 보여주는 것이다. 여기서 $ A $ 는 $ |A^*| = \alpha $ 를 만족하는 해석적 함수이며, $ \alpha $ 는 경계 측도 $ \mu_u $ 가 르베그 측도에 대해 절대 연속임을 보여주는 라돈-니코다임 도함수이다.

ABSTRACT

In this paper we study the boundary values of harmonic and holo- morphic functions in the weighted Hardy spaces on the unit disk $\mathbb{D}$. These spaces were introduced by Poletsky and Stessin in [6] for plurisubharmonic functions on hyperconvex domains $D \subset \mathbb{C}^n$ as generalizations of classical Hardy spaces. We show that in the case when $D$ is the unit disk $\mathbb{D}$ the theory of boundary values for functions in these spaces is analogous to the classical one.

연구 동기 및 목표

• 단위 원판 위의 가중 하르디 공간 $ H^p_u(\mathbb{D}) $ 에서 해석적 및 조화 함수의 경계값 행동을 조사하는 것.
• 가중 하르디 공간 $ H^p_u(\mathbb{D}) $ 에서의 경계값 이론이 고전적 이론 $ H^p(\mathbb{D}) $ 와 유사한지 여부를 규명하는 것.
• 단위 원 위에 있는 한계 측도 $ \mu_u $ 를 특성화하고, 이와 고전적 르베그 측도 사이의 관계를 규명하는 것.
• 가중 설정으로의 확장에 따라 $ H^p_u(\mathbb{D}) $ 가 $ H^p(\mathbb{D}) $ 와 등거리 동형임을 증명하는 것.

제안 방법

• 논문은 가중 하르디 공간 $ H^p_u(\mathbb{D}) $ 의 노름을 정의하기 위해 잘라낸 조화 함수 $ u_r = \max\{u, r\} $ 의 라플라스 연산자에 기반한 측도 $ \mu_{u,r} $ 를 사용한다.
• 레롱–제닝 공식을 적용하여 $ r \to 0^- $ 일 때 $ \mu_{u,r} $ 가 단위 원 $ \mathbb{T} $ 에 기저를 가진 양의 측도 $ \mu_u $ 로 약한-* 수렴함을 보인다.
• 모든 $ p > 1 $ 에 대해, $ h \in h^p_u(\mathbb{D}) $ 인 조화 함수의 노름이 그 경계 함수 $ h^* $ 의 $ L^p(\mu_u) $-노름과 같음을 보여준다.
• 논문은 $ \mu_u $ 가 르베그 측도 $ \lambda $ 에 대해 절대 연속이며, 라돈-니코다임 도함수 $ \alpha \in L^1(\lambda) $ 를 가지며, $ \alpha $ 를 위한 공식을 제공한다.
• 핵심 구성은 $ A(z) = \exp\left( \int_{\mathbb{T}} \frac{e^{i\theta} + z}{e^{i\theta} - z} \log \alpha(e^{i\theta}) \, d\lambda(\theta) \right) $ 를 정의하는 것으로, 그 경계값은 $ |A^*| = \alpha $ 를 만족한다.
• 등거리 동형 사상 $ \Phi: H^p_u(\mathbb{D}) \to H^p(\mathbb{D}) $ 는 $ \Phi(f) = A^{1/p} f $ 로 정의되며, 노름 보존은 항등식 $ \|f\|_{H^p_u} = \|A^{1/p}f\|_{H^p} $ 를 통해 확인된다.

실험 결과

연구 질문

• RQ1 단위 원판 위의 가중 하르디 공간 $ H^p_u(\mathbb{D}) $ 에서의 경계값 이론은 고전적 이론 $ H^p(\mathbb{D}) $ 와 유사한가?
• RQ2 단위 원 위의 한계 측도 $ \mu_u $ 는 어떤 성질을 가지며, 르베그 측도와 어떻게 관련이 있는가?
• RQ3 $ H^p_u(\mathbb{D}) $ 는 고전적 하르디 공간 $ H^p(\mathbb{D}) $ 에 등거리로 통합될 수 있는가?
• RQ4 $ H^p_u(\mathbb{D}) = H^p(\mathbb{D}) $ 가 성립하는 조건은 무엇이며, 포함 관계가 엄밀한 경우는 언제인가?

주요 결과

• 함수 $ f \in H^p_u(\mathbb{D}) $ 의 노름은 그 경계 함수 $ f^* $ 의 $ L^p(\mu_u) $-노름과 같으며, 즉 $ \|f\|_{H^p_u} = \|f^*\|_{L^p(\mu_u)} $ 이다.
• 경계 측도 $ \mu_u $ 는 르베그 측도 $ \lambda $ 에 대해 절대 연속이며, $ d\mu_u = \alpha \, d\lambda $ 이다. 여기서 $ \alpha \in L^1(\lambda) $ 이고 $ \alpha \geq c > 0 $ 이다.
• 닫힌 구간 $ H^p_u(\mathbb{D}) $ 의 닫힌 구간은 $ H^p(\mathbb{D}) $ 에서도 닫혀 있으므로, $ H^p_u(\mathbb{D}) $ 는 $ H^p(\mathbb{D}) $ 의 닫힌 부분공간임을 의미한다.
• 사상 $ \Phi(f) = A^{1/p} f $ 를 통해 $ H^p_u(\mathbb{D}) $ 는 $ H^p(\mathbb{D}) $ 와 등거리 동형임을 보였다. 여기서 $ A $ 는 $ |A^*| = \alpha $ 를 만족하는 해석적 함수이다.
• $ u \in \tilde{\mathcal{E}}_1 $ 에 대해 모든 닫힌 단위 구간의 교집합은 $ H^\infty(\mathbb{D}) $ 의 닫힌 단위 구간과 일치한다.
• $ f \in H^\infty(\mathbb{D}) \setminus B_\infty(1) $ 이면, $ f \notin B_{u,p}(1) $ 를 만족하는 $ u \in \tilde{\mathcal{E}}_1 $ 가 존재함을 보여, 교집합이 노름이 1 이하인 유계 함수를 특성화함을 보였다.