[논문 리뷰] One sided extendability and p-continuous analytic capacities

E. Bolkas, Vassili Nestoridis외 2명|arXiv (Cornell University)|2016. 06. 17.

Analytic and geometric function theory참고 문헌 8인용 수 5

한 줄 요약

이 논문은 복소수 평면의 컴팩트 집합 $L \subset \mathbb{C}$ 에 대해 $p$-연속 해석적 용량 $a_p(L)$ 를 도입하여 고전적인 연속 해석적 용량을 일반화한다. 복소해석학, Baire 범주론, 그리고 해석적 확장의 성질을 이용하여, 해석적 또는 매끄러운 곡선과 도메인에 대해 $C^k(\gamma)$ 및 $A^p(\Omega)$ 공간에서 한쪽 방향에서의 확장 가능성과 실해석적 성질이 일반적으로 드문 현상임을 입증한다. 주요 기여는 $a_p(L)$ 를 통한 이물점 제거 조건의 특성화로, $a_p(L) = 0$ 이면 $A^p(U \setminus L)$ 내 함수들의 일반적인 비확장 가능성임을 보여준다.

ABSTRACT

Using complex methods combined with Baire's Theorem we show that one-sided extendability, extendability and real analyticity are rare phenomena on various spaces of functions in the topological sense. These considerations led us to introduce the p-continuous analytic capacity and variants of it, $p \in \{ 0, 1, 2, \cdots \} \cup \{ \infty \}$, for compact or closed sets in $\mathbb{C}$. We use these capacities in order to characterize the removability of singularities of functions in the spaces $A^p$.

연구 동기 및 목표

• 곡선과 도메인에서 매끄럽고 해석적인 함수의 공간에서 한쪽 방향 확장 가능성과 실해석적 성질의 위상적 드문성에 대해 조사한다.
• 이전의 연속 해석적 용량을 일반화하는 새로운 용량 $a_p(L)$ 를 정의하고, $A^p$ 공간에서의 이물점 제거 조건을 특성화하기 위해 연구한다.
• 기본 곡선이나 경계에 대한 약간의 매끄러움 조건 하에 $C^k(\gamma)$ 및 $A^p(\Omega)$ 공간에서 확장 가능성과 실해석적 성질이 일반적으로 드문 현상임을 입증한다.
• 경계점에서 국소적 확장 가능성과 전역 해석적 확장 가능성 사이의 연결을 다루며, 특히 $L$ 가 내부가 없는 경우를 중심으로 한다.
• 이중성 결과를 제공한다: $A^p(U \setminus L)$ 내 모든 함수가 한 점에서 확장 가능하거나, 일반적으로 아무것도 확장 가능하지 않으며, 이는 $a_p(L)$ 에 따라 달라진다.

제안 방법

• 해석적 확장을 분석하기 위해 포아송 적분 공식과 몬텔 정리를 포함한 복소해석학적 방법을 사용한다.
• Baire의 범주 정리를 적용하여 $A^p(U \setminus L)$ 내에서 비확장 가능한 함수들의 집합이 조밀한 $G_\delta$ 집합임을 보여, 일반적인 비확장 가능성임을 입증한다.
• $a_0(L)$ 의 일반화로 $p$-연속 해석적 용량 $a_p(L)$ 를 도입하며, 특정 칸토어 유형의 집합에서는 $a_1(L) \neq a_0(L)$ 임을 보여준다.
• 확장 가능성 문제를 국소화하고 Baire 정리를 복합체의 합집합에 적용하기 위해 가 countable한 유한한 조르당 도메인 $G_n$ 의 집합을 구성한다.
• 오스발드-카라테오도리 정리와 경계의 정규성을 활용하여 해석적 곡선에서의 결과를 매끄럽거나 조르당 곡선으로 확장한다.
• 경계점에서의 국소적 확장 가능성과 전역 해석적 확장 가능성 사이의 동치성 분석을 수행하며, 이가 성립하는 조건은 $L^\circ = \emptyset$ 일 때임을 보여준다.

실험 결과

연구 질문

• RQ1 곡선 위에서의 함수의 한쪽 방향 확장 가능성은 $C^k(\gamma)$ 또는 $A^p(\Omega)$ 공간에서 일반적인가, 아니면 드문가?
• RQ2 $A^p(U \setminus L)$ 내 함수의 이물점 제거 조건을 특성화하는 데 $p$-연속 해석적 용량 $a_p(L)$ 는 어떻게 기능하는가?
• RQ3 경계점 $z_0$ 에서 확장 가능한 함수들의 집합이 $A^p(U \setminus L)$ 내에서 모두이거나 일반적인지에 따라 결정나는 조건은 무엇인가?
• RQ4 $a_p(L) = 0$ 이면 모든 $z_0 \in L$ 와 $r > 0$ 에 대해 $a_p(L \cap \overline{D(z_0,r)}) = 0$ 이 성립하는가?
• RQ5 $a_p(L) = 0$ 이면 $A^p(U \setminus L)$ 내 모든 $f$ 가 $U$ 로 해석적 확장 가능하다는 말인가, 특히 $L^\circ = \emptyset$ 일 경우에 대해 어떻게 되는가?

주요 결과

• 해당 곡선 $\gamma$ 가 $C^k$ 국소 단사 함수일 경우, $k \in \{0,1,2,\dots\} \cup \{\infty\}$ 에 대해 $C^k(\gamma)$ 공간에서 한쪽 방향 확장 가능성과 실해석적 성질은 일반적으로 드문 현상이다.
• $a_p(L)$ 는 새로운 용량으로 도입되었으며, $a_1(L) = 0$ 이지만 $a_0(L) > 0$ 인 경우가 존재함을 보여주며, $L = K_{1/3} \times K_{1/3}$ 에서 $K_{1/3}$ 은 칸토어 집합임을 보여준다.
• $L$ 가 컴팩트하고 내부가 없는 경우, $f \in A^p(U \setminus L)$ 이면 모든 $z_0 \in \partial L$ 에서의 국소적 확장 가능성은 전역 해석적 확장의 존재와 동치이다.
• $A^p(U \setminus L)$ 내에서 점 $z_0$ 에서 확장 가능한 함수들의 집합은 $a_p(L) = 0$ 이면 전체 집합이거나, 아닐 경우 조밀한 $G_\delta$ 집합이 된다.
• $a_p(L) = 0$ 이면 $A^p(U \setminus L)$ 내에서 비확장 가능한 함수들의 집합은 조밀하고 $G_\delta$ 이며, 이는 일반적인 비확장 가능성임을 의미한다.
• $p=1$ 일 경우, $a_1(L) = 0$ 이지만 $a_0(L) > 0$ 이므로 $a_1$ 이 $a_0$ 보다 더 엄격한 제거 조건임을 보여준다.