[논문 리뷰] Jordan domains with a rectifiable arc in their boundary

Vasiliki Liontou, Vassili Nestoridis|arXiv (Cornell University)|2017. 05. 05.

Holomorphic and Operator Theory참고 문헌 3인용 수 4

한 줄 요약

이 논문은 조르당 도메인의 경계에 정칙 곡선이 존재할 경우, 그 도메인의 리만 사상의 도함수는 해당 곡선의 원상 근처에서 $ H^1 $ 함수처럼 행동함을 증명한다. 반사 원리와 하디 공간의 성질을 이용하여, 경계 곡선의 방사선 방향으로의 접근에서 도함수의 $ L^1 $-노름이 일관되게 유계임을 입증하며, 이는 고전적인 결과인 정칙 곡선을 가진 조르당 곡선이 $ H^1 $ 도함수와 대응됨을 일반화한다.

ABSTRACT

We show that if an open arc J of the boundary of a Jordan domain $Ω$ is rectifiable, then the derivative $Φ$' of the Riemann map $Φ: D ightarrow Ω$ from the open unit disk D onto $Ω$ behaves as an $H^1$ function when we approach the arc $Φ^{-1}(J^{\prime})$,where $J^{\prime}$ is any compact subarc of $J$. "

연구 동기 및 목표

• 경계의 일부만 정칙일 경우에도 고전적인 정칙 곡선과 $ H^1 $ 도함수 사이의 등가성 결과를 일반화하는 것.
• 조르당 도메인의 정칙 경계 곡선의 컴팩트 부분곡선 근처에서 리만 사상 도함수의 행동을 조사하는 것.
• 전체 경계가 정칙이 아니어도 단위 원주에 있는 부분곡선을 따라 $ L^1 $-노름이 일관되게 유계인 함수에 대해 하디 공간 $ H^p $ 이론을 확장하는 것.
• 단위 원주의 부분곡선 위에서 정의된 일반화된 하디 유형 공간의 위상수학적 및 함수해석학적 성질을 탐구하는 것.

제안 방법

• 정칙 경계 곡선 $ J $ 의 컴팩트 부분곡선 $ J' $ 을 포함하는 전체 정칙 조르당 곡선 $ \gamma' $ 으로 확장하기 위해 반사 원리를 사용하여, $ \Omega $ 의 부분도메인 $ G' \subset \Omega $ 를 구성하는 것.
• 고전적 이론에 따라 $ f: D \to G' $ 인 리만 사상 $ f $ 를 구성하여 $ f' \in H^1(D) $ 임을 보장하는 것.
• 단위 원판에서 자신으로 사상하는 등각 사상 $ h = \Phi^{-1} \circ f $ 를 정의하여, $ J' $ 의 원상이 단위 원주의 부분곡선이 되도록 하는 것.
• 단위 원주 근처에서 $ h $ 를 해석적 확장하여, 이웃에서 해석적이고 단사적이게 보장하는 반사 원리의 적용.
• 고전적 이론에 의해 $ f' \in H^1 $ 에서 유도되는 $ \int_a^b |f'(re^{it})| dt $ 의 일관된 유계성에 기반하여 $ \int_a^b |\Phi'(re^{it})| dt $ 를 제어하는 것.
• 분할 기반 추정과 극한 추론을 통해 핵심 부등식 $ \text{length}(\Phi(e^{it})_{t\in[a,b]}) \leq \liminf_{r\to1^-} \text{length}(\Phi(re^{it})_{t\in[a,b]}) $ 를 확립하는 것.

실험 결과

연구 질문

• RQ1 경계의 일부만 정칙일 경우, 리만 사상 도함수가 하디 공간 $ H^1 $ 에 속할 조건은 무엇인가?
• RQ2 고전적인 정칙 경계와 $ H^1 $-도함수 사이의 등가성은 경계의 부분곡선으로까지 확장 가능한가?
• RQ3 정칙 부분곡선에 수렴하는 방사선 근처에서 리만 사상 도함수의 $ L^1 $-노름은 어떻게 행동하는가?
• RQ4 반사선 세그먼트의 이미지 길이 $ \Phi(re^{it}) $ 는 $ r \to 1^- $ 일 때 경계 곡선의 길이와 어떻게 관련되는가?
• RQ5 단위 원주의 부분곡선 위에서 정의된 일반화된 하디 유형 공간의 위상수학적 및 완비성 성질은 무엇인가?

주요 결과

• 만약 $ J \subset \partial\Omega $ 가 정칙 열린 곡선이고 $ J' \subset J $ 가 컴팩트 부분곡선이라면, $ \int_a^b |\Phi'(re^{it})| dt $ 는 $ r \to 1^- $ 일 때 유계로 유지되며, 여기서 $ \Phi^{-1}(J') = [a,b] \subset \partial D $ 이다.
• 단위 원주에서 $ t \in [a,b] $ 에 대해 $ \Phi(e^{it}) $ 의 길이에 대해 $ \text{length}(\Phi(e^{it})_{t\in[a,b]}) \leq \liminf_{r\to1^-} \text{length}(\Phi(re^{it})_{t\in[a,b]}) $ 가 성립한다.
• 만약 $ t \in [a,b] $ 에 대해 경계 곡선 $ \Phi(e^{it}) $ 의 길이가 유한하다면, $ \lim_{r\to1^-} \text{length}(\Phi(re^{it})_{t\in[a,b]}) = \text{length}(\Phi(e^{it})_{t\in[a,b]}) $ 가 성립한다.
• 정칙 곡선의 원상 근처에서 $ \Phi' $ 의 $ H^1 $-행동이 유지된다: $ \sup_{0<r<1} \int_a^b |\Phi'(re^{it})| dt < \infty $.
• 등가 조건이 성립한다: $ \Phi' $ 가 $ [a,b] $ 에서 일관되게 유계인 $ L^1 $-노름을 가진다 ↔ 경계 곡선 $ \Phi(e^{it}) $ 가 정칙이며, $ r \to 1^- $ 일 때 이미지 곡선 $ \Phi(re^{it}) $ 는 일관되게 길이가 유계이다.
• 논문은 $ \liminf_{r\to1^-} \text{length}(\Phi(re^{it})) < \limsup_{r\to1^-} \text{length}(\Phi(re^{it})) $ 를 만족하는 후보 반례를 구성하지만, 실제로 그러한 예가 존재하는지는 확인되지 않았다.