[논문 리뷰] Non extendability from any side of the domain of definition as a generic property of smooth or simply continuous functions on an analytic curve

E. Bolkas, Vassili Nestoridis외 1명|arXiv (Cornell University)|2015. 11. 27.

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

한 줄 요약

이 논문은 해석적 곡선의 양쪽에서 매끄럽거나 연속적인 함수의 확장 불가능성이 다양한 함수 공간에서 일반적인 성질임을 입증한다. 푸리에 분석, 코시 변환, 복소해석학적 방법—몬텔의 정리와 베어 카테고리 논증을 포함—을 사용하여, 일반적으로 $ C^\infty(T) $, $ C^k([0,1]) $, $ A^\infty(\Omega) $의 함수들이 경계를 넘어선 분석적 확장을 전혀 할 수 없음을 증명한다. 이는 호의 길이로 매개변수화된 경우에도 성립한다.

ABSTRACT

In this article we show that extendability from one side of a simple analytic curve is a rare phenomenon in the topological sense in various spaces of functions. Our result can be proven using Fourier methods combined with other facts or by complex analytic methods and a comparison of the two methods is possible.

연구 동기 및 목표

• 해석적 곡선의 한쪽 또는 양쪽에서의 확장 불가능성이 $ C^\infty(T) $, $ C^k([0,1]) $, $ A^\infty(\Omega) $와 같은 함수 공간에서 일반적인 성질임을 입증하는 것.
• 이 공간들에서 어디서도 해석적이지 않은 함수들의 집합이 밀도가 있으며 $ G_\delta $ 부분집합임을 보여, 이전의 $ C^\infty([0,1]) $ 결과를 강화하는 것.
• 푸리에 분석과 보렐의 정리, 마이클의 선택 정리에 기반한 접근법과 하르디 공간 및 몬텔의 정리를 사용하는 복소해석학적 방법 사이의 비교와 통합.
• 확장 불가능성이 등각 사상에 의해 보존되며, 호의 길이 매개변수화가 경계 함수의 해석적 성질을 변화시키지 않는다는 것을 보여주는 것.
• 유한 개의 해석적 조르당 곡선으로 둘러싸인 영역 $ \Omega $에 대해, $ A^\infty(\Omega) $의 함수들이 경계에서 어디서도 실수 해석적이지 않다는 것이 일반적임을 증명하는 것.

제안 방법

• 코시 변환을 사용하여 $ C^\infty(T) $를 $ A^\infty(D) $와 보조 공간 $ Y $로 분해함으로써 경계 행동 분석이 가능하도록 한다.
• 베어의 카테고리 정리와 베어 잔여집합 논증을 적용하여, $ C^\infty(T) $와 $ C^k([0,1]) $에서 확장 불가능한 함수들의 집합이 밀도가 있으며 $ G_\delta $임을 보인다.
• 보렐의 정리를 사용하여 한 점에서 임의의 제트 수열을 갖는 $ C^\infty $ 함수를 구성함으로써 국소적 확장 불가능성의 제어를 가능하게 한다.
• 마이클의 선택 정리를 사용하여 도함수 수열에 연속적으로 $ C^\infty $ 함수를 할당함으로써 구성 과정의 연속성을 보장한다.
• 국소적 확장 불가능성 기준을 적용: 단위 원판 $ D $ 위의 해석적 함수가 $ 1 \in \partial D $ 근처에서 확장 불가능할 조건은 모든 $ \zeta \in D $에 대해 $ R_\zeta \leq |\zeta - 1| $이거나, 1에 수렴하는 조밀한 부분집합에 대해 성립하는 것.
• 복소해석학적 접근에서 몬텔의 정리를 사용하여 해석적 함수들의 균등수렴하는 부분수열을 추출함으로써 극한의 연속성을 보장한다.

실험 결과

연구 질문

• RQ1 해석적 곡선의 한쪽 또는 양쪽에서의 확장 불가능성은 $ C^\infty $ 및 연속 함수 공간에서 일반적인 현상인가?
• RQ2 단위원 $ T $ 위의 함수들의 확장 불가능성은 등각 사상에 의해 부분호, 선분, 또는 실수선으로 확장될 수 있는가?
• RQ3 푸리에 방법과 복소해석학적 방법은 일반적인 확장 불가능성을 증명할 때 어떻게 비교되고 통합될 수 있는가?
• RQ4 매개변수화의 선택(예: 호의 길이 vs. 등각)이 해석적 경계 위에서의 확장 불가능성의 일반성에 영향을 미치는가?
• RQ5 $ \Omega $가 유한 개의 서로소인 해석적 조르당 곡선으로 둘러싸여 있을 때, $ \partial\Omega $에서 어디서도 실수 해석적이지 않은 함수들의 집합이 $ A^\infty(\Omega) $에서 밀도가 있으며 $ G_\delta $ 부분집합인가?

주요 결과

• $ C^\infty([0,1]) $에서 어디서도 해석적이지 않은 함수들의 집합은 밀도가 있으며 $ G_\delta $ 부분집합이며, 이는 이전 결과를 강화한다.
• $ C^\infty(T) $에서 단위원의 양쪽에서 확장 불가능한 함수들의 집합은 밀도가 있으며 $ G_\delta $ 부분집합이므로, 확장 불가능성이 일반적임을 의미한다.
• $ C^k([0,1]) $, $ k=0,1,2,\dots,\infty $에서, 양쪽에서 확장 불가능한 함수들의 집합은 밀도가 있으며 $ G_\delta $ 부분집합이다.
• 복소해석학적 방법—$ H^\infty(D) $, 몬텔의 정리, 경계 방향 극한을 사용—은 푸리에 방법과 동일한 결과를 도출하지만, 더 단순하고 자연스러운 추론을 가능하게 한다.
• 국소적 확장 불가능성 기준—모든 $ \zeta \in D $에 대해 $ R_\zeta \leq |\zeta - 1| $—은 $ 1 \in \partial D $ 근처에서의 확장 불가능성에 대해 필수적이고 충분한 조건이며, 효과적인 구성이 가능하다.
• 유한 개의 서로소인 해석적 조르당 곡선으로 둘러싸인 영역 $ \Omega $에 대해, $ A^\infty(\Omega) $의 함수들은 경계에서 어디서도 실수 해석적이지 않으며, 이는 매개변수화 방식(호의 길이 포함)에 관계없이 일반적이다.