[논문 리뷰] Interiors of continuous images of the middle-third Cantor set

Kan Jiang, Lifeng Xi|arXiv (Cornell University)|2018. 09. 06.

Mathematical Dynamics and Fractals참고 문헌 9인용 수 6

한 줄 요약

이 논문은 매끄러운 함수에 의해 중간 세분의 칸토어 집합의 카르테시안 곱의 연속적 상이 비어 있지 않은 내부를 가질 충분조건을 확립한다. 은폐 함수 정리와 국소 도함수 분석을 통해, 곱집합 내의 점에서 편도함수의 비율이 1과 3 사이에 엄격히 있을 경우, 상은 열린 구간을 포함함을 증명한다. 이는 단항식, 거듭제곱 합, 삼각함수 복합함수와 같은 여러 고전적 함수에 대해 내부점의 존재를 해결한다.

ABSTRACT

Let $C$ be the middle-third Cantor set, and $f$ a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the image \begin{equation*} f_{U}(C,C)=\{f(x,y):(x,y)\in (C imes C)\cap U\}. \end{equation*} If $\partial _{x}f$, $\partial _{y}f$ are continuous on $U,$ and there is a point $(x_{0},y_{0})\in (C imes C)\cap U$ such that \begin{equation*} 1

연구 동기 및 목표

• 연속 함수에 의해 두 중간 세분의 칸토어 집합 곱의 상이 비어 있지 않은 내부를 가지는 조건을 규명하는 것.
• 덧셈이나 곱셈과 같은 산술 연산이 칸토어 집합에 적용될 때 상이 내부점을 가지는지 여부라는 열린 문제를 다루는 것.
• 동역학계 이론과 분수기하학의 결과를 일반화하여 자가유사 집합의 상에 내부 존재를 위한 일반 기준을 제공하는 것.
• $x^\alpha y^\beta$, $x^\alpha \pm y^\alpha$, $x \pm y^2$, $\sin(x)\cos(y)$와 같은 함수들이 $C \times C$에 제한되었을 때 상이 비어 있지 않은 내부를 가지는지 여부를 해결하는 것.

제안 방법

• 매끄러운 함수가 $C \times C$ 위에서 국소적으로 행동하는 방식을 분석하기 위해 은폐 함수 정리를 적용하며, 이는 $1 < |\partial_x f / \partial_y f| < 3$ 조건을 만족하는 점에서 성립한다.
• 칸토어 집합을 기본 구간과 기본 정사각형으로 이분하여, 이미지 확장을 통제하는 중첩된 집합을 구성한다.
• 방향 증분 $t$와 $3t$를 사용한 변형 방법을 통해, 함수 $f$에 의해 기본 정사각형의 상이 겹치는 간격을 포함함을 보여, 결과적으로 상이 간격을 포함함을 증명한다.
• 하나의 정사각형의 모서리에서의 값을 비교하기 위해 보조 함수 $H_1, H_2, H_3, H_4$를 정의하여, 비어 있지 않은 겹침과 즉각적인 간격 커버리지가 있음을 증명한다.
• 대칭성과 부호 변환(예: $f(x,y) \to -f(x,y)$, $f(x,y) \to f(-x,y)$)을 통해 일반적인 경우를 양의 편도함수 경우로 환원한다.
• 특정 함수에 대해 도함수를 계산하고 $C \times C$ 내 특정 점에서 비율 조건을 확인함으로써 조건을 검증한다.

실험 결과

연구 질문

• RQ1 매끄러운 함수 $f$에 의해 $C \times C$의 연속적 상이 비어 있지 않은 내부를 가지는 조건은 무엇인가?
• RQ2 이러한 내부 존재 기준을 $x^\alpha y^\beta$, $x^\alpha \pm y^\alpha$, $x \pm y^2$, $\sin(x)\cos(y)$와 같은 고전적 함수에 적용할 수 있는가?
• RQ3 자기유사 집합의 매끄러운 함수에 의한 상이 비어 있지 않은 내부를 가지는지 여부를 판단하는 일반적인 방법이 존재하는가?
• RQ4 편도함수의 비율은 $C \times C$의 상의 위상적 구조에 어떻게 영향을 미치는가?

주요 결과

• 만약 점 $(C \times C) \cap U$ 에서 $|\partial_x f / \partial_y f|$ 또는 $|\partial_y f / \partial_x f|$ 의 비율이 1과 3 사이에 엄격히 있을 경우, $f_U(C,C)$ 는 비어 있지 않은 내부를 가진다.
• $\alpha\beta \neq 0$ 인 $f(x,y) = x^\alpha y^\beta$ 에 대해, $x = (2/3) \cdot 3^{-k}$ 와 $y = 1$ 을 선택하여 도함수 비율 조건을 만족함을 통해 $f_U(C,C)$ 가 비어 있지 않은 내부를 가짐을 검증하였다.
• $\alpha \neq 0$ 인 $f(x,y) = x^\alpha \pm y^\alpha$ 에 대해, 상은 비어 있지 않은 내부를 가진다. 특히 $\alpha = 1$ 일 경우 $C + C = [0,2]$ 가 되며, $x/y$ 가 1에 가까울 경우에도 성립한다.
• $f(x,y) = x \pm y^2$ 에 대해, 상은 비어 있지 않은 내부를 가진다. 이는 점 $(x_0, y_0) = (8/9, 1/3)$ 에서 도함수 비율을 평가함으로써 입증되었으며, $|1/(2y_0)| = 3/2 \in (1,3)$ 이다.
• $f(x,y) = \sin(x)\cos(y)$ 에 대해, 상은 비어 있지 않은 내부를 가진다. $(x_0, y_0) = (2/3, 2/3)$ 에서 절대 편도함수 비율이 약 1.615로 요구 조건 내에 있음을 확인하였다.